Professional Documents
Culture Documents
En el pasado, en el curso calculo 10, tuvimos nuestro primer contacto con los lmites,
en esa oportunidad, estudiamos el lmite para funciones de una variable. Esto es, inves-
tigamos que valor (si lo hubiese) toma f (x) cuando x esta muy proximo a x0 (bien sea
por la derecha de x0 o por la izquierda de x0 ). Si L es el valor que toma f (x) cuando
x se aproxima a x0 (sin llegar a ser x0 ), entonces decimos que:
lm f (x) = L
xx0
1
Lmite de una funcion de varias variables Prof. Derwis Rivas 2
Definicion 1.2 lm f (x) = L, si y solo si, para todo > 0, existe () > 0 tal que si
xx0
0 < x x0 < entonces |f (x) L <
lm (x2 y)
(x,y)(1,2)
lm (x2 y) = 1 2 = 1.
(x,y)(1,2)
Supongamos que usted, mi querido lector, no esta convencido de este resultado y re-
quiere que el mismo sea demostrado. En ese caso, apelamos a la definicion y para
demostrar que existe y vale 1 buscaremos la existencia de un > 0 para un > 0
dado que garantice que para valores de x = (x, y) cercanos a x0 = (1, 2) las imagenes
de f (x) estan muy cercanas a L = 1. Es decir:
lm (x2 y) = 1 si y solo si para cada > 0, buscamos un () > 0 tal que si
(x,y)(1,2)
0 < (x, y) (1, 2) < entonces |x2 y + 1| < . En este caso,
(x, y) (1, 2) = (x 1)2 + (y 2)2 <
Notemos que:
|x 1| = (x 1)2 < (x 1)2 + (y 2)2 < det lo que implica |x 1| <
|y 2| = (y 2)2 < (x 1)2 + (y 2)2 < det lo que implica |y 2| <
x + y2 1 + 02 1
2. lm = =
(x,y,z)(1,0,2) 3z xy 3(2) + (1)(0) 6
sen x + 2 cos y sen(/2) + 2 cos
3. lm = =1
(x,y)(/2,) sen(x + y) sen(/2 + )
En todos los casos el lmite existe y vale lo que indica (si el lector lo desea puede
corroborar los resultados demostrando la existencia empleando la definicion). Con lo
explicado hasta ahora hemos dado parte de la respuesta a la pregunta Cmo se calcula
el lmite de una funcion de varias variables?, pues hasta ahora, un lmite se puede
calcular va evaluacion directa siempre y cuando la funcion este definida en el punto.
Aun nos queda pendiente la siguiente pregunta Como calcular el lmite si la funcin no
esta definida en el punto?. En este caso, el algebra y/o un cambio de variable podra
ayudar a calcular el lmite. Observe el siguiente ejemplo.
x2 + 2xy + y 2 = (x + y)2
Lmite de una funcion de varias variables Prof. Derwis Rivas 5
Entonces:
x2 + 2xy + y 2 (x + y)2
lm = lm = lm (x + y) = 0
(x,y)(0,0) x+y (x,y)(0,0) x + y (x,y)(0,0)
sen(x2 + y 2 )
2. lm
(x,y)(0,0) x2 + y 2
Solucion. Nuevamente, evaluar el { lmite no es posible. Pero, podemos hacer el
x2 + y 2 = t,
siguiente cambio de variable C.V.
como (x, y) (0, 0) entonces t 0+ .
Por lo tanto:
sen(x2 + y 2 ) sen t
2
lm
2
= lm+ =1
(x,y)(0,0) x +y t0 t
[ ]
cos(x2 + y 2 )
3. lm
(x,y)(0,0) 2 x2 + y 2
Solucion. Nuevamente, evaluar el { lmite no es posible. Pero, podemos hacer el
x2 + y 2 = t,
siguiente cambio de variable C.V.
como (x, y) (0, 0) entonces t 0+ .
Por lo tanto:
[ ] [ ]
cos(x2 + y 2 ) cos t
lm = lm+ =
(x,y)(0,0) 2 x2 + y 2 t0 2 t
x2 + y 2
4. lm
(x,y)(0,0) x2 + y 2 + 1 1
Solucion. Nuevamente, evaluar el { lmite no es posible. Pero, podemos hacer el
x2 + y 2 = t,
siguiente cambio de variable C.V.
como (x, y) (0, 0) entonces t 0+ .
Por lo tanto:
x2 + y 2 t
lm = lm+
(x,y)(0,0) x2 + y 2 + 1 1 t0 t+11
Notese que hemos llegamos al lmite de una variable, puedes usar conjugada o la
regla de LHopital, emplea el metodo que te cause mayor placer, para terminar
de obtener el valor lmite.
Lmite de una funcion de varias variables Prof. Derwis Rivas 6
Al parecer todo esta finalmente claro, sin embargo, existen muchos lmites que ni el
algebra, ni un cambio de variable ayudan a determinar su existencia. Tal es el caso del
siguiente lmite:
3x2
lm
(x,y)(0,0) x2 + y 2
0
C
vas, por lo que existen infinitas manera de acercarse a 2
C 3
x0 y para que el lmite exista cada uno de los lmites
x 0
Espero que el lector haya apreciado que es practicamente imposible calcular el lmite
sobre todas las curvas que pasan por x0 . Por lo que resulta imposible demostrar la
existencia del lmite calculando todos los lmites sobre los infinitos caminos. El contra-
recproco de este resultado nos brinda un criterio para demostrar la no existencia de
un lmite en el punto x0 .
Ejemplo 1.6 Aplica el criterio para demostrar que el siguiente lmite no existe
3x2
lm
(x,y)(0,0) x2 + y 2
Finalmente, podemos encontrar funciones cuyo lmite en el punto x0 existe, aun cuando
la funcion no esta definida en el punto x0 . En estos lmites, no podemos evaluar por
lo que demostrar su existencia va mas alla de una simple sustitucion directa. Para
demostrar la existencia de dichos lmites se emplea el Teorema de la Funcion Acotada
(T.F.A.) o el Teorema de la Funcion Intermedia (T.F.I.), teniendo en cuenta algunas
acotaciones. conjunto con las siguientes acotaciones.
lm (f (x) g(x)) = 0
xx0
lm f (x) = a
xx0
1. | sen x| 1
2. | cos x| 1
Lmite de una funcion de varias variables Prof. Derwis Rivas 9
x2
3. 0 1
x2 + y 2
|x|
4. 0 1
x2 + y 2
Ejemplo 1.10 Utiliza el T.F.A. para demostrar el siguiente resultado (el lmite existe
y vale cero)
5x2 y
lm =0
(x,y)(0,0) x2 + y 2
5x2 y x2
= 5y
x2 + y 2 x2 + y 2 |{z}
| {z } tiende a cero
esta acotado
Por lo tanto, aplicando el T.F.A. se tiene:
[ ]
5x2 y x2
lm = lm 5y = Acot 0 = 0
(x,y)(0,0) x2 + y 2 (x,y)(0,0) x2 + y 2
5x2 y
lm =0
(x,y)(0,0) x2 + y 2
Solucion. Se quiere mostrar que el lmite existe y vale cero. Por la forma que tiene
x2
el lmite tiene sentido emplear la cota 0 2 1 (vease la cota 3) para poder
x + y2
construir la funcion multiplicando toda la expresion por el factor que falta: 5y (obser-
ve el numerador). Evidentemente, dicho factor puede ser positivo o negativo. De ser
positivo, no afecta la desigualdad y la cota queda igual. De ser negativo, se voltea la
Lmite de una funcion de varias variables Prof. Derwis Rivas 10
En ambos ejemplos 1.10 y 1.11, se afirmo de entrada que el lmite existe y vale cero. No
siempre se conoce, de entrada, la existencia del lmite por lo que se debe inspeccionar la
posibilidad de su existencia o inexistencia. No hay nada escrito al respecto que permita
afirmar un comportamiento generalizado al momento de inspeccionar la existencia del
lmite. Lo que usualmente se hace es emplear caminos para tener una idea del valor
que puede tener el lmite, si por algun golpe de suerte al emplear caminos se llega a
resultados diferentes se demuestra su inexistencia. Pero si los resultados son siempre
el mismo valor, a pesar de haber empleado 3, 4, 5, 6, 7, 8, 9, 10 caminos diferentes
no se puede concluir que el lmite existe, en lugar de afirmar tal cosa, lo que se puede
es conjeturar su existencia. Por lo que, el paso siguiente es demostrar su existencia
empleando las cotas y cualquiera de los dos teoremas. En adelante, emplearemos el
T.F.A. cada vez que sea necesario demostrar la existencia de un lmite que no pueda ser
evaluado mediante sustitucion directa. Lea detenidamente los siguientes dos ejemplos
que se presentan a continuacion.
Calculemos el lmite sobre la curva x = y
4x2 y 4( y)2 y 4y 2 4y 2 4y
lm 2 3
= lm 2 3
= lm 3
= lm 2
= lm =0
(x,y)(0,0) x + y y0 ( y) + y y0 y + y y0 y(1 + y ) y0 1 + y 2
Dejamos al lector que pruebe con los caminos y = x2 , y = x, y = x3 , y = 3 x
y encontrara que en todos el valor del lmite es cero. Se puede afirmar que el
lmite es cero? NOOOOOOO!.
Calculemos el lmite usando el camino x = y 4 y 3
4x2 y 4( y 4 y 3 )2 y 4(y 4 y 3 )y
lm = lm = lm
(x,y)(0,0) x2 + y 3 y0 ( y 4 y 3 )2 + y 3 y0 y 4 y 3 + y 3
4(y 1)y 4
= lm = lm 4(y 1) = 4
y0 y4 y0
Es seguro que usted, mi paciente lector, debe estar intrigado por el origen de ese camino
tan inusual. Pues, en ocasiones es posible deducir un camino muy particular para cada
lmite que nos brinde garanta que el resultado no sera cero. Si esta interesado en saber
como obtuve este camino, lea detenidamente lo que a continuacion pretendo explicar.
Lo primero es observar si una de las variables se repite en el numerador y denominador
con la misma potencia. En este problema el numerador es: 4x2 y y el denominador
es: x2 + y 3 . Es evidente, se repite x2 . Debido a esto, se plantea la siguiente igualdad
y n = x2 + y 3 y se despeja la variable x2 . Es decir, x2 = y n y 3 . Luego se reemplaza
ambos en la funcion (no se coloca el lmite).
4x2 y 4(y n y 3 )y 4y 4 (y n3 1)
= =
x2 + y 3 yn yn
De la unica forma que ocurra una cancelacion es que n = 4. Por lo tanto, la curva
y 4 = x2 + y 3 x2 = y 4 y 3 x = y4 y3
es el camino que deseamos para comprobar la no existencia del lmite. Estamos seguro
que funciona porque al sustituir n = 4 en la expresion y n3 1 la potencia de y es
positiva. Si al hacer la sustitucion la potencia resulta negativa el camino encontrado
no funciona.
Lmite de una funcion de varias variables Prof. Derwis Rivas 12
Solucion. Procedemos a usar caminos para inspeccionar que valor podra tener el lmi-
te:
Calculemos el lmite sobre el camino y = mx (estamos usando un camino para-
metrizado que representa las infinitas rectas que pasan por el (0, 0)).
x3 y 2 x3 (mx)2 m2 x5 m2 x3
lm = lm = lm = lm =0
(x,y)(0,0) x2 + y 2 x0 x2 + (mx)2 x0 x2 (1 + m2 ) x0 1 + m2
A pesar que hemos usado infinitas rectas que pasan por el origen y todas dan el
mismo valor lmite, no podemos concluir que el lmite existe. Recuerde que todava
existen infinitas curvas que pasan por el origen y aun no las hemos empleado.
Por ejemplo, las curvas y = mx2 .
Vamos a demostrar que el lmite existe y vale cero. Para ello usemos el T.F.A. y
lo primero a tener en cuenta es observar si es posible descomponer la funcion en dos
factores donde uno de ellos este acotado. Una mirada veloz nos advierte que lo anterior
es posible. Hagamoslo:
x3 y 2 y2
= x3
x2 + y 2 x2 + y 2 |{z}
| {z } 0
acotado
Lmite de una funcion de varias variables Prof. Derwis Rivas 13
Por lo tanto:
[ ]
x3 y 2 y2
lm = lm x = Acot 0 = 0
3
(x,y)(0,0) x2 + y 2 (x,y)(0,0) x2 + y 2
En este punto, el lector debe estarse preguntando: Como se cuando un lmite existe?
pues si se cuando existe evito emplear muchos caminos y me voy directo a demostrar
su existencia. Mi querido lector, nadie puede determinar eso a simple vista. Se requiere
de mucho esfuerzo y dedicacion para desarrollar la habilidad de detectar la existencia
o inexistencia de lmites con el ojo. Sin embargo, la presencia de la expresion x2 + y 2
en el denominador ofrece un dato que vale la pena tener en cuenta, ya que si alguno de
los terminos x2 o y 2 es factor en el numerador se tiene entre manos la funcion acotada.
Observe el Ejemplo 1.10, notara la presencia del factor x2 en la expresion 5x2 y y en el
Ejemplo 1.13, notara la presencia de y 2 en la expresion x3 y 2 . Gracias a este hecho fue
posible plantear la cota y aplicar el teorema. Esto en modo alguno representa un proce-
dimiento, pero no quedan dudas de que ayuda muchsimo. El siguiente ejemplo muestra
la razon del por que no puede considerarse como un procedimiento generalizado.
Ejemplo 1.14 Investiga la existencia del siguiente lmite
x3 |y|
lm
(x,y)(0,0) x4 + y 2
la funcin esta
definida en el punto evaluamos directamente
la funcin no esta
definida en el punto El lmite existe y vale cero y se
demuestra usando el Teorema de la
funcin acotada y las acotaciones