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}.}$
