(CHAPITRE 27 Les équations de Legendre, Bessel et Gauss. Les trois équations différentilles étudies ici sont résolues par les méthodes des chapitres qui Les deux premiéres ont ¢"importantes applications en physique mathematique. Les solutions de les trois ont beaucoup de propriétés intoressantes. EQUATION DE LEGENDRE C-x*)y" = 2xy! + lp ty = 0. Une solution de ootteéquation par une série convergeant av voisinsge de x ~0, point ordinaire, a été &voquée bieme 16, chapitre 25, Sous ceriaines conditions pour p, gue Ion donnera plus loin, on obtiendra une solu ‘vergennt au yoisinage de x + on. En utilisant la substation x = 1/s (voir chapitre 26) équation devient. DEE + PBs aorny = 0 pourlaqulle ==0 es wn pont dngulies pues. pee eae En pesant y= Az" +A"? + dy + ona (met) + pipe mast? © ([-Ce Dim eD + pes DiAe {em(a=1) + p(p+1)Moz™ + 4 n(n ydy ett a eevee + (Letme my (manly + pip + 10] Ay + (mtn) (mtn Dd dpag) se speasias m0 (wen ant nd eRe D tm =D 4. et Hon contate que (mt n)(m+n—1)-pp+) ‘e Onprend Ay = 0 et +p a, (m+ 1) (m+ 2)(8 49) HD+?) -POHD [en (+2) —pip+ D] Lim avea+ 4 -pw@ +] ¥ = Aor" (1 + . (n+ 1) (m+) (m 49) (@24)(0 65) fh ee Tar DGyD p+ D][ea+8) (e+) PH+D)((a+5\e+O)—P*D) vétifie Véquation HEE 6 a Es pens = (-ma-neppenles® = mtr yenen+ Dlos". Pour m= =p avec dp =1 on obtient ela ae fla eat eee DE 6 Ee Ge ee ss (p14 (2p =1) (29 = 3) 2-4-6(20 ~1) (2p ~9) (2p ~ 5) = ft - BIP=D 2, P@-N@-2P- = _ PO“VP-2) 6-91 (0 - HP -5) ,+ 227-1) 2-4(@p ~ 1) (2p 3) (2p =1) (p= 3) (2p =5)EQUATIONS DE LEGENDRE, BESSEL ET GAUSS 221 Pour m= p+1 avec 4o=1 on obtient 2) ye = PM, LENO 2, BINOHDO+DD+O . 22+) 2-4(Zp +3) 2 +5) 5 CADE HDE+ DED P1010 cece] 24° 0(2 +3) (9p +5) (2 #7) Ht oy, GADW+D 2, OFNOHDO+DP+O 2 +3) 2-4(2p +3) 2p +9) 4 BANE DADE PHNECHD oO ead 3-4: 6(3p +5) (3p +8) (3p +7) Done y= Aya + Bra és} la solution générale, conveigeant pour |r| > 1pourva que p # 1/2, 9/2 6/2 + ow pe 2/2, -8/2, Supposons que p soit un enticr positif ou nul, et considérons la solution ys qui est un polynéme, soit p(x). En faisant p = 0,1, + dans 1), ona ein) tg) =e, ua) = P= 1/3, uaa = 34/5, saeeeseee ba) : = chant pew Be = Sco? teow (k=m43) ben co BF at (Qe —Ayeserere (ae 243) oh (JA) désigne le plus grand entier £44 (lees, WA) - 9 si k=7, [bk] -4 si boo, Les polyndmes définis par B) Pye) - Plus) - Lyle), p= 0. be By overs i atont ? fe font dits polyndmes de Legendre. Les premiers sont Pots) = wo(s) = be Py) = Ce) = Pea) = Pacey Pacey Poa) = Pas) Pra a ad Hest clair, par 3) que P,(x) est une solution particulidre de léquation de Legendre W-z4)y" — ary! + p+) =. Voir problémes 1-6, re22 EQUATIONS DE LEGENDRE, BESSEL ET GAUSS EQUATION DE BESSEL, sty" exy! 4 (x? ky = 0. Mest évidentque « «0 est un point singulicr régulier. Pour obtenirla solution sous la forme d’undé pement en série convergeant pour x=0, on substitue Je Ae Ae sere ae et fon obtient : doe” + (Cutt WY? + (Loma) — Ray + Ade? + dn + Anaad + + °. + (larm? Jnox et l'on constate que On prend A,=0 et Ay = (im? =K 1 és Unt 2 Teas" - 1 i o Com 29? = 0] [cms 4? 0) [cas 6)? - 87) J = Aa (1 (ns 2y i Vérifie "équation x5" + ay! + ("= H)y, = tm’ - R?ydox”. Pour m= avec Ap=1 on obtient 1 1 SA Oat eee oe SN IE I saat Weeh” * Eaganaen | Panamanian ct pour m =k avec Ao = 1, on obtient 1 ‘ 1 (1 —B)(2-h) (3h) 1-82) 4 ‘On remarque que yo = 94 Si h=0, ye na pas de sens sik est un entier négatf, et y» n'a pas desenss est un entier positif. Cos deux cas exceptés, la solution complete de I'équation de Ressel est y = Ay, + Byg. convergeant x70. Les fonctions de Bessel de premidre espéce sont définies par aid 1 Pe ae) a ee ee ae ne Qe - Term? * Tare? Jy) = DMC), oi & est un entier positif ou nul pete ete ant? Parmi celles-ci, Jo(x) @u- te + et satay = sont Ies plus utilisées.EQUATIONS DE LEGENDRE, BESSEL ET GAUSS 23 L'EQUATION DE GAUSS (x-x*)y" + fy -(e +6 +)xly’ - apy = 0 Pour obtenir la solution sousla forme d’un développement en série convergeant au voisinage dex = 0 on sabstitue ys ds Ae 6 dat Bethea eaDerecate pour obtenir m(nsy—D)doz™ + {m4 1 (m47As - [nlns 2+ B+ OB lAo}e™ + + + (rtm (minty tty — [nen mentas 8-1) +08 Mana) ~ Gin=narntasB-y+ap On prend 1 et on constate que ES eeaieee year = Fe dati MATEO, ar Briel e oe) DED eayery ed) masesPre (nsminrasbsneab ins minrerBineae 2 DMD | eae HD (Haney +2) vénfie equation (e-24)7" + [y-(@+ B+ sly’ ~ a87 = m(nty—DAos™ Pour w= 0, avec Apt, on obtient BE, , C@tDAG+D 2, eatN@rDAs+G+D 3 wy "nay +1) L287 -DO+D eipour n= 1-7, 7 # 4, avec Ay =1, on obticat +yG-ye , , @ry+neny+DE-y+9Gay+2) 2 1Q-y) 1-2(2-1)(8-Y) P71. & ¢ Gat Da-y¥+ Ma-74 Dy +D B-y + DB-74D 5, , F23Q-N8-4-9 Lasériey,.connue sous le nom de série hypergéométrique est convergente pour|| <1 et on la représente par n= FOB) On remarque que ye + FT Fany+t, Boyt, 2-7 2) st Gu méme type. Dou, si-y n'est pus un entier (zéro compris) la solution générale est y+ bt Bye = AFG. By. 2) + Bx? Fa-y+l, Boy+l, 2-7 2) ly a de nombreux cas particuliers dépendant des valeurs de a, & et ¥. Certains de ceux-ci seront tuaités dans les problémes résolus.224 PROBLEMES RESOLUS EQUATION DE LEGENDRE ? 1. Vérifier que 2 pt pcx) = Sc? 1). (Formule de Rodrigues) # ah Parla formule du binéme, — ¢&* -1) ? os ae ae =P =F en Papaya) a zo Puis, au dénominateur, 2p(2p—1)-++(Qp-20e3) = 2"[p(p-ty+-@-n-1)] e@p—D@p-8)-+(39-200)] muttipliant par (pn)! on obtient 2"pt [(2 -1)(2-3)+*** (p-m+D). Dod 2. Mentrer que EQUATIONS DE LEGENDRE, BESSEL ET GAUSS a aD on ni@=mt neo ni(p=mt 2-1) @p-1) (20-2019) 5 oy = pane) n=O 2p! [(9p — 1) (2p -3)+++ (2p - 4 1)]ip = Mj Int a = Sent OL, __ae-ne@-msn pin feo nt pt Ge =D = PIP (=). ua oe Pye) =D co oP Pacleprobliane 1 presse ma Gait @ oma Ga : 2S ey” 2 p-myc—p- =) (p= P 0" a@—mi i mot pl. : (ap -20) (2p =D = Hyves (wD 4 BMD, _pl_ pom a A aD say alo % (p= moip__ 2 a aaa 2.0" aeemio =m ts 4 (=m ‘nl (p=ni! (p= a)EQUATIONS DE LEGENDRE, BESSEL ET GAUSS Caleater Jf 1 RGD Pas) ae. Par la formule de Rodrigues (probleme 1), (Prorat te = E 3 nf Lat’ de a ER e Soit rn pa Fy oe? oa ae aces ee wen ieee rina = 1% Le? - 1 as or gern? mies Supposons s>r. Alors, puisque (= 1)" = 2° = ra? 4 veeee + (NT yt rea Puisque r et « figurent de fagon symétrique, Ja relation est valable pour 7s. Elle ext donc valable pour r és. Supposons » = r, Alors, 4) devient: te coer cal . Payde = of S07 <1 as. ee et eae oe Star stom, wea [ohare « cofent yy we en utilisant la ‘substitution * = cos 8 et la formule ce wanis [ sin" 9 dg =226 EQUATIONS DE LEGENDRE, BESSEL ET GAUSS 4. Exprimer f(s) = 24+ 2 +2? =3 Taide de polynémes de Legendre. Puisgue Patan = xt fe) > ein oie lB 5. Montrer que (a=2re+ 2) * = Poca) + Pay t + Pay 4 vee + Pacey te « On éerit ares?) = G-caeee)* a Haeene% 4 QCD a. ets vane 3 2 aD ay ty + ERD ase eth? pe rene een Pay! 2 Mais caxt-14)* = ante (atts anh nantes ne, Catt)? 2 anh e* an aey eh, BEDGED) Qe ete, 2 Doi aaa tye sara OPE e 1 g2-b odes (k-1) ght emer 2k ya k= 21 a Leste Gat = Bead et | hth (h-2)(h-2) ev 22k =1) Bede 1) (2k 3) Pols) + Prlxyt + Pala) t? ++ + Pyay the 6. Montrer que P,(1) P= 0412.3, On pose x=1 dans Findentité établie au probléme 5. D'oi s a a-aety? = aan Bei Rete eee ee rae Riese eer oe idemtiquement Diod Potty = Pata) =EQUATIONS DE LEGENDRE, BESSEL ET GAUSS 27 UATION DE BESSEL, ke = e + eat ape fo+ni? « Bs 1 Bae) mer Z al(@ae Dl 2 Plus britvement a <3 fd an a = 2 ok an gam - 2 ee Qo = eae 2c es) a neo ny a nel ay’ ? amr See ee at sor more} a . » Demons 4) 2aAjuy = x4 0, od & est un entier positif: as a ahem Bee ne - 2 2 oe ' Be EO een Sgt theme thea > Fol 2 20 Fa ent Soe L seme = ev x oe Sen pee es Fees nigl od : ape eee 2 Fase peat) € > . 1 zn a 2 arene Ho a erm ate 1 a & FT eh keno Fa". 1 ee 1 __gyema oo, ee ay SP ala 2 Fama 2 mm ® ald