1

SOBRE LAS APLICACIONES DE R

n
EN R
m

UTILIZANDO EL
JACOBIANO


Carmen SNCHEZ DEZ


Estudiamos aqu las condiciones bsicas de diferenciabilidad de las funciones definidas desde R
n
en R
m
.
Para ello usaremos la matriz jacobiana constituida por las derivadas parciales de las funciones
componentes de la aplicacin dada, y las propiedades de su determinante, el jacobiano.


Consideraremos las funciones ) ,..., (
1 m
f f f =
r
definidas de R
n
en R
m
, en donde las f
i
son funciones de R
n

en R: . ) ( , R y x f R S x
i i
n
=
r r
Es decir, si es
n
R S el dominio de la funcin f
r
:

( ) ( ) ( )
m
m m m
R y y x f x f x f f x f S x = = = ,..., ) ( ),..., ( ) ( ,..., ) ( ,
1 1 1
r r r r
r
r




1. Diferenciabilidad:


Definicin de diferenciabilidad:

La funcin
m n
R R f :
r
es diferenciable en x
r
si existe una funcin
m n
R R x Df : ) (
r
, que
llamaremos diferencial de f
r
en x
r
, que verifica las dos condiciones siguientes:

a)
m n
R R x Df : ) (
r
es una aplicacin lineal:

( ) ) )( ( ) )( ( . ) ( , , , , b x Df a x Df b a x Df R R b a
b a b a b a
n
r
r r r
r
r r
r
r
+ = +


b) Existe una funcin
m n
R R x E : ) ; (
r r
, definida en un entorno ) (x N
r
de x
r
tal que :
0 ) ; (
0
lim ), ; ( . ) )( ( ) ( ) ( =

+ + = +

r r
r
r r r r r r
r
r r
r
x E siendo x E x Df x f x f
o, equivalentemente:
0
) )( ( ) ( ) (
0
lim =
+

r
r r r
r
r r
r
r
x Df x f x f



Con la notacin x en D f
r
r
indicaremos que la funcin f
r
es diferenciable en x
r
.
2



Definicin de diferenciabilidad con continuidad:


La funcin
m n
R R f :
r
es diferenciable con continuidad en
n
n
R x x x = ) ,..., (
1
r
si existen y son
continuas las derivadas parciales

n k m i
x
x f
x f D
k
i
i k
,..., 1 , ,... 1 ,
) (
) ( = =

=
r
r
.

Denotaremos esto as: .
1
x en C f
r
r







Teorema 1:

La funcin
m n
R R f :
r
es diferenciable en x
r
si, y solo si, existen las diferenciales de cada una de las
funciones R R f
n
i
: .

Demostracin:

Se trata de probar que m i D f x en D f
i
,..., 1 , =
r
r
. Para probar la equivalencia probemos las
dos implicaciones de contrario sentido:

a) m i D f x en D f
i
,..., 1 , =
r
r
:

se tiene que
0 , 0
) )( ( ) ( ) (
lim =
+

r
r
r r
r
r
r
r r
r
r
r
para
x f D x f x f
x en D f


y siendo

0 , 0
) )( ( ) ( ) (
lim
) )( ( ) ( ) ( ) )( ( ) ( ) (
=
+

r
r
r r
r
r
r
r r
r
r
r r
r
r
r
r r
r
r
r r r r r
para
x f D x f x f
x f D x f x f x Df x f x f
i i i


se deduce que es
0 , ,..., 1 , 0
) )( ( ) ( ) (
lim = =
+

r
r
r r r r r
para m i
x Df x f x f
i i i


con lo cual m i D f
i
,..., 1 , =


b) x en D f m i D f
i
r
r
= ,..., 1 , :


3
0 , ,..., 1 , 0
) )( ( ) ( ) (
lim ,..., 1 , = =
+
=

r
r
r r r r r
para m i
x Df x f x f
m i D f
i i i
i


con lo cual ser, para 0
r
:

( ) 0 0 ,..., 0
) )( ( ) ( ) (
lim ,...,
) )( ( ) ( ) (
lim
) )( ( ) ( ) (
lim
1 1 1
r
r
r r r r r
r
r r r r r
r
r r
r
r
r
r r
r
= =
|
|
.
|

\
|
+ +
=
=
+

x Df x f x f x Df x f x f
x f D x f x f
m m m



y en definitiva es x en D f
r
r




Si las funciones m i D f
i
,..., 1 , = son diferenciables, pueden expresarse, usando las derivadas
parciales n k m i
x
x f
x f D
k
i
i k
,..., 1 , ,... 1 ,
) (
) ( = =

=
r
r
en la forma:

n i n i i
dx x f D dx x f D x Df ). ( ... ). ( ) (
1 1
r r r
+ + =

o bien
n
n
i i
i
dx
x
x f
dx
x
x f
x Df .
) (
... .
) (
) (
1
1

+ +

=
r r
r

con lo cual, la diferencial de la funcin
m n
R R f :
r
, tambin diferenciable por el anterior teorema,
vendra expresada matricialmente por

|
|
|
|
|
.
|

\
|
|
|
|
|
|
|
|
.
|

\
|

=
|
|
|
|
|
.
|

\
|
=
n
n
m m
n
m
dx
dx
x
x f
x
x f
x
x f
x
x f
x Df
x Df
x f D
...
...
.
) (
...
) (
... ... ...
... ... ...
) (
...
) (
) (
...
...
) (
) (
1
1
1
1
1
1
r r
r r
r
r
r
r




Teorema 2:


Si f
r
es diferenciable con continuidad en x
r
, entonces f
r
es diferenciable en x
r
. Esto es:

x en D f x en C f
r
r
r
r

1



Demostracin:

4
x en D f m i x en D f
x Df x f x f
continua m i x Df continuas n k m i x f D x en C f
i
i i i
i i x
r
r
r
r
r r r r r
r r r
r
= =
+

= = =
,..., 1 , 0
) )( ( ) ( ) (
,..., 1 ), ( ,..., 1 , ,..., 1 ), (
1

2. Jacobiano



Definicin de Jacobiano:

Sea
n
R S
0
el dominio contenido en
n
R en donde existen las derivadas parciales de las funciones
n k f
k
,..., 1 , = . Se define el jacobiano de la funcin ( )
0 1
, ,..., S x f f f
n
=
r
r
como el
determinante
n
n n n
n
f
x
f
x
f
x
f
x
f
x
f
x
f
x J

=
...
... ... ... ...
... ... ... ...
...
) (
2 1
1
2
1
1
1
r
r



Teorema 3 (Teorema del producto de jacobianos):

Dadas las funciones

n n n n
n n n n
R x g R T x R R g
R x f R S x R R f


) ( , , :
) ( , , :
r r r
r
r r
donde es T S f ) (
r


y dada h
r
, funcin compuesta de ambas:

| |
n n n n
R x f g x h R S x R R h = ) ( ) ( , , :
r
r
r r
r
r
r


se cumple que:

( ) ) ( . ) ( ) ( x J x f J x J
f
g
h
r r
r
r
r r r
=

Demostracin:


Por la regla de la cadena, se tiene:

) ( ) ( S f x f en D g
S x en D f
r
r
r
r
r
r


j
k
n
k k
i
j
i
x
x f
x
x f g
x
x h
S x en D h

=
) (
.
)) ( ( ) (
1
r
r
r
r



y, al efectuar el producto de los jacobianos, aparece:
5

( ) ) (
) ( ) (
.
)) ( ( ) (
.
)) ( (
) ( . ) (
1
x J
x
x h
x
x f
x
x f g
x
x f
x
x f g
x J x f J
h
j
i
n
k j
k
k
i
j
i
j
i
f
g
r
r r r
r
r r
r
r r
r
r r r
=

=

=

(Nota: hemos utilizado la propiedad matricial de que el determinante del producto de dos matrices es el
producto de los determinantes: B A B A . . = )


Desde el rango de la matriz jacobiana, | | ) (x J r
f
r
r
, se deducen importantes consecuencias sobre el
carcter de la funcin vectorial
m n
R R f : que la genera, consecuencias que permitirn, por
ejemplo, probar los grandes teoremas de la funcin inversa y de la funcin implcita. Vemos a
continuacin dos teoremas de caracterizacin mediante el jacobiano, en los que se muestran estos
resultados.



Teorema 4:

Sea K una esfera abierta contenida en
n
R centrada en
0
x
r
.
Sea
m n
R R f : una funcin vectorial que cumple:
a) Es continua en K .
b) Existen todas las derivadas ) (x f D
i j
r
en todo punto K x
v
.
c) Es uno a uno en K .

Entonces, se cumple que:
1. Si m n = y es 0 ) ( x J
f
r
r
, esto implica que ) (K f
r
contiene un entorno de la imagen del
centro, ). (
0
x f
r
r

2. Si m n > y | | m x J r
f
= ) (
r
r
, esto implica que ) (K f
r
contiene un entorno de la imagen del
centro, ). (
0
x f
r
r

Si m n > y | | m x J r
f
< ) (
r
r
no puede afirmarse nada.
3. Si m n < es | | n x J r
f
) (
r
r
y no puede afirmarse nada.

Demostracin:


a) Consideremos en
n
R la esfera abierta K de radio r y de centro
0
x
r
:
{ } r x x R x K
n
< =
0
/
r r r

y sea FrK su frontera:
{ } r x x R x FrK
n
= =
0
/
r r r

la adherencia de K , K , ser:
{ } r x x R x FrK K K
n
= =
0
/
r r r

b) Consideremos en FrK la funcin : : R R g
n

r

R x f x f x g FrK x = ) ( ) ( ) ( ,
0
r
r
r
r
r r r

g
r
es continua en FrK por serlo . f
r

, 0 ) ( > x g
r r
pues , 0 ) ( ) (
0
x f x f
r
r
r
r
y al ser f
r
uno a uno, nunca ser ) ( ) (
0
x f x f
r
r
r
r
= por
lo que 0 ) ( ) ( ) (
0
> = x f x f x g
r
r
r
r
r r

6
g
r
tiene en FrK un mnimo absoluto m, por ser FrK compacto: ( ) m x g = ) ( min
r r

c) Consideremos en
m
R la esfera abierta T de radio
2
m
y centro : ) (
0
x f
r
r

)
`

< =
2
) ( /
0
m
x f y R y T
m
r
r
r r




d) Consideremos en K la funcin : : R R h
n

r

, ) ( ) ( ,
0
y x f x h K x
r r
r
r
r
r
= para un T y
0
r
fijo.

h
r
es continua en K por serlo . f
r

h
r
tiene en K un mnimo absoluto, por ser K compacto, y este mnimo es menor que
2
m
:
,
2
) ( ) (
0 0 0
m
y x f x h < =
r r
r
r
r
pues el radio de la esfera es
2
)) ( min(
2
m
x h
m
<
r
,


e) Tal mnimo no se alcanza en la frontera de la esfera K , pues

2 2 2
) ( ) ( ) ( ) ( )) ( ( )) ( ) ( (
) ( ) ( ) ( ) ( ) ( ,
0 0 0 0 0 0
0 0 0 0
m m
m
m
x g x f y x f x f x f y x f x f
x f y x f x f y x f x h FrK x
= > =
= + = =
r r r
r
r r
r
r
r
r
r
r r
r
r
r
r
r
r r
r
r
r
r r
r
r
r
v
O sea,
2
) ( ,
m
x h FrK x
r
r
v
el mnimo de h
r
no se alcanza en la frontera FrK el mnimo
est en un punto a
r
del interior K , pues 0 , = = FrK K K FrK K

f) La funcin
2
1
2
0
2
) ( ) ( ) (

=
= =
m
j
j j
y x f y x f x h
r r r
r
r
r
tiene en tal punto a
r
un mnimo y es
adems diferenciable en , K x
r
pues las m j f
j
,..., 1 , = lo son, ya que por hiptesis existen
las derivadas parciales n k a f D
j k
,..., 1 ), ( =
r


g) En tal punto a
r
la derivada ha de ser, por tanto, igual a cero:

| | n k a f D y a f
j k
m
j
j j
,..., 1 , 0 ) ( . ) (
1
= =

=
r r

que es un sistema de n ecuaciones con m incgnitas:

( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )

= + + +
= + + +
= + + +
0 ) ( . ) ( ... ) ( . ) ( ) ( . ) (
... ... ... ... ...
... ... ... ... ...
0 ) ( . ) ( ... ) ( . ) ( ) ( . ) (
0 ) ( . ) ( ... ) ( . ) ( ) ( . ) (
2 2 2 1 1 1
2 2 2 2 2 1 2 1 1
1 2 1 2 2 1 1 1 1
a f D y a f a f D y a f a f D y a f
a f D y a f a f D y a f a f D y a f
a f D y a f a f D y a f a f D y a f
m n m m n n
m m m
m m m
r r r r r r
r r r r r r
r r r r r r


que podemos expresar matricialmente usando la matriz jacobiana:


7
(
(
(
(
(
(

=
(
(
(
(
(
(

(
(
(
(
(
(

0
...
...
0
0
) (
...
...
) (
) (
.
) ( .... ) ( ) (
.... .... .... ....
.... .... .... ....
) ( .... ) ( ) (
) ( .... ) ( ) (
2 2
1 1
2 1
2 2 2 1 2
1 2 2 1 1
m m m n n n
m
m
y a f
y a f
y a f
a f D a f D a f D
a f D a f D a f D
a f D a f D a f D
r
r
r
r r r
r r r
r r r


o sea:
| |( ) 0 ) ( . ) (
0
r
r r
r
r
= y a f a J
f


Se trata, pues, de un sistema de ecuaciones lineales homogneo, en donde la matriz jacobiana es la
matriz de los coeficientes. Veamos las situaciones que se plantean en funcin de las dimensiones, n y m,
de ambos espacios.

1. Si n = m. En este caso puede ocurrir:
- Si el jacobiano es no nulo, , 0 ) ( a J
f
r
entonces el sistema tiene solucin
nica en virtud del Teorema de Rouch-Frbenius, y como es homogneo,
esta solucin es la trivial:

m j y a f
j j
,..., 1 , 0 ) ( = =
r

o sea:
T y a f =
0
) (
r r
r

es decir, en el punto K a
r
en donde ) (x h
r
r
tiene un mnimo absoluto, es
T a f ) (
r
r
, por lo cual ) (K f T
r
y ) (K f
r
contiene un entorno de ). (
0
x f
r
r

- Si el jacobiano es nulo, , 0 ) ( = a J
f
r
entonces el sistema tendra infinitas
soluciones y no podramos afirmar nada.

2. Si n > m, el rango de la matriz jacobiana ha de ser menor o igual que m, nmero de
las incgnitas del sistema.
- Si es | | m a J r
f
= ) (
r
el sistema tiene solucin nica (la solucin trivial),
por lo que ) (K f
r
contiene un entorno de ). (
0
x f
r
r

- Si es | | m a J r
f
< ) (
r
el sistema tendra infinitas soluciones y no podemos
afirmar nada.

3. S n < m, y siendo m el n de incgnitas, el sistema tendra infinitas soluciones y no
podramos afirmar nada.






Teorema 5:

Sea la funcin vectorial
m n
R R f :
r
tal que
n
R S x x en C f
r r
r
,
1
. Se verifica que:

1. Si m n = y es S x x J
f

r r
r
, 0 ) ( , esto implica que existe un entorno de x
r
, ), (x N
r

tal que ( ) ( ) ) ( : x N f x N f
r
r
r
r
es uno a uno.
2. Si m n < y | | n x J r
f
= ) (
r
r
, esto implica que existe un entorno de x
r
, ), (x N
r
tal
que ( ) ( ) ) ( : x N f x N f
r
r
r
r
es uno a uno.
Si m n < y | | n x J r
f
< ) (
r
r
, no podemos afirmar nada.
8
3. Si m n > es | | m x J r
f
) (
r
r
y no puede afirmarse nada.

Demostracin:

Sea
n
R S x
0
tal que 0 ) (
0
x J
f
r
.
Puesto que f
r
es continua con derivada continua, existe un entorno ) (
0
x N
r
del punto
0
x
v
en donde el
jacobiano es no nulo:

0 ) ( ), ( / ) (
0 0
z f D x N z R S x N
i k
n
r r r r

Supongamos que hay dos puntos distintos de este entorno con la misma imagen por la funcin f
r
, esto
es, supongamos que esta funcin no es uno a uno, y veamos que tal situacin implicara una
contradiccin.

Sean ) ( ,
0
x N v u
r r r
tales que ) ( ) ( v f u f v u
r
r
r
r
r r
= . Por ser ) (
0
x N
r
un conjunto conexo,
cualquier segmento de extremos ), , ( , , v u L v u
r r r r
estar contenido en ) (
0
x N
r
:
) ( ) , (
0
x N v u L
r r r


por lo que se puede aplicar el teorema del valor medio n-dimensional:

) ).( ( ) ( ) ( / ) ( ) , (
0
v u z f v f u f x N v u L z
r r r
r
r
r
r
r
r r r r
=
o sea,
) ).( ( ) ( ) ( 0 v u z f v f u f
r r r
r
r
r
r
r
= =
es decir:

n k m i v u z f D v f u f
k k i k i i
,..., 1 , ,..., 1 , 0 ) ).( ( ) ( ) ( = = = =
r r r


obtenindose en definitiva un sistema de m ecuaciones con n incgnitas, que matricialmente, sera:

(
(
(
(
(
(

=
(
(
(
(
(
(

(
(
(
(
(
(

0
...
...
0
0
...
... .
) ( ... ) ( ) (
... ... ... ...
... ... ... ...
) ( ... ) ( ) (
) ( ... ) ( ) (
2 2
1 1
2 1
2 2 2 2 1
1 1 2 1 1
n n m n m m
n
n
v u
v u
v u
z f D z f D z f D
z f D z f D z f D
z f D z f D z f D
r r r
r r r
r r r


Se tiene:

1. Si m = n, siendo 0 ) ( 0 ) (
0
z f D x J
i k f
r r
y el sistema tiene solucin nica, la
trivial:
n k v u
k k
,..., 1 , 0 = =
de donde v u
r r
= , contra la hiptesis, luego la funcin f
r
es uno a uno.

2. Si n < m, y | | ) ( , ) (
0
x N z n z J r
f
r r r
= el sistema admite solucin nica (trivial), y, al igual
que en el caso anterior, la funcin es uno a uno. Si | | n z J r
f
< ) (
r
f podra no ser uno a uno.

3. Si n > m en este caso siempre es | | m z J r
f
) (
r
y la funcin no es en general uno a uno. No
podramos afirmar nada.




9

3. Documentacin:

Apstol, T. M.; Anlisis Matemtico, Editorial Revert. Barcelona, 1998.
Apstol, T.M.; Calculus, Editorial Revert. Barcelona, 1991.
Dieudonn, J.; Fundamentos de Anlisis Moderno, Editorial Revert. Barcelona, 1991.
Fleming, W.; Functions of several variables, Springer-Verlag, Berlin, 1994
Rudin, W.; Principios de Anlisis Matemtico, Editorial Mc Grall Hill, 1990.
Spivak, M.; Calculo en variedades, Editorial Revert. Barcelona, 1994
Spivak, M.; Calculus, Editorial Revert. Barcelona, 1988.





Carmen SNCHEZ DEZ
titakrmen@hotmail.com