Regla de la cadena

Para derivadas de funciones compuestas

En cálculo , la regla de la cadena es una fórmula que expresa la derivada de la composición de dos funciones diferenciables f y g en términos de las derivadas de f y g . Más precisamente, si es la función tal que para cada x , entonces la regla de la cadena es, en la notación de Lagrange , o, equivalentemente, ${\displaystyle h=f\circ g}$ ${\displaystyle h(x)=f(g(x))}$ $${\displaystyle h'(x)=f'(g(x))g'(x).}$$ $${\displaystyle h'=(f\circ g)'=(f'\circ g)\cdot g'.}$$

La regla de la cadena también puede expresarse en la notación de Leibniz . Si una variable z depende de la variable y , que a su vez depende de la variable x (es decir, y y z son variables dependientes ), entonces z depende también de x , a través de la variable intermedia y . En este caso, la regla de la cadena se expresa como y para indicar en qué puntos deben evaluarse las derivadas. $${\displaystyle {\frac {dz}{dx}}={\frac {dz}{dy}}\cdot {\frac {dy}{dx}},}$$ $${\displaystyle \left.{\frac {dz}{dx}}\right|_{x}=\left.{\frac {dz}{dy}}\right|_{y(x)}\cdot \left.{\frac {dy}{dx}}\right|_{x},}$$

En integración , la contraparte de la regla de la cadena es la regla de sustitución .

Explicación intuitiva

Intuitivamente, la regla de la cadena establece que conocer la tasa instantánea de cambio de z con respecto a y y la de y con respecto a x permite calcular la tasa instantánea de cambio de z con respecto a x como el producto de las dos tasas de cambio.

Como lo expresó George F. Simmons : "Si un automóvil viaja dos veces más rápido que una bicicleta y la bicicleta es cuatro veces más rápida que un hombre que camina, entonces el automóvil viaja 2 × 4 = 8 veces más rápido que el hombre". ^[1]

La relación entre este ejemplo y la regla de la cadena es la siguiente. Sean z , y y x las posiciones (variables) del automóvil, la bicicleta y el hombre que camina, respectivamente. La tasa de cambio de las posiciones relativas del automóvil y la bicicleta es De manera similar, Por lo tanto, la tasa de cambio de las posiciones relativas del automóvil y el hombre que camina es ${\textstyle {\frac {dz}{dy}}=2.}$ ${\textstyle {\frac {dy}{dx}}=4.}$ $${\displaystyle {\frac {dz}{dx}}={\frac {dz}{dy}}\cdot {\frac {dy}{dx}}=2\cdot 4=8.}$$

La tasa de cambio de posiciones es la relación de las velocidades, y la velocidad es la derivada de la posición con respecto al tiempo; es decir, o, equivalentemente, que también es una aplicación de la regla de la cadena. $${\displaystyle {\frac {dz}{dx}}={\frac {\frac {dz}{dt}}{\frac {dx}{dt}}},}$$ $${\displaystyle {\frac {dz}{dt}}={\frac {dz}{dx}}\cdot {\frac {dx}{dt}},}$$

Historia

La regla de la cadena parece haber sido utilizada por primera vez por Gottfried Wilhelm Leibniz . La utilizó para calcular la derivada de como la compuesta de la función raíz cuadrada y la función . La mencionó por primera vez en una memoria de 1676 (con un error de signo en el cálculo). ^[2] La notación común de la regla de la cadena se debe a Leibniz. ^[3] Guillaume de l'Hôpital utilizó la regla de la cadena implícitamente en su Analyse des infiniment petits . La regla de la cadena no aparece en ninguno de los libros de análisis de Leonhard Euler , a pesar de que fueron escritos más de cien años después del descubrimiento de Leibniz. ^{[ cita requerida ] . Se cree que la primera versión "moderna" de la regla de la cadena aparece en} Théorie des fonctions analytiques de Lagrange de 1797 ; también aparece en el Résumé des Leçons données a L'École Royale Polytechnique sur Le Calcul Infinitesimal de Cauchy de 1823 . ^[3] ${\displaystyle {\sqrt {a+bz+cz^{2}}}}$ ${\displaystyle a+bz+cz^{2}\!}$

Declaración

La forma más simple de la regla de la cadena es para funciones de valor real de una variable real . Establece que si g es una función que es diferenciable en un punto c (es decir, la derivada g ′( c ) existe) y f es una función que es diferenciable en g ( c ) , entonces la función compuesta es diferenciable en c , y la derivada es ^[4] La regla a veces se abrevia como ${\displaystyle f\circ g}$ $${\displaystyle (f\circ g)'(c)=f'(g(c))\cdot g'(c).}$$ $${\displaystyle (f\circ g)'=(f'\circ g)\cdot g'.}$$

Si y = f ( u ) y u = g ( x ) , entonces esta forma abreviada se escribe en notación de Leibniz como: $${\displaystyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}.}$$

Los puntos en los que se evalúan las derivadas también pueden indicarse explícitamente: $${\displaystyle \left.{\frac {dy}{dx}}\right|_{x=c}=\left.{\frac {dy}{du}}\right|_{u=g(c)}\cdot \left.{\frac {du}{dx}}\right|_{x=c}.}$$

Llevando el mismo razonamiento más allá, dadas n funciones con la función compuesta , si cada función es diferenciable en su entrada inmediata, entonces la función compuesta también es diferenciable por la aplicación repetida de la regla de la cadena, donde la derivada es (en la notación de Leibniz): ${\displaystyle f_{1},\ldots ,f_{n}\!}$ ${\displaystyle f_{1}\circ (f_{2}\circ \cdots (f_{n-1}\circ f_{n}))\!}$ ${\displaystyle f_{i}\!}$ $${\displaystyle {\frac {df_{1}}{dx}}={\frac {df_{1}}{df_{2}}}{\frac {df_{2}}{df_{3}}}\cdots {\frac {df_{n}}{dx}}.}$$

Aplicaciones

Composiciones de más de dos funciones

La regla de la cadena se puede aplicar a las funciones compuestas de más de dos. Para obtener la derivada de una función compuesta de más de dos funciones, observe que la función compuesta de f , g y h (en ese orden) es la función compuesta de f con g ∘ h . La regla de la cadena establece que para calcular la derivada de f ∘ g ∘ h , es suficiente calcular la derivada de f y la derivada de g ∘ h . La derivada de f se puede calcular directamente, y la derivada de g ∘ h se puede calcular aplicando nuevamente la regla de la cadena. ^{[ cita requerida ]}

Para ser más concretos, considere la función Esta puede descomponerse como la composición de tres funciones: De modo que . $${\displaystyle y=e^{\sin(x^{2})}.}$$ $${\displaystyle {\begin{aligned}y&=f(u)=e^{u},\\u&=g(v)=\sin v,\\v&=h(x)=x^{2}.\end{aligned}}}$$ ${\displaystyle y=f(g(h(x)))}$

Sus derivados son: $${\displaystyle {\begin{aligned}{\frac {dy}{du}}&=f'(u)=e^{u},\\{\frac {du}{dv}}&=g'(v)=\cos v,\\{\frac {dv}{dx}}&=h'(x)=2x.\end{aligned}}}$$

La regla de la cadena establece que la derivada de su compuesto en el punto x = a es: $${\displaystyle {\begin{aligned}(f\circ g\circ h)'(a)&=f'((g\circ h)(a))\cdot (g\circ h)'(a)\\&=f'((g\circ h)(a))\cdot g'(h(a))\cdot h'(a)\\&=(f'\circ g\circ h)(a)\cdot (g'\circ h)(a)\cdot h'(a).\end{aligned}}}$$

En la notación de Leibniz , esto es: o para abreviar, La función derivada es por lo tanto: $${\displaystyle {\frac {dy}{dx}}=\left.{\frac {dy}{du}}\right|_{u=g(h(a))}\cdot \left.{\frac {du}{dv}}\right|_{v=h(a)}\cdot \left.{\frac {dv}{dx}}\right|_{x=a},}$$ $${\displaystyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dv}}\cdot {\frac {dv}{dx}}.}$$ $${\displaystyle {\frac {dy}{dx}}=e^{\sin(x^{2})}\cdot \cos(x^{2})\cdot 2x.}$$

Otra forma de calcular esta derivada es considerar la función compuesta f ∘ g ∘ h como la función compuesta de f ∘ g y h . Al aplicar la regla de la cadena de esta manera obtendríamos: $${\displaystyle (f\circ g\circ h)'(a)=(f\circ g)'(h(a))\cdot h'(a)=f'(g(h(a)))\cdot g'(h(a))\cdot h'(a).}$$

Esto es lo mismo que se calculó anteriormente. Esto era de esperarse porque ( f ∘ g ) ∘ h = f ∘ ( g ∘ h ) .

A veces, es necesario diferenciar una composición arbitrariamente larga de la forma . En este caso, defina dónde y cuándo . Entonces la regla de la cadena toma la forma o, en la notación de Lagrange, ${\displaystyle f_{1}\circ f_{2}\circ \cdots \circ f_{n-1}\circ f_{n}\!}$ $${\displaystyle f_{a\,.\,.\,b}=f_{a}\circ f_{a+1}\circ \cdots \circ f_{b-1}\circ f_{b}}$$ ${\displaystyle f_{a\,.\,.\,a}=f_{a}}$ ${\displaystyle f_{a\,.\,.\,b}(x)=x}$ ${\displaystyle b<a}$ $${\displaystyle Df_{1\,.\,.\,n}=(Df_{1}\circ f_{2\,.\,.\,n})(Df_{2}\circ f_{3\,.\,.\,n})\cdots (Df_{n-1}\circ f_{n\,.\,.\,n})Df_{n}=\prod _{k=1}^{n}\left[Df_{k}\circ f_{(k+1)\,.\,.\,n}\right]}$$ $${\displaystyle f_{1\,.\,.\,n}'(x)=f_{1}'\left(f_{2\,.\,.\,n}(x)\right)\;f_{2}'\left(f_{3\,.\,.\,n}(x)\right)\cdots f_{n-1}'\left(f_{n\,.\,.\,n}(x)\right)\;f_{n}'(x)=\prod _{k=1}^{n}f_{k}'\left(f_{(k+1\,.\,.\,n)}(x)\right)}$$

Regla del cociente

La regla de la cadena se puede utilizar para derivar algunas reglas de diferenciación bien conocidas. Por ejemplo, la regla del cociente es una consecuencia de la regla de la cadena y de la regla del producto . Para comprobarlo, escriba la función f ( x )/ g ( x ) como el producto f ( x ) · 1/ g ( x ) . Aplique primero la regla del producto: $${\displaystyle {\begin{aligned}{\frac {d}{dx}}\left({\frac {f(x)}{g(x)}}\right)&={\frac {d}{dx}}\left(f(x)\cdot {\frac {1}{g(x)}}\right)\\&=f'(x)\cdot {\frac {1}{g(x)}}+f(x)\cdot {\frac {d}{dx}}\left({\frac {1}{g(x)}}\right).\end{aligned}}}$$

Para calcular la derivada de 1/ g ( x ) , observe que es la compuesta de g con la función recíproca, es decir, la función que envía x a 1/ x . La derivada de la función recíproca es . Al aplicar la regla de la cadena, la última expresión se convierte en: que es la fórmula habitual para la regla del cociente. ${\displaystyle -1/x^{2}\!}$ $${\displaystyle f'(x)\cdot {\frac {1}{g(x)}}+f(x)\cdot \left(-{\frac {1}{g(x)^{2}}}\cdot g'(x)\right)={\frac {f'(x)g(x)-f(x)g'(x)}{g(x)^{2}}},}$$

Derivadas de funciones inversas

Supongamos que y = g ( x ) tiene una función inversa . Llamemos a su función inversa f de modo que tengamos x = f ( y ) . Existe una fórmula para la derivada de f en términos de la derivada de g . Para ver esto, observe que f y g satisfacen la fórmula $${\displaystyle f(g(x))=x.}$$

Y como las funciones y x son iguales, sus derivadas deben ser iguales. La derivada de x es la función constante con valor 1, y la derivada de está determinada por la regla de la cadena. Por lo tanto, tenemos que: ${\displaystyle f(g(x))}$ ${\displaystyle f(g(x))}$ $${\displaystyle f'(g(x))g'(x)=1.}$$

Para expresar f' como función de una variable independiente y , sustituimos x dondequiera que aparezca. Luego podemos hallar f ' . ${\displaystyle f(y)}$ $${\displaystyle {\begin{aligned}f'(g(f(y)))g'(f(y))&=1\\f'(y)g'(f(y))&=1\\f'(y)={\frac {1}{g'(f(y))}}.\end{aligned}}}$$

Por ejemplo, considere la función g ( x ) = e ^x . Tiene una inversa f ( y ) = ln y . Como g ′( x ) = e ^x , la fórmula anterior dice que $${\displaystyle {\frac {d}{dy}}\ln y={\frac {1}{e^{\ln y}}}={\frac {1}{y}}.}$$

Esta fórmula es verdadera siempre que g sea diferenciable y su inversa f también lo sea. Esta fórmula puede fallar cuando una de estas condiciones no es verdadera. Por ejemplo, considere g ( x ) = x ³ . Su inversa es f ( y ) = y ^1/3 , que no es diferenciable en cero. Si intentamos usar la fórmula anterior para calcular la derivada de f en cero, entonces debemos evaluar 1/ g ′( f (0)) . Dado que f (0) = 0 y g ′(0) = 0 , debemos evaluar 1/0, que no está definido. Por lo tanto, la fórmula falla en este caso. Esto no es sorprendente porque f no es diferenciable en cero.

Propagación hacia atrás

La regla de la cadena constituye la base del algoritmo de retropropagación , que se utiliza en el descenso de gradiente de redes neuronales en el aprendizaje profundo ( inteligencia artificial ). ^[5]

Derivadas superiores

La fórmula de Faà di Bruno generaliza la regla de la cadena a derivadas superiores. Suponiendo que y = f ( u ) y u = g ( x ) , las primeras derivadas son: $${\displaystyle {\begin{aligned}{\frac {dy}{dx}}&={\frac {dy}{du}}{\frac {du}{dx}}\\{\frac {d^{2}y}{dx^{2}}}&={\frac {d^{2}y}{du^{2}}}\left({\frac {du}{dx}}\right)^{2}+{\frac {dy}{du}}{\frac {d^{2}u}{dx^{2}}}\\{\frac {d^{3}y}{dx^{3}}}&={\frac {d^{3}y}{du^{3}}}\left({\frac {du}{dx}}\right)^{3}+3\,{\frac {d^{2}y}{du^{2}}}{\frac {du}{dx}}{\frac {d^{2}u}{dx^{2}}}+{\frac {dy}{du}}{\frac {d^{3}u}{dx^{3}}}\\{\frac {d^{4}y}{dx^{4}}}&={\frac {d^{4}y}{du^{4}}}\left({\frac {du}{dx}}\right)^{4}+6\,{\frac {d^{3}y}{du^{3}}}\left({\frac {du}{dx}}\right)^{2}{\frac {d^{2}u}{dx^{2}}}+{\frac {d^{2}y}{du^{2}}}\left(4\,{\frac {du}{dx}}{\frac {d^{3}u}{dx^{3}}}+3\,\left({\frac {d^{2}u}{dx^{2}}}\right)^{2}\right)+{\frac {dy}{du}}{\frac {d^{4}u}{dx^{4}}}.\end{aligned}}}$$

Pruebas

Primera prueba

Una prueba de la regla de la cadena comienza definiendo la derivada de la función compuesta f ∘ g , donde tomamos el límite del cociente de diferencias para f ∘ g cuando x tiende a a : $${\displaystyle (f\circ g)'(a)=\lim _{x\to a}{\frac {f(g(x))-f(g(a))}{x-a}}.}$$

Supongamos por el momento que no es igual para ningún . Entonces la expresión anterior es igual al producto de dos factores: ${\displaystyle g(x)\!}$ ${\displaystyle g(a)}$ ${\displaystyle x}$ ${\displaystyle a}$ $${\displaystyle \lim _{x\to a}{\frac {f(g(x))-f(g(a))}{g(x)-g(a)}}\cdot {\frac {g(x)-g(a)}{x-a}}.}$$

Si oscila cerca de a , entonces podría suceder que sin importar cuán cerca uno esté de a , siempre haya una x aún más cercana tal que g ( x ) = g ( a ) . Por ejemplo, esto sucede cerca de a = 0 para la función continua g definida por g ( x ) = 0 para x = 0 y g ( x ) = x ² sen(1/ x ) en caso contrario. Siempre que esto sucede, la expresión anterior no está definida porque implica una división por cero . Para solucionar esto, introduzca una función de la siguiente manera: Demostraremos que el cociente de diferencias para f ∘ g es siempre igual a: ${\displaystyle g}$ ${\displaystyle Q}$ $${\displaystyle Q(y)={\begin{cases}\displaystyle {\frac {f(y)-f(g(a))}{y-g(a)}},&y\neq g(a),\\f'(g(a)),&y=g(a).\end{cases}}}$$ $${\displaystyle Q(g(x))\cdot {\frac {g(x)-g(a)}{x-a}}.}$$

Siempre que g ( x ) no sea igual a g ( a ) , esto es claro porque los factores de g ( x ) − g ( a ) se cancelan. Cuando g ( x ) es igual a g ( a ) , entonces el cociente de diferencias para f ∘ g es cero porque f ( g ( x )) es igual a f ( g ( a )) , y el producto anterior es cero porque es igual a f ′( g ( a )) por cero. Por lo tanto, el producto anterior siempre es igual al cociente de diferencias, y para mostrar que la derivada de f ∘ g en a existe y determinar su valor, solo necesitamos mostrar que el límite cuando x tiende a a del producto anterior existe y determinar su valor.

Para ello, recordemos que el límite de un producto existe si existen los límites de sus factores. Cuando esto sucede, el límite del producto de estos dos factores será igual al producto de los límites de los factores. Los dos factores son Q ( g ( x )) y ( g ( x ) − g ( a )) / ( x − a ) . Este último es el cociente de diferencias para g en a , y como g es diferenciable en a por suposición, su límite cuando x tiende a a existe y es igual a g ′( a ) .

En cuanto a Q ( g ( x )) , observe que Q se define dondequiera que sea f . Además, f es diferenciable en g ( a ) por suposición, por lo que Q es continua en g ( a ) , por definición de la derivada. La función g es continua en a porque es diferenciable en a , y por lo tanto Q ∘ g es continua en a . Por lo tanto, su límite cuando x tiende a a existe y es igual a Q ( g ( a )) , que es f ′( g ( a )) .

Esto demuestra que los límites de ambos factores existen y que son iguales a f ′( g ( a )) y g ′( a ) , respectivamente. Por lo tanto, la derivada de f ∘ g en a existe y es igual a f ′( g ( a )) g ′( a ) .

Segunda prueba

Otra forma de demostrar la regla de la cadena es medir el error en la aproximación lineal determinada por la derivada. Esta demostración tiene la ventaja de que se generaliza a varias variables. Se basa en la siguiente definición equivalente de diferenciabilidad en un punto: Una función g es diferenciable en a si existe un número real g ′( a ) y una función ε ( h ) que tiende a cero cuando h tiende a cero, y además Aquí el lado izquierdo representa la verdadera diferencia entre el valor de g en a y en a + h , mientras que el lado derecho representa la aproximación determinada por la derivada más un término de error. $${\displaystyle g(a+h)-g(a)=g'(a)h+\varepsilon (h)h.}$$

En la situación de la regla de la cadena, existe una función de este tipo ε porque se supone que g es diferenciable en a . Nuevamente, por suposición, también existe una función similar para f en g ( a ). Llamando a esta función η , tenemos La definición anterior no impone restricciones sobre η (0), aunque se supone que η ( k ) tiende a cero cuando k tiende a cero. Si establecemos η (0) = 0 , entonces η es continua en 0. $${\displaystyle f(g(a)+k)-f(g(a))=f'(g(a))k+\eta (k)k.}$$

Para demostrar el teorema es necesario estudiar la diferencia f ( g ( a + h )) − f ( g ( a )) cuando h tiende a cero. El primer paso es sustituir g ( a + h ) utilizando la definición de diferenciabilidad de g en a : El siguiente paso es utilizar la definición de diferenciabilidad de f en g ( a ). Esto requiere un término de la forma f ( g ( a ) + k ) para algún k . En la ecuación anterior, la k correcta varía con h . Sea k _h = g ′( a ) h + ε ( h ) h y el lado derecho se convierte en f ( g ( a ) + k _h ) − f ( g ( a )) . Aplicando la definición de la derivada se obtiene: Para estudiar el comportamiento de esta expresión cuando h tiende a cero, desarrolle k _h . Después de reagrupar los términos, el lado derecho se convierte en: Debido a que ε ( h ) y η ( k _h ) tienden a cero cuando h tiende a cero, los primeros dos términos entre corchetes tienden a cero cuando h tiende a cero. Aplicando el mismo teorema sobre productos de límites que en la primera prueba, el tercer término entre corchetes también tiende a cero. Debido a que la expresión anterior es igual a la diferencia f ( g ( a + h )) − f ( g ( a )) , por la definición de la derivada f ∘ g es diferenciable en a y su derivada es f ′( g ( a )) g ′( a ). $${\displaystyle f(g(a+h))-f(g(a))=f(g(a)+g'(a)h+\varepsilon (h)h)-f(g(a)).}$$ $${\displaystyle f(g(a)+k_{h})-f(g(a))=f'(g(a))k_{h}+\eta (k_{h})k_{h}.}$$ $${\displaystyle f'(g(a))g'(a)h+[f'(g(a))\varepsilon (h)+\eta (k_{h})g'(a)+\eta (k_{h})\varepsilon (h)]h.}$$

El papel de Q en la primera demostración lo desempeña η en esta demostración. Están relacionados por la ecuación: La necesidad de definir Q en g ( a ) es análoga a la necesidad de definir η en cero. $${\displaystyle Q(y)=f'(g(a))+\eta (y-g(a)).}$$

Tercera prueba

La definición alternativa de Constantin Carathéodory de la diferenciabilidad de una función se puede utilizar para dar una prueba elegante de la regla de la cadena. ^[6]

Según esta definición, una función f es diferenciable en un punto a si y solo si existe una función q , continua en a y tal que f ( x ) − f ( a ) = q ( x )( x − a ) . Existe como máximo una de esas funciones, y si f es diferenciable en a entonces f ′( a ) = q ( a ) .

Dados los supuestos de la regla de la cadena y el hecho de que las funciones diferenciables y las composiciones de funciones continuas son continuas, tenemos que existen funciones q , continua en g ( a ) , y r , continua en a , y tales que, y Por lo tanto, pero la función dada por h ( x ) = q ( g ( x )) r ( x ) es continua en a , y obtenemos, para esto a Un enfoque similar funciona para funciones (vectoriales) continuamente diferenciables de muchas variables. Este método de factorización también permite un enfoque unificado para formas más fuertes de diferenciabilidad, cuando se requiere que la derivada sea Lipschitz continua , Hölder continua , etc. La diferenciación en sí misma puede verse como el teorema del resto polinomial (el pequeño teorema de Bézout , o teorema del factor), generalizado a una clase apropiada de funciones. ^{[ cita requerida ]} $${\displaystyle f(g(x))-f(g(a))=q(g(x))(g(x)-g(a))}$$ $${\displaystyle g(x)-g(a)=r(x)(x-a).}$$ $${\displaystyle f(g(x))-f(g(a))=q(g(x))r(x)(x-a),}$$ $${\displaystyle (f(g(a)))'=q(g(a))r(a)=f'(g(a))g'(a).}$$

Demostración mediante infinitesimales

Si y entonces eligiendo infinitesimal calculamos el correspondiente y luego el correspondiente , de modo que y aplicando la parte estándar obtenemos que es la regla de la cadena. ${\displaystyle y=f(x)}$ ${\displaystyle x=g(t)}$ ${\displaystyle \Delta t\not =0}$ ${\displaystyle \Delta x=g(t+\Delta t)-g(t)}$ ${\displaystyle \Delta y=f(x+\Delta x)-f(x)}$ $${\displaystyle {\frac {\Delta y}{\Delta t}}={\frac {\Delta y}{\Delta x}}{\frac {\Delta x}{\Delta t}}}$$ $${\displaystyle {\frac {dy}{dt}}={\frac {dy}{dx}}{\frac {dx}{dt}}}$$

Caso multivariable

La generalización completa de la regla de la cadena a funciones de múltiples variables (como ) es bastante técnica. Sin embargo, es más simple escribirla en el caso de funciones de la forma donde , y para cada ${\displaystyle f:\mathbb {R} ^{m}\to \mathbb {R} ^{n}}$ $${\displaystyle f(g_{1}(x),\dots ,g_{k}(x)),}$$ ${\displaystyle f:\mathbb {R} ^{k}\to \mathbb {R} }$ ${\displaystyle g_{i}:\mathbb {R} \to \mathbb {R} }$ ${\displaystyle i=1,2,\dots ,k.}$

Como este caso ocurre a menudo en el estudio de funciones de una sola variable, vale la pena describirlo por separado.

Caso de funciones escalares con múltiples entradas

Sea , y para cada Para escribir la regla de la cadena para la composición de funciones se necesitan las derivadas parciales de f con respecto a sus k argumentos. Las notaciones usuales para derivadas parciales involucran nombres para los argumentos de la función. Como estos argumentos no son nombrados en la fórmula anterior, es más simple y claro usar D -Notación , y denotar por la derivada parcial de f con respecto a su i ésimo argumento, y por el valor de esta derivada en z . ${\displaystyle f:\mathbb {R} ^{k}\to \mathbb {R} }$ ${\displaystyle g_{i}:\mathbb {R} \to \mathbb {R} }$ ${\displaystyle i=1,2,\dots ,k.}$ $${\displaystyle x\mapsto f(g_{1}(x),\dots ,g_{k}(x)),}$$ $${\displaystyle D_{i}f}$$ $${\displaystyle D_{i}f(z)}$$

Con esta notación, la regla de la cadena es $${\displaystyle {\frac {d}{dx}}f(g_{1}(x),\dots ,g_{k}(x))=\sum _{i=1}^{k}\left({\frac {d}{dx}}{g_{i}}(x)\right)D_{i}f(g_{1}(x),\dots ,g_{k}(x)).}$$

Ejemplo: operaciones aritméticas

Si la función f es suma, es decir, si entonces y . Por lo tanto, la regla de la cadena da $${\displaystyle f(u,v)=u+v,}$$ ${\textstyle D_{1}f={\frac {\partial f}{\partial u}}=1}$ ${\textstyle D_{2}f={\frac {\partial f}{\partial v}}=1}$ $${\displaystyle {\frac {d}{dx}}(g(x)+h(x))=\left({\frac {d}{dx}}g(x)\right)D_{1}f+\left({\frac {d}{dx}}h(x)\right)D_{2}f={\frac {d}{dx}}g(x)+{\frac {d}{dx}}h(x).}$$

Para la multiplicación los parciales son y . Por lo tanto, $${\displaystyle f(u,v)=uv,}$$ ${\displaystyle D_{1}f=v}$ ${\displaystyle D_{2}f=u}$ $${\displaystyle {\frac {d}{dx}}(g(x)h(x))=h(x){\frac {d}{dx}}g(x)+g(x){\frac {d}{dx}}h(x).}$$

El caso de la exponenciación es ligeramente más complicado, ya que y, como se deduce que $${\displaystyle f(u,v)=u^{v}}$$ $${\displaystyle D_{1}f=vu^{v-1},}$$ ${\displaystyle u^{v}=e^{v\ln u},}$ $${\displaystyle D_{2}f=u^{v}\ln u.}$$ $${\displaystyle {\frac {d}{dx}}\left(g(x)^{h(x)}\right)=h(x)g(x)^{h(x)-1}{\frac {d}{dx}}g(x)+g(x)^{h(x)}\ln g(x)\,{\frac {d}{dx}}h(x).}$$

Regla general: Funciones vectoriales con múltiples entradas

La forma más sencilla de escribir la regla de la cadena en el caso general es utilizar la derivada total , que es una transformación lineal que captura todas las derivadas direccionales en una única fórmula. Considérense las funciones diferenciables f  : R ^m → R ^k y g  : R ⁿ → R ^m , y un punto a en R ⁿ . Sea D _a g la derivada total de g en a y D _{g ( a )} f la derivada total de f en g ( a ) . Estas dos derivadas son transformaciones lineales R ⁿ → R ^m y R ^m → R ^k , respectivamente, por lo que pueden ser compuestas. La regla de la cadena para las derivadas totales es que su compuesto es la derivada total de f ∘ g en a : o para abreviar, La regla de la cadena de dimensiones superiores se puede demostrar utilizando una técnica similar a la segunda prueba dada anteriormente. ^[7] $${\displaystyle D_{\mathbf {a} }(f\circ g)=D_{g(\mathbf {a} )}f\circ D_{\mathbf {a} }g,}$$ $${\displaystyle D(f\circ g)=Df\circ Dg.}$$

Como la derivada total es una transformación lineal, las funciones que aparecen en la fórmula se pueden reescribir como matrices. La matriz correspondiente a una derivada total se denomina matriz jacobiana y la matriz compuesta de dos derivadas corresponde al producto de sus matrices jacobianas. Desde esta perspectiva, la regla de la cadena dice: o, para abreviar, $${\displaystyle J_{f\circ g}(\mathbf {a} )=J_{f}(g(\mathbf {a} ))J_{g}(\mathbf {a} ),}$$ $${\displaystyle J_{f\circ g}=(J_{f}\circ g)J_{g}.}$$

Es decir, el jacobiano de una función compuesta es el producto de los jacobianos de las funciones compuestas (evaluadas en los puntos apropiados).

La regla de la cadena de dimensiones superiores es una generalización de la regla de la cadena unidimensional. Si k , m y n son 1, de modo que f  : R → R y g  : R → R , entonces las matrices jacobianas de f y g son 1 × 1 . Específicamente, son: El jacobiano de f ∘ g es el producto de estas matrices 1 × 1 , por lo que es f ′( g ( a ))⋅ g ′( a ) , como se esperaba de la regla de la cadena unidimensional. En el lenguaje de las transformaciones lineales, D _a ( g ) es la función que escala un vector por un factor de g ′( a ) y D _{g ( a )} ( f ) es la función que escala un vector por un factor de f ′( g ( a )) . La regla de la cadena dice que la composición de estas dos transformaciones lineales es la transformación lineal D _a ( f ∘ g ) , y por lo tanto es la función que escala un vector por f ′( g ( a ))⋅ g ′( a ) . $${\displaystyle {\begin{aligned}J_{g}(a)&={\begin{pmatrix}g'(a)\end{pmatrix}},\\J_{f}(g(a))&={\begin{pmatrix}f'(g(a))\end{pmatrix}}.\end{aligned}}}$$

Otra forma de escribir la regla de la cadena se utiliza cuando f y g se expresan en términos de sus componentes como y = f ( u ) = ( f ₁ ( u ), …, f _k ( u )) y u = g ( x ) = ( g ₁ ( x ), …, g _m ( x )) . En este caso, la regla anterior para matrices jacobianas se escribe generalmente como: $${\displaystyle {\frac {\partial (y_{1},\ldots ,y_{k})}{\partial (x_{1},\ldots ,x_{n})}}={\frac {\partial (y_{1},\ldots ,y_{k})}{\partial (u_{1},\ldots ,u_{m})}}{\frac {\partial (u_{1},\ldots ,u_{m})}{\partial (x_{1},\ldots ,x_{n})}}.}$$

La regla de la cadena para derivadas totales implica una regla de la cadena para derivadas parciales. Recordemos que cuando existe la derivada total, la derivada parcial en la dirección de coordenadas i -ésima se encuentra multiplicando la matriz jacobiana por el vector base i -ésimo. Al hacer esto con la fórmula anterior, encontramos: Dado que las entradas de la matriz jacobiana son derivadas parciales, podemos simplificar la fórmula anterior para obtener: De manera más conceptual, esta regla expresa el hecho de que un cambio en la dirección x _i puede cambiar todo g ₁ a g _m , y cualquiera de estos cambios puede afectar a f . $${\displaystyle {\frac {\partial (y_{1},\ldots ,y_{k})}{\partial x_{i}}}={\frac {\partial (y_{1},\ldots ,y_{k})}{\partial (u_{1},\ldots ,u_{m})}}{\frac {\partial (u_{1},\ldots ,u_{m})}{\partial x_{i}}}.}$$ $${\displaystyle {\frac {\partial (y_{1},\ldots ,y_{k})}{\partial x_{i}}}=\sum _{\ell =1}^{m}{\frac {\partial (y_{1},\ldots ,y_{k})}{\partial u_{\ell }}}{\frac {\partial u_{\ell }}{\partial x_{i}}}.}$$

En el caso especial en el que k = 1 , de modo que f es una función de valor real, entonces esta fórmula se simplifica aún más: Esto se puede reescribir como un producto escalar . Recordando que u = ( g ₁ , …, g _m ) , la derivada parcial ∂ u / ∂ x _i también es un vector, y la regla de la cadena dice que: $${\displaystyle {\frac {\partial y}{\partial x_{i}}}=\sum _{\ell =1}^{m}{\frac {\partial y}{\partial u_{\ell }}}{\frac {\partial u_{\ell }}{\partial x_{i}}}.}$$ $${\displaystyle {\frac {\partial y}{\partial x_{i}}}=\nabla y\cdot {\frac {\partial \mathbf {u} }{\partial x_{i}}}.}$$

Ejemplo

Dado u ( x , y ) = x ² + 2 y donde x ( r , t ) = r sin ( t ) e y ( r , t ) = sin ² ( t ) , determine el valor de ∂ u / ∂ r y ∂ u / ∂ t usando la regla de la cadena. ^{[ cita requerida ]} y $${\displaystyle {\frac {\partial u}{\partial r}}={\frac {\partial u}{\partial x}}{\frac {\partial x}{\partial r}}+{\frac {\partial u}{\partial y}}{\frac {\partial y}{\partial r}}=(2x)(\sin(t))+(2)(0)=2r\sin ^{2}(t),}$$ $${\displaystyle {\begin{aligned}{\frac {\partial u}{\partial t}}&={\frac {\partial u}{\partial x}}{\frac {\partial x}{\partial t}}+{\frac {\partial u}{\partial y}}{\frac {\partial y}{\partial t}}\\&=(2x)(r\cos(t))+(2)(2\sin(t)\cos(t))\\&=(2r\sin(t))(r\cos(t))+4\sin(t)\cos(t)\\&=2(r^{2}+2)\sin(t)\cos(t)\\&=(r^{2}+2)\sin(2t).\end{aligned}}}$$

Derivadas superiores de funciones multivariables

La fórmula de Faà di Bruno para derivadas de orden superior de funciones de una variable se generaliza al caso de múltiples variables. Si y = f ( u ) es una función de u = g ( x ) como se indicó anteriormente, entonces la segunda derivada de f ∘ g es: $${\displaystyle {\frac {\partial ^{2}y}{\partial x_{i}\partial x_{j}}}=\sum _{k}\left({\frac {\partial y}{\partial u_{k}}}{\frac {\partial ^{2}u_{k}}{\partial x_{i}\partial x_{j}}}\right)+\sum _{k,\ell }\left({\frac {\partial ^{2}y}{\partial u_{k}\partial u_{\ell }}}{\frac {\partial u_{k}}{\partial x_{i}}}{\frac {\partial u_{\ell }}{\partial x_{j}}}\right).}$$

Generalizaciones adicionales

Todas las extensiones del cálculo tienen una regla de la cadena. En la mayoría de ellas, la fórmula sigue siendo la misma, aunque el significado de esa fórmula puede ser muy diferente.

Una generalización es para variedades . En esta situación, la regla de la cadena representa el hecho de que la derivada de f ∘ g es la combinación de la derivada de f y la derivada de g . Este teorema es una consecuencia inmediata de la regla de la cadena de dimensiones superiores dada anteriormente, y tiene exactamente la misma fórmula.

La regla de la cadena también es válida para derivadas de Fréchet en espacios de Banach . Se cumple la misma fórmula que antes. ^[8] Este caso y el anterior admiten una generalización simultánea a variedades de Banach .

En álgebra diferencial , la derivada se interpreta como un morfismo de módulos de diferenciales de Kähler . Un homomorfismo de anillos conmutativos f  : R → S determina un morfismo de diferenciales de Kähler Df  : Ω _R → Ω _S que envía un elemento dr a d ( f ( r )) , la diferencial exterior de f ( r ) . La fórmula D ( f ∘ g ) = Df ∘ Dg se cumple también en este contexto.

La característica común de estos ejemplos es que son expresiones de la idea de que la derivada es parte de un funtor . Un funtor es una operación sobre espacios y funciones entre ellos. Asocia a cada espacio un nuevo espacio y a cada función entre dos espacios una nueva función entre los nuevos espacios correspondientes. En cada uno de los casos anteriores, el funtor envía cada espacio a su fibrado tangente y envía cada función a su derivada. Por ejemplo, en el caso de la variedad, la derivada envía una C ^r -variedad a una C ^{r −1} -variedad (su fibrado tangente) y una C ^r -función a su derivada total. Hay un requisito para que esto sea un funtor, a saber, que la derivada de un compuesto debe ser el compuesto de las derivadas. Esta es exactamente la fórmula D ( f ∘ g ) = Df ∘ Dg .

También existen reglas de la cadena en el cálculo estocástico . Una de ellas, el lema de Itō , expresa la composición de un proceso de Itō (o más generalmente una semimartingala ) dX _t con una función dos veces diferenciable f . En el lema de Itō, la derivada de la función compuesta depende no solo de dX _t y la derivada de f sino también de la segunda derivada de f . La dependencia de la segunda derivada es una consecuencia de la variación cuadrática no nula del proceso estocástico, lo que, en términos generales, significa que el proceso puede moverse hacia arriba y hacia abajo de una manera muy aproximada. Esta variante de la regla de la cadena no es un ejemplo de funtor porque las dos funciones que se componen son de tipos diferentes.

Véase también

• Diferenciación automática  : cálculos numéricos que implican derivadas: un método computacional que hace un uso intensivo de la regla de la cadena para calcular derivadas numéricas exactas.
• Reglas de diferenciación  – Reglas para calcular derivadas de funciones
• Integración por sustitución  – Técnica de evaluación integral
• Regla integral de Leibniz  – Diferenciación bajo la fórmula del signo integral
• Regla del producto  – Fórmula para la derivada de un producto
• Regla del cociente  : fórmula para la derivada de un cociente de funciones
• Regla del triple producto  : Relación entre derivadas relativas de tres variables

Referencias

1. George F. Simmons , Cálculo con geometría analítica (1985), pág. 93.
2. Niño, JM (1917). "LOS MANUSCRITOS DE LEIBNIZ SOBRE SU DESCUBRIMIENTO DEL CÁLCULO DIFERENCIAL. PARTE II (Continuación)". El Monista . 27 (3): 411–454. ISSN  0026-9662. JSTOR  27900650.
3. Rodríguez, Omar Hernández; López Fernández, Jorge M. (2010). "Una reflexión semiótica sobre la didáctica de la regla de la cadena". The Mathematics Enthusiast . 7 (2): 321–332. doi : 10.54870/1551-3440.1191 . S2CID  29739148 . Consultado el 4 de agosto de 2019 .
4. Apostol, Tom (1974). Análisis matemático (2.ª ed.). Addison Wesley. Teorema 5.5.
5. Goodfellow, Ian ; Bengio, Yoshua ; Courville, Aaron (2016), Aprendizaje profundo , MIT, págs=197–217.
6. Kuhn, Stephen (1991). "La derivada a la Carathéodory". The American Mathematical Monthly . 98 (1): 40–44. doi :10.2307/2324035. JSTOR  2324035.
7. Spivak, Michael (1965). Cálculo de variedades . Boston: Addison-Wesley. págs. 19-20. ISBN. 0-8053-9021-9.
8. Cheney, Ward (2001). "La regla de la cadena y los teoremas del valor medio". Análisis para matemáticas aplicadas . Nueva York: Springer. pp. 121–125. ISBN 0-387-95279-9.

Enlaces externos

• "Regla de Leibniz", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Weisstein, Eric W. "Regla de la cadena". MathWorld .