Captulo 1

Funciones Vectoriales de Variables

Vectorial
En este captulo vamos a hacer un estudio de las funciones definidas en un subconjunto
f

X Rn con valores en Rm , siendo m, n 1. Una tal funcion es escrita como X Rm y es

llamada funci
on vectorial de variable vectorial.
El hecho que a cada x X le corresponda una imagen (f1 (x) , . . . , f2 (x)) Rm , sugiere que
f

i
consideremos las funciones reales de variable vectorial X
R, i = 1, . . . , m. A estas las lla-

mamos funciones coordenadas, y es muy natural intuir y pensar que estas comparten propiedades
con la funci
on f . Conceptos tales como lmite, continuidad, derivada direccional, diferenciabilidad. Teorema de la funci
on implcita. Algo no en com
un con las funciones estudiadas en el
captulo anterior es el teorema de la funcion inversa; su formulaci
on y su compresion son el punto
clave de este captulo.
Dejando a un lado las funciones constantes, las funciones mas sencillas son las transformaciones
T

on
lineales, es decir, aquellas funciones Rn Rm que verifican la condici
T (u + v) = T (u) + T (v)
Dentro de las principales caracteristicas de tales transformaciones es que estas llevan el origen
de coordenadas de Rn en el oigen de coordenadas de Rm . Lo otro es que bajo ciertas condiciones
llevan rectas en rectas, etc. No olvidar tambien que una transformaciones Lineal posee una
matriz asociada en las bases can
onicas de Rn y Rm respectivamente, es aquella matriz Amn que
hace

a11

a12

}|

a21 a22
T (x1 , . . . , xn ) =
..
..
..
.
.
.

am1 am2
1

a1n
a2n
..
.
amn

x1
x2
..
.
xn

1.1

Coordenadas Rectangulares - Coordenadas Polares

Nuestra condici
on de humanos nos permite ser capaces de poder imaginar una superficie plana
P extendiendose hacia al infinito y donde no se indica ning
un punto de referencia. Esta superficie, tal como la presentamos, no es m
as que una coleccion de puntos carentes de propiedades, lo
cual, a su vez, nos impide establecer relaci
on alguna entre estos. No podemos realizar ninguna
operaci
on. No podemos sumar, restar, multiplicar por un escalar. No podemos hacer absolutamente nada. Como tal, este plano no tiene utilidad alguna. Nos proponemos entonces
matematizar este conjunto. En otra palabra, queremos identificar cada punto de este plano con
un objeto matem
atico ya existente. Esta identificaci
on y/0 representacion ocurre de dos modos:
La primera es llamada rectangular y polar la otra, y es justamente lo que vamos a tratar a
continuaci
on.
Coordenadas rectangulares

Sabemos que el conjunto R2 tiene estructura de espacio

vectorial real debido a que sobre este est

an definidas la Adicion de vectores y la Multiplicaci
on
de un vector por un escalar; estas operaciones, a su vez, poseen propiedades. Pero Cual es la
representaci
on geometrica de este? No la posee. O, para ser honestos, a
un no hemos abordado
este problema. En matem
atica es u
til tener una idea geometrica de lo que pensamos.
Estamos interesados, entonces, en representar los objetos de R2 por uno que podamos tocar,
ver, imaginar, en crear una herramienta que nos permita visualizar los elementos de este espacio.

Para tal proposito fijamos un punto O en P; seguidamente, por sobre este trazamos dos
rectas dirigidas perpendiculares 1 y 2 cort
andose, ambas, en sus orgenes de coordenadas. As,
dado un punto P sobre la superficie plana P, trazamos por sobre este rectas perpendiculares
a las rectas 1 y 2 , cortando a cada una de estas en puntos P1 y P2 , respectivamente, de
T

coordenadas x e y. Esto origina de modo natural una biyeccion R R R P definida como

TR (x , y) = P donde a cada punto P le corresponde un par ordenado (x , y), siendo x, y los
numero hallados lneas arriba. Esta funcion satisface las siguientes condiciones:
a. Transforma segmento vertical en una circunferencia centrada en el polo.
b. Transforma una semirecta con punto inicial en un semirecta con punto inicial el polo.
El punto O es llamado origen de coordenadas y los ejes 1 y 2 son llamadoss Eje X e Eje
Y , respectivamente. Convenimos en llamar representacion cartesiana del punto P al par
ordenado (x , y), lo cual solemos escribir como P (x , y).

Desde nuestra epoca de colegio sabemos que los puntos de un plano pueden ser repre2

sentados por un par ordenado (x , y) R2 . Mas precisamente, si sobre el plano P trazamos

dos ejes perpendiculares cada un numerado segun la recta real, sabemos que cada punto P del
plano queda indentificado con un par ordenado (x , ).
Coodenadas Polares de R2 :

Para tal proposito fijamos un punto O en P y una semirecta

L cuyo punto inicial es dicho punto O. Seg

un esto, es natural postular que cada punto P del
plano excepto los que caen sobre L, est
a en correspondencia biunvoca con un radio r > 0 y un

angulo ]0 , 2[. Mas precisamente, r es la magnitud del segmento dirigido OP que une lo
puntos O y P , y es el
angulo que forma este con la recta L, medido en sentido antihorario
desde esta u
ltima. Esto sugiere el siguiente postulado:

Postulado: Sea P una superficie plana de dimensiones infinitas.

Siendo O un punto en

P y L una semirecta cuyo punto inicial es O, postulamos la existencia de una biyeccion P de

R
}|
{
z
la franja infinita ]0 , +[ ]0 , 2[ en el conjunto P/L O (i.e el plano excepto la recta y el

punto origen). Esta es construida tal como se indicado lneas arriba. Esta biyeccion posee las
siguientes caracteristicas:
a. Todo segmento vertical es transformado en un arco de circunferencia.
b. Toda semirecta que parte del extremo derecho de la franja es transformado en una semirecta
con punto inicial el polo.

El punto O es llamado polo y la semirecta L eje polar. Convenimos en llamar al par ordenado
(r , ) representaci
on polar del punto P , y solemos escibir P (r , ).

El lado debil de este representacion es, como ya habra notado, que el punto O y los
puntos que caen sobre la recta L, quedan sin representacion polar.
Primera soluci
on

Podra estar usted pensando en extender de modo natural la funci

on

T a los bordes de la franja R. Por ejemplo, podramos cubrir P/O (i.e el plano sin el polo) si a
la franja U le anadimos su borde inferior. Pero, a
un cuando se haga esto, todava queda el polo
sin representacion polar. Entonces usted podra pensar que esto se solucionara agreg
andole a
U su esquina inferior. Todo esto es valido y no hay ning
un problema, porque aun extendiendo
el dominio la transformacion T preserva su biyeccion. Y, adem
as, se sigue cumpliendo lo que se
postula en los items a] y b]. Todo lo dicho no pierde validez si en vez de anadir el borde inferior
anadimos el superior.

Note que si a la franja le anadimos su borde lateral, entonces este es transformado en el

polo. Del mismo modo, si le anadimos su borde superior, entonces la recta L, que ya est
a
cubierta por el borde inferior, vuelve a ser cubierta pero ahora tambien por el borde superior.
Anadadamos lo que anadamos, siempre se pierde la biyeccion.
Segunda soluci
on

Esta consiste en considerar un punto O diferente del polo O y fuera

de la semirecta L, y seguidamente considerar, tambien, una semirecta L cuyo origen sea O y

que no se corte con L. Habiendo hecho tal selecci
on con tales caractersticas, el postulado dice
R
}|
{
z

que existe una biyecci

on T de la franja infinita ]0 , +[ ]0 , 2[ en P/L O (i.e el plano

excepto la recta y el punto origen). Debido al contenido {O} L P/L O , resulta que el
punto O y cada punto de L quedan, esta ve, identifcados con un radio y un angulo.
Relaci
on entre las coordenadas rectangulares y polares.

Por lo visto ahora acontece

lo siguiente: Dado un superficie plana de dimensiones infinitas, sucede que hemos construido
dos funciones de modo tal que cada punto del plano P tiene una representacion en coordenadas
rectangulares P (x , y) y otra en coordenadas polares P (r , ). Entonces la pregunta natural es
Cual es la relaci
on entre estas coordenadas?. Vamos a demostrar a continuacion las identidades:


 x = r cos()

(1.1)

 y = r sen()

Esta composici
on es la siguiente

R1

]0 , +[ ]0 , 2[ P R2
esta es tal que


R1 P (r , ) = R1 (P (r , )) = R1 (P ) = (rcos() , rsen())

Por otro lado, considerando que para cada entero k se tiene la biyeccion de
R
R
z
}|
{
}|
{
z
]0 , +[ ]2k , 2k + 2[ en ]0 , +[ ]0 , 2[ definida como
(r , ) (r , 2k)
Sea P una superficie plana de dimensiones infinitas. Siendo O un punto en P y L una
semirecta cuyo punto inicial es O, postulamos la existencia de una biyeccion T de la franja
R
}|
{
z
infinita ]0 , +[ ]0 , 2[ en el plano P al que se le ha extraido la recta L, a la que denotamos
T

por R P/L, y la que satisface las siguientes condiciones:

Si del plano cartesiano extraemos una semirecta cuyo punto de partida sea el origen
de coordenadas L0 = {r (cos(0 ) , sen(0 )) : r 0} de angulo 0 R, entonces cada
(x , y) R/L0 puede identificarse de manera u
nica con un angulo ]0 , 0 + 2[ y un radio
r > 0 mediante las ecuaciones



 x = r cos()


 y = r sen()

(1.2)

En un lenguaje mas formal esta identificacion se expresa mediante una funcion biyecctiva
T

]0 , +[ ]0 , 0 + 2[ R2 /L0 definida como T (r, ) = (r cos() , rsen()).

Esta

T 1

correspondencia es continua y tiene inversa R/L0 ]0 , +[ ]0 , 0 + 2[ tambien

continua.

Aunque esta funcion se puede extender muy facilemente al borde del dominio,

cualquier cambio tiene consecuncias cualitativas importantes. Por ejemplo, la extension de T

al borde izquierdo, es decir donde r = 0, hace que se pierda la biyeccion pues en este caso
todo este borde es llevado al origen (0 , 0). En el caso que la extendamos al borde inferior, es
decir donde = 0 , sucede que T conserva la biyeccion y su continuidad, pero perderiamos la
continuidad de la inversa.

Por puro convencioanalismo el intervalo [0 , [ es considerado como el eje de los radios

r y el otro intervalo ]0 , 0 + 2[ como como el de los angulos .

Observe que T lleva segmentos verticales en circunferencias y los segmentos horizontales

son llevados en semirrectas partiendo del origen de coordeandas. Es decir, transforma los
segmentos
Lr = {(r, ) R2 : R}

L = {(r, ) R2 : r R}

es un crculo radio r y centro (0, 0); y en una recta T (L ) que pasa por el origen,respectivamente.


3
, 0 r 2 sen() y su imagen T (R). En
Ejemplo 1 Grafiquemos R = (r , ) : 0
4
este caso el borde de R esta dado por las curvas
curvas
Para graficar T (R), aplicamos la transformacion a cada uno de los bordes de R. Por ejemplo
T (r , ) = T (2sen() , ) = (2sen() cos() , 2sen() sen()) = (2sen() cos() , 2sen2 ())


 x = 2sen() cos()
Haciendo 
, resulta x2 + y 2 = 4sen2 cos2 + 4sen4 = 4sen2 = 2y. Esto
 y = 2sen2 ()
dice que T (r , ) cae sobre la circunferencia C : x2 + (y 1)2 = 1.

Transformaciones Cilndricas

Fijemos un angulo 0 R y extraigamos de R3 el semiplano

P0 cuyo borde vertical es el eje Z y cuya interseccion con el plano XY viene dado por la
semirecta L0 = {r (cos(0 ) , sen(0 )) : r 0}.
De este modo cada elemento (x , y , z) del espacio euclideano que este fuera del semiplano P0
queda identificado como



 x = r cos()


 y = r sen()


 z=z

(1.3)

donde r > 0, ]0 , 0 + 2[ y z R. En un lenguaje mas formal esta identificacion se

expresa mediante una funci
on biyecctiva
T

]0 , +[ ]0 , 0 + 2[ R R3 /P0
definida segun las ecuaciones anteriores.

Esta correspondencia es continua y tiene inversa

T 1

R2 /P0 ]0 , +[ ]0 , 0 + 2[ R tambien continua. Aunque esta funcion se puede

extender muy facilemente a cada una de las caras que conforman el borde del dominio, cualquier
cambio tiene consecuncias cualitativas importantes.

Ejemplo 2 Dado la esfera de radio 1 y centrada en el origen de coordenadas, esto es S 2 =

{(x, y, z) R3 : x2 + y 2 + z 2 1}, hallemos el solido S R3 tal que T (S) = S 2 .
Para esto tomamos un punto arbitrario
 (x , y , z) X y observamos que sus dos primeras

 x = r cos()
coordenadas pueden expresarse como 
, donde 0 2 y 0 r 1. Para
 y = r sen()
hallar la variacion de la tercera coordenada z, observamos que

r 2 cos2 + r 2 sen2 + z 2 1 z 2 1 r 2 1 r 2 z 1 r 2

Por tanto el conjunto S viene dado por

p
p
0 2
S = (r , , z) R3 :
1 r2 z 1 r2

0r1

f, g
Consideremos [0, 1] [0, 2] R definidas por f (r, ) = 1 r 2 , g(r, ) = 1 r 2 .
Vemos que ; adem
as, .
Ejercicio 1 Expresemos en coordenadas cilndricas el s
olido limitado superiormente por el
plano z = 2x e inferiormente por el paraboloide z = x2 + y 2 .

Para esto tomamos un punto (x , y , z) en la interseccion de de ambas superficies, resultando

2x = x2 + y 2 (x 1)2 + y 2 = 1
De esto se deduce que la variacion de esta dada por 2

2.

Para obtener la variacion

del radio r fijamos de manera arbitraria u angulo y vemos que (r cos )2 + (rsen)2 = 2r cos ,

as r = 2 cos , luego 0 r 2 cos y [ 2 , 2 ] y como x2 + y 2 z 2x, entonces

r 2 z 2r cos luego T 1 (s
olido) = {(r, , z)/ [ 2 . 2 ], 0 r 2 cos , r 2 z 2r cos }

Coordenadas Esf
ericas Fijemos un angulo 0 R y extraigamos de R3 el semiplano P0
cuyo borde vertical es el eje Z y cuya interseccion con el plano XY viene dado por la semirecta
L0 = {r (cos(0 ) , sen(0 )) : r 0}.
Por las coordenadas esfericas sabemos que cada punto P (x , y , z) R3 /P0 queda representado de manera unica como x = r cos(), y = r sen(), z = z. Para coordenadas esfericas
introducimos dos nuevos parametros. El primero es denotado por y mide la distancia del
punto P al origen de coordenadas. El Segundo es denotado por y este denota el angulo que
forman el eje positivo de las Z con el segmento OP . De esto se tiene que > 0, 0 < < .
Mas precisamente esta representacion viene dada por una transformacion biyectiva
T

]0 , +[ ]0 , 0 + 2[ ]0 , [ R3 /P0
Esta viene definida por T ( , , ) = (sen cos , sensen , cos ).

Graficar D = {(, , )/ = 4 , = 1},

T (D), D = {(, , )/ = 3 , = 4 },

T (D).

Ejemplo 3 Hallar una ecuaci

on para la esfera S = {(x, y, z)/x2 + y 2 + (z a)2 = a2 }, a > 0 en

coordenadas cilndricas. Vemos que [0, 2], r [0, a]. luego r 2 cos2 +r 2 sen2 +(za)2 = a2 ,

entonces r 2 + (z a)2 = a2 , as (z a)2 = a2 r 2 , lo que implica |z a| = a2 r 2 , de donde

z = a2 r 2 + a, esto es

a2 r 2 + a z

a2 r 2 + a

luego T (U ) = S, donde U = {(r, , z)/r [0, a], [0, 2], r 2 a2 + a z a2 r 2 + a}

Ejemplo 4 Halle la ecuaci
on, en coordenadas esfericas de la regi
on encerrada por {(x, y, z)/z =
p
x2 + y 2 } y {(x, y, z)/z = 3}. [0, 2], [0, 4 ], (0 sen cos , 0 sensen, 0 cos ),
3
0 cos = 3, entonces 0 =
cos

Ejemplo 5 Hallar la ecuaci

on para la esfera S = {(x, y, z)/x2 + y 2 + (z a)2 = a2 }, a > 0 en
coordenadas esfericas. (0 sen cos , 0 sen cos , 0 cos ), con [0, 2], [0, 2 ], entonces

20 sen2 cos2 + 20 sen2 sen2 + (0 cos a)2 = a2 , esto implica que 20 20 a cos = 0, as
0 = 2a cos , luego 0 0 2a cos .

1.2

Limites
f

Definici
on 1.1 Sea X Rn y a un punto de acumulacion de este. Una funci
on X Rm
tiene lmite L = (L1 , . . . , Lm ) Rm cuando x se acerca a a si, y s
olo si, para todo > 0 existe
> 0 de modo tal que todo x X B(a , ), x 6= a, verifica la pertenencia f (x) B(L , ). Lo
que en simbolos significa
> 0 : > 0 / x X , 0 < kx ak < : kf (x) Lk <
Cuando esto ocurra escribiremos lim f (x) = L
xa

Propiedad 1 Sean X R y a X . Entonces lim fi (x) = Li (i = 1...n) si y solo si

xa

lim f (x) = (L1 , . . . , Lm )

xa

Ejemplo 6 Sea R2 R3 definida como f (x, y) = (x2 + y , cos(x + y) , y 2 + 1 + x). Considerando que
lim

(x,y)(0,0)

f1 (x, y) = 0

lim

(x,y)(0,0)

El teorema anterior permite afirmar que

f2 (x, y) = 1

lim

(x,y)(0,0)

lim

(x,y)(0,0)

f3 (x, y) = 1

f (x, y) = (0, 1, 1)
f, g

Teorema 1.1 Sea X Rn y a un punto de acumulaci

on de este. Si las funciones X Rm
h

y X R son tal que lim f (x) = L y lim g(x) = M y lim h(x) = b, entonces las funciones
xa

xa

xa

f g (suma y resta), f (m
ultiplo), hf (producto), f /h (cociente, para b 6= 0), hf , gi (producto
interno) y kf k (m
odulo) poseen lmite en a. Adem
as
a.]

d.]

lim (f g)(x) = L M

xa

f (x)
L
=
xa h(x)
b

b 6= 0, lim

b.]

e.]

lim (f )(x) = L

xa

c.]

lim hf (x), g(x)i = hL, M i f.]

xa

lim h(x)f (x) = bL

xa

lim kf (x)k = kLk

xa

Prueba: a.] Dado > 0, existen 0 > 0 y 1 > 0 tal que

x X, 0 < kxak < 0 : kf (x)Lk < /2 ,

x X, 0 < kxak < 1 : kg(x)Lk < /2

Tomando = min {0 , 1 } sucede que todo x X con 0 < kx ak < verifica simultaneamente
las desigualdades kf (x) Lk < /2 y kg(x) M k < /2. Sumando miembro a miembro resulta
kf (x) + g(x) (L + M )k kf (x) Lk + kg(x) + M k <
8

+ =
2 2

donde la primera desigualdad resulta de aplicar la desigualdad triangular. Esto significa que el
lmite lim (f + g)(x) existe y es L + M .
xa

1.3

Diferenciabilidad
f

Definici
on 1.2 Sea U Rm una funci
on definida en un abierto U Rn . La derivada de f
en a U en la direcci
on del vector no nulo v es el lmite
f (a + t v) f (a)
f
(a) = lim
t0
v
t

(1.4)

Debido a que U es abierto es posible considerar un > 0 tal que la funci

on ] , [ Rn ,
definida como de (t) = a + tv, tiene traza contenida en U . Asi, decir que el lmite anterior
f

existe es equivalente a decir que la composici

on ] , [ U Rm es diferenciable en 0.
Es decir existe el limite
(f )(t) (f )(0)
f (a + t v) f (a)
= lim
t0
t0
t
t

(f ) (0) = lim

Observemos que en el caso que exista la Derivada Direccional de f en a y en la direcci

on del
vector v tenemos
f
(a) =
v

lim

t0

fm (a + t v) fm (a)
f1 (a + t v) f1 (a)
,...,
t
t


f1
fm
(a), . . . ,
(a)
v
v

Sintetizamos esto en el teorema siguiente

f

Teorema 1.2 Sea U Rm definida en un abierto U Rn , a U y v un vector no nulo.

Entonces la derivada de f en a y en la direcci
on del vector v existe si y solo si existe las derivadas
direccionales de las funciones coordenadas fi en a y en la direccion v. En este caso tenemos que


f
f1
fm
(a) =
(a), . . . ,
(a)
v
v
v
En el caso que la direcci
on sea el vector can
onico ei convenimos en escribir

1.3.1

f
f
(a) =
(a).
ei
xi

Funciones Diferenciables
f

Definici
on 1.3 Una funci
on U Rm definida en un conjunto abierto U Rn es diferenT

on
ciable en a si, y s
olo si, existe una transformaci
on lineal Rn Rm de modo que la expresi
r(h)
= 0. Es
r(h) que hace posible la igualdad f (a + h) = f (a) + T (h) + r(h) es tal que lim
h0 khk
decir, la funci
on en un entorno de a es una expresi
on lineal trasladada al punto f (a) mas un
resto r(h), donde el resto decae a cero mucho mas r
apido el m
odulo del vector h

De ser esto asi decimos que T es la derivada de f en a y escribimos Dfa = T .

9

Ejemplo 7 1.] Una transformacion lineal Rn Rm es diferenciable en cualquier punto a.

Esto se desprende de la igualdad T (a + h) = T (a) + T (h) + 0, siendo el resto identicamente
nulo. Sucede en este caso que la derivada en cualquier punto a es la misma transformacion T ,
esto es DTa = T .
f

2.] La funci
on R2 R3 definida como f (x, y) = (x + y , xy , x2 + y 2 ) es diferenciable
en el origen de coordenadas. En el desarrollo
f ((0 , 0) + (h1 , h2 )) = (0 , 0 , 0) + (h1 + h2 , 0 , 0) + (0 , h1 h2 , h21 + h22 )
=

f (0 , 0)

T (h1 , h2 )

r (h1 , h2 )

se tiene que el lado derecho es la expresi

on lineal T (h) = (h1 + h2 , 0 , 0) trasladada al punto
f (0 , 0) m
as un resto r(h); este u
ltimo es tal que
h1 h2
r(h1 , h2 )
,
= lim 0 , p 2
lim
h0
h0 k(h1 , h2 )k
h1 + h22

h21 + h22

= (0 , 0 , 0)

1 1

No est
a demas decir que la representacion matricial de la derivada es la matriz 0 0

0 0
Teorema 1 (condici
on necesaria de diferenciabilidad) Sea U

32

Rm una funci
on

definida en el abierto U Rn . Si f es diferenciable en a U , entonces

1.] f es continua en a.
2.] Existen todas las derivadas direccionales en a, y estas se pueden calcular evaluando el vector
f
(a) = Dfa (v), v no nulo. En particular, si la direcci
on est
a
direcci
on en la derivada, esto es
v
f
dada por el i-esimo vector can
onico ei , resulta
(a) = Dfa (ei ). Consecuentemente
xi

f1
f1
n
X
(a)

(a)
f
f
x1

xn
vi
(a) =
(a)

f2
f2

v
xi
i=1

(a)
(a)

xn
Dfa =
,
x1..

..

.
.

f
f
f
fm

fm
(a) =
(a) +
(a)
(a)
(a)
(v + w)
v
w
x1
xn
nn
Dfa

Prueba: 1.] De la diferenciabilidad existe una transforamcion lineal Rm Rn de modo

tal que la expresi
on r(h) Rm que hace posible la igualdad f (a + h) = f (a) + Dfa (h) + r(h) es
r(h)
= 0. Considerando que tambien se tiene lim r(h) = 0 y que lim Dfa (h) = 0,
tal que lim
h0
h0
h0 khk
pues las transformaciones lineales son continuas, resulta lim f (a + h) = f (a). Esto dice que f
h0

es continua en a.
2.] Si nos aproximamos al punto a a travez de la direcci
on dada por un vector no nulo v,
10

entonces se tiene f (a + t v) = f (a) + Dfa (t v) + r(t v). Considerando que Dfa es lineal y
operando convenientemente resulta
f (a + t v) f (a)
t

= Dfa (v) + (1)

r(t v)
|v|
kt vk

donde el signo es debido al signo del parametro t. Haciendo t 0, resulta que

lim

t0

f (a + t v) f (a)
= Dfa (v)
t

f
Pero tal lmite es la derivada de f en la direcci
on del vector v, esto es
(a) = Dfa (v); en
v
n
X
f
vi ei , resulta
(a) = Dfa (ei ). Considerando que v =
particular
xi
i=1

i=1

i=1

X f
X
f
vi
vi Dfa (ei ) =
(a) = Dfa (v) =
(a)
v
xi
f

Propiedad 2 Sea U Rm una funci

on definida en un abierto U Rn .
a. (condici
on suficiente de diferenciabilidad) Si las funciones primeras derivadas parciales estan definidas en todo U , y estas son continuas en a, entonces la funci
on es diferenciable en dicho punto.
fi

b. Esta es diferenciable en a si y s
olo si cada funci
on coordenada U R, i = 1, . . . , m.
es diferenciable en dicho punto.
f

Ejemplo 8 La funcion R3 R2 definida como f (x , y , z) = (x2 + 2y + cos z , xy + y 2 +

senz) pues sus funciones coordenadas vienen definidas como f1 (x , , y , z) = x2 + 2y + cos z y

f2 (x , y , z) = xy + y 2 + senz, lo son Cual es la derivada de f en el punto (x , y , z)? Veamos:
f1
(x , y , z) = 2x
x

f1
(x , y , z) = 2
y

f1
(x , y , z) = senz
z

f2
(x , y , z) = y
x

f2
(x , y , z) = x + 2y
y

f2
(x , y , z) = cos z
z

luego

Df(x , y , z) =

2x

senz

x + 2y

cos z

f, g

Teorema 1.3 Si las funciones U Rm y U R son diferenciables en a, entonces las

funciones f g (suma y resta), f (m
ultiplo), hf (producto), f /h (cociente, para h(a) 6= 0),
hf , gi (producto interno) y kf k (m
odulo, f (a) 6= 0) tambien son diferenciables en a. Adem
as

11

4. D (f )a = Dfa

1. D (f + g)a = Dfa + Dga

2. D (f g)a = Dfa Dga

5. D (f /g)a =

3. D(f h)a = h(a)Dfa + f (a) Dga

Dfa g(a) f (a) Dga

g(a)2

Prueba: De la diferenciabilidad de f y g resulta

(f + g)(a + h) = f (a + h) + g(a + h) = f (a) + Dfa (h) + g(a) + Dga (h) + rf (h) + rg (h)
= (f + g) (a) + (Dfa + Dga ) (h) + r(h)
rf (h)
rg (h)
r(h)
= lim
+ lim
= 0. De este
h0 khk
h0 khk
h0 khk
modo la suma f + g es diferenciable en a, y su derivada viene dada por D(f + g)a = Dfa + Dga .
donde el resto r(h) = rf (h) + rg (h) es tal que lim

olo si cada una de sus

Definici
on 1.4 Una funci
on U Rn Rm es de clase C k si y s
funciones coordenadas es de clase C k .
f

Teorema 2 [Regla de la cadena] Sean las funciones U V Rp , donde U y V denotan

conjuntos abiertos de Rn y Rm , respectivamente. Si f es diferenciable en a U y g en f (a),
entonces la composici
on g f lo es en a. Ademas
D (g f )a = Dgf (a) Dfa
Prueba: De la diferenciabliidad de f y g se tiene
f (a + h) = f (a) + Dfa (h) + r1 (h)
donde lim

h0

g(f (a) + k) = g(f (a)) + Dgf (a) (k) + r2 (k)

r1 (h)
r (k)
= 0 y lim 2
= 0. De esto resulta que
k0 kkk
khk
k

}|
{
z
(g f )(a + h) = g(f (a + h)) = g(f (a) + Dfa (h) + r1 (h))
k

z
}|
{
= g(f (a)) + Dgf (a) [Dfa (h) + r1 (h)] +r2 (Dfa (h) + r1 (h))
r(h)

}|
{
z
= g(f (a)) + Dgf (a) [Dfa (h)] + Dgf (a) [r1 (h)] + r2 [Dfa h + r1 (h)]
Donde la expresion r(h) es tal que




r(h)
r2 [Dfa h + r1 (h)] kDfa h + r1 (h)k
r1 (h)
lim
= lim Dgf (a)
+
=0
h0 khk
h0
khk
kDfa h + r1 (h)k
khk
Esto dice que la composici
on g f es diferenciable y que su derivada es la composici
on indicada
arriba.

12

1.4

El Teorema de la Funci
on Inversa

A esta altura de la formaci

on academica de un alumno, el joven alumno ya ha visto el teorema
de la funci
on inversa en una variable. Este dice as:
f

Teorema 3 [funci
on inversa en una variable] Sea I R una funcion clase C 1 de real
de variable real definida en el intervalo abierto I. Si a I es un punto donde la derivada

f (a) es no nula, entonces existen vecindades abiertas V de a y W (intervalos abiertos) de f (a)

f

de modo tal que V W es una biyeccion diferencible con inversa diferenciable. Adem
as


1

, siendo x V y y W tal que y = f (x). Esto dice que localmente f es un

f 1 (y) =
f (x)
difeomorfismo de clase C 1 .
f

Como generalizamos este resultado a funciones U Rn , donde U es un abierto de Rn ?

Veamos un ejemplo
f

Ejemplo 9 La funci
on R2 R2 definida por f (x , y) = (ex cos y , ex seny) es de clase C 1 y

no invertible, puesto que f (0 , 0) = f (0 , 2) y cuyo rango es Ran(f ) = R2 /{(0 , 0)}. Veamos

como opera f A que conjunto A debemos restringir f para que f : A R2 {(0, 0)} sea

una biyecci
on? Observe que incluimos la lnea (), el rango sera R2 {0} pero en este caso no

se podra hablar de funci

on diferenciable, puesto que este nuevo dominio no sera un conjunto
abierto.
f

Teorema 4 [funci
on inversa en varias variables] Sea U Rn una funcion de clase C 1
definida en un abierto U Rn . Si a U es un punto cuya derivada Dfa es invertible, entonces
f

existen vecindades abiertas V de a y W de f (a) de modo tal que la restriccion V W es

una biyecci
on diferenciable de clase C 1 , con derivada Dfx invertible en cada punto x U , y con

inversa tambien de clase C 1 . Adem

as

D f 1

f (x)

= (Dfx )1

(1.5)

Es decir, la derivada de la funci

on inversa f 1 en el punto f (x) es la inversa de la derivada de
la funcion f en el punto x.
f

Teorema 5 [Funci
on implcita] Sea U Rm una funcion de clase C 1 definida en un
conjunto abierto de Rn con valores en un espacio euclideano Rm de dimension menor que m < n
(i.e la dimension del espacio salida supera al de llegada), y P un punto en el dominio que
soluciona el sistema de m ecuaciones


 f1 (x)


 f2 (x)





 fm (x)

= c1
= c2
..
.
= cm

13

DfP |Rm

Si hacemos Rn = Rnm Rm y la restriccion Rm Rm resulta ser invertible, entonces

tal sistema de ecuaciones tiene una cantidad infinita de soluciones x1 , . . . , xnm , y1 , . . . , ym

en una vecindad del punto P , donde cada coordenada y1 , . . . , ynm viene expresada en funci
on

de las n m primeras coordenadas x1 , . . . , xnm . Mas precisamente, si hacemos P (x0 , y0 )

Rnm Rm , entonces existe una funcion V Z de clase C 1 definida en una vecindad abierta
V (contenida en Rnm ) de x0 con valores en una vecindad Z (contenida en Rm ), tambien

abierta, de y0 , y con (x0 ) = y0 , de modo tal que el cilindro V Z (contenido en U ) posee una
cantidad infinita de soluciones, estando todas estas no dispersas, sino agrupadas en la gr
afica de
. Adicionalmente, la derivada de en cada elemento x de V viene dada por la composici
on
h
i
 i1 h

Dx = Df(x , (x)) Rm
Df(x , (x)) Rnm



 xyz + x
= 4
Ejemplo 10 Para el sistema de ecuaciones 
formulamos las siguientes
 x2 + y 2 + z = 5
preguntas 1.] Posee al menos una soluci
on?. 2.] En el caso de que seamos capaces de encontrar

una soluci
on P0 Como saber si existen m
as soluciones alrededor de este punto?. 3.] En el caso

que existan mas soluciones Estas son una cantidad infinita?. 4.] En el caso que exista una
cantidad infinita Como est
an agrupadas?.

1.]

Posee al menos una soluci

on?.

Haciendo tanteos, y con mucho esfuerzo, podemos

ver que P (1, 1, 2) es una soluci

on. 2.] Como saber si existen m
as soluciones alrededor de
este punto?. El teorema de la funci
on implicita ayuda a responder esta pregunta. Lo primero
que debemos hacer, seg
un las circunstancia de nuestro problema claro est
a, es considerar la


f
funcion R3 R2 definida como f (x, y, z) = xyz + x , x2 + y 2 + z , cuya derivada en un

punto arbitrario (x , y , z) viene dado por

Df(x , y , z) =

yz + 1 xz xy
2x

2y

DF

En segundo lugar debemos analizar la transformacion lineal R3 P R2 (derivada en el punto

4 3 1 x
y , la cual, naturalmente, es no
P ) definida como DFP (1 , 1 , 3) =
2
2
1
z
invertible, pues va de un espacio a uno de dimension menor. Conviniendo en la descomposici
on
R

R2

z }| { z }| {
DF
R3 = Eje X Plano Y Z, tal an
alisis consiste en ver si la restriccion Plano Y Z P R2 ,
definida como

Matriz invertible

DFP (u, v) =

3
2
14

}|

1
1

u
v

es o no invertible. Afortunadamente s lo es, pues la matriz que la define es invertible. Todo esto
dice que este sistema de ecuaciones verifica las hip
otesis del teorema, teniendo como resultado,
por tanto, la tesis del mismo. La tesis afirma que dicho punto P posee una vecindad en la cual
dicho sistema de ecuaciones posee una infinidad de soluciones (x , y , z), estando y y z escritas
en funcion de x; esto es y = y(x) y z = z(x). En otras palabras, existe un intervalo abierto I
(contenida en el eje X) centrado en x = 1, y una vecindad abierta Z (contenida en el plano

Y Z) de (1 , 3), y una funci

on I Z de clase C 1 , con (1) = (1 , 3) y cuya derivada en el
punto x I viene dada por la composici
on acompanada de un signo menos -
DF(x , (x)) 1

DF(x , (x))

Eje X R2 Plano Y Z
cuya representacion matricial es el producto de sus matrices asociadas acompanada de un signo
menos -, es decir
transpuesta de la
matriz de cofactores

Dx =

xz xy
2y

yz + 1
2x

xz 2xy 2 2y

}|

xy
xz

2x2 y

yz + 1

2x

yz
+1
1

2
xz 2xy
2
2
2y z 2y + 4x z

DF(x , (x)) 1

DF(x , (x))

Eje X R2 Plano Y Z
Aqui hemos omitido escribir, por una cuesti
on de comodidad, y(x) y z(x). Estas las hemos
reemplazado simplemente por las letras y y z. Por otro lado, en la segunda igualdad hemos hecho
1
(cof (A))trpta , donde cof (A) denota la matriz de cofactores de
uso de la formula A1 =
det(A)
dicha matriz A.

 u+v
 xe
+ uv 1 = 0
Ejemplo 11 Para el sistema de ecuaciones 
formulamos las sigu yeuv 2uv 1 = 0
ientes preguntas 1.] Posee al menos una soluci
on?. 2.] En el caso de que seamos capaces de

encontrar una soluci

on P0 Como saber si existen m
as soluciones alrededor de este punto?. 3.]

En el caso que existan mas soluciones Estas son una cantidad infinita?. 4.] En el caso que
exista una cantidad infinita Como est
an agrupadas?.

1.]

Posee al menos una soluci

on?.

Haciendo tanteos, y con mucho esfuerzo, podemos

ver que P (1, 1, 0, 0) es una soluci

on. 2.] Como saber si existen m
as soluciones alrededor de este
punto?. El teorema de la funci
on implicita ayuda a responder esta pregunta. Lo primero que
15

debemos hacer, seg

un las circunstancia de nuestro problema claro est
a, es considerar la funci
on
f

R4 R2 definida como f (x, y, u, v) = (xeu+v + uv 1, yeuv 2uv 1), cuya derivada en

un punto arbitrario (x, y, u, v) viene dada por

u+v
u+v
u+v
e
0
xe
+v
xe
+u

DF(x,y,u,v) =
uv
uv
uv
0
e
ye
2v ye
2u
DF

En segundo lugar debemos analizar la transformacion lineal

R4 P R2 (derivada en el

1 0 1
1 x
y , la cual, naturalmente, es no
punto P ) definida como DFP (x, y, u, v) =
u
0 1 1 1
v
invertible, pues va de un espacio a uno de dimension menor. Conviniendo en la descomposici
on
R2

R2

z }| { z }| {
DF
alisis consiste en ver si la restriccion Plano U V P R2 ,
R4 = Plano XY Plano U V , tal an
definida como

Matriz que define

la restricci
on

DFP (u, v) =

}|

1 1

u
v

es o no invertible. Afortunadamente s lo es, pues la matriz que la define es invertible. Todo esto
dice que este sistema de ecuaciones verifica las hip
otesis del teorema, teniendo como resultado,
por tanto, la tesis del mismo. La tesis afirma que dicho punto P posee una vecindad en la cual
dicho sistema de ecuaciones posee una infinidad de soluciones (x , y , u , v), estando u y v escritas
en funcion de x e y; esto es u = u(x , y) y v = v(x , y). En otras palabras, existe una vecindad
V (contenida en el plano XY ) de (1 , 1) y Z (contenida en el plano U V ) de (0 , 0) y una funci
on

V Z de clase C 1 , con (1 , 1) = (0 , 0) y cuya derivada en el punto (x , y) viene dada por

la composici
on acompanada de un signo menos -
DF(x , y , (x,y)) 1

DF(x , y , (x,y))

Plano XY R2 Plano U V
cuya representacion matricial es el producto de sus matrices asociadas acompanada de un signo

xeu+v + v
xeu+v + u
eu+v
0

.
menos -, es decir D(x,y) =
yeuv 2v yeuv 2u
0
euv
1
(cof (A))trpta . Un
Para calcular la inversa de la matriz recurrimos a la formula A1 =
det(A)
calculo sencillo muestra que

det(A) = 2xyeu + 2xeu+v (v u)

Matriz
yeuv 2u yeuv 2v

,
=
yeuv (u + v)
cof de A
xeu+v + u
xeu+v + v

Haciendo el reemplazo correspondiente resulta

D(x,y) =

2xyeu

2xeu+v (v

eu+v (yeuv + 2u) euv (xeu+v + u)

u) yeuv (u + v)
eu+v (yeuv 2v)
16

euv

(xeu+v

+ v)

Ejemplo 12 Sea la funci

on R3 R2 definida como f (x , y , z) = (xyz + x , x2 + y 2 + z). La
derivada en un punto arbitrario (x , y , z) viene dada por la matriz

yz + 1 xz xy

Df(x , y , z) =
2x
2y 1
Dfa |0R2

Luego la restriccion de la derivada a R2 , esto 0 R2 R2 est

a definida como

yz + 1 xz xy

Df(x,y,z) (0, m, n) =
m

2x
2y 1
n
Y esta es tal que

es invertible det

xz xy
2y

= xz 2xy 2 = 0 x = 0 z = 2y 2

la cual puede ser vista como Dfa |R2 : R2 R2 con

m
xz xy

Dfa |R2 (m, n) =

n
2y 1

Luego, en todo a = (x, y, z) fuera de {(0, y, z)} {(x, y, 2y 2 )} se puede aplicar el teorema pues

[ Dfa |{(0,y,z)} ]1 : R2 R2 es invertible.

Tomando un punto (a1 , a2 , a3 ) donde sea aplicable el teorema, tenemos que existen un inter

valo V = I R, con a1 I, B((a2 , a3 ), ), : I B(a2 , a3 ) tales que f (x, (x)) = f (a1 , a2 , a3 ).


Ademas Dfx,(x){(0,y,z)} : R2 R2 con

(0, y, z)

1 (x)2 (x) + 1 x2 (x) x1 (x)

2

21 (x)

y = (xy2 (x) + xz1 (x), 2y1 (x) + z)

z

17