RfTMions maintenant à nos intégrales

(3) / Tafx. ?)S(a', '^')cbxdy:

et supposons, pour plus de simplicité, que les courbes ci et (1> soieni des courbes arbitraires de leur degré. On peut supposer que les coefficients de Ret les coefficients de S dépendent respectivement d'une manière algébrique des coefficients de cp et -i; ; nous supposerons de plus que l'intégrale

prise le long d'un cycle G de es, n'est pas une fonclion algébrique des coefficients du polynôme '^, et pareillement l'intégrale

/S( a'. 3'j fh: .

prise le long d'un cvcle C de 'h n'est pas une fonction algébrique

(') Ce résultat est bien d'accord avec la relation capitale obtenue par ^Yeierstrass d'une tout autre manière, et que l'illustre auteur formule de la manièrf suivante :

''"■J-+- F ( X, y ) dx dy

r' :'-' /• ;^+2 F(j7, y) dx dy ___ tz

^'oi^ Beitrag zur Théorie der Abelschen Intégrale (Tome I des Œuvres de Weierstrass, p. 117). Le polynôme R(ir) est désigné dans notre texte par P{x) etF.H.

des coeffîcienls du polynôme 'i>. Nous disons qu'il est impossible que Ton ait une relation de la forme ( ' )

Rra,^)S,a',3'.= ^^f„

U et V étant des fonctions rationnelles de a, Jo, a' et [i'. Si une telle identité est possible, il est clair que les coefficients de U et de V peuvent être supposés*dépendre algébriquement des coefficients de o et de ^l». Si U et \ ne devenaient pas infinies en certains points du continuum (CC), l'intégrale double (3) prise le long de C et de C serait nulle. Comme il n'en est pas ainsi, il faut qu'il y ait un certain nombre limité de couples de points (AA') (A étant sur C, et A' sur C) pour lesquels U et V deviennent infinies. Si les cycles C et C sont, comme on peut toujours le supposer, formés de morceaux de lignes algébriques, les coordonnées de A et A' seront des fonctions algébriques des coefficients de o et (];. Un tel point (,AA' ) va jouer ici le même rôle que le point p de C et de C au numéro précédent; on prendra sur G deux points Xx et X2 de part et d'autre de chaque point A, et, en faisant un calcul tout analogue à celui qui a été fait plus haut, on voit que l'intégrale (3) prise le long de G et G' peut être calculée d'une manière purement algébrique, et, par suite, la période correspondante s'exprimerait algébriquement à l'aide des coefficients de c5 et 'h. Mais il n'en est pas ainsi, puisque la période d'une intégrale abélienne de seconde espèce est, en général, une fonction transcendante des coefficients de l'équation de la courbe. Nous sommes donc assuré d'avoir des intégrales doubles de seconde espèce

T(^, JK, z)dxdy

qui ne se réduisent pas à une intégrale

; dx av.

comme nous voulions l'établir.

( ' ) En prenant — on considère, bien entendu, [i comme fonction de x, et de (Jx

même dans le calcul de — ,, on considère S' comme fonction de a'. dx