Tema 10: Funciones de varias variables. Funciones vectoriales.

Lmites y continuidad
1 Funciones de varias variables

Observacin 1.1 Conviene repasar, en este punto, lo dado en el Tema 8 para topologa en Rn : bolas, puntos interiores y de acumulacin, conjuntos abiertos, cerrados, actados y compactos, en especial en el plano R2 y en el espacio tridimensional R3 . Denicin 1.2 Llamaremos funcin real de varias variables (o campo escalar) a toda funcin f : Rn R Y llamaremos funcin vectorial de varias variables (o campo vectorial) a toda funcin f : Rn Rm En ambos casos se dice que f es una funcin de n variables. Ejemplo 1.3 i) f : R2 R dada por f (x, y ) = x2 y + ecos y log x 3 es una funcin real de 2 variables. ii) f : R3 R dada por f (x, y, z ) = cos(x y 2) + es una funcin real de 3 variables. iii) f : Rn R dada por 2 2 x +x +...+x2 n f (x1 , x2 , ..., xn ) = e 1 2

z 5 1 tan(ex+y )

es una funcin real de n variables. iv) f : R3 R2 dada por f (x, y, z ) = (x y + z 20, z log[ezy 7]) es una funcin vectorial de 3 variables y 2 coordenadas. v) f : R4 R5 dada por f (x, y, z, t) = (x y, x cos z, t2 + ey , 0, 3 xyzt) es una funcin vectorial de 4 variables y 5 coordenadas. 1

Denicin 1.4 Sea f : Rn Rm (una funcin vectorial). Llamaremos funciones coordenadas de f a las funciones f1 , f2 , ..., fm : Rn R que verican que f (x1 , x2 , ..., xn ) = (f1 (x1 , x2 , ..., xn ), f2 (x1 , x2 , ..., xn ), ..., fm (x1 , x2 , ..., xn )) En esta situacin pondremos f = (f1 , f2 , ..., fm ) Observacin 1.5 Para el ejemplo iv) anterior se tiene que f : R3 R2 tiene por funciones coordenadas f1 , f2 : R3 R dadas por f1 (x, y, z ) = x y + z 20

f2 (x, y, z ) = z tan[exy ] Para el ejemplo v) anterior se tiene que f : R4 R5 tiene por funciones coordenadas

f1 , f2 , f3 , f4 , f5 : R4 R dadas por f1 (x, y, z, t) = x y f2 (x, y, z, t) = x cos z f3 (x, y, z, t) = t2 + ey

f4 (x, y, z, t) = 0 f5 (x, y, z, t) = 3 xyzt Igual que en el caso de funciones reales de una variable real (f : R R) se entiende por dominio de una funcin de varias variables al conjunto de puntos de Rn en el cual tienen sentido todas las expresiones que denen a la funcin. Si f = (f1 , f2 , ..., fm ) es una funcin vectorial se tiene adems que Domf = Domf1 Domf2 ... Domfm De todos modos, al igual que ocurra con funciones reales de variable real, el dominio puede estar restringido sin necesidad de ser el dominio mximo posible.

Observacin 1.6 En el ejemplo i) anterior el dominio est formado por todos los puntos (x, y ) que cumplen que x > 0. En el ejemplo ii) el dominio est formado por todos los puntos (x, y, z ) de R3 que verican z 5 1 0 y cos(ex+y ) 6= 0, simultneamente. En el ejemplo iii) el dominio es todo Rn , as como en el ejemplo v). Finalmente en el ejemplo iv) el dominio est formado por todos los puntos (x, y, z ) de R3 que verican ezy > 7. El dominio de la funcin 1 ) f (x, y ) = cos( 2 x + y2 es todo R2 salvo el punto (0, 0) (observar que es el nico punto que hace nula la suma de cuadrados x2 + y 2 . Para la funcin x2 + y 2 g (x, y ) = xy el dominio es Domg = {(x, y ) R2 tales que xy 6= 0}, en denitiva todo R2 salvo los ejes coordenados x = 0 e y = 0. 2 Y el dominio de la funcin h(x, y ) = ( x , log( x y ) , x2 1) es y Domh = {(x, y ) Rn : y 6= 0, x y > 0, x2 1 0} La grca de una funcin f : Rn Rm es el siguiente conjunto de puntos de Rn+m {(x1 , x2 , ..., xn , f (x1 , x2 , ..., xn )) Rn+m : (x1 , x2 , ..., xn ) Domf } Casos donde puede visualizarse la grca: Una funcin real de variable real f : R R. En este caso la grca es una curva en R2 , que est formada por todos los puntos de la forma (x, f (x)), donde x recorre el dominio de f . sta es la situacin que hemos analizado en el Tema 8 de la asignatura. Una funcin real de dos variables f : R2 R. En este caso la grca es una supercie, que est formada por todos los puntos de la forma (x, y, f (x, y )), donde (x, y ) recorre el dominio de f . sta ser la situacin que analizaremos en el presente tema y en los restantes. Una funcin vectorial de una variable f : R Rn , cuando n = 2, 3. En este caso tenemos lo que se denomina una curva parametrizada en R2 R3 . sta es una situacin especial que se visualiza de otro modo que no vamos a tratar con detalle aqu.

A continuacin vemos algunas supercies (aqu estn dadas mediante una ecuacin implcita):

Esfera x2 + y 2 + z 2 = 1

Cilindro x2 + y 2 = 1

Cono z 2 = x2 + y 2

Paraboliode z = x2 + y 2

Silla de montar z = x2 y 2

p Toro z 2 = 1 ( x2 + y 2 2)2

La gura ocho

Una espiral

La hlice circular

Debido a la complejidad existente en general a la hora de abordar el problema de la representacin grca de una supercie z = f (x, y ) se hace necesario otro recurso que facilite en buena medida esta 4

labor. As podemos utilizar las curvas de nivel, que son las proyecciones sobre el plano OXY de los puntos de la supercie que estn a cierta altura constante (para cada altura k al hacer la proyeccin sobre el plano OXY de la supercie obtenemos la curva de nivel {(x, y ) : f (x, y ) = k). Algunas pinceladas sobre esto comentaremos en el apndice.

Lmite de funciones de varias variables

La idea intuitiva de lmite es similar a la del caso de funciones reales de una variable real, con las generalizaciones correspondientes. En principio la idea inicial que tenemos de lmite consiste, como ocurra para las funciones reales de una variable, es sustituir en el punto: Ejemplo 2.1 2. 3. lim 1.
x2 +y 2 2 (x,y)(0,1) 1+x cos y

lim

1 1

= 1
2 2

(x,y)(2, )

[sin y 3 cos(yx)] = [sin 3 cos(2 )] = [0 3] = 9 x2 y 3 (z + 2) 4 = 12 (1)3 2 4 = 2 4 = 6

(x,y,z )(1,1,0)

lim

Consideremos una funcin real de varias variables f : Rn R y x0 = (a1 , a2 , ..., an ) un punto de acumulacin de (recordemos que esto se da cuando toda bola centrada en x0 contiene innitos puntos de ; en adelante cuando estudiemos el lmite en un punto siempre supondremos que estamos con un punto de acumulacin). Diremos que L R es el lmite de f cuando x = (x1 , x2 , ..., xn ) tiende hacia x0 a travs de (tambin se dice que es el lmite restringido a ) cuando (de modo intuitivo) al aproximarnos al punto x0 por puntos x el valor de la funcin f (x) se aproxima a L. Esto lo denotaremos de alguna de las siguientes maneras
(x1 ,x2 ,...,xn )(a1 ,a2 ,...,an ),x

lim

f (x1 , x2 , ..., xn ) = L

xx0 ,x

lim

f (x) = L

lim f (x) = L x x0 x

Observacin 2.2 Rigurosamente hablando es preciso, como se indica anteriormente, slo para plantear la existencia del lmite de una funcin f en un punto x0 a travs de un conjunto , que dicho punto sea de acumulacin del conjunto. En lo sucesivo, aunque no hagamos mencin de tal detalle, cada vez que se plantee un lmite, supondremos que ocurrir as, es decir, el punto ser de acumulacin del conjunto, aunque no hagamos mencin expresa de ello. Es conveniente especicar claramente el conjunto en el que se toman los puntos a travs de los cuales pretendemos aproximarnos hacia x0 , pues la cosa puede variar si lo cambiamos. El caso ms 5

habitual es que pretendamos aproximarnos al punto x0 a travs del conjunto ms amplio posible, el dominio de la funcin, para el que pondremos
xx0

lim f (x) = L

y al que nos referiremos simplemente diciendo que L es el lmite de f cuando x tiende hacia x0 (como ocurra con lim x = 0 lim log x = , que podemos poner, respectivamente, lim x = 0 + + del conjunto {x : x > 0}). Veamos cmo puede cambiar la cosa si nos acercamos a travs de diversos conjuntos: Ejemplo 2.3 Dada la funcin 9x2 y 2 x2 + y 2 denida para todo punto excepto para el origen (0, 0), vamos a determinar el valor del lmite de la funcin cuando nos acercamos al origen, a travs de los siguientes conjuntos: f (x, y ) = 1. La recta y = x,
(x,y )(0,0),y=x x0

lim log x = , dando por hecho que el lmite slo puede hacerse por la derecha, es decir, a travs

x0

x0

x0

lim

9x2 y 2 9x2 x2 8x2 =lim =lim =4 x2 + y 2 x0 x2 + x2 x0 2x2 =lim

9x2 9x2 2 2 x0 x +9x

2. La recta y = 3x,

9x2 y2 2 2 (x,y )(0,0),y =3x x +y

lim

=lim

0 2 x0 10x

=lim 0 = 0
x0

3. La parbola x = y 2 ,
(x,y )(0,0),x=y 2

lim

9x2 y 2 9y 4 y 2 9y 2 1 = 1 =lim =lim x2 + y 2 y0 y 4 + y 2 y0 y 2 + 1

Nota: Puede ocurrir as (el lmite sale distinto, segn el conjunto que se tome para la aproximacin) en casos en los que al sustituir directamente no se obtenga un valor determinado En lo sucesivo, las propiedades que enunciemos acerca del lmite a travs del dominio podrn ser generalizadas para lmites a travs de algn conjunto . De modo similar se dene el lmite de una funcin vectorial de varias variables f : Rn Rm slo que L no es un nmero real sino un vector L = (L1 , L2 , ..., Lm ) Rm Para determinar la existencia del lmite de una funcin vectorial basta estudiar el lmite de sus funciones coordenadas. De este modo nos centraremos en estudiar lmites de funciones reales. Esto se debe al siguiente resultado: 6

Propiedad: Sea f = (f1 , f2 , ..., fm ) : Rn Rm las funciones coordenadas y x0 Rn . Se tiene que existe lim f (x) y vale L = (L1 , L2 , ..., Lm ) si y slo si existen los lmites de
xx0 xx0

lim f1 (x), lim f2 (x)..., lim fm (x)

xx0 xx0

y valen L1 ,..., Lm , respectivamente. En conclusin

xx0

lim f (x) = lim (f1 (x), f2 (x), ..., fm (x)) =

xx0

xx0

lim f1 (x), lim f2 (x), ..., lim fm (x)

xx0 xx0

Ejemplo 2.4

1. Para f : R3 R2 dada por

f (x, y, z ) = (x y + z 20, z tan[ ezy ]) 4 (x y + z 20, z tan[ ezy ]) = (x,y,z )(1,0,1) 4 lim z tan[ ezy ]) = (x,y,z )(1,0,1) 4 lim

se tiene que
(x,y,z )(1,0,1)

lim

f (x, y, z ) =

= (

(x,y,z )(1,0,1)

lim

[x y + z 20],

= (20, tan ) = (20, 1) 4 2.

(x,y )(3,0)

lim

3 1 1 x y1 , 5) = ( , , 5) = (3, , 5) , y e 3x 1 9 9

Tambin es posible que los lmites de funciones de varias variables sean innitos, generalizando la denicin dada para funciones reales de una variable. Ejemplo 2.5
x+1 (x,y)(0,0) y

lim

1 0

1+x ( x 2)2 +y 2 (x,y)(2,0)

lim

3 0

= +

(x,y )(1,3)

lim

3 (2y, x )= 1

2.1

Operaciones con lmites

Y al igual que ocurra para el caso de funciones reales de una variable real se tratan las operaciones usuales para las funciones de varias variables, siempre que tengan sentido. As: Propiedad: Sean f : Rn Rm y g : Rn Rm funciones para las que existe el lmite y es nito cuando la variable tiende a un punto x0 y sean y nmeros reales. Entonces
xx0

lim [f (x) g (x)] = lim f (x) lim g (x)

xx0 xx0

xx0

lim [f (x)] = lim f (x)

xx0

Adems en el caso en que m = 1 (es decir, cuando las funciones no son vectoriales sino reales) se tiene: Sean f, g : Rn R funciones para las que existe el lmite y es nito cuando la variable tiende a un punto x0 . Entonces lim [f (x) g (x)] = lim f (x) lim g(x)
xx0 xx0 xx0

xx0

xx0

lim

lim f (x) f (x) xx0 = g (x) lim g (x)

xx0

Adems, estos resultados tambin son vlidos para algunas situaciones de las distintas de las anteriores, como algunas en las que interviene algn innito (de modo anlogo a como ocurra para funciones de una variable: ver la Seccin Operaciones Simblicas del Tema 8): Ejemplo 2.6
(x,y )(0,1)

(esto ltimo tiene sentido si lim g(x) 6= 0).

lim

e x2 = e = 0

Nos planteamos ahora la relacin existente entre los lmites a travs de diferentes conjuntos. Y entonces se cumple que: Para que el lmite exista deben coincidir todos los lmites planteados a travs de todos los conjuntos posibles. Ejemplo 2.7 La funcin g (x, y ) = xy x+y

denida en todo punto posible no tiene lmite en el punto (0, 0) pues a travs del conjunto 0 = {(x, x) : x R} = {(x, y ) : y = x} su lmite existe y vale 0 y a travs del conjunto 00 = {(x, 2x) : x R} = {(x, y ) : y = 2x} su lmite existe y vale 1 . 3

2.2

Lmites direccionales

A la hora de estudiar el lmite de una funcin de dos variables mediante lmites a travs de algunos conjuntos es tpico considerar conjuntos del tipo rectas, parbolas y en general curvas de algunas de las formas y = g(x) x = h(y ) 8

Una situacin especial es el caso de los lmites a travs de rectas que contienen al punto, denominados tambin lmites direccionales. Estas rectas, como ya sabemos, son las de la forma y b = m(x a) junto con la recta vertical x = a Notemos que la existencia de los lmites direccionales no garantiza la existencia del lmite, ni siquiera cuando todos ellos coinciden. Lo ms que se puede decir es lo siguiente: Consecuencia: Si no existe algn lmite direccional o al menos dos de ellos son distintos entonces no existe el lmite (a travs del dominio). Nota: Como comentamos anteriormente se puede generalizar el resultado anterior y deducir que si el lmite a travs de al menos dos conjuntos da un valor distinto (pueden ser dos direccionales, dos no direccionales o uno direccional y otro no direccional) entonces el lmite no existe. Ejemplo 2.8 Calcular los lmites direccionales de la funcin x2 y 2 x2 + 2y 2 en el punto (0, 0). stos son
x2 y2 2 +2y 2 x (x,y )(0,0),y =mx

lim

x2 m2 x2 1m2 2 +2m2 x2 =lim 1+2m2 x x0 x0 x2 y2 y 2 1 lim 2 2 =lim 2y 2 = 2 y0 (x,y )(0,0),x=0 x +2y

=lim

1m2 1+2m2

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que dieren (basta observar que hay lmites direccionales distintos: por ejemplo el ltimo lmite, que vale 1 ,y 2 alguno de los otros; por ejemplo para m = 0, cuyo valor es 1 para m = 1, cuyo valor es 0).
1 Ejemplo 2.9 Calcular los lmites direccionales de la funcin x en el punto (1, 2). y +2 stos son x1 1 1 1 lim =lim mx =lim m =m y+2 (x1) (x,y )(1,2),y +2=m(x1) x1 lim (x,y )(1,2),x=1 y +2 0 = lim y+2 y2 x1 x1

= lim 0 = 0
y2

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que dieren (por ejemplo para m = 1 da 1 y para m = 3 da 1 ; incluso hay uno que da , para m = 0). 3 Ejemplo 2.10 Comprobar que no existe el siguiente lmite
(x,y )(0,0)

lim

xy 2 x2 + y 4

Ver que los lmites direccionales, a pesar de ser todos iguales, resultan distintos del lmite a travs del conjunto x = y 2 . Los lmites direccionales valen
xy 2 2 +y 4 x (x,y)(0,0),y=mx

lim

xm2 x2 x3 m2 xm2 2 4 4 =lim x2 (1+m4 x2 ) =lim 1+x2 m4 x0 x +m x x0 x0 xy 2 0y2 0 lim 2 +y 4 =lim y 4 =lim y 4 =lim 0 = 0 x y 0 y 0 y0 (x,y )(0,0),x=0

=lim

0 1

=0

y el lmite a travs del conjunto mencionado es

(x,y )(0,0),x=y 2

lim

xy 2 y2y2 y4 1 1 =lim 4 =lim 4 =lim = 2 4 4 y 0 y 0 y 0 x +y y +y 2y 2 2

2.3

Cambio a coordenadas polares en R2

f : R2 R

Supongamos que tenemos una funcin para la que planteamos el lmite en un punto x0 = (a, b). Para hacer el lmite
(x,y )(a,b)

lim

f (x, y )

podemos probar haciendo el cambio de variable x = a + cos y = b + sin El caso ms sencillo y el que ms habitualmente vamos a utilizar es cuando a = 0, b = 0, es decir, cuando estamos con el punto (0, 0), en el que queda as la cosa x = cos y = sin Concretamente se tiene la siguiente relacin: Propiedad: Si no existe el lmite
0

lim f (a + cos , b + sin ) = L

o este valor, L, depende de [0, 2[, entonces no existe el lmite

(x,y )(a,b)

lim

f (x, y ) = L

En el apndice gura una condicion terica adicional que permite garantizar en determinados casos la existencia del lmite inicial (en coordenadas cartesianas). Ejemplo 2.11 Para la funcin g (x, y ) = en el punto (0, 0), se tiene que como 22 cos2 + 32 sin2 23 sin3 ]= lim g ( cos , sin ) =lim [ 0 0 2 cos2 + 2 sin2 2 (2 cos2 + 3 sin2 2 sin3 ) ]= =lim [ 0 2 (cos2 + sin2 ) =lim [2 cos2 + 3 sin2 2 sin3 )] = 2 cos2 + 3 sin2
0

2x2 + 3y 2 2y 3 x2 + y 2

depende de , entonces no existe el lmite

(x,y )(0,0)

lim

g (x, y ).

10

Observacin 2.12 A veces las expresiones que salen dependientes de pueden realmente no serlo. Imaginemos que sale cos2 + sin2 que vale constantemente 1. Pero no es el caso anterior. Si no se tiene claro lo mejor es darle unos cuantos valores a y ver que salen diferentes resultados. En el ltimo ejemplo si en la expresin 2 cos2 + 3 sin2 le damos el valor = 0 nos da 2 y si le damos el valor = nos da 3. 2 Ejemplo 2.13 Pasemos el siguiente lmite
(x,y )(0,1)

lim

x3 x2 + (y 1)2

a coordenadas polares x = cos y = 1 + sin

L = lim

( cos )3 3 cos3 =lim = 0 ( cos )2 + (1 + sin 1)2 0 2 cos2 + 2 sin2 3 cos3 = lim 2 =lim cos3 = 0 0 (cos2 + sin2 ) 0

Nota: Este lmite s existe, como puede consultarse en el apndice. Ejemplo 2.14 Estudiemos el lmite de la funcin h(x, y ) = en el origen, en coordenadas polares. Se tiene que
0

xy 2 x2 + y 4

lim h( cos , sin ) =lim

cos 2 sin2 3 cos sin2 cos sin2 =lim =lim =0 2 cos2 + 4 sin4 0 2 (cos2 + 2 sin4 ) 0 cos2 + 2 sin4 @ lim h(x, y )

Puede verse en el ejemplo 2.10 que

(x,y)(0,0)

Ejercicio 2.15 Estudiar el valor del lmite

(x,y)(1,2)

lim

(2

(x + 1)3 ) (x + 1)2 + (y 2)4

en coordenadas polares x = 1 + cos y = 2 + sin Solucin: 2. 11

Continuidad de funciones de varias variables

La denicin de continuidad es enteramente anloga al caso de funciones de una variable real. Diremos que una funcin f es continua en un punto x0 cuando el punto est en el dominio, la funcin tiene lmite (nito) en el punto y el valor de la funcin y de su lmite en el punto coinciden. Es decir: 1) x0 Domf ( f (x0 )). 2) Existe el lmite de f en x0 (y es nito). 3) lim f (x) = f (x0 ). El estudio de la continuidad de una funcin en un punto se reduce fundamentalmente al estudio de la existencia y, en su caso, el valor del lmite de la funcin en el punto. Adems, al igual que pasaba con los lmites, el estudio de la continuidad de una funcin vectorial se reduce al de sus funciones coordenadas pues: Propiedad: Una funcin vectorial es continua si y slo si son continuas sus funciones coordenadas. Adems, las funciones usuales (constantes, polinomios, exponenciales, trigonomtricas, logaritmos, etc.) son funciones continuas en todo punto de su dominio. Tambin al igual que pasaba con las funciones de una variable real, las operaciones usuales que se hacen con funciones continuas dan como resultado una funcin continua: sumas, restas, multiplicacin por escalares, composicin de funciones, productos, cocientes con denominador no nulo, y otras operaciones usuales. As por ejemplo sern funciones continuas, en todo punto de su dominio, las siguientes: Ejemplo 3.1 1) f1 (x, y ) =
3xy+x6 e
x y

xx0

+ 5(x2 + 1)x (continua en {(x, y ) : y 6= 0}).

xy) log(x + y 2 ), etan(x+1) ) (continua en {(x, y ) : x + y 2 > 0, cos(x + 1) 6= 0}). 2) f2 (x, y ) = ( sin( x2 +y 2

Observacin 3.2 En ocasiones ocurre que por problemas de dominio no podemos plantear el lmite a travs de R2 , slo podemos plantearlo a travs del dominio. As ocurre por ejemplo con la funcin f (x, y ) = x y cuando planteamos la existencia del lmite en el punto (0, 0): ste slo puede plantearse a travs del dominio, que es el conjunto {(x, y ) : x y }. En este caso el resultado del lmite es 0. Entonces podemos interpretar que la funcin, que est denida en (0, 0) tomando el valor 0, es continua en dicho punto, por supuesto, continua a travs del dominio. Admitiremos pues dentro de la denicin de continuidad tal generalidad (que denominaremos continuidad a travs de un conjunto), especialmente en el caso en que el lmite lo realicemos a travs del dominio. A continuacin, y para nalizar el tema, damos la versin en varias variables del Teorema de Weierstrass que generaliza el caso de una variable: Teorema 3.3 Si f : Rn Rm es una funcin continua en Domf y es compacto entonces f () es tambin compacto. 12

Corolario 3.4 Si la funcin f : Rn R es continua en el conjunto compacto Domf , entonces existen x0 , y0 tales que f (x0 ) = max{f (x) : x } f (y0 ) = min{f (x) : x }

13