YA

soit uniformément convergente à l'intérieur et sur le contour d’un

cercle C, décrit autour d’un point z, de S comme centre avec un rayon

R,, ce domaine de convergence n'ayant aucun point commun avec s. Nous supposerons ensuite que le module de la somme

A()+A() +... + /fn(2)

admet une limite supérieure indépendante de n dans toute aire S’ intérieure à $ et sans point commun avec s.

La série F(a)= Ÿ fx (e)

est uniformément convergente dans S’ et représente une fonction holomorphe dans $.

Il est aisé de déduire ce théorème de celui qu’on vient de démontrer. Décrivons autour de z,, comme centre, un cercle C avec le plus grand rayon possible qui ne déborde point en dehors de $. Soient R > R, le rayon de ce cercle, R' <R le rayon d’un cercle concentrique C’ qui ne déborde pas en dehors de $’. Il est clair alors que nous pouvons appliquer le théorème démontré et conclure que la série considérée est uniformément convergente dans C’, et représente une fonction holomorphe dans C. De cette façon on a étendu le domaine de convergence de la série du cercle C, au cercle C’. Soit maintenant z{ un point quelconque à l'intérieur de C’, décrivons autour de ce point un cercle C{ avec un rayon R; qui soit entièrement à l’intérieur de C’. Alors on voit que la série est uniformément convergente pour |2— | <R;. On pourra donc répéter le même raisonnement que nous avons fait pour le point z, et le cercle C;, et, en continuant de cette façon, il est clair qu’on finira par reconnaître que la série

F(a= D fe(e)

est uniformément convergente dans toute aire S/ intérieure à S/ et sans point commun avec le contour de S/. En même temps il est évident que F(2) est holomorphe. C’est là le théorème énoncé, la substitution de $S/’ au lieu de $’ étant sans conséquence.

On sait que le maximum du module de f(2)+...+/f,(2) dans S' a toujours lieu sur le contour de $S’. Dans l'énoncé de notre théorème on aurait donc pu exiger seulement que le module f,(2)+...<+/f,(2) sur le contour de S’ reste inférieur à un nombre fixe.

Enfin, il serait facile de généraliser notre théorème au cas où il s’agit d'une série dont les termes sont des fonctions de deux variables imaginaires.

31. On peut donner à notre premier théorème une forme un peu plus générale en considérant une suite de fonctions

At), AR), fe),

holomorphes pour r <|2|<R et par conséquent développables en séries

RECHERCHES SUR LES FRACTIONS CONTINUES 459 convergentes pour r LIzI<R.

Quoique les raisonnements soient absolument analogues à ceux que nous avons exposés, nous devons cependant les indiquer rapidement, parce qu’ils donnent lieu à une remarque qui nous sera indispensable dans la suite.

Nous supposerons que la série

Le)

D fe)

soit uniformément convergente pour 7, =|z|£R;, TET<R<ER,

et ensuite si r’ est un nombre quelconque surpassant r, R’ un nombre quelconque inférieur à R,

rLTLGR<L<R ER,

nous supposerons que pour r<|z|£<R' le module de la somme

AG) +20 +...+fh 0

admet une limite supérieure indépendante de n. Cela étant, on peut affirmer que la série

rO=Y fa (2)

est uniformément convergente pour r'£|z|£<R.

En même temps F(2:) est holomorphe pour r <|2|<R. On peut d’abord déterminer un nombre n tel que

Dntl<e,

pour r,<|2|<R,. On en conclut

Dafl< et |ÿ af <<, R; ri

d’où l’on voit que la série