Page:Notice sur les travaux scientifiques de Henri Poincaré-1886.djvu/26

Cette page n’a pas encore été corrigée

elles sont multipliées par une exponentielle quand la variable augmente d'une période. De même ici, je devais chercher à exprimer les fonctions fuchsiennes par le quotient de deux transcendantes finies et uniformes, tout à fait analogues aux fonctions thêta, et se reproduisant multipliées par un facteur simple, quand la variable z subit une des transformations du groupe.

Je trouvai aisément des séries satisfaisant à ces conditions et je les appelai thêta-fuchsiennes. Le quotient de deux pareilles séries était évidemment une fonction fuchsienne : j'avais donc du même coup démontré l'existence de ces fonctions et trouvé leur expression analytique. Le quotient de l'unité par une série thêta-fuchsienne st susceptible aussi d'un développement simple, et c'est la considération de ces développements nouveaux qui m'a permis de démontrer réciproquement que toute fonction fuchsienne peut être regardée comme le quotient de deux séries thêta-fuchsiennes.

Ces fonctions fuchsiennes sont de deux sortes, les unes existant dans tout le plan, les autres n'existant qu'à l'intérieur du cercle fondamental. Dans les deux cas, il y a entre deux fonctions fuchsiennes qui ont même groupe une relation algébrique. La détermination du genre de cette relation est d'une importance capitale; je l'ai obtenue d'abord par des procédés analytiques, et plus simplement ensuite par la géométrie de situation.

Grâce à ces relations algébriques, il est possible d'utiliser les fonctions fuchsiennes pour l'étude des fonctions et des courbes algébriques. Ainsi l'on peut exprimer les coordonnées des points d'une courbe algébrique par des fonctions fuchsiennes, c'est-à-dire uniformes, d'un même paramètre. On peut alors se servir de ces expressions des coordonnées pour arriver à un certain nombre de théorèmes sur ces courbes. On peut s'en servir également pour exposer d'une façon plus simple la théorie des fonctions abéliennes.

Si, dans une intégrale abélienne de première espèce, on remplace la variable par une fonction fuchsienne de z, cette intégrale devient à son tour une fonction uniforme de z dont on trouve aisément le développement analytique. Ainsi ces intégrales, qu'on savait déjà obtenir à l'aide des fonctions thêta, sont susceptibles d'une expression analytique entièrement différente, où entrent des transcendantes ne dépendant que d'une seule variable.

Mais ce n'est pas tout. Toute fonction fuchsienne peut être regardée comme provenant de l'inversion d'une équation du second ordre à coefficients algébriques, c'est-à-dire qu'on peut l'obtenir en regardant la variable x comme fonction du rapport z des intégrales de cette équation. Nos transcendantes nous fournissent donc immédiatement l'intégration d'une infinité d'équations linéaires que l'on peut appeler fuchsiennes.