CHAPITRE IX. — FONCTIONS BtPÈRIODIQUEB EN GÉNÉRAL
admet quelque paire de systèmes de solutions entières, dans le tableau desquels
les déterminants des éléments laissés parla suppression successive des colonnes i, 2, 3 sont égaux à tît, to, u, respectivement. Comme on a
( ao) mlT -h (i>û -4- uV = o,
l'équation (18) admet encore le système (II, û. T) de solutions (non entières), outre ceux du tableau (19). Mais ces derniers étant distincts, on a forcément, en vertu de la théorie générale des équations linéaires (voir par exemple l'opuscule cité p. SSg)
ill — XiM -h Xji?, r = vi w -i- vjp,
Uy V désignant certaines quantités (imaginaires) convenables.
Comme les déterminants tîj, w, u des trois paires de colonnes du tableau (19) associées deux à deux n'ont aucun diviseur commun, il résulte encore des principes généraux de l'Analyse indéterminée, que les équations à coefGcients entiers
XiX-h [XiY-i- V|Z = I, X j X -H (jit Y -+- vj Z = o
admettent quelque système de solutions entières X, [jl, v, et l'addition membre à membre des relations (21), multipliées par ces quantités respectivement, donne
w = Xn -h fxU -h vV,
en vertu de quoi u est aussi une période de f{x). On prouverait de même que v en est une autre.
Or ces deux nouvelles périodes w, i> sont élémentaires, puisque n, Û, qui sont élémentaires aussi, en sont composées d'après les deux premières équations (21). On a doncT^i [Aj — )i2[A| = 'j= ±: i , ce qui réduit la relation (20) à
et r est bien composée de II, ti.
348 DEUXIÈME PARTIE. — PONCTIONS D'UNB SEULE VARIABLE.
317. En particulier, deux couples de périodes élémentaires sont toujours équivalents (313); car chacun d'eux est composé de l'autre, d'après ce qui vient d'être dit.
318. Aucune /onction d^une seule variable, indéfiniment méromorphe, ne peut {sauf dégénérescence en une constante) avoir trois périodes irréductibles à d^ autres en moindre nombre.
Car si deux de ces périodes ont un moment nul, la fonction dont il s'agit^ considérée comme unipériodique, en admet une autre de moindre module, dont elles sont toutes deux composées (261).
Si le moment de ces deux premières périodes n'est pas nul, la fonction considérée comme bipériodique possède nécessairement quelque couple élémentaire (314) dont la troisième est composée (316).
319. Sif{x) est une fonction bipériodique, cas auquel f'{x), f {x)^ . . . jouissent de la même propriété (234), toutes ces fonctions ont les mêmes couples de périodes élémentaires.
Soient (n, û) un couple de périodes élémentaires de /(or), par suite de périodes, élémentaires ou non, de/'(a:), et (w, co) quelque couple de périodes élémentaires de cette dérivée. De
on tire, en intégrant et appelant C, 1) certaines constantes,
f{x -f- m) =f{x)-hC, f(x -+- o)^ =/(ar)-f- D,
et plus généralement, en appelant m, n des entiers quelconques,
(22) f(x -^ mm -h nia) =f{x) -h mC -h nD.
Gomme II, Û, périodes def^(x), sont composées de ses périodes élémentaires nj, w (316), on a
i n = «TU -h p(o,
( Q =. yru -i- 8(0,
les multiplicateurs a, p, y, 0 étant entiers et de déterminant ^o. Cela posé, l'attribution successive à m, n, dans l'identité (22),
