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
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