‹ Cours d'analyse de l'École polytechnique (volume 2)Chapitre 52 sur 112 · XA]=-[AX · texte numérisé non relu

XA]=-[AX

(8) (i— c««'5)[AB]-h(i--e»«'«.)[BX]-f-(i — e«^'P.)[^A] = o,

qui montrent que toutes les intégrales [AB], . . . s'expriment linéairement au moyen des intégrales particulières [AX], [BX], ... [à moins toutefois que ^ ne soit un entier, auquel cas on aurait évidemment

i-.e««'5 = o, X = o, d^où [AX]i=:o, [BX]=:o, ..., de telle sorte que l'équation (8) deviendrait identique].

194. Le nombre des intégrales obtenues par ce qui précède est égal au nombre des racines distinctes de Téquation Q(i/,) = o. Si donc le polynôme Q a des racines égales, ou si son degré est inférieur à n, il nous faudra trouver de nouvelles intégrales particulières. Nous les obtiendrons en çhoi-

244 TROISlftMB PARTIE. — CHAPITRE II.

sissant la ligne d'intégration L, de telle sorte que V s'annule à ses extrémités.

Soit a une racine multiple d'ordre [x de Téquation Q = o.

Posons

u — a = p (coso -h l'sin^), et

r(cosp -h isinp)

dans les formules (4) et (5) et faisons tendre p vers zéro; on aura évidemment

V= epa. (cosa,(p 4- « sina,(p)c'"P*"'''l«»*î^-<i*-*)^>l+'""ï''-^l*-*J'Pï!,

6 étant un facteur qui tend vers la limite finie

Cette expression tendra vers o ou vers oo, suivant que cos[/? — (p. — i)<p] sera négatif ou positif.

Or Téquation

cos[/? — (|x— i).5>]=o

donne pour <f un système de 2(|jl — i) valeurs équidistantes, dans rintervalle de zéro à 2îc. Si du point a on mène des droites dans ces diverses directions, elles partageront les environs de ce point en 2([x — i) secteurs. Et, lorsque u tendra vers a, V tendra vers o si c/ se meut dans un des secteurs de rang impair, vers oo s'il reste dans un secteur de rang pair. Si donc nous supposons {Jig* 2) que u, partant de la va-

leur a, s'en éloigne suivant Je premier secteur, traverse ensuite le second secteur et revienne en a par le troisième

ÉQUATIOKS UNfiAIRBS. 245

secteur, la ligne A ainsi décrite pourra être prise comme ligne d'intégration, car V est nul à ses deux extrémités.

La valeur de l'intégrale particulière ainsi obtenue variera évidemment suivant que la ligne A enveloppe quelques-uns des points 6, . . . , x ou les laisse tous en dehors. Nous admettrons qu'elle ait été tracée de manière à satisfaire à cette dernière condition. L'intégrale ainsi obtenue ne changera pas si Ton contracte cette ligne de manière à rendre ses dimensions aussi petites que Ton voudra; la diminution du champ de l'intégration sera compensée par l'accroissement de la valeur de la fonction soumise à l'intégration.

On obtiendra une autre intégrale particulière en intégrant suivant une ligne infiniment petite A' qui s'éloigne de a suivant le troisième secteur et y revienne parle cinquième, etc., ce qui donnera évidemment [jl — i intégrales particulières.

Chaque racine multiple de l'équation Q = o donnera évidemment un résultat analogue, de telle sorte que, si \ est nul, nous aurons le nombre d'intégrales voulu.

193. Si \ n'est pas nul, cherchons ce que devient V lorsque u tend vers oo. Nous aurons à poser

uz= p (cosç -h 2 sintp), — ^ = /• {cosp -+■ islnp)

et à faire tendre p vers oo. On aura évidemment

V=6p*i-^Pi-^— [cos(ajH- p|-i-.. .)?-^'sin(ai-h Pi-t-. . .)cp] X ^'•p^icos(p-i-X9)+/ilii(/>+Xç)i

le facteur 6 tendant vers l'unité.

Cette expression tendra vers o ou oo suivant le signe de cos(^ -f-^ç). Or l'équation cos{p -f- V^) = o donne 2X valeurs de cp. Traçons, à partir d'un point quelconque du plan, des droites ayant ces directions. Elles partageront le plan en 2X secteurs; pour u = 00, on aura

V=:o ou V=oo

a46 TROISIÈIIB PARTIE. — CUAPITRB II.

suivant que u sera dans un secteur de rang impair ou pair. Et si l'on suppose une ligne A partant de l'infini dans le ( 2 /?i -f- !)**"*• secteur et y retournant par le (2m -+-3)*^"* (après avoir laissé à sa gauche tous les points a, 6, . . . , x)^ elle fournira une intégrale particulière. On en obtiendra ainsi \,

196. Nous avons ainsi obtenu dans tous les cas le nombre d'intégrales nécessaire. On pourrait en déterminer une foule d'autres. Il est clair, en effet, qu'on pourrait prendre pour ligne d'intégration :

i^ Toute combinaison de lacets, telle que chaque lacet fût décrit aussi souvent dans le sens direct que dans le sens rétrograde; ^

2® Toute ligne L joignant deux des points a, 6, • . ., «&, pourvu qu'elle arrive à ces points dans une direction telle, qu'on ait, en y arrivant, V= o.

Mais nous savons d'avance, et il serait d'ailleurs aisé de le vérifier, que ces intégrales sont liées linéairement aux intégrales fondamentales que nous avons déterminées.

197. Pour une valeur donnée de x, les lignes suivant lesquelles sont prises ces intégrales fondamentales peuvent être déformées à volonté sans que la valeur des intégrales soit altérée, pourvu que dans cette déformation elles ne traversent jamais les points a, 6, . . . , a:. Si l'on fait varier x d'une manière continue, ces intégrales varieront également d'une manière continue, pourvu que le mouvement de x soit accompagné, lorsque cela devient nécessaire, d'une déformation des lignes d'intégration, qui leur fasse éviter la traversée des points a, 6, . . . , x.

Ces considérations permettent de déterminer le groupe de l'équation différentielle proposée. En effet, les points critiques de cette équation sont les points a, &, . . . , et il est aisé de se rendre compte de la manière dont varient les intégrales fondamentales lorsque x tourne dans le sens direct autour de l'un de ces points, tel que a.

ÉQUATIONS LlNfiAlRES. ^4?

198. Les lacets B, . . . n'auront pas changé; mais les lacets X et A, pour éviter d'être traversés par a et x^ auront dû se transformer en X' et A' {fig. 3). Or le nouveau

Fig. 3.

contour X' est évidemment équivalent à XAXA *X • et le contour A' à

XAX-*=rXAX-«A-».A.

L'intégrale suivant X' sera donc égale à X -f- e*'^5'[AX], et l'intégrale suivant A' à — [AX] 4- A. Par suite, l'intégrale

[AX] = (i — e«'^'5)A — (I - e"^'«.) X

se trouvera transformée en

= [ AX] [l — (I — e*«'5) (i — eïir/flt.) giic/Çj -- gi7r/(a.+Ç) |- AX],

et l'une quelconque [BX] des autres intégrales [BX], [CX], ... sera changée en

[BX] -f- (e«iï'?,^ I) e»«^Ç[AX].

199. Si a est une racine multiple d'ordre [jl pour l'équation Q = o, il existera p, — i intégrales particulières I^, . . . , 1^1 correspondant à des contours fermés infiniment petits A»

a4B TROlSibMB PARTIE. — CHAPITRE II.

A\ • . . passant par ce point (194). Ces contoars n^étant pas traversés par x dans son mouvemenl pourront être conservés sans altération. Mais la fonction à intégrer contient le facteur (a — ^)^~'S qui se reproduit multiplié par e^^'^ lorsque X tourne autour de a, car il enveloppe en même temps le point u qui en est infiniment voisin. Les intégrales I^, . . . , IpUi se reproduiront donc multipliées par c^'^*^.

Soient h une autre racine multiple de Q = o, v son ordre de multiplicité. Il existera v — i intégrales particulières correspondant à des contours fermés infiniment petits passant par b. Le point x restant extérieur à ces contours lorsqu^il tourne autour de a, cette rotation ne changera ni les lignes d*intégration, ni la valeur du facteur (m — a:)^"". Ces intégrales resteront donc inaltérées.

Enfin il en est évidemment de même des intégrales correspondant aux \ racines infinies que pourrait présenter Téquation Q = o (195).

Nous avons ainsi déterminé d'une manière complète la transformation que subissent les intégrales par une rotation autour de a. On déterminerait de même la transformation opérée par une rotation autour de chacun des autres points critiques 6, ....

200. Il peut arriver, pour certaines valeurs particulières des coefficients deTéquation différentielle, que les intégrales obtenues cessent d^être distinctes. Ainsi, si nous supposons que ai soit ufn nombre entier m, l'intégrale

[AX] = (i - e«^'5)Â — (I — e««'«.)X

sera identiquement nulle; car, d'une part, e*'^'=»t= i et. d'autre part, A= o, car la fonction à intégrer reste mouodrome dans l'intérieur du lacet A. •

Pour obtenir dans ce cas l'intégrale particulière qui doit remplacer l'intégrale évanouissante, nous supposerons a, = /n -H e, e étant infiniment petit. L'intégrale [AX] dans cette nouvelle hypothèse ne sera plus nulle, et, en la déve-

ÉQUATIONS LINÉArRBS. 249

loppant en série suivant les puissances de e, on aura

Page 1