Funciones de varias variables (II) 16

TEMA 3 - FUNCIONES DE VARIAS VARIABLES (II):

DERIVACIN Y DIFERENCIACIN
1. Derivadas direccionales y derivadas parciales.
Definicin.
Sea f(x) una funcin definida sobre el abierto C de R
n
y con valores en R. Se
denomina derivada (primera) de f en el punto aC respecto al vector no nulo
n
R u y se representa por ) (a
u d
df
al siguiente lmite, si es que existe y es finito:

) ( ) . (
) (
0
a u a
a
u
f f
lim
d
df +

Si el vector u de la definicin anterior tiene por norma la unidad, la derivada se

denomina direccional en la direccin dada por el vector u.
Si el vector u de la definicin anterior coincide con el i-simo vector de la base
cannica de R
n
, a la derivada se le denomina derivada parcial de f(x) en a respecto
a x
i
y se representa por ) (a
i
x
f

, verificndose por tanto que:

h
a a a a a f a a h a a a f
lim
x
f
n i i i n i i i
h
i
) ,..., , , ,..., ( ) ,..., , , ,..., (
) (
1 1 1 1 1 1
0
+ +

a
Definicin.
Se denomina funcin derivada de f respecto al vector no nulo u a la funcin:
R C
d
df
:
u
) (x
u
x
d
df

2. Propiedades de la derivacin.
Propiedad.
Sea f(x) una funcin definida en un abierto C de R
n
con valores en R y sea a un
punto de C. Para la derivada parcial de f(x) en a respecto a la i-sima variable x
i
son
de aplicacin las reglas de derivacin de las funciones de una variable,
considerando como nica variable a x
i
y el resto de las variables de f(x) como fijas
(constantes) en la expresin de la funcin.
Propiedad.
La existencia de todas las derivadas de f en a respecto a los diferentes vectores u no
nulos, no es ni necesaria ni suficiente para que f(x) sea continua en a.
3. Diferencial de una funcin de varias variables.
Sea:
) ,..., ,..., ( ) ,..., ,..., (
) ,..., ,..., (
1 1 1
1 1
n i n n i i
n n i i
a a a f x a x a x a f
x a x a x a f
+ + +
+ + +
Definicin.
Funciones de varias variables (II) 17
Se dice que la funcin ) ,..., ,..., (
1 n i
x x x f es diferenciable en el punto
) ,..., ,..., (
1 n i
a a a a cuando para todo ) ,..., ,..., (
1 n i
x x x x se tiene que:


+ + + +
n
i
i n i i i
n
i
i n n i i
x x x x x A x a x a x a f
1
1
1
1 1
). ,..., ,..., ( . ) ,..., ,..., (
donde las A
i
(i=1,...,n) son constantes independientes de ) ,..., ,..., (
1 n i
x x x ,
aunque pueden depender del punto a en que se trabaje, y las funciones
i
verifican
que: 0 ) ,..., ,..., (
1
0


n i i
x x x lim
x
(i=1,...,n).
En dicho caso se denomina diferencial de la funcin f en el punto a a la aplicacin
lineal (de variables
n
x x ,...,
1
):
i
n
i
i
x A df

.
1
a
Propiedad.
Si la funcin f(x) es diferenciable en el punto a, entonces:

n
i
i
x
x
f
df
1 i
a
a). (
Propiedad.
Una condicin necesaria y suficiente para que una funcin f(x) sea diferenciable en
el punto a es que sea nulo el lmite siguiente:
[ ]
( ) ( )
2 2
1
1
1
1 1 1
0
.......
). ( ... ). ( ) ,..., ( ) ,..., (
n
n
n
n n n
x x
x
x
f
x
x
f
a a f x a x a f
lim
+ +
1
]
1

+ +

+ +

a a
x
Definicin.
Se denomina aplicacin diferencial de la funcin f(x) a la aplicacin:
) , ( ' : R R L C df
n

x
x df
donde C es el subconjunto formado por los puntos de C en los que la funcin f(x)
es diferenciable.
NOTACIN.
Puesto que si f(x
1
,...,x
i
,...,x
n
)=x
i
se verifica que:
i i
x dx
la diferencial de una funcin en un punto se representar por:

n
i
i
dx
x
f
df
1 i
a
a). (
y la aplicacin diferencial por:

n
i
i
dx
x
f
df
1 i
x). (
4. Condiciones necesarias de diferenciabilidad.
Funciones de varias variables (II) 18
Teorema.
Una condicin necesaria para que f(x) sea diferenciable en el punto a es que sea
continua en dicho punto.
Teorema.
Una condicin necesaria para que f(x) sea diferenciable en el punto a es que en
dicho punto existan las derivadas parciales ) (a
i
x
f

(i=1,...,n).
5. Condiciones suficientes de diferenciabilidad.
Teorema.
Si f(x) tiene derivadas parciales ) ( x
i
x
f

y dichas derivadas parciales son continuas

en a, entonces f(x) es diferenciable en a.
6. Derivadas de las funciones diferenciables.
Definicin.
Siendo f una funcin definida en el abierto C de R
n
y con valores en R, y siendo a
un punto de C, se denomina gradiente de la funcin f en el punto a al vector de
componentes:

'

) (
) (
) (
) (
2
1
a
a
a
a
n
x
f
x
f
x
f
f

Propiedad.
Si f es una funcin diferenciable en el punto a, para cualquier vector no nulo u de
componentes (u
1
,...,u
i
,...,u
n
) se verifica que:

+ +

+ +

n
i
i
i
n
n
i
i
u
x
f
u
x
f
u
x
f
u
x
f
f
d
df
1
1
1
). ( ). ( ... ). ( ... ). ( ). ( ) ( a a a a u a a
u
Propiedad.
Si f es una funcin diferenciable en el punto a, se verifica que:

+ +

+ +

n
i
i
i
n
n
i
i
dx
x
f
dx
x
f
dx
x
f
dx
x
f
d f df
1
1
1
). ( ). ( .... ). ( ... ). ( ). ( a a a a x a
a
NOTA:
Siendo f una funcin en
2
R , diferenciable en ) , (
0 0
y x . Entonces la superficie
) , ( y x f z tiene un plano tangente en ) , , (
0 0 0
z y x cuya ecuacin es:
Funciones de varias variables (II) 19
) ).( , ( ) ).( , ( ) , (
0 0 0 0 0 0 0 0
y y y x
y
f
x x y x
x
f
y x f z

+
7. Derivada de una funcin compuesta.
Sea f(x
1
,...,x
i
,...x
n
) una funcin de n variables. Supongamos adems que cada una de
dichas variables depende de m parmetros:
x
i
=x
i
(t
1
,...,t
j
,...,t
m
)
Propiedad (regla de la cadena).
Si en el punto ) ,..., ,..., (
) 0 ( ) 0 ( ) 0 (
1
) 0 (
m j
t t t t existen las derivadas parciales ) (
) 0 (
t
j
i
t
x

(i=1,...,n; j=1,...,m) y la funcin f(x) es diferenciable en el punto

) ,..., ,..., (
) 0 ( ) 0 ( ) 0 (
1
) 0 (
n i
x x x x , donde ) ,..., ,..., (
) 0 ( ) 0 ( ) 0 (
1
) 0 (
m j i i
t t t x x (i=1,...,n), entonces
se verifica que:
) ,..., 2 , 1 ( ) ( ). ( ) (
1
) 0 ( ) 0 ( ) 0 (
m j
t
x
x
f
t
f
n
i j
i
i j

t x t
8. Derivadas de rdenes superiores.
) (
...
) (
...
1 (
x x
i
k j
m
k j i
m
x
x x
f
x x x
f

,
_

Teorema de Schwarz.
Si ) (
2
x
k i
x x
f

y ) (
2
x
i k
x x
f

son funciones continuas en el punto a, entonces:

) ( ) (
2 2
a a
i k k i
x x
f
x x
f

NOTA:
El teorema anterior se generaliza para cualquier orden de derivacin.
9. Diferenciales de orden superior.
) (
1 (
f d d f d
m m

f
i
dx
i
x
m
f d
n
i
m

,
_

1
.
10. Funciones vectoriales.
Consideramos ahora funciones vectoriales de varias variables:
Funciones de varias variables (II) 20
m n
R R f :

'

) ,..., (
) ,..., (
) ,..., (
) ,..., (
1
1
1 1
1
n m
n i
n
n
x x f
x x f
x x f
x x f

Todas las definiciones realizadas sobre las funciones de R

n
sobre R se extienden a
las funciones vectoriales actuando componente a componente:
[ ]{ } x
x
x
x
x d x x f D
dx
dx
x x
x
f
x x
x
f
x x
x
f
x x
x
f
df
df
df
f d
n
n
n
n
m
n
m
n
n
n
n
i
. ) ,..., ( .
) ,..., ( ... ) ,..., (
...
) ,..., ( ... ) ,..., (
) (
) (
) (
) (
1
1
1 1
1
1
1
1
1
1
1

'

1
1
1
1
1
]
1

'

La matriz )] ,..., ( [
1 n
x x f D se denomina matriz Jacobiana de la funcin f en el
punto (x
1
,...,x
n
). En el caso en que n sea igual a m, su determinante
) ,..., ( )) ,..., ( det(
1 1 n n
x x f D x x f D J se denomina Jacobiano de la funcin f
en el punto (x
1
,...,x
n
).
Regla de la cadena para funciones vectoriales.
[ ]

'

'

1
1
1
1
1
]
1

'

j
n
j
n
j
n
n
m
n
m
n
n
n
j
m
j
i
j
j
t
x x f D
t
x
t
x
x x
x
f
x x
x
f
x x
x
f
x x
x
f
t
f
t
f
t
f
t
f x
x
x
x
x . ) ,..., ( .
) ,..., ( ... ) ,..., (
...
) ,..., ( ... ) ,..., (
) (
) (
) (
) (
1
1
1 1
1
1
1
1
1
1
1

o:
] ].[ [ ] [ x
x t t
D f D f D
11. Funciones vectoriales invertibles.
En esta seccin se analiza el problema de la invertibilidad de las funciones
vectoriales de varias variables.
Definicin.
Una funcin
m n m n
R I f en R I de m n R R I f > ) ( 1 , , : se denomina uno a
uno si y slo si asigna imgenes distintas a elementos distintos de I, es decir si:
I f f b a b a b a , ) ( ) ( .
Funciones de varias variables (II) 21
Propiedad.
Si
m n
R R I f : es una funcin uno a uno, entonces f admite una (nica)
funcin inversa
n m
R I R I f g ) ( : definida por la siguiente condicin:
I f g a a a)) ( (
NOTA:
Muy a menudo se trabaja con funciones
m n
R R I f : que no son invertibles
sino que slo son localmente invertibles en el sentido de que para ciertos puntos
I a existe un entorno V(a) tal que la restriccin:
m n
V
R R I V f ) ( :
) (
a
a
es invertible. Debido a la importancia del anlisis local, es til establecer un criterio
suficiente para que una funcin sea localmente invertible sin ser necesariamente
uno a uno. En el caso de funciones escalares reales de una variable real, la
condicin anterior es que la derivada primera de la funcin sea una funcin
continua no nula. La extensin de este criterio al caso vectorial en el que n=m
utiliza los conceptos de matriz jacobiana y determinante jacobiano. El teorema
siguiente afirma que una funcin con derivadas parciales continuas es localmente
uno a uno en un entorno de un punto en el que no se anula el determinante
jacobiano.
Teorema (Criterio de invertibilidad local).
Sea I un abierto de R
n
. Una funcin
n n
R R I f : de componentes (f
1
,f
2
,...,f
n
)
continuas y con primeras derivadas parciales continuas en a es localmente invertible
si: 0 ) ( )) ( det( ) ( a a a f D f D J .
Si I a , la inversa local de f que corresponde al punto a se define en un entorno
n
R f V )) ( ( a del punto ) (a f y es tambin continua en ) (a f y tiene derivadas
parciales primeras continuas en ) (a f .
NOTA:
El teorema anterior representa un criterio de invertibilidad local de una funcin que
se reduce al criterio antes citado para el caso n=1. Ntese sin embargo que en el
caso n=1 el hecho de que I x x f 0 ) ( ' implica la invertibilidad en todo I
(global) mientras que en el caso n>1 la no-anulacin del jacobiano de f en todo
punto de
n
R I slo implica que f es localmente invertible pudiendo no ser uno
a uno. Un ejemplo de ello puede ser la funcin de cambio de coordenadas a polares
en el plano.
12. Funciones implcitas.
12.1. Caso de una funcin de una variable real definida por la ecuacin
F(x,y)=0.
Sea F(x,y) una funcin de dos variables y considrese la ecuacin definida por
F(x,y)=0. Si para todo valor ] [ h x h x x + * , * existe un nico valor de la variable
y que junto a x satisface la ecuacin F(x,y)=0, se puede determinar, a travs de la
Funciones de varias variables (II) 22
ecuacin, una funcin y(x) para la cual se satisface la propia ecuacin F(x,y(x))=0,
] [ h x h x x + * , * . En ese entorno del punto x* se dice que la funcin y(x) est
definida implcitamente.
NOTAS:
1) En ocasiones se podr despejar la funcin y(x) a partir de la ecuacin F(x,y)=0.
Pero ello es independiente de la existencia o no de la funcin implcita. Cuando se
pueda despejar se obtendr la definicin explcita de la funcin.
2) No toda ecuacin F(x,y)=0 define implcitamente una funcin en un entorno del
punto x*. En ocasiones se definir ms de una funcin (cuando para un valor x*
haya ms de un valor de y verificando la ecuacin). En otras ecuaciones puede no
definirse ninguna (cuando para un valor x no haya ningn valor de y que verifique
la ecuacin).
Nos preguntamos entonces en qu condiciones se puede asegurar que una ecuacin
de la forma F(x,y)=0 define implcitamente una funcin. Y, en el caso de que dicha
funcin est definida, cmo se pueden evaluar sus derivadas. La respuesta a esta
cuestin la proporciona el siguiente teorema:
Teorema (de la funcin implcita).
Considrese la ecuacin F(x,y)=0 y sea (x*,y*) un punto de R
2
. Si la funcin F(x,y)
satisface las cuatro condiciones siguientes:
H-1) F(x,y) est definida y es continua en un entorno V del punto (x*,y*)
H-2) En el entorno V de (x*,y*) existen y son continuas las funciones:
) , ( ) , ( y x
y
F
y y x
x
F

H-3) Se verifica que F(x*,y*)=0

H-4) 0 *) *, (

y x
y
F
Entonces existe un entorno U del punto x* en el que existe una nica funcin
R U y : que a todo punto x de U le asigna el valor y(x) tal que:
U x x y x F y x y y 0 )) ( , ( *) ( *
Adems y(x) es diferenciable en x* y se verifica que:
*) *, (
*) *, (
*) (
y x
y
F
y x
x
F
x
dx
dy

La demostracin de la expresin de la derivada de y(x) en x*, admitiendo la
existencia y diferenciabilidad de la funcin y(x) se obtiene de derivar, utilizando la
regla de la cadena, la propia ecuacin. En efecto:
*) ( *). *, ( *) *, ( 0 )) ( , ( 0 x
dx
dy
y x
x
F
y x
x
F
x y x F

de donde se obtiene la expresin anterior.
NOTAS:
Funciones de varias variables (II) 23
1) Las hiptesis H-1) y H-2) se resumen diciendo que F(x,y) es una funcin de
clase C
1
(V). En general se denomina funcin de clase C
m
(V) a aquellas funciones
definidas sobre V tales que ellas y sus derivadas de orden inferior o igual a m
(respecto a las variables que sean) son continuas en todo V.
2) En este sentido, si la funcin F(x,y) fuese de clase C
2
(V) (esto es, si la funcin,
sus primeras derivadas y sus segundas derivadas fuesen continuas), la expresin de
la derivada segunda de y(x) respecto a x dos veces se podra obtener derivando la
ecuacin F(x,y(x)) dos veces respecto a x. Con ello se tendra que:
*) ( *). *, (
*) ( *). *, ( *) ( *). *, ( 2 *) *, ( 0
2
2
2
2
2 2
2
2
x
dx
y d
y x
y
F
x
dx
dy
y x
y
F
x
dx
dy
y x
y x
F
y x
x
F

+
+
,
_

expresin de la que (conocido dy/dx por la expresin del teorema anterior) puede
despejarse *) (
2
2
x
dx
y d
.
3) En general, si F(x,y) fuese de clase C
m
(V) se podra estimar la derivada
*) (x
dx
y d
m
m
, conocidas las derivadas de rdenes inferiores, derivando la ecuacin m
veces respecto a la variable x.
12.2. Caso de una funcin de n variables reales definida por la ecuacin
F(x
1
,x
2
,...,x
n
,y)=0.
Lo dicho para ecuaciones de dos variables puede extenderse al caso de ecuaciones
de (n+1) variables en las que una de ellas puede determinarse de forma nica (al
menos en un cierto entorno) en funcin de las otras n. Para ello el teorema de la
funcin implcita puede generalizarse a este caso de la forma siguiente.
Teorema (de la funcin implcita).
Sea la ecuacin F(x
1
,x
2
,...,x
n
,y)=0 y sea (x*
1
,x*
2
,...,x*
n
,y*) un punto de R
n+1
. Si la
funcin F(x
1
,x
2
,...,x
n
,y) satisface las cuatro condiciones siguientes:
H-1) F(x
1
,x
2
,...,x
n
,y) est definida y es continua en un entorno V del punto
(x*
1
,x*
2
,...,x*
n
,y*)
H-2)
) , ,..., , ( ) , ,..., , ( ..., ), , ,..., , ( ), , ,..., , (
2 1 2 1 2 1
2
2 1
1
y x x x
y
F
y y x x x
x
F
y x x x
x
F
y x x x
x
F
n n
n
n n

existen y son continuas en el entorno V del punto (x*

1
,x*
2
,...,x*
n
,y*)
H-3) F(x*
1
,x*
2
,...,x*
n
,y*)=0
H-4) 0 *) , * ,..., * , * (
2 1

y x x x
y
F
n
Entonces existe una nica funcin y(x
1
,x
2
,...,x
n
) definida en un entorno U del punto
(x*
1
,x*
2
,...,x*
n
), verificando que:
U x x x x x x y x x x F y x x x y y
n n n n
) ,..., , ( 0 )) ,..., , ( , ,..., , ( ) * ,..., * , * ( *
2 1 2 1 2 1 2 1
Adems dicha funcin es diferenciable en (x*
1
,x*
2
,...,x*
n
) y se verifica que:
Funciones de varias variables (II) 24
) ,..., 2 , 1 (
*) , * ,..., * , * (
*) , * ,..., * , * (
) * ,..., * , * (
2 1
2 1
2 1
n i
y x x x
y
F
y x x x
x
F
x x x
dx
dy
n
n
i
n
i

La demostracin de la expresin de la derivada de y respecto a x
i
en (x*
1
,x*
2
,...,x*
n
),
admitiendo la existencia y diferenciabilidad de la funcin y(x
1
,x
2
,...,x
n
) se obtiene de
derivar, utilizando la regla de la cadena, la propia ecuacin. En efecto:
) * ,..., * , * ( *). , * ,..., * , * ( *) , * ,..., * , * ( 0
)) ,..., , ( , ,..., , ( 0
2 1 2 1 2 1
2 1 2 1
n
i
n n
i
n n
x x x
dx
dy
y x x x
x
F
y x x x
x
F
x x x y x x x F

de donde se obtiene la expresin anterior.
NOTAS:
1) Las hiptesis H-1) y H-2) se resumen diciendo que F(x
1
,x
2
,...,x
n
,y) es una
funcin de clase C
1
(V). En general se denomina funcin de clase C
m
(V) a aquellas
funciones definidas sobre V tales que ellas y sus derivadas de orden inferior o igual
a m (respecto a todas las combinaciones posibles de variables) son continuas en
todo el entorno V.
2) En este sentido, si la funcin F(x
1
,x
2
,...,x
n
,y) fuese de clase C
2
(V) (esto es, si la
funcin, sus primeras derivadas y sus segundas derivadas fuesen continuas), la
expresin de la derivada segunda de y(x
1
,x
2
,...,x
n
) respecto a x
i
y respecto a x
j
se
podra obtener derivando la ecuacin F(x
1
,x
2
,...,x
n
,y) respecto a dichas variables.
Con ello se tendra que:
) * ,..., * , * ( *). , * ,..., * , * (
) * ,..., * , * ( ). * ,..., * , * ( *). , * ,..., * , * (
) * ,..., * , * ( *). , * ,..., * , * (
) * ,..., * , * ( *). , * ,..., * , * ( *) , * ,..., * , * ( 0
2 1
2
2 1
2 1 2 1 2 1
2
2
2 1 2 1
2
2 1 2 1
2
2 1
2
n
j i
n
n
i
n
j
n
n
i
n
j
n
j
n
i
n
i j
x x x
x x
y
y x x x
y
F
x x x
x
y
x x x
x
y
y x x x
y
F
x x x
x
y
y x x x
y x
F
x x x
x
y
y x x x
x y
F
y x x x
x x
F

+
+

+
+

+
+

expresin de la que (conocidas ) * ,..., * , * (

2 1 n
j
x x x
x
y

y ) * ,..., * , * (
2 1 n
i
x x x
x
y

por la expresin del teorema anterior) puede despejarse ) * ,..., * , * (

2 1
2
n
i j
x x x
x x
y

.
3) En general, si F(x
1
,x
2
,...,x
n
,y) fuese de clase C
m
(V) se podra estimar la derivada
) * ,..., * , * (
...
2 1 n
k i
m
x x x
x x
y

, conocidas las derivadas de rdenes inferiores,

derivando la ecuacin m veces respecto a las variables x
i
,...,x
k
.
Funciones de varias variables (II) 25
12.3. Funciones vectoriales reales definidas implcitamente mediante un
sistema de ecuaciones.
Lo tratado en apartados anteriores para funciones escalares de variable real puede
generalizarse al caso de un sistema de ecuaciones de la forma:

'

0 ) ,..., , , ,..., , (
0 ) ,..., , , ,..., , (
0 ) ,..., , , ,..., , (
2 1 2 1
2 1 2 1 2
2 1 2 1 1
m n m
m n
m n
y y y x x x F
y y y x x x F
y y y x x x F

que escribiremos en forma resumida como 0 y x ) , ( F donde

m m n
R R F
+
: ,
n
R x e
m
R y . En este caso nos preguntamos si el sistema de ecuaciones
anterior, en un entorno U del punto
n
n
R x x x ) * ,..., * , * (
2 1
define une nica
funcin:

'

) ,..., (
) ,..., (
) (
:
1
1 1
n m
n
m n
x x y
x x y
R R

x y x
y
La respuesta a esta cuestin nos la proporciona el siguiente teorema:
Teorema (de la funcin implcita).
Considrese el sistema de ecuaciones 0 y x ) , ( F y sea
) * ,..., * , * , * ,..., * , * (
2 1 2 1 m n
y y y x x x un punto de R
n+m
. Si se verifican las
siguientes hiptesis:
H-1) ) , ( y x F est definida y es continua en un entorno V del punto *) *, ( y x , donde
se ha designado por ) * ,..., * , * ( *
2 1 n
x x x x y por ) * ,..., * , * ( *
2 1 m
y y y y .
H-2) Existen y son continuas en V las funciones:
) ,..., 1 ( ) , ( ) ,..., 1 ( ) , ( m j
y
F
y n i
x
F
j i

y x y x
H-3) Se verifica que 0 y x *) *, ( F .
H-4) Se verifica que:
0
y x y x
y x y x
y x

*) *, ( ... *) *, (
...
*) *, ( ... *) *, (
*) *, (
1
1
1
1
m
m m
m
y
y
F
y
F
y
F
y
F
F D

Entonces el sistema de ecuaciones 0 y x ) , ( F define implcitamente, en un
entorno U de ) * ,..., * ( *
1 n
x x x , una nica funcin:

'

) ,..., , (
) ,..., , (
) ,..., , (
) (
2 1
2 1 2 2
2 1 1 1
n m m
n
n
x x x y y
x x x y y
x x x y y

x y y
Funciones de varias variables (II) 26
Adems la funcin ) ( x y es diferenciable en ) * ,..., * ( *
1 n
x x x y verifica que:
*) ( * x y y y U F x 0 x y x )) ( , (
pudindose estimar sus derivadas en ) * ,..., * ( *
1 n
x x x como solucin del
siguiente sistema lineal de ecuaciones:
) ,..., 1 (
*) *, (
*) *, (
*) (
*) (
.
*) *, ( ... *) *, (
...
*) *, ( ... *) *, (
1 1
1
1
1
1
n j
x
F
x
F
x
y
x
y
y
F
y
F
y
F
y
F
j
m
j
j
m
j
m
m m
m

'

'

y x
y x
x
x
y x y x
y x y x

La demostracin de la expresin de las derivadas de ) ( x y en ) * ,..., * (
1 n
x x ,
admitiendo la existencia y diferenciabilidad de la funcin ) ( x y se obtiene de
derivar respecto a la variable x
j
, utilizando la regla de la cadena, las propias
ecuaciones que definen el sistema. En efecto:

'

0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (

0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (
0 )) ,..., ( ),..., ,..., ( ), ,..., ( , ,..., , (
1 1 2 1 1 2 1
1 1 2 1 1 2 1 2
1 1 2 1 1 2 1 1
n m n n n m
n m n n n
n m n n n
x x y x x y x x y x x x F
x x y x x y x x y x x x F
x x y x x y x x y x x x F

'

+ +

+ +

+ +

*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0

*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0
*) ( *). *, ( ... *) ( *). *, ( *) *, ( 0
1
1
2 1
1
2 2
1 1
1
1 1
x y x x y x y x
x y x x y x y x
x y x x y x y x
j
m
m
m
j
m
j
m
j
m
m j j
j
m
m j j
x
y
y
F
x
y
y
F
x
F
x
y
y
F
x
y
y
F
x
F
x
y
y
F
x
y
y
F
x
F

[ ]

'

'

*) ( *) *, ( *) *, ( x
y
y x y x
y
j j
x
F D
x
F
que es la expresin que proporciona el teorema.
NOTAS:
1) Las hiptesis H-1) y H-2) se resumen diciendo que ) , ( y x F es una funcin de
clase (C
1
(V))
m
. En general se denomina funcin de clase (C
k
(V))
m
a aquellas
funciones de m componentes definidas sobre V tales que ellas y sus derivadas de
orden inferior o igual a k (respecto a todas las combinaciones posibles de variables)
son continuas en todo el entorno V.
2) En este sentido, si la funcin ) , ( y x F fuese de clase (C
2
(V))
m
(esto es, si la
funcin, sus primeras derivadas y sus segundas derivadas fuesen continuas) la
expresin de la derivada segunda de ) ( x y respecto a x
i
y respecto a x
j
se podran
obtener derivando el sistema de ecuaciones respecto a dichas variables. Con ello se
tendra que las derivadas buscadas son la solucin del sistema lineal de ecuaciones
siguientes:
Funciones de varias variables (II) 27

'

'

m
i j
m
i j
m
m m
m
b
b
x x
y
x x
y
y
F
y
F
y
F
y
F

1
2
1
2
1
1
1
1
*) (
*) (
.
*) *, ( ... *) *, (
...
*) *, ( ... *) *, (
x
x
y x y x
y x y x
donde:

+
+

m
s
m
r j
r
i
s
r s
k
j
r
m
r r i
k
i
r
m
r r j
k
j i
k
k
m k
x
y
x
y
y y
F
x
y
y x
F
x
y
y x
F
x x
F
b
1 1
2
1
2
1
2 2
) ,..., 1 ( *) ( *). ( *). *, (
*) ( . *) *, ( *) ( . *) *, ( *) *, (
x x y x
x y x x y x y x
Del sistema lineal anterior (conocidas las derivadas primeras por la expresin del
teorema anterior) pueden obtenerse ) * ,..., * (
1
2
n
i j
k
x x
x x
y

.
3) En general, si ) , ( y x F fuese de clase (C
p
(V))
m
se podra estimar la derivada
) * ,..., * (
...
1 n
k i
p
x x
x x
y

, conocidas las derivadas de rdenes inferiores, derivando la

ecuacin p veces respecto a las variables x
i
,...,x
k
.
Bibliografa.
T.M. Apstol (1992), Calculus, ed. Revert, Vol. 2.
J. de Burgos (1995), Clculo infinitesimal de varias variables, ed. McGraw-Hill.
M. Krasnov, A. Kiseliov, G. Makarenko, E. Shikin (1994), Curso de matemticas
superiores para ingenieros, ed. Mir, Vol. 2.