RcTmons maintenant à nos intégrales
(3) rrR(a, P)S(a', pO^a^a'
et supposons, pour plus de simplicité, que les courbes cp et ^J; soient 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 ^\ nous supposerons de plus que l'intégrale
l'RCa, p)^a,
prise le long d'un cycle G de cp, n'est pas une fonction algébrique des coefficients du polynôme cp, et pareillement l'intégrale
fi
S (a', p')^«', prise le long d'un cycle G' de ^ n'est pas une fonction algébrique
( ' ) Ce résultat est bien d'accord avec la relation capitale obtenue par Weierstrass d'une tout autre manière, et que l'illustre auteur formule de la manière suivante :
[x+i r"\i.+2 F {x, y) dx dy t.
Voir Beitrag zur Théorie der Abelschen Intégrale (Tome I des Œuvres de Weierstrass, p. 117). Le polynôme R{x) est désigné dans notre texte par P(^)
et F = -.
(les coefficienls du polynôme J>. Nous disons qu'il est impossible que Ton ait une relation de la forme ( ' )
U et V étant des fonctions rationnelles de a, 3, cfJ et ^'. 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 C5 et de 'l. Si U et V ne devenaient pas infinies en certains points du continuum (GC), l'intégrale double (3) prise le long de G et de G' serait nulle. Gomme il n'en est pas ainsi, il faut qu'il y ait un certain nombre limité de couples de points (AA') (A étant sur G, et A' sur G') pour lesquels U et V deviennent infinies. Si les cycles G et G' 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 ; A A') va jouer ici le même rôle que le point p de G et de G' au numéro précédent; on prendra sur G deux points Xi et ^2 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 à Vaide des coefficienls de cp et (L. 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 ^ / y\{x, y, z)dxdy
qui ne se réduisent pas à une intégrale
■r)U dM
, dx dy.
â.v ùy ' •^'
comme nous voulions l'établir.
(') En prenant -— on considère, bien entendu, [i comme fonction de a, et de
d\ même dans le calcul de -r— , > on considère 3' comme fonction de a'. ôx
