Andrea Campillo – Análisis Matemático II

FUNCIONES COMPUESTAS

Composición de funciones escalares: repaso

Repasemos la definición de composición de funciones para funciones escalares de una variable.
R R R
f g
x0 f (x0) g(f (x0))

(g o f )(x0)

Sea f : Dom f  R  R , y sea g : Dom g  R  R . Si se verifica que Im f  Dom g puede definirse la

función compuesta:
g f : Dom f  R  R / ( g f )( x)  g ( f ( x))
Si no se cumple la condición de que el conjunto Im f esté incluido en Dom g, puede restringirse la función f
(restringiendo su dominio), de modo tal que la composición sea posible.
Esta definición se puede generalizar para funciones de varias variables.

Definición:
Rn Rm Rp
f g
X0 f (X0) g ( f ( X 0 ))

( g f )( X 0 )

Sea f : Dom f  R n  R m , y sea g : Dom g  R m  R p . Si se verifica que Im f  Dom g puede

definirse la función compuesta:
g f : Dom f  R n  R p / ( g f )( X )  g ( f ( X ))
Si no se cumple la condición de que el conjunto Im f esté incluido en Dom g, puede restringirse la función
f (restringiendo su dominio), de modo tal que la composición sea posible (siempre que los espacios
vectoriales del conjunto de llegada de f y del conjunto de partida de g tengan la misma dimensión).

Derivada de la función compuesta (regla de la cadena matricial)

Repaso: para derivar una función compuesta de AMI se utiliza la denominada “regla de la cadena”, que
repasamos a continuación:
Sea f : Dom f  R  R , y sea g : Dom g  R  R , de modo que puede definirse la función compuesta
g f : Dom f  R  R / ( g f )( x)  g ( f ( x)) . Sea x0 punto interior de Dom f , y sea y0  f ( x0 ) punto
interior de Dom g. Si se verifica que la función f es derivable en x0 y la función g es derivable en
y0  f ( x0 ) , entonces:
( g f )( x0 )  g ( f ( x0 )). f ( x0 )
Andrea Campillo – Análisis Matemático II

Este teorema se puede generalizar para funciones de varias variables.

Sea f : Dom f  R n  R m , y sea g : Dom g  R m  R p , de modo que puede definirse la función
compuesta g f : Dom f  R n  R p / ( g f )( X )  g ( f ( X )) . Sea X0 punto interior de Dom f , y sea
Y0  f ( X 0 ) punto interior de Dom g. Si se verifica que la función f es diferenciable en X0 (o podemos
decir f  C1 X0 ), y la función g es diferenciable en Y0  f ( X 0 ) (o podemos decir g  C1 en Y0  f ( X 0 ) ),
entonces:
D( g f )( X 0 )  Dg ( f ( X 0 )). D f ( X 0 )
En este caso, la matriz jacobiana de la función compuesta se obtiene multiplicando las matrices jacobianas
de las funciones g y f .

Teorema (la composición de funciones diferenciables es diferenciable)

Sea f : Dom f  R n  R m , y sea g : Dom g  R m  R p , de modo que puede definirse la función
compuesta g f : Dom f  R n  R p / ( g f )( X )  g ( f ( X )) . Sea X0 punto interior de Dom f , y sea
Y0  f ( X 0 ) punto interior de Dom g.

Si se verifica que la función f es diferenciable en X0 (o podemos decir f  C1 X0 ), y la función g es

diferenciable en Y0  f ( X 0 ) (o podemos decir g  C1 en Y0  f ( X 0 ) ), entonces la función compuesta
( g f ) es diferenciable en X0 .

Resolvemos algunos ejercicios del TP6

Andrea Campillo – Análisis Matemático II

1)b) Dadas las funciones f y g , analice en cada caso si quedan definidas f g y g f . Además, para
cada función generada mediante la composición, determine su dominio natural y obtenga su matriz
jacobiana en algún punto interior del mismo
f ( x, y )  x y g (u )  (u , 2  u )
Andrea Campillo – Análisis Matemático II

Recordemos que: f ( x, y )  x y g (u )  (u , 2  u )

Gráfico de red orientada

En algunos casos puede resultar más sencillo utilizar una red orientada como regla práctica de derivación.
La red orientada describe la relación entre las variables de la función compuesta. Veamos un ejemplo de su
utilización en la obtención de la derivada del ejercicio f g * del ejercicio 1)b).

Recordemos que: f ( x, y )  x y g (u )  (u , 2  u )
Andrea Campillo – Análisis Matemático II

u  x  y 2
Ejercicio 3) Si z  2uv  2 v  u con  resulta z  h( x, y)
v  x  2 xy  1
a) Reconozca las funciones f y g que generan h como h  f g
b) Calcule la derivada direccional de h en (2 , 1) en la dirección que va hacia (5 , 5)
c) Sea 0 la recta normal a la gráfica de h en (2 , 1 , z0); exprese 0 como intersección de dos superficies.
d) Analice si la recta 0 mencionada en c) tiene algún punto en común con el eje z.
Andrea Campillo – Análisis Matemático II

u  x  y 2
Recordemos que: z  2uv  2 v  u con  resulta z  h( x, y)
v  x  2 xy  1
Andrea Campillo – Análisis Matemático II
Andrea Campillo – Análisis Matemático II

4) Dada w  u3  x v2 con u  x y  x  v  2 x  y 2 resulta w  f ( x, y) . Aplicando la regla de

derivación de funciones compuestas (sin realizar la composición), calcule f x(0,1)