1.- Introduccin
Hasta ahora, se ha estudiado la relacin existente entre una(s) variable(s)
dependiente(s) y n variables "independientes" x
i
(explicativas):
f: D R
n
R
m
(x
1
, x
, !!!, x
n
) f(x) " y " (y
1
, y
, !!!, y
m
)
De esta forma, para distintos valores de las variables "independientes" x
i
, se
determinaba el correspondiente valor de la(s) variable(s) dependiente(s), o fenmeno
explicado, y!
#on el uso de derivadas parciales se estudiaba el comportamiento del fenmeno
explicado, y, frente a variaciones infinitesimales de las variables independientes! $a
variacin de y frente a cambios %nfinites%males de x, viene dado por y&x
i
! 'hora bien,
en muchos problemas econmicos esta relacin no es tan directa! (uchas veces, estas
variables explicativas, x
i
, dependen a su ve) de otras variables independientes:
x
i
" *
i
(t
1
, t
, !!!, t
p
)
De forma +ue las variaciones de y depender,n pues, en -ltima instancia, de las
variables t
.
, mientras +ue las variables x
i
slo act-an como transmisoras de dichas
variaciones de t
.
, dando lu*ar a lo +ue se conoce como funcin compuesta!
/upn*ase una empresa donde 0(y) representa la funcin de beneficio ! Dicha
empresa produce un -nico art%culo, x, a partir de un -nico input, t, con un mar*en de
11 unidades monetarias por art%culo y se sabe +ue para producir un art%culo se re+uiere
1!2 unidades de input! 's% la variacin del beneficio, si var%an los %nputs contratados,
ser, d0&dt " 0&t!
0(x) " 11x & 0: R R
x(t) " t & x: R R
3l beneficio depender, en -ltima instancia de t:
[ ] t 1 ) t ( 11 ) t ( 0 ) t ( x 0 ) t )( x 0 (
$a derivada de 0 respecto al input t:
04(t)" 1!
1
3n el e.emplo +ue se acaba de plantear se ha obtenido la funcin compuesta +ue
relaciona el beneficio con la variable t! 5o obstante, en *eneral, la obtencin de la
funcin compuesta resulta comple.a! /in embar*o, se dispone de un teorema conocido
como re*la de la cadena +ue proporciona un m6todo operativo para obtener la tasa de
variacin de la variable dependiente ante variaciones infinitesimales en las variables
independientes sin tener +ue recurrir a la obtencin expl%cita de la funcin compuesta!
2.- Definicin de funcin compuesta.
/ea f: D
f
R
n
R
m
& D
f
es abierto!
/ea *: D
*
R
m
R
p
& D
*
es abierto, con f(D
f
)D
*
!
3ntonces, tiene sentido hablar de la composicin de f y *, estando bien definida la
funcin compuesta:
[ ] ) x ( f * ) x )( f * &( R R D : f *
p n
f
y se puede representar en el si*uiente dia*rama:
3.- Diferencial de la funcin compuesta: La regla de la cadena.
/ea f: D
f
R
n
R
m
& D
f
abierto!
/ea *: D
*
R
m
R
p
& D
*
abierto, con f(D
f
)D
*
!
/i f es diferenciable en x
1
D
f
, y * es diferenciable en y
1
" f(x
1
) D
*
, entonces h
"
f *
es diferenciable en x
1
cumpli6ndose:
( )
1 1 1
x ) x ( f x
df d* f * d
(la diferencial de la composicin es la composicin de las diferenciales)!
/iendo su expresin matricial:
! ) x ( ' )) x ( f ( ' ) x ( ' ) x ( '
1 f 1 * 1 f * 1 h
2
R
n
R
n
R
n
f(x) x
D
f
f *
*[f(x)]
*f
ro!lemas resueltos
1.- /ean:
( )
( ) ! R D , y y , y sen y ) y , y ( * & R R : *
! R D , x x x , x e ) x , x , x ( f & R R : f
1 1 1
7
f 7
1
x
7 1
7
1
+
+ +
Halle, si existe, la matri) derivada de la funcin compuesta, es decir, la matri) +ue
represente a la aplicacin diferencial de la funcin compuesta h "
f *
en el punto
(1,1,1):
! ) 1 , 1 , 1 ( ' )) 1 , 1 , 1 ( f ( ' ) 1 , 1 , 1 ( ' ) 1 , 1 , 1 ( '
f * f * h
Solucin:
#omprobacin de existencia de la funcin compuesta y su derivabilidad en el
(1,1,1)! 3s decir, cumplimiento de las hiptesis de la re*la de la cadena:
$a funcin f compuesta con * +uedar%a definida as%:
f *
: R
7
R
f (D
f
)" f(R
7
) R
" D
*
, lue*o f(D
f
) D
*
!
8f es diferenciable en (1,1,1)9
/%, ya +ue sus funciones componentes son diferenciables en todos los puntos de
R
7
por lo +ue f lo ser, en todo R
7
! $a primera es suma de una funcin exponencial con
dominio R
7
m,s otra polinmica: y la se*unda es polinmica!
1
8* es diferenciable en f(1,1,1)" (e
1
;1, 1 < 1 < 1) " (1,1)9
/%, ya +ue sus funciones componentes son diferenciables en todos los puntos de
R
: y la se*unda es polinmica!
#omo se cumplen las hiptesis de la re*la de la cadena, la funcin compuesta va
a ser diferenciable en el (1,1,1), teniendo como derivada:
! ) 1 , 1 , 1 ( ' )) 1 , 1 , 1 ( f ( ' ) 1 , 1 , 1 ( ' ) 1 , 1 , 1 ( '
f * f * h
y en nuestro caso, al ser funciones vectoriales:
[ ]
! =f =* =f =* ) f * ( =
) 1 , 1 , 1 ( ) 1 , 1 ( ) 1 , 1 , 1 ( ) 1 , 1 , 1 ( f ) 1 , 1 , 1 (
#,lculo de =f(1,1,1):
( )
)! 1 , , x ( ) x , x , x ( f
, 1 , 1 , e ) x , x , x ( f
!
) x , x , x ( f
) x , x , x ( f
) x , x , x ( =f
1 7 1
x
7 1 1
7 1
7 1 1
7 1
1
,
_
1
1
,
_
,
_
#,lculo de =*[f(1,1,1)]"=*(1,1):
( )
)! y , y ( ) y , y ( *
, cosy y , y sen ) y , y ( *
!
) y , y ( *
) y , y ( *
) y , y ( =*
1 1
1 1 1
1
1 1
1
,
_
,
_
,
_
$a matri) .acobiana de la funcin compuesta resultante es:
[ ]
!
1 ;
1 1
1 1
1 1 ; 1
1
1 1
=f =* =f =* ) f * ( =
) 1 , 1 , 1 ( ) 1 , 1 ( ) 1 , 1 , 1 ( ) 1 , 1 , 1 ( f ) 1 , 1 , 1 (
,
_
,
_
,
_
2.- /ea ) " sen(xy)! #alcule d)&dt, sabiendo +ue x " e
t
: y " e
7t
!
Solucin:
$a funcin compuesta )>(x,y)(t)? " )(t) estar%a definida
f *
: R R
R
t (x,y) )
De esta forma, la funcin f +uedar%a como
f(t) " (e
t
, e
7t
), con f
1
(t) " x " e
t
: y f
!
- 3xiste funcin compuesta tal +ue f(D
f
) " f(R) D
*
" R
!
$a funcin compuesta )(t) ser, diferenciable en R, y por tanto:
d) " )4 (t) dt d)&dt " )4 (t)!
4
con )4(t) " *[f(t)] =f(t) " *[x(t),y(t)] =f(t) " *(x,y)
(t)
=f(t) en el punto t!
#,lculo de =f(t):
!
e 7
e
) t ( 4 f
) t ( 4 f
) t ( f
) t ( f
) t ( =f
t 7
t
,
_
,
_
,
_
#,lculo de *(x,y):
*(x,y)" (y cos(xy), x cos(xy))!
3n el punto f(t), +ueda:
*[f(t)] " *(e
t
, e
7t
) " (e
7t
cos(e
t
e
7t
), e
t
cos(e
t
e
7t
)) " (e
7t
cos(e
2t
), e
t
cos(e
2t
))!
#,lculo de =)(t)
)4(t) " *[f(t)] =f(t) " *[x(t),y(t)] =f(t) " *(x,y)
(t)
=f(t) "
" (e
7t
cos(e
2t
), e
t
cos(e
2t
))
! ) cos(e 2e ) cos(e 7e ) cos(e e
e 7
e
2t 2t 2t 2t 2t 2t
t 7
t
+
,
_
's% pues,
d) " 2 e
2t
cos(e
2t
) dt d)&dt " 2 e
2t
cos(e
2t
)!
3.- #alcule d) de la si*uiente funcin respecto a x e y:
)(u, v) " (v < 7u) cos(u < 7) :
u " y
v "
1
7
x < y
+
'
@
#alcular d) respecto a x e y e+uivale a calcular la diferencial de la funcin
compuesta, pues en primera instancia ) depende de u y v, pero estas dos variables
dependen de x e y! $a funcin compuesta )(x,y) resulta de la composicin de las
funciones +ue reco*e el enunciado y es una funcin real de dos variables, (x,y)!
$lamando f y * a las dos funciones +ue intervienen, se tiene +ue:
f: R
(x,y) (u(x,y),v(x,y))"(y
<@,
1
7
x y +
)
f es diferenciable en R al serlo las dos funciones componentes, f
1
y f
R
(u,v) )(u,v) " (v
<7u)cos(u<7)
* es diferenciable en R
,
como lo es (v
!
$a funcin compuesta resultante es:
5
f *
: R
R
(x,y) (u(x,y),v(x,y)) )(u(x,y),v(x,y))
d)(x,y)" d(
f *
)(x,y)" ) y , x ( f *
'
,
_
dy
dx
, por la re*la de la cadena se puede calcular la
matri) derivada de la diferencial de la funcin compuestas como el producto de las
matrices derivadas +ue representan a las aplicaciones diferenciales de las dos funciones
diferenciables +ue intervienen en la composicin! 's% se tiene:
) y , x ( f *
'
" '
*[f(x,y)]
'
f(x,y)
* f(x,y) " *[f(x,y)] =f(x,y)
/e obtendr,, primero el vector *radiente de * en un punto (u,v) cual+uiera!
Despu6s se obtendr, el vector de R
<7u)sen(u<7), v cos(u<7))
*[f(x,y)] " *[u(x,y),v(x,y)] " *[y
<@,
1
7
x y +
] "
" (7 cos(y
<A);((
1
7
x y + )
<7(y
<@))sen(y
<A), (
7
x y + )cos(y
<A))
=f(x,y) "
_
,
_
,
u x y
v x y
y
( , )
( , )
1
1
7
1
f *
(x,y) " *[f(x,y)] =f(x,y) "
" (7 cos(y
<A);((
1
7
x y + )
<7(y
<@))sen(y
<A), (
7
x y + )cos(y
<A))
1
1
7
1
y
_
,
"
"((
B
C
x y +
)cos(y
<A),y(7cos(y
<A);(
x y +
_
,
7
7
<7(y
<@))sen(y
<A))<(
B
7
x y +
)cos(y
<A))
6
d)(x,y) " (
B
C
x y +
)cos(y
<A)dx <
<(y(7cos(y
<A);(
x y +
_
,
7
7
<7(y
<@))sen(y
<A))< (
B
7
x y +
)cos(y
<A))dy
".- #alcule d) de la si*uiente funcin respecto a x e y:
)(u, v) " (u < 7v) cos(7 v) :
u " x
v "
1
7
y < x
+
'
@
#alcular d) respecto a x e y e+uivale a calcular la diferencial de la funcin
compuesta, pues en primera instancia ) depende de u y v, pero estas dos variables
dependen de x e y! $a funcin compuesta )(x,y) resulta de la composicin de las
funciones +ue reco*e el enunciado y es una funcin real de dos variables, (x,y)!
$lamando f y * a las dos funciones +ue intervienen, se tiene +ue:
f: R
(x,y) (u(x,y),v(x,y))"(x
<@,
1
7
y x +
)
f es diferenciable en R al serlo las dos funciones componentes, f
1
y f
R
(u,v) )(u,v) " (u
<7v)cos(7v)
* es diferenciable en R
,
como lo es (u
!
$a funcin compuesta resultante es:
f *
: R
R
(x,y) (u(x,y),v(x,y)) )(u(x,y),v(x,y))
7
d)(x,y)" d(
f *
)(x,y)" ) y , x ( f *
'
dx
dy
_
,
f *
(x,y) " *[f(x,y)] =f(x,y)
/e obtendr,, primero el vector *radiente de * en un punto (u,v) cual+uiera!
Despu6s se obtendr, el vector de R
<7v)sen(7v))
*[f(x,y)] " *[u(x,y),v(x,y)] " *[x
<@,
1
7
y x +
] "
" ((x
<D)cos(y<7x),7(cos(y<7x);[(x
<@)
<(y<7x)]sen(y<7x))
=f(x,y) "
_
,
_
,
u x y
v x y
x
( , )
( , )
1
1
1
7
f *
(x,y) " *[f(x,y)] =f(x,y) "
" ((x
<D)cos(y<7x),7(cos(y<7x); [(x
<@)
<(y<7x)]sen(y<7x))
1
1
1
7
x
_
,
"
"((@x
7
<1Bx<7)cos(y<7x); [(x
<@)
<(y<7x)],cos(y<7x);(x
<@)
; y<7x)sen(y<7x))
d)(x,y) " ((@x
7
<1Bx<7)cos(y<7x); [(x
<@)
<(y<7x)]sen(y<7x))dx <
< (cos(y<7x);(x
<@)
;(y<7x)sen(y<7x))dy
8
#.- #alcule d) de la si*uiente funcin respecto a x e y:
'
x < y " v
x 2 " u
: cos(v) 7 < vu " v) )(u,
7
(x,y) (u(x,y),v(x,y))"(2x
7
,y<x)
f es diferenciable en R
R
(u,v) )(u,v) " vu
< 7 cos(v)
* es diferenciable en R
,
como lo es vu
!
f *
: R
R
(x,y) (u(x,y),v(x,y)) )(u(x,y),v(x,y))
d)(x,y)" d(
f *
)(x,y)" ) y , x ( f *
'
dx
dy
_
,
f *
(x,y) " *[f(x,y)] =f(x,y)
/e obtendr,, primero el vector *radiente de * en un punto (u,v) cual+uiera!
Despu6s se obtendr, el vector de R
;7sen(v))
*[f(x,y)] " *[u(x,y),v(x,y)] " *[2x
7
,y<x] "
" ((2x
7
)(y<x), (2x
7
)
_
,
_
,
u x y
v x y
x
( , )
( , )
12 1
1
f *
(x,y) " *[f(x,y)] =f(x,y) " (1x
7
y<11x
@
, 2x
B
;7sen(y<x))
12 1
1
_
,
"
"(711x
2
y<121x
B
< 2x
B
;7sen(y<x), 21x
B
;Bsen(y<x))"
" (711x
2
y<1A2x
B
;7sen(y<x), 21x
B
;Bsen(y<x))
d)(x,y) " (711x
2
y<1A2x
B
;7sen(y<x))dx <(21x
B
;Bsen(y<x))dy
$.- #alcule d) de la si*uiente funcin respecto a u y v:
'
u < v " y
u 2 " x
: cos(y) 7 < xy " y) )(x,
(u,v) (x(u,v),y(u,v))"(2u
7
,v
<u)
f es diferenciable en R al serlo las dos funciones componentes, f
1
y f
R
(x,y) )(x,y) " xy
< 7 cos(y)
* es diferenciable en R
,
como lo es xy
!
10
f *
: R
R
(u,v) (x(u,v),y(u,v)) )(x(u,v),y(u,v))
d)(u,v)" d(
f *
)(u,v)" ) v , u ( f *
'
du
dv
_
,
f *
(u,v) " *[f(u,v)] =f(u,v)
/e obtendr,, primero el vector *radiente de * en un punto (x,y) cual+uiera!
Despu6s se obtendr, el vector de R
, xy;7sen(y))
*[f(u,v)] " *[x(u,v),y(u,v)] " *[2u
7
,v
<u] "
" ((v
<u)
, (2u
7
)(v
<u);7 sen(v
<u))
=f(u,v) "
_
,
_
,
x(u, v)
(u, v) y
u
v
12 1
1 @
f *
(u,v) " *[f(u,v)] =f(u,v) "
" ((v
<u)
,(2u
7
)(v
<u);7sen(v
<u))
12 1
1 @
u
v
_
,
"
"(12 u
(v
<u)
<11u
7
(v
<u);7sen(v
<u), ;1v
sen(v
<u))
11
d)(u,v) " (12 u
(v
<u)
<11u
7
(v
<u);7sen(v
<u))du;1v
sen(v
<u)dv
%.- #alcule
d)
dt
de la si*uiente funcin:
)(x, y) " e seny:
x " t
y " 7t
x
'
#alcular
d)
dt
e+uivale a calcular )E(t), pues la funcin compuesta +ue resulta de
la composicin de las funciones +ue reco*e el enunciado es una funcin real de variable
real! $lamando f y * a las dos funciones +ue intervienen, se tiene +ue:
f: R R
t (x(t),y(t))"(t
, 7t)
f es diferenciable en R al serlo las dos funciones componentes, f
1
y f
R
(x,y) )(x,y) " e
x
seny
* es diferenciable en R
,
como lo es e
x
, exponencial cuyo dominio es R
!
f *
: R R
R
t (x(t),y(t)) )(t)
For todo lo anterior, esta funcin compuesta es diferenciable en t, y )E(t)"
f *
E(t), por la re*la de la cadena se puede calcular como el producto de las matrices
derivadas +ue representan a las aplicaciones diferenciales de las dos funciones
diferenciables +ue intervienen en la composicin! 's% se tiene:
)E(t)"
f *
E(t) " '
*[f(t)]
'
f(t)
" *[f(t)] =f(t)
/e obtendr,, primero el vector *radiente de * en un punto (x,y) cual+uiera,
despu6s se obtendr, el vector de R
, 7t] " ( e t t
t
7 7 sen( ), cos( ) e
t
)
12
=f(t) "
x4 (t)
y4 (t)
t
7
_
,
_
,
7 7 sen( ), cos( ) e
t
)
t
7
_
,
" t e t
t
7 sen( ) < 7 e
t
cos( ) 7t
&.- #alcule
d)
dt
de la si*uiente funcin:
)(x, y) " e senx:
x " 7t
y " t <
y
'
#alcular
d)
dt
e+uivale a calcular )E(t), pues la funcin compuesta +ue resulta de
la composicin de las funciones +ue reco*e el enunciado es una funcin real de variable
real! $lamando f y * a las dos funciones +ue intervienen, se tiene +ue:
f: R R
t (x(t),y(t))"(7t
, t<)
f es diferenciable en R al serlo las dos funciones componentes, f
1
y f
R
(x,y) )(x,y) " e
y
senx
* es diferenciable en R
,
como lo es e
y
, exponencial cuyo dominio es R
!
f *
: R R
R
t (x(t),y(t)) )(t)
13
For todo lo anterior, esta funcin compuesta es diferenciable en t, y )E(t)"
f *
E(t), por la re*la de la cadena se puede calcular como el producto de las matrices
derivadas +ue representan a las aplicaciones diferenciales de las dos funciones
diferenciables +ue intervienen en la composicin! 's% se tiene:
)E(t)"
f *
E(t) " '
*[f(t)]
'
f(t)
" *[f(t)] =f(t)
/e obtendr,, primero el vector *radiente de * en un punto (x,y) cual+uiera,
despu6s se obtendr, el vector de R
, t<] " ( e t t
t +
7 7 cos( ), sen( ) e
t <
)
=f(t) "
x t
y t
t 4 ( )
4 ( )
_
,
_
,
B
1
)E(t) " *[f(t)] =f(t) " ( e t t
t +
7 7 cos( ), sen( ) e
t <
)
B
1
t
_
,
" Bt e t
t +
7 cos( ) <
e
t <
sen( ) 7
t
14
ro!lemas propuestos
1.- #alcule (d) & dt) de la si*uiente funcin:
)(x, y) " e seny:
x " t
y " 7t
x
'
'
3.- Gn individuo tiene una funcin de utilidad +ue depende de dos variables : el tiempo
+ue dedica al ocio (x), y el tiempo +ue dedica al traba.o (y)! ' su ve) estas variables
(x,y), dependen de otras dos : el dinero +ue posee (t
1
) y el super,vit alimentario +ue
sufre (t
)
"(;114l, 1141)9
15