Polynôme de Laguerre

En mathématiques, les polynômes de Laguerre, nommés d'après Edmond Laguerre, sont les solutions normalisées de l'équation de Laguerre :

$x{y}^{″}+(1-x)y^{\prime }+ny=0$

qui est une équation différentielle linéaire homogène d'ordre 2 et se réécrit sous la forme de Sturm-Liouville :

Cette équation a des solutions non singulières seulement si Modèle:Math est un entier positif. Les solutions Modèle:Math forment une suite de polynômes orthogonaux dans [[Espace L2|Modèle:Math]] (ℝModèle:Exp, [[Mesure à densité|Modèle:Math]]), et la normalisation se fait en leur imposant d'être de norme 1, donc de former une base orthonormée. Ils forment même une base de Hilbert de Modèle:Math(ℝModèle:Exp, Modèle:Math).

Cette suite de polynômes peut être définie par la formule de Rodrigues

$L_n(x)=\frac{{\mathrm{e}}^x}{n!}\frac{{\mathrm{d}}^n}{\mathrm{d}{x}^n}\left({\mathrm{e}}^{-x}{x}^n\right).$

La suite des polynômes de Laguerre est une suite de Sheffer.

Les polynômes de Laguerre apparaissent en mécanique quantique dans la partie radiale de la solution de l'équation de Schrödinger pour un atome à un électron.

Le coefficient dominant de Modèle:Math est Modèle:Math. Les physiciens utilisent souvent une définition des polynômes de Laguerre où ceux-ci sont multipliés par Modèle:Math, obtenant ainsi des polynômes unitaires.

Les premiers polynômes

Voici les premiers polynômes de Laguerre :

n	$L_n(x)$
0	$1$
1	$-x+1$
2	$\begin{array}{c}\frac{1}{2}\end{array}(x^2-4x+2)$
3	$\begin{array}{c}\frac{1}{6}\end{array}(-x^3+9x^2-18x+6)$
4	$\begin{array}{c}\frac{1}{24}\end{array}(x^4-16x^3+72x^2-96x+24)$
5	$\begin{array}{c}\frac{1}{120}\end{array}(-x^5+25x^4-200x^3+600x^2-600x+120)$
6	$\begin{array}{c}\frac{1}{720}\end{array}(x^6-36x^5+450x^4-2400x^3+5400x^2-4320x+720)$

Les six premiers polynômes de Laguerre

Propriétés

Transformée de Laplace des polynômes de Laguerre dans ℝ⁺

En désignant Modèle:Math comme étant la fonction de Heaviside, on a l'égalité :

$ℒ\{H(x)L_n(x)\}=ℒ\{H(x)\frac{{\mathrm{e}}^x}{n!}\frac{{\mathrm{d}}^n}{\mathrm{d}{x}^n}\left({\mathrm{e}}^{-x}{x}^n\right)\}=\frac{n!}{z}{\left(\frac{z-1}{z}\right)}^n$

Série génératrice

La série génératrice pour les polynômes de Laguerre est $\sum _{n=0}^{\mathrm{\infty }}{L}_n(x)\frac{t^n}{n!}=\frac{{\mathrm{e}}^{-xt/(1-t)}}{1-t}$.

Équations diverses

Le n-ième polynôme de Laguerre satisfait l'équation différentielle suivante :

$x{L_n}^{″}(x)+(1-x){L_n}^{\prime }(x)+n{L}_n(x)=0.$

On a aussi la suite récurrente suivante :

$(n+1)L_{n+1}(x)+(x-2n-1)L_n(x)+n{L}_{n-1}(x)=0.$

Les polynômes respectent la propriété

$x{L_n}^{\prime }(x)-n{L}_n(x)+n{L}_{n-1}(x)=0.$

Expression par une intégrale de contour

Les polynômes peuvent être exprimés en termes d'une intégrale de contour

$L_n(x)=\frac{1}{2\pi \mathrm{i}}\oint \frac{{\mathrm{e}}^{-xt/(1-t)}}{(1-t)t^{n+1}}\mathrm{d}t$

où le contour entoure l'origine une fois dans le sens trigonométrique.

Polynômes de Laguerre généralisés

La propriété d'orthogonalité évoquée plus haut revient à dire que si Modèle:Mvar est une variable aléatoire distribuée exponentiellement avec la fonction densité de probabilité

$f(x)=\{\begin{array}{cc}{\mathrm{e}}^{-x}& \text{si}x>0,\\ 0& \text{si}x<0,\end{array}$

alors

$𝔼(L_n(X)L_m(X))=0\text{si}n\ne m.$

La distribution exponentielle n'est pas la seule distribution Gamma. Une suite de polynômes orthogonaux par rapport à la distribution gamma dont la fonction densité de probabilité est, pour Modèle:Math,

$f(x)=\{\begin{array}{cc}{x}^{\alpha }{\mathrm{e}}^{-x}/\mathrm{\Gamma }(1+\alpha )& \text{si}x>0,\\ 0& \text{si}x<0,\end{array}$

(Modèle:Cf.fonction gamma) est donnée par la formule de Rodrigues pour les polynômes de Laguerre généralisés:

$L_n^{(\alpha )}(x)=\frac{x^{-\alpha }{\mathrm{e}}^x}{n!}\frac{{\mathrm{d}}^n}{\mathrm{d}{x}^n}\left({\mathrm{e}}^{-x}{x}^{n+\alpha }\right).$

Ils sont parfois appelés les polynômes de Laguerre associés. On retrouve les polynômes de Laguerre simples en prenant Modèle:Math :

$L_n^{(0)}(x)=L_n(x).$

Les polynômes de Laguerre généralisés sont orthogonaux sur Modèle:Math par rapport à la fonction de poids Modèle:Math :

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{\mathrm{e}}^{-x}{x}^{\alpha }{L}_n^{(\alpha )}(x)L_m^{(\alpha )}(x)\mathrm{d}x=\frac{\mathrm{\Gamma }(n+\alpha +1)}{n!}{\delta }_{nm}.$

Les polynômes de Laguerre généralisés obéissent à l'équation différentielle

$x{L}_n^{(\alpha )\prime \prime }(x)+(\alpha +1-x)L_n^{(\alpha )\prime }(x)+n{L}_n^{(\alpha )}(x)=0.$

Exemples de polynômes de Laguerre généralisés

Les premiers polynômes de Laguerre généralisés sont

$L_0^{(\alpha )}(x)=1$

$L_1^{(\alpha )}(x)=-x+\alpha +1$

$L_2^{(\alpha )}(x)=\frac{x^2}{2}-(\alpha +2)x+\frac{(\alpha +2)(\alpha +1)}{2}$

$L_3^{(\alpha )}(x)=\frac{-x^3}{6}+\frac{(\alpha +3)x^2}{2}-\frac{(\alpha +2)(\alpha +3)x}{2}+\frac{(\alpha +1)(\alpha +2)(\alpha +3)}{6}$

Dérivées des polynômes de Laguerre généralisés

Le calcul de la dérivée d'ordre Modèle:Mvar de la représentation en série d'un polynôme de Laguerre généralisé fois conduit à

$\frac{{\mathrm{d}}^k}{\mathrm{d}{x}^k}{L}_n^{(\alpha )}(x)=(-1{)}^k{L}_{n-k}^{(\alpha +k)}(x).$

Relation aux polynômes d'Hermite

Les polynômes de Laguerre généralisés apparaissent dans le traitement de l'oscillateur harmonique quantique, à cause de leur relation aux polynômes d'Hermite, qui peuvent être exprimés par

$H_{2n}(x)=(-1{)}^n{2}^{2n}n!L_n^{(-1/2)}(x^2)$

et

$H_{2n+1}(x)=(-1{)}^n{2}^{2n+1}n!x{L}_n^{(1/2)}(x^2)$

où les $H_n(x)$ sont les polynômes d'Hermite.

Relation aux fonctions hypergéométriques

Les polynômes de Laguerre peuvent être reliés aux fonctions hypergéométriques, plus précisément à la fonction hypergéométrique confluente, par

$L_n^{(\alpha )}(x)=(\genfrac{}{}{0ex}{}{n+\alpha }{n})M(-n,\alpha +1,x)=\frac{(\alpha +1{)}_n}{n!}{}_1{F}_1(-n,\alpha +1,x)$

où $(a{)}_n$ est le symbole de Pochhammer (qui, dans ce cas particulier, est utilisé pour représenter la factorielle croissante $a(a+1)(a+2)...(a+n-1)$).

Voir aussi

Liens externes

• Modèle:MathWorld
• Modèle:MathWorld