cours de lathe ati ues speciales

4
series et equations differentielles
E. RAMIS 3e edition C. DESCHAMPS J. ODOUX

m
MASSON

COURS
DE

MA THEMA TIQUES
SPECIALES

SERIES EQUATIONS DIFFERENTIELLES ET INTEGRALES MULTIPLES

CHEZ LE MEME EDITEUR

Des memes auteurs COURS DEMArn~MATIQUESSP~ClALES,par E. RAws, C. DESCHAMPSet J. Oooux. Volume 1. - Algebre, 1990, 2e edition, 2e tirage, 448 pages. Volume 2. - Algebre et applications A la geometric, 1990, 3e tirage corrige, 312 pages. Volume 3. - Topologie et elements d'analyse. 1988, 2e edition, 2e tirage, 376 pages. Volume 4. - Series et equations differentielles, 1990, 2e edition, 2e tirage, 328 pages. Volume 5. - Applications de l'analyse a la geometric. 1981,320 pages. ANALYSE.EXERCICESAVECSOLUTIONS, ar E. RAMIS, C. DESCHAMPSet J. Oooux. p Tome 1. 1984,200 pages. 224 pages. Tome 2. -1985,

ALGEBRE. ExERCICES AVECSOLUTIONS,par E. RAMIS, C. DESCHAMPSet J. Oooux. 1988,200 pages. Autres ouvrages : TOPOLOGIE,par H. LEHNING. Collection Mathematiques nO 1. 1985, 128 pages.
Superieures et Speciales,

IN-rnGRATION ET SOMMATION, avec exercices, par H. LEHNING. Collection Mathematiques Superieures et Speciales, n03. 1985, 128 pages. ANALYSE EN DIMENSION FINIE, avec exercices, par H. LEHNING. Collection Mathematiques Superieures et Speciales, n04. 1986, 192 pages. ANALYSEFONCTIONNELLE, H. LEHNING. Collection Mathematiques Superieures par et Speciales, n05. 1988,256 pages. D~RIVATION, avec exercices,
Mathematiques

par H. LEHNING, D. JAKUBOWICZ. Collection Superieures et Speciales, n02. 1987, 184 pages.

COURS D'ANALYSE MArn~MATIQuE : TH~ORIE DES FONCTIONS,par G. VALIRON. 1990, 3e edition, 2e tirage, 522 pages. L'ANALYSE HARMONIQUE,son developpement historique, 344 pages. par J.-P. PIER. 1990,

COURS DE

MATHEMATIQUES , SPECIALES
par

E. Ramis
lnspecteur general de I'l nstruction Publique

C. Deschamps
Professeur de Mathematiques Speciales au Lycee Louis-le-Grand

J.Odoux
Professeur de Muthemutiques Speciales au Lycee Champollion, tl Grenoble

4 SERIES EQUATIONS DIFFERENTIELLES ET INTEGRALES MULTIPLES

Classes Preparateires et Enseignement Superieur (1er cycle)

Troisieme edition

MASSON
Paris Milan Barcelone Bonn
1993

Tous droits de traduction, d'adaptation et de reproduction par tous precedes, reserves pour tous pays. Toute reproduction ou representation integrale ou partielle, par quelque precede que ce soil, des pages publiees dans Ie present ouvrage, faite sans I'autorisation de I'editeur, est illicite et constitue une contrefacon, Seules sont autorisees, d'une part, les reproductions strictement reservees A I'usage privt du copiste et non destinees A une utilisation collective, et d'autre pari, les courtes citations justifiees par Ie caractere scientifique ou d'information de l'oeuvre dans Iaquelle elles sont ineorporees (Ioi du 11 mars 1957 art. 40 et 41 et Code penal art. 425). Des photocopies payantes peuvent 8tre realisees avec I'accord de l'editeur. S'adresser au : Centre francais d'exploitation du droit de copie, 6 bis, rue Gabriel-Laumain, 75010 Paris, ttl. : 48.24.98.30. © Masson. Paris, 1977, 1993 ISBN: 2-225-84067-9

MASSONS.A. MASSONS.p.A. MASSONS.A. DORR und KESSLER

120, bd Saint-Germain, 75280 Paris Cedex 06 Via Statuto 214,20121 Milano Avenida Principe de Asturias 20, 08012 Barcelona Maarweg, 30, 5342 Rheinbreitbach b. Bonn

AVERTISSEMENT

Le present ouvrage est Ie quatrieme des cinq tomes d'un Cours de Mathematiques ecri: a I'intention des eleves des classes de Mathematiques Superieures et de Mathematiques Speciales (types M, M'; P, P' et TJ. II est conforme aux programmes actuellement en vigueur .. en particulier, la breve etude des series trigonometriques et des series de FOURIER quifigurait dans les editions precedences a ete renforcee. Au prix de quelques complements, nous avons fait en sorte que l'ouvrage soit utilisable par les etudiants du premier cycle scientifique des Universites et par les candidats aux concours de recrutement des professeurs de mathematiques. Conscients du fou qu'un cours de mathemaiiques peut s'organiser de bien des [aeons, et desireu» de respecter le choix des professeurs - auxquels nou.~ n'aoons, naturellement, pas Lintention de nous substituer - nous at'ons groupe dans chacun des cinq tomes un ensemble coherent auquel le lecteur pourra se reporter sans hesitation. Les deux premiers tomes sont consacres ci Algebre et it ses applications a la Geometrie, L'Analysejeu I'objet des Tomes 3 et 4. Tome 3 "Topologie et elements d'analyse ; Tome 4 " Series, equations differentielles et integrales multiples. Le dernier tome traite des Applications de l'Analyse it la Geometric . • Nous nous sommes efforces de respecter au maximum I'esprit des programmes .. il nous est toutefois arrive de traiter certaines questions sous un angle plus general que celui qui yfigure explicitement. N ous aoonsfait avec moderation ..cest ainsi que nous avons etudie quelques generalitf?s sur les modules, cependant sans aller jusqu'd la notion de module de type fini .

• Nous avons apporte Ie plus grand so in au choix des notations. La terminologie utilisee est en general celle des programmes et de leurs commentaires. C'est ainsi que,' - pour no us, tout anneau possede un element-unite, d anneau unitaire ( ou unijere), ce qui dispense de parter

VI

AVERTISSEM

ENT

nous imposons Ii tout morphisme d'anneaux de transformer ['element-unite de /'objet en celui de I'imaqe, ce qui evite I'introduction de la notion de representation, nous imposons

tout anneau inteqre d'etre commutatif.

no us convenons que lesformes sesquilineaires sont semi-lineaires

a gauche.

• Ajin de nous adapter aux exiqences des divers utilisateurs de notre ouuraqe, nous avons utilise deux c:orps de caracteres, les plus petits etant consacres : - d'une part a des remarques, exemples et contre-exemples qui doiuent etre consideres c:omme formant un tout avec le texte imprime en caracteres normaux, - dautre part a des complements reserves a une II seconde lecture» et qui, en fait, s'adressent aux eleoes des c:lasses M' et eoentuellement a ceux des classes T. • Nous avons utilise le siqne D, qui peut se lire: « la proposition en resulte », pour materialiser la jin d'une demonstration et annoncer I'introduction d'une idee nouvelle. • Le double asterisque, • ...• ' permet d'isoler un resultat [aisant intervenir des notions qui n'ont pas encore ete etudiees dans le Cours, mais qui sont connues du lecteur (a charge pour celui-ci de s'assurer qu'i/ n'y a pas de cercle oicieux ). • Le systeme de reperaqe est simple: le numero du tome est indique en chiffre« romains, ceux du chapitre, du sous-chapitre et du paraqraphe en chiffres arabes. Cest ainsi que 1.5.6.2 renvoie au second paraqraphe du sixieme sous-chapitre du cinquieme chapitre du tome I,( Ie numero de tome n'etant pas specijie lorsqu'il n'y a pas d'ambiquite). Des exercices sont adjoints a chaque chapitre. Bien qu'ils soient de dijjiculte ineqale, nous n'avons pas juq« bon de les reperer par des lett res aoertissant le lecteur de leur dijjiculte croissante. En principe, les plus faciles sont en tete de chaque serie.
LES AUTEURS

TABLE DES MATIERES

l. Series 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. 1.9.

. Serie, Somme d'une serie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Etude de la convergence absolue d'une serie . . . . . . . . . . . . . . . . . . . . . . Series semi-convergentes ....................................... Produit de deux series. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Associativite et commutativite de la somme d'une serie . . . . . . . . . . . . . Integrales impropres et series. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Calcul approche de la somme d'une serie , . . . . . . . . . . . . . . . . . . . . . . . . Families sommables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Produits infmis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I 6 15 20 22 27 34 37 43 45 53 53 60 71 77 83 92 92 100 112 120 124 127 140 149 149 160 164 189 191 191 214 227 235

2. Suites et series d'applications

.........................................

2.1. Generalites sur les suites d'applications 2.2. Continuite, derivabilite, integrabilite de la limite d'une suite d'applications.... . .. 2.3. E~u.de d:une !nte.grale impropre dependant d'un parametre . . . . . . . . . . 2.4. Senes d applications , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. series entieres. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1. 3.2. 3.3. 3.4. 3.5. 3.6. Convergence d'une serie entiere . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Etude de la fonction somme d'une serie entiere , . . . . . . . . . . . . . . . . . . . La fonction exponentielle complexe et ses applications ............. Exponentielle d'endomorphisme; exponentielle de matrice . . . . . . . . . . Series trigonometriques ........................................ Series de Fourier. ............................................ Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4. Equations dirrerentielles 4.1. Introduction .-... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Le theorerne de Cauchy-Lipschitz. .............................. 4.3. Etude d'equations particulieres Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5. Equations differentielles lineaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.1. Etude du cas general. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2. Equations differentielles lineaires it coefficients constants. . . . . . . . . . . . 5.3. Equations dont la resolution conduit it des equations lineaires Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

VIII

TABLE DES MATI ERES

6. Integrales

multiples

.................................................

243 243 247 253 255 260 275 276 287 297 305 313 313 322 322 325

6.1. Integration des applications en escalier ;.................. 6.2. lntegrale de Riemann d'une application d'un pave de W dans un IKespace de Banach (IK = IR ou q. ............................... 6.3. Integrale de Riemann d'une application Ii valeurs dans IR. . . . . . . . . . . 6.4. Classes d'applications integrables 6.5. Integrale de Riemann d'une application d'une partie bornee de W dans un espace de Banach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7. Caleul des integrales multiples, des aires et des volumes. . . . . . . . . . . . . . . . . . .

7.1. Reduction des integrales multiples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2. Changements de variables dans les integrales multiples. . . . . . . . . . . . . 7.3. CaIcul des aires et des volumes .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8. Complements sur les integrales multiples ...............................

8.1. Integrale multiple impropre 8.2. lntegrales multiples dependant Exercices

INDEX ALPHABETIQUE

............................. d'un pararnetre . . . . . . . . . . . . . . . . . . . .

....................................................
•....••.••.•......•...•...•........•..•...........•.

1
SERIES
Dans tout Ie chapitre, IKdesigne IRou C, E desiqne un IK-e.v.n., et Ie plus souvent un espace de Banach. Nous avons appris (1.2.1.1,3°) a associer a toute [amille presque nulle (aj)iel d'elements de E un element de E, note)' symbole fe1
iel

a.: Nous allons essayer de donner un sens au n'est pas presque

L a.; alors meme que lafamille

nulle. N ous commencerons par Ie cas OU I est denombrable (dans la pratique I = N) qui sera Ie cas des series. Nous generaliserons au 1.8, par l'erude desfamilles sommables.

1.1.

SERlE. SOMME O'UNE SERlE

1.1.1. L'espace vectoriel des series a termes dans un e.v.n.

I"
DEFINITION. -

Soit

(an)nEN

une suite d'elements

serie de terme general an' et on noteI:an, la suite (an, I'e.v.n. E x E. L'element

k =0

i a »)
k

de l'e.v.n, E. On appelle d'elements de

neN

L
k=O

ak de

E sera note An' et appele somme des

(n

1) premiers

termes de la serie I:ani on dira que (An)neN est la suite associee a la serie I:an. II nous arrivera d'ecrire : ao + a1 + ... + an + ... pour I:an. Une serie aterrnesdans IR(resp.C) est dite serie reelle (resp. serie complexes.

r L'espace

vectoriel Y'(E). ex

En utilisant l'egalite : bk

k=O

ak

+P

k=O

k=O

(exak

Pbk)

valable pour tous n

(an, bn) E £2, on constate que: ex) L'application de I'espace oectoriel EN dans lui-mime dejinie par:
E

N, (ex,

P) E 1K2 et

avec

SERIES

1.1.2

est un automorphisme, l'automorphisme reciproque s'ecrivant :

(A

et

.)"eN

a.

f---+ (a .)"eN A. - A._I

avec pour

ce qui montre qu'une serie est determinee par La donnee de La suite associee; ~) Eapptication de I'espace teet oriel EN dans Iespace cectoriel (E x E)N d~.finie par : avec

est lineaire. II en resulte que, au titre d'image de cette application, I'ensemble des series a termes dans l'e.v.n. E est un sous-espace vectoriel de (E x E)N, que l'on designe par 9'( E).
3° Troncature d'une sene. - Si no us ne disposons que d'une forme (a.)n;;.nu' avec no E N*, c'est-a-dire d'une application de N\{O, ... dans E, nous pouvons pro longer cette application en une suite convenant que b; = 0 pour n < no, et que bn = an pour n ~ no. Nous

suite de la , no - 1} (bn).eN en disposons

ainsi d'une serie Inversement,

r.bn qui
a

sera designee par Ie symbole r. an'

la serie r.an et au naturel no, no us pouvons associer une

nouvelle serie r. an' qui est dite serie deduite de r.an par troncature.

1.1.2. Convergence et somme d'une serie

I'
DEFINITION.
n

Soit

r.a

une serie

a termes dans l'e.v.n,

E. Designons par

(An).eN' avec An

L
k=O

ak> suite assodee. Selon que cette suite est convergente ou la

divergente, on dit que la serie

r.a.

est convergente ou divergente. En cas de

+ac

convergence, I'element lim An de E est appele somme de la serie et note Lan'

.=0

Un e.v.n. etant un espace topologique separe, l'unicite de la limite d'une suite assure l'unicite de la somme d'une serie,
REMARQUES.

sene

a termes

- a) La nature (convergence ou divergence), et eventuellement la somme d'une dans I'e.v.n. Ene changent pas si l'on rem place la norme par une norme equivalente.

h) Une serie la. et une serie cas de convergence,la

t ...

l
t1;"
tIu

a. qui s'en deduit par troncature

sont de meme nature,

., I

En

somme de la seconde serie est visiblement

L a. - La.:
"-=0

nous la noterons

La •.

II="U

1.1.2

SERlE.

SOMME

D'UNE

SERlE

Plus generalement soient I:a. et I:b. deux series auxquelles on peut associer no E N tel que a. = b. pour tout n ~ no. Alors les series sont de meme nature et, en cas de convergence, les sommes
ftll-

different de

(ak

bk).
presque nulle d'elements de l'e.v.n, E, alors la serie I:a" est

"=0
c) Si (a")"EN

est une suite

convergente

et sa somme n'est autre que l'element

L
'lEN

a. introduit

au tome I.

2" PREMIERS EXEMPLES - Au point ou no us en semmes, l'etude d'une serie n'est pas autre chose que l'etude de la suite associee, Voici deux exemples dans lesquels on peut obtenir une expression simple du terme general de eette suite. a) Etude de la serie reelle Pour n D'ou :
E

I: Log (1
n~1

lin).

. L

N* : Log (1 Log (I

lin) = Log (n = Log (n

+
I).

I) - Log n.

Ilk)

La serie etudiee est done divergente.

"==1

b) Etude de la serie reelle I:

I ---. n;. I n(n + I) I I I Pour n E N* : --= - - --. n(n + I) n n+ I I I D'ou : L --= I - -. • = 1 k(k + I) n+I La serie etudiee est done eonvergente, de somme

L
n= 1

I --=1. n(n + I)

REMARQUE. - L'interet de la notion de serie n'appara1tra que plus tard, lorsque nous montrerons qu'it existe des procedes permettant ,retudier une serie independamment de la suite associee, et donc de ramener retude d'une suite tl celie d'une serie.

3° Proprietes des series convergentes. - PROPOSITION I. - L'ensemble des series Ii termes dans un e.v.n. E qui sont convergentes est un sous-espace de I'espace vectoriel des series Ii termes dans E; I'application qui a une serie convergente associe sa somme est une application Iineaire de ce sous-espace dans E.
Simple consequence
REMARQUE. la serie somme I:(a.

des theorernes

sur les limites de suites.

Soient I:a. et I:b. deux series termes dans E. Si elles sont de natures differentes, b.) est divergente; mais la serie I:(a. + b.) peut converger alors que ehacune

des series considerees diverge (penser veut « scinder » une serie,

a b. =

- a.); des precautions

s'irnposent

done lorsque

l'on

PROPOSITION II. continue de E dans F. Si

1:u(an), a termes

1:an est une serie convergente a termes

des theoremes sur la composition

Soient E et F des e.v.n. et u une application linea ire dans E, alors la serie

dans F, est convergente et a pour somme

u(~: an).
des Iimites. D

Simple consequence

SERIES PROPOSITIONIII. Soit E

1.1.3

k=1

n
m

Ek un produit d'e.v.n.; on note Pk la

projection canonique de E dans Ek, et' qk I'injection canonique de Ek dans E. La serie I:an, a termes dans E, convergesi, et seulement si, pour tout k E Nm,la serie I:Pk(an), a termes dans Ek, converge. On a alors:

Se deduit des propositions COROLLAIRE.et I:an une serie

I et II, compte tenu de an

m

L
k=1

qk(Pk(an))

Soient E un e.v.n. de dimension fmie, (ek) ... k.. m une base de E, dans E. On pose an

a termes

L
k=1

an,kek'
E

La serie I:an converge si, et seulement si, pour tout k termes dans 11\\, converge. On a alors :

Nm, la serie I:an.k,

CAS PARTICULIER. La serie complexe I:an converge si, et seulement si les deux series reelles I:9Pe (an) et I:.J'm (an) convergent. On a alors :

n=O

n=O

n=O

1.1.3.Notion de serie absolument convergente

1° Le eritere de Cauchy. - DEFINITION.- On dit que la serie I:an, termes dans l'e.v.n, E, verifie Ie critere de Cauchy si, et seulement si:

3NE

'tin ~ N

(I)

En utilisant la notation 3N:: N

habituelle 'tin ~ N

An

L
k=O

at, (1) s'ecrit :

Le critere de Cauchy pour la serie I:an n'est done pas autre chose que Ie critere de Cauchy pour la suite associee (An)nEN' II en resulte : THEOREME. - Une condition necessaire pour qu'une serie a termes dans un e.v.n. converge est qu'elle verifJe Ie critere de Cauchy. Si I'e.v.n. est complet (et, en particulier, si E = IRou C) la condition est sufflsante.

1.1.3 En prenant
p

SERlE.

SOMME

D'UNE

SERlE

= 1 dans Ie critere de Cauchy, on obtient

COROLLAIRE.- Une condition neeessaire (mais non suffisante) pour que la serie 1:a. converge est que la suite (a.) •• 111 admette 0 pour limite. REMARQUES.- a) Dans certains cas, ce corollaire divergence d'une serie, C'est ainsi que la serie complexe lal ~ 1, est divergente. b) En revanche la serie reelle (lin) = O. En effet, pour tous n D'ou: La serie harmonique
E
n~ I

1:£1", ou

suffit

prouver

la

a E C verifie

1: lin, dite serie harmonique,

on a : 1/(n

diverge, bien que

lim
11-

+ 00

N* et kEN.,

k) ~ 1/(2n) .

Tin E N*

L
k=l

1/(n

k) ~ 1/2.

ne veri fie done pas Ie critere de Cauchy.

r Series absolument convergentes. - DEFINITION.- La serie 1:a., Ii termes dans un e.v.n. E, est dite absolument convergente si, et seulement si la serie 1:11£1,,11i I termes dans ~ + est convergente.
THEOREME. - Toute serie absolument convergente, e.v.n. complet E est convergente, et verifle : 1:a., Ii termes dans un

Soit

EE

~t. D'apres

Ie theoreme TlPE N

du 1°, il existe N

N tel que:

Tin ~ N Afortiori : Tin ~ N

k=l

Ila.+k11 ~

TlPE N

IIJI a·+kll

E etant complet, d'apres Ie critere de Cauchy (compris comme condition suffisante) la serie 1:a. converge. L'inegalite entre sommes s'obtient, par passage it la limite, it partir de :
Tin EN
EXERCICE PROPOSE. -

o
des assertions :

Soil E un e.v.n. Prouuer fequivalence

i) E esl complet; ii) Toule serie Ii termes dans E qui est absolument convergente est convergente.

SERIES

1.2.1

1.2.

ETUDE DE LA CONVERGENCE ABSOLUE

D'UNE SERlE

US derniers resultats obtenus nous incitent reels positifs.

a etudier d'abord une serie a termes

1.2.1. Convergence d'une serie a termes reels positifs

I'
THEOREME. -

La serie I:u",

a termes

reels positifs, est convergente si, et

seulement si la suite associee (An),.EfII' avec An

la serie est alors la borne superieure de {A"ln E N J. La serie est divergente si, et seulement si: lim
,,+£1..)

k=O

Uk'

est majoree, La somme de A"

=

(XJ.

La suite associee
REMARQUES. -

a la serie
+

etant iei eroissante,

valable

on applique

III 1.2.2.4. 0

a) Ce theoreme

justifie la notation,

pour toute serie 1:a. it termes reels

positifs

L
• =0

a. <

00

si la serie converge,

aft =

00

s! elle diverge .

b) Pour une serie reelle quelconque, une condition necessaire, convergence est que la suite associee soit bornee (penser 1:( - 1)").

mais

non

suffisante

de

r Les criteres de comparaison. - THEOREME. deux series termes reels positifs veriflant :

Soient

I:an et I:bn

TInE N

i) Si la serie I:bn converge, alors la serie I:an converge et :

o~ L
n~O

+a)

+ a:>

an ~

b;

(1)

n~O

ii) Si la serie I:an diverge, alors la serie I:bn diverge. lei:

TIn

EN

L
k~O

ak

L
k~O

bk 0

et i) est un corollaire

du theoreme

du 1

0 ;

ii) s'en deduit par eontraposition.

REMARQUES. a) II resulte de ce theoreme que la propriete pour une serie it termes dans un e.v.n. Ed'etre absolument convergente n'est pas modifiee quand on remplaee la norme par une norme equivalente (ee n'etait pas evidentt),

1.2.1
b)

ETUDE

DE LA CONVERGENCE

ABSOLUE

D'UNE

SERlE

Hormis l'inegalite (1), Ie theoreme precedent reste valable sous l'hypothese moins forte:

COROLLAIRE.

Soient I:an et I:bn deux series

a termes

dans

IRt

veri6ant

i) Si la serie I:bn converge, alors la serie I:an converge;

ii) Si la serie I:an diverge, alors la serie I:bn diverge. En raisonnant par recurrence, on verifie : avec On concIut par Ie theoreme et la remarque precedente, compte tenu de ce que, puisque k::f. O,les series I:bn et I:kbn sont de meme nature. 0
PROPOSITION I. Une condition necessaire et sufflsante pour que la serie reelle I:un soit absolument convergente est que les deux series a termes reels positifs I:a: et I:a; , avec :
0

3 Application II fetude de la convergence absolue.-

a: soient convergentes.

= sup (an' 0),

u;

= sup( - an' 0)

ill condition est necessaire.

Resulte du 20, compte tenu de : et

ill condition est suffisante. - Compte tenu de lanl = a: la convergence de la somme de deux series convergentes.
m

a;, cela resulte de 0

PROPOSITION

II. - Soit E

n E, un produit d'e.v.n.; on note Ph la projection

k= I

canonique de E dans Ek• Une condition necessaire et suffisante pour que la serie I:un Ii termes dans E soit absolument convergente est que, pour tout k E Nm, la serie I:Pk(an), Ii termes dans E, soit absolument convergente. Nous pouvons adopter

L
k=1

IIPk(X)1I pour norme de x -

E.

ill condition est necessaire.

Resulte du 20, compte tenu de :

ill condition est suffisante. resulte de la convergence

Compte

tenu de

II0nil =

L
k=1

Ilpk(anlll, cela

de la somme de m series convergentes.

8
COROLLAIRE. -

SERIES

1.2.1

Soient E un e.v.n. de dimension finie, (el)l<k<mune base de

E, et Lan une serie

a termes

dans E. On pose an =

'" L
t=l

an,lel' La serle I:an est

absolument convergente si, et seulement si,pour tout kEN"" la serie Lan,t, dans IK,est absolument convergente.

a termes

CAS PARTICULIER. La serie complexe Lan est absolument convergente si et seulement si les deux series reelles L 9le(an) et L ~ m (an) sont absolument convergentes.

4° Domination et convergence, - PROPOSITION I. - Soient Lan et I:bn deux series a termes reels positifs verifiant an = O(bn), au voisinage de + 00. i) Si la serie Lbn converge, alors la serie Lan converge. ii) Si la serie Lan diverge, alors la serie Lbn diverge.

no

Compte tenu de la positivite, l'hypothese N et de exE IR! tels que:

implique (I1I.S.1.2) l'existence de

Puisque ex "# 0, les series Lb. et Lexb. sont de meme nature. On applique le2'. 0
COROLLAIRE I. - Soient des series La. II termes dans un e.v.n, E et rob. II termes dans IR+, telles que, au voisinage de + 00, a. = O(b.) et que rob. converge. Alors roa. converge absolument.

En effet, au voisinage de
COROLLAIRE

00 :

lIa.1I

O(bn).

no E N et (ex, ~) E (1R!)2 verifiant : \:In ~ no

II. - Soient deux series reelles, Lan et Lbn, telles qu'il existe (b. >
0)
1\

(ex ~ an/b. ~ ~)

Alors les deux series sont de meme nature.

o
+
00,

Pour n ~ no, on a an > 0 et b; > O. Au voisinage de

b;

a.

O(b.) et

= O(an)·

PROPOSITION II. - Soient des series La. II termes dans un e.v.n. E et robn II termes dans IR+, telles qu'il existe k E E\{O} veriflant : an "'" kbn, au voisinage de

00.

i) Si Lb. converge, alors roan converge absolument, ii) Si rob. diverge, alors La. diverge, iii) Si E est complet (et, en particulier, si E meme nature.

= IRou C) les deux series sont de

- L'hypothese impliquant an corollaire I precedent.

= O(bn)

au voisinage de

00, i)

resulte du 0

1.2.2

ETUDE

DE LA

CONVERGENCE

ABSOLUE

D'UNE

SERlE

Supposons ici que la serie l:.bn diverge; comme k :#: 0, et comme, au voisinage de + 00, an - kb; = o(kbn), il existe no E N tel que:

Soient (n, p)

N2, avec n ~ no' On a :

et a fortiori (du fait de l'inegalite triangulaire)

Si la serie l:.an convergeait, elle verifierait Ie critere de Cauchy (compris comme condition necessaire); afortiori la serie reelle l:.bn verifierait Ie critere de Cauchy ce qui constituerait une contradiction avec Ie fait que cette serie diverge. 0 -. Enfm l'assertion iii) resulte de i) et ii), compte tenu de ce que si E est complet, la convergence ahsolue de l:.an implique sa convergence. 0
REMARQUE. -

II suffit, pour que la proposition

II reste vraie, que I.bn soit une serie reelle b; ~ 0,

verifiant

3N

N
:

'<In ~ N

ou encore (ainsi que Ie lecteur Ie verihera)

3N
En revanche, nous exhiberons bien que, au voisinage de +
00 :

'<In ~ N

bn

O.

au 1.3.3, deux series reelles I.a. et I.bn qui sont de natures differentes an bn•

50 Les series de reference. - Nous venons de voir que dans certains cas, l'etude de la convergence d'une serie reelle l:.an, ou celIe de la convergence ahsolue d'une serie l:.an Ii termes dans un e.v.n., se ramene Ii l'etude de la convergence d'une serie l:.bn Ii termes reels positifs. D'ou l'idee d'introduire des series de reference, de nature connue, susceptibles de jouer Ie role de l:.bn• Nous commencerons par celles qui correspondent Ii l'echelle de comparaison la plus usuelIe, au voisinage de + 00, Ii savoir l'echelle des puissances.

1.2.2. Comparaison d'une serie avec une serie de Riemann

1 Series de Riemann. 0

D~FINITION. -

Toute serle reelle de la forme l:.

n~

In'"

_!_,

00 exE IIIest donne, est elite serle de Riemann.

10
PROPOSITION.

SERIES La serie de Riemann

1.2.2 1 I: - converge si, et seulement si

n~

(X > 1.

.;0 1

Pour (X = 1, il s'agit de la serie harmonique, qui diverge (1.1.3, 1°). Pour (X ~ 1, la divergence est une consequence de la divergence de la serie harmonique, compte tenu de : TIn E N* lin ~ lin·. Supposons (X > 1. Etudions la serie 1 I: an, avec
.;01

a De:
n

= -• n~-

- ------:(n + 1)~ -

(n on deduit la convergence En ecnvant au voisinage de

1)~-1

et

lim
n-

+ 00

(n

1)·-1

00,

,.

: an

n~_ 1

1 ( ( +~ , 1)1-~)
ll:ii!=

de la serie 1-

I: an'
I

(X-I on constate que: an '" ~.

00.

En utilisant la proposition est de merne nature (X -

(X - 1 II du 1.2.1,4°, on en deduit que la serie I: --~.;0 1

que la serie

Lan,
.;01

c'est-a-dire

convergente;

comme

1 ¥- 0, il en est de meme pour la serie

L I/n~.
.;01

r Regles dites « de l'ordre ». - PROPQSITION I. - Soit I:a. une serie Ii termes dans un e.v.n. E telle qu'il existe k E E\{OJ et (X E IR veriflant: a. '" kn-·, au voisinage de + 00.
i) Si (X > 1, alors la serie La. converge absolument complet); ii) Si (X ~ 1, alors la serie I:a. diverge. On applique la proposition II du 1.2.1, 4'. (et converge si E est

PROPOSITION II. - Soit La. une serie Ii termes dans un e.v.n. E. S'il existe (X > 1 tel que la suite (n"llanll).EN soit bornee, alors la serie converge absolument.

En effet, au voisinage de

00,

an

0 (:~).

1.2.2

ETUDE
PROPOSITION

DE LA

CONVERGENCE

ABSOLUE

D'UNE

SERlE

II

III. - Soit l:an une serie reelle. S'i1 existe ex :::; 1 tel que:

+
alors la serie diverge. Supposons lim ntl.an
+ 00

00

(resp.

lim ntl.an
n-

- (0)

+ 00

n-

=+

00.

II en resulte qu'il existe no

N tel que an

>0

des que n ~ no. De plus, au voisin age de

00, -

ntl.

0 (an).
J

o
+
~n

3° EXEMPLES.- a) !Iude de 1:a.. avec a. = n2 + n + I aisement Ie developpement limite au sens fort, au voisinage de

Jn

otn2

'Y .On obtient

00:

3 ler CAS: ot i' -.La serie, dont Ie terme general ne tend pas vers 0, diverge. 2
2e CAS: ot = -, ~ i' -. Alors, au voisinage

3 15
8 8

de

+ =

00,

a. -

(5 ~)I

- - - -. La serie diverge. 8 3n

3eCAS: ot

3 IS = -, ~ = -.

que Ie recours Ii un developpement dans Ie troisieme cas. b) Elude de la serie reelle Pour n ~ I, no us avons:
n~l

Au voisinage de

0 - . La serie converge. Le lecteur notera n2 limite au sens fort nous a permis de nous en tenir Ii I'ordre I.,meme

00, a.

( 1)

1: a.. avec a.

(cos ~

)n:

'Y

Ill. de

cos (ljn) > O. Ecrivons,

au voisinage

00,

Log a, = n'LOg(cOS~) ler CAS: 'Y < 2. Ici: 2" CAS: 'Y
(Log a.) = 0, et (Log a.)

= - ~n'-2

0(n,-2)

n-+a.

lim

lim It-. ')'an = I. La serie et

11- +«.

diverge.

2. Ici:

• -+00

lim

= - -,
2

lim

a.

e-I/2•

La serie diverge .

3e CAS: 'Y > 2. Ici: Log (n"a.) s'ecrit : ot Log n

lim
11_+00

a. = O. Etudions

n"a .. ou otest, pour Ie moment.

un reel quelconque.

n' Log (cos~)

= - ~ n,-2

(I _

2otn~~: n

0(1»)

Comme 'Y > 2, no us avons, quel que soit e ; lim

,.-+00

20t Log n ---=0,

".,-2

et

lim (n'an) = O.

II suffit d'adopter

ot = 2, et d'utiliser

la proposition

II pour constater

que la serie converge.

12

SERIES

1.2.3

1.2.3. Comparaison d'une serie avec une serie geometrique

1 Series geometriques. - DEFINITION. - Toute serie complexe de la forme I:a", 00 a E C est donne, est dite serie geometrique. PROPOSITION. - Soit la serie geometrique I:a". Si lal ~ 1 elle diverge. Si
0

1 elle converge et a pour somme 1/(1 - a). - Supposons lal ~ 1. La suite (a")" e N n'admet pas 0 pour limite. II en resulte que la serie I:a" diverge. - Supposons lal < 1. D'apres Ie calcul de la somme des termes d'une progression geometrique dont la raison n'est pas 1, nous avons:
'tin

lal <

EN

k=O

"

d'

= --

1
a

1I

a"+ - --

1-

La proposition

resulte de

lim a"+
n-

+ 00

O.

Regle de Cauchy. -

THEOREME.

Soit I:a" une serle

a termes

dans un

e.v.n. E. On note A E IRla limite superieare de la suite defmie au III.2.3.6, 5'".

(1Ia"lll/n).eN" telle

qu'elle a ete

i) Si A < 1, alors la serie I:a" est absolument convergente (et convergente si E est complet); Ji) Si A iii) Si A

> 1, alors la serie I:a" est divergente.

1, on ne peut pas conclure a priori,et on parle de cas douteux de La d'abord que lorsqu'une suite (x"),, d'elements de IR,admet une

regie de Cauchy.
Rappelons limite dans
eN

IR, celle-ci

est it la fois lim sup x" et lim inf ~". Le theoreme

s'appliquera done dans Ie cas ou la suite <lla"W''')"eN' admet une limite dans IR, cette limite jouant Ie role de A. Passons maintenant la demonstration:

i) Supposons definition d'une

A < 1. Choisissons ~ E IR, tel que A < ~ < 1. D'apres la limite superieure, il existe no E N tel que, pour tout n ~ no, Ila"III/" :::;;u, ce qui s'ecrit lIa,,1I :::;; ~n. D'apres Ie theoreme du 1.2.1, 2\ la convergence de I:~" entraine celie de

I:lla"ll·

ii) Supposons A > 1. La suite UlanWln).eN' admet A pour valeur d'adherence ; pour tout N E N, il existe n ~ N tel que Ila.lllln ~ 1, ce qui s'ecrit II"'nll ~ 1; la suite (an).elll n'adrnet pas 0 pour limite. D 1 iii) Considerons par exemple une serie de Riemann I: --;, a. E IR. On constate A si a.. ~ 1. Notons

.;,In

lim n - ~/n= 1. Or la serie converge

n-

si a. > 1, et elle diverge

cependant que, dans Ie cas OU Ilanlllln tend uers 1 par oaleurs superieures la serie (an)neN n'adrnet pas 0 pour limite; on peut alors affirmer que la

+ 'X.

serie I:a" diverge.

1.2.3

ETUDE
-

DE LA CONVERGENCE
= (ch I/n)-·J.
2

ABSOLUE

D'UNE

SERlE

13

EXEMPLE.

Serie reelle l: a., au a.

n~I all.

= (ch 1fn)-n

= exp (-

n2 Log (ch lin)). lim a!,n = e"

1,2

De

lim

(-

n2 Log (ch lin)) = - 1/2, on deduit

La serie consideree

est

convergente.

3° Regie de d'Alembert. e.v.n, E, veriflant:

THEOREME.

Soit I:an une serie IItermes dans un

On note respectivement inferieure de la suite

n

("alIanllIII)n~ no'
+

LE IR et I

IR la limite superieure

et la limite

i) Si L < 1, alors la serie I: an est absolument convergente (et convergente si E est complet); ii) Si I > 1, alors la serie I: an est divergente; iii) Si I ~ 1 ~ 1., on ne peut conelure, et on parle de cas douteux de la regie de

d'Alembert.
n . . Le t h" eoreme s .app I' ique d ans Ie cas ou Ia suite ("a + ---

dans IR, celle-ci pouvant jouer it la fois Ie role de Let celui de I. En voici la demonstration: i) Supposons L < 1. Choisissons k E IRtel que L < k < 1. \1 existe nl (verifiant nl ~ no), tel que, pour tout n ~ nl, ---"""
E

III) a d met Ilanll "~""

une I' . mute

Ilan+ III ~ k , Ilanll

ce qUI secn

."

it

---

Ilan+ III "" --,+ I .....bn Ilanll b;

avec

b n _ kn • -

I: lIanll.

D'apres Ie corollaire du 1.2.1, 2°, la convergence

ii) Supposons I > 1. II existe n 1 E N (verifiant n I 1. On

de I: kn entraine celie de

lIan+ III n ~ nl, -11-- ~ a.11

n'admet

d a one Ilanll ~ lIan II, pour

I

no), tel que, pour tout

tout n ~ nl, La

. suite (an).e1\1
0

pas 0 pour limite.

iii) Dans Ie cas d'une serie de Riemann, on a I = 1 = 1., mais on ne peut conclure a priori. D cependant

Dans Ie cas ou

lIan+ I IlilianII tend vers 1 par valeurs superieures, on peut affirmer que la serie I: a. diverge.
-

EXEMPLE.

an + -tin

1)-.. +
n

Serle reelle
n

l: a. acec an = -. ~I nil lim

n .......
I

n!

D'ou

an + -_.
eI'l

e-

I.

La serie converge.

14

SERIES

1.2.3

CompUments sur Ie « ells douteul: )). - II existe de nombreux precedes pour etudier une serie Ii. termes dans IRt, lorsqu'on se trouve dans Ie cas douteux de la regie de d'Alembert (ef. exercices I et 2). On pourra en particulier, utiliser :
PROPOSITION. - Soit l: a. une serie a termes dans IRt alaquelle tels que, au voisinage de + 00 : --=
a.+ 1

on peut asseeier deux reels at et

a.

1--·+0

Ct

I) --,
11,1

avec k

p>

I.

Alon il existe k e si, et seulement

~t tel que, au voisinage

de

00 : a.

- - (ce qui implique que la serie converge n"

si at > I).

11 s'agit de montrer que la suite (lI'a..l"e"" admet une limite dans :Jilt c'est-a-dire que la suite (B ..I"e"" avec B. = at Log (n + I I + Log a .... 1 est convergente. 11revient au me me de montrer que la serie l:h., dont (B")neN est la suite associee, est convergente. Pour II E I'll., on a:
b.. = B.. - B.._ 1=
Ct

Log(1

1/111+ Log ---

till'"

a;

D'ou, au voisinage

de

x : b..

o( ~), n
Y

avec

y = min (2, PI.

(2n 1).(2n

EXEMPLE. -

. 2.4 .... (2n - 2).(2n) Elude de la serie l: a. avec a. = ---------3.5 ....

I)

2n + 2 I ( I) = --= I - - + 0 - . La serie diverge. 2n + 3 2n n2 Voici une application de la proposition precedente : Ici -a.+ 1

a.

Formule de Stirling. - PROPOSITION. - Au voisinage de + n! - J2nn n·e-n

Posons

00:

a. = n ! n-· e". Au voisinage de + a•• -an

1

00 :

exp

I-

II

Log

(I))+
I de

+- +
2n

(I)

-. n2 s'ecrit :
(I)

II existe done k e IRt tel que: au voisinage

00,

a. - k

J~,ce qui

n! - k
- Pour determiner k, utilisons

J~n· «».
de Wallis:
2

les integrales

I. = Jo

r-/

sin·, dt.

Au 111.6,7.2, 5, b, nous avons trouve une expression

de I2,et

12

,+

I'

dont nous pouvons deduire :

24'.(p!)4
[(2p)!].[(2p

I)!] n'

(pe !'loI).

1.3.1
Nous avons d'autre

SERIES
part montre :

SEMI

CONVERGENTES

15

lim
n-+
I

12 --=1. 12p de

.+ ,
+

(2)

En utilisant

(I), nous avons, au voisinage

0C0 :

Comme Compte

(I

1/2p)2P"

e, il vient : --

12

.+ , -

k -.

12•

21t

tenu de (2), on en deduit : k = J21t. des regtes de Cau£'hy et de tl Alembert. I pour limite dans PROPOSITION. -

o
Soit (""I"E'"
+.

4' Comparaison suite

une suite de reels strictement

(a! ·)"E""

positifs telle que la suite (a". ,/a")"E'" admette une limite lEi

Alors la

admet egalement

+•

- Cornmencons par une remarque. Pour tout I, E ~ verifiant 0 < I, < I, la serie II';/a. converge d'apres la regie de d'Alernbert ; son terme general tend vers 0; il existe II, E 1'\1 tel que, pour tout II ;;. II" I';/a" ,,; I, ce qui s'ecrit I, ,,; a,: ", De me me, pour tout 12 E ~ verifiant I < 12,Ia serie Ia,,/I~ converge; il existe 112 E N tel que. pour tout n:;;;: n2.O < a,~" ~ 12• - Traitons main tenant Ie cas: I E ~!.Pour tout (I" 12) E 1Jil' tel que 0 < I, < I < 12, il existe (d'apres la remarque precedente] no E I"IJ tel que, pour tout n ;;. no, I, ,,; a!l. ,,; 12 : d'ou
n-+

lim
'1

a!l.
-

= I.

Dans Ie cas I = 0 (resp I =

(0), on utilise seulement

12 (resp. 101.

REMARQUE.- Inversement (a"

+

la suite

(a!i

) "E

III'

peut admettre

une limite A E i. ,sans que la suite

,la"I"E'"

admette

de limite. II en est ainsi lorsque:

lei A = oJah. ApPLICATIONS. - a) Si l'etude de la serie Ia" conduit d'essayer la regie de Cauchy qui conduirait,

a:
,,--

lim
.. I

lila", ,ll/lla"ll)

I. il est inutile

elle aussi, au cas douteux. certaines suites. C'est ainsi qu'ayant , nous ecrirons u. = admet

b) La proposition

peut permettre

reelle lim
" .... +'1.

de

terme

general

un

_-

d'etudier
(n !)2 (2n

a etudier

la suite

I)!

a! In

nous

constaterons

aa+ o/a.

= 1/4 et no us en deduirons

que la suite donnee

1/4 pour limite.

1.3. SERIES SEMI CONVERGENTES

1.3.1. Definition. Premieres proprietes

1 DEFINITION. - Une serie a termes dans un e.v.n., convergente mais non absolument convergente est dite semi-convergente.
Q

16

SERIES

1.3.2 les series

r PROPOSITION I. - Si la serie reelle 1: an est semi-convergente, 1: a: et 1: a; sont divergentes (notations du 1.2.1,3°).

On a:
an = a: -

a;

et

la,,1 =

a: + a;.

La convergence de 1: an implique que 1: a: et 1: a; sont de meme nature. Si elles etaient convergentes, 1: la,,1serait convergente. 0 Nous laissons au lecteur Ie soin de verifier:
PROPOSITION II. - La serie complexe 1: an est semi-convergente si, et seulement si.les deux series reelles 1: fJle (an) et 1: J m (an) sont convergentes,l'une d'elles au moins etant semi-convergente.

1.3.2. Regie d'Abel

1 Transformation
Q

d'Abel. -

THEOREME

ET DEfiNITION.

(IK

= IRou IC),et (a")"EN une suite d'elements de

E

E telle que: a"

(n, p) E

Soient E un IKe.v.n, r:J."h", avec a; E IK

et h"

E. On pose B; =

L
k= U

hk• Alors, pour tout

a.n+k+

N2 on a:

k=1

anH

k=1

(a.n+k -

Bn+k

a.n+ 1 B;

r:J.n+p+

Bn+p

Cette ega lite est dite transformation D'apres Soit

d' Abel.
(n, p)

La
kE0

= 0, l'egalite est vraie lorsque

EN

x [0].

(n, p) E

N x N*. En utilisant:

on obtient (moyennant

un changement

d'indexation
p-l

dans la derniere somme):

k=1

an+k =

k=1

a.n+k Bn+k

k=O

r:J.n+k+ 1 Bn+k·

(IK

- THEOREME I. - Soit E un IK-espace de Banach que la serie 1: an, dans laquelle an = r:J.nbn avec (r:J.n, bn) E IK x E, converge, il sufflt que les trois conditions suivantes soient satisfaites : Regie d'Abel.

= IR ou C), Pour

i) La suite (Bn)"

N'

avec B;

L
k=O

bk, est bornee;

ii) La suite (r:J.")"EN iii) La serle 1: lr:J.n

-

admet 0 pour limite;

r:J.n+ Ii est convergente.

1.3.2

SERIES

SEMI

CONVERGENTES

17

Supposons les trois conditions satisfaites. D'apres i), il existe M E IR~ tel que: TIn la transformation
E

IIB"II ~ M;
p) E

d'Abel permet d'ecrire, pour tout (/1,

N2

11= I

Ilf a.HII~ M( f
II
~=I

IrL"H - rL"H+tI

+ la,,+11 + IrL,,+p+ll)

Soit E E IR~. En utilisant d'abord constate qu'il existe N EN tel que: TIn ~ N TIn ~ N On en deduit : TIp EN
p

ii), puis iii) et Ie critere de Cauchy, on

lex,,1~ E/(3M)
la.+k
-

L
k=!

a.+k+

Ii ~ E/(3M)

La serie ~ a. verifie Ie critere de Cauchy.

THEOREME

II. - Le theereme I reste vrai si I'on remplace la condition iii) par

la condition : iv) La suite (a.).E N est roolle et decroissante. En effet lorsque iv) est satisfaite on a, pour tout n EN:

lex" - ex"+ II

a. - a. + !,

et

L
k=O

lak

ak+Ii

ao - a.+I·

Si, en outre, ii) est satisfaite, la serie ~ IrL. - ex"+ II converge (et a, d'ailleurs, pour somme ao); la condition iii) est done satisfaite. D • Meme sous la forme du theoreme II, la regle d' Abel est d'un emploi delicate if ne taut l'essayer que lorsque les reqles usuelles de convergence absolue sont en de/aut.

Ilil;

Enmple des series trigonometriques.- PROPOSITION. - Soit (a.). E Nune suite de reels positifs. i) Si la sirie 1: a. est convergente, alors la sirie 1: a.ei.' est absolument convergente pour tout
E

ii) Si la suite (a.). pour tout t E 1lil\21tl.

Nest decroissante et admet 0 pour limite, alors la sirie 1: a.ei.' est convergente

i) Resulte de : 'lin E N la.ei·'1 = a •. ii) Pour tous n E N et t E 1lil\21tl, on a :

t=o

"

eiA' =

(ei't = ---t=o e" - I

"

ei(,,+I)f

18
et donc:

SERIES

1.3.3

·I IL e
Uu 0=0

2 leil-II
---

I = -_. Isinl/21

On applique Application

Ie theoreme

II.
eilll

a fetude

de la serie In-'

n.,1:

n'

(t E IR, exE.IR~). convergente pour tout t

E

t= Cxs : ex > l. D'apres

ei·'1

= n-', la serie est absolument convergente.

lit

2e CAS: 0 < ex ~ l. La serie n'est pas absolument elle est divergente. convergente. Si t
E

Si t E 21tI, elle s'ecrit

1: -, et
n~ I

n.rI.

1R\21tI, elle est convergente

d'apres Ie theoreme precedent, et est done semi-

Etude des series de

cos (nt) sin (nt) 1: --et 1: ---, (t E IR, exE IR~). II s'agit des parties reelle et imaginaire n~1 nl2 n~1 nil

1:
II ~

nil! convergentes.

I·r CAS: ex > l. Les deux series sont absolument 2· CAS: 0 < ex ~ l. Si t absolument. convergentes Dans
E

I 21tI, il s'agit de 1: - qui diverge, et de la serie nulle qui converge n ~ 1 nO: ce qui suit, nous nous limitons ate 1R\21t1 ; les deux series sont alors l'etude de

(d'apres

1: n-' einl).
II ~

Si t E 1tI, la premiere Si
I

serie est semi-convergente,

la seconde est la serie nulle. divergente et convergente;

tJ 1t1 les series 1: n -. et 1: n -. cos (2n t) sont respectivement

n~ I n~ I

leur demi-somme Comme

1: n-' cos! (nt) et leur demi-difference

• .,1

1: n-' sin2 (nt) sont divergentes .

• .,1

[cos (nt)1 ;., cos" (nt) et [sin (m)1 ;., si·n2(1I1), les series etudiees sont semi-convergentes.
eN

an = cos lit et

Etude du cas ex ~ o. - Montrons d'abord que (cos nt). b. = sin nt, nous avons les relations: '<In E N (a~

n'a pas 0 pour limite. Si nous posons

+ b~ =

I)

(U •• I = U" cos I-h.

sin I)

Si on avait lim an = 0, il en resulterait lim (bn sin t) = 0 : com me lim b~ necessairement sin t = O. Mais, pour t E 1t I, cos nt E {- I, I}.

I on aurait

II en resulte que les series 1:'11-' einl et 1: n-' cos nt divergentes

pour ex ~ 0 car leur terme

general n'a pas 0 pour limite. - Pour t E 1tI, 1: n -. sin nt est la serie nulle, done converge. Pour I ~ 1tI,le lecteur verifiera comme ci-dessus qu'on ne peut avoir lim b. = 0 ; la serie 1:11"' sin III est alors divergente.

1.3.3. - Series alternees

~ ((X.
DEFINITION. On qualifle d'alternee toute sene reelle de la forme I ).(X. avec (X. E IR+. ainsi que toute serie reelle de la forme ~ (- It + 1 (X.' avec

E ~+.

Les secondes se ramenent aux premieres par passage

a la serie opposee.

1.3.3

SERIES

SEMI

CONVERGENTES

19

2 THEOREME. - Soit «(X"),,ell; une suite reelle decroissaate, admettant 0 pour limite. Alors la serie alternee 1:£1". ou a" = (- 1)"Ci", est convergente; en posant A"
=

L
k;O

ak et A =

£1(1'

on a, pour tout et

11

EN:
IA A"I ~
Cl,,+ I

(1;0

(2)

Pour tout n

N, on a :

A2,,+2
A2,,+3

A2"

A2,,+1

Ci2,,+ Ci2,,+2

+
-

Ci2,,+2 Ci2,,+3

~ ~

0;
O.

II en resulte que ((A2n+ d.e iii' (A2n) •• N)est un couple de suites adjacentes. En utilisant 111.1.2.2,2 on en deduit la convergence de la serie 1:£1" et les inegalites (1). En utilisant :

on obtient ensuite (2).

REMARQUES.- a) Le theoreme changer les sens des inegalites (1). reste valable si on adopte a. = (- 1)·+ 1 a.,

0 a
condition de de la

b) Dans les conditions du theoreme, la convergence regie d'Abel (avec b. = (- 1r, et done IB.I :!S; 1). 3° EXEMPLE. - Etude de la serie alternee l·r CAS: Ot > I. La serie est absolument (_ 1).+ 1: ---, n~ I n" convergente.

de 1: (1

1)· a. resulte directement

Ilit

2· CAS: Ot :!S; O. La serie diverge, son terme general n'admettant

pas 0 pour limite. mais elle n'est que semipas conservee voisinage de que la suite

3· CAS: 0 < Ot:!S; 1. La serie converge d'apres Ie theoreme precedent. convergente. Pour Ot = I, on I'appelle serie harmonique alternee.

4
par

Mise ell garde. au 1

equivalence
'X-: ~ -

La monotonie d'une suite d'elements voisinage de + 'X-. C'est ainsi que, la I)· suite (~) est
,,;>1

de ~ + n'est bien qu'au alors

+
( ,

decroissante,

In
I -/n+(-I)

In
.)

+ (,,;>2

In

n'est pas monotone,

ainsi qu'on s'en assure en verifiant que, pour tout pEN:

J2p

1-

1 < J2p

1 < J2p

I.

La serie

(- I)" 1: a., avec a. = -_----";>~

ne releve done pas du theoreme

du 2". En ecrivant

-/',,+(-1)·

a.

(-

1)" r. ...;n

b.avecb.

+ (-

r.,onconstatequ'elleestlasommedelaserieconvergente 1)·...; n

20

SERIES

1.4.1

.;.2

1: (- ~). (ef. 3°), et de la serie 1: b. qui diverge (d'apres b. - - lin au voisinage de + 00). La
'>In
.;.2

serie 1: a. est done divergente.

n~

Cette etude no us a permis dexhiber deux series de nature differente1: donI les termes generaux sont equivalents au voisinage de + 00.
• ;. 2

a. et

1: (- If/Jr.,
• ;. 2

1.4. PRODUrr

DE DEUX SERIES

1.4.1. Produit de deux series absolument convergentes

10 Cas de deux series termes dans IR+. et l: bn deux series a termes dans IR+, convergentes, Pour tout n
E

PROPOSITION.

- Soient l: an de sommes A et B.

N, posons: cn =

Alors la serie l: Cn,

a termes
k;

p+q=n

apbq

k=O

akbn-k·

dans IR+0 est convergente et a pour somme AB.

Notons: An

k=O

La

1~= {(p, q)

N21(p ~ n) A (q ~ n)}.

Nous constatons qu'ainsi :

Nous avons les inclusions: Inc 1~ C 12n (materialisees sur Ie schema cijoint, dans lequell n' I~ et 12• correspondent respectivement au petit triangle, au carre, et au grand triangle).
IN
2n

n
FIG.

2n 1.

IN

1.4.1

PRODUIT

DE DEUX

SERIES

21

Compte tenu de la positivite des an et des b., il en resulte :

(1)

En utilisant: a aussi: C

'<In E N

(Cn)"E1II est majoree par A B; eomme elle est croissante, "--to deduire de (I):

(An ~ A) /\ (B. ~ A), on en deduit que la suite elle admet une limite COn

lim (C 2n). Un theoreme sur les limites de suites permet alors de

+~

= lim (AnBn) = AB
11-+
'"1

r Cas general. - THEOREME. - Soient E, F, G trois espaces de Banach sur Ie corps IK(IR ou C), T : E x F -+ G une application bilineaire continue, 1: an une serie absolument convergente a termes dans E et 1:bn une serie absolument convergente a termes dans F.
Pour tout n
E

N, posons:

("" =

L
k=O

ak T b; -4.

Alors la serie 1: en' II termes dans G, est absolument convergente, de somme :

Notons : a~ =

Ilanli, b~ = Ilbnli,e~ =

ment par An' Bn, Cn, A~,B~,C~ les sommes des n + 1 premiers termes des suites de termes generaux an, bn, en' a~, b~, e~. L'application T etant bilineaire et continue, iI existe ME IRt tel que '<I(x, y) On en deduit : 'fin EN
E

k=O

a~b~-k' et designons respeetive-

ExF

[lx T

yll ~ MllxllliYIi·

lienli ~ Me;

(2)

Par hypothese les series 1: a~·et 1: b~,it te .nes dans IR+, sont eonvergentes. D'apres Ie 1Q, la serie 1: e~est convergente. Compte tenu de (2), la serie 1: enest absolument convergente. Les espaces etant eomplets, les series absolument convergentes 1: an' 1: bn, 1: en sont convergentes; soient A, B, C, leurs sommes. D'apres la continuite de T: A T B = lim
n-

+ (X)

An T Bn. du 1
Q :

D'autre part, pour tout n A. T B; - C, et done:

N, on a, avec les notations

ap T bq,

Ip.qIEJ.

avec

In

= I~\In'

IIAn T e, - Cnll ~ M

Ip.qleJ.

a~b'q.

22
Mais: On en deduit :
n- + 00

SERIES

1.5.1

Ip.q)eJ.

a~b~

A~B~ - C~.

lim (A. T B.- C.) = OG

o
L

3° Pratique. - A tout couple (1: aft, 1: bft) de series complexes, on associe, ft sous le nom de serie-produit, la serie complexe 1: Cft' avec Cft = a.b._., (qu'il .=0 ne faut pas confondre avec 1: aftbft)' D'apres Ie theoreme, la serie produit de deux series absolument convergentes est une serie absolument convergente.
4° On demontre (theoreme de Mertens) que Ie produit de deux series convergentes, dont l'une au moins l'est absolument, est une serie convergente et que Ie resultat sur les semmes est conserve (cr. exercice 40).

1.5. ASSOCIATIVITE OE LA SOMME

ET COMMUTATIVITE O'UNE SERlE

Dans ce sous-chapitre, nous nous proposons d'etenaft d'une serie convergente les .=0 proprietes d'associauoite et de commutatioite de Lasomme dre La somme

+00

La
iel

d'une famille presque nulle d'eLements d'un e.v.n.

1.5.1. Sommation par tranches

THEOREME.- Soient 1:aft une serie a termes dans un e.v.n. E, et cp: N -+ N une application strictement croissante. Une condition necessaire pour que la serie 1:aft soit convergente est que la serie 1:bft detinie par:
cpla)

bo =

a. ;

b ft =
• = I +..,10 - I)

pour

n~1

k=O

soit convergente; lorsqu'elle est remplie, les deux series ont la meme somme. - La condition est suftisante dans chacun des deux cas suivants: i)' La suite (aft). E N admet 0 pour limite et I'ensemble des longueurs des tranches est majore, ee qui se traduit par:

3M

N*

\In

cp(n

+ 1) -

cp(n) ~ M

ii) Tous les termes d'une meme tranche sont des reels de meme signe (exemple : les aft sont des reels positifs).

1.5.1

ASSOCIATIVITE Avec les notations habituelles:

n

ET COMMUTATIVITE

23

et
k=O

on a:

cplll)

B; on constate:

1=0

ak

= A ",III'
n-+!'L

Par recurrence, extraite

"In E N <p(n) ~ n. D'ou

lim

<p(n) =

00.

La condition est necessaire. - Si la suite (An)nel\,l est convergente, la suite Bn)neN est convergente, de meme somme. 0 La condition est suffisante. - Supposons que la serie I.bll converge;
E

designons sa somme par B. Nous constatons qu'a tout n naturel p(n) tel que:

N, nous pouvons

associer

un et un seul (1)

<p(p(n» ~ n < <p(l

p(n»

S'il existait n EN tel que p(n) > p(n + 1), de p(n) ~ 1 + p(n deduirait : n + 1 ~ <p(1 + pen + 1» ~ <p(p(n» ~ n

1) et de (1) on

ce qui constituerait une contradiction. La suite pest done croissante et non majoree (sans quoi les suites n 1-+ <p(1 + p(n» et done n 1-+ n seraient majorees), D'ou : lim pen) = + 00
11-

+ 00

et : Ecrivons:
An -

n-+

lim
ex;

<p p(n)
Q

=+ +

00

(2)

(All

A",of'(n)

(Bpln)

B).

Nous avons:

ft-

lim Bpln)
+
00

=
lim

B. Reste done it prouver:

(All A",oP(n)

11- +00

o.

(3)

Placons-nous En utilisant:

d'abord
Q

dans Ie cas i).

n - <p p(n) < <p(1 IIAII A",.P(n)1I ~

+
k =I

p(n» - <p(p(n» ~ M on a:

I +

II

",op(n)

lIakll ~ Ma~

ou a~ designe Ie plus grand des lIakll tels que: <p0 pen) < k ~ n. Compte tenu de lim lIallll = 0 et de (2), on obtient aisement : lim a~ = o. D'ou (3). 0
,. ......+00 11-++00

Supposons

maintenant

IAn - AopoP(II)1 =

k=

I 1 +OPOP(II)

II

a"

ii). II vient :
=
k=

I 1+

II

'11(1 +p(lI))

la,,1 ~
k=

'II 0 p(lI)

1 +OPOP(II)

la,,1 =

Ibp(lI)+

11

Comme la serie I.bll converge, son terme general tend vers 0, d'ou (3).

24

SERIES

1.5.2

1.5.2. Convergence commutative d'une serie

DtFINITION I. - On dit que deux serles I:an et I:b", 8. terrnes dans un e.v.n., ne different que par I'ordre des terrnes s~et seulement s'i1 existe one permutation a de N telle que : TInE N
0

Notons qu'alors: TIn est syrnetrique.

REMARQUES" -

all

= b"-',n); la relation entre les deux series

a) Deux series qui ne different que par l'ordre des termes peuvent i!tre de nature I)· +
I

differente, C'est Ie cas pour la serie 1: I n;:'1

IJ

n, qui converge d'apres

1.3.3, 3°, et pour la sene : 1

+ ---= - ---= + ---= + ---= - ---= + J3 J2 J5 J7 J4

du theorerne lin de sommation

J4n -

+ --=== J4n - 1

--=

J2n

+ ...

qui, par application 1 avec a. =

par tranches,

a la me me nature que la serie puisque, au voisinage de

1: u.,

a. -

_ J4n - _l IJ2 - 1)/J2n.

J4n -

--=. elle-meme

divergente

J2n
des termes peuvent etre convergentes,

I 00:

h) Deux series qui ne different que par l'ordre

de sommes

differentes, C'est Ie cas pour la serie harmonique nulle) et pour la serie : 1- - - 2 4

alternee

L ---.;0

1)"+ n

(dont la somme Log 2 est non

+ - - - - - + ... +"-3 6 8 2n

2(2n

1)

2(2n

2)

+ ...

laquelle est convergente

et de meme somme que la serie :

- - - + - - - + ."" + --2 4 6 8

2(2n

1)

2(2n +

2)

+ """' qUi est

"(

_ I)"' 1: ---.
n~ I

DEFINITION II. - On dit qu'une serie I:a", 8. termes dans un e.v.n., est commutativement convergente si, et seulement si, pour toute permutation a de N, la serie I:aO(") est convergente.

Une telle serie est convergente, ainsi qu'on Ie constate en utilisant a

(dill'

r THEOR~ME I. - Toute serle absolument convergente, 8. termes dans un espace de Banacb E, est commutativement convergente, et la somme ne cbange pas quand on modifie I'erdre des termes.
Soit I:a" une telle serie, et soit a une permutation de N, Pour tout
nE

N, posons

<pIn)

= max
O:e;;k~n

a(k)

ce qui permet d'ecrire :

1.5.2

ASSOCIATIVITE

ET COMMUTATIVITE

25

<pin) ~ net (a(O), ... , a(n») c

:0, "
~'"

.,<p(Il»). D'ou :

L
"=0

lIau(",1I ~

k=O

lIa,,1I ~

+ 00
p=O

lIapll·

En utilisant 1.2.1, 1°, on en deduit que la serie I:aU(n, est, elle aussi, absolument convergente et que la somme de la serie I: lIau(n,1Iest au plus egale a celie de la serie I: lIanll; en fait elle lui est egale, ainsi qu'on Ie constate en echangeant Ie role des deux series (en remplacant a par a-I). E etant un espace de Banach, les deux series absolument convergentes I:an et I:aU(n, sont convergentes, et il ne reste qu'a montrer l'egalite de leurs sommes A et
A'.

- Pour tout n permet d'ecrire :

N, posons : LII

{O, ... , <p(n)}\{a(O), ... , a(n)}, ce qui

et encore:

II
Les suites (
"=0

savoir la somme commune aux series I: resulte que les suites vers
A

I' lIa ll) (I'

lt

J~ Itt
a" et
lieN

U('"

II ~
(
'-"=0

J~ Itt
IIa" II lIau(",II)
lieN .eN

lIau(",1I

(1)

i:,

ont une limite commune,

a,,)

et (
.eN

i:, aU(It,)

lIanll et I: lIau(n,lI. Compte tenu de (1), il en

, qui convergent respectivement 0

et

A',

ont une limite commune.

1=0

'-"=0

THEOREME II. - Une condition necessaire et suffisante pour qu'une serie reelle soit commutativement convergente est qu'elle soit absolument convergente.

IRetant un espace de Banach, la condition est suffisante. Compte tenu de ce qu'une serie commutativement convergente est convergente, Ie fait que la condition est necessaire resulte du lemme suivant.
LEMME. -

Une serie reelle semi-convergente

n'est pas commutativement

convergente.

Soit I:a. une serie reelle semi-convergente. Nous allons exhiber une permutation a de N telle que la serie I:aU(n, diverge; Ie lemme en resultera, - D'apres 1.3./ ,2' ,Ies series I:a: et I:a; sont divergentes, il en resulte que N' = {n EN Ian> O}et N" = {n EN Ian ~ O}sont des parties infmies de N et que I'on dispose (1.1.4.3, 2') des bijections strictement croissantes <p : N -+ N' et

26

SERIES
-+

1.5.2

'" : N

N" definies par: min N';

<p(n) = min "'(n)

<p(0)
et "'(0)

= min N";

N'\{<p(O),

min N"\{",(O),

, <p(n - I)} pour , "'(n - In pour

n ~ 1, n ~ 1.

Posons b. = ucp(", Crespo c. = aljl(.)], ce qui revient a designer par b. (resp. (",,)Ie (n + 1j-ieme element strictement positif (resp. element negatif) de la suite (a.)oEN' Soit B.

- Venons-en la construction de a : intuitivement, ner la serie suivant Ie schema suivant : bo

k=O

b, Crespo C.

k=O

cJ. nous allons reordon-

+ ... +

b""

("0

b"" +

+ ... +

b",

cI

b",

+I

+ ...

somme superieure

a0

somme superieure Plus lim precisernent,

B.

1 par
-

n-

+ rL

=+

00,

la divergence de la serie I:.h", qui se traduit permet de choisir no E N, assez grand pour que Bn" ~

Co.

On pose:
a(k)

<p(k)

pour

o ::;;k

::;; no

..

a(no

1)

"'(0).

On suppose maintenant que, etant donne P E N*, on a construit les images par a des entiers inferieurs np_ I + P ; la divergence de la serie I:.b. permet de choisir np EN, assez grand pour que np > np_1 et B. ~ - Cp + p. On pose: p

a(k) { a(np

<p(k 1)

p)

pour "'(p)

np_1

+p<

k ::;; np

+p

+p +

On dispose ainsi des images par a des entiers inferieurs np + (p + 1). Ce raisonnement par recurrence fournit ainsi une application a: N -+ N qui est surjective (a cause de N' u N" = N) et injective (a cause de N' r, N" = (/), et des injectivites de <pet de "'); a est done une permutation de N. On constate :
.p+p+

'VPE N*

k=O

I a,,(k) ~

ce qui montre que la serie I:.a,,(.) diverge.

COROLLAIRE. Une condition necessaire et suffisante pour qu'une serie II termes dans un e.v.n. E, de dimension fmie soit commutativement convergente est qu'elle soit absolument convergente.

1.6.1

INTEGRALES En utilisant

IMPROPRES
(ed!
",k

ET SERIES

27
une base de 1:, la si, et seulement si, convergente. On 0

1.1.2, 3' on constate que

"'III designant
convergente

serie La., OU a"

I
k=

a".kekest commutativement

pour tout k E Nm, la serie reelle ~a".k est commutativement applique Ie theoreme 11 et Ie corollaire d u 1.2.J, 3 .

REMARQUE. - En rnodifiant la demonstration du lemme qui precede, on peut montrer que, etant donnes une serie reelle ran semi-convergente et un reel S, on peut construire une permutation 0' de I'\J telle que la serie ra.ln) soit convergente, de somme S (voir 1.5.2, I ,remarque b)).

1.6. INTEGRALES

IMPROPRES

ET SERIES

Le lecteur aura note des analogies entre la theorie des inteqrales impropres (111.7.2) et celie des series: theoremes de comparaison, convergence absolue ... N ous allons preciser ces analogies.

1.6.1. Interpretation de la convergence d'une serie a I'aide d'une integrale impropre

ION otations. - Soit La. une serie a termes dans un espace de Banach E. On peut lui associer I'application J: R + -+ E defmie par:
VneN Vte[n,n

1[ J(t)

= a.

(1)

La restriction deja tout intervalle [ex, ~] c R+ etant une application en escalier, Jest localement integrable sur R+. Dans ces conditions, nous allons demontrer :
PROPOSITION. -

L'integrale impropre

m~me nature. En cas de convergence, on a :

+OO
0

J(t) dt et la serie La. sont de

+OO

+00

J(t) dt = .~o a.

Si l'integrale converge, alors

limite quand n tend vers + 00, et la serie converge. - Supposons main tenant que la serie converge. fonction partie entiere, nous avons: 'Ix
E

k=O

ak, qui est aussi

Jo

r·+ J(t) dt,

1

admet une

En design ant par e la

R+

Jo

rx J(t) dt

"('f
k =0

ak

(x -

e(x))

ae(X)

28

SERIES

1.6./

Compte
n~

tenu de: 0 ~

x-

e(x)

< 1, de

x-+

lim
"I

e(x) =

00

et de

lim

+00

all =

0, on obtient: lim
(x e(x))a"(XI =

0, et

X-+"X

x-+-x

lim

(r" Jo

f(t) dt) =

n=O

i'"

all'

ZOApplicatioll. - THEOR~ME. Soient I:a. et I:b. des sirles' espace de Banach E et dans IR+. - Si 1a sirle I:b. converge, alors, au voisinage de + co ; i) la relation a. = O(b.) entraine:

terrnes respectivement dans un

.~.

+,

11.

=0

(+')

.~. b. ;

ii) la relation a. = alb.) entraine:

iii) la relation a. - A.b., avee

A. E

E\ I 0 1 entraine:

~:a.-A.Ib
Ie=,. Jr.="

•.
+
co :

Si la sirle I:b. diverge, alon, au voisinage de i) la relation a. = O(b.) entraine:

ii) la relation a.

a(b.) entraine:

iii) la relation a. - A.b., avec

A. E\{O}
E
1==0

entraine:

Ia.-A.Ib
"=0

•.
....

A l'application

I definie par

11), on adjoint l'application <p: IR + Ifl E [n, n

IR + defmie par:

Ifn EN

l[

<pit)

b•.

On utilise: si I:bn converge: et si I:bn diverge: et On applique les theorernes du 111.7.2.4.

1.6.2
EXEMPlES. -

INTEGRALES
a) Au voisinage

IMPROPRES

ET SERIES
I

29

de
+

+
00

I
tXJ, -

Or:

+ 00
~=n

--= k(k + 1)

~=n

L --- k + 1 k
Log (I

(1 1) 1
+ ~).
I). 0'011:

---. n(n

I)
+ 00

=- 0'011' n' . ~=n k2

L ---

11
n'

b) Au voisinage

de

tXJ,

~-

Or:

i
~=I

Log (I

+ ~)
k

= Log (n

i~ .=I

Log n.

1.6.2. Comparaison des convergences d'une serie et d'une integrale

1
0

f: [a,
I

i+

+ oo[ -+ E une application localement integrable. Pour que I'integrale

converge. iljaut de limite

THEOREME

I. -

Soient E un espace de Banach, £I un reel, et

et iI suj/it que. pour toute suite (X")"lf« d'elements de

.I(t)dt
00[,

[a,

00,

la serie ~

(l~n+
X

I fIt)

dt) converge.

Soit
F:

[£I,

+ x,[

-+

f--+

1"'.I(t) dt

IR etant metrisable, il resulte du corollaire I du 111.2.3.5,3 que F admet une limite au point + 'X.J si, et seulement si, pour toute suite (x")lIeN d'elernents de [a, + 00 [, de limite + 00, la suite (F(xn»neN converge. Or: '<In EN F(xn)
=

Ja

x "

fIt) dt

nil (fXk+ IfIt) dt)

k=O ~

o
S'il

Ce theoreme peut permettre s'agit de prouver la convergence THEOREME

d'etudier une serie, ou d'etablir la divergence d'une integrale, d'une integrale, il vaudra mieux utiliser Ie resultat suivant,

[: [a,

+ oo[

-+

II. - Soient E un espace de Banach, £I un reel, et E une application localement integrable. Pour que I'integrale
(u")lIeN

.1(1) dt

converge, iI su.fjit qu'il existe une suit~ croissante de limite

I

d'elements de

[£I,

00 [,
u,,+ Un

+
)

'XJ,

telle que la serie ~

suite

(f

(J

u,,+ I
Un

.I(t) dt

converge et que la

Ilf(t)11 dt

admette 0 pour limite.

A tout x ~ Uo, on peut associer pix)

max {m E Nlum

x},

30

SERIES

1.6.2

On a ainsi:

et on constate:

lim p(x)
X-+'X

00.

On a :

Or:

On en deduit I'existence de :

x~'!\

f(t)dt [a,

fUn

a f(t)dt
-+

+ co
k~O

uk+ 1 uk

f(t) dt.

r+<Xl

COROLLAIRE.

Soitf:

+ oo[

IR+, loealement integrable. L'integrale

E

f(t) dt converge si, et seulement s'il existe une suite croissante (u.).

1'\1 )

d'elements de [a, converge. En effet ici:

00 [,

de limite

00,

telle que la serie ~

(f.

u. +

Un

./(1)

dr

1
Un

UII+ I

IlIlt)11 dt =

j'un+
Un

lit) dt 0

admet 0 pour limite, au titre de terme general d'une serie convergente.

EXEMPLES. - Elude

de rinlegrale

- Par rapport a l'etude du III.7.2.6, 3 no us n'ajouterons rien dans Ie cas ex > 1 (convergence absolue), ni dans le cas ex ~ 0 (divergence). Rappelons que, dans ce dernier cas, no us avons utilise la
D ,

+OO

sin -

I dl,

la

(exE iii).

serie alternee

l: an avec:
n~1

a. -

Etudions Ie cas: 0 < ex ..; 1, en utilisant cette meme serie. sin t De: la.1 = dt, avec ex > 0, on deduit : la.+.1 ..; la.l.
o (t

f·

(n+ I)"

sin
-dl

••

la

= (-

1)·

i"
0

sin
(I
---dl

mt)·

mt)a

1.6.2
De : I I)lt)"

INTEGRALES

IMPROPRES

ET SERIES

31

((n

f"
0

sin dt ~ la,1 ~ -- I

(nlt)"

I
0

sin dt, on deduit :

lim

la,1

=0

et

.;01

la,1 diverge. (1.3.3,2") que la serie alternee 1: a,

En utilisant converge. En remarquant

la,+ d ~ la,1 et

lim
.-+<L

la,1 = 0, on constate

que la,1 n'est autre que

grale etudiee converge. D'autre constate part, en ecrivant

I" +

"'Isin --

'I

11ft

I 1'1

dr on deduit du theorerne

II que l'inte-

que l'integrale

f."
t:

lSi: 'I dt =

'~1

lall, et en utilisant
1

la divergence

de
II

1: la,l, on
;0 I

+ ""
1

ISin:t ~t diVerge: =

En conclusion:

pour 0 < ex ~ I, /'integrale [

""sint

--

dt est semi-conuerqente.

b) Etude de I'inteqrale
L'application voisinage Etudions de

f+""
1

I
I"

I" IP sin" ,

dt IOrSQU;"~ > 2ex + 2.

g: t
00

de [I, + oo[ dans IRest positive et continue, Son etude au I + IP sin 21 est delicate (g(nlt) = (nlt)" montre que, pour ex E IR!, elle n'est pas bornee),
1--+

la serie

1: a" avec:
n~ I

all

r+

1
1+

I" IP sin2 I

dl =

IIft- _!t_

f.

(nlt + I)" --------d~

+ (nlt +

I)P sin? I

On constate

(pour n ~ I):

0< a, ~ 2(nlt +

£~)'

.
f---------dl

+ (nlt
avec: £ = sgn ex, e' = sgn ~. De: VI E [0, lt/2]

- £'~)Psin21

2 -

I ~ sin t, on deduit

It

b; = 2 nlt +

£-

It)' f2
2

: a, ~ b" avec:

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

I
E-

dr.
, !t)P

nIt -

--

!t

4 t2 2

On calcule b. et, en tenant compte de Arctg u ~ !t/2, il vient :

!t2 (nlt + E!t/2)' b, ~ -- -----2 (nlt - e' lt/2)P'2

32
Compte converge. tenu de l'hypothese

SERIES
~ > 201 + 2, on en deduit que l'integrale

1.6.2

Par application

du corollaire,

I: hn converge.

et donc que

I: Un
n~1

+
(l

'g(t) dt ::n~erge.

Le lecteur montrera

que, pour ~ .;;; 201 + 2, elle diverge.

2° THEOREME. sante. On pose:

Soit [: [a.
II

'XJ [

-->

IR une application positive et decrois·

XII

= k~/{a +

k) -

fU+fI+
u

.lit) dt.

Alors: i) la suite

(xn)IIeN

est convergente.
n) et l'integrale

ii) la serie ~/{a Decroissante,

i
+

'I

.lit) dt sont de meme nature.

sur [a,

fest

loealement

integrable
"+k+l

00[, et on a:
(1)

f(a + k +
En ecrivant :

1) ~

f(t) dt ~ f(a + k)

,,+k

et en utilisant

sueeessivement "In E N (Xn+

1~

ehaeune des inegalites (1), on obtient : Xn)

A

(x, ~ f(a) - f(a

1)). Le 0

La suite (xn)n e Nest eroissante et rnajoree par f(a), et done eonvergente. dernier resultat est immediat (en utilisant la positivite de f).
REMARQUE. -

Dans Ie theoreme precedefnt~:

pew remplacer IR par C et « application positive et

decroissante»

par « application

C' telle que

1/,(t)1 dt converge ».

En effet on a (par parties) pour tout ke N :

f(a
et:

+ k)

GH+l
G+t

f(t) dt =

fOH+l
G+t

(t - (a

f(a

+ k)

OH+l
Q+t
-

f(t) dt .;;;

+k +

1))/,(t) dt

+k+l

1/,(t)1 dt

et:

Ix.+p

x.1 .;;;

G+t +00

1/,(t)1 dt
111+11+1

ce qui fait que (x.) est une suite de Cauchy. • Si

f.

D'ou i).

+oof(t) dt converge, iI est clair que "Ef(a

que "Ef(a

+ n) converge.

Supposons

+ n) converge.

lei

,.-+cc

lim

O+O+

f(t) dt existe.
o

1.6.2
A tout
X

INTEGRALES
E

IMPROPRES

ET SERIES
Par parties on obtient :

33

[a

I,

+ 00 [

on associe n = E(x - a-I).

If%
ce qui prouve: lim
x~+co
%

f(t) dtl ~ If(a f(t) dt = 0, et

+ n + 1)1+ f%
0+,.+1

Ir(t)1 dt

l1li+.+1

f .+11+1

f+OO
III

f(t) dt converge.
I l: ---(,III1I"I.'I·YI.'-,i,I.'/.wu/l.'ml.'llI ",,211' Log 1111

3° Appliclltiolls. si: (Of>

- a) Pour
A (~

(a., ~)
I)).

1R1,/a serie de Bertrand

I) V ((Of = I)

>

Posons : y = --

+ a.
2

et a. = ---. On a : a. > 0, pour n ~ 2. n· Log ~n lim n' a. = O. Comme lim

- Si a. > I, alors Si a. < I, alors

y > I, la serie converge. y < I, la serie diverge.

n' a. =

00.

Comme

ft-+«..

[2,

Si (a. = 1) A (~ ~ 0), alors a" ~ l/n des que n ~ 3. La serie diverge. Si (a. = 1) A (~ > 0), I'application f: t ........ I Log-~ t est positive et decroissante tsur 00[. La nature de la serie est la meme que celle de l'integrale def sur [2, + 00[. En utilisant :

f
on constate h) Le lecteur etablira
II

dt t Log~ t =

LOS du x

Los 2

~Ii
si ~ > I. a., avec
3

que, pour Of = I, la serie converge

si, et seulement
...

de la me me Iacon que lu serie

I:

= --------n· (Log n)p (Log (Log n))'

converge si, et seu/ement si :

(a.

>

1) v

«a. =

1)

A (~

>

1)) v

«a. =

1)

A (~

1)

(Y > 1))

II pourra me me generaliser,
On dispose ainsi de nouvelles series de comparaison.
- Au yoisin.le

4° COllstlillte 4'Euler. - PROPOSITION. I

de =C

00 :

I + - + . .. + - - Log 2 II

II

+ III I)
d'Euler.

oil C est un reel, compris eotre 1/2 et 1, qui porte Ie nom de const.ote

- On ignore encore si ce nombre est ou non rationnel; une valeur approchee en est : 0,57722 II 0,5 x 10 - 5 pres par exces, - L'application t ........ est positive, decroissante, convexe sur [I, + 00[. II en resulte les 1/t inegalites :

Ilk

N·

(la derniere etant due II la convexite),

Posons : x, =

L-t=
I

"1

Log n,

(n EN·).

34
Nous avons:

SERIES

1.7.2

XII

1-

Xn

I = -n+I I

f·+1
•
k=

dt - ~0 t I) I

et:

X. '= -

+L -k= I

.-1(1 f.Hldt) ~ - + .-11(1- - -.Lk

k

12k

~-

C 0;;;

La suite (X.).;;. l' decroissante XI' avec XI = I.

REMARQUES. -

et minoree par 1/2, admet une limite C, telle que C ~ 1/2. On a: 0 de

(X .. ),,;;. 1 aurait

a} La convergence

pu eire prouvee en remarquanl

qu'il s'agit

de la suite associee

la serie

1: a... avec:
n~

Plus precisernent

: a.. -

- 1/2n2. De 1.6.1.2 . exemple. on deduit : x . ..

=C

+ -~ +
211

(!)
n que: (X

b) En reprenant

notre calcul, avec t .......... Ie lecteur montrera t :",

Si(X>I:

--<L-<--' (X-I n=ln· (X-I

lim
• - + '"

+ '"

I!

Si 0 0;;; (X 0;;; I : il existe

(1

+ - + ... + - - -2· n·
nl+~

nl

-.

1 - (X

= C.,

C.

IR.

Si (X = - ~,avec ~ > 0: I

+ 2~ + ... + n~

- --, 1+

au voisinage

de

00.

1.7. CALCUL

APPROCHE

DE

LA

SOMME

D'UNE

SERlE

1.7.1. Position du probleme et principe du calcul

1 Position du probleme. - Un grand nombre de fonctions sont defmies au moyen de series, la valeur de la fonction en un point etant alors la somme d'une serie convergente; dans la plupart des cas Ie calcul qui va suivre constitue la methode utilisee dans la pratique pour obtenir la valeur de la fonction en un point donne, avec une approximation donnee,
0

1.7.2

CALCUL

APPROCHE

DE LA SOMME

D'UNE

SERlE

35

Principe du calcul. - Soit 1: a. une serie eonvergente. On note:

+00

+00

an;

R;

A - An

ak•

k=O

k=n+1

• On suppose eonnu, pour tout n E N, un majorant <p(n) de IIR.II. • Ayant a ealculer une valeur approchee de A a cx pres (cx E ~!impose), on seinde cx en deux « parts », pas necessairement egales, CXI et cx2• - On determine no E N, aussi petit que possible, verifiant <p(no) ~ CXI' - On ealeule ~suite une valeur approchee A de A.o it CX2 pres, et on peut affirmer : IA - AI ~ cx.

1.7.2. Majoration de IIRnl1 dans les cas usuels •

Reprenons la serie convergente E an et les notations du 1.7.1.
10 Serie alternee. - Soit (cx.).eN une suite reelle decroissante, de limite O. On sait (1.3.3, 2') que la serie 1: (- I )·cx. (resp. 1: (- 1). + I cx.) est eonvergente et que, pour tout n EN: IA - A"I ~ cx,,+ I' On peut done adopter <p(II) = CX,,+ I' lei sgn (A - A.) est connu, ee qui permet de savoir si A" est une valeur approchee de A par exces ou par defaut.

Enfm, si on ne s'interesse pas au sens de l'approximation.ot, une valeur approchee de A a CX. + d2 pres.
EXEMPLES. -

+ A. + d/2 est

a) Pour A =

+00(_1)"+1
11=1

L ---,

A9 est une valeur approchee

par exces 111/10 pres;

Alo en est une valeur approchee

par defaut 111/10 pres; (A9

1/20 pres.

+ Alo)/2

est une valeur approchee 11

., h) Soit A =
u

Pour avoir IA - A"I ..; 1/10, il faudrait adopter " ~ 22027. II existe Log" donc des series « dont la convergence est tres lente ».
«

L. ---.
2

(-

I)"

r Serie dont la convergence absolue a ete etablie par la regie de Cauchy ou celle de d'Alembert.- On suppose eonnu k < I tel que (au moins pour n ~ N):
• TIp> n
lIapW'P ~ k.

Alors

IIR.II ~

+.,.

p=,,+1

kP et <p(n)

= --.'.

k"+

l-k

TIp ~ II

Ilap+ lIapll

III ~

k. Alors

IIRIIII ~ Ilallll

I
q=1

kq et <p(n)

= kllu"II_.
l·-k

On a interet
EXEMPLES. - a)

a obtenir

k aussi petit que possible.

I
1'\,).

on a:

a,"P

La serie 1: - converge d'apres la regie de Cauchy. Pour tous n E " ~ In" = lip..; IAn + I).

et p > n,

36
On peut adopter: <p(n) = ---

SERIES

1.7.3

n(n + 1)· C'est ainsi que A, est une valeur approchee b) La serie 1: -

(par defaut) de A a 3.10-' pres.

n!

converge

d'apres

la regie de d'Alembert.

Pour to us n

N et p ~ n, on a : -I

a,+1 ap

= --

0;:; --.

1
au 111.1.1.2, I I.

On peut adopter

<pIn) = -

(majoration

deja trouvee

n.n!

3° Cas du recours II une integrale impropre.- On suppose connus a>1 et k > 0 teis que (au moins pour n ~ N) : Vp > n En s'inspirant de 1.6.2, 4°, on constate : On adopte:
<p(n)

Ilapll ~ -.

IIRnll ~ n

f.

+ '"

P:

,. dt.

k
(a -:- l)n~1•

EXEMPLE. - Dans

Ie cas de la serie 1: -, nous avons meme, n ~ 1 n2

--O;:;RnO;:;-·

n valeur approchee par defaut de A, a

II

en

resulte

que

An

1/(n

1) est

une

- - -= --n n+ 1 n(n

+ 1)

pres.

1.7.3. Exemple de recherche de valeur approchee de la somme d'une serle convergente

Nous nous proposons dans cet exemple d'illustrer un precede d'acceleration de convergence, precede dont l'utilite se manifeste dans d'autres domaines que celui du ca1cul approche (voir par exemple l'etude des series de fonctions). +«> 1 Soit it. calculer la somme A = 2". L'encadrement du reste foumi en 1.7.2. ne conduirait ,.=1 n pas un resultat tres satisfaisant. La methode va consister ecrire Ie terme general a. de la serie comme somme de deux termes : a. = bn + c, ou b. est equivalent it. a. et est Ie terme general d'une serie dont la somme est connue. On sera alors ramene it. calculer une valeur approchee de la somme 1:c., serie qui converge plus vite que 1:a. puisque par hypothese a. - b. est negligeable devant a•.

1.8.1

FAMILLES

SOMMABLES

37

La difficulte principale consiste bien entendu it trouver un terme b•. Ici une solution simple est fournie par b. = __ 1_. En effet, au voisinage de n(n + 1) a. - b. et On obtient alors c.
.11
= 2: - -(-+00

.=1

b. =

+00

.=1

L - - -n n+l
+
1)
•

(1 1)

+ ao

= 1.

nn

+ 1)

n (n

. Notons C la somme d' cette sene: e

C avec: C. =

C.

+ R.
+00

.
C1

et

R. =

1=1

k=II+1

C1

Choisissons par exemple n = 100. Pour encadrer RlOo nous utiliserons : ---.:::
(k 1 1

+ 1)3
2~

"""P(k

+ 1)

.:::-

"""P

et, par utilisation de 1.7.2, 3° : Pour n = 100 il vient :

2(n +2)

R. ~~.
~

4,8. 10-5

R. ~ 5 . 10-5•

2n

Le calcul de CIOO fournit : CIOO ~ 0,644884890283 (par defaut), I'erreur sur Ie calcul etant negligeable. On en deduit : 0,6449328 ~ C ~ 0,6449349, ce qui permet d'ecrire :
A

= 1,644934 ± 1,2 . 10-6

REMARQUES. - a) Afm de donner un resultat simple, comportant peu de deeimales non significatives, nous avons ete amenes it abandonner de la precision. On pourrait donner un encadrement plus strict. On pourrait egalement ameliorer I'encadrement theorique du reste :

+OO f .+ I
c'est-a-dire : --- 1 n+l

dt
-2--

t (t

+ 1)

R. ~

f+oo
•

dt
-2--

t (t

1)

n 1 Log-- + 2 ~ R. ~-n+l n

Log (1) +1 n
1C2/6

b) On comparera Ie resultat obtenu it la valeur exacte de A = (cf. exercice 1.7).

~ 1,644934066848

1.8. FAMILLES

SOMMABLES

Ce sous-chapitre sera reserve Ii une seconde lecture.

1.8.1. Notion de Camille sommable

1° Not.tions. - Soient E un e.v.n., 1 un ensemble non vide, (ui);el une Camilled'elements de E. Designons par fP 0(1) I'ensemble des parties finiesde 1.Nous disposons d'une application de fP 0(1) dans E en associant a tout J e fP 0(1) l'element a.; qui sera note A J.
;EJ

38

SERIES

1.8.2
A tout Le '~u(ll, on associe I'ensemble

2" Base de ftltre sur 90(/), PROPOSITION. BL= {Je'~o(lIILc JJ. Alorsl'ensemble:

est une base de fdtre sur 90(1). Verification immediate. Nous dirons que ~ est la base de filtre de 90(1).
3° Famille sommable. -

Les notations etant celles du I' et du 2", posons:

DEFINITION.- On dit que la famille (a/liel est sommable si, et seulement si, I'application J ._, AJ admet une limite suivant la base de fJltre ~. Cette definition se traduit par l'existence d'un element A e E tel que :
'1& e 1Iil~ 3Le 90(1) VJ e 90(1) (L c J) => (IIA - AJII 0;:; &)

Un e.v.n. etant un espace topologique separe, lorsqu'il existe cet element A e E est unique. On I'appelle somme de la famille sommable; on l'ecrit A =

La,.
ie/

L a/
iel

CASPARTICULIER. On constate qu'une famille presque nulle est sommable et que Ie symbole ala meme signification ci-dessus et au 1.2.1.1, J.

4° Proprietes des families sommables. - Le lecteur etablira que I'ensemble des families sommables elements dans re.v.n.E, indexees par I, est un sous-espace vectoriel de EI et que rapplication

(a/liel ._,

iel

L a/ de ce sous-espace

dans E est lineaire.

II etendra les propositions du 1.1.2,3°.11montrera que si lafamille (a/liel est sommable,lafamille

(AJ};e ...o(/) est bornee.

1.8.2. Famille absolument sommable.

I Le critere de Cauchy. - DEFINITION. On dit que la famille verifle Ie critere de Cauchy si, et seulement si elle verifle :
(I)
(1I,I,el

d'elements de l'e.v.n, E

2 THEOREME. Soit (a,liel une famille d'elements d'un e.v.n. E. Une condition necessaire pour qu'elle soit sommable est qu'elle verifle Ie critere de Cauchy. Si E est complet, la condition est
suffssante.

UI condition est necessaire. - Demonstration aisee, laissee au lecteur.

est suffisante. - Par hypothese, E est complet et (I) est vrai. On en deduit (recurrence) qu'il existe une suite croissante (X.)neN d'elements de ~o(l) telle que: In condition Vne N VJ e 90(1) (J rv X. = 01 (21

(AX)nelll est une suite d'elements de E telle que: V(n,pleN21lAx

".p

-4xll=IIAx "

11+".

I \~IIO;:;-It

II s'agit done d'une suite de Cauchy; E etant complet, cette suite admet une limite A. Nous allons montrer que la famille (a/)iel admet A. pour somme.

1.8.2
Soit
£

FAMILLES
E Ilil!.

SOMMABLES
tel que £/2)

39

D'apres

la definition Vn ~ no

de A, il existe no EN

(1/(n

1) 0;:; £/2)

(lIA - Ax)IO;:;
:

(3)

Posons L = X .0' Pour tout J E 9'il(1) tel que L c J, nous avons

IIA - AJII
Or d'apres (3) :

IIA -

(AL

+ AJ\l)11 0;:; IIA - ALlI + IIAJ Lli

tenu de (J \ l.)

IIA - 4LlI ~

£/2, et, compte

L = (/), d'apres

(2) et (3) :

o
COROLLAIRE - Soit (a,)iEI une famille sommable ..
i)

d'elements Vi
E

d'un e.v.n, E. Alors:

E

.V£

Ililt

3X

·1'u(/)

I\X

Ila,ll 0;:;

ii) Le support de la famille, {i E fla, ¥- O}, est au plus denombrable; iii) Si E est complet, toute sous-famille i) Consequence immediate de (1). i) : {i E I I Ila,lI > 1/(n
(a')ieJ', (I' c I), est sommable.

ii) Resulte de ce que, d'apres Vn EN

I)}

est fmi.

~~~

iii) Soit £ E 1lil!.11existeX E 90(1) verifiant (1). PosonsX' = I' n X, ce qui impliqueX' E 9'0(1'). Pour tout J E 90(/') tel que J n X' = (/), us avons : J E 9'0(/) et J n X = (/);d'ou, d'apres (1) : no IIAJII 0;:; e. La famille (a,)iE/' verifie Ie critere de Cauchy; puisque E est complet, elle est

3° Fllmilk absolumen, sommable. - O~FINITION. - La famille (a')iEI d'elements dite absolument sommable si, et seulement si,la famille reelle (1Ia.ll)iEI est sommable.

de I'e.v.n. E est

TH~oREME. - TOOle famille absolument sommable, et verilie:

sommable,

(a')iel> d'elements

d'uu

M.D.

complet E est

Le lecteur etendra

la demonstration

du 1.1.3, 2°.

I'applicationf:

4° Fllmilk sommllble d'eUments de Ilil+. - Soit (a')iEI une famille de reels positifs. Reprenons J f-+AJ de .~I'o(l)dans Ilil + et designons par F son image. Au titre de partie non vide de
A
E

Ilil+, F admet une borne superieure

iii, appartenant

it Ilil si Fest majore, ega Ie it

x: dans Ie cas

contraire. A est la limite (dans R) de I'applicationf, suivant fJI, base de filtre de 90(1). En effet, pour tout A' E Ilil tel que A' < A, iI existe LE 90(1) tel que A' < AL 0;:; A j d'apres aj ~ 0 pour tout i E I, si J E 90(1) verifie L c J, alors: A' < AJ 0;:; A. En conclusion: TH~oREME. - La famille (O')ie! d'elements de Ilil + est sommable si, et seulement 1i,l'image F = {AJ E IlilIJ E 90(l)} de I'application f: J f-+AJ est majoree; la somme de la famille est alors supF. Si F n'est pas majoree, on a lim

"

f= +

00.

40

SERIES

1.8.3

1.8.3. Associativite de la somme d'une fa mille sommable

I' PROPOSITION. - Soient (a;);ei une ramille sommable d'elements d'un e.v.n. E, de somme A, et (lJl.EA one partition de I. On suppose que, pour tout 1.. E A, la solIS-ramBle (a');e/, est sommable: de somme SI. (condition automatiquement re-lisee si E est complet). Alon la ramBle (SJl.EA est sommable, et sa somme est A.

- Soit
(9'J

EE

R!. On commence par choisir LE

';0(/)

tel que I'assertion:

soit vraie (ce qui est possible puisque (a;);el est sommable). Posons A = :1.. E AlIA ('\ L ¢ (/)}, qui implique A E 9'o(A). Si nous arrivons ce
l'assertion
(Q,)

a prouver

que

vr

E ';0(A)

(A c F) => (IIA -

Aer

SAil :!S; E)

est vraie, la proposition sera acquise. - Soit r l'un queleonque des elements de '~o(A) qui contiennent A, et soit n Ie cardinal de r. Pour A.E r donne, (a;);e/, etant sommable, on peut associer a E un LI.E ~o(lJ tel que, pour tout JI. E 9'0(11.) verifiant LI. c JI. on ait: IISI. - AJ,II :!S; E/2n. On peut adopter, en particulier:
JI.

LI.

U (II.

rv

En adoptant ensuite : J = etant deux

a deux

Aer

JI.' on constate L c J, et done IIA - AJII :!S; E/2. Mais,les II.

disjoints, il en est de meme pour les J) et:

AJ = Aer

AJ,

Compte tenu de:

VA.E

il vient: et:
IIA Aer

SI.ll :!S; IIA - AJII

IIAJ -

Aer

SI.ll :!S; E.

20 ells tfune jlllflille Ii ile_.ts lIII.s R +. - TH~OR~ME. - Soieat (a,)iel one ramUle de riels positirs, et (I J....A one partition de I. Alon 1es deux _rtions suiuntes sont equivalentes: i) La ramille (a');el est sommable; ii) pour tont A.E A, 1a ramille sommabIe. Lorsque ces assertions
(a');e/,

est sommable,

de somme

S.. et la ramiDe (SJ....A est

sont vraies, on a:
0

ii). Etabli au 1 dans Ie cas d'un espaee de Banach. ii) => i). L'hypothese est: ii) est vraie. A tout J E 9'0(1) associons Ie sons-ensemble fini A = {A.E AlII. rv J ¢ (/)} I. Nous avons (en utilisant a, ~ 0) de
=>

i)

o
On conclut en utilisant 1.8.2,4".

1.8.5
__ ire et suflisante somm.bIe.

FAMILLES

SOMMABLES

41

3° E,,,ioalence entre sO""flabilite et tabsoble sommabilite. - TH£OR~ME. - Ulle condition pour qu'DDe de riels (ailiel soit sommahle est qu'eUe soit .bsoloment

r.mille

UJ condition est suffisante. -

Deja etabli dans Ie cas d'une famille a elements dans un espace de

Banach. la condition est nlicessaire Soit (ailiel une famille sommable de reels. Posons: I' = {i e llal > O} et I" = {i e lla, 0;:; OJ. iii etant complet, les families (allie/, et (allier sont sommables, et il en est de meme de la famille (- allier. Si I' ou I" est vide, la proposition est demontree, Sinon on dispose de la partition I = I' u I", et la famille (Iail)iel est sommable d'apres Ie theoreme du 2". 0

Le theoreme reste vrai dans le cas d'un e.v.n. de dimension

fmie, mais pas dans Ie cas general.

1.8.4. series et families sommables

1° Position"" ,robUme. - Soit (a.l""N une suite - c'est-a-dire une famille indexee par N d'elements d'un e.v.n.E. Si la famille est sommable, de somme A, pour toute permutation (J de N,la famille (aai.~.EN est sommable, de somme A. L'ordre sur N n'intervient pas, contrairement it ce qui se passait pour les series. Nous allons comparer les deux points de vue.

sene Ia. est

Soit
E

TH£OR~ME

I. - Soit(a.l""NDDesuited'B'meutsd'DDe.y.n.E,lOmmabIe,desommeA.AIonIa CODyeraente, de somme A.

e R~. II existe Le 9'o(Nl tel que:

VJ e9'o(Nl
Posons: no = max L. Pour n. ~ no,

:0, .. , n} contient
0;:; E l=O

1., et donc:

IiA - Lalli
La reciproque est fausse en general. Cependant :

THEOREME II. -

La suite (an)"ENd'elements de iii. est sommable si, et seulement si.la serie I:a"

est conyergente, On utilise: VJ e 9'o(N)

La
leJ

max} i

0;:;

L a,
=(1

o
(et done

1.

COROllAIRE.

IOmmable si dim E <

La suite (a.l. e I'll d"I'ments d'un e.Y.n. E est absolument sommable + co] si, et seulement si, I. serie l:a. est .bsolument conyergente.

1.8.5. series doubles

1° D£FINITION I. On appelle suite double toute f.mille indexi:e par N2•

DEFINITION II. - Si I. suite double (a ... l("'.• )EN' d'Bements d'un e.Y.n. E est une famille IOmm.ble, de somme A, on dit que Ia double l:a.... termes dans E est conyergente et qU'elle a pour somme A.

sene

L'etude des families sommables

s'applique,

en particulier,

aux series doubles.

42

SERIES

1.8.5
D'apres 1.8.2,4": si,

:zo Etude

d'une serie double II termes dllns R+. La serie double

PROPOSITION I. -

I:a ... , II termes dans R +0 converge si, et seulement

est une partie majoree de lit Dans cet enonce, F peut etre rem place par l'un des ensembles:

L { m~pl\lI~q
D'autre part, d'apres 1.8.3,

a... I(p, q) E N2}.

r:

PROPOSITION II. - Soit I:a ... une serie double, II termes dans R +0 et (/.h. E A une partition de N2. Alors Ies deux assertions suivantes sont equivalentes: i) la serie double est convergente; ii) pour tout I.. E A, la famille (a",.)im, .)e/, est sommable, de somme S., et la famille (S')",A est sommable. Lorsque ees assertions sont waies, on a les partitions
(1'\,1 (m.n)eNl

Lam .. = L ( L Q.",).
I.e" (m.llle/A

On utilise Ie plus souvent ({m}

suivantes

(dans lesquelles ((m, n) E N21m

A est N): n = P)peN'

x N)mEN;

x :nllIlEN;

II en resulte que (dans ce cas: a",. E R +): si run des quatre symboles

,.=0

+"'(+'"La",.;) +"'( L L
111=0 p=O

III+II=P

La",.; )

Im.• 'EN'

Lam,.

a un sens, il en est de meme pour les trois autres, et les quatre symboles representent Ie meme reel.
EXEMPLE. convergence s'ecrit
p;.o (p

la serie double I:

(m

+n+

I)"

converge si, et seulement si ex > 2. En effet la I: (

p;.o m+.=p(m

de cette serie double est equivalente

it celle de la serie

+ I)"

-),qui

I:

1)0-1

d'une serie double II termes dIIns un esplICe tie BllnllClt E tie dimension finie. - Avant tout, il faut etablir la convergence, qui equivaut ici (1.8.3, 3°) Ii celle de la serie double I:lla",.II, pour laquelle on precede comme au r. Si la convergence est etablie, nous disposons, pour toute partition de 1'\,12, de la propriete d'associativite du 1.8.3, 1°; on en deduit que les quatre symboles consideres ci-aessus ont U/l sens, et qu'ils 'representent Ie meme element de E. Notons qu'ici I'un des trois premiers de ces symboles peut avoir un sens sans que la serie double converge.

3° Etude

r.a....

4° Produit de deux series l:a. et l:b., II termes dllns C, libsolument cOllflergentes. - C etant un espace de Banach sur R de dimension finie, on peut appliquer Ie 3° Ii la serie double l:a",., avec
alii" = a.. b".

On constate

d'abord

que la serie double est absolument

convergente la serie

et donc convergente.

En

effet, pour

n donne, la serie

I: lamb.1
m;'O

Ib.1 1: ia.. 1converge;

m;'O

converge

aussi.

1.9.2
La somme de la serie double a..

PRODUITS
1:a... est egale
egale

INFlNlS

43
a ..
=0

L ( m=O
Cp

+.,

)(+<X. )
L
"=0

a la

somme de la serie

b. . Elle est encore

la somme

de la serie convergente1:
p~O

.• ~O

1: (~
..

b.), a

savoir

cp• avec
au 1.4.1,2".

L
m+n=p

a.. b•. On retrouve, au moins dans un cas particulier,

un resultat

obtenu

1.9. PRODUITS INFINIS 1.9.1. Convergence d'un produit infmi

On rappelle que K designe IR ou C. DEFINITION. P; = Soit

(a.l.eN

une suite d'elements

non nuls de 11<. Pour tout n eN, on pose

n ai' On appelle
i=O

produit inflDi de terme general a., et on note na., la suite «a.,

p.ll.eN.

On dit

que Ie produit InflDi nan est convergent si et seulement si la suite (P .1.eN d'elements non nuls de II< admet
+

une limite non nulle, que I'on note alors P = Un produit infmi non convergent

n a. et que I'on appelle

7.

valeur du produit infmi •

..=0

De maniere analogue

a 1.1.1,3

est dit divergent. Ie produit infmi

n~no

a. designe Ie produit infmi

nb. avec

b. = 1 pour n < no et b. = a. pour n ~ no·

1.9.2. Notion de produit infini absolument

IOu crit,re tU Cac"y. Cauchy si et seulement si:

convergent
On dit que Ie produit infini nan verifle le critere de

DEFINITION. -

'<IEe IR~

3N e N

'<In ~ N

'<Ip eN

1.1)1 a.H - 11 0;:; E

n a. converge

(1)

THEORtME. - Uue condition necessaire et suffJsante pour que Ie produit inflDi qu'il veritie Ie crit~re de CallChy.

est

Nous reprenons

la notation:

P;

n ai'
i=O

la condition est micessaire. e R~. II existe N 1 e N tel que:

Par

hypothese:

lim p. = P,

avec

P"I' O.

Soit

'<In ~ N La suite (P.lneN etant de Cauchy, '<In~N2 En utitisant : P; + ,!P; =

IP.I ~ iP1/2. iP.+p-p.IO;:;EIPI/2.

it existe N 2 e N tel que: '<IpeN

n a.
it= I

+ P'

on cons tate :

I Ii a.
i=1

11

0;:; E.

44

SERIES
(I) est verifte. En utilisant (I) avec
E

La condition est sufJisante.- Par hypothese, tate qu'il existe N, e N tel que: '1m ;;.. N, On en deduit, en ftxant m Vp e

= 1/2, on cons-

NIP

..

+. -

P.. 1 :5i;IP..1/2. n:
(2)

N, et en posant

+p =

'In ;;.. N, Soit E' e IRt. En utilisant (1) avec E

IPN,1/2:5i; IP.I

:5i;31PN,1/2. qu'il existe N leN tel que:

= 2E'/3,
Vpe N

IPN,I

on constate

'In;;" NI De (2) et (3); il rl:sulte : 'In;;" max (N"

I---1 r.
VpeN

Pn

+.

I :5i;-2£'/3
-

(3)

IPN,I

NI)

1P.+p

p.l:5i; E'. Soit P sa limite.

La suite (P.).eN est de Cauchy;

comme rt< est complet, elle est convergente, D'apres (2): IPI ;;.. IPN 1/2 > O. En prenant p = 1 dan~ le critere de Cauchy on obtient :

COROLLAIRE. - Une condition Mcessaire (mail DOn luf&sante) converge est que la suite (un).eN admette I pour limite.

pour qne Ie produit inftni II a.

infmi par II (I

Dorenavant, no us poserons an = 1 + u.. et no us designerons Ie produit disposant ainsi de la condition necessaire de convergence: lim u. = o.

+ u.),

r Protluit inftni IIbsolrunent convergent. - D~FINITION. - Le produit inini II (I + u.) est dit absolument convergent sit et seulement si, Ie produit inini II (I + lu.ll. • termes dans R +. est convergent.
THEOREME. - Tout produit infmi absolument Se deduit du critere de Cauchy, en utilisant: convergent. Ilt l

u.), est connrgent.

Ik=

I n (1
P

u.H)

I :5i;
I

0= I

n (I
I'

lu.HIl

3° £tutll! til! JI(1 + u.), apee u.elRH pour tout neN. - TH~OReME. - Le produit infmi JI(1 + u.), avec u. e IR. pour tout n eN, est convergent sit et seulement sit la serie 1:un • termes dans IR+ est convergente. Nous avons: Vne N Comme lim u.
(4)

.-+a,

0 est une condition

nl:cessaire de convergence

aussi bien pour Ie produit

infmi que pour la serie, il suffit de demontrer Ie theoreme dans Ie cas ou cette condition est remplie. Les deux series positives 1: Log (I + u.) et 1: u., dont les termes generaux sont alors equivalents au voisinage de + 00 sont de meme nature. 0 De

(I

+ uo);;"

L
1=0

Uo

on deduit qu'en cas de divergence:

0=0

4° Cas general. - Supposons mais que lim

"-+OL

que Ie produit infmi II (1

u.) n'est pas absolument

convergent, I

u.

O. Limitons-nous

II<

R II existe no e N tel que: 'In ;;.. no

+ u.

> O.

EXERCICES
En utilisant :

45

nous nous ramenons

encore iI l'etude d'une serie,

I

S" EXEMPlES. - eI) Pour loul

E ~\7tl, le produit i'1/mi

I
est absolument b) convergent. injini

n
n;, I

(I _ :22)
n 7t

Pour sa valeur, voir l'exercice 42.

u produit

n
n;,2

(I + (- ;)")
.,,;n

est divergent.

En elTet, au voisinage

de Log

( + (- I)")= (- II" I + (I)

I -in -in - 2n

00 :

0 n-in

On en deduit que la serie

1: Log (I
n~2

+ (-

"n

;1")

est divergente,

c) L'ensemble P des nombres premiers est une partie infinie de N, et donc un ensemble denombrable, On dispose d'une bijection croissante n .......... de N sur P; on a p" = 2; on veri fie par P.. recurrence: Itn E N v,» n + 2.

II en resulte que, pour tout ex > I, Ie produit REMARQUE. - Le lecteur pourra • Pour ex > I,

infini

n (I

- ~:) est absolument

convergent.

,,=0

ii

demontrer
I

en exercice que:

(I

_~

p"

= (}: .~.).=1

• Pour ex = I, Ie produit infini est divergent, 1 1: - diverge. p.

lim
.-+7

..=0

(I

- ~) = 0 et, par conseq uent.Ia serie p,

EXERCICES
COMPLEMENTS ALA REGlE DE D·AlEMBERT.

1.1. - a) Soit 1: a. une serie a termes dans an

n

~!, qu'au voisinage de + telle

a.+1 IX --=1+-+(1-.

(1)
n

00

on ait :

Montrer que: - si IX < - 1, alors la serie 1: a. est convergente; - si IX > - 1, alors la serie 1: an est divergente.
b)

On suppose main tenant que, au voisinage de

a.+ 1 ---;,:-= 1 - ~

1 + (1)
(I

00,

on a :

n Log n .

Montrer que la serie 1: a. est divergente,

46 1.2. - Soient 1: an une serie

u)

SERIES

Montrer

que si,

a partir

a termes

dans IR~, et <p: N

-+

IR+ une application.

d'un certain rang, on a:

V

an <p(n)- <p(n+ I) ~ an+1

ou vest un element de IR~, alors la serie 1:un est convergente. b) Montrer que si la serie 1: I/<p(n) est divergente, et, si, a partir d'un certain rang
ona: <p(n)alors la sene 1: an est divergente. Application. S'il existe - On suppose: lim
+
00

an
1

an+

- <p(n+ I) < 0

lim
n- + co

--

an+1 an

1j

on pose --

an+1 an

= ---.
1

1
an

n~

n an

I, et

i) si I > 1, alors la serie 1: an est convergente; ii) si I

<

1, alors la serie 1: an est divergente.

EXERCICES

DIVERS

1.3. -

Etudier les series de termes generaux :

1tn) tg ( --4n

1t)J.5 ( "2 -

+
+

1t - cos --; n

I tg /I

Log ----

112

-./11 II

112 -

(Arctg

n)M;

fl

e-x'dx;

- ,/n + 1 + u + -;
2 II

1!+2!+
(n

...

+n!

+ p)!

ou
(cos(1t/nW· ;

Z;

e :»

J(l

f" e"

dl e -J..

JLog(n

1)

-)LV;

Arg sh (n')

a Log n
dt, fcontinue,f(O)

(Argch n)· - (Argsh n)·;

fo
+

l'"

t· Logtf(t)

¥- O.

Log n [ Log (n + 1)
(n

J'"
+

,
1) ... (n n)

ann"

n-·

(n

1)-.- - (n -

.+1

f"

"+

1,2

1 ---===dt·

1)-.- ;

.-1]

Jt4+l'

EXERCICES (nsin l/n)"olg'l/n _.e-I,b;

(n-

47
I

I-.-.~ , I
----::::=I=dt·
(

I)"

Log

n'

I)"

n+(-I)"'

Log I + ----;;;- ; sin (1tJ'n3 cos (n1t/3)

I ! - 2!

( (- I)")
+
3! (n

ou

I)"

n· sin (l/n·) . nP+(-Ij"' a

E

+ An·),
...

]0, 2];
(I)" .

+ (-

1)"- In!

In
sin (1tJn2 + an + b);

I)!

+ (- 1)·fn+l'

sin--'

1tJn

'

(cos aln + x sin a/n)" - eGX(1 + bin);

. n. SIO (n ! 1te);

sin

«n2 ;

1)2

1t}

f:
2

(1 - t·)" dt;

., sin (n. 2 1t / e);

cos (Log n) n

22 (Log ) + sin

J Arctg (n

+ 1) - sin

J Arctg (n

).

1.4. - Montrer que la serie de terme general a. = Arctg (n + a) - Arctg nest convergente. Si I(a) designe sa somme, calculer la limite de I quand a tend vers + 00. 1.5. - Trouver les sommes des series de termes generaux : n2 Log +
a

+n- 3
n!
(n

Arctg"2;
n

2
(3n

1)(3n

+ 4)'

sin cos

(D. C ~
cos 1.6. Soit
p

(1) +
n(n

II

Log
.

+ I) + b Log

(n

+ 2)
I)!

(quand elle converge);

. (1 + In)' I n
2

I)

J(n (I + fi)(1 +

I)'

.j2) ...

Arctg

3n

+3

un entier naturel, on pose

ak

= cotg! --2p

k1t

et bk

= ---sin2--2p

k1t

pour k

[1, p]. Former une equation algebrique de degre p admettant pour racines
ak'

ai' ... ,

En deduire la valeur de

L
k= I

ak

puis de

L
k= I

bk•

48
En utilisant l'inegalite : cotg t

SERIES

< - < -. t

sm t

pour

t e ]0, n/2[,

en deduire la valeur de la somme de la serie

I: l/n2•
n~1

1.7. -

Determiner

«(X,P) e 1112 que: tel "In e N*

I
o

«(Xt+

pt2)

cos nt dt = 2". 1

En deduire :

+ '"

• =1

1 2" n

=- . 6
1

n2

1.8. - On considere la suite (un) definie par 0 < Uo < 1 et un+ Montrer que la suite Un converge. Quelle est sa limite?

U. -

u!.

Montrer que la serie de terme general u! converge. Montrer que les series de termes generaux Log (u.+ I/U.) et Un divergent. Montrer que U. < 1/(n + I), et que la suite (nuJ est croissante. Soit I sa limite. On' pose u. = (I - vJ/n. Montrer que la serie de terme general Vn - v.+ 1 converge. En deduire que u. est equivalent II. l/n. Retrouver plus rapidement ce resultat en considerant (_1_ Ie theoreme de CESARO (cf. ex. 1.15 du tome III). un+

_!_) et en appliquant
u.

1.9. -

Existence et calcul de 1 utiliser les integrates

+L

+ox. (-

If
2

-2-n-

•=1

Ci•.

(On pourra

de Wallis (III.6.7.2).)

1.1O. - Soit (a.)nelli une suite decroissante de reels, qui admet 0 pour limite. On pose : Vne N*
Montrer que les series l:a. et ,l: .~I comparer les sommes. 1.11. Montrer

b.

n(an_1

an).

b; sont de me me nature. En cas de convergence,

Soient p ~ 2 un entier et {a.)nelli une suite de reels positifs, decroissante, que les series l: a. et l: p·a",. sont de merne nature. 1
n (Log n) p•
• ~2

Application: etude de la serie l:

1.12. - Soit (a.)nelli une suite de reels. Montrer que si la serie l: a la serie l: ~ est convergente. Que pensez-vous de la reciproque ?
.~I

a! est convergente

1.13. -

Nature

de la serie de terme general:

[1. (n 1.14. -

lW

+ [2. (n - 2)r + ... + [(n est convergente,

1).1]",

«(X Ill). e

Sommer, lorsqu'elle
Un+1 Un

la serie l:u .. II. termes dans Ill+t telle

que, pour tout n eN: --

= --,

n+a

(a et b donnes),

EXERCICES
1.15. Soit I:a. une serie convergente, I: -.;;;., n~1 n 1.16. Soit I:a. une serie divergente, I:~, 1 (avec Qo > 0). 1.17. Soit (a.).EIIiune suite decroissante lim
11-+00

49

II. termes dans IR+. Etudier les series:

II. termes dans IR+. Etudier les series:

+ a.

I:---,

a.

+ nan
d'elements enoncer de IR... telle que la serie I:a. ,

converge. Montrer:

(na.) = O. Peut-on

1.18. - Soit tout n E N*. a) Montrer:

(l

un reel tel que l'integrale 1«•• = O. I: 1«••.

n~1

1«•• =

r
0

une reciproque?
1

(Arc sin t)« dt ait un sens pour

,.- +00

lim

b) Etudier la serie 1.19. -

Soient (a.)1IE1li suite de reels strictement une que si (::)

positifs, telle que la serie I:a. a pour limite I, alors :

diverge, et (U.)ftElli une suite de reels. Montrer

(t I (t at)
Ut)

admet 1 pour limite.

Etudier la reciproque, 1.20. -

Soitf:[O,

oo[ ~ 1R ... ,croissante,telleque:1

la suite (x.).elli par Xo ~ 0 et x .... 1 = f(x.). Montrer 1.21. -

= lim fit) < 1.0ndefmit ,-+ t que la suite (x.)nelli est convergente.
'X_

Soit I:a" une serie II. termes dans IR....On lui associe la suite (b.)1IE1li que: telle
=

bo

0 et 2b....I
Montrer 1.22.

b.

que cette suite est de meme nature que la serie, On pose U. = (1 - th n)lh1/.; 1 = lim U.; a. = U. - I. Etudier I: a•.
;0

+ Jb! + a.,

(n E

N*).

1.21 - Nature de la serie deduite de la serie harmonique termes dont l'ecriture decimale des inverses com porte un 9. 1.24. Etudier
• ;0

en remplacant

par Oles

On designe par p Ie nombre des chillies de l'ecriture

nil";
•

decimate de n

N*.

I: 10 I

I: p-";
;0

n;o

I: n-1p-« .
I

1.25. -

1 Sommer I:a .. avec: a3• = ---, 4n + 1

a3 ....

4n

+ 3'

a3~"'2

2n

+ 2'

50

SERIES
1.26. On donne

zE

C, avec

Izl ~

1. Sommer

n"

l.:

z·
I

(l - z·)(1 - z·
E

+I .

1.27. -

On donne

aI' ... , ap• Etudier

a l.: ~,ou
"" I

a. = al' k

Np> lorsque nest

congru It k, modulo p. 1.28. Sommer l.: a., ou a. = 2n

•" I

Jo

r+

cos (2m) . Log (2 cos ~) dt.

1.29. -

Etudier 'Ia fonction f:

t .......... exp-2-'

tt

Etudier la serie l.: a., avec a. = f(n)

•" I

+~,
n

«a,

P) E 1R2).

1.30. -

Izp - z ql >
a> 2.

Soit (Z.)II€N une suite de nombres complexes telle que, pour p 'F q, d (d E IR!' donne). Etudier la serie l.: Iz.I-'. On montrera qu'elle converge pour

1.31. - Dans la serie harmonique alternee, on prend p termes positifs, puis q termes negatifs, puis p termes positifs, et ainsi de suite. C'est ainsi que pour p = 3 et q = 2, on obtient:

Montrer 1.32. -

que la serie

n~

l.: a. converge, et calculer sa somme.

1

Soit l.:a. une serie convergente.

X.

On pose: b. = --.

=~ n

(i

kak);

x.

=1

Montrer

que la suite (x.).eN. converge.

Etudier la serie
•

,,~ I

l.: b•.
s(n)

1.33. -

On pose: s(n) =

k=2

k-·, (n > 1). Etudier la serie 1 sin -; a2n+ n' appliquer -1

I

l.: -,
n,,2

n'

(a

IR).

1.34. de la serie

1 On pose: a2• = -

2n

+k

2n

+1

(k E IR,s E

IR!').

Nature

n~ I

l.: a•. Dans que I cas peut-on

Ie theoreme

des series alternees ?

1.35. Calculer

Justifier l'egalite : separement

ott

- 2 Log (1 - t) - -

1)

dt =

.=In(n+l)

I --<X,

l'integrale

et la somme de la serie.

EXERCICES 1.36. Soitfune permutation

51
que a sene ~ -

de

I\j*.

Montrer

..

,.../(11) di .

" ;, 1 112

iverge, et que

l'on peut choisir f pour que la serie

• ;'1

l: I/J f(n) . f(n

1) converge .

1.37. -

Exhiber une serie convergente

Ec, II. laquelle il soit impossible d'associer

a. E IR\[ 1] tel que la serie l:la.l· converge.

1.38. Etudier II. I'aide des series les integrales _----::-t_· -1 + t~(sin2 dt,
t)

impropres:

+ «-

+ «-

_--::-d_t -1

t~ [sin tl·'

+«-

x·e-x·sin' t dt.

1.39. - Soient E, F des espaces de Banach. On note 150m (E, F) I'ensemble des isomorphismes (algebriques) de E dans F qui sont des homeomorphismes, Montrer que 150m (E, F) est un ouvert (eventuellement vide) et que U I--+U -I est une application continue de Isom (E, F) dans Isom (F, E). (On utilisera ici Ie fait que si v E !l'(E) verifie
+"

Ilvll < 1, alors e II1.8.5.3, 1·.)

L'

est inversible dans !l'(E), en considerant

L":

on comparera

II.

n=O

1.40. TH~OR~ME DEMERTENS.- Soient l:a. et l:b. deux series complexes,la semi-convergente, la seconde absolument convergente. On pose:

premiere

A=

L .=0

+00 an:

B=

L b.: .~o
a,:

+00

B' = B• =

+00 .~o

Ib.l:

c.

k=O

akb.-k:

A• =
1° VerifIer que:

,~o

,-0

b,:

c• = L c,. ,=0
k et K.
E:

a) Les suites (a.).EN et (IA.I)IIEN admettent

des majorants,

b) A tout
i)

EE

IRt on peut associer N.

E I\j

tel que n ~ N. entraine:

ii)
iii)

la.+11 ~ E , la.+1 + a.+21 ~ E: ••• : la.+1 + ... + a2.1 ~ la.1 ~ E ; la.+11 ~ E ; ••• ; la2.1 ~ E: Ib.+l1 + Ib.d + ... + Ib2.1 ~ E.
" .... +cr;,

2° Montrer:

lim

IC2•

A.B"I=

0;

,,-+~

lim

('2.

O.

3° En deduire que la serie l:cn converge, et a pour somme

FAMILLES OMMABLES. S PRODUITS INFINIS. 1.41. a) Montrer

AB.

que, pour t
I

IR et n

E I\j*

on a: sin (t

sin nt = 2· -

sin t . sin (t

+~

1t) ...

n:

1t).

52
Montrer que, pour n = 2p

SERIES

+ 1,

IR et nt non multiple de 1t, on a:

cotg nt = (- I)P cotg

I .cotg

(r + ~
1, t
E

1t) ...

cotg

(r + n :

1. 1t)

b) En deduire que, pour n = 2p cotg t = --n tg tin c) Montrer

IR et t non multiple de 1t, on a: 2n tg tin

.

1';'

+
k

L..

= I cos!

knln . (n tg t/n)2 - (n sin k1t/n)2

que, pour tout t

IR, non multiple de 1t, on a:

1 cotg t = t

* L ---- 2tk21t2 = t2
+ '"
k I

(On utilisera la theorie des series doubles.)

1.42. absolument

a) Montrer convergent.

que pour

1R\1t.l, Ie produit

inftni t

.,.1

n (1

- ~)

n21t2

est

b) Montrer

les egalites, pour n = 2p

sin nt = n sin t

+ 1:

(1 __
2

.s_in_2_t_)... sm21t/n

(1 __
...

g2 cos • t. n tg t , (t 1 - --tg2 1t/n 1t c) Etablir pour 0 < x < y < - les inegalites: . sm nt

t)

(1 x
y

._si_n_2_t_) sm2 p1t/n

---tg

tg2 p1t/n

t)

-->sin y En deduire, pour t

E

sin x

x
y

et

tg x tgy

-<-

1R\1t.l :
t
;1"'" (
• =1

t 1 - 22

2 )

n 1t

= sin t.

2
SUITES ET SERIES D'APPLICATIONS
2.1. G~N~RAlIT~S SUR LES SUITES O'APPLICATIONS

2.1.1. Convergence simple; convergence uniforme

On considere un ensemble quelconque E et un espace metrique (F, d). 1 DEFINITION I. - On dit qu'une suite r = U~).eN d'applications de E dans F converge simplement (sur E) si, et seulement si, pour tout x E E, la suite (j~(X».eN admet une limite. En designant cette limite - dont I'uniciteest connue - parf(x), on determine une applicationf: E -+ F qui, du rait de son unicitel peut ~tre appelee la limite simple (sur E) de la suite r; on dit que r converge simplement (sur E) versf.
0

REMARQUES. - a) Les f. etant des applications admettant E pour ensemble de definition, I'expression « f converge simplement sur E»est un pleonasme, Dans la pratique, nous aurons Ie plus souvent affaire a une suite f = (j.).eN defonctions d'un ensemble Evers un espace metrique (F, d); no us dirons alors qu'etant donne E' c E, f'converge simplement sur E' si, et seulement si,lesi~ sont toutes definiessur E' et si la suite des restrictions desf. a E' converge simplement (sur E'), au sens de la definition I. Pour eviter toute cause d'erreur, nous accepterons Ie risque de commettre un pleonasme, b) Nous ecrirons f = (j.).~. lorsque nous ne disposerons que d'une application de Mfa, ... , no - I} dans FE. 0

DEFINITION II. - On dit qu'une suite r = (f,,).eN d'applications de E dans F converge uniformement sur E si, et seulement s'il existe une applicationfde E dans F teUe que Ia suite d'elements de ~ dont Ie terme general est:

J.1" = sup d(f,,(x),f(x»

xeE

admet 0 pour limite. Notons qu'alors r converge simplement sur E versf, ce qui implique l'unicite de f et permet de dire que f est La limite uniforme sur E de la suite r.
REMARQUES. - a) Les exemples du 3° montreront qu'il peut se faire qu'une suite converge simplement sur E sans qu'elle converge uniformement sur E.

b) Si f est limite uniforme sur E d'une suite d'applications f. toutes bornees sur E, alors fest bornee sur E. En effet, it existe d'une part N E N tel que sup d(j~x), f(xj) .;;;I, d'autre part
xeE

(a, r) E F

x R~ tel que sup

xeE

d(a,iN(x))

.;;; r.

O'OU:

sup d(a,f(x» .;;;r

xeE

1.

54

SUITES

ET SERIES

D'APPLlCATlONS

2.1.1

c) Ne dependant que de la nature topologique de F, l'existence de la limite simple et la limite simple ne sont pas modifiees si on remplace d par une distance topologiquement equivalente, Par contre, l'existence de la limite uniforme fait intervenir explicitement Ie choix de la distance d; il est cependant aise de constater qu 'elle n 'est pas modifiee si on remplace d par une distance equivalente, et meme par la distance d' = inf(d, I).

2° Formuilltions. - Soit f une suite d'applications de Evers F et f une application de Evers F. Par definition : la convergence simple sur E de f vers f se traduit par:
i)

'<Ix E E

'<If. E

IR~ 3N

N '<In ~ N

d(f.(x),f(x)):;:;;

f.

la convergence uniforme sur E de f vers f se traduit par:

'<If. E

IR~ 3N

'<In ~ N

sup d(f.(x),f(x»
xeE

:;:;;f.

c'est-a-dire par: ii)

'<IEE

IR~ 3N

'<In ~ N

vx

d(f.(x),f(x)):;:;;

f.

On notera que: i) et ii) ne different que par la place de ('<Ix E E) - dans i), N depend de x et de e; dans ii) N ne depend que de
REMARQUE. -

E.

Dans Ie cas OU E est un intervalle de iii et ou F = iii, on peut considerer, dans un a un repere.Ies representations graphiques r., C, C., C _, des applicationsj;"j; f + e.f - E, (n EN, E E llit). On constate que f converge uniformement sur Evers fsi, et seulement si, pour tout E, F, est inclus, pour n assez grand, dans la partie du plan P qui est comprise entre C C _I' " et eventuellement deux paralleles I'axe des ordonnees. plan P affine rapporte

Soit f = (f.). eN une suite d'applications de E dans F . • S'il existe Xo E E tel que la suite (f.(xo)) •• N d'elements de F soit divergente, alors la suite f ne converge pas simplement sur E, et afortiori ne converge pas uniforrnement sur E . • Supposons maintenant que nous ayons montre que f converge simplement sur E; designons par fla limite simple; si f converge uniformement sur E, ce ne peut etre que vers f.
-

3° Pilln d'etude.

II peut arriver que des considerations de continuite et d'integrabilite permettent de conclure a la non-convergence uniforme (cf.2.2.1l..!_maisen general, on se reporte a la defmition : on etudie la suite d'elements de IRdont Ie terme general est :
~. =

sup d(j~(x),f(x»
XEf

- a)f.: [0, I] ..... iii 1 ........1·. Pour 1 E [0,1] donne, la suite reelle (f.(I».EN admet 0 ou I pour limite selon que I E [0, 1[ ou 1. La suite f admet done une limite simple sur [0, 1], it savoir I'application EXEMPLES.

f:

[0,1] .....iii

f(l)

=0

si

IE

[J, 1[; f(l)

= I.

2.1.1

GENERALITES

SUR

LES

SUITES

D'APPLICATIONS

55

Ici: lin e '" 11. = 1. La convergence n'est pas uniforme sur [0, I]. En revanche, pour a e [0, I[ donne, on a: lin e '" sup 11.(1) - f(I)1 = a·

le[O,.]

Pour tout a e [0, 1[, la suitcfconverge donc uniformement sur [0, a] vers I'application nulle de [0, a] dans IlitMais on notera bien qu'il n'y a pas convergence uniforme sur [0, 1[. b)/.: IR+ .... IR I I-+n"le-·', (n e "'., (l e IR+). Pour I e IR+ donne, la suite reelle (f.(I».eN admet 0 pour limite (considerer successivement I = 0 > 0). La suite fadmet done une limite simple sur IR+,it savoir I'application nulle de IR+dans IR. Pour n e "'. donne, le tableau de variation de I.
I

et I

n-'

+00
-

J: (t)
1.(1)

+
0
?

montre qu'ici 1-1" est ./,,(n- ') = n' - '" - '. On en deduit :

'"

- Si (l < I, alors lim 11. = 0; il y a convergence uniforme sur IR+;

n-+CXJ

- Si (l > I (resp. (l = I), alors lim 1-1. =

00 (resp. lim 1-1. = e-'); il n'y a pas convergence

II ....

IX.

uniforme sur IR+ni d'ailleurs sur IR!. En revanche, pour a e IR! donne, on a: lin ;;. I/a sup

le[ .. + oo[

1/.(1)1

= n'u e - O.

v
...... - ......... ,
,"

, ,
,....

,.. -- .... ,
)

,, o
1/n
FIG. 2.

, ,

"

, ...

... <,

....

...... .......

........
t

......

Pour tout a e R!, la suite f converge done uniformement sur [a, c)/.: IR.... IR
nl 11-+---.

00[.

n212

II est aise de voir que lin e '"

I.(D

converge simplement sur IR vers I'application nulle. On a:

11.;;'~'

= ~,et donc: lin e '"

56

SUITES

ET SERIES

D'APPLlCATJONS
montrer que pour a
E

2.1.2
R~. il y a

II n'y a pas convergence uniforme sur lit Le lecteur pourra convergence uniforme sur iii\] - a, + a[.

REMARQUE. - Nous venons de voir que, en cas de convergence simple vers/, la non-convergence uniforme peut se prouver par l'existence d'une suite (l;.I.EN d'elements de E telle que la suite (dU.(l;.I,f(l;.lll"EN n'admette pas pour limite.

4° Co."ergence uniforme sur lin ensemble .r;I de ,arties de E. - DEFINITION. - On dit qu'une suite f d'applications de E dans F converge uniformement sur un ensemble .~ de parties de E si, et seulement si, pour tout A E .~, la suite f converge uniformement sur A.
Notons que f peut can verger uniformernent sur I'ensemble de parties uniformement sur U A. C'est Ie cas pour la suite f = (j.l.EN avec:
AE.q(

.ct sans can verger

I.:

[0, I] ....iii

1 1---+1·.

Cette suite converge uniformement sur I'ensemble mais ne converge pas uniformement sur [0, 1[.
EXEMPLE. -

ct = {[O, a]la

[0, I[} de parties de [0, I], de E,

on parlera

Si E est un espace topologique, et si .ct est I'ensemble des parties compactes de « convergence uniforme sur tout compact »,

2.1.2, Le critere de Cauchy uniforme

Soient E un ensemble quelconque, une suite d'applications de Evers F, (F, d) un espace metrique, f

= U;')"EN

DEFINITION. - On dit que f est une suite d'applications uniformement de Cauchy sur E si, et seulement si elle verifle la condition suivante, dite crhere de Cauchy uniforme sur E: "IE E

IR~

3N

"In ~ N

"1m ~ N

sup d (j~(x),.I~(x))
xeE

:;:;;E

PROPOSITION

I. - Si f converge unifermement

sur E, alors fest uniformement

de Cauchy sur E. Par hypothese, il existe Soit E E IR~, II existe N

J, limite uniforme de f sur E.

EN

tel que:
E

"In ~ N

"Ix

d(fn(x),f(x»:;:;;
E

E/2

On en deduit que, pour to us n ~ N, m ~ N, x

E:

o
PROPOSITION II. - Si fest uniformement de Cauchy et converge simplement sur E, alors f converge uniformement sur E.

Soit existe N

EE E

IR~. D'apres Ie critere de Cauchy uniforme, veri fIe par hypothese, il N tel que:

"In ~ N

"1m ~ N

"Ix

d(frn(x), fn(x» :;:;; . E

z.r.s

GENERALITES

SUR

LES

SUITES

D'APPLICATIONS

57

Fixons provisoirement

E et n ~ N. Nous avons:
(1)

Par hypothese, il existeflimite

simple de f sur E et done, pour Ie point x

EE

considere :
m-+-x.

lim j~(x)

= f(x)
~

(2)

Compte tenu de la continuite

de la distance, de (1) et (2) on deduit :

E

d(f(x),fn(X))
En conclusion: "IE e R!

3N E N "In ~ N

"Ix E E

d(fn(x),f(x»

~E

PROPOSITION III. - Si I'espace metrique (F, d) est complet, alors pour que la suite d'applications f converge uniformement sur E, il faut et il sufflt qu'elle soit uniformement de Cauchy sur E.

Compte tenu des propositions I et II, il suffit de montrer que, si (F, d) est complet et si fest uniformement de Cauchy sur E, alors f converge simplement sur E. Cela tient ce que, dans ce cas, pour tout x E E, (fn(x»n eN est une suite de Cauchy d'elements d'un espace metrique complet F, et done une suite con vergen teo

2.1.3. Topologie de la convergence uniforme

Soient E un ensemble quelconque et (F, d) un espace met rique. On designe par 0 I'application de

F£

F£ dans

iR +

determinee

par: o(f. g) = sup d(j(x), g(x)).

xe£

Nous laissons au lecteur les demonstrations,

PROPOSITION PROPOSITION

tres simples, des propositions (1II.l.3.3, 2").

suivantes

I. - L'applic:ation

0 est une pseudo-distance L'application

oo(f. g) = inf (O(J, g), I) est une distance sur F£. La topologie induite sur F£ par eette distance est dite topoloqie de lu conterqence unijorme sur fE.

II ET Oi'::FINITION. -

00 de F£ x F£ dans iii + determinee

par

PROPOSITION III. - La suite f d'applications de E dans F est uniformement conyergente sur E (resp. uniformement de Cauchy sur E) si, et seulement si la suite f d'elernents de I'espace metrique (FE, 00) est conyergente (resp. de Cauchy).

La proposition
PROPOSITION

III du 2.1.2 peut done se traduire

par: metrique (FE, 00) est

IV. - Si I'espace metrique (F, d) est complet, alors I'apace

complet.

58

SUITES

ET SERIES

D'APPLlCATlONS

1.1.4

REMARQUE. - Soit ~(E, F) I'ensemble des applications bornees de E dans F. II est aise de constater que la restriction de la pseudo-distance 1) it ~(E, F) x ~(E, F) est une distance et d'en deduire que si l'espace metrique (F, d) est complet, alors l'espace metrique (£I(E, F), Ii) est complet. Sur ~(E, F), 1) est appelee distance de la convergence uniforme.

2.1.4. Suites d'applications

0

a valeurs

dans un e.v.n.

1 PROPOSITION I. - Soient E et F deux espaces vectoriels sur 11\\ (~ou C), F etant norme, et soit f = (fn)neN une suite d'applications line-ires de E dans F, admettant une limite simple I sur E. Alors I est lineaire. Soient (x, y) E E2, (e, ~) E 11\\2. On a: I(llX

~y) = lim In(llx

11-+00

+ ~y)

= lim
11-+00

[llIn(x)

~In(y)] = af(x)

~I( y)

PROPOSITION II. - Soient E un ensemble, F un e.v.n. Alors I'ensemble dIJ des suites d'applications de E dans F qui convergent uniformement sur E est un espace vectoriel et I'application qui a un element de dIJ assode sa limite uniforme sur E est lineaire.

Demonstration

facile, -laissee au lecteur.

PROPOSITION III. - Soient E un ensemble, F, G, H des e.v.n., Tune application bilineaire continue de F x G dans H, f = (fn). E N et g = (g n). e N des suites d'applications de E dans F et de E dans G respectivement, admettant des limites uniformes sur E,f et g, bornees, Alors la suite h = ifn T gn). E N d'applications de E dans H admet I T g pour limite uniforme sur E.

Par hypothese,

il existe k 'v'(y,
.'ICeE

E ~+,

E ~+

et K'

E IR+

teis que:

z) E F

xG

Ily T zll ~ kilyllllzll;

sup Ilg(x)11~ K'
xeE

snpllf(x)1I ~ K; Po sons : ~n En utilisant

= sup IIIn(x) - I(x)ll, ~~ = sup Ilgn(x) - g(x)lI·

xeE xeE

Ie fait que In T gn -

IT g

s'ecrit :

ifn - I) T on constate que

ie, xeE

g)

+ IT

(gn - g)

+ ifn -

I) T g est majore par

suPllfn(x) T gn(x) - I(x) T g(x)11

REMARQUE. g:

-+

- Si f admet I (pas necessairement bornee) pour limite uniforme sur E et si G est bornee, alors if. T g)nEN admet I T g pour limite uniforme sur E.

2° Norme tie lalcoft"ergeftce uftijorme. - a) Soient E un ensemble, F un e.v.n. et ~(E, F) l'espace vectoriel des applications bornees de E dans F. Pour toutj" E ~(E, F) on dispose de 11/11= sup II/(x)lI.
xeE

2.1.5

GENERALITES

SUR

LES

SUITES

D'APPLICATIONS

59

Le lecteur verifiera aisement quel Il de la convergence uniforme. D£FINITION. conft!rgence uniforme. On constate L'application

1---+11111

est une norme sur £f(E, F), a laquelle est associee la distance de £f(E, F) dans 1Iil+ est appelee norme de la

1I---+supllf(x)1I
xe£

que, pour cette norme, si F est de Banach,

£f(E, F) est aussi de Banach.

bornees, on retrouve alors les propositions II et III com me des theoremes classiques sur les operations sur les limites dans les e. v.n. Notons d'ailleurs que dans Ie cas de la proposition III, les suites (j~).e Net (g.).e N sont des suites d'applications bornees, au moins a partir d'un certain rang. 3 Reto"r s"r les espQ£es !I"(E, Fl. - Soient E et F deux e.v.n. Nous avons muni l'espace !I"(E, F) des applications lineaires continues de E dans F de la norme:
U

b) Si on se limite aux applications

I---+lIuli = sup lIu(x)lI.

IIxll",1

Notons B = [x E Elllxll .;; I}. Alors une suite (u.).eN d'elements de !t'(E, F) converge vers E !I"(E, Fl si, et seulement si la suite des restrictions des u. it B converge uniforrnement (sur B) vers la restriction de u it B. On verifie aisement, par des homotheties :
U

PROPOSITION. - Une suite (u.).eN converge vers u dans I'e.v.n. !t'(E, F) si,et seulement si la suite d'applications (u.).eN converge uniformement vers u sur toutes les parties bornees de E.

2.1.5. Convergence d'une famille d'applications

G un espace topologique,
de E dans F. A une partie de G, 1..0

Soient E un ensemble, (F, d) un espace metrique, un point de

A, et

enfin f

(fJl..eA une famille d'applications

D£FINITION. - On dit .que la famille f converge simplement sur E lorsque A. tend vers 1..0 en appartenant i A si, et seulement s'il existe une application 1: E .....F telle que: 'VxEE lim I.(x) l.~l.o.l.eA

= fix).
i A si, et

On dit que la famille f converge uniformement sur E lorsque A. tend vers 1..0 en appartenant seulement s'il existe une application 1: E .....F telle que I'application 1.1 : A ..... IIil + admette

A. I---+'sup d(f.(x), fix»~

xeE

0 pour limite lorsque A. tend vers 1..0 en appartenant

i A.

Le lecteur etendra aisement a une famille d'applications les resultats deja acquis pour une suite d'applications, y compris Ie critere de Cauchy uniforme dans Ie cas ou G est metrisable et ou (F, d) est complet.
EXEMPLE. - G = i; A = 1Iil; 1..0 = + 00;1. : 1Iil .....·IIil· t l---+e-l.I';fadmet une limite simple sur R,lorsque A. tend vers + 00, a savoir l'applicationj": IIil ..... IIil determinee par flO) = 1 etf(t) = 0 pour t 'I' O. lei, pour tout A. >.0, ).1(1..)

= sup
lEA·

e-l.I'

1. II n'y a pas convergence

uniforme sur 1Iil. En

60
revanche, pour tout a
E

SUITES
R!, on a

ET SERIES

D'APPLlCATlONS

1..2.1

sup [fAIt) - Jlt)1 III~G et il y a convergence uniforme sur III \ ] - a,

e-l..a

+ a[.

2.2. CONTINUITE, OERIVABILITE. INTEGRABILITE OE LA LIMITE O'UNE SUITE O'APPLICATIONS

Introduction
La limite simple d'une suite d'applications C'est ainsi que le lecteur demontrera : possede certaines des proprietes de ces applications.

PROPOSITION. - Soit r = (f~).eN une suite d'applications d'un intervalle reel 1 dans Ill, de limite simple f sur I. Si pour tout n, J~ est croissante (resp. dec:roissante; resp. convexe) sur I, alon f est croissante (resp. dec:roissante; resp. convexe) sur I.

Cependant Nous continuite,

d'applications continues

l'etude desf. : t ......... de [0, 1] dans Ill,nous a appris que la limite simple d'une suite t·, peut ne pas etre une application continue. allons maintenant donner des conditions suffisantes pour que scient conservees la la derivabilite ou l'integrabilite,

2.2.1. Connnuite et limite

10 THEORtME. - Soient E un espace topologique, (F, d) un espace metrique, a un point de E, enfm f = if.).eN une suite d'applications de E dans F, toutes continues en a, qui converge uniformement sur Evers une application! Alorsf est continue en a.

Soit

£E

~t. On

peut lui associer N

N tel que:

sup d(fN(X), f(x» ~ £/3.

xeE

D'apres la continuite de fN en a, iI existe V, voisinage de a dans E, tel que: En utilisant:

on obtient:

vx
COROLLAIRE.

d(f(x), f(a» ~

unifermement

Si une suite d'applications continues sur E converge sur E, sa limite est une application continue sur E.

2.2.1

CONTlNUITE,

DERIVABILITE,

INTEGRALITE

61

INTERPRETATION DU COROLLA1RE. - 't(E, F) designant la partie de l'espace metrique (FE, 00) constituee par les applications continues, Ie corollaire dit que toute suite convergente (dans FE) d'elements de 't(E, F) a sa limite dans't(E, F), qui est ainsi un ferme de FE (111.2.3.5,2"); si,en outre, (F, d) est complet, alors ('t(E, F), 00) est complet (111.2.4.2, 2°). REMARQUES. - a) Si une suite d'applications continues de E dans F admet une limite simple sur E, non continue, on peut affirmer que la suite ne converge pas uniformement sur E; cette remarque est

tres utile dans la pratique. b) Le corollaire n'est qu'une condition suffisante : une limite simple d'applications continues peut etre continue sans qu'il y ait convergence uniforme (cj: exemple b) du 2.1.1.3").

r THEOREME. - Soient (E, dd et (F, d2) deux espaces metriques et f = (J~).eN une suite d'applications de E dans F, toutes uniformement continues sur E, qui converge unitormement sur Evers une application l Alors I est uniformement continue sur E.
Soit
I: E

IRt. On peut lui associer un naturel N tel que:

sup d2(fN(X), f(x»
.'CEE

~ 1:/3.
T] E

D'apres
En ecrivant :

I'uniforme continuite
'v'(x, x')
E E2

de fN sur E, il existe
T] ::;.

IR! tel que:

~ 1:/3

d 1(x, x') ~

d2 (fN(X), j~(x'»

on obtient:

D 3" Cas de la convergence uniforme sur Iensemble des compacts.

THEoREME I. - Soient E un espace topologique metrisable, (F, d) un espace metrique, et f = (J~)"eN une suite d'applications continues de E dans F, qui converge uniformement sur tout compact de E. Alors I converge simplement sur E et sa limite simple est continue sur E. Tout point x E E est tel que {x} est une partie compacte de E; il existe done lim fn(x); en designant cette limite par f(x), on dispose de I'application

I:

n-

+ 00

E .....F, limite simple de f sur E. Considerons un point a E E. E etant metrisable, pour montrer que I est continue en a, il suffit de montrer (111.2.3.5,3°) que, pour to ute suite (xn). e N d'elements de E de limite a, la suite (f(xn e N admet I(a) pour limite. Soit (xn). e N une telle suite, et soit K la reunion de {a} et de l'image de la suite. Pour tout recouvrement at de K par des ouverts de E, l'un des ouverts contient a, et done tous les elements de K, sauf un nombre fmi d'entre eux; on peut ainsi extraire de at un sous-recouvrement fini; K est un compact de E. La suite des restrictions des In K, qui sont continues sur K, converge uniformement (par hypothese) vers la restriction de f a K, qui est ainsi continue; la suite (J(X.».eN' qui est aussi (fIK(X.», admet pour limite fIK(a), qui est aussi f(a). 0

».

EXEMPLE.- On peut appliquer

ce theorerne

a In:

[0, 1[ ..... IR

t I---+t·.

62

SUITES

ET SERIES

D'APPLlCATIONS

2.2.1

REMARQUE. - TH£OREME II. - Soient E un espace topologique, (F, d) un .espac::e metrique, f = (J~).eN une suite d'applications continues de E dans F qui converge uniformement sur un ensemble "'" de parties de E. Si de plus tout point de E admet un volsinale element de .t'/, alon f converge simplement sur E et sa limite simple est continue sur E.

Verification laissee au lecteur, qui utilisera 111.2.2.3,2" a). 0 Notons que Ie theorerne I n'est pas en general un cas particulier du theoreme II. A titre d'exercice, Ie lecteur pourra redemontrer au moyen du theoreme II l'assertion : Si F est un espace de Banach, !/,(E, F) est un espace de Banach (utiliser l'ensemble des parties bornees de E). 4° Cas

"'''III! famiUe

Ifapplicatiolls.

En s'inspirant

du 1°, Ie lecteur etablira

sans difficulte ;

A c G et )..0 E A, enlin f = (JJl..eA une famille d'applications continues de E dans F, qui converge uniformement sur Even une application j; lorsque ).. E A tend yen )..0' Alon f est continue. II reprendra, de E). de la meme facon.I'etude du 3° (convergence uniforme sur l'ensemble des compacts

TH£OREME. -

Soient E un espace topologique,

F un espace metrique,

G un espace topologique,

Xo E :4, une partie A c G et un point Ao E A, un espace metrique h : A x A .... F. On dispose ainsi des deux families d'applications f

5' U tWore~ On considere deux

Ifinterversion des limites. - II s'agit d'une extension du theoreme precedent. espaces topologiques metrisables E et G, une partie AcE et un point

(F, d), enfm une application U~h.eA et g = (Y.,)xeA' avec:

J...:

A .... F

x ......... A); h(x,

g.: A .... F
determine

).. ......... )..). h(x, h et l'autre famille.) Avec ces

(La don nee de l'une des families aurait notations, nous allons demontrer :

d'ailleurs

THEOREME. - On suppose que f converge uniformement sur A, lorsque A E A lend yen Au. vers une ~pplicalionf: A .... F; on suppose d'aulre part que I converge simplemenl sur A,lorsque x E A lend yen xo, yen une applicalion g: A .... F. Dans ces condilions:

i) S'i1 existe

lim
). ......o.AeA )

g()..), alon

il existe

lim
x-+.'(u.xeA

fIx)

el les deux Iimites sonl egales;

ii) Si F est complel,

alon il exisle

lim
A .....An.lEA

g(A) et i) s'applique,

Demonstration de ii], - Soit voisinage V de )..0 dans G, tel que:

£E

1Ii~. La suite f etant

uniformement

de Cauchy,

il existe un

V().., A') E (V n A)2

sup dU~(x), «A

h_.(x))

~s

(I)

g()..')

La famille g convergeant simplement, pour ), et ),' fixes.j, a}; admettent pour limites en xo, suivant A. En utilisant la .continuite de la distance d, on obtient:

respectivement

Y(A) et

VIA. A')

E (V n A)2

d(g(A),

g(A'))

~£

(2)

G etant metrisable, Ie critere de Cauchy pour les fonctions (111.2.4.2, 5") permet de deduire de (2) que 9 ad met une limite en Ao suivant A. 0 Demonstration de i), - Soit £ E IR~, la suite f etant uniformement convergente, il existe un voisinage VI de Ao dans G, tel que: sup dlfl.(x},j(x))
xeA

~ £/3

(3)

2.2.2

CONTINUITE,
Par ailleurs I'existence de lim
A-An,leA

DERIVABILlTE,

INTEGRABILITE

63
V2 de 1..0 dans G, tel

g(l..) = I permet d'associer

a e un voisinage

que:

d(g(I..), I) ~ &/3

(4)

Choisissons un point 1.1 de VI rv V2 n A et ecrivons quej, admet g(l.I) pour limite en Xo suivant A; on peut associer & un voisinage U de Xo dans E, tel que:

v«
En utilisant

UnA

dU~(x), g(I.I)) ~ &/3

(5)

(3), (4), (5), et en tenant compte

d(f(x),

de:

I) ~ d(f(x),f_<x))

+ dUix),
un voisinage

g(l.I))

+ d(g(I.I),

I)

on constate qu'a tout

&

E 1Iil~ on peut associer

U de Xo dans E tel que:

\Ix On peut done affirmer : I =

UnA fIx).
'(eA

dU'(x), I) ~ e

lim
~-'(u.

o
(qui justifie son nom): h(x, 1..)) G=

REMARQUES.- a) On peut intervertir

b) Le theoreme

les roles des families f et g.

se retient sous la forme condensee

lim ( lim h(x, 1..)) = lim (lim

%-%0 A_Au ).-).0 %-%0

A = N,"-o = +

c) On I'utilise souvent
x.]

dans Ie cas OU I'une des families est une suite (par exemple

ii,
E

d) En fait l'hypothese G metrisable ne sert que dans la demonstration de ii], l'hypothese metrisable est inutile. Dans la pratique courante, l'enonce propose est largement suffisant. EXEMPLE. a) Adoptons

E =G= d'abord

iit

A = A = 1Iil~;

F = 1Iil; 10 = 1..0 =

%.

: hIt, 1..) = --. t + 1..2 lei les families f et g convergent uniforrnement s'applique; on constate d'ailleurs aisement :

I..

sur 1Iil! vers I'application

nulle; Ie theoreme

b) Adoptons

maintenant:

hIt, 1..) = --.

t

I.. I..
I .._,1

lei les families f et g convergent sur 1Iil! respectivement vers les applications mais Ie lecreur verifie qu'il ne s'agit que de convergences simples; d'ailleurs : lim ( lim -- 1..)
= I'
1

et "- .._,O,

'-+'Ll.-+"Lt+"A.

lim
1. .... +'1.

lim -(I..)
I-+'L

= O.

2.2.2. Applications reglees

P Nous allons reprendre, en la completant, une definition deja donnee au 111.4.6.2, 2°.
THEOREME ET DEFINITION. Soient [a, b] un intervalle compact de IR, Fun e.v.n., 8 l'espace vectoriel des applications en escalier de [a, b] dans F, et

64

SUITES

ET SERIES

D'APPLICATIONS

2.2.2

f:

[a, b] i)

-+

F une application.

Les assertions suivantes sont equivalentes: par des elements de 8, i.e. : 3<p
E If

f f

peut-etre approchee uniformement

ve ii)

E ~~

sup Ilf(t) - <p(t)11 ~ e

lelll,b]

est limite uniforme sur [a, b] d'une suite d'elements de If.

Toute application i)

veriflant ces deux assertions sera dite reglee sur [a, b].
.,

= ii),

D'apres

i), pour tout n E N on peut associer a e.

1

= -n

un

element <P.E II tel que: sup l[f(t)

,e[a.h]

- <p.(t)11 ~ --

fest

done limite uniforme sur [a, b] de la suite (<P.)"eN'

ii) i) Supposons qu'il existe une suite'(<P"),,eN d'elernents de 8 qui converge uniforrnement versfsur [a, b]. A tout e E on peut associer N E N tel que

o o

~t

'era. b]

sup l[f(t)

<pN(t)11 ~ e.

REMARQUE. - L'ensemble des applications reglees de [u, b] dans F est un sous-espace vectoriel de Fl •. "I, qui contient s' et est indus dans 9!I([u, b], F), une application reglee sur [u, b] etant bornee au titre de limite uniforme d'une suite d'applications bornees. Plus precisement il s'agit de l'adherence de 8 pour la topologie de la norme de la convergence uniforme ainsi que Ie lecteur Ie verifiera a titre

d'exercice,

PROPOSITION. A toute application reglee,f: [a, b] -+ F, on peut associer un sons-ensemble au plus denombrable D c [a, b] tel quefsoit continue en tout point de [a, b]\D.

fest limite uniforme sur [a, b] d'une suite (<P"),,eN'elements de ~. Pour tout d n E N, il existe un sous-ensemble fmi D. c [a, b] tel que <p" soit continue en tout point de [a, b]\D". On pose D = U D". On applique Ie theoreme du 2.2.1, 1°, . "eN en tout pomt de [a, b]\D.

r Caracterisation des applications reglees. - THEOREME. Soient [a, b] un intervalle compact de ~, Fun e.v.n.,f: [a, b] -+ F une application.
i) Si en tout point de [a, b[,f admet une limite a droite, et si en tout point de ]a, b],Jadmet une limite a gauche, alorsfest reglee sur [a, b]. ii) Reciproquement si Fest complet, et sifest reglee sur [a, b], alorsfadmet une limite droite en tout point de [a, b[, et une limite gauche en tout point de

]a,b].

i) Par hypothese, les limites existent. Soit e associer (cx" ~,) E ~2 tel que a, < t < ~" et '1(tl, t2)
E

IRt; it tout t
~ ~

[a, b] on peut

'1(tI' t2) E

(]cx" t[ n [a, b])2 n [a, b])2

o. ~,[

Ilf(1d - f(t2)11 Ilf(1d- f(t2)11

e e

2.2.2

CONTINUITE,

DERIV ABILITE,

INTEGRA LITE

65

etant entendu que pour t = a on prend ~, = a - 1, et que pour t = bon prend ~, = b + 1. Du recouvrement ouvert (]~,' ~'[)"E[a,hl du compact [a, b] on peut extraire unsous-recouvrement fmi (]~,' ~,[)'EJ' Designons par a = (aj)o';i';lIla subdivision de [a, b] dont l'image est constituee par a, b, et par ceux des points t, ~,' ~,' (t E J) qui appartiennent a ]a, bE, Considerons J'application en escalier <p de [a, b] dans F qui coincide avec I en chacun des points a.; et verifie :

On constate:
IE[a. h]

sup Ilf(t) - <p(t)11 ~

E.

(<Pn).EN

ii) Par hypothese Fest complet etfest limite uniforme sur [a, b] d'une suite d'applications en escalier de [a, b] dans F, Soit to E [a, bE, Pour tout ~, il existe la limite a droite <p,,(to +) = lim <p,,(t), Pour que Ie resultat soit acquis, il suffit que I'on demontre
+ co

qu'il existe

n-+

lim <Pn(to +) et que I

lim
1-/u.le]/u,h]

!(t),

II s'agit d'une consequence immediate du theoreme d'interversion des limites, qui s'applique puisque Fest complet. D (Le lecteur qui n'aurait pas encore etudie ce theorerne commencera par verifier que (<p.(to +)). EN est une suite de Cauchy; no us lui laissons Ie soin de terminer la demonstration.) Toute application! continue par morceaux (resp. monotone intervalle compact [a, b], a < b, de ~ dans un e.v.n. F (resp.

COROLLAIRE,

par mereeauxjd'un dans ~) est reglee.

Montrons que f verifie la condition i) du theoreme. II existe une famille de reels (ao = a, al, "" an = b) strictement croissante et telle que, a tout iE Nn, on peut associer une application <Pi continue (resp, monotone) de [aj _ l' a.J dans F (resp, R) qui coincide avec f sur ]ai-l, a En utilisant la defmition de la continuite (resp, le corollaire II du 111.4.3.1, °), on constate que 3 <Pi' et done f, admet une limite a droite en tout point de [ai-l' a;[ et une limite a gauche en tout point de ]ai-l' a;], Le ~orollaire s'applique, en partieulier, si f est ~ontinue (resp. monotone; resp. a variation bornee),
j[.

REMARQUE, - Toute application reglee d'un intervalle compact de R dans un espace de Banach est integrable (111.6,4,1) mais une application integrable peut ne pas etre reglee, C'est Ie cas pour

[: [0, 1]

-+

R fIt)

sin -

1 t

si t ¥- 0;

flO)

qui est integrable (6.4.2, 2"), mais n'admet pas de limite it droite au point O.

66

SUITES

ET SERIES

D'APPLlCATIONS

2.2.3

2.2.3. Derivabilite et limite

1C THEOREME. - Soient 1 un intervalle de IR, F un e.v.n., f d'applications, toutes derivables, de 1 dans F, telle que la suite g uniformement sur 1 vers une application g. Alors:

= =

(!.). eN une suite (f~).eN converge

f'

i) Si la suite f converge simplement sur 1 vers une application f, cette convergence est uniforme sur toute partie bornee de 1 ;! derivable sur I, et I'on a est
= g.

ii) Si Fest complet et s'iI existe to EItel que la suite ((.(to eN d'elements de F converge, alors f converge simplement sur 1 et on peut appliquer i).

».

En premiere lecture, on pourra se contenter du theoreme de derivation moins general (en ce sens que F est suppose complet et que lesj, sont supposees de classe C') qui est enonce et demontre au n" 2.2.4, 2".
Demonstration de ii). - II suffit de prouver que f converge uniforrnement sur tout intervalle borne J tel que {tole J e I. Considerons un tel intervalle J; on peut supposer que la longueur IIJ) verifie I(J) > O. Soit £ e IRt. g etant uniformement de Cauchy sur I, il existe N leN tel que: lin ~ N I 11m ~ N I sup Ilf~ (t) - f~(t)ll .;;;-set
£

211J)

II)

({.(to».eN etant convergente, iI existe N 2 e N tel que:

lin ~ N 2

11m ~ N 2

11I.. (to)

- f.(to)11 .;;; £/2

(2)

Posons N = max (N h N 2)' Pour to us n ~ N, m ~ N, t e J, nous pouvons appliquer Ie theoreme des accroissements finis II I'application u '_"j~(u) - jiu) .sur [t, to] ou sur [to, t], et en deduire : Ilf .. (t) - !.(t)11 .;;; Ilj~(to) - j~(to)11 Compte tenu de (1) et (2), nous avons ainsi: lin ~ N 11m ~ N
lit e J

+ It -

tol sup Ilf~(t) - f~(t)11

,El

Ilf~(t)-

j~(t)1I .;;; s

ce qui montre que fest uniformement de Cauchy sur J, et done (puisque Fest complet par hypothese) uniformement convergente sur J 0 Demonstration de i). - II s'agit d'abord de prouver qu'etant donne J, intervalle borne indus dans I, f converge uniformement sur J. Comme f converge simplement sur J par hypothese, d'apres la proposition II du 2.1.2, il suffit de prouver que fest uniformement de Cauchy sur J; cela resulte du calcul precedent, dans lequel to -designe cette fois un point arbitrairement choisi de J . • Reste II prouver que f est derivable sur I et que l' = g. Soit a e I. On dispose de la suite d'applications h, avec : h.: I\{a} ~ F
t '_"h.(t) = ---t- a

f.lt) - J~lu)

h admet pour limite simple sur I\{u} I'application: h: I\{u} ~ F t .......... hlt)=--j(t) - j(u)

t- u

2.2.3
Montrons uniformement

CONTINUITE,

DERIVABILITE,
de Cauchy

INTEGRALITE
entrainera

67
que b converge

que best uniformement

sur I\{a}, ce qu

vers h sur l\{a}. Soit E E 1Ii~. 11 existe N 3 E N tel que: 'rIn ~ N 1 'rim ~ N 3 sup
lei

IV~(t)

f~(t)ll

os:;

i.

Par application de la formule des accroissements tous n ~ Nl, m ~ Nl et t E I\{a}:

finis Ii u ..........(u);- f.(u), on en deduit, pour f ..

IV.. (t)
et donc:

J~(t) -

((.. (a) -

f.(a))11
Ilh.. (t)

os:;

Elt - al·
h.

'rIn ~ N 3 - La convergence il existe lim

'rim ~ N 3

sup
le/l{_]

(t)1I os:;

uniforme de b sur I\{ a} etant ainsi acquise, on constate lim lim

r-a.r"a

que pour tout n E N des Iimites

h.(t) = f~(a), et qu'i1 existe qu'il existe

f~(a)

= g(a). Le theoreme d'interversion

(2.2.1, 5°) permet d'affirmer

hIt) et que cette limite est g(a).

REMARQUES. - a) Une limite uniforme d'applications Ie cas de la suite f avec:

derivables peut ne pas etre derivable. C'est

dont la limite uniforme sur iii est t """'Itl. D'ailleurs (ce. exercice 16) toute application continue d'un mtervalle compact de iii dans iii est limite uniforme sur cet intervalle d'une suite de fonctions polynomes, qui sont indefmiment derivables,

soit la limite de la suite des f ~.C'est Ie cas pour:

b) Une limite uniformefd'une

suite d'applications

derivablesjj,

peut etre derivable,

sans que!'

1 t ....... sin (nt), n c) Le theoreme n'implique pas la convergence uniforme

(nE N·) de f sur I. Soit: (ne N·).

t .......Arc tg (t/n), Le lecteur verifiera que I converge uniformement que sur toute partie bornee de iii.

sur iii, alors que fne converge uniformement

2° Extension du theoreme de derivation. - Le lecteur constatera que, dans l'enonce du theoreme qui precede, on peut remplacer l'hypothese : « la suite g = (j~)n N converge uniformement sur I » par « la suite g = (f~). N converge uniformement sur I'ensemble des intervalles compacts de IRqui sont inclus dans I », II suffit en effet d'appliquer Ie theoreme tout intervalle J compact, tel que JcI, et d'invoquer III 4.1.1 2° c)
E E

3° Cas 4'uae I"milk 4'"""'k,,,io,.s. suivant; il constatera ensuite que I'extension

En s'inspirant du 1°, Ie lecteur etablira etudiee au 2" reste valable:

Ie theoreme

TH£ORtME. - Soient I un intenaUe de iii, F un e.Y.n., Gun espace topologique metrisable, A\c=G et A.o e A, entin f = (fJ ).eA nne funiUe d'applications derivables de I dallS F, teUe que Ia famnJe I = (fi.h.eA con'erae anifol'lMment II1II' I ,en nne application g, lonque A. E A tend ,en A.o. Alon:

68

SUITES

ET SERIES

D'APPLICATJONS

2.24
eene

i)Si,lonque A.E A tend yen A.o.la famille f converge simplement sur I yen uoe application/, convergence est uniforme sur toute partie bomee de l,f est derivable sur I et I'on a f' = g.

ii)Si Fest complet et s'il existetoE I tel que la famille (!.(to»toA admette une limite lonque A.E A tend yen A.o•alon f converge simp1ement sur I et on peut appliquer i).

2.2.4. Integrabilite et limite

Soient [a, b], a < b, un intervalle compact de IR, F un espace de Banach et f = (j~).eN une suite d'applications, toutes integrables, de [a, b] dans F. Si la suite r converge uniformement sur [a, b] vers une applicationj; celle-ci est integrable et I'on a:
THEOREME. -

f(t) dt =

.~TCXl

f.(t) dt

(1) sur [a. b], il existe

- Soit E E IRt. Puisque la suite f converge uniformement N tel que: '<In ~ N sup Ilf(t) - f.(t)11 :::;;E/2(b - a)

to[a,b]

Puisque fN est integrable, il existe deux applications [a, b] dans F et IR respectivement, telles que: Ilj~ - <I'll :::;; \j! et

en escalier, <I' et \j!, de

\j!(t) dt :::;;E/2
= \j!

II existe done deux applications en escalier, <I' et \j! 1

Ilf - <I'll :::;; \j!1 ce qui prouve que et

+ E/2(b -

a) telles que:

\j!1(t) dt :::;;E

f est
E

integrable.

Pour tout n

!If

N, on a alors: -

f(t)dt

f.(t) dtll :::;;

Ilf(t)

- f.(t)11 dt

et done, pour n ~ N: Ilf f(t) dt - f f.(t) dtll :::;;E/2 ce qui entraine

(1)

COROLLAIRE. Soient I un intervalle de IR, F· un espace de Banach et f = (f.). 0 N une suite d'applications toutes loealement integrables de I dans F. Si la suite f converge uniformement sur Ivers une application/, celle-ei est loealement

2.2.4

CONTINUITE,

DERIVABILlTE,

INTEGRALITE

69 du est la limite fn(u) du, cette

integrable et, pour tout a e I, I'application

integrale t

t---+

fflU)
t
t---+

simple sur I de la suite des applications convergence etant uniforme sur toute partie

integrales

bornee de I.

Demonstration facile; Ie dernier point resulte de ce que, J designant un intervalle compact de longueur I(J), tel que {a} cJc/, on a, pour tout tel et neN:

111' f(u) du -

fn(u)

dull ~

I(J)

s~p Ilf(u) - fn(u)11

REMARQUES. a) Toutes choses egales, si on suppose que fest simplement (et non uniformement) convergente sur [a, b ],Ie theoreme peut etre faux, soit parce que la limite simplej n'est pas integrable, soit parce que l'on n'a pas (1). Le lecteur s'en assurera en etudiant les contre-exemples :

f.: [0, I]
g.: [0, I]

IR

f.(I)

IR y.(11 = n

0 si
si

Ie [0, I/n]; Ie ]0, I/n];

f.(I)

= 1/1 g.(11 = 0

si si

r e ] I/n, I] Ie] I/n, I] u {OJ.

meme avec l'hypothese I e [I, n] [I, n]

b) Le theoreme n'est pas valable dans le cadre des integrales de convergence uniforme. Le lecteur etudiera: fn: [I,
g.:

impropres,

[I,

+ +

oo[

R fil)

00[

=0 IR g.(I) = 0

si si

> n; I> n;

f.(I)

= 1/1

si

g.(I) =

I/n si

Ie

2" Application /a deril/abi/ite. - Nous allons deduire du corollaire du 1" un theorerne de derivabilite moins general que celui du 2.2.3, 1" mais plus facile a demontrer,
TH~OREME. - Soient I un intervalle de R, F un espace de Banach, f = (f.). e N une suite d'applications toutes continument derivables, de I dans F, telle que la suite g == (f~)nE N converge uniformement sur Ivers une application g (continue d'apres 2.2.1). S'il existe toe I tel que la suite (j~(tO».eN admette une limite I, alors la suite f converge simplement sur Ivers I'application

f: I ..... F

t t---+I

f
'.

g(u) du

La convergence est uniforme sur toute partie bornee de I ;fest derivable sur I et l'on s f" = g. On ecrit : '<It e I et on applique Ie corollaire fn(t)

= f.(to) + ['

r: (u) du

a la

suite g.

3° Extension. - PROPOSITION.Soient [a, b],a < b, un intenallecompad de IR,F un espacede Banach, r = (f.).EN une suite d'applications toutes int~rables de [a, b] dans F. Si la suite f converge simplement sur [a, b], si eette convergence est uniforme sur tout intenalle compact indus dans] a, b[ et

70

SUITES

ET SERIES

D'APPLICATIONS

2.2.4
limite simple sur

si toutes les applicatiolL'l fn sont bornees sur [a, b] par un mfme reel M, alon.r. [a, b] de f, est integrable et I'on a:

f.b fIt)
II

dt = lim
n-

f.b fn(t)
II

dt

(1)

+ a..

Soit t e [a, b]. On a: 'VneN IlWIl1 ~ M; lim j~(t)

n-+ac..

= f(t)

On en deduit : 1[f(t)11~ M.

Ainsi j'est bornee sur [a, b]. D'autre part on constate, en utilisant le 1°, que j est localement
integrable sur ]a, b[ On en deduit (II1.6.4.2, 2°) que Soit s e IR~. II existe (ex, ~) e (]a, b[)2 tel que:

est integrable

sur [a, b].

2M(a. Pour tout n e N,llf ({t) dt -

a) ~

£/3,

2M(b - ~) ~ £/3

et

a. < ~

n» dtll est majore par:

a)

2M(a. et done par:

+ 2M(b
2- +
3
£

- ~)

r
Il

l[f(ty - f.(t)1I dt

f.P l[f(t) - f.(t)1I dt.

•

Reste a utiliser: lim

n- +oc

f.Pf.(t)
II

dt =

fP fIt)

dt.

o
de IR, F un espace de Banach. On

4°
dispose

CONSEQUENCE.

Soient [a, b] un intervalle des espaces vectoriels suivants :

compact

f1I espace des applications espace des applications - 'e espace des applications - ~ espace des applications

-J

bornees de [a, b] dans F

integrables de [a, b] dans F continues de [a, b] dans F en escalier de [a, b] dans F

On sait : 'e c On dispose

c ~ et 8 c

c f1I.

sur f1I de la norme de la convergence

uniforme IIf(tlll;

f
on dispose sur

1-+

IIfIL" = sup

,e[a, b]

de la semi-nor me de la convergence 8=

en moyenne:f

I-+lIflll

sait deja que, pour cette semi-norme, complet; 8 "" Examinons

et 'e =

J.
uniforme.

Ilf(tlll dt. On

ce qui se passe avec la norme de la convergence et Ie theoreme qui precede montre :j

On sait que f1I est reglees (qui :

nous avons vu que 'e est ferme donc complet, que 4 est l'espace des applications

«:,t ferme et done complet)

= J. On

constate

<i "" J

et

ce qui montre

que les deux normes

ne sont pas equivalenres,

2.3.1

INTEGRALE

IMPROPRE
ti'app!ications .• -

DEPENDANT

D'UN

PARA METRE

71

5° Cas ti'ulte /amille

Le lecteur etablira : de IR, Fun espace de Banach, G un espace

THEOREME. - Soient [c, d] un intervalle compact

topologique, AcGet 1..0 E A,entinf = (fJlEA unefamilled'applicationsintegrablesde [c, d] dans F,qui conyerge uniformement sur [c, d] yen une applicationflorsque I.. E A tend yen 1..0' Alon f est integrable et I'on a :

Jr f (t) dt
d

A-A.o•

lim

"A.eA

r J, fl.(t) dl
d

2.3. ETUDE D'UNE INTEGRALE IMPROPRE DEPENDANT D'UN PARAMETRE

Dans ce sous-chapilre

E, F el [a, b[ designenl de

respectioemem

un

ensemble, un espace de Banach el un imeroalle -oo<a<bO;:;+oo

'i lei

que

2.3.1. Divers types de convergence de I'integrale impropre f(t, x) dt

1° HypotlUse gittlrah. - On se donne une applicationfde [a, b[ x E dans F telle que, pour tout x E E, I'application I .......... x) de [a, b[ dans F soit localement integrable. f(t, On dispose ainsi de la famille '" = (!PI.)l.e[G b[' ou !PI. est I'application de E dans F telle que: x..........

I .'

I.

'

fIt, x) dr .

COllvergellce simple; cOllvergence ultiforme. - DEFINITION. - L'hypothese

b

on dit que I'integrale impropre seulement yen b.

etant celie du 1", E, si, et

/(1, x] dl est simplement (resp. uniformement) (resp. uniformement)

conyergentesur

si la famille cp conyerge simplement

sur E, lorsque I.. E [a, b[ tend

E

En d'autres termes, la convergence cp(x) =

simple se traduit lim

l.~b,l.e[G,b[

r
•

par Ie fait que, pour tout x

E il existe

f(I, x) dr

c'est-a-dire

par Ie fait que, pour tout x

E, rintegrale

impropre

f:
I.

f(l, x) dt est convergente.

- F etant un espace de Banach, et IRetant metrisable.Ia convergence uniforme peut se traduire par Ie fait que la famille '" est uniformement de Cauchy sur E, lorsque I.. E [a, b[ tend vers b, c'est-adire par la formulation suivante, dite critere de Cauchy uniforme pour les inteqrales impropres : Vt E 1R't 3 (. E [a, b[ V(I..,u] E ([c, b[)2 sup Ilf f(I, x) dIll 0;:;
xeE

72

SUITES

ET SERIES

PROPOSITION. -

L'integrale

impropre

D'APPLICATIONS

2.3.2
conyergente sur E, elle est

fIt,

X) dt etant simplement

uniformement

eoavergeate

si, et seulement [a, b[ .... IR

si,l'application

~ ...... sup Ilf fIt, X) dtll

xeE
k

admet 0 pour limite lorsque ~

[a, b[ tend vers b, ee qui s'krit

Vf. E IR!;

31} E [a, b[

V~ E [~, b[

~~~ IlL" ((t, x) dtll 0;:; f.

En effet, cp(x) designant

f.b fIt,
dt

x) dt, nous avons, pour tous x

E et ~

[a, b[ :

t« x)

fIt, x) dt -

fIt, x) dt

= <p(x)

- CPL(X)

D'ou, pour tout ~

E [a, b[:

~~~ II

fIt, x) dtll = sup IIcp(x) - CPL(x)11 xeE

2.3.2. Conditions suffisantes de convergence uniforme

1° ConIJergellce normale. - THEOREME ET DEFINITION. - Soilf: [a, b[ x E .... F telle que, pour tout x E E, I'application t ,_... fIt, x) de [a, b[ dans F soit loealement integrable. S'il existe une application loealement integrable g: [a, b[ .... IR+ Yeriflant les deux conditions: i) L'integrale impropre de 9 sur [a, b[ est conyergente; ii) V(t, x) E [a, b[ x E alors I'integrale normalement impropre

IIf(t, x)1I

0;:;

g(t)
conyergente; on dit dans ee cas qu'elle est

f.b fIt,

x) dt est uniformement

conyergente.

D'apres Ie critere de Cauchy (111.7.2.2, r) pris comme condition necessaire, l'hypothese i) permet
d'associer

a tout

f.

lR!un e

[a, b[ tel que: V(~,Il) E ([e, b[)2

9 (t) dtl 0;:; f.

Compte

tenu de ii), il vient:

ce qui montre

que Ie critere de Cauchy

PROPOSITION. -

pour les integrales

impropres

est veri fie.

2° Regie d' Abel. respectieemeat yerifiant: i) Pour tout

XE

Soient 9 et h deux applications

de [a, b[ x E dans IRet C

E, I'application

t ,_... g(t, x) est positive, dkroissante; x ...... g(t, x) converge uniformement sur Evers I'application nulle

ii) La famille des applications lorsque t E [a, b[ tend vers b ..

2.3.3

CONTINUITE,

DERIVABILlTE,

INTEGRALITE
integrable

73
sur [a, b[ ; en outre il

iii) Pour tout x E E, I'application existe k E IR+ tel que:

t f-->h(t, x) est loealement [a, b[ x E

Alon I'integnle

V(I.., x)
f(c, x) dt, 00

hIt, x) dtl :!S; k uniformement sur E.

1= g. h, converge

Les deux applications

hi et h2 de [a, b[ x E dans IRtelles que h = hi

integrables, et on a: V(I.., x)
E [a, b[

xE

ih2 sont localement

hjt, x) dti":.;;;;k,

j E N2

(1)

Pour tous x E E et (j!, v) E 1R2 tels que a :.;;;; < v < b, iI existe, d'apres la deuxieme formule de la j.I moyenne (III 6.3.6), un (cl, c2) E ([j.I, V])2 tel que:

f•
v

g(t, x)h;!t, x) dt

g(j.I, x)

Compte

tenu de (I), qui entraine

r
•

fJ •

fj •

hj(t, x) dt

hJ(t, x) dtl :.;;;; k, et de: 2

I(t, x) dtl :.;;;;il

J=I

fg(t;X)hjt,
•

x) dtl

on en deduit que, pour to us x E E et (j.I, v) E 1R2 tel que a :.;;;; :.;;;; < b, on a: j.I v

I
En utllisant

r
•

I(t, x) dtl :.;;;; kg(j.I, x) 4 pour les integrales impropres est

ii), on en deduit que le critere de Cauchy

verifle 0 La regle d'Abel, d'un emploi delicat, ne doit etre essayee qu'en dernier ressort. Elle s'emploie surtout, ainsi que nous Ie verrons au 2.3.4,2° et ]D, dans le cas ou 9 ne depend pas de x, et ou hIt, x) e'U, avec t E R et x E R\[ - a, a], a e IRt. On a alors:

If.~
o

h(t,x)dt

Ileib

= --. IX

11 :.;;;; 2 2 -:';;;;-.
[x]

lal

2.3.3. Continuite, derivabilite et integrabilite

~ [a, b[ continue

de l'integrale impropre

r
f/(t,

I(t, x) dt
que 00

a designer

un intervalle

de

iii tel

< a < b s;

+ 00.

THf:OREME I. - Soient E un espace topologique,/une

espace de Banach F. Si I'integnle I'application

<p:

impropre

application

continue de [a, b[ x E daDS un convergente sur E, alon

fit, x) dt est uniformement

E--F

f-->

x) dt

est continue.

74
La continuite I'application

SUITES ET SERIES D'APPLICATIONS

defCait que I'hypothese
1---+

2.3.3

<PI.: x

Camille uniformement

convergente

r.

generate du 2.3.1, I ° est veriliee. Ici, pour tout A. E [a, b[ d'apres III.8.LB, 1°. La limite <P d'e la
d'apres 2.2.1,4".

f(I, x) dr, de E dans F, est continue

cp = (<PJAE[a,

b[

est continue

THEOREME II. - Soient 1 un intenalle

espace de Banach F, admettant

de R.fuue

application

continue de [a, b[ x 1 dans un

[a, b[ x I. Si les deux cOnditiOllS sWvantes sont remplies: i) I'integrale improprl'

une derivee partielle par rapport I\la seconde variable.

_!!_, continue
ox

sur

ii) I'integrale alon I'application

impropre <p: x

Iox •
-

[(I, x) dl est simplement

convergente

sur I:

of

1---+

ffll,

(I, x) dl est uniformement x) dr est continument

convergente

sur I,

derivable sur 1 et:

'<Ix E 1

<p'(x) =

I ox •
of
-

- of (I, x) dr

d'apres

Ici cp est une Camille simplement III.8.LB, On a:

z-.

convergente

d'applications

1I>l.: 1 .... F, continument

derivables

<p~:

1---+

f• ox
lo

(I, x) dl

D'apres

ii), la famille (<p~)l.A;(u.b( converge

2.2.3, 3° montred'ailleursquei) que

2.2.3,3°.
F etantcomplet.

i') iI existe Xo EItel

uniformement peutetre

sur I. On applique

Ie theoreme

du

0
rernplacee par:

f(I, xo) dl converge

THEORt:MEIII. - Soient [c, d], c < d, un intenalle

[a, b[ x [c, d] dans uniformement et: un espace de Banach F telle

compact de lIil.fuue application que I'integrale

convergente

sur [c, d]. Alon I'integrale

impropre

l'(1

impropre
4

continue de

f(t, x) dt soit

i« x) dX)

dt est convergente

(ff(t,X)dX)dt

(ff(l,

X) dt) dx

En effet d'apres

f (r

Ie theoreme

du 2.2.4,5°, on peut ecrire:

fIt, x) dl) dx = permet

)'_b~~~[a,b[

f (r
grace

fIt, x) dt) dx

D'autre [a, A.] x [c, d]:

part,

III.8.LB, 3°

d'ecrire,

la

continuite

de

sur

2.3.4

INTEGRALE

IMPROPRE

DEPENDANT

D'UN

PARA METRE

75

2.3.4. Exemples
10 L.Joru:tiDn

r. -

II s'agit de x ........ (x) = [

f+oo

e-'t·-I

dt.

o Nous savons (I1I.7.2.8, 30) qu'elle est defmie sur 1Iil'tet que:

'<Ixe 1Iil't r(x

Nous allons etablir :
THf:ORE·ME. -

1) = xf'(x)

La fonction

r est

indetiniment

derivable sur 1Iil'tet :

'<Ine N* f: ]0,

'<Ixe 1Iil't r"l(x)

I+""

e-' (Log tft·-I

dt

• On constate est une application n e N, I'application:

que

co] x 1Iil't -+ IIil derivable par rapport

continue,

indefmiment

a la

seconde variable;

pour tout

o"f ox"
est continue . • Etudions

]0,

oo[ x 1Iil't -+ IIil

separement
et

- Soit[a, avons:

b] c: 1Iil't n intervaJle compact (ce qui implique: u

a > 0). Pour n e N* donne, nous

'<Ixe[a,b]

'<It e]O, 1]

II

D'apres a > 0, l'integrale

impropre

l'

o"f I--ox" (t, x) I .;;;e-'

[Log tl"t·-

e-' [Log tl"t·-I dt est convergente;

convergente

l'integrale

impropre II du

e-' (Log tft·-I

dt est done normalement

sur [u, b]. En utilisant que

Ie theoreme

2.3.3 et son extension, sur 1Iil'tet que:

on en deduit, en raisonnant

par recurrence,

est indefmiment

derivable

'<In N* e
Reprenons

'<Ixe 1Iil't

q"1 (x]

l'

e-' (Log tft·-I

dr.

[a, b] c: 1R't intervaJle compact.

Nous avons, pour n e N* donne:

'<Ixe [a, b[

'<Ite [1,

oo[

I O"f (t, xli.;;;

01'" indelmiment

e-' (Log tft-I

derivable sur R't et que:

On en deduit, comme ci-dessus, que

r2 est

76

SUITES

ET SERIES

D'APPLICATIONS

2.3.4

ETUDE DE rsuRR~.Elle est laissee au leeteur qui constatera que rest convexe, qu'il existe Xo e ]1, 2[ tel que sur ]0, xo[. rest deeroissante, sur ]xo, + 00[. rest croissante. II pourra aussi

demontrer que r(x ZO Etutle tie

I) - x'e:? J2rr.x au voisinage

de

00.

!p : x

f--+

+'"
I

e"' --dt,
1

t2

x e R.

L'applicationj": [I,
seconde variable

ei'Jl
(t, x)
f--+--

oo[ x R .....R

t2

est continue, derivable par rapport

a la

et I'application

-:

af

ax

[I,

oo[ x R ..... III

itelr• (t, x)
f--+--

t2

est continue. Pour tout x e IRfixe, chacune de ces deux applications et l'on a: VxelR Vte[I,

est localement

integrable

sur [I,

Xl[.

oo[

1 -dt est convergente, l'integrale impropre 1 + t2 lement sur R, et !p est une application continue de R dans R. Comme
I

i+"
-

II +
--

eir.
,2

=--

1
t2

+
I

i+'"

-1

e"'

+ t2

dt converge norma-

• Etudions maintenant
mtervalle
, --+

1jI: x .........

compact 1+ t tend vers

--'

[a, b] (resp. [-

1 + t2 b, - a]) indus
I

+'X.

iteitJt

--

dt, x e IR*,1jI(O)n'etant pas defini, Considerons dans R~ (resp. IR!). Nous constatons que:

un

,2 est positive,
+

decroissante sur

1[1, + Xl[,

et tend uniformement vers 0 sur [a, b]

lorsque

00, (puisque

x ne figure pas

V').. e [I,

oo[

If

!), et que: ie
lr •

dtl
I

:E; ~.

Par application

de la regie d'Abel (2.3.1, 4°),I'integrale

sur [a, b] (resp. [ - b, - a]). On deduit du theoreme

-1 II du 2.3.2 que

+CIO itelilC

dt converge uniformement t2 e est derivable sur R* de derivee

1jI. 3° Etude de
Soit f: continue, [0,
!p: x

f--+

1
o

+'"

e-r•

sin t
-t

dt, x e IR+.

oo[ x IR .... IR flO, x)

I. fIt, x)

e-r•

sin t
--

et admet la derivee partielle -:

par rapport

a la

si t > O. Cette application

est

seconde variable:

af

qui est continue. l'integrale convergente En posant impropre sur III+.

ax
=

[0,

oo[ x R .... R

(t, x) f--+_e-r. sin t,

g(t, x)

e-r'/t, hIt, x)

sin t, et en utilisant impropre

la regie d'Abel, on constate

que

{+"f(t,X)dt,'et

done l'integrale

L+"'j(t,x)

dt, est uniformement

1.4.1
En utilisant: Vt E R.

SERIES

D'APPLICATIONS

77

Va E R~

Vx E [a,

+
-

co]

Ie-Ix sin r] ~ e-

.,

on [a.

constate

que

l'integrale

impropre

+
-

1·00 ox
o
00 _

01

(t, x) dt

converge

uniformement sur tout

oo[ c R~.

On en deduit que <pest continue <p'(x)

sur R., derivable

sur R~ et que, pour tout x E R~:

10+

e-Ix sin t dt

_-_I_ I + Xl

II existe done une constante

C E R telle que: Vx E R~' <p(x) = C - Arc tg x

De:

on deduit : lim
.z-+cc

<p{x) = 0, et C

ft/2. Ainsi:

VXEIR~ La continuite

·OO
o

e-'X-dt
t

sin t

ft = - - Arctgx

a droite

de <II au point 0 permet d'en deduire :

REMARQUE.

lei

L·

f
<Xl

+OO

sin t --dt
t

ft =-.

I(t, x) dt converge uniformement pas normalement

sur IR~, elle converge absolument sur IR~.

pour

tout x E IR~;

pourtant,

elle ne converge

2.4. SERIES O'APPLICATIONS

2.4.1. Convergence simple; convergence uniforme; crftere de' Cauchy uniforme

1 DEFINITION I. - Soit f = (fn)neNune suite d'applications d'un ensemble E dans un e.v.n. F. On appelle serie d'applications de terme general!n' et on note r.!n' la
0

suite ((fn,

k=O

f. I,)
n

d'elements de FE x FE. de FE est note <!In'et on dit que cp

=

~rrEN

L'element

d'applications associee

t=o

L !t

(<!In)neN la suite est

a Ia serie

'f;j~.

78

SUITES

ET SERIES

D'APPLICATIONS

1.4.1

Avec ces notations: D~FINITION II. - On dit que la serle d'applications r.J" converge simplement (resp. uniformement) sur E si, et seulement si,la suite d'applications cp converge simplement (resp. uniformement) sur E. serie La convergence simple se traduit done par Ie fait que, pour tout x E E, la r.J,,(x) termes dans F, est convergente. Lorsqu'elle est acquise, on dispose

+00

de l'application

cp: x

1---+

L f,.(x) de E dans
r.f.
E

F, limite simple de la suite cp sur E,

qui est dite somme de la serie P = (p,,),€1\J eterminee par: d '<In E N

,,=0

sur E, ainsi que de la suite d'applications

'<Ix

p,,(x)

+00

.=,,+1

j~(x)

On verifie aisement I'equivalence des deux assertions: i) La serie d'applications r.j~ converge uniformement sur E; ii] La suite d'applications p converge uniformement sur Evers I'application nulle.
D~FINITION III. - On dit que r.J" est une serle d'applications uniformement de Cauchy sur E, si, et seulement si,cp est une suite d'applications uniformement de Cauchy sur E, c'est-s-dlre si,et seulement si,est verifiee la condition suivante, qui est dite eritere de Cauchy uniforme sur E:

ve E IRt
En utilisant

3N

'<In ~ N '<Ip E N

sJC~rII.t

J"H

(;X)II~

f.

2.1.2, on en deduit :

PROPOSITION. - Si une serle d'applications converge uniformement sur un ensemble E alors elle est uniformement de Cauchy sur E. Si une serie d'applications valeurs dans un espace de Banach est uniformement de Cauchy sur un ensemble E, alors elle converge uniformement sur

E.
COROLLAIRE. - Si la serie r.f,. d'applications d'un ensemble E dans un e.v.n. F converge uniformement sur E, alors la suite f = (f,,). E N converge uniformement sur Evers I'application nulle de E dans F.

On ecrit Ie critere de Cauchy en se limitant

ap =

1.

r Series uniformement tlbsolument convergentes. - D~FINITION. - La serie r.J" d'applications d'un ensemble E dans un e.v.n.F est dite uniformement absolument convergente si, et seulement si la serle r.11f,,1I d'applications de E dans IR + est uniformement convergente. (11f,,1I designe ici x 1---+ 11f.(x)lI).
On deduit de la proposition du 1
0 :

2.4.2

SERIES

D'APPLICATJONS

79

PROPOSITION. - Pour qu'une serie d'applications.a valeurs dans un espace de Banach soit uniCormement convergente, it suffit qU'elle soil uniCormement absolument convergente.

2.4.2. Conditions suffisantes de convergence uniforme

On se limite ici au cas ou F est un espace de Banach. 10 Convergence normale. - THEOREME ET DEFINITION.Soit };.fn une serie d'applications d'un ensemble E dans un espace de Banach F. S'il existe une serie };.a. a termes dans IR+ verifiant les deux conditions : l) La serie };.an est convergente; ii) Vn E N sup I lfn(x) II :;:;; an alors la serie normalement On a:
V(n, p) E N2

};.J~est uniformemenr
convergente sur E.

xeE

convergente sur E : on dit dans ee cas qu'elle est

On ecrit que la serie convergente };.an verifie Ie critere de Cauchy, pris comme condition necessaire, On en deduit que la serie d'applications };.fn satisfait au critere de Cauchy uniforme sur E. 0
REMARQUES. a) Soit £V(E, F) I'espace vectoriel des applications xeE

la norme v:f

,__. sup IIf(x)li. On constate aisement que la convergence

bornees de E dans F muni de normale de la serie r.fn' a

termes dans £V(E, F) equivaut a la convergence de la serie r.v(fn), a termes dans 1Ii+. Si l'on remarque d'autre part que la convergence uniforme de r.fn n'est autre que la convergence de la serie r.fn akermesdansl'e.v.n.(£V(E, F), v) on constate alors que Ie theoreme ci-dessus n'est qu'un cas particulier du theoreme du 1.1.3,1°, applique a I'espace de Banach £V(E, F).
b) Une serie normalement convergente reeiproque est fausse. C'est ainsi que la serie

r.f noavec
lin:

est

uniformement absolument fJ.t)

convergente.

La

f. : iii
est uniformement absolument

-+

iii fJ.n)

si

t~n
en remarquant :

convergente V(n, p)
E 1'12

sur iii, ainsi qu'on

Ie constate

'It E iii
la serie

D'autre part, convergente.

0

on a :

v(f.)

= lin

: la serie r.v(f.) diverge;

r.fn

n'est pas normalement

2 Regie d'Abel. - PROPOSITION. - Soient (gn). E N et (hn)n e N deux suites d'applications d'un ensemble E respectivement dans IRet dans un espace de Banach F, verifiant : i) Pour tout x E E, la suite (gn(x».eN d'elements de IRest decroissante;

80

SUITES ET SERIES D'APPLICATIONS g = (gn). € N converge uniformement

2.4.2

ii) La suite d'applications I'application nulle; iii) II existe M

E

sur Evers

IR+ tel que :

'1n E N
Alors la serle d'applications En notant X
E

sx~rIlkt

hk(X)11~ M converge uniformement sur E.

r.f,., ou j~
p

= g.Ii.,

Hp(x) =

L
k= 0

hk(x), la transformation

d'Abel permet, pour tous

E et

(n, p) E N2, d'ecrire

L fn+k(x)
k=1

so us la forme: - gn+,(x)H.(x) en particulier par:

=

L
'=1

(gll+k(x) - g.+k+dx»Hn+k(x) tenu de i) qui

+ g.+p+,(x)H.+ix)
gn(x) ~ 0 pour tout

et, compte
(n, x)

implique

EN x E, et de iii), de majorer
(gn+k(x) - gn+k+I(X» sup
x€li

IIJI fn+k(X)11

Mtt
D'o\1 : En utilisant wrR

+ gn+I(X)

+ gn+p+dX)}
sup
x€E

2Mgn+,(x)
uniforme

II

k= I

f fn+k(X)11 ~ 2M

e., I (x)
de Cauchy

ii) on voit que r.j~ satisfait

au critere

REMARQUES. - a) Le theorerne reste val able lorsque les hypotheses i) ii) et iii) ne sont realisees que pour tout n ~ no, ou no E N est fIXe (independant de x!).

b) Soit g = (g.)oeN une suite d'applications de E dans IRverifiant i) et ii): alors la serie d'applications '£.( - I)Og. converge uniforrnement sur E.
Ce resultat peut d'ailleurs s'obtenir en utilisant (cf. notation du 2.4.1, 1"):
'<Ix E E
Ip.(x)l:!S;

g a+ 1(x) •

.ApPLICATION. - So it (c.)o e N une suite reelle, decroissante, de limite 0; alors la serie r.c.ei•r d'applications de IRdans C converge uniformement sur tout interoalle

[2k1t
ICI

+ (1, 2(k + einr.

1)1t - (1],

g.(t) =

cn,

h.(t) =

On a :

k=O

r. eilerl ~

_._1_ (1.3.2, 2°). sin (1/2

2.4.3

SERIES

D'APPLICATIONS

81

2.4.3. Continuite, derivabilite, integrabilite de la somme d'une serie d'applications

THEOREME I. - Soient E un espace topologique, Fun e.v.n., aun point de E, enfm !:.fn une serie d'applications de E dans F, toutes continues en a, qui converge

+00

uniformement sur E; alors I'application <p: x est continue en a.

COROLLAIRE.

t--+

L f,,(x),

somme de la serie !:.f",

,,=0

uniformement
THEOREME

Si une serie d'applications sur E, sa somme est une application

continues sur E converge continue sur E..

d'applications, uniformemeet

II. - Soient 1 un intervalle de IR, F un e.v.n. et !:.fn une serle toutes derivables, de 1 dans F telle que la serie !:.f~ converge sur I. Alors:

i) Si la serle !:.fnconverge simplement sur I, cette convergence est uniforme sur toute partie bornee de I, I'application somme de cette serie est derivable sur 1 et pour pour tout t e l on a: (~:f,,)'
(t)

= n~:f~ (t).

ii) Si Fest complet et s'i1 existe to EItel que la serie !:.f,.(to) termes dans F soit convergente, alors la serie !:.f" converge simplement sur 1et on peut appliquer i).
THEOREME III. - Soient [a, b], a < b, un intervalle compact de IR, F un espace de Banach, et !:.j~ une serie d'applications toutes integrables de [a, b] dans F; si la serle !:.f" converge uniformement sur [a, b], I'application somme de cette serie est integrable sur b] et I'on a:

ta,

b(+ f.a n~o I,

00

(t) dt =

+ 00 ,,~o

f.b

a fn(t) dt

Demonstrations. - On verifie dans chaque cas que la suite d'applications

<P = (<P,,)neN

avec <PIt

L he, satisfait aux hypotheses des theoremes corresponk=O

dants pour les suites d'applications.

REMARQUE. Les extensions citees au 2.2.1, 3° pour la continuite (convergence uniforme sur l'ensemble des compacts) et au 2.2.3, 2° pour la derivabilite (convergence uniforme sur l'ensemble des intervalles compacts) sont valables pour les series d'applications. 2" THE-CREME D'INTERVERSION DES L1MITES. - Soient 1:: un espace topologique, A c::E et Xo E un e.v.n., r.f. une serie d'applications de A dans F, On suppose que r.f. converge unirormement sur que, pour tout n E N, iI existe lim f.(x) = b•. Dans ees conditions: i) Si la serie
+""

:4, F
A et

r.b., •

termes dans

F, est

convergente,

.Iors la somme de Ia serie d'applications

r.f.

admet

b. pour limite en

Xo, suivant

A;

ii) Si

est complet, alors la serie

r.b.

converge, et i) s'applique.

82
On applique

SUITES
Ie theoreme

ET SERIES

D'APPLICATIONS

2.2.1, S°, dans Ie cas des suites (G

= R, A =

N, A.

"').0

=+

00)

h(x, A.) est ici remplace par

L j,,(x).
1=0

+00

3° EXEMPLES. apprend que Def ~

a) Etude de la fonction

~: t ,_.

L -.
,.r

L'etude

des series de Riemann que

nous

:= ]

I,

00[. Pour

a e ] I,

IE[., +

sup

oo[

( I-

+
Log

."1

oo[ et p e '" donnes, no us constatons

11)"1

n'

= -----n·

(Log n)"

et que la serie de Bertrand d'applications

(Log njP 1: --- converge {I.6.2, 3"1- 11en resulte que, pour tout p e N,la serie
n~1

na

(- Log a)" 1: -.---converge

,,~I ,,'

uniformement

sur tout intervalle

[a, + -x,[,a>

I, et a

[ortiori sur tout intervalle compact indus dans] Ainsi ~ est indefmiment derivable sur ]1,

I, + -x,[. oo[ et:

Vp e N

~(P)(t) =

(_

I)P (Log nIP

.=1

n'

La convergence d'interversion

uniforme

sur [a,

oo[ jointe

1 lim - = 0 pour n ~ 2, montre (theoreme I-+-x. n'

des limites): lim ~(I) = I.

.-+'X.

11 est facile de voir, d'autre part, que I;decroit sur ]1, + -x,[,que I; ne peut pas etre majoree au
voisinage de I (dans Ie cas contraire les sommes

L - seraient
1=1

•I k

majorees);

d'ou

lim
'~I.I>I

1;(1) =

00.

+<L

REMARQuEs. - (X) On pourrait et continue psur :~e(z) > 1

definir I;(z) =

X~
It

1 avec z e C. On constaterait que I; est defmie

n= 1

~) La serie d'applications

1 1: - ne converge n' sup

IE]I,+x.[

pas uniformement

sur ]1,

oo[ car

L -1=1

(n

+ k)'

L -1=1

~ -.
2

(ou encore parce que Ie theoreme vers I).

+t:l.

d'interversion

des limites serait mis en defaut en faisant tendre t

b) Elude de F(t)

L --,
1

ein.

.=0

En utilisant:

"It e IIil

I~I
1

+n

t e IIil

+n

1__
112

on constate

que la serie d'applications sur 1Iil.

continues

einl 1: ----est normalement 1 + n2

convergente

sur 1Iil; Fest

done defmie et continue

EXERCICES
inei•r La serie des applications derivees, 1: --, diverge pour t = 2klt, avec k e l;

83 elle converge

et que:

1 + n2 uniformement sur tout intervalle [2klt + a,2(k + l}!t - a], avec a e ]0, 1t[ et k e l. L'extension du theorerne de derivabilite montre que F est derivable sur tout intervalle ]2k1t, 2(k + 1)1t[,avec k e l,

F'(t)

= L-.=0

+ co

ine'.'

+n

En etudiant la partie imaginaire, Ie lecteur pourra montrer que F est non derivable en O.

EXERCICES
SUITES O·APPLICATIONS.

2.1. - Soit
f.(t)

f.:
= --

[0, 1] ~ iii I'application 1 si t E ]P--, 1 -,

definie par: pour pEN. :

f.(O) = 1

pJ
n

+-

P
n

Montrer que (j~). N converge simplement E continue; la convergence est-elle uniforme ? 2.2. - Etudier la convergence de iii dans iii defmie par:

vers une application

[:

[0, I]

--+

iii

simple, puis uniforme, de la suite (f.).EN d'applications

tlt2

"In EN
f.(t)

f.(t) =--

nt3

= -1-+ nt si

si t

t E 1Ii+,

+ nt2

iii!

2.3. a) f.(t)

Memes questions
=

avec:
tE

n cos" t sin t,
sin nt

[0, i}
=

b) f.(t)

ji'

t
nt t

t E 1Ii~ etf.(O)

0;
=

c) f.(t)

= -.

sin?

n sin

si
--+

¢ ttl,

f.(k1t)

pour

k E l.
nulle, verifiant :

2.4. - Soit

f : iii +

iii, continue,
flO) =0

qui n'est pas I'application et lim fIt)

1-+00

=0

a) On considere

les suites U~)nEN et (g.)nEN defmies par J~(t) = J(nt) et g.(t) = g (~).
0

84

SUITES

ET SERIES

D'APPLlCATIONS simplement vers I'application sur R+. nulle, sans

Montrer que, sur R +, ces deux suites convergent con verger uniformement,
b) Montrer

que ifJn).eN'

et (g./n).eN' convergent
E

uniformement

2.5. -

a) Montrer

que, pour tout t

R, on a :

.~Too (1
b) Soit

+ ~)"
E

.~~~

(1 + ~)"
f.(t)

e'.

f. : R

-+

R definie (pour n pour

N*) par :

f.(t)

e' -

.Montrer que la restriction def. R + est croissante et en deduire que if.)neN' converge uniformement vers sur tout intervalle [0, a] (a E Rt). Montrer que la restriction de j~ R _ est positive, atteint son maximum en un point x, et que la suite (x, I ad met - 2 pour limite. Montrer que U~).eN' converge uniformernent sur R _.

(1 +~)" °

t > - n,

= e'

pour

t ~ - n.

2.6. - Etudier la convergence de fonctions if.) avec: On pose

simple et la convergence f.(t) = nt(1 - t)·

uniforme sur [0, 1] de la suite

g.(t) = n .f.(t) Comparer

et

g(t) = lim

n-+oo

g.(t)

g(t) dt

et

lim
n .... +
CICl

Jo

g.(t) dt.

2.7. - On donne m + l reels xo, ... , x ... On designe par E I'ensemble des polynomes de R[X] dont Ie degre n'excede pas m. a) Soit Wi> i E {O, ... , m}, I'application de E dans R determinee par Wt(P) = p(i)(xt). Montrer que (Wt)O<t<m est une base du dual de E.
b) Soit (P .).eN une suite d'elements de E tels que chacune des suites d'elements de R : (P~i)(Xt».eN' i E {O, ... , m} converge. Montrer que la suite de fonctions t .......... p.(t) converge simplement sur R vers une fonction t ..........(t), ou Q est un element de E i montrer que la convergence est uniforme Q sur tout intervalle compact de R

fl = f ..f. + I if.).eN converge

2.8. - Soitf:

=f

-+ Rune application continue, telle que: '<It"" [l(t)I<ltl. On pose f., (n E N)*. Montrer que, pour tout a E Rt, la suite de fonctions uniformement sur [- a, a] vers la fonction nulle.
0

1.9. - On pose :
fo(t) = 2t .. f.+I(t) et I. = Etudier
= J2
+1

+ f.(t)

(I! E N)*)

+1 -I

f.(t) dt

..

J. =

1
-dt, j~(t)

K=
•

-1

+lf.-I(t) --dt -1 f.(t)

les suites de termes generaux

I., J. et K•.

EXERCICES

85

1.10. - Soient E un espace de Banach, [a, b[ un intervalJe de IR 00 < a < b :!5;+ 00) et (f.) une suite d'applications localement integrables de [a, b[ dans E, convergeant uniformement sur tout compact de [a, b[ versf : [a, b[ .....E. On suppose qu'il existe 9 : [a, b[ .....R localement integrable, telJe que:
(-

et telJe que

"In E N

"It E [a, b[

lif.(t)lI:!5;g(t)

g(t) dt soit convergente,

Montrer que les integrates impropres I'on a:

..... +

f.(t) dt et f.j{t) dt sont convergenteset que

lim
00

fb

f.(t) dt

fb

f(t) dt

Application. - Soitf.

: [0,

+ oo[

-+

R defmie par: f.(t) f.(t)

=

( t2).
1 - -;

O.

Montrer que t 1-+ e-" est la limite de (f.)neN' la convergence etant uniforme sur tout compact de [0, + 00[. Montrer, en utilisant une application 9 'judicieusement choisie :

Calculer

rJ"( Jo 1 -

i
-;
t2).

+<lO

e=!

dt

lim
n'" +
00

iJ" (
0

t 1 - - ). n

dt.

dt et en deduire la suite

Jr+<Xl o

e-t' dt.
d'applications definies par

nt)

1.11. Etudier (sin at)· Log [sin at I.

(f.).EN

2.12. -

Etudier la convergence simple et la convergence uniforme des suites

(f.) (g.) (h.) d'applications defmies sur [0, 1] par:

f.(t) = - n2t 1 g. = - f.;

+ 2n (t

E [~,

~J);

h.(t) = f.(t) sin2 r,

1.13. - Soit (f.).EN une suite d'applications continues.j', : [a, b] .....E. On suppose que lesf. sont derivables sur ]a, b[, et qu'il existe MER tel que: "It E ]a, b[ "In E N lif~(t)lI:!5; . M

Montrer que si (j~) N converge simplement, alors la convergence est uniforme. •• Donner un enonce analogue, sans supposer les f. derivables,

86

SUITES

ET SERIES

D'APPLICATIONS

2.14. - Soit E un sous-espaee vectoriel de dimension finie de l'espace des applications continues de [0. 1] dans 1ft On Ie munit de la norme:

Ilfll

rl ( Jo

p(t) dt

)1/2
(t) dt ~ I.

soit (f.).eN une suite d'elements de E. verifiant

f f:

Montrer qu'on peut extraire de (f.)neN une suite d'applications convergeant uniformement sur [0. 1]. Montrer que g.(t) = t· fournit un contre exemple (E n'est pas de dimension finie), 2.15. - THEOREMES DINI. DE
a) Soit E un espace topologique compact et soit r = (f.)neN une suite d'applications continues de E dans IR qui converge simplement sur Evers une application f : E ..... IR continue. Montrer que si la suite rest croissante (i.e. "In fn ~ fn+ d. r converge uniformement vers f sur E. b) Soit r = (f.)neN une suite d'applications croissantes de [0. 1] dans IR qui converge simplement sur [0. 1] vers une application f :[0. 1] .....IR continue. Montrer que r converge uniforrnement versfsur [0. 1]. c) Soit P = (P.).eN la suite de fonctions polynomes de [0. 1] dans IR definie par: Po(t) =

Pndt) = Pn(t)

+ 1/2. (t

- P:(t»
f---+

Montrer que P converge uniformement sur [0. 1] vers I'application t

ji.

2.16. - THEOREME DESTONE- EIERSTRASS W (demonstration par les polynomes de BERNSTEIN). On designe par COI'espace vectoriel des applications continues de [0. 1] dans IR. On munit Co de la norme de la convergence uniforme IIflloo= sup If(t)1
le[o, I]

a)

Soit

un polynome de IR[X].
B.(P) X(1 =

On lui associe Ie polynome

P(k/n)C".xk(1 -

Bn(P)

defini par:

L
k=O

xr=

Montrer que:

B.(X P) =

- X)

B~(P)

+ X B.(P).

Calculer B.(I). Bn(X). B.(X2). b) Montrer la relation:

k=O

En

deduire

que.

si

exE IRt

et

si

[0.

1] sont

donnes,

en

notant

A.={kE{o .....

n}ll~ -tl~ex}.ona:

EXERCICES

87

c) Soit je

co. On lui fait correspondre

B.(f)(t) = .
l=O

la fonction polynome definie sur [0, 1] par:

- t)·-l

L l(k/n)C.rl(1

Montrer que/est
(B.(f).

la limite uniforme sur [0, 1] de la suite des fonctions polynomes

Conclure en montrant que toute application continue d'un segment [a, b] de IR dans IR est limite uniforme sur [a, b] d'une suite de fonctions polynomes.
Application. -

11/11

s::e

If

I(t)t· -

est une norme sur

co.

SERIES DE FONCfIONS.

n deriver la somme de cette serie de fonctions? Calculer les sommes

.;'1

2.17. - Etudier la serie de fonctions

t· 1: - sin nt. Pour quelles valeurs de t peut-on

+""

L .f~(t)

+",

et

f~(t),

"=1

11=1

011j~(t) designe - sin nt, n

2.18. - On pose f.(t) =
a) Etudier 1

t·

+ t2n

2.

la serie de fonctions 1:

.;.1

I.du point de vue de la convergence simple et de la

+",

convergence uniforme. En cas de convergence, on note:

b) Montrer

q> =

,.=1

j~.

'-+00

lim q>{t)

o. Trouver

la partie principale de

q>,

au voisinage de

00,

dans l'echelle puissance. c) Donner un developpement asymptotique de intervenir la constante d'EuLER).

2.19. - On pose q>(t) = E(t)

q>

au voisinage de 0

+ (ce calcul fait

+ (t

- E(t»2. 011 E designe la partie entiere,

a) Montrer que q> est 2-lipschitzienne. Est-elle k-lipschitzienne, avec k < 2? b) Etudier la serie de fonctions: 1: I., avec I.(t) =
0;.1

n2(n

q>(nt) . + 1)

Etudier la continuite de s

+'" =

j~.

11=1

2.20. - On pose :/.(t)

t2• Log t si 0 +00 1

<

t ~ 1, et/.(O)

O. Etudier ~f•.
1)·+1 n

2.2l. -

Montrer:

1
o

x-"dx

.=

-;;et
n

i1
0

x"dx

+00 (=

a= 1

88

SUITES

ET SERIES

D'APPLlCATIONS

2.22. - Etudier la suite de terme general I. = a) En calculant I.; b) En etudiant

fo

f.(t) dt, avecf.(t) =

1
(1

+ .t.)

1 + 1/

'

r=

(f.).eN'

2.23. - Justifier:

+ co
• =0

(f

1 0

t· sin (ttt) dt

f" -- x dx . sin
0

2.24. -

Existence et calcul de

.~:(~! f' (Log

• ;.1

t)· dt)'

. sin (nt) sin (n2t) 2.25. - Etudier la serie de fonctions I .

n

2.26. - On pose f.(t) = th (n + t) - th n. Montrer que la serie de fonctions '£f. converge sur IR, et que sa somme s est une fonction croissante et continue. La convergence est-elle uniforme? b) Etudier la serie de terme general u. = 1 _: th n. c) Montrer que, pour tout t E IR:
a)

s(t

1) = s(t)

+ +

12

th t.
)

2.27. - On posef.(t) = (- I)' Log (1

a)

n(l+t2)

et s

0=1

II;
=
Log-.

Quel est I'ensemble de defmition de s? lim s(t)

' .... +00

b) Justifier les egalites:

= +co (L
"=1

I)' Log 1 n2t2 n4t4

(1)+ 1
.

2
des

1t

2.28. -

Soit f.: IR ~ IR definie par: f.(t)

+ ""

On indexe l'ensemble

rationnels en une suite (a.)eN' On pose alors:

1
~

g,(t) =

k~O

f.(t - ak)

Montrer que (g.)neN converge simplement sur IR, mais ne converge uniformement aucun intervalle de lit Montrer que g. est indefmiment derivable.
INT~GRALES D~PENDANT O'UN PARAMETRE.

sur

2.29. - a) Etudier la fonction f defmie par: f(x) b) Calculer

l"
o

I"
o

r:' -1+

dt.
t

--1

t",-1

tl.

dt, OU met n sont des entiers > 0, m impair et 2n > m.(On

pourra utiliser la formule des residus, ex. n° III.7.29). tt c) En deduire j'(x) = -.-(x E]O, 1[). sin ttx

EXERCICES
2.30. Etudier I'~nsemble de defmition, x
>--+

89
en x = 1, de la fonction

et la continuite 2x cos t

l20

Log (1

+ x2)

dt.

Com parer au resultat de l'exercice 15 du chapitre 2.31. - Etudier la convergence

111.7. sin (at) t~(1 dt

de l'integrale

f+:x>
o

t)

.«a,

Cl) E 1R2). On note

h(a) sa valeur lorsqu'elle existe. Etudier h au voisinage de 0 et de 2.32. - Soient x

E

00

(pour Cl fixe),

IR~ et Y

IRfixes. Etudier la limite de la suite de terme general

a.
2.33.
v(x) =

f· r :' (
a

1- ~

t)J+.

dt.

o Jt a) Montrer

On
+.«, e-~

pose,

pour

XE

IR,

u(x) =

+OO

-,

~ Jt

cos (xt) dt

et

sin (xt) dt. que u et v sont continues et derivables,

b) Etablir : u(x) = 2(v'(x) - xu'(x)) et v(x) = - 2(u'(x)

c) En considerant

xv'(x)).

-_ sin t dt (A > 0) comme somme d'une serie o Jt alternee, montrer qu'elle est strictement positive. En deduire v(x) > 0 pour x > O. d) Deduire de b) et c) les valeurs de u(x) et v(x). On pourra considerer l'integrale
r(x) = Ju2(x)

+oo

e-"

u(x) v2(x) et SIx) = Arc tg -. v(x)

On admettra

u(O) = J1t
+",

(cf. 2.10).

2.34. Etudier
+00

Soit (a.)neN une suite de reels positifs, telle que convergence Montrer: de
D(s)

L -; converge
S -

(Cl > 0). et de

la

I ~., =
de f(s)
11=1

·f=o~::e -'t

dt,

n!ol

PIt) =

a.e-·'.

n=1

f
f

+OO

P(t)ts-I

dt = D(s)r(s) Montrer:

2.35. - Soit f:

[0, 1]

-+

IRcontinue.

fIt) dt = lim
x-+oo

+00 (

1),,-1
k!

fl
0

I-x(l-'lf(t)

dt

k=1

2.36. - Soit [: IR -+ IR localement

integrable.

On pose:

f.(x) = 4

3n

+.!_

_.!_

(1 - n2t2)f(x

t) dt

90

SUITES

ET SERIES

D'APPLICATJONS

a) On supposefnulle sur [a, b], ou bornee par M sur [a, b]. Que peut-on dire de1~? b) Sous quelles hypotheses peut-on conclure a la convergence simple, a la convergence uniforme, de la suite (j~)neN ? c) Sous quelles hypotheses f. est-elle derivable? a derivee continue?
2.37. Etudier f:

--+ ~

x
(x

1-+

f
t)

+ co
_ co

e-Itl I

+ (t

dt
X)2

2.38. -

Montrer:

+
_

<Xl

Arc tg I

+
t
2

<Xl

dt = 7t Arc tg -

2.39. If(t)1

Soit f une application continue de

~+

dans ~ telle que l'integrale

+ co

dt converge.
1-+

Etudier la continuite de g: x

{+

<Xl

e-xt'1(t)

dt.

2.40. - a) Soient U un ouvert convexe d'un e.v.n. E, F un espace de Banach,

f = (fn)neN une suite d'applications de U dans F. On suppose qu'il existe a E U tel que la suite (fn(a»neN d'elements de F converge. On suppose d'autre part que les fn sont differentiables sur U et que la suite (df.)neN d'applications de U dans .!t'(E, F) converge uniforrnement sur U vers une application g. Montrer que f converge uniforrnement vers une fonction f sur to utes les parties bornees de U, quefest differentiable sur U et que df = g. Etendre Ie resultat au cas Oil U

est connexe. b) Etablir un resultat analogue pour les series. c) Application: Soit E un espace de Banach. On pose F
+OCJ Ull

.!t'(E). Pour

!.e(E) soit

e"

"=0 n!

L: -.

Montrer que

I-+e· est une application differentiable de F dans lui-meme,

2.41. - Soient a

]0, I[ un reel et b un entier multiple de 4, tels que ab - I > 27t. On

+

con sidere la fonction F defmie par F(t)

a) b) F

L:

<Xl

a"eibn .. (fonction de

WEIERSTRASS).

------.

F(t

Montrer que F est continue et periodique de periode 1/2 sur R n'est derivable pour aucun t E R Pour Ie prouver on considere Montrer que.
I

n=1

h) - F(t) h

Pour h =-:
bP F(t I

h) - F(t) h = Sp_1

2aPbPeibPnt.

Pour h =-: ------ h

F(t

2bP

h) - F(t)

- Sp-l - 2J2aPbPei -

bPnt - -

n)
4'

Oil

EXERCICES En deduire que, pour l'une des deux valeurs de h, on a: ate F(t

91

h) - F(t) h

2 sin

"8 - 2

7t

1)

aPbP

+.,

b) Montrer Raisonner

que t I-+f(t)

a" cos (7tb"t) n'est derivable en aucun point r ;

de me me pour t

1-+

g(t) =

L
"=1

a" sin (7tb"t) et conclure.

2.42. d'applications

Pour tout a E iJ;l,la distance de [0, I] dans iJ;ltelles que: 'Vn EN 'Vt
E

de a

Nest

notee

< a).

Soit r.j~ la serie

[0, I]

j~(t) = 10-·

< 10"t)

Montrer que r.j~ converge uniformernent sur [0, I] et que sa somme (qui est appelee fonction de VAN DER WAERDEN) est une application continue de [0, I] dans iJ;l, ui n'est q derivable en aucun point. 2.43. - a) Etendre Ie theoreme de derivation aux derivees it droite. b) Soient n definie par
1-+

d'une limite ou d'une somme de serie

n iQ etf:

a" une bijection de N sur [0, I]

+ '"

[0, I]

-+

iJ;l1'application

f(t) Etudier la continuite

L-

• =0

2"
de

It - a.l . f
sur [0, I].

et la derivabilite