Cap tulo 7 Funciones de varias variables: l mite y continuidad

Con este tema iniciamos el c alculo diferencial en varias variables, cuyo objetivo es el estudio de las propiedades de variaci on de las funciones reales de varias variables reales. Aunque con algunas complicaciones t ecnicas propias del c alculo de varias variables, en buena medida se seguir a un camino paralelo al seguido en el desarrollo del c alculo de una variable. Estudiaremos los conceptos de l mite y continuidad de funciones y seguidamente abordaremos los conceptos de derivada parcial y diferencial. Para facilitar el aprendizaje, desarrollaremos el tema para el caso de funciones de dos variables reales, aunque todas las nociones que consideraremos son v alidas para funciones de cualquier n umero de variables. Por ello, cuando sea conveniente, al nal de cada tema mencionaremos brevemente el caso de funciones de tres variables considerando alg un ejemplo adecuado.

7.1.

El plano R2.

Del mismo modo que iniciamos el estudio de las funciones de una variable considerando el cuerpo R de los n umeros reales, al enfrentarnos con las funciones de dos variables debemos ocuparnos del conjunto R2 , donde se 208

mover a el par de variables (x, y ). Recordemos que R2 denota el conjunto de todos los pares ordenados de n umeros reales: R2 = {(x, y ) : x, y R}. x e y reciben el nombre de componentes del par (x, y ). Con los elementos de R2 pueden realizarse dos operaciones naturales: - Suma: (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ). - Producto por un n umero real: (x, y ) = ( x, y ). La suma es una operaci on interna y el producto por un n umero real, externa. Con estas dos operaciones R2 es un espacio vectorial sobre el cuerpo de los n umeros reales. Es f acil comprobar que su dimensi on es 2, pues se 2 verica (x, y ) = x e1 + y e2 , para cualquier par (x, y ) R , siendo e1 = (1, 0) y e2 = (0, 1). Por tanto, {e1 , e2 } es una base de R2 , que recibe el nombre de base can onica. En esta base, las coordenadas de (x, y ) son sus propias componentes x e y . Los elementos de R2 pueden representarse como puntos de un plano. Para ello, debemos escoger un sistema cartesiano de coordenadas en el plano en cuesti on. Si P es el punto del plano que tiene por coordenadas en dicho sistema x e y , le haremos corresponder el par (x, y ) R2 . Se dir a que P es la representaci on gr aca del par (x, y ). Esta correspondencia entre R2 y los puntos del plano es biun voca.

Ejemplos 7.1.1. a) Representar gr acamente en el plano el conjunto A = {(x, y ) : y x2 , x 0, y 0}. Se trata de un conjunto contenido en el primer cuadrante y que queda por encima de la par abola y = x2 . Un punto de coordenadas (x, y ) tal que y = x2 pertenece a la par abola y = x2 . Si trazamos por este punto una recta perpendicular al eje OX, los puntos de esta recta que est an por encima de 2 la par abola tienen por coordenadas (x, y ) con y > x , mientras que los que est an por debajo son de la forma (x, y ) con y < x2 .

209

A y = x2

X O

b) Idem con el conjunto A = {(x, y ) : 0 x y 1}. El producto x y es no negativo; por tanto, x e y tienen el mismo signo. Entonces el conjunto consta de dos partes, una en el primer cuadrante y la 1 otra en el tercero. En el caso del primer cuadrante y x . Por tanto, se trata 1 de la regi on que queda por debajo de la curva y = x . En el tercer cuadrante se trata de la regi on que queda por encima de dicha curva
Y

y = 1/x

A O X

210

c) A = [a, b] [c, d] se representa en el plano como un rect angulo paralelo a los ejes. En efecto, (x, y ) A si y s olo si a x b y c y d.

Y d A c X O a b

Dados dos puntos de R2 , a = (x1 , y1 ) y b = (x2 , y2 ), se dene su distancia por d(a, b) = + (x1 x2 )2 + (y1 y2 )2 . N otese que se trata de la distancia entre los correspondientes puntos del plano P1 (x1 , y1 ) y P2 (x2 , y2 ). La distancia tiene las propiedades siguientes: D1) d(a, b) = 0 si y s olo si a = b. D2) d(a, b) = d(b, a). D3) d(a, b) d(a, c) + d(c, b), cualesquiera que sean a, b y c en R2 . Esta propiedad recibe el nombre de desigualdad triangular, pues expresa la conocida propiedad de los lados de un tri angulo que arma: En un tri angulo la longitud de cualquier lado es menor o igual que la suma de las longitudes de los otros dos. Necesitaremos tambi en el concepto de producto escalar (o interior.

211

b Y c

a X O
Si a = (a1 , a2 ) y b = (b1 , b2 ), se dene a b = a1 b1 + a2 b2 . Propiedades obvias son las siguientes: (1) a (b + c) = a b + a c. (2) (a b) = (a) b = a (b). 2 (3) a a = a2 1 + a2 . 2 a2 odulo del vector OP , si P es el punto del plano de 1 + a2 es el m coordenadas (a1 , a2 ), y se suele denotar por a (norma de a). Con esta notaci on, (3) adopta la forma (3) a a = a 2 . N otese que d(a, b) = a b . Para abordar el concepto de l mite de una funci on, necesitamos introducir un m nimo de nociones topol ogicas que nos ayudar an a expresar de forma m as simple y precisa las deniciones y resultados que encontraremos en nuestro estudio del c alculo diferencial en varias variables (topolog a, del griego topos y logia, es la parte de las matem aticas que se ocupa del espacio).

Denici on 7.1.2. Si (x0 , y0 ) R2 y r > 0, se llama entorno cerrado de centro (x0 , y0 ) y radio r al conjunto formado por todos los pares (x, y ) R2 212

tales que su distancia a (x0 , y0 ) es menor o igual que r, y se denota por E r (x0 , y0 ). Es decir, se trata del conjunto {(x, y ) R2 : (x x0 )2 + (y y0 )2 r}.

Por tanto, E r (x0 , y0 ) representa gr acamente el c rculo de radio r y centro (x0 , y0 ). Se llama entorno abierto al conjunto {(x, y ) R2 : (x x0 )2 + (y y0 )2 < r}

y se denota por Er (x0 , y0 ). En este caso no forman parte del entorno los puntos de la circunferencia de centro (x0 , y0 ) y radio r. En el c alculo de l mites, se usar a a menudo el entorno perforado Er (x0 , y0 ) que se diferencia del anterior en el hecho de que no incluye el centro (x0 , y0 ).

Denici on 7.1.3. Sean D un subconjunto de R2 y (x0 , y0 ) R2 . Diremos que (x0 , y0 ) es un punto de acumulaci on de D si D Er (x0 , y0 ) = , para cada r > 0; es decir, en todo entorno de (x0 , y0 ) (por peque no que sea su radio) existen puntos de D diferentes de (x0 , y0 ). S olo para estos puntos tiene sentido calcular el l mite de una funci on cuyo dominio sea D.

Denici on 7.1.4. Sean D un subconjunto de R2 y (x0 , y0 ) R2 . Diremos que (x0 , y0 ) es un punto interior de D si este conjunto contiene ntegramente un entorno de (x0 , y0 ). Si todos los puntos de D son interiores, diremos que D es un conjunto abierto de R2 .

Denici on 7.1.5. Un conjunto D se llama cerrado si contiene todos sus puntos de acumulaci on. Es f acil demostrar que los conjuntos cerrados son precisamente los conjuntos cuyo complemento en R2 es un conjunto abierto. Efectivamente, si el complemento de D es abierto, entonces un punto (x0 , y0 ) que no pertenezca a D no puede ser de acumulaci on para D, debido a que es 213

interior a Dc y, por ello, existe un entorno de (x0 , y0 ) contenido en Dc . Tal entorno tiene intersecci on vac a con D. Conviene destacar que un conjunto que no es abierto tambi en puede ser no cerrado.

Denici on 7.1.6. Sean D un subconjunto de R2 y (x0 , y0 ) R2 . Diremos que (x0 , y0 ) es un punto frontera de D si en todo entorno de (x0 , y0 ) existen puntos de D y puntos que no pertenecen a D. El conjunto formado por todos los puntos frontera de D recibe el nombre de frontera de D.

Ejemplos 7.1.7. a) Encontrar los puntos de acumulaci on, puntos frontera 2 y los puntos interiores del conjunto D = {(x, y ) R : x > 0, y > 0}. - Todo par (x0 , y0 ) con x0 0 e y0 0 es un punto de acumulaci on de D (n otese que todo entorno de centro en tal punto tiene en com un con D como m nimo un cuadrante). - D es abierto, pues todos sus puntos son interiores. En efecto, si (x0 , y0 ) D, entonces x0 > 0 e y0 > 0. Si tomamos r = min{x0 , y0 }, se verica claramente Er (x0 , y0 ) D. - El conjunto frontera es el formado por los semiejes positivos. b) D = {(x, y ) R2 : x 0, 0 y < x2 }. Este conjunto no es abierto porque no todos sus puntos son interiores. Por ejemplo, los puntos de la forma (x, 0) con x 0. Tampoco es cerrado ya que no contiene a todos sus puntos de acumulaci on. En efecto, los puntos de la forma (x, x2 ) con x 0(pertenecen a la par abola y = x2 ) son claramente de acumulaci on y no pertenecen a D. El conjunto frontera consta de los puntos del eje OX positivo y de los puntos de la par abola de la forma (x, x2 ) con x 0.

214

y=x

Terminamos este apartado con la denici on de conjunto acotado. Diremos que D es acotado si las distancias entre dos puntos cualesquiera de D permanecen acotadas. Es decir, existe una constante positiva c tal que d(a, b) c, para todos a y b pertenecientes a D. Todo conjunto acotado est a contenido en un entorno de uno de sus puntos (basta tomar el radio igual a c).

7.2.

Funciones de dos variables.

En las ciencias experimentales, cuando se estudia un determinado fen omeno, se da a menudo el caso de que este quede completamente descrito mediante una ley que establece una relaci on funcional entre varias magnitudes fundamentales. As , por ejemplo, la ley que establece para los gases perfectos que, si P , V y T son la presi on, el volumen y la temperatura absoluta de 1 mol de un tal gas, se verica la relaci on P V = RT, 215

donde R es cierta constante (recibe el nombre de ecuaci on de estado). Si despejamos P en la igualdad anterior, resulta P = RT /V . La expresi on anterior nos dice que la presi on P es funci on de T y V y, por tanto, queda completamente determinada cuando conocemos T y V . Si mediante alg un procedimiento hacemos que V y T sean cada vez m as pr oximos a cero, hacia qu e valor se acerca la presi on P ?, c omo podemos determinar un valor aproximado del incremento de la presi on en funci on de los incrementos (peque nos) V y T ? Entre otras cuestiones, en este tema veremos c omo es la respuesta a estas preguntas. Una funci on de dos variables f es una regla o ley que asocia a cada par (x, y ), perteneciente a cierto conjunto D R2 , un u nico n umero real f (x, y ). D recibe el nombre de dominio de la funci on y x e y son las variables independientes. Es usual usar z para designar a la imagen f (x, y ) y se dir a que z es la variable dependiente. Una funci on queda determinada cuando damos la ecuaci on z = f (x, y ) y el dominio D donde se mueve el par (x, y ). A veces, s olo se da la ecuaci on z = f (x, y ), en cuyo caso se entiende que el dominio es todo el campo de existencia, es decir, el conjunto formado por todos los pares (x, y ) para los que la ecuaci on en cuesti on permite obtener la correspondiente imagen. Ejemplos 7.2.1. a) f (x, y ) = log(x2 + y 2 ) es una funci on cuyo dominio es todo R2 menos el origen (0, 0). b) f (x, y ) = x y tiene por dominio la parte del plano que consta de los cuadrantes primero y tercero, pues s olo tienen imagen los puntos (x, y ) con coordenadas de igual signo: D = {(x, y ) R2 : x 0, y 0} {(x, y ) R2 : x 0, y 0}. Las funciones de dos variables pueden representarse gr acamente en el 2 espacio de la siguiente forma: Dada f : D R R, escogemos un sistema de coordenadas cartesianas OXYZ en el espacio y en el plano OXY representamos el dominio D. Para cada (x, y ) D, dibujamos en el espacio el punto de coordenadas (x, y, f (x, y )). El conjunto formado por todos los puntos de 216

la forma (x, y, f (x, y )), con (x, y ) D, es una supercie. Se dir a que es la representaci on gr aca de la funci on f o que la supercie tiene por ecuaci on z = f (x, y ).

Ejemplos 7.2.2. a) f (x, y ) = ax + by tiene por representaci on gr aca un plano. b) f (x, y ) = x2 + y 2 tiene por representaci on gr aca un paraboloide de revoluci on con v ertice el punto (0, 0, 0). c) f (x, y ) = x2 tiene por gr aca otro tipo de paraboloide (cil ndrico). En muchos casos, puede ayudar a la visualizaci on de una funci on de dos variables el conocer la forma que tienen las curvas de nivel. Dada f : D R2 R, la curva de nivel que pasa por (x0 , y0 ) D es el conjunto de puntos (x, y ) D tales que f (x, y ) = f (x0 , y0 ). Se trata, pues, de una curva que pasa por el punto (x0 , y0 ) y que se caracteriza porque f tiene un valor constante a lo largo de ella. La familia de todas las curvas de nivel tiene por ecuaci on f (x, y ) = c, donde c es una constante arbitraria. La curva de nivel f (x, y ) = c es la proyecci on sobre el plano OXY de la curva C que determina el plano z = c al cortar a la supercie de ecuaci on z = f (x, y ). En la gura siguiente puede verse como cada punto (x, y, c) de esta curva (en rojo) se proyecta en el punto (x, y, 0) de la curva de nivel f (x, y ) = c (en negro). Es decir, las coordenadas de ambos puntos s olo se diferencian en la coordenada z que es igual a 0 en la curva de nivel e igual a c en la curva intersecci on C .

217

Eje OZ

C z=c

2 1.5 curva de nivel f(x,y)=c 1 0.5 0.5 0 0 0.5 0.5 1 1 1.5 1.5 2 2 Eje OX Eje OY 1

Estas ideas nos pueden ayudar a la hora de representar gr acamente una funci on.

Ejemplos 7.2.3. a) z = x2 + y 2 . Al cortar la supercie con los planos de la forma z = c (c 0) resulta una curva plana C cuyas ecuaciones son z=c x2 + y 2 = c (7.1)

La curva de nivel x2 + y 2 = c no es otra cosa que la circunferencia de centro el origen y radio c en el plano OXY. La curva C tiene la forma de esta misma circunferencia, pero colocada en el plano z = 0. Cuando c = 0 el corte se reduce a un punto: (0, 0, 0). En los dem as casos, se trata de circunferencias cuyos radios c aumentan con c (ver la gura siguiente).

218

Intuimos que la supercie puede ser un paraboloide o un cono de v ertice el origen. Finalmente, podemos cortar la supercie con el plano y = 0 y resulta una curva en el plano OXZ que tiene por ecuaci on z = x2 . Esto nos conrma que se trata de un paraboloide.

6 5 4 3 2 1 0 2 1 0 Eje OX 1 2

Eje OZ

2 Eje OY 0 1 2 1

219

b) f (x, y ) =

x2 + y 2 .

Las curvas de nivel son las circunferencias con centro el origen x2 + y 2 = c2 . Como en el ejemplo anterior, al cortar la supercie con un plano de la forma z = c (c > 0) se obtiene una circunferencia con centro en el eje OZ y radio c cuya proyecci on sobre el plano z = 0 es la curva de nivel 2 2 2 x + y = c . Al aumentar c, el plano z = c cada vez se aleja m as de z = 0 y la circunferencia interceptada tiene mayor radio, como en el ejemplo anterior. La diferencia ahora radica en que al cortar la supercie con el plano y = 0, resulta z = |x| que es la ecuaci on de un par de rectas en el plano OXZ. Por tanto, la supercie es un cono de revoluci on con v ertice (0, 0, 0) y eje OZ.

Eje OZ 5 4 3 2 1 4 0 4 Eje OY 2 Eje OX 0 2 2 4 4 0 2

Gr aca de z = x2

220

Eje OZ

1 2 0 2 Eje OY 1 0 Eje OX 1 2 3 2 0

c) Si T (x, y ) representa la temperatura en cada punto (x, y ) de cierta regi on D del plano, entonces las curvas de nivel T (x, y ) = c son las isotermas (curvas de temperatura constante). Para una funci on de m as de dos variables no es posible una representaci on gr aca, pero puede ser muy u til conocer qu e forma tienen las supercies de 3 nivel. Si f : D R R es una funci on de tres variables, se llaman supercies de nivel a las que tienen por ecuaci on f (x, y, z ) = c.

Ejemplos 7.2.4. a) Si V (x, y, z ) es el potencial el ectrico creado en el espacio por una determinada distribuci on de cargas el ectricas, las supercies de nivel son las supercies equipotenciales. b) Si f (x, y, z ) = x2 + y 2 + z 2 , las supercies de nivel son supercies esf ericas de centro el origen.

221

7.3.

Supercies

Algunas supercies, que nos encontraremos en las aplicaciones, no se obtienen como representaci on gr aca de una funci on de dos variables; es decir, no responden a una ecuaci on de la forma z = f (x, y ). Basta pensar en una supercie cil ndrica de eje OZ y radio R. N otese que, si (x0 , y0 ) es un punto 2 2 2 de la circunferencia x + y = R , los puntos de coordenadas (x0 , y0 , z ) (al variar z ) describen la generatriz que pasa por (x0 , y0 , 0). Por tanto, todos pertenecen a la supercie. Por ello, es imposible que una ecuaci on de la forma z = f (x, y ) pueda describir la supercie en cuesti on (jado (x0 , y0 ), s olo el punto (x0 , y0 , f (x0 , y0 )) pertenece a la supercie de ecuaci on z = f (x, y )). Supercies como la anterior se describen matem aticamente mediante ecuaciones de la forma f (x, y, z ) = 0. M as precisamente, adoptaremos la siguiente denici on. El lugar geom etrico de los puntos del espacio que verican la ecuaci on f (x, y, z ) = 0 es ( en general) una supercie S , pues se trata de un conjunto de puntos con dos grados de libertad. En efecto, pueden escogerse los valores de x e y libremente y el valor de z queda determinado por la ecuaci on. Esta recibe el nombre de ecuaci on impl cita de la supercie. Terminamos el apartado deduciendo de forma razonada la ecuaci on de una supercie cil ndrica. Denotemos por S la supercie cil ndrica de eje OZ y radio R. Vamos a probar que su ecuaci on en forma impl cita es x2 + y 2 = R2 .

222

Eje OZ

1.5 1 0.5 Eje OY 0 (x0,y0,0) 1 1.5 1 Eje OX 0.5 0 2 0.5 1 1.5 2 2.5 2.5 0.5

Con la ayuda de la gura, vemos que, si (x0 , y0 , z0 ) es un punto cualquiera de la supercie S , su proyecci on sobre el plano z = 0 es el punto (x0 , y0 , 0), que pertenece a la circunferencia C de centro el origen, radio R y contenida en el plano OXY. Esta circunferencia tiene por ecuaci on x2 + y 2 = R2 (en el plano 2 2 OXY). Por tanto, debe ser tambi en x2 0 + y0 = R . Es decir, hemos probado que, si (x0 , y0 , z0 ) es cualquier punto de S , entonces necesariamente se verica 2 2 x2 on de S es x2 + y 2 = R2 , 0 + y0 = R . Para poder asegurar que la ecuaci 2 2 debemos probar tambi en que, si el punto (x0 , y0 , z0 ) es tal que x2 0 + y0 = R , entonces dicho punto pertenece a S . Esto es obvio pues (x0 , y0 , 0) pertenece a C y (x0 , y0 , z0 ) pertenece a la generatriz que pasa por (x0 , y0 , 0).

Ejemplos 7.3.1. a) x2 + z 2 = R2 es la ecuaci on de la supercie cil ndrica de radio R y eje OY.

223

1
Eje OZ

2 4 2 0 1 Eje OY 2 2 Ejee OX 0 2 1

b) z 2 = x2 + y 2 es la ecuaci on impl cita de la supercie c onica siguiente

6 Eje OZ 4

0 Eje OX 2 Eje OY

4 4 2 0 2 4 4 2 0 2

7.4.

L mite doble.

Sean f : D R2 R y (x0 , y0 ) un punto de acumulaci on de D. Cuando escribimos l m f (x, y ) = l

(x,y )(x0 ,y0 )

224

queremos signicar que f (x, y ) se aproxima m as y m as al n umero l, a medida que (x, y ) se acerca a (x0 , y0 ), movi endose libremente en su dominio D (sin llegar a ser (x0 , y0 )). Y si queremos que f (x, y ) se diferencie de l en menos de una cantidad peque na ( > 0), bastar a con que (x, y ) se tome en un entorno perforado de (x0 , y0 ) con radio ( > 0) sucientemente peque no. Estas ideas quedan recogidas de una forma simple y precisa en la siguiente denici on. Denici on 7.4.1. Diremos que
(x,y )(x0 ,y0 )

l m

f (x, y ) > 0, puede encon-

existe y es igual a l si se verica lo siguiente: Para cada trarse un entorno E (x0 , y0 ) tal que

(x, y ) D E (x0 , y0 ) |f (x, y ) l| < .

Ejemplo 7.4.2. Comprobar que

(x,y )(3,2)

l m

1+

(x 3)2 + (y 2)2 = 1. 1 + x2 (x 3)2 + (y 2)2 1 + x2

|f (x, y ) 1| =

(x 3)2 + (y 2)2 .
Luego, si queremos que |f (x, y ) l| < , bastar a escoger (x, y ) E (x0 , y0 ), siendo = .

Las propiedades del l mite son formalmente las mismas, independientemente del n umero de variables, por lo que no parece necesario volver a mencionarlas todas. A t tulo de ejemplo, vamos a precisar algunas de ellas. - Si el l mite doble de una funci on, cuando (x, y ) (x0 , y0 ), es distinto de (x0 , y0 ) tal que el signo de f (x, y ) 0, entonces existe un entorno perforado Er (x0 , y0 ). es igual al de su l mite l, para cada (x, y ) D Er 225

- El l mite de una suma, un producto o un cociente de dos funciones es igual a la suma, producto o cociente de los l mites de cada una (si el l mite del denominador no es 0, en el caso del cociente).

7.5.

L mites direccionales.

El c alculo de l mites de funciones de varias variables s presenta algunas diferencias importantes de las que nos vamos a ocupar a continuaci on. En el c alculo de un l mite doble se proceder a de la forma siguiente: I) C alculo de los l mites a trav es de las rectas que pasan por (x0 , y0 ). Se trata de descubrir el valor hacia el que se aproxima f (x, y ) cuando (x, y ) se acerca a (x0 , y0 ), movi endose a lo largo de la recta y = y0 + m(x x0 ).

Y y=y +m(x-x0 )
0

X O x0

La denici on precisa y la notaci on habitual es la siguiente l m f (x, y ) = (x, y ) (x0 , y0 ) y = y0 + m(x x0 ) = l m f (x, y0 + m(x x0 )).
xx0

226

Una vez calculados estos l mites, pueden darse dos posibilidades: a) No todos los l mites a trav es de las rectas y = y0 + m(x x0 ) tienen el mismo valor. En este caso, concluimos que no puede existir el l mite doble, ya que f (x, y ) es oscilante en las cercan as de (x0 , y0 ). b) Todos los l mites a trav es de las rectas mencionadas tienen el mismo valor l. En este caso concluimos que el l mite doble, de existir, debe valer tambi en l. Sin embargo, no podemos asegurar, con este u nico dato, que el l mite doble exista realmente. Vamos a ver un ejemplo que muestra esto claramente:

Ejemplo 7.5.1. Sea f (x, y ) = x/(x + y 2 ), si (x, y ) D, siendo D = {(x, y ) : x, y > 0}. Calcular l m f (x, y ).
(x,y )(0,0)

Las rectas que pasan por el origen tienen la ecuaci on y = mx y procedemos a calcular los l mites a trav es de tales rectas x l m = l m f (x, mx) = 2 x0 x + y (x, y ) (0, 0) y = mx x 1 = l m = 1. x0 x2 + m2 x2 x0 1 + m2 x Por tanto, en este ejemplo se da la igualdad de todos los l mites a trav es de las rectas y = mx. Pero vamos a probar que, sin embargo, no existe el l mite doble en el origen. Para ello, necesitamos considerar un nuevo tipo de l mite unidimensional: el l mite a trav es de una curva (se les llama tambi en l mites direccionales). Antes de dar la denici on precisa, vamos a acabar con nuestro ejemplo. Nos proponemos descubrir hacia qu e valor se aproxima f (x, y ) cuando (x, y ) se acerca a (0, 0), movi endose a lo largo de 2 la par abola x = y . Bastar a calcular el siguiente l mite (l mite de f (x, y ) a = l m

227

trav es de la par abola x y2 1 = l m = . l m 2 2 2 y 0 y +y 2 (x, y ) (0, 0) x + y x = y2 Esto muestra que nuestra funci on es oscilante en las proximidades de (0, 0): de hecho, toma el valor constante 1 sobre la curva x = y 2 ; pero al acercarse 2 (x, y ) al origen por una recta y = mx, f (x, y ) se aproxima a 1.

El ejemplo precedente muestra la conveniencia de disponer de otros l mites direccionales a parte de los l mites a trav es de rectas. Vamos a establecer la denici on precisa de l mite a trav es de una curva. Supongamos que una curva en el plano OXY pasa por el punto (x0 , y0 ) y tiene por ecuaciones param etricas x = x(t) y = y (t), 228

donde t [a, b]. Sea t0 [a, b] tal que (x0 , y0 ) = (x(t0 ), y (t0 )). El l mite a trav es de la curva se dene por l m f (x, y ) = l m f (x(t), y (t)). tt0 (x, y ) (x0 , y0 ) x = x(t), y = y (t) Es evidente que cuando existe el l mite doble de una funci on, tambi en existen los l mites direccionales y tienen el mismo valor que el doble. Pero no conviene olvidar que, como muestra el ejemplo anterior, aunque coincidan todos los l mites a trav es de las rectas que pasan por el punto (x0 , y0 ), nada puede asegurarse sobre la existencia del doble. Precisamente, ahora pasamos a indicar qu e debe hacerse en estos casos. II) Si todos los l mites direccionales que hemos intentado calcular tienen el mismo valor l, no podemos asegurar a un que el l mite doble existe, pero s podemos estar seguros de que, caso de existir, su valor debe ser l. Por tanto, debemos proceder a calcular la diferencia |f (x, y ) l|, tratando de comprobar que se hace peque na para (x, y ) cercano a (x0 , y0 ). Vamos a aclarar esto con un ejemplo. xy 3 . Empezamos calculando los l mi(x,y )(0,0) x2 + y 2 tes a trav es de las rectas que pasan por el origen l m xy 3 x3 m l m = l m = 0. 2 2 x0 x2 + m2 x2 (x, y ) (0, 0) x + y y = mx La igualdad de los l mites a trav es de las rectas y = mx nos permite armar que el posible l mite doble debe valer 0. Para conrmarlo, procedemos a evaluar la diferencia |f (x, y ) l| |f (x, y ) 0| = |x | y 2 |x | y 2 = |x |. x2 + y 2 y2 229

Ejemplo 7.5.2. Calcular

Tenemos pues 0 |f (x, y ) 0| |x|. La propiedad del sandwich nos asegura que f (x, y ) tiende a 0. Terminamos este apartado mostrando que el uso de coordenadas polares puede ayudar en muchos casos a calcular el l mite doble. Empezaremos recordando c omo se obtienen las coordenadas polares del punto (x, y ) = (0, 0): y (si x = 0, se toma se denen = + x2 + y 2 y [0, 2 ] tal que tg = x 3 igual 2 o 2 , seg un que sea y > 0 o y < 0). Las coordenadas polares de (x, y ) son (, ) y se verican las siguientes relaciones entre ambos tipos de coordenadas: x = cos , y = sen . Si al expresar f (x, y ) en coordenadas polares obtenemos f (x, y ) = f ( cos , sen ) = F () G( ), siendo G acotada y vericando F que l m0 F () = 0, entonces podemos estar seguros de que l m f (x, y ) = 0, pues se tiene
(x,y )(0,0)

0 |f ( cos , sen ) 0| c |F ()|, para cualesquiera y (c > 0 es una constante tal que |G( )| c).

7.6.

Continuidad.

Sean f : D R2 R y (x0 , y0 ) D. Diremos que f es continua en (x0 , y0 ) si se verica lo siguiente: Para cada > 0, podemos encontrar un entorno E (x0 , y0 ) tal que si (x, y ) D E (x0 , y0 ) entonces |f (x, y ) f (x0 , y0 )| < . Por tanto, si (x0 , y0 ) es un punto de acumulaci on de D, la continuidad de f en (x0 , y0 ) equivale a que l m f (x, y ) sea precisamente f (x0 , y0 ). Por ello, las propiedades de las funciones continuas se deducen de las correspondientes de los l mites. 230
(x,y )(x0 ,y0 )

Hemos visto, al estudiar la continuidad de funciones de una variable, que toda funci on denida y continua en un intervalo cerrado y acotado alcanza un m aximo y un m nimo absolutos. En el caso de funciones de varias variables existe un resultado similar v alido para funciones denidas y continuas en un conjunto cerrado y acotado. Teorema 7.6.1. (Bolzano-Weierstrass). Si f es una funci on de varias variables denida y continua en un conjunto D cerrado y acotado, entonces f alcanza un m aximo y un m nimo absolutos en D. PROBLEMAS RESUELTOS 1. Calcular x sen xy . (x,y )(0,0) x2 + y 2 Multiplicando y dividiendo por xy , escribimos la funci on en la forma l m x2 y x2 + y 2 sen xy . xy

El segundo factor tiene l mite 1, debido a que sen t y t son innit esimos equivalentes en el origen. Entonces calculamos por separado el l mite del primer factor y habremos terminado. Empezamos calculando los l mites direccionales a trav es de las rectas que pasan por el origen: x2 y mx3 l m = l m = 2 2 x0 x2 (1 + m2 ) (x, y ) (0, 0) x + y y = mx mx = 0. 1 + m2 Todos los l mites a trav es de las rectas y = mx valen 0. Por tanto, de existir, el l mite doble debe ser 0. Vamos a probar que esto es as haciendo uso de la propiedad del sanduich = l m
x0

0|

|y |x 2 |y |x 2 x2 y 0 | = |y |, x2 + y 2 x2 + y 2 x2

lo que prueba que el l mite doble es 0. 231

2. Calcular

x3 . (x,y )(0,0) x2 + y 2 Expresamos f (x, y ) en polares l m f ( cos , sen ) = 3 cos3 = 2 (cos2 + sen2 )

= cos3 = F () G( ), siendo F () = y G( ) = cos3 . Vemos que G est a acotada por 1 y que l m0 F () = 0. Por tanto x3 l m = 0. (x,y )(0,0) x2 + y 2 3. Calcular xy . (x,y )(0,0) y + x2 En primer lugar, calculamos los l mites direccionales a trav es de las rectas que pasan por el origen l m xy mx2 l m = l m = 2 x0 mx + x2 y + x (x, y ) (0, 0) y = mx mx = 0. m+x Ahora vamos a buscar curvas de nivel de f (x, y ) = origen. La ecuaci on de las curvas de nivel es = l m
x 0

xy y +x2

que pasen por el

xy = c, y + x2 donde c es una constante arbitraria. Despejando y en la igualdad anterior, cx2 . N otese que se trata de una curva de nivel de f que pasa resulta y = x c por el punto (0, 0). Por tanto, f (x, y ) tiene el valor constante c cuando

232

cx . Por ello, el l mite direccional a trav es de (x, y ) recorre la curva y = x c dicha curva es 0, es decir, se tiene

xy l m = c. 2 y + x (x, y ) (0, 0) cx2 y=x c Se deduce de lo anterior que no puede existir el l mite doble en el origen. 4. Calcular xy 4 . (x,y )(0,0) x3 + y 6 Calculamos los l mites a trav es de las rectas y = mx l m xy 4 m 4 x5 l m = l m = 3 + y6 x0 x3 + m6 y 6 x (x, y ) (0, 0) y = mx = l m m 4 x2 = 0. x0 1 + m6 x3

Ahora vamos a ver que el l mite a trav es de la curva x = y 2 , el l mite es igual a 1/2 xy 4 y6 l m = l m = 3 + y6 y 0 y 6 + y 6 x (x, y ) (0, 0) x = y2 = l m 1 1 = . y 0 2 2

PROBLEMAS PROPUESTOS 1. Representar gr acamente los subconjuntos de R2 siguientes: A = {(x, y ) : xy < 1}, B = {(x, y ) : xy < 0}, C = {(x, y ) : 2x + 3y < 1}, D = {(x, y ) : |x| < 1, |y | < 1}, E = {(x, y ) : x > 0, y > x2 , |x| < 2}, F = {(x, y ) : x y, x 0, y > 0}. 233

2. Determinar los puntos interiores, de acumulaci on y frontera de cada uno de los conjuntos del ejercicio anterior. 3. Calcular los l mites dobles en el origen de las siguientes funciones: f (x, y ) = k (x, y ) =
x2 y 2 , x2 +y 2 xy 2 , x2 +y 4

g (x, y ) = p(x, y ) =

xy , x2 +y 2 x2 y 3 , x4 +y 6

h(x, y ) = xy 2 q (x, y ) =

x +y 2

, s(x, y ) =
xy . x+y 2

x2 +y 2 , x+y

Soluciones: (1) los l mites a trav es de las rectas y = mx dependen del valor de m, luego no existe el l mite doble. (2) Igual que el anterior. (3) 0. (4) No existe el l mite doble ( considerar la curva x = y 2 ). (5) No existe el l mite doble (considerar la curva x2 = y 3 ). (6) No existe, considerar la curva de nivel q (x, y ) = 1. (7) No existe, considerar la curva de nivel s(x, y ) = 1. 4. Determinar las curvas de nivel de la funci on a)f (x, y ) = x2 + y 2 , b)f (x, y ) = xy. x+y

5. Comprobar que las rectas y = mx son curvas de nivel de la funci on f (x, y ) = x2 xy . + y2

Deducir que no existe el l mite doble en el origen de la funci on f . 6. Comprobar que las par abolas x = y 2 son curvas de nivel de la funci on f (x, y ) = xy 2 . x2 + y 4

Deducir que no existe el l mite doble en el origen de la funci on f . 7. Determinar las curvas de nivel de f (x, y ) = l mite doble en el origen.
xy . x+y 2

Deducir que no existe el

234

8. Calcular el l mite doble en el origen de a)f (x, y ) = x3 sen x2 y 2 , b ) f ( x, y ) = . x2 + y 2 x2 + y 2

9. Estudiar la continuidad en el origen de las funciones siguientes: a) f (x, y ) = b) f (x, y ) = c) f (x, y ) = 1+ 1

xy 2 x2 +y 2

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

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

1 sen xy si x y = 0 . 0 si x y = 0 x3 x2 +y 2

x x2 +y 2

Soluciones: a) continua, b) discontinua, pues no existe el l mite doble y c) continua. 10. Representar gr acamente las funciones: a) f (x, y ) = 1 (x2 + y 2 ), b) f (x, y ) = x2 + y 2 , c) f (x, y ) = y 2 .

11. Estudiar la continuidad en el origen de las funciones siguientes: a) f (x, y, z ) = b) f (x, y, z ) =

xyz x2 +y 2 +z 2 xy x2 +y 2 +z 2

y f (0, 0, 0) = 0. y f (0, 0, 0) = 0.

Soluciones: a) Continua. b) discontinua( el l mite de f (x, y, z ) a trav es del 2 2 plano z = 0, se reduce a calcular el l mite doble de xy/(x + y ) en el origen y este no existe.

235