Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

218. Calculez la norme d’un polynôme de Legendre

Dans le cadre du contenu se trouvant dans l'article 214, les polynômes de Legendre sont définis, en utilisant la formule de Rodrigues, par :

$\forall n\in \N, \mathscr{L}_n(X) = \frac{1}{2^n n!}\frac{\mathrm{d}^n}{\mathrm{d}X^n}\left[(X^2-1)^n\right].$

L’espace vectoriel $\R[X]$ est muni du produit scalaire suivant :

$\forall (P,Q)\in(\R[X])^2, \langle P, Q \rangle = \int_{-1}^{1} P(t)Q(t)\,\mathrm{d}t.$

La norme associée est définie par :

$\forall P\in\R[X], \Vert P \Vert = \sqrt{\langle P, P \rangle}.$

L’objectif de cet article est de trouver un moyen qui permet de calculer, quand $n\in\N$, le nombre $\Vert \mathscr{L}_n \Vert^2.$

Dans la suite de ce paragraphe, vous fixez $n\in\N.$

Utilisez des notations adaptées

Posez $P(X) = (X^2-1)^n$ et $c = \frac{1}{2^n n!}$, de sorte que $\mathscr{L}_n(X) = cP^{(n)}(X).$

Le calcul de la norme au carré fournit :

\begin{aligned}
\Vert \mathscr{L}_n \Vert^2 &= \langle \mathscr{L}_n, \mathscr{L}_n \rangle \\
&= c^2 \langle P^{(n)}, P^{(n)} \rangle.
\end{aligned}

Dérivée d’ordre $2n$

Utilisant la formule du binôme, $P(X) = \sum_{k=0}^n \binom{n}{k}(-1)^{n-k}X^{2k}.$
Isolant un terme des autres et posant $A(X) = \sum_{k=0}^{n-1} \binom{n}{k}(-1)^{n-k}X^{2k}$ il vient $P(X) = X^{2n} + A(X).$

En dérivant $2n$ fois, le polynôme $A$ qui a un degré strictement inférieur à $2n$, est nul.
Il vient donc $\boxed{P^{(2n)}(X) = (2n)!.}$

Evaluation en $1$ et en $-1$ de certaines dérivées

Notez que $P(X) = (X+1)^n(X-1)^n$ ce qui montre que $1$ est racine de $P$ avec une multiplicité égale à $n.$

Ainsi, de part l’étude des racines multiples effectuée dans l'article 217, $\forall k\in \llbracket 0,n-1 \rrbracket , P^{(k)}(1)=0.$

D’autre part, $P(-X) = P(X).$

En dérivant, il vient $P^{(n)}(X) = (-1)^n P(-X)$ donc en définitive :

$\boxed{\forall k\in \llbracket 0,n-1 \rrbracket, P^{(k)}(-1)=P^{(k)}(1) = 0.}$

Utilisez une récurrence limitée

En utilisant des intégrations par parties successives, vous allez intégrer le $P^{(n)}$ de gauche et dériver $P^{(n)}$. En intégrant $n$ fois le polynôme $P^{(n)}$, vous allez arriver sur $P.$ En dérivant $n$ fois le polynôme $P^{(n)}$ vous allez tomber sur $P^{(2n)}$ qui est un polynôme constant, puisque $P$ est de degré $2n.$ Cela conduit à la récurrence limitée suivante.

Pour tout entier $k$ compris entre $0$ et $n$, vous notez $\mathscr{P}(k)$ le prédicat :
« $\Vert \mathscr{L}_n \Vert^2 = c^2 (-1)^k\langle P^{(n-k)}, P^{(n+k)} \rangle.$ »

Initialisation. Quand $k = 0$ :

\begin{aligned}
c^2 (-1)^k\langle P^{(n-k)}, P^{(n+k)} \rangle &= c^2 (-1)^0\langle P^{(n-0)}, P^{(n+0)} \rangle \\
&= c^2 \langle P^{(n)}, P^{(n)} \rangle \\
&= \Vert \mathscr{L}_n \Vert^2.
\end{aligned}

Hérédité. Soit $k$ un entier compris entre $0$ et $n-1.$ Supposez $\mathscr{P}(k).$ Commencez par une intégration par parties :

\begin{aligned}
\langle P^{(n-k)}, P^{(n+k)} \rangle &= \int_{-1}^{1} P^{(n-k)}(t) P^{(n+k)}(t)\,\mathrm{d}t \\
&= \left[P^{(n-k-1)}(t) P^{(n+k)}(t) \right]_{-1}^{1}- \int_{-1}^{1} P^{(n-k-1)}(t) P^{(n+k+1)}(t)\,\mathrm{d}t.
\end{aligned}

Notez que, comme $0\leq k\leq n-1$, le nombre $n-k-1$ est compris entre $0$ et $n-1$, donc $P^{(n-k-1)}(1) = P^{(n-k-1)}(-1) = 0.$

\begin{aligned}
\langle P^{(n-k)}, P^{(n+k)} \rangle &= – \int_{-1}^{1} P^{(n-k-1)}(t) P^{(n+k+1)}(t)\,\mathrm{d}t \\
&= – \langle P^{(n-k-1)}, P^{(n+k+1)} \rangle\\
&= – \langle P^{(n-(k+1))}, P^{(n+(k+1))}\rangle.
\end{aligned}

Du coup :

\begin{aligned}
\Vert \mathscr{L}_n \Vert^2 &= c^2 (-1)^k\langle P^{(n-k)}, P^{(n+k)} \rangle \\
&= – c^2 (-1)^k \langle P^{(n-(k+1))}, P^{(n+(k+1))}\rangle\\
&= c^2 (-1)^{k+1}\langle P^{(n-(k+1))}, P^{(n+(k+1))}\rangle.
\end{aligned}

Le prédicat $\mathscr{P}(k+1)$ est vérifié.

D’après ce qui précède, le prédicat $\mathscr{P}(n)$ est vérifié. Donc :

\begin{aligned}
\Vert \mathscr{L}_n \Vert^2 &= c^2 (-1)^n \langle P, P^{(2n)} \rangle \\
&= (2n)! c^2 (-1)^n \langle P, 1 \rangle \\
&= (2n)! c^2 (-1)^n \int_{-1}^{1} (t^2-1)^n\,\mathrm{d}t.
\end{aligned}

L’évaluation de l’intégrale $\int_{-1}^{1} (t^2-1)^n\,\mathrm{d}t$ est effectuée dans l'article 219. Vous avez $\int_{-1}^{1} (t^2-1)^n\,\mathrm{d}t = (-1)^{n} \frac{2^{2n+1} (n!)^2}{(2n+1)!}.$

\begin{aligned}
\Vert \mathscr{L}_n \Vert^2 &= (2n)! c^2 (-1)^n (-1)^{n} \frac{2^{2n+1} (n!)^2}{(2n+1)!} \\
&= (2n)! \times \frac{1}{2^{2n} (n!)^2} \times \frac{2^{2n+1} (n!)^2}{(2n+1)!}\\
&= (2n)! \times \frac{1}{2^{2n} } \times \frac{2^{2n+1} }{(2n+1)!}\\
&= \frac{ (2n)!}{(2n+1)!} \times \frac{2^{2n+1}}{2^{2n} } \\
&= \frac{2}{2n+1}.
\end{aligned}

Ainsi, $\boxed{\forall n\in\N, \Vert \mathscr{L}_n \Vert^2 = \frac{2}{2n+1}.}$

Partagez maintenant !

Aidez vos amis à découvrir cet article et à mieux comprendre le sujet.

Aidez-moi sur Facebook !

Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.

Lisez d'autres articles !

Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !