Tema 11: Funciones de varias variables y funciones vectoriales.

Lmites
y continuidad
1

Funciones de varias variables

Observacin 1.1 Conviene repasar, en este punto, lo dado en el Tema 6 para topologa en Rn : bolas, puntos
interiores y de acumulacin, conjuntos abiertos, cerrados, actados y compactos, en especial en el plano R2 y en el
espacio tridimensional R3 .
Definicin 1.2 Llamaremos funcin real de varias variables (o campo escalar) a toda funcin
f : Rn R
Y llamaremos funcin vectorial de varias variables (o campo vectorial) a toda funcin
f : Rn Rm
En ambos casos se dice que f es una funcin de n variables.
Ejemplo 1.3

i) f : R2 R dada por

f (x, y) = x2 y + ecos y log x 3

es una funcin real de 2 variables.

ii) f : R3 R dada por

f (x, y, z) = cos(x y 2) +

es una funcin real de 3 variables.

iii) f : Rn R dada por

z 5 1 tan(ex+y )

2 2
x +x +...+x2
n
f (x1 , x2 , ..., xn ) = e 1 2

es una funcin real de n variables.

iv) f : R3 R2 dada por

f (x, y, z) = (x y + z 20, z tan[ezy ])

es una funcin vectorial de 3 variables y 2 coordenadas.

v) f : R4 R5 dada por

f (x, y, z, t) = (x y, x cos z, t2 + ey , 0, 3 xyzt)

es una funcin vectorial de 4 variables y 5 coordenadas.

Definicin 1.4 Sea f : Rn Rm (una funcin vectorial). Llamaremos funciones coordenadas de f a las funciones
f1 , f2 , ..., fm : Rn R
que verifican que
f (x1 , x2 , ..., xn ) = (f1 (x1 , x2 , ..., xn ), f2 (x1 , x2 , ..., xn ), ..., fm (x1 , x2 , ..., xn ))
En esta situacin pondremos
f = (f1 , ..., fm ).
Observacin 1.5 Para el ejemplo iv) anterior se tiene que
f : R3 R2
tiene por funciones coordenadas
f1 , f2 : R3 R
1

dadas por
f1 (x, y, z) = x y + z 20

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

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 .
De todos modos, al igual que ocurra con funciones reales de variable real, el dominio puede estar restringido sin
necesidad de ser el dominio mximo posible.
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 es todo Rn , as como en el ejemplo v).
Finalmente en el ejemplo iv) el dominio est formado por todos los puntos (x, y, z) de R3 que verifican cos(ezy ) 6= 0.
El dominio de la funcin
1
f (x, y) = cos( 2
)
x + y2
es todo R2 salvo el punto (0, 0) (observar que es el nico punto que hace nula la suma de cuadrados x2 + y 2 .
Para la funcin
x2 + y 2
g(x, y) =
xy
el dominio es
Domg = {(x, y) R2 tales que xy 6= 0},
en definitiva todo R2 salvo los ejes coordenados x = 0 e y = 0.

2
Y el dominio de la funcin h(x, y) = ( xy , log(x y), x2 1) es
Domh = {(x, y) Rn : y 6= 0, x y > 0, x2 1 0}.
La grfica de una funcin f : Rn Rm es el siguiente conjunto de puntos de Rn+m
{(x1 , x2 , ..., xn , f (x1 , x2 , ..., xn )) Rn+m : (x1 , x2 , ..., xn ) Domf }.
Casos donde puede visualizarse la grfica:
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 en el presente tema y en los restantes.
2

 Una funcin vectorial de una variable f : R Rn , cuando n = 2, 3. En este caso tenemos lo que se denomina
una curva parametrizada en R2 R3 . sta es una situacin especial que se visualiza de otro modo que no vamos
a tratar con detalle aqu.
A continuacin vemos algunas superficies:

Esfera x2 + y 2 + z 2 = 1

Paraboliode z = x2 + y 2

La figura ocho

Cilindro x2 + y 2 = 1

Silla de montar z = x2 y 2

Una espiral

Cono z 2 = x2 + y 2

p
Toro z 2 = 1 ( x2 + y 2 2)2

La hlice circular

Debido a la complejidad existente en general a la hora de abordar el problema de la representacin grfica de una
superficie z = f (x, y). se hace necesario otro recurso que facilite en buena medida esta labor. As podemos utilizar
las curvas de nivel, que son las proyecciones sobre el plano OXY de los puntos de la superficie que estn a cierta

altura constante (para cada altura k al hacer la proyeccin sobre el plano OXY de la superficie obtenemos la curva
de nivel {(x, y) : f (x, y) = k). Algunas pinceladas sobre esto comentaremos en el apndice.

Lmite de funciones de varias variables

La idea intuitiva de lmite es similar a la del caso de funciones reales de una variable real, con las generalizaciones
correspondientes.
Consideremos una funcin real de varias variables
f : Rn R
y x0 = (a1 , a2 , ..., an ) un punto de acumulacin de (recordemos que esto se da cuando toda bola centrada en x0
contiene infinitos puntos de ; en adelante cuando estudiemos el lmite en un punto siempre supondremos que estamos
con un punto de acumulacin).
Diremos que L R es el lmite de f cuando
x = (x1 , x2 , ..., xn ) tiende hacia x0 a travs de (tambin se dice que es el lmite restringido a ) cuando
se cumple que
para todo > 0 existe un > 0 tal que si x B(x0 , ), x , x 6= x0 , entonces |f (x) L| < . Esto lo denotaremos
de alguna de las siguientes maneras
lim

(x1 ,x2 ,...,xn )(a1 ,a2 ,...,an ),x

f (x1 , x2 , ..., xn ) = L

lim

xx0 ,x

f (x) = L

lim
f (x) = L
x x0
x

Observacin 2.1 Rigurosamente hablando es preciso, como se indica anteriormente, para siquiera plantear la existencia del lmite de una funcin f en un punto x0 a travs de un conjunto , que dicho punto sea de acumulacin del
conjunto. En lo sucesivo, aunque no hagamos mencin de tal detalle, cada vez que se plantee un lmite, supondremos
que ocurrir as, es decir, el punto ser de acumulacin del conjunto, aunque no hagamos mencin expresa de ello.
Es conveniente especificar claramente el conjunto 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 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 diciendo que L es el lmite de f cuando x tiende hacia x0 (como
xx0

ocurra con lim+ x = 0 lim+ log x = , que podemos poner, respectivamente, lim x = 0 lim log x = ,
x0

x0

x0

x0

dando por hecho que el lmite slo puede hacerse por la derecha, es decir, a travs del conjunto {x : x > 0}).
En lo sucesivo, las propiedades que enunciemos acerca del lmite a travs del dominio podrn ser generalizadas
para lmites a travs de algn conjunto .
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 inferior que es la distancia entre f (x) y L (esto ltimo puede escribirse de modo equivalente
diciendo que f (x) B(L, )).
En principio la idea inicial que tenemos de lmite consiste, como ocurra para las funciones reales de una variable,
es sustituir en el punto:
Ejemplo 2.2
2.
3.

lim

(x,y)(2,)

lim

1.

x2 +y2 2
(x,y)(0,1) 1+x cos y

lim

1
1

= 1
2

[sin y 3 cos(yx)] = [sin 3 cos(2)] = [0 3] = 9

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

x2 y 3 (z + 2) 4 = 12 (1)3 2 4 = 2 4 = 6
4

4.

lim

(x,y)(3,0)

3 1
1
( exy , y1
3x , 5) = ( 1 , 9 , 5) = (3, 9 , 5)

Veamos cmo puede cambiar la cosa si nos acercamos a travs de diversos conjuntos:
Ejemplo 2.3 Dada la funcin
f (x, y) =

9x2 y 2
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:
1. La recta y = x,
lim

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

9x2 y 2
9x2 x2
8x2
= lim 2
= lim
=4
2
2
2
x0 x + x
x0 2x2
x +y

2. La recta y = 3x,
lim

(x,y)(0,0),y=3x

9x2 y 2
9x2 9x2
0
= lim 2
= lim
= lim 0 = 0
2
2
x0 x + 9x2
x0 10x2
x0
x +y

3. La parbola x = y 2 ,
lim

(x,y)(0,0),x=y2

9x2 y 2
9y 4 y 2
9y 2 1
=
lim
=
lim
= 1
x2 + y 2 y0 y 4 + y 2 y0 y 2 + 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 + cuando x tiende a x0 si
para todo M existe un > 0 de modo que si x B(x0 , ), x 6= x0 , entonces f (x) > M (se puede extender
la situacin al caso en que el lmite valga ). Para una funcin vectorial f : Rn Rm pondremos que
lim f (x) = cuando para todo M > 0 existe un > 0 de modo que si x B(x0 , ) x 6= x0 , entonces el mdulo del

xx0

vector f (x) es mayor que M (as que la imagen de la funcin se sale de toda bola finita que escojamos).
Ejemplo 2.4
lim

(x,y)(0,0)

2.1

x+1
y

1
0

1+x
lim
2
2
(x,y)(2,0) (x2) +y

3
0

= +

lim

(x,y)(1,3)

3
(2y, x1
)=

Operaciones con lmites

Para determinar la existencia del lmite de una funcin vectorial basta estudiar el lmite de sus funciones coordenadas.
De este modo nos centraremos en estudiar lmites de funciones reales. Esto se debe al siguiente resultado:
Propiedad: Sea
f = (f1 , f2 , ..., fm ) : Rn Rm
y x0 Rn . Se tiene que existe lim f (x) y vale L = (L1 , L2 , ..., Lm ) si y slo si existen los lmites de las funciones
xx0

coordenadas

lim f1 (x), lim f2 (x)..., lim fm (x)

xx0

xx0

xx0

y valen L1 ,..., Lm , respectivamente. En conclusin

lim f (x) = lim (f1 (x), f2 (x), ..., fm (x)) =

xx0

xx0

lim f1 (x), lim f2 (x), ..., lim fm (x)

xx0

xx0

xx0

Ejemplo 2.5 Para f : R3 R2 dada por

f (x, y, z) = (x y + z 20, z tan[ ezy ])

4

se tiene que
lim

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

= (

(x y + z 20, z tan[ ezy ]) =

4
(x,y,z)(1,0,1)

f (x, y, z) =

lim

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

= (20, tan

lim

[x y + z 20],

) = (20, 1)
4
5

z tan[ ezy ]) =
4
(x,y,z)(1,0,1)
lim

Y al igual que ocurra para el caso de funciones reales de una variable real se tratan las operaciones usuales
para las funciones de varias variables, siempre que tengan sentido. As:
Propiedad: Sean f : Rn Rm y g : Rn Rm funciones para las que existe el lmite y es finito cuando la variable
tiende a un punto x0 y sean y nmeros reales. Entonces
lim [f (x) g(x)] = lim f (x) lim g(x)

xx0

xx0

lim [f (x)] =

xx0

xx0

Adems en el caso en que m = 1 (es decir, cuando las funciones no son vectoriales sino reales) se tiene:
Sean f, g : Rn R funciones para las que existe el lmite y es finito cuando la variable tiende a un punto x0 .
Entonces
lim f (x)
f (x)
xx0
lim [f (x) g(x)] = lim f (x) lim g(x)
lim
=
xx0
xx0
xx0
xx0 g(x)
lim g(x)
xx0

(esto ltimo tiene sentido si lim g(x) 6= 0).

xx0

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: ver la
Seccin Operaciones Simblicas del Tema 6):
Ejemplo 2.6
y

lim

(x,y)(0,1)

e x2 = e = 0

Nos planteamos ahora la relacin existente entre los lmites a travs de diferentes conjuntos. Se tiene que:
lim
f (x) existe y vale L entonces para todo
Propiedad: Dada f : Rn Rm y un punto x0 , si
xx0 ,x

subconjunto 0 se tiene que

lim

xx0 ,x0

f (x) existe y vale L.

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 0 Domf se tiene que existe

xx0

lim

xx0

,x0

f (x) y vale L. Este resultado nos da

un criterio que proporciona nuevas situaciones en las que podemos afirmar que el lmite no existe
Propiedad: Sea f : Rn Rm y un punto x0 .
1. Si para algn conjunto 0 se tiene que no existe
lim

f (x)

lim

f (x)

xx0 ,x0

entonces no existe
xx0 ,x

2. Si para ciertos conjuntos 0 , 00 se tiene que existen

lim

xx0 ,x0

y ambos son distintos, entonces no existe

lim

f (x)

xx0 ,x

lim

xx0 ,x00

f (x)

f (x).

En definitiva, el resultado anterior nos dice que 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, entonces, el lmite no
existe.
Ejemplo 2.7 El lmite
lim

(x,y)(0,0)

(y 3 + 1) cos

1
x2 + y 2

no existe porque el lmite a travs del conjunto y = 0, es decir

lim

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

(y 3 + 1) cos

1
1
= lim cos 2
x2 + y 2 x0
x

no existe.
Nota: Hemos tomado el conjunto
= {(x, y) : y = 0}
y hemos visto que el lmite a travs de l no existe.
6

Ejemplo 2.8 La funcin

g(x, y) =

xy
x+y

definida en todo punto posible no tiene lmite en el punto (0, 0) pues a travs del conjunto
0 = {(x, x) : x R} = {(x, y) : y = x}
su lmite existe y vale 0 y a travs del conjunto
00 = {(x, 2x) : x R} = {(x, y) : y = 2x}
su lmite existe y vale 13 .
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.

2.2

Lmites direccionales

A la hora de estudiar el lmite de una funcin de dos variables mediante lmites a travs de algunos conjuntos es tpico
considerar conjuntos del tipo rectas, parbolas y en general curvas de algunas de las formas
y = g(x)

x = h(y)

Una situacin especial es el caso de los lmites a travs de rectas que contienen al punto, denominados tambin
lmites direccionales. Estas rectas, como ya sabemos, son las de la forma
y b = m(x a)

junto con la recta vertical

x = a.

Notemos que la existencia de los lmites direccionales no garantiza la existencia del lmite, ni siquiera cuando todos
ellos coinciden. Lo ms que se puede decir es lo siguiente:
Consecuencia: Si no existe algn lmite direccional o al menos dos de ellos son distintos entonces no
existe el lmite (a travs del dominio).
Nota: Como ya vimos en una propiedad anterior 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.
Ejemplo 2.9 Calcular los lmites direccionales de la funcin
x2 y 2
x2 + 2y 2
en el punto (0, 0). stos son
x2 y2
lim
2
2
(x,y)(0,0),y=mx x +2y

x2 m2 x2
1m2
2
2 2 = lim 1+2m2
x0 x +2m x
x0
x2 y 2
y2
1
lim
2 +2y 2 = lim 2y 2 = 2
x
y0
(x,y)(0,0),x=0

= lim

1m2
1+2m2

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; o por ejemplo para m = 0, cuyo valor es 1 y para m = 1, cuyo valor es 0).
Ejemplo 2.10 Calcular los lmites direccionales de la funcin x1
y+1 en el punto (1, 1).
stos son
x1
x1
1
1
lim
y+1 = lim m(x1) = lim m = m
(x,y)(1,1),y+1=m(x1)
x1
lim
(x,y)(1,1),x=1 y+1

x1

0
y1 y+1

= lim

x1

= lim 0 = 0
y1

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren (por ejemplo para
m = 1 da 1 y para m = 2 da 12 ; incluso hay uno que da , para m = 0).
7

Ejemplo 2.11 Comprobar que no existe el siguiente lmite

2x y 3x2
2x + y

lim

(x,y)(0,0)

a pesar de que los lmites direccionales existen y coinciden, analizando tambin el lmite a travs del conjunto (es una
parbola)
y = 3x2 + 2x
Los lmites direccionales valen
2xy3x2
2x+y

2xmx3x2
2m
= lim 2m3x
= 2+m
x0 2x+mx
x0 2+m
2xy3x2
lim
= lim y
= lim 1 = 1
y0 y
y0
(x,y)(0,0),x=0 2x+y

lim

(x,y)(0,0),y=mx

= lim

= 1

Pero el lmite no existe porque el lmite a travs del conjunto mencionado es

lim

(x,y)(0,0),y=3x2 +2x

2x y 3x2
0
= lim 0 = 0 6= 1
= lim
x0 3x2
x0
2x + y

Ejemplo 2.12 Comprobar que no existe el siguiente lmite

xy 2
+ y4

lim

(x,y)(0,0) x2

Ver que los lmites direccionales, a pesar de ser todos iguales, resultan distintos del lmite a travs del conjunto x = y 2 .
Los lmites direccionales valen
x(1m2 )
xy 2
xm2 x2
0
2 +y 4 = lim x2 +m4 x4 = lim 1+x2 m4 = 1
x
x0
x0
(x,y)(0,0),y=mx
xy 2
0y2
0
lim
2 +y 4 = lim
4 = lim y 4 = lim 0 = 0
x
y0 y
y0
y0
(x,y)(0,0),x=0

lim

=0

y el lmite a travs del conjunto mencionado es

lim

(x,y)(0,0),x=y 2

xy 2
y2 y2
y4
1
1
=
lim
=
lim
= lim =
2
4
4
4
4
x0
x0
x0
x +y
y +y
2y
2
2

Ejemplo 2.13 Comprobar que el siguiente lmite existe y vale 1

lim

(x,y)(2,3)

[1 +

(x + 2)(y 3)2
]
(x + 2)2 + (y 3)2

Los lmites direccionales valen

lim

(x,y)(2,3),y3=m(x+2)

= lim [1 +
x2

lim

(x,y)(2,3),x=2

[1 +

[1 +

(x+2)(y3)2
]
(x+2)2 +(y3)2

lim

[1 +

(x,y)(2,3),y3=m(x+2)
(x+2)3
(x+2)
0
]
=
lim
[1
+ (1+m
2 ) ] = 1 + (1+m2 )
(x+2)2 (1+m2 )
x2

(x+2)(y3)2
]
(x+2)2 +(y3)2

= lim [1 +
y3

0(y3)2
0+(y3)2 ]

= lim [1 +
y3

(x+2)(x+2)2
]
(x+2)2 +m2 (x+2)2

=1+0=1

0
(y3)2 ]

= lim [1 + 0] = 1
y3

En este caso los lmites direccionales coinciden, pero eso no implica la existencia del lmite original, lo cual vamos
a hacerlo del siguiente modo: Para probar que el lmite es 1 vamos a acotar la diferencia

1 + (x + 2)(y 3)
1

(x + 2)2 + (y 3)2

por algo que tiende a 0:

(x + 2)(y 3)2 (x + 2)(y 3)2

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

(x + 2)2 + (y 3)2
(y 3)2
(x + 2)2 + (y 3)2

lo cual est claro que tiende a 0 (cuando (x, y) tiende a (2, 3)). As que de ah se deduce que el lmite de
cuando (x, y) tiende a (2, 3) es 1.
8

(x+2)(y3)2
(x+2)2 +(y3)2

2.3

Cambio a coordenadas polares en R2

Supongamos que tenemos una funcin

f : R2 R
para la que planteamos el lmite en un punto x0 = (a, b). Para hacer el lmite
lim

(x,y)(a,b)

f (x, y)

podemos probar haciendo el cambio de variable

x = a + cos
y

= b + sin

El caso ms sencillo y el que ms habitualmente vamos a utilizar es cuando a = 0, b = 0, es decir, cuando estamos con
el punto (0, 0), en el que queda as la cosa
x = cos
y

= sin

Concretamente se tiene la siguiente relacin:

Propiedad: Supongamos que
1)
lim f (a + cos , b + sin ) = L
0

2) Que este valor, L, no depende de [0, 2[.

3) Que existe una funcin F : R R cumpliendo que lim F () = 0 y de modo que
0

|f (a + cos , b + sin ) L| F ()
para todo y todo [0, 2[
Entonces
lim

(x,y)(a,b)

f (x, y) = L

Ejemplo 2.14 Para la funcin

f (x, y) =

x3 + x2 2y 3 + y 2
x2 + y 2

en el punto (0, 0), se tiene que como

lim f ( cos , sin ) = lim [

= lim [
0

3 cos3 23 sin3 + 2 cos2 + 2 sin2

]=
2 cos2 + 2 sin2

2 ( cos3 2 sin3 + cos2 + sin2 )

2 ( cos3 2 sin3 + 1)
]
=
lim
[
] = lim [ cos3 2 sin3 + 1] = 1
2
0
0
2 1
2 (cos2 + sin )

para cualquier , as que 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 + sin ) 1| = (cos3 2 sin3 )

cos3 + 2 sin3 + 2 = 3

tomaremos

F () = 3

y se tiene que
lim F () = lim 3 = 0

y en efecto
lim

(x,y)(0,0)

f (x, y) = 1

Ejemplo 2.15 Para la funcin

g(x, y) =

2x2 + 3y 2 2y 3
x2 + y 2

en el punto (0, 0), se tiene que como

lim g( cos , sin ) = lim [

= lim [
0

22 cos2 + 32 sin2 23 sin3

]=
2 cos2 + 2 sin2

2 (2 cos2 + 3 sin2 2 sin3 )

]=
2 (cos2 + sin2 )

= lim [2 cos2 + 3 sin2 2 sin3 )] = 2 cos2 + 3 sin2

0

depende de , entonces no existe el lmite

lim

g(x, y).

(x,y)(0,0)

Ejemplo 2.16 Comprobemos la existencia del lmite

lim

(x,y)(0,1)

x3
x2 + (y 1)2

(y hallemos su valor) utilizando coordenadas polares

x = cos
y

= 1 + sin

En primer lugar vemos que el siguiente lmite existe y no depende de , luego es nuestro candidato:
( cos )3
3 cos3
=
=
lim
0 ( cos )2 + (1 + sin 1)2
0 2 cos2 + 2 sin2
3 cos3
= lim cos3 = 0
= lim 2
0 (cos2 + sin2 )
0

L =

Y como

lim

( cos )3
( cos )3

=
= cos3 0

0
( cos )2 + (1 + sen 1)2
( cos )2 + (sen)2

en efecto se tiene que

x3
=0
+ (y 1)2

lim

(x,y)(0,1) x2

Nota: Observemos que hemos tomado

F () =
Ejemplo 2.17 Para la funcin
h(x, y) =

xy 2
+ y4

x2

se tiene que como

cos sin2
=0
0
0 cos2 + 2 sin4
para cualquier , nuestro candidato a lmite es L = 0. Pero ahora la bsqueda de F no resulta fructfera en este caso.
De hecho como se mostr en el Ejemplo 2.12 se tiene que
lim h( cos , sin ) = lim

lim

(x,y)(0,0)

h(x, y)

Ejercicio 2.18 Comprobar la existencia del lmite

lim

(x,y)(1,2)

(2

(x + 1)3
)
(x + 1)2 + (y 2)4

calculando el lmite utilizando el cambio a coordenadas polares

x = 1 + cos
y

= 2 + sin

Solucin: 2.
10

2.4

Lmites iterados

Sea f : R2 R una funcin real de dos variables y (a, b) R2 . Llamaremos lmites iterados de f en el punto (a, b)
a los siguientes lmites
L1 = lim [lim f (x, y)]
L2 =lim [ lim f (x, y)]
xa yb

yb xa

Observemos lo que hacemos, por ejemplo con el segundo lmite iterado: En primer lugar fijamos la variable y (con
valores prximos pero distintos de b) y hacemos que la variable x se aproxime al punto a. Si este 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

(x,y)(a,b)

f (x, y) = L

ni viceversa. A este respecto lo que s podemos decir es lo siguiente:

Propiedad: Supongamos que
lim
f (x, y) = L. Entonces si existe alguno de los iterados L1 L2 entonces
(x,y)(a,b)

ste coincide con el lmite L.

Lo que estamos diciendo es que si existen L y L1 entonces L = L1 ; si existen L y L2 entonces L = L2 ; y si existen
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

(x,y)(a,b)

f (x, y)

no existe:
Propiedad: Si los lmites iterados existen y no coinciden entonces no puede existir el lmite. Si existe alguno de
los lmites iterados y no coincide con el lmite a travs de algn subconjunto, entonces tampoco existe el lmite.
Ejemplo 2.19 En los siguientes apartados todo se hace en el origen (0, 0):
1. Sea
f (x, y) =
Entonces

x+y
xy

x+y
) = lim xx = lim 1 = 1
x0 y0 xy
x0
x0
x+y
y
= lim ( lim xy ) = lim y = lim 1 = 1
y0 x0
y0
y0

L1 = lim [ lim f (x, y)] = lim ( lim

x0 y0

L2 = lim [ lim f (x, y)]

y0 x0

Entonces

@L =

2. Sea
f (x, y) =
Entonces

lim

(x,y)(0,0)

f (x, y)

x2 y
y2 x

x2 y
x2
2 x ) = lim x = lim x = 0
y
x0 y0
x0
x0
2
y
L2 = lim ( lim xy2 x
) = lim y
=
lim
y1 =
2
y0 x0
y0 y
y0

L1 = lim ( lim

Entonces

@L

3. Sea
f (x, y) = x cos

1
y

Entonces
L1 = lim ( lim x cos y1 ) = @
x0 y0

L2 = lim ( lim x cos y1 ) = lim 0 = 0

y0 x0

L=

lim

(x,y)(0,0)

11

y0

x cos y1 = 0

Notas: 1) @L1 porque no existe lim x cos y1 .

y0

2) L2 = 0 puesto que lim x cos y1 = 0, porque estamos realizando el lmite del producto de una cantidad que
x0

tiende a cero, x, y otra que est acotada, cos y1

3) L = 0 ya que es el producto de una funcin que tiende a cero por otra que est acotada
Ejemplo 2.20 Para la funcin
f (x, y) =

x+y
xy2

estudiemos en el punto (1, 1) la existencia del lmite y de los iterados.

x+y
) = lim x1
= lim 1 = 1
x1 y1 xy2
x1 x1
x1
x+y
1+y
L2 = lim ( lim xy2 ) = lim y1 = lim 1 =
y1 x1
y1
y1

L1 = lim ( lim

Entonces

@L =

lim

(x,y)(1,1)

f (x, y)

Ejemplo 2.21 Para la funcin

f (x, y) =

x+y2
x+2

estudiemos en el punto (2, 4) la existencia del lmite y de los iterados.

L1 = lim ( lim

x+y2

x2 y4 x+2
L2 = lim ( lim x+y2
)
y4 x2 x+2

Entonces

x+2
= lim 1
x2 x+2
x2
y4
= lim 0 = lim
y1
y1

) = lim

@L =

lim

(x,y)(2,4)

=1
=

f (x, y)

Ejemplo 2.22 Comprobar que no existe el siguiente lmite

lim

(x,y)(0,0)

3x + y
3x y y 2

a pesar de que los lmites iterados existen y coinciden.

Los lmites iterados valen
3x+y
3x
2 ) = lim 3x
x0 y0 3xyy
x0
3x+y
y
L2 = lim ( lim 3xyy
2 ) = lim yy 2
y0 x0
y0

L1 = lim ( lim

= lim 1 = 1
x0

1
y0 1y

= lim

= 1

@L
Pero el lmite no existe porque el lmite a travs del conjunto y = 3x vale
lim

(x,y)(0,0),y=3x

3x + y
0
= lim
= lim 0 = 0 6= 1
3x y y 2 x0 9x2 x0

Ejemplo 2.23 Comprobemos que la funcin

f (x, y) = (x + y) sin

1
1
sin
x
y

posee lmite en el origen pero los iterados no existen.

Como f es el producto de una cantidad acotada
sin

1
1
sin
x
y

por una cantidad que tiende a 0

(x + y)
se tiene que
lim

(x,y)(0,0)

(x + y) sin

12

1
1
sin = 0
x
y

Veamos qu pasa con uno de los iterados (el otro se hara igual), por ejemplo
L1 = lim [ lim f (x, y)] = lim [ lim (x + y) sin
x0 y0

x0 y0

1
1
sin ]
x
y

Para simplificar la escritura y la explicacin pongamos

A = x sin x1 sin y1
B = y sin x1 sin y1
C = (x + y) sin x1 sin y1 = A + B
Se tiene que
@ lim A
y0

lim B = 0

y0
1
x

Lo primero se tiene porque x sin es una cantidad constante (estamos haciendo el lmite con respecto de y), no nula
(pues se toma x prximo pero distinto de 0) y sin y1 oscila infinitas veces en el intervalo [-1, 1] cuando la variable y
tiende a 0.
Lo segundo porque es una funcin que tiende a 0 (y) por otra acotada, sin x1 sin y1
En consecuencia @ lim C. Esto es una propiedad general en cualquier tipo de lmites (de una o varias variables,
y0

incluso tambin en lmites de sucesiones): la suma de una cantidad con lmite (finito) con otra sin lmite resulta otra
cantidad sin lmite. La prueba es sencilla, pues si no fuese as, es decir, si lim C = k, tendramos que
y0

lim A = lim (C B) = k 0 = k

y0

y0

pero ya sabemos que eso no es posible pues sabemos que A no tiene lmite. Luego hemos demostrado que C no tiene
lmite, es decir,
1
1
@ lim (x + y) sin sin
y0
x
y
Ejemplo 2.24 Comprobar que no existe el siguiente lmite
lim

(x,y)(0,0)

x y x2
2x + 2y

a pesar de que los lmites iterados existen y coinciden, analizando tambin el lmite a travs del conjunto (es una
parbola)
y = x + x2
Los lmites iterados valen
2
xyx2
) = lim xx
= lim 1x
2x+2y
2x
x0 y0
x0 y0
x0
x0 2
xyx2
y
L2 = lim [ lim f (x, y)] = lim ( lim 2x+2y ) = lim 2y = 12
y0 x0
y0 x0
y0

L1 = lim [ lim f (x, y)] = lim ( lim

= 12

@L
Pero el lmite no existe porque el lmite a travs del conjunto mencionado es
lim

(x,y)(0,0),y=x+x2

1
x y x2
0
= lim 0 = 0 6=
= lim
2x + 2y x0 2x2 x0
2

Ejemplo 2.25 Para la funcin

1
+ y2
no existen ni L ni L1 ni L2 . Se basa en el mismo argumento realizado en diversas ocasiones, entre ellas en el ejemplo
anterior:
1
La funcin seno no tiene lmite cuando el ngulo x2 +y
2 tiende a infinito, cosa que ocurre aqu cuando nos aproximamos al origen (0, 0) de cualquiera de las 3 formas: con el lmite o con los 2 lmites iterados.
f (x, y) = sin

x2

Se podra definir igualmente los lmites iterados en R3 , R4 , etc., o en cualquier Rn , teniendo en cuenta que el
nmero de lmites iterados ser n!.
13

Ejemplo 2.26 Para la funcin

x 2y + 3z
4x + 5y z
uno de sus lmites iterados en el origen (0, 0, 0) (hay 3! = 6 lmites iterados en total) sera:
f (x, y, z) =

lim { lim [ lim f (x, y)]} = lim { lim [ lim

x0

y0 z0

x0

y0 z0

1
x 2y + 3z
x 2y
x
1
]} = lim { lim
} = lim
= lim =
x0
y0
x0
x0
4x + 5y z
4x + 5y
4x
4
4

Continuidad de funciones de varias variables

La definicin de continuidad es enteramente anloga al caso de funciones de una variable real.

Diremos que una funcin f es continua en un punto x0 cuando el punto est en el dominio, la funcin tiene lmite
(finito) en el punto y el valor de la funcin y de su lmite en el punto coinciden. Es decir:
1) x0 Domf ( f (x0 )).
2) Existe el lmite de f en x0 (y es finito).
3) lim f (x) = f (x0 ).
xx0

El estudio de la continuidad de una funcin en un punto se reduce fundamentalmente al estudio de la existencia y,

en su caso, el valor del lmite de la funcin en el punto. Adems, al igual que pasaba con los lmites, el estudio de la
continuidad de una funcin vectorial se reduce al de sus funciones coordenadas pues:
Propiedad: Una funcin vectorial es continua si y slo si son continuas sus funciones coordenadas.
Adems, las funciones usuales (constantes, polinomios, exponenciales, trigonomtricas, logaritmos, etc.) son
funciones continuas en todo punto de su dominio. Tambin al igual que pasaba con las funciones de una variable
real, las operaciones usuales que se hacen con funciones continuas dan como resultado una funcin continua:
sumas, restas, multiplicacin por escalares, composicin de funciones, productos, cocientes con denominador no nulo,
y otras operaciones usuales. As por ejemplo sern funciones continuas, en todo punto de su dominio, las siguientes:
Ejemplo 3.1

1) f1 (x, y) =

3xy+x6
e

x
y

+ 5(x2 + 1)x (continua en {(x, y) : y 6= 0}).

2
tan(x+1)
2) f2 (x, y) = ( sin(xy)
) (continua en {(x, y) : x + y 2 > 0, cos(x + 1) 6= 0}).
x2 +y2 log(x + y ), e

Observacin 3.2 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 (que denominaremos continuidad a travs de un conjunto),
especialmente en el caso en que el lmite lo realicemos a travs del dominio.
A continuacin, y para finalizar el tema, damos la versin en varias variables del Teorema de Weierstrass que
generaliza el caso de una variable:
Teorema 3.3 Si f : Rn Rm es una funcin continua en Domf y es compacto entonces f () es tambin
compacto.
Corolario 3.4 Si la funcin f : Rn R es continua en el conjunto compacto Domf , entonces existen x0 , y0
tales que
f (x0 ) = max{f (x) : x }
f (y0 ) = min{f (x) : x }

Resumen de los recursos ms utilizados para estudiar el lmite de una

funcin real de dos variables
1. Recursos directos
Para resolver diversos lmites podemos utilizar mtodos o frmulas que se basan en propiedades ya conocidas.
Como por ejemplo la que dice que el producto de una cantidad que tiende a cero por otra acotada tiende a cero.
14

2. Lmites a travs de conjuntos. Lmites direccionales

Si existe el lmite (a travs del dominio) entonces existen el lmite a travs de cualquier conjunto, incluidos
los lmites direccionales. Por ello si no existe el lmite a travs de algn conjunto (por ejemplo si no existe
algn lmite direccional) entonces no puede existir el lmite (a travs del dominio). Tambin se obtiene la misma
conclusin (es decir, no existe el lmite, a travs del dominio) si al menos a travs de dos conjuntos existe el lmite
con distinto valor (sean stos lmites direccionales o no). Aunque todos los lmites direccionales sean iguales,
o aunque los lmites a travs de diversos conjuntos coincidan (y coincidan con los direccionales) no podemos
deducir de ello la existencia del lmite (a travs del dominio).
3. Lmites en coordenadas polares
Si realizamos el cambio a coordenadas polares, y el lmite en estas nuevas coordenadas existe y es independiente
del valor del ngulo, teniendo en cuenta una serie de detalles concernientes a la existencia de cierta funcin F ,
entonces tendremos que existe el lmite inicial. Como ya sabemos los detalles sobre la mencionada funcin F
se refieren a que la diferencia entre la funcin inicial expresada en coordenadas polares y el posible lmite debe
estar acotada por una cantidad independiente del ngulo y que tienda a cero. En el caso de que el lmite en
coordenadas polares dependa del ngulo o no exista podremos decir que el lmite inicial no existe.
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 entonces coinciden. Una situacin en la
que podemos concluir algo es el caso en que existen los dos lmites iterados y son distintos. En este caso el lmite
no puede existir. Tambin se obtiene la misma conclusin si existe alguno de los lmites iterados y el lmite a
travs de algn conjunto (como algn direccional) y tienen valores distintos.

5
5.1

Apndice
Curvas de nivel

Consideremos una superficie z = f (x, y). Recordemos que las curvas de nivel de esta superficie se obtienen dndole
a z valores constantes k y proyectando sobre el plano OXY . As, para cada altura k, al hacer la proyeccin sobre el
plano OXY de la superficie obtenemos la curva de nivel
{(x, y) : f (x, y) = k}
Ejemplo 5.1 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).

5.2

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.
Ejemplo 5.2 Supongamos que pretendemos estudiar el lmite
lim

(x,y)(0,0)

sin(x2 + y 2 ) log(2 x)
x2 + y 2

Entonces aplicando la equivalencia conocida sin t ' t cuando t tiende a 0 se tiene que
sin(x2 + y 2 ) ' x2 + y 2
15

si esta expresin tiende a 0, lo cual ocurre cuando (x, y) tiende a (0, 0). Por tanto el lmite anterior vale
lim

(x,y)(0,0)

(x2 + y 2 ) log(2 x)
= lim
log(2 x) = log 2
x2 + y 2
(x,y)(0,0)

Ejemplo 5.3
lim

(x,y)(0,2)

1
1
sin(x2 )
x2
sin(
)=
lim
sin(
)=
x
y+2
y+2
(x,y)(0,2) x
=

lim

(x,y)(0,2)

x sin(

1
)=0
y+2

ya que es producto de una funcin que tiende a 0 y otra acotada.

16