‹ Traité des fonctions elliptiques et de leurs applications (volume 5)Chapitre 154 sur 244 · CHAPITRE X. — SÉRIES HTPERGÉOMÉTRIQUES POUR LES PÉRIODES · texte numérisé non relu

CHAPITRE X. — SÉRIES HTPERGÉOMÉTRIQUES POUR LES PÉRIODES

Au cas 0-3 ■< o, g2 ^ o, on doit seulement échanger, dans (28),

(o.> et -^

La même observation s'applique aux. formules suivantes : A < o, ^3 > o, ^2 < o,

f *v^ — À -^=r2A-j -îo; I — J ---,- ' nJ o; 1 — J \/i — 3,

où A et B sont les mêmes que dans (21).

Développement de K et K'.

Prenons la délinilion de K par une intégrale définie (II,' p. 62),

et développons, suivant les puissances ascendantes de Â-, la fonction à intégrer :

v/i — A- sin-cp

I— J/i2sin2'^4--^.2.P'''S'n*? -^tÎï i-f-l^'^^ sinScp +,..

Intégrons ensuite chaque terme du développement suivant la formule

Tt I 3 in — I

Jf sin2«cp do

Nous aurons ainsi, pour K, une série hjpergéométrique

On aura de même

35o PREMIÈRE PARTIE. — THÉORIE.

A cause de la relation k'-rr^ i — A-, et des propriétés de l'équation hjpergéométrique, on voit par là que K, R', et par suite «K' et toutes les périodes sont des solutions de l'équation différentielle suivante, où l'on a mis x au lieu de k-,

, -. ^ / cl'-Y , dy ,

(3o) x(i - y.) -^ -V- (i - 2-/.) ^ - ij- =. o.

Nous rencontrons là une des propriétés les plus curieuses de ces équations hypergéométriques particulières. En vertu des relations qui lient les invariants au module et to à K, l'équation (3o) est nécessairement une transformée de celle que nous avons formée précédemment,

La relation entre les invariants et le module (p. 60) peut s'écrire ainsi

et le multiplicateur )> a pour expression

Il en résulte

.-h /- -lATiF/i ,-4r<''-^"''-)('2— X)(l— 2X)1-^ . /-3-r , ,= .

AlV^> = i/3J«(J-') n- , y^^.y.2 -\ =îv/3 V' 3- [•''-( !-•''-)] S

et voici la conséquence finale, digne d'attention à tous égards.

Si, dans l'équation (3o), on fait un changement de variables, en prenant pour nouvelle variable indépendante J, liée à x par (3i), et pour nouvelle inconnue z liée à y par la relation

on obtient pour transformée

Page 1