Polynôme de legendre

Polynôme de Legendre

Polynômes de Legendre

Les polynômes de Legendre sont des solutions y de l'équation différentielle de Legendre.

Sommaire

1 Équation de Legendre
2 Autres définitions
- 2.1 Définition classique
- 2.2 Définitions analytiques
3 Matrice de la fonction polynôme de Legendre
4 Valeurs propres
5 Quelques polynômes
6 Orthogonalité
- 6.1 Orthonormalité
7 Autres propriétés
- 7.1 Parité
- 7.2 Points particuliers
8 Applications en physique
9 Voir aussi
10 Notes
11 Bibliographie
12 Références

Équation de Legendre

On appelle équation de Legendre l'équation : $\frac{d}{dx}[(1-x^{2})\frac{dy}{dx}]+n(n+1)y=0$

où n est un entier naturel représentant l'ordre du polynôme.

On définit ainsi le polynôme de Legendre $\mathcal{L}P=n(n+1)P$

Autres définitions

Définition classique

On définit simplement le polynôme comme:

$\forall n\in\mathbb N \mid P_n(x)=\frac{1}{n! 2^n}\frac{d^n}{dx^n}\left((x^2-1)^n\right)$

On définit également, pour n entier naturel:

$\ U_n(x)=(x+1)^n(x-1)^n$

$\ P_n(x)=\frac{1}{n! 2^n}\frac{d^n}{dx^n}\left(U_n(x)\right)$

Définitions analytiques

On peut aussi les définir par l'intégrale de contour :

$P_{n}(z)=\frac{1}{2\pi i}\int(1-2tz+t^{2})^{1/2}t^{-n-1}dt$

où le contour entoure l'origine et est pris dans le sens des aiguilles d'une montre.

On définit ce polynôme sous forme de plusieurs sommes:

$P_{n}(x)=\frac{1}{2^n}\sum_{k=0}^{E(n/2)} (-1)^k \binom{n}{k} \binom{2n-2k}{n}x^{n-2k}$

$P_{n}(x)=\frac{1}{2^n}\sum_{k=0}^{n} \binom{n}{k}^2 (x-1)^{n-k}(x+1)^{k}$

$P_{n}(x)=\frac{(x+1)^n}{2^n}\sum_{k=0}^{n} (-1)^k \binom{n}{k}^2 \left(\frac{x-1}{x+1}\right)^k \qquad \mathrm{pour}\qquad x \ne -1$

ou encore par:

$P_{n}(x)=\frac{(x-1)^n}{2^n}\sum_{k=0}^{n} (-1)^k \binom{n}{k}^2 \left(\frac{x+1}{x-1}\right)^k \qquad \mathrm{pour}\qquad x \ne 1$

Ces formulations permettent de calculer certaines valeurs intéressantes des polynômes.On obtient ainsi que la parité du polynôme dépend de la parité de n:

$P_n(-x)=(-1)^nP_n(x)\,$

Matrice de la fonction polynôme de Legendre

$\begin{pmatrix} 0 & 0 & -2 & 0 & 0 & \vdots & 0 &\vdots & 0\\ 0 & 2 & 0 & -6 & 0 &\vdots & 0&\vdots & \vdots\\ 0 & 0 & 6 & 0 & -12 &\vdots & 0 &\vdots & \vdots\\ 0 & 0 & 0 & 12 & 0 &\vdots & 0 &\vdots & \vdots\\ 0 & 0 & 0 & 0 & 20 &\vdots & 0 &\vdots & \vdots \\ \dots & \dots & \dots & \dots & \dots &\ddots & \vdots &\dots & \vdots \\ 0 & 0 & 0 & 0 & 0 &\dots & k(k+1) &\dots & \vdots \\ \dots & \dots & \dots & \dots & \dots &\dots & \dots &\ddots & \vdots \\ 0 & 0 & 0 & 0 & 0 &\dots & 0 &\dots & n(n+1)\\ \end{pmatrix}$

On remarquera que les vecteurs propres de cette matrice sont colinéaires aux polynômes.^[1]

Valeurs propres

La matrice est triangulaire supérieure. Les valeurs propres sont k(k+1), pour k variant de 0 à n.

Quelques polynômes

Les premiers polynômes sont :

Les 20 premiers polynômes de Legendre.

$P_{0}(x)=1 \,$
$P_{1}(x)=x\,$
$P_{2}(x)=\frac{1}{2}(3x^{2}-1)\,$
$P_{3}(x)=\frac{1}{2}(5x^{3}-3x)\,$
$P_{4}(x)=\frac{1}{8}(35x^{4}-30x^{2}+3)\,$
$P_{5}(x)=\frac{1}{8}(63x^{5}-70x^{3}+15x)\,$
$P_{6}(x)=\frac{1}{16}(231x^{6}-315x^{4}+105x^{2}-5)\,$
$P_{7}(x)=\frac{1}{16}(429x^{7}-693x^{5}+315x^{3}-35x)\,$
$P_{8}(x)=\frac{1}{128}(6435x^{8}-12012x^{6}+6930x^{4}+35)\,$
$P_{9}(x)=\frac{1}{128}(12155x^{9}-25740x^{7}+18018x^{5}-4620x^{3}+315x)\,$
$P_{10}(x)=\frac{1}{256}(46189x^{10}-109395x^{8}+90090x^{6}-30030x^{4}+3465x^{2}-63)\,$

On remarquera que pour n supérieur à 2:

$P_{n}(x)=\frac{1}{\lambda_0+\lambda_1+...+\lambda_n}(\lambda_0+\lambda_1x+\lambda_2x^2...+\lambda_nx^n) \,$

La relation de récurrence entre les différents polynômes s'écrit:

$(n+1)P_{n+1}(x)=(2n+1)xP_{n}(x) - nP_{n-1}(x)\,$

Orthogonalité

Les polynômes orthogonaux les plus simples sont les polynômes de Legendre pour lesquels l'intervalle d'orthogonalité est [−1, 1] et la fonction poids est simplement la fonction constante de valeur 1: Ces polynômes sont orthogonaux par rapport au produit scalaire $\varphi$ défini sur $\R[X]$ par la relation :

$\varphi(P,\, Q) = \int_{-1}^{+1} P(x) Q(x)\, \mathrm{d}x$ .

$\varphi(P_m,\, P_n) = \int_{-1}^{1} P_m(x)P_n(x)\,\mathrm{d}x = 0\qquad \mathrm{pour}\qquad m \ne n$

Orthonormalité

La norme, calculée comme $\sqrt[]{\int_{0}^{1} P_n^2(x)\,\mathrm{d}x}$ , est:

$||P_n||=\sqrt[]{\frac{1}{2n+1}}$

On peut remarquer que $P n$ est orthogonal à $R n - 1$ [X] donc $< P n, P' n - 1 > = 0$ De plus on peut établir la relation $P' n + 1 - P' n - 1 = (4 n + 2) P n$ ceci pour n>1. Et on démontre que $< P n, P' m > = 2$ si m-n est impair et positif. Alors $||P_n||^2={\frac{2}{4n+2}}$

Au final, on a $||P_n||=\sqrt[]{\frac{1}{2n+1}}$

Autres propriétés

Parité

Les polynômes de Legendre suivent la parité de n .On peut exprimer cette proprieté comme:

$P_k(-x) = (-1)^k P_k(x). \,$

On démontre cette proprieté a l'aide des définitions sous forme de somme.

Points particuliers

Comme beaucoup de polynômes orthogonaux classiques comme les polynômes de Tchebychev et d'Hermite les polynômes sont rigoureusement définis. Les propriétés suivantes sont démontrées facilement en étudiant la parité des polynômes et les conditions aux bornes.

$P_{n}(1) = 1 \,$

$P_{n}(-1) = (-1)^n \,$

$P_{2n}(0)=\frac{1}{2^{2n}}\sum_{k=0}^{n} (-1)^k \binom{2n}{k} \binom{4n-2k}{2n}0^{2n-2k}=\frac{1}{2^{2n}}(-1)^n\binom{2n}{n} \,$ car la somme se réduit au terme d'indice

k = n

$P_{2n+1}(0) = 0 \,$

Applications en physique

Voir aussi

Notes

↑ Banque PT ,TSI Algebre,Géométrie,Analyse,Editions Ellipse 1993 ,

Bibliographie

I.S. Gradshteyn & I.M. Ryzhik ; Table of Integrals, Series, and Products, Alan Jeffrey and Daniel Zwillinger (eds.), Academic Press (6^e édition - 2000), ISBN 0-12-294757-6. Errata sur le site web des éditeurs : www.mathtable.com

De Nockere ;Tables numériques des polynômes de Legendre , ARB (8e edition - 1949 ) Académie Royale des Sciences des Lettres des Beaux Arts de Belgique

Références

Sujet de l'Ecole Polytechnique 2005 PC: http://www.imprimerie.polytechnique.fr/EnLignes/Files/05_MathPC.pdf

Portail des mathématiques

Ce document provient de « Polyn%C3%B4me de Legendre ».

Catégories : Espace de Hilbert | Fonction hypergéométrique | Méthode mathématique de la physique | Polynôme remarquable | Fonctions spéciales

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Polynôme de legendre de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

Polynome de Legendre — Polynôme de Legendre Polynômes de Legendre Les polynômes de Legendre sont des solutions y de l équation différentielle de Legendre. Sommaire 1 … Wikipédia en Français
Polynôme de Legendre — Polynômes de Legendre Les polynômes de Legendre sont des solutions de l équation différentielle de Legendre, et constituent l exemple le plus simple d une suite de polynômes orthogonaux. Sommaire … Wikipédia en Français
polynôme de Legendre — Ležandro daugianaris statusas T sritis fizika atitikmenys: angl. Legendre polynomial vok. Legendresches Polynom, n rus. многочлен Лежандра, m; полином Лежандра, m pranc. polynôme de Legendre, m … Fizikos terminų žodynas
polynôme de Legendre associé — prijungtinis Ležandro daugianaris statusas T sritis fizika atitikmenys: angl. associated Legendre polynomial vok. Legendresches zugeordnetes Polynom, n; zugeordnetes Legendresches Polynom, n rus. присоединённый многочлен Лежандра, m;… … Fizikos terminų žodynas
Legendre-Polynome — Die Legendre Polynome, auch zonale Kugelfunktionen genannt, sind die partikulären Lösungen der legendreschen Differentialgleichung. Sie sind spezielle reelle oder komplexe Polynome, die ein orthogonales Funktionensystem bilden. Benannt sind sie… … Deutsch Wikipedia
polynôme associé de Legendre — prijungtinis Ležandro daugianaris statusas T sritis fizika atitikmenys: angl. associated Legendre polynomial vok. Legendresches zugeordnetes Polynom, n; zugeordnetes Legendresches Polynom, n rus. присоединённый многочлен Лежандра, m;… … Fizikos terminų žodynas
Legendre — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Pour l’article homophone, voir Gendre. Patronyme Legendre est un nom de famille notamment porté par : Antoine Legendre (1590 1665), botaniste… … Wikipédia en Français
Legendre polynomial — Ležandro daugianaris statusas T sritis fizika atitikmenys: angl. Legendre polynomial vok. Legendresches Polynom, n rus. многочлен Лежандра, m; полином Лежандра, m pranc. polynôme de Legendre, m … Fizikos terminų žodynas
Legendre-Polynom — Die Legendre Polynome (nach Adrien Marie Legendre), auch zonale Kugelfunktionen genannt, sind spezielle Polynome, die auf dem Intervall [ 1,1] ein orthogonales Funktionensystem bilden. Sie sind die partikulären Lösungen der legendreschen… … Deutsch Wikipedia
Polynômes de Legendre — Polynôme de Legendre Polynômes de Legendre Les polynômes de Legendre sont des solutions y de l équation différentielle de Legendre. Sommaire 1 … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Polynôme de legendre