CHAPITRE X. — SÉRIES HYPERGÉOMÉTRIQUES POUR LES PÉRIODES. SSg

Chacun des points a^, ^2, a^ appartient à deux des six régions; ainsi ai se trouve à la fois dans deux des régions limitées par les cercles Ca et 0$. La partie du plan commune à ces deux régions, qu'on peut appeler région (rt, ), entoure le point ai : huit séries y sont convergentes. Quatre de ces séries fournissent une seule et même fonction^; les quatre autres, une seconde fonction^. C'est ce que nous allons reconnaître aisément.

Nous pouvons d'abord distinguer, entre r^s dernières, les deux fonctions j^i etj^i, représentées par les égalités (8) et (9). On y observe cette différence essentielle; quand x devient égal à a<, y^ d'une part, et (x — ai)""'7'j^i de l'autre, convergent vers des limites finies, différentes de zéro. Si, par exemple, on suppose Çi négatif (ou à partie réelle négative), j'i est infiniment grand pour ^ = ai . Toute solution de l'équation différentielle (i) peut être mise sous la forme A^^ -+- By i ; si donc une solution est fournie par une fonction qui reste finie pour x = Ui, elle sera de la forme A^'|. Prenons donc la solution qui se déduit de yt par l'échange des indices 2 et 3, et concluons immédiatement, en observant les valeurs limites pour x = Ui^

Cette égalité, ainsi prouvée pour le cas où q^ a sa partie réelle négative, est évidemment générale. On peut s'en convaincre, soit en observant la parfaite continuité des deux membres, envisagés comme des fonctions de q^ , soit encore en remarquant que les deux fonctions coïncident, ainsi que leurs dérivées par rapport à x^ pour ^=: ai, et constituent donc une seule et même solution de l'équation différentielle (i).

De la seule égalité (12), on peut déduire les autres relations analogues en se rappelant que le changement du signe, pour le troisième argument, n'altère pas la série. Mais il est plus simple encore de reconnaître directement, par un raisonnement tout pareil, la même fonctionnai sous les quatre formes suivantes, déduites de

(10) el de (i i) avec permutation des indices 2, 3 :

Semblablement, en changeant dans ces quatre formules q^ en — Çij et multipliant les seconds membres par (x — ai )^*j on a les quatre formes dey i.

Nous avons ainsi reconnu , comme il a été annoncé, que les huit séries, convergentes dans la région («<), représentent en tout deux fonctions. Il en est de même pour les huit séries qui convergent dans la région (^3) et aussi pour les huit autres qui convergent dans la région (as).

Cas particulier où l'un des coefficients est nul.

Les deux fonctions j'i et jk-« sont essentiellement distinctes; mais elles coïncident lorsque q^ est égal à zéro. D'après les principes du Calcul différentiel, Téquation (i) admet alors, outre la solution j'i, cette autre

v = lim ImZzl.

Si l'on posent =/(<7i), on en déduit, d'après (8) et (9),

Nous rencontrerons, dans la suite, ce cas particulier; d'après la forme du développement (5) et les relations (3), il n'y aura

aucune difficulté à composer le développement de (^~ )