You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Capítulo 7<br />
<strong>Funciones</strong> <strong>de</strong> varias <strong>variables</strong>:<br />
límite y continuidad<br />
Con este tema iniciamos el cálculo diferencial en varias <strong>variables</strong>, cuyo ob-<br />
jetivo es el estudio <strong>de</strong> las propieda<strong>de</strong>s <strong>de</strong> variación <strong>de</strong> las funciones reales <strong>de</strong><br />
varias <strong>variables</strong> reales. Aunque con algunas complicaciones técnicas propias<br />
<strong>de</strong>l cálculo <strong>de</strong> varias <strong>variables</strong>, en buena medida se seguirá un camino para-<br />
lelo al seguido en el <strong>de</strong>sarrollo <strong>de</strong>l cálculo <strong>de</strong> una variable. Estudiaremos los<br />
conceptos <strong>de</strong> límite y continuidad <strong>de</strong> funciones y seguidamente abordaremos<br />
los conceptos <strong>de</strong> <strong>de</strong>rivada parcial y diferencial. Para facilitar el aprendizaje,<br />
<strong>de</strong>sarrollaremos el tema para el caso <strong>de</strong> funciones <strong>de</strong> <strong>dos</strong> <strong>variables</strong> reales,<br />
aunque todas las nociones que consi<strong>de</strong>raremos son válidas para funciones <strong>de</strong><br />
cualquier número <strong>de</strong> <strong>variables</strong>. Por ello, cuando sea conveniente, al final <strong>de</strong><br />
cada tema mencionaremos brevemente el caso <strong>de</strong> funciones <strong>de</strong> tres <strong>variables</strong><br />
consi<strong>de</strong>rando algún ejemplo a<strong>de</strong>cuado.<br />
7.1. El plano R 2 .<br />
Del mismo modo que iniciamos el estudio <strong>de</strong> las funciones <strong>de</strong> una va-<br />
riable consi<strong>de</strong>rando el cuerpo R <strong>de</strong> los números reales, al enfrentarnos con<br />
las funciones <strong>de</strong> <strong>dos</strong> <strong>variables</strong> <strong>de</strong>bemos ocuparnos <strong>de</strong>l conjunto R 2 , don<strong>de</strong> se<br />
208
‘moverá’ el par <strong>de</strong> <strong>variables</strong> (x, y).<br />
Recor<strong>de</strong>mos que R 2 <strong>de</strong>nota el conjunto <strong>de</strong> to<strong>dos</strong> los pares or<strong>de</strong>na<strong>dos</strong> <strong>de</strong><br />
números reales: R 2 = {(x, y) : x, y ∈ R}. x e y reciben el nombre <strong>de</strong> compo-<br />
nentes <strong>de</strong>l par (x, y). Con los elementos <strong>de</strong> R 2 pue<strong>de</strong>n realizarse <strong>dos</strong> opera-<br />
ciones naturales:<br />
- Suma: (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2).<br />
- Producto por un número real: α · (x, y) = (α · x, α · y).<br />
La suma es una operación interna y el producto por un número real,<br />
externa. Con estas <strong>dos</strong> operaciones R 2 es un espacio vectorial sobre el cuerpo<br />
<strong>de</strong> los números reales. Es fácil comprobar que su dimensión es 2, pues se<br />
verifica (x, y) = x·e1+y·e2, para cualquier par (x, y) ∈ R 2 , siendo e1 = (1, 0)<br />
y e2 = (0, 1). Por tanto, {e1, e2} es una base <strong>de</strong> R 2 , que recibe el nombre<br />
<strong>de</strong> base canónica. En esta base, las coor<strong>de</strong>nadas <strong>de</strong> (x, y) son sus propias<br />
componentes x e y.<br />
Los elementos <strong>de</strong> R 2 pue<strong>de</strong>n representarse como puntos <strong>de</strong> un plano. Para<br />
ello, <strong>de</strong>bemos escoger un sistema cartesiano <strong>de</strong> coor<strong>de</strong>nadas en el plano en<br />
cuestión. Si P es el punto <strong>de</strong>l plano que tiene por coor<strong>de</strong>nadas en dicho<br />
sistema x e y, le haremos correspon<strong>de</strong>r el par (x, y) ∈ R 2 . Se dirá que P es<br />
la representación gráfica <strong>de</strong>l par (x, y). Esta correspon<strong>de</strong>ncia entre R 2 y los<br />
puntos <strong>de</strong>l plano es biunívoca.<br />
Ejemplos 7.1.1. a) Representar gráficamente en el plano el conjunto A =<br />
{(x, y) : y ≥ x 2 , x ≥ 0, y ≥ 0}.<br />
Se trata <strong>de</strong> un conjunto contenido en el primer cuadrante y que queda<br />
‘por encima <strong>de</strong> la parábola’ y = x 2 . Un punto <strong>de</strong> coor<strong>de</strong>nadas (x, y) tal que<br />
y = x 2 pertenece a la parábola y = x 2 . Si trazamos por este punto una recta<br />
perpendicular al eje OX, los puntos <strong>de</strong> esta recta que están por encima <strong>de</strong><br />
la parábola tienen por coor<strong>de</strong>nadas (x, y) con y > x 2 , mientras que los que<br />
están por <strong>de</strong>bajo son <strong>de</strong> la forma (x, y) con y < x 2 .<br />
209
O<br />
Y<br />
y = x 2<br />
b) I<strong>de</strong>m con el conjunto A = {(x, y) : 0 ≤ x · y ≤ 1}.<br />
El producto x · y es no negativo; por tanto, x e y tienen el mismo signo.<br />
Entonces el conjunto consta <strong>de</strong> <strong>dos</strong> partes, una en el primer cuadrante y la<br />
otra en el tercero. En el caso <strong>de</strong>l primer cuadrante y ≤ 1.<br />
Por tanto, se trata<br />
x<br />
<strong>de</strong> la región que queda por <strong>de</strong>bajo <strong>de</strong> la curva y = 1<br />
x<br />
se trata <strong>de</strong> la región que queda por encima <strong>de</strong> dicha curva<br />
Y<br />
O<br />
A<br />
210<br />
A<br />
y = 1/x<br />
X<br />
. En el tercer cuadrante<br />
X
c) A = [a, b] × [c, d] se representa en el plano como un rectángulo paralelo<br />
a los ejes. En efecto, (x, y) ∈ A si y sólo si a ≤ x ≤ b y c ≤ y ≤ d.<br />
d<br />
c<br />
Y<br />
A<br />
O a b<br />
Da<strong>dos</strong> <strong>dos</strong> puntos <strong>de</strong> R 2 , a = (x1, y1) y b = (x2, y2), se <strong>de</strong>fine su dis-<br />
tancia por d(a, b) = + (x1 − x2) 2 + (y1 − y2) 2 . Nótese que se trata <strong>de</strong> la<br />
distancia entre los correspondientes puntos <strong>de</strong>l plano P1(x1, y1) y P2(x2, y2).<br />
La distancia tiene las propieda<strong>de</strong>s siguientes:<br />
D1) d(a, b) = 0 si y sólo si a = b.<br />
D2) d(a, b) = d(b, a).<br />
D3) d(a, b) ≤ d(a, c) + d(c, b), cualesquiera que sean a, b y c en R 2 .<br />
Esta propiedad recibe el nombre <strong>de</strong> <strong>de</strong>sigualdad triangular, pues ex-<br />
presa la conocida propiedad <strong>de</strong> los la<strong>dos</strong> <strong>de</strong> un triángulo que afirma: En un<br />
triángulo la longitud <strong>de</strong> cualquier lado es menor o igual que la suma <strong>de</strong> las<br />
longitu<strong>de</strong>s <strong>de</strong> los otros <strong>dos</strong>. Necesitaremos también el concepto <strong>de</strong> producto<br />
escalar (o interior.<br />
211<br />
X
O<br />
Y<br />
b<br />
a<br />
Si a = (a1, a2) y b = (b1, b2), se <strong>de</strong>fine a · b = a1b1 + a2b2. Propieda<strong>de</strong>s<br />
obvias son las siguientes:<br />
(1) a · (b + c) = a · b + a · c.<br />
(2) λ(a · b) = (λa) · b = a · (λb).<br />
(3) a · a = a 2 1 + a 2 2.<br />
a 2 1 + a 2 2 es el módulo <strong>de</strong>l vector <br />
OP , si P es el punto <strong>de</strong>l plano <strong>de</strong><br />
coor<strong>de</strong>nadas (a1, a2), y se suele <strong>de</strong>notar por a (norma <strong>de</strong> a). Con esta<br />
notación, (3) adopta la forma<br />
(3’) a · a = a 2 .<br />
Nótese que d(a, b) = a − b.<br />
Para abordar el concepto <strong>de</strong> límite <strong>de</strong> una función, necesitamos introducir<br />
un mínimo <strong>de</strong> nociones topológicas que nos ayudarán a expresar <strong>de</strong> forma más<br />
simple y precisa las <strong>de</strong>finiciones y resulta<strong>dos</strong> que encontraremos en nuestro<br />
estudio <strong>de</strong>l cálculo diferencial en varias <strong>variables</strong> (topología, <strong>de</strong>l griego topos<br />
y logia, es la parte <strong>de</strong> las matemáticas que se ocupa <strong>de</strong>l espacio).<br />
Definición 7.1.2. Si (x0, y0) ∈ R 2 y r > 0, se llama entorno cerrado <strong>de</strong><br />
centro (x0, y0) y radio r al conjunto formado por to<strong>dos</strong> los pares (x, y) ∈ R 2<br />
212<br />
c<br />
X
tales que su distancia a (x0, y0) es menor o igual que r, y se <strong>de</strong>nota por<br />
Er(x0, y0). Es <strong>de</strong>cir, se trata <strong>de</strong>l conjunto<br />
{(x, y) ∈ R 2 : (x − x0) 2 + (y − y0) 2 ≤ r}.<br />
Por tanto, Er(x0, y0) representa gráficamente el círculo <strong>de</strong> radio r y centro<br />
(x0, y0). Se llama entorno abierto al conjunto<br />
{(x, y) ∈ R 2 : (x − x0) 2 + (y − y0) 2 < r}<br />
y se <strong>de</strong>nota por Er(x0, y0). En este caso no forman parte <strong>de</strong>l entorno los pun-<br />
tos <strong>de</strong> la circunferencia <strong>de</strong> centro (x0, y0) y radio r. En el cálculo <strong>de</strong> límites,<br />
se usará a menudo el entorno perforado E ∗ r (x0, y0) que se diferencia <strong>de</strong>l<br />
anterior en el hecho <strong>de</strong> que no incluye el centro (x0, y0).<br />
Definición 7.1.3. Sean D un subconjunto <strong>de</strong> R 2 y (x0, y0) ∈ R 2 . Diremos<br />
que (x0, y0) es un punto <strong>de</strong> acumulación <strong>de</strong> D si D ∩ E ∗ r (x0, y0) = ∅,<br />
para cada r > 0; es <strong>de</strong>cir, en todo entorno <strong>de</strong> (x0, y0) (por pequeño que sea<br />
su radio) existen puntos <strong>de</strong> D diferentes <strong>de</strong> (x0, y0). Sólo para estos puntos<br />
tiene sentido calcular el límite <strong>de</strong> una función cuyo dominio sea D.<br />
Definición 7.1.4. Sean D un subconjunto <strong>de</strong> R 2 y (x0, y0) ∈ R 2 . Diremos<br />
que (x0, y0) es un punto interior <strong>de</strong> D si este conjunto contiene íntegramen-<br />
te un entorno <strong>de</strong> (x0, y0). Si to<strong>dos</strong> los puntos <strong>de</strong> D son interiores, diremos<br />
que D es un conjunto abierto <strong>de</strong> R 2 .<br />
Definición 7.1.5. Un conjunto D se llama cerrado si contiene to<strong>dos</strong> sus<br />
puntos <strong>de</strong> acumulación. Es fácil <strong>de</strong>mostrar que los conjuntos cerra<strong>dos</strong> son<br />
precisamente los conjuntos cuyo complemento en R 2 es un conjunto abierto.<br />
Efectivamente, si el complemento <strong>de</strong> D es abierto, entonces un punto (x0, y0)<br />
que no pertenezca a D no pue<strong>de</strong> ser <strong>de</strong> acumulación para D, <strong>de</strong>bido a que es<br />
213
interior a D c y, por ello, existe un entorno <strong>de</strong> (x0, y0) contenido en D c . Tal<br />
entorno tiene intersección vacía con D. Conviene <strong>de</strong>stacar que un conjunto<br />
que no es abierto también pue<strong>de</strong> ser no cerrado.<br />
Definición 7.1.6. Sean D un subconjunto <strong>de</strong> R 2 y (x0, y0) ∈ R 2 . Diremos<br />
que (x0, y0) es un punto frontera <strong>de</strong> D si en todo entorno <strong>de</strong> (x0, y0) existen<br />
puntos <strong>de</strong> D y puntos que no pertenecen a D. El conjunto formado por to<strong>dos</strong><br />
los puntos frontera <strong>de</strong> D recibe el nombre <strong>de</strong> frontera <strong>de</strong> D.<br />
Ejemplos 7.1.7. a) Encontrar los puntos <strong>de</strong> acumulación, puntos frontera<br />
y los puntos interiores <strong>de</strong>l conjunto D = {(x, y) ∈ R 2 : x > 0, y > 0}.<br />
- Todo par (x0, y0) con x0 ≥ 0 e y0 ≥ 0 es un punto <strong>de</strong> acumulación <strong>de</strong> D<br />
(nótese que todo entorno <strong>de</strong> centro en tal punto tiene en común con D como<br />
mínimo un cuadrante).<br />
- D es abierto, pues to<strong>dos</strong> sus puntos son interiores. En efecto, si (x0, y0) ∈<br />
D, entonces x0 > 0 e y0 > 0. Si tomamos r = min{x0, y0}, se verifica clara-<br />
mente Er(x0, y0) ⊂ D.<br />
- El conjunto frontera es el formado por los semiejes positivos.<br />
b) D = {(x, y) ∈ R 2 : x ≥ 0, 0 ≤ y < x 2 }.<br />
Este conjunto no es abierto porque no to<strong>dos</strong> sus puntos son interiores. Por<br />
ejemplo, los puntos <strong>de</strong> la forma (x, 0) con x ≥ 0. Tampoco es cerrado ya que<br />
no contiene a to<strong>dos</strong> sus puntos <strong>de</strong> acumulación. En efecto, los puntos <strong>de</strong> la<br />
forma (x, x 2 ) con x ≥ 0(pertenecen a la parábola y = x 2 ) son claramente <strong>de</strong><br />
acumulación y no pertenecen a D. El conjunto frontera consta <strong>de</strong> los puntos<br />
<strong>de</strong>l eje OX positivo y <strong>de</strong> los puntos <strong>de</strong> la parábola <strong>de</strong> la forma (x, x 2 ) con<br />
x ≥ 0.<br />
214
O<br />
Y<br />
y = x 2<br />
Terminamos este apartado con la <strong>de</strong>finición <strong>de</strong> conjunto acotado. Di-<br />
remos que D es acotado si las distancias entre <strong>dos</strong> puntos cualesquiera <strong>de</strong><br />
D permanecen acotadas. Es <strong>de</strong>cir, existe una constante positiva c tal que<br />
d(a, b) ≤ c, para to<strong>dos</strong> a y b pertenecientes a D. Todo conjunto acotado<br />
está contenido en un entorno <strong>de</strong> uno <strong>de</strong> sus puntos (basta tomar el radio<br />
igual a c).<br />
7.2. <strong>Funciones</strong> <strong>de</strong> <strong>dos</strong> <strong>variables</strong>.<br />
En las ciencias experimentales, cuando se estudia un <strong>de</strong>terminado fenó-<br />
meno, se da a menudo el caso <strong>de</strong> que éste que<strong>de</strong> completamente <strong>de</strong>scrito me-<br />
diante una ley que establece una relación funcional entre varias magnitu<strong>de</strong>s<br />
fundamentales. Así, por ejemplo, la ley que establece para los gases perfectos<br />
que, si P , V y T son la presión, el volumen y la temperatura absoluta <strong>de</strong> 1<br />
mol <strong>de</strong> un tal gas, se verifica la relación<br />
P V = RT,<br />
215<br />
D<br />
X
don<strong>de</strong> R es cierta constante (recibe el nombre <strong>de</strong> ecuación <strong>de</strong> estado). Si<br />
<strong>de</strong>spejamos P en la igualdad anterior, resulta P = RT/V . La expresión<br />
anterior nos dice que la presión P es función <strong>de</strong> T y V y, por tanto, queda<br />
completamente <strong>de</strong>terminada cuando conocemos T y V .<br />
Si mediante algún procedimiento hacemos que V y T sean cada vez más<br />
próximos a cero, ¿hacia qué valor se acerca la presión P ?, ¿cómo po<strong>de</strong>mos<br />
<strong>de</strong>terminar un valor aproximado <strong>de</strong>l incremento <strong>de</strong> la presión en función <strong>de</strong><br />
los incrementos (pequeños) ∆V y ∆T ? Entre otras cuestiones, en este tema<br />
veremos cómo es la respuesta a estas preguntas.<br />
Una función <strong>de</strong> <strong>dos</strong> <strong>variables</strong> f es una regla o ley que asocia a cada<br />
par (x, y), perteneciente a cierto conjunto D ⊂ R 2 , un único número real<br />
f(x, y). D recibe el nombre <strong>de</strong> dominio <strong>de</strong> la función y x e y son las <strong>variables</strong><br />
in<strong>de</strong>pendientes. Es usual usar z para <strong>de</strong>signar a la imagen f(x, y) y se dirá<br />
que z es la variable <strong>de</strong>pendiente. Una función queda <strong>de</strong>terminada cuando<br />
damos la ecuación z = f(x, y) y el dominio D don<strong>de</strong> se mueve el par (x, y).<br />
A veces, sólo se da la ecuación z = f(x, y), en cuyo caso se entien<strong>de</strong> que<br />
el dominio es todo el campo <strong>de</strong> existencia, es <strong>de</strong>cir, el conjunto formado por<br />
to<strong>dos</strong> los pares (x, y) para los que la ecuación en cuestión permite obtener la<br />
correspondiente imagen.<br />
Ejemplos 7.2.1. a) f(x, y) = log(x 2 + y 2 ) es una función cuyo dominio es<br />
todo R 2 menos el origen (0, 0).<br />
b) f(x, y) = √ x · y tiene por dominio la parte <strong>de</strong>l plano que consta <strong>de</strong> los<br />
cuadrantes primero y tercero, pues sólo tienen imagen los puntos (x, y) con<br />
coor<strong>de</strong>nadas <strong>de</strong> igual signo: D = {(x, y) ∈ R 2 : x ≥ 0, y ≥ 0} ∪ {(x, y) ∈ R 2 :<br />
x ≤ 0, y ≤ 0}.<br />
Las funciones <strong>de</strong> <strong>dos</strong> <strong>variables</strong> pue<strong>de</strong>n representarse gráficamente en el<br />
espacio <strong>de</strong> la siguiente forma: Dada f : D ⊂ R 2 → R, escogemos un sistema<br />
<strong>de</strong> coor<strong>de</strong>nadas cartesianas OXYZ en el espacio y en el plano OXY represen-<br />
tamos el dominio D. Para cada (x, y) ∈ D, dibujamos en el espacio el punto<br />
<strong>de</strong> coor<strong>de</strong>nadas (x, y, f(x, y)). El conjunto formado por to<strong>dos</strong> los puntos <strong>de</strong><br />
216
la forma (x, y, f(x, y)), con (x, y) ∈ D, es una superficie. Se dirá que es la<br />
representación gráfica <strong>de</strong> la función f o que la superficie tiene por ecuación<br />
z = f(x, y).<br />
Ejemplos 7.2.2. a) f(x, y) = ax + by tiene por representación gráfica un<br />
plano.<br />
b) f(x, y) = x 2 + y 2 tiene por representación gráfica un paraboloi<strong>de</strong> <strong>de</strong><br />
revolución con vértice el punto (0, 0, 0).<br />
c) f(x, y) = x 2 tiene por gráfica otro tipo <strong>de</strong> paraboloi<strong>de</strong> (cilíndrico).<br />
En muchos casos, pue<strong>de</strong> ayudar a la visualización <strong>de</strong> una función <strong>de</strong> <strong>dos</strong><br />
<strong>variables</strong> el conocer la forma que tienen las curvas <strong>de</strong> nivel. Dada f : D ⊂<br />
R 2 → R, la curva <strong>de</strong> nivel que pasa por (x0, y0) ∈ D es el conjunto <strong>de</strong><br />
puntos (x, y) ∈ D tales que f(x, y) = f(x0, y0). Se trata, pues, <strong>de</strong> una curva<br />
que pasa por el punto (x0, y0) y que se caracteriza porque f tiene un valor<br />
constante a lo largo <strong>de</strong> ella. La familia <strong>de</strong> todas las curvas <strong>de</strong> nivel tiene por<br />
ecuación f(x, y) = c, don<strong>de</strong> c es una constante arbitraria. La curva <strong>de</strong> nivel<br />
f(x, y) = c es la proyección sobre el plano OXY <strong>de</strong> la curva C que <strong>de</strong>termina<br />
el plano z = c al cortar a la superficie <strong>de</strong> ecuación z = f(x, y). En la figura<br />
siguiente pue<strong>de</strong> verse como cada punto (x, y, c) <strong>de</strong> esta curva (en rojo) se<br />
proyecta en el punto (x, y, 0) <strong>de</strong> la curva <strong>de</strong> nivel f(x, y) = c (en negro). Es<br />
<strong>de</strong>cir, las coor<strong>de</strong>nadas <strong>de</strong> ambos puntos sólo se diferencian en la coor<strong>de</strong>nada<br />
z que es igual a 0 en la curva <strong>de</strong> nivel e igual a c en la curva intersección C.<br />
217
−1<br />
−0.5<br />
0<br />
0.5<br />
Eje OY<br />
1<br />
1.5<br />
Eje OZ<br />
2<br />
2<br />
1.5<br />
z=c<br />
1<br />
C<br />
curva <strong>de</strong> nivel f(x,y)=c<br />
0.5<br />
0<br />
Eje OX<br />
−0.5<br />
−1<br />
−2<br />
−1.5<br />
Estas i<strong>de</strong>as nos pue<strong>de</strong>n ayudar a la hora <strong>de</strong> representar gráficamente una<br />
función.<br />
Ejemplos 7.2.3. a) z = x 2 + y 2 . Al cortar la superficie con los planos <strong>de</strong> la<br />
forma z = c (c ≥ 0) resulta una curva plana C cuyas ecuaciones son<br />
z = c<br />
x 2 + y 2 = c<br />
(7.1)<br />
La curva <strong>de</strong> nivel x 2 + y 2 = c no es otra cosa que la circunferencia <strong>de</strong> centro<br />
el origen y radio √ c en el plano OXY. La curva C tiene la forma <strong>de</strong> esta<br />
misma circunferencia, pero colocada en el plano z = 0. Cuando c = 0 el corte<br />
se reduce a un punto: (0, 0, 0). En los <strong>de</strong>más casos, se trata <strong>de</strong> circunferencias<br />
cuyos radios √ c aumentan con c (ver la figura siguiente).<br />
218
Intuimos que la superficie pue<strong>de</strong> ser un paraboloi<strong>de</strong> o un cono <strong>de</strong> vértice el<br />
origen. Finalmente, po<strong>de</strong>mos cortar la superficie con el plano y = 0 y resulta<br />
una curva en el plano OXZ que tiene por ecuación z = x 2 . Esto nos confirma<br />
que se trata <strong>de</strong> un paraboloi<strong>de</strong>.<br />
6<br />
5<br />
4<br />
3<br />
2<br />
1<br />
0<br />
−2<br />
−1<br />
0<br />
Eje OX<br />
1<br />
2<br />
Eje OZ<br />
2<br />
219<br />
1<br />
Eje OY<br />
0<br />
−1<br />
−2
) f(x, y) = x 2 + y 2 .<br />
Las curvas <strong>de</strong> nivel son las circunferencias con centro el origen x 2 + y 2 =<br />
c 2 . Como en el ejemplo anterior, al cortar la superficie con un plano <strong>de</strong><br />
la forma z = c (c > 0) se obtiene una circunferencia con centro en el eje<br />
OZ y radio c cuya proyección sobre el plano z = 0 es la curva <strong>de</strong> nivel<br />
x 2 + y 2 = c 2 . Al aumentar c, el plano z = c cada vez se aleja más <strong>de</strong><br />
z = 0 y la circunferencia interceptada tiene mayor radio, como en el ejemplo<br />
anterior.<br />
La diferencia ahora radica en que al cortar la superficie con el plano y = 0,<br />
resulta z = |x| que es la ecuación <strong>de</strong> un par <strong>de</strong> rectas en el plano OXZ. Por<br />
tanto, la superficie es un cono <strong>de</strong> revolución con vértice (0, 0, 0) y eje OZ.<br />
5<br />
4<br />
3<br />
2<br />
1<br />
0<br />
−4<br />
−2<br />
0<br />
Eje OX<br />
2<br />
Eje OZ<br />
Gráfica <strong>de</strong> z = x 2<br />
220<br />
4<br />
4<br />
Eje OY<br />
0<br />
2<br />
−2<br />
−4
5<br />
4<br />
3<br />
2<br />
1<br />
0<br />
−2<br />
−1<br />
0<br />
Eje OX<br />
1<br />
Eje OZ<br />
2<br />
c) Si T (x, y) representa la temperatura en cada punto (x, y) <strong>de</strong> cierta<br />
región D <strong>de</strong>l plano, entonces las curvas <strong>de</strong> nivel T (x, y) = c son las isotermas<br />
(curvas <strong>de</strong> temperatura constante).<br />
Para una función <strong>de</strong> más <strong>de</strong> <strong>dos</strong> <strong>variables</strong> no es posible una representación<br />
gráfica, pero pue<strong>de</strong> ser muy útil conocer qué forma tienen las superficies <strong>de</strong><br />
nivel. Si f : D ⊂ R 3 → R es una función <strong>de</strong> tres <strong>variables</strong>, se llaman<br />
3<br />
2<br />
Eje OY<br />
superficies <strong>de</strong> nivel a las que tienen por ecuación f(x, y, z) = c.<br />
Ejemplos 7.2.4. a) Si V (x, y, z) es el potencial eléctrico creado en el espacio<br />
por una <strong>de</strong>terminada distribución <strong>de</strong> cargas eléctricas, las superficies <strong>de</strong> nivel<br />
son las superficies equipotenciales.<br />
b) Si f(x, y, z) = x 2 + y 2 + z 2 , las superficies <strong>de</strong> nivel son superficies<br />
esféricas <strong>de</strong> centro el origen.<br />
221<br />
0<br />
−2
7.3. Superficies<br />
Algunas superficies, que nos encontraremos en las aplicaciones, no se ob-<br />
tienen como representación gráfica <strong>de</strong> una función <strong>de</strong> <strong>dos</strong> <strong>variables</strong>; es <strong>de</strong>cir,<br />
no respon<strong>de</strong>n a una ecuación <strong>de</strong> la forma z = f(x, y). Basta pensar en una<br />
superficie cilíndrica <strong>de</strong> eje OZ y radio R. Nótese que, si (x0, y0) es un punto<br />
<strong>de</strong> la circunferencia x 2 + y 2 = R 2 , los puntos <strong>de</strong> coor<strong>de</strong>nadas (x0, y0, z) (al<br />
variar z) <strong>de</strong>scriben la generatriz que pasa por (x0, y0, 0). Por tanto, to<strong>dos</strong><br />
pertenecen a la superficie. Por ello, es imposible que una ecuación <strong>de</strong> la for-<br />
ma z = f(x, y) pueda <strong>de</strong>scribir la superficie en cuestión (fijado (x0, y0), sólo<br />
el punto (x0, y0, f(x0, y0)) pertenece a la superficie <strong>de</strong> ecuación z = f(x, y)).<br />
Superficies como la anterior se <strong>de</strong>scriben matemáticamente mediante ecua-<br />
ciones <strong>de</strong> la forma f(x, y, z) = 0. Más precisamente, adoptaremos la siguiente<br />
<strong>de</strong>finición. El lugar geométrico <strong>de</strong> los puntos <strong>de</strong>l espacio que verifican la ecua-<br />
ción<br />
f(x, y, z) = 0<br />
es ( en general) una superficie S, pues se trata <strong>de</strong> un conjunto <strong>de</strong> puntos<br />
con <strong>dos</strong> gra<strong>dos</strong> <strong>de</strong> libertad. En efecto, pue<strong>de</strong>n escogerse los valores <strong>de</strong> x e y<br />
libremente y el valor <strong>de</strong> z queda <strong>de</strong>terminado por la ecuación. Ésta recibe el<br />
nombre <strong>de</strong> ecuación implícita <strong>de</strong> la superficie.<br />
Terminamos el apartado <strong>de</strong>duciendo <strong>de</strong> forma razonada la ecuación <strong>de</strong><br />
una superficie cilíndrica. Denotemos por S la superficie cilíndrica <strong>de</strong> eje OZ<br />
y radio R. Vamos a probar que su ecuación en forma implícita es x 2 +y 2 = R 2 .<br />
222
−1<br />
−0.5<br />
0<br />
Eje OX<br />
0.5<br />
Eje OZ<br />
1<br />
Con la ayuda <strong>de</strong> la figura, vemos que, si (x0, y0, z0) es un punto cualquiera<br />
<strong>de</strong> la superficie S, su proyección sobre el plano z = 0 es el punto (x0, y0, 0), que<br />
pertenece a la circunferencia C <strong>de</strong> centro el origen, radio R y contenida en el<br />
plano OXY. Esta circunferencia tiene por ecuación x 2 + y 2 = R 2 (en el plano<br />
OXY). Por tanto, <strong>de</strong>be ser también x 2 0 + y 2 0 = R 2 . Es <strong>de</strong>cir, hemos probado<br />
que, si (x0, y0, z0) es cualquier punto <strong>de</strong> S, entonces necesariamente se verifica<br />
x 2 0 + y 2 0 = R 2 . Para po<strong>de</strong>r asegurar que la ecuación <strong>de</strong> S es x 2 + y 2 = R 2 ,<br />
<strong>de</strong>bemos probar también que, si el punto (x0, y0, z0) es tal que x 2 0 + y 2 0 = R 2 ,<br />
entonces dicho punto pertenece a S. Esto es obvio pues (x0, y0, 0) pertenece<br />
a C y (x0, y0, z0) pertenece a la generatriz que pasa por (x0, y0, 0).<br />
Ejemplos 7.3.1. a) x 2 + z 2 = R 2 es la ecuación <strong>de</strong> la superficie cilíndrica<br />
<strong>de</strong> radio R y eje OY.<br />
223<br />
1.5<br />
(x0,y0,0)<br />
2<br />
2.5<br />
2.5<br />
2<br />
1.5<br />
1<br />
Eje OY<br />
0<br />
0.5<br />
−0.5<br />
−1<br />
−1.5
Eje OZ<br />
2<br />
1<br />
0<br />
−1<br />
−2<br />
4<br />
2<br />
Eje OY<br />
0<br />
−2<br />
−2<br />
b) z 2 = x 2 + y 2 es la ecuación implícita <strong>de</strong> la superficie cónica siguiente<br />
−4<br />
−4<br />
7.4. Límite doble.<br />
6<br />
4<br />
2<br />
0<br />
−2<br />
−2<br />
0<br />
Eje OX<br />
2<br />
4<br />
4<br />
Eje OZ<br />
Sean f : D ⊂ R 2 → R y (x0, y0) un punto <strong>de</strong> acumulación <strong>de</strong> D. Cuando<br />
escribimos<br />
−1<br />
2<br />
0<br />
Ejee OX<br />
Eje OY<br />
lím f(x, y) = l<br />
(x,y)→(x0,y0)<br />
224<br />
0<br />
1<br />
−2<br />
2<br />
−4
queremos significar que f(x, y) se aproxima más y más al número l, a medida<br />
que (x, y) se acerca a (x0, y0), movién<strong>dos</strong>e libremente en su dominio D (sin<br />
llegar a ser (x0, y0)). Y si queremos que f(x, y) se diferencie <strong>de</strong> l en menos <strong>de</strong><br />
una cantidad pequeña (ɛ > 0), bastará con que (x, y) se tome en un entorno<br />
perforado <strong>de</strong> (x0, y0) con radio (δ > 0) suficientemente pequeño. Estas i<strong>de</strong>as<br />
quedan recogidas <strong>de</strong> una forma simple y precisa en la siguiente <strong>de</strong>finición.<br />
Definición 7.4.1. Diremos que<br />
lím f(x, y)<br />
(x,y)→(x0,y0)<br />
existe y es igual a l si se verifica lo siguiente: Para cada ɛ > 0, pue<strong>de</strong> encon-<br />
trarse un entorno E ∗ δ (x0, y0) tal que<br />
Ejemplo 7.4.2. Comprobar que<br />
(x, y) ∈ D ∩ E ∗ δ (x0, y0) ⇒ |f(x, y) − l| < ɛ.<br />
lím<br />
(x,y)→(3,2) 1 + (x − 3)2 + (y − 2) 2<br />
1 + x2 |f(x, y) − 1| = (x − 3)2 + (y − 2) 2<br />
1 + x 2<br />
≤ (x − 3) 2 + (y − 2) 2 .<br />
= 1.<br />
Luego, si queremos que |f(x, y) − l| < ɛ, bastará escoger (x, y) ∈ E ∗ δ (x0, y0),<br />
siendo δ = √ ɛ.<br />
Las propieda<strong>de</strong>s <strong>de</strong>l límite son formalmente las mismas, in<strong>de</strong>pendiente-<br />
mente <strong>de</strong>l número <strong>de</strong> <strong>variables</strong>, por lo que no parece necesario volver a men-<br />
cionarlas todas. A título <strong>de</strong> ejemplo, vamos a precisar algunas <strong>de</strong> ellas.<br />
- Si el límite doble <strong>de</strong> una función, cuando (x, y) → (x0, y0), es distinto <strong>de</strong><br />
0, entonces existe un entorno perforado E ∗ r (x0, y0) tal que el signo <strong>de</strong> f(x, y)<br />
es igual al <strong>de</strong> su límite l, para cada (x, y) ∈ D ∩ E ∗ r (x0, y0).<br />
225<br />
≤
- El límite <strong>de</strong> una suma, un producto o un cociente <strong>de</strong> <strong>dos</strong> funciones es<br />
igual a la suma, producto o cociente <strong>de</strong> los límites <strong>de</strong> cada una (si el límite<br />
<strong>de</strong>l <strong>de</strong>nominador no es 0, en el caso <strong>de</strong>l cociente).<br />
7.5. Límites direccionales.<br />
El cálculo <strong>de</strong> límites <strong>de</strong> funciones <strong>de</strong> varias <strong>variables</strong> sí presenta algunas<br />
diferencias importantes <strong>de</strong> las que nos vamos a ocupar a continuación.<br />
En el cálculo <strong>de</strong> un límite doble se proce<strong>de</strong>rá <strong>de</strong> la forma siguiente:<br />
I) Cálculo <strong>de</strong> los límites a través <strong>de</strong> las rectas que pasan por (x0, y0). Se<br />
trata <strong>de</strong> <strong>de</strong>scubrir el valor hacia el que se aproxima f(x, y) cuando (x, y) se<br />
acerca a (x0, y0), movién<strong>dos</strong>e a lo largo <strong>de</strong> la recta y = y0 + m(x − x0).<br />
Y<br />
y<br />
O<br />
0<br />
x<br />
0<br />
y=y +m(x-x )<br />
0 0<br />
X<br />
La <strong>de</strong>finición precisa y la notación habitual es la siguiente<br />
lím<br />
(x, y) → (x0, y0)<br />
y = y0 + m(x − x0)<br />
f(x, y) =<br />
= lím f(x, y0 + m(x − x0)).<br />
x→x0<br />
226
Una vez calcula<strong>dos</strong> estos límites, pue<strong>de</strong>n darse <strong>dos</strong> posibilida<strong>de</strong>s:<br />
a) No to<strong>dos</strong> los límites a través <strong>de</strong> las rectas y = y0 + m(x − x0) tienen el<br />
mismo valor. En este caso, concluimos que no pue<strong>de</strong> existir el límite doble,<br />
ya que f(x, y) es oscilante en las cercanías <strong>de</strong> (x0, y0).<br />
b) To<strong>dos</strong> los límites a través <strong>de</strong> las rectas mencionadas tienen el mismo<br />
valor l. En este caso concluimos que el límite doble, <strong>de</strong> existir, <strong>de</strong>be valer<br />
también l. Sin embargo, no po<strong>de</strong>mos asegurar, con este único dato, que el<br />
límite doble exista realmente. Vamos a ver un ejemplo que muestra esto<br />
claramente:<br />
Ejemplo 7.5.1. Sea f(x, y) = x/(x + y 2 ), si (x, y) ∈ D, siendo D = {(x, y) :<br />
x, y > 0}. Calcular lím f(x, y).<br />
(x,y)→(0,0)<br />
Las rectas que pasan por el origen tienen la ecuación y = mx y proce<strong>de</strong>mos<br />
a calcular los límites a través <strong>de</strong> tales rectas<br />
lím<br />
(x, y) → (0, 0)<br />
y = mx<br />
x<br />
= lím f(x, mx) =<br />
x + y2 x→0<br />
x<br />
= lím<br />
x→0 x2 + m2 1<br />
= lím<br />
x2 x→0 1 + m2 = 1.<br />
x<br />
Por tanto, en este ejemplo se da la igualdad <strong>de</strong> to<strong>dos</strong> los límites a través<br />
<strong>de</strong> las rectas y = mx. Pero vamos a probar que, sin embargo, no existe el<br />
límite doble en el origen. Para ello, necesitamos consi<strong>de</strong>rar un nuevo tipo<br />
<strong>de</strong> límite unidimensional: el límite a través <strong>de</strong> una curva (se les llama<br />
también límites direccionales). Antes <strong>de</strong> dar la <strong>de</strong>finición precisa, vamos a<br />
acabar con nuestro ejemplo. Nos proponemos <strong>de</strong>scubrir hacia qué valor se<br />
aproxima f(x, y) cuando (x, y) se acerca a (0, 0), movién<strong>dos</strong>e a lo largo <strong>de</strong><br />
la parábola x = y 2 . Bastará calcular el siguiente límite (límite <strong>de</strong> f(x, y) a<br />
227
través <strong>de</strong> la parábola<br />
lím<br />
(x, y) → (0, 0)<br />
x = y 2<br />
x<br />
y<br />
= lím<br />
x + y2 y→0<br />
2<br />
y2 1<br />
=<br />
+ y2 2 .<br />
Esto muestra que nuestra función es oscilante en las proximida<strong>de</strong>s <strong>de</strong> (0, 0):<br />
<strong>de</strong> hecho, toma el valor constante 1<br />
2 sobre la curva x = y2 ; pero al acercarse<br />
(x, y) al origen por una recta y = mx, f(x, y) se aproxima a 1.<br />
El ejemplo prece<strong>de</strong>nte muestra la conveniencia <strong>de</strong> disponer <strong>de</strong> otros límites<br />
direccionales a parte <strong>de</strong> los límites a través <strong>de</strong> rectas. Vamos a establecer<br />
la <strong>de</strong>finición precisa <strong>de</strong> límite a través <strong>de</strong> una curva. Supongamos que una<br />
curva en el plano OXY pasa por el punto (x0, y0) y tiene por ecuaciones<br />
paramétricas <br />
x = x(t)<br />
y = y(t),<br />
228
don<strong>de</strong> t ∈ [a, b]. Sea t0 ∈ [a, b] tal que (x0, y0) = (x(t0), y(t0)). El límite a<br />
través <strong>de</strong> la curva se <strong>de</strong>fine por<br />
lím<br />
(x, y) → (x0, y0)<br />
x = x(t), y = y(t)<br />
f(x, y) = lím f(x(t), y(t)).<br />
t→t0<br />
Es evi<strong>de</strong>nte que cuando existe el límite doble <strong>de</strong> una función,<br />
también existen los límites direccionales y tienen el mismo valor que<br />
el doble. Pero no conviene olvidar que, como muestra el ejemplo<br />
anterior, aunque coincidan to<strong>dos</strong> los límites a través <strong>de</strong> las rectas<br />
que pasan por el punto (x0, y0), nada pue<strong>de</strong> asegurarse sobre la<br />
existencia <strong>de</strong>l doble. Precisamente, ahora pasamos a indicar qué<br />
<strong>de</strong>be hacerse en estos casos.<br />
II) Si to<strong>dos</strong> los límites direccionales que hemos intentado calcular tienen<br />
el mismo valor l, no po<strong>de</strong>mos asegurar aún que el límite doble existe, pero sí<br />
po<strong>de</strong>mos estar seguros <strong>de</strong> que, caso <strong>de</strong> existir, su valor <strong>de</strong>be ser l. Por tanto,<br />
<strong>de</strong>bemos proce<strong>de</strong>r a calcular la diferencia |f(x, y)−l|, tratando <strong>de</strong> comprobar<br />
que se hace pequeña para (x, y) cercano a (x0, y0). Vamos a aclarar esto con<br />
un ejemplo.<br />
Ejemplo 7.5.2. Calcular lím<br />
(x,y)→(0,0)<br />
xy 3<br />
tes a través <strong>de</strong> las rectas que pasan por el origen<br />
lím<br />
(x, y) → (0, 0)<br />
y = mx<br />
x2 . Empezamos calculando los lími-<br />
+ y2 xy3 x2 x<br />
= lím<br />
+ y2 x→0<br />
3m x2 + m2 = 0.<br />
x2 La igualdad <strong>de</strong> los límites a través <strong>de</strong> las rectas y = mx nos permite afir-<br />
mar que el posible límite doble <strong>de</strong>be valer 0. Para confirmarlo, proce<strong>de</strong>mos a<br />
evaluar la diferencia |f(x, y) − l|<br />
|f(x, y) − 0| =<br />
|x| · y2<br />
x2 |x| · y2<br />
≤<br />
+ y2 y2 229<br />
= |x|.
Tenemos pues 0 ≤ |f(x, y) − 0| ≤ |x|. La propiedad <strong>de</strong>l sandwich nos asegura<br />
que f(x, y) tien<strong>de</strong> a 0.<br />
Terminamos este apartado mostrando que el uso <strong>de</strong> coor<strong>de</strong>nadas polares<br />
pue<strong>de</strong> ayudar en muchos casos a calcular el límite doble. Empezaremos re-<br />
cordando cómo se obtienen las coor<strong>de</strong>nadas polares <strong>de</strong>l punto (x, y) = (0, 0):<br />
se <strong>de</strong>finen ρ = + x 2 + y 2 y ω ∈ [0, 2π] tal que tg ω = y<br />
x<br />
ω igual π<br />
2<br />
o 3π<br />
2<br />
(si x = 0, se toma<br />
, según que sea y > 0 ó y < 0). Las coor<strong>de</strong>nadas polares <strong>de</strong><br />
(x, y) son (ρ, ω) y se verifican las siguientes relaciones entre ambos tipos <strong>de</strong><br />
coor<strong>de</strong>nadas: x = ρ cos ω, y = ρ sen ω. Si al expresar f(x, y) en coor<strong>de</strong>nadas<br />
polares obtenemos<br />
f(x, y) = f(ρ cos ω, ρ sen ω) = F (ρ) · G(ω),<br />
siendo G acotada y verificando F que límρ→0 F (ρ) = 0, entonces po<strong>de</strong>mos<br />
estar seguros <strong>de</strong> que lím<br />
(x,y)→(0,0)<br />
f(x, y) = 0, pues se tiene<br />
0 ≤ |f(ρ cos ω, ρ sen ω) − 0| ≤ c · |F (ρ)|,<br />
para cualesquiera ρ y ω (c > 0 es una constante tal que |G(ω)| ≤ c).<br />
7.6. Continuidad.<br />
Sean f : D ⊂ R 2 → R y (x0, y0) ∈ D. Diremos que f es continua en<br />
(x0, y0) si se verifica lo siguiente: Para cada ɛ > 0, po<strong>de</strong>mos encontrar un<br />
entorno Eδ(x0, y0) tal que<br />
si (x, y) ∈ D ∩ Eδ(x0, y0)<br />
entonces |f(x, y) − f(x0, y0)| < ɛ.<br />
Por tanto, si (x0, y0) es un punto <strong>de</strong> acumulación <strong>de</strong> D, la continuidad <strong>de</strong> f en<br />
(x0, y0) equivale a que lím<br />
(x,y)→(x0,y0) f(x, y) sea precisamente f(x0, y0). Por ello,<br />
las propieda<strong>de</strong>s <strong>de</strong> las funciones continuas se <strong>de</strong>ducen <strong>de</strong> las correspondientes<br />
<strong>de</strong> los límites.<br />
230
Hemos visto, al estudiar la continuidad <strong>de</strong> funciones <strong>de</strong> una variable, que<br />
toda función <strong>de</strong>finida y continua en un intervalo cerrado y acotado alcanza un<br />
máximo y un mínimo absolutos. En el caso <strong>de</strong> funciones <strong>de</strong> varias <strong>variables</strong><br />
existe un resultado similar válido para funciones <strong>de</strong>finidas y continuas en un<br />
conjunto cerrado y acotado.<br />
Teorema 7.6.1. (Bolzano-Weierstrass). Si f es una función <strong>de</strong> varias va-<br />
riables <strong>de</strong>finida y continua en un conjunto D cerrado y acotado, entonces f<br />
alcanza un máximo y un mínimo absolutos en D.<br />
1. Calcular lím<br />
(x,y)→(0,0)<br />
PROBLEMAS RESUELTOS<br />
x sen xy<br />
x2 .<br />
+ y2 Multiplicando y dividiendo por xy, escribimos la función en la forma<br />
x 2 y<br />
x 2 + y 2<br />
sen xy<br />
xy<br />
El segundo factor tiene límite 1, <strong>de</strong>bido a que sen t y t son infinitésimos<br />
equivalentes en el origen. Entonces calculamos por separado el límite <strong>de</strong>l<br />
primer factor y habremos terminado. Empezamos calculando los límites<br />
direccionales a través <strong>de</strong> las rectas que pasan por el origen:<br />
lím<br />
(x, y) → (0, 0)<br />
y = mx<br />
<br />
.<br />
x2y x2 mx<br />
= lím<br />
+ y2 x→0<br />
3<br />
x2 (1 + m2 ) =<br />
= lím<br />
x→0<br />
mx<br />
= 0.<br />
1 + m2 To<strong>dos</strong> los límites a través <strong>de</strong> las rectas y = mx valen 0. Por tanto, <strong>de</strong><br />
existir, el límite doble <strong>de</strong>be ser 0. Vamos a probar que esto es así haciendo<br />
uso <strong>de</strong> la propiedad <strong>de</strong>l sanduich<br />
0 ≤ | x2y x2 |y|x2<br />
− 0| ≤<br />
+ y2 x2 |y|x2<br />
≤ = |y|,<br />
+ y2 x2 lo que prueba que el límite doble es 0.<br />
231
x<br />
2. Calcular lím<br />
(x,y)→(0,0)<br />
3<br />
x2 .<br />
+ y2 Expresamos f(x, y) en polares<br />
f(ρ cos ω, ρ sen ω) =<br />
ρ 3 cos 3 ω<br />
ρ 2 (cos 2 ω + sen 2 ω) =<br />
= ρ · cos 3 ω = F (ρ) · G(ω),<br />
siendo F (ρ) = ρ y G(ω) = cos 3 ω. Vemos que G está acotada por 1 y que<br />
límρ→0 F (ρ) = 0. Por tanto<br />
x<br />
lím<br />
(x,y)→(0,0)<br />
3<br />
x2 = 0.<br />
+ y2 xy<br />
3. Calcular lím .<br />
(x,y)→(0,0) y + x2 En primer lugar, calculamos los límites direccionales a través <strong>de</strong> las rectas<br />
que pasan por el origen<br />
lím<br />
(x, y) → (0, 0)<br />
y = mx<br />
xy mx<br />
= lím<br />
y + x2 x→0<br />
2<br />
=<br />
mx + x2 mx<br />
= lím = 0.<br />
x→0 m + x<br />
Ahora vamos a buscar curvas <strong>de</strong> nivel <strong>de</strong> f(x, y) = xy<br />
y+x2 que pasen por el<br />
origen. La ecuación <strong>de</strong> las curvas <strong>de</strong> nivel es<br />
xy<br />
= c,<br />
y + x2 don<strong>de</strong> c es una constante arbitraria. Despejando y en la igualdad anterior,<br />
resulta y = cx2 . Nótese que se trata <strong>de</strong> una curva <strong>de</strong> nivel <strong>de</strong> f que pasa<br />
x−c<br />
por el punto (0, 0). Por tanto, f(x, y) tiene el valor constante c cuando<br />
232
(x, y) recorre la curva y = cx2 . Por ello, el límite direccional a través <strong>de</strong><br />
x−c<br />
dicha curva es 0, es <strong>de</strong>cir, se tiene<br />
lím<br />
(x, y) → (0, 0)<br />
y = cx2<br />
x−c<br />
xy<br />
= c.<br />
y + x2 Se <strong>de</strong>duce <strong>de</strong> lo anterior que no pue<strong>de</strong> existir el límite doble en el origen.<br />
xy<br />
4. Calcular lím<br />
(x,y)→(0,0)<br />
4<br />
x3 .<br />
+ y6 Calculamos los límites a través <strong>de</strong> las rectas y = mx<br />
lím<br />
(x, y) → (0, 0)<br />
y = mx<br />
xy4 x3 m<br />
= lím<br />
+ y6 x→0<br />
4x5 x3 + m6 =<br />
y6 m<br />
= lím<br />
x→0<br />
4x2 1 + m6 = 0.<br />
x3 Ahora vamos a ver que el límite a través <strong>de</strong> la curva x = y 2 , el límite es<br />
igual a 1/2<br />
lím<br />
(x, y) → (0, 0)<br />
x = y 2<br />
xy4 x3 y<br />
= lím<br />
+ y6 y→0<br />
6<br />
y6 =<br />
+ y6 1<br />
= lím<br />
y→0 2<br />
= 1<br />
2 .<br />
PROBLEMAS PROPUESTOS<br />
1. Representar gráficamente los subconjuntos <strong>de</strong> R 2 siguientes:<br />
A = {(x, y) : xy < 1}, B = {(x, y) : xy < 0}, C = {(x, y) : 2x + 3y <<br />
1},<br />
D = {(x, y) : |x| < 1, |y| < 1}, E = {(x, y) : x > 0, y > x 2 , |x| < 2},<br />
F = {(x, y) : x ≥ y, x ≥ 0, y > 0}.<br />
233
2. Determinar los puntos interiores, <strong>de</strong> acumulación y frontera <strong>de</strong> cada uno<br />
<strong>de</strong> los conjuntos <strong>de</strong>l ejercicio anterior.<br />
3. Calcular los límites dobles en el origen <strong>de</strong> las siguientes funciones:<br />
f(x, y) = x2−y2 x2 +y2 , g(x, y) = xy<br />
x2 +y2 , h(x, y) = xy √<br />
x2 +y2 ,<br />
k(x, y) = xy2<br />
x 2 +y 4 , p(x, y) = x2 y 3<br />
x4 +y6 , q(x, y) = x2 +y2 x+y<br />
, s(x, y) = xy<br />
x+y 2 .<br />
Soluciones: (1) los límites a través <strong>de</strong> las rectas y = mx <strong>de</strong>pen<strong>de</strong>n <strong>de</strong>l<br />
valor <strong>de</strong> m, luego no existe el límite doble. (2) Igual que el anterior. (3) 0.<br />
(4) No existe el límite doble ( consi<strong>de</strong>rar la curva x = y 2 ). (5) No existe<br />
el límite doble (consi<strong>de</strong>rar la curva x 2 = y 3 ). (6) No existe, consi<strong>de</strong>rar<br />
la curva <strong>de</strong> nivel q(x, y) = 1. (7) No existe, consi<strong>de</strong>rar la curva <strong>de</strong> nivel<br />
s(x, y) = 1.<br />
4. Determinar las curvas <strong>de</strong> nivel <strong>de</strong> la función<br />
a)f(x, y) = x2 + y2 , b)f(x, y) = xy.<br />
x + y<br />
5. Comprobar que las rectas y = mx son curvas <strong>de</strong> nivel <strong>de</strong> la función<br />
f(x, y) = xy<br />
x2 .<br />
+ y2 Deducir que no existe el límite doble en el origen <strong>de</strong> la función f.<br />
6. Comprobar que las parábolas x = y 2 son curvas <strong>de</strong> nivel <strong>de</strong> la función<br />
f(x, y) = xy2<br />
x2 .<br />
+ y4 Deducir que no existe el límite doble en el origen <strong>de</strong> la función f.<br />
7. Determinar las curvas <strong>de</strong> nivel <strong>de</strong> f(x, y) = xy<br />
x+y 2 . Deducir que no existe el<br />
límite doble en el origen.<br />
234
8. Calcular el límite doble en el origen <strong>de</strong><br />
a)f(x, y) = x3<br />
x2 + y2 , b)f(x, y) = sen x2y2 x2 + y<br />
9. Estudiar la continuidad en el origen <strong>de</strong> las funciones siguientes:<br />
<br />
a) f(x, y) =<br />
b) f(x, y) =<br />
c) f(x, y) =<br />
1 + xy2<br />
x 2 +y 2 si (x, y) = (0, 0)<br />
1 si (x, y) = (0, 0)<br />
x<br />
x 2 +y 2 si (x, y) = (0, 0)<br />
0 si (x, y) = (0, 0)<br />
<br />
x3 x2 +y2 sen 1 si x · y = 0<br />
xy<br />
0 si x · y = 0<br />
Soluciones: a) continua, b) discontinua, pues no existe el límite doble y c)<br />
continua.<br />
10. Representar gráficamente las funciones:<br />
a) f(x, y) = 1 − (x 2 + y 2 ), b) f(x, y) = − x 2 + y 2 , c) f(x, y) = y 2 .<br />
11. Estudiar la continuidad en el origen <strong>de</strong> las funciones siguientes:<br />
a) f(x, y, z) = xyz<br />
x 2 +y 2 +z 2 y f(0, 0, 0) = 0.<br />
b) f(x, y, z) =<br />
xy<br />
x 2 +y 2 +z 2 y f(0, 0, 0) = 0.<br />
Soluciones: a) Continua. b) discontinua( el límite <strong>de</strong> f(x, y, z) a través <strong>de</strong>l<br />
plano z = 0, se reduce a calcular el límite doble <strong>de</strong> xy/(x 2 + y 2 ) en el<br />
origen y éste no existe.<br />
235<br />
.<br />
2 .