CHAPITRE XI. — FONCTIONS BIPÉRI0DIQUE8 DU SECOND ORDRE. 42F

Cette identité complète entre les fonctions du second ordre et les fonctions E(x), E^(a;) nous permet de confondre désormais toutes celles-ci sous la dénomination de fonctions du second ordre, les premières à infinis simples, les dernières à infinis: doubles,

380. De toutes les fonctions bipériodiques méromorphes, celles du second ordre sont les plus simples, notamment par leur équation différentielle (333); en outre, toutes les autres leur sont liées par de simples équations du premier ou du deuxième degré (331). A ce double titre, elles méritent donc une étude plus approfondie; mais Texiguïté de notre cadre n*en comporte pas les détails étendus et minutieux, et nous devons nous borner à de simples aperçus.

Une fonction du second ordre dépend de six paramètres, en particulier des cinq coefficients du polynôme du quatrième degré en u qui figure dans Téquation différentielle (celui de u^ étant =s o pour les fonctions à infinis doubles), et de la valeur qu*elle prend pour une valeur initiale donnée de x^ l'ambiguïté comportée par ces données se levant par la désignation de celle des deux valeurs opposées du radical, à choisir pour sa valeur initiale.

Mais il est souvent avantageux de choisir ces paramètres d'une autre manière. On peut prendre à cet effet les deux périodes, la constante supplémentaire, un zéro, un infini, et la valeur de la fonction qui correspond à une valeur de x n^ étant ni un zéro ni un infini. U résulte effectivement : i" du n° 354-, qu'on peut toujours construire une fonction du second ordre pour laquelle ces six objets aient des valeurs données quelconques (n'impliquant toutefois aucune contradiction, comme par exemple si le moment des périodes données était nul, si la valeur du zéro donné était congrue à celle de l'infini, etc.); 2® du n** 334, que deux fonctions du second ordre ne peuvent satisfaire simultanément à toutes ces conditions sans être identiques.

Ce sont tels ou tels de ces paramètres, qui habituellement entrent, explicitement ou implicitement, dans les formules relatives aux fonctions du second ordre.

381. Soient u =f(^x) une fonction du second ordre ayant S pour constante supplémentaire, et U = F(;r) une fonction

d^ ordre m admettant les périodes élémentaires de f{x)\ F(jr) s^ exprime algébriquement au moyen def{x) : I** Si Von a V identité

(2) F(S-a:)=F(ar),

par la formule

M, L désignant des polynômes entiers en f{x) sans /acteur commun, dans l'ensemble desquels le degré effectif de cette

fonction atteint précisément — {alors nécessairement entier) \ 2® Sinon, par la formule

(4) F(,)=MdlN^.

^(/) représentant le polynôme du quatrième ou du troisième degré en f{x), produit des excès de cette fonction sur ses quatre ou trois valeurs cardinales (304, IV), (305), et L, M, N trois polynômes entiers en f dont les degrés ne peuvent respectivement surpasser les limites m, m^ m — a.

I. La première partie de notre énoncé est un simple cas particulier du théorème du n° 331, où Ton a e/= 2 à cause de l'identité (2).

II. Si f{x) est la fonction u = E(;r) étudiée aux n^^ 302 et suivants, et si Von appelle y^u) un polynôme entier en u sans facteurs multiples, la condition nécessaire et suffisante pour

que ^x{u) soit fonction méromorphe de x est que y{u) se réduise au produit d'une constante par un nombre pair des facteurs linéaires de (f{u)^

En vertu de la théorie des radicaux (125), celui que nous considérons ne peut cesser d'être fonction méromorphe de x que pour quelque valeur de x rendant x{u) nul ou infini; et alors il cesse