Théorème d'inversion de Lagrange

Théorème d'inversion de Lagrange

En mathématiques, le théorème d'inversion de Lagrange fournit le développement en série de certaines fonctions définies implicitement.

Sommaire

Formule générale

Si z est une fonction de x, de y et d'une fonction f tel que

z = x + yf(z)

alors pour toute fonction g, on a

g(z)=g(x)+\sum_{k=1}^\infty\frac{y^k}{k!}\left(\frac\partial{\partial x}\right)^{k-1}\left(f(x)^kg'(x)\right)

pour y petit.

Si g est la fonction identité on obtient alors

z=x+\sum_{k=1}^\infty\frac{y^k}{k!}\left(\frac\partial{\partial x}\right)^{k-1}\left(f(x)^k\right)

Cas de la réciproque

Si on prend x = 0 et f(z) = \frac{z}{h(z)}h est une fonction analytique telle que h(0) = 0 et h'(0) \neq 0, on obtient la relation y = h(z) et la formule d'inversion de Lagrange permet d'obtenir la série de Taylor de la fonction h − 1, à savoir :

z = h^{-1}(y) = \sum_{k=1}^\infty\frac{y^k}{k!}\left(\frac\partial{\partial x}\right)^{k-1}\left(\frac{x}{h(x)} \right)^k

les dérivées étant calculées en x = 0.

Exemple

Pour h(z) = zez, on obtient \left(\frac\partial{\partial x}\right)^{k-1}\left(\frac{x}{h(x)} \right)^k = \left(\frac\partial{\partial x}\right)^{k-1} e^{-kx} = (-k)^{k-1} en x = 0. Cela donne le développement en série de la fonction W de Lambert.

h^{-1}(y) = W_0 (y) =
\sum_{k=1}^\infty 
\frac{(-k)^{k-1}y^k}{k!}

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème d'inversion de Lagrange de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Theoreme d'inversion de Lagrange — Théorème d inversion de Lagrange En mathématiques, le théorème d inversion de Lagrange fournit le développement en série de certaines fonctions définies implicitement. Si z est une fonction de x, de y et d une fonction f tel que z = x + yf(z)… …   Wikipédia en Français

  • Théorème d'inversion de lagrange — En mathématiques, le théorème d inversion de Lagrange fournit le développement en série de certaines fonctions définies implicitement. Si z est une fonction de x, de y et d une fonction f tel que z = x + yf(z) alors pour toute fonction g, on a… …   Wikipédia en Français

  • Theoreme d'inversion locale — Théorème d inversion locale En mathématiques, le théorème d inversion locale est un résultat de géométrie différentielle. Il indique que si une fonction f est continûment différentiable en un point a, si cette différentielle est une bijection… …   Wikipédia en Français

  • Théorème d'inversion locale — En mathématiques, le théorème d inversion locale est un résultat de géométrie différentielle. Il indique que si une fonction f est continûment différentiable en un point, si sa différentielle en ce point est une bijection bicontinue, c est à dire …   Wikipédia en Français

  • Lagrange — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Patronymes 1.1 Lagrange 1.2 …   Wikipédia en Français

  • Theoreme des fonctions implicites — Théorème des fonctions implicites En mathématiques, le théorème des fonctions implicites est un résultat de géométrie différentielle. Certaines courbes sont définies par une équation cartésienne, c est à dire la forme f(x, y) = 0,… …   Wikipédia en Français

  • Théorème des fonctions implicites — En mathématiques, le théorème des fonctions implicites est un résultat de géométrie différentielle. Certaines courbes sont définies par une équation cartésienne, c est à dire la forme f(x, y) = 0, où x et y décrivent les nombres… …   Wikipédia en Français

  • Joseph-Louis Lagrange — Pour les articles homonymes, voir Lagrange. Joseph Louis Lagrange Naissance …   Wikipédia en Français

  • Joseph-Louis de Lagrange — Joseph Louis Lagrange Pour les articles homonymes, voir Lagrange. Joseph Louis Lagrange …   Wikipédia en Français

  • Joseph-louis lagrange — Pour les articles homonymes, voir Lagrange. Joseph Louis Lagrange …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”