03.04.2014 Views

Tema 12: Funciones de varias variables y funciones vectoriales

Tema 12: Funciones de varias variables y funciones vectoriales

Tema 12: Funciones de varias variables y funciones vectoriales

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Tema</strong> <strong>12</strong>: <strong>Funciones</strong> <strong>de</strong> <strong>varias</strong> <strong>variables</strong> y <strong>funciones</strong> <strong>vectoriales</strong>.<br />

Límites y continuidad<br />

1 <strong>Funciones</strong> <strong>de</strong> <strong>varias</strong> <strong>variables</strong><br />

Observación 1.1 Conviene repasar,enestepunto,lodadoenel<strong>Tema</strong>6paratopología en R n :<br />

bolas, puntos interiores y <strong>de</strong> acumulación, conjuntos abiertos, cerrados, actados y compactos, en<br />

especial en el plano R 2 y en el espacio tridimensional R 3 .<br />

Definición 1.2 Llamaremos función real <strong>de</strong> <strong>varias</strong> <strong>variables</strong> (o campo escalar) a toda función<br />

f : R n → R<br />

Y llamaremos función vectorial <strong>de</strong> <strong>varias</strong> <strong>variables</strong> (o campo vectorial) a toda función<br />

f : R n → R m<br />

En ambos casos se dice que f es una función <strong>de</strong> n <strong>variables</strong>.<br />

Ejemplo 1.3<br />

i) f : R 2 → R dada por<br />

f(x, y) =x 2 y + e cos y log x − 3<br />

es una función real <strong>de</strong> 2 <strong>variables</strong>.<br />

ii) f : R 3 → R dada por<br />

f(x, y, z) =cos(x − y − 2) + √ z 5 − 1tan(e x+y )<br />

es una función real <strong>de</strong> 3 <strong>variables</strong>.<br />

iii) f : R n → R dada por<br />

√<br />

x<br />

f(x 1 ,x 2 , ..., x n )=e<br />

2 1 +x2 2 +...+x2 n<br />

es una función real <strong>de</strong> n <strong>variables</strong>.<br />

iv) f : R 3 → R 2 dada por<br />

f(x, y, z) =(x − y + z − 20,ztan[e zy ])<br />

es una función vectorial <strong>de</strong> 3 <strong>variables</strong> y 2 coor<strong>de</strong>nadas.<br />

v) f : R 4 → R 5 dada por<br />

f(x, y, z, t) =(x − y, xcos z, t 2 + e y , 0, 3 − xyzt)<br />

es una función vectorial <strong>de</strong> 4 <strong>variables</strong> y 5 coor<strong>de</strong>nadas.<br />

1


Definición 1.4 Sea f : R n → R m (una función vectorial). Llamaremos <strong>funciones</strong> coor<strong>de</strong>nadas<br />

<strong>de</strong> f a las <strong>funciones</strong><br />

f 1 ,f 2 , ..., f m : R n → R<br />

que verifican que<br />

f(x 1 ,x 2 ,...,x n )=(f 1 (x 1 ,x 2 , ..., x n ),f 2 (x 1 ,x 2 , ..., x n ), ..., f m (x 1 ,x 2 ,...,x n ))<br />

En esta situación pondremos<br />

f =(f 1 ,f 2 , ..., f m )<br />

Observación 1.5 Para el ejemplo iv) anterior se tiene que<br />

f : R 3 → R 2<br />

tiene por <strong>funciones</strong> coor<strong>de</strong>nadas<br />

f 1 ,f 2 : R 3 → R<br />

dadas por<br />

f 1 (x, y, z) = x − y + z − 20<br />

f 2 (x, y, z) = z tan[e xy ]<br />

Para el ejemplo v) anterior se tiene que<br />

f : R 4 → R 5<br />

tiene por <strong>funciones</strong> coor<strong>de</strong>nadas<br />

f 1 ,f 2 ,f 3 ,f 4 ,f 5 : R 4 → R<br />

dadas por<br />

f 1 (x, y, z, t) =x − y f 2 (x, y, z, t) =x cos z f 3 (x, y, z, t) =t 2 + e y<br />

f 4 (x, y, z, t) =0<br />

f 5 (x, y, z, t) =3− xyzt<br />

Igual que en el caso <strong>de</strong> <strong>funciones</strong> reales <strong>de</strong> una variable real (f : R → R) seentien<strong>de</strong>pordominio<br />

<strong>de</strong> una función <strong>de</strong> <strong>varias</strong> <strong>variables</strong> al conjunto <strong>de</strong> puntos <strong>de</strong> R n en el cual tienen sentido todas las<br />

expresiones que <strong>de</strong>finen a la función. Si f =(f 1 ,f 2 ,...,f m ) es una función vectorial se tiene a<strong>de</strong>más<br />

que<br />

Domf = Domf 1 ∩ Domf 2 ∩ ... ∩ Domf m<br />

De todos modos, al igual que ocurría con <strong>funciones</strong> reales <strong>de</strong> variable real, el dominio pue<strong>de</strong> estar<br />

restringido sin necesidad <strong>de</strong> ser el dominio máximo posible.<br />

2


Observación 1.6 En el ejemplo i) anterior el dominio está formado por todos los puntos (x, y) que<br />

cumplen que x>0.<br />

En el ejemplo ii) el dominio está formado por todos los puntos (x, y, z) <strong>de</strong> R 3 que verifican<br />

z 5 − 1 ≥ 0 y cos(e x+y ) 6= 0, simultáneamente.<br />

En el ejemplo iii) el dominio es todo R n , así como en el ejemplo v).<br />

Finalmente en el ejemplo iv) el dominio está formado por todos los puntos (x, y, z) <strong>de</strong> R 3 que<br />

verifican cos(e zy ) 6= 0.<br />

Eldominio<strong>de</strong>lafunción<br />

1<br />

f(x, y) =cos(<br />

x 2 + y ) 2<br />

es todo R 2 salvo el punto (0, 0) (observar que es el único punto que hace nula la suma <strong>de</strong> cuadrados<br />

x 2 + y 2 ).<br />

Para la función<br />

g(x, y) = x2 + y 2<br />

xy<br />

el dominio es<br />

Domg = {(x, y) ∈ R 2 tales que xy 6= 0},<br />

en <strong>de</strong>finitiva todo R 2 salvo los ejes coor<strong>de</strong>nados x =0e y =0.<br />

Y el dominio <strong>de</strong> la función h(x, y) =( x2<br />

y , log(x − y), √ x 2 − 1) es<br />

Domh = {(x, y) ∈ R n : y 6= 0,x− y>0,x 2 − 1 ≥ 0}<br />

La gráfica <strong>de</strong> una función f : R n → R m es el siguiente conjunto <strong>de</strong> puntos <strong>de</strong> R n+m<br />

{(x 1 ,x 2 , ..., x n ,f(x 1 ,x 2 , ..., x n )) ∈ R n+m :(x 1 ,x 2 ,...,x n ) ∈ Domf}<br />

Casos don<strong>de</strong> pue<strong>de</strong> visualizarse la gráfica:<br />

• Una función real <strong>de</strong> variable real f : R → R. Enestecasolagráfica es una curva en R 2 ,que<br />

está formada por todos los puntos <strong>de</strong> la forma (x, f(x)), don<strong>de</strong> x recorre el dominio <strong>de</strong> f. Ésta<br />

es la situación que hemos analizado en el <strong>Tema</strong> 6 <strong>de</strong> la asignatura.<br />

• Una función real <strong>de</strong> dos <strong>variables</strong> f : R 2 → R. En este caso la gráfica es una superficie, que<br />

estáformadaportodoslospuntos<strong>de</strong>laforma(x, y, f(x, y)), don<strong>de</strong>(x, y) recorre el dominio<br />

<strong>de</strong> f. Ésta será la situación que analizaremos en el presente tema y en los restantes.<br />

• Una función vectorial <strong>de</strong> una variable f : R → R n , cuando n =2, 3. En este caso tenemos lo<br />

que se <strong>de</strong>nomina una curva parametrizada en R 2 ó R 3 . Ésta es una situación especial que se<br />

visualiza <strong>de</strong> otro modo que no vamos a tratar con <strong>de</strong>talle aquí.<br />

3


A continuación vemos algunas superficies (aquí están dadas mediante una ecuación implícita):<br />

Esfera x 2 + y 2 + z 2 =1 Cilindro x 2 + y 2 =1 Cono z 2 = x 2 + y 2<br />

Parabolio<strong>de</strong> z = x 2 + y 2 Silla <strong>de</strong> montar z = x 2 − y 2 Toro z 2 =1− ( p x 2 + y 2 − 2) 2<br />

La figura ocho Una espiral La hélice circular<br />

Debido a la complejidad existente en general a la hora <strong>de</strong> abordar el problema <strong>de</strong> la representación<br />

gráfica <strong>de</strong> una superficie z = f(x, y) se hace necesario otro recurso que facilite en buena medida esta<br />

4


labor. Así po<strong>de</strong>mos utilizar las curvas <strong>de</strong> nivel, que son las proyecciones sobre el plano OXY <strong>de</strong> los<br />

puntos <strong>de</strong> la superficie que están a cierta altura constante (para cada altura k al hacer la proyección<br />

sobre el plano OXY <strong>de</strong> la superficie obtenemos la curva <strong>de</strong> nivel {(x, y) :f(x, y) =k). Algunas<br />

pinceladas sobre esto comentaremos en el apéndice.<br />

2 Límite<strong>de</strong><strong>funciones</strong><strong>de</strong><strong>varias</strong><strong>variables</strong><br />

La i<strong>de</strong>a intuitiva <strong>de</strong> límite es similar a la <strong>de</strong>l caso <strong>de</strong> <strong>funciones</strong> reales <strong>de</strong> una variable real, con las<br />

generalizaciones correspondientes.<br />

Consi<strong>de</strong>remos una función real <strong>de</strong> <strong>varias</strong> <strong>variables</strong><br />

f : Ω ⊆ R n → R<br />

y x 0 =(a 1 ,a 2 , ..., a n ) un punto <strong>de</strong> acumulación <strong>de</strong> Ω (recor<strong>de</strong>mos que esto se da cuando toda bola<br />

centrada en x 0 contiene infinitos puntos <strong>de</strong> Ω; en a<strong>de</strong>lante cuando estudiemos el límite en un punto<br />

siempre supondremos que estamos con un punto <strong>de</strong> acumulación).<br />

Diremos que L ∈ R es el límite <strong>de</strong> f cuando x =(x 1 ,x 2 , ..., x n ) tien<strong>de</strong> hacia x 0 através<strong>de</strong><br />

Ω (también se dice que es el límite restringido a Ω) cuando (<strong>de</strong> modo intuitivo) al aproximarnos<br />

al punto x 0 por puntos x ∈ Ω el valor <strong>de</strong> la función f(x) se aproxima a L.<br />

Esto lo <strong>de</strong>notaremos <strong>de</strong> alguna <strong>de</strong> las siguientes maneras<br />

lim f(x 1,x 2 , ..., x n )=L lim f(x) =L lim<br />

(x 1 ,x 2 ,...,x n )→(a 1 ,a 2 ,...,a n ),x∈Ω x→x 0 ,x∈Ω<br />

x → x 0<br />

x ∈ Ω<br />

f(x) =L<br />

Observación 2.1 Rigurosamentehablandoespreciso,comoseindicaanteriormente,sóloparaplantear<br />

la existencia <strong>de</strong>l límite <strong>de</strong> una función f en un punto x 0 através<strong>de</strong>unconjuntoΩ, quedicho<br />

punto sea <strong>de</strong> acumulación <strong>de</strong>l conjunto. En lo sucesivo, aunque no hagamos mención <strong>de</strong> tal <strong>de</strong>talle,<br />

cada vez que se plantee un límite, supondremos que ocurrirá así, es <strong>de</strong>cir, el punto será <strong>de</strong><br />

acumulación <strong>de</strong>l conjunto, aunque no hagamos mención expresa <strong>de</strong> ello.<br />

Es conveniente especificar claramente el conjunto Ω enelquesetomanlospuntosatravés<strong>de</strong>los<br />

cuales preten<strong>de</strong>mos aproximarnos hacia x 0 , pues la cosa pue<strong>de</strong> variar si lo cambiamos. El caso más<br />

habitual es que pretendamos aproximarnos al punto x 0 a través <strong>de</strong>l conjunto más amplio posible, el<br />

dominio <strong>de</strong> la función, para el que pondremos<br />

lim f(x) =L<br />

x→x 0<br />

y al que nos referiremos simplemente diciendo que L es el límite <strong>de</strong> f cuando x tien<strong>de</strong> hacia x 0 (como<br />

√ √<br />

ocurría con lim x =0ó lim log x = −∞, que po<strong>de</strong>mos poner, respectivamente, lim x =0ó<br />

x→0 +<br />

x→0 +<br />

x→0<br />

lim<br />

x→0<br />

log x = −∞, dando por hecho que el límite sólo pue<strong>de</strong> hacerse por la <strong>de</strong>recha, es <strong>de</strong>cir, a través<br />

<strong>de</strong>l conjunto {x : x>0}).<br />

5


En lo sucesivo, las propieda<strong>de</strong>s que enunciemos acerca <strong>de</strong>l límite a través <strong>de</strong>l dominio podrán ser<br />

generalizadas para límites a través <strong>de</strong> algún conjunto Ω.<br />

De modo similar se <strong>de</strong>fine el límite <strong>de</strong> una función vectorial <strong>de</strong> <strong>varias</strong> <strong>variables</strong><br />

sólo que L no es un número real sino un vector<br />

f : R n → R m<br />

L =(L 1 ,L 2 , ..., L m ) ∈ R m<br />

y entonces lo que <strong>de</strong>be ser inferior que ε es la distancia entre f(x) y L (esto último pue<strong>de</strong> escribirse<br />

<strong>de</strong> modo equivalente diciendo que f(x) ∈ B(L, ε)).<br />

En principio la i<strong>de</strong>a inicial que tenemos <strong>de</strong> límite consiste, como ocurría para las <strong>funciones</strong> reales<br />

<strong>de</strong> una variable, es sustituir en el punto:<br />

x<br />

Ejemplo 2.2 1. lim<br />

2 +y 2 −2<br />

= −1 = −1<br />

(x,y)→(0,1)<br />

1+x cos y 1<br />

2. lim<br />

(x,y)→(−2,π) [sin y − 3cos(yx)]2 =[sinπ − 3cos(−2π)] 2 =[0− 3] 2 =9<br />

3. lim<br />

(x,y,z)→(1,−1,0) x2 y 3 (z +2)− 4=1 2 (−1) 3 · 2 − 4=−2 − 4=−6<br />

4. lim<br />

(x,y)→(3,0) ( x e y , y−1<br />

3x , 5) = ( 3 1 , −1<br />

9 , 5) = (3, − 1 9 , 5)<br />

Veamos cómo pue<strong>de</strong> cambiar la cosa si nos acercamos a través <strong>de</strong> diversos conjuntos:<br />

Ejemplo 2.3 Dada la función<br />

f(x, y) = 9x2 − y 2<br />

x 2 + y 2<br />

<strong>de</strong>finida para todo punto excepto para el origen (0, 0), vamos a <strong>de</strong>terminar el valor <strong>de</strong>l límite <strong>de</strong> la<br />

función cuando nos acercamos al origen, a través <strong>de</strong> los siguientes conjuntos:<br />

1. La recta y = x,<br />

2.<br />

3. La parábola x = y 2 ,<br />

9x 2 − y 2<br />

lim<br />

(x,y)→(0,0),y=x x 2 + y 2<br />

9x 2 − y 2<br />

lim<br />

(x,y)→(0,0),y=3x x 2 + y 2<br />

9x 2 − y 2<br />

lim<br />

(x,y)→(0,0),x=y 2 x 2 + y 2<br />

=lim 9x 2 − x 2<br />

x→0 x 2 + x 2<br />

=lim 9x 2 − 9x 2<br />

x→0 x 2 +9x 2<br />

=lim 9y 4 − y 2<br />

y→0 y 4 + y 2<br />

=lim<br />

x→0<br />

=lim 8x 2<br />

x→0 2x =4 2<br />

0<br />

10x 2 =lim<br />

x→0 0=0<br />

=lim 9y 2 − 1<br />

y→0 y 2 +1 = −1<br />

Nota: Pue<strong>de</strong> ocurrir así (el límite sale distinto, según el conjunto que se tome para la aproximación)<br />

en casos en los que al sustituir directamente no se obtenga un valor <strong>de</strong>terminado<br />

6


También es posible que los límites <strong>de</strong> <strong>funciones</strong> <strong>de</strong> <strong>varias</strong> <strong>variables</strong> sean infinitos, generalizando<br />

la <strong>de</strong>finición dada para <strong>funciones</strong> reales <strong>de</strong> una variable.<br />

Ejemplo 2.4<br />

x+1<br />

lim = 1 = ∞ lim<br />

(x,y)→(0,0)<br />

y 0<br />

(x,y)→(2,0)<br />

2.1 Operaciones con límites<br />

1+x<br />

= 3 =+∞ lim (2y, 3<br />

)=∞<br />

(x−2) 2 +y 2 0<br />

(x,y)→(1,−3)<br />

x−1<br />

Para <strong>de</strong>terminar la existencia <strong>de</strong>l límite <strong>de</strong> una función vectorial basta estudiar el límite <strong>de</strong> sus<br />

<strong>funciones</strong> coor<strong>de</strong>nadas. De este modo nos centraremos en estudiar límites <strong>de</strong> <strong>funciones</strong> reales. Esto<br />

se <strong>de</strong>be al siguiente resultado:<br />

Propiedad: Sea<br />

f =(f 1 ,f 2 , ..., f m ):R n → R m<br />

y x 0 ∈ R n . Se tiene que existe lim f(x) yvaleL =(L 1 ,L 2 , ..., L m ) si y sólo si existen los límites <strong>de</strong><br />

x→x0<br />

las <strong>funciones</strong> coor<strong>de</strong>nadas<br />

lim f 1 (x), lim f 2 (x)..., lim f m (x)<br />

x→x 0 x→x0 x→x0<br />

yvalenL 1 ,..., L m , respectivamente. En conclusión<br />

µ<br />

<br />

lim f(x) =lim (f 1 (x),f 2 (x), ..., f m (x)) =<br />

x→x 0 x→x0<br />

lim f 1 (x), lim f 2 (x), ..., lim f m (x)<br />

x→x 0 x→x0 x→x0<br />

Ejemplo 2.5 Para f : R 3 → R 2 dada por<br />

se tiene que<br />

lim<br />

(x,y,z)→(1,0,−1)<br />

f(x, y, z) =(x − y + z − 20,ztan[ π 4 ezy ])<br />

f(x, y, z) = lim (x − y + z − 20,ztan[π (x,y,z)→(1,0,−1) 4 ezy ]) =<br />

= ( lim<br />

(x,y,z)→(1,0,−1)<br />

[x − y + z − 20], lim z tan[π (x,y,z)→(1,0,−1) 4 ezy ]) =<br />

=(−20, − tan π )=(−20, −1)<br />

4<br />

Y al igual que ocurría para el caso <strong>de</strong> <strong>funciones</strong> reales <strong>de</strong> una variable real se tratan las operaciones<br />

usuales para las <strong>funciones</strong> <strong>de</strong> <strong>varias</strong> <strong>variables</strong>, siempre que tengan sentido. Así:<br />

Propiedad: Sean f : R n → R m y g : R n → R m <strong>funciones</strong> para las que existe el límite y es finito<br />

cuando la variable tien<strong>de</strong> a un punto x 0 y sean α y β números reales. Entonces<br />

lim [f(x) ± g(x)] = lim f(x)± lim g(x)<br />

x→x 0 x→x0 x→x0<br />

lim [αf(x)] = α lim f(x)<br />

x→x0 x→x0<br />

7


A<strong>de</strong>más en el caso en que m =1(es <strong>de</strong>cir, cuando las <strong>funciones</strong> no son <strong>vectoriales</strong> sino reales) se<br />

tiene:<br />

Sean f,g : R n → R <strong>funciones</strong> para las que existe el límite y es finito cuando la variable tien<strong>de</strong> a<br />

un punto x 0 .Entonces<br />

lim [f(x) · g(x)] = lim f(x)· lim g(x)<br />

x→x 0 x→x0 x→x0<br />

lim<br />

x→x0<br />

lim<br />

f(x)<br />

g(x) = lim g(x)<br />

x→x 0<br />

x→x0<br />

f(x)<br />

(esto último tiene sentido si lim<br />

x→x0<br />

g(x) 6= 0).<br />

A<strong>de</strong>más, estos resultados también son válidos para algunas situaciones <strong>de</strong> las distintas <strong>de</strong> las<br />

anteriores, como algunas en las que interviene algún infinito (<strong>de</strong> modo análogo a como ocurría para<br />

<strong>funciones</strong> <strong>de</strong> una variable: ver la Sección ”Operaciones Simbólicas” <strong>de</strong>l <strong>Tema</strong> 6):<br />

Ejemplo 2.6<br />

lim e −y<br />

x 2 = e −∞ =0<br />

(x,y)→(0,1)<br />

Nosplanteamosahoralarelación existente entre los límites a través <strong>de</strong> diferentes conjuntos.<br />

Y entonces se cumple que:<br />

Para que el límite exista <strong>de</strong>ben coincidir todos los límites planteados a través <strong>de</strong><br />

todos los conjuntos posibles.<br />

Ejemplo 2.7 La función<br />

g(x, y) = x − y<br />

x + y<br />

<strong>de</strong>finida en todo punto posible no tiene límite en el punto (0, 0) pues a través <strong>de</strong>l conjunto<br />

su límite existe y vale 0 y a través <strong>de</strong>l conjunto<br />

su límite existe y vale − 1 3 .<br />

Ω 0 = {(x, x) :x ∈ R} = {(x, y) :y = x}<br />

Ω 00 = {(x, 2x) :x ∈ R} = {(x, y) :y =2x}<br />

2.2 Límites direccionales<br />

A la hora <strong>de</strong> estudiar el límite <strong>de</strong> una función <strong>de</strong> dos <strong>variables</strong> mediante límites a través <strong>de</strong> algunos<br />

conjuntos es típico consi<strong>de</strong>rar conjuntos <strong>de</strong>l tipo rectas, parábolas y en general curvas <strong>de</strong> algunas <strong>de</strong><br />

las formas<br />

y = g(x) x = h(y)<br />

8


Una situación especial es el caso <strong>de</strong> los límites a través <strong>de</strong> rectas que contienen al punto, <strong>de</strong>nominados<br />

también límites direccionales. Estas rectas, como ya sabemos, son las <strong>de</strong> la forma<br />

y − b = m(x − a) junto con la recta vertical x = a<br />

Notemos que la existencia <strong>de</strong> los límites direccionales no garantiza la existencia <strong>de</strong>l límite, ni<br />

siquiera cuando todos ellos coinci<strong>de</strong>n. Lo más que se pue<strong>de</strong> <strong>de</strong>cir es lo siguiente:<br />

Consecuencia: Si no existe algún límite direccional o al menos dos <strong>de</strong> ellos son distintos<br />

entonces no existe el límite (a través <strong>de</strong>l dominio).<br />

Nota: Como comentamos anteriormente se pue<strong>de</strong> generalizar el resultado anterior y <strong>de</strong>ducir que<br />

si el límite a través <strong>de</strong> al menos dos conjuntos da un valor distinto (pue<strong>de</strong>n ser dos direccionales, dos<br />

no direccionales o uno direccional y otro no direccional) entonces el límite no existe.<br />

Ejemplo 2.8 Calcular los límites direccionales <strong>de</strong> la función<br />

en el punto (0, 0). Éstos son<br />

lim<br />

(x,y)→(0,0),y=mx<br />

x 2 −y 2<br />

x 2 +2y 2<br />

lim<br />

(x,y)→(0,0),x=0<br />

x 2 − y 2<br />

x 2 +2y 2<br />

=lim<br />

x→0<br />

x 2 −m 2 x 2<br />

x 2 +2m 2 x 2<br />

x 2 −y 2<br />

x 2 +2y 2<br />

1−m<br />

=lim<br />

2<br />

= 1−m2<br />

x→0 1+2m 2 1+2m 2<br />

−y<br />

=lim<br />

2<br />

= − 1<br />

y→0 2y 2 2<br />

Como consecuencia vemos que el límite no existe puesto que hay límites direccionales que difieren<br />

(basta observar que hay límites direccionales distintos: por ejemplo el último límite, que vale − 1 2 ,y<br />

alguno <strong>de</strong> los otros, por ejemplo para m =0,cuyovalores1; o por ejemplo para m =0, cuyo valor<br />

es 1 yparam =1,cuyovalores0).<br />

Ejemplo 2.9 Calcular los límites direccionales <strong>de</strong> la función x−1<br />

y+1<br />

Éstos son<br />

lim<br />

(x,y)→(1,−1),y+1=m(x−1)<br />

lim<br />

(x,y)→(1,−1),x=1<br />

x−1<br />

=lim<br />

y+1 x→1<br />

x−1<br />

=lim<br />

y+1 y→−1<br />

x−1<br />

=lim<br />

m(x−1) x→1<br />

0<br />

=lim 0=0<br />

y+1 y→−1<br />

en el punto (1, −1).<br />

1<br />

m = 1 m<br />

Como consecuencia vemos que el límite no existe puesto que hay límites direccionales que difieren<br />

(por ejemplo para m =1da 1 yparam =2da 1 ;inclusohayunoqueda∞, param =0).<br />

2<br />

Ejemplo 2.10 Comprobar que no existe el siguiente límite<br />

lim<br />

(x,y)→(0,0)<br />

xy 2<br />

x 2 + y 4<br />

Ver que los límites direccionales, a pesar <strong>de</strong> ser todos iguales, resultan distintos <strong>de</strong>l límite a través<br />

<strong>de</strong>l conjunto x = y 2 .<br />

9


Los límites direccionales valen<br />

lim<br />

(x,y)→(0,0),y=mx<br />

lim<br />

(x,y)→(0,0),x=0<br />

xy 2<br />

x 2 +y 4<br />

xy 2<br />

x 2 +y 4<br />

=lim<br />

y el límite a través <strong>de</strong>l conjunto mencionado es<br />

xy 2<br />

lim<br />

(x,y)→(0,0),x=y 2 x 2 + y =lim 4 x→0<br />

xm 2 x 2<br />

x→0 x 2 +m 4 x 4<br />

0·y<br />

=lim<br />

2<br />

y→0 y 4<br />

=lim<br />

x→0<br />

x(1−m 2 )<br />

1+x 2 m 4 = 0 1 =0<br />

0<br />

=lim<br />

y→0 y 4<br />

y 2 y 2<br />

y 4 + y 4 =lim<br />

x→0<br />

2.3 Cambio a coor<strong>de</strong>nadas polares en R 2<br />

=lim<br />

y→0<br />

0=0<br />

y 4<br />

2y =lim 1<br />

4 x→0 2 = 1 2<br />

Supongamos que tenemos una función<br />

f : R 2 → R<br />

para la que planteamos el límite en un punto x 0 =(a, b). Para hacer el límite<br />

lim f(x, y)<br />

(x,y)→(a,b)<br />

po<strong>de</strong>mos probar haciendo el ”cambio <strong>de</strong> variable”<br />

x = a + ρ cos θ<br />

y = b + ρ sin θ<br />

El caso más sencillo y el que más habitualmente vamos a utilizar es cuando a =0,b =0,es<strong>de</strong>cir,<br />

cuando estamos con el punto (0, 0), en el que queda así la cosa<br />

x = ρ cos θ<br />

y = ρ sin θ<br />

Concretamente se tiene la siguiente relación:<br />

Propiedad: Supongamos que<br />

1)<br />

∃ lim f(a + ρ cos θ,b+ ρ sin θ) =L<br />

ρ→0<br />

2) Que este valor, L, no <strong>de</strong>pen<strong>de</strong> <strong>de</strong> θ ∈ [0, 2π[.<br />

3) Que existe una función F : R → R cumpliendo que lim F (ρ) =0y<strong>de</strong>modoque<br />

ρ→0<br />

|f(a + ρ cos θ,b+ ρ sin θ) − L| ≤ F (ρ)<br />

para todo ρ ytodoθ ∈ [0, 2π[<br />

Entonces<br />

lim f(x, y) =L<br />

(x,y)→(a,b)<br />

10


Ejemplo 2.11 Para la función<br />

en el punto (0, 0), setienequecomo<br />

f(x, y) = x3 + x 2 − 2y 3 + y 2<br />

x 2 + y 2<br />

cos 3 θ − 2ρ 3 sin 3 θ + ρ 2 cos 2 θ + ρ 2 sin 2 θ<br />

lim f(ρ cos θ, ρ sin θ) =lim<br />

ρ→0 ρ→0 [ρ3 ρ 2 cos 2 θ + ρ 2 sin 2 ]=<br />

θ<br />

=lim [ ρ2 (ρ cos 3 θ − 2ρ sin 3 θ +cos 2 θ +sin 2 θ)<br />

ρ→0 ρ 2 (cos 2 θ +sin 2 ]=<br />

θ)<br />

=lim [ ρ2 (ρ cos 3 θ − 2ρ sin 3 θ +1)<br />

] =lim [ρ cos 3 θ − 2ρ sin 3 θ +1]=1<br />

ρ→0 ρ 2 · 1<br />

ρ→0<br />

para cualquier θ, así que nuestro candidato a límite es L =1por lo que buscaremos una función F<br />

cumpliendo lo requerido. Como se tiene que<br />

|f(ρ cos θ, ρ sin θ) − 1| = ¯¯ρ cos 3 θ − 2ρ sin 3 θ +1− 1¯¯ =<br />

= ¯¯ρ cos 3 θ − 2ρ sin 3 θ¯¯ ≤ ¯¯ρ cos 3 θ¯¯ + ¯¯2ρ sin 3 θ¯¯ ≤ ρ +2ρ =3ρ<br />

tomaremos<br />

ysetieneque<br />

yenefecto<br />

F (ρ) =3ρ<br />

lim F (ρ) =lim 3ρ =0<br />

ρ→0 ρ→0<br />

lim f(x, y) =1<br />

(x,y)→(0,0)<br />

Ejemplo 2.<strong>12</strong> Para la función<br />

en el punto (0, 0), setienequecomo<br />

g(x, y) = 2x2 +3y 2 − 2y 3<br />

x 2 + y 2<br />

cos 2 θ +3ρ 2 sin 2 θ − 2ρ 3 sin 3 θ<br />

lim g(ρ cos θ, ρ sin θ) =lim<br />

ρ→0 ρ→0 [2ρ2 ρ 2 cos 2 θ + ρ 2 sin 2 ]=<br />

θ<br />

=lim [ ρ2 (2 cos 2 θ +3sin 2 θ − 2ρ sin 3 θ)<br />

ρ→0 ρ 2 (cos 2 θ +sin 2 ]=<br />

θ)<br />

=lim [2 cos 2 θ +3sin 2 θ − 2ρ sin 3 θ)] = 2 cos 2 θ +3sin 2 θ<br />

ρ→0<br />

<strong>de</strong>pen<strong>de</strong> <strong>de</strong> θ, entonces no existe el límite lim g(x, y).<br />

(x,y)→(0,0)<br />

11


Ejemplo 2.13 Comprobemos la existencia <strong>de</strong>l límite<br />

lim<br />

(x,y)→(0,1)<br />

(y hallemos su valor) utilizando coor<strong>de</strong>nadas polares<br />

x 3<br />

x 2 +(y − 1) 2<br />

x = ρ cos θ<br />

y =1+ρ sin θ<br />

En primer lugar vemos que el siguiente límite existe y no <strong>de</strong>pen<strong>de</strong> <strong>de</strong> θ, luego es nuestro candidato:<br />

L =lim<br />

ρ→0<br />

(ρ cos θ) 3<br />

(ρ cos θ) 2 +(1+ρ sin θ − 1) 2 =lim<br />

ρ→0<br />

=lim<br />

ρ→0<br />

ρ 3 cos 3 θ<br />

ρ 2 cos 2 θ + ρ 2 sin 2 θ =<br />

ρ 3 cos 3 θ<br />

ρ 2 (cos 2 θ +sin 2 θ) =lim<br />

ρ→0 ρ cos3 θ =0<br />

(ρ cos θ)<br />

Ycomo¯¯¯¯<br />

3<br />

(ρ cos θ) 2 +(1+ρsenθ − 1) − L¯¯¯¯ =<br />

(ρ cos θ) 3<br />

2 ¯(ρ cos θ) 2 +(ρsenθ) − 0¯¯¯¯ = ¯¯ρ cos 3 θ¯¯ ≤ ρ → 0<br />

2<br />

en efecto se tiene que<br />

x 3<br />

lim<br />

(x,y)→(0,1) x 2 +(y − 1) =0 2<br />

Nota: Observemos que hemos tomado<br />

F (ρ) =ρ<br />

Ejemplo 2.14 Para la función<br />

h(x, y) =<br />

xy2<br />

x 2 + y 4<br />

se tiene que como<br />

lim h(ρ cos θ, ρ sin θ) =lim ρ cos θ sin 2 θ<br />

ρ→0 ρ→0 cos 2 θ + ρ 2 sin 4 θ =0<br />

para cualquier θ, nuestro candidato a límite es L =0. Pero ahora la búsqueda <strong>de</strong> F no resulta<br />

fructífera en este caso. De hecho como se mostró en el Ejemplo 2.10 se tiene que<br />

@ lim h(x, y)<br />

(x,y)→(0,0)<br />

Ejercicio 2.15 Comprobar la existencia <strong>de</strong>l límite<br />

lim (2 − (x +1) 3<br />

(x,y)→(−1,2) (x +1) 2 +(y − 2) ) 4<br />

calculando el límite utilizando el cambio a coor<strong>de</strong>nadas polares<br />

Solución: 2.<br />

x = −1+ρ cos θ<br />

y = 2+ρ sin θ<br />

<strong>12</strong>


3 Continuidad <strong>de</strong> <strong>funciones</strong> <strong>de</strong> <strong>varias</strong> <strong>variables</strong><br />

La <strong>de</strong>finición <strong>de</strong> continuidad es enteramente análoga al caso <strong>de</strong> <strong>funciones</strong> <strong>de</strong> una variable real.<br />

Diremos que una función f es continua en un punto x 0 cuando el punto está en el dominio, la<br />

función tiene límite (finito) en el punto y el valor <strong>de</strong> la función y <strong>de</strong> su límite en el punto coinci<strong>de</strong>n.<br />

Es <strong>de</strong>cir:<br />

1) x 0 ∈ Domf (∃ f(x 0 )).<br />

2) Existe el límite <strong>de</strong> f en x 0 (y es finito).<br />

3) lim<br />

x→x0<br />

f(x) =f(x 0 ).<br />

El estudio <strong>de</strong> la continuidad <strong>de</strong> una función en un punto se reduce fundamentalmente al estudio<br />

<strong>de</strong> la existencia y, en su caso, el valor <strong>de</strong>l límite <strong>de</strong> la función en el punto. A<strong>de</strong>más, al igual que<br />

pasaba con los límites, el estudio <strong>de</strong> la continuidad <strong>de</strong> una función vectorial se reduce al <strong>de</strong> sus<br />

<strong>funciones</strong> coor<strong>de</strong>nadas pues:<br />

Propiedad: Una función vectorial es continua si y sólo si son continuas sus <strong>funciones</strong><br />

coor<strong>de</strong>nadas.<br />

A<strong>de</strong>más, las <strong>funciones</strong> usuales (constantes, polinomios, exponenciales, trigonométricas, logaritmos,<br />

etc.) son <strong>funciones</strong> continuas en todo punto <strong>de</strong> su dominio. También al igual que pasaba con<br />

las <strong>funciones</strong> <strong>de</strong> una variable real, las operaciones usuales quesehacencon <strong>funciones</strong> continuas<br />

dan como resultado una función continua: sumas, restas, multiplicación por escalares, composición<br />

<strong>de</strong> <strong>funciones</strong>, productos, cocientes con <strong>de</strong>nominador no nulo, y otras operaciones usuales. Así por<br />

ejemplo serán <strong>funciones</strong> continuas, en todo punto <strong>de</strong> su dominio, las siguientes:<br />

Ejemplo 3.1<br />

1) f 1 (x, y) = 3xy+x6<br />

x<br />

y<br />

+5(x 2 +1) x (continua en {(x, y) :y 6= 0}).<br />

e<br />

2) f 2 (x, y) =( sin(x−y)<br />

x 2 +y 2 − log(x + y 2 ),e tan(x+1) ) (continua en {(x, y) :x + y 2 > 0, cos(x +1)6= 0}).<br />

Observación 3.2 En ocasiones ocurre que por problemas <strong>de</strong> dominio no po<strong>de</strong>mos plantear el límite<br />

através<strong>de</strong>R 2 , sólo po<strong>de</strong>mos plantearlo a través <strong>de</strong>l dominio. Así ocurre por ejemplo con la función<br />

f(x, y) = √ x − y cuando planteamos la existencia <strong>de</strong>l límite en el punto (0, 0): éste sólo pue<strong>de</strong><br />

plantearse a través <strong>de</strong>l dominio, que es el conjunto {(x, y) :x ≥ y}. En este caso el resultado <strong>de</strong>l<br />

límite es 0. Entonces po<strong>de</strong>mos interpretar que la función, que está <strong>de</strong>finida en (0, 0) tomando el<br />

valor 0, es continua en dicho punto, por supuesto, continua a través <strong>de</strong>l dominio. Admitiremos pues<br />

<strong>de</strong>ntro <strong>de</strong> la <strong>de</strong>finición <strong>de</strong> continuidad tal generalidad (que <strong>de</strong>nominaremos continuidadatravés<br />

<strong>de</strong> un conjunto), especialmente en el caso en que el límite lo realicemos a través <strong>de</strong>l dominio.<br />

A continuación, y para finalizar el tema, damos la versión en <strong>varias</strong> <strong>variables</strong> <strong>de</strong>l Teorema <strong>de</strong><br />

Weierstrass que generaliza el caso <strong>de</strong> una variable:<br />

Teorema 3.3 Si f : R n → R m es una función continua en Ω ⊆ Domf y Ω es compacto entonces<br />

f(Ω) es también compacto.<br />

13


Corolario 3.4 Si la función f : R n → R es continua en el conjunto compacto Ω ⊆ Domf, entonces<br />

existen x 0 ,y 0 ∈ Ω tales que<br />

f(x 0 )=max{f(x) :x ∈ Ω}<br />

f(y 0 )=min{f(x) :x ∈ Ω}<br />

14

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

Saved successfully!

Ooh no, something went wrong!