SUR LA VALEUR ASYMPTOTIQUE DES POLYNÔMES DE LEGENDRE
Mais, que la série soit convergente ou non, on peut toujours énoncer la proposition suivante :
En prenant les 4 premiers termes de la série, l’erreur commise est inférieure, en valeur absolue, au double du % + 1ème terme dans lequel on aurait remplacé par l’unité le cosinus qui figure au numérateur.
Nous nous proposons d'en développer prochainement la démonstration dans les Annales de la Faculté des Sciences de Toulouse.
(Ann. Fac. Sci., Toulouse, 4, 1890, G. 1 — 17.)
Sur les polynômes de Legendre.
L'expression remarquable, obtenue d’abord par Laplace pour représenter asymptotiquement les polynômes de Legendre, à été depuis l’objet de plusieurs recherches, et M. Darboux notamment a donné une formule qui permet d'obtenir une expression approchée, l'erreur commise étant de l’ordre d’une puissance aussi grande qu'on le voudra
de = (Journal de Mathématiques pures et appliquées, 8° série, t. IV;
Nous développons, dans le travail actuel, un résultat plus complet. En effet, nous trouvons qu’on peut exprimer le polynôme de Legendre par une série qui est convergente tant que la variable reste dans un certain intervalle. C’est seulement en dehors de cet intervalle que la série prend le caractère d’une simple expression asymptotique; mais, même dans ce cas, nous obtenons une expression très simple de l’erreur commise en s’arrêtant à un nombre fini de termes !).
1. En définissant P*(x) comme coefficient de z-"-1 dans le développement de (@—2xz+ 1)?
suivant les puissances descendantes de z, on obtient immédiatement l'expression par intégrale définie 2" d2
Dei + Re A deals
1) Le résultat principal de ce travail a été énoncé dans une Note insérée aux Comptes rendus des séances de l’Académie des Sciences en mai 1890 (LXXII).
l'intégrale étant prise en sens direct sur un contour fermé C enveloppant les points
E-i=x—Vr—1, qui sont les points critiques du radical. Ce radical doit être pris avec un signe tel que, lorsque | z | est très grand, on ait, à peu près,
Va—9xetl:z égal à HT
Le contour fermé C peut être remplacé par le chemin abcdefa, les points a et d étant très voisins de l’origine. Pour préciser, nous supposons que
Fig. 1.
+ ë Le 4 di 4x € * a + É-2
et £-1 ne sont pas réels, c’est-à-dire que x? — 1 n’est pas réel et positif. On désignera alors par £& celui des points critiques qui est situé audessus de l’axe réel, en sorte que la partie réelle de
Πest positive.
On voit alors facilement que la valeur du radical en a doit être +1, et qu’en d elle est — 1. On aura, par conséquent, |
RS P(o)= 3 (A — 8),
€ étant la valeur de l'intégrale
[ z" dz JV2— 2%241
prise sur un lacet partant de l’origine et enveloppant le point &, & la valeur de cette même intégrale sur un lacet partant de l’origine et enveloppant le point £—1, Le sens dans lequel ces lacets sont parcourus est arbitraire; mais la valeur initiale du radical doit être toujours +1, et l’on a évidemment
z"dz 2" dz
ë Fr 3 , = 2 , B= 92 —— 9 " | Va 2xz+1 ] Va—2xz+i
les chemins d'intégration étant rectilignes.
2. Pour préparer le développement en série que nous avons en vue, nous allons transformer ces intégrales à et 8. Posons, dans la première,
en sorte que « prendra les valeurs réelles de 0 à 1, En remarquant que
(—9xez+1)=(1—E2(1—E 12, il viendra
A—uwdu. 2 | Vu (il —ku) E2—1
FOR US à ee A2 VIE |
On pourra prendre ici Vu positif, pour V1— kw la valeur qui se réduit à +1 pour #—0; mais alors il faudra adopter, pour V1—%, la valeur finale de V1— ku pour u = 1.
En procédant de la même façon pour la seconde intégrale, on aura l'expression suivante :
GP" (0) = <> jet TER f OEM eV a cn, 0 0
Supposons maintenant x = cos @, @ étant un angle compris entre 0 et x, on aura £=ei®, £l=se—t0,
SL £ __cos 6 +jsin @ E—#—1 JisnO ou eia k— ; sn 6°
TT et posant a = 0 — 4
Il est clair par cette valeur de #4 que la partie réelle de V1—% doit être positive, car la partie réelle de V’1— kw ne peut s’évanouir pour aucune valeur de # comprise entre 0 et 1. Il faudra donc adopter la valeur suivante de ce radical
ne k k üiehai Vi=i=}-5=" ke Mo: CE ice TES sin sin ©
car la partie réelle de cette expression est
sina— g(10+1)
