‹ Sur des polynômes généralisant les polynomes de Legendre et d'Hermite et sur le calcul approché des intégrales multiplesChapitre 14 sur 79 · L'expression · texte numérisé non relu

L'expression

(57) R,(z, De Gp) x y}AP, (y dy

satisfait à la même équation différentielle (12) que P,(æ, À). Pour le démontrer, on établira, comme précédemment, les relations :

+1 ol n(n 2 Ra 20) f (1— y?) (æ— y} 2(xy—1)P,(y, D dy, =" +1 dl é= 2À 1 (1 — y?) (æ— y} "1 P,(7,2) dy, +1 ni R(&,À)=2À(20 — 1) f (1— y?) 2(x— y)? P,(y,à) dy,

à l’aide desquelles on vérifie immédiatement que l’on a

Ga —2')Ri(x, À) + (24 —1)mRa(x, À) +n(n—201)R,(x, À)—0o.

TN

23. On aurait pu établir ces résultats en se servant de la relation (15)

et ramener les intégrales (52) et (57) à des intégrales hypergéo-

métriques. Mais par les considérations précédentes on peut étendre ces

résultats, car nous ne nous sommes pas servi de la forme particu-

lière 2(2 — 2À) du coefficient de y dans l'équation différentielle (12).

Prenons, en effet, à la place de P,(y, À) dans les intégrales (52) et (57), une solution Y,(+) de l'équation différentielle

(58) {—x?)y"+ (21 —1)xy + ky —o.

Si ces intégrales ont un sens et si les quantités Y,(— 1) et Y,(+ 1) sont finies, on voit, en suivant la même marche que précédemment, que l’intégrale

Fh| s — À — — Ge VON dy A satisfait à la même équation (58) que Y,(x), et que l'intégrale ME VE CH) Ge »2 2 ex, dy ne RE EN satisfait à l'équation (1—x)y"— (24 +3)xy +(kK—2k—1)y—=o.

Il se peut que, par la même méthode, on puisse trouver des équations

différentielles ayant ces intégrales comme solutions, même si Y,(— 1) et Y,(+ 1) sont infinis. Soit, par exemple, l'équation

(1— x )y"+(2i—1)xzy'+(n+i)(n+2l+1i)y —=o qui admet, comme il résulte de l'équation (2), la solution

Dee d"(1 — x?) 2

dx"

Ya(x, À) —

En considérant l’intégrale

(2 =) — D 4 = à (%, À) ie es Yh(7, À) d) ie et en reprenant la marche suivie, nous aurons (n+i(a+2+i)l,(x, 2)

=) +1 AE) l'OM Ur es ai = y À ci ne À) dy.

hp Mais 1 :

ee Gen y) DC»; À)=APou(y, — 2), où l’on a posé __(— int (2A)(2À+1)...(2À+n) . (a+) (24+n(2à+3)...(24+2n +1)

et comme 1 s +1 Sera G—»?} CR A) 1h Gp "Ur 4 | AUS +1 (it — 7°} | Ne A CHEF AN O0 E CLS LE) ES (2x —1)y(1— 7?) È (&—y)+2(i- y} 2.

1 (ur) (y, Hay le crochet étant nul aux deux limites, il nous restera (n+i1)(n +2 +i1)l,(x, 2) 4 | — Pa |" — Drop :

D es ot (2 —1)y(z — 7 EE 4 PAU z = EE LA SP CR 4 PR ms RS EP NS ou er (2,2) dy

Par suite, l'intégrale I,(æ, À) satisfait à l'équation

75 (Y: x nu =

G—at)g"— (2h +3) +n(n+ah+a)y=—A| Fans

L'intégrale [,(x, À) a, par rapport aux polynomes P,, une forme simple, car

__(—1)" (24+09)(21+3)..(2X+ n+1) (sy?) Ye GAF3GR F3). (GiE2R EI)

+1p Hi pe HIT PR au d À

({i—x?)y"+ (2 —i)xy'+n(n—2))y I 21 +2 petit true ren

Donc l'intégrale

satisfait à l'équation

Or BA Enr F5 = æEU

Sur d'autres polynomes remarquables.

Page 1