I. — De la périodicité des intégrales abéliennes

1. On désigne sous le nom A^ intégrales abéliennes les inlé- ^t*ales de la forme

/ ^{x,y)da\,

^(x, ^) étant une fonction rationnelle de x ^iy. Nous avons déjà ^ail, à un point de vue élémentaire, une réduction de ces intégrales (t. I, p. 5o); c'est de leurs déterminations multiples que :iious devons maintenant nous occuper. Nous écrirons Tintégrale sous la forme

•»■#. rt

indiquant par les limites inférieure et supérieure (^oi J^o) ^^ i^^X) les points de départ et d'arrivée de la courbe d'intégration sur hi surface de Riemann.

Nous partagerons ces intégrales en deux catégories difTérenteii. 1^ fonction R(j:,^) aura nécessairement des pôles ; dans le voisinage d'un tel point a, on développera R sui\ant les puii»Aanc(;M entières de {x — a) [ou de {x — a/ si le pôle considéré était un

point de ramification]. L'intégration pourra introduire Av.% Urrtuvn en log(j: — a). Si, pour aucun pôle de R, il n'y a de terme logarithmique, et si) de plus, le point à l'infini dan« chacun de* feuillets ne donne pareillement dans l'intégration Hmiuu terme loga-

3gO CHAPITRE XIT.

rithmique, nous dirons que l'intégrale est de la première catégorie; elle sera de seconde catégorie si un des pôles au moins donne un terme logarithmique.

2. Plaçons-nous d'abord, pour Tétude des déterminations multiples de l'intégrale (i), dans l'hypothèse où celle-ci serait de la première catégorie. Nous reprenons sur la surface de Riemann S le contour K étudié au Chapitre précédent, au moyen duquel la surface a été rendue simplement connexe. Considérons sur S uo circuit quelconque, ne rencontrant pas K et ne passant pas par un pôle de R(j;, y). D'après ce que nous avons vu à la fin du Chapitre précédent, V intégrale prise le long de ce circuit sera nulle.

Cette remarque faite, la recherche des déterminations multiples de l'intégrale (i) supposée de la première catégorie ne présente aucune difficulté. Le contour K est formé des p systèmes de rétrosections C et D, et de /? — i lignes joignant entre elles ces systèmes de rétrosections; nous désignerons par E ces dernières lignes qui, on se le rappelle, sont, comme les C et D, des coupures ou lignes doubles. Un chemin L, tracé arbitrairement sur la surface S et joignant (^o>^o) à (^, ^), pourra rencontrer le contour K en un certain nombre de points. Cherchons la différence de la valeur de l'intégrale (i), quand on suit le chemin L, et de sa valeur quand on va de (^oj J'o) à {oc, y) sans traverser R (cette dernière valeur est entièrement déterminée). Considérons un quelconque des points de rencontre de L avec K, et désignons ce point par a et par 6, suivant que nous le regardons comme appartenant à l'un ou l'autre côté de la coupure, le point a étant le point que rencontre d'abord le chemin L. La différence que nous cherchons sera égale à la somme des intégrales prises pour chaque point (a, b) quand on va de 6 en a sans traverser K ; en effet, la seconde de nos deux intégrales peut être considérée comme obtenue en suivant le même chemin que pour la première, sauf que, au lieu d'aller de « en 6 en franchissant la coupure, on va de a en 6 sans traverser K. Il résulte de cette remarque capitale que nous avons seulement à étudier les valeurs de l'intégrale quand on va d'un point de la coupure K au point correspondant sur l'autre côté sans traverser cette coupure qui, nous le répétons,

DES INTÉGRALES ABÉLIENNES. Sgi

rend la surface simplement connexe. Tout d'abord, si le point (rt, b) est sur une ligne E, la valeur cherchée de Tintégrale sera nulle ; on le voit tout de suite en se reportant à la surface kp trous dans l'espace : on peut aller de 6 en a en restant sur le contour K, et, dans ce trajet, les éléments correspondants de K sur l'un et l'autre bord de celte coupure sont parcourus en sens inverse, puisqu'il en est ainsi pour le parcours complet sur une quelconque des rétroseclions {Jig- 5o). Supposons ensuite que le point (a, b) soit sur une ligne C.

Il suffit de suivre les flèches sur \difig, 5o pour voir que l'intégrale prise de 6 en a sera égale à l'intégrale prise le long de la se-

Fig. 5o.

conde partie D de la rétrosection, dans un sens convenable. Pareillement, si le point (a, 6) était sur D, la valeur cherchée serait égale à l'intégrale prise dans un sens convenable le long de C. Nous avons donc à introduire les valeurs de l'intégrale (i) prise le long des lignes G et D. Si Ton a fixé sur chacune des lignes C et D un sens déterminé, nous désignerons par

Cl et di

les valeurs des intégrales, prises respectivement dans ce sens, sur

D/ et C/,

de telle sorte que rf/ désigne la difiiérence des valeurs de l'intégrale quand on va, sans traverser K, d'un point arbitraire à deux points se correspondant sur l'un et l'autre bord de D/. La diffé-

Zg2 CHAPITRE XIV.

rence que nous nous proposions d'obtenir est de la forme

les /7?i et 77/ étant des entiers positifs ou négatifs. En résumé, les dh erses déterminations de r intégrale (i) diffèrent entre elles d'une somme de multiples des constantes c/ et di. On donne à ces ip constantes le nom de périodes de l'intégrale. On désigoe souvent ces périodes sous le nom Aq périodes cycliques.

3. Nous avons supposé que l'intégrale était de la première catégorie. Les mêmes considérations peuvent être employées, avec quelques modifications seulement, pour l'étude des détermioations multiples des intégrales de la seconde catégorie. Admettons donc que l'intégrale ait un certain nombre de points singuliers logarithmiques, que nous supposerons d'abord n'être pas situés en un point de ramification de la surface de Riemann S. EntouroDS chacun des points de ramification d'une courbe infiniment petite et joignons chacun de ces contours au contour K par une ligne double /. Nous obtenons ainsi sur S un nouveau contour K', formé de R et des lignes / que nous venons d'adjoindre, y compris les courbes infiniment petites autour de chacun des points singuliers logarithmiques. Nous raisonnerons sur R' comme nous avons raisonné sur R. Quand le chemin Lrenconlre une ligne /, il s'introduit dans la différence considérée plus haut, la valeur de l'intégrale prise le long de la petite courbe enveloppant le point singulier logarithmique correspondant. Aux périodes cycliques viennent donc s'ajouter des périodes d'une autre nature provenant des points singuliers logarithmiques. Si l'on désigne par Aie résidu correspondant au pôle de R(x, j^) qui donne par l'intégration un point singulier logarithmique, on aura évidemment, pour la différence cherchée de deux, déterminations de l'intégrale,

^(y??/c/-i- njdj) -\- 2TCt^/? A, 1=1 1

les p étant des entiers positifs ou négatifs. Les périodes 'xràK sont dites Aes périodes polaires.

DES INTÉGRALES ABÉLIENNES. SqS

L*intégration le long de K' conduit à une égalité importante.

'après la remarque générale du § 2, cette intégrale est nulle; or 1 "'intégrale le long de K est manifestement nulle, puisque les élé- Yiients se détruisent deux à deux. 11 reste donc la relation fondawïientale

Ci) 2'^'"''-

4. On a supposé que les pôles de R(j:r, j) auxquels correspondent des logarithmes n'étaient pas des points de ramification. Les raisonnements précédents s'appliquent sans modification à ce cas; rappelons seulement quelle sera la signification du résidu .•orrespondant(Chap. XIU, § 2i). On a ici le développement

cr — a)

D'autre part, un contour infiniment petit autour du point do

ramification tournera deux fois autour de a dans le plan simple,

et, par suite, le résidu correspondant à ce point de ramification

devra être pris égal à aL; quand le pôle de R(:r,^) sera un point

de ramification, on devra prendre, dans l'application de Téga-

lité (3),

A —- àL.