- Esta página es sobre el Teorema de reversión de Lagrange. Para la inversión, véase el Teorema de inversión de Lagrange.
En matemáticas, el teorema de la reversión de Lagrange nos da la expansión en serie de potencias o en serie formal de potencias de ciertas funciones implícitamente definidas, de hecho, de composiciones de tales funciones.
Sea 
una función de 
e 
definida a partir de otra función 
tal que
Entonces, cualquier función 
se puede desarrollar en serie de Taylor alrededor de 
para pequeño, es decir, se tiene
Si es la función identidad, es decir, 
,
En 1770, Joseph Louis Lagrange (1736–1813) publicó su solución en serie de potencias de la ecuación implícita de antes mencionada. Sin embargo, su solución era algo engorrosa, pues utilizó desarrollos en serie de logaritmos.[1][2] En 1780, Pierre-Simon Laplace (1749–1827) publicó una prueba más simple del teorema, la cual estaba basada en relaciones entre derivadas parcialescon respecto a la variable y al parámetro .[3][4][5] Charles Hermite (1822–1901) presentó la prueba más sencilla del teorema usando integración de contorno.[6][7][8]
El teorema de reversión de Lagrange se usa para obtener soluciones numéricas de la ecuación de Kepler.
| Demostración del teorema de reversión de Lagrange |
Se empieza escribiendo:
Escribiendo la delta de Dirac en forma integral, se tiene:
![{\displaystyle {\begin{aligned}g(v)&=\int \int \exp(ik[yf(z)-z+x])g(z)(1-yf'(z))\,{\frac {dk}{2\pi }}\,dz\\[10pt]&=\sum _{n=0}^{\infty }\int \int {\frac {(ikyf(z))^{n}}{n!}}g(z)(1-yf'(z))e^{ik(x-z)}\,{\frac {dk}{2\pi }}\,dz\\[10pt]&=\sum _{n=0}^{\infty }\left({\frac {\partial }{\partial x}}\right)^{n}\int \int {\frac {(yf(z))^{n}}{n!}}g(z)(1-yf'(z))e^{ik(x-z)}\,{\frac {dk}{2\pi }}\,dz\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cd8fce7ac701f94b4ef16a4df1ed6c63bc06363)
La integral sobre  da  (pues es otra vez la representación integral de la delta de Dirac), por lo que se puede resolver también la integral sobre  obteniendo la serie
![{\displaystyle {\begin{aligned}g(v)&=\sum _{n=0}^{\infty }\left({\frac {\partial }{\partial x}}\right)^{n}\left[{\frac {(yf(x))^{n}}{n!}}g(x)(1-yf'(x))\right]\\[10pt]&=\sum _{n=0}^{\infty }\left({\frac {\partial }{\partial x}}\right)^{n}\left[{\frac {y^{n}f(x)^{n}g(x)}{n!}}-{\frac {y^{n+1}}{(n+1)!}}\left\{(g(x)f(x)^{n+1})'-g'(x)f(x)^{n+1}\right\}\right]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a3a61f00062e24e8914e1f0b8a3c9c81879d870)
Reordenando la serie, se obtiene el resultado buscado:
|
