Fonction de Legendre

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, les fonctions de Legendre, notées P_λ (première espèce) et Q_λ (seconde espèce), ainsi que les fonctions associées de Legendre correspondantes, notées Pμ
λ et Qμ
λ, sont des généralisations des polynômes de Legendre $P_{\ell }(x)$ et des polynômes associés de Legendre $P_{\ell }^{m}(x)$ , à des valeurs non-entières de $\ell$ et $m$ .

Définition[modifier | modifier le code]

Les fonctions associées de Legendre sont les solutions de l’équation générale de Legendre:

(1-x^{2})\,y''-2xy'+\left[\lambda (\lambda +1)-{\frac {\mu ^{2}}{1-x^{2}}}\right]\,y=0,\,

où $λ$ et $μ$ sont en général des nombres complexes appelés respectivement le degré et l’ordre de la fonction associée de Legendre. Le cas des fonctions de Legendre correspond à $μ = 0$ ; si par surcroît $λ$ est un entier positif, ces fonctions se réduisent aux polynômes orthogonaux de Legendre.

Les polynômes associés de Legendre correspondent, eux, au cas où $λ$ et $μ$ sont des entiers (positifs pour $λ$ ).

Expressions[modifier | modifier le code]

La fonction associée de Legendre de première espèce Pμ
λ s'exprime en fonction de la fonction hypergéométrique $_{2}F_{1}$ :

P_{\lambda }^{\mu }(z)={\frac {1}{\Gamma (1-\mu )}}\left[{\frac {1+z}{1-z}}\right]^{\mu /2}\,_{2}F_{1}\left(-\lambda ,\lambda +1;1-\mu ;{\frac {1-z}{2}}\right),\qquad {\text{pour }}\ |1-z|<2

où $\Gamma$ est la fonction gamma.

L'équation générale de Legendre étant du second ordre, elle admet une autre solution, dite de seconde espèce, notée $Q_{\lambda }^{\mu }(z)$ , et définie par :

Q_{\lambda }^{\mu }(z)={\frac {{\sqrt {\pi }}\ \Gamma (\lambda +\mu +1)}{2^{\lambda +1}\Gamma (\lambda +3/2)}}{\frac {\mathrm {e} ^{\mathrm {i} \mu \pi }(z^{2}-1)^{\mu /2}}{z^{\lambda +\mu +1}}}\,_{2}F_{1}\left({\frac {\lambda +\mu +1}{2}},{\frac {\lambda +\mu +2}{2}};\lambda +{\frac {3}{2}};{\frac {1}{z^{2}}}\right),\qquad {\text{pour}}\ \ |z|>1.

Représentations intégrales[modifier | modifier le code]

Les fonctions de Legendre peuvent s'exprimer sous formes d'intégrales de contour. Ainsi on a :

P_{\lambda }(z)={\frac {1}{2\mathrm {i} \pi }}\int _{1,z}{\frac {(t^{2}-1)^{\lambda }}{2^{\lambda }(t-z)^{\lambda +1}}}\mathrm {d} t,

où le contour est défini comme celui allant des points 1 à z des parties réelles croissantes, sans entourer le point –1. Pour $x$ réel, cette représentation devient :

P_{s}(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }\left(x+{\sqrt {x^{2}-1}}\cos \theta \right)^{s}\mathrm {d} \theta ={\frac {1}{\pi }}\int _{0}^{1}\left(x+{\sqrt {x^{2}-1}}(2t-1)\right)^{s}{\frac {\mathrm {d} t}{\sqrt {t(1-t)}}},\qquad s\in \mathbb {C} .

Références[modifier | modifier le code]

Snow, Chester, Hypergeometric and Legendre functions with applications to integral equations of potential theory, U. S. Government Printing Office, Washington, D.C.,National Bureau of Standards Applied Mathematics Series, No. 19, 1942. Disponible à l'adresse [1].

Liens externes[modifier | modifier le code]

(en) Eric W. Weisstein, « Legendre Function of the First Kind », sur MathWorld
(en) Eric W. Weisstein, « Legendre Function of the Second Kind », sur MathWorld