12.05.2013 Views

Funciones de dos variables

Funciones de dos variables

Funciones de dos variables

SHOW MORE
SHOW LESS

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 .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!