Captulo 1

Lmite de una funci

on de varias variables

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, investigamos 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

y se lee el lmite cuando x tiende a x0 de f (x) es L.

Formalmente, la definicion de lmite de una funcion f en el punto x0 es:
Definici
on 1.1 lm f (x) = L, si y solo si, para todo > 0, existe () > 0 tal que si
xx0

0 < |x x0 | < entonces |f (x) L| <

Una vez retomado el concepto de lmite, o lo que es igual, una vez que hemos vivido
nuevamente el concepto de lmite (recordar es vivir) regresemos a Calculo 30. En la
actualidad, nos ocupa nuevamente estudiar el lmite, pero esta vez, para funciones de
dos o mas variables. Lo bueno, es que la idea inmersa en el estudio de lmites (la
definicion de lmite) para funciones de una variable se mantiene intacta para el caso de
funciones de dos o mas variables. Es decir, si f es una funcion de dos o mas variables
nos interesa investigar el valor que toma f (x) (si este existe) cuando x (x = (x, y)
para f de dos variables, x = (x, y, z) para f de tres variables, . . .) se aproxima a x0
(x0 = (x0 , y0 ) para f de dos variables, x0 = (x0 , y0 , z0 ) para f de tres variables, . . .). 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
Formalmente, la definicion de lmite para una funcion f de dos o mas variables en un
punto x0 es:
1

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

Definici
on 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 <
Al comparar ambas definiciones se advierte que difieren practicamente en nada. Bueno,
un lector dedicado notara que para funciones de una variable usamos 0 < |x x0 | < ,
mientras que para funciones de varias variables usamos 0 < x x0 < . La expresion
denota la norma que se emplea para medir la distancia entre dos puntos.
Para funciones de dos variables, tenemos x = (x, y) y x0 = (x0 , y0 ), as:

x x0 = (x x0 )2 + (y y0 )2
Para funciones de tres variables, tenemos x = (x, y, z) y x0 = (x0 , y0 , z0 ), as

x x0 = (x x0 )2 + (y y0 )2 + (z z0 )2
Establecido el concepto de lmite para funciones de varias variables, lo siguiente es,
responder la pregunta
C
omo se calcula el lmite de una funci
on de varias variables?
La cual, conlleva a la siguiente pregunta
C
omo sabemos si el lmite existe o no existe?
Enfrentados a la necesidad de calcular un lmite, lo primero es probar con la sustitucion
directa de las variables; si el resultado es un n
umero, entonces el lmite existe y el valor
lmite es el valor obtenido. Sin embargo, si el lector no se convence de esta manera
con la existencia del lmite y que dicho n
umero es el valor lmite

, lo puede demostrar
usando la definicion.
Ejemplo 1.3 Calcular el siguiente lmite
lm
(x,y)(1,2)

(x2 y)

Soluci
on. Hacemos la sustitucion directa, esto es:
lm
(x,y)(1,2)

(x2 y) = 1 2 = 1.

Entonces, el lmite existe y vale 1.

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

Supongamos que usted, mi querido lector, no esta convencido de este resultado y requiere 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)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 1| =

Ahora tomamos de la definicion lo que se desea acotar con , lo manipulamos algebraicamente para aplicar la desigualdad triangular y al conseguirlo aparecer
an los terminos
anteriores que estan acotados por . Puede ocurrir que aparezcan terminos que no esten
acotados por , en ese caso, necesitaremos asignarle a un valor muy pequeo (sin perder
generalidad, podemos asignarle a el valor de 1) que nos permita acotar tales terminos
por un n
umero. Veamos que ocurre
|x2 y + 1| = |x2 y 1 + 2| = |x2 1 + (y + 2)| |x2 1| + |y 2| (1.1)
= |x 1||x + 1| + |y 2|

(1.2)

Tal como esperabamos |x 1| y |y 2| est

an acotados por , pero |x + 1| no lo esta.
Para poder acotarlo, asignamos = 1 y partimos de |x 1| < = 1. Luego usando
propiedades del valor absoluto encontraremos una cota para |x + 1|.
|x 1| < 1 1 < x 1 < 1 1 < x + 1 < 2 2 < 1 < x + 1 < 2
2 < x + 1 < 2 |x + 2| < 2
Ahora retomanos 1.1 y sustituimos las tres cotas obtenidas:
|x2 y + 1| |x 1||x + 1| + |y 2| < 2 + = 3 < <

Por lo tanto, si tomamos = mn{1, 3 } garantizamos que el lmite de f (x, y) = x y 2

cuando (x, y) se aproxima a (1, 2) es 1.

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

No hay nada especial en el ejemplo anterior, comprobar la existencia de un lmite

requiere realizar este procedimiento. Ahora bien, si miramos detenidamente la funcion
veremos que la misma esta definida en el punto (1, 2) lo cual nos permite hacer la
evaluacion directa y obtener el resultado, gracias a ello, resulta muy sencillo (no siempre
es facil) comprobar su existencia mediante la definicion. Desde este punto de vista,
aceptamos de manera natural la existencia del lmite y el valor que toma. Observe en
el siguiente ejemplo, el punto donde se desea calcular el lmite esta definida la funcion,
por ello el lmite se calcula a traves de una sustitucion directa.
Ejemplo 1.4 Calcule el valor de los siguientes lmites.
1.

lm
(x,y)(1,1)

(x3 2xy + 1) = (1)3 2(1)(1) + 1 = 4

2.

x + y2
1 + 02
1
=
=
(x,y,z)(1,0,2) 3z xy
3(2) + (1)(0)
6

3.

sen x + 2 cos y
sen(/2) + 2 cos
=
=1
(x,y)(/2,)
sen(x + y)
sen(/2 + )

lm

lm

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.
A
un 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.
Ejemplo 1.5 Calcular los siguientes lmites
x2 + 2xy + y 2
1.
lm
(x,y)(0,0)
x+y
2

Soluci
on. Evidentemente, la funcion f (x, y) = x +2xy+y
no esta definida en
x+y
(0, 0) por lo que no es posible calcular el lmite por medio de una sustitucion
directa. Observe que, si a pesar de ello decideramos evaluar obtenemos la indeterminacion 00 . No obstante, note que
x2 + 2xy + y 2 = (x + y)2

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

Entonces:
x2 + 2xy + y 2
(x + y)2
= lm
= lm (x + y) = 0
(x,y)(0,0)
(x,y)(0,0) x + y
(x,y)(0,0)
x+y
lm

sen(x2 + y 2 )
2.
lm
(x,y)(0,0)
x2 + y 2
Soluci
on. 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 t
sen(x2 + y 2 )
= lm+
=1
2
2
(x,y)(0,0)
t0
x +y
t
]
[
cos(x2 + y 2 )
3.
lm

(x,y)(0,0) 2
x2 + y 2
Soluci
on. 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+ .
lm

Por lo tanto:

[
lm

(x,y)(0,0)

4.

lm

]
[
]
cos t
cos(x2 + y 2 )

= lm+

=
t0
2
x2 + y 2
2
t

x2 + y 2

x2 + y 2 + 1 1
Soluci
on. 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+ .
(x,y)(0,0)

Por lo tanto:
lm
(x,y)(0,0)

x2 + y 2
x2 + y 2 + 1 1

= lm+
t0

t
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 funci

on de varias variables

Prof. Derwis Rivas

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
En funciones de una variable x se aproxima a x0 sobre la recta real u
nicamente de
dos maneras: por la derecha (x 0+ ) o por la izquierda (x 0 ). Por esta razon la
existencia del lmite, en Calculo 10, se garantiza cuando el lmite por la derecha es igual
al lmite por la izquierda. En cambio, en funciones de varias variables existen infinitas
maneras en la que el punto x puede aproximarse al punto x0 . Para tener una idea
de lo que expreso, pongamos el caso de funciones de dos variables donde x = (x, y) y
x0 = (x0 , y0 ). Es evidente, en este caso, que el punto x0 no necesariamente se encuentra
sobre una recta, pues, podra ser un punto arbitrario en el plano y la pregunta simple
es Cuantas curvas pueden pasar sobre el punto x0 de modo que sobre ellas el punto x
pueda acercarse a x0 ?
En la figura adjunta se muestran varias curvas
(C1 , C2 , C3 , C4 ) que pasan por x0 , tenga en cuenta que
C
en realidad por el punto x0 pueden pasar infinitas cury
C
vas, por lo que existen infinitas manera de acercarse a
C
x0 y para que el lmite exista cada uno de los lmites
x
C
calculados sobre cada una de las infinitas curvas debe
existir y dar igual.
Es decir, el lmite en el punto x0 existe si y solo si el lmite existe y da el mismo valor
sobre todas las curvas que pasan por el punto x0 . En terminos matematicos:
1

lm f (x) existe
x x0

lm f (x) =
lm f (x) =
lm f (x) =
x x0
x x0
x x0
x C1
x C2
x C3

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 contrarecproco de este resultado nos brinda un criterio para demostrar la no existencia de
un lmite en el punto x0 .

Criterio para la no existencia de lmites: Si en el punto x0 el lmite existe y da

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

diferente sobre dos caminos diferentes, entonces en el punto x0 el lmite no existe.

Ejemplo 1.6 Aplica el criterio para demostrar que el siguiente lmite no existe
3x2
(x,y)(0,0) x2 + y 2
lm

Soluci
on. Sobre el punto (0, 0) pasan las siguientes curvas: x = 0, y = 0, y = x,
y = 2x, y = 3x, y = x2 , y = x3 ,... espero que el lector haya captado que son bastantes curvas, recuerde que pueden ser infinitas, pero para aplicar el criterio no necesito
tenerlas todas, solo necesito usar dos donde el lmite, en cada una, sea diferente.
Calculemos el lmite sobre la curva x = 0, entonces:
3x2
3(0)2
=
l
m
=0
y0 02 + y 2
(x,y)(0,0) x2 + y 2
lm

Calculemos el lmite sobre la curva y = 0, entonces

3x2
3x2
3x2
=
l
m
=
l
m
=3
x0 x2 + 02
x0 x2
(x,y)(0,0) x2 + y 2
lm

El lmite no existe ya que el resultado es diferente sobre curvas diferentes.

En ocasiones utilizar un camino parametrizado puede ayudar a demostrar la no existencia del lmite. Veamos el siguiente ejemplo:
Ejemplo 1.7 Demuestra que el siguiente lmite no existe.
lm

(x,y)(0,0) x2

xy
+ y2

Soluci
on. La curva parametrizada y = mx evidentemente pasa por el punto (0, 0) sin
importar el valor de m (el par
ametro). Por lo tanto, calculemos el lmite sobre la curva
y = mx.
3x2
3x2
3
xy
=
l
m
=
l
m
=
2
2
2
2
2
2
x0 x + (mx)
x0 x (1 + m )
(x,y)(0,0) x + y
1 + m2
lm

Al quedar el valor del lmite dependiendo del par

ametro muestra que el lmite en el
punto (0, 0) no existe. Expliquemos la raz
on:
Si m = 1 el lmite se calcula sobre la curva y = x y el valor del lmite es 3/2

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

Si m = 2 el lmite se calcula sobre la curva y = 2x y el valor del lmite es 3/5

Finalmente, podemos encontrar funciones cuyo lmite en el punto x0 existe, a
un 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.
Teorema 1.8 (Teorema de la Funci
on Acotada) Sea f y g definidas en un intervalo I, tales que para alg
un n
umero M > 0 y x0 I un punto de acumulacion, se
cumple que: |f (x)| M para todo x I y lm g(x) = 0. Entonces
xx0

lm (f (x) g(x)) = 0

xx0

El T.F.A. establece: Si f (x) es una funcion acotada y el lmite de g(x) cuando x x0

es cero, entonces el lmite del producto f (x)g(x) cuando x x0 es tambien cero
Teorema 1.9 (Teorema de la Funci
on Intermedia) Sean f , g y h funciones definidas en un intervalo I tales que para todo x I se cumple:
g(x) f (x) h(x)
Si el lm g(x) = a y lm h(x) = a entonces
xx0

xx0

lm f (x) = a

xx0

El T.F.I. establece: Si f (x) es una funcion que se encuentra limitada inferiormente

por otra funcion g(x) y superiormente por otra funcion h(x) y el lmite de g(x) y
h(x) cuando x x0 es un valor a, entonces el lmite cuando x x0 de la funcion
intermedia f (x) es el valor a.
Acotaciones usuales en el c
alculo de lmites
En la matematica es muy frecuente el uso de acotaciones, las mas empleadas en el
calculo de lmites se presentan a continuacion. Para todo x, y n
umero real, se verifican
la siguientes afirmaciones:
1. | sen x| 1
2. | cos x| 1

Lmite de una funci

on de varias variables

3. 0

Prof. Derwis Rivas

x2
1
x2 + y 2

4. 0

|x|
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
Soluci
on. Como se mencionaba en lneas anteriores, en este lmite no se puede demostrar la existencia mediante sustitucion directa. Por esa raz
on emplearemos el T.F.A.
Lo primero a considerar es que la funcion se puede descomponer en dos factores donde
uno de los factores esta acotado (vease la cota 3) y el otro factor tiende a cero cuando
(x, y) (0, 0). Veamos:
5x2 y
=
x2 + y 2

x2

5y
|{z}
x2 + y 2
| {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
En el siguiente ejemplo, demostraremos el mismo resultado, pero esta vez usaremos
el T.F.I.
Ejemplo 1.11 Utiliza el T.F.I. para demostrar que el siguiente resultado.
5x2 y
=0
(x,y)(0,0) x2 + y 2
lm

Soluci
on. 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 expresi
on por el factor que falta: 5y (observe 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 funci

on de varias variables

Prof. Derwis Rivas

10

desigualdad y la cota se invierte. En cualquier caso, la cota no se ve afectada. Por lo

que, sin perdida de generalidad podemos proceder de la siguiente manera:
0

x2
5x2 y
5x2 y

5y

5y

5y
x2 + y 2
x2 + y 2
x2 + y 2

Ahora aplicamos el lmite cuando (x, y) (0, 0)

lm
(x,y)(0,0)

5x2 y
5x2 y

l
m
5y

l
m
0
(x,y)(0,0) x2 + y 2
(x,y)(0,0)
(x,y)(0,0) x2 + y 2
lm

Entonces por el teorema de la funcion acotada se concluye que:

5x2 y
=0
(x,y)(0,0) x2 + y 2
lm

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 alg
un 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.
Ejemplo 1.12 Investiga la existencia del siguiente lmite
4x2 y
(x,y)(0,0) x2 + y 3
lm

Soluci
on. Inspeccionemos que valor podra tener el lmite.
Calculemos el lmite sobre la curva y = x.
4x2 x
4x3
4x
4x2 y
=
l
m
=
l
m
= lm
=0
2
3
2
3
2
x0 x + x
x0 x (1 + x)
x0 1 + x
(x,y)(0,0) x + y
lm

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

Calculemos el lmite sobre la curva x =

11

4( y)2 y
4x2 y
4y 2
4y 2
4y
lm
=
l
m
=
l
m
=
l
m
= lm
=0

2
3
2
3
3
2
y0 ( y) + y
y0 y + y
y0 y(1 + y )
y0 1 + y 2
(x,y)(0,0) x + y

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

4( y 4 y 3 )2 y
4x2 y
4(y 4 y 3 )y

lm
=
l
m
=
l
m
y0 (
(x,y)(0,0) x2 + y 3
y 4 y 3 )2 + y 3 y0 y 4 y 3 + y 3
4(y 1)y 4
= lm 4(y 1) = 4
y0
y0
y4

= lm

El u
ltimo resultado indica que el lmite no existe.
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 u
nica 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 funci

on de varias variables

Prof. Derwis Rivas

12

Ejemplo 1.13 Investiga la existencia del siguiente lmite

x3 y 2
(x,y)(0,0) x2 + y 2
lm

Soluci
on. Procedemos a usar caminos para inspeccionar que valor podra tener el lmite:
Calculemos el lmite sobre el camino y = mx (estamos usando un camino parametrizado que representa las infinitas rectas que pasan por el (0, 0)).
x3 y 2
x3 (mx)2
m2 x5
m2 x3
=
l
m
=
l
m
=
l
m
=0
x0 x2 + (mx)2
x0 x2 (1 + m2 )
x0 1 + m2
(x,y)(0,0) x2 + y 2
lm

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 a
un no las hemos empleado.
2
Por ejemplo, las curvas y = mx .
Calculemos el lmite sobre el camino y = mx2 .
x3 y 2
x3 (mx2 )2
m2 x 7
m2 x 5
=
l
m
=
l
m
=
l
m
=0
x0 x2 + (mx2 )2
x0 x2 (1 + m2 x2 )
x0 1 + m2 x2
(x,y)(0,0) x2 + y 2
lm

Nuevamente, este resultado en modo alguno demuestra la existencia del lmite.

Todava quedan muchas curvas por utilizar. Por ejemplo, y = m x, y = m 3 x

y x = m y. Dejamos al lector que dedique unos minutos a comprobar que el

lmite sobre esos caminos resulta cero. A
un despues de comprobar todo esto, NO
SE PUEDE CONCLUIR QUE EL LIMITE EXISTE. Lo que podemos es simplemente conjeturar su existencia. Es decir, solo podemos decir al parecer este
lmite existe y vale cero.
Tenemos la impresion de que el siguiente resultado es verdadero:
x3 y 2
=0
(x,y)(0,0) x2 + y 2
lm

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:
y2
x3 y 2
=
x3
x2 + y 2
x2 + y 2 |{z}
| {z } 0
acotado

Lmite de una funci

on de varias variables

Por lo tanto:

Prof. Derwis Rivas

13

[
]
x3 y 2
y2
3
= lm
x = Acot 0 = 0
lm
(x,y)(0,0) x2 + y 2
(x,y)(0,0) x2 + y 2

En este punto, el lector debe estarse preguntando: C

omo 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 procedimiento, 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|
(x,y)(0,0) x4 + y 2
lm

Soluci
on. Basado en lo explicado en el u
ltimo parrafo cualquiera afirmara que este
lmite no existe y procedera a buscar caminos para mostrar dos diferentes con resultados diferentes... Pero, mi querido lector, permtame explicarle que en efecto este lmite
existe y vale cero. La razon se debe a que es posible construir cotas (no son las preestablecidas) que nos permiten demostrar su existencia. Observe lo siguiente y notara que
se trata de un hecho valido para todo n
umero real x, y.

0 x2 = x4 x4 + y 2 lo que implica 0 x2 x4 + y 2

0 |y| = y 2 x4 + y 2 lo que implica 0 |y| x4 + y 2

Luego al multiplicar se obtiene una cota para este lmite:
)2
(
x2 |y|
0 x2 |y|
x4 + y 2 0 4
1
x + y2
Ahora procedemos a calcular el lmite:

[ 2
]
x |y|
x3 |y|
= lm
x = Acot 0 = 0
lm
(x,y)(0,0) x4 + y 2
(x,y)(0,0) x4 + y 2

Lmite de una funci

on de varias variables

Prof. Derwis Rivas

14

A pesar de que no es posible establecer una metodologa a la hora de inspeccionar la

existencia de un lmite en funciones de varias variables, podemos presentar un mapa
semantico que brinda cierta orientacion. Se sugiere tenerlo en cuenta.
la funcin esta
definida en el punto

Clculo
de lmites

evaluamos directamente

Aplicamos el lgebra o un cambio de

variable para obtener el valor del lmite

puede
ocurrir
que

El lmite no existe y se demuestra

usando el criterio
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

Espero, que este aporte te ayude a calcular lmites XD.