title: Regla de la cadena
text: # Regla de la cadena
  
  En matemáticas, dentro del dominio del análisis, la regla de la cadena (también conocida como el teorema de las funciones compuestas) es una fórmula explícita de la derivada de una función compuesta por dos funciones derivables.
  Esta regla permite conocer la j-ésima derivada parcial de la i-ésima aplicación parcial de la composición de dos funciones de varias variables. Esquemáticamente, si una variable $y$ depende de una segunda variable $u$, la cual depende de una variable $x$, la tasa de cambio de $y$ respecto a $x$ se calcula como el producto de la tasa de cambio de $y$ respecto a $u$ y de la tasa de cambio de $u$ respecto a $x$, esto es: ${\frac {\mathrm {d} y}{\mathrm {d} x}}={\frac {\mathrm {d} y}{\mathrm {d} u}}\cdot {\frac {\mathrm {d} u}{\mathrm {d} x}}$.
  La regla de la cadena proviene de la técnica de integración por cambio de variables.
  
  # Regla de la cadena
  ## Notaciones
  
  Existen muchas formas de escribir la regla de la cadena, presentaremos aquí las formas clásicas.
  Si $f$ y $g$ son funciones diferenciables, entonces la regla de la cadena expresa la derivada de la composición $f\circ g$ en términos de la derivada de $f$, $g$ y el producto de funciones como
      $(f\circ g)'=(f'\circ g)\cdot g'$
  Alternativamente, si $h=f\circ g$ (equivalente a $h(x)=f(g(x))$ para toda $x$) entonces se puede escribir la fórmula de la regla de la cadena en la notación de Lagrange como
      $h'(x)=f'(g(x))g'(x)$
  La regla de la cadena también puede ser escrita en la notación de Leibniz de la siguiente manera. Si una variable $z$ depende de una variable $y$ y a su vez esta depende de $x$ (esto es $y$ y $z$ son variables dependientes) entonces $z$ también depende de $x$, en tal caso, la regla de la cadena enuncia que
      ${\frac {dz}{dx}}={\frac {dz}{dy}}\cdot {\frac {dy}{dx}}$
  y para indicar el punto en el que cada derivada es evaluada
      $\left.{\frac {dz}{dx}}\right|_{x}=\left.{\frac {dz}{dy}}\right|_{y(x)}\cdot \left.{\frac {dy}{dx}}\right|_{x}$
  Las versiones de la regla de la cadena en la notación de Lagrange y de Leibniz son equivalentes en el sentido que si $z=f(y)$ y $y=g(x)$ (esto es $z=f(g(x))=(f\circ g)(x)$) entonces
      $\left.{\frac {dz}{dx}}\right|_{x}=(f\circ g)'(x)$
  y
      $\left.{\frac {dz}{dy}}\right|_{y(x)}\cdot \left.{\frac {dy}{dx}}\right|_{x}=f'(y(x))g'(x)=f'(g(x))g'(x)$
  
  # Regla de la cadena
  ## Enunciado
  ### Caso real
  
  * Teorema
  * Sean $I$ y $J$ dos intervalos abiertos de $\mathbb {R}$, $g:I\to \mathbb {R}$ y $f:J\to \mathbb {R}$ dos funciones tales que $g(I)\subset J$, y $a$ es un punto de $I$.
  * Si $g$ es diferenciable en $a$ y $f$ es diferenciable en $g(a)$ entonces la composición $f\circ g$ es diferenciable en $a$ y
  * $(f\circ g)'(a)=(f'(g(a)))\cdot g'(a)$,
  * donde $\cdot$ es el producto usual de $\mathbb {R}$.
  Si las funciones son diferenciables en todo su dominio podemos escribir de una forma más general $(f\circ g)'=(f'\circ g)\cdot g'$. Bajo esta misma condición, utilizando la notación de Leibniz si denotamos como $g^{\prime }={\frac {df}{dx}}$ tenemos que la regla de la cadena puede escribirse como ${\begin{aligned}{\frac {d(f\circ g)}{dx}}&={\frac {df}{dg}}\cdot {\frac {dg}{dx}}\end{aligned}}$
  donde ${\frac {df}{dg}}$ indica que $f$ depende de $g$ como si $g$ fuera una variable. Para una mejor lectura es común hacer $u=g(x)$ y obtenemos:
      ${\frac {{\text{d}}(f\circ g)}{{\text{d}}x}}={\frac {{\text{d}}f}{{\text{d}}u}}\cdot {\frac {{\text{d}}u}{{\text{d}}x}}$.
  Si queremos componer muchas funciones podemos hacer lo siguiente: dadas $n$ funciones $f_{1},\dots ,f_{n}$ y la función compuesta $f_{1}\circ (f_{2}\circ \cdots (f_{n-1}\circ f_{n}))$, si cada función $f_{i}$ es diferenciable entonces la función compuesta también es diferenciable (por la regla de la cadena repetida varias veces) y su derivada es (en la notación de Leibniz)
      ${\begin{aligned}{\frac {df_{1}}{dx}}&={\frac {df_{1}}{df_{2}}}\cdot {\frac {df_{2}}{df_{3}}}\cdot \cdots \cdot {\frac {df_{n}}{dx}}\end{aligned}}$
  
  # Regla de la cadena
  ## Enunciado
  ### Caso general
  
  * Teorema
  * Sean E, F dos espacios vectoriales normados y G un espacio vectorial topológico separable. Sean U un abierto de E, V un abierto de F, g una aplicación de U en V, f una aplicación de V en G, y a un punto de U. Si g es diferenciable en el punto a y f diferenciable en el punto g(a) entonces f∘g es diferenciable en el punto a, y
  * ${\rm {D}}_{a}(f\circ g)=({\rm {D}}_{g(a)}f)\circ {\rm {D}}_{a}g$.
  En particular si $E=\mathbb {R} ^{n}$, $F=\mathbb {R} ^{m}$ y $G=\mathbb {R} ^{p}$, la matriz jacobiana de $f\circ g$ en el punto $a$ es el producto de aquella de $f$ en el punto $g(a)$ por la de $g$ en el punto $a$, podemos escribir esto en la forma siguiente
  $g(y)=(g_{1}(y),\ldots ,g_{p}(y)),\qquad f(x)=(f_{1}(x),\ldots ,f_{m}(x))\quad {\text{y}}\quad (f\circ g)(x)=h(x)=(h_{1}(x),\ldots ,h_{p}(x))$
  ${\frac {\partial h_{i}}{\partial x_{j}}}(a)=\sum _{k=1}^{m}{\frac {\partial f_{i}}{\partial y_{k}}}(g(a)){\frac {\partial g_{k}}{\partial x_{j}}}(a)$
  para todo $i\in {1,\dots ,p}$ e $i\in {1,\dots ,n}$.
  
  # Regla de la cadena
  ## Derivadas de orden superior
  
  La fórmula de Faà di Bruno generalizan la regla de la cadena a derivadas de orden superior. Suponga que $y=f(u)$ y $u=g(x)$ entonces
      ${\frac {df}{dx}}={\frac {df}{dg}}{\frac {dg}{dx}}$
      ${\frac {d^{2}f}{dx^{2}}}={\frac {d^{2}f}{dg^{2}}}\left({\frac {dg}{dx}}\right)^{2}+{\frac {df}{dg}}{\frac {d^{2}g}{dx^{2}}}$
      ${\frac {d^{3}f}{dx^{3}}}={\frac {d^{3}f}{dg^{3}}}\left({\frac {dg}{dx}}\right)^{3}+3{\frac {d^{2}f}{dg^{2}}}{\frac {dg}{dx}}{\frac {d^{2}g}{dx^{2}}}+{\frac {df}{dg}}{\frac {d^{3}g}{dx^{3}}}$
      ${\frac {d^{4}f}{dx^{4}}}={\frac {d^{4}f}{dg^{4}}}\left({\frac {dg}{dx}}\right)^{4}+6{\frac {d^{3}f}{dg^{3}}}\left({\frac {dg}{dx}}\right)^{2}{\frac {d^{2}g}{dx^{2}}}+{\frac {d^{2}f}{dg^{2}}}\left[4{\frac {dg}{dx}}{\frac {d^{3}g}{dx^{3}}}+3\left({\frac {d^{2}g}{dx^{2}}}\right)^{2}\right]+{\frac {df}{dg}}{\frac {d^{4}g}{dx^{4}}}$
  
  # Regla de la cadena
  ## Demostración
  ### Caso Real
  
  Denotemos $b=f(a)$. Dado que $g$ es diferenciable en $b$, desde la definición de la derivada, existe una función $u:J\to \mathbb {R}$ tal que
      $u(b)=\lim _{y\to b}u(y)=g'(b)\quad {\text{ y }}\quad \forall y\in J\quad g(y)-g(b)=u(y)\cdot (y-b)$.
  En particular (utilizando que $f$ es continua en $a$ puesto que ella es diferenciable en ese punto):
      $\lim _{x\to a}u(f(x))=g'(b)\quad {\text{ y }}\quad \forall x\in I\quad g(f(x))-g(f(a))=u(f(x))\cdot (f(x)-f(a))$.
  La tasa de variación en el punto $a$ de la función $g\circ f$ se expresa entonces bajo la forma:
      ${\frac {g(f(x))-g(f(a))}{x-a}}=u(f(x))\cdot {\frac {f(x)-f(a)}{x-a}}$
  Y cuando $x$ tiende hacia $a$ (para valores distintos de $a$), esta expresión tiende hacia $g'(b)\cdot f'(a)=g'(f(a))\cdot f'(a)$.
  
  # Regla de la cadena
  ## Demostración
  ### Caso Real
  #### Observación
  
  Existe una demostración de este teorema, aparentemente más simple que utiliza la astucia
      ${\dfrac {g(f(x))-g(f(a))}{x-a}}={\dfrac {g(f(x))-g(f(a))}{f(x)-f(a)}}\cdot {\dfrac {f(x)-f(a)}{x-a}}$,
  pero esta demostración es errónea porque ella supone que $f(x)\neq f(a)$ para todo $x$ suficientemente cerca de $a$, lo cual no tiene ninguna razón de ser. Por ejemplo, una función constante. También podemos considerar el caso de la función $\varphi :\mathbb {R} \to \mathbb {R}$ dada por
      $\varphi (x)={\begin{cases}x^{2}\sin \left({\frac {1}{x}}\right),&{\text{ si }}x\neq 0\\0,&{\text{ si }}x=0\end{cases}}$
  en donde podemos notar que $\varphi \left({\frac {1}{2\pi n}}\right)=0$ para todo $n\in \mathbb {N}$.
  
  # Regla de la cadena
  ## Demostración
  ### Caso General
  
  Denotemos $L=\mathrm {d} f_{a}$ y $M=\mathrm {d} g_{b}$. Entonces:
  * $M$ y $L$ son lineales y continuas, en particular: $M(k)=O(\|k\|)$ y $L(h)=O(\|h\|)$ (con la notación O de Landau),
  * $f(a+h)=f(a)+L(h)+o(\|h\|)$,
  * $g(b+k)=g(b)+M(k)+o(\|k\|)$.
  En consecuencia:
  * $M\circ L$ es lineal y continua,
  * $(g\circ f)(a+h)=g(b)+M\left[L(h)+o(\|h\|)\right]+o\left[\|L(h)+o(\|h\|)\|\right]=g(b)+(M\circ L)(h)+M\left[o(\|h\|)\right]+o\left[\|L(h)+o(\|h\|)\|\right]$,
  * $M\left[o(\|h\|)\right]=O\left[\|o(\|h\|)\|\right]=o(\|h\|)$ y $o\left[\|L(h)+o(\|h\|)\|\right]=o\left[\|O(\|h\|)\|\right]=o(\|h\|)$.
  
  # Regla de la cadena
  ## Demostración
  ### Caso General
  #### Observación
  
      En este enunciado y su demostración, no es necesario que $G$ sea un espacio vectorial normado: es suficiente que sea un espacio vectorial topológico separable.
  
  # Regla de la cadena
  ## Ejemplos
  ### Regla del cociente
  
  La regla de la cadena puede ser utilizada para obtener algunas fórmulas para derivar, por ejemplo, la regla del cociente es una consecuencia de la regla de la cadena y la regla del producto; para esto, consideremos las funciones $f,g:I\rightarrow \mathbb {R}$ con $g(x)\neq 0$ para todo $x\in I$, escribimos entonces el cociente $f(x)/g(x)$ como el producto $f(x)\cdot 1/g(x)$, utilizando primero la regla del producto:
      ${\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 todo $x\in I$. Para calcular la derivada de la función $x\mapsto 1/g(x)$ notemos que puede escribirse como la composición de $g$ con la función recíproco $x\mapsto 1/x$, cuya derivada es $x\mapsto -1/x^{2}$, aplicando la regla de la cadena la expresión anterior queda como
      ${\begin{aligned}{\frac {d}{dx}}\left({\frac {f(x)}{g(x)}}\right)&=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}}}\end{aligned}}$
  para todo $x\in I$, que es la fórmula de la regla del cociente.
  
  # Regla de la cadena
  ## Ejemplos
  ### Derivada de funciones inversas
  
  Considere la función diferenciable e invertible $g:I\rightarrow J$ con $I,J\subset \mathbb {R}$ intervalos abiertos con inversa diferenciable $f:J\rightarrow I$. Existe una fórmula para la derivada de $f$ en términos de la derivada de $g$, para esto, note que $f$ y $g$ satisfacen la ecuación
      $f(g(x))=x\quad {\text{ para todo }}\quad x\in I,$
  en donde derivando ambas expresiones obtenemos
      $f'(g(x))g'(x)=1\quad {\text{ para todo }}x\in I.$
  Para expresar $f'$ como una función de una variable independiente $y\in J$, escribimos $x=f(y)$ y resolvemos para $f'$
      ${\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}}$
  para todo $y\in J$.
  
  # Regla de la cadena
  ## Ejemplos
  ### Derivada de funciones inversas
  #### Observación
  
  Es importante tener en mente las condiciones de diferenciabilidad de ambas funciones $f$ y $g$ en sus respectivos dominios, la invertibilidad y diferenciabilidad de una función no implica que esta última condición sea satisfecha por su inversa (conocido es el caso de la función $x\mapsto x^{3}$ la cual es diferenciable e invertible pero su inversa no es diferenciable en $0$).
  
  # Regla de la cadena
  ## Ejemplos
  ### Derivada de funciones inversas
  #### Ejemplo
  
  Por ejemplo, considere la función $g(x)=e^{x}$, esta tiene función inversa $f(y)=\ln y$, como $g'(x)=e^{x}$ entonces por la fórmula anterior
      ${\frac {d}{dy}}\ln y={\frac {1}{e^{\ln y}}}={\frac {1}{y}}$
  
  # Regla de la cadena
  ## Ejemplos
  ### Ejemplo conceptual
  
  Supóngase que se está escalando una montaña a una razón de 0,5 kilómetros por hora. La razón a la cual la temperatura decrece es 6 °F por kilómetro (la temperatura es menor a elevaciones mayores). Al multiplicar 6 °F por kilómetro y 0,5 kilómetros por hora, se obtiene 3 °F por hora, es decir, la razón de cambio de temperatura con respecto al tiempo transcurrido.
  Este cálculo es una aplicación típica de la regla de la cadena.
  
  # Regla de la cadena
  ## Ejemplos
  ### Ejemplo algebraico
  
  Sean las funciones $y:(0,+\infty )\rightarrow \mathbb {R}$ y $u:\mathbb {R} \rightarrow \mathbb {R}$ dadas por
      ${\begin{aligned}y(u)&=\ln(u)\\u(x)&=\cos(x)\end{aligned}}$
  y deseamos calcular dy/dx {\textstyle {\frac {dy}{dx}}}.
  Por un lado tenemos:
      ${\frac {dy}{du}}={\frac {1}{u}}$
  y
      ${\frac {du}{dx}}=-\operatorname {sen}(x)$
  como
      ${\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}$
  entonces
      ${\begin{aligned}{\frac {dy}{dx}}&={\frac {1}{u}}\cdot (-\operatorname {sen} x)\\&=-{\frac {\operatorname {sen} x}{u}}\\&=-{\frac {\operatorname {sen} x}{\cos x}}\\&=-\tan {x}\end{aligned}}$
  y esto es para todo $x\in \mathbb {R}$ tal que $\cos(x)\in (0,+\infty )$, es decir, para todo $x\in \bigcup _{n\in \mathbb {Z} }\left(-{\frac {\pi }{2}}+2n\pi ,{\frac {\pi }{2}}+2n\pi \right)$.