Voici un corollaire important du théorème du n

Pour prouver qu’une fonction sue (d’autre part) indéfiniment méromorphe se réduit à une constante, il suffit de constater que, pour aucune valeur finite ou infinte de x, elle ne peut, soit prendre quelque valeur donnée, soit devenir infinie.

Cette observation fournit un moyen d'investigation des plus précieux dans la théorie des fonctions indéfiniment méromorphes. Comme toute fonction composée, à composante rationnelle, de pareilles fonctions f(x), f:(x), ... est aussi indéfiniment méromorphe, on pourra trouver toutes les relations rationnelles pouvant lier celles-ci les unes aux autres, en formant simplement avec elles toutes les expressions rationnelles non susceptibles de devenir infinies, ou bien d’atteindre telle valeur déterminée. Une hypothèse particulière simple faite ensuite sur la valeur de x donnera la valeur C de la constante à laquelle se réduit une expression de cette espèce, Q[ f,(x), fe(x), ...], et

QT fi(r), fe(æ), -..]= G

sera l’une des relations cherchées. La théorie des fonctions circulaires et elliptiques (Chap. VII et suiv. inf.) mettra mieux en lumière l'extrême utilité de ce principe.

50. Les fractions rationnelles forment la variété la plus intéressante de la classe des fonctions indéfiniment méromorphes. Elles se distinguent par deux particularités à noter.

I. Pour chacune, les zéros et les infinis sont en nombres essentiellement limités. Car, en appliquant la formule (2) du n° 13 à la décomposition des polynomes entiers servant de termes à une fraction rationnelle donnée f(x), en produits de puissances de binomes linéaires, puis en supprimant, s’il y a lieu, tout facteur

n DEUXIÈME PARTIE. — FONCTIONS D’UNE SEULE VARIABLE.

commun, on met f(x) sous la forme

(x — aj)n...(x— ag)"s (D — a)... (æ —ay)#r

(6) J(x)= À ; c’est celle du n° 31, particularisée par cette circonstance que le facteur complémentaire f(x) se réduit ici à la constante A. Les. ZÉTOS 1, ..., @g du numérateur sont ceux de f(x) et ceux du dénominateur &,..., 4, sont les infinis de cette fonction, les uns

et les autres aux mêmes degrés m3, ..., lu, ....

Il. La fonction f(x) = est méromorphe en x'= 0. En

appelant effectivement M la différence (mine. me) —|(u1 PERS

des degrés effectifs du numérateur et du dénominateur de f(x), il vient immédiatement

G—ax'}m...(1— agt')Me

'f(x')= — A Je) LM, (— ur) Ge a 20 È

et, pour æ'— 0, le produit des deux derniers facteurs est olotrope et non nul (— A). Cette valeur nulle de x’ est pour /f(x!') un zéro ou un infini de degré de multiplicité Z M, selon que M est So.

L'application de la formule (9) du n° 37 à la fonction !f(x!) et à son infini x — 0 donne une série procédant suivant les puissances de x’, à exposants entiers d’abord négatifs. En y remplaçant x’

par —; on trouve pour f(x), relativement à des valeurs infinies WA

de +, un développement procédant suivant les puissances de x à exposants entiers décroissants et d’abord positifs. Il peut être con-

sidéré comme un cas particulier de ceux que nous étudierons aux n% 191 ec suite. (inf.).

91. Quand l’inversion arithmétique des variables (148*) transforme une fonction en une autre jouissant de certaines propriétés pour des valeurs nulles des nouvelles variables, on dit volontiers, pour abréger et imager le langage, que la fonction donnée jouit des propriétés en question à l’infint.

On pourra donc formuler la dernière observation ci-dessus, en