5.

DIFERENCIACIN DE FUNCIONES COMPUESTAS

Vimos para el caso de una funcin real con una variable, que derivar una funcin compuesta no siempre es
sencillo haciendo la composicin. Por otra parte no siempre podremos hallarla y precisamos un modo general de
expresar este tipo de situaciones de tal modo que podamos encontrar la derivada de una funcin compuesta en
caso en que no conozcamos la expresin analtica que relaciona a las variables. No podremos entonces realizar
el clculo a n de hallar la expresin de la funcin compuesta y por lo tanto, tampoco su derivada. Aplicaremos
entonces una de las frmulas ms tiles del clculo, llamada regla de la cadena que permite calcular la derivada
de la funcin que surge de la composicin.
Ahora, siempre podemos aplicar esta regla?. Veamos.
Vimos, para el caso de una funcin real con una variable que para derivar funciones compuestas, podamos
usar la regla de la cadena si las funciones involucradas son derivables.
Ejemplo 1 Sean f (x) = x
2
x + 1, h(x) = senx.
Si hacemos la composicin y derivamos, resulta:
u(x) = (f h) (x) = f [h(x)] = f (senx) = sen
2
x senx + 1 = u
0
(x) = 2 senxcos x cos x
Si aplicamos la regla de la cadena:
u
0
(x) = (f h)
0
(x) = f
0
(x)[
x=sen x
h
0
(x) = (2x 1)[
x=sen x
cos x = 2 senxcos x cos x
Veamos si esta regla se cumple pra funciones de varias variables.
Ejemplo 2 Sean g (x; y) = 2xe
y
; f (t) =
_
t
2
; 3t
_
.
Aplicamos la regla de la cadena:
_
g f
_
0
(t) = g
0
_
f (t)

f
0
(t) = g
0
(x; y)[
x=f(t)
f
0
(t) =
_
2e
y
2xe
y
_

(x;y)=(t
2
;3t)

_
2t
3
_
=
=
_
2e
3t
2t
2
e
3t
_
_
2t
3
_
= 4te
3t
+ 6t
2
e
3t
Comprobemos haciendo la composicin
_
g f
_
(t) = g
_
f (t)

= 2t
2
e
3t
_
g f
_
0
(t) = 4te
3t
+ 6t
2
e
3t
se verica.
A n de comprender este problema, se plantea la siguiente situacin concreta. Veamos otro ejemplo.
Ejemplo 3 Sean:
g (x; y) =
_
3x
2
y
x
2
+y
2
; x ,= 0
0; x = 0
f (t) = (t; 2t) t
0
= 0
Si aplicamos la regla de la cadena, resulta:
_
g f
_
0
(0) = g
0
_
f (0)

f
0
(0) = g
0
_
0

f
0
(0) =
_
0 0
_
_
1
2
_
= 0
Ahora hacemos la composicin y derivamos:
_
g f
_
(t) = g
_
f (t)

= g (t; 2t) =
_
6
5
t; t ,= 0
0; t = 0
=
6
5
t
_
g f
_
0
(0) =
6
5
,= g
0
_
f (0)

f
0
(0) = 0
observamos que en este caso no se verica la regla de la cadena.
Antes de enunciar el teorema que determina bajo qu condiciones podemos aplicar la regla de la cadena,
denimos la siguiente norma para una matriz.
1
Denicin 1 Sea A = (a
ij
) con i = 1; :::; m y j = 1; :::; n, se dene norma de la matriz A, como sigue:
|A| = max [a
ij
[ : 1 _ i _ m; 1 _ j _ n
Proposicin 1 Sea A = (a
ij
) una matriz de mn, para toda matriz X = (x
ij
) de n p, se cumple:
|AX| _ |A| |X|
Teorema 1 Regla de la cadena
Sean las funciones
F : D
1
R
n
R
p
diferenciable en x
0
D
0
1
G : D
2
R
p
R
m
, diferenciable en y
0
= F(x
0
) D
0
2
donde F(D
1
) D
2
de tal manera que sea posible realizar la composicin G F. Entonces se cumple que:
La funcin compuesta G F es diferenciable en x
0
D
0
1
.
La matriz derivada de la funcin compuesta (G F)
0
evaluada en el punto x
0
, es el producto de las matrices
G
0
(F(x
0
)) de mp y F
0
(x
0
) de p n, es decir:
(G F)
0
(x
0
) = G
0
(F(x
0
))F
0
(x
0
)
es una matriz de mn.
Demostracin. Demostraremos que la transformacin lineal asociada a la matriz F
0
(x
0
) G
0
(F (x
0
)) es el difer-
encial de la funcin compuesta en el punto.
Por hiptesis:
F es diferenciable en x
0
entonces, \x N
r
1
(x
0
), se verica:
F(x) F(x
0
) = F
0
(x
0
)(x x
0
) +
1
(x) , lm
x!x
0

1
(x)
[[x x
0
[[
= 0
G es diferenciable en y
0
= F (x
0
) entonces, \y N
r
2
(y
0
), se verica:
G(y) G(y
0
) = G
0
(y
0
)(y y
0
) +
2
(y), lm
y!y
0

2
(y)
[[y y
0
[[
= 0 (1)
r
0
> 0 : \x N
r
0 (x
0
) ; y (x) = F(x) N
r
2
(y
0
). Sea r = mnr
1
; r
0
, \x N
r
(x
0
):
_
G F
_
(x)
_
G F
_
(x
0
) = G
0
_
F (x
0
)
_
F(x) F(x
0
)

+
2
_
F (x)

= G
0
_
F (x
0
)

_
F
0
(x
0
)(x x
0
) +
1
(x)
_
+
2
_
F (x)

(2)
= G
0
_
F (x
0
)

F
0
(x
0
)(x x
0
) + G
0
_
F (x
0
)

1
(x) +
2
_
F (x)

Sea
3
(x) = G
0
_
F (x
0
)

1
(x) +
2
_
F (x)

. Tenemos que probar que:

lm
x!x
0

3
(x)
|x x
0
|
= 0 (3)
lm
x!x
0

3
(x)
[[x x
0
[[
= lm
x!x
0
G
0
_
F (x
0
)

1
(x) +
2
_
F (x)

[[x x
0
[[
= lm
x!x
0
G
0
_
F (x
0
)

1
(x)
[[x x
0
[[
+ lm
x!x
0

2
_
F (x)

[[x x
0
[[
Como lm
x!x
0

1
(x)
|x x
0
|
= 0 y G
0
(y
0
), entonces el primer lmite es 0.
Ahora tenemos que probar que el 2
o
lmite tambin es 0:
lm
x!x
0

2
_
F (x)

[[x x
0
[[
= lm
x!x
0

2
_
F (x)

[[F(x) F(x
0
)[[
_
_
F(x) F(x
0
)
_
_
[[x x
0
[[
Por la continuidad de F en x
0
cuando x x
0
entonces y = F (x) F (x
0
) = y
0
, tenemos
lm
x!x
0

2
_
F (x)

[[F(x) F(x
0
)[[
= lm
y!y
0

2
(y)
[[y y
0
[[
= 0
2
Tenemos que probar que
[[F(x) F(x
0
)[[
[[x x
0
[[
est acotada para asegurar que el lmite en cuestin es 0. Para ello
usaremos la desigualdad triangular de la norma y la proposicin anterior.
[[F(x) F(x
0
)[[
[[x x
0
[[
=
[[F
0
(x
0
)(x x
0
) +
1
(x) [[
[[x x
0
[[
_
[[F
0
(x
0
)(x x
0
)[[
[[x x
0
[[
+
|
1
(x)|
[[x x
0
[[
_
_
[[F
0
(x
0
)[[ |x x
0
|
[[x x
0
[[
+
|
1
(x)|
[[x x
0
[[
= [[F
0
(x
0
)[[ +
|
1
(x)|
[[x x
0
[[
Entonces:
0 _ lm
x!x
0
[[F(x) F(x
0
)[[
[[x x
0
[[
_ lm
x!x
0
_
[[F
0
(x
0
)[[ +
|
1
(x)|
[[x x
0
[[
_
=
_
_
_F
0
(x
0
)
_
_
_
Con lo que hemos probado (3)
Reemplazando
3
(x) en (3), tenemos:
_
G F
_
(x)
_
G F
_
(x
0
) = G
0
_
F (x
0
)

F
0
(x
0
)(x x
0
) +
3
(x)
con
lm
x!x
0

3
(x)
|x x
0
|
= 0
De donde resulta que G F diferenciable en x
0
y adems:
(G F)
0
(x
0
) = G
0
(F(x
0
))F
0
(x
0
)
Observacin 1 De la igualdad de matrices resulta que
@(G F)
i
@x
j
(x
0
) =
m

k=1
@G
i
@y
k
(F(x
0
))
@F
k
@x
j
(x
0
)
Se vern algunos ejemplos a n de entender mejor estos enunciados.
Observacin 2 Se puede probar que en el ejemplo (3), no se cumple la regla de la cadena porque la funcin f
nos es diferenciable en el punto (0; 0).
Ejemplo 4 Si en particular F : D
f
R R
m
; diferenciable en x
0
D
f
, G : D
g
R
m
R, diferenciable en
F(x
0
) con F(D
f
) D
g
; entonces G F : D
f
R R es diferenciable en x
0
y se verica
(G F)
0
(x
0
) = G
0
(F(x
0
))F
0
(x
0
) = \G(F(x
0
)):
_
_
_
F
0
1
(x
0
)
.
.
.
F
0
m
(x
0
)
_
_
_
Ejemplo 5 Sea
_
f(x; y; z) = xz seny
h(t) = (t + 1; t
2
; t) = (x; y; z)
, donde f y h son diferenciables en todo punto, entonces f h :
R R es diferenciable en R y
(f h)
0
(t) = \f(h(t))h
0
(t) =
_
@f
_
h(t)
_
@x
;
@f
_
h(t)
_
@y
;
@f
_
h(t)
_
@y
_
_
_
h
0
1
(t)
h
0
2
(t)
h
0
3
(t)
_
_
= (z seny; xz cos y; xseny)[
(t+1;t
2
;t)
_
_
1
2t
1
_
_
=
_
t sent
2
; (t + 1) t cos t
2
; (t + 1) sent
2
_
_
_
1
2t
1
_
_
= t sent
2
+ 2 (t + 1) t
2
cos t
2
+ (t + 1) sent
2
= (2t + 1) sent
2
+ 2t
_
t
2
+ t
_
cos t
2
Ejemplo 6 Si f : D R
n
R y g : D
0
R
m
R
n
; tal que g(D
0
) D, con f y g diferenciables en a y g(a) = b
respectivamente, entonces f g : D R
m
R es diferenciables en a y se verica: (f g)
0
(a) = f
0
(g(a))g
0
(a) esto
es, siendo el esquema de la composicin:
(u
1
; ; u
m
)
g
(x
1
; ; x
n
) = (g
1
(u); ; g
n
(u))
f
w = f(x) = f(g(u))
3
en particular
(a
1
; ; a
m
)
g
(b
1
; ; b
n
) = (g
1
(a); ; g
n
(a))
f
f(b) = f(g(a))
entonces
_
@(f g)
@y
1
(a); ;
@(f g)
@y
m
(a)
_
=
_
@f
@x
1
(g(a)); ;
@f
@x
n
(g(a))
_
_
_
_
_
@g
1
@y
1
(a)
@g
1
@y
m
(a)
.
.
.
.
.
.
.
.
.
@g
n
@y
1
(a)
@g
n
@y
m
(a)
_
_
_
_
de donde resulta
@(f g)
@x
1
(a) =
n

i=1
@f
@x
1
(g(a))
@g
1
@x
1
(a)
Ejemplo 7 Sea f(x:y; z) = x
2
+ y
2
z; donde x = u
2
v; y = v
2
; z = e
uv
; hallar las derivadas de f respecto
de u y v:
Se tiene
(u; v)
g
(x; y; z) = (u
2
v; v
2
; e
uv
)
f
w = (u
2
v)
2
+ (v
2
)
2
e
uv
Siendo h : R
2
R, la funcin composicin, cumple
h(u; v) = f g(u; v) = f(u
2
v; v
2
; e
uv
) = u
4
v
2
+ v
4
e
uv
por lo que
_
@h
@u
(u
0
);
@h
@v
(u
0
)
_
=
_
@f
@x
(g(u
0
));
@f
@y
(g(u
0
));
@f
@z
(g(u
0
))
_
_
_
_
_
@x
@u

u
0
@x
@v

u
0
@y
@u

u
0
@y
@v

u
0
@z
@u

u
0
@z
@v

u
0
_
_
_
_
y por ejemplo
@h
@u
(u) =
@f
@x
(g(u))
@x
@u

u
+
@f
@y
(g(u))
@y
@u

u
+
@f
@z
(g(u))
@z
@u

u
=
= 2x[
(u;v)
2uv + 2y[
(u;v)
0 + (1)[
(u;v)
ve
uv
= 4u
3
v
2
+ ue
uv
Ejemplo 8 Sea f : D R
n
R
m
y : I RR
n
, tal que (I) D .Existe f : I RR
m
y el esquema
de la composicin es
t

(
1
(t); ;
n
(t)) = (x
1
; ; x
n
)
f
f(
1
(t); ;
n
(t))
Adems, si y f son diferenciables en t
0
y a = (t
0
) respectivamente, entonces f es diferenciable en t
0
y
se verica: (f )
0
( t
0
) = f
0
((t
0
))
0
( t
0
), esto es
_
_
_
_
_
_
d(f )
1
dt
.
.
.
d(f )
m
dt
_
_
_
_
_
_
=
_
_
_
@f
1
@x
1
(x
0
) : : :
@f
1
@x
n
(x
0
)
.
.
.
.
.
.
.
.
.
@f
m
@x
1
(x
0
)
@f
m
@x
n
(x
0
)
_
_
_
_
_
_
dx
1
dt
(t
0
)
.
.
.
dx
n
dt
(t
0
)
_
_
_
Sea f(x; y) = (x
2
+ y
2
; xy) y (t) = (cos t; sent): El esquema de la composicin es
t

(cos t; sent) = (x; y)
f
(cos
2
t + sen
2
t; cos t sent) = (1; cos t sent) = (u; v)
Aplicando la regla de la cadena
_
du
dt
;
dv
dt
_
=
_
@u
@x
@u
@y
@v
@x
@v
@y
_
_
dx
dt
dy
dt
_
de donde resulta
du
dt
=
@u
@x
dx
dt
+
@u
@y
dy
dt
= 2x(sent) + 2y(cos t) = 2 sent cos t + 2 cos t sent = 0
dv
dt
=
@v
@x
dx
dt
+
@v
@y
dy
dt
= y(sent) + x(cos t) =
2
sent + cos
2
t
4
Ejemplo 9 Sea f(x; y) = (x
2
+ y
2
; x
2
y
2
) y g(u; v) = (uv; u + v). Estas dos funciones son diferenciables en
todo R
2
y adems
f
0
(x; y) =
_
2x 2y
2x 2y
_
y g
0
(u; v) =
_
v u
1 1
_
si a = (2; 1), f(2; 1) = (5; 3) se cumple
f
0
(2; 1) =
_
4 2
4 2
_
y g
0
(5; 3) =
_
3 5
1 1
_
y por lo tanto
(g f`)
0
(2; 1) = g
0
(5; 3)f
0
(2; 1) =
_
3 5
1 1
__
4 2
4 2
_
=
_
32 4
8 0
_
Ejemplo 10 Sea w = f(ax
2
+ bxy + cy
2
) con y = x
2
+ x + 1, calcular
dw
dx

1
. En este caso
x (x; x
2
+ x + 1)
f
ax
2
+ bx(x
2
+ x + 1) + c(x
2
+ x + 1)
2
x (x; y) u
f
w
dw
dx
= f
0
(u)
_
du
dx
;
du
dv
_
_
_
_
dx
dx
dy
dx
_
_
_ = f
0
(u) (2ax + b; 2cy + bx)
_
1
2x + 1
_
siendo x = 1;
1 (1; 1) a b + c
f
f(a b + c)
luego
dw
dx

1
= f
0
(a b + c) (2a(1) + b; 2c1 + b(1))
_
1
2(1) + 1
_
= 2(a b + c)f
0
(a b + c)
Ejemplo 11 Sea u = x
3
f
_
y
x
;
z
x
_
demostrar que x
@u
@x
+ y
@u
@y
+ z
@u
@z
= 3u. Se plantea
(x; y; z)
h
(s; t)
f
w = f(s; t)
donde s =
y
x
, t =
z
x
y h(x; y; z) =
_
y
x
;
z
x
_
, por lo tanto
@s
@x
=
y
x
2
;
@s
@y
=
1
x
;
@s
@z
= 0;
@t
@x
=
z
x
2
;
@t
@y
= 0;
@t
@z
=
1
x
y por la regla de la cadena
_
@w
@x
;
@w
@y
;
@w
@z
_
=
_
@w
@s
;
@w
@t
_
_
_
_
@s
@x
@s
@y
@s
@z
@t
@x
@t
@y
@t
@z
_
_
_
los clculos son
_

_
@w
@x
=
@w
@s
@s
@x
+
@w
@t
@t
@x
=
y
x
2
@f
@s

z
x
2
@f
@t
@w
@y
=
@w
@s
@s
@y
+
@w
@t
@t
@y
=
1
x
@f
@s
@w
@z
=
@w
@s
@s
@z
+
@w
@t
@t
@z
=
1
x
@f
@t
y aplicando la derivada del producto
_

_
@u
@x
= 3x
2
w + x
3
@w
@x
= 3x
2
w yx
@w
@s
zx
@w
@t
@u
@y
= x
3
@w
@y
= x
2
@w
@s
@u
@z
= x
3
@w
@z
= x
2
@w
@t
luego
x
@u
@x
+ y
@u
@y
+ z
@u
@z
= 3x
3
w yx
2
@w
@s
zx
2
@w
@t
+ yx
2
@w
@s
+ zx
2
@w
@t
= 3x
3
w = 3u
E.C. - C.E.
5