H* Funcion Compuesta

Si tenemos dos funciones escalares f:AÍR®

R y g:BÍR®R

Seria posible
realizar las siguientes composiciones:

1- gof = g@fHxLD, si ImHfL Í domHgL

2- fog = f@gHxLD, si ImHgL Í domHfL

y la derivada de cada composicion posible se

puede calcular mediante la regla de la cadena:

1- Si f es derivable en x y g es derivable en fHxL

DHgofL = @HgofLHxLD' = g'@fHxLD.f'HxL

gof resulta derivable en x

y es el producto de la derivada de g
en fHxL por la derivada de f respecto de x

2- Si g es derivable en x y f es derivable en gHxL

D =
2 FuncionCompuesta - Diego Ferreiro.nb

DHfogL = @HfogLHxLD' = f'@gHxLD.g'HxL

fog resulta derivable en x

y es el producto de la derivada de f
en gHxL por la derivada de g respecto de x

*L
H* Generalizacion a todo tipo de Funciones

Dos funciones generalizadas pueden componerse si

la imagen de la primera funcion que se aplica
esta incluida en el dominio de la segunda.

Sean G:AÍRn ®Rm y F:BÍRm ®Rp donde m ³ 1,

n ³ 1, p ³ 1

y ademas ImHGLÍ B se puede definir la composicion:

FoG: AÍRn ®Rp tal que FoGHXL = FAGHXLE

*L
H* Casos de composiciones posibles

1- Funcion escalar - Funcion escalar

f:AÍR®R, g:BÍR®R

-Si ImHfLÍ B, existe gof:AÍR®R,

que por lo tanto es una función escalar

-Si ImHgLÍ A, existe

fog: BÍR®R que también resulta una función escalar
 FuncionCompuesta - Diego Ferreiro.nb 3

2- Funcion escalar - Funcion vectorial

f:AÍR®R, g:BÍR®Rn con nr2

-Si ImHfL Í B,existe gof: AÍR®Rn ,

que es una función vectorial

-Como ImHgL no está incluida en A,no existe fog

3- Funcion escalar - Campo escalar

.
f:AÍR®R, G:BÍRn ®R con nr2

-ImHfL no está incluida en B,entonces no existe Gof.

-Si ImHGL Í A,
existe foG:BÍRn ®R que resulta un campo escalar

4- Funcion escalar - Campo vectorial

f:AÍR®R, G: BÍRn ®Rm con nr2 y mr2

-ImHfL no está incluida en B,

con lo cual no existe Gof

-ImHGL no está incluida en A, entonces no existe foG

5- Funcion vectorial - Funcion vectorial

4 FuncionCompuesta - Diego Ferreiro.nb

f:AÍR®Rn , g:BÍR®Rm con mr2 y nr2

-ImHfL no está incluida en B,

por lo tanto no existe gof

.-ImHgL no está incluida en A,con lo cual no existe fog

.
6- Funcion vectorial - Campo Escalar

f:AÍR®Rn , G:BÍRm ®R con mr2 y nr2

-Si m=n y ImHfL está incluida en B,

existe Gof:AÍR®R que es una funcion escalar.

-Si ImHGL está incluida en A,

existe foG: BÍRm ®Rn que es un campo vectorial.

7- Funcion vectorial - Campo vectorial

f:AÍR®Rn , G:BÍRm ®Rp con mr2, nr2 y pr2

-Si m=n y ImHfL está incluida en B,

existe Gof:AÍR®Rp que es una funcion vectorial.

-ImHGL no está incluida en A,

con lo cual no existe foG.

8- Campo escalar - Campo escalar

 FuncionCompuesta - Diego Ferreiro.nb 5

F:AÍRn ®R G:BÍRm ®R con mr2 y nr2

-ImHFL no está incluida en B,

con lo cual no existe GoF

-ImHGL no está incluida en A,

con lo cual no existe FoG

9- Campo escalar - Campo vectorial

F:AÍRn ®R G:BÍRm ®Rp

-ImHFL no está incluida en B,

con lo cual no existe GoF

-Si p=n y ImHGL está incluida en A,

existe FoG:BÍRm ®R que es un campo escalar.

10- Campo vectorial - Campo vectorial

F:AÍRm ®Rn G:BÍRp ®Rq donde m ³ 2,

n ³ 2, p ³ 2, q ³ 2

-Si q=m y ImHGL está incluida en A,

existe FoG:BÍRp ®Rn que es un campo vectorial.

-Si n=p y ImHFL está incluida en B,

existe GoF:AÍRm ®Rq y es un campo vectorial.

*L
6 FuncionCompuesta - Diego Ferreiro.nb

H* Ejemplo:

Dadas las funciones generalizadas formalizar

las composiciones posibles entre dos de ellas:

FHx,y,zL= Ix2 -y,ãx -z3 M F:R3 ®R2

GHr,sL= 2.r2 - 3.r.s G:R2 ®R
hHtL= I3.t2 +t, sen t, ln tM h : AcR®
R3 donde a es R+

FoG: F@GHr,sLD no es posible porque las

dimensiones de los espacios del dominio
de F y la imagen de G no son compatibles.

GoF: GAFHx,y,zLE= G@rHx,y,zL,sHx,y,zLD R3 ®R

Foh: FAhHtLE= F@xHtL,yHtL,zHtLD=

HF1@xHtL,yHtL,zHtLD, F2@xHtL,yHtL,zHtLDL AcR®R2

hoF: hAFHx,y,zLE no es posible porque

las dimensiones de los espacios del dominio
de h y la imagen de F no son compatibles.

Goh: GIhHtLM no es posible porque las

dimensiones de los espacios del dominio
de G y la imagen h no son compatibles.

hoG: h@GHr,sLD no es posible,

si bien las dimensiones de los espacios

la imagen de G Htodo RL no esta

del dominio de h y la imagen G son compatibles,

incluida en el dominio de h HA:R+L

*L
H* Hacer GoFH0,1,2L y luego su matriz derivada.

GoFHx,y,zL= GAFHx,y,zLE= G@rHx,y,zL,sHx,y,zLD

FHx,y,zL= Ix2 -y,ãx -z3 M

F1Hx,y,zL= rHx,y,zL=x2 -y
F2Hx,y,zL= sHx,y,zL=ãx -z3

=
 FuncionCompuesta - Diego Ferreiro.nb 7

F2Hx,y,zL= sHx,y,zL=ãx -z3

GHr,sL= 2.r2 - 3.r.s

GoFHx,y,zL= 2.Ix2 -yM - 3.Ix2 -yM.Iãx -z3 M

2

GoFH0,1,2L= 2.I02 -1M - 3.I02 -1M.Iã0 -23 M=2-21=-19

2

La derivada al ser GoF un campo

escalar de R3 ®R sera el gradiente:

DIGoFM= I IGoFM'x IGoFM'y IGoFM'z M

IGoFM'x =
4.Ix2 -yM.2.x - 3.A2.x.Iãx -z3 M+Ix2 -yM.ãx E=
8.x.Ix2 -yM- 6.x.Iãx -z3 M-3.Ix2 -yM.ãx

IGoFM'x H0,1,2L=
8.0.I02 -1M- 6.0.Iã0 -23 M- 3.I02 -1M.ã0 = 3

IGoFM'y = 4.Ix2 -yMH-1L

- 3.Iãx -z3 M.H-1L= -4.Ix2 -yM+ 3.Iãx -z3 M

IGoFM'y H0,1,2L=
-4.I02 -1M+ 3.Iã0 -23 M= -17

IGoFM'z =
- 3.Ix2 -yM.J-3.z2 M= 9.Ix2 -yM. z2

IGoFM'z H0,1,2L= 9.I02 -1M. 22 = -36

DIGoFMH0,1,2L=H3 -17 -36L

*L
H* Generalizacion de la Regla de la cadena

Sean G:AÍRn ®Rm ,

F:BÍRm ®Rp Hcon n³1,m³1,p³1L tales que ImHGLÍB. IFoGM
8 FuncionCompuesta - Diego Ferreiro.nb

Si G es diferenciable en un
punto Po y F es diferenciable GHPoL,
entonces FoG es diferenciable en Po y se cumple:

DIFoGMHPoL= DFIGHPoLM.DGHPoL

Ejemplo:

Hallar por regla de la cadena

DIGoFMH0,1,2L del ejemplo anterior.

FHx,y,zL= Ix2 -y,ãx -z3 M

GHr,sL= 2.r2 - 3.r.s

DIGoFMH0,1,2L= DGIFH0,1,2LM.DFH0,1,2L
1x3 1x2 2x3

FH0,1,2L= I02 -1,ã0 -23 M = H-1,-7L

F1'x F1'y F1'z

DF=
F2'x F2'y F2'z

DFH0,1,2L=
F1'x F1'y F1'z 2x -1 0
=
F2'x F2'y F2'z H0,1,2L ãx 0 -3z2 H0,1,2L

DFH0,1,2L= K O
0 -1 0
1 0 -12

DG = HG'r G's L

DG = =
 FuncionCompuesta - Diego Ferreiro.nb 9

DGIFH0,1,2LM= DGH-1,-7L=
HG'r G's LH-1,-7L = H4r-3s -3r LH-1,-7L

DGIFH0,1,2LM= DGH-1,-7L=H17 3L

DIGoFMH0,1,2L= H17 O=H17.0+3.1

0 -1 0
3L.K 17.H-1L+
1 0 -12
3.0 17.0+3.H-12LL=H3 -17 -36L

DIGoFMH0,1,2L=
IIGoFM'x IGoFM'y IGoFM'z MH0,1,2L

Entonces:

DIGoFMH0,1,2L=H3 -17 -36L

*L
H* Diagrama del Arbol o Red Orientada

Es posible derivar utilizando una

red orientada.Esta red puede armarse para
cualquier composición de funciones que pueda
hacerse y facilita la visualización de la
vinculación que existe entre las variables,
ya que muestra cuáles son las variables
independientes de la composición,y a través
de qué variables intermedias se llega a ellas.

Hallar por diagrama del arbol

DIGoFMH0,1,2L del ejemplo anterior.

FHx,y,zL= Ix2 -y,ãx -z3 M

GHr,sL= 2.r2 - 3.r.s

10 FuncionCompuesta - Diego Ferreiro.nb

G'x = G'r . r'x + G's . s'x = IGoFM'x

G'y = G'r . r'y + G's . s'y = IGoFM'y

G'z = G'r . r'z + G's . s'z = IGoFM'z

O tambien:

G'x = G'r . r'x + G's . s'x = IGoFM'x

G'y = G'r . r'y = IGoFM'y

G'z = G's . s'z = IGoFM'z

 FuncionCompuesta - Diego Ferreiro.nb 11

G'z = G's . s'z = IGoFM'z

Entonces:

G'r = 4r-3s
G's = -3r

r'x =2x
r'y =-1
r'z =0

s'x =ex
s'y =0
s'z =-3z2

G'x = H4r-3sL .2x + H-3rL . ex

G'y = H4r-3sL . H-1L + H-3rL . 0
G'z = H4r-3sL . 0 + H-3rL . I-3z2 M

G'x H0,1,2L = H4 H-1L-3 H-7LL .2.0

- 3H-1L . e0 = 0+3 =3
G'y H0,1,2L= -H4 H-1L-3 H-7LL -
3 H-1L . 0= -17+0 =-17
G'z H0,1,2L= H4 H-1L-3 H-7LL .
0 + 3 H-1L . 3.22 =0-36 =-36

DIGoFMH0,1,2L=H3 -17 -36L

*L
12 FuncionCompuesta - Diego Ferreiro.nb

H* Ejercicio 2

w'r = w'x x'r + w'y y'r + w'z z'r

w's = w'x x's + w'y y's + w'z z's

w'r = 1 H1sL + 2 2r + 2z. 2 =

1s + 4 r + 2H2rL.2= 1s + 12r

w's = 1 I-r‘s2 M + 2 H1sL + 2z. 0 = 2 M+

K-r‘s 2s

*L