NORMALES

1296. Disparition des puissances impaires de x sous le radical dans les intégrales elliptiques, — On donne le nom général d'intégrales elliptiques à une classe de transcendantes provenant de l'intégration des difTérentielIes de la forme

fêlant le symbole d'une fonction rationnelle, et

désignant la racine carrée d'un polynôme du quatrième ou du troisième degré, dans lequel on suppose que les coefGcients A et B ne s'annulent pas à la fois et qu'il n'existe aucun diviseur carré de la forme [x — a)^; autrement, le polynôme sous le radical pourrait s'abaisser au second ou au premier degré, ce qui ramènerait au cas traité dans le n** 427.

En raisonnant comme on l'a fait dans ce numéro, on voit facilement, quel que soit d'ailleurs le degré du polynôme sous le radical, que le calcul de l'intégrale

//(.r,v/x)./.r peut se ramener immédiatement au caFcul d'intégrales de fonc-

RÉDUCTION DES INTEGRALES ELLIPTIQUES. l57

lions rationnelles et d'intégrales de l'une des quatre formes

/dx Çx'^dx Ç dr r dx

les exposants m et n étant entiers et positifs.

Occupons-nous, pour commencer, delà première de ces formes, qui est la plus simple, et cherchons à la transformer de manière à faire disparaître sous le radical les puissances impaires de la variable, comme nous l'avons fait au n® 428 pour le cas d'un polynôme du second degré.

1297. Transformation du premier ordre. — Nous nous proposerons d*abord, à l'aide d'une transformation rationnelle du premier ordre, de la forme

/dx -j^j OÙ X est un polynôme du quatrième degré à coefGcients réels, à une intégrale de la forme

où

est la racine carrée d'un polynôme du quatrième degré ne contenant que des puissances paires de j^, et cela de telle manière qu'aux valeurs réelles de l'une des variables Xyjr correspondent des valeurs réelles de l'autre. Nous verrons, de plus, que l'on peut toujours faire en sorte que k^ soit une constante positive et moindre que l'unité.

Les deux différentielles -^.9 — ^=? étant égales entre elles pour

V/X msjY .

tout système de valeurs correspondantes de x et de j^, doivent devenir infinies en même temps. Or les valeurs de x qui rendent

-r= infini sont les racines

«n ^tt Oi9 ^k

l58 LIVRE VI. — CIIAP. IV, § I.

(le réquation X = o, et les infinis de — =: sont de même

Supposons que ces deux séries de valeurs se correspondent dans Tordre indiqué.

La différence x — «i, devant s'évanouir en même temp<

que / 4- T ou que i 4- kj^, aura, si la transformation est du pre-

I I X* y mîer ordre, une expression de la forme J| —j et de même

pour les trois autres différences x — «2» ^ — «si J^ — «4", 1 — n^ représentant, à un facteur constant près, le dénominateur de la formule de transformation (1). On pourra donc poser

.T — a^ I — Ar as — «Tj I — V

1 — nf

Si, dans les deux formules de la première ligne, on fait d'une part x=^a^,jr= -h j^ de l autre j:=:«,,j' = -:— 7-, et que, pour abréger, on pose généralement

( 3 ) //^ — fl'^ = flr^.^, d où a^i=: — a^^,

Télimination des constantes i|, bk donnera les égalités

, .. X — /7, h — /ii-4-Xr ^' — «♦ X-h/ii — ky

^ «,4 *xk I — ny «41 2 A' 1 — ny

Les deux formules de la seconde ligne donneront de même

)f y. X — «1 I — n I -f- r '^ — <i-K I -4- II I — y

<'28 ~ '^ \ — ny^ «„ "" 1 i — ny'

Des formules (5) on tire d'abord, par addition, à cause de

2 2 1 — ny

On en lire ensuite , par division,

a^ — X I -H /i I — j En faisant tour à tour, dans cette dernière équation,

.rzrza^.

on aura

^lî ' — ^ ^ — ^*

«ij I -f- /i I -t- X' û,4 I -4- /i 1 — A- Ces deux égalités donnent, par multiplication et par division.

En posant maintenant

(7) «»' = v'fl„a,4, rn=^Jai^a^^^

(8) /l'=:y'<il,rt,4, «''=:V'a„a,4,

on aura

d'où

Si Ton différentie Tune des formules (4)y puis Tune des for mules (5), on aura

dx A* — .•?* dy dx i — /i* dy

«^"" ik (i — /rv)«' «ii"" 2 {i„j)«'

d'où, en multipliant membre à membre,

dx> fi — /,»1(X«— »•) //r«

l6o LIVRE VI. — - CIIAP. IV, § I.

On a d*ailleurs

Des deux dernières équations on tire, par division,

//.r I eijr

(lo) "7= = — r=»

en posant

, s 1 . /a fluets

ou encore, en remarquant que Ton a identiquement d'où

On a enfin

d'où

4298. Cherchons maintenant comment les formules que nous venons d'établir devront être modifiées suivant la nature des rçtcine^ 01, ai, as, a^ et suivant les valeu)rs attribuées à la variable x, de telle sorte que les formules de transformation aient une forme

réelle pour les valeurs réelles de— r-» et que h^ soit positif et

moindre que l'unité.

Si nous supposons réels tous les coefficients du polynôme X^ il pourra, relativement aux racines de ce polynôme, se présenter trois cas : \

1® Les racines seront toutes réelles.

TIWNSFOHM VTION DU PRKMIl^R ORDHi:. 1(31

a° Deux seront réelles et les deux autres complexes. 3° Les quatre racines seront complexes.

Premier cas, — Les racines étant toutes réelles, supposons cpie Ton ait

Pour que le radical

ait une valeur réelle, il faut, si A est positif, que x soit compris entre n^ et ^.3, ou qu'il soit ou <^r/, ou ^a^,

[a] A ^ o, a^Kl^.r <^a^.

Dans ce cas, les formules du numéro précédent salisferont à loutes les conditions exigées.

;3] A>o, .'•</ïi ou >^v.

Pour passer des formules du cas précédent à celles du cas actuel, on devra chauffer respectivement, dans les formules du n" 129^5,

«i> ^ii ^3> ^h en

et cV*st à ces dernières valeurs de .r que correspondront mainlo nant les valeurs de y

Nous poserons, en conséquence.

î -h fi I — y

2 1 — nj

/ïii a 1 — «>

et, en remarquant que, jc — «, et j; — a» devant être de même signe, ainsi que 1 — y et i H-J , tandis que a,^ et ^.., sont de