Está en la página 1de 28

Captulo 7

Funciones de varias variables:


lmite y continuidad
Con este tema iniciamos el calculo diferencial en varias variables, cuyo ob-
jetivo es el estudio de las propiedades de variaci on de las funciones reales de
varias variables reales. Aunque con algunas complicaciones tecnicas propias
del calculo de varias variables, en buena medida se seguira un camino para-
lelo al seguido en el desarrollo del calculo de una variable. Estudiaremos los
conceptos de lmite y continuidad de funciones y seguidamente abordaremos
los conceptos de derivada parcial y diferencial. Para facilitar el aprendizaje,
desarrollaremos el tema para el caso de funciones de dos variables reales,
aunque todas las nociones que consideraremos son v alidas para funciones de
cualquier n umero de variables. Por ello, cuando sea conveniente, al nal de
cada tema mencionaremos brevemente el caso de funciones de tres variables
considerando alg un ejemplo adecuado.
7.1. El plano R
2
.
Del mismo modo que iniciamos el estudio de las funciones de una va-
riable considerando el cuerpo R de los n umeros reales, al enfrentarnos con
las funciones de dos variables debemos ocuparnos del conjunto R
2
, donde se
208
movera el par de variables (x, y).
Recordemos que R
2
denota el conjunto de todos los pares ordenados de
n umeros reales: R
2
= {(x, y) : x, y R}. x e y reciben el nombre de compo-
nentes del par (x, y). Con los elementos de R
2
pueden realizarse dos opera-
ciones naturales:
- Suma: (x
1
, y
1
) + (x
2
, y
2
) = (x
1
+ x
2
, y
1
+ y
2
).
- Producto por un n umero real: (x, y) = ( x, y).
La suma es una operacion interna y el producto por un n umero real,
externa. Con estas dos operaciones R
2
es un espacio vectorial sobre el cuerpo
de los n umeros reales. Es facil comprobar que su dimension es 2, pues se
verica (x, y) = xe
1
+ye
2
, para cualquier par (x, y) R
2
, siendo e
1
= (1, 0)
y e
2
= (0, 1). Por tanto, {e
1
, e
2
} es una base de R
2
, que recibe el nombre
de base can onica. En esta base, las coordenadas de (x, y) son sus propias
componentes x e y.
Los elementos de R
2
pueden representarse como puntos de un plano. Para
ello, debemos escoger un sistema cartesiano de coordenadas en el plano en
cuestion. Si P es el punto del plano que tiene por coordenadas en dicho
sistema x e y, le haremos corresponder el par (x, y) R
2
. Se dira que P es
la representacion graca del par (x, y). Esta correspondencia entre R
2
y los
puntos del plano es biunvoca.
Ejemplos 7.1.1. a) Representar gr acamente en el plano el conjunto A =
{(x, y) : y x
2
, x 0, y 0}.
Se trata de un conjunto contenido en el primer cuadrante y que queda
por encima de la parabola y = x
2
. Un punto de coordenadas (x, y) tal que
y = x
2
pertenece a la parabola y = x
2
. Si trazamos por este punto una recta
perpendicular al eje OX, los puntos de esta recta que estan por encima de
la parabola tienen por coordenadas (x, y) con y > x
2
, mientras que los que
estan por debajo son de la forma (x, y) con y < x
2
.
209
Y
X
O
y = x
2
A
b) Idem con el conjunto A = {(x, y) : 0 x y 1}.
El producto x y es no negativo; por tanto, x e y tienen el mismo signo.
Entonces el conjunto consta de dos partes, una en el primer cuadrante y la
otra en el tercero. En el caso del primer cuadrante y
1
x
. Por tanto, se trata
de la region que queda por debajo de la curva y =
1
x
. En el tercer cuadrante
se trata de la region que queda por encima de dicha curva
Y
O
X
y = 1/x
A
210
c) A = [a, b] [c, d] se representa en el plano como un rectangulo paralelo
a los ejes. En efecto, (x, y) A si y solo si a x b y c y d.
Y
X
O
a
b
c
d
A
Dados dos puntos de R
2
, a = (x
1
, y
1
) y b = (x
2
, y
2
), se dene su dis-
tancia por d(a, b) = +

(x
1
x
2
)
2
+ (y
1
y
2
)
2
. Notese que se trata de la
distancia entre los correspondientes puntos del plano P
1
(x
1
, y
1
) y P
2
(x
2
, y
2
).
La distancia tiene las propiedades siguientes:
D1) d(a, b) = 0 si y solo si a = b.
D2) d(a, b) = d(b, a).
D3) d(a, b) d(a, c) + d(c, b), cualesquiera que sean a, b y c en R
2
.
Esta propiedad recibe el nombre de desigualdad triangular, pues ex-
presa la conocida propiedad de los lados de un tri angulo que arma: En un
triangulo la longitud de cualquier lado es menor o igual que la suma de las
longitudes de los otros dos. Necesitaremos tambien el concepto de producto
escalar (o interior.
211
a
b
c
Y
X
O
Si a = (a
1
, a
2
) y b = (b
1
, b
2
), se dene a b = a
1
b
1
+ a
2
b
2
. Propiedades
obvias son las siguientes:
(1) a (b +c) = a b +a c.
(2) (a b) = (a) b = a (b).
(3) a a = a
2
1
+ a
2
2
.

a
2
1
+ a
2
2
es el modulo del vector

OP, si P es el punto del plano de
coordenadas (a
1
, a
2
), y se suele denotar por a (norma de a). Con esta
notaci on, (3) adopta la forma
(3) a a = a
2
.
Notese que d(a, b) = a b.
Para abordar el concepto de lmite de una funci on, necesitamos introducir
un mnimo de nociones topol ogicas que nos ayudaran a expresar de forma m as
simple y precisa las deniciones y resultados que encontraremos en nuestro
estudio del calculo diferencial en varias variables (topologa, del griego topos
y logia, es la parte de las matem aticas que se ocupa del espacio).
Denicion 7.1.2. Si (x
0
, y
0
) R
2
y r > 0, se llama entorno cerrado de
centro (x
0
, y
0
) y radio r al conjunto formado por todos los pares (x, y) R
2
212
tales que su distancia a (x
0
, y
0
) es menor o igual que r, y se denota por
E
r
(x
0
, y
0
). Es decir, se trata del conjunto
{(x, y) R
2
:

(x x
0
)
2
+ (y y
0
)
2
r}.
Por tanto, E
r
(x
0
, y
0
) representa gracamente el crculo de radio r y centro
(x
0
, y
0
). Se llama entorno abierto al conjunto
{(x, y) R
2
:

(x x
0
)
2
+ (y y
0
)
2
< r}
y se denota por E
r
(x
0
, y
0
). En este caso no forman parte del entorno los pun-
tos de la circunferencia de centro (x
0
, y
0
) y radio r. En el calculo de lmites,
se usara a menudo el entorno perforado E

r
(x
0
, y
0
) que se diferencia del
anterior en el hecho de que no incluye el centro (x
0
, y
0
).
Denicion 7.1.3. Sean D un subconjunto de R
2
y (x
0
, y
0
) R
2
. Diremos
que (x
0
, y
0
) es un punto de acumulacion de D si D E

r
(x
0
, y
0
) = ,
para cada r > 0; es decir, en todo entorno de (x
0
, y
0
) (por peque no que sea
su radio) existen puntos de D diferentes de (x
0
, y
0
). Solo para estos puntos
tiene sentido calcular el lmite de una funcion cuyo dominio sea D.
Denicion 7.1.4. Sean D un subconjunto de R
2
y (x
0
, y
0
) R
2
. Diremos
que (x
0
, y
0
) es un punto interior de D si este conjunto contiene ntegramen-
te un entorno de (x
0
, y
0
). Si todos los puntos de D son interiores, diremos
que D es un conjunto abierto de R
2
.
Denicion 7.1.5. Un conjunto D se llama cerrado si contiene todos sus
puntos de acumulacion. Es facil demostrar que los conjuntos cerrados son
precisamente los conjuntos cuyo complemento en R
2
es un conjunto abierto.
Efectivamente, si el complemento de D es abierto, entonces un punto (x
0
, y
0
)
que no pertenezca a D no puede ser de acumulacion para D, debido a que es
213
interior a D
c
y, por ello, existe un entorno de (x
0
, y
0
) contenido en D
c
. Tal
entorno tiene interseccion vaca con D. Conviene destacar que un conjunto
que no es abierto tambien puede ser no cerrado.
Denicion 7.1.6. Sean D un subconjunto de R
2
y (x
0
, y
0
) R
2
. Diremos
que (x
0
, y
0
) es un punto frontera de D si en todo entorno de (x
0
, y
0
) existen
puntos de D y puntos que no pertenecen a D. El conjunto formado por todos
los puntos frontera de D recibe el nombre de frontera de D.
Ejemplos 7.1.7. a) Encontrar los puntos de acumulacion, puntos frontera
y los puntos interiores del conjunto D = {(x, y) R
2
: x > 0, y > 0}.
- Todo par (x
0
, y
0
) con x
0
0 e y
0
0 es un punto de acumulacion de D
(notese que todo entorno de centro en tal punto tiene en com un con D como
mnimo un cuadrante).
- D es abierto, pues todos sus puntos son interiores. En efecto, si (x
0
, y
0
)
D, entonces x
0
> 0 e y
0
> 0. Si tomamos r = min{x
0
, y
0
}, se verica clara-
mente E
r
(x
0
, y
0
) D.
- El conjunto frontera es el formado por los semiejes positivos.
b) D = {(x, y) R
2
: x 0, 0 y < x
2
}.
Este conjunto no es abierto porque no todos sus puntos son interiores. Por
ejemplo, los puntos de la forma (x, 0) con x 0. Tampoco es cerrado ya que
no contiene a todos sus puntos de acumulacion. En efecto, los puntos de la
forma (x, x
2
) con x 0(pertenecen a la parabola y = x
2
) son claramente de
acumulacion y no pertenecen a D. El conjunto frontera consta de los puntos
del eje OX positivo y de los puntos de la parabola de la forma (x, x
2
) con
x 0.
214
Y
X O
y = x
2
D
Terminamos este apartado con la denici on de conjunto acotado. Di-
remos que D es acotado si las distancias entre dos puntos cualesquiera de
D permanecen acotadas. Es decir, existe una constante positiva c tal que
d(a, b) c, para todos a y b pertenecientes a D. Todo conjunto acotado
est a contenido en un entorno de uno de sus puntos (basta tomar el radio
igual a c).
7.2. Funciones de dos variables.
En las ciencias experimentales, cuando se estudia un determinado fen o-
meno, se da a menudo el caso de que este quede completamente descrito me-
diante una ley que establece una relacion funcional entre varias magnitudes
fundamentales. As, por ejemplo, la ley que establece para los gases perfectos
que, si P, V y T son la presi on, el volumen y la temperatura absoluta de 1
mol de un tal gas, se verica la relacion
PV = RT,
215
donde R es cierta constante (recibe el nombre de ecuaci on de estado). Si
despejamos P en la igualdad anterior, resulta P = RT/V . La expresion
anterior nos dice que la presi on P es funci on de T y V y, por tanto, queda
completamente determinada cuando conocemos T y V .
Si mediante alg un procedimiento hacemos que V y T sean cada vez m as
pr oximos a cero, hacia que valor se acerca la presion P ?, como podemos
determinar un valor aproximado del incremento de la presion en funci on de
los incrementos (peque nos) V y T? Entre otras cuestiones, en este tema
veremos como es la respuesta a estas preguntas.
Una funcion de dos variables f es una regla o ley que asocia a cada
par (x, y), perteneciente a cierto conjunto D R
2
, un unico n umero real
f(x, y). D recibe el nombre de dominio de la funcion y x e y son las variables
independientes. Es usual usar z para designar a la imagen f(x, y) y se dir a
que z es la variable dependiente. Una funcion queda determinada cuando
damos la ecuaci on z = f(x, y) y el dominio D donde se mueve el par (x, y).
A veces, solo se da la ecuacion z = f(x, y), en cuyo caso se entiende que
el dominio es todo el campo de existencia, es decir, el conjunto formado por
todos los pares (x, y) para los que la ecuaci on en cuesti on permite obtener la
correspondiente imagen.
Ejemplos 7.2.1. a) f(x, y) = log(x
2
+ y
2
) es una funcion cuyo dominio es
todo R
2
menos el origen (0, 0).
b) f(x, y) =

x y tiene por dominio la parte del plano que consta de los
cuadrantes primero y tercero, pues solo tienen imagen los puntos (x, y) con
coordenadas de igual signo: D = {(x, y) R
2
: x 0, y 0} {(x, y) R
2
:
x 0, y 0}.
Las funciones de dos variables pueden representarse gracamente en el
espacio de la siguiente forma: Dada f : D R
2
R, escogemos un sistema
de coordenadas cartesianas OXYZ en el espacio y en el plano OXY represen-
tamos el dominio D. Para cada (x, y) D, dibujamos en el espacio el punto
de coordenadas (x, y, f(x, y)). El conjunto formado por todos los puntos de
216
la forma (x, y, f(x, y)), con (x, y) D, es una supercie. Se dira que es la
representaci on graca de la funcion f o que la supercie tiene por ecuacion
z = f(x, y).
Ejemplos 7.2.2. a) f(x, y) = ax + by tiene por representaci on gr aca un
plano.
b) f(x, y) = x
2
+ y
2
tiene por representacion gr aca un paraboloide de
revolucion con vertice el punto (0, 0, 0).
c) f(x, y) = x
2
tiene por gr aca otro tipo de paraboloide (cilndrico).
En muchos casos, puede ayudar a la visualizaci on de una funci on de dos
variables el conocer la forma que tienen las curvas de nivel. Dada f : D
R
2
R, la curva de nivel que pasa por (x
0
, y
0
) D es el conjunto de
puntos (x, y) D tales que f(x, y) = f(x
0
, y
0
). Se trata, pues, de una curva
que pasa por el punto (x
0
, y
0
) y que se caracteriza porque f tiene un valor
constante a lo largo de ella. La familia de todas las curvas de nivel tiene por
ecuaci on f(x, y) = c, donde c es una constante arbitraria. La curva de nivel
f(x, y) = c es la proyeccion sobre el plano OXY de la curva C que determina
el plano z = c al cortar a la supercie de ecuaci on z = f(x, y). En la gura
siguiente puede verse como cada punto (x, y, c) de esta curva (en rojo) se
proyecta en el punto (x, y, 0) de la curva de nivel f(x, y) = c (en negro). Es
decir, las coordenadas de ambos puntos solo se diferencian en la coordenada
z que es igual a 0 en la curva de nivel e igual a c en la curva intersecci on C.
217
2
1.5
1
0.5
0
0.5
1
1.5
2
1
0.5
0
0.5
1
1.5
2
Eje OX
C
curva de nivel f(x,y)=c
z=c
Eje OZ
Eje OY
Estas ideas nos pueden ayudar a la hora de representar gracamente una
funcion.
Ejemplos 7.2.3. a) z = x
2
+ y
2
. Al cortar la supercie con los planos de la
forma z = c (c 0) resulta una curva plana C cuyas ecuaciones son

z = c
x
2
+ y
2
= c
(7.1)
La curva de nivel x
2
+y
2
= c no es otra cosa que la circunferencia de centro
el origen y radio

c en el plano OXY. La curva C tiene la forma de esta
misma circunferencia, pero colocada en el plano z = 0. Cuando c = 0 el corte
se reduce a un punto: (0, 0, 0). En los demas casos, se trata de circunferencias
cuyos radios

c aumentan con c (ver la gura siguiente).
218
Intuimos que la supercie puede ser un paraboloide o un cono de vertice el
origen. Finalmente, podemos cortar la supercie con el plano y = 0 y resulta
una curva en el plano OXZ que tiene por ecuacion z = x
2
. Esto nos conrma
que se trata de un paraboloide.
2
1
0
1
2
2
1
0
1
2
0
1
2
3
4
5
6
Eje OY
Eje OZ
Eje OX
219
b) f(x, y) =

x
2
+ y
2
.
Las curvas de nivel son las circunferencias con centro el origen x
2
+y
2
=
c
2
. Como en el ejemplo anterior, al cortar la supercie con un plano de
la forma z = c (c > 0) se obtiene una circunferencia con centro en el eje
OZ y radio c cuya proyeccion sobre el plano z = 0 es la curva de nivel
x
2
+ y
2
= c
2
. Al aumentar c, el plano z = c cada vez se aleja mas de
z = 0 y la circunferencia interceptada tiene mayor radio, como en el ejemplo
anterior.
La diferencia ahora radica en que al cortar la supercie con el plano y = 0,
resulta z = |x| que es la ecuacion de un par de rectas en el plano OXZ. Por
tanto, la supercie es un cono de revolucion con vertice (0, 0, 0) y eje OZ.
4
2
0
2
4
4
2
0
2
4
0
1
2
3
4
5
Eje OY
Eje OZ
Eje OX
Gr aca de z = x
2
220
2
0
2
2
1
0
1
2
3
0
1
2
3
4
5
Eje OY
Eje OZ
Eje OX
c) Si T(x, y) representa la temperatura en cada punto (x, y) de cierta
region D del plano, entonces las curvas de nivel T(x, y) = c son las isotermas
(curvas de temperatura constante).
Para una funcion de mas de dos variables no es posible una representaci on
graca, pero puede ser muy util conocer que forma tienen las supercies de
nivel. Si f : D R
3
R es una funci on de tres variables, se llaman
supercies de nivel a las que tienen por ecuaci on f(x, y, z) = c.
Ejemplos 7.2.4. a) Si V (x, y, z) es el potencial electrico creado en el espacio
por una determinada distribucion de cargas electricas, las supercies de nivel
son las supercies equipotenciales.
b) Si f(x, y, z) = x
2
+ y
2
+ z
2
, las supercies de nivel son supercies
esfericas de centro el origen.
221
7.3. Supercies
Algunas supercies, que nos encontraremos en las aplicaciones, no se ob-
tienen como representaci on graca de una funcion de dos variables; es decir,
no responden a una ecuacion de la forma z = f(x, y). Basta pensar en una
supercie cilndrica de eje OZ y radio R. Notese que, si (x
0
, y
0
) es un punto
de la circunferencia x
2
+ y
2
= R
2
, los puntos de coordenadas (x
0
, y
0
, z) (al
variar z) describen la generatriz que pasa por (x
0
, y
0
, 0). Por tanto, todos
pertenecen a la supercie. Por ello, es imposible que una ecuaci on de la for-
ma z = f(x, y) pueda describir la supercie en cuesti on (jado (x
0
, y
0
), solo
el punto (x
0
, y
0
, f(x
0
, y
0
)) pertenece a la supercie de ecuacion z = f(x, y)).
Supercies como la anterior se describen matematicamente mediante ecua-
ciones de la forma f(x, y, z) = 0. Mas precisamente, adoptaremos la siguiente
denici on. El lugar geometrico de los puntos del espacio que verican la ecua-
ci on
f(x, y, z) = 0
es ( en general) una supercie S, pues se trata de un conjunto de puntos
con dos grados de libertad. En efecto, pueden escogerse los valores de x e y
libremente y el valor de z queda determinado por la ecuaci on.

Esta recibe el
nombre de ecuaci on implcita de la supercie.
Terminamos el apartado deduciendo de forma razonada la ecuaci on de
una supercie cilndrica. Denotemos por S la supercie cilndrica de eje OZ
y radio R. Vamos a probar que su ecuacion en forma implcita es x
2
+y
2
= R
2
.
222
1.5
1
0.5
0
0.5
1
1.5
2
2.5
1
0.5
0
0.5
1
1.5
2
2.5
Eje OY
(x0,y0,0)
Eje OZ
Eje OX
Con la ayuda de la gura, vemos que, si (x
0
, y
0
, z
0
) es un punto cualquiera
de la supercie S, su proyeccion sobre el plano z = 0 es el punto (x
0
, y
0
, 0), que
pertenece a la circunferencia C de centro el origen, radio R y contenida en el
plano OXY. Esta circunferencia tiene por ecuaci on x
2
+y
2
= R
2
(en el plano
OXY). Por tanto, debe ser tambien x
2
0
+ y
2
0
= R
2
. Es decir, hemos probado
que, si (x
0
, y
0
, z
0
) es cualquier punto de S, entonces necesariamente se verica
x
2
0
+ y
2
0
= R
2
. Para poder asegurar que la ecuaci on de S es x
2
+ y
2
= R
2
,
debemos probar tambien que, si el punto (x
0
, y
0
, z
0
) es tal que x
2
0
+y
2
0
= R
2
,
entonces dicho punto pertenece a S. Esto es obvio pues (x
0
, y
0
, 0) pertenece
a C y (x
0
, y
0
, z
0
) pertenece a la generatriz que pasa por (x
0
, y
0
, 0).
Ejemplos 7.3.1. a) x
2
+ z
2
= R
2
es la ecuacion de la supercie cilndrica
de radio R y eje OY.
223
2
1
0
1
2
2
0
2
4
2
1
0
1
2
Ejee OX
Eje OY
E
j
e

O
Z
b) z
2
= x
2
+ y
2
es la ecuaci on implcita de la supercie conica siguiente
4
2
0
2
4
4
2
0
2
4
4
2
0
2
4
6
Eje OY
Eje OZ
Eje OX
7.4. Lmite doble.
Sean f : D R
2
R y (x
0
, y
0
) un punto de acumulaci on de D. Cuando
escribimos
lm
(x,y)(x
0
,y
0
)
f(x, y) = l
224
queremos signicar que f(x, y) se aproxima m as y m as al n umero l, a medida
que (x, y) se acerca a (x
0
, y
0
), moviendose libremente en su dominio D (sin
llegar a ser (x
0
, y
0
)). Y si queremos que f(x, y) se diferencie de l en menos de
una cantidad peque na ( > 0), bastar a con que (x, y) se tome en un entorno
perforado de (x
0
, y
0
) con radio ( > 0) sucientemente peque no. Estas ideas
quedan recogidas de una forma simple y precisa en la siguiente denicion.
Denicion 7.4.1. Diremos que
lm
(x,y)(x
0
,y
0
)
f(x, y)
existe y es igual a l si se verica lo siguiente: Para cada > 0, puede encon-
trarse un entorno E

(x
0
, y
0
) tal que
(x, y) D E

(x
0
, y
0
) |f(x, y) l| < .
Ejemplo 7.4.2. Comprobar que
lm
(x,y)(3,2)
1 +
(x 3)
2
+ (y 2)
2
1 + x
2
= 1.
|f(x, y) 1| =
(x 3)
2
+ (y 2)
2
1 + x
2

(x 3)
2
+ (y 2)
2
.
Luego, si queremos que |f(x, y) l| < , bastara escoger (x, y) E

(x
0
, y
0
),
siendo =

.
Las propiedades del lmite son formalmente las mismas, independiente-
mente del n umero de variables, por lo que no parece necesario volver a men-
cionarlas todas. A ttulo de ejemplo, vamos a precisar algunas de ellas.
- Si el lmite doble de una funcion, cuando (x, y) (x
0
, y
0
), es distinto de
0, entonces existe un entorno perforado E

r
(x
0
, y
0
) tal que el signo de f(x, y)
es igual al de su lmite l, para cada (x, y) D E

r
(x
0
, y
0
).
225
- El lmite de una suma, un producto o un cociente de dos funciones es
igual a la suma, producto o cociente de los lmites de cada una (si el lmite
del denominador no es 0, en el caso del cociente).
7.5. Lmites direccionales.
El calculo de lmites de funciones de varias variables s presenta algunas
diferencias importantes de las que nos vamos a ocupar a continuacion.
En el calculo de un lmite doble se procedera de la forma siguiente:
I) Calculo de los lmites a traves de las rectas que pasan por (x
0
, y
0
). Se
trata de descubrir el valor hacia el que se aproxima f(x, y) cuando (x, y) se
acerca a (x
0
, y
0
), moviendose a lo largo de la recta y = y
0
+ m(x x
0
).
Y
X
O
y=y +m(x-x )
0 0
x
y
0
0
La denici on precisa y la notacion habitual es la siguiente
lm
(x, y) (x
0
, y
0
)
y = y
0
+ m(x x
0
)
f(x, y) =
= lm
xx
0
f(x, y
0
+ m(x x
0
)).
226
Una vez calculados estos lmites, pueden darse dos posibilidades:
a) No todos los lmites a traves de las rectas y = y
0
+m(x x
0
) tienen el
mismo valor. En este caso, concluimos que no puede existir el lmite doble,
ya que f(x, y) es oscilante en las cercanas de (x
0
, y
0
).
b) Todos los lmites a traves de las rectas mencionadas tienen el mismo
valor l. En este caso concluimos que el lmite doble, de existir, debe valer
tambien l. Sin embargo, no podemos asegurar, con este unico dato, que el
lmite doble exista realmente. Vamos a ver un ejemplo que muestra esto
claramente:
Ejemplo 7.5.1. Sea f(x, y) = x/(x+y
2
), si (x, y) D, siendo D = {(x, y) :
x, y > 0}. Calcular lm
(x,y)(0,0)
f(x, y).
Las rectas que pasan por el origen tienen la ecuacion y = mx y procedemos
a calcular los lmites a traves de tales rectas
lm
(x, y) (0, 0)
y = mx
x
x + y
2
= lm
x0
f(x, mx) =
= lm
x0
x
x
2
+ m
2
x
2
= lm
x0
1
1 + m
2
x
= 1.
Por tanto, en este ejemplo se da la igualdad de todos los lmites a traves
de las rectas y = mx. Pero vamos a probar que, sin embargo, no existe el
lmite doble en el origen. Para ello, necesitamos considerar un nuevo tipo
de lmite unidimensional: el lmite a traves de una curva (se les llama
tambien lmites direccionales). Antes de dar la denicion precisa, vamos a
acabar con nuestro ejemplo. Nos proponemos descubrir hacia que valor se
aproxima f(x, y) cuando (x, y) se acerca a (0, 0), moviendose a lo largo de
la parabola x = y
2
. Bastara calcular el siguiente lmite (lmite de f(x, y) a
227
traves de la parabola
lm
(x, y) (0, 0)
x = y
2
x
x + y
2
= lm
y0
y
2
y
2
+ y
2
=
1
2
.
Esto muestra que nuestra funcion es oscilante en las proximidades de (0, 0):
de hecho, toma el valor constante
1
2
sobre la curva x = y
2
; pero al acercarse
(x, y) al origen por una recta y = mx, f(x, y) se aproxima a 1.
El ejemplo precedente muestra la conveniencia de disponer de otros lmites
direccionales a parte de los lmites a traves de rectas. Vamos a establecer
la denici on precisa de lmite a traves de una curva. Supongamos que una
curva en el plano OXY pasa por el punto (x
0
, y
0
) y tiene por ecuaciones
parametricas

x = x(t)
y = y(t),
228
donde t [a, b]. Sea t
0
[a, b] tal que (x
0
, y
0
) = (x(t
0
), y(t
0
)). El lmite a
traves de la curva se dene por
lm
(x, y) (x
0
, y
0
)
x = x(t), y = y(t)
f(x, y) = lm
tt
0
f(x(t), y(t)).
Es evidente que cuando existe el lmite doble de una funcion,
tambien existen los lmites direccionales y tienen el mismo valor que
el doble. Pero no conviene olvidar que, como muestra el ejemplo
anterior, aunque coincidan todos los lmites a traves de las rectas
que pasan por el punto (x
0
, y
0
), nada puede asegurarse sobre la
existencia del doble. Precisamente, ahora pasamos a indicar que
debe hacerse en estos casos.
II) Si todos los lmites direccionales que hemos intentado calcular tienen
el mismo valor l, no podemos asegurar a un que el lmite doble existe, pero s
podemos estar seguros de que, caso de existir, su valor debe ser l. Por tanto,
debemos proceder a calcular la diferencia |f(x, y)l|, tratando de comprobar
que se hace peque na para (x, y) cercano a (x
0
, y
0
). Vamos a aclarar esto con
un ejemplo.
Ejemplo 7.5.2. Calcular lm
(x,y)(0,0)
xy
3
x
2
+ y
2
. Empezamos calculando los lmi-
tes a traves de las rectas que pasan por el origen
lm
(x, y) (0, 0)
y = mx
xy
3
x
2
+ y
2
= lm
x0
x
3
m
x
2
+ m
2
x
2
= 0.
La igualdad de los lmites a traves de las rectas y = mx nos permite ar-
mar que el posible lmite doble debe valer 0. Para conrmarlo, procedemos a
evaluar la diferencia |f(x, y) l|
|f(x, y) 0| =
|x| y
2
x
2
+ y
2

|x| y
2
y
2
= |x|.
229
Tenemos pues 0 |f(x, y) 0| |x|. La propiedad del sandwich nos asegura
que f(x, y) tiende a 0.
Terminamos este apartado mostrando que el uso de coordenadas polares
puede ayudar en muchos casos a calcular el lmite doble. Empezaremos re-
cordando como se obtienen las coordenadas polares del punto (x, y) = (0, 0):
se denen = +

x
2
+ y
2
y [0, 2] tal que tg =
y
x
(si x = 0, se toma
igual

2
o
3
2
, seg un que sea y > 0 o y < 0). Las coordenadas polares de
(x, y) son (, ) y se verican las siguientes relaciones entre ambos tipos de
coordenadas: x = cos , y = sen . Si al expresar f(x, y) en coordenadas
polares obtenemos
f(x, y) = f( cos , sen ) = F() G(),
siendo G acotada y vericando F que lm
0
F() = 0, entonces podemos
estar seguros de que lm
(x,y)(0,0)
f(x, y) = 0, pues se tiene
0 |f( cos , sen ) 0| c |F()|,
para cualesquiera y (c > 0 es una constante tal que |G()| c).
7.6. Continuidad.
Sean f : D R
2
R y (x
0
, y
0
) D. Diremos que f es continua en
(x
0
, y
0
) si se verica lo siguiente: Para cada > 0, podemos encontrar un
entorno E

(x
0
, y
0
) tal que
si (x, y) D E

(x
0
, y
0
)
entonces |f(x, y) f(x
0
, y
0
)| < .
Por tanto, si (x
0
, y
0
) es un punto de acumulaci on de D, la continuidad de f en
(x
0
, y
0
) equivale a que lm
(x,y)(x
0
,y
0
)
f(x, y) sea precisamente f(x
0
, y
0
). Por ello,
las propiedades de las funciones continuas se deducen de las correspondientes
de los lmites.
230
Hemos visto, al estudiar la continuidad de funciones de una variable, que
toda funci on denida y continua en un intervalo cerrado y acotado alcanza un
m aximo y un mnimo absolutos. En el caso de funciones de varias variables
existe un resultado similar valido para funciones denidas y continuas en un
conjunto cerrado y acotado.
Teorema 7.6.1. (Bolzano-Weierstrass). Si f es una funcion de varias va-
riables denida y continua en un conjunto D cerrado y acotado, entonces f
alcanza un maximo y un mnimo absolutos en D.
PROBLEMAS RESUELTOS
1. Calcular lm
(x,y)(0,0)
x sen xy
x
2
+ y
2
.
Multiplicando y dividiendo por xy, escribimos la funcion en la forma

x
2
y
x
2
+ y
2

sen xy
xy

.
El segundo factor tiene lmite 1, debido a que sen t y t son innitesimos
equivalentes en el origen. Entonces calculamos por separado el lmite del
primer factor y habremos terminado. Empezamos calculando los lmites
direccionales a traves de las rectas que pasan por el origen:
lm
(x, y) (0, 0)
y = mx
x
2
y
x
2
+ y
2
= lm
x0
mx
3
x
2
(1 + m
2
)
=
= lm
x0
mx
1 + m
2
= 0.
Todos los lmites a traves de las rectas y = mx valen 0. Por tanto, de
existir, el lmite doble debe ser 0. Vamos a probar que esto es as haciendo
uso de la propiedad del sanduich
0 |
x
2
y
x
2
+ y
2
0|
|y|x
2
x
2
+ y
2

|y|x
2
x
2
= |y|,
lo que prueba que el lmite doble es 0.
231
2. Calcular lm
(x,y)(0,0)
x
3
x
2
+ y
2
.
Expresamos f(x, y) en polares
f( cos , sen ) =

3
cos
3

2
(cos
2
+ sen
2
)
=
= cos
3
= F() G(),
siendo F() = y G() = cos
3
. Vemos que G esta acotada por 1 y que
lm
0
F() = 0. Por tanto
lm
(x,y)(0,0)
x
3
x
2
+ y
2
= 0.
3. Calcular lm
(x,y)(0,0)
xy
y + x
2
.
En primer lugar, calculamos los lmites direccionales a traves de las rectas
que pasan por el origen
lm
(x, y) (0, 0)
y = mx
xy
y + x
2
= lm
x0
mx
2
mx + x
2
=
= lm
x0
mx
m + x
= 0.
Ahora vamos a buscar curvas de nivel de f(x, y) =
xy
y+x
2
que pasen por el
origen. La ecuaci on de las curvas de nivel es
xy
y + x
2
= c,
donde c es una constante arbitraria. Despejando y en la igualdad anterior,
resulta y =
cx
2
xc
. Notese que se trata de una curva de nivel de f que pasa
por el punto (0, 0). Por tanto, f(x, y) tiene el valor constante c cuando
232
(x, y) recorre la curva y =
cx
2
xc
. Por ello, el lmite direccional a traves de
dicha curva es 0, es decir, se tiene
lm
(x, y) (0, 0)
y =
cx
2
xc
xy
y + x
2
= c.
Se deduce de lo anterior que no puede existir el lmite doble en el origen.
4. Calcular lm
(x,y)(0,0)
xy
4
x
3
+ y
6
.
Calculamos los lmites a traves de las rectas y = mx
lm
(x, y) (0, 0)
y = mx
xy
4
x
3
+ y
6
= lm
x0
m
4
x
5
x
3
+ m
6
y
6
=
= lm
x0
m
4
x
2
1 + m
6
x
3
= 0.
Ahora vamos a ver que el lmite a traves de la curva x = y
2
, el lmite es
igual a 1/2
lm
(x, y) (0, 0)
x = y
2
xy
4
x
3
+ y
6
= lm
y0
y
6
y
6
+ y
6
=
= lm
y0
1
2
=
1
2
.
PROBLEMAS PROPUESTOS
1. Representar gr acamente los subconjuntos de R
2
siguientes:
A = {(x, y) : xy < 1}, B = {(x, y) : xy < 0}, C = {(x, y) : 2x + 3y <
1},
D = {(x, y) : |x| < 1, |y| < 1}, E = {(x, y) : x > 0, y > x
2
, |x| < 2},
F = {(x, y) : x y, x 0, y > 0}.
233
2. Determinar los puntos interiores, de acumulaci on y frontera de cada uno
de los conjuntos del ejercicio anterior.
3. Calcular los lmites dobles en el origen de las siguientes funciones:
f(x, y) =
x
2
y
2
x
2
+y
2
, g(x, y) =
xy
x
2
+y
2
, h(x, y) =
xy

x
2
+y
2
,
k(x, y) =
xy
2
x
2
+y
4
, p(x, y) =
x
2
y
3
x
4
+y
6
, q(x, y) =
x
2
+y
2
x+y
, s(x, y) =
xy
x+y
2
.
Soluciones: (1) los lmites a traves de las rectas y = mx dependen del
valor de m, luego no existe el lmite doble. (2) Igual que el anterior. (3) 0.
(4) No existe el lmite doble ( considerar la curva x = y
2
). (5) No existe
el lmite doble (considerar la curva x
2
= y
3
). (6) No existe, considerar
la curva de nivel q(x, y) = 1. (7) No existe, considerar la curva de nivel
s(x, y) = 1.
4. Determinar las curvas de nivel de la funci on
a)f(x, y) =
x
2
+ y
2
x + y
, b)f(x, y) = xy.
5. Comprobar que las rectas y = mx son curvas de nivel de la funcion
f(x, y) =
xy
x
2
+ y
2
.
Deducir que no existe el lmite doble en el origen de la funci on f.
6. Comprobar que las par abolas x = y
2
son curvas de nivel de la funcion
f(x, y) =
xy
2
x
2
+ y
4
.
Deducir que no existe el lmite doble en el origen de la funci on f.
7. Determinar las curvas de nivel de f(x, y) =
xy
x+y
2
. Deducir que no existe el
lmite doble en el origen.
234
8. Calcular el lmite doble en el origen de
a)f(x, y) =
x
3
x
2
+ y
2
, b)f(x, y) =
sen x
2
y
2
x
2
+ y
2
.
9. Estudiar la continuidad en el origen de las funciones siguientes:
a) f(x, y) =

1 +
xy
2
x
2
+y
2
si (x, y) = (0, 0)
1 si (x, y) = (0, 0)
b) f(x, y) =

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

x
3
x
2
+y
2
sen
1
xy
si x y = 0
0 si x y = 0
.
Soluciones: a) continua, b) discontinua, pues no existe el lmite doble y c)
continua.
10. Representar gr acamente las funciones:
a) f(x, y) = 1 (x
2
+ y
2
), b) f(x, y) =

x
2
+ y
2
, c) f(x, y) = y
2
.
11. Estudiar la continuidad en el origen de las funciones siguientes:
a) f(x, y, z) =
xyz
x
2
+y
2
+z
2
y f(0, 0, 0) = 0.
b) f(x, y, z) =
xy
x
2
+y
2
+z
2
y f(0, 0, 0) = 0.
Soluciones: a) Continua. b) discontinua( el lmite de f(x, y, z) a traves del
plano z = 0, se reduce a calcular el lmite doble de xy/(x
2
+ y
2
) en el
origen y este no existe.
235