LMITE Y CONTINUIDAD DE UNA FUNCIN DE VARIAS VARIABLES

Jos Espina Alvarado

na de las ideas centrales del aparato actual del Anlisis Matemtico es la de lmite. En ella se apoyan las demostraciones infinitesimales, caracterizadas por juicios hipottico-deductivos y el uso de desigualdades especficas (construccin -).

El concepto de Lmite y el camino hasta l datan de pocas remotas en la historia de la matemtica.

La primera forma terica de razonar con lmites procede de los antiguos griegos, en particular Demcrito calcul el volumen de pirmides y conos, se cree que considerndolos formados por un nmero infinito de secciones de grosor infinitesimal (infinitamente pequeo); Eudoxo de Cnido y Arqumedes de Siracusa utilizaron el "Mtodo de Exhaucin" para encontrar el rea de una circunferencia con el uso de polgonos inscritos. Sin embargo, las dificultades para trabajar con nmeros irracionales y las paradojas de Zenn de Elea impidieron formular una teora sistemtica del Anlisis Matemtico. Hasta los trabajos de I. Newton publicados en 1704, lo que entonces era una sucesin de pasos aislados se convirti en el principio de una investigacin seria. Fue Newton quien introdujo el trmino limes (lmite) sin dar una definicin formal,
Sir Isaac Newton

presuntamente por su evidencia.

En el siglo XVIII aument considerablemente el nmero de aplicaciones del clculo, pero el uso impreciso de las cantidades infinitas e infinitesimales, as como la intuicin geomtrica, causaban todava confusin y controversia sobre sus fundamentos. Uno de sus crticos ms notables fue el filsofo irlands G. Berkeley (1685-1753). Los partidarios de los mtodos con lmites, especialmente el francs J. DAlembert (1717-1783), defendieron con vehemencia su legitimacin. Este investigador afirm que Newton vio en el Clculo Diferencial slo el mtodo de definicin de lmites de relaciones. Sin embargo, el mismo DAlembert no pudo encajar en algn mtodo racional a la eliminacin de infinitesimales de Leibniz. A principios del siglo XIX las obras de muchos matemticos reflejaban la necesidad objetiva de disear una teora de lmites como base del Anlisis Matemtico y una reestructuracin radical de este ltimo. El ms destacado de estos creadores fue Agustn Lus Cauchy (1789-1857). A. Cauchy curs estudios en la escuela Politcnica de Pars, culminando su formacin en el Instituto de Vas de Comunicacin de la misma ciudad, donde adems trabaj como INGENIERO, llegando a publicar

Lmite y Continuidad de Funciones

cerca de 800 trabajos de investigacin. En la escuela Politcnica dict conferencias sobre Anlisis Matemtico, publicadas posteriormente en tres ttulos: Curso de Anlisis (1821), Resumen de conferencias sobre el clculo infinitesimal (1823), y Conferencias sobre aplicaciones del anlisis a la geometra (2 tomos, 1826 y 1828). En estas obras se construye por primera vez el Anlisis Matemtico sobre la base de una teora de lmites, preludio inmediato a su estado actual. En su Curso de Anlisis, Cauchy describe en mucho los fundamentos contemporneos de esta rama de la matemtica. En l se introduce el concepto de magnitud infinitesimal como una variable cuyo lmite es cero. La continuidad de una funcin se explica como la correspondencia de un incremento infinitesimal de la funcin a un incremento infinitesimal del argumento. Con gran detalle se expone lo referente a la convergencia de series infinitas, cuya existencia se condiciona con la existencia del lmite de las sumas de un nmero finito de trminos analizando rigurosamente al resto. No menos importante fue el aporte del eminente matemtico checo Bernardo Bolzano (1781-1848), cuyos trabajos lamentablemente, fueron reconocidos treinta aos despus de su muerte. Bolzano formul y demostr en 1817 que si un conjunto de nmeros reales est acotado superiormente (o inferiormente) entonces tiene un extremo superior (o inferior), adelantndose al profesor berlins Karl Weierstrass (1815-1897), quien formul este teorema en 1860. Tambin antes que Cauchy, Bolzano haba deducido el criterio de convergencia de sucesiones y dado una definicin rigurosa de continuidad de una funcin; a l se debe el concepto de continuidad lateral y tambin la demostracin de que una funcin continua entre dos de sus valores, toma todos los intermedios. A todo aquello se sumaron las ideas de Weierstrass sobre la naturaleza del nmero real. La utilizacin sistemtica de los conceptos de extremos superior e inferior de conjuntos numricos, construccin de una funcin que no es derivable en su dominio y otros, fueron resultados importantes introducidos por Weierstrass al Anlisis Matemtico. En ese armonioso y riguroso sistema, ya para 1880 se haba elaborado la forma actual de las definiciones y el aparato de demostraciones, con base en razonamientos condicional-deductivos (Para cualquier positivo, existe tambin positivo, tal que), y el simbolismo correspondiente. Por fortuna, la historia del Anlisis tiende a ser infinita.

I.

Lmite de una funcin real

Considere la funcin f : U 2 con regla z = f (x , y ) . Se dice que f tiene lmite L cuando

(x , y ) tiende a (x 0, y 0 ) , si la distancia entre estos dos puntos es tan pequea que a consecuencia de ello

f (x , y ) L es tambin arbitrariamente pequea. Esto es,

JEA/05/06/98

Lmite de una funcin vectorial Definicin I-1.

Lim

( x , y ) ( x 0 , y 0 )

f (x , y ) = L > 0 > 0 (x , y ) B* ((x 0 , y0 ) ) f (x , y ) B (L ) .

En esta definicin, los smbolos y representan nmeros reales positivos arbitrariamente pequeos y se
* * * supone que B ((x 0 , y 0 ) ) I U B ((x 0 , y 0 ) ) B ((x 0 , y 0 ) ) I U ; en este caso (x 0, y 0 ) se llama punto de

acumulacin del conjunto U. Esto significa que toda bola reducida de ese punto contiene puntos de U diferentes del centro, dicho de otro modo, en dicha bola hay infinitos puntos del dominio distintos del centro. El hecho de que (x 0, y 0 ) no este en U es irrelevante: la funcin puede tener lmite en un punto donde no esta definida, por ejemplo en la frontera de un dominio no cerrado. Geomtricamente puede ilustrarse la definicin como sigue.
z L+ L L-

( x0,y0)

Obsrvese que si la distancia del punto variable al de acumulacin del dominio es menor que , es condicin suficiente para que la imagen de f est tan prxima a L que la diferencia entre ellos resulta

JEA/05/06/98

Lmite de una funcin vectorial

menor que . Dicho de otro modo, f (x , y ) est entre (L-) y (L+) siempre que1 (x , y ) este en el disco reducido de centro (x 0, y 0 ) y radio . Debe destacarse que para probar un lmite se tiene entonces la necesidad de encontrar un para cada valor de libremente escogido; por esta razn se recapitula la definicin anterior para hacerla operacional. Definicin I-1.(Forma Operacional)
(x , y ) ( x 0 , y 0 )

Lim

f (x , y ) = L > 0 > 0

f (x , y ) L <

s.q.

0 < (x x 0 )2 + ( y y 0 )2 < .

Ms aun, como x x 0 = (x x 0 )2 (x x 0 )2 + (y y 0 )2 < se puede escribir

( x , y ) ( x 0 , y 0 )

Lim

f (x , y ) = L > 0 > 0

f (x , y ) L <

s.q.

0 < x x0 < , 0 < y y0 < .

Al igual que en los lmites de funciones de una variable real, el reto es definir la cota superior de

f (x , y ) L sabiendo que y y 0 y x x 0 estn acotados superiormente por algn , teniendo presente

que por definicin la cota as determinada debe ser igual o menor . Ej. 1) Demuestre que Sol.Por definicin
( x , y ) ( 3,2) ( x , y ) ( 3,2)

Lim

( 4x 5y + 2) = 20 .

Lim

( 4x 5y + 2) = -20 > 0 > 0

4x 5y + 2 + 20 <

s.q.

0 < (x + 3)2 + (y 2)2 <

Sabiendo que 0 < x + 3 < y 0 < y 2 < se define una cota para 4x 5y + 2 + 20 . Esto se logra manipulando algebraicamente esta ultima expresin de manera que en cada sumando del argumento de la funcin valor absoluto aparezca al menos uno de los factores (x + 3) o ( y 2) . De este modo,
4x 5y + 2 + 20 = 4x 5y + 22 = 4[(x + 3) 3] 5[(y 2) + 2] + 22 = 4(x + 3) 5(y 2) 4x +3 + 5y 2 < 4 + 5 = 9
factorizacin; desigualdad triangular y propiedad del valor absoluto de un producto; propiedades del producto y la adicin de desigualdades; uso de la definicin.

Luego, para cualquier seleccionado, basta tomar 9 que verifique el lmite dado.

En adelante abreviaremos siempre que mediante s.q.

JEA/05/06/98

Lmite de una funcin vectorial Ej. 2) Demuestre que Sol.Por definicin

Lim (1 xy + 2x 2y ) = 6 > 0 > 0
2 3

( x , y ) (1, 1)

Lim

(1 xy + 2x 2 2y 3 ) = 6 .

1 xy + 2x 2 2y 3 6 < s.q. 0 < (x 1)2 + ( y + 1)2 <

( x , y ) (1, 1)

Estrategia 1. Factorizacin Simultnea por Sumas y Diferencias de Potencias n-simas.

1 xy + 2x 2 2y 3 6 = 2y 3 2x 2 + xy + 5

= 2 (y 3 + 1) 1 2 (x 2 1) + 1 + x [( y + 1) 1] + 5 = 2(y 2 y + 1)(y + 1) 2 2(x + 1)(x 1) 2 + x (y + 1) [(x 1) + 1] + 5 = 2(y 2 y + 1)(y + 1) 2(x + 1)(x 1) + x (y + 1) (x 1) 1 + 1 = 2(y 2 y + 1)(y + 1) (2x + 3)(x 1) + x (y + 1) 2 y 2 y + 1 y + 1 + 2x + 3 x 1 + x y + 1

] [

Ntese que en cada sumando uno de los factores esta acotado por definicin. Para el otro factor es necesario calcular una cota superior, con el objeto de encontrar una cota para la suma y garantizar as que
1 xy + 2x 2 2y 3 6 < . Como la funcin de estudio es un polinomio es factible suponer 1 (por

qu?), y entonces

x 1 < 1 1 < x 1 < 1 0 < x < 2

(1a )

(1a)

y + 1 < 1 1 < y + 1 < 1 2 < y < 0

(1b )

(1b)

x <2
+ ( 3)

2: 0 < y 2 < 4
+ (1)

(2b)

(2) (1a ) : 0 < 2x < 4 3 < 2x + 3 < 7

(2a )

(2a)

( 1) (1b ) : 0 < y < 2 1 < y + 1 < 3

(2b ) + (3b ) : 1

(3b)

2x + 3 < 7

< y2 y +1 < 7 y2 y +1 < 7

As tenemos:
1 xy + 2x 2 2y 3 6 < 2(7) + 7 + 2 = 23

Luego, para cualquier seleccionado basta tomar mn(1,

) que verifique el lmite dado. 23

JEA/05/06/98

Lmite de una funcin vectorial Estrategia 2. Factorizacin Simultnea usando Potencias de Binomios.
1 xy + 2x 2 2y 3 6 = 2y 3 2x 2 + xy + 5 = 2[(y + 1) 1] 2[(x 1) + 1] + x [(y + 1) 1] + 5
3 2

= 2(y + 1)3 6( y + 1)2 + 6(y + 1) 2 2(x 1)2 4(x 1) 2 + x (y + 1) [(x 1) + 1] + 5 = 2(y + 1)3 6( y + 1)2 + 6(y + 1) 2(x 1)2 4(x 1) + x (y + 1) (x 1) = 2(y + 1)3 6( y + 1)2 + 6(y + 1) 2(x 1)2 5(x 1) + x (y + 1) 2y +1 + 6y +1 + 6y +1 + 2x 1 + 5x 1 + x y +1 < 2 3 + 6 2 + 6 + 2 2 + 5 + 2 = 2 3 + 8 2 + 13
3 2 2

El hecho que hayamos utilizado x < 2 indica que inicialmente hemos supuesto 1 , y en consecuencia

3 2 . Por tanto:
1 xy + 2x 2 2y 3 6 < 2 3 + 8 2 + 13 < 2 + 8 + 13 = 23

Lo cual nos lleva a las conclusiones ya obtenidas. Ej. 3) Demuestre que Sol.Por definicin
1 1 ( x , y ) ( 2 , 2 )

1 1 ( x , y ) ( 2 , 2 )

Lim

1 =1. x +y

Lim

1 = 1 > 0 > 0 x +y

1 1 < x +y

s.q.

1 1 0 < (x 2 ) 2 + (y 2 ) 2 <

1x y 1 1 = x +y x +y
1 1 = (2 x ) + (2 y )

1 (factorizacin) x +y

1 1 x 2 + y 2

)x 1 y +

(desigualdad triangular)

De este ltimo resultado debe destacarse que el primer factor est acotado segn la definicin; no obstante, la cota del segundo factor es desconocida. Como
1 x +y

no es acotado cuando (x + y ) 0 , la

suposicin acerca de debe ser hecha con ms rigor, cuidando que la bola reducida de (x 0, y 0 ) NO contenga algn punto del conjunto (x , y ) 2 y = x . Luego,

JEA/05/06/98

Lmite de una funcin vectorial

1 1 x 2 < < x 2 < 1 1 y 2 < < y 2 < 1 2 1 2

< x < < y <

1 2 1 2

+ +

(1) (2) (3)

(1)+(2): 1 2
( 3) 1 s.q. 1 2

< x + y < 1 + 2

1 1 1 1 1 < < < 1 + 2 x + y 1 2 x + y 1 2 >0

1 2

Para llegar a este resultado se ha exigido 1 2 > 0 , o sea, < entonces:

. Ahora podemos suponer que si

1 4

x +y

<2

1 1 < ( + )(2) = 4 x +y

Finalmente, para cualquier seleccionado, basta tomar mn( 1 4 , 4) que verifique el lmite dado. Ej. 4) Demuestre que
Lim 3xy =0.

( x , y ) ( 0 , 0 )

x2 + y2

Sol.Por definicin
Lim 3xy = 0 > 0 > 0 3xy < s.q. 0 < x2 + y2 <

(x , y ) ( 0, 0 )

x +y

x +y

Ntese que a diferencia de los ejemplos anteriores, el denominador de la funcin de estudio es NULO en el punto de acumulacin. En este caso la estrategia consiste en simplificar el denominador utilizando algn hecho algebraico-aritmtico obvio relacionado con la definicin. De este modo,
3xy =3

x y x +y
2 2

x +y

x2 +y2 x2 +y2 x +y
2 2

= 3 x 2 + y 2 < 3

Luego, para cualquier seleccionado, basta tomar

que verifique el lmite dado.

Los teoremas de lmites de funciones de una variable se extienden vlidamente a ms dimensiones, de manera que: 1. Si el lmite existe entonces su valor es nico.

JEA/05/06/98

Lmite de una funcin vectorial

2. Si existen los lmites de varias funciones en el mismo punto, entonces se verifica el lgebra de lmites (adicin, producto, cociente y composicin), considerando las restricciones pertinentes a

indeterminaciones o indefiniciones. As, se puede extender la definicin dada para funciones reales de dos variables a ms dimensiones. Definicin I-2. Sea f : U n con regla y = f (x ) , y sea el extremo (final) de a n un punto de acumulacin de U. Entonces,
x a
* Lim f ( x ) = L > 0 > 0 x B (a ) f ( x ) B (L ) ;

que en forma operacional puede escribirse como:

x a

Lim f ( x ) = L > 0 > 0 f ( x ) L < s.q. 0 < x a <

Ntese que la condicin suficiente indica que 0 < x i ai < , donde x i ai = ( x a ) ei . Luego, en las pruebas de lmites puede procederse en forma anloga al caso de dependencia bidimensional. Aqu podemos hacer la siguiente abstraccin geomtrica.
y L+ L L-

U n

f
a

En el caso de funciones reales de varias variables, para demostrar la NO existencia de lmite o para tener una idea de cul es su posible valor, son muy tiles los dos siguientes resultados sobre lmites por trayectorias o lmites reiterados. Proposicin I-1. Sea f : U n tal que Lim f ( x ) = L . Entonces, para cada trayectoria
x a

r : U n que verifique r (t0 ) = a , se tiene que:

t t 0

Lim f (r (t )) = L .

El recproco de esta proposicin no es correcto, pero si lo es el contrario puesto que si el lmite por trayectorias no es un valor nico entonces no existe lmite.

JEA/05/06/98

Lmite de una funcin vectorial

Ej. 5) Usando trayectorias muestre que la funcin de regla f (x , y ) = Sol.-

y x +y
2

no tiene lmite en (0,0).

i j Considrese la familia de trayectorias parablicas por el origen r (t ) = mt + t 2, con m . Luego,

Lim (mt )2 + t 2

t2

t 0

= Lim

t2 1 = t 0 (1 + m 2 ) 2 t 1 + m2

Como este resultado no es nico puesto que depende de m, la funcin dada no tiene lmite en (0,0). Proposicin I-2. Sea f : U n tal que Lim f ( x ) = L . Supongamos que existen los lmites
x a

xi ai

Lim f ( x ) , con xi = x ei y ai = a ei . Entonces existe y coincide con el lmite por trayectorias el lmite

Lim Lim L Lim L Lim Lim f ( x ) L L = L , xi ai xn 1 an 1 x n an x 1 a1 x 2 a2

as como los n!-1 lmites determinados al cambiar el orden de prioridad en el clculo. El recproco de esta proposicin tampoco es correcto, pero si lo es el contrario: si los n! lmites as calculados no coinciden entre s, o con el lmite por trayectorias, entonces no existe lmite para la funcin dada en el punto indicado. Ej. 6) Usando lmites reiterados muestre que la funcin de regla f (x , y ) = Sol.Se determinan 2! Lmites.
y Lim Lim 2 y 0 x + y x 0 y Lim Lim 2 x 0 x + y y 0 = Lim (0) = 0 x 0 y = Lim y 0 y = Lim(1) = 1 y 0
Lugar Geomtrico del Grfico de la funcin.

y x +y
2

no tiene lmite en (0,0).

Como los resultados no coinciden, se sigue que la funcin dada no tiene lmite en (0,0). En el caso que los resultados de lmites por trayectorias y de lmites reiterados en un punto dado, coincidan en valor numrico, no se puede afirmar que ste sea el lmite de la funcin hasta probarlo usando la definicin.
JEA/05/06/98

Lmite de una funcin vectorial 10

II.

Lmite de una funcin vectorial

Ahora interesa hablar del caso de las funciones f cuyas imgenes son vectores en m,

especficamente del valor lmite de tal funcin en el algn punto del conjunto de partida que en general, supondremos es n. Esto proporcionar la visin ms general sobre la piedra angular de este curso. Definicin II-1. Sea f : U n m con regla y = f (x ) , y sea el extremo (final) de a n un punto de acumulacin de U. Entonces,
x a

* Lim f ( x ) = L > 0 > 0 x B (a ) f ( x ) B (L ) ,

que en forma operacional puede escribirse como:

x a

Lim f ( x ) = L > 0 > 0

f ( x ) L < s.q. 0 < x a <

Ntese que la condicin suficiente indica que 0 < x i ai < , donde x i ai = ( x a ) ei . Luego, en las pruebas de lmites puede procederse en forma anloga al caso de dependencia real n-dimensional. Ahora podemos hacer la siguiente abstraccin geomtrica.

U n
f

Considrese y = f ( x ) =

j
=1

fj ( x )e j con fj : U j n y U =
m

I U j . Luego, j
=1

x a

Lim f ( x ) = L =

Lj ej Lim fj (x ) = Lj . j
=1
x a

Esta afirmacin nos lleva a la conclusin que el trabajo con lmites de funciones vectoriales se reduce al clculo de lmites de funciones reales. Es ms, desde el punto de vista operacional se puede escribir:
x a

Lim f ( x ) = L > 0 > 0

{f ( x ) L
j

<

1 j m

s.q. 0 < xi ai <

}1i n

(por qu?).

JEA/05/06/98

Lmite de una funcin vectorial 11 Ej. 7) Demuestre que Sol.Por definicin,

(x , y , z ) (2,2,2)

Lim

(x + y + z , x 2 + 2y 2 + 3z 2 ) = (6,24) .

(x , y , z ) (2,2,2)

Lim

(x + y + z , x 2 + 2y 2 + 3z 2 ) = (6,24) > 0 > 0

(x + y + z 6)2 + (x 2 + 2y 2 + 3z 2 24)2 < s. q. 0 < (x 2)2 + (y 2)2 + (z 2)2 <

Considerando simultneamente cada funcin componente,

x 2 + 2y 2 + 3z 2 24
= [(x 2) + 2] + 2[(y 2) + 2] + 3[(z 2) + 2] 24
2 2 2

x + y + z 6 = (x 2) + (y 2) + (z 2)
x 2 + y 2 + z 2 < 3

= (x 2)2 + 4(x 2) + 2( y 2)2 + 8(y 2) + 3(z 2)2 + 12(z 2) (x 2)2 + 4 x 2 + 2(y 2)2 + 8 y 2 + 3(z 2)2 + 12 z 2 x 2 + 2y 2 + 3z 2 24 < 6 2 + 24
1

x 2 + 2y 2 + 3z 2 24 < 30

Luego, para cualquier seleccionado basta tomar = mn( ,1, ) = mn(1, ) que verifique el lmite 3 30 30 dado.
1 cos xy (x a )y no tiene lmite en (a,0). Ej. 8) Muestre que la funcin f (x , y ) = , y2 (x a )2 + y 2

Sol.Estudiando los lmites de cada funcin componente, se tiene que: (i) (ii)
( x , y ) ( a , 0)

lim

1 cos xy

(1 cos xy )(1 + cos xy ) = 1 lim x 2 sen2 xy ( x , y ) (a , 0 ) 2 ( x , y ) (a , 0 ) y 2 (1 + cos xy ) x 2y 2

lim (a + t a )(mt )

a2
2

Usando la familia de trayectorias rectas que pasan por (a,0), r (t ) = (t + a ) + mt con m , i j

lim (a + t a )2 + (mt )2 = lim

t 0

mt 2 m = 2 2 t 0 (1 + m ) t 1 + m2

es obvio que este resultado no es nico y en consecuencia esta funcin componente no tiene lmite en (a,0). En conclusin la funcin f no tiene lmite en el punto especificado. Para finalizar este apartado se resumen las propiedades algebraicas de los lmites en el siguiente teorema.

JEA/05/06/98

Lmite de una funcin vectorial 12 Teorema 1. Sean las funciones vectoriales f : U n m , g :V n m y h :W m p , la funcin real p : n , y el extremo de a un punto de acumulacin comn a todos los dominios

n-dimensionales. Si los lmites de las funciones correspondientes en ese punto son

x a

Lim f ( x ) = L , Lim g ( x ) = M y Lim p ( x ) = R ,

x a x a

entonces: (i) (ii)

x a x a x a

Lim ( f + g )( x ) = L + M

Lim ( f g )( x ) = L M

(iii) Lim ( pf )( x ) = RL (iv) Lim ( f p )( x ) =

x a

, s.q. R 0

(v)

x a

Lim f ( x ) = L

(vi) Lim (h o f )( x ) = h Lim f ( x ) = h (L ) s.q. L W x a x a

III.

Continuidad de una funcin de varias variables

La continuidad de una funcin formalmente significa que incrementos pequeos en las variables

independientes conducen a incrementos pequeos en el valor de la funcin, as, cuando aquel incremento es infinitsimo (tiende a cero) tambin lo es el de la funcin. Dicho de otro modo, f es continua en el extremo de cierto a , si f (x ) tiende a f (a ) cuando x a . Definicin III-1. Sea f : U n m con regla y = f (x ) . Se dice que la funcin f es continua en

a n , y que denotamos f C {a } , sii Lim f ( x ) = f (a ) o equivalentemente,

x a
* > 0 > 0 x B (a ) f ( x ) B (f (a )) .

Operacionalmente se escribe:
f C {a } > 0 > 0 f ( x ) f (a ) < s.q. 0 < x a <

Observaciones.
1. 2. 3. La funcin f es continua en a sii, son continuas all todas sus funciones componentes. Se dice que f es continua en un conjunto D U , si lo es en todo punto de ese conjunto. La funcin polinomial es continua en todo el conjunto de partida. Tambin lo son intrnsecamente las funciones circulares principales y la exponencial.

JEA/05/06/98

Lmite de una funcin real 13 4. Si la funcin f no es continua en un punto a de acumulacin de U, se dice es discontinua en a . En tal caso la discontinuidad es evitable o esencial segn que exista o no el lmite de f en a . Se dice que se evita la discontinuidad si se cambia lo que sucede en a por el valor lmite de f all; con esta manipulacin se consigue que f pase a ser continua en a . Concretamente, la correccin a realizar es:
f (x) , si x a . f (x) = c Lim f ( x ) , si x = a x a

Las propiedades de lmites de funciones que se estudiaron en el apartado anterior, conducen a propiedades anlogas para las funciones continuas. Teorema 2. Sean las funciones vectoriales f : U n m , g :V n m y h :W m p , la funcin real p : n . Si f , g y p estn definidas sobre el mismo conjunto D n , y son continuas en a D ; si adems f (U ) W , entonces: (i) (ii) (iii) (iv) (v)
( f + g ) C {a } ( f g ) C {a } ( pf ) C {a } ( f p ) C {a } s.q. p (a ) 0 (h o f ) C {a } s.q. h C f (a )

Ej. 9) Estudie la continuidad de la funcin cuya regla es f (x , y ) = sgn(x ) . Sol.Como el grfico de esta funcin es bastante simple, es posible realizar el estudio con base en meras observaciones geomtricas. Luego,
z

x
Gra(f ) = (x , y ) z = 1, x < 0 z = x = 0 z = 1,x > 0

}
y

-1

JEA/05/06/98

Lmite de una funcin real 14 Es obvio que la funcin slo presenta una discontinuidad, del tipo esencial para el eje de ordenadas. Ej. 10) Estudie la continuidad de la funcin cuya regla es f (x , y ) = Sol.Aqu la funcin dada es racional y por tanto es continua en 2 {( 0,0)} (por qu?). Estudiaremos entonces el lmite de f en (0,0).
2 x 2 + y 2 (x + 1) = Lim x = Lim(1) = 1 Lim Lim x 0 x 2 x 0 x 0 y 0 x2 +y2 2 x 2 + y 2 (x + 1) = Lim y = Lim(1) = 1 Lim Lim y 0 y 2 y 0 y 0 x 0 x2 +y2

x 2 + y 2 (x + 1) . x2 +y2

Cualquier trayectoria conducir tambin a este resultado. Por tanto, debemos usar la definicin para probar que el valor del lmite en cuestin es 1. En efecto,

x 2 + y 2 (x + 1) = 1 > 0 > 0 (x , y ) ( 0,0) x2 +y2

Lim

x 2 + y 2 (x + 1) 1 < s.q. 0 < x 2 + y 2 < 2 2 x +y

x y2 x (x 2 + y 2 ) x 2 + y 2 (x + 1) 1 = 2 = x < x2 +y2 x +y2 x2 +y2

Luego, para cualquier seleccionado basta tomar que verifique el lmite dado. Puesto que el lmite EXISTE y vale 1, la funcin presenta discontinuidad del tipo evitable en (0,0). La funcin corregida es:

x 2 + y 2 (x + 1) , si (x , y ) ( 0,0) fc (x , y ) = x 2 + y 2 1 , si (x , y ) = (0,0)

JEA/05/06/98

Lmite de una funcin real 15 Ej. 11) Estudie la continuidad de la funcin

sen 2x cos 2y + cos 2y sen 2y x4 y4 . , f (x , y ) = ln x ln( y ) a x a y

Sol.Sean f1 (x , y ) = Luego,
Dom(f1 ) = (x , y ) 2 a x a y = (x , y ) 2 x y = 2 {(x 0 ,x 0 )} , y
2 2 2

sen 2x cos 2y + cos 2y sen 2y a x a y

y f2 (x , y ) =

x4 y4 , las funciones componentes de f . ln x ln( y )

{ Dom(f ) = { x , y ) ( = {x, y) (

} {
}

ln x ln( y ), x > 0, y < 0 = (x , y ) 2 x y , x > 0, y < 0

x > 0, y < 0 {(x 0, x 0 )}

} {

Dom( f ) = Dom(f1 ) I Dom(f2 ) = (x , y ) 2 x > 0, y < 0 {(x 0, x 0 )}

Si x < 0 o y > 0 , o si xy = 0 x 2 + y 2 0 , f2 no est definida y la discontinuidad es esencial. Estudio del lmite de cada funcin componente cuando (x , y ) (x0 ,x 0 ) .
sen 2x cos 2y + cos 2y sen 2y (sen 2x + sen 2y ) cos 2y Lim = x y y 1 ( x , y ) ( x 0 , x 0 ) ( x , y ) ( x 0 , x 0 ) a a x a Lim
a

= cos 2x 0

( x , y ) ( x 0 , x 0 )

Lim

2 sen

2x + 2y 2x 2y cos 2 2 1 a x + y

) (

= 2a x 0 cos2 2x 0 = 2a x 0

sen(x + y ) x +y ( x , y ) ( x 0 , x 0 ) 1 a sen (x + y ) (x + y ) cos2 2x 0 Lim = ln2a a x 0 cos2 2x 0 x +y 1 ( x , y ) ( x 0 , x 0 ) a (x + y ) Lim

ax

x4 y4 (x + y )(x 3 x 2y + xy 2 y 3) = Lim (x , y )(x 0 , x 0 ) ln x ln(y ) (x ,y ) (x0 ,x 0 ) ln( x ) y

Lim
3 = 4x0 (x ,y )(x0 ,x 0 )

Lim

1 x +y

1 1 3 = 4x0 Lim 1 x (x , y )(x 0 , x 0 ) ln( y ) ln( x ) x + y

y
3 = 4x0

3 = 4x0

1
1 ln Lim ( x ) x + y (x ,y )(x ,x ) y 0 0

(x ,y ) (x 0 ,x 0 )

Lim

[(

1 x y ) 1 ( x +y )

3 = 4x0

1
(x ,y ) (x 0 ,x 0 )

Lim

1 ( y )

4 = 4x0

JEA/05/06/98

Lmite de una funcin real 16 Luego, f tiene discontinuidad evitable en (x 0 ,x0 ) . La funcin corregida es:
sen 2x cos 2y + cos 2y sen 2y x4 y4 , si x y , y x f (x , y ) = . ln x ln( y ) a a x 2 4 , si x = y ln2a a cos 2x ,4x

REFERENCIAS
1. El Clculo con Geometra Analtica, por Louis Leithold. HARLA.

2. Clculo Infinitesimal de Varias Variables, por Juan de Burgos. McGraw-Hill. 3. Calculus, por Tom Apostol. Revert. 4. Clculo Diferencial, por Jos Mazn. McGraw-Hill. 5. Clculo de Varias Variables con Algebra Lineal, por Philip Curtis. LIMUSA 6. Clculo Vectorial, por Claudio Pita. Prentice Hall. 7. Clculo Vectorial, por Marsden/Tromba. Addison-Wesley Iberoamericana. 8. Funciones de Varias Variables, por DeSalvo/Torres. EDILUZ. 9. Historia de las Matemticas, por K. Rbnikov. MIR 10. Enciclopedia ENCARTA97. Microsoft Corp.

"Mejor que de nuestro juicio, debemos fiarnos del clculo algebraico". Leonard Euler.

JEA/05/06/98