Si, par exemple, on prend pour ^{u) la fonction

'^ ' 1 pu — lia ^^ ' ^ ^ '

où a est une constante qu'on peut supposer mise sous la forme 2a' 0), -h ajS'wg, a', P' étant des nombres réels, on aura, en désignant par r, s des nombres premiers entre eux,

'f{u)du = — -iirrti-h 5^)3) a

-T- 2 ( r wj -t- s 0)3 ) Ç « -I- '2 ( N — n' ) TC t ,

où N et n' sont des entiers déterminés sans ambiguïté par les conditions

N<p/- — aS<!N-t-l,

le cas où l'un des nombres [3r — a.ç, ([i — [S')/- — (a — 7.')s serait entier doit être exclu.

II. — Intégration le long d'un chemin quelconque. Cas général.

501. Lorsque l'on a à intégrer une fonction doublement périodique 'f (m) à périodes 20),, 2W3 le long d'un chemin déterminé (C), allant d'un point i^o à un point ?/,,ilfaut d'abord, pour que la question ait un sens, que le chemin d'intégration ne passe

par aucun pôle de ^{u). Cette condition étant vérifiée, la marche générale consiste à décomposer la fonction (p(w) en éléments simples; o{u) est alors une somme de termes de la forme

du"^

multipliés par des constantes. Les termes de la première sorte s'intègrent immédiatement, et la partie qu'ils fournissent dans l'évaluation de l'intégrale envisagée ne dépend que des limites Uo et «1, et nullement du chemin d'intégration. Quant aux termes de la forme "(^{u — a), on les intègre en partant de ce que l'on a

d\oga'(u — a) ^

ils introduisent par intégration des termes de la forme

\oga'{ui — a) — loga'(i<o— ^)-

La valeur de cette différence n'est déterminée, pour des valeurs données de Uo, W), qu'à un multiple près de 2 1t:, et ce multiple dépend essentiellement du chemin (C).

C'est la détermination de ce multiple d'après la nature du chemin (C) ou, si l'on veut, le choix des déterminations des logarithmes qui est l'objet de ce paragraphe.

502. La question ne se pose pas quand les invariants g^, gz de la fonction du sont réels, que le pôle a est réel et que le chemin d'intégration est l'axe des quantités réelles. On ne peut alors supposer que l'axe des quantités réelles contienne entre Wq et m, un zéro de la fonction d{u — a), qui serait un pôle de la fonction o{u)', il en résulte que les deux quantités d{uo — a), d{ui — a) sont de même signe, et la partie de l'intégrale qui provient du terme ^(m — a) est alors

(GXVII,) f"\{u-a)da = \oz^-\'^^^,

où la quantité dont on doit prendre le logarithme est positive et où le logarithme a sa détermination réelle.

La question ne se pose pas non plus lorsque les invariants étant

l5o CALCUL INTÉGRAL.

toujours réels, le chemin d'intégration est une portion de l'axe des quantités purement imaginaires, et que le pôle est un point situé sur cet axe. Les relations d'homogénéité (VIII) donnent, en effet, les formules

a'(w; ^2, gz) = i^{u; g^, —gs), K(iu; gz, gz) .= — tÇ(M; g2, ~g3), p{iu; gi, ^3) = - p (u; g^, —g^);

mais si l'on considère un pôle d'affixe îa, et le chemin d'intégration rectiligne qui va du point Iuq au point iut, a, Uq, Uf étant réels, on ne peut supposer que ce chemin contienne un zéro de la fonction <i[i(u — a); gi, ^3]; il en résulte que la fonction réelle 3'(m — a\ g2^ — ^3) conserve le même signe quand u varie de U(, à u. Dans ces conditions on aura

(GXVII5) { '■"" ,

djUj — a; g,, —gz) <ï{Uo—a; g2, —gs)'

= j H^iu — a; g2, —g-i) du = log en conservant au logarithme sa signification réelle.

503. Mais le problème posé ne peut être évité en général. Il est clair toutefois qu'il suffit de le résoudre pour la fonction ^u, puisque, en désignant par (G) un chemin quelconque et par (C) ce que devient ce chemin (G) quand on lui fait subir une translation égale au segment de droite qui va du point o au point — a.

J' ^{u — a) du = I "C^udu.

W est clair aussi, en vertu de la formule (VI3), que si l'on sait effectuer l'intégration pour un chemin (G'), on saura l'effectuer pour tout chemin (G) qui se déduit de (G') par une translation égale au segment qui va du point o au point 2ra)i + 250)3, en désignant par r et s des entiers. En supposant, par exemple, que le chemin (G') soit dans une région où logrfw ait été défini comme une fonction holomorphe, si l'on fait se correspondre les points u et u' par la formule

M — m'-I- 2/'Wi-l- 250)3,

INÏÉGRALKS DtS FONCTIONS DOUBLEMENT PÉRIODIQUES. l5l

on aura, en désignant par m'^, u\ les points qui correspondent à «0, M,,

(GXV'Hg) / Cm c?i< = loga'Mi — loga'Mo-r- (az-T)!-^ 2sr^3)(ai — «'(,),

Or, si l'on considère les parallèles à la direction qui va du point o au point lOi, menées par les points d'affîxe (a/î + i)to,, oij n désigne un entier positif ou négatif, ces parallèles sépareront le plan en bandes, dont chacune pourra, par des translations du genre de celles que l'on vient de définir, être amenée sur telle bande que l'on voudra, par exemple sur la bande (Bq) qui contient le point o, et dans laquelle logo*/* est défini (n° 470) comme une fonction holomorphe, sauf toutefois sur la coupure que comporte cette bande. Or le chemin d'intégration, quel qu'il soit, se compose de parties dont chacune appartient à une seule bande et peut ainsi être ramenée, par translation, à être située dans (Bq). On pourra donc se borner à considérer des chemins d'intégration situés dans (Bo).

La même réduction s'elTectue encore en appliquant le théorème de Cauchj (n" 352) : on peut, en effet, substituer au chemin (C) un chemin (C) ayant les mêmes extrémités, tel qu'on puisse déformer le chemin (C) pour l'amener sur le chemin (C) sans passer par aucun pôle de "Çii. Le même théorème permet même de supposer qu'un ou plusieurs pôles de "Qu se trouvent à l'intérieur de Faire limitée par les chemins (C) et (C) pourvu qu'on en tienne compte. Si le chemin (C) va de u^ à Ui on déterminera dans (Bq) deux points u'^, u\ respectivement congrus à Wq, U\ modiilis 2a>i, a(03,et l'on substituera au chemin (G) le chemin (C) composé du chemin rectiligne qui va de Uq à m'^,, d'un chemin quelconque situé dans (Bo) allant de u'ç^ à m,, et enfin du chemin rectiligne allant de ii\ à M,. Les intégrales rectilignes s'obtiendront par la formule (CXVn2) et il ne restera plus qu'à effectuer l'intégration le long du chemin situé dans (B<,). Il va de soi qu'aucun pôle de X.u ne doit se trouver sur le chemin (C). Il ne faudra pas oublier de tenir compte des pôles contenus entre (C) et (C).

504. Quant à Tinlégration le long du chemin situé dans (Bq), on pourra se servir, pour l'effectuer, de la définition de lo^du

iSa CALCUL INTÉGRAL.

donnée au n" 470 et de la série trigonométrique. Mais il faudra faire attention à la coupure : on pourra toujours l'éviter en appliquant convenablement le dernier procédé; sinon, on devra morceler le chemin en parties qui ne la traversent pas et effectuer l'intégration le long de chaque partie de chemin, en se rappelant que les valeurs de logo" m ne sont pas les mêmes sur les deux bords. Nous aurons l'occasion d'appliquer cette remarque dans le prochain paragraphe.

50o. Rappelons enfin la formule, déjà utilisée au n° 497,

(CXVII,) £\udu = ^(u^-ul) -^fj^^^d.;

Il est égale à aw, p et les chemins d'intégration se correspondent; ils sont semblables (et même homothétiques quand ato, est réel); le centre de similitude (ou d'homothétie) est le point o. Cette formule montre qu'il suffit de traiter le problème qui nous occupe

dans le cas où le signe / porte sur la quantité ^^~~-l'

Quand on se donne la valeur de c, la valeur de 2r, {ç) est donnée par une série très convergente, de sorte que l'on peut aisément calculer la valeur de logS?, (t^) avec une très grande approximation, sauf toutefois un multiple de 'j.Tti, qui est entièrement inconnu. Pour déterminer ce multiple, il suffit de calculer directement logS, {y) au mojen des formules (CVI, , CVo), avec une erreur moindre que tt en valeur absolue, donc, avec une approximation assez grossière. Afin de savoir combien de termes il faut prendre dans le développement de logSr, (t-), donné parla formule (CV2), pour avoir la valeur de ce logarithme avec une erreur moindre que 7î en valeur absolue, nous allons évaluer une limite supérieure de la valeur absolue de la somme

où l'on suppose P ::::= a -f- ^t, I [3 i ^ - • On a

INTÉGRALES DES FONCTIONS DOUBLEMENT PÉRIODIQUES. l53

et, par suite, h désignant la valeur absolue de q,

I i sin rTzv\ < h''? — h->'? < /i^ -^ h -,

la dernière inégalité résultant de ce que la fonction x -i- x~* de la variable positive x grandit lorsque x diminue et de ce que, si ^

est positif, h^ est plus petit que h'?. On aura donc

Le second membre de cette inégalité peut d'ailleurs s'écrire, en >upposant r^/i,

r(i — h'-) ^ T-^-^lï^ ~r '

On en déduit, pour /?= i ,

t, pour n

Les seconds membres vont manifestement en grandissant avec //.

On trouve que ~f^^^ r ^st plus petit que ir pour h =0,57.

Si h est inférieur à cette limite, le calcul de la somme de la série qui figure dans la formule (CVo) est inutile; or, on verra que dans les applications les calculs peuvent être dirigés de façon que h reste très au-dessous de cette limite.

Pour h égal ou inférieur à 0,78 on trouve, de même, ] R2 1 <7r en sorte que, dans ce cas, il suffirait de calculer un terme de la série (CVo).

On voit donc comment l'indétermination pourra toujours être facilement levée.

Il est bien clair que le même procédé s'applique aussi bien aux expressions de log(3'a(«) ou de log.^a+i c), données par les formules fC VI,, CV,).

l54 CALCUL INTÉGRAL.