Professional Documents
Culture Documents
+ + = +
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