Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Limites de Varias Variables PDF
Limites de Varias Variables PDF
variables
Observacin 1.3 Las funciones que aparecen en los apartados i), ii) y iii) son reales y las de iv) y
v) son vectoriales.
f (x1 , x2 , ..., xn ) = (f1 (x1 , x2 , ..., xn ), f2 (x1 , x2 , ..., xn ), ..., fm (x1 , x2 , ..., xn )).
Observacin 1.5 Para el ejemplo iv) anterior se tiene que f : R3 R2 tiene por funciones coor-
denadas f1 , f2 : R3 R, dadas por f1 (x, y, z) = x y + z 20 y f2 (x, y, z) = z tan[exy ]. Para el
ejemplo v) anterior se tiene que f : R4 R5 tiene por funciones coordenadas
f1 , f2 , f3 , f4 , f5 : R4 R, dadas por f1 (x, y, z, t) = x y, f2 (x, y, z, t) = x cos z,
f3 (x, y, z, t) = t2 + ey , f4 (x, y, z, t) = 0 y f5 (x, y, z, t) = 3 xyzt.
Igual que en el caso de funciones reales de una variable real (f : R R) se entiende por dominio
de una funcin de varias variables al conjunto de puntos de Rn en el cual tienen sentido todas las
expresiones que definen a la funcin. Si f = (f1 , f2 , ..., fm ) es una funcin vectorial se tiene adems
que Domf = Domf1 ... Domfm .
Observacin 1.6 En el ejemplo i) anterior el dominio est formado por todos los puntos (x, y)
que cumplen que x > 0. En el ejemplo ii) el dominio est formado por todos los puntos (x, y, z)
de R3 que verifican z 5 1 0 y cos(ex+y ) 6= 0, simultneamente. En el ejemplo iii) el dominio
1
es todo Rn , as como en el ejemplo v). Finalmente en el ejemplo iv) el dominio est formado por
1
todos los puntos (x, y, z) de R3 que verifican cos(ezy ) 6= 0. Para la funcin f (x, y) = cos( 2 )
x + y2
el dominio es todo R2 salvo el punto (0, 0) (observar que es el nico punto que hace nula la suma
x2 + y 2
de cuadrados x2 + y 2 ). Para la funcin g(x, y) = el dominio es {(x, y) R2 tales que
xy
xy 6= 0}, en definitiva todo R2 salvo los ejes coordenados x = 0 e y = 0. Y el dominio de la funcin
2
f (x, y) = ( xy , log(x y), x2 1) es Domf = {(x, y) Rn : y 6= 0, x y > 0, x2 1 0}.
Una funcin real de variable real f : R R. En este caso la grfica es una curva en R2 , que
est formada por todos los puntos de la forma (x, f (x)), donde x recorre el dominio de f . sta
es la situacin que hemos analizado en el Tema 6 de la asignatura.
Una funcin real de dos variables f : R2 R. En este caso la grfica es una superficie, que
est formada por todos los puntos de la forma (x, y, f (x, y)), donde (x, y) recorre el dominio
de f . sta ser la situacin que analizaremos por excelencia.
2
Ejemplo 1.8 Consideremos la esfera de ecuacin x2 + y 2 + z 2 = 1. Las curvas de nivel nos dan
circunferencias (basta con sustituir z por una constante k en la ecuacin de la esfera).
o abreviadamente por
lim f (x) = L,
xx0 ,xX
o por
lim f (x) = L,
x x0
xX
cuando para todo > 0 existe un > 0 de modo que si x B(x0 , ), x X, x 6= x0 , entonces
|f (x) L| < .
De modo similar se define el lmite de una funcin vectorial de varias variables f : Rn Rm ,
slo que L no es un nmero real sino un vector L = (L1 , ..., Lm ) Rm , y entonces lo que debe ser
menor que es la distancia entre f (x) y L (equivalentemente esto ltimo puede ponerse diciendo que
f (x) B(L, )).
Es conveniente especificar claramente el conjunto X en el que se toman los puntos a travs de los
cuales pretendemos aproximarnos hacia x0 , pues la cosa puede variar si lo cambiamos. El caso ms
3
habitual es que pretendamos aproximarnos al punto x0 a travs del conjunto ms amplio posible, el
dominio de la funcin, para el que pondremos lim f (x) = L y al que nos referiremos simplemente
xx0
diciendo que L es el lmite de f cuando x tiende hacia x0 .
En principio la idea inicial que tenemos de lmite consiste, como ocurra para las funciones reales
de una variable, es sustituir en el punto:
x2 +y2 2 1
Ejemplo 2.1 lim = = 1.
(x,y)(0,1) 1+x cos y 1
Veamos cmo puede cambiar la cosa si nos acercamos a travs de diversos conjuntos:
2 2
Ejemplo 2.2 Dada la funcin f (x, y) = 9x y
x2 +y 2
definida para todo punto excepto para el origen (0, 0),
vamos a determinar el valor del lmite de la funcin cuando nos acercamos al origen, a travs de los
siguientes conjuntos:
9x2 y 2 9y4 y 2 9y 2 1
3. La parbola x = y 2 , lim x2 +y2
=lim 4 2 =lim 2 = 1.
(x,y)(0,0),x=y 2 y0 y +y y0 y +1
Tambin es posible que los lmites de funciones de varias variables sean infinitos, generalizando
la definicin dada para funciones reales de una variable. Por ejemplo una funcin f : Rn R posee
lmite + en x0 cuando para todo M existe un > 0 de modo que si x B(x0 , ), x 6= x0 , entonces
f (x) > M (extendiendo la situacin al caso en que el lmite valga o ). En general, para una
funcin f : Rn Rm pondremos que lim f (x) = cuando para todo M > 0 existe un > 0 de
xx0
modo que si x B(x0 , ) x 6= x0 , entonces el mdulo norma del vector f (x) es mayor que M.
x+1 1
Ejemplo 2.3 lim y
= 0
= .
(x,y)(0,0)
1+x 3
Ejemplo 2.4 lim 2 2 = = +.
(x,y)(2,0) (x2) +y 0
Proposicin 2.5 Para una funcin f = (f1 , ..., fm ) : Rn Rm y un punto x0 , se tiene que existe
lim f (x) y vale L = (L1 , L2 , ..., Lm ) si y slo si existen los lmites de las funciones coordenadas
xx0
lim f1 (x),..., lim fm (x) y valen L1 ,..., Lm , respectivamente.
xx0 xx0
4
Ejemplo 2.6 Para f : R3 R2 dada por f (x, y, z) = (x y + z 20, z tan[ 4 ezy ]), se tiene que
lim f (x, y, z) = lim (x y + z 20, z tan[ ezy ]) =
(x,y,z)(1,0,1) (x,y,z)(1,0,1) 4
=( lim [x y + z 20], lim z tan[ ezy ]) = (20, tan ) = (20, 1).
(x,y,z)(1,0,1) (x,y,z)(1,0,1) 4 4
Y al igual que ocurra para el caso de funciones reales de una variable real las se tratan las
operaciones usuales para las funciones de varias variables, siempre que tengan sentido. As:
Adems en el caso en que m = 1 (es decir, cuando las funciones no son vectoriales sino reales) se
tiene:
Adems, estos resultados tambin son vlidos para algunas situaciones de las distintas de las
anteriores, como algunas en las que interviene algn infinito (de modo anlogo a como ocurra para
funciones de una variable):
y
Ejemplo 2.9 lim e x2 = e = 0.
(x,y)(0,1)
Nos planteamos ahora la relacin existente entre los lmites a travs de diferentes conjuntos. Se
tiene que:
En el caso particular de que pretendamos realizar el lmite (a travs del dominio) obtenemos que
si existe lim f (x) y vale L entonces para todo conjunto X 0 Domf tal que x0 es un punto de
xx0
acumulacin de X 0 se tiene que existe lim f (x) y vale L. Este resultado nos da un criterio
xx0 ,xX 0
que proporciona nuevas situaciones en las que podemos afirmar que el lmite no existe: cuando
el lmite a travs de un subconjunto no existe o bien cuando el lmite a travs de dos
subconjuntos existe pero tiene valor distinto:
5
Corolario 2.11 Consideremos una funcin f : X Rn Rm y x0 un punto de acumulacin de X.
1. Si para algn conjunto X 0 X tal que x0 sea punto de acumulacin de X 0 se tiene que no
existe lim 0 f (x), entonces no existe lim f (x).
xx0 ,xX xx0 ,xX
1
Ejemplo 2.12 El lmite lim (y 3 + 1) cos x2 +y 2 no existe porque el lmite a travs del conjunto
(x,y)(0,0)
3 1 1
y = 0, es decir lim (y + 1) cos x2 +y 2 =lim cos x2 no existe.
(x,y)(0,0),y=0 x0
A partir nicamente de la definicin no resulta fcil en general estudiar el lmite. Por ello se hacen
necesarias algunas herramientas que nos aporten informacin acerca del lmite. Vamos precisamente
en los siguientes apartados a tratar algunas de ellas.
Corolario 2.14 Si no existe algn lmite direccional o al menos dos de ellos son distintos
entonces no existe el lmite.
Nota: Como ya vimos en el Corolario 2.11 se puede generalizar el resultado anterior y deducir
que si el lmite a travs de al menos dos conjuntos da un valor distinto (pueden ser dos direccionales,
dos no direccionales o uno direccional y otro no direccional) entonces el lmite no existe.
x2 y 2
Ejemplo 2.15 Calcular los lmites direccionales de la funcin x2 +2y 2
en el punto (0, 0). stos son
x2 y2 x2 m2 x2 1m2 1m2 x2 y2 y 2
lim 2 2 =lim 2 2 2 =lim 2 = 1+2m2
y lim 2 +2y 2 =lim 2 = 12 .
(x,y)(0,0),y=mx x +2y x0 x +2m x x0 1+2m (x,y)(0,0),x=0 x y0 2y
Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren
(basta observar que hay lmites direccionales distintos; por ejemplo el ltimo lmite, que vale 12 , y
alguno de los otros, por ejemplo para m = 0, cuyo valor es 1).
6
Ejemplo 2.16 Calcular los lmites direccionales de la funcin x1
y+1
en el punto (1, 1). stos son
x1 x1 1 1 x1 0
lim y+1
=lim m(x1) =lim m = m y lim y+1
= lim y+1 = lim 0 = 0.
(x,y)(1,1),y+1=m(x1) x1 x1 (x,y)(1,1),x=1 y1 y1
Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren
(incluso hay uno que da , para m = 0).
xy2
Ejercicio 2.17 Comprobar que no existe el siguiente lmite lim f (x, y), donde f (x, y) = x2 +y 4
,
(x,y)(0,0)
definida para (x, y) 6= (0, 0), viendo que los lmites direccionales a pesar de ser todos iguales resultan
distintos del lmite a travs del conjunto x = y 2 .
x = a + cos
y = b + sen
x = cos
y = sen
Proposicin 2.18 Supongamos que lim f (a + cos , b + sen) = L y no depende de [0, 2[.
0
Si existe una funcin real de una variable real F cumpliendo que lim F () = 0 y de modo que
0
|f (a + cos , b + sen) L| F () para todo y todo [0, 2[, entonces lim f (x, y) = L.
(x,y)(a,b)
x3 +x2 2y3 +y 2
Ejemplo 2.19 Para la funcin f (x, y) = x2 +y 2
en el punto (0, 0), se tiene que como
para cualquier , nuestro candidato a lmite es L = 1 por lo que buscaremos una funcin F cumpliendo
lo requerido. Como se tiene que
|f (a + cos , b + sen) 1| = (cos3 2sen3 ) cos3 + 2sen3 + 2 = 3,
7
2x2 +3y 2 2y 3
Ejemplo 2.20 Para la funcin g(x, y) = x2 +y2
en el punto (0, 0), se tiene que como
x3
Ejemplo 2.21 Comprobemos la existencia del lmite lim x2 +(y1)2 (y hallemos su valor) calcu-
(x,y)(0,1)
lando el lmite en coordenadas polares.
En primer lugar vemos que el siguiente lmite no depende de , luego es nuestro candidato:
( cos )3 3 cos3
L = lim =lim =
0 ( cos )2 + (1 + sen 1)2 0 2 cos2 + 2 sen2
3 cos3
= lim 2 =lim cos3 = 0.
0 (cos2 + sen2 ) 0
Y como
( cos )3 ( cos )3
L= 0 = cos3 0,
( cos )2 + (1 + sen 1)2 ( cos )2 + (sen)2
x3
en efecto se tiene que lim x2 +(y1)2 = 0.
(x,y)(0,1)
Nota: Observemos que hemos tomado F () = .
xy 2
Ejemplo 2.22 Para la funcin h(x, y) = x2 +y4
se tiene que como
3
Ejercicio 2.23 Comprobar la existencia del lmite lim (2 (x+1)(x+1)
2 +(y2)4 ) calculando el lmite
(x,y)(1,2)
en coordenadas polares. Solucin: 2.
8
lmite existe para todo valor de y posible (pero considerando y constante) entonces a la expresin
dependiente de y resultante tenemos ahora que hacerle el lmite cuando y tiende hacia b.
Los lmites iterados no tienen por qu existir. De hecho hay ejemplos en los que no existe ninguno
o existe slo uno de los dos. Incluso aunque existan ambos no tienen por qu coincidir. Adems la
existencia de stos no est determinada completamente por la existencia del lmite
lim f (x, y) = L ni viceversa. A este respecto lo que s podemos decir es lo siguiente:
(x,y)(a,b)
Proposicin 2.24 Supongamos que existe lim f (x, y) = L y es finito. Entonces si existe
(x,y)(a,b)
alguno de los iterados L1 L2 con valor finito coincide con el lmite L.
Lo que estamos diciendo es que si existen (con valor finito) L y L1 entonces L = L1 ; si existen (con
valor finito) L y L2 entonces L = L2 ; y si existen (con valor finito) L, L1 y L2 entonces L = L1 = L2 .
Esto nos proporciona el siguiente criterio que nos da una situacin en la que el lmite
lim f (x, y) no existe:
(x,y)(a,b)
Corolario 2.25 Si los lmites iterados existen con valor finito y no coinciden entonces no puede
existir el lmite. Si existe alguno de los lmites iterados con valor finito y no coincide con el lmite a
travs de algn subconjunto, entonces tampoco existe el lmite.
Ejemplo 2.26 En los siguientes apartados todo se hace en el origen (0, 0):
x+y
1. Sea f (x, y) = xy
.
x+y x
Entonces los lmites iterados valen L1 =lim (lim f (x, y)) =lim (lim ) =lim =lim 1 = 1
x0 y0 x0 y0 xy x0 x x0
y L2 =lim (lim f (x, y)) =lim (lim x+y ) y
=lim y =lim 1 = 1. Entonces no puede existir
y0 x0 y0 x0 xy y0 y0
lim f (x, y).
(x,y)(0,0)
1
L2 =lim (lim f (x, y)) =lim (lim x cos ) =lim 0 = 0
y0 x0 y0 x0 y y0
(puesto que lim x cos y1 = 0, porque estamos realizando el lmite del producto de una cantidad
x0
que tiende a cero, x, y otra que est acotada. Ahora bien, el lmite lim f (x, y) s existe y
(x,y)(0,0)
vale 0, ya que es el producto de una funcin que tiende a cero por otra que est acotada.
9
Ejemplo 2.27 1. Entonces L1 =lim (lim f (x, y)) =lim (lim x 2y + 4) =lim x + 4 = 4 y
x0 y0 x0 y0 x0
L2 =lim (lim f (x, y)) =lim (lim x 2y + 4) =lim 2y + 4 = 4. Ahora bien lim f (x, y)
y0 x0 y0 x0 y0 (x,y)(0,0)
no existe pues el lmite a travs del conjunto x = 0 (y tambin el lmite a travs del conjunto
y = 0) vale 1 6= 4.
Ejercicio 2.28 Comprobar que la funcin f (x, y) = (x + y)sen x1 sen y1 posee lmite en el origen pero
los iterados no existen.
Proposicin 3.1 Una funcin vectorial es continua si y slo si son continuas sus funciones
coordenadas.
3xy+x6
Ejemplo 3.2 1. f1 (x, y) = x + 5 (x2 + 1)x (continua en {(x, y) : y 6= 0}).
ey
2. f2 (x, y) = ( sen(xy)
x2 +y 2
log(x + y 2 ), etan(x+1) ) (continua en {(x, y) : x + y 2 > 0, cos(x + 1) 6= 0}.
Observacin 3.3 En ocasiones ocurre que por problemas de dominio no podemos plantear el lmite
a travs de R2 , slo podemos plantearlo a travs del dominio. As ocurre por ejemplo con la funcin
f (x, y) = x y cuando planteamos la existencia del lmite en el punto (0, 0): ste slo puede
plantearse a travs del dominio, que es el conjunto {(x, y) : x y}. En este caso el resultado del
lmite es 0. Entonces podemos interpretar que la funcin, que est definida en (0, 0) tomando el valor
0, es continua en dicho punto, por supuesto, continua a travs del dominio. Admitiremos pues dentro
de la definicin de continuidad tal generalidad (continuidad a travs de un conjunto), especialmente
en el caso en que el lmite lo realicemos a travs del dominio.
10
A continuacin, y para finalizar el tema, damos la versin en varias variables del Teorema de
Weirstrass que generaliza el caso de una variable:
4. Lmites iterados
La existencia o no de alguno de los lmites iterados no implica la existencia o no del lmite, ni
viceversa. Lo nico que podemos afirmar es que si existe el lmite y alguno de stos (ambos con
11
valor finito) entonces coinciden. Una situacin en la que podemos concluir algo es el caso en
que existen los dos lmites iterados (con valor finito) y son distintos. En este caso el lmite no
puede existir. Tambin se obtiene la misma conclusin si existe alguno de los lmites iterados
(con valor finito) y el lmite a travs de algn conjunto (como algn direccional) y tienen valores
distintos.
5 Apndice
5.1 Lmites mediante equivalencias
Este primer recurso se basa en el mismo argumento que vimos para las funciones de una variable
(y para las sucesiones): se pueden reemplazar en el lmite funciones por otras equivalentes, siempre
que stas aparezcan multiplicando o dividiendo a toda la expresin. De hecho en la mayora de
las ocasiones haremos uso de las equivalencias que ya conocamos para funciones de una variable.
Adems, igual que en aquel caso tambin podremos obtener equivalencias cuando estudiemos el
polinomio de Taylor para funciones de varias variables.
sen(x2 + y 2 ) log(2 x)
lim .
(x,y)(0,0) x2 + y 2
Entonces aplicando la equivalencia conocida sent ' t cuando t tiende a 0 se tiene que
sen(x2 + y 2 ) ' x2 + y 2
si esta expresin tiende a 0, lo cual ocurre cuando (x, y) tiende a (0, 0). Por tanto el lmite anterior
(x2 +y2 )log(2x)
vale lim x2 +y 2
= lim log(2 x) = log 2.
(x,y)(0,0) (x,y)(0,0)
sen(x2 ) 1 x2 1 1
Ejemplo 5.2 lim x
sen( y+2 ) = lim x
sen( y+2 ) = lim xsen( y+2 ) = 0 (ya que
(x,y)(0,2) (x,y)(0,2) (x,y)(0,2)
es producto de una funcin que tiende a 0 y otra acotada).
12