Tema 10: Lmites y continuidad de funciones de varias variables

1 Funciones de varias variables

Denicin 1.1 Llamaremos funcin real de varias variables a toda funcin f : Rn R. Y llamaremos funcin vectorial de n variables a toda funcin f : Rn Rm . (En ambos casos f es una funcin de n variables.) Ejemplo 1.2 i) f : R2 R dada por f (x, y ) = x2 y + ecos y log x 3. ii) f : R3 R dada por f (x, y, z ) = cos(x y 2) + z 5 1 tan(ex+y ). 2 2 x +x +...+x2 n n . iii) f : R R dada por f (x1 , x2 , ..., xn ) = e 1 2 iv) f : R3 R2 dada por f (x, y, z ) = (x y + z 20, z tan[ezy ]). v) f : R4 R5 dada por f (x, y, z, t) = (x y, x cos z, t2 + ey , 0, 3 xyzt). Observacin 1.3 Las funciones que aparecen en los apartados i), ii) y iii) son reales y las de iv) y v) son vectoriales. 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 , ..., 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 y 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 y 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 ... Domfm . 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 1

es todo Rn , as como en el ejemplo v). Finalmente en el ejemplo iv) el dominio est formado por 1 todos los puntos (x, y, z ) de R3 que verican cos(ezy ) 6= 0. Para la funcin f (x, y ) = cos( 2 ) x + y2 el dominio es todo R2 salvo el punto (0, 0) (observar que es el nico punto que hace nula la suma x2 + y 2 el dominio es {(x, y ) R2 tales que de cuadrados x2 + y 2 ). Para la funcin g(x, y ) = xy xy 6= 0}, en denitiva todo R2 salvo los ejes coordenados x = 0 e y = 0. Y el dominio de la funcin 2 f (x, y ) = ( x , log( x y ) , x2 1) es Domf = {(x, y ) Rn : y 6= 0, x y > 0, x2 1 0}. y 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 6 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 por excelencia. Una funcin vectorial de una variable f : R Rn , cuando n = 2, 3. En este caso tenemos la grca de una curva parametrizada en R2 R3 . sta es una situacin especial que se visualiza de otro modo que no vamos a ver aqu. Ejemplo 1.7 A continuacin vemos en primer lugar la grca de la supercie z = x2 + y 2 , y en segundo lugar la de la supercie z = x2 y 2 .

Debido a la complejidad existente en general a la hora de abordar el problema de la representacin grca de una supercie se hace necesario otro recurso que facilite en buena medida esta 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 ). 2

Ejemplo 1.8 Consideremos la esfera de ecuacin x2 + y 2 + z 2 = 1. Las curvas de nivel nos dan circunferencias (basta con sustituir z por una constante k en la ecuacin de la esfera).

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. Consideremos una funcin real de varias variables f : X Rn R y x0 = (a1 , a2 , ..., an ) un punto de acumulacin de X (recordemos que esto se da cuando toda bola centrada en x0 contiene innitos puntos de X ; 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 X (tambin se dice lmite restringido a X ), y lo denotaremos por
(x1 ,x2 ,...,xn )(a1 ,a2 ,...,an ),xX

lim

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

o abreviadamente por
xx0 ,xX

lim

f (x) = L,

o por lim f (x) = L, x x0 xX cuando para todo > 0 existe un > 0 de modo que si x B (x0 , ), x X , x 6= x0 , entonces |f (x) L| < . 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 , ..., Lm ) Rm , y entonces lo que debe ser menor que es la distancia entre f (x) y L (equivalentemente esto ltimo puede ponerse diciendo que f (x) B (L, )). Es conveniente especicar claramente el conjunto X 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 3

habitual es que pretendamos aproximarnos al punto x0 a travs del conjunto ms amplio posible, el dominio de la funcin, para el que pondremos lim f (x) = L y al que nos referiremos simplemente diciendo que L es el lmite de f cuando x tiende hacia x0 . 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
x2 +y2 2 (x,y )(0,1) 1+x cos y xx0

lim

1 1

= 1.

Veamos cmo puede cambiar la cosa si nos acercamos a travs de diversos conjuntos:
x y Ejemplo 2.2 Dada la funcin f (x, y ) = 9x 2 +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:
2 2

1. La recta y = x,

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

lim

=lim

9x2 x2 2 2 x0 x +x

=lim

8x2 2 2 x0 x

= 4; =lim 0 = 0.
x0

2. La recta y = 3x,

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

lim

=lim

9x2 9x2 2 2 x0 x +9x

=lim

0 2 x0 10x

3. La parbola x = y 2 ,

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

lim

9x2 y 2 x2 +y2

=lim

9y4 y 2 4 2 y0 y +y

=lim

9y 2 1 2 y 0 y +1

= 1.

Tambin es posible que los lmites de funciones de varias variables sean innitos, generalizando la denicin dada para funciones reales de una variable. Por ejemplo una funcin f : Rn R posee lmite + en x0 cuando para todo M existe un > 0 de modo que si x B (x0 , ), x 6= x0 , entonces f (x) > M (extendiendo la situacin al caso en que el lmite valga o ). En general, para una funcin f : Rn Rm pondremos que lim f (x) = cuando para todo M > 0 existe un > 0 de modo que si x B (x0 , ) x 6= x0 , entonces el mdulo norma del vector f (x) es mayor que M .
(x,y )(0,0) xx0

Ejemplo 2.3 Ejemplo 2.4

lim

x+1 y

1 0

= . =
3 0

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

= +.

2.1

Operaciones con lmites

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: Proposicin 2.5 Para una funcin f = (f1 , ..., fm ) : Rn Rm y un punto x0 , se tiene que existe lim f (x) y vale L = (L1 , L2 , ..., Lm ) si y slo si existen los lmites de las funciones coordenadas
xx0 xx0

lim f1 (x),..., lim fm (x) y valen L1 ,..., Lm , respectivamente.

xx0

Ejemplo 2.6 Para f : R3 R2 dada por f (x, y, z ) = (x y + z 20, z tan[ ezy ]), se tiene que 4
(x,y,z )(1,0,1)

lim

f (x, y, z ) =

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

=(

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

lim

[x y + z 20],

z tan[ ezy ]) = (20, tan ) = (20, 1). (x,y,z )(1,0,1) 4 4

Y al igual que ocurra para el caso de funciones reales de una variable real las se tratan las operaciones usuales para las funciones de varias variables, siempre que tengan sentido. As: Proposicin 2.7 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

Adems en el caso en que m = 1 (es decir, cuando las funciones no son vectoriales sino reales) se tiene: Proposicin 2.8 Sean f : Rn R y 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) y
xx0

lim

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

lim f (x)

xx0

xx0

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): Ejemplo 2.9
(x,y )(0,1)

lim

e x2 = e = 0.

Nos planteamos ahora la relacin existente entre los lmites a travs de diferentes conjuntos. Se tiene que: Proposicin 2.10 Dada una funcin f : X Rn Rm y dado x0 un punto de acumulacin de X , si lim f (x) existe y vale L entonces para todo conjunto X 0 X tal que x0 sea punto de
xx0 ,xX xx0 ,xX 0

acumulacin de X 0 se tiene que existe

lim

f (x) y vale L.

En el caso particular de que pretendamos realizar el lmite (a travs del dominio) obtenemos que si existe lim f (x) y vale L entonces para todo conjunto X 0 Domf tal que x0 es un punto de acumulacin de X 0 se tiene que existe
xx0 xx0 ,xX 0

lim

f (x) y vale L. Este resultado nos da un criterio

que proporciona nuevas situaciones en las que podemos armar que el lmite no existe: cuando el lmite a travs de un subconjunto no existe o bien cuando el lmite a travs de dos subconjuntos existe pero tiene valor distinto: 5

Corolario 2.11 Consideremos una funcin f : X Rn Rm y x0 un punto de acumulacin de X . 1. Si para algn conjunto X 0 X tal que x0 sea punto de acumulacin de X 0 se tiene que no existe lim 0 f (x), entonces no existe lim f (x).
xx0 ,xX xx0 ,xX

2. Si para ciertos conjuntos X 0 , X 00 X tales que x0 sea punto de acumulacin de ambos se tiene que existen lim 0 f (x) = L0 y lim 00 f (x) = L00 y L0 6= L00 , entonces no existe
xx0 ,xX

lim

f (x).

xx0 ,xX

xx0 ,xX

Ejemplo 2.12 El lmite y = 0, es decir lim

(x,y)(0,0) 3

lim

1 (y 3 + 1) cos x2 + no existe porque el lmite a travs del conjunto y2 x0

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

1 1 (y + 1) cos x2 + =lim cos x 2 no existe. y2

y Ejemplo 2.13 La funcin g (x, y ) = x denida en todo punto posible no tiene lmite en el punto x+y (0, 0) pues a travs del conjunto X = {(x, x) : x R} su lmite existe y vale 0 y a travs del conjunto X 0 = {(x, 2x) : x R} X su lmite existe y vale 1 . (Despus veremos que estos dos lmites 3 estarn englobados en los denominados lmites direccionales.)

A partir nicamente de la denicin no resulta fcil en general estudiar el lmite. Por ello se hacen necesarias algunas herramientas que nos aporten informacin acerca del lmite. Vamos precisamente en los siguientes apartados a tratar algunas de ellas.

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 la forma y = g (x) x = h(y ). 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: Corolario 2.14 Si no existe algn lmite direccional o al menos dos de ellos son distintos entonces no existe el lmite. Nota: Como ya vimos en el Corolario 2.11 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.15 Calcular los lmites direccionales de la funcin
2 2 (x,y )(0,0),y =mx x +2y

x2 y 2 x2 +2y 2

en el punto (0, 0). stos son =lim

y 2 2 y0 2y

lim

x2 y2

=lim

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). 6

2 2 2 x0 x +2m x

x2 m2 x2

=lim

2 x0 1+2m

1m2

1+2m2

1m2

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

lim

= 1 . 2

1 Ejemplo 2.16 Calcular los lmites direccionales de la funcin x en el punto (1, 1). stos son y+1 1 x1 1 0 x1 x1 lim =lim m(x1) =lim m = m y lim = lim y+1 = lim 0 = 0. y +1 y +1 (x,y )(1,1),y+1=m(x1) x1 x1 (x,y )(1,1),x=1 y 1 y1

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que dieren (incluso hay uno que da , para m = 0). Ejercicio 2.17 Comprobar que no existe el siguiente lmite
(x,y )(0,0)

lim

f (x, y ), donde f (x, y ) =

xy2 , x2 +y 4

denida para (x, y ) 6= (0, 0), viendo que los lmites direccionales a pesar de ser todos iguales resultan distintos del lmite a travs del conjunto x = y 2 .

2.3

Cambio a coordenadas polares en R2

Supongamos que tenemos una funcin f : R2 R para la que planteamos el lmite en un punto (a, b). Para hacer el lmite lim f (x, y ) podemos probar haciendo el cambio de variable
(x,y)(a,b)

x = a + cos y = b + sen 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 = sen Concretamente se tiene la siguiente relacin: Proposicin 2.18 Supongamos que lim f (a + cos , b + sen) = L y no depende de [0, 2 [.
0

Si existe una funcin real de una variable real F cumpliendo que lim F () = 0 y de modo que
0 (x,y )(a,b)

|f (a + cos , b + sen) L| F () para todo y todo [0, 2 [, entonces Ejemplo 2.19 Para la funcin f (x, y ) = lim f ( cos , sen) = lim [
x3 +x2 2y3 +y 2 x2 +y 2

lim

f (x, y ) = L.

en el punto (0, 0), se tiene que como

3 cos3 23 sen3 + 2 cos2 + 2 sen2 ]= 0 2 cos2 + 2 sen2 2 ( cos3 2sen3 + cos2 + sen2 ) = lim [ ]= 0 2 (cos2 + sen2 ) 2 ( cos3 2sen3 + 1) = lim [ ] =lim [ cos3 2sen3 + 1)] = 1 0 0 2 1

tomaremos F () = 3 y se tiene que lim F () =lim 3 = 0 y en efecto existe

0 0

para cualquier , nuestro candidato a lmite es L = 1 por lo que buscaremos una funcin F cumpliendo lo requerido. Como se tiene que |f (a + cos , b + sen) 1| = (cos3 2sen3 ) cos3 + 2sen3 + 2 = 3,
(x,y )(0,0)

lim

f (x, y ) = 1.

Ejemplo 2.20 Para la funcin g (x, y ) = lim g ( cos , sen) = lim [

0

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

en el punto (0, 0), se tiene que como

22 cos2 + 32 sen2 23 sen3 2 (2 cos2 + 3sen2 2sen3 ) [ ] =lim ]= 0 0 2 cos2 + 2 sen2 2 (cos2 + sen2 ) = lim [2 cos2 + 3sen2 2sen3 )] = 2 cos2 + 3sen2 ,
(x,y)(0,0)

depende de , entonces no existe el lmite

lim

g(x, y ).
x3 2 +(y 1)2 x (x,y )(0,1)

Ejemplo 2.21 Comprobemos la existencia del lmite

lim

(y hallemos su valor) calcu-

lando el lmite en coordenadas polares. En primer lugar vemos que el siguiente lmite no depende de , luego es nuestro candidato: L = lim ( cos )3 3 cos3 = =lim 0 ( cos )2 + (1 + sen 1)2 0 2 cos2 + 2 sen2 3 cos3 = lim 2 =lim cos3 = 0. 0 (cos2 + sen2 ) 0

Y como 3 3 ( cos ) ( cos ) = = cos3 0, L 0 ( cos )2 + (1 + sen 1)2 ( cos )2 + (sen)2 en efecto se tiene que Nota: Observemos que hemos tomado F () = . Ejemplo 2.22 Para la funcin h(x, y ) =
xy 2 x2 +y4 x3 2 +(y 1)2 x (x,y)(0,1)

lim

= 0.

se tiene que como

lim h( cos , sen) =lim

0

cos sen2 cos sen2 =lim =0 0 cos2 + 2 sen4 0 cos2

para cualquier , nuestro candidato a lmite es de nuevo L = 0. Pero ahora la bsqueda de F no resulta fructfera en este caso. De hecho como se propuso en el Ejercicio 2.17 se tiene que @ lim h(x, y ).
(x,y )(0,0)

Ejercicio 2.23 Comprobar la existencia del lmite en coordenadas polares. Solucin: 2.

(x,y )(1,2)

lim

(x+1) (2 (x+1) 2 +(y 2)4 ) calculando el lmite

2.4

Lmites iterados

Sea f : R2 R una funcin real de dos variables y (a, b) R2 . Llamaremos lmites iterados de f en el punto (a, b) a los siguientes lmites lim (lim f (x, y )) = L1 y lim (lim f (x, y )) = L2 . Observemos lo que hacemos, por ejemplo con el segundo lmite iterado: En primer lugar jamos la variable y (con valores prximos pero distintos a b) y hacemos que la variable x se aproxime al punto a. Si este 8
xa yb y b xa

lmite existe para todo valor de y posible (pero considerando y constante) entonces a la expresin dependiente de y resultante tenemos ahora que hacerle el lmite cuando y tiende hacia b. Los lmites iterados no tienen por qu existir. De hecho hay ejemplos en los que no existe ninguno o existe slo uno de los dos. Incluso aunque existan ambos no tienen por qu coincidir. Adems la existencia de stos no est determinada completamente por la existencia del lmite lim f (x, y ) = L ni viceversa. A este respecto lo que s podemos decir es lo siguiente:
(x,y)(a,b)

Proposicin 2.24 Supongamos que existe

alguno de los iterados L1 L2 con valor nito coincide con el lmite L. Lo que estamos diciendo es que si existen (con valor nito) L y L1 entonces L = L1 ; si existen (con valor nito) L y L2 entonces L = L2 ; y si existen (con valor nito) L, L1 y L2 entonces L = L1 = L2 . Esto nos proporciona el siguiente criterio que nos da una situacin en la que el lmite lim f (x, y ) no existe:
(x,y)(a,b)

(x,y )(a,b)

lim

f (x, y ) = L y es nito. Entonces si existe

Corolario 2.25 Si los lmites iterados existen con valor nito y no coinciden entonces no puede existir el lmite. Si existe alguno de los lmites iterados con valor nito y no coincide con el lmite a travs de algn subconjunto, entonces tampoco existe el lmite. Ejemplo 2.26 En los siguientes apartados todo se hace en el origen (0, 0): 1. Sea f (x, y ) =
x+y . xy x0 y 0 y =lim y0 y x0

Entonces los lmites iterados valen L1 =lim (lim f (x, y )) =lim (lim y L2 =lim (lim f (x, y ))
(x,y )(0,0)

lim

y 0

f (x, y ).

x0

+y =lim (lim x ) y 0 x0 xy

=lim 1 = 1. Entonces no puede existir

y0

x+y ) y 0 xy

=lim

x x0 x

=lim 1 = 1
x0

1 . 2. Sea f (x, y ) = x cos y

Entonces para los lmites iterados se cumple que 1 L1 =lim (lim f (x, y )) =lim (lim x cos ) = @ x0 y 0 x0 y0 y
1 (puesto que no existe lim x cos y )y y 0

1 L2 =lim (lim f (x, y )) =lim (lim x cos ) =lim 0 = 0 y 0 x0 y0 x0 y 0 y

1 = 0, porque estamos realizando el lmite del producto de una cantidad (puesto que lim x cos y

que tiende a cero, x, y otra que est acotada. Ahora bien, el lmite

x0

vale 0, ya que es el producto de una funcin que tiende a cero por otra que est acotada.

(x,y)(0,0)

lim

f (x, y ) s existe y

Ejemplo 2.27
y0

1. Entonces L1 =lim (lim f (x, y )) =lim (lim x 2y + 4) =lim x + 4 = 4 y

x0 y0 x0 y0 x0 x0 y0 x0 y0 (x,y )(0,0)

L2 =lim (lim f (x, y )) =lim (lim x 2y + 4) =lim 2y + 4 = 4. Ahora bien

lim

f (x, y )

no existe pues el lmite a travs del conjunto x = 0 (y tambin el lmite a travs del conjunto y = 0) vale 1 6= 4.
1 1 Ejercicio 2.28 Comprobar que la funcin f (x, y ) = (x + y )sen x sen y posee lmite en el origen pero los iterados no existen.

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 x0 Domf , existe el lmite de f en x0 (y es nito), y el valor de dicho lmite y el de f (x0 ) coinciden. 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: Proposicin 3.1 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.2 1. f1 (x, y ) =
3xy +x6 ey
x

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

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

Observacin 3.3 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 (continuidad a travs de un conjunto), especialmente en el caso en que el lmite lo realicemos a travs del dominio. 10

A continuacin, y para nalizar el tema, damos la versin en varias variables del Teorema de Weirstrass que generaliza el caso de una variable: Teorema 3.4 Si f : X Rn Rm es una funcin continua en X Domf y X es compacto entonces f (X ) es tambin compacto. Corolario 3.5 Si f : X Rn R es una funcin continua en X Domf y X es compacto entonces existen x0 , y0 X tales que max{f (x) : x X } = f (x0 ) y min{f (x) : x X } = f (y0 ).

Resumen de los recursos ms utilizados para estudiar el lmite de una funcin real de dos variables
1. Recursos directos Para resolver diversos lmites podemos utilizar mtodos o frmulas que se basan en propiedades ya conocidas. ste es el caso de las equivalencias vistas para funciones de una variable. O tambin de otro tipo de propiedades, como por ejemplo de la que dice que el producto de una cantidad que tiende a cero por otra acotada tiende a cero. 2. Lmites a travs de conjuntos. Lmites direccionales Si existe el lmite (a travs del dominio) entonces existen el lmite a travs de cualquier conjunto, incluidos los lmites direccionales. Por ello si no existe el lmite a travs de algn conjunto (por ejemplo si no existe algn lmite direccional) entonces no puede existir el lmite (a travs del dominio). Tambin se obtiene la misma conclusin (es decir, no existe el lmite, a travs del dominio) si al menos a travs de dos conjuntos existe el lmite con distinto valor (sean stos lmites direccionales o no). Aunque todos los lmites direccionales sean iguales, o aunque los lmites a travs de diversos conjuntos coincidan (y coincidan con los direccionales) no podemos deducir de ello la existencia del lmite (a travs del dominio). 3. Lmites en coordenadas polares Si realizamos el cambio a coordenadas polares, y el lmite en estas nuevas coordenadas existe y es independiente del valor del ngulo (adems de los detalles concernientes a la existencia de cierta funcin F ), entonces tendremos que existe el lmite inicial. Como ya sabemos los detalles sobre la mencionada funcin F se reeren a que la diferencia entre la funcin inicial expresada en coordenadas polares y el posible lmite debe estar acotada por una cantidad independiente del ngulo que tienda a cero. En el caso de que el lmite en coordenadas polares dependa del ngulo o no exista podremos decir que el lmite inicial no existe. 4. Lmites iterados La existencia o no de alguno de los lmites iterados no implica la existencia o no del lmite, ni viceversa. Lo nico que podemos armar es que si existe el lmite y alguno de stos (ambos con 11

valor nito) entonces coinciden. Una situacin en la que podemos concluir algo es el caso en que existen los dos lmites iterados (con valor nito) y son distintos. En este caso el lmite no puede existir. Tambin se obtiene la misma conclusin si existe alguno de los lmites iterados (con valor nito) y el lmite a travs de algn conjunto (como algn direccional) y tienen valores distintos.

5
5.1

Apndice
Lmites mediante equivalencias

Este primer recurso se basa en el mismo argumento que vimos para las funciones de una variable (y para las sucesiones): se pueden reemplazar en el lmite funciones por otras equivalentes, siempre que stas aparezcan multiplicando o dividiendo a toda la expresin. De hecho en la mayora de las ocasiones haremos uso de las equivalencias que ya conocamos para funciones de una variable. Adems, igual que en aquel caso tambin podremos obtener equivalencias cuando estudiemos el polinomio de Taylor para funciones de varias variables. Ejemplo 5.1 Supongamos que pretendemos estudiar el lmite lim sen(x2 + y 2 ) log(2 x) . x2 + y 2

(x,y)(0,0)

Entonces aplicando la equivalencia conocida sent ' t cuando t tiende a 0 se tiene que sen(x2 + y 2 ) ' x2 + y 2 si esta expresin tiende a 0, lo cual ocurre cuando (x, y ) tiende a (0, 0). Por tanto el lmite anterior (x2 +y2 )log(2x) vale lim = lim log(2 x) = log 2. x2 +y 2
(x,y)(0,0) (x,y )(0,0)

Ejemplo 5.2

es producto de una funcin que tiende a 0 y otra acotada).

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

lim

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

lim

(x,y )(0,2)

lim

1 xsen( y+2 ) = 0 (ya que

12