TANNERY, JULES

,

Elements de la theorie

des fonctions elliptiques

TomeI

Gauthier- Villars

Paris 1893-1902

· .. '

...

. :,:'": ~ .

10114:,

ELEMENTS

DE LA TBEOl\lE DES

FONCTIONS ELLIPTIQUES.

IT'S' 1',.1 •. - I",p. Il.\lrrHIU\.\'ILUIiS .:1 flU, qUII d •• Il ••• d.·'u.u.IIII., »,

ELEMENTS

IJI( LA TIIEOUIK DKS

1',\11

JULES TANNERY,

JOLES MOLK,

~UUI-lUl"Hwur II"" I~tuu., ... oleoaUOqII ... , I·t .. al. Nuruu~h" "UI"rh·lIl"f1.

TO~fE I.

INTRODUCTION, ._ .. CALCUL DIFFERBNTIBL (l'·I'ARTIt:),

PA RIS,

GAU1'Ullin·VILLARS E'J' FILS, 1AII'IUAIHURS-L1BRAIRES

nt: L'SCULR l'OLY'tBCIINIQUR, UP DPRIl.\U ilKS LClXGITI'IH:S, Ilulli de. Grancl.-AuIlUslllIs, 5';,

1893

- ."~ ... -

PREFACE.

Nous desirons, avant lout, expliquer pourquoi DOUS avons ose ecrire un livre sur les fonctions elliptiques, si peu de temps apres la publication du Traite qlle l'on doit 8 Halphen, II va sans dire que nous n'avons point la pretention de rem placer ou d'eguler l'ceuvre de co Maitre i celle-ci cst inachevee; mais la partie qui reste incomplete, qui cluit auendue avec impatience par ceux qui aiment In Science pour elle-meme et POUl' sa beanie pl'opre, n'aurait pu avoir qu'un nombre restreint dc lecteurs, (I lie peuvent contenter, dans une eertaine mesure, les beaux fragments publies pOI' M, Sticltjes : il ne nous appartient pas de completer l'ceuvre d'Halphen,

Gest un livre heaucoup plus clcmentaire que nous avons tente d'ecrire i ce sont les etudianls de nos Faeultes que nous avions en vue: nous avons essnye de faire un livre qui se raccordll.t avec l'enseignement qui leur est donne! i s'ils peuvent, apres nous avoir Ius, traiter des applications faciles et les POUSSCI' jusqu'au bout : si quelques-una d'entre eux eompletent leurs connaissances dans Ie'livre d'Halphen, s'ils etudicnt en particulier les belles applications qui remplissent le second volume, s'ils se retrouvent suns peine dans les Formeln unci Lollrs'II::'(1 ::'UIIZ Gebrauehe del' eltiptisc/~en Functionen que 1\1. Schwarz publle d'apres les le,}ons et les notations de M, Weierstrass, s'ils lisent les Me!moircs fondamentaux d'Abel et de Jacobi, s'i1s penetrent enfln dans la riche et admirable lluerature des fonctions elliptiques et prennent en particulier connaissance dcs recherches de Kronecker et de' M, Hermite, nous aurons entierement aueint uotre but,

Vl

I'R8I'Ael.

Il nous reste a fuire connaltre l'ordrc qlle no us ovons suivi. Nous a vons l'cuni dons une lntroduction les elemcnts de la theorie des s(ll'ies et des prodnits infinis (lui 1I0llS alit pm'u indispensables. Los propositions fondnmentales de In thcorie tics lonetions d'une vlll'inbic imagiuaire qui sc deduisent de In consideration des illlegl'lIl~s prises entre des limites imaginaires, propositions dour no us (CI'OIlS lurgemcnt usage, ont etc, duns cctte Introduction, s),stclIIati'luement laissdcs de c~te: elles sont, depuis longtemps, inscrites dons le programme de 10 licence es Sciences mathematiques j clles sont partout tres bien enseignees et sont dt!\·c!oppccs dans d'exccllents lines, qui sont bien cunnus. On insistc souveut 1II0ins sur le rule que jouent, dans In theorle des fonctlous, les s,!ries ordonnees suivant les puissances entieres de la variable, bien ()lIC Cauchy ait mis pleinement ce rolc en 111- miere (I). 11 nous importait SUI·toUt d'esposer avcc delail quelques uns des resuitnts essentiels ohtenus pllr M. \Veierstross. Ceue Introductiou, 1I01lS esperons (Ille beaucoup de !lOS Ieeteurs pourront se dispenser dc In lire on entler; mais si, dans 10 suite, ils 0111 quelque inquietude sur-In rigueur de certaines demcnstrations I!l transformatlous, ils pourront y recourir,

NOIiS introduisons immediatement In fouction au sous forme de produit inflni, Celie voie directe, qui est celle de M. Weicrstrass, no us a paru naturelle ct facile dans ('clot actuel de l'enseignement , Les proprictcs essentielles de ceue fonction et de cellos qui en dl!t'ivent sont developpdes duns Ie present volume. Le volume suivant contiendra 10 theorie des fonctions ;; ei les Ilulol'emes generaux sur les fonctions doublement p,h·iodiques, deduits pour 10 plupart de la proposition celebre de M. Hermite sur 10 decomposition en elements simples. 11 terminera ce qui se J'apportc au Calcu! diJIerentiel. Nousexposerons dans le Tome III le problema de l'inversion, les theories et les precedes qui concement l'Integration, Eufln, dans le dernier Volume, nous deve-

(.) II Y;I dlljiliongtclllps quc M. Mllray I'a expost! d'une (u~on systcmlllique dans son Precis d 'Allafyte bifiniluimafe et dans une suite de beaux 1I1cmoircs

l'all'40R.

lopperons quelques application», d'une nature elCmentail'e, lie rapportant it des branches diverses de III Science,

Un des ennuis de 10 theorle des fonctions elliptiques est dans 10 richesse meme des furmules qu'elle com porte et que III memoire semble incapable de fixer. II faut pouvoir renvoyer aces formules et les ratl'ouver facilement; no us avons adcptd, pour Ies plus importantes, un systclllc de numdrctage auquel nous prions Ie leeteur de vouloir bien s'accoutumer, Illes retrouvera toutes, avec leurs numdros, dons un Tableau dont la premiere partie parattra it la lin du Calcul dijJiJreneiel : ce Tableau eonstituera eomme un resume de la Tbeorie et facilitera heaucoup, nous I'esperons, 10 lecture et l'usage de noire livre.

Les notations que nous avons adoptees au debut sont, sauf quelques I«!geres modifications SUI' lesquelles no us nous expliquerons tout a l'heure, celles de l\f. Weierstrass j mais nous n'avons pas cru devoir nous horner uux fonctions qu'il a introduites. Ces fonctions sont, d'une part, tres propres a traiter de Ia fa~on la plus simple beaucoup d'applications, heaueoup de celles, en particulicr, qui se rapportent it la Geometrie et a la Mccanique. D'autre part, elles se pr~tent tres bien, en raison m~me de la fac;on symctrique dont les periodes y flgurent, a l'expositio» d'un tres grand nomhro de proprietes, qui peuvent ~tre regardees comme veritablement elementaires. II nous a done parn qu'elles constituaient un excellent point de depart. Mais, d'un autre cOte, bien des proj>rietes, et des plus lmportantes, tant en Algebrc qu'en Arithmctique, n'apparaissent que lorsqu'on separe les pcriodes : elles restent cachees Ia oil les pcriodes sont engagees d'une fac;on symetrique. La ou. importe cette separation des periodcs, d'autres notations rcprennent l'avantagc. Nons avons done cru devoir Jaisser une place considerable aces fonctions de Jacobi, dont on a dit qu'elles ne joueraicnt plus qu'un rt\le historique: A la verite, ce r()le scrait encore assea beau. II ne faudrait pas s'dtonner si 10 multiplieite des no lations se trouvait etre dans la nature des chases et s'Il convenait d'en changer suivant les questions que l'on ahorde, II scmble d'abord que ecue Dlultipli-

VII

VIII

PRflpACII.

cite soit une g~ne et un ennui, it se peut qu'elle soit une riehesse. Quai qu'il en solt, no us avons mis tous nos soins a bien expllquer comment les diverses notations se raeeordent les lines aux autres et a faciliter la lecture des prlncipaux Mdmoires et Truites.

C'est le desir d'une parfaite symdtrie qui nous a conduits it ccrirc Wit Ws. Ws III 00. M. Weierstrass ecrit w, - w", w'. Cette modification n'altl!re pas les fonetions <:Iu, d, u, d, u, dall : elle permet de condenser singulierement les formules et d'en ecrire une seule lorsque, autremcnt, il faut en ecrire trois. Cc changement presente quelque inconvenient (') : le plus grand, a nos yeux, est d'obliger a quelquc attention Ie lecteur qui voudra se reporter aux Formeln lind LeI,rs(Jtzc (l) de M. Scllwarz. C'est aulecteur a juger si les raisons de symctl'ic, qui no us ant decides et qui sont evidentes, tltaient assez fortes pour que nous no us permissions de nous mettre un peu en desaecord avec cette belle publication, qui prdsente, a tant d'egards, un earactere definitiC : c'est apres bien des hesitations que nous nous sommes resoills Ii ee leger changement,

I'aris, le 29 oetobre 1892,

Le lecteur, qui voulaut se borner a ua apel'9u de la tMorie et acquerir seulcment lei notions indispensables aux applications elCmentaires des ronctions elliptiques ti 1a l\tccaniquc. pourra, dans la partie du Calcul dilJ'c!rentlel contenue dans ee Volume, so dispenser de lire les n"96. H6, f 17, fi9 et s'arrtllCr Ii la fin du UO H!2 •

•

-- - --------------------------

(') Yoll' la note de la pagc 2u"

( ') Void Ie titre de I'~dition fran~aisc de co Reeueil : Formuie8 lit prop08itiona pour l'emploi du /onctioM elliptiques, d'apres dill l6fon, lit dll' notu mallu8crites de M. K. We/erstl'fUI,

-_

----------_. - ... __ - .. _---_----

TADLE DES )IATIERES

DU TOllE PItEAIlER.

INTRODUCTION.

CHAPITRE I.

Des silrie8 et produ1ts intiDia 1\ lermes constants.

P'II', t-tO. Sllries et produits inanis iI simple clltrce........................... • 1t-19. Series ~ double entree............................................ . .4

20-22. Produits infillis ~ double entree. 28

CIJAPITHE II.

Del s6ries et des produits intinis dcnt 1es lermes dilpendeni

d'une variable.

23-28. Definitions et premieres propositions •.•... '" . •.•. ...• . 33

29-36. Series cnticres en 111........................... 4u

37-50. Silries de series enticrIls. • 5.

lit-60. Continuation des {onetioDs......................................... 'i!'

61-640 Application au" equations dUr6rentieiles Jinealres. 9~

CHAPJTRE III.

FODcUons tranlcendant8s enti6rea.

65-69. Fonctions esponentlelles et circulaires. ...•••• ••••.... ..... ... ....• 101 70-76. Thdonlmcs de 111. Weierstrass ct de .\1. llitlug-Lemer.......... ..... 114

CALCUL DIFFERENTIEL.

(I" I'''II''K)

CIJAPITRE I.

OoDsid6rations g6n6rale8 8U1' le8 tonotions p6r1odlquea.

77.85 133

TABL! PKII 11.\T11I1I89.

CUAPJTRE II.

La fono"on 7' u et le8 fono"ons qui en d6rlven&.

l·uC." 116- !J3. Les trois fonctions 7'11, ~'" I'U. J:urgllllleut augmente de 210'....... ,a' 9·\-103. Pl'ellli';re~ relations entre Ies "ollction~ 0'11, ;11, 1>1/. p' 1/..... ..••• 108

101-109. Reprt!~entlltioll de 711 pur un produit infinl Ii ~Imple entree. li!1

110-122. Les eofonetlons 7,11, '1,1/, 7',".......... ...... ...... ........ IKK

123-129. Trl1n~rorlllalion lillcalre de~ fonctlun, 7'. - Substitution nux pe-

l'ludes prhllltl,·cs de pcrlodes c'Iulvulenles. .••.••...•.•..• .•.•. ~Cl3 130-1£10. Transformation d'erdre quelconque des roncllons 7'. - Sul>stllu-

tlon ault pcriodes primitives de ptlriudes nouvelles Ii~es Ilocai-

rement aux anetennes, • . . . . . . .. . . .. . . ......• ...•. , 14

FllIllS LA TABU OKS )lo\TltRBS DU TOIIB PREIIIER.

__ .

ERRATA.

Page ~86, Iigoe .3, aI/ lieu de ~, Un ~.

WI .... '

ELEMENTS

11K L\ TIlKOl\II~ III!l1

FONCTIONS ELLIPTIQUES.

INTRODUCTION.

---

CHAPITRE I.

J)gS S~;RIES ET PRODUITS INFINIS A TER~IES CONSTANTS.

I. - Series et produUs inftn.is A simple entr6e.

!, Si a d6signe un nombre reel ou imaginaire, nous emploieruns I'expression valeur absolue de a, que I'on reserve d'ordinaire au cas oil a est reel, avec Ie sens que l'on donne hahituellemcnt, dans la thdorie des nomhres imaginaires, au mol module, qui 11, ailleurs, des significations diverses : ceue valeur absolue sera de~jl{nce pill' Ie symbole I a I,

Nous supposons connues los propositions elcmenlaircs relatives IlUX series A termes reels ou imaginaircs, III notion de convergence ahsolue, la possibilitc de changer I'ordre des termes dans une SCI'ic ahsolument convergente et de grouper comme I'on veut les termes d'une pareille serie, ehaque groupc ne comprcnant qu'un uombre Iini de termes, enfln los rcgles relatives a l'addition et a III multiplication des series,

T. el AI.-I.

:I

INTIlODUCTIOfi.

Nous designerons par Ie symbole

n=1

ia somme d'une st1I'ie convergente

Nous aurons seuvent a eonsidcrer des suites de termes dans lesquels l'indice, qui sert Ii distinguer les termes, peut prendre des valeurs entieres positives, nuiles 011 negatil'es: une telle suite est donnee quand on se donne la loi qui determine ehaque terme en fonetion de I'indice,

Supposons essentiellemcnt que les deux series

"o+a'i +al + ... +an -,- .... a_l+a_I+' •. +"_II+'"

soient absolument eonvergentes; nous representerons alors par l'un ou l'autre des sjmboles

n::=:+.

I ant I""

n=-. n

le nombre obtenu en ajoutant les sommes de ees deux series; c'est encore, si l'on veut, la somme de la serie

dont Ie (n + 1)16 ... terme est an + a:«. On pourrait d'ailleurs grouper les termes d'une infinite de manieres,

On a besoin quclquefois d'excluro de la sommation un' ou plusicurs termes de la suite, Ie terme ao par exemple : on emploie alors des signes partieuliers que nous indiquerons plus lard.

II peut etre utile de Caire observer que la Ca~on dont nous avons pri!eise la signification des pr«lcedents symboles rend incorrectes quelques expressions dent l'usage est courant et dent nous nous servirons nons-memes it l'occasion quand clIes De pourront causer

stRIBS RT PRODUITS 1II'INI8 4 TBUB8 CONSTAIITS. :i

aueune ombiguitd : dire que In serie

est convcrgente ou absolument convergcnte semble inutile, puisque,' autrement, l'cmploi du symbole sernlt illegitlme : dire que cette serie est divergente est encore plus incorrect. Dans ees fuqons do parler, ce n'est pas a la somme de la serie qu'il Cuut penSCI', mais uniquement Ii la/o; de succession des termes de III serie. Pour que le langage fOt irrept'ochnble, il faudrait employer des mots differents.

2. Nous allons donner main tenant lC8 propositions dlementaires relatives aux produits infinis (I).

Considerone la suite inflnie

I.,-al, 1+0" "" I+a", ...

at posons

I',,::=: (I + al) (I + (It) ••• (. + a,,). On aura cvidcmmcnt

1',,- 1'''-1 = a"l'n-I,

1'" = • +01 + atl'l+ a*1'2+"'+ a"P,,-1t

de sorte que, n grandissant indeflnimem, Pn tendra ou lion vers line limite suivant que 10 serie

sera convcrgente Oll non, ct eette limite, si elle existe, SCI'O In somme de la serie.

Si cctte serie est convergente, Ie produit infin!

(I +a,)I,1 +(2)' .. (. +a,,) ...

II done un sons cl I'on peut lui donner POlll' valeur In sommr de

(I) On peut consulter sur ce slijet le Tl'Clilti cl'Ana(yse de Cauchy el le AMmoire de IIf. Weierstrass: Ueber die T/lcorie <fer anaiytilcMII FUllctionetl (Crelle, t, 51); nous cmprunlons I'emploi de la "li'le que IIOU5 nom mons equil'(Iiente U 11. Alittag-Lemer (Acta mathematica, t, I, p, 30).

. -

IXraOl>VCTION.

In seric : cette s~rie est dite equil·alente au produit infini; (lit (/2, ... , lIlI! ... sent les termes du produit infinii I+a" 1+112, ... ,1+«", ... cnsontlcs/actcul's. Toutefois, afln til' COIUCI'VCI' aux produits in finis los proprj~tcs essentielles d'un lIombl'c Iimitb de facteurs, nous nc laisserons pas a In notion de prodult inflnl la gencralit~ qui prccMe.

3. Avant de preciser les restrictions (lui vent ~trc apponees it ceue notion, considerons le cas OU ehacun des termes (III est reel, positiC ou nul. Les nombres P" P" .,., PI/, ... sont alors posit if$ et IIU moins egaux u un i In seric a termes positiCs, equivalente IIU produit inflni

lie peut ch'O convergente que si In serie

est elle-meme convergcntc. Reciproqllemcnt, si eette derniere s~ ... ~ (de est convcl'gcntc, I'll tend vers une limite quand II augmentc (I indeflniment.

En effet, lorsque It augmente, 1'" nc peut qu'uugmentee; afln III!

PI'OUVOI' que PII a une limite pour n infini, il suffit done de PI'OUVCI' quc P'1 reste toujours inleriem' it un nombre fixe. 01' lmaginons qu'on developpe Ie produit

(1+ 0, )(I+at) ... (1+ aR)

et qu'on l'ecrlve

ell posant

A" == a,+as+ .•• +a"

et en dcsignanl par A la somme df' la serie convergentc

o,+at+· .. +a" .........

on voit de suite que l'on a

A At A"

1',,< 1+ _!! +.....!!.. + ... + __ n_<eA·<eA,

• 1.2 '.2 ... 11

SARIIS IT PROD!:ITR IIIFllIlS .\ TBIUIJ!8 COM8tASTS. 5

et Ja proposition est alnsi demontrde, Il cst a pelne utile de dire , 1 que la serie eCluivalenle au produit inflni, dans laquelle la somme f~~' des" + I premiers termes est I!gale a PI/, est alors coavergente.

Ainsi, lorsquc les nomhres (ll, a" •.. , (I" •••• sont positifs 011 I nuls, III condition necessaire et suffisante pour que

: P,.=(I+al)(l+a,)".(I+a,.)

ait une limite pour" infini cst que la serio

soit convergentc. S'H en cst ainsi, cette limite, qui est la valeur

.11I produit' inGni .

\ (1+<t.)(I+a.) ... (1+6,,) ... ,

\se reprdsente pal' lc symbole

n=_

TI(I + (11)'

11=1

4. En supposant qu'on se trouve dans lcs conditions pree!!dentes, nous allons demontrer que la valeur du produit inGni est J 9 'L independante de l'ordre de ses facteurs,

Supposons, en eflet, quc, en rangeant d'une (a~on queleonque les termes (tous positifs) de la suite

on obtienne 1a suite

bh bl ..... bll, • '"

et soit

n=.

p= TI(I+all) •

• ",1

Le produit d'autant de faeteurs que Pan voudra pris, chaeun une fois, parmi les nomhres I + an au I + bill est inCericur a Pi done Ie produit infini dent Ie "lUfAO faeteur est I + b" est convergent et sa valeur est au plus egnle a P. D'aulre part, si l'on cheisit arbitruirement un nombrc Q plus petit que P, on peut determiner un

INt'RODUCl'IO!,(.

en tier positiC II tel que le produit (l+as)(I+a,) .. , (I+al,) soit plus grand que Q j 8i la suite

b" btl'''' bk

cootienl tousles termes de la suite

le produit

dcpasscra Q; done In valeur du produit infini (I + bd (, + btl ... (I + b4) ••• depassc Q : elle est done cgale it P.

ii. Supposons maintenant que al! a2, ••• , elill '" soient des nombres quelconques, reels ou imaginaires : nous dirons que le produit inflni

est absotument convergent, si la serie

1I1+il,+ .•• +iln+·,'

est ai>s?lumellt convergente,

Nous allons moutrer que Ie produit I)" des /1 premiers faeteurs

( d'un produit infini absolument convergent tend vcrs une limite ~l) quand n augmente indeflnimen]. Cette limite, qui est la valeur du produh inflnl, se reprdsente encore par le symbole

n=.,

II (I + illl)'

n=1

(NOUS montrcrons, en outre, que ceuc valeur ne depend pas de

~( l'ordre des fnctcurs et qn'clle ne peut etre nulle que si I'un des

\l faeteurs est nul. Nous emploierons d'ailleurs, pour les produits )1 iulinis comme pour Jes series, les m~mes expressions iaeor\ rectes (nO f) consacrees par }'usage.

8alllBS IT l'aODU1T8 lNJllNl8 A TIIalf!!S CON8UNT8. 7

O. Faisons d'abord la remarquo suivanto: Si, dans un polynome en tier en a" ait ••• , an, a coefficients reels ot positiCs, on rem place a" ai' ... , a" par leurs valeurs absolues, on ohtiendra In somme des valeurs absolues des tormes de co polynome, et cette somme sera superieure ou egala Ii. III valeur ahsolue du polynomo. Or 10 polynomo

que l'on obtieut on offectuant le developpemeat de PilI a ses coefficients positifs : de msme, si m deslgne un en tier plus grand que /1, on voit de suite que le developpement effectue de Pm eontient, outre Ies termes qui figurcnt dans PilI d'nutrcs termes it coefficients pOlitiCs i it en rcsulte que, 8i 1'on regards Pm - P" com me un polynome ddveloppe et rdduit, les coefficients de ee polynome seront positiCs. De hi rdsultent lcs consequences sui. vantes :

Si ron designe en general par p~ le rcsnltat ohtenu en rempla~ant, dans Pm a., a2 •..• , a" par leurs valeurs ahsolues, on aura

it est it peine utile de dire que Pm - P;, est positif ou nul. Des inegnlitcs analogues ont cvidemment lieu, si I'on considere , it 10 place de Pm, P,li des produits formes avec un nombre fini de faeteurs prls dans le produit infini, mais qui ne sont pas les premiers faeteurs de ee produit, pourvu que la premiere expression contienne to us las facteurs qui figurent dans la seconde,

~ Ceci pose, puisqu'on suppose convergentc in serie a iermes positifs ou nuls

Ie produit inflni, it termes positifs ou nuls,

n=.

n (1+lanl>

/1=1

est eODvergen~: SOil P' sa valeur. Puisque p~ admet une limite pour n inflni, a chaque nombre poshif e correspond un entier po-

8

sitif p, tel que I'on ait

IICTBOJlUCTIOIC •

so us les seules condi lions

on en conelut, d'apr~s la rcmarque pr6cedentc, que, sous II's

~\ nlt'!tnes conditions, on a I PtJ. _ P~I < t

\ et, par consequent, Pn admet une limite pour n infini. C'est la \ premiere des proposi tions annoncdes,

I ( 7. Cette limite est independante de l'ordre des facteurs,

\ Supposons en elfet que, en rangeaat autrement les termes de la suite a I, a" ... , a", ... , on obtienne In suite b" b" .... bill •••• Le produit infln]

sera convergent et aura pour valeur P' (no 4) ; designons en general par Q~ le produit de ses n premiers faeteurs et par Qn Ie produit lies II premiers facteurs du produit illfini

n= ..

IT(I+bn),

II~I

produit infini qui est absoJument convergent puisque In serio

~Iblll

11=1

est eonvergente, et dont il (aut montrer que 1& valeur est cgale Ii celle du produit jnfini

n=.

n-»

n=1

Puisque les deux produits infinis

It:::. .:1'_

II (1+la"I), II (I +lb,,1)

.::1 11=='

SliRIBB IlT PRoDelT8 INFlNI8 A TIIRHIIS CONBTAN1'M. !J

ont 10 meme valeur, on peut fah'e correspondrc a ehaque nombre positif e un entier positif p tcl que l'on ait

IQ~-P~I<£

sous les seules conditions IJ. > p, v > p. Or si l'on suppose l" asses grand pour que tous les factours qui figurent dans p~ figurent aussl dans Q~, on aura, d'apres une remarque anterleure,

I QfIo-Pvl <Q~- p~

et, par suite,

IQIl-Pvl<£·

Si done ron fait crottre p. inddflniment, on aura, en d~signanl par Q 10 limite de Q\Io pour I'- inflni,

IQ-Pvl;';£,

et enfln, en Caisant eroltre 'I inddflniment,

IQ-PldS• C'est ce qu'il CaUait demonuer.

i cst convergente, le produit infini

It=.

\ P= II (I+an)

\ .~

\ ne peut ~tre nul que si l'un de ses facteues cst nul. ful ~p'O,~~~~.~'llbord que I'on ait.,quel que soi.t II,

lanl< Ij

nous allons montrer que P nc peut etre nul. On 0, en effet, C'U eonservant toujours les memes notations,

1 ( a,) ( at) ( all)

Pn = I-I+a, I-~'" 1- I+all ;

10 INTRODUCTIO~.

d'allleurs le produit infini

nn=~(I __ ~)

1+"" n=1

est absolument couvergent : en elfet, les series it termes positifs

,~onl eonvergentes en msme temps, puisque le rapport des termes

(dC rang II duns ces deux series est II + an I, quantit~ qui a POlll' limite I'unite quand II augmente indt!finimenl. 11 resulte de la que le produit des n premiers facteurs de co produit infini tend vel's une limite; par consequent, P" tend vers unc limite qui ",'est pas nulle ; c'est ce qu'il Callait etahlir,

/t) I No faisons maintenant aucune restrlction sur les facteurs I ±Jl'1I 'en suiiposant toujours eonvergente III serie

Si I'on suppose III> fl. 011 u c\'idemmenl

1'",= ( ,-;- lid (i + at)., .(1 -l- all) X (I + (In+I)(1 -;- an!) ..• (1 -;-am), d'ou. en Caisant grandir m indefiniment,

V::: ..

P =:11 +(1"(1 +",) ... (.+",,) n (l+",,+~); ~=I

or, puisque 1'0n a

Iim.ap.t::o, 1'="

on peut prendre n assez grand pour que 1'0n ail, quel que soil 'I,

la,,+.I<I;

d~s lors Ie produit infini

'1=-

n(I+"n~) h'l

dRIIS IT PRODUITS INPIHI8 It. TRRIlIS CONST4I'1TS. I ,

aura une valeur differente de zdro; P ne pourra done 4tre nul que si le produit

est nul, et, par consequent, si I'un des faeteurs

est nul. C'est ee qu'll fallait demontrer.

9. Nous ajouterons encore la remarque suivante, relative Ii In 1!1 possibilit~ de grouper les focteurs d'un produit inllni absolument convergent.

Tout d'abord, si at, (/21 •• " (II/I ••• sont des nomhres positifs 011 nuls, on nperc;oit immMiatement In \'~ritc de la proposition suivante :

Soient lit 11121 , •• I lip! ,., des entiers positifs croissants; po-

sons

(l+a.)(I+a,) ... (I+a",) = 1+ b"

(I + "",+1)(1 + an,+t) '" (I + an,) ee I + b"

...................... 11 •••• 11 •••••••••••• "

Si le produit inflni

n==.

ll(l+a/l)

n=1

'cst convergent, il CD sera de memo du produit inflni

p="

n-»

p=l '

etles deux produits inflnis auront la meme valeur. C'est une COI1- sequence immediate des definitions.

Supposons ensuite que le produit infini

SOil absolumcnt convergent, les nombrcs a" a2' ••. I a'II •••

1'.1

INTIlODVCTIOIl.

etant d'ailleurs reels ou imaginaires, et designons pill' I + B •• I + 821 ••• I I -+ Bp, ••• ee que devicnnent les premiers memhres lies 6galites qui dclinissent I + b., 1+ b21 •••• I + bpI" • quand on y remplace a., (12, "" (I"p, ••• par leurs vuleurs absolues,

L'egalitc

et les cgalit~s analogues montrent que l'on a D«~ I b« I (ll == I, lA, ... ).

Lc produit infln]

p=.

u-«. r=s

etant convergent pur hypothese, iJ en sera de meme, en vertu de ce qui u etc etabli plus haut, du produit inflni

1'=-

11 (I+Bp):

1'=1

la convergence de In serle

(lui resulte de In convergence du produit inllni precedent, entraln« III convergence de la serie

,,,,,, ..

~Ibpli

1':=1

on voit dODC d'abord que Ie produh intini

est absolument convergent. l\fais il cst manifeste que le produit des p premiers facteurs de ee produit infini, qui est forme des "l' premiers faetours du produit iaflnl

n=.

n-» 11=1

1

SalUBS B'r PRODUIT8 IUINIS A TERUHI CONIIT.\!(TS. J 3

lie peut avoir d'autre limite que III valeur de cc dernier produit illfini i on peut done, dans ce produit infini, groul)er les faeteurs eomme i1 II etc expliqud. D'ailleurs, puisque, dons un produit infilii ahsolumcnt convergent, on PClIt changer l'ordre des facteues, 1111 voit que Ie groupement des facteurs pellt utrc fait d'une foc;oll III'hill'oh'c, POUI'\'" que chaque groupe ne eontienue qu'un nombre limite de faeteurs,

iO. Ainsi les propl'ietes essentielles des produits d'un nomhre limite de facteurs se conservent dans les produits infinis abSOlu_l~ ment convergents. II n'en est pas de meme des produits infinis qui

IIC sont pas ahsolument convergents, C'est pourquoi nous nc considererolls ici quc des produits inflnis absolument eonvergcnts el c'est lit 10 restriction que nous avons annoncde.

NOlls adopterons pour lcs produits inflnis absolument convergents des notations analogues a celles que nous 1I\'On5 adoptdes pour les series. Ainsi, si les deux series

ClO+ClI +as + ", +Cln

Wilt uhsclument convergentes, nous representerolls par Je symhol«

le produit des valeurs des deux: produits infinis

n=_ II:';.

TI(I+QII), ll(l+a-n):

.=u • .=1

/"11 aura d'ailleurs

I .=-

! n (I + all) = (1+ ao) II [(I + a,,) (I + (I_II 'I

I. .=1

\.t l'on pourrait adopter une infinite d'auires modes de groupemeut des Iaeteurs,

INTRODUCTION.

II. - 861'1 ... double ent1'6e. i i. Nous avons cODsidere [usqu'lei des suites

de nombres qui dependent unlquement d'un Indlce, cheque indicc indiquant Ie rang que le nomhre qui en depcndoccupe dans la suite : nousallons maintenant considererdes ensembles infinis de nombres dont chacun depend de deu» indices; un queleonque de ees nombres sera represente, par exemple, par le symbole aOt,p, «, ~ ctallt des nombres entiers, Donner un pareil ensemble, e'est donner la

\ loi qui determine un terme quelconque lorsque l'on connatt ses deux indices at leur ordre, On peut d'ailleurs supposer, sur les indices :I, ~, qu'ils peuvent prendre independamment toutes les valeurs entieres et positives, ou routes los valeurs entieres positives, Dulles ou negath'esj on peut aussi supposer que l'un d'eux ne prend qu'un nombre fini de valeurs, ou encore convenir d'exelure telles combinaisons d'indices que I'on voudra, dlapres une Iol arhitraire .

.' Si l'on imagine un plan indeflui decompose en carres par des paralleles t\ deux axes rectangulaires, distantes de I'unite de 101lgueur, de telle fa~on, pal' exemple, que le centre de l'un des carres soit a l'originc et qne Ies coordonnees de tous Ies autrcs centres scient deux quelconqucs des nombres 0, ± I, ± :I, ± 3, ••• j 011

, peut inscrire chaquc nomhre ««, ~ dans celui des carres dont le \ centre II pour abscisse « at pour ordonnee ~; on aura ainsi eon'ttitue un tableau li double entree; des cases en nombre fini ou inflni peuvent d'ailleurs rester "ides,

12. II con vient tout d'ahord de remarquer qu'un tableau Ii double entree 111) constitue pas quelque chose d'essentiellement distinct rl'unc suite inddlinie de nomhres rallges lineairement, ou dont chacun nc depend que d'un indice (I). En d'autres termes, ctant

, donne un tableau it double entree de nomhres (lII,~, on peut .. en ranger Ics elements dans une suite Iincaire b, b2, ••• , bl/, •.•

( I) C'est Iii un cas particulicr de propositions generales do!veloppecs "ar )1. Cantur.

8tRIB8 Bf PRODUIT8 INPlNIIi " THRl1l8 CONSTANTS. I i.i

de telle £Ilqon qa'on puisse trouver pour ehaque ~l~ment QII,P du tableau le terme b" qui lui est ~gal et rCeiproquement.

Conslderons, en effet, Jes divers sysl~mes (I) non exclus de deux nombres entiers (:(, ~)i nous aUons montrer qu'onl;cul ctablir entre ces syslcmes et les nombres entiers posit its " !I, • , , ,

n, ... une correspondance telle que, Ii chaque systcme, corresponde \ un entier positiC at un seul et que, it ehaque nombre entier POSiliC, ~

eorresponde lin systeme non exelu et un seul ; une correspondence 0

satlsfaisan; a ces conditions est ditc univoque ct l'ecipl'oquc, Ceue correspondence 6tablie, il suffira de convenir que I'on a

alll.p = bn

toutes les eois que Ic systeme (:(, ~) et l'enuer positiC n se correspondent, pour avoir transforme Ie tableau it double entree en IIl1e suite Iineaire, ou la suite lineaire en lin tableau Ii double entree.

Quant Ii la possihillte d'.Hablir une telle correspondance, on III mettra en evidence, si l'on veut, comme il suit.

" Essayant. de ranger sur une mj)me ligne tous les systcmes difTe" rents non exclus, on oonviendra, par exemple, de placer sur eeuc Iigne le syslcme (:(, ~) avant le systeme (:(', W) si la somme des valeurs absolues des nomhres <1, ~ est inferieuro it In somme des valeurs absolues des nombres «', W j il ne restera plus 11101'5 qu'a indiquer comment on range sur cctte ligne ceux des systcllles non exclus pour lesquels la somme des valeurs absolues des nomhres (lui les eomposent est ega le a un nombrc cntier positif donne N. Or ees syst~mes sent en nombre evidcmmenL flni, et l'on pourra adopter pour les ranger Iclle loi que l'on voudra ; en supposant, pal' exemple, que l'on ait

IClI+ I~I = I <3.'I+IWI,

on pourra eonvenir de placer Ie s'ystcmc (a., ~) avant lc syslellle (:(', W) si la premiere des differences a.' - iX, W - ~ qui n'est pas nulle cst positive. Des lors tous les systemes possibles sonl ranges

( ') Nous enl.Cndons par 8y8/~me de deux nombres l'ensemble de ces deu x I nombres, ensemble dans Icqucl iI raut tenir com pic de l'ordre de ces nembres, Deux sYS1~mes de deux nombres 50111 Identlques si Ics "Iemelils de cos systcmcs sont IllS memes et son t ranges dans Ie meme erdre.

IIi

ISTRODVCTIOf(.

d'une fllr;OIl determinee i d'abord vient Ie systcmc (0, 0) s'i1 n'est pas exelu, puis les systemes (-. , 0), (0, - .), (0, r), (1,0), puis eeux pour lesquels la somme des valeurs absolues des elements est tlgalc a deux, puis les s~ stemes pour lesquels ceue somme est egalc ;', trois, etc. i it sum! maintenant de faire cocrespondre cheque systcme it son I'ang dans In suite lineaire ainsi formee pour realisel' In correspondence univoque et reciproqllc dout it u ete parle plus haul,

"/, On volt tout ce qu'il J a d'arhitraire dans In faeon dont on II ,\tabli ceue correspondance et it est manifeste qu'elle aurait pll ~tre etllulie d'une infinite d'autres fac;ons, En particulier, la representation geometrique qui a ete deorite pt'ecedemment Iournit aisemeat des moyens de realisor cette eorrespondance 011, co qui revient au msme, de designer sans amhiguite ehaque case du tableau pa.· lin seul entier positifaulieu de la designer par les deux en tiers «, ~ Ilui sont les eoordonnees de son centre; on donnera, par exemple, le nO I It In case (0, 0) qui contlent l'origine; puis, toumant une premiere fois auteur de cette case a partir du carre qui a son centre Sill' la partie positive de I'axe des x, on affectera des n'" II, 3, 4, .J, 6, 7.8, gles huit eases (" 0), (" i}, (0, J), (- I, i), (-1,0), (-", - I), (0, -'), (I, -I); puis, tournant une seeonde fois auteur des cases preeedentes, on donnera les nUS 10, • " "'125 aux seille cases (II, 0), (II, r), ' , " (II, - r), On continuers de la memo fll~on i IIU ,.'01.'" tour on aflectera des nOS

(2/'-1)'+1, (:II'-I)t+2, ... , (21'+1)1,

les HI' eases quc l'on rencontre.

Dans tous les ensembles de nombres a",.~ que nons consi·;Ml·ons, nous SlIpposcrOIiS toujours, pour simplifier le langagc, IIUC les indices 'X, ~ puissent prendre toutes les valeurs entieres positives, nulles et negatives, sans exclusion, On devra alors posel' a~,~ = U quand le systeme particulier ('X, [~) est exclu, ou hien, si l'on prefere ne pas introduire ces termes nuls, on supprimera, dans les sommations dont it va etre question, Ies termes aa.,~ qui' correspondent aux syslclncs d'indices ('X, ~) cxclus.

13, Soit done un ensemble de nomhres aCl,~. Supposons qu'on ait adopte entre les divers systemes ('X, ~) (orDles avec deux nombres

stRII9 IT PRODVITS "PlNI8 A TBR:II!!9 CON8TANTR. I,

entier. positifs, nuls Oil n~gl\lifs at les nombres entiers positifs . I, II, ••• , n, ••• une corrcspondanee univoque at r~aiproqlle telle que I'une decellos qui ont etc decrltes plus haut, puis que l'on fasse

toutes les fois qlle le systeme (<<, ~) et le nombre n se correlpondent; alors la suite lindalre

contiendra une fois chacun des nomhres a«,~ et ne contiendra pas d'autres nombres,

,. ( Inversement, cl.ant donnde une pareille suite lineaire, on peut en :' ! disposer les elements dans un tableau it double entree •

. : Supposons d'ahord que tous les nomhres 001, ~ et, par suite,

\ to us les nombres b" scient positifs ou nuls.

On dlra que ees nombres a",~ sont les termes d'une serie COlivergente Ii double entree, si la somme d'autant de termes que l'on veut pris parmi ees nombres, chacun n 'cHant pris qu'une fois, reste toujours inferieure it un nombre fixe A; des lors it est clair que la serie it termes positifs 011 nuls

bJ+bs+.,.+bn+ .. ,

est convergcnte et que so somme S cst au plus cgale Ii A.

Heciproqllement, si cette derniere serie est convergenic et II pour somme 8, 10 stlrie a double entree est aussi convergente, d'apres la definition precedente, puisque In somme d'autant de termes que l'on veut pris dans le tableau Ii double entree cst inferieurc it S. On peut d'ailleurs prendre I dans la suite bit bh ••• I b", ..• , ou dans Ie tableau, asses de termes pour que leur somme depasse tel nombre que I'on voudra, infel'ieur Ii. S. 11 CD resuhe que la somme 8 est independante du mode special de correspondance que l'on a adopte entre les systemes «(ot, ~) et les entiers positifs n, C'est le meme raisonnement que I'on emploie pour prouverque, dans nne sdrie convergente Ii termes positifs 011 nuls, on peut inlervcrtir l'ordre des termes i c'esi, all fond, Ie marne t1u!ori:me.

Nous dirons parfois que S est 10 somme de la serie a double entree.

T et M.- T.

I

INTRODIlCTION,

U. Ceei pose, on \'n prouver Ies propositions sulvantes : 10 Lf?S series () termes positifs au nuts

sont eonvergentes.

Nous rappelcns, line fois pour routes, ce qui a etc dit au nO 1, 'r,'un pareil symhole ddsigne le nombre obtenu ell ajolilani les semmes des deux series

i "iX,O+a:X.1 +aiX,t + +a:l,~ + ... ,

I (I!:l,-I+a2,-t+ +a:x,_~+ •. ,.

liD Soil

fa serie II termes posl'uls ou nuls

1'1. )

I'st eonvergente et sa somme est egale Cl S.

Les sdries (I) sont convergentes, comme toutes celles dont les termes figurenl, ehacun une fois au plus, dans In suite b., b2, • , " ii,,, ... , et leurs semmes sont, all plus, egales Ii S. L'emploi des

symboles l:a:l'~' 8'1. cst done legilime : it est commode de dire

~

que S'l represente la somme de tous les termes du tableau a

doubi« entree qui flgurent dans une meme Iigne horisontale, Soient P et '1 deux entiers positifs. Deslgnons par le sjmhole .fu.,y In somme

~"*'l

I a2,~ =: all.-'7+a'l,-'1+I+··.+all,O+a~.I+ar.c.'+ ... + all,'1;

~;--IJ

iI est clair Clue les nombres St.t.,. taus infcrieurs a 5, vont en augmentant quand !l reste fixe et Ill1e 10 nombre positi£ q va en aug~

stallS IT ,aODUITS n 'PINIS ... TI.JlBIi CONIlT4NTS. 19

mentant] quand co nombre augments lndeflnlment , 'V..9 a pour limite 'v.'

Dcsignons par Ie symbole dp''1la somme

v._p

~ $'1..'1 = '-1'.'1+8-1'+1.,+ ••• +80",+81.'1+ SI.q+ ••• + 'I',.,; ""-p

1 P. 'I peut aussi t1trc regardc comme la somme de tous les nombres aClt.p, dans lesquels Ie premier indiee est, en valeur absolue, inferieur ou egal Ii p et dont le second indlce est, en valeur absolue, inlcrieur ou egal Ii q. Ce nombre, positif ou nul, ISp.'1' est done aussi au plus egal it S, quels que scient pot q. D'ailleurs, 'iP.'1 ne peut qu'aller en augmentant quand I'un des indices augmente i lorsque, p restant fixe, q augmente indellniment, ISp,'1 tend done vcrs une limite au plus egale it S. Cettc limite n 'est autre chose que Ja somme

v._" 0',,= l: $v.; v."-,,

par consequent, la somme d'autant de tcrmes que I'on vcudra, pris, ehacun une fois, parmi les nombres '«, est au plus egale Ii S. II en resulte que 18 sc:!rie

est convcrgenle, et que sa somme est au plus cgule Ii S. II cst aise de voir qu'elle est prccisc:!ment egale Ii S, car elle depasse lout nombre B inferieur Ii S. On peut prendre, en eflet, dans Ie tableau, asses de termes pour que leur somme depasse B, ce qui revient a dire qu'on peut prendre p et q assez grands pour que lip.'1 ddpasse B; mais la limite, pour p inflni, de ISp, nc peut pas titre inferieure it dp,'1i eeue limite est done superieure it B.

On a done, en resumc:!,

Jl est clair que, au lieu de Caire In somme '" des termes conte-

20

INTRODUCTION.

IIUS dans chaque Iigne horizontalo, puis Ia somme

de toutes ces semmes partielles, on aurai; pu aussi bien fuiro III I somme de tous Ies termes eontenus dans chaque Jigno vcrticale, I puis 111 somme de toutes les semmes partielles ainsi obtenues, En \ d'autres termes, on a aussi

On ~crit sou vent, d'une faQon plus abr~g~e,

en n'indiquant pas l'ordre dans lequel s'efleetuent les sommalions.

R~ciproquement, si, dtant donne 10 tableau de tormes positifs

ou nuls alii, p, les series Sill = ~ alii, p sont convergentcs, ainsi que p

la serie ~ Sill, et que ron designe encore par S la somme de cette

III

derniere serie , on voit de suite que la serio Ii double entree cst

convergente, parce que la somme d'autant de termes que l'on veut, pris dans Ie tableau, ne peut depasser S; alors la serie

est forcemeat ecnvergente. Sa somme est done egale a 5, d'apl'es le theoreme qui vient d'etre demonLre.

i5. Placons-nous maintenant dans Ie cas general au les nom-

(hreS alii, p sont quelconques, reels ou imaginaires.

On dira que la serie a double entree, doot les termes sent act, p,

(est absolument convergente, si la serie Ii termes positifs ou nil Is, 1 dont les termes sent I alii, ~ I, est convergente.

SaRIBl liT PIIO~UIT8 I!'lPINIS A. Tl!R1Il!8 COSBY UTI. III

Supposons qu'it en soit ains] ; la scrie

ba+bs+ ... +bn+ .....

dont les termes sont toujours les nomhres all. p rangcs dans line suite lineaire , est alors absolument convergentc. Designons-en • encore lu somme pur 8, et soit 8'1a somme de la serie A termes positifs au nuls

I bd + I b,l + ... + Ibnl + ... ,

On a alors les tb~orcmcs suivants :

I" Les sc,'ies

sont absolument convergentes,

Cola resulte immedlatemen t de ce que l'on a demontrd, dans It!

IIl1lU6ro precedent, que les series

sont eonvergentes. :>.0 Soil

la sllt'ie

est absolumen; convergente, et sa somme est elate (~ S.

8i l'on posc, en eflet, p et q dcsigoant toujours des nomhrcs entiers positifs quelconqucs,

(1 .. +" I~." = ~ "II.P. (1=-"

p,*"

4." = ~ lall.pl. p=-"

CI=+p dp,,,= ~ 'ot.", CC=-p

INTRODIlCTION.

it est. clair que l'on aura, pour ehaque eo tier positiC p ct chaque entier positif q,

d'ailleurs Sec est la limite, pour q Inflni, de $«,,,. Si d011c on designc par s~ la limite, pour q laflni, de s~.,/, on aura necessairement

?tIais, d'apres Ie parograpbo preeMent, la serio a termes positifs ou nuls

cst convergente ; done Ja sdrie

est ahsolument eonvergente. II reste a prom'er que sa somme est egale a S.

Or si, apres avoir choisi les cntiers positifs p et q, on choisit l'cntier positif m, superiel!r a tous les entiers positifs qui COITCSpondcnt it CCllX des systemes (IX, ~) pour lcsquels on a

121~p, 1~I~q.

il est clair que 10 difference

ne sera autre chose que la somme d'un certain nombre de termes du tableau O2• pion aura done

I bl+ bs+ .. ·+ bm- "p"I;2;1 bl! + Ibll + ... + I bml-~p.'1'

le second membrc citant, de Iui-meme , positif ou nul. Faisons crottre m indeflniment ; ceue inegalite ayant toujours lieu, on en dc!duira

I s -1p''1I~S'- O"p.'1;

si 1'0n fait ensuite crottre q indeflniment, dp.'1 et d~,q tcndront

88RIB8 BT PRODVIT8 INPINIS • TBUB8 CON8TANTS. 23

respectlvemeat vel'S leurs limites

et ron aura done

CI= .. ,. ~,.::: ~ 'Oh ,,=-,.

«.=+p -'- ~ , "p- ~'''' «.=-p

IS - ~pl;:;s' - ,"p'

Mais, lorsque p augmente indeflniment, .,.~ a pour limite S' j il faut done que tip ait pour limite S. En d'autres termes, 011 11

s =:~'CI::;~~"(~I" a".~) -s-.

(l Il'-=-.. ~=-.. CI,P

11 est Ii peine utile de faire observer que I'on pourrait eflectuer J

les sommations partielles par lignes vertieales, au lieu de les eflec- " tuer par ligncs horizontales, et encore d'une infinite d'antres mu- I (t~::, nieres, en raison de ce que la corrcspondance entre les sys-

tcmes (~I ~) et les entiers posltifs J, 2, •. ,' /I, .,. est arhitraire,

IIU encore, en raison de ce que les teemes de la seric

b.+bt+ ... +bn+ ...

pellvcllt ~tl'e ranges arbitrairement, Au fond, on cst parvenu Ii. une generalisation complete du tileorl\me Sill' 10 possibilite de grouper I arhitrairement les termes d'une serle absolument eonvorgente, la ! restriction que Ie nomhre de termes eontenus dans ehnque groupe! ! est fini etant supprimee : il peut y avolr un, plusieurs, une inn-II nite de groupes qui soient eux-memes des series.

,16. II peut etrc utile de faire observer que si, 6tanl donnd Ic

tableau Ii. double entree aCl,~, 011 savait Clue les series • 1 '

~ rI Ij\IN' , • 1"" V ",/

V './;"".

,,'

/'

,,'

sont absolument convergentes, ninsi que In sel'ic

on ne devrait pas en conelure que la serie ft double entree dont les elements scat 1 a(l,~ 1 est eonvergente.

! ,. .1.

~ fJ\t';

. '/' ,r / '/

~~ L~TIlODUCTlOII.

iT. Comme application du tMoreme genct'al qui vlent d'eue demontre, slgnalons co Cait que, si deux sth'iel5

"1+ ".+ ••. + 11«+ .

~'I -I- ~'l + ... +,,~ + .

(sont absolument convergentes, it en est de m~me de la serie a ; double entree dont Ie terme gencral est U!1. (.I~, les indiees e, ~ ne . pouvant prendre lei que des vuleurs positives. En rangeant ensuite ! les termes de cette serie a double entree en une serie lineaire, de \ Ca<;ol1 que les termes, dans lesquels la somme des indices est la \ meme, se suivent, on retrouve la regIe ordinaire de 1{\ multi plica\tion des series.

:18. Voici une autre application tres importante dans la theoeie des fonctions elliptiques.

Soil

une forme du second degre dont les coefficients A, 11-, Y scient I'cels; supposons, de plus, que cette forme soiL positive, c'estii-dire que 1'0n ait

en sorte que, queUes que soient les valeurs reeUes que l'on mette dans In forme a la place de x, y, on lrouve un resuitat positif, sauf dans le cas OU 1'0n Cerait x = 0, y = o.

. Nous supposcrons qu'on rem place x,Y par les divers s'yslemes 'de deux nombres entiers positifs, negalifs Ott nuls (!Xt ~), en exeluant toutefois Ja comhinaison QC = 0, ~ = 0, et nous ccnsidererons 18 serie Ii double entree dont Ie terme gtineral est

, .

cherchons pour quelles valeurs du nombre positif p cette serie est eonvergente.

Pour Caire correspondre les s'ystemes de nombrcs entiers (<<, ~) aux nombres 1,2, "'; n, ... , nous adopterons run des procedcs e~pliquds au n° i2, et qui consiste essentiellement Ii ranger, sur une meme ligne horizon talc, Ies systemes (~,' ~) pour lesquels

IliRIIS liT PRODCITS IIWINI8 ,. TIIRUS COIISTAl'lTR. 115

on II

(I)

//I etllnt un entier positif. L'equauon

admet III + I solutions distinctcs oil x, y sont des nombres entiers, positifs ou nuls : en tenant compte de ce que les syst~mes (!X, ~), (- a, ~) ne sont distincts que si a est different de zero, on en dedult que I'equarlon (I) admet 4m solutions distinctes. Ceci pose, In suite lineaire des quantites (<<, ~) sera formco en plaeant d'nbord les quatre syst~mes pour lcsquels I a I + I ~ I cst egal a un, puis les huit s1st~me8 pour lesquels la m~me quantile est egale it deux, •. .: de cette faQon, Ie tableau a double entree est remplace PUI' une serie lineaire Ii termes positifs; cette derniere serie sera convergente Oll divergente en m~mc temps qne la serie dont on obtient le m'~"'· terrae CUI en reunissant. dans un msme groupe les 4 III termes de la serie primitive pour Iesquels I a I + I ~ I est egal a m. Nous allons cvalucr des limites superleures ('t inferieures de CUI'

On a

J.y -I" --;p;-'

).'1 _I"

--,

4"

l't par /, le plus grand des nombrcs A, I fAl, 'I i on aura, en supposant

et en remarqunnt que l'un des nombres a, ~ cst en valeur absoluc au moins egal a ~,

:I

26

par suite

INTRODCCTION,

~m 4m

IfPmtp < em < iiPiijiP'

Or la s<!ric

1\

(est convergente quand on a r> J, divergente quand on a "~J j In serie dont le terme general est Cm sera done convergente quand on aura 2p - I > I! ou P > I, divergente quand on aura p ~ I, Il en sera de Dl~me de la serie a double entree,

On arriverait u la lD~me conclusion en utilisant la representation geometriquc decrile all nO 12 et le mode de correspondance obtenu en tournant successivement auteur des cases i on rcunirait alors les termes qui se sulvent dans un meme tour,

Ceei.pose, designons par a, d , b, b' des nomhres reels quelconqueSt tels cependant que ab' - a' b soit different de zero, de sorte que, si l'on pose

A = a + at i, B :::: b + b'i,

A et B scient deux nombrcs quelconques soumis a eette seule restrietion (Jue leur rapport ne soit pas reel, et envisageons III serie a double entree dont le terme general est

(<<A + ~B)If'

n etant un entier positif fixe i ~ et ~ peuvent prendre toutes Ies valeurs ontieres positives, negatives ou nullos a I'exclusion de III combinaison ~ = 0, ~ = 0,

La valeurabsolue de la quantile preccdente sera

n'

(ht+ 2(1.«~ + v~tfi

oil l'on a pose, pour abreger,

I' == ab+a'll, ',::: bt+ b'tj

mais aiors la forme

Raalls aT PI\ODUITS INPIIClS ! TRaDES CONSTANTS. '17

est positive, car la quantile

).v -11.' = (ab'- arb)'

est positive, puisque aU-a' b est suppose different de zero; nous semmes done. pour III slh'ie des valeurs absolues des termes de la serie A double entree consideree, dans 10 cas precedent i la serie des valeur. absolues cst convergente si ron a

n 2>1,

divergente dans Ie cas contmire,

Ainsi, sous les hypotheses pl'llcedentes, la serie it double entree dent Ie terme general cst

1 .

(ox;\ + ~ll)1I

est absolumentconvergentc quand Yentier nest egal ou superieur Ii trots i elle n 'est pas absolument eonvergeute pour les valeurs de n agales It un ou Ii deux.

19. On pourrait encore considerer des series a entree pUPlt doni les termes

aox.p .... ,).

d~pendrniellL de P indices ~, ~. "" ),. On montrerait qu'il est possible d'etablie entre les systemes de p nomhres entiers

(ox, ~, .. ,').)

ct In suite des entices positifs I, 2, ••• , II, ••• une correspondance univoque et reeiproque, fondee pal' exemple SUI' le fait que . l'equatlon

011 In est un co tier positif, n'a qu'un nombre limite de solutions; le reste de Ja theorie de ces series s'etablirait comme POlll' Jes scl'i('s it double entree, Le lecteur pOtlrm, pnrexemple, s'exercer a genll• raliser Jn premiere partie du th60r~me ctnbli dans le peragraphe precedent, en consideran; it la place d'une forme quadratique po· sitive a. deux variables une forme quadratique positive it p variables.

INTROIll'CTION.

III. - Pl'odults idnis • double eDtl'~e,

20, On peut considerer' des prodults infinis Ii double entree vomme des series Ii double entree,

Ileprenons les notations amerieures et supposons les termes 1I".~, ou «, ~ J>euvent prendre toutes les valeurs entieres, positives, nulles ou negatives, ranges suivant tine suite lineaire btl b2, .,., b", ....

Le prodult infini Ii double entree

n (I+al'~) ex,~

'sera dit absolument convergent si la sdrie u double entree dont

I

I e tenne general est aex, pest absolument con vergente i la valeur

de co produit infini est, par definition, celie du produit absolument convergent

1'= II(,+bn),

n""

~ous allons prouver que ceue valeur peut etre obtenue par des regles analogues a eelles qui concernent les series a double entree.

2t. Supposons d'abord que toutes les quontites a",p soient positives ou nulles.

Le produit d'autant de Iaeteurs que ron veut, pris parmi les quantitea I + a". ~ est an plus egal it P. On peut prendre assez de facteurs pour que leur produit depasse tel nombre que l'on veut inferieur a P,

Scient p, q deux entiers positiCs : POSODS

p=+"

1 + /«.11 = n. (1+ "ex,p) = (l+aex.-'l)(I+aex,-II+I) ... (I+ alll,o) P=-'1

X (I + aex. I) (I + "ex,t) ... (I + ":t,,),

ex,,*p

1 +Ap.'l= n (1+ 1111,,,) == (1+ l_p.'1)(I+ I-P+I.,) ... (I+ 10.,) ex:-,

X(I+ 1,,11) (1+ I",) ... (1+ Ip.'1);

fillRII8 IT I'RODt:ITS IN"",1I8 A TI!IUI1!8 CONSTANTS. 29

1+ ).p,'I peut aussi ~tre considere comma le produit de tous los facteurs I + a(l,p pour lesquels on a

1\II1~p, IPI:;;q j

1",.'1' I.p,'I sont positlfs ou nuls ct 1'0n a

Quand q augments indeflniment, 1+ 1«,'1' qui augmente avec q, tend vers une limite I + I"" et l'on II

oil le second membre represente, comme iI a ~tc expliqud (n"10), le produit des valeurs des deux produits inflais dont les facteurs s'obtiennent en faisant varier, dans a",,~, ~ de 0 it +,.. et de - I it -IX).

D'ailleurs, si dans I'incgalitc

on Cait croltre q indeflniment, on volt, en se reportant it la deft" nition de 1+ )'p,'I que les lip + I facteurs qui le composent ten" dent respectlvement vers

I-f-LI'+I' 1+/1,

... ,

'f·t

en sorte que l'on a

(1.=+1' n(I+I",)~P,

(1.=-1'

Comme les nombres 1(1 sont positlfs ou nuls, on en conclut que I~ produit infini

n(I+/(I) (I.

est convergent et a une valeur egnle ou inf(iI'ieure it P. Mais eeue valeur ne peut ~lre que supdrieure it 1+ A"'I i or, si ron se donne un nomhre positif D < P quelconque, on pout, d'une pari,

30

INTRODl'CTION.

prendre n assez grand POUI' que le produit (1+61)(1+6.) .. , (I+bll)

depasee D et, d'autre part, prendre p, q assez grands pour que tous les faeteurs qui prdcedent entreat dans In composition de 1 + )'p, 9 qui sera des lors superieur u B. Done, In valeur du produit inlini, etant superieure Ii. B, est necessairement egale Ii. P.

( Hemarquons en passant que la convergence de Ia serie Ii termes positifs au nuls

I I/«

\ ,'csulle de 10 precedente analyse.

22. Supposons maintenant que les quantites Q«,p etant quel, conques, rdelles ou imaglnaires, la serie Ii. double entree dont Ie terme general est I ct«,p I solt convergente. Conservons les m~me!l Isignifications nux quantites 1'1.,'1' Ap,9 et posons

(1::+9

1 + I~", "" fI (I + I a".~D, ~=-"

Il:: .. p

1 + ).;'.1( == II (I + l~ • .,),

a:::-p

Le produit inflni

est absolumenr convergent Ii. cause de In convergence de In serie it termes positlfs

La valeur de ee produit inflni est la limite I + I", de I + I""" pour q inflni, et l'on peut poser encore

SIIRIES IT l'RODL1T8 IN"1'I18 A TBlUIBS CONSTANTS. 3,

Si I'on fait do memo

I+/~= II(""IOIII,PI), p

on aura evidomment

I/ltl;;; I~,

lInis, d'apres le numdro precedent, la serio

est eonvergente i il on est done de memo de In serie

et, pur suite, le produit infini

est absolument convergent. Nous allons prouvor que sa valeur est egal it P.

Choisissons, it eel efler, un entier II assez grand pOllr quc tons les facteurs 1+ Otl,p tels que l'on ait

Iiguren; parmi les faeteurs

. I + h" 1-;- btl ' , ., 1 + bn;

ddsignons par P" le produit de ces Iacteurs et par P~ Ie produit des faoteurs

I + I bd, I + I b! I. . .. , 1 + I bn I,

J)'oprcs un raisonnement dejit employe (nO 15), nous aurons nlors I P,,- (I + ~P''1) I ~ J>~ - (I + ~;",,).

d'ol" en faisant eroitre n indc6niment et en desigDant par P' III limite de p~ pour n infini,

I J> -(1+ ~P''1) I~ P'- (I + )';'.,,),

32

INTRODUCTION.

puis, en faisaat cro1tre q indefiniment,

I p -n(1 + 1«) I ~ p' - :U( I + l~),

Mais, lorsque p augmentc indeflniment, III limite du second memhre est zero i on a done flnalement

en sorte qu 'on peut grouper, soit d'abord par lignes horisontales et reunir en un m~me produit infini les produits partiels ainsi obtenus, soit d'abord par lignes vertieales ct reunir en un m~mc produit infini les produits partiels ainsi ohtenus, On pourrait enC01'C eflcetuer ees grGupcmenls paniels d'une infinite d'autres manieres,

._-

stUUES IJO~T LES TUllES llal'l!!lUHNT Il'VIIR VAIUABLB, 33

CHAPITRE II.

DES SERIES ET PRODUlTS INFINIS DONT LES THRMES DEPENDENT D'UNE VARIABLE,

I. - DMlDitions et pl'emim-e8 propositions.

23, Nous n'avons considere jusqu'ici que des series ou des produits infinis dont les termes ou les facteurs dependent uniquement de leur rang i nous allons considerer maintenant des series 011 des produits infinis dans lesquels ces termes ou ces faeteurs dp.pendent d'une variable:c reelle ou imaginairc.

Considerons tout d'abord une telle serie

S = "1+llt+ ..• +I'n+ ••• ,

et supposons qu'elle soit convergente pour chaque valeur de x appartenant it un certain ensemble d6fini comme on le voudra. Alors In somme de ceue selrie deflnit une fonerion (I) dont In valeur est dctermince pOllr chaque valeur de x appartenant a cet ensemble.

Designons par 8" la somme des II premiers termcs et par R,I le reste de la serie limitde au terme lt'l, c'est-a-dire la somme de 1a serie eonvergenle

1!l_~~~}~prC?posee est dire u...~.if.0,.memenl .convergente pour .Ies

(') Hou, entondrons Ie mot Jonelion sanl opitb~tc, dans co seDS: 18 variable J" 11 cst fonction do la variable ind~pcDdaDte 11), si 1& valeur de r est dcitermine" II quand on se donne 1& valeur de III. Cellc signification du mot lonetion est Ires dilrerento de celte qu'il prend dans "expression Jonclion allalylique.

T. et AI. - I.

34

IXTIIODCt:'rJOX,

(,'aleurs tic ;t' appal'tenaut it l'ensemblc considcl,(1 (t), si, it cheque I nombre positif e, on peut faiI'e correspoudre lin cotier positif ,.

I tel que, sous In seule condition ,

1 n>~

\ 1'011 ait

\ I S - s, I = I It" I < s,

\

\ Iluelle <Jlle soit la valeur de $. nppur~nullt.a_r~!1.~!!.!n_~J~ .. £Qnsid~I'c,

. De meme, 5i, pour toutes los valeurs dc x uppartenant Ii till ensemble, Ie produit

II..::.

[1(1"-":1)

n=1

est alisolument convergent, on dil'a qu'il est en outre 1I111/01'mement convergent pour toutes ces valeurs de or, si, it cheque nomhrc positif e, on pcut Iaire ccrrespondre un entier » tel que, sous la seule condition

l'on ait, pour toutes les valeurs de :c appurtenant a l'ensemhkconsiderc

11' _- 1'" I < e,

en designant pill' P In valeur du produit inflni et par P" 10 produit de ses n premiers facteurs,

D'apl'cs cette definition, on voit (Iue le prccddcut prodult, SUI)w pose absolument convergent, est uniformement convergent si la slit·ie cquivalente Ii ce produit

. est uniformement eonvergente.

2·1. S'i! exine une suite de nombres posilifs Olt nuls

Ifl' (f1' .... Ifn, .. ,

tels que la serie

soit eonvergente, et que l'on ail, quel que sou n, et quelte que

(I) Plus britivcmcDL, uuiforlllcmclIl conrergeate dans I'ensemble considtl..e,

S61111!8 1I0Nt' I.I!S 'fllRlIl!S 1I1ll'I!!IIIII!XT II "'Xv. UIIiADU. 35

solt la valeur de :c appartenatu (i l'ensemble consider';,

la serle

est absolument et unlformement convergente pOlll' toutes les oaleurs de :c appurtenant (ll' ensemble considere et it ell est de meme du produit infin! (t )

11::::1

Que la s6rie soh absolument convcrgente, cela est evident, puisque chacun de ses termes est moindre en valeur absolue que Ie tonne correspondant d'une scrie ccnvergeute a termes positifs. D'un autre elite, si I'on se donne un nomhre positif e, on pourru determiner uu nomlire llositif r tel que 1'0n ail

Gr-+-I + I{I'+t+ gr+3+ •• ,'<':

on aura done, quel que soit p, SOliS la seule condition II?,; 1',

et, par suhe,

I H"l<t,

et eela (lucile que solt la valeur de x appartenant it l'ensemblc cousiddre,

Pour ces m~mes valeurs, le produit inflni

n=.

TI(I-T'"", ",,1

est ahsolument et uniformement convergent, comme on s'en convainc de suite en eomparant la serie cquivalente it ce produil a 18 , sCl'ie dqulvelente au produit convergent

If=OC

(t) WEISRstRASs, AMandlungeli aliI der FUllclion(Jnl~hre, p, 7'"

· .~).i.' .,'

,

36

INTIIODIlCTJON.

rt-lais il importe de remarquer plus generalemcnt que si, pou« un ensemble de ualeurs de x, la serie a termes pos/tlfs

1111 1+ IUt 1+· .. + I Un I + ...

est uniformement eonvergente, et si sa somme reste infer/eure a lin nombre fixe A, Ie produit injini

na"

n (I+lln)

,..:.:1

sera absolument et uniformement convergent pour cet enfemble de valeurs de 0:, ainsi que la serie eqltivalente

En eifet, les quantites Ph P2' ... , Pill ... , P sont toutes inCerieures CD valeur absolue a

or, a ehaque nombrc positif e, on peut faire correspondrc lin eutier r tel que, SOliS la condition n > 1', on ait

,

I unl +IUn+ll+ I UnoM I +.:.< iii

on aura done, sous les memes conditions, IllnPn-II+lulI+IPn I + I uR+tPn+d +"'<',

et cela quelle quc soit la valeur de r appal'lenant a l'ensemble considere,

25. Consideroas un ensemble (E) de valeurs de x jouissant de la propriete suivante : QueUe que soit la valeur Xo appanenant Ii , (l'ensemble cousidere et quelque petit que soit le aombre positif e ., il existe des valeurs de 0: appartenant a l'ensemble (E) et telles que l'oa ail

L'ensemble (E) pourra eta'e constitue, par exemple, par l'ensemble des valeurs de 0: figur6es par les points d'un arc de eourbe, ou par les points d'une aire limitee par UD contour simple.

SaRlES DOXT LII8 TIIR.HS U8P811IlBS'I: II 'UNB VARIAIILB. 3i

Si/(x) est une fonetion de x deflnie pour toutes ces valeurs de X, on dira qu'elle cst continue pour l'ensemble (E) si, ~ chaque nornbre positiC tx, si petit qu'il soit, 1'0n peut Caire correspondre un nombrc positiC ~ tel que l'on ait

I/(x) - I(x') 1< «

pour to utes les valeurs X, X' de l'ensemhle (E) telles que 1'0n ail Ix-wi <~.

26. Ces definitions rappelees, supposons que, pour l'ensemble (E), les fonetions Itt, "a, .... lIII, ••• de la variable X soient con- \ tinues et que la serie

"I + llt+ .. ·+ 11,,+... I R

i ·J·i

soit uniformement convergente. La somme de eeue III~rie sera alors une fonetion/(x) dofinie et continue pour cet ensemble.

Soit, en eflet, S,,(x) 10 somme des n premiers termes de ceue serie, U,,(x) le reste j on aura

/(:») ee S,,(:») + R,,(:r).

Puisque la serie est uniformdment convergente, on peut, ~ ehaque nombre positif 6, faire corrcspondre un cntier n tel que 1'0n ait

pour toutcs Ies valeurs de x appartenant ~ (E) i n etant fixe, on peut, a cause de 10 eontinuite de S,,(x) qui est manifeste dans "ensemble (E), faire correspondre au nombre 6 un nombre posilih. tel que, pour toutes les valeurs x, :1:' appartenant a (E) et yeriGan! 10 condition Ix - x'I < 'Il, on oit

On OU1'8 done, pour ces m~mes valeurs de x,

C'est ce qu'il fallait demonlrer.

38

I~TRODUCTIOS.

Si, en outre, In s~rie est supposee absolument convergente, on verra de memo que Ie produit inflni

n::-.

n-» n=l

.. d~finil une fonction continue de X pour I'ensemble (E).

27. Soient T (t), ,} (l) deux fonetions rtlelles de 10 \'uriahll' ret'Jle I, admettant dans l'intervalle (to,l,) des d~ril'''lls fillies et continues 'p'(/), ·}'(l). Lorsque I variers de 10 Ii I" Ie point dont I'affixe est

d~cl'ira un arc de courbe (C). Consillc1rons l'cnsemble (£) lies valeurs de x flgurees par des points de (C) et soit, en gclneral, F(.l') line fonction continue de x pour I'ensemhle (E) ; en remplaeant, dans cette fonetion, x pur ~(t) + i 't( t), elle prendre la forme

tfI( t), 'l'( t) elant des fonctions reelles et continues de t dans I'intervalle (to, I'), Ceci pose, nous rappeJons que l'on appclle t'ntllgrate de F(x) prise Ie long de la courbe (t:) et qu'on reprtl- sente par Ic sjmbole

(F(.rl d»

'I:

.I'inlegrule

(' [4>(1) + "l'll)J r9'1l) + ;'}'U 'J dt

'I,

[" ["

= [<1>(1) r'(t) -IV, II 4'(t)] dt + l [4>(1) 'l/(t H· q'(t) 9'(/)] dt,

4.~ ~~

L'existence des deux integrales qui Cignrent dans Ie second membre, integrales ou tout est reel, est certaine, en raison de III \ eontinuite,

28. Soit main tenant une s(\rie

(I)

SIlIIlRS IJOST I.E§ TII1I1I88 D8pS:lPHNT p'nF. \' AIII.\IILH. 3!)

unilormdmeut convergente pOllr I'cnsemhle (E) des points de III courbe (C), et dont les termes scient tics fonctions continues de :/' POlll' ce m~me ensemble, Ddsignons par F(a') In somme de ceue $t!1'ic, (lui est (no 20) line fonction continue de ;I.',

~OIlS allons prom'er que In sel'ic

{' III dr + [IIi d» -:-." + fll" cI:c + .. ,' \ "

t (; L c • c I ~] '!

U~I toutes les intrgrales sont prises le long de (C), est convergente I '"

et a 1'0111' sornme /

[1"(.'1') d.r.

t. (;

Si, en elf!!t, on designe par S/f(X) la somme des n premiers termes de la serie (I), et pal' nil (x ) lereste correspondant, s, (x j et HII(.r) seront des fonctions continues de x, et l'oa aura

FI,r) = ~,,(:I'\ + H"I .r),

[f'I.t')cI.r::.: [S,,(x)(I.l' +[.HII(.Z')tiJ"

~ (: e, (: • (:

[ S,,(:r) d» =111, d» -r- [III dx->, . +1 lin dr,

•• : e ""(; c;

toutes les integrales ctant prises Ie long de I'arc (C). Ceci pose, a chaque nombre positif t correspond lin nombre cntier positif ,. tel que l'on ait

sous la scull! condition II;;: r, et cela, quelle quc soitla valeur de :r appartenant a l'ensemble cODsidcre. On aura done, cn dcsignanl par 'i la longueur de l'arc,

i l 1\,,1.1') d.r i < 11'.

Ainsi, la difference entre-

(F(.l')tiJ'

• t.

et la somme des II premiers termes de la serie (2) peut etl'e SIlPposde moindre, en valeur absolue, que tel nombre positif quc I'on

IlITRODCCTION,

voudra, potlrvu que n soil asses grand. Cela prouve, a la fois, que la scrie (II) est convergente et que sa somme est egale a

[F(:&) dr.

.. (!

'Ce theoreme s'appllquera, en particulier, lorsqu'on saura que la . serie (I) est uniformement eonvergente pour I'ensemble des va-

leurs de x, representees par des points appartenant a une aire (A) ; limitee pllr un contour simple (I). et que ses termes sont, pour : les memes valeurs de x, des fonctions continues, la courhe (C) ',(aisant tout entiere partie de l'aire A.

U. - Series entima en r.

29. Considerons maintenant les series de la forme

01) all, a" a2" ... a" ••.• sent des nombrcs fixes donnes,

Nous donnerons it ces series, qui jouent en Analyse un r61e tres important, Ie Dam de sirles entiere« en x, et DOllS emploierons Ie symbole

!P(x)

pour representer Ia somme d'une telle serie supposee convergenie: la lettre q' peut d'nilleurs (lIre all'ectee d'indices, pour permoure de distinguer des series particulieres, Entin, quand aUCUDC ambiguite ne sera iI craindre, DOUS pOtlrrons employer le symbole ~(x) pour representee, non lasomme de la serie, mais la serie elle-msme, regardee seulement com me la loi de la succession de ses termes j ainsi, !lOUS ne nous interdirons pas de dire d'une scrie determinee qu'elle est divergente pour une certaine valeur de a,

On doh a Abel deux theoremes sur les series de cette nature, series qui jouent, dans Ia theorle des fonctions d'une variable imaginaire, un rOle preponderant.

! (1).\ moin! que l'bypotbCse eonlraire ne soit expressument dooneec, nous regarderons toujours comme (aisant partie d'une eire limitk par un contour les I points Int6rieurs et les points du contour.

l

stRIKS IJOXT LEIl TIIR.IIS DtPlIl'IlJIII'IT D'VME VARIARLe. 41

30, Voici Ie premier de ces tlu!orcmes :

st, pour J} = b, la valeur absolue de ckaque terme a" bl! de \

fu~ [

. 1l(1C)=aO+al~+ ... +anlClI+... \ ~i

est moindre qtt'un nombre posit"/ flxe A, la serie Il(:c) est abo ) "".lsolument eonvergente pOllr toutes tes ualeurs de :c d01l1 1(( va- I leur absolue est moindre que celle de b.

Soit, en eifel, b' un nombre positif moindre que 1 b I. La s~l'ie il termes positifs

b' b'l b'"

(I) A+Afbi+Afbji+ ... +A1bltt+ ...

est convergente. Or les valeurs ahsolues des termes de la serie Il(x) sont, pour l'ensemhle des valeurs de :c qui veriflent la condition

1.t'I~b',

moindres que les termes eorrespondan ts de la serie (I) i car les suppositions

IIC 1 ~ b'

entralnent les conclusions

Ab'" lallz" I;; 1 b I" •

On pourra done appliquee Jes propositions du n° 24, et 1'0n voil que la serie q,{x) est absolument et uniformement convergente, pourvu que I'on ait

1.z'I~b'.

c'est-a-dire pour tous les points situes ci l'interieur et SIU' la circonference d'un cercle dcerit du point 0 comme centre, avec lID l'Dyon moindre que I b ,.

31. Si In serie re(x) do uumero precedent est convergente pailI' x = b, comme la valeur absolue de all b" tend vers zero quand n augmente indeflniment, il est clair qu'il existe lin nombre positif A tel que l'on nit, pour toutes Ics valeurs de lit

A~la"b"l:

4'1 1:I'I'IIODIlCTIO!'l,

,donc In ~cl'ic sera ahsolurnent convergente pour tous les polnts :' situes (i I'lllitJrieul' du ccrcle decl'it du point 0 commc centre et , passant plll' Ie point b i clle sera «niformement convergente 1\ , l'inlel'ieul' et stir In eirconference de tout cercle conccntrique au , pl'ecedent et de rayon moindre,

>, Dilferentes cireonstances peuvcnt d'ailleurs se presenter :

f Ou hien la sllrie U'(.t') considdree est ccnvergcnte, quel que soit z- : telle est la sl\i-ie

,r :1" ;r"

1-:- _ M~_ --- ~ ...• -- --- .. ,~ .. 0;

I I,'A 1,',1 ... II

(alors Y,'(.c) est uniformdment convergente dans tout cercle decril ; de l'origine comme centre, et meme dans toute aire limitee pat' : lin contour simple. Cctte serie <l'(x) represente II10rs ce que l'on '".appellc une fonction transcendante entiere.

Ou bien la sllric \1'(,2.') est convergente pour certaines valeurs de .r, sans r~tl'e POUI' routes. l.'ensemhle des rayons des cercles Mel'its du point 0 comme centre, et qui paSS(!nl par des points pour lesquels la serie est convcrgcntc, admet alors line iimite superieure H. Le ccrcle de ra.\oll It decrit du point 0 comme centre est le CI!I'C/(! d« convergence de la serie I.l'(,r). La serio est convergente en tout point illh1ril'III' au cerclc It; elle pent etre convergcntc 011 divergente en quelques points Oil en tous les points de In circonfereuce i elle est divcrgcnte pour tout point exIIlricur. Elle est uniformement et absolument convergeuto POIIIl'ensemhle des points situcs it. l'interieue ou SUI' III circonfereuce d'un cercle concentrique au ccrele de convergence III de rayon moindre. La oil elle est uniformcllIent eonvergente, elle represente line fonction continue. Signnloos, comme exemples, les series

If=..:te

I -,- .I. .t." f n=1

11.:-::.

~,r"

1+ --,

u 11:-:1

If::::.

~ /,1/

I+~~ii'

n::1

(lui admeuent toutes trois pOllr cercle de convergence le cerele de rayon un, decrit du point 0 comme centre. La premiere est divergente pour tout point de In circonfdronce de ce eerelc, comme on Ie voi t en posant oX = COS? -+ i sin?, et cn remarquant que les deux quantites COS"?, sinll? ne pourent avoir simultanement

~f!IIIIl!l PONT LIlR l'KIIlll!8 1Jjl;I'~NUF.!,(T D'VN!! V.UIIAnl.K, 43

ZCI'O pour limite quand It g,'ulJllit indeflniment. La seconde est i convergente, mais non ahsolument, pou,' tous les points de III eir- ) conference (I), sauf pour s: = I, La troisleme cst convcrgcntc en tous les points de In eirconferenee,

Obscrvons qu'une S(:"ic entiere en .c pourralt n'l!tre eonver-

gente pOllr aucune valeur de z- autre rl"C v.cro : telle est In serie •

':1' -;-I.'A,1·' -;- I,?. 'l.rt +." + I,?.'I, ,.II:rq + ... ;

on dit alors que le cercle de convergence est de I'ayon nul,

I I

(I) Cela 1'I!.uhe de I" premiere des deux propollitiuns suivantcs, signal~cs pur )1. Darboux dans son JI/Cmo;ra 8ur la8/ollctiOiIS discontlnue« (Allllale, de I'lcole /I'orlllaill 8l1p6riellre, ~. serie, I, IV), et sur Iesquelles on peut consulter 1'llItroduction d la tMorie des fonctlotu de ~I. Jules TUDnery, p, 96, o· 71 ).

Si la serie ;\ terRIes reels (qul peut etre dlvergente)

(I)

n, .. r., n, _l_ ••• -l- (Ita ~:... •• I

ell telle que la somme de ses /I premIers termes reste, en valeur absolae, quel

quc soil n, inC6rieuro A un nombrc Rxc, et si les nombres positiCs r,. ," ... , ;/. ~

'.' ". satisCont aux conditions , ,f.", '

(,', (,' (.r,.

\ .1:';"-

', .. ; .. , .. , .... L

(11 )

( Ill)

lim. I. = U, tI':',,:;110

la I~ric

(1\' )

est convergente.

Cettc derni~rc Sl!rie (1\') est encore cenvergente ~i la serie ( I) cst eonrergente et sl les nombres positiCs ," 1" . '" r.t ". satlsfont seulement allx conditions (II).

On prendra, dans 10 cas aetuel, pour I" I,. '" "" r •••. , les ncmbres I, !., 2

I I

3' .'" II' ... et, pour la serie (I), l'une ou I'autre des sllries (divergentes)

• + ens;; ~1- cn~ I ~ + i- c"<lIi .. ~ .... ,

11+ sin,? + sill ~tr: + + ;iull? -;., .. t

dans lesquelles les sommes des (" + I) premiers tcrmcs

sin !!..::t!. '" C('S" T ~ill ~ ,. sln ~I .. ~

~ T:.t .' ~

sin:r sin.'?

:t :Ii

restenl finies que] quo soit II, si If n'csi pas un multiple de 2",

44

INThOI)CCTION.

Entin, nous nous contenterons d'dnoneer le theoreme suivant,

dont la demonstration est immediate.

( sr Ie rapport I ":;' I a, pour II inflni, une limite epic it R, le cercle de convergence de la serio

(1) C!'(ao) = 60+ o,IC + .•• + ",,:11"+ •••

i

\.. est de rayon R.

32. Supposons encore que In serie entiere en a', ~(.7') =60+a,.7'+ •.• +0".7"'+ ....

soit convergente pour x = b. On peut ~ffirmer qu'elle est unifor~\ . mement convergente p~ur l'c~semble d~s valeurs ?e t£ apparte;/ \r nant au segment de droite, qUI va du pomt 0 au pomt b. C'est en ; cela que consiste Ie second des tluiorcmes d'Abel, dont no us avons . parte.

Observons d'abord que l'on peut ramener le cas general au cas ou best egal a un; it suffit, pour cela, de faire le changement de variable

Quand lc point g; decrh le segment qui va du point 0 au point b, Ie point e decrit , en effet, le segment qui va du point 0 au point J.

Le second theor~me d' Abel consistc alors dans I'cnoncc suivant:

st la serle

!

est convergente, fa serie entiere en e,

1'(ao) = oo+o,:t' + Qs:V'4o ... +a".7"'+ ... ,

. ~.'

est uniformemen: convergente pour l'ensemble des va leurs ",. de tIJ qui appartlennent a l'lnterealle (0, I), les limltes de cet . intervalle n'etant pas eeclues,

On sait deja, it est vrai, que Ia convergence est uniforme dans I'intervalle (0, Qt), Qt clant \1D nombre positif plus petit que "

.:

/

S*RIBS DOIIT LEI TBRII1l8 Dj'WBI'IDBNT D'VICE VARIABLS, 45

mais les raisonnemcnts qui precedent ne permettent pas d'attelndre ,I,:) la limite I.

Cherehons done 1\ prouverdirectcment que, Ii tout nombrc positif arbitraircment donne i, correspond un entier r, tel que, sous les conditions

Ie reste RII(x) de la seric \t"(x), limltde an terme de raDg n, soit, en valeur absclue, plus petlt que s.

Comme la serie (2) est convergcnte, au nombre e correspond un en tier r tel que, pour n > 1',

1",,+1 +«11+1 +" ,I,

c'est-a-dire I Rn(l) I soit moindre qne;.

D'autre part, si l'on pose

......... ,

«,,+1 + a,,+! +'" -I- «,,+/,:= 'f1'1

et si l'on observe que dp est la difference entre

R,,(I) = a"+1 + 0,,+1 +'"

et

on volt que l'on aura, quel que soit p, I o'p I < t.

D'ailleurs les egalites precedentes donnent

done la somme des p premiers termes de HII(x). peut s'ecrire

0'1 :c"+1 + (0'1 - 0'1 )02:ft+1 + ... +( 0'1' - 't P-1).2:"+/'

= 021"+1(1- 02:)( 0'1 + "'ta' -;-,., + ~P_I:rP-t) + o'p.2:"+p,

Si la valeur absolue de 3J est plus petite que I, le terme dJ,x"+P tend vel'S zero quand p augmente indeflnlment; on peut done ccrire

46

IlCTROIlVCl'IOl'l.

et, puisque les valeurs absolues des quantitds dp sont toutes moindres <lue s, on aura, en supposant quc x soit posit if et plus petit q ue I!

i HII( ;z.): < :c'I+'(, -:1')( i ""- tl' -+- t.l,j +- ... ,I:

or In sCl'ic' qui flgure entre parentheses duns le second membre, II

1>0111' somme -~. ; on a done, sous les conditions 1-.1'

En rdunissent it cette inegalite celle que l'on a obtenue plus haut, sous los conditions

">1',

savoir

all a bien demontre l'uuiformite de la com'ergeDec dans tout l'intervalle (0, I)) Ies limites n'clant pas exelues,

A cause de cette uniformite, Ia somme de la slirie est line fonclion continue duns tout l'intervalle considere, sans en esclure la limite 1 i si done x lend vers 1 pal' des valeurs positives illfcl'ieures Ii J, la somme de la scrie a pour limite la valeur de Ia so mille de In serie pour s: = " c'est-a-dlre

(lo+(tl+CI:f+~,.+a,,+.t. (IJ,

Pal' example, l'egalile

3' ;zo! 3'3

log(I+"" = i --; -+- T - ....

I,

, (') L'exprcssion preeedente du reste permet d'oller un peu plus 10iD, alasi que M. Sloiz I'a !ail cbserrer (I'ol'(elungell ilber allgemeine Aritllnletik. t. II). r~n ne supposaDI plus 11: reel, mais co supposent toujours sa valeur absolue I ;zo I moiudre que I, on a, en eft'cl,

111"(.&) I < Ix 100'11-;zo1 (, +, Ix I +. lao p+ ... ) <. l.!.:::-I·~I'

1- iT:

e. if est aise de montrer que Ie !aeteur qui Dlultiplie , reste moiodre qu'uo nombre fixe, pourvu que l'aagle algu des deux directions qui VOllt du poiot 1 aux poillts 11: et ° reste moindrc qu'un aIlgle aigu fixe.

SHIIIIl~ JlOXI' Lilli TEIUU:S Jlill'R!WIiIH' JI'CK" U11I4b1.K. 47

IltaIJlil' POUl' les valeurs I'ccllcs «('.1' moindres IIII<' I, 1I10nll'C que l'on a

I I I

I .. 10::1 = j' - ; -I- 1 - ....

En enel, III sllrie du second mcmhre est convergeute, dOIW, ell vcrtu du thcol'cmc qui vient d'ch'c dClllOlltl'C, lorsque Ie nombre 1'<,Iel3-' tend "CI'S 1 par des \,lIlcUI'S 1II0iuIII'cs qllc " In sdrie

tend \'CI'S

I I I

---+~ .. - t •• :

I 1& .J

01', dans [es memes conditions, log( 1-1- .C'.I tend \CI'S logs i on II done bien

In:':2:::: ! -.!. + ! - ....

1 '1. :I

33. Dans les deux paragraphcs qui pt'eccdenl nous a\'OI1S suppose In serie entierc ('I.' J'

(!'I.r) = (II,! '00:- ti, ,I' - .•• I • ~,. "11'1'" ..... " •

convergeute POtll·;].' = b : lorsqu'on sait ()lIe la serie est, pour, cette meme valeur, absolumetu convergente, les termes de la sc!rie \I'(x) etant, pour I'ensemble des valeurs de J.~ qui n!t'i!iclIlla eon- , dition 1:£ I ~ I b I, moindres en valeur absolue que les termes, tous : positifs, de In serie convergente j

ou cgaux it ces termes, on pcut appliquer 10 premiere proposition du nO 24, et 1'0n voit de suite, sans passer par le second t111!oremc \

d:Abel, que, POUI: l'ells~lllblc de cos valeurs, c'est-a-dlre u l:inte- \_ "

neur et Sill' la eirconferenee du cerele de rayon Ibl dc!crlt du \ :.; ',., point 0 comme centre, 10 serie est uniformement et absolument i ~., eonvergente et represente une fonction continue. Ce eerele peut i d'ailleurs i1lre Ie cerele de convergence ou lui etre inllirieur. f

34, Le premier theoreme d'Abel (nO 30) no us renseigne sur 10 convergence d'une serie entiere d'apres lcs velours absolucs des

IllTI\ODliCT10ll.

r coefllcients de cette serie, Inversement, la proposition qui suit et 1 (lui est due It Cauchy nous donne un rcnseignement essenticl sur : les valeurs ahsolues des cocfficieutsd'une serie entiere que ron sait \ ~tre obsolumcnt convergente SUI' 10 eirconference d'un eerele,

La sel'ie q> (x) ~tant absolumen t convergente pour x = b, supposons que l'on ait, en designant par A lin nombre positif,

I ~(x) I~ A-

t ' r .' • pour tous les points de la circcnference du cercle decrit du point 0

\." ... ' comme centre avec Ie rayon r = I b I i on aura alors

/

lalll~A/,-II.

Panons, en eflet, de l'egalile

c.P(.:r)x-n-1 = (l0:c-1I-1 + al.1:-11 + + all'lo'-I

+all+1 +all+sx+ j

il cst clair (no24)que leseeond membre sera une serle uniformement convergente pOllr l'ensemblc des valeurs de x representees par des points situes sur In cireouierence du cercle de rayon,. = I b I: on pourra done inlcgl'Cl' cette 5th'ie, terme par terme, lo long de ccttc circonferenee, cc qui donne

1 ~(x)l'J:-n-ldx = aojx-n-1dx+a,I:c-nd:tl+ ••.

c c c

+ a,. 1 1);-1 dJ:+an+l[dX+ a,,+tf:rd3: + ... ,

c • C I.

toutes les integrales clant prises Ie long de la circonference, Paul' dvaluer ces intcbrrales, on posera (n027)

d'OII

:r = ,.(cost + i~illt).

d:c=,. [cos (t+ n +isin (/+ ;)] d/,

et l'on aura, CD general, en designant par p un en tiel' positif ou negatif,

.£ a;pd.c= /,p+1 lUI cos (P+I)t+~] de +irp+1 ~(n sin (p + I)t+;] al.

stRIU DONT 1.1111 TBntll!9 nP.PI!SPI!ST P'VNB VAnIADI.I!. 1,9

Si P est different de - I, les integrales du second membre sont Dulles j si p = - J I Je second membre se "6duit A Idol': i on II done (I)

, [CJ.l(:r)d:r

a=- ---'

" :li7: 'e ,;1.,"+1 '

d'ou

I 11c.t'(tr) I

lalll= - -- d:r;

111: c a:n+1

mais In valeur ahsolue de ~(.x)x-n-, est au plus egaJea Ar-n-I et 10 longueur du chemin d'integration est ~1'tl'i le second membre de eette egalite cst done au plus egal a sr:», ce qu'il Calla it demontrer.

35. Void une consequence importante de cette formule. /' Si la serie entil!re en x

~(.T) = ao + a,:r.+as.2"+ ••• + a,,:t" + ...

est convergente quel que soit x, et qu'elle ne se reduise pas it 10 constante ao, sa somme nc peut rester moindre en valeur absolue 'qu'un nombre positif A pour toutes les valeurs de s:

En eflet, l'incgalit<!

la"I~A"-II,

si l'on POIl\'Oil y faire grandir r indeflnlment, montrerait que Ian I peut ~tre pris plus petit que tel nombre posit if que I'on voudra j on aurait done

10,,1 :::0

!Iou\, toutes les vale\l\'s de n i\ parlir de l.

On vail que, si 1'0n se donne les nornhres positifsA, H, il y a au mains une valeur de x. telle que l'on ait

1:rI>B, 1q'(z)I>A.

Ceue proprietc rapproche les fonctions transeendantes enlieres des polynomes entiers en e, II y a toutefois une dill'erence essentielle :

(.) e'en au",1 bien, eomme I'on sail, une consdquencc de la formule de Cauclay

1'. eL AI. - I.

.)0

ISTROlIl'Cl'lOX,

POUl' les Junctions transcendantes cntieres on peut oml'mel' seulement l'existence d'une vole til' tie s: sntisfoisont nux conditions PI'ecddentes ; pOllr les polynomes, au contraire, si 1'0n se don lie A, on peut trouver un nombrc B correspundant tel (I lie toutes les valeurs de x qui \'cl'ificnt 10 premiere in(lgnlite \'erifient aussi III seconde.

36, Soit

<.I.'(.7') = (10 + (/1.7'+ (/~;("t _' •• ,. _,. (1";&11_;_,,.

uno seric euuere en x, convergcnte pour lcs valeurs de x telles que l'on ait

1.'1'1 < R;

\t'(.r) est alors une fonction continue dons tout cerclc de rayon H' moindre '1uc R i on a d'ailleurs

1£(0) = (/ui

si done no n'est pas nul, on p('ut Ilxer till nomhro ~, illfericur ou ega I Ii R', tel '1ue I'on nit

I \t't.7')-\t'(o)I < laoi

POtlr\'1I que 1'011 uit

POUI' les valeurs tic oX 'lui verifient cette condition, t.f(x) lie sera jamais nulle,

~ Si les coefficients (10' (II! .," (lp_1 sont nuls sans que es le soit, on aura

et I'on voit qu'il existera un nombre positif f) tel '1\1<', parmi les valeurs de x qui verifiellt l'jnegalitc

lor I::~,

: zero soit 10 seule pour laqucllc \t'(x) s'annule, Par consequent, pour (IUC tf(x) s'annule en une infinite de points distincts dont l'ensemhle odmette z~ro pour limite (I~, par esemple pour tous

( .) On <lit quc des poiots appartenant a un ensemble ialini admettent ; pour limite si, quelque pelit que soit " iI exlste dans Ie eercle decri! du point ~ com me centre a vee un rayon dgal a , une infinite! de poinlS appurtenant a Pensemble.

stRIES PON1' I.J!!I TI!RllES 11I'lPINlIKN1' D'rNR \'ARUDI.E, 51

les points d'un ore de courbe qui ahoutit au point 0, il faut que tous les eoeffleients aOI a" (13, ••• I a", ... I scient nuls,

Par consequent encore, pour taus les points d'un pareil ensemble, deus s~ries

a.+ (I,a' + (ltX"+".+ (l"rJ:"-.- ••• , bu + h, X' + bta" +, ,,-r- b"rJ:" +. ,.

ne peuvent avail' les m~llles valeurs sans (hrc idemiques, c'esii,-dire sans que l'on ail all = btl pOllr toutes les valeurs de n, Il suf. lit, POlll' s'en convainere , d'appliquer la remarquc pr~cMente u. In s~rie

III. - Series de series enti~re8.

3i. Soil

Cl=. 110+ ",+ Itt-t-··.+ U,,+ ••• ::: I 11:& ""'0

une s~rie dont Jes termes sont des series entleres en x, en sorte que l'on ail, en deslgnant par aCl,P des oonstantes,

Si Ie rayon du eercle de convergence de chucunc des series IIC1 est sup~ricllr ou egal u. un nombre positlf fixe A; si en outre la

cx::"

stine I 11« est uniformement convergentc pour I'ensemble des

«=0

valeurs de a: qui satisfont a 10 condition

«=-

la somme de la serie proposee I llCl sera, pourccs m~mesvaleurs

!it • .,,0

de :c, une fonction ~ (:c) parfaitemcnt definie. Nous allons mODtrer que cette fonction peut, pour ccs valeurs de x, lllre developpee en une s~rie enticre co x,

I)

!,

'\

',_

IN1'RODVCTIOX,

et quc les coefficients de ceue serie sont donnes par la formule

cc=",

b~::::ao.~+a,.~+.,,+a:l.~+ ... = I all,~, «=0

la serie qui figure dans Ie second membre elant convergente. On

Ot=.

voit que, sous les conditions requises, In slirie I II" peut etre

« =0

traitee comme s'il n'y avait qu'un nombre fini de termes,

38. U y a un cas important et frequent dans les applications OU Ie precedent theoreme est evident: c'est celui OU la serie u. double entree, dont les termcs se deduisent de

lall,~A~I,

en donnant Ii CIt, ~ les valeurs entieres nulles ou positives, est convergentc.

8'il en est ainsi, In seric Ii double entree, dont Ie terme general est

cst absolument convergente, pour les valeurs de IC qui vc!rifient Ja condition I x I ~ A. En ajoutnnt Jes termes par lignes horizontales, on trouve

IX=_

et en rellnissant les semmes partielles on retrouve la serie ~ "«' «=0

Au contraire, en ajoutant les termes par Iignes vertieales, on

trouve

Ct:-:to «=to

I all.~.:r~::::a-~ I «2.~= b~II:~,

«=0 (l_~0

puis, en reunissant les semmes partielJes, on forme 10 serie

(t:::.

dont la somme cst done egale a celle de la seric ~ it«. C'cst cc

«=0

qu'il fallait demontrer.

stl\llIS nOIlT LES TIIIUII!S n2PBIIDIINT D'IlNIL VAIIIABLE. 5:J

Pour (lue In s~rie il termes positlfs, dont le termc general est

(11=0, I, 2, ••• ), ~=o, ',2, ...

soit convergente, il Caut et il suClll (nO U) que les conditions qui sui vent scient verifiees :

,0 La sdrie Ii termes (lositiCs

I ali,' I + I all,1 A I +lall.,At I + ...

est coavergente IJollr chaque valeur de ~.

11° En designan; par A'I. la somme de eettc serie, In serie Ii termes positifs

est eonvergente,

IX=-_

Observons que, s'it en est ainsi, In serie ~ 1111 est absolument

It=o

ct uniformdment convergente (nO 2t) pour toutes les valeurs de s:

qui veriflent ln condition :c;$A, puisque, pOllr ees valeurs, on II evidcmmcnt

I unl~A",

en sorte qu'on est bien dans le cas du on 2'Observons encore que In serie

bo+ b.z+ ... ..;-bp:rP+ ...

reste convergente quand on y remplace les termes par leurs valeurs absolues et :c par A, et (Iue sa somme est alors au plus ligule a la somme de In serie

En effet, eette derniere somme n'est autre chose que la somme de la serie Ii double entree et a termes positifs

11= .. ~==.. p=.. II:::"

I ~I(I'I..pAPI=IAP~la'l.,pl,

"=0 p=o ~=o 11=0

54

et I'on 11 certaiuement

I b~ : == IIf (l~,~ I ~((f, (ll,~"

11=. i ((_,0

IURODVCTIOX.

II importe de I'emlll'liller q"e si les conditions (,0) et (2°), lmposees clans le present nUIIlCl'O it In serie

,%:.: - 111-:-11, -i-v , ,-:- 11.-1-", = I 111., "'~O

sont verifiees, elles sont encore verifi~es pour In sdrle

V." •

I', + Vj"'-" ...... , •• .L. •• , =='~ ",' y -"0

dont les tennes s'ohtiennent ell groul)ant ensemble, comme III theorie des SCI'i(!s a double entree permet de Ie faire, les termes

Ct=.

de la sCI'ie .I 1~1. en nombre filii 011 infini, en sorte que chacuu

"",,0

de ses termes figure une fois et une fois seulemcnt dans quelque Y"'''

terme de la serie I "r- En eifel, si 1'011 elfectue Icomdme groupe- 1'",0

ment sur les termes de la serie

.\o+'\I+.\,+",+AII+.",

on 1a transformera en une serie de mdme valeur

d'ailleurs "to qui est la somme d'un nombre fini ou infini de termes

IX=.:.

pris dans I "«., est, d'apres Ie theol'cme meme que nous venons

«=0

de ddmontrer, une serie cntibre en x, et la somme de cette slh'ie,

quand on y remplace les coefficients par leurs valeurs absolues et x par A, est, d'apres una obscrvation qu 'on vient de faire, au plus egale it .1.,; de meme pour "" .",1'111: • 0' et .1.'2, • 0 0' .to«. 0 0' 0

SalllHS aoxr I.RS T£R)lH~ UApBSlJlINT IJ'CXI! \'AIIUIILK. 55

y ...

Ainsi, la slh'ie 'I "r satisrail aux memes conditions que In s~rie r ...,0

39, Placons-nous malntenant dans Ie cas genel'al et sUPPOSOIlS seulement que, pour l'eusemble des valeurs de x qui v(h'ilient In condition

les sdries entieres en:r

Q:=::.::.

scient absolument convergentes at que III seric ~ llfl, suil unitar-

fl,c.,.o

mement convcrgente ('),

La somme des (II + 1,1 premiers tcrmes de cette derniere s6ric est une serie eniiere ell », convergenl.e sous la condition Ixl< A; 1I0llS In representerons pal'

"".0+ bl/,.;r + .. ,+11".,:1" +, ..•

ell posllnt

Nous allons montrer quc, si II grandit inddllniment, bn,p tend vel'S tine limite quc no us ddsignerons par bp, puis, que la serie

b~+ ".~' + btzt+ ...

cst convergcnte 50115 18 condition I x I < A' at que sa somme est egale Ii celie de la sdrie

Puisque cette demiere slh'ie est uniformement convergente, on peut, a ehaque nombrc poshif E, fail·c eorrespondro un cntier 1'0- sitiC,. tel quc, si on designe par It et n + p deux entiers plus grands que 1', et d'ailleurs quelconques, on ait, pOllr toutes les vsleurs

-------_ .. -. _._. __ ._

(.) Wt:I£I\$TII'\S~. ,lbliamJllln{!CII ali.' C/CI' Functionenlehre, p. ;3.

56

IliTRODCCTIOli.

de x plus petites que A en valeue absolue,

1"/1+1 + 11".,.t+ ... + Il,,+p 1 < I.

On a d'allleurs, pour ees mlhnes valeurs de x,

« .. p «::,.

IIn+l+ 1111+1+" .+1111+,."" ~ ",,+«.0--1-$ ~ "11+«.1+'"

"·~I «=: 1

«=1'

+II'~ I ((n+!I.~+ •••• !I=I

Soit p un nombre positif, moindre que Ai l'incgalitc preecdente !lyant lieu pour tous les points de 10 cireonfdrence du cercle de rayon p et de centre 0, on a (n° 34)

1a serie

(I •. ~+ "I.~+"'+ a".~+ ...

est done eonvergente, puisque 10 somme d'autant de termes que l'on voudra, pris apres Ie terme de rang r, pent ~tre supposee moindrc, en valeur absolue, que tel nombre que ron voudra. Soit bp·la somme de ceue serie, e'est-a-dire la limite, pour n intini, de 1a somme bll,~ de ses n + I premiers termes, et soit RlI,fI Ie reste correspondant Ii. bl/,f! j on aura

bp=bll.~+Rn.pj 1 Rn.~I~£rfl.

Ceue demiere ineg-cllite montre, par le premier thdoreme d'Abel, que 1a serie

est absolument convergenle si la valeur absolue de $ est moindre que pj puisque pest seulement assujetti Ii ~tre moindrc que A, on voit m~me que ceue serie est aLsolument convergcnte pour toutes les valeurs de f& qui satisfon; it la condition

Les series

•

SlllUK9 PONT LIlli TJlRlJl!S Iltl'I!!WS!'l1' p'eNS VARIAIIU, &,

ct

RII,o+ RII,! W +" ,+ Hn,pa'~ + ••. cIanI convergentes, il en est de llI~me de la s~rjc

bo+ bla-+ ... +b~.z'~+ •• 'I

obtcnue en les njoutant terme it terme i il ne nous reste done plus (IU'A 1)I'ou\'or que III somme de eette scl'ie est ogalc it III somme de la sdrie Ilroposee

Or, si p' est un nombrc positif moindre (lue p, et si ron a j $I~p',

la somme

I Rn,oj + j H4,I wi + ... + I H".~$p j + ... ,

OU n est toujours suppose plus grand que 1', est inferieure it

Done la difference

entre la somme et la somme

bo+ bla- +.,. + bpwl$ +.,.

des n + I premiers termes do lu sdrie proposee, est, en valeur absolue, plus petite que £'.

Sous la condition que $ verlfle l'incgalilo

ja-j:;p',

OU 11 done

I~ b~:c~-"fIIIlI<E+E"

p=o (1=0

d'oa lion conelut que, pour ehacune de ces valeurs de x, Ie premier membre de-l'inegalite precedente est nul, puisque Ie second membre pcut ~tre pris aussi peth qu'on 10 vcui.Jl en est de mellle cvidemment, pourvu que:c verine Pincgalite

Ia-I< A.

C'est co qu'il fallait ddmontrer,

58

I!'ITIIODI:CTIOX.

·10. Le preccdent thcorerne entralne une proposition analogue pour les prodults inflnis.

J)cllignons toujours par

line sc1'ie entiere ell x, eonvergente pour les valeurs de e qui satisfont it Ja condition l:r I < A, Supposons que, lion sculcment la ';cJ'ie

IlO"'::-UJ +. _ .···",,04- ••. ,

mais aussi III serie il termes positifs

III~~ + iud+ .. ·+ I lin! -r-, •• ,

soil uniformdment convergente pour ces valeurs de :c, et que, en outre, sa somme res te infcl'ieul'e it un nomhre positlf fixe, AJors le produit infini

1'=[1(1+11/1)

n::::.(J

seru absolument convergent et deflnira line function 1+t}(X), ';.{:r) designant line sdrie entiere en x,

ko+ "lao +. "+!.'~.T'+_._, ccnvergente pOllr les valeurs considcrees de ,1'.

On pout, en eifel, substituer a )1- I In se"j(, c<Iui\'alellll'

IIO+II,,'U+"'+ 11,,1',,-,+, .. ,

Ut'PII_1 est le produit desn premiers facteurs de P. Ceue s(~rie (nO 24,) est unilormement convergente pour les valeurs conslderdes de e ; ses termes peuvent ~tl'C mis sous forme de sel'ics entieres en x, en appliquant la regie de la multiplication des series j on aura ainsi

I'cmal'qllons, en passant, que los coefficients II/I,~ regardes comme des fonctions des al,j pCII\'enL ~tre mis SO\lS forme de poljnomes it coefflcients reels et positifs, En appliquant maintenant Ie theOl'cme

S£RIE9 DOS'r U:S 'fHRIII!S URI'f.NUHN1' U'l'SJ! ,'ARIAULE, !I9

I'rcccdent, on meura la j;cl'ie equivalcnlc Ii P - I sous In f01'111(' cherehee

en posant

k~""" II,.~ + "1,'·'· .. ,-'·IIII'~+""

Ilia III slh'ie qui flgure dans lo second memhre est ccnvergeute. Lit sonuue do ceue serie est lu limite, pour 1/ iuflnl, de III somme de ses II + 1 premiers termes ; eeue dcrniere SOIllIUC n'est autre chose que le eoeflicienl de a;P duns le developpemcnt de

kp n'est donc autre chose (lue In limite, P01U' II inflni, de ec coefficient; ell purticulier ku + 1 est la limite, POlll'lI inllnl, de

rill II 1= (I-i- (10,0 "\1 +- (II,U i .. , (I + (111,0),

et, en supposant qu'aucun des nomhres 1 + o"'u ne soit nul, 1.-1 cst In limite, pOUI' n inflni, de

III quantite entre crochets 0 done pour limite I :~'k,,' ell SOI'te que In serie

I.-

est convergente et a J10U1' somme I .//.:0'

-it. II convient d'examiner le cos partlcullcr, qui correspond au I:IIS 1111 0° 38, oil la scrie Ii double entree, it termes poshils,

«",.to ~ r ,."

I .I lalt.:j.\~1

Q:.::.:O r~=o

est eoavergentc, II est uise de voir qu'alors la seric cqlli\'ul('nlc it P-I,

110+ 1111'0+" ,-;- 11,,1''''1 +" ..

satisfait, pour Ics valeurs de x telles que 1'0n ait

60

I:'ITRODtCTIOS.

nux conditions I" ct 2° du n° 38. En eflet, en conservant d'ailleurs lcs notations du numero prcc<!dent, considdrons le produit inlini a termes positi fs

Q == 11(1+ A,,),

n=1

et In serle t\ termes poslilfs, cquh'nlentc l\ Q - I,

ou Q" est le produit des II + I premiers facteurs de Q. Le produit A"Q,,_, pourra, par des multiplications de series, ~tl'e mis SOliS la formc

11 ... 0+ U".IA + ... + 1I".pAiS+, .. ,

oliles Hn,~ sont Ies memes fonctions des I al,i I que les II/I,p des a/,I' En vertu d'une remarque anterieure on aura done

l"n,~I~Un,~;

la serie

i /"/1,01 + I/III,dA+ ... + 11l".~1 A~+ ...

est done eonvergente ct sa sommc est au plus egale a AIIQ,,_I' D'ailleurs la serie a termes Jlositifs

Ao+ A.Qo+ ... +AIIQ"-I+'"

est convergente ; In seric cc{uh·nlcnte l\ P - I vel'ific done, POUI' les valeurs de :c qui satisfont a l'inegaJite I a: I ~ A, les conditions ,0 cillO du n" 38 et peut done se meure SOliS la forme

ko+klw+ ... +k~w~+ .•. ,

C'cst prccisement Ie resu1tot que nous avons obtenu dans lc numero precedent, pour le cas general.

II est oisc de voir que, dans le cas qui nous occupe, la scrie qui

fournit 4 est absolument eonvergente.

I,.. "0

Enfln, en vertu d'une remorquc faite au nO 38, la serie

ko+ klw+ ... +kflx~+, .. ,

qui reste convergente quand on y remplacc les coefficients par leurs valeurs absolues et g; par A, a alors une somme qui est au

IItOIK!! 1I0ST Lt:S TRR.IIRI! lIapaSPI!!,(T p'eSE VARIADts. 6,

plus cgale Ii celle de In sll!·ic

II convient de remarqucI', com me duns Ie n° 38, quc, si les conditions imposees ici au produit infini

P =(1 + "0)(1 + 11t!, •• (I + 1111)'"

sont \Icrinccs, elles le sont encore po"r Ieprodnit jnlini egal (I + "'0){1 + "'d ... (I + 11'1) "',

dont les facteurs s'ohtiennent en groupont ensemble, en nomhre flni ou inflni, les facteurs du produit P, ainsi que permet de Ie faire In theoi-ie des produits in finis Ii double entree, En eifel, si 011 elleetue Ie meme gl'oupement sur le prodult inflni

Q =(I+Ao)(I+Ad •.• (I+AII) ••• ,

011 le transformera en un produit in(ini egal

Q =(1 + 130)(1 + nlJ ..• (I + H,) ... i

d'uilleurs 1 + Wo ctant obtcnu en Iaisant le prodult d'un nomhre fini ou lnflni de facteurs de P, pris chncun une fois, !Po peut, d'a)l1'US Ie Ihcnreme meme que nous venons de demontrer, ()tre mis sous Ia forme d'une scrie entiere en x qui reste convergente quand 011 rem place taus ses eoefflcients par leurs valeurs absolues et dont la somme est alors au plus cgale il Bu j de meme pour IV" IV" ••• et BII J3" ••• j enfln Ia serie d termes positifs

Uo+ DI + ... + B,+ ...

est convergentc; les eonditicns sont done vcrifices pour Ie produit trunsformc.

42. Nous allons maintenant deduire quelques consequences lres importantes de Ia proposition du nu 37.

Soit

une s6rie dont Ie rayon de convergence est n. Pour une valeur

I~Tno"l'CTIO:l.

quelconque J: sutisf'oisulltii la condition 1.1'I<R,

In fonction l,l'(x) admet des deriv~es premiere, seeonde, etc., 1111 sens de la theorie des fonetlons d'une variable imaginairc; e'esta·dire que l'expression

CJ.ll.r !, I ~. 9.', JO'

tend vers une limite I£'(x) quand /, lend vel'S 7.CI'O (I), que l'ex-

pression

l,l"(.I"+" 1- '1"( a:)

_-_.-_--- /,-----

tend, dans les memes conditions, vel's line limite I,('(x), et ainsi de suite. Les dcrivce& successives de <i(:c) ne sent autres que les semmes des series eonvergentes

I .tli + '~al3' -i- ••• -t- /1(1".1",--1 + .•• , 1.:I"j+ 2.'Jll,.r -'- .•• +(11-1111(1,,:1',,-1+. _.,

Soit ell cllel x UII nombre que nous regarderons comme fix!' dans ce qui suit et dont nous supposerons la valeur absolue X moindre que Ri soient Hun nombre pOsiliffixe moindre quc It-X cl/, line variable qui reste en valeur absolue moindre que H. Dcsignons enfln par Ao. AI, .,., An, ..• les valeurs absolues de 0o, al! , .. , all, .... D'apres Ie premier theoreme d'Abel (no 30) In lll~rie a termes positifs

:\0+ -\I(X+ H)+ ... +An(X+II)"+ ... , est convergente et iI en est de mdme de Ia serie

I,I:\(.t'+ J,) = ao+ al (.2.' + /,)+ •.. + an(:r + 11)4-;-.,

('I I~n d'autres termes, pour uno valeur detcrminc!c de .:1:, au ullRlbro '.l'(.1') correspond un nnmbre qlt(.t:1 jouissant de 10 pl'Oprietc! suivante : it ehaque nombre posltif I, on peut Caire eorrespoadre un lIombre 'Il tel que I'on ait

I ~\(.r -I- ") .:::_cJ!(.1'}_ <.e' (an I < t

I', '

sous Ja seule condition

SflRll!S IIU!'!T I.E!! TF.IUIP.S lJI!PIiND£~T b'l!!'!1! \'.\" IAIII.£. 63

On 0 cI'oilleurs

(1,,(.1,'+ II I" == 11,,;7'''+ '!.".r"-I/I" "-, ..

. I

II{II-I) .• ,(II-P+I)

+- __ ._ __ .. _- (I"XII-I'III'+" .•

1.2 .. p

et 10 somme des valeurs ahsolues drs termes du polynome ell It qui figure au second memhre, quand on y remplaoc It par H, n'est autre chose que A,,(X + JI)n, La serle

.\o+A,tX-i-ll)·i-., .-i-An\X-t-IIJ"+ •. ,

ctant eonvergente, on volt que la sdrie ',l'(x + It)1 ou l'on regarde II eomme 10 variable, se trouve dons le cos du n" 38; elle peut ~trc mise SOliS la forme d'une sel'iea double entree ahsolument convergenre, qui peut ~Ire elle-meme ordonnde suivant les puissances de II, Les series partielles

au+ "1.1.' -t-.,.+ (,,,.e" + ....

1.(11 -t- !AlttX -t- ••• + nCtll.r"···.;- ..• , 1.'Wt+ ~.lCl3r +" .+(II-I)IW"rn-t+ ....

..................... ,

. , f' .1 III l,S

qUI bgurentcomme coe Ileients ue 'to, -, -, ... , sont ahsolument I I.lI

eonvergentes et, en dCsignallt los semmes de ces series par I£(x), t£'(.v), q"(x), ." , on aura

h hi •

1j,'{3J+/,)=IJ.'(.'l'I+·· (.1;"(.7") ..... _1].'1.1.'1-'_ ....

. I 1.\1·

Cette formule subsiste tunt que l'on a I1II ~ II,

On deduit de eeue formule 10 relation suivante

cj;l(r+- I,)-l£(r) _ 1"() !:_tI'()

It -:r + 1.'1 ::c + ... ,

qui montrc, puisque Ie second membre est une fonction continue de I" que l'on a

lim. Cj;'(~-l:..~~- c.t'(::c) ==U"(:r),

,,~u "

et ainsi de suite.

64

IXTRODVCTIOX.

Les serlcs 9," (.x), 1£" (.x) ••.. , ahsolument convergentes tant que ron a

ne peuvent ~lre convergentcs pOUt· une valeur b de.:t' telle que 1'011 nit

Ibl>H.

Si W' (x), en eflet, elait convergente pour .:t' = b, on aurait lim.] nallbnl::::: 0

n=w

el a fortiori

Iilll·la"blll=o:

n:=c

par suite In serie I.l'{x) seralt couvergcnte pour les valeurs de x satisfaisant nux: conditions

R<lxl<lbl·

Toutes les series ~(,x), C£'(.x), ~("(x), ... ant done le m~me eercle de convergence. II pcut d'aillcurs arriver que, sur la eirconference, la premiere serie soit convergente sans que les nutres le scient : c'est ce qui arrive si 1'011 suppose

<!' ft·, :pI!

W(x) = ~ + 'ii + ... + iii + ....

La serie

II "t /R'

W(:p) + - '.t"(ft') + - .... (11') + ....

I 1.2

convergente assurement si l'on a

I II I ~ a -X,

peut ~tre convergente pour d'autres valeurs de It, Ce fait sert de fondement a la thllorie de In continuation que J'on developpera plus tard (nol of-OO); In proposition qui fail l'objet principal du numero suivant rcsulterait immediatement de cette theoric j toutelois nous la plaqons iei pour ne pas interrompre la suite des idees.

43. Soit 4'(x) nne sllrie entiere en x, convergente dans tin cercle C de rayon R et dont taus les coefficients ne sont I)as nuls, En tin point x. interieur a C In fonction '.t'{.t:) ne peut pas ~lre nulle ainsi (Iue routes ses dcrivecs.

stalBS bONT L!!lI TBRUBS Iltpl!!'IUI!XT U'ON!! VAaIULI!. 65

En eO'et, si l'on pose

.r = .:1'1+/1,

I " I -< a -I xII,

on aura

~ q" (.:rd 'l'illl ( xl!

tr(.:r) = 9.(.r1l + -·-11 + ... +. -----·/'"+ ....

I '.'l ... II

Supposons que tJ.l(.l') soit nullc ainsi (Iue toutes ses del'ivces pour .r = .r,; olors le second membre sera nul quel que soit "; Ie premier rnemhre sera done nul pour toutes les valeurs de:e qui \'cl'iIient la condition

10:- :l'11 < H-I.t'II,

suus laquelle Ie dcveloppement de ~'(J'), suivant les puissances de It = :c - J'. est Iegitimc; c'est-a-dire CJue t.t'(..c) sera nulle POIU' tous les points x silll(ls u l'intcl'ieur du cerclc C, decrit de .r, comme centre ct tangent interieurement au cercle C, 11 en sera de JllI~ll1e de toutes les derivees de ~'(..t), ainsi qu'on Ie voit soit en regardant une d(lrivee comme la limite du rapport de l'ueoroissement de la fonction Ii I'accroissement de la variable, soit parce que I'on peut cerh'e pour les dcrh'ces <,l."(.r), \f·(x), •. , des developpements suivant les puissances de a analogues ueelui dc \ll(~') que nous venons de considerer,

Si Ie eerelc C. contient le point 0, Iu Ionction c.t'(x) ctant nullo en ce point ainsi que routes ses dcrh'ces, tous Ies eoeflleients de son developpement suivant Ies puissances de :r dcvraient ctl'(' nuls (nu 36), ce qui est contraire it l'hypothese. Si le eercle C. ne contient pus lc point 0, on prendre Ii l'inll1rieur de ce cercle, sur Ie I'ayon oppose Ii celui qui aboutit an point X" un point X2 POlII' lequel on appllquera le meme raisonuement; ~(x) devra cll'c nullo uinsi que toutes ses del'i"ccs pour LOllS les points intdrieurs all ccrcle C2 deedl de X2 eomme centre et tangent interieurement Ii C. Si le cerele C2 contient le point 0, la demonstratlon est termince; sinon, en continuant de la lIl~me falion, on parviendra evidemment u eufermer, au bout d'un nombre Iini d'opdratlons, le point 0 dans un cercle Ii l'inLcrieuI' duquel on saurait quc la Junction <..l'(.-z') est nullo ainsi que toutes ses d(!t'i\,ces et l'on arrive toujours U III meme conclusion.

H. Voici maintenant quelques consequences importantos lit!

r, cln.-I. 5

6G

IXTRonrCTIOX.

cette proposition et £I1l'i1 fnut rapprochcr des l'cslIitats aualoguos obtenus dans I" nO :30 pour Ie point 0,

POIII' .l' === .l'1 III fonction \l'( 3.:) petit eIre DIllie uinsi que ses dc"i\'ces, \.tV(.L',), \l'"(.l',), .•• j mais il existe une del'iver. \t'Cu) (.1',) qui u'est pitS nulle, Ell supposant que toutes cellos d'un ordre iuoindnsoient nulles, on petit cCI'it'C

-, !.l'II"(;l',, <1' 11+,,(.:1',)

\1:(11'.1 "" --;----I.r-:r,)"-t- ---: .. ----- .. - (:r--;l'd·+'+ __ ,

I,~ ... II ,,~ ... ('I-'-')

flU

c.l'(;t.) = (:r - .1'd"I'(Il' - ;I',),

P(.l'-.l:.) designnnt une Sl:1'ie entiere en (,t' -x,) (lui n'est pas nulle paul' ;,t. =::: :i', et qui est convergente dans Ie cerele C,; on dit !1101'S !Jue .1', est un zero d'ordre /I de Ij,'(,t'),

Le point .:t'" inltll'icUl' au cercle C, ne pout pas eIre la limite d'un ensemble infiui de pciuts POUI' lesquels Ij,'(x) s'annule, POI' exemple x, ne peut pns appartenie Ii un arc de cOIII'he, si petit 1111 'il soil, en taus les points duquel <£(.:t,) s'annulerait,

Deu« sCl'ies entieres en x, eonvergentes dans Ie cerele C, lie "euwIII avoir des valeurs t\gnk's pour les points d'un ensemble infini adnrettaut POlll' limite UII point ;.(', inlcrielll'li C, pal' exemple POlll' tuus les points d'un arc de courhe interieur it (;, sans eltr!' ldentiques, c'est-a-dire sans CJue les cocflicients corrcspondants duns les deux serics soient (\gam:.

Eufln dans un cercle (;' concentrlque il C et de rayoll moindrc, iI 11C pellt exister line infinite de points distincts POlll' lesquels \I.'(..(~) s'unnule : si run considere, en eflet, l'ensemble inlini que fonneraient ces points, ou voit qu'i1 admettrait necessairement cOll1111C point limite un point inlcrieur u C' ou siltle SUI'SU circonftlrcllcc (I) et dans tous les cas inlcricur au cercle C.

·iii. SoiL

<1'(.7') = au+ (/,.1' --- ••• + (In:t'"- ...•• ,

line sl!I'je convergente dans Ie cercle Cj III sdric

---_.- _--_._--_. - _._-----

(') C'est unc generalisation faclle du tlu!orcmedc 801zIIno (l'Oil'i'/lItI'Oc/uctioll ,j 1(1 t/reol'ic de« /ollctioIlS, de )1. J, Tannery, p. ~2 ... ·38).

stRIl!S Ilon Ll!8 Tl!R)JIIS Dtpl!NPBNT U'UNII VARIADU, 6,

SCI'II convergente au moins dans Ie meme cercle, car si, pour une valeur pUl,ticulicre de x, I allx" [tend vers z~ro quund II augmente

indeflniment, i1 en est de m~mc de I...!!!!_ x"I, D'ailleurs.Iaddrlvee

11+1

~(x) de In serie ~(;l') est Itg-nlc t\ I,.l'(.x)j les deux sel'ics 1'(.£), ~(x) out done le meme cercle de convergeuce (11042), Enfln, 011 peut ddmontrer que, sur Ill. circonfdreuce IUCIllC, In 5th'ie ~(.x) cst convergente !lUX points oil Ill. sdrie 9,l(.x) est elle-meme convergenie ( , ): mais inversement, camille no us l'avons dejil fait ohserver dans le n' 42, SUI' la circonference, la convergence de :t( oX) n'entralne pas celle de W(.:c),

De I' egali te

resultc la eonscquenee suivante : si 1'0n eonsidere un arc de eourhe i, interiellr all eerele C, defini pae la relation,

.t'::::9(1)+i~(t)

ou In variahle rdelle r doit varier de 10 u I, et au 9(/), ~(t) sont des fonctions rcelles de t; admettant les dcrh'ecs l' (I), I}'( t), on aura, en prenont l'integrale le long de l'arc j et en ddsignant par .t'o, x, les estrdmitds de cet arc qui correspondent aux valeurs to,

" de "

40, Repreuons les notations du n° 37 ct considdrons il nouveau

(') C'ost une consequence do la seeonde des propositions cnoocees dans la note du n· 31,

(.) Nous rappelons rapidemcnL 10 dlimonstratiun de eeue proposition, alin d'c\'iter, duns I'esprit du leeteur, toutc confusion entre Ies inlt!srak'S rclalin·, IIUX variaIJlcs imagilluires et celles clui sc rapportent aux variahlcs roelles,

Si, pour les nMurs de .:t' que d~anit 10 relutlon .:t' = 'Y (l) -l- i-:' (I), UII H, ('II M.signant par 4' (I), II' (I), cl', ( I), 11', (t) des functions reelles,

-t(x) == <1>(1) -I- ill'(I),

~'(.rj == \i.'(.:t') :=<1',(/) +;11',(/),

on aura

1111

<1>'(1) -r- ill"( Ij '" [c", (I) -r- ill', (I») I 'Y' (t) .,- io}' (I)}

68

INTROIlVCTIOX.

lIlIO sCI·je

IIU+III+ •.. +11,,+ '"

dont tons les termes (I) sent dell Junctions de s: satisfaisant nux diverses conditions imposecs dans co n" 37. La somme r(.r) de cotte scrie peut, comme on l'a \'U plus haut, ~tre mise SOliS 1'01'11)(' d'une serie entiere en z- pour les valeurs de I u variable qul satisfout a la condition

('1, par sulte,

(I)

i ""(I) '"" '~.(I) y'(t)-'1',(t) 4'(1), ('1"(1) ='1>.(1)';"(1)+ '1',(t)'T'(t).

I)'uilleurs on 0, par definitioD,

[W(3:)d.1:= 1"['1.,(/)\<'(1)- ')',(1)4'(t)]c11

~ Y "

+i r"(<J>,(1)4'(I)+'I',(I) y'(/)Jcll:

. "

or les integrales qui figurenl dans Ie second membre a)'ont le sens de la theuI'ie des Innctions d'une variable I'celle, on roit, en tenant compte des cgalites (I). que ces intl!grales sont rcspcclil'cmenl ~gules it

<J>(I,) -<"(t.). '1'(',) -'1'(1.), ee qui demon Ire I'cgalilu

1 ti'(.1:) d» == ~(.k',) - t(x.), T

On aurait pu t!lablir le me me resultat en parlant du thc!oreme d4!montri! au II· 28. En supposant Ia r.ourbc ., intt!rieurc A un cercle C' coaccnlrique il C el tI(· ruyon moindre et en se rappelant que, dans ce eerele C', lu serie <X(X) est unif ... rmclDclil eonvergente, 011 volt qu'on pourrail ccrirc

fcr(3:)d.r=a.j'd3:+Cl,[.1:d.Jl · .•. +a. (1&-(/.1:..,'.,,:

Jy T' Y JT

il rC$lerail a <!tablir Ies I!galiles

(lui sent, au fund, des eas pal·ticuliers de I'cgulilu que nous voulons d<!lIIollll·er. mais qu'il esl facile d'clabUr dlrectemeat en 51l repurtant 6 18 definition des inltigralcs prises Ie long d'une eourbe.

(') Nous ccrirons 1I.(.c) U la place de II. quaed no liS aurons besoin de IIIcllrt· 18 \·ariuble ell evidence.

sA RIBS DONT LIlS THR!!.! DePHND IlNT D'eNI nRIADL!. 09

elle admet done (no 42) pour ees valeurs, des derivces ~'(.x), ?" (a:), .•• i nous allons monlrer que, si I'on d~sjgne par 1I~, 1I~, ••• , les derivees suceessives de la fonction It", dcrivees qui existent aussi en vertu du preccdent numero , les sudcs

1I~+UI+ .. ·+ll~+ ... , lI;+lti+·· .. +lI~+I .. ,

sont convergentes pour les memes valeurs de a: et ont pour semmes ,'(.1'). 'f"(.2'), , ...

Soit en eflet a: uu nombre fixe dont la valeur ahsolue X soit moindre que A : soit II une variable dont la valeur absolue If reste moindre que A-X. Conslderons la serie

'f(z + II) = Ito (11' + /1) + ud:r + It) + ... + lin (.2' + 11)+ ... , dont les termes sont des fonctions de II j on a, d'apres le nO 42,

d'ailleurs la scrie p(a: +!l) est uniformement convergente pour les valeurs considerees de /'; on peut done appliquer Ie tlu10rcmc du nO 37 et mettre 'f(.x + It) sous la forme d'une serle entiere en /1 i on aura ainsi

et Ie theorcme est demontrd.

47. Supposons maintenanl que, pour les valeurs de .x qui satisfont a 10 condition

1$1<,\, IlIol+I"II+· .. +I't" 1+· ..

soit uniformement convergente et que sa somme reste illCcrieul'e Ii un nombre positif fixe, Ie produit

10 serie

n:tI

P(r) = II (I + Un)

n=O

IXTRODVCTIOX.

pourrn, pour ces valeurs de x, ~tre mis SOIlS In forme d'une s6rie entiere ; la fonction P(x) admet done des d~l'ivees. Pour les former, on meuru Ie produit infini

n=:tO

P(.r '0,- II) = fl [I + 1I1I(.r + 11)1

u.--;;;.O

sous la forme d'une serie entiere en II, ce qui, en vertu du meme raisonnement que pour la s~l'ie, est possible pour toutes les valeurs de It qui vdriflent la condition

On a vu, n° .to, qu(', dans ce developpement, Ie coefficient de III premiere puissance de In variable, qui est ici II, pellt se mettre sous In forme

P(.1.)[_It~(.r) + __5!.r) + + _11;,(.1') -+- ]

1+11.(.1') 1+ IIJ(.r) ... J oj- 11,,(:1') ° ....

pourvu qu'aueune des fonctions

J.;- 1I.(.r), J + IIJ(X), ,,'. 1-I-lIn(.2'), .,.

ne soit nulle, c'est-a-dire pour toutes les vuleurs dC:1-' telles que P(.t') soit diner!.'nl de ztlro. 011 a done, en designnnt par P'(x) In dl!ri\'ce de P(.2·),

P'I,'!') II' II; II~

_o _" == 0 _,_ __ + ... + __ + ....

I'(.r.) 1+ IIv I _ III I + lin °

et l'on voit que la dCl'il't!C /ogarilllllliqllc de P(.r) est Ja somme des ddrivecs logarithmiques de ses facteurs, Si P(x) ctait nul, il faudrait que I'UI! des Iactcurs, J + lin par exemple, flit nul j on verrait nlors sans peine que In cl«i1·h·ce de P(x) serait donnee )lor In formule

c'est encore In memo regie quc pour un produit limite.

48. Plac;ons-nous maintenant dans Ie cas du n" 38, ou, en cooservant les notations de ce numero,'la sciric Ii double entree et Ii

stOlll1l DOXT LIIS 181UI1I5 UtPINUI!N1 U'UNK VARIADLI!, ,J

tennes positifs

est convergente, Designous PU1'

~"'.

Un(,'I') = ~ lan,fil,'l'~,

~,.,o

ee que devient la sdrie lin (.1:) quand on Y remplace les eoeffleients fin,fi par leurs valeurs ahsolues ; il est clair que les derivees U;,(.r.), U;(x), '" de UI/(''l') ne seront autres que Ies sdrles lt~(x), uZ(x), .. , dans lesquelles 011 remplace aussi les cocll1cicuts pUl'

leurs valeurs absolues. On voit de suite q ue la sdrie '

()U l'on regardo 3: comme line constante doni la valeur absolue \. est moindre (IUC A, ('I II comme UIIC variable dontla valeur absolue est inferleure ou cgalc it A - X, satisfait, elle aussi, nux conditions (I") et (2°) du n" 38 j CII eflcr, chacun de Sl'S termes peut etre remplace pur une SCl'ic entierc en II j ('l (.") si, dans III serle

, I, • ( ) It~ (J.

11,,(;1') + II" (x) j- -II" ,'I' J:ii -i-", 0 0"': II" :to -- ",

OIlI'OIU)luce les coefficients des puissances de " par leurs valeurs absolues et II pal' A - X, Oil formeru line sc";c dent les termes seront respecrivcment moindres (llIC les termes correspondants de la serie

U(X) U'v)A-X U,(,_(A-X)2 U(" \

,,- -t- "(-,, -j- + n -")-.';:.i'-- ,",-, .. =.; n ")==,,,:

d'aillcurs (2") In serie

est convergente. Des lors, 011 pcut nppliquer it la scric qui I'CPI'Csente 'f (.t' + It) et au produit infiui

n.=.

l'(.r + II) =-= 1111 -i- u,,(x + II)J

n=O

'i'J.

IXTRODIJCTIOIC.

les rdsultats obtenus dans les nO' 38, 41, et l'on a ainsi dtabli, sans s'appuyer sur la proposition gcncrale du n'' 37, que Ies series

It~ (s-) -I- u; (or) -1- + lt~(,7·)-!- ••••

It~ (:r) -I- Itj (,7') + -t- ,,;(.7') -t- ....

sont ahsolument convergeutes tant (llIC l'on II \ J.~ I < A, qu'elles representent les dcrh'ccs r'(x), 'f"(x)! ..• de lu seil'ie Y(J.') et quc, en supposanl toutefois P(x) dilrurent de zero, la sel·ie

est ahsolument convergente dans les memes conditions et represente la dcrivcc logaeithmique de P(x).

II est aise de voir, ell outre, que In serie

1/~(a',1 -;- 11'1 (,2.) + ... + 11~(.2") -i- •••

satlsfait aussi, ainsi que les del'ivces suivantes de r( or), aux conditions (1°) et (2U) du IIU 38, pourvll qu'on rem place A par A - i, t ctanl un nombre positi! aussi petit qu'on le voudra,

Entin, en vertu de I'Cmal'(lucS faites dans les n'" 38 et 41, des conclusions pareilles s'appliquent aux series et produits inflnis quc l'on Ileul deduire de la serie ?(x) ou till produit infini P(x) ell groupant Ies termes au les Iaeteurs de ceue sc:t'ic eu de ce produit ,

49. Voici encore line consequence du nO 37. Scient

flY) = "0+ a.y+ -i-a"y"+ ....

?(.2") = bo+b • .7' -i- -;-iJlIl1In + ...

deux scl'ies entleres, In premiere en .r, la seconde en x.

Supposons, en designant pIlI' A et B deux nombres positifs, que POUl' les "ale lit'S de x qui \'crifienlla condition

la seconde serie soit absolument eonvergente et que I'on ail

Sallll!!I lion LIS 1'1111)1118 njpaxIIllI1' II'USB \'AIIIULII. i3

Suppo90n~, de plus, que In lll'emiere serie soit ahsolument convergenie pour y = D.

La premiere sCI'ie, quanti on J regarde J' comme cb'lll U ll(x). est uniformement convergente POlll' toutes les valenrs de a: qui satlsfont ilia condition Ix I < A j d'ailleurs [·t(.x)]", pOllr cos valeurs, U cause de III regie de multiplication des !ScI'ies, )leut ~tre mis SOliS la forme d'une serle entiere ell xiii 011 est done de mt'lme de la fonctionJ[r{;J.')].

En particulier, on se trouvera duns le cas du n" 38, si In scrio ,'I termcs positifs

est convergente et a une somme tlgall' 011 inCcl'ieure it 13.

50. La proposition preccdellie montrc (IUC l'inve rse d'une serie entiere en ,7:

f.t'(.2') =('u+c.:c+",+c"X"+, '"

convergente so us In condition

ou C est un nomhre posit if, peut ello-mdme ~Irc mise SOliS In forme d'une sCl'ic entiere ell 3 . .', quand le premier coefflcieut ('0 n'est pas IlUI.

On peut, en effet, posel'

puis eCl'iJ'('

I I I ry',-a

- - = _.- = - -:......+ ---:-- +, ••

\l'(.Tj Co+Y Co c~ c3 c~

POUI'\'U qne 1'011 ait

1111 peut d'uillcurs determiner un nomhre posltif D < C, tel qu(', SOliS In condition

on ait

l:cl< D Iyl < 1{<1 col,

INTRonCCTIO~.

K ~tnnt un nombre £lositiC; cela rcsultc de la contlnuite de In serie

dans Ie vcislnage de x = 0. Dils lors, 011 volt que, POUl'\'U que .,~ soit moindre (Iue D CII valeur absolue, les conditions requises pour l'appllcatlon du tlll!orc\me du numero pl'eecdcnt sont VI!l'i!ices, ct, POI' consequent, pour ces memes valeurs de X, I'inverse de c.t'(.l.') est elle-meme line serie entiere en a,

II ell SCl'8 de memo till r8ppol't

Oil 1'. (.1':) est une autre s(!I'ic cntiere en 3.', convergente lorsque l'on II "r I < D, comme on le volt c'n multipliant lcs deux series

au surplus, pOllr trouver Ics coefficients de la serie cgnle au rapport considere, on poul'ra, all lieu d'nppliqucr le procede precedent, employer In methode des eoefflcients indetermines ou cflectiler In division comme s'i1 s'agissai; de polynomes ordonnes sui vall t Ies puissances ascendantes de x,

Des considerations cI'lIlIC autre nature montrenl (!'IC Ic cercle

I d I I' '. '. I ,. J

(C convergence e 0 sene enuere en x qUI cst ega e a- - - - est a

Ci(r)

plus petite des valeurs absolues des raeines de l'equation \t'(x) ==0.

IV. - Oontinuation des fonotions.

iH, Los paragraphe» prcec1dents montrcnt eornment la consideration des s(!ri('s entieres donne naissanee it des functions de .1' continues, admettant des derivees, Toutes ces fonctions, obtenues par des series entieres, 011 des comhinaisons, en nomhre fini 011 iofini, de ces series, se ramencnt elles-memes iI des series CIIlitires, et se trouvent toujours, I', moins qu'il ne s'agisse de fonclions transcendantes entieres, enfermees dans un cercle, le cerel ... de convergence de la sel'ie finale. 11 nous reste it moutrcr COIll-

stall!S IlOXT I.R8 TERDES DRpBNPEXT u'rxF. V.UIIABLB. 75

ment on peut sortir de ee cercle : on y arrive par In notion de In continua lion de. fonctions (I).

Soil

line s«!t'ie entiere ell x - .xo, admeuant pour cercle do convergence le cercle Co, de centre ,l'o, de rayon Ro' La somme de cette serie deflnlt une fonction de x pOllr toutes les valeurs de Ia \'0- riable qui vel'i1ient In condition

I ~' - .7'01 < Ho.

Cette serie est, suivant In tenninologie de M. Welersuass, un eMment de fonction anatytique.

Soit, mnintenant,.xl 1111 point sitlle ill·illll!,.ielll' du eercle Co' Si I'on fuit

:r-.1'0 =--:.7'1 - :ro·· . It,

" "'~:r - .7'1.

iI existera, d'apres Ie n" 42, une serie procedant suivant les puissances de II, ayant In 1l1l1me somme Clue In serie proposee, et convergente tnnt que l'on aura

1,('-;.1'11 < Ho--I.rJ- ;.1'01.

e'est-a-dire tnnt q"e le point a: est it. l'interieur du cercle decrit du point XI commc centre, ct tangent intdrieurcment all cercle Co: no us designerons ceuo serie par

Les coefficients bot bl, ••• , bll, ••• ne sont autre chose que les valeurs, POUI' ~c = ,rl, des fonctions

,... d n

..... o(.r-·l'o). -l·-\!o(.r-.l'o), ~ .7.'

I dn

--- --1£0(2' J'.I, I.~,. ,II d.7'11

Designons pnl' HI le I'oyon du cercle de convergence CI de Ia serie '.l'1 (.:c - XI)' Deux ells pCtI\'enl SI! presenter: 011 bien l'on

(.) M, llt!ray. qui, par son enseignement et ses publications, a etc I'un de ceux qui ont Ie plus contribue it fonder la tlillorie des fonctlons sur la consideratioD des series enticres, emptole J'e,;pression de chaminemen«,

jO IlITftODVCTIOl'l,

aura, que! que solt le point x, interleur au cercle Co,

ft, = Rv - 107'1 -.To I;

011 Lien, pour certains points IIU molns, on aura nl> H.-Ia',-:zou!'

Dans Ie premier cas, doni 011 n d'ailleurs des excmples ( , ), I"

( ') Telle est 10 sc!rie signalolc Jlur At, Lerch (Acta mathemalica, I, X, I', 87)

N=to

'.r(.rj = 1: .:cU .• ,n

n='

rlont le cercle de convergence a paul' rayon I : 5i I'on pose

x = ,.(cos, + isin,)

,'I sl 1'00 suppose y :::!!. 21:, p et q elan I entiers, on ,'oil sans pelne qu'on Ileut q

ecrirc, pour ceue valeur de 10 ,ariable,

IlZ':.(/_' 11:=:..

Cl'(.l.'):: ~ x'·2 ... n+ 1: ,.'.! ... n.

0:" n=<,

La seconde parue du deuxleme memhre est reelle et la vuleur ahselue de lu premiere e~t moindre que q - I , la seeonde parlie crolt d'oillcl!rs ind~liniment quand " tend rers un, por des nleur! erclssantes ; il ell est done de meme de I \1'(x) I quand le polut x s'approche de la circllnCcrenco du eerele C, ell restant sur le rayoll qui aboutlt au point dont l'uCfixe eSI

CIIS/!. 3:: + i sin e ~l:;

q q

all en eonclut quc ee point ne peut ~trc situe! Ii I'inlerieur du eerele do convergeoce d'une serie £.£'. (~- ~.) dt!duite de \r(~) comme it a etc cxpliqu~ dans le texte, D'ailleurs sur tout arc de la circon{el'Cnee du eerele C, se Irou vent une inllnih! de points donl I'Groxe a la forme preCedeDte: taus les cereles de convergenco des series Iclles que c.t". ($ - ~.) sont done langrD!;; lnlcricurement all eerele C" 11 en serait de meme pour 10 serie

et d'autres series analogues qui se rcncontrent dans la tlll!orie des Conctlons elliptiques, mllis la demonslration cst UD peu plus compliqulic. On pourra consulter sur co sujct UD InicreSS8Qt article de AI, Mcray dans Ie Bulletin de, Scienl:f¥ maIMmat/que" 2' serle, t, Xli, p, 348.

SARISS DONT LBII TBR)JBS Dt!P8!'1DBS1' D'CNI! \·ARI4PLl!. i7

function dellnie 1'111' la premiere selt'ia ~'(x - xo) est reellement (,lIfcrmcc dans Ie ccrcle de convergence Co j elle ne peut ~lre COIIliflltec: au dela.

Le second ells est eelui qui se prcsente le plus souvent dans les applications ciCmentaires j nous allons nous Y arl'l1ler.

52. Dons Ie cas qui nous occupe maintenant., II'S deux cereles Co et C, ont line partie commune [Cu, CI). Nous allons demontrer (11Ie, ell tout point e, interieur Ii. la fuis nux cercles Co, el, les deux serles 9.'0 (x - .To), 1£1 (x - ;I' I ) reprdsenteut 111 meme Ionclion.

D'abord, pour tout point e', situc Ii. I'inierieur du cercle C~ d(\cril du point x, comme centre et tangent interieurement Ii. Co, les deux fonctions <,l'o(.:r-xo), <.L'I(X-.x,) sent egales ainsi 'IIH! leurs derivees. La chose est cvidcnle potlr les derivees , si l'ou regarde celles-ci comme les limites du rapport de l'aceroissement de 111 Ionction Ii. eelui de III variable, Elle apparalt aussi clairement, si l'on compare les deux. ddveloppements

'.l'u(.1"-,2·o) + ~ l'~(z'- .2'0) ........ -r- .s.: lJ.'~nI(02'' -Il'u) +. _._

1 1.? ... 1l

'.l'!(a;'-:rl)+ ~ 1'\ (Il"-.'l'.) + ... - .. _ __!III_ 9.\"I($'-.r..) -, .. ,

1 I.? ..• It

(hh'c1oppe1l1(!nts oil !r~nl(x' - xo), tj.':'!(X' - ,1',) ddsignent les \'11- leurs )lour.!' = x' des nl ..... ' dcrh't:es par rapport iI x de c.t'o(x-xu). '.l', (or - .x.), ('I (lue 1'0n obtient en remplaeaut, dans ces dCl·-. nieres functions, x par x' + It, puis en ddveloppant suivant IC5 puissances de II. Ces deux series entieres en II doivent avoir des valeurs egales pour des valeurs suffisammenl petites de II. et , par eousequeut, doivent avoir leurs coefficients correspondents eganx (11"36), Si douc le point ~ est intcl'icur all cercle C;, les deux sllries Y.'o(,T-Xo). 'l,(X-XI) ont memo valeur en ce point, ainsi que toutes leurs derivces.

Si l'on considere, en gencral, deux points quelconques XI et ~. (In petit les supposeI' relics de III fll!Jon suivante, Imaginons une suite formee pal' un nombre Iini de points, d'aillcurs aussi 1'1I»prochcs qu'on voudra,

IXTRODI:CTION.

dont les points x, et e scient le premier et Ie dernier, et une suite correspondante de cereles

Ct. rt, 1'" .. ,' rllt r,

leis (ille le centre de chaque cercle soit le point correspondent de In suite

1'1 (111I! ehaque cerele contienne, it son int,lrieur, le centre du cercle suivant, NOlls uppellerons In figure formec par ees cereles et leurs centres ckatne de cercles entre x, et ; (').

Les points ,x, ct ~ ctnnt inll!l'ieurs It l'espace [Co, C,J, nous slipposel'ons In chatne fOl'mee de cercles qui scient tous interieurs Ii cet espacc et qui n'en touchent m~me pas In limite. On pOllrra, si ron veut, prendre, pat· exemple, les points ;" ~~ ••• ,' ;11 SUI' le segment de droite qui [oiut x, it e,

Ceci pose, en t01l1 point du cerele CI, les deux series 9.'0(,1' -.xo), \1' I (.l' -'£1) alit les memes valeurs, ainsi Clue routes leurs derivces; nous dirons que I dans ce cercle , ellcs coincident, Le point. ;1 est interieur aux eereles c., Cu, CI, Si, dans l'une au l'autre des series lfIo(x' - .xu), \1'1 (.1' - .xI), all remplace ,1' par ;1 -c- X' -~, et qu'on ordonne pur rappOI'! Ii x - ell 011 formera deux series identiques entieres en x - ~ •. On peut I'C)lrCSentcl' l'une ou I'autre par

eeue derniere serie converge surement dans Ie cerele fit intch'iclll' nux: cerelos Co, CI, I'l Y colncide tant avec 'l'o(.c - .To) qu'avec <£. (;I.' -x.), Le point ;~ est interieur nux eereles Co, CI, f" Si, duns Ics.slll'ies <.1'o(..c-.xo), '.l'I(X-;l',), tD,(.x-el), 011 remplace .x par ~~ +:c -;~ et qu'on ordonne pal' rapport It s: - e~, on I'ormeru lrois series identiques cntieres en or - ~2' et dont rune quelconque pcut ~lre representee pal'

1;11(.1'- ;1);

eeue derniere serie converge dans tout le cercle r, iDtCl'iCUI' it

(.) II est souvcnt commode de supposcr que chaque eercle eooliennc aussi I.~ centre du eerele precedenl, alln qu'on pulsse deseendr« III chaine on ullant de ; il :C.' comma on la monte en allant de JI, Ii ~,

SallIES noxr 1.1111 TERIIBR Iltl'Bl'IDI!:,(T II 'CN!! V ARI411Lf.. '9

Co et it CII el," colncide UI'Cr. c.l'o(x-.1'o) et I£,(x-x,). On eontinuern de In milmc lill;OIl, £'1 I'on Jlol"'iendra ainsl, POI' un nomhl'efilli d'operations, Ii une serie entiere en ,7.' _o ;,

couvergcnte duns le cerele l' de centre ;, interieiu- IIIIX cercles Cd et CI, et colneidunt , duns ce cerclc, 111111 avec IJ.'Q(.x - ;l'o) (JU'OI'('(' lJ.'I(;t' -xlj, La proposition est demontree.

ti3, NOll~ ,'(,1I0IlS de voir qu'il existe line function /(x) qui, POlll' tout point interieue solt au cercle Co, soil 1111 cercle CI. corncide soit avec 1J.'o(.r-.ro), suit avec I£,(;.r-xt}, soit avec les deux, si Ie point x est it III fois interieur am: deux cercles,

POIII' un point de la eieconference du cerelc e'l situd 1\ l'interieur du cercle CI. 011 doit prendre pour deflnition de /(.1') la 1'11- leur que fournit la serie 1£, (;t' - .:l',). A cause de 10 continuite, 011 volt que, si In sCl'ie (l'o (J' - xo) se trouve lltre convergente en co point, elle fournira 10 rndme determination, comme illoCsuJte du second theOl'eme d'Ahel , en supposant qu'on s'approche <III point .1: en suivant le rayon du cercle Co (lui ," aboutit, Mail; In slh'ie '.t'o(x - .xo) peut n'ell'e convergente ell IIUCtln point de l'axe considere, et ii/aut alors recourir it In seconde serie tJ.', (;x - .1',),

Les polnts ~ilucs SUI' I'are de cerele C" eontenu l\ l'inl(I"jetU' tie Co, donneraicnt lieu Ii des observations scmblahles,

Les arcs de chacun des cereles Co, el, qui sont inlel'ieurs n l'autre, petl\'cnt etre ellaees, ('1, duns I'airc limitee PUI' les arcs restants, aire que 1I0U" designerons pilI' le symbolc

«Cu. Cd),

fin II defiui uno fonction unlvoque /(x), jouissant des propl'i6ltls qui suivent : En chuque point a: illtel'iclll' i, l'aire consideree, la Ionction est Ilnie, continue, et ndmet des deri\'(lell de tous les urdres j ello est ddveloppable ('II IIl1e serie entiere 011 .1: - (I, conlel'genle POUI'I'U (Iue la valeur absolue de s: - a soit sufflsamment petite, (On exprime souvent l'onsemblc de ees proprietes eu ,lison! (IUC In Ionetion est I'(1gult'i:I'e en lI,)

On dit aussi que In s(I";e lJ.'o(~t· -.1'0) est continue« duns le eercle el, hors du cercle CII, pal' In serio 1', (.r - :l'I)'

80 I:tTROOCCTION,

51. 11 est u peine utile de falre remarqucr que, si la serie

<.Po('!' - .To) = lIo+ a.(.r - xu) +, ,,-,- a,,(x - ,l'o)"..,.., , , cst eoutinuee pal' la sloric

'.l.'t(.r -.r.):=: bo+ bl(.:t:-.T.)· -" ,+ b,,(,1'- ~'a>" -i- ....

les series

dtll'i\'ecs suecessives de la premiere, seront, de meme, continuees paries series

derin!es sueeessivcs de la seeonde,

De meme encore, si l'on pose

la serie to (.t' - ,1'u) sera continuee, dans Ie cercle C1, pili' III

serie

~.I(;c-.TI) -r- to(.rI-.rU)'

qui, au point .l'1, coincide avec elle ainsi que ses dcri\'ces, Dans Ie cas OU le cercle C. contiendrait le point .l'O! les deux series 'lui se c ontinuent devraient eIre logales POtU' 3.' =.co j on aurait alors

55, On a suppose, dans ce qui precede, que les cercles Cu, C. ctaienl les cercles de com'ergenctl des deux series I,{lo(.:c - ,1'0), Il'. (.c - .l'.); mais il est evidenl que tous les raisonnemenls subsisteraicnt sans modification si POll avait pris , a In place du eercle Co, lin cercle concenuique de rayon moindre j puis. nlll'c:~ avoir ddduit de In meme fiil,on In scl'ic I,{l,(.c-x,) de la seric I.t'o(.l' - .xo), a la place du ecrcle (;, un cercle concentriquc plus petit,

Si 1'0n continue a supposeI' que les cercles Co et C, sont lc~ cercles de convergence des deux series cro(.x - .1'0), !PI (,r - ,I:. \

~t.IIII!S IIOllT US 1'I!RIII!S Dill'BNlll!H IJ'VlI£ ,'ARIABLI!. 8,

on peut falrc une rcmllfquc interessante relative nux rayons Ro el H, de Co et (;,

Le eercle C, clout, all moins, lnterieurement tangent all

eurcle Co, 011 a

On II, de memo,

nu?~ R,-I 1l'1-:C. I.

Cela est evident, si Ie cercle C, ne contient pas Xo Ii son interieur ; dans le cas contraire, cette incglllile r(lsuIte de ce quc l'on aurait pu deduire 10 serie ~'o(.c - .:L'o) de In SI!!';C 1,1;), (x - x,), comme 011 a dt!duit!l', (.x - .x,) de Wo(.x - ,To); on poserait

~',(.t' -:r,) = 9.\ (:r.- .1'1 +.:r -:Co)

'n ~\', (.To - .T.>

== c",,(.To-:rj) -i- --' --- (:r-.ru) +." ,

W(III(.r..-Il',)

+ -.I _ .. _- (.r.-Il'O)"+""

',II .. ,II

ella serie qui figure dans Ie dernier mcmbre serai to identique, terme par terme, Ii. (1\ (.c - .xu), pulsque les dell x Ionctions <.P, (.c - .x.), \I.'o(x - o.!'u) doivent, pour s: = .ro' thre egales, ainsi quc toutes leurs del'i\'ces ('),

!SG, Si 1'011 prend un point .£:l intt!l'iclll' it l'aire «C., C,» et si l'en cousidere 10 scrie

entiere en .x - ,x2, qui represente en ,T3 el aux environs immediats 10 fonctionJ(x), il peut arriver que le cercle de convergence de '.P:I(x - .1':1) depasse I'alre « C., (;,», ce qui permet alors d'etendre I'aire dans laquelle 10 fonction/(x) est dennie, Et 1'0n peut continuer ainsi. On concevra d'ailleurs plus facilement la possihilite de ceue extension pill' les remarqucs que nous allons faire dans ce numero et dans le suivant,

ConsidCI'ollS une portion (A) du plan, limitde par un 011 plu-

(I) Si 1'011 donne au point .:Ill les diverses positions qu'Il peut oeeuper duns Ie eercle C,I it ehaque posltlon correspondra title! valeur pou,' HI' II r~suJte de lu remarque l>rt',,:~dentc 'Ille In llmlte slIllt!ricu,'c de l'cnsemhle des ,'alrurs dc HI cst 2 n,. On dtlumnlrc '11iC la limite inr':'!'ieul'c de eel ensemble est 0" limlte qui n'cst d'allleurs attelute pour aucun poillt intdrieur II C.'

1'. et ~J. - I, 6

J!'ITRODUCTION,

sieurs contours, mais d 'nilleurs conneae, c'est-a-dire telle que l'on puisse toujours joindre dell" points interieurs l\ (A) par une ligne brisee situee tout entiere dans (A) at n'en rencontrant pas le contour,

Supposons qu'une fonction /(.1') soit dt!finic pour tout point a appurtenant il (A) OU Ii son contour, at soit telle qu'il existe line serie cta(.c- a), convcrgente pourvuque la valeur absolue de x - a reste inferieure u un certain nombre positif'flee r, independant de a, aussi petit qu'on Ie voudra , et que ceue seric ait les mt\mes valeurs que /(:r) dans Ie cercle de centre a et de rayon 1'(1). NOllS dirons que In fonction /(.x) est holomorphe dans l'aire (A), et sur son contour.

Soit une seconde fonction 1'(:r) aussi holomorphe dans I'aire (A) et sur son contour, Ie rayon de convergence des series entieres par lesquellcs on peut I'exprimer aux environs de chaque point etant aussi au moins ega I a 1'.

Si en un point a, interieurit (A), les deux fonctions /(.x), 'f(:r) sont egales ains;' que toutes leurs derivees, ellesco"incident en tout point de l'aire (A).

Autour de co point a, en effet, dans un eercle de rayon ega) ou int~rieur it r,les deux fonctions sont representees par Ja meme seric entiere en :.c - a j soit main tenant b un autre point in tt!ricur Ii (A), on pourra rclier les deux points a, b par nne chaine de cercles, tous de rayons inferieurs a I' et tous interieurs a l'aire (A). D~s lors, Ie raisonnement employe dans Ie numero precedent pour

(') Toutes les restrictions que nous faisons lcl, eomme Ie lecteur s'cn can valnera sans pelne, ne sonl pas nc!cessaires; elles so1l1 faites pour faeiliter le raisonnoment dans une thllorie dont nous lie voulonl exposer que los partie. les plus esscnlielles.

Ainsi la (onclion I(:.e), dc!finie dans I'aire «C •• C,», dans le 0° 53, 00 salisferail aux eonditions imposees que &i I'on substituait aux eereles C., C, des cereles respectivement eoncentrlques, mais de rayons moindres.

Ajoutons encore ql.l'en parlanl de courbes qui servent de eontcue ou de Iignel d'integration, nous supposerons toujours que l'on a affaire II des lignes formces d'un nombre flni d'arcs de eourbes simples, comme des portions de droiles, d'arcs de eercles, ete., OU, plus gencralemenl, d'arcs de courbc~ anal),liqut" c'est-lI·dire telles, que les coordonn~es rectangulaircs d'un de leurs poiDts puissont s'exprimer par des serics cnticres, • coefficients rc!els, par rapporl A un param~tre r~el I, lequel ne doit varier que dalls Ics limite, oil ees series sont obsolument convergentes.

stRIIIS DONT LES TRUSS Otpl!SDEST D'CSS '·ARIADLS. 83

prouver que, au point;, los deux s(h'ics <.Po(.c - .To), \P, (.1: - x,) avalent meme valeur, ainsi que tallies leurs dcrivccs, suhsiste (h·i· demmenl i en allant de ccrelc en cercle, on volt que les deux lonctionsf(.x), 1'(.'(') sont representdes, dans chaque corcle, pal' III meme sel'ie entiere, On voit aussi d'ailleurs qlle eel! deux fonclions doivcnt coincidel' sur Ie contour de (A).

En particuliee, si 1l'1'(X - a) est In serie cnli~re en {.t' - a (illi represente In fonction f(.c) dans Ie cercle de rayon,. at de centre a, l'egalite

devra subsister pour tous les points :t: qui sont u. III fois situes u. l'intdrieur du eerele de convergence de la serie et a l'interieul' de (A). Si I'on considere un cercle de centre a et situe tout en tier il I'intcricur de (A), l'applieatlon evldemment legitlme dela fcrmule de Cauchy

!(:r) = _!.- J/(.$) d:;,

:ur. ;;-0:

au l'inlegrale est effectuee Ie long de la circonference de ce eerele, dans le sens direct, montre que 1'0n a, pour tous Ies points .r interieurs u co cerelo,

!(z)=J/~~ d:;+(.r-a)f..1J~ c/:;

;;-11 (JJ-CIJ'

+(r_a),!(·fllS) ,d:;+ .... :;-a)

Le second membre n'est autre chose que 10. s~rie ~tI (x - a) et 1'011 volt cille Ie rayon du cercle de convergence de ceue serie est all moins ~gal a la plus COU1·to distance du poinl a au eontour de (:\) ('). Le rayon du cercle de convergence est m~me necessalrement lin peu plus grand, Cll raison de l'hypothese qui a etc faih' sur la Calton dent '11 fonction f(x) se comporle sur Ie contour de (A).

Si maintenant 011 part d'un point b interieur Ii la lois u (A) et au cercle de convergence de In serie Ij" (x - a), III que 1'011 1'00'uw

(I) Celle dernlcre conelusion pourrait so do!duirc, en ne (ai~Dt intervenir que des propositions aPI,arlenant II III lIuiorie D.cme des series, du theoremc cnone'; dans lu note du n· 55.

8~

Ill. serie

IXTRODl'CTfO!'l.

UII aura

pour tous les polnts z situc.ls ilIa fois dans (A) et it l'inlcl'jetll'du cercle de convergence de Ill. !It\ric 1£6 (.£ - b). en sorte que, duos (A), Ill. continuatian de III fonction 1£,,(.£ - (I), eflectuee comrne il a ete cxplirluc duns les nO' 52 et 53, sera toujours fournle par Ill. fonction f(.i').

Supposons en nil que I'aire (A) soit limitce par un contour simple. AIOl's, !Ii ron part du point a intcl'ielll' it (A) pour aboutlr, en suivant UIIC courhe i dont tous les points appartiennent Ii (A), it un puint;c appurtenant aussi u A, I'int~gl'alc

sera, comme it rcsuh.e du thdoreme fondameutal de Cuuchy sur Il.'s intcgl'ales prises entre des llmites imaginaires, independante de III courbe (-;); cllc deflnira done une fonction F(.l'), univcque dans I'airc (A) ct l'on sail, par Ill. theorie de Cauchy, q"e ceue fonetiou est holomorphc dans (A).

On arriverait assez faeilement a Ill. notion de ccue fonction F(.l·) en continuant dans l'aire (A) Ill. serie ~,(x - a) entiere en (.x - (I) qui a pour derivee, dans Ie cercle de centre a et do rayon 1', III seric 1);'" ~~t:- a) ct cela en suivant un procede qui sera explique tout au long 1It1 nil 61; nous laisserons ce so in lUI lecteur.

»7. Considerons maintenant deux portions du plan (A), (U) limitees chacune PUI' un contour simple et deux fonctions J(..r), ?(.l') holomorphcs ehacune dans I'aire correspondante et SUI' son contour, 1I11 seas qui a etc fixe dans le dcmier numero,

SIIPPOSOIIS (ILlC Ies deux aires (A). (D) cmpietent I'ullt! SUI' l'autre et qu'cn un point a interieur it Ill. fois il (A) et a (B), les deux limctiollsJ(.l'), 'f(r) scient cgalcs ainsi quc toutes ICIII'S cllll·ivdes cOI·I·c~P()IIlI(lIlICS. Alol's it est clair, pur le IIl111let'O prcccdcul,

stal!!S OO~T u:s TF.RlIE!I niipR~DBU D'UI! HIIIABLI!. 8,j

(III{! les deux fonctions ne cesseront pus de eouicider, ainsi que routes leurs derlvees dons toutc 10 I'egion (C) commune ilia fois a (A) et Ii (B), et dont les diff~l'cnts points pcu\'cnt etl'(ll'clie~ U 1I )lUI' UIIC ligne IJI'isce doni tous les points appartiennent il In fois iJ (A) et Ii (13),

Supposons d'abord Clue les deux aires (A) ct (13) n'aient pas d'autres points communs que ceux qui appartienncnt a la region (C) ainsi dcfinie : on pOlIl'l'a effacer III partie du contour de (A) (lui est dans (0), cello du contour de (B) qui est dans (A) et dans I'uire

((A, D»),

dont les points appartiennent soit it (A) soit a(B), on aura dcfini line fonction holomorphe F(x), egale it /(;1:), a ?(x) au aux deux fonctions /(x) et 9(;1:), suivant qllc Ie point x est dans (A), dans (B), all it In fois dans (A) et dans (B).

l\Iais, si los deux aires (A) et (B) ont line autre region commune (D) tclle que l'on ne pOt y penetrer en partant de act en restantci la fois duns les aires (A) et (B), rien, dans ce qui precede, n'autorise it dire quc, dans ceue region (D), les deux fonctions /(x), If (x) cotncident, II pourl'a, suivant les circonstances, en ctre ou n'en ~tre pas ainsi, et il fuudra se garder, dans ce dernier cas, d'effacer les portions du contour de (A) ou de (B) qui Iimitcnt la region (D). On volt, suns que nous iasistions davantago, comment s'introduit de ceue fafton, Ja notion de cOl/pure, cllle nous supposons d'ailleurs familiere au lecteur,

5S. Donnons un exemple des methodes et propositions qui precedent. Panons de In serle

:c .2" :c~

c.ll(.x)= - - ._+ ..... - ...

1 II ,

dans Iaquelle le ccrcle de convergence C a cvidemment I'unitd paUl' l'8yon. En un point x inturieur It ce cerelc, on II po III' les derivees suecessives

(j'!'(X)==I-.1I+Xt-, •• ee -'--. ,+.zo

\1'"(.2')=- --'-, (,...,..,'t. )'

~ .. ,

I'IIIJ(.zo) = (-I)n-I I.:l ••• (II.=-,-! (1-1-.7')"

86

IXTROllrCTIOX.

et par suite, 3:', elant un point intdrlcur u C,

~(;r)= ~(a'I)+ ~ _ ~ (,20_-=:.':.11 + ~ ~:I'-.:r_l)~ _, ..

1-;- a'i "(I -;- :1'1)' l (I'*- :G1)3

e-e 1).'(a'I)..;-.<2 (~,2OI)'.

1+,201

On voit d'aillours quc la s~ric

eutiere en s: - x" est convergentc taut que l'on u

1:I'-.t'1! < II +:1'1:.

c'est-a-dire tant que le point xcst sltue Ii l'interieur du cerele C" dccril du point x, com me centre et passant pur le point -I, Ainsi le cerele de convergencc de la serie

;, "n (:1' -3'1)'

ex (:I'll + (J. ------

I -r- ;1'1

est gcn~ralement exterieur en partie DlI cercle C, et l'on a ainsi un premier moycn de continuer la fonction 'l'(x) en dehors du ccrelc G, moyen dont on pourra d'ailleurs poursuivre plus loin I'appllcalion,

D'autre part, si a! est un point quelconque exterieur Oll interieur au cerele C, mais dont toutefois l'affixc n'est pas raeUe negative at plus petite quc -I (OU =-1), la sdeie

(il (Z-:r') rr-a:' I (~-rr')t 1 (::r-.T')'

~ h- ;to' = I T.l' - 2 (I -;- .T' )! + 3 t I -;-. 07" )3 - .. ,

,'nliill'c en a: - .x', est convergente lunt quc ;r verifie In condi-

lion

IX-x'l <: ll+.x'l,

c'est-a-dire tant que a: est situc ill'intel'icul' du cerclc C' decrit de ,I" commc centre et passant par le point -, j et comme 10 dc.:"i\'ce

1'81' ''apport it x de 1).' (::: ~) est egalc u

I I I

------;;-.:10' I+:r' = i+::r' 1+ 1-;-:1

11*11188 !lONT I,IIK THR!l8S n2pSSPBJIIT !l'eNS \'ARIABLI!, 8,

los fonetions

U'( cr (:t: - :I" )

:r), I +~."

ont en 3.' routes leurs derivees egales j on en conclut que, en designant par a une valeur de x vel'iliant Ii la fois les conditions

10i<I, la-:&'I<!I+:r'j,

les deux Ionctions

m rR (:& -fl.") 'R (n -:t') '1\

'A (fl.' ), ~ I + :r' - ~ I + .1" + c." (Q )

coincident ainsi q1le leurs derivCes au point a, Elles coincident, par consequent, dans louie la region commune Ii deux cereles respectivemenl concentriques RUX. deux cercles C et C' et de ra'y0ns lin peu mcindres j par-suite enfln, en un point quelconquc dc la region commune aux deux eereles C, e', laquelle contient le point a, Si I'on efface les portions des deux eirconferences C, e' dont chacune cst intdrieure au' cercle doni elle ne fait pas partie, on a delini dans I'aire

«C, C'»)

une fonction unique /(x) holomorphe dans eettc aire mais non sur le contour.

Si I'OD avait pris comme point x' un point d'aCfixe reelle negative et plus petite que - I, il n'existerait pas de point a j c'est pourquoi DOUS avons eselu ces valeurs de :r'.

Si l'on eonsidere main tenant un autre point tt' tel que In circon(crence C" decrite du point x· comme centre et pnssant par Ie point - I n'ait aueun point commun autre que ce dernier point avec la region [C, C'], commune aux. deux cercles e, e', et, si I'OD designe par b un point interieur a la (ois aux deux ccreles C, C", on voit que los deux aires limitees par des contours simples, C" et «C, C/», auront en gcncral deux parties communes: I'une contient le point b j les points de I'autre ne peuvent ~tre relies all point b sans franchir le contour de l'une ou de I'autre des deux aires, Dans In premiere, les fonctions f(:v) et

cr(~:C') _~(b-:l") +~(b)

1+7 I+.r.·