You are on page 1of 40

M MORIAL DES SCIENCES MATHMATIQUES

PAUL A PPELL
Sur la dcomposition dune fonction mromorphe
en lments simples
Mmorial des sciences mathmatiques, fascicule 36 (1929), p. 1-37.
<http://www.numdam.org/item?id=MSM_1929__36__1_0>

Gauthier-Villars, 1929, tous droits rservs.


Laccs aux archives de la collection Mmorial des sciences math-
matiques implique laccord avec les conditions gnrales dutilisation
(http://www.numdam.org/legal.php). Toute utilisation commerciale ou im-
pression systmatique est constitutive dune infraction pnale. Toute copie
ou impression de ce fichier doit contenir la prsente mention de copyright.

Article numris dans le cadre du programme


Numrisation de documents anciens mathmatiques
http://www.numdam.org/
MMORIAL
DES

SCIENCES MATHEMATIQUES
PUBLI SOUS LE PATRONAGE DE

L'ACADMIE DES SCIENCES DE PARIS,


DES ACADEMIES DE BELGRADE, BRUXHLLES, BUCAREST, COIMBRE, CRACOV1E, KIEW,
MADRID, PRAGUE, ROME, STOCKHOLM (FONDATION MITTAG-LEFFLER), ETC.,
DE LA SOCIT MATHMATIQUE DE FRANCE, AVEC LA COLLABORATION DE NOMBREUX SAVANTS.

DIRECTEUR

Henri VILLAT
Correspondant d e l'Acadmie d e s S c i e n c e s d e Paris,
Professeur a la Sorbonne,
Directeur d u Journal de Mathmatiques pures e t a p p l i q u e s .

FASCICULE XXXVI

Sur la dcomposition d'une fonction mromorphe en lments simples


PAR M. PVUL APPELL
Membre de l'Institut,
Recteur honoraire d e l'Lniversit d e Paris.

PARIS
GAUTHIER-V1LLARS ET C", DITEURS
LIBRAIRES DU BUREAU DES LONGITUDES, DE L'COLE POLYTECHNIQUE

Quai des Grands-Augustins, 5

1929
AVERTISSEMENT

La Bibliographie est place la fin du fascicule, immdiatement


avant la Table des Matires.
SUR LA DECOMPOSITION

D'UNE

FONCTION MROMORPHE
EN LMENTS SIMPLES

P a r M. P a u l A P P E L L

INTRODUCTION.

La formule de dcomposition d'une fraction ou fonction rationr


nelle R ( # ) , en fractions ou lments simples, a un double intrt :
d'une part, elle met en vidence les ples de la fonction avec leurs
parties principales; d'autre part, elle permet l'intgration de la fonc-
tion en la ramenant l'intgration des lments simples.
Ce double point de vue a t tendu par le gnie d'Hermite [ 1 ] ,
[1*], [2] la plupart des fonctions connues de son temps, par
exemple aux fonctions elliptiques, aux fonctions doublement prio-
diques de seconde espce et leurs dgnrescences, aux fonctions
rationnelles de sin# et cos#, R ( s i n # , . c o s # ) , aux fonctions de la
forme eM'vR(x), e^'R^inx, cosoc), o w est une constante.
Dans ses recherches Hermite a pris gnralement pour lment
simple une fonction d'une variable/( x) devenant infinie au point x = o,
en y remplaant x par x a, comme il arrive pour les fonctions
rationnelles R ( # ) o l'lment simple se dduit de - en y rempla-
ant x par x a.
Mais dans certains cas, comme on le verra dans l'exemple des
fonctions doublement priodiques de troisime espce, il faut avoir
recours, pour l'lment simple, des fonctions de deux variables
2 PAUL APPELL.

d o n t l'une est la variable qui figure dans la fonction dcomposer et


d o n t l'autre concide avec les ples successifs.
L'ide gniale d ' H e r m i t e est d'une fcondit telle q u e c h a q u e
a u t e u r , en tudiant des fonctions nouvelles, s'efforce de trouver u n
lment simple c o r r e s p o n d a n t . C'est ce que Poincar a fait p o u r les
fonctions fuchsiennes en crant les fonctions ztafuchsiennes [8]
c o m m e il avait cr les fonctions thtafuchsiennes.
E n faisant l'expos gnral de la thorie de la dcomposition en
lments simples, j e prendrai d'abord les fonctions rationnelles et
celles qui s'y rattachent, puis, d'aprs H e r m i t e , les fonctions d o u b l e -
ment priodiques et la fonction zta, les fonctions doublement p r i o -
diques de seconde et troisime espce, puis les fonctions d'un point
analytique, puis les fonctions a u t o m o r p h e s d ' H e n r i P o i n c a r , puis
enfin les fonctions / dites triplement priodiques de trois variables
1 T (Y*- T **=:T
relles x, y, z vrifiant l'quation de Laplace -r2 + -T- ~+~ y r m
J e consacrerai u n n u m r o spcial la dfinition d ' u n n o m b r e fonda-
mental dans le p r o b l m e , d'aprs Poincar.

CHAPITRE 1.
FRACTIONS RATIONNELLES ET FONCTIONS ANALOGUES.

\ . Dcomposition des fractions rationnelles en lments simples.


U n e fraction rationnelle R ( # ) est le q u o t i e n t de deux p o l y n m e s .
S u p p o s o n s que le d n o m i n a t e u r admette la racine a, de l'ordre a, la
racine b de l'ordre (3, . . ., supposons enfin, pour nous placer dans le
cas le plus gnral, que la fraction devienne infinie l'infini et q u e
dans le voisinage de x = oo elle soit dveloppable en une srie
o r d o n n e suivant les puissances dcroissantes de x de la forme

asx*-t- fl,-!^-1 -t-. . . -+- ai x -+ a{)-t- -~~- H "* +


X X*

D a n s le voisinage de x = a, la fonction sera de la forme


A A2 Aa
fonction finie pour x = af
7a \x ay (x a)
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 3

dans le voisinage du ple x = 6, elle sera de mme de la forme


Bt B2 Bp .
j- -+- . 7- -+-. . .H 4 - 0 -+- fonction finie pour x = b.
x b (x by (ayft)P
On sait que Cauchy appelle rsidus relatifs aux ples <7, 6, . . .
les coefficients A,, R,, . . . . En gnralisant cette dnomination, nous
appellerons les coefficients
i, Ai, Bi, ..., Lj,

l e s r s i d u s relatifs a u x p l e s

x = oo, 57 = a, x = d, ....

On a alors le thorme suivant [12] facile dmontrer d'une faon


lmentaire qui rsulte aussi de la considration de l'intgrale de
Cauchy
f\(x)dx,

prise sur un contour ferm entourant les ples.


La somme des rsidus d'une fraction rationnelle est gale
zro.
La formule de dcomposition bien connue, que je rappellerai sous
une forme spciale, peut alors s'obtenir en appliquant le thorme
prcdent la fonction rationnelle en /

Le rsidu relatif au point t = x est R(a?); le rsidu relatif au


point t = oo est le suivant; on a pour t suffisamment grand
i i x x
t x t t1 t3 " '
1
R(0 = tf^+tfj-i'*" + . . . + <*!* + <>-+- y -+- ^ +-

Le coefficient de - dans le produit est

asx*{- a^-tx*-1 -\-. ..-\-axx--as\

le rsidu est ce coefficient chang de signe; au ple t = a, le rsidu


4 PAUL APPELL.

se calcule de mme ; on a en un point t voisin de a

i __ i t a
t x ~" x a (x a) 2 '"'
Ai A2 Aa
R(0 =
t a (*_a)9 (f a ) *

Le rsidu correspondant de <p(f) est

[ Ai , A
2 , , aA
1,
[x a (x ay "' (x<3)aJ

O n a un rsultat analogue pour les autres ples fe, c, . . . , / ; finale-


ment en crivant que la somme des rsidus de <p() est nulle, on
obtient la formule connue

R(x) = asxs-\- aA_i x--x -H...


2
-+- ax x -+- x0 - h V ! h , rz 4 - . . . + * .
^ L# a ( a) 2 (x a ) a J

2. Fonctions rationnelles de s i n # et e o s # . On dsigne ordinai-


rement ces fonctions par R (sin.r, c o s # ) . Hermite [ 1 ] part d'abord de
la transformation en une fonction rationnelle de la quantit trans-
cendante R ( s i n x , c o s # ) qu'on obtient en posant

^ / ^ = z.
De l rsulte en effet

sina7= T=> cosa? = , R(sina?, cosa?) = -^---,


2z
z y *{z)

F | et F tant des polynmes.


Il dduit alors de la dcomposition en fractions simples de la frac-
tion rationnelle en z une dcomposition de R ( s i n # , c o s # ) en
lments simples qui en donne semblablement et d'une manire
immdiate l'intgration.
En mettant en vidence les racines nulles du dnominateur F ( s ) ,
Hermite arrive la forme suivante, analogue la dcomposition
d'une fraction rationnelle en fractions simples :

R(sin.r, cos.r) = U(x) -+- 4*(a?),


DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 5
o n ( . r ) est la partie entire

U(x) = Zla/^coskx -h i s i n # # ) ] ,

et o ( # ) est la partie devenant infinie

dcol-(xa) dn c o t - ( # a)
<*< = ^ ool - ! ( * aJ-hCl, ^ h...-4-L
2 dx dxtl
rfcot-(jc,3) f/*coti(r P)
-f- < 8 i c o t - U 3) + CB> -j. K . . - + - <B ^

dcoi-(x-X) d* c o t - ( # X)
i?iCoti(ar ) + ^2 % h . . . 4 - s %

o l'lment simple est cot-.r.


L'intgration est alors immdiate, la seule intgrale nouvelle tant

/ cot ~(x t) dx = 9 1-og s i n - ( # ).

3. Fonctions de la forme etXR(x). D'aprs Hermite [ 1 ] , on


dcompose d'abord la fraction rationnelle R(x) en fractions simples,
puis a) dsignant une constante, on dduit de l
etx
e">x R O ) = e<** E(a?) -h V t\1
x a
d e<*x
^^ tf a? x a

^i dn e<*x
- ^ " ^ dx"n ^ T ^ '

et*>x
o l'on voit que l'lment simple est qui remplace l'lment - cor-
x
respondant aux fractions rationnelles.
L'intgration I e^R(x) dx e^t alors immdiate. H s'y introduit
une transcendante nouvelle

J ~x~dx^
6 PAUL APPELL.
x
qui, par la substitution e = :?, devient

expression que l'on appelle log intgral de z.

4. Fonctions de la forme e w r R ( s i n # , c o s # ) , o w est diffrent


de i ou de ni, n entier. Toujours d'aprs Hermite [ 1 ] , la fonc-
tion R ( s i n # , cos^c) tant dcompose suivant la formule prcdente,
on peut mettre la fonction propose sous la forme

e<a.r R( s in.r 3 cos#) = e^xT\(x)^-\ j 5V e<*x col^-(x a)

* d r xi
H- 3U -7- e-* cot - ( x a)

K
"7^[eU,*C0ll(*-a)\>
o I I ( # ) dsigne la fonction entire du N"2.
On voit que l'lment simple est
1
e^x cot - x.
2

L'intgration est aise. Elle conduit la seule transcendante


nouvelle
cp(#) = / eMX cot -x dx.

CHAPITRE 11.
FONCTIONS DOUBLEMENT PERIODIQUES.

5. Fonctions doublement priodiques des trois espces. On


doit Hermite ( ' ) [ 2 ] la dfinition des trois espces de fonctions
doublement priodiques. Les fonctions de premire espce sont celles
qui vrifient des relations telles que

f(X 4- 2(0 ) = / ( * ) , f(x -t- ><i>') = / ( 0 7 ) ,

( 1 ) uvres, t. III, p. 329.


DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 7

les priodes tant dsignes par 2co et 20)'. Les fonctions de deuxime
espce vrifient des relations telles que

/(ar + a w ) = nf(x), / ( + 20/) = \i.'f(x),

/JL et // dsignant des multiplicateurs constants qui ne peuvent pas


tre ramens 1 en multipliant f(x) par une exponentielle de la
forme eajc, o a est constant.
Enfin les fonctions de troisime espce vrifient des relations telles
que
f(x -T- 2w) = eA*+B/(.r), f(x-h 2(D') = e**+vf(x),

A et A' dsignant des constantes qu'on ne peut pas annuler toutes


deux en multipliant/(a?) par une exponentielle de la forme eax, o a
est une constante.

6. Fonctions de premire espce. L'lment simple a t donn


par Hermite [3] qui employait les notations deJacobi o les priodes
sont dsignes par 2K et 2/K/. Prenant la fonction H ( # ) de Jacobi,
Hermite pose

Cette fonction zta est alors l'lment simple. Soit une fonction
mromorphe f(x) aux priodes 2K et liVJ ayant dans un parall-
logramme des priodes les infinis a, 6, . . ., / d'ordres respectifs
a, (3, . . ., A, 011a
d d*-*
/(X) = G + A1Z(^-a) + A 2 ^ Z ( ^ - ) + . . . + Aa^rr-1Z(a?-a)
d d$-i
H B! Z(x - b) + B2 ^ Z(a? b) + . . . + Bp ^ - ^ Z(x - 6)
-4-

H-LiZOr- l)+U-^Z(x-l) 4-...+ 1 ^ ^ ^ ( ^ - - / ) ,

C dsignant une constante. La fonction Z admet la priode 2 K ; elle


crot,de la constante ^- quand l'argument de Z crot de 21K/.
8 PAUL APPELL.

Mais alors f{x) ne change pas, car la somme de rsidus

est nulle. L'intgration j f{x) dx est alors immdiate.


Le fait que cette somme est nulle est bien connu. H rsulte du fait
vident que l'intgrale de Cauch\

S'
prise sur le contour d'un paralllogramme des priodes (paralllo-
gramme dont les sommets ont pour affixes z0, zQ-\- 2 w, s 0 + 2W + 2&/,
0 -h 2&>') est nulle, caria fonction doublement priodique f(z) prend
les mmes valeurs aux points correspondants des cts opposs du
paralllogramme.
La formule de dcomposition peut tre obtenue en crivant que
pour la fonction elliptique de t

l(t) = [Z(t x)-Z(t-x0)\f(t)

la somme des rsidus relatifs aux ples situs dans un paralllo-


gramme des priodes est nulle. On voit l'analogie avec la fonc-
tion de t
1
R(t)
t x

considre dans le cas d'une fraction rationnelle.


La formule d'Hermite est donne, avec d'autres notations, dans le
Traite des fonctions elliptiques de Rriot et Bouquet. Elle permet
l'intgration de toute fonction elliptique.

7. Notations de Weierstrass. Cette formule prend un autre


aspect avec les notations introduites par Weierstrass [o] employes
par Halphen [6]. Soient, d'aprs les notations de Weierstrass, f(x)
une fonction doublement priodique de premire espce; 2co et 2G/
ses priodes; , b, . . ., / ses infinis dans un paralllogramme des
priodes. L'lment simple sera la fonction

(*) = ^ = ^ ( * ) = - ^ . | o g ,(*),
v
' a(x) <rA ' dx & v
"
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. $

et l'on aura
1
/ ( * ) = G + Ai (* - a) + Ao ^ ^ + . + Aa g r ^ t ( * - )

+ B,g(g-6)+B2 ^dx >+...+ ^Ux-b)


-t-
r v/ ,K T dt(x Z) T ?X-1

Quand x crot de 2 w ou 20/, crot d'une constante, /(a?) ne change


pas parce que la somme des rsidus
Ai-t- B] + . . . ^- Li

est nulle. La formule de dcomposition peut tre obtenue en consi-


drant la fonction doublement priodique de t
[{t v)-Z(t-x0)]f(l)

et crivant que la somme des rsidus relatifs aux ples situs dans
un paralllogramme des priodes est nulle. Dans cette fonction de t,
comme dans (/), x0 dsigne une constante quelconque.
Une fois la fonction f(x) dcompose, l'intgration est immdiate
car
/ <^(x ot)dx = log <s(x a) -+- const.

Dgnrescences. On sait que <r( w), (), p(u) dgnrent en


fonctions rationnelles quand les deux priodes 2w et 203' deviennent
infinies et en fonctions circulaires quand l'une des priodes devient
infinie. Dans les cas correspondants, la formule de dcomposition
devient la formule de dcomposition des fractions rationnelles en
lments simples et la formule analogue pour les fonctions de la
forme R(sin.r, cos#).
Exemple. Soit la fonction
/Y,/- _JLiiiL_
^ - p u i - p ^ ) '

cette fonction admet les trois ples simples u = c, u= e, u = " 0


et leurs homologues avec les rsidus respectifs 1, 1, 2. On a donc
f(u) = G -h (u - v) -f- l(u -H v) 2 (a).
10 PAUL APPELL.
E n r e m a r q u a n t q u e / ( w ) s'annule p o u r u = w, que
O) = TJ, ( W V)-h (0>H-P) = 2 Y),

on voit que la constante C est nulle et l'on obtient la formule c o n n u e

pw p p

Si l'on suppose w et co; infinis

p(u)=-, M=-,
et l'on a
2
M9 2P2 I 1 2
I i 2
u(u P2) M V+ T-T-:.
u-+-V u>
W 2 "~~ ^ 2

formule qui d o n n e la dcomposition de la fraction rationnelle de u,


, a TTJ en lments simples.

8. Dfinition par Poincar d'un nombre fondamental pour la


dcomposition en lments simples. Poincar a dfini un n o m b r e
fondamental p o u r la formule de dcomposition [9] ( 6) en lments
simples, voici comment. Je cite textuellement Poincar :
D a n s toute dcomposition en lments simples, il y a un n o m b r e
que l'on peut appeler fondamental et qui j o u e un rle trs impor-
tant. S u p p o s o n s qu'il s'agisse de d c o m p o s e r en lments simples les
fonctions qui appartiennent une certaine catgorie C. O n doit Sup-
poser que la somme de deux fonctions appartenant cette catgorie C
appartient galement C ; ce n'est que dans ces conditions q u ' o n
p e u t tre conduit c h e r c h e r une dcomposition en lments simples.
Il peut arriver que les lments simples fassent eux-mmes partie
de C : c'est ainsi q u e , dans la dcomposition des fractions rationnelles,
cft
on est conduit des lments de la forme qui sont eux-mmes
xa v
des fractions rationnelles. Dans ce cas nous dirons que le n o m b r e
fondamental est gal zro. Mais le contraire peut arriver galement.
Ainsi, dans la dcomposition des fonctions doublement priodiques,
les lments simples sont de la forme A - 7 - l o g # (x a) et ne sont
pas des fonctions doublement priodiques. Mais il existe des fonctions
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. Il

doublement priodiques ( ' ) qui sont des sommes de d e u x lments


simples seulement, et l'aide desquelles toutes les autres s'expriment
linairement. Dans ce cas, Je n o m b r e fondamental sera gal un. E n
gnral, s'il existe des fonctions de la catgorie C, dcomposables
en m - f - i lments simples seulement et l'aide desquelles toutes les
autres fonctions de la catgorie C peuvent s'exprimer linairement, le
n o m b r e fondamental sera alors gal wi, pourvu que m soit le plus petit
nombre jouissant de cette proprit. Ainsi, dans la dcomposition des
fonctions rationnelles de x et de y [y tant li x par une relation
algbrique (x, y) = o], dcomposition dcouverte par M. R o c h ,
le n o m b r e fondamental est gal au genre de la relation F = o.
Poincar envisage de mme la dcomposition de la fonction A(,s)
considre dans le Mmoire [ 9 ] en lments simples de la forme

A/L <!>(*, z)

et, dans ce Mmoire, dtermine le n o m b r e fondamental relatif cette


dcomposition; dans le cas du genre zro et de la deuxime famille,
on trouve p o u r ce n o m b r e
n(rn i) m.

Dans ce qui suit, nous dsignerons p a r 91 le n o m b r e fondamental


de Poincar.

9. F o n c t i o n s doublement priodiques de seconde espce. U n e


fonction doublement priodique de seconde espce F(x) admet deux
multiplicateurs donns p et / / . Si elle est m r o m o r p h e , elle p e u t ,
d'aprs Hermite [ 2 ] , tre dcompose en une somme d'lments
simples relatifs aux ples a , P , situs dans un paralllogramme des
priodes.
Cette formule eM donne dans le paragraphe 1 du Mmoire d ' H e r -
mite : Sur quelques applications des fonctions elliptiques [2j. On
sait q u ' H e r m i t e , adoptant les notations de Jacobi, dsigne les priodes
par 2 R et oiKr; il considre des fonctions m r o m o r p h e s F(x) vri-
fiant deux relations de la foi me

F U + a k ) ' = [* F(a?),
V(x-h9iK') = ji.'F(a?),

( l ) De premire espce.
12 PAUL APPELL.

/^ et yJ tant des constantes donnes. Il r e m a r q u e q u e , en posant


H\o)H(.r-4-fa))gg
/ W
- H(to)H(.*) '

/ ( x ) a son rsidu p o u r x = o gal i et q u ' o n peut dterminer A


et w de faon que f(x) admette les multiplicateurs /JL et \JJ. Alors la
fonction de z
$>(z) = F(z)f(x z)

sera, quel que soit x, une fonction doublement priodique de s , aux


priodes 2 K et 2 / K ' , car si l'on ajoute 3 u n e priode F(-s) est
multipli par une constante et f(x z) par la constante inverse.
O n obtient alors d'aprs Hermite la formule de dcomposition p o u r
F(x) en crivant que la somme des rsidus de la fonction (z) rela-
tive aux ples situs dans un paralllogramme des priodes est nulle.
Le rsidu de ( 3 ) correspondant au ple z = x est F(x). Ceux
qui proviennent des ples de F(z) s'obtiennent comme il suit. Soit
z = a un de ces ples : en posant

z a =. %
(s infiniment p e t i t ) , on a

F ( a - H ) = Ae- 1 -+- A,D s-i-f- \ 2 D?e-i -4-...


+ A a D- 1 + rt0 + fl1 + fl2' + . . 1 ;

f(x~.a z)=f(xa) |D,,/(a7-fl) + i - D 3 / ( * - r t ) + . . .


( - 0 s a: n a
a
D/(*-a)-+-....

Le rsidu cherch est le coefficient du terme en - dans le produit


des seconds membres. Ce coefficient est, en r e m a r q u a n t que

kf(x a) -f- Ai Dxf(x - a) H- A2 DJ f(x - a) -H .. .-+- Aa D*f(x - a).

E n crivant que la somme des rsidus de ( 5 ) est nulle, on obtient


la formule cherche

F(x) = Z[A/(ar - a ) H- A j D r / ( ^ _ ) - + . . . . + A a D*/(.r - a ) ] ,

o le signe 1 se r a p p o r t e tous les ples de F(r) situs dans un


DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. l3

paralllogramme des priodes. E n supposant jx = f / = i , Hermite


montre qu'un obtient comme cas limite la formule de dcomposition
relative aux fonctions doublement priodiques de premire espce. Il
applique ensuite sa formule aux fonctions

e p - w Q e o - f - 6 ) . . . e(a?-w)gte
~ e(x) " '
U(x-ha) H(x-hb)... H(x+ Z) g U
G{x) ~ '

n tant le n o m b r e des constantes a, 6, . . . , L


Si l'on cherche l'intgrale

f< F(x)dx

on est conduit un seul lment nouveau

ff(u)du.

Les formules prcdentes sont crites dans la notation de J a c o b i .


Actuellement 5 1 = o car l'lment simple est lui-mme une des
fonctions dcomposer.

10. Notations de Weierstrass. Si l'on emploie les notations d e


W e i e r s t r a s s , l'lment simple d'Hermite est la fonction
, , rs(x H- A )
z(\)*(x)

dont le seul ple est x = o et ses homologues et d o n t le rsidu est i


p o u r le ple x = o. O n peut dterminer \ et p de faon que ( # )
admette deux multiplicateur* donns y et /x'

JNous cartons le cas o ). serait une priode


2mo> + im'u)' :
ce cas aurait lieu si

Iog;ji irrii-K et logtx'-f-s/mrc

taient proportionnels w et w\
14 PAUL APPELL.

O n a alors

F(*) = 2 [Ai *(* ~a)^k,-^ <b(x - ). + ...+ Aa j g l *(*-)].,


A l 5 R 4 , . . . , L , tant les rsidus relatifs aux ples a , , . . . , / . La
diffrence entre les deux membres est une fonction p a r t o u t finie, aux
multiplicateurs /x et JX', c'est--dire zro. O n p e u t encore appliquer le
procd p a r lequel Hermite obtient la formule de dcomposition ( 2 ) .
Soit <P(#) l'lment simple dfini plus haut, si l'on ajoute 203 ou 2 0 /
l'argument, l'lment simple est multipli par JX OU JX'; mais si on
les r e t r a n c h e , il est multipli par - 0 1 1 - 7 - Ds lors, le p r o d u i t

f(t) = Q(x-t)F(t)

est une fonction doublement priodique de t aux priodes 2co et 2 0 / ,


car le premier facteur admet les multiplicateurs - et > le second les
multiplicateurs JX et /x'. Il suffit d'crire que la somme des rsidus de
la fonction de , / ( * ) , relatifs aux ples situs dans un paralllo-
gramme des priodes ou p o u r leurs homologues, est nulle p o u r
obtenir la formule de dcomposition.

1 1 . Cas singulier des fonctions de deuxime espce, Le cas sin-


gulier o la fonction est gale au p r o d u i t d'une exponentielle ePx par
une fonction doublement priodique f(x) ne prsente a u c u n e diffi-
cult. Nanmoins, il est utile de mettre, p o u r ces fonctions et surtout
p o u r leur intgration, la formule de dcomposition en lments
simples sous une forme en r a p p o r t direct avec leur n a t u r e . C'est ce
q u ' a fait M. Mittag-Leffler [ 7 ] , Une premire formule s'obtient i m m -
diatement en dcomposant la fonction m r o m o r p h e doublement
priodique f(x) en lments simples et en multipliant le rsultat
p a r e9x) mais il se prsente alors des termes de la forme

c^dZ(x-a)
dxn
ou
d*Z(x-a)
dx">

O n a u n e formule plus commode en p r e n a n t comme lment simple

<p(#) = e?x (#)


DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. l5

Alors on a
ly(x a)
e?x/(x) = G e?^ l a , i(x - a) -+- C\2 ^ - ^ -

C\a

o la somme 2 est tendue aux divers ples , 6, . . . , Z et o (9Lt est


le rsidu relatif au ple a.
Les coefficients CX, (S, C sont lis par une relation facile dduire<
de ce thorme, que les rsidus de la fonction f(x) dans un parall-
logramme des priodes ont une somme nulle. Le terme
<P-ly(x a) ^-i e ? (r-aj( a ; _a)
CX y ; = Ctv '. :

d o n n e comme coefficient de (x a), au facteur ePx p r s ,

Avp^-i e-?a.
O n a donc
a t + CX2 p e~?a -+- CX2 p2 c-Pfl + . . . + p- 1 e~9a
-t- d3, -+-tf32p e-p* -i- tf33 p2 e~?b -h. .. -htf3ppP"1 e~P*

+ A + A p e-P' -+- A p" c-p' - + - . . . +- i.D>. p'- i e-pG = o.

12. Cas o les multiplicateurs sont des racines de l'unit. Ces


cas ne font pas exception la thorie gnrale; mais l'lment simple
est alors particulirement intressant. Il est alors tel q u ' u n e certaine
d e ses puissances, la m ,,,,e si /x et \i! sont des racines m l6mes de l'unit,
est doublement priodique ordinaire. Ces fonctions particulires
comprennent les trois radicaux (notation de W e i e r s t r a s s ) sjpu c <5
y/jDM e 2 , y/pw e3 et gnralisent, par consquent, les fonctions
anciennes s n , en M, nu. A u c u n e de ces fonctions n'a les deux
priodes 2co et 2w', mais par l'addition d'une des priodes elles sont
multiplies par i . L e u r carr ne change pas. Ce cas est tudi en
dtail par Halphen [ 6 ] ,

13. Fonctions doublement priodiques de troisime espce.


Je rappelle que, d'aprs Hermite, on donne le nom de fonctions dou-
blement priodiques de troisime espce des fonctions qui se
c o m p o r t e n t comme des fractions rationnelles p o u r des valeurs finies
l6 PAUL APPELL.

de la variable z et se reproduisent multiplies par des exponentielles


du premier degr en z quand on augmente z de l'une ou de l'autre
priode 2co ou 2co', 2 K ou 2 t'K.'suivant les notations. Parmi ces fonc-
tions se trouvent les fonctions 0 ( - s ) , H ( s ) , Q1(z), H, (z) de Jacobi,
les puissances positives ou ngatives de ces fonctions et, plus gnra-
lement, les expressions de la forme

6( z H- a )B(z-hb ) . . .&(z-+- l )
Q(z -+-a') 6 ( 3 +-&').. . 6 ( 2 - 1 - / ' ) '

le n o m b r e des facteurs du n u m r a t e u r tant diffrent du n o m b r e des


facteurs du dnominateur. O n peut exprimer toutes les fonctions de
troisime espce de z par une exponentielle du second degr en z
multiplie par le quotient de deux produits de fonctions 0 ( ^ - f - a ) ne
contenant pas le mme nombre de facteurs au n u m r a t e u r qu'au d n o -
minateur. Elles se disisent donc en deux groupes : i celles qui r e n -
ferment plus de fonctions 0 au d n o m i n a t e u r qu'au n u m r a t e u r et
qui, par suite, ne c o m p r e n n e n t pas de fonctions e n t i r e s ; 2 0 celles
qui renferment plus de fonctions 0 au n u m r a t e u r qu'au d n o m i -
nateur et qui comprennent des fonctions entires.
O n peut toujours, en multipliant par une exponentielle et faisant-
un changement de variables, ramener la fonction de troisime espce
considre vrifier deux relations de la forme
K
F(x-+-rK) = F(x), F(a?H-2iK'; = e F(^),

o m dsigne un entier non n u l , positif ou ngatif, entier q u i m a r q u e


prcisment l'excs du n o m b r e de" 0 du n u m r a t e u r sur le n o m b r e
des 0 du dnominateur.
Si m est positif, la fonction F(c-) a, dans un paralllogramme de*>
priodes, m zros de plus que d'infinis : en particulier, elle peut
n'avoir que m zros et pas d'infini, elle est alors e n t i r e ; toute fonc-
tion de celte n a t u r e , a^ant m zros et pas d'infini, est, comme on le
voit par la mthode des coefficients indtermins, une fonction linaire
et homogne de m fonctions entires

linairement indpendantes et analogues aux fonctions 0 de Jacobi,


Si, au contraire, m est ngatif, m = /x, la fonction F(x) admet,
dans un paralllogramme des priodes,/x infinis de plus que de zros;
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 17

en particulier elle peut avoir |x infinis et pas de zro, c o m m e ce


serait le cas pr o u r ?T-tr ou
G(#)

1CS.A A tant des constantes arbitraires et les fonctions * relatives


l'entier JX.
Dans les deux cas, l'lment simple est une fonction de deux
variables indpendantes z et M, dfinie par la srie (16)
V = + < HVTtlli

e
/(. ) = ^ 2 " ?"v,v-"c<>'.]i(*--avK')

o n est un entier positif et w

Cette fonction devient infinie toutes les fois que la diffrences u


est de la forme 2/?K-f- 2p'iK\p et p entiers). Considr'comme
fonction de z, l'lment ( 3 , u) admet le ple z = u avec le rsidu 1 ;
c o m m e fonction de u, il admet le ple u = z avec le rsidu 1. Par
r a p p o r t chaque variable, l'lment yml admet la priode 2 K ; il
vrifie de plus les deux-relations
/1Z l
k
/ f l ( 3 + 2tK', H) = f / ! , ( * , U)

-H^Vl4-eK j ^ o ( " ) + 2 * "K ^(W)'

les fonctions g* tant relatives l'entier n;


ntiui
K M
x(2,w + 2K')=e x(*> )-

A l'aide de cet lment, on peut crire toute fonction doublement


priodique de troisime espce, sous forme d'une somme de termes
ne devenant chacun infini q u ' e n un ple du paralllogramme des
priodes.
Soit d'abord une fonction de troisime espce F(x) ramene
vrifier les relations
K
F(tf + 2 h ) = F(aO, F ( * + 2*K') = e F(x\
18 PAUL APPELL.

o m est positif. Il existe alors une fonction entire

G(x) = 0 gQ(x) -+- >>i gi(x) + .-+- X #II _ t ^ , ^ ( 3 7 ) ,

o A 0 , A,, . . . , A/W_t sont des constantes arbitraires vrifiant les


mmes relations. Si la fonction F(x) devient infinie du premier ordre
en p ples , 6, . . . , / d'un paralllogramme des priodes, avec les
rsidus A , B, . . . , L on peut l'crire sou s la forme suivante :

F(x) = A / , ( * , x) Kz>n(b, x)... L / > ( / , a?) + G(ar),

o il ne reste plus dterminer que les constantes figurant l i n a i r e -


ment dans G(x). Je n'insiste pas ici sur cette dtermination q u ' o n
trouvera dans les Mmoires originaux. La formule obtenue est vidente
car la fonction
F (o?)-+ Aj(,(a, x) -+-... -+-L / > ( / , # )

ne devenant plus infinie est entire. Si les ples au lieu d'tre simples
taient respectivement d'ordre a, (3, . . . , A, on aurait une expression
de la forme

F(x) = - ^ | A X * K x)-h A, Xm(a, x) -+-...

d^jM^x)-]
^XoL~l ^=n J + <*(*0
Cette formule peut tre obtenue en crivant que p o u r la fonction
doublement priodique ordinaire 9 ( 3 ) de z

cp(s) = [ F ( * ) _ G ( s ) ] x , ( s , * ) ,

la somme des rsidus relatifs aux ples , b, . . . , / situs dans un


paralllogramme des priodes est nulle. Le fait que y(z) est d o u b l e -
ment priodique rsulte des relations qui vrifient F ( s ) , G ( s ) ,
X I ( ^ # ) considrs comme fonctions de z; le fait que les ples de
F(z) G(z) sont ceux de F(z) rsulte de ce que G(z) tant entier
n'a pas de ples.
Dans ces formules les coefficients A , A , , . . . , A a , . . . sont entire-
ment indpendants des ples; q u a n t aux coefficients A/t on arrive les
calculer (16) soit par la m t h o d e des coefficients indtermins, soit
p a r la considration de l'intgrale

F
O) Am(z, oc) dz
/
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 19

prise sur le contour d'un paralllogramme des priodes. Alors le


nombre fondamental 91 de Poincar est nul.
Si, au contraire, l'entier appel m est ngatif, m=-/x, la fonc-
tion F(x) comme on l'a vu, admet dans un paralllogramme des
priodes /x infinis de plus que de zros. En supposant ces infinis
du premier ordre et appelant A, B, . . ., L les rsidus correspondant
aux ples simples a, 6, . . . , / o n aura

F(a?) = A ^ a ? , )-+-B/^(.r, 6 ) H - . . . + Lfti(*. 0 ;

ces rsidus ne sont plus indpendants des ples; ils leur sont lis
par /x relations

A gk(a) -+- B g/,(b) -+-. . .H- L gA(l) = o (k = o, i, 2, . . . , J J I - I ) ,

les fonctions gh tant relatives l'entier |x, les relations s'obtiennent


en remarquant que la fonction

F(*)**(0
est doublement priodique de premire espce et crivant que la
somme des rsidus relatifs aux ples , 6, . . .. I qu'elle possde dans
un paralllogramme des priodes est nulle.
Les jx relations trouves entre les ples et les rsidus suffisent
pour rendre le second membre
A/(j.K a ) - + - B ^ ( ^ , &)-K .. + Lx^(^, /)

de la formule de dcomposition doublement priodique de troisime


espce avec m=/x; c'est ce qu'on vrifie en se servant de la for-
mule qui donne l'effet de l'addition de la seconde priode 21K au pre-
mier argument de x( s ? u)-
On peut alors dmontrer la formule de dcomposition en remar-
quant que la diffrence
F(a?) [ A / j i t o a) + Bymu.(x, b) -+-..,-+- L y^(x, /)]

ne devient plus infinie; elle serait donc entire, et comme il n'y a


pas de fonction entire vrifiant les mmes relations que F, quand
m est ngatij, cette diffrence ne peut tre que nulle. J'ai pris le
cas simple o F(x) n'a que des ples du premier ordre. Le cas
20 PAUL APPELL.

gnral se traite de mme. O n a alors


__ r d d*l I
F A a) 7 30 A
( * > = 2 J L X ^ ' ~*~ ^dx' ^ ' )++ - i ^ = Xt.(^ ) J .

la somme tant tendue aux ples a, b, . . . , / supposs le premier


d'ordre a, le second d'ordre (3, . . . , le dernier d ' o r d r e A. Les rela-
tions entre les parties principales et les ples s'obtiennent en crivant
que, p o u r la fonction doublement priodique de premire espce
F(z)gk(z) (A- = o, i, 2, . . . , fx i),

la somme des rsidus dans un paralllogramme des priodes est nulle.


D a n s les deux cas, l'intgration conduit aux fonctions

J yn(a, x)dx< j yp(x, a) dx, j G(x) dx.

La formule de dcomposition dans le cas o il existe dans F(x)


plus de ples que de zros exprime q u e la somme des rsidus de la
fonction de z
9(z) = F(z)y^(x, z)

dans u n paralllogramme des priodes est nulle, et c e p e n d a n t cette


fonction 9 ( ^ ) qui admet la priode 2 K n'admet pas l'autre 2 / K / .
Ainsi, et c'est l une circonstance trs r e m a r q u a b l e , la mme fonc-
tion Xn{zi u) s e r t d'lment de dcomposition dans les deux cas :
dans l'un des cas, z est la variable et u un paramtre qui concide
successivement avec les diffrents ples; dans l'autre, c'est le premier
a r g u m e n t z qui sert de paramtre et le second u de variable.
Ces rsultats donnent immdiatement les dveloppements des fonc-
tions doublement priodiques de troisime espce en sries trigono-
mtriques. E n effet, pour dvelopper une quelconque de ces fonc-
tions en srie, il suffira de connatre le dveloppement de l'lment
simple. Je ne reproduirai pas ici les dveloppements en sries des
quatre fonctions

**.(*, 0, X"(3 +
^> M
)> 50(*. M +
T ) ' *'V +
T' W + !
2~)'

O n se trouve alors en possession de mthodes et de formules gn-


rales permettant de trouver facilement les dveloppements en sries
des fonctions doublement priodiques de troisime espce, et corn-
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 21

prenant, comme cas particuliers, les formules si prcieuses pour


l'Arithmtique, que Biehler [19] a tablies dans son excellente Thse,
en suivant la voie ouverte par Hermite. Quelques-unes des sries
obtenues de cette faon ont t reproduites par Hermite dans un
Mmoire insr au tome 100 du Journal de C relie. Cette mthode de
dveloppements en srie permet de dmontrer une loi gnrale nonce
par Hermite et vrifie par Biehler sur un grand nombre d'exemples,
loi qui donne une proprit arithmtique extrmement remarquable
des coefficients des dveloppements en srie des fonctions de troi-
sime espce, suivant les puissances de q :
Si Ton dveloppe une fonction doublement priodique de troi-
sime espce en une srie ordonne par rapport aux puissances
de q, on voit apparatre dans les sinus et cosinus qui forment le
coefficient de qk les combinaisons mo des diviseurs conjugus 6
et o' de N; le signe + convenant au cas o il y a au numrateur
m fonctions 0 de plus qu'au dnominateur, le signe , au cas ou
il y a au dnominateur m fonctions 0 de plus qu au numrateur.
On peut rattacher les formules de dcomposition en lments
simples des fonctions doublement priodiques de troisime espce au
thorme de M. Mittag-Leffler : dans cette application [18] les degrs
des pol>nomes retrancher de la partie principale croissent ind-
finiment.
On peut aussi obtenir des relations entre des Xn d'indices diffrents.
Si m est positif, le nombre 91 de Poincar est nul ; si m est ngatif
m =- /x il est gal /x.

14. Notations de Weierstrass. Les notations de Weierstrass


sont employes par Halphen [6]. Voici comment ce dernier dfinit
l'lment simple pour les fonctions doublement priodiques de troi-
sime espce (Fonctions elliptiques, t. I, p. 4<38). Soient (x) une
fonction rationnelle et q une quantit dont le module est plus petit
que i, considrons la srie

W(x)= V xm^qm^-1]^(xq^),

o m est un entier positif.


La convergence de la srie dpendra de la nature de la fonction 9
22 PAUL APPELL.

pour les valeurs infiniment grandes et infiniment petites d e s . La srie


est donc convergente, car 0(z) p o u r ces valeurs reste infrieur une
puissance de z d'exposant dtermin. E n faisant
2TT.( () iTZOi'

x = e~^~~, q = e, W(x) = ^(u),

la fonction ty (u) est videmment uniforme et c h a q u e point singulier


de Q(x) donne lieu un seul point singulier dety(u) dans un parall-
logramme des priodes. Si donc # ( # ) e s t une fraction rationnelle, la
fonction ty(u) est une fonction fractionnaire a>ant, dans chaque
paralllogramme des priodes, des ples en n o m b r e gal celui des
ples de 6(x). Comme x est une fonction priodique de u priode
2 0 ) , ^ ( ^ ) admet videmment la priode 2w. De plus, d'aprs la srie
qui dfinit W{x), on a

m in n
w
iKa + 2w') = (i)'e ty(u).

La fonction ^ ( w) est donc de troisime espce et, dans chaque paral-


llogramme des priodes, le n o m b r e des zros de ^ ( u ) dpasse de m
celui des infinis.
Si l'on dcompose 9(x) en lments simples, on voit que les
diverses sries ip(u) se rduisent des Lypcs distincts en n o m b r e
limit.
T o u t d'abord il faut supposer 0(x) rduit un polynme. E n
supposant
B(x) = i, x, x2, ...,

on obtient /n,fonctions entires. D ' a b o r d en prenant

8(#) = xr (r = o, i, 2, . . . , m i),

on a la fonction entire
V = + oo
Er(u) = ^? a?/iiv+-i-gF/iiv(v-l)H-2vr<

V = x>

Si l'exposant de x est suprieur m , on retrouve une des fonc-


tions prcdentes, car, en changeant v c n v + s , o n a

Er(u) = Er+ms(ll) q>ns(s-U+rs.


DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 23

Ainsi, dans la fonction gnrale ^ ( M ) , un polynme de degr m i

0 4- \ix -+-. .-+- \m-ixm-1


donne naissance

X0 E 0 ( w ) -+- Xi E^u) -+-...-+- X/n-i E , _ I ( K ) ,

et si le degr est suprieur (m ) , la somme est une combinaison


linaire de mme forme de E 0 , E , , . . . , E / H _ , ( w ) . Ces sries E ne
sont pas nouvelles : elles reproduisent la fonction 2r, avec des a r g u -
ments convenablement choisis.
O n obtient "l'lment simple en prenant

<o x y

y tant une constante. Si alors on pose


l1Z(v CD)

>
y =* ,
la fonction particulire <\>(u) correspondant au choix de Q(x) serait
V = + ao
F(w p)==
' ^ S x"q xq*

JLes ples de F considr comme fonction de u sont


u = v -+- iku* -+- ik'bi' {k et k' entiers);

on a en particulier le ple u = v a^ant p o u r rsidu + 1 .


Cet lment F ( w , v) considr comme fonction de u sert alors
comme nous l'avons vu dcomposer en lments simples les fonc-
tions doublement priodiques de troisime espce ayant plus de
racines que de ples.
U n e fonction de troisime espce a \ a n t plus de ples que de racines
est l'inverse d'une des fonctions prcdentes. H a l p h e n remplace la
fonction F ( i / , v) par une autre 3*(u, v) dfinie l'aide de la p r e -
mire. Il remarque que si l'on appelle (v) une fonction de la nature
envisage, Je produit <&() S*(u, v) est une fonction doublement
priodique de premire espce de u et q u e la somme de ses rsidus
relatifs aux ples situs dans un paralllogramme des priodes est
nulle. Le rsidu de 3* (u, v) relatif au ple u = v tant i , on
obtient $ ( ( ' ) .
1\ PAUL APPELL.

O n peut aussi de l'expression de F(u, v) dduire les proprits de


l'lment simple, relativement au second argument. Nous ne le ferons
pas ici, en renvoyant H a l p h e n (Trait, t. I, p . 4 7 8 ) .

CHAPITRE 111.
PONCTIONS ft'UN POINT ANALYTIQUE ET FONCTIONS AUTOMORPHES DE PO*NC\E.

15. Fonction d'un point analytique .r, y. tant donne une rela-
tion algbrique entre x et y ,

(O F(x<y) = o,

qui fait c o r r e s p o n d r e , une valeur de x, n valeurs y{, y\2, . . . , yn


dey, nous appelons point a n a h l i q u e (x, y) l'ensemble d'une valeur
arbitraire de x et d'une des n valeurs correspondantes d e y . Si l'on
emploie la reprsentation gomtrique de R i e m a n n , on peut imaginer
sur le plan des x une surface de Riemann compose de n feuillets
superposs : chaque point x correspondent alors n valeurs de y,
yii y21 ? Xn chacune dans un feuillet.
Les variables x et y peuvent, d'aprs Poincar [ 8 , 1 0 ] , tre expri-
mes en fonction a u t o m o r p h e de z : toute fonction uniforme m r o -
morphe du point analytique (x, y) devient alors fonction a u t o m o r p h e
de z. O n pourra utilement consulter cet gard les travaux de
G. Humbert [11] sur l'application des fonctions fuchsiennes la
Gomtrie.

16. F o n c t i o n s rationnelles de x et y. U n e fonction rationnelle


de x et y, R(x, y) peut tre dcompose en lments simples. Si la
relation algbrique (1) entre x et y reprsente une courbe unicur-
sale, on peut exprimer x e t ) ' e n fonction rationnelle d'un paramtre t,
la fonction R(x, y) est alors rationnelle en t. Si cette courbe est de
genre 1, on peut exprimer x et y en fonction doublement priodique
d'un paramtre t, alors R(x, y) devient une fonction doublement
priodique de t.
Il n \ a donc de vritablement nouveaux que les cas o le genre de
la relation (1) est suprieur 1.
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 25

Nous p r e n d r o n s comme lment simple Y intgrale ablienne nor-


male de seconde espce attache la courbe F(x, y) = o. Celte
intgrale est, comme Fou sait, une fonction du point a n a h tique (x,y)
finie partout, except en un point x>= , y = n o elle devient infinie
du premier ordre a \ e c un rsidu gal l'unit ; je la dsigne p a r
Z(>, /}), en mettant ainsi en vidence le point (>, Y) o elle devient
infinie. Cette fonction Z(>, ri) est une fonction rationnelle du para-
mtre (H, Yj) a>ant p o u r p'es le* points critiques et les points (x, y)
l>{ x
{ oi J'o) 5 ces derniers a\ec des rsidus i et -f- i, comme il rsulte
du thorme sur l'change du paramtre et de l'argument dans les
intgrales de troisime espce. Elle j o u e dans cette thorie le mme
rle que la fonction = dans la thorie des fonctions uni-
1
x - x0
formes de x. L'expression gnrale d'une fonction rationnelle R(x, y)
est, d'aprs une formule de R i e m a n n - R o c h ,
R
(^./) = R(x0.y0)

Cette formule est la gnralisation de la formule de dcomposition


d'une fraction rationnelle R ( - r ) crite sous la forme

R
^).= R ^>+2 A (^b-^)
A d i A d*-i
- + " A i dx
^: x a + ' '- .' . + A a - i ds*x x a

Il > a cependant entre la thorie des fonctions d'une variable x et


celle des fonctions d'un point analytique (x, y) une diffrence consi-
drable qu'il importe de signaler en peu de mots : c'est q u e , dans les
expressions que donne W e i e r s t r a s s pour les fonctions uniformes d'une
\ariable x, les coefficients sont arbitraires, tandis que dans les
expressions des fonctions uniformes d'un point analytique (x, y),
les coefficients des sries sont assujettis ci vrifier p relations
qu'il serait trop long d'indiquer ici.
Les formules se dduisent toutes par un procd uniforme du t h o -
rme siii\anl la gnralisation du thorme n 1.
Si Von forme, d'une part, la somme des rsidus d'une fonction
uniforme d'un point analytique ayant un nombre fini de points
26 PAUL APPELL,

singuliers et, d autre part, la somme des coefficients dex~x dans


y

les dveloppements des m dterminations de la jonction au voisi-


nage du point oo, ces deux sommes sont gales.
D'aprs Poincar, le nombre fondamental 5 1 est gal p,p tant le
genre.

17. Fonctions multiplicateurs constants. Ces fonctions consti-


tuent la gnralisation des fonctions doublement priodiques de seconde
espce.
Partons de la considration d'une relation algbrique de genre/? et
de la surface de Riemann correspondante, rendue simplement con-
nexe au moyen des coupures introduites par Riemann. Les fonctions
multiplicateurs sont des fonctions uniformes sur cette surface,
n'ayant d'autres singularits que des ples et dont les valeurs, aux
deux bords d'une coupure, ne diffrent l'une de l'autre que par des
facteurs ou multiplicateurs constants : il > a en tout ip multi-
plicateurs correspondant aux zp priodes d'une intgrale ablienne
de premire espce. Le problme qui se pose alors est de former
l'expression gnrale des fonctions admettant ip multiplicateurs don-
ns d'avance. Cette expression peut tre donne sous une forme, qui
met en vidence les ples et les parties principales correspondantes;
elle est fournie par une somme d'lments simples. Pour arriver cette
formule, il faut avoir recours la notion d'intgrales de fonctions
multiplicateurs, de mme que, pour dcomposer en lments simples
une fonction algbrique par la formule de Riemann-Roch, on est
oblig de se servir d'intgrales de fonctions algbriques. La formule
est toujours la mme : l'lment simple est l'intgrale de seconde
espce d'une fonction admettant les multiplicateurs donns.
Comme il arrive dj pour les fonctions algbriques de genre sup-
rieur zro, les rsidus et les ples d'une fonction multiplicateurs
ne sont pas indpendants les uns des autres : il existe, en gnral,
p i relations entre les ples et les rsidus correspondants d'une
fonction multiplicateurs et p dans un cas spcial, comprenant en
particulier celui des fonctions algbriques; ce cas spcial se prsente
lorsqu'il existe une fonction sans zros ni infinis, admettant les multi-
plicateurs donns. C'est ainsi, par exemple, que, pour les fonctions
doublement priodiques de seconde espce d'une variable u, (p = I)J
il n'y a, en gnral, aucune relation entre les ples et les rsidus^
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 27

tandis qu'il en existe une lorsque les multiplicateurs sont ceux d'une
certaine exponentielle.
Le nombre 91 de Poincar est ici p i.

18. Fonctions multiplicateurs exponentiels. Les fonctions


multiplicateurs constituent, comme le montre l'analyse prcdente,
des fonctions analogues aux fonctions doublement priodiques de
seconde espce. On peut tudier de mme certaines fonctions d'un
point analytique, qui peuvent tre envisages comme analogues aux
fonctions doucement priodiques de troisime espce. Si l'on consi-
dre une courbe algbrique de genre p et si l'on appelle u^l) (x, y)
(i = i, 2, . . ., p) les intgrales abliennes normales de premire
espce correspondantes, les fonctions considres sont des fonctions
du point analytique (x, y) qui ne changent pas, quand ce point dcrit
un cycle normal de rang impair et qui se reproduisent multiplies
par ^-^11^(^,/) quand le point dcrit le cycle normal de rang 2i\
m dsignant un entier positif ou ngatif. Supposons encore que ces
fonctions n'aient que des ples sur la surface de Riemann, alors :
i si m est positif, elles ont sur cette surface un nombre de zros
dpassant de mp celui des infinis; 2 si, au contraire, m est ngatif et
gal /x, elles ont \ip infinis de plus que de zros. Les fonctions de
la premire sorte sont les inverses de celles de la seconde. On peut
oblenir l'expression gnrale de ces fonctions par une fraction ration-
nelle en x et y, multiplie par des fonctions 0 o l'on a remplac les
variab'es par les intgrales abliennes correspondantes. Quand m est
positif, les rsidus et les ples sont indpendants les uns des autres;
quand m est ngatif, il y a des relations ncessaires entre les ples et
les rsidus correspondants.
Je n'ai trouv nulle part de formule de dcomposition en lments
simples. Il faudrait former cet lment par analogie avec ce que nous
avons vu pour les fonctions doublement priodiques de troisime
espce (p = i) (n 12).
Cette formule pourra probablement se dduire de ce qui suit.

19. Fonctions automorphe s. Les fonctions automorphes ont t


formes par Henri Poincar [ 8 ] , elles reprennent la mme valeur
quand on y remplace la variable z par | f oed (3 y == . Poincar
a appel ces fonctions fuchsiennes et kleinennes en hommage aux
MMORIAL DES SG. MATH. 2
28 PAUL APPELL.

mathmaticiens allemands Fuchs et Klein qui avaient t des prcur-


seurs. Mais si le nom de ces fonctions devait rappeler le nom d'un
savant, cne pourrait tre que le nom de Henri Poincar : aussi vaut-il
mieux leur donner un nom qui ne rappelle celui d'aucun savant et de
les nommer automorphes.
H. Poincar a dmontr que les coordonnes d'un point x, y
d'une courbe algbrique de genre quelconque peuvent s'exprimer
en fonctions automorphes d'un paramtre z : les fonctions ration-
nelles de x et y deviennent alors des fonctions automorphes des
paramtres. Les fonctions multiplicateurs constants deviennent
des fonctions, qui, par chaque substitution du groupe 5, se

reproduisent un facteur constant prs; les fonctions multipli-


cateurs exponentiels deviennent des fonctions, qui, par chaque substi-
tution du groupe, sont reproduites multiplies par une exponentielle
de la forme e~~mi"i[:t**\ u,(x, y) tant une intgrale ablienne de pre-
mire espce. Pour chacune de ces sortes, les fonctions automorphes,
correspondant aux trois espces de fonctions elliptiques, la formule
de dcomposition en lments simples se dduit de la formule relative
aux fonctions du point analytique (x, y) par la substitution des
expressions de x cl y en fonction de z.
Il parat probable qu'on peut dfinir des fonctions automorphes des
trois espces analogues aux fonctions doublement priodiques des
trois espces.
Grce aux relations algbriques entre deux fonctions fuchsiennes,
il est possible d'utiliser les fonctions automorphes pour l'tude des
fonctions et des courbes algbriques. On peut se servir des expres-
sions des coordonnes d'un point d'une courbe algbrique en fonc-
tions fuchsiennes d'un paramtre pour arriver un certain nombre de
thormes et retrouver ceux que Cebsch a dduits de la thorie des
intgrales abliennes. C'est ce qu'a fait M. G. Humbert [11]. On peut
se servir galement de ces expressions pour exposer d'une faon plus
simple la thorie des intgrales et fonctions abliennes.
Si, dans une intgrale ablienne de premire espce, on remplace la
variable par une fonction automorphe de z, cette intgrale devient
son tour une fonction uniforme de z dont on trouve aisment le dve-
loppement anal} tique. Ainsi, ces intgrales qu'on savait dj obtenir
l'aide des fonctions 0 sont susceptibles d'une expression analytique
DECOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 29

entirement diffrente dans laquelle entrent des transcendantes d p e n -


dant d'une seule variable.

20. Fonctions ztafuchsiennes de Poincar [ 8 ] . Les fonctions


ztafuchsiennes j o u e n t dans les thories de Poincar [9] le mme rle
que les f o n d i o n s zta dans la thorie des transcendantes elliptiques.
Soit g un groupe fuchsien quelconque, Z , , Z 2 , . . . , Zp, p fonctions
de z n'existant q u ' l'intrieur du cercle fondamental; supposons
que lorsque z subit une substitution du groupe g d'une famille dter-
mine qui peut tre la premire, la fonction Z/ se change en l a ^ Z * ;
les substitutions
(Zh ^alkZk)

formeront un groupe G isomorphe g q u e Poincar appelle zta-


fuchsien.
Supposons que ces fonctions Z soient uniformes et n'aient l'int-
rieur d u cercle fondamental que des ples. Lorsque Je polygone gn-
rateur R 0 a u n ou plusieurs sommets s u r la circonfrence d u cercle
fondamental, soit a l ' u n de ces sommets. O n suppose q u e les fonc-
tions Z n'ont dans le voisinage d u point z = a q u e des singularits
logarithmiques analogues celles q u e prsentent au voisinage de ce
point les fonctions fuchsiennes engendres par le groupe g. Ces fonc-
tions sont, comme on sait, holomorphes en e* en posant t= -*.
Dans le voisinage de ce mme point singulier, les fonctions Z sont
de la forme
P1e>t'4>,4-P2 e V $ 2 + , . . + P 7 e V ^ ,

o les X sont des constantes, o , , 0 2 , . . . , <D^ sont h o l o m o r p h e s


en e* et o P{, P 2 , . . . , Pq sont des polynmes en t d e degr nK,
/i2, . . . , nq, tels que
rti-H rta-t-...-+- nq = p q,

o p est dfini plus loin.


L o r s q u e toutes ces conditions sont remplies, on dit que les fonc-
tions Z sont des fonctions ztafuchsiennes.
Si alors on considre les quations
k = p i
dPv V ' / x d*v

F(x,y) = o,
.2.
3o PAUL APPELL.

o les cp sont des fonctions rationnelles de x et y supposs lis par la


deuxime quation, Poincar considre une quation auxiliaire
d>W
/ N

o 0(x,y) est une fonction rationnelle telle que tous les points sin-
guliers de l'quation en v appartiennent l'quation en w. Nous n'in-
sisterons pas sur la dtermination de 0 qui a t donne p a r Poincar.
E n supposant que soit choisi de faon que x et y soient des fonc-
tions fuchsiennes f(z) e t / , (z) du r a p p o r t z des intgrales en \v et
que les intgrales v soient partout rgulires; alors si nous substituons
f(z) e t / , (z) la place de x et y, les intgrales v deviendront des
fonctions ztafuchsiennes de z, soit Z,, Z2 Zp un systme zta-
fuchsien de la premire famille. S o i t / ( s ) une fonction fuchsienne de
la premire famille a^ant mme groupe fuchsien que ce systme;
nous supposerons, avec P o i n c a r , q u e / ( s ) e s t d u genre zro et que
toutes les autres fonctions fuchsiennes du mme groupe sont des
fonctions rationnelles de f(z). O n peut dmontrer que les p fonctions

F(Z) = Z^)()- / '


peuvent se dvelopper en sries de la forme

o les a sont les infinis et les A les rsidus correspondants. S u p -


posons que a soit un infini des fonctions Fi(z) situ l'intrieur de R 0
infini que nous s u p p o s e r o n s simple et A 0 , A 2 , . . ., Ap les rsidus
correspondants de p fonctions F/.
Les points
j^-+- Pi
7*H- 8
seront aussi des infinis simples de ces mmes fonctions,. E n consi-
drant la substitution S ^ Z ^ , la^Zp), nous crirons

A J J . S / = ^ a^pAp,

les-rsidus des p fonctions F, p o u r


__ oiia-\- fy
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. l

sont
A ^ = (A^Stita -+-8,)-^-2.

Nous trouverons comme lment simple

\ ita -t- 8, )

et ainsi, chaque fonction F ; se trouvera dcompose en un n o m b r e


fini d'lments simples de la forme p(z, a).
Mais on peut pousser cette dcomposition plus loin.
O n a, en effet,
4vAv
v.-)=2,2,
' ( - S T S - ; ) <*+.>*"
ou encore

en posant

*,,=2 " T >


JJLV
CLiCL -+- 8Z-
(Ti + g | ) a ^

de sorte que si les fonctions F/ admettent les infinis simples s , ,


s 2 , . . < zq l'intrieur de R 0 et si elles admettent l'infini zk respecti-
vement avec les rsidus B * , , B^ 2 , -, Rkp, nous aurons l'identit

* fi

qui nous donne la fonction 'Lp(-^\ dcompose en lments


simples.
P o u r tudier ces lments simples, ^ ( - 5 , a), on considrera a
comme variable.

CHAPITRE IV.
FONCTIONS HARMONIQUES DE VARIABLES RELLES.

2 1 . Fonctions harmoniques de variables relles. Thorie gnrale.


- O n peut [20] tendre les thormes de la thorie des fonctions
32 PAUL APPELL.

d'une variable complexe aux fonctions harmoniques, c'est--dire aux


fonctions de trois variables relles, vrifiant, l o elles existent,
l'quation aux drives partielles

_ d*F_ *F *F _
~ dx* "*" dy* + z9- ~ '

E n convenant de considrer x, y, z comme les coordonnes d'un


point par r a p p o r t trois axes rectangulaires, une fonction F vrifiant
l'quation A F = o, pourra tre dfinie dans tout l'espace ou seule-
ment dans une portion de l'espace en exceptant certains points ou
certaines lignes, ou certaines surfaces. La thorie de ces fonctions-se
r a p p r o c h e tout naturellement de celle des fonctions d'une variable
imaginaire u = x -f- iy, si l'on se rappelle que la partie relle d'une
fonction analytique de x -f- iy vrifie une quation aux drives p a r -
tielles analogue, mais deux termes seulement.

22. Fonctions analogues aux fractions rationnelles; dcomposition


en lments simples. Si l'on imagine une fonction h a r m o n i q u e
finie continue et uniforme dans tout l'espace, sauf en certains points,
on peut classer ces points en ples et points singuliers essentiels; on
se sert p o u r cela de l'lment

i
r
s/{x a)*--{y by-+-(z c) 2

,qui ioue le rle de dans la thorie des fonctions d'une variable


1 J
x a
complexe et qui conduit aux fonctions V^ de Tait et T h o m s o n , puis
on dfinit le rsidu de la fonction en un ple ou en un point essentiel
isol. Les points singuliers tant ainsi classs, on obtient l'expression
la plus gnrale d'une fonction n'ayant que des ples : une fonction
de cette nature doit tre regarde comme analogue la partie relle
d'une fonction rationnelle d u n e variable imaginaire : elle est gale
une somme de fonctions de la forme \v(x a. y b, z c)
indices positifs ou ngatifs, la formule constituant la dcomposition
en lments simples. E n supposant ensuite une fonction qui possde
un n o m b r e fini de points singuliers, parmi lesquels des points singu-
liers essentiels, on peut donner l'expression gnrale de cette fonction
sous forme d'une somme de fonctions n'ayant chacune q u ' u n point
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 33

singulier. On dmontre enfin, pour les fonctions harmoniques uni-


formes, un thorme analogue celui de Cauchy sur la somme des
rsidus relatifs aux ples situs dans un contour donn, en faisant
jouer la formule intgrale de Green un rle analogue celui de l'in-
tgrale de Cauchy. On peut galement tablir un thorme analogue
celui de M. Mittag-Leffler en donnant l'expression d'une fonction
harmonique uniforme qui admet pour ples un nombre infini de
points donns l'avance avec des parties principales galement don-
nes. C'est ce thorme qui intervient dans ce qui suit.

23. Fonctions harmoniques un, deux ou trois groupes de priodes.


Pour appliquer ces thormes gnraux des exemples, on peut
faire [21] une tude gnrale des F(x, y, z) admettant trois groupes
de priodes (a, b, c), (a, b', c), (a", b", c"); j'entends par l
que ces fonctions prennent aux points (x-\-a, y -f- b, z-+-c),
(x-\-af,y + bf, z + c ) , (x -+- "", y 4- b", z 4- c") les mmes valeurs
qu'au point (x, y, z). On peut reprsenter cette proprit par l'image
gomtrique suivante. Considrons les trois segments de droite par-
lant de l'origine pour aboutir aux trois points (a, 6, c), (a1, b1, c'),
(a, b", c") et, sur ces trois segments, construisons un paralllpi-
pde; sur les faces de ce paralllpipde, plaons des paralllpi-
pdes gaux et orients de la mme faon; puis, faisons la mme
opration pour les nouveaux paralllpipdes et ainsi de suite,
indfiniment de manire remplir tout l'espace d'un rsrau de
paralllpipdes gaux et orients de la mme faon, se touchant
parleurs faces gales. La fonction F possde cette proprit, qu'elle
reprend les mmes valeurs aux points placs de la mme faon dans
tous ces paralllpipdes. Il suffira, d'aprs cela, de connatre
la fonction F dans un de ces paralllpipdes que nous appelons
paralllpipde lmentaire, pour la connatre dans tout l'espace.
On voit que ces fonctions sont semblables la partie relle
d'une fonction doublement priodique d'une variable imaginaire
u = x-\- iy, qui reprend les mmes valeurs aux points d'un plan
placs de la mme faon dans un rseau de paralllogrammes. Cette
similitude st; poursuit dans la plupart des proprits; ainsi :

Une fonction trois groupes de priodes, finie en tous les points


d'un paralllpipde lmentaire est une constante. Si la fonction
34 PAUL APPELL.

admet dans un paralllpipde lmentaire un nombre fini de


points singuliers, la somme des rsidus relatifs ces points est
nulle.

Jusqu'ici ces fonctions sont conues seulement in abstracto, il


s'agit d'avoir leurs expressions analytiques. Pour cela, je commence
par construire, l'aide d'une srie, une fonction Z(x, y, z) vrifiant
l'quation du potentiel et prsentant la plus grande analogie avec la
fonction Z(u) = ; U; , l'aide de laquelle on peut, comme l'a mon-
x 7 L
H(w) ^
tr Hermite, reprsenter toutes les fonctions elliptiques par une for-
mule de dcomposition en lment simple; la fonction Z(x, y, z)
nous permettra, de mme, de reprsenter toutes les fonctions trois
groupes de priodes a^ant dans un paralllpipde un nombre fini de
points singuliers : elle est essentiellement dfinie par la condition
d'avoir, pour ples du premier degr avec le rsidu + r , tous les
sommets du rseau des paralllpipdes. Par l'application du tho-
rme analogue celui, de M. Mittag-Leffler, on arrive crire cette
fonction sous forme d'une srie qui comerge absolument. Cette fonc-
tion n'admet pas les groupes de priodes (a, b, c), (a1', b\ c), (a", b", c"),
pas plus que la fonction Z(M) n'admet les deux priodes des fonctions
elliptiques; elle vrifie des quations de la forme suivante :
Z(x -h- a, y -h b, z -{- c) Z(x, y, z) = Ax -+- By -+- Cz -+- E,

les lettres A, B, C, E dsignant des constantes qui dpendent des


neuf quantits a, b, c, a', b\ cr, a", b", c" ; ces constantes sont lies
par des relations que l'on tablit priori et qui permettent de les
calculer dans certains cas, autrement que par des sries, par exemple,
dans Je cas o les paralllpipdes lmentaires sont des cubes [22].
La fonction Z(x, y, z) une fois construite, on a trs simplement
l'expression d'une fonction trois groupes de priodes n'ayant que
des ples, par une somme compose de fonctions Z et de leurs
drives en s'appu>ant sur ce fait que la somme des rsidus, relatifs
aux ples situs dans un paralllpipde des priodes est nulle. On
peut remplacer l'lment simple Z par une fonction trois
groupes de priodes [22], mais cet lment n'est plus harmonique.
Si l'on fait crotre indfiniment une ou deux dimensions des
paralllpipdes lmentaires, on obtient des fonctions n'ayant que
DCOMPOSITION D'UNE FONCTION MROMORPHE EN LMENTS SIMPLES. 35

deux ou un groupe de priodes : parmi ces dernires, se trouve une


fonction qui a t employe par Chervet pour exprimer le potentiel
d'une masse liquide limite par deux plans parallles et traverse par
un flux permanent d'lectricit. La fonction Z(x, y, z) peut tre
employe dans des questions de Physique mathmatique du mme
genre.
Dans la dcomposition en lments simples des fonctions harmo-
niques trois groupes de priodes, le nombre fondamental de Poin-
car est gal , comme pour les fonctions doublement priodiques
de premire espce.

BIBLIOGRAPHIE.

1. HERMITE. Cours d'Analyse de l'cole Polytechnique, i vol., p. 2,


32i, 352, 365, Gauthier-Villars; Nouvelles Annales de Mathma-
tiques, 2 e srie, t. XI, 1872, p. I 4 5 - I 4 8 ; Annales de l'Ecole Nor-
male, i re srie, t. J, 1872, p. 2 i 5 - 2 i 8 ; uvres, t. III, p. 35.
1*. HERMITE. Crlle, t. 79, 1875, p. 339-344; uvres, t. III, p. 215-221.
2. HERMITE. Sur quelques applications des fonctions elliptiques [ C. R.
de VAc. des Se, t. 80, 86, 89, 90, 93, 9 4 , uvres, t. III, p. 966-418
(spcialement Chap. I et I I ) ] .
3. HERMITE. Note sur la thorie des fonctions elliptiques, 6 e dition,
Lacroix; uvres, t. II, p. F25; Journal de Crelle, t. 82, 1877,
p. 343; uvres, t. III, p. 420-422.
4-. HERMITE. In mmo riant Dominici Chelini (Article sur les fonctions
doublement priodiques de troisime espce).
5. WEIERSTRASS. Formatai und Lehrstz elliptische functionen (feuilles
publies par Schvtartz; traduction franaise).
6. HALPHEN. Trait des fonctions elliptiques, t. I; Gautbier-Villars.
7. MITTAG-LEFFLER. C. B. de VAc. des Se, t. 90. 1880, p. 178.
8. H. POINCAR. Mmoire sur les fonctions fuchsiennes ( cta mathema-
tica, t. 3, 1882, p. 1-62; uvres, t. II, p. 1108).
9. H. POINCAR. Mmoire sur les fonctions ztafuchsiennes (Acta mathe-
matica, t. 5, 1884, p. 209-278; uvres, t. II, p. 402).
10. LACOUR. Thse, 1895; Gauthier-Villars.
11. G. HUMBERT. Application de la thorie des fonctions fuchsiennes
l'tude des courbes algbriques (Journal de Mathmatiques, 4 e srie,
t. IV, 1880).
36 PAUL APPELL. DCOMPOSITION D'UNE FONCTION MROMORPHE.

12. APPELL. Thormes sur les fonctions d'un point analytique (C. R. de
VAc. des Se, t. 95, 9 octobre 1882, p. 62^-626); Relations entre les
rsidus d'une fonction d'un point analytique (x, y) qui se reproduit,
multiplie par une constante, quand le point (x, y) dcrit un cycle
(C. R. de VAc. des Se, t. 95, 23 octobre 1882, p. 914 919).
13. Gnralisation des fonctions doublement priodiques de seconde espce
(C. R. de VAc. des Se, t. 96, 9 janvier i883, p. 5-24).
14. Sur les intgrales de fonctions multiplicateurs et leur application au
dveloppement des fonctions abliennes en sries trigonomtriques
(Acta mathematica, t. 13, 1890, p. 174) (Rapport de GH. HERMITE,
Ibid., p. v u - x i i j .
15. Dcomposition en lments simples des fonctions doublement prio-
diques de troisime espce (C. R. de VAc. des Se, t. 97, 17 d
cembre i883, p. 1419-1422).
16. Sur les fonctions doublement priodiques de troisime espce (Annales
de l'cole Normale, 3 e srie, t. I, avril, mai 188i, p. i35-i64: C. R.
de VAc. des Se, t. 101, 28 dcembre i885, p. 1478-1480; Annales de
Vcole Normale, 3 e srie, t. III, janvier, fvrier 1886, p. 9-^2).
17. Prcis de la thorie des fonctions elliptiques, en collaboration avec
Lacour et Garnier; Gauthier-Villars.
18. Application du thorme de M. Mittag-Leffler aux fonctions double-
ment priodiques de troisime espce (Annales de l'cole Normale,
3 e srie, t. 2, fvrier, mars 1885, p. 67-74).
19. BIEHLER. - Sur les dveloppements en srie des fonctions doublement
priodiques de troisime espce. Thse, 1879; Gauthier-Villars.
20. APPELL. Sur les fonctions satisfaisant l'quation AF = o ( C. R. de
VAc. des Se, t. 96, 5 fvrier i883, p. 368-371).
2 i . _ Sur les fonctions de trois variables relles satisfaisant l'quation
diffrentielle AF = o (A. M., t. 4, 22 janvier, 3 mars 1884, p. 3i3, 374).
22. Sur les fonctions harmoniques trois groupes de priodes ( Rendi-
conti del Circolo mathematico di Palermo. t 22, i er septembre 1906,
p. 361-370).
TABLE DES MATIERES.

Pages.
INTRODUCTION i

CHAPITRE I. Fractions rationnelles et fonctions analogues 2


1. Dcomposition des fractions rationnelles en lments simples 2
2. Fonctions rationnelles de *inx et cosa?." 4
3. Fonctions de la forme e 0,r R(x) 5
4. Fonctions de la forme eUjrR(mx, cosa;) 6
CiiAriTRE II. Fonctions doublement priodiques 6
5. Fondions doublement priodiques des trois espces d'aprs Hermite.... 6
6. Fonctions de premire espce 7
7. Notations de Weierstrass 8
8. Dfinition par Poincar d'un nombre fondamental pour la dcomposition
en lments simples ro
9. Fonctions douhlement priodiques de seconde espce 1$
10. Notations de Weierstrass i3
11. Cas singulier des fonctions de deuxime espce 14
12. Cas o les multiplicateurs sont des racines de l'unit i5
13. Fonctions doublement priodiques de troisime espce i5
14. Notations de Weierstrass 21
CHAPITRE III. Fonctions d'un point analytique et fonctions automorphes... 24
15. Fonctions d'un point analytique x, y 24
16. Fonctions rationnelles de x et y 24
17. Fonctions multiplicateurs constants 26
18. Fonctions multiplicateurs exponentiels' 27
19. Fonctions automorphes 27
20. Fonctions ztafuchsiennes de Poincar 29
CHAPITRE IV. Fonctions harmoniques de variables relles 3i
21. Fonctions harmoniques de variables relles. Thorie gnrale - . 3i
22. Fonctions analogues aux fractions rationnelles; dcomposition en l-
ments simples 32
23. Fonctions harmoniques un, deux ou trois groupes de priodes 33

BIBLIOGRAPHIE 35

You might also like