La fonction

lft)(a) = G

où C, c et Uq sont des constantes quelconques, n'admet qu'un pôle dans le parallélogramme des périodes, à savoir le point congruent à zéro; c'est une fonction de seconde espèce, dont les

APPLICATIONS DU THÉORÈME DE CAUCUY. l3

multiplicateurs sont respectivement

ainsi qu'il résulte des formules (XXII|). Ces multiplicateurs peuvent être identifiés à deux nombres quelconques [jL|, [JL3, en supposant

C(i)i-H UoTii = - log(x,, ca>3-haoT,s= - logfji,,

^ Je

d'où l'on tire

à cause de la relation vii 0)3 — riaWi = — Les déterminations des

logarithmes peuvent d'ailleurs être choisies arbitrairement.

On observera que Uq n'est congru à zéro, modulis ao)|, 2(03, que si, pour une détermination convenable des logarithmes, on a

Dans ce cas, la fonction ^S\>{u) se réduit à une exponentielle de la forme e^^^^ , S'il n'en est pas ainsi, la fonction 'i)l)(a) admet pour zéro le point — u^ et tous les points congruents; elle admet pour pôles simples les points congruents à zéro.

365. Si l'on suppose que [jL|, [JL3 soient les multiplicateurs d'une fonction donnée de seconde espèce, ê{u) ; si l'on détermine, comme on vient de l'expliquer, les constantes c et u^ de manière à former la fonction 'ilb(^/), les fonctions

^y J(M)ift,(-«), ^(a)lft,(Co-w),

où Co désigne une constante, seront des fonctions de première espèce, en sorte que l'introduction de la fonction 'i)l)(a) ramène l'étude des fonctions de seconde espèce à celle des fonctions de première espèce.

Nous allons d'abord déduire de là la proposition suivante, qui est l'analogue du théorème de Liouville pour les fonctions doublement périodiques ordinaires :

l4 CALCUL INTÉGRAL.

En dehors de la fonction exponentielle e^^'^*^', il n^ existe pas de fonction transcendante entière qui soit doublement périodique de seconde espèce.

Si, en effet, ^{u) est une fonction transcendante entière, la fonction doublement périodique ordinaire S{u)y^{ — u) ne peut avoir dans le parallélogramme des périodes qu'un pôle unique et simple, à savoir le pôle de ill)( — u)\ elle se réduit donc à une constante C différente de zéro. Si Wo n'était pas congru à zéro, pour w = Wo la fonction 'i)l)( — u) serait nulle et le produit i(l)( — u)^(u) ne pourrait êlre égal à C, puisque la quantité ^{uq) est finie. Il faut donc supposer que Uq soitcongru à o; c'est le cas où la fonction yS)\>(u) se réduit à une exponentielle de la forme gcu-^c^ il en est de même de la fonction ^(w).

366. On voit aussi que, quelle que soit la fonction de seconde espèce ^(w), si ses multiplicateurs [jL|, Uj vérifient, pour une détermination convenable des logarithmes, la relation

logt^i ^ l ogjxs .

en d'autres termes, si Uq est congru à zéro, modulis 2(0|, 20)3, la fonction cf(w) sera le produit d'une fonction doublement périodique ordinaire f{u) par une exponentielle de la forme e^"+*^', puisque le rapport

ôllï ( u )

est une fonction doublement périodique ordinaire, et que iil)(w) se réduit à une exponentielle; c'est d^ailleurs ce que nous saxâons déjà (n° 362). Désormais nous écarterons ce cas.

Supposons donc (iu^ différent de zéro, nous poserons

X(u) = \ ^ ^ e^^, et l'on aura

La fonction «l,(w) admet le point o pour pôle, et le résidu correspondant est I. On reconnaît aisément qu'il n'existe pas d'autre

APPLICATIONS DU THÉORÈME DE CAUGHT. j5

fonction de seconde espèce aux multiplicateurs jjL| et [JL3, admettant pour pôle simple le point zéro et les points congruents, n'en admettant pas d'autres, et telle enfin que le résidu relatif au pôle o soit égal à i. En effet, le rapport d'une telle fonction à Jo{u) serait nécessairement une constante, puisque ce serait une fonction doublement périodique ordinaire sans pôle, et l'on voit que cette constante doit être égale à i, à cause de l'hypothèse relative aux. résidus.

367. Si, maintenant, ^(u) est une fonction de seconde espèce, aux multiplicateurs Ui, [JL3, et si l'on désigne par x une constante quelconque, la fonction ^(u)^X>(x — u) sera une fonction de première espèce; la somme de ses résidus à l'intérieur du parallélogramme des périodes sera nulle. En calculant cetle somme, exactement comme on l'a fait pour la fonction y( m) î^( a: — w), on arrivera à cette conclusion que la fonction ^{u) peut se mettre sous la forme

(a) ^{u) = ^[A^i^^^(u—at)-\-PL'^^'X'(u-ai)-+-. .-hAg^iX^a^-^H"- «/)L

OÙ ai, a2, . . ., ^v désignent les pôles distincts de la fonction ^(u) situés à rintérieur du parallélogramme des périodes, où le nombre entier positif a, est Tordre de multiplicité du pôle a/, où X'(u — a/), f^/{u — ai), ..., f^e^^i~^^{ll — a/) désignent les dérivées par rapport à IX de la fonction X(u — ai) jusqu'à l'ordre a^ — 1 , où enfin A^'^, A\'\ . .., Aa|i désignent les constantes définies par le développement

^{ai-hh) = A(') i -i- A'/' D i +. . .4- Ai;]j D(a.-iJ i 4- $(A),

relatif aux environs du pôle a/; dans ce développement, qui procède suivant les puissances ascendantes de A, ^{h) désigne une

série entière en A; Dt> • ••> D^*»~*^ v désignent les dérivées successives, par rapport k h, de j jusqu'à l'ordre a/ — 1 .

La fonction ^{u) est ainsi décomposée en éléments simples. Réciproquement, une expression telle que le second membre de l'équation (a), lorsqu'on y remplace u par w 4- 2(0|, tt-+- 20)3,

l6 CALCUL INTÉGRAL.

se reproduit multipliée par [jL|, Uj, puisqu'il en est ainsi de la fonction Jl>(w) et de ses dérivées par rapport à u. Ce second membre représente donc une fonction de seconde espèce dont les multiplicateurs sont ceux de la fonction X{u),

368. Cette formule suggère des observations toutes pareilles à celles qui ont été faites au n" 359.

D'abord, si Ton substitue au pôle ai un point congruent

a'i = ai -f- 2/ii(ï>i-h 2/13(03, il est clair, à cause de la relation

«Aj(a — ai) = [jif'*tjjL-'»8X(a — a/),

que, dans la formule (a), les nombres A^''\ Aj'\ . . . , Aa?i devront être multipliés par [Jlï'[J<.3*; mais, d'un autre côté, Tégalité

^(a-f-2/ii(0i-f- 2/13103) = [Jtr>(xJ«^(a)

montre de suite que, dans le voisinage du pôle a\ , les coefficients du développement de ^(w), suivant les puissances de u — a]., s'obtiennent en multipliant par (jif» jjlJ» les coefficients du développement de ^(w) suivant les puissances de w — a/, dans le voisinage du pôle a,. Par conséquent, on pourra appliquer la formule (a) et la règle pour déterminer les coefficients en prenant pour les points a^^ a^^ ..., «y un système quelconque de pôles de la fonction ^{u)j pourvu que ce système contienne un représentant et un seul de chaque pôle. On voit aussi que, sauf la modification que nous venons d'indiquer, la décomposition en éléments simples ne peut s'effectuer que d'une seule façon. On reconnaît enfin que les propriétés essentielles de la fonction X(m), qui servent dans cette décomposition, consistent à admettre les multiplicateurs [JL|, [JL3 et à n'avoir, dans le parallélogramme des périodes, qu'un pôle simple. L'hypothèse que ce pôle est le point zéro et que le résidu correspondant est 1 ne sert qu'à simplifier la formule.

369. Quand les multiplicateurs [jl^ , 0.3 d'une fonction de seconde espèce ^{u) sont donnés, il y a une relation entre les zéros et les pôles. En effet, puisque la fonction J(w) X( — u) est de première

espèce, dans le parallélogramme des périodes, la somme de ses pôles, diminuée de la somme de ses zéros, esl congrue à o, modulis awi, 2103. Chaque pôle et chaque zéro doivent figurer dans chacune des sommes autant de fois qu'il y a d'unités dans son ordre de multiplicité. Comme le pôle de X{ — u) est congru à o, et son zéro à u^j on voit que la somme des pôles de la fonction ^(t/) diminuée de la somme de ses zéros doit être congrue à e/o ; en d'autres termes, en désignant un pôle quelconque par a, un zéro quelconque par 6, par Sa, Sfr les sommes des pôles et des zéros contenus dans un parallélogramme, chaque pôle et chaque zéro figurant dans la somme autant de fois qu'il y a d'unités dans son ordre de multiplicité, on a

2a — 26 = -7— (walogiii — (Oj logfxa) (modd. atoj, 2(03).

Ce théorème, qui est l'analogue de celui du n** 355 pour les fonctions de première espèce, subsiste si l'on a Wo = o» O*^ le retrouverait, ainsi que le théorème sur l'égalité des nombres de pôles et de zéros, en appliquant l'égalité fondamentale du n*' 352 aux

fonctions u-^ — -^ -> : c est un calcul que nous aurons 1 occa-

sion de développer bientôt dans un cas plus général.

370. Le nombre des zéros d'une fonction de seconde espèce étant égal au nombre de ses pôles, on peut classer les fonctions de seconde espèce, comme celles de première, d'après le nombre de leurs pôles. Une fonction de seconde espèce qui a n pôles ou n zéros est dite du /i'<^'»<? ordre. La formule de décomposition en éléments simples met en évidence l'existence de fonctions de seconde espèce de tous les ordres. X{u) est une fonction de seconde espèce, du premier ordre.

371. Cette fonction X{ii) joue un rôle considérable dans la théorie des fonctions doublement périodiques. Signalons quelques cas particuliers.

Si la fonction X{u) est réduite, elle jouera le rôle d'élément simple pour les fonctions réduites; on a alors, puisqu'on peut supposer log[X| = o,

Wilog|i3 ^ __ y<i lQg!^3 — >il'^0.

Un — — : > C — : — ————— ,

T. et M. — III. î

l8 CALCUL INTÉGRAL.

la fonction X{u) se présentera donc sous la forme ou encore, en posant

^ ^ V ir

sous la forme

1 ^\(o)%(i^-^vo) ^ j H^(o)H(ar-h3ro) 2U)j 3i(t')&i(Po) * ^' H(a7)H(jro)

372. Considérons encore le cas où les multiplicateurs [jL|, [Xj d'une fonction de seconde espèce seraient des racines /i *"«* de l'unité, en sorte que la puissance n**"*® de cette fonction serait une fonction doublement périodique ordinaire. Soient, par exemple, en désignant par/?, q des nombres entiers non divisibles tous les deux par ai,

nous désignerons, dans ce cas, l'élément simple par ^l»p^ç(w) ; on trouvera sans peine

^/ 2/>(0t-+-2ya)3\

X^,,U)= ^— 1: ^^««pr,..«7i^.)'^

il sera lui-même la /i'*^"' racine d'une fonction doublement périodique ordinaire.

Dans le cas où n = 2, on peut prendre, pour le système de nombres entiers {p^ q)^ les trois systèmes (0,1), (1,0), (i>i)? et l'on retombe ainsi sur les fonctions iao(w)> qui sont, en effet, l'elativement aux périodes 2a>< , 2(03, doublement périodiques de seconde espèce, avec les multiplicateurs ± i . Les fonctions '^^p,q{i^) sont donc, comme le remarque M. Kiepert, qui a montré leur rôle dans la théorie de la multiplication et de la transformation, la généralisation immédiate des fonctions iao(^')-

373. Les propriétés suivantes de ces fonctions résultent immédiatement de leur défînitiou, des propriétés élémentaires de la

APPLICATIONS DU THÊORÈMB DE GAUCHT. I9

fonction du et de la formule (VII|) :

«^/H-/i,7(m) = Xp,<7(ix),

Cette dernière égalité suppose que n est un nombre impair.

374. Désignons enfin par X{u^ Uq) ce que devient la fonction générale X{u) quand on y remplace la constante c par Ç(wo); posons, en d'autres termes,

. 3'(WH- Mo) r

On observera que la dérivée logarithmique de X{Uy Uq) est

égale (VII3) à - — -; on en conclut aisément que la fonc-

lion c}o{Uf Uo) vérifie Téquation différentielle linéaire

-^ = ['ipM-hpMoJ A»(m, Mo).

La fonction X(u, Wq)» considérée comme une fonction de Uq mérite de fixer un instant l'attention. Il suffit de se reporter aux égalités (XII) pour voir qu'elle jouit de la propriété qu'exprime l'égalité

rh(u, Mo -h '2W3t) = cI)(M, Mo) (a = I, 2, 3).

Elle devrait donc être regardée comme doublement périodique, si nous n'avions pas exclu les fonctions, même univoques, qui admettent des points singuliers essentiels; tel est évidemment le cas de la fonction cl)(f/, Uq) qui, puisque Çw© figure en exposant, admet comme points singuliers essentiels tous les pôles de ^Uq- On

observera que, dans le parallélogramme des périodes, la fonctioD

tK,(Uj Mo), regardée comme une fonction de Uq, n'admet qu'un

zéro, congru à — w, et un pôle congru à o {modulis 2a><, 2(03).

On reconnaît de suite, à cause de l'égalité (VII<), que l'on a

X{Uf Uo)X{Uy — uo) = pu — puo.