‹ Œuvres de Henri Poincaré : (volume 5)Chapitre 83 sur 141 · DEUXIÈME EXEMPLE · texte numérisé non relu

DEUXIÈME EXEMPLE

CNcles I.,. C,. C,. C.. Cj. C,;. C. C,.

■ii- Inlégrale «1 '(~ " <> » " '' "

II (1 ■> t~ Il o h r

■il- , ,,

» II- «1 '» i l ~ <> '> — i— 'I f>

Xj

„ II. IJ (1 (I HZ Il '' '■

(a. j enliers).

Ces deux exemples siifllronl pour faire comprendre quel est le sens du théorème général, et la façon de ramener à la forme canonique. Je renverrai pour plus de détails à un df mes .Mémoires (').

Quoi qu'il en soit, rappelons ce que c'est qu'une fonction 6 d'ordre /:. .Xous aurons/) variables k,, «-2, . . ., "p et 2/> périodes, p de la première sorte, p de la deuxième sorte ; la /.'''"" période de la première sorte est égale à 2 /tt pour «a et à zéro pour les autres variables ; la /r"""' période de la deuxième sorte est égale à o*/, pour U/,. On a d'ailleurs

Soient alors, les m étant des entiers,

P = Sj-^i;/,-, tQ = 'S.ijna iiiiin j.

(') Sur les fonctions abéliennes i American Journal of Mathematics, vol. A III, i886, p. 289-342).

SUR L\ KÉDICTION DtS INTÉGRALES ABÉLIENNES ET LES FO^•CTI0^•S FUCHSIENNES. 36^

La fonction 0 proprcmeni dite est la fonction ,

e = Sef-O.

Une fonction 9 d'ordre /.' sera de la forme

où l'on aura P,, = i(m,ft,, les /tétant des consiantes et où les A seront des coefficients dépendant des entiers m, mais assujettis à reprendre les mêmes valeurs quand les m augmentent de multiples de /.■.

Deux fonctions 0 d'ordre k appartiennent au même faisceau, quand elles ont mêmes multiplicateurs, c'est-à-dire quand la forme P„ esl la même pour l'une et pour l'autre. Les fonctions 5 d'un même faisceau s'expriment linéairement à l'aide de A'' d'entre elles, puisque c'est là le nombre des valeurs distinctes que peut prendre le coeflicient A.

Supposons maintenant qu'il y ait réduction ; nous distinguerons alors les (j premières variables que nous appellerons les u. et les p — q dernières que nous appellerons les (/'. Ainsi, dans le premier exemple ci-dessus nous aurons une variable u qui sera u, et deux variables ii' qui seront

dans le deuxième exemple nous aurons deux variables u qui seront u, et u^ et deux variables u' qui seront

(/', = 1/3. u'., = II;.

De même, nous désignerons par //;, et m] les coefficients entiers qui correspondent à Ui et U; .

Nous pouvons alors poser

P, représente la partie de P qui dépend seulement des m et Pj celle qui dépend seulement des m', de telle sorte que

P.i= :Lm'ii'.

De même, Q, représente la partie de Q qui dépend seulement des ni, Q.^ celle qui dépend seulement des lu', et Q, celle qui dépend à la fois des m et des m'. Tous les termes de Q, sont du second degré par rapport aux m, tous ceux de Qs sont du second degré par rapport aux m' : ceux de Q, sont du premier degré, d'une part par rapport ;iux m. d'autre part par rapport aux ru'. Dnns le

368 SUR LA RÉDUCTIOX DES INTÉGRALES ABÉLIENNES ET LES FONCTIONS FUCHSIENNES.

premier exemple ci-dessus on a donc

et dans le deuxième exemple

-iir. , li- Q3 = «h m., H jj- m., m , .

a " xp

Nous observerons ensuite que e^**' ne peut jjrendre qu'un ilombre fini de valeurs distinctes. Cela tient à ce que les m et les m', de même que a. et (3, sont des entiers. Dans le premier exemple, e""' ne change pas si //(, ou m\ augmente de a, et comme il ne dépend d'ailleurs que de «i, et in\, il ne change pas quand les m et les m' augmentent de multiples de x ; dans le deuxième exemple, il ne change pas si »j, ou «i., augmentent d'un multiple de x. ou si iiu ou /«, augmentent de ajâ. Il ne change donc pas si les m et les m' augmentent de multiples

de «(3. Dans tous les cas il existe un nombre /■ tel que e^*^' ne change pas

quand les m et les m' augmentent de multiples de / . Cela posé, nous aurons

La sommation doit se faire par rapport aux m et aux /»'. Regardons pour un instant les u comme donnés ; posons alors

A = i;fi".-u.-U..

où la sommation se fait par rapport aux m seulement ; A dépendra donc

des u et des m' ; l'essentiel est de remarquer que A ne change pas quand les

m' augmentent de multiples de A.

Posons

Page 1