PRCTICA 4

LMITES Y CONTINUIDAD DE FUNCIONES

DE VARIAS VARIABLES
1. Calcular el dominio de las siguientes funciones reales de varias variables
reales
1.1 f(x, y) =

9x
2
y2x
Debe ocurrir y = 2x para evitar que el denominador se anule y 9
x
2
0 para que la raz no sea negativa. El dominio de la funcin es
D = {(x, y) R
2
: x [3, 3], y = 2x}
1.2 f(x, y) = (

x y, ln(x 2),
1
xy
)
Debe ocurrir: {xy 0, x2 > 0, xy = 0}. Esto equivale a pedir
{x > y, x > 2}. El dominio es
D = {(x, y) : x > y, x > 2}
1.3 f(x, y) = (

x
2
+ y
2
4, ln(16 x
2
y
2
), ln(x) + ln(y))
Debe ocurrir: {x
2
+y
2
4 0, 16 x
2
y
2
> 0, x > 0, y > 0}. Esto
equivale a {4 x
2
+ y
2
< 16, x > 0, y > 0}. El dominio es
D = {(x, y) : 2

x
2
+ y
2
< 4, x > 0, y > 0}
2. Calcular
lm
(x,y)(0,0)
(x
2
+ y
2
, (x
2
+ y) sen(xy), x
2
+ yx)
Tenemos
lm
(x,y)(0,0)
x
2
+y
2
= 0, lm
(x,y)(0,0)
(x
2
+y) sen(xy) = 0, lm
(x,y)(0,0)
x
2
+yx = 0
En consecuencia, lm
(x,y)(0,0)
(x
2
+y
2
, (x
2
+y) sen(xy), x
2
+yx) = (0, 0, 0)
3. Calcular los siguientes lmites en el caso de que existan:
3.1. lm
(x,y)(1,2)
3x+y
4+x2y
lm
(x,y)(1,2)
3 x + y
4 + x 2y
= 4
3.2. lm
(x,y)(4,)
x
2
sen
y
x
lm
(x,y)(4,)
x
2
sen
y
x
= 16 sen

4
= 8

2
3.3. lm
(x,y)(0,0)
3x2y
2x3y
1
La funcin f(x, y) =
3x2y
2x3y
no est denida en (x, y) = (0, 0) (se tiene
una indeterminacin del tipo
0
0
). Veamos si existe dicho lmite. Si nos
aproximamos por rectas y = kx al punto

0 = (0, 0) tenemos
lm
(x,y)(0,0)
y=kx
3x 2y
2x 3y
= lm
x0
3x 2kx
2x 3kx
=
3 2k
2 3k
Como el lmite depende de k, resulta que segn nos acerquemos por una
recta u otra el valor ser distinto, de modo que no existe el lmite buscado.
3.4. lm
(x,y)(0,0)
2xy
x
2
+y
2
La funcin
2xy
x
2
+y
2
no est denida en

0. Aproximndonos por rectas y = kx
obtenemos
lm
(x,y)(0,0)
y=kx
2x y
x
2
+ y
2
= lm
x0
2x kx
x
2
+ k
2
x
2
= lm
x0
2 k
x(1 + k
2
)
Si k = 0 el lmite es , dependiendo del lado de la recta y = 0 por el
que nos aproximemos a

0. De modo que el lmite no existe.
3.5. lm
(x,y)(0,0)
x
x+y
Intentemos ver qu ocurre al aproximarnos por sucesiones el punto

0.
Consideremos las sucesiones
{(x
n
, y
n
)} = {(
1
n
, 0)} (0, 0) cuando n
{(x

n
, y

n
)} = {(0,
1
n
)} (0, 0) cuando n
Aproximndonos por la primera sucesin tenemos
lm
n
x
n
x
n
+ y
n
= lm
n
1/n
1/n
= 1
Si nos aproximamos por la segunda sucesin obtenemos
lm
n
x

n
x

n
+ y

n
= lm
n
0
1/n
= 0
Como los dos lmites no coinciden, no existe el lmite de la funcin en

0.
3.6. lm
(x,y)(0,0)
x
2
y
2
ln(x
2
+ y
2
)
Pasando a coordenadas polares tenemos
lm
(x,y)(0,0)
x
2
y
2
ln(x
2
+ y
2
) = lm
0

4
cos
2
sen
2
ln(
2
)
Adems
2
0 |
4
cos
2
sen
2
ln(
2
)|
4
ln(
2
) 0 cuando 0
Para probar que
4
ln(
2
) 0 cuando 0 se aplica la regla de
LHpital. Por la regla del Sandwich, lm
0

4
cos
2
sen
2
ln(
2
) = 0,
lo cual equivale a que lm
(x,y)(0,0)
x
2
y
2
ln(x
2
+ y
2
) = 0.
3.7. lm
(x,y)(0,0)
x
2
y
x
2
+y
2
0

x
2
y
x
2
+ y
2

=
x
2
x
2
+ y
2
|y| |y| 0 cuando (x, y) (0, 0)
Por la regla del Sandwich, lm
(x,y)(0,0)
x
2
y
x
2
+y
2
= 0.
3.8. lm
(x,y)(0,0)
x
2
y
2
(x
2
+y
2
)
3/2
Pasando a polares,
lm
(x,y)(0,0)
x
2
y
2
(x
2
+ y
2
)
3/2
= lm
0

4
cos
2
sen
2

3
= lm
0
cos
2
sen
2

Como
0 | cos
2
sen
2
| 0 cuando 0
resulta lm
0
cos
2
sen
2
= 0, con lo que
lm
(x,y)(0,0)
x
2
y
2
(x
2
+ y
2
)
3/2
= 0
3.9. lm
(x,y)(0,0)
x
2
x
2
+y
2
Aproximndonos por rectas y = kx obtenemos
lm
(x,y)(0,0)
y=kx
x
2
x
2
+ y
2
= lm
x0
x
2
x
2
+ k
2
x
2
=
1
1 + k
2
Como depende de k, no existe el lmite.
3.10. lm
(x,y)(0,0)
x|y|

x
2
+y
2
Se tiene
0

x|y|

x
2
+ y
2

=
|x|

x
2
+ y
2
|y| |y| 0 cuando (x, y) (0, 0)
Por la regla del Sandwich, lm
(x,y)(0,0)
x|y|

x
2
+y
2
= 0.
3.11. lm
(x,y)(0,0)
(y
2
x)
2
x
2
+y
4
3
Aproximmonos por parbolas x = ky
2
al punto

0.
lm
(x,y)(0,0)
x=ky
2
(y
2
x)
2
x
2
+ y
4
= lm
y0
(y
2
ky
2
)
2
k
2
y
4
+ y
4
=
(1 k)
2
k
2
+ 1
Como la expresin depende de k, el lmite no existe.
Tambin se puede intentar resolver aproximndonos por sucesiones a

0
(por ejemplo {(1/n
2
, 1/n)} y {(1/n, 0)}).
Obsrvese que en este caso, si nos aproximamos por rectas y = kx, los
lmites siempre son los mismos (valen 1), pero sin embargo el lmite de la
funcin en

0 no existe.
3.12. lm
(x,y)(0,0)
(y
2
x)
2
x
2
+y
2
Pasando a polares tenemos
lm
(x,y)(0,0)
(y
2
x)
2
x
2
+ y
2
= lm
0
1

2
(
2
sen
2
cos )
2
=
= lm
0
1

2
(
4
sen
4
2
3
sen
2
cos +
2
cos
2
) =
= lm
0
(
2
sen
4
2 sen
2
cos + cos
2
) = cos
2

De modo que no existe el lmite ya que, dependiendo del ngulo por el

que nos aproximemos a

0 obtendremos resultados distintos.
Otro modo de resolver el ejercicio es aproximndose por sucesiones ade-
cuadas.
3.13. lm
(x,y)(0,0)
y
x
sen(
1
x
2
+y
2
)
Consideremos la sucesin
{(x
n
, y
n
)} = {(1/n, 1/n)} (0, 0) cuando n
Entonces,
lm
(x
n
,y
n
)(0,0)
y
n
x
n
sen(
1
x
2
n
+ y
2
n
) = lm
n
sen(n
2
/2)
de modo que no existe lmite al aproximarnos a

0 por esta sucesin. Por
tanto la funcin no tiene lmite en

0.
3.14. lm
(x,y)(0,0)
sen(xy)

x
2
+y
2
Aproximmonos por la recta y = x. Se tiene
lm
(x,y)(0,0)
y=x
sen(x y)

x
2
+ y
2
= lm
x0
sen(x x)

2x
2
= 0
Aproximndonos por la recta y = 0 queda
4
lm
(x,y)(0,0)
y=0
sen(x y)

x
2
+ y
2
= lm
x0
senx
x
= 1
La ltima igualdad se obtiene aplicando la regla de LHpital. Se concluye
que el lmite no existe.
3.15. lm
(x,y,z)(0,0,0)
xy
2
z
x
2
+y
2
+z
2
Como
0

y
2
x
2
+ y
2
+ z
2
xz

|xz| 0 cuando (x, y, z) (0, 0, 0)

aplicando la regla del Sandwich, lm
(x,y,z)(0,0,0)
xy
2
z
x
2
+y
2
+z
2
= 0.
4. Representar grcamente las supercies de nivel de las siguientes fun-
ciones:
4.1. f(x, y, z) = 4x
2
+ y
2
+ 4z
2
Se tiene f( x) 0. Hacemos f( x) = k
2
, lo que equivale a escribir
4x
2
+ y
2
+ 4z
2
= k
2

x
2
k
2
/4
+
y
2
k
2
+
z
2
k
2
/4
= 1
Si k
2
> 0, entonces tenemos elipsoides de centro

0 y semiejes k/2, k, k/2.
Si k
2
= 0, tenemos x = y = z = 0 que es el punto

0.
4.2. f(x, y, z) = x
2
+ y
2
z
2
Si k > 0,
x
2
k
+
y
2
k

z
2
k
= 1. Hiperboloide de una hoja con a = b = c =

k.
Si k < 0,
x
2
k
+
y
2
k

z
2
k
= 1. Hiperboloide de 2 hojas con a = b = c =

k.
Si k = 0, x
2
+ y
2
z
2
= 0 lo que nos da un cono.
5
4.3. f(x, y, z) = (x a)
2
+ (y b)
2
Al igualar a constante, se tiene (xa)
2
+(y b)
2
= k
2
que es la ecuacin
de un cilindro de seccin circular de radio k y centro (a, b). Para el caso
en que k = 0 el cilindro degenera en la recta r {x = a, y = b} paralela
al eje OZ .
5. Analizar la continuidad de las siguientes funciones:
5.1. f(x, y) =

x
2
y
2
x
2
y
2
+(xy)
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
La funcin es claramente continua para todo (x, y) = (0, 0) al ser en estos
puntos un cociente de dos polinomios donde el denominador no se anula.
nicamente queda estudiar la continuidad en (x, y) = (0, 0). La funcin
ser continua en

0 = (0, 0) si existe el lmite de la funcin cuando nos
aproximamos a

0 y dicho lmite vale lm
(x,y)(0,0)
f(x, y) = f(0, 0) = 0.
Aproximmonos a (0, 0) por la sucesin {(x
n
, y
n
)} = {(1/n, 1/n)}.
lm
(x
n
,y
n
)(0,0)
f(x
n
, y
n
) = lm
n
(1/n)
2
(1/n)
2
(1/n)
2
(1/n)
2
+ (1/n 1/n)
2
= 1 = f(0, 0) = 0
De modo que la funcin no es continua en

0.
5.2. f(x, y) =

x
2
y
2
x
2
+y
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
La funcin es continua para todo (x, y) = (0, 0) al ser en estos puntos un
cociente de dos polinomios donde el denominador no se anula. nicamente
queda estudiar la continuidad en (x, y) = (0, 0).
6
Aproximmonos a

0 por la sucesin {(x
n
, y
n
)} = {(1/n, 0)}. Entonces
lm
(x
n
,y
n
)(0,0)
f(x
n
, y
n
) = lm
n
(1/n)
2
(1/n)
2
= 1 = f(0, 0) = 0
La funcin no es continua en

0.
5.3. f(x, y) =

(x + y)
2
cos(
1
x
2
+y
2
) si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
La funcin es claramente continua en todo (x, y) = (0, 0). Veamos qu
ocurre en (x, y) = (0, 0).
Obsrvese que
0

(x + y)
2
cos(
1
x
2
+ y
2
)

(x + y)
2
0 cuando (x, y) (0, 0)
Por la regla del Sandwich, lm
(x,y)(0,0)
(x + y)
2
cos(
1
x
2
+y
2
) = 0 = f(0, 0)
con lo que f es continua tambin en

0.
5.4. f(x, y) =

(x
2
+ y
2
) cos(
1
x
2
+y
2
) si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
Es anlogo al ejercicio 5.3. La funcin es continua en todo (x, y) R
2
.
5.5. f(x, y) =

2xy
x
2
+y
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
La funcin es continua en todo (x, y) = (0, 0). Estudiemos lo que ocurre
en

0 aproximndonos por la sucesin {(x
n
, y
n
)} = {(1/n, 1/n)}.
lm
(x
n
,y
n
)(0,0)
f(x
n
, y
n
) = lm
n
2/n
2
2/n
2
= 1 = f(0, 0) = 0
La funcin no es continua en

0.
5.6. f(x, y) =

x
x+y
si x + y = 0
0 si x + y = 0
La funcin es continua en todo (x, y) que no pertenezca a la recta r {x+
y = 0}. Estudiemos lo que ocurre en los puntos de esta recta. Sea (x
0
, y
0
)
r, esto es, y
0
= x
0
. Veamos si lm
(x,y)(x
0
,y
0
)
f(x, y) = f(x
0
, y
0
) = 0.
Consideremos la sucesin
({x
n
, y
n
)} = {(x
0
+ 1/n, y
0
)} =
= {(x
0
+ 1/n, x
0
)} (x
0
, y
0
) = (x
0
, x
0
) cuando n
Entonces
lm
(x
n
,y
n
)(x
0
,x
0
)
f(x
n
, y
n
) = lm
n
x
0
+ 1/n
1/n
=

si x
0
> 0
1 si x
0
= 0
si x
0
< 0
7
De aqu se deduce que lm
(x
n
,y
n
)(x
0
,x
0
)
f(x
n
, y
n
) = f(x
0
, x
0
) = 0 de
modo que f no es continua en ningn punto (x
0
, x
0
) r.
5.7. f(x, y) =

x
2
sen(
1
y
) si y = 0
x
2
si y = 0
La funcin es continua en todo (x, y) que no pertenezca a la recta r
{y = 0}. Veamos qu ocurre con los puntos de la recta. Sea (x
0
, 0)
r. Nos aproximaremos a este punto mediante la sucesin {(x
n
, y
n
)} =
{(x
0
, 1/n)}. Entonces
lm
(x
n
,y
n
)(x
0
,0)
f(x
n
, y
n
) = lm
n
x
2
0
sen(n) =

No existe si x
0
= 0
0 si x
0
= 0
Es claro que f no es continua en (x
0
, 0) cuando x
0
= 0. Por otro lado,
0 |f(x, y)| x
2
0 cuando (x, y) (0, 0)
Por la regla del Sandwich, lm
(x,y)(0,0)
f(x, y) = 0 = f(0, 0) con lo que f
es continua en (0, 0).
5.8. f(x, y) =

xy

x
2
+y
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
La funcin es continua en todo (x, y) = (0, 0). Veamos qu ocurre en

0.
0

xy

x
2
+ y
2

|y| 0 cuando (x, y) (0, 0)

Por la regla del Sandwich, lm
(x,y)(0,0)
xy

x
2
+y
2
= 0 = f(0, 0), de manera
que f es continua en

0.
5.9. f(x, y) =

(
x
2
y
x
2
+y
2
, senxy) si (x, y) = (0, 0)
(0, 0) si (x, y) = (0, 0)
Sean las funciones coordenadas de f,
f
1
(x, y) =

x
2
y
x
2
+y
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
f
2
(x, y) =

senxy si (x, y) = (0, 0)

0 si (x, y) = (0, 0)
Para que f sea continua en un punto (x, y), deben serlo tanto f
1
como f
2
.
Es claro que para todo (x, y) = (0, 0) tanto f
1
como f
2
son continuas.
Veamos qu ocurre en (x, y) = (0, 0).
Por el problema 3.7, la funcin f
1
es continua en

0. Adems,
lm
(x,y)(0,0)
sen(xy) = 0 = f
2
(0, 0)
con lo que f
2
tambin es continua en

0. Hemos probado que f es continua
en

0.
8