Derivada de la función inversa

Regla:
${\color {Periwinkle}f'}(x)={\frac {1}{{\color {Salmon}(f^{-1})'}({\color {Blue}f}(x))}}$

Ejemplo para un arbitrario $x_{0}\approx 5.8$:
${\color {Periwinkle}f'}(x_{0})={\frac {1}{4}}$
${\color {Salmon}(f^{-1})'}({\color {Blue}f}(x_{0}))=4~$

En matemática, la inversa de una función $\,y=f(x)$ es una función que, en cierta manera, "deshace" el efecto de $\,f$ (ver el artículo función inversa para una definición formal). La inversa de $\,f$ se denota como $\,f^{-1}$. Las expresiones $\,y=f(x)$ y $\,x=f^{-1}(y)$ son equivalentes.

Sus respectivas derivadas, asumiendo que existen, son recíprocas, tal y como se deduce a partir de la notación de Leibniz:

${\frac {dx}{dy}}\cdot {\frac {dy}{dx}}=1$

Eso es una consecuencia directa de la regla de la cadena, ya que

${\frac {dx}{dy}}\cdot {\frac {dy}{dx}}={\frac {dx}{dx}}$

y la derivada de $\,x$ respecto $\,x$ es 1.

Escribiendo explícitamente la dependencia de $\,y$ respecto $\,x$ y el punto donde se calcula la derivada y usando la notación de Lagrange, la fórmula de la derivada de la inversa es

$[f^{-1}]^{\prime }(a)={\frac {1}{f^{\prime }[f^{-1}(a)]}}.$

Geométricamente, una función y su inversa tienen gráficas que son reflexiones respecto la línea $\,y=x$. Esta reflexión transforma el gradiente de cualquier línea en su recíproco.

Asumiendo que $\,f$ tiene inverso en un entorno de $\,x$ y que su derivada en este punto es distinta de cero, su inversa será diferenciable en $\,x$ y que su derivada viene dada por la expresión anterior.

Ejemplos

• $\,y=x^{2}$ (para valores positivos de $\,x$) tiene inverso $x={\sqrt {y}}$.

${\frac {dy}{dx}}=2x{\mbox{ }}{\mbox{ }}{\mbox{ }}{\mbox{ }};{\mbox{ }}{\mbox{ }}{\mbox{ }}{\mbox{ }}{\frac {dx}{dy}}={\frac {1}{2{\sqrt {y}}}}$

${\frac {dy}{dx}}\,\cdot \,{\frac {dx}{dy}}=2x\cdot {\frac {1}{2{\sqrt {y}}}}={\frac {2x}{2x}}=1.$

En $\,x=0$, sin embargo, hay un problema: el gráfico de la función raíz cuadrada es vertical, correspondiendo a una tangente horizontal de la función $\,x^{2}$.

• $\,y=e^{x}$ tiene inverso $x=\ln \,y$ (para valores positivos de $\,y$)

${\frac {dy}{dx}}=e^{x}{\mbox{ }}{\mbox{ }}{\mbox{ }}{\mbox{ }};{\mbox{ }}{\mbox{ }}{\mbox{ }}{\mbox{ }}{\frac {dx}{dy}}={\frac {1}{y}}$

${\frac {dy}{dx}}\,\cdot \,{\frac {dx}{dy}}=e^{x}\cdot {\frac {1}{y}}={\frac {e^{x}}{e^{x}}}=1$

Propiedades adicionales

Integrando la relación, obtenemos

$f^{-1}(y)=\int {\frac {1}{f^{\prime }(x)}}\cdot dy+C.$

Eso solamente es útil si la integral existe. En particular, necesitamos que $f^{\prime }$ sea distinta de cero en el rango de integración.

De aquí se deduce que una función con derivada continua tiene inverso en el entorno de cualquier punto que tenga derivada distinta de cero. Eso podría no ser cierto si la derivada no fuese continua.

Derivadas superiores

La regla de la cadena dada arriba se obtiene derivando la identidad $x=f^{-1}(f(x))\,$ respecto $\,x$. Podemos seguir el mismo proceso para derivadas superiores. Diferenciando la relación respecto $\,x$ dos veces, obtenemos

${\frac {d^{2}y}{dx^{2}}}\,\cdot \,{\frac {dx}{dy}}+{\frac {d^{2}x}{dy^{2}}}\,\cdot \,\left({\frac {dy}{dx}}\right)^{2}=0$

o sustituyendo la primera derivada usando la fórmula de arriba,

${\frac {d^{2}y}{dx^{2}}}=-{\frac {d^{2}x}{dy^{2}}}\,\cdot \,\left({\frac {dy}{dx}}\right)^{3}$.

De la misma manera, para la tercera derivada:

${\frac {d^{3}y}{dx^{3}}}=-{\frac {d^{3}x}{dy^{3}}}\,\cdot \,\left({\frac {dy}{dx}}\right)^{4}-3{\frac {d^{2}x}{dy^{2}}}\,\cdot \,{\frac {d^{2}y}{dx^{2}}}\,\cdot \,\left({\frac {dy}{dx}}\right)^{2}$

o utilizando la fórmula para la segunda derivada,

${\frac {d^{3}y}{dx^{3}}}=-{\frac {d^{3}x}{dy^{3}}}\,\cdot \,\left({\frac {dy}{dx}}\right)^{4}+3\left({\frac {d^{2}x}{dy^{2}}}\right)^{2}\,\cdot \,\left({\frac {dy}{dx}}\right)^{5}$

La fórmula de Faà di Bruno generaliza estas fórmulas.

Ejemplos

• $\,y=e^{x}$ tiene como inverso $\,x=\ln y$. Usando la fórmula para la segunda derivada de la función inversa,

${\frac {dy}{dx}}={\frac {d^{2}y}{dx^{2}}}=e^{x}=y\qquad ;\qquad \left({\frac {dy}{dx}}\right)^{3}=y^{3};$

por lo que

${\frac {d^{2}x}{dy^{2}}}\cdot y^{3}+y=0\qquad ;\qquad {\frac {d^{2}x}{dy^{2}}}=-{\frac {1}{y^{2}}};$

que concuerda con el cálculo directo.