SO

0 *^ta

•Al» «^ 0 *-^o

<l»(u)'j= 2Y,tu -h / |;(m -j- w')-4- ^(to'— U)\dn

I^es pôles de ^u ont tous Tunité pour résidu; on conclura donc maintenant

< i8) 4>(t')= •2T,(uj -f- r) — (2m -f- i)z7:,

expression générale de Tinlégrale rectiligne

du.

La lettre m désigne le nombre des pôles intérieurs au paralléloi;ramme lo', w'-f- aïo, ç' -f- 210, t', ou ce nombre changé de signe,

suivant que la partie réelle de —. — est positive ou négative.

Cette formule (18) comprend les analogues, qui ont été établies autrement à la fin du Chapitre VI (p. 200, 201).

Si la fonction f(u) est périodique, la constante c est nulle; en ce cas, tout ce qui a été dit pour yi s^applique à l'intégrale ^(^) elle-même. Tant que v ne franchit pas les parallèles à la période, menées par les pôles, l'intégrale reste constante.

Théorème de Liouville.

Les éléments de la théorie générale des fonctions fournissent un autre moyen d'établir la théorie des fonctions doublement périodiques et ouvrent une voie qui a été suivie par le célèbre géomètre Liouville à la même époque (environ 1 844 ) dont sont datés les pre- L 3o

mîers travaux de M. Hermile (*). H suffira d'établir ici le théorème qui sert de point de départ.

D'après la théorie des fonctions, toute fonction entière dont la valeur absolue (module) ne dépasse pas une limite donnée se réduit à une constante.

Voici la proposition de Liouville, qui s'en déduit: Toute fonc-tion entière et doublement périodique se réduit à une constante.

Une telle fonction, en effet, n'ayant aucun pôle, reste finie dans un parallélogramme des périodes, qui comprend une aire partout limitée. Dans celle aire, la valeur absolue de la fonction est donc limitée. Mais les valeurs que cette fonction acquiert dans tout le plan sont toutes reproduites à l'intérieur du parallélogramme. La valeur absolue de la fonction est donc, pour tout le plan, limitée comme dans le parallélogramme, et la proposition en découle.

11 est à peine nécessaire de remarquer que ce théorème résulte immédiatement de la décomposition (8) en éléments simples. Mais, pour l'apprécier comme il convient, on doit se rappeler le point de vue auquel se plaçait Liouville et montrer comment la décomposition peut, à son tour, s'en déduire.

Prenons, à cet effet, une fonction fractionnaire /(w), ayant les propriétés

Composons la quantité 2p, qui figure dans la formule de décomposition (lo).

Cette quantité a, elle aussi, la propriété (19) de se reproduire augmentée de constantes, quand on change u en (M+a(o) ou (w-f-ao)'). La même propriété appartient aussi à la différence /{u) — 2p, Mais cette différence est une fonction entière, en vertu de la composition de S p. Sa dérivée est donc une fonction entière el doublement périodique, c'est-à-dire une constante. Donc /{u) — Sp est un binôme du premier degré. La formule (10) se trouve ainsi démontrée, sans qu'on ait eu besoin de recourir aux

(') Sur les fonctions elliptiques^ par M. J. Liouville {Journal de Afathématiques pures et appliquées, j" série, t. XX, p. 2o3).