Analyse et Topologie

Cours L2 MI
Andrei Teleman
CMI, Universite de Provence,
39 Rue Frederic Joliot-Curie, 13453 Marseille, Cedex 13
4 avril 2012

ements de topologie dans Rn

El

Programme : ouverts, fermes, normes equivalentes. Compacts, notion de

connexite. Un ouvert connexe est connexe par arcs. Normes matricielles.

1.1

R
ecapitulatif sur les espaces vectoriels

Nous rappelons le theor`eme fondamental suivant concernant la dimension

des espaces vectoriels
Th
eor`
eme 1.1.1 Soit K un corps commutatif et V un K-espace vectoriel.
Alors
1. V poss`ede une base, i.e. un syst`eme (vi )i2I qui est un syst`eme de generateur
et lineairement independant.
2. Deux bases (vi )i2I , (wj )i2j ont le meme cardinal, i.e. il existe une bijection
'
I ! J.
Si V poss`ede une base finie `a n elements, alors le nombre delements n ne
depend pas de la base choisie et sappelle la dimension de V . Tout K-espace
vectoriel de dimension n est isomorphe `a K n .
Remarquons que lespace vectoriel K[X] des polynomes `a coefficients dans
K est un espace vectoriel de dimension infinie : en eet le syst`eme denombrable
infini (1, X, X 2 , . . . , X k , . . .) = (X k )k2N est une base de K[X].
Dans ce cours nous allons considerer quelques espaces vectoriels de dimension
infinie remarquables :
Lespace F(M, K) des fonctions definies sur M `a valeurs dans K est un
espace de dimension m si lensemble M a m elements, et de dimension
infinie si M est infini.

 Si K = R ou C, le sous-espace B(M, K) F(M, K) des fonctions bornees

M ! K est encore de dimension infinie si M est infini.
Lespace C k (I, R), k 2 N [ {1} des fonctions de classe C k definies sur un
intervalle I R est un R-espace vectoriel de dimension infinie (sauf bien
sur si I est vide ou reduit `a lensemble {a} forme par un point).
Remarquer que, dapr`es le theor`eme des bornes, on a C 0 ([a, b], R) B([a, b], R).

1.2

Espaces m
etriques, espaces norm
es, sous-ensembles
ouverts, ferm
es

D
efinition 1.2.1 Un espace metrique est une paire (X, d), o`
u X est un ensemble et d : X X ! [0, 1[ est une application satisfaisant aux axiomes :
1. d(x, y) = 0 , x = y,

2. Pour tous x, y 2 X on a d(x, y) = d(y, x) (symetrie).

3. Pour tous x, y, z 2 X on a d(x, z) d(x, y) + d(y, z) (linegalite triangulaire).

Une telle application d sappelle fonction distance ou metrique sur X. Deux
metriques d, d0 sur X sont dites equivalentes sil existe deux constantes c, c0 > 0
telles que d0 cd0 et d c0 d.
D
efinition 1.2.2 Si (X, d) est un espace metrique et r 2 [0, 1[ on definit :

1. la boule ouverte de centre x et rayon r : B(x, r) := {y 2 X| d(x, y) < r},

2. la boule fermee de centre x et rayon r : Bf (x, r) := {y 2 X| d(x, y) r},

3. la sph`ere de centre x et rayon r : S(x, r) := {y 2 X| d(x, y) = r}.
Exercice 1.2.1

1. Montrer que B(x, 0) = ; et Bf (x, 0) = S(x, 0) = {x}.

2. Soit y 2 B(x, r). Posons := r

que B(y, ) B(x, r).

d(x, y). Remarquer que > 0 et montrer

3. Soit X un ensemble. Montrer que lapplication d : X X ! R definie par

0 si x = y
d(x, y) :=
1 si x 6= y
est une metrique sur X. Decrire les boules ouvertes, les boules fermees et
les sph`eres par rapport `a cette metrique.
4. Soit d, d0 deux metriques equivalentes sur X. Montrer que toute boule
ouverte par rapport `a d secrit comme reunion (finie ou infinie) de boules
ouvertes par rapport `
a d0 et reciproquement.
Dans ce cours nous allons considerer des espaces metriques provenant despaces vectoriels normes :
D
efinition 1.2.3 Soit V un espace vectoriel reel ou complexe. Une norme sur
V est une application N : V ! [0, 1[ satisfaisant aux axiomes :
2

1. n(v) = 0 , v = 0,
2. Pour tous v 2 V et 2 R (respectivement 2 C) on a N ( v) = | |N (x),
3. Pour tous v, w 2 V on a N (v + w) N (v) + N (w). Un espace norme est
un paire (V, N ), o`
u V est un espace vectoriel reel ou complexe et N une
norme sur V .
Deux normes N , N 0 sur V sont dites equivalentes sil existe deux constantes c,
c0 > 0 telles que N cN 0 et N 0 cN .
Exemple : Lespace vectoriel reel n-dimensionnel Rn est muni de trois normes
importantes (les normes standard) N2 , N1 , N1 definies par
v
u n
n
X
uX
N2 (x1 , . . . , xn ) := t
x2i , N1 (x1 , . . . , xn ) :=
|xi | ,
i=1

i=1

N1 (x1 , . . . , xn ) := max{|xi | | 1 i n} .

Les trois normes standard sur Rn staisfont aux inegalites

p
N1 N1 nN2 nN1 ,

donc elles sont equivalentes (voir la planche TD1). On va montrer que, sur
un espace vectoriel reel ou complexe de dimension finie toutes les normes sont
equivalentes. Ceci nest pas vrai pour les espaces vectoriels de dimension infinie.
Cest important de noter quune norme N sur V definit une metrique dN
sur V (la metrique associee `a la norme N ) definie par
dN (v, w) := N (w

v) .

Montrer que dN est bien une metrique. Deux normes equivalentes von definir
evidemment des metriques equivalentes. Les metriques (equivalentes !) associees
aux trois normes standard sur Rn sont designees par d2 , d1 , d1 . La metrique
d2 sappelle la metrique euclidienne sur Rn . Pourquoi ?
D
efinition 1.2.4 Soit (X, d) un espace metrique. Un sous-ensemble O X est
dit ouvert (par rapport `
a la metrique d) si lune des deux conditions equivalentes
suivantes est satisfaite :
1. Pour tout x 2 O il existe r > 0 tel que B(x, r) O.
2. O secrit comme une reunion (finie ou infinie) de boules ouvertes.
Si A X est un sous-ensemble, un point a 2 A est dit point interieur de
A sil existe r > 0 tel que B(a, r) A. Lensemble des points interieurs de
On a evidemment toujours
A sappelle linterieur de A et est designe par A.

A A. Donc
Remarque 1.2.5 Un sous-ensemble O X est ouvert si et seulement si on a
= O.
O
3

D
efinition 1.2.6 Soit Y X. Un point x 2 X est dit point adherent `
a Y si
pour tout r > 0 lintersection Y \ B(x, r) est non-vide. Lensemble des points
adherents `
a Y sappelle ladherence de Y est sera designee par Y . Un sousensemble Y X est dit dense (dans X) si Y = X et est dit nulle part dense si
Y ne contient aucune boule ouverte B(x, r) avec r > 0. Donc
Intuitivement, un point x est adherent `a Y si dans Y il existe des points
arbitrairement proches de x. Remarquer quon a toujours linclusion Y Y .
D
efinition 1.2.7 Une suite (xn )n2N dans un espace metrique (X, d) est dite
convergente sil existe l 2 X (appele la limite de la suite) ayant la propriete :
Pour tout " > 0 il existe n" 2 N tel que pour tout n n" on a d(xn , l) < " (soit
xn 2 B(l, ")).
Rappelons quune suite de la forme (xnk )k2N (o`
u n0 < n1 < n2 < . . . est
une suite strictement croissante de nombres naturels) sappelle suite extraite,
ou sous-suite de (xn )n2N . Toute suite extraite dune suite convergente de limite
l 2 X est aussi convergente de meme limite l (donc une sous-suite herite les
proprietes de convergence de la suite m`ere). Pourquoi ?
D
efinition 1.2.8 Une valeur dadherence de la suite (xn )n2N est un point x 2
X qui est la limite dune sous-suite extraite de (xn ).
Remarque 1.2.9 Un point x 2 X est une valeur dadherence de la suite
(xn )n2N si et seulement si pour tout r > 0 la boule B(x, r) contient une infinite de termes de la suite, donc lensemble {n 2 N| xn 2 B(x, r)} est infini.
Exercice 1.2.2 Quelles sont les valeurs dadherence de la suite complexe definie
1
par zn = in + n+1
?
Proposition 1.2.10 Soient a b 2 R et soit (un )n2N une suite reelle telle
que a un b pour tout n 2 N (donc (un )n est une suite bornee). Posons
Un := {uk | k n}, Mn := sup Un et mn := inf Un .
1. La suite (Mn )n2N est une suite decroissante bornee inferieurement par a
et (mn )n2N est une suite croissante bornee superieurment par b.
2. Posons
lim sup un := inf{Mn | n 2 N} , lim inf un := sup{mn | n 2 N} .
n!1

n!1

Les nombres reels lim supn!1 un , lim inf n!1 un sont des valeurs dadherence
de un , et lim supn!1 un , lim inf n!1 un 2 [a, b].

3. Toute valeur dadherence v de la suite (un )n2N satisfait aux inegalites

lim inf n!1 un v lim supn!1 un .
4. Les conditions suivantes sont equivalentes :
(a) (un )n2N est convergente,
4

(b) lim supn!1 un = lim inf n!1 un ,

(c) (un )n2N a une seule valeur dadherence.
D
emonstration: Exercice.
On obtient donc comme corollaire le Theor`eme de Bolzano-Weierstrass pour
les intervalles de R.
Th
eor`
eme 1.2.11 Soient a b 2 R. Toute suite de [a, b] admet (au moins)
une valeur dadherence dans [a, b].
Revenons maintenant au cas dun espace metrique arbitraire (X, d). Remarquer que
Remarque 1.2.12 Un point x 2 X est adherent `
a Y X si et seulement sil
existe une suite (yn )n2N de Y qui converge vers x, donc
n
o
Y = lim yn | (yn )n21 suite de Y convergente dans X
n!1

Exemple : Soit A R un ensemble non-vide borne. Alors sup A, inf A 2 A.

D
efinition 1.2.13 Soit (X, d) un espace metrique. Un sous-ensemble F X
est dit ferme (par rapport `
a la metrique d) si lune des trois conditions equivalentes
suivantes est satisfaite :
1. Le sous-ensemble complementaire X \ F est ouvert.
2. F = F .
3. La limite de toute suite de F qui converge dans X est un element de F .
Exercice 1.2.3 Soit (X, d) un espace metrique. Montrer que tout sous-ensemble
fini Y X est ferme. Montrer que les boules fermees et les sph`eres sont des
sous-ensembles fermes et que les boules ouvertes sont des sous-ensembles ouverts. Montrer que X est `a la fois ouvert et ferme.
Proposition 1.2.14
1. X et ; sont `
a la fois fermes et ouverts.
2. Toute reunion (finie ou infinie) de sous-ensembles ouverts est ouverte.
3. Toute intersection finie de sous-ensembles ouverts est ouverte.
4. Toute intersection (finie ou infinie) de sous-ensembles fermes est fermee.
dun sous-ensemble A X est ouvert ; il concide avec lou5. Linterieur A
vert le plus grand (au sens de linclusion) contenu dans A.
6. Ladherence A dun sous-ensemble A X est fermee ; elle concide avec
le ferme le plus petit (au sens de linclusion) qui contient A.
7. Toute reunion finie de sous-ensembles fermes est fermee.
D
emonstration: Eexrcice.

Proposition 1.2.15 Soit (un )n2N une suite de lespace metrique (X, d) et soit
V lensemble de ses valeurs dadherence. Posons Un := {xk | k n}. Alors on a
legalite
1
\
n
V=
U
n=0

Remarque 1.2.16 Soient d, d0 deux metriques equivalentes sur X. Alors les

notions de sous-ensemble ouvert, sous-ensemble ferme, adherence dun sousensemble, suite convergente, valeur dadherence associees `
a d, d0 concident.
D
efinition 1.2.17 Soit (X, d), (X 0 , d0 ) deux espaces metrique et A X. Une
fonction f : A ! Y est dite continue en a 2 A si pour tour " > 0 il existe
" > 0 tel que f (B(a, " )) B(f (a), "). f est dite continue, si elle continue en
tout a 2 A.
Proposition 1.2.18 f est continue sur A si et seulement si pour tout ouvert
O0 X 0 limage inverse f 1 (O0 ) est relativement ouverte dans A, cest a
` dire
secrit comme O \ A pour un ouvert O X.
Proposition 1.2.19 f est continue en a 2 A si et seulement si pour toute
suite (an )n2N qui converge vers a dans X, la suite (f (an ))n2N converge vers
f (a) dans X 0 .
Exercice 1.2.4 Soit (X, d), (X 0 , d0 ), (X 00 , d00 ) trois espaces metriques, A X,
A0 X 0 et f : A ! X 0 telle que f (A) A0 et g : A0 ! X 00 . Si f est continue
en a 2 A et g est continue en f (a) 2 A0 alors g f : A ! X 00 est continue en a.
Exercice 1.2.5 Soit (X, d) un espace metrique et a 2 X fixe. Definissons la
fonction a : X ! R (o`
u R est muni de sa metrique standard) par a (x) :=
d(a, x). Montrer que a est continue.

1.3

Compacit
e

D
efinition 1.3.1 Soit (X, d) un espace metrique et Y X. Un recouvrement
ouvert de Y est un syst`eme (Oi )i2I douverts de X tel que [i2I Oi Y .
Un sous-ensembe K X est dit compact si de tout recouvrement ouvert
(Oi )i2I de K on peut extraire un sous-recouvrement fini (cest `
a dire il existe
I0 I fini tel que (Oi )i2I0 soit encore un recouvrement).
Un sous-ensemble Y X sappelle borne sil existe x0 2 X et R > 0 tels
que Y Bf (x0 , R). Remarquer que si Y est borne, alors pour tout x 2 X il
existe Rx > 0 tel que Y B(x, Rx ).
D
efinition 1.3.2 Un sous-ensemble K X est dit sequentiellement compact
si toute suite (xn )n2N de K admet une sous-suite convergente dans K (soit si
toute suite (xn )n2N de K admet une valeur dadherence dans K).
6

Exemple : Le Theor`eme de Bolzano-Weierstrass 1.2.11 montre que tout intervalle [a, b] de R est sequentiellement compact.
Proposition 1.3.3 Tout sous-ensemble sequentiellement compact K dun espace metrique (X, d) est ferme et borne.
D
emonstration: Soit K X sequentiellement compact.
1. K est borne. Choisissons x0 2 X. Si, par laabsurde, K netait pas borne in
nexiste aucun R > 0 tel que B(x0 , R) K. En particulier, pour tout n 2 N
il existe yn 2 K \ B(x0 , n). La suite (yn )n2N ne peut admettre aucune suite
extraite convergente, parce que, si (ynk )k2N etait convergente vers y0 , alors on
aurait limk!1 d(x0 , ynk ) = d(x0 , y0 ). Mais d(x0 , ynk )
nk (parce que ynk 62
B(x0 , nk )) donc la suite reelle d(x0 , ynk )k est divergente.
= K. Soit x 2 X un point adherent `a
2. K est ferme. Il faut montrer que K
K. Donc il existe une suite (yn )n2N de K qui converge vers x. Puisque K est
sequentiellement compact, il existe une suite extraite (yni )i2N convergente vers
une limite y0 2 K. Donc la suite (yni )i2N converge `a la fois vers x et y0 . Ceci
implique x = y0 2 K.
Exercice 1.3.1 Demontrer que tout sous-ensemble compact K X est borne
et ferme.
Th
eor`
eme 1.3.4 (theor`eme des bornes) Soient (X, d), (X 0 , d0 ) deux espaces
metriques, K X un sous-ensemble (sequentiellement) compact et f : K ! X 0
une application continue. Alors f (K) X 0 est (sequentiellement) compact. En
particulier si X 0 = R muni de sa metrique standard, alors f est bornee sur K
et atteint ses bornes sur K.
D
emonstration: En utilisant la Proposition 1.2.18 (respectivement la Proposition 1.2.19) cest facile de voir que f (K) est (sequentiellement) compact si
K est (sequentiellement) compact et f est continue sur K. Pour la deuxi`eme
affirmation, noter que f (K) sera compact dans R donc borne et ferme, ce qui
implique sup f (K), inf f (K) 2 f (K).
Dans un espace metrique les deux notions de compacite sont equivalentes :
Th
eor`
eme 1.3.5 Soit (X, d) un espace metrique. Un sous-ensemble K X
est compact si et seulement sil est sequentiellement compact.
D
emonstration: 1. compact ) sequentiellement compact.
Supposons que K est compact et soit (un )n2N une suite de K. Posons
Un := {xk | k n}. Supposons par labsurde que (un )n2N nadmettait aucune va
leur dadherence dans K. Dapr`es la Remarque 1.2.15 on aurait (\1
n=0 Un )\K =

;, donc les ouverts On := X \ Un formeraient un recouvrement ouvert de

K. Puisque K est compact, on peut extraire un sous-recouvrement fini, donc
7

n ). Ceci implique
il existe n1 < . . . < nk 2 N tels que K [ki=1 (X \ U
i
n , cest `a dire K \ U
n = ;. Mais ceci est impossible parce que
K X\U
k
k
n
K \U
Unk 6= ;.
k
2. sequentiellement compact ) compact. La demonstration sappuie sur le lemme
de Lebesgue qui est enonce et demontre plus bas (Lemme 1.3.6). Supposons donc
que K est sequentiellement compact, soit (Oi )i2I un recouvrement ouvert de K
et " > 0 un nombre de Lebesgue de ce recouvrement. Dapr`es le Lemme 1.3.7 cidessous il existe un ensemble fini fini {y1 , . . . , ym } K tel que K [m
i=1 B(yi , ").
Pour tout j 2 {1, . . . , m} choisissons ij 2 I tel que B(yi , ") Oi . On a
evidemment K [m
j=1 Oij , donc posons I0 := {ij | 1 j m} on obtient
un sous-recouvrement fini du recouvrement (Oi )i2I .
Lemme 1.3.6 (de Lebesgue) Soit K X un sous-ensemble sequentiellement
compact et (Oi )i2I un recouvrement ouvert de K. Alors il existe " > 0 (appele
nombre de Lebesgue de (Oi )i2I ) ayant la propriete : pour tout y 2 K il existe
iy 2 I tel que B(y, ") Oiy .
D
emonstration: (par labsurde) Sinon, pour tout n 2 N il existe yn 2 K tel
que pour tout i 2 I linclusion B(yn , n1 ) Oi est fausse, cest `a dire pour tout
i 2 I il existe zni 2 B(yn , n1 ) \ Oi . Puisque K est sequentiellement compact,
il existe une suite strictement croissantes de naturels n1 < n2 < . . . telle que
(ynk )k2N converge dans K vers un point y0 2 K. Choisissons i0 2 I tel que
y0 2 Oi0 . On a d(ynk , zni0k ) < n1k ! 0 et limk!1 ynk = y0 on obtient facilement
limk!1 zni0k = y0 . Mais on sait que zni0k 62 Oi0 , donc en choisisaant r > 0 tel
que B(y0 , r) Oi0 on constate que la boule ouverte B(y0 , r) ne contient aucun
terme de la suite (zni0k )n . Contradiction.
Lemme 1.3.7 Soit K X un sous-ensemble sequentiellement compact et soit
" > 0. Alors il existe un sous-ensemble fini {y1 , . . . , ym } K tel que K
[m
i=1 B(yi , ").
D
emonstration: En eet, sinon on trouve par recurrence une suite (un )n2N
de K telle que d(ui , uj ) " pour toute paire dindices i < j. Cest facile de voir
quune telle suite ne peut admettre aucune valeur dadherence.

Proposition 1.3.8 Soient (X, d), (Y, ) deux espaces metriques. Montrer que
toute fonction continue f : A ! Y sur un ensemble compact A X est uniformement continue, i.e. a la propriete : 8" > 0 il existe " > 0 tel que pour
tous x, y 2 A avec d(x, y) < " on a d(f (x), f (y)) < ".
D
emonstration: Par reduction labsurde. Si la propriete enoncee nest pas
vraie alors, pour tout n 2 N on trouvera une paire (xn , yn ) 2 A A telle que
d(xn , yn ) < n1 et d(f (x), f (y))
". La suite (xn )n2N admet une sous-suite
8

(xnk )k2N convergente vers un point, disons x0 2 A. Mais, puisque d(xnk , ynk ) <
1
nk , on obtient aussi limk!1 ynk = x0 . Mais f est continue en x0 , donc
limk!1 f (xnk ) = limk!1 f (ynk ) = f (x0 ), ce qui implique
lim d(f (xnk ), f (ynk )) = 0 .

k!1

(Pourquoi ?) Mais ceci contredit linegalite d(f (xnk ), f (ynk ))

tout k 2 N).

" (vraie pour

Th
eor`
eme 1.3.9 (de Heine-Borel, Borel-Lebesgue) Soit K Rn , o`
u Rn est
muni de la metrique d1 . Les conditions suivantes sont equivalentes :
1. K est compact,
2. K est borne et ferme.
D
emonstration: Limplication K compact ) K est borne et ferme a ete dej`
a
demontre. On va montrer que la condition K est borne et ferme implique K
est sequentiellement compact. Nous allons donner la demonstration seulement
dans les cas n = 1 et n = 2 et le lecteur est invite `a rediger la demonstration
dans le cas general.
n = 1. Soit K R borne et ferme. Puisque K est borne, il existe a b 2 R tels
que K [a, b]. Soit (un )n2N une suite de K. Dapr`es le theor`eme de BolzanoWeierstrass (Theor`eme 1.2.11) (un )n2N admet une suite extraite convergente
= K,
dans [a, b]. Puisque (un )n2N est une suite de K on obtient limn!1 un 2 K
parce que K est ferme, donc (un )n2N admet une suite extraite convergente dans
K.
n = 2. Soit K R2 borne par rapport `a la norme N1 et soit (un , vn )n2N
une suite de K. La suite reelle (un )n2N est bornee dans R (pourquoi ?) donc admet une sous-suite convergente (unk )k2N dans R vers, disons, u0 2 R. La suite
reelle (vnk )k2N sera aussi bornee (en tant que suite extraite dune suite bornee),
donc elle admet une suite extraite (vnkl )l2N convergente vers, disons, v0 2 R.
La suite (unkl )l2N est une suite extraite dune suite convergente vers u0 , donc
elle converge aussi vers u0 . On obtient donc liml!1 unkl = u0 , liml!1 vnkl =
v0 , ce qui implique liml!1 (unkl , vnkl ) = (u0 , v0 ) par rapport `a d1 . Puisque
= K, donc (un , vn )n2N
(unkl , vnkl ) 2 K pour tout l 2 N il en resulte (u0 , v0 ) 2 K
admet une suite extraite convergente dans K.

Th
eor`
eme 1.3.10 Sur un espace vectoriel reel (ou complexe) V de dimension
finie toutes les normes sont equivalentes.
D
emonstration: Le cas des espaces vectoriels complexes se reduit facilement
au cas des espaces vectoriels reels. On peut donc supposer V = Rn et N une
norme sur Rn . On va montrer que N est equivalente `a la norme N1 .
9

Puisque N est une norme on obtient facilement pour deux vecteurs v, w 2 Rn

|N (w)

N (u)| N (w

v)

n
X
i=1

|wi

vi |N (ei ) ,

qui montre que N : Rn ! R est continue par rapport `a la distance d1 . Dapr`es

le Theor`eme de Heine-Borel la sph`ere unite S1 (0, 1) Rn par rapport `a d1 est
compacte dans (Rn , d1 ). En utilisant le theor`eme des bornes (Theor`eme 1.3.4)
il en resulte que N est bornee et atteint ses bornes sur cette sph`ere. Posons donc
M := sup{N (v)| v 2 S1 (0, 1)} , m := inf{N (v)| v 2 S1 (0, 1)}
et remarquons que m, M > 0. Pour tout vecteur n 6= 0 on obtient

1
1
mN
v =
N (v) M ,
N1 (v)
N1 (v)
donc N (v) M N1 (v), N1 (v)

1
m N (v).

Sur un espace vectoriel reel de dimension infinie il existe des normes nonequivalentes (voir TD).
Puisque les notions de compacite et densemble borne associees `a deux
metriques equivalentes concident (Pourquoi ?), on obtient
Corollaire 1.3.11 Le theor`eme de Heine-Borel ci-dessus est vrai pour la metrique
dN asscoiee `
a toute norme N sur un espace vectoriel reel (ou complee) de dimension finie.
Notons que le theor`eme de Heine-Borel ne se generalise pas pour les espaces
normes de dimension infinie.
Compl
etude et compacit
e. Soit (X, d) un espace metrique. Nous rappelons
quune suite (xn )n2N de X est dite suite de Cauchy si pour tout " > 0, il existe
n" 2 N, tel que pour tous p, q n" on a d(xp , xq ) < ".
Exercice 1.3.2 Demontrer que toute suite convergente est une suite de Cauchy.
Un espace metrique (X, d) est dit complet si, reciproquement, toute suite de
Cauchy de X est convergente. Rn , Cn et, plus generalement, tout espace vectoriel
norme de dimension finie sont des espaces metriques complets. Lespace vectoriel
de dimension infinie C 0 ([a, b], R) (voir le chapitre 1.1) muni de la norme
kf kL1 := sup{|f (x)| | a x b}
est complet, mais le meme espace muni de lune des normes
s
Z b
Z b
kf kL1 :=
|f (x)|dx , kf kL2 :=
|f (x)|2 dx .
a

nest pas complet.

10

Proposition 1.3.12 Tout espace metrique (X, d) compact est complet.

D
emonstration: Exercice. Montrer dabord que toute suite de Cauchy qui
admet une valeur dadherence x0 2 X est convergente vers x0 .

1.4

Connexit
e

Soit (X, d) un espace metrique et soit A X. Une separation de A est une

paire (O, O0 ) douverts de X tels que
1. A O [ O0 ,

2. A \ O 6= ;, A \ O0 6= ;,
3. A \ O \ O0 = ;.

D
efinition 1.4.1 Soit A X. A est dit connexe si A nadmet aucune separation.
A est dit connexe par arcs si pour toute paire (a0 , a1 ) 2 A A il existe une application continue c : [0, 1] ! X telle que im(c) A, c(0) = a0 , c(1) = a1 .
Une telle application continue c sappelle arc (ou chemin) qui joint les points
a0 , a1 dans A. Donc A est connexe par arcs si tous deux points de A peuvent
etre joints dans A par un chemin.
Exemple : Soit (V, N ) un espace vectoriel reel norme et C V un sousensemble convexe. Montrer que C est connexe par arcs. En eet, rappelons
que pour deux elements v, w 2 V le segment [v, w] est defini par la formule
[v, w] := {(1 t)v +tw| t 2 [0, 1]}. Puisque C est convexe, on sait (par definition)
que pour toute paire (v, w) 2 C C, on a [v, w] C. Il suffit de remarquer que
lapplication [0, 1] ! (1 t)v + tw est continue, donc elle definit un chemin qui
joint v `a w.
Notre prochain but est de montrer que les sous-ensembles connexes de R
(muni de sa metrique standard) sont precisement les intervalles. Nous rappelons
quun intervalle dans R est un sous-ensemble de lune des formes :
;, R, ]

1, a[, ]

1, a], ]a, b[, [a, b], [a, b[, ]a, b], ]b, 1[, [b, 1[ .

On peut caracteriser tous les intervalles de R par une propriete commune, `a

savoir par la propriete de convexite :
Remarque 1.4.2 Un sous-ensemble I R est un intervalle si et seulement si
pour toute paire (a, b) 2 I I avec a b on a [a, b] I.
Th
eor`
eme 1.4.3 Un sous-ensemble A R est connexe si et seulement sil est
un intervalle.

11

D
emonstration: 1. A est connexe ) A est un intervalle.
Si, par labsurde, A netait pas un intervalle il existerait une paire (a, b) 2
I I avec a b telle que [a, b] 6 I. Donc il existerait c 2]a, b[ tel que c 62 A.
Mais alors on verifie facilement que (] 1, c[, ]c, 1[) serait une separation de
A, ce que contredit notre hypoth`ese.
2. A est un intervalle ) A est connexe.
Soit A R un intervalle et supposons par labsurde que A admet une
separation (O, O0 ). Choisissons a 2 O \ A, a0 2 O0 \ A. Supposons a < a0 . Nous
savons que [a, a0 ] A, parce que A est un intervalle. Lensemble O \ [a, a0 ] est
borne et non-vide (pourquoi ?), donc on peut considerer x := sup(O \ [a, a0 ]) 2
[a, a0 ]. Puisque [a, a0 ] A, on a x 2 A ; mais (O, O0 ) est une separation de A,
donc on a soit x 2 O, soit x 2 O0 .
Cas 1. x 2 O. Dans ce cas on a x 6= a0 (parce que a0 2 O0 et A \ O \ O0 = ;),
donc x < a0 . On peut donc trouver " > 0 tel que ]x ", x + "[ O et x + " < a0 .
Mais alors x + 12 " 2 O \ [a, a0 ] et x + 12 " > x, ce que contredit le fait que x est
un majorant de O \ [a, a0 ].
Cas 2. x 2 O0 . Dans ce cas on a x > a (parce que a 2 O et A \ O \ O0 = ;). On
peut donc trouver " > 0 tel que ]x ", x + "] O0 et x " > a. Mais x est le
plus petit majorant de O \ [a, a0 ], donc x " (qui est strictement inferieur `a x)
nest pas un majorant de cet ensemble, donc il existe un element y 2 O \ [a, a0 ]
tel que x " < y x. Cet element nappartient donc pas `a O0 (parce que encore
une fois A \ O \ O0 = ;). Ceci contredit ]x ", x + "] O0 .

Proposition 1.4.4 Soit (X, d) un espace metrique, et A, B X tels que A,

B sont connexes (respectivement connexes par arcs) et A \ B 6= ;. Alors A [ B
est connexe (respectivement connexe par arcs).
D
emonstration: Pour la connexite : Soit x 2 A \ B et soit (O, O0 ) une
separation de A [ B. Supposons x 2 O. Alors A O et A \ O0 = ;, parce
que sinon (O, O0 ) serait une separtion de A, ce que contredirait la connexite de
A. Mais pareil on obtient B O et B \ O0 = ;. Donc A [ B O. Mais alors
O0 \ (A [ B) = O0 \ O \ (A [ B) = ;, ce que contredit le fait que (O, O0 ) est
une separation de A [ B.
Pour la connexite par arcs : Exercice. Utiliser la Remarque 1.4.5 ci-dessous
et faire un dessin.
Remarque 1.4.5 Soit (X, d) un espace metrique, : [0, 1] ! X un chemin
qui joint a `
a c, et : [0, 1] ! X un chemin qui joint c `
a b. Alors lapplication
: [0, 1] ! X definie par

(2t)
si 0 t 12
( )(t) :=
(2t 1) si 12 t 1
est un chemin qui joint a `
a b (qui sapelle la concatenation de
12

et ).

La continuite de
t = 12 .

se verfie facilement. Attention `a la continuite au point

Exercice 1.4.1 Soient A R2 defini par A := Bf (0, 2) [ S(q, 1) o`

u q = (2, 0).
Montrer que A est connexe et compact.
Proposition 1.4.6 (le theor`eme des valeurs intermediaires) Soit (X, d), (X 0 , d0 )
deux espaces metriques et A X un sous-ensemble connexe (respectivement
connexe par arcs). Soit f : A ! X 0 continue. Alors f (A) X 0 est connexe (respectivement connexe par arcs). En particulier, si X 0 = R muni se sa metrique
standard, f (A) est un intervalle, donc f satisfait la propriete das valeurs intermediaires sur A.
D
emonstration: Pour la connexite : Demonstration par labsurde : Supposons
quil existe une separation (O, O0 ) de f (A). Alors, dapr`es la Proposition 1.2.18,
on sait que f 1 (O), f 1 (O0 ) sont relativement ouverts dans A, donc il existe
des ouverts U , U 0 X tels que U \ A = f 1 (O), U 0 \ A = f 1 (O0 ). Cest facile
de voir que (U, U 0 ) est une separation de A, ce qui contredit lhypoth`ese sur la
connexite de A.
Pour la connexite par arcs : Exercice. Utiliser le fait que toute composition
de fonctions continues est continue.

Corollaire 1.4.7 Si A X est connexe par arcs, alors A est connexe.

D
emonstration: Soit A connexe par arcs et supposons par labsurde quil
existe une separation (O, O0 ) de A. Choisissons a 2 O \ A, a0 2 O0 \ A et un
chemin c : [0, 1] ! A tel que c(0) = a, c(1) = a0 . Limage B := im(c) = c([0, 1])
est connexe dapr`es le Theor`eme 1.4.6. Mais cest facile de voir que (O, O0 ) est
aussi une separation de B. Verifier les trois proprietes dans la definition dune
separation. Contradiction.

Exercice 1.4.2 I. Soit (X, d) un espace metrique et A X. Sur A nous

considerons les relations definies par :
1. a b sil existe C A connexe tel que a, b 2 C,

2. a ' b sil existe C A connexe par arcs tel que a, b 2 C.

Montrer que , ' sont des relations dequivalence sur le sous-ensemble A.

Les classes dequivalence par rapport `a ces relations sappellent les composantes
connexes (respectivement les composantes connexes par arcs) de A. Les composantes connexes (respectivement connexes par arcs) de A sont les sous-ensembles
connexes (respectivement connexes par arcs) maximaux de A ; elles sont disjointes deux `a deux.
II. Preciser les composantes connexes de R R et de Q R.
13

Proposition 1.4.8 Soit (V, N ) un espace norme et dN la metrique associe `

a
N . Pour un ouvert O V les condition suivantes sont equivalentes :
1. O est connexe par arcs,
2. O est connexe.
D
emonstration: Nous avons vu que limplication 1.) 2. est vraie en toute
generalite. Pour limplication inverse, supposons que O est non-vide, et soient
v0 2 O un point arbitraire. Posons
C := {v 2 O| 9c : [0, 1] ! O continue, telle que c(0) = v0 , c(1) = v} .
C est donc un sous-ensemble de O. Nous nous proposons de montrer que
1. C est ouvert.
En eet, choisissons v 2 C et r > 0 suffisamment petit tel que B(v, r) O.
On va montrer que B(v, r) C. Puisque v 2 C, il existe un chemin continu
c : [0, 1] ! O tel que c(0) = v0 , c(1) = v. Pour tout w 2 B(v, r) definissions
cw : [0, 1] ! O par

c(2t)
si t 2 [0, 12 ],
cw (t) :=
(2 2t)v + (2t 1)w si t 2 [ 12 , 1] .

Cest facile de voire que cw est un chemin qui joint dans O le point v0 au
point w, donc w 2 C. Il sagit de la concatenation de deux chemins au
sens de la Remarque 1.4.5.
2. O \ C est ouvert.
En eet, soit w 2 O \ C. Choisissons r > 0 suffisamment petit tel que
B(w, r) O. Nous affirmons que B(w, r) O \ C, cest `a dire B(w, r) \
C = ;. En eet, si par labsurde il existait un point dintersection v 2
B(w, r) \ C, alors on choisit un chemin c qui joint v0 `a v dans O, et puis
(en utilisant la meme formule quavant) un chemin continu c0 qui joint v0
`a w dans O (ce que contredit le choix de w dans O \ C).
Nous avons donc deux possibilites `a discuter :
1. O \ C = ;. Dans ce cas on a C = O, donc tout point v 2 O peut etre joint
`a v0 par un chemin continu, donc O est connexe par arcs.
2. O \ C 6= ;. Dans ce cas on constate que (C, O \ C) serait une separation
de O, ce que contredit notre hypoth`ese sur la connexite de O.

Suites et s
eries de fonctions

Programme : les divers modes de convergence (simple, uniforme, uniforme

sur les compacts). Theor`eme de Dini, proprietes passant `
a la limite (continuite,
derivabilite). Topologie de la convergence uniforme. Convergence absolue, uniforme et normale des series de fonctions. Proprietes de lintegrale par rapport
a la convergence uniforme. Lien avec les probabilites `
`
a densite.

14

2.1

Suites de fonctions. Convergence simple et uniforme

Soit A un ensemble et (Y, d) un espace metrique. Une suite de fonctions

definies sur A `a valuers dans Y est une application qui associe `a tout n 2 N (ou
`a tout n 2 N ) une fonction fn : A ! Y . Notation utilisee : (fn )n2N , (fn )n2N .
Dans les cas concrets consideres dans ce cours Y sera un espace vectoriel
reel ou complexe (dhabitude R ou C) et d le metrique associee `a une norme
(dhabitude la norme standard sur R ou C).
D
efinition 2.1.1 Une suite de fonctions (fn )n2N , fn : A ! Y est dite simplement convergente vers f : A ! Y si lune des deux conditions equivalentes
suivantes est verifiee :
i) Pour tout x 2 A la suite (fn (x))n2N vers f (x) dans lespace metrique
(Y, d).
ii) Pour tout x 2 A et pour tout " > 0 il existe nx," 2 N tel que pour tout
n nx," on a d(fn (x), f (x)) < ".
Donc (fn )n2N est une suite de fonctions simplement convergente si, en fixant
x 2 A, la suite (fn (x))n2N obtenue converge. En associant `a chaque x 2 A la
limite limn!1 fn (x) on obtient la limite simple f = limn!1 fn . On va utiliser
s
la notation fn ! f .
Exemple : Considerons la suite de fonctions (fn (x))n2N , fn : [0, 1] ! R definie
par fn (x) = xn . On a

0 si x 2 [0, 1[ ,
n
lim fn (x) = lim x =
1 si
x=1
n!1
n!1
donc la suite est simplement convergente. Remarquer que la limite simple f de
cette suite de fonction nest pas continue (pourquoi ?), bien que tous les termes
de la suite sont des fonctions continues.
D
efinition 2.1.2 Une suite de fonctions (fn )n2N de fonctions fn : A ! Y est
dite uniformement convergente vers f : A ! Y si lune des deux conditions
equivalentes suivantes est verifiee :
i) Pour tout " > 0 il existe n" 2 N (independant de x !) tel que pour tout
n n" et pour tout x 2 A on a d(fn (x), f (x)) < ".
ii) La suite numerique ( n )n2N `
a termes positifs definie par
n

:= sup{d(fn (x), f (x))| x 2 A}

converge vers 0.
u

On va utiliser la notation fn ! f .
Remarque 2.1.3 La convergence uniforme implique la convergence simple, et
la limite uniforme concide avec la limite simple.

15

Exercice 2.1.1 Considerons la suite de fonctions (fn (x))n2N , fn : [0, 1] ! R

definie par fn (x) = xn . Montrer que
1. (fn (x))n2N est simplement convergente mais pas uniformement convergente sur [0, 1].
2. Pour tout 2 [0, 1[ (fn (x))n2N converge uniformement sur [0, ].
La convergence simple `a ete etablie plus haut et la limite simple f a ete
calculee. Posons
n

:= sup{|fn (x)

f (x)| | x 2 [0, 1]} , sn := sup{|fn (x)

f (x)| | x 2 [0, ]} .

Remarquer que
{|fn (x)

f (x)| | x 2 [0, 1]} = [0, 1[ , {|fn (x)

f (x)| | x 2 [0, ]} = [0, n ] ,

donc n 1, sn = n . Ceci montre que ( n )n2N ne converge pas vers 0, tandis

que (sn )n2N converge bien vers 0 (parce que 0 < 1).
Exercice 2.1.2 Etudier la convergence simple et uniforme de la suite s de foncnx

tions definies sur [0, +1[ par : fn (x) = 1+n

esenter sur un
2 x2 , n 2 N . Repr
meme dessin les graphes de quelques fonctions et de la limite. Sur quels intervalles y a-t-il convergence uniforme ?
Pour tout x 2 [0, +1[ on a limn!1 fn (x) = 0. Justifier cette affirmation.
Remarquer quil faut etudier `a part les cas x = 0, x > 0. Donc la suite (fn )n2N
est simplement convergente vers la fonction f 0.
2 2
x ) (nx)2n2 x
n2 x2 )
On a fn0 (x) = n(1+n(1+n
= n(1
2 x2 )2
(1+n2 x2 )2 , donc le seul point dannulation de fn0 sur [0, +1[ est xn = n1 . On remarque que fn0 (x) 0 pour x 2 [0, xn ]
et fn0 (x) 0 pour x 2 [xn , +1]. Faire le tableau de variation de fn . On conclut
que xn est le point de maximum absolu de fn sur [0, +1[ et la valeur maximale
correspondante est fn (xn ) = 12 . Donc
n

= sup{|fn (x)

f (x)| | x 2 [0, +1[} =

1
,
2

ce qui montre que la convergence de (fn )n vers f nest pas uniforme.

Soit maintenant a 2]0, 1[. Etudions la convergence de (fn )n sur [a, 1[.
Remarquer que limn!1 xn = 0, donc pour n suffisamment grand le point xn
va sortir de lintervalle [a, 1[. On voit donc que fn devient une fonction
decroissante sur [a, +1[ pour n suffisamment grand. Pour un tel n on aura
sup{|fn (x)

f (x)| x 2 [a, +1[} = fn (a) =

na
,
1 + n2 a2

qui converge vers 0 pour n ! 1. On conclut donc que (fn )n converge uniformement vers 0 sur [a, +1[.

16

Proposition 2.1.4 (convergence uniforme et continuite) Soit (X, ), (Y, d) deux

espaces metriques, A X et (fn )n2N une suite de fonctions continues fn : A !
Y qui converge uniformement vers f : A ! Y . Alors la fonction limite f est
continue.
D
emonstration: Nous verifions la continuite en un point a 2 A. Soit " > 0.
Puisque la convergence est uniforme il existe n 3" 2 N tel que d(fn (x), f (x)) < 3"
pour tout n n 3" et pour tout x 2 A. Posons N := n 3" . Puisque fN est continue,
il existe 3" > 0 tel que d(fN (x), fN (a)) < 3" pour tout x 2 A avec (x, a) < 3" .
On obtient
" " "
d(f (x), f (a)) d(f (x), fN (x))+d(fN (x), fN (a))+d(fN (a), f (a)) < + + = "
3 3 3
pour tout x 2 A avec (x, a) < "0 := 3" , ce qui montre que f est continue en a.
En general, si une suite de fonctions continues converge simplement vers
une fonction continue, on ne peut pas conclure que le convergence est uniforme.
Les deux theor`emes de Dini ci-dessous donnent des conditions sous lesquelles la
convergence simple dune suite de fonctions reelles vers une fonction continue
implique sa convergence uniforme.
Th
eor`
eme 2.1.5 (de Dini) Soient (X, ) un espace metrique, A X un sousensemble compact et (fn )n2N une suite de fonctions fn : A ! R simplement
convergente vers une fonction continue f : A ! R.

1. Supposons que fn sont toutes continues et la suite (fn )n2N est monotone,
cest `
a dire pour tout x 2 A la suite (fn (x))n2N est monotone. Alors
(fn )n2N converge uniformement vers f .
2. Supposons X = R muni de la metrique standard, A = [a, b] est un intervalle compact et les fonctions fn sont toutes croissantes sur [a, b]. Alors
(fn )n2N converge uniformement vers f .

Proposition 2.1.6 (convergence uniforme et integrale) Soit (fn )n2N une suite
de fonctions continues fn : [a, b] ! R qui converge uniformement vers f . Alors
Rb
la suite numerique ( a fn (x))n2N est convergente et
lim

n!1

fn (x)dx =

f (x)dx .

Donc, dans les hypoth`eses de la proposition, lintegrale commute avec la

convergence uniforme.
D
emonstration: On a
Z b
Z b
Z b
0
fn (x)dx
f (x)dx =
(fn (x)
a

17

f (x))dx

|fn (x) f (x)|dx

n (b

a) ,

o`
u n := sup{|fn (x) f (x)| | x 2 [a, b]}. Puisque la convergence est uniforme,
on a limn!1 n = 0. Donc
lim

n!1

fn (x)dx

f (x)dx = 0 ) lim

t!1

fn (x)dx =

f (x)dx .

Nous enoncons maintenant un theor`eme important concernant le comportement de la derivation par rapport `a la convergence dune suite de fonctions :
Proposition 2.1.7 (convergence des suites de fonctions et derivation) Soit
I R un intervalle et (fn )n2N une suite de fonctions derivables fn : I ! R.
Supposons que
1. Il existe x0 2 I tel que la suite numerique (fn (x0 ))n2N est convergente.
2. La suite des derivees (fn0 )n2N converge uniformement sur I.
Alors
1. La suite (fn )n2N converge simplement vers une fonction f sur I.
2. La convergence de fn vers f est uniforme sur tout sous-intervalle borne
[a, b] I.
3. La fonction limite f est derivable sur I et f 0 = limn!1 fn0 .

Donc, dans les conditions de la proposition, la derivation commute avec

la limite. Remarquer que lhypoth`ese demande la convergence uniforme de la
suites des derivees (fn0 )n2N , pas de la suite de depart (fn )n2N . Remarquer aussi
que la premi`ere hypoth`ese sera automatiquement verifiee si (fn )n2N converge
simplement.

2.2

S
eries de fonctions. Types de convergence

Soit A un ensemble, (V, k k) un espace norme, et (fn )n2N une suite de

fonctions
fn : A ! V . La serie de fonctions associee `a cete suite est le symbole
P
fn ; la sommeP
partielle dordre n de cette serie est la fonction sn : A ! V
n
definie par sn = k=0 fn .
D
efinition 2.2.1 Une serie de fonctions

fn est dite

1. simplement convergente (SC), si la suite des sommes partielles (sn )n2N

est simplement convergente. Dans
P ce cas, la fonction limite
P1 limn!1 sn
sappelle la somme de la serie
fn , et est designee par n=0 fn .

2. uniformement convergente (UC), si la suite des sommes partielles (sn )n2N

est uniformement convergente.

18

P
Si la serie de fonctions
fn est simplement convergente et s : A ! V
designe sa somme, on introduit le reste dordre n :
rn = s

sn =

1
X

fn

k=n+1

La suite de fonctions (rn )n2N est toujours simplement convergente vers 0.

Remarque 2.2.2 Une serie simplement convergente de fonctions est uniformement convergente si et seulement si la suite de fonctions (rn )n2N est uniformement convergente vers 0.
P
Nous rappelons quune serie vectorielle
vn dans V est dite absolument converP
gente si la serie `a termes positifs
kvn k est convergente. Si (V, k k) est un
espace norme complet (en particulier si V est de dimension finie) alors toute
serie absolument conergente dans V est convergente.
Pour une fonction f : A ! V nous allons designer par |f | : A ! [0, 1[
definie par |f |(x) = kf (x)k.
D
efinition 2.2.3 Une serie de fonctions

fn est dite

1. simplement absolument convergente (SAC) si la serie de fonctions

est simplement convergente,

2. uniformement absolument convergente (UAC) si la serie de fonctions

est uniformement convergente.

|fn |

|fn |

3. normalement convergente (NC), si lune des deux conditions equivalentes

suivantes est verifiee :
P
(a) La serie numerique `
a termes positifs
supx2A kfn (x)k est convergente.
P
(b) Il y existe une serie numerique `
a termes positifs convergente
an
telle que
kfn (x)k an 8n 2 N 8x 2 A .
Remarque 2.2.4 Nous avons les implications :
V cpl
N C ) U AC ) SAC =) SC
V cpl
N C ) U AC =) U C)SC ,

V cpl
o`
u =) signifie implique si on suppose que V est complet. Donc, si V est
complet, alors la convergence normale dune serie de fonctions implique toutes
les autres types de convergence.
En utilisant les propositions concernant la continuite, lintegration et la
derivation des suites de fonctions, on obtient facilement les proposition suivantes
concernant les series de fonctions :
19

Proposition 2.2.5 (series uniform

P ement convergentes et continuite) Soit (X, )
un espace metrique, A X, et
fn une serie uniform
ement convergente de
P1
fonctions continues fn : A ! V . Alors la somme n=0 fn est continue.

P
Proposition 2.2.6 (series uniformement convergentes et integration) Soit fn
une serie uniformement convergente de fonctions continues fn : [a, b] ! R.
PRb
Alors, la serie numeriqueP a fn (x)dx est convergente et, en notant par S la
1
fonction (continue) S := n=0 fn : [a, b] ! R on a
Z

S(x)dx =

1 Z
X

n=0

fn (x)dx .

Proposition 2.2.7
P (series convergentes de fonctions et derivation) Soit I R
un intervalle et
fn une serie de fonctions derivables fn : I ! R. Supposons
que
P
1. Il existe x0 2 I tel que la serie numerique
fn (x0 ) est convergente.
P 0
2. La serie des derivees
fn converge uniformement sur I.
Alors

P
1. La serie de fonctions
fP
erer
n converge simplement, donc on peut consid
1
la fonction somme S := n=0 fn : I ! R.
P
2. La convergence de la serie de fonctions
fn est uniforme sur tout sousintervalle borne [a, b] I.
P1
3. La fonction somme S est derivable sur I et S 0 = n=0 fn0 .

Pour demontrer ces trois propositions on applique Proposition 2.1.4 , Proposition 2.1.6, Proposition 2.1.7 `a la suite des sommes partielles (sn )n2N .

Exercice
P n 2.2.1 Etudier les dierents types de convergence de la serie de fonctions
t sur ] 1, 1[ et [ , ] o`
u 0 < < 1. Preciser la somme de cette serie
sur ] 1, 1[.
Pour t fixe il sagit donc de la serie geometrique de raison t. On obtient
facilement
sn (t) =

n
X

k=0

tk =

1
X
tn+1
1
, s(t) :=
tn =
, 8t 2]
1 t
1 t
n=0

1, 1[ .

La convergence est simple absolue sur ] 1, 1[ mais elle nest pas uniforme, parce
n+1
que le reste dordre n est donne par rn (t) = s(t) sn (t) = t1 t . Donc
sup{rn (t) | t 2 [0, 1[}

lim rn (t) = 1 ,

t%1

donc la suite de fonction (rn )n2N ne converge pas uniformement vers

P 0 nsur [0, 1[.
Finalement, on remarque que |tn ] n pour tout t 2 [ , ] et
est une
serie numerique convergente. Donc il y a convergence normale sur [ , ].
20

Exercice 2.2.2 Soient les series de fonctions dont les termes generaux sont
definis par
8n 2 N, fn (x) = e nx , gn (x) = xe nx ,
1. Etudier les domaines de convergence simple de ces series de fonctions.
2. Calculer les sommes F (x) et G(x) des deux premi`eres series, ainsi que
leurs restes dordre n. Montrer quil ny a pas convergence uniforme. La
fonction G est-elle continue `a droite en 0 ?
3. Montrer que pour les deux series, il y a convergence normale sur [a, +1[,
8a > 0.
1. On a e nx = (e x )n . Donc, pour x 2 R fixe on obtient une serie geometrique
de raison e x . Dans ce cas on peut calculer explicitement les sommes partielles :
sn (x) =

n
X

(e

x k

) =

k=0

Notons que la rasion e

(e
1

x n+1

8
< > 1 si x 2] 1, 0[
= 1 si
x=0
e x
:
< 1 si x 2]0, +1[

P nx
Donc la serie
e
est convergente pour x 2]0, 1[ et divergente pour
P x 2
] 1, 0]. Le domaine de convergence simple de la serie de fonctions
fn est
donc ]0, 1[.
P
Pour la serie de fonctions gn on designe par n la somme partielle dordre
n. On a
1 (e x )n+1
n (x) = x
1 e x
Pour x 6= 0 les suites ( n (x))n et (sn (x))n ont les memes proprietes de convergence, tandis que pour x = 0 la suite ( nP
(x))n est evidemment convergente.
Donc le domaine de convergence simple de
gn est [0, 1[.
2. Puique limn!1 (e

x n

) = 0 pour x > 0 on obtient

F (x) =

1
1 e

, F :]0, +1[! R .

P
Pour la somme de la serie de fonctions
gn on obtient

xF (x) = 1 xe x pour x > 0

G(x) =
0
pour x = 0
Notons que
lim

x&0

x
1 e

= 1 6= G(0) ,

donc la fonction G nest pas continue en 0.

21

P
P
Notons par rn et n le reste dordre n des series fn ,
gn respectivement.
On a
(
x n+1
(e x )n+1
xrn (x) = x (e1 e) x
pour x > 0
rn =
,

(x)
=
n
1 e x
0
pour x = 0 .
On a
lim rn (x) = +1 , lim n (x) = lim

x&0

x&0

x&0

x
1 e

(e

x n+1

=1,

donc sup{|rn (x)| | x 2]0, 1[} = sup{|n (x)| | x 2 [0, 1[} = +1, donc (rn )n ,
(n )n ne converge pas vers 0 uniformement. Les deux series ne converges donc
pas uniformement sur leur domaines de convergence simple. Pour la deuxi`eme
serie on peut arriver `a la meme conlusion par labsurde, en remarquant que les
fonctions g sont continues, mais la somme G nest pas continue (voir la Proposition 2.2.5).
3. On a fn0 (x) =

ne

nx

, donc fn est decroissante sur R et

sup{|fn (x)| | x 2]a, 1[} = fn (a) = (e a )n

P
Pour a > 0 on a e a < 1, donc (e a )n est P
une serie geometrique convergente,
ce que demontre la convergence normale de
fn sur [a, 1[.
Pour la deuxi`eme serie, on a gn0 (x) = xne nx + e nx = e nx (1 nx), donc
gn est croissante sur ] 1, n1 ] est decroissante sur [ n1 , +1[. Pour a > 0 fixe
et n suffisamment grand on a n1 < a, donc pour n suffisamment grand gn sera
decroissante sur [a, 1] et
sup{|gn (x)| | x 2]a, 1[} = gn (a) = a(e a )n
P
Mais la serie numerique `
a termes positifs a(e a )n est evidemment convergente, donc on a convergence normale sur [a, +1[.
n

Exercice 2.2.3 Considerons les fonctions fn : [0, 1] ! R , fn (x) = ( 1)n+1 xn

et la serie de fonctions associee.

1. Pour x0 2 [0, 1] fixe quel type de serie numerique obtient on ?

2. Etudier
la convergence simple, uniforme et normale de la serie de fonctions
sur [0, 1] et sur [0, ] (0 < 1).

3. Etudier
P 0 la convergence simple, uniforme et normale de la serie de fonctions
fn sur [0, 1] et sur [0, ] (0 < 1) et determiner la somme G de cette
serie sur le domaine maximal D de convergence simple.
4. En utilisant le theor`eme sur la derivation des series de fonctions, donner
P
une formule explicite (sur D) pour la somme F de la serie initiale
fn .
5. Montrer que la formule explicite trouvee ci-dessus reste vraie sur [0, 1]. En
deduire une decomposition de ln(2) comme somme dune serie alternee.

22

P ( 1)n+1 xn0
1. Pour x0 2 [0, 1] fixe la serie obtenue secrit
. Il sagit donc
n
dune
seriealternee satisfaisant les hypoth`eses de la r`egle de Leibnitz, `a savoir :
xn
i) n0
est une suite decroissante,

n2N

ii) limn!1

xn
0
n

= 0,

P ( 1)n+1 xn0
2. Dapr`es la r`egle de Leibnitz, la serie numerique
est convern
gente. Donc le domaine de convergence simple de notre serie de fonctions est
[0, 1]. La somme de notre serie est donc une fonction F : [0, 1] ! R.
La demonstration de la r`egle de Leibnitz nous donne une estimation du reste
dordre n de la serie, `a savoir la valeur absolue du reste dordre n est majoree
par la valeur absolue du terme dordre n + 1. Dans notre cas cette estimation
secrit :
xn+1
|rn (x)| = |F (x) sn (x)|
.
n+1
1
Donc sup{|rn (x)| | x 2 [0, 1]} n+1
. Ceci montre que la convergence est uniforme sur [0, 1]. En particulier la fonction somme F est continue sur [0, 1], dapr`es
la Proposition 2.2.5. Pour la convergence normale on obtient

( 1)n+1 xn
1
( 1)n+1 xn
n
sup
x 2 [0, 1] = , sup
x 2 [0, ] =
n
n
n
n
P1
Mais
erie de Riemann divergente, donc il ny a pas convergence
n est une s
P n
n
normale sur [0, 1]. Par contre n n , donc
erie numerique `a
n est une s
termes P
positifs convergente dapr`es le crit`ere de comparaison pour ce type de
series ( n est une serie geometrique convergente pour 0 < 1). Donc il y
a convergence normale sur [0, ].
3. On a fn0 (x) = ( 1)n+1 xn 1 = ( x)n 1 pour tout n 2 N . Il sagit donc
dune serie geometrique
raison ( x). Soit n la somme partielle dordre n de
P de
la serie de fonctions
fn0 . On obtient
n (x)

=1

x + x2

. . . + ( x)n

1 ( x)n
1 ( x)n
=
1 ( x)
1+x

P 0
Donc la serie
fn (x) est convergente pour x 2 [0, 1[ est divergente pour
P x 0= 1.
Le domaine maximal de convergence simple de la serie de fonctions
fn est
donc D = [0, 1[. La somme G : [0, 1[! R de cette serie se calcule facilement :
1
G(x) = x+1
. Pour le reste n dordre n on obtient

xn
1
= ,
x%1 x + 1
2
P 0
donc (n )n ne converge pas uniformement vers 0, donc la serie
fn (x) ne
converge pas uniformement sur [0, 1[. Mais, en utilisant le P
meme argument que
pour la serie initiale, on constate que la convergence de
fn0 (x) est normale
(donc aussi uniforme) sur [0, ] pour 0 < 1.
sup{|n (x)| | x 2 [0, 1[} = sup

xn
| x 2 [0, 1[
x+1

23

lim

4. On ne peut pas appliquer le theor`eme concernant la derivation des series

sur [0, 1[, mais on peut lappliquer sur [0, ] pour 0 < 1. Expliquer pourquoi ? Sur [0, ] on obtient :
F 0 (x) = G(x) =

1
,
x+1

1
donc F est une primitive de la fonction x 7! x+1
. On peut donc ecrire F (x) =
ln(1 + x) + C. Mais F (0) = 0 (pourquoi ?), donc C = 0 et F (x) = ln(1 + x).
Puisque lidentite F (x) = ln(1 + x) est vraie sur [0, ] pour tout 2 [0, 1[, elle
sera aussi vraie sur [2[0,1[ [0, ] = [0, 1[= D.
P 5. Nous avons vu au 2. que la convergence de la serie de fonctions continues
fn sur [0, 1] est uniforme, donc la somme F : [0, 1] ! R est continue. Donc

F (1) = lim F (x) = lim ln(1 + x) = ln(2) ,

x%1

x%1

donc legalite reste vraie `a lextremite droite de D = [0, 1[. En particulier, on

obtient
1
1
X
X
( 1)(n+1)
1 1 1
ln(2) = F (2) =
fn (1) =
=1
+
+ ... .
n
2 3 4
n=1
n=1
Exercice 2.2.4 Calculer la somme

P1

xn
n=1 n

pour x 2 [0, 1[.

Soit x 2 [0, 1[ et considerons les fonctions fn : [0, x] ! R defines par fnP

(t) =
tn (n 2 N). Dapr`es lExercice 2.2.1 nous savons que la serie de fonctions
fn
converge uniformement sur [0, x], et que la somme de cette serie de fonctions est
la fonction F : [0, x] ! R donnee par F (t) = 1 1 t . On va appliquer le theor`eme
concernant lintegration des series uniformement convergentes de fonctions (la
Proposition 2.2.6). On obtient
n+1 x
Z x
t
xn+1
fn (t)dt =
=
.
n+1 0
n+1
0
Donc, dapr`es la Proposition 2.2.6

Z x
Z x
1
1
1 Z x
X
X
X
xn
xn+1
dt
=
=
fn (t) =
F (t)dt =
=
n
n
+
1
1
t
0
0
n=1
n=0
n=0 0

1
.
1 x
Refaire lexercice
le theor`eme sur la derivation des series `a la serie
P en appliquant
n
de fonctions n=1 xn .
= [ ln(1

t)]0 =

ln(1

x) = ln

S
eries enti`
eres et de Fourier

Programme : rayon de convergence (et son calcul), holomorphie. Utilisation

pour la resolution dequations dierentielles. Coefficients de Fourier (pour les
fonctions continues par morceaux). Theor`eme de convergence ponctuelle et uniforme de Dirichlet, theor`eme de Parseval.
24

3.1
3.1.1

S
eries enti`
eres
Rayon de convergence

P
Une serie enti`ere reelle est une serie de fonctions de la forme
an xn , o`
u
an 2 R 8n 2 N. Chaque terme est regarde comme une fonction definie sur R `a
veleurs
dans R. Une serie enti`ere complexe est une serie de fonctions de la forme
P
an z n , o`
u an 2 C ; dans ce cas chaque terme est regarde comme une fonction
definie sur C `a veleurs dans C. Remarquer que les sommes partielles dune serie
enti`ere sont des des fonctions polynomiales.
Letude des series enti`eres reelles se reduit au celui des series enti`eres complexes, donc on va se concentrer sur ces derni`eres.
P 2 2n
Example : Considerons la serie enti`ere
n x . Preciser le coefficients an
de cette serie.
Remarquer que le termes de degre impair napparaissent pas dans la formule,
donc les coefficients qui correspondent aux puissances impaires sont 0. Donc
2
n
si n est pair
2
an =
0
si n est impair.
Lobjet fondamental qui intervient dans letude des proprietes de convergence
P
dune serie enti`ere est son rayon de convergence. A une serie enti`ere
an z n on
associe lensemble
I := 2 [0, 1[ | la suite (|an |n )n2N est bornee [0, 1[ .
Remarquer que I est un intervalle qui contient 0 en tant quextremite gauche.
Pourquoi ? [0, 1[.
D
efinition 3.1.1 Le rayon de convergence dune serie enti`ere
par

an z n est defini

R := sup I = sup 2 [0, 1[ | (|an |n )n2N est bornee 2 [0, 1] .

Dans cette definition on a adopte la convention suivante : on convient decrire
sup A = 1 pour un sous-ensemble A R non-vide qui est non-majore.
Noter que dapr`es la Definition 3.1.1, lintervalle I a lune des formes I =
[0, R[, I = [0, R] (si R < 1), ou bien I = [0, 1[ si R = 1.
P
Th
eor`
eme 3.1.2 (les proprietes du rayon de convergence) Soit
an z n une
serie enti`ere et R son rayon de convergence. Alors :
P
1. Si R = 0 alors la serie enti`ere
an z n est divergence pour tout z 6= 0.

2. Si R = 1, alors la serie enti`ere est simplement absolument convergente

sur C et normalement convergente (donc uniformement absolument convergente) sur tout disque ferme Bf (0, r) C.
P
3. Si 0 < R < 1 alors la serie enti`ere
an z n est
25

(a) normalement convergente (donc uniformement absolument convergente) sur tout disque ferme Bf (0, r) avec 0 r < R.
(b) simplement absolument convergente sur le disque ouvert B(0, R),
(c) divergente pour tout z 2 C avec |z| > R.
D
emonstration: On va demontrer la troisi`eme affirmation, les premi`eres deux
etant proposees comme exercice.
Pour (a) soit r < R. Puisque R := sup I est le plus petit majorant de I,
le nombre r nest pas un majorant de I, donc il existe 2 I tel que r < .
Puisque 2 I, il resulte dapr`es la definition meme de cet ensemble, que la suite
(|an |n )n2N est majoree. Soit M un majorant de cette suite. Pour z 2 Bf (0, r)
on obtient
n
n
r
r
|an z n | = |an ||z|n |an |rn = |an |n
M
.

h in
Mais r < 1, donc M r est bien le terme general dune serie numerique convergente (multiple dune serie geometrique de raison < 1). On a donc convergence
normale sur Bf (0, r). La convergence normale sur Bf (0, r) implique la convergence simple absolue sur Bf (0, r). On a donc convergence simple absolue sur
[
Bf (0, r) = B(0, R) ,
0r<R

ce que demontre (b). Par contre, si |z| > R, remarquer que |z| 62 I, donc la
suite (|an ||z|n )n nest pas bornee, donc la suite (an z n )nPnest pas bornee. En
particulier, cette suite ne peut pas converger vers 0. Donc an z n est divergente,
parce que le terme general dune serie convergente doit tendre vers 0.
P
Remarque 3.1.3 Soit
an z n une serie enti`ere, R son rayon de convergence,
et D C son domanie maximal de convergence simple. Si R = 0 alors D = {0} ;
si R = 1 alors D = C. Par contre, si R 2]0, 1[, alors le Theor`eme 3.1.1
ne donne pas le domanie maximal de convergence D avec precision. On peut
conclure seulement que
B(0, R) D Bf (0, R) .
Le disque ouvert B(0, R) sappelle le disque ouvert de convergence de la serie.
Remarque 3.1.4 Le theor`eme 3.1.1 montre que le rayon de convergence sidentifie au point de separation entre les valeurs absolues des z 2 C pour lesquels la
serie est convergente et les valeurs absolues des z 2 C pour lesquels la serie est
divergente.
Donc

26

P
Corollaire 3.1.5 Soit
an z n une serie enti`ere et soit R 2 [0, 1] tel que
P
1.
an z n est absolument convergente pour tout z 2 C avec |z| < R et
P
2.
an z n est divvergente pour tout z 2 C avec |z| > R.
P
Alors R concide avec le rayon de convergence de la serie enti`ere
an z n .

Le rayon de convergence dune serie enti`ere est donne par le theor`eme de

Hadamard :
Th
eor`
eme 3.1.6 (Hadamard) Soit
de convergence. Alors
R=

an z n une serie enti`ere et R son rayon

1

lim supn!1

p
.
n
|an |

p
n
Dans cette formule
on
sous-entend
R
=
0
si
lim
sup
|an | = 1, et R = 1
n!1
p
n
si lim supn!1 |an | = 0.
p
1 p
En particulier, si la suite ( n |an |)n2N est convergente, on aura R =
.
n
limn!1

Proposition 3.1.7 Si tous le coefficients an sont non-nuls et la suite

an+1
an

|an |

n2N

a
(finie ou infinie), alors le rayon de convergence R de la serie enti`ere
Pune limite
an z n est donne par la formule
R=

limn!1

an+1
an

Dans cette formule on sous-entend R = 0 si limn!1

limn!1 aan+1
n

an+1
an

= 1 et R = 1 si

= 0.

|
D
emonstration: Notons l := limn!1 |a|an+1
. Soit z 2 C fixe. Posons n :=
n|
P
an z n et etudions la convergence absolue de la serie
n avec le crit`ere de
dAlembert. On obtient
8
l est fini,
< l|z| si
|n+1 |
|an+1 |
+1 si l = +1 et z 6= 0
lim
= lim
|z| =
n!1 |n |
n!1 |an |
:
0
si
z=0.
P
Donc, si l 2]0, +1[ la serie
n est absolument convergente si l|z| < 1 (cest `a
dire |z| < 1l ), et divergente si l|z| > 1 (cest `a dire |z| > 1l ). Donc R = 1l dapr`es
le Corollaire 3.1.5. Pour l = 0 on obtient convergence absolue pour tout z 2 C
(donc R = 1), et pour l = +1 on obtient convergence absolue seulement pour
z = 0 (donc R = 0).

27

M
ethodes de calcul du rayon de convergence
1. En utilisant le crit`ere de dAlembert pour la convergence absolue des series
numeriques.
P 2n
Exemple :
nz .
Dans cet exemple la Proposition 3.1.7 nest pas directement appliquable,
parce quune infinite de coefficients an (dans notre cas les coefficients des
termes de degre impair) sont nulsOn etudie la convergence absolue de
la serie numerique obtenue en fixant z 2 C. Pour z fixe posons donc
n := nz 2n . On a
|n+1 |
(n + 1)|z 2n+2 |
n+1 2
=
=
|z| ! |z 2 | pour n ! 1.
|n |
n|z 2n |
n
P
Donc, dapr`es le crit`ere de dAlembert, pour |z|2 < 1 la seP
rie
n est
absolument convergente, tandis que pour |z|2 > 1 la serie
n est divergente. Mais |z|2 < 1 si et seulement si |z| < 1. Donc R = 1 dapr`es le
Corollaire 3.1.5.
2. En utilisant le crit`ere de Cauchy pour la convergence absolue des series
numeriques.
P n 2n+1
Exemple :
2 z
.
On etudie la convergence absolue de la serie numerique obtenue en fixant
z 2 C. Pour z fixe posons donc un := 2n z 2n+1 . On a
p
p
2n+1
1
n
|un | = n 2n |z|2n+1 = 2|z| n = 2|z|2+ n ! 2|z 2 | pour n ! 1.
P
Donc, dapr`es le crit`ere de Cauchy, pour 2|z|2 < 1 la seP
rie un est absolument convergente, tandis que pour 2|z|2 > 1 la serie
un est divergente.
Mais 2|z|2 < 1 si et seulement si |z| < p12 . Donc R = p12 dapr`es le Corollaire 3.1.5.
3. En utilisant la formule de Hadamard.
P 2 2n
Exemple :
n z .
Nous avons discute cette serie enti`ere plus haut et nous avons vu que ces
coefficients an secrivent :
2
n
si n est pair
2
an =
0
si n est impair.

p
Pour calculer lim sup n |an |, notons que la suite (bn )n donnee par bn =
p
n
|an | se decompose comme la reunion de deux sous-suites convergentes,
`a savoir
p
1
2k
ck = b2k =
k2 = k k , dk = b2k+1 0 .

28

Dans cette situation on peut montrer que la limite superieure lim sup bn
concide avec le maximum des limites des deux sous-suites (ck )k , (dk )k .
Mais
lim ck = 1 , lim dk = 0 .
k!1

3.1.2

k!1

p
Donc lim sup n |an | = 1 et R = 1, dapr`es la formule de Hadamard.
Op
erations avec les s
eries enti`
eres

P
P
1. La somme de deux s
eries enti`
eres.
an z n ,
bn z n deux series
P Soient
n
enti`eres. La serie somme est definie par
cn z o`
u cn := an + bn .
Proposition
Soient R1 , R2 les rayons de convergence des series enti`eres
P
P 3.1.8
an z n ,
bn z n et R le rayon de convergence de la serie somme. Alors
1.

= min(R1 , R2 ) si R1 6= R2
R1
si R1 = R2 .

2. Soient FP
: B(0, R1P
) ! C, G : B(0, R2 ) ! C les sommes des deuxPseries
enti`eres
an z n ,
bn z n . Alors la somme H de la serie enti`ere
cn z n
satisfait
H(z) = F (z) + G(z) 8z 2 B(0, min(R1 , R2 )) .
P
P
2. Le produit de deux s
eries enti`
eres. Soient an z n , bn z n deux
P senries
enti`eres. La serie produit (ou produit de convolution) est definie par
cn z o`
u
cn :=

n
X

k=0

ak bn

n
X

an

k=0

k bk

ak bl .

k+l=n

Proposition
Soient R1 , R2 les rayons de convergence des series enti`eres
P
P 3.1.9
an z n ,
bn z n et R le rayon de convergence de la serie produit. Alors
1. R

min(R1 , R2 ).

2. Soient FP
: B(0, R1P
) ! C, G : B(0, R2 ) ! C les sommes des deuxPseries
enti`eres
an z n ,
bn z n . Alors la somme H de la serie produit
cn z n
satisfait
H(z) = F (z)G(z) 8z 2 B(0, min(R1 , R2 )) .

3. La d
eriv
ee dune s
erie enti`
eP
re La derivee dune serie enti`ere
est (par definition) la serie enti`ere (n + 1)an+1 z n .
Proposition 3.1.10 Notons par R le rayon de convergence de
R0 le rayon de convergence de la serie derivee. Alors
1. R0 = R.

29

an z n

an z n et par

P
2. Soit F : B(0, R) ! R la somme de la serie
an z n et G la somme de la
serie derivee. Alors F est C-derivable sur B(0, R) et F 0 (z) = G(z) pour
tout z 2 B(0, R).
Dans cette proposition nous avons utilise la terminologie suivante :
D
efinition 3.1.11 Une fonction f : U ! C definie sur un ouvert U C est
dite C-derivable (ou holomorphe) si pour tout z0 2 U la limite limz!z0 f (z)z fz0(z0 )
existe. Si cest le cas, on designe cette limite par f 0 (z0 ). Une fonction holomorphe sur U est developpable en serie de Taylor complexe au voisinage de tout
point z 2 U .
Exercice 3.1.1* Demontrer la premi`ere partie de la Propisition 3.1.10. Utiliser
1

la formule limn!1 (n+1) n = 1. Enoncer

et demontrer lanalogue de la deuxi`eme
partie de la Propisition 3.1.10 pour les series enti`eres reelles. Dans ce cas on
obtient une fonction somme reelle F :] R, R[! R, et on peut appliquer le
theor`eme concernant la derivation des series de fonctions (la Proposition 2.2.7).
3.1.3

S
eries de Taylor

On obtient une classe importante de series enti`eres reelles en developpant les

fonctions classiques en serie de Taylor en 0. Dans chaque cas il faut faire attention au rayon de convergence R de la serie obtenue. Les fonctions classiques sont
analytiques, donc sur lintervalle de convergence ] R, R[ la somme de la serie
de Taylor concide avec la fonction de depart. Dans le tableau ci-dessous nous
donnons les developpement en series de Taylor de quelques fonctions classiques
et les rayon de convergence R de ces series.
Remarquons que, en remplacant la variable reelle x par la variable complexe
z 2 C, on obtient des extensions holomorphes de ces fonctions, par exemple les
fonctions
exp(z) =

1
1
1
X
X
X
1 n
( 1)n 2n+1
( 1)n 2n
z , sin(z) =
z
, cos(z) =
z
n!
(2n + 1)!
(2n)!
n=0
n=0
n=0

qui sont definies et holomorphes sur z. En utilisant ces developpements on obtient facilement lidentite dEuler sur C :
exp(iz) = cos(z) + i sin(z) .
De la meme mani`ere on obtient les fonctions trigonometriques hyperboliques
cosh : C ! C, sinh : C ! C et les identites
exp(z) = cosh(z) + sinh(z) , cosh(z) = cos(iz) , sinh(z) =

30

i sin(iz) .

developpement en serie de Taylor

P1

1 n
n=0 n! x

ex =

ln(1 + x) =
1
1 x

sin x =

P1

n=1

P1

( 1)n+1 n
x
n

n=0

xn

arctan x =

P1

( 1)n 2n
n=0 (2n)! x

cosh x =

P1

( 1)n 2n+1
n=0 2n+1 x

P1

1
1

( 1)n 2n+1
n=0 (2n+1)! x

cos x =

sinh x =

P1

1
2n+1
n=0 (2n+1)! x

P1

1
2n
n=0 (2n)! x

2) 3
(1 + x) = 1 + x + (2! 1) x2 + ( 1)(
x + ...
3!
n 1
P
k=0 ( k) n
=1+ n 1
x
( 2 R)
n!

Le developpement de la fonction arctan peut etre obtenu en developpant dabord

1
=1
1 + t2

t2 + t4

... =

1
X

( 1)n t2n

n=0

(serie geometrique de raison ( t2 ) et an integrant terme `a terme entre 0 et x

(pour x 2] 1, 1[). Pourquoi peut-on integrer terme `a terme ?
Le developpement de (1 + x) (valable pour 2 R arbitraire) est tr`es important. Il generalise le developpement binomial de Newton, parce que pour
2 N la serie enti`ere obtenue a un nombre fini de termes (devient un po(n 1))
lyn
ome de degre ) et les coefficients ( 1)( 2)...(
sidentifient au
n!
n
coefficients binomiaux C . En utilisant ce developpement on obtient beaucoup
1
de developpements interessants, par exemple celui de p11 t2 = (1+( t2 )) 2 qui
est la derivee de arcsin(t). En integrant lidentite obtenue entre 0 et x 2] 1, 1[
on obtient le developpement de la fonction arcsin :
arcsin(x) =

1
X

(2n)!
x2n+1 ,
n (n!)2 (2n + 1)
4
n=0

le rayon de convergence de la serie enti`ere obtenue etant 1. Faire explicitement

ce calcul.
Vous trouverez dautres developpements interessants en serie de Taylor dans
les ouvrages standard danalyse mathematique pour la licence, mais aussi sur
31

beaucoup de sites internet dedies `a ce chapitre de lanalyse, par exemple le site :

http://en.wikipedia.org/wiki/Taylor_expansion
3.1.4

Applications

Les series enti`eres peuvent etre utilisees pour resoudre certaines equations
dierentielles.
Exercice 3.1.2 On consid`ere lequation dierentielle
x2 y 00

2xy 0 + (x2 + 2)y = 0

pour une fonction y :] ", "[! R de classe C 2 . On recherche des solutions de la

+1
X
forme y(x) =
an xn qui soient sommes dune serie enti`ere convergente.
n=0

1. Quelles relations les coefficients an doivent-ils verifier ? Montrer a0 = 0.

2. Determiner la valeur de an pour n
3. Calculer an , pour tout n

4 paire en fonction de a2 .

3 impaire, en fonction de a1 .
P
an xn .

4. Calculer le rayon de convergence R de la serie enti`ere

5. Sur quels intervalles de R a-t-on convergence normale ?

P
6. Calculer la somme de la serie
an xn .
n=0

7. Verifier directement que la fonction y ainsi obtenue est bien solution de

lequation dierentielle.
1.
y 00 (x) =

1
X

1)an xn

n(n

, x2 y 00 (x) =

n=2

y 0 (x) =

1
X

n=2
1
X

n an xn

2xy 0 (x) =

n=1
1
X

1
X

an xn+2 =

n=0

Lequation devient
1
X

(n(n

1)an

n an xn =

1
X

1)an xn

1
X

n an xn

n=0

an

n
2x

2nan + 2an )xn +

1
X

an

n
2x

=0

n=2

(n 1)(n 2)an xn +

n(n

n=2

n=0

n=0

1
X

n=0

n=1

x2 y(x) =

1
X

1)an xn =

n(n

1
X

an

n=2

(n

1)(n

n
2 x = 0 , 2a0 +

1
X

[(n 1)(n 2)an +an

n=2

a0
2)an + an
32

= 0
= 0 8n

n
2 ]x

=0

La deuxi`eme relation devient 0 = 0 pour n = 2. On obtient le relation de

recurrence :
1
an =
an 2 8n 3
(n 1)(n 2)
2. Pour n = 2k paire on obtient
an =

1
1)(n

(n

( 1)k

2)

an

= ( 1)2

(n

(n

1)(n

2)(n

3)(n

1
1)(n

(n

( 1)k

2)

an

= ( 1)2

(n

1
2)(n

1)(n

(n

1)(n

2)(n

3)(n

4) . . . 2 1

4)
(n

4)

a1 = ( 1)k

k=1

an

(n

1)!

an

1)!

(2k

3)(n

4. Notre serie devient

X
X
X
1 2k+1
an xn = a1
( 1)k
x
+ a2
( 1)k
(2k)!
k=0

3)(n

a2 = ( 1)k

4) . . . 3 2

3. Pour n = 2k + 1 impaire on obtient

an =

1
2)(n

1)(n

1)!

= ...
a2

= ...

a1 .

x2k ,

donc elle secrit naturelelment comme la somme de deux series enti`eres. Avec
le crit`ere de dAlembert on constate que les rayons de convergences des deux
series est 1, donc dapr`es la Proposition 3.1.8 on obtient R = 1.
5. On a convergence normale sur tout intervalle [ r, r] R (voir le Theor`eme
3.1.2).
6. En utilisant les developpements en serie de Taylor des fonctions cos et sin on
obtient
X
X
1 2k+1
1 2k
( 1)k
x
=x
( 1)k
x = x cos x
(2k)!
(2k)!
k=0

( 1)k

k=1

k=0

(2k

1)!

x2k = x

Donc la somme de notre serie est

( 1)k

k=1

(2k

1)!

x2k

= x sin x

y(x) = a1 x cos x + a2 x sin x

o`
u a1 , a2 sont des param`etres reels. Donc lesemble des solutions forme un
sous-espace vectoriel de dimension 2 de lespace vectoriel C 1 (R, R). Les deux
solutions particuli`eres y1 (x) = x cos x, y2 (x) = x sin x forment une base de ce
sous-espace.
7. Puisque lequation est lineaire par rapport `a la fonction inconnue y() il suffit
de verifier que les fonctions y1 , y2 satisfont lequation dierentielle.
33

3.2
3.2.1

S
eries de Fourier
Espaces prehilbertiens. Polyn
omes trigonom
etriques

Soit V un espace vectoriel reel. Un produit scalaire sur V est une application
V V 3 (u, v) 7! hu, vi 2 R qui saisfait aux axiomes
1. h, i est bilineaire, cest `a dire lineaire par rapport `a chaque argument.
2. h, i est symetrique, cest `a dire hu, vi = hv, ui 8(u, v) 2 V V .
3. h, i est definie positive, cest `a dire hu, ui 0 et hu, ui = 0 , u = 0.
Dune mani`ere similaire on introduit la notion de produit scalaire hermitien
sur un espace vectoriel complexe V . On demande que
1. h, i est sesquilineaire, cest `a dire lineaire par rapport au deuxi`eme argument et antilineaire par rapport au premier :
hu, av+bwi = ahu, vi+bhu, wi , hav+bw, ui = a
hv, ui+bhw, ui8u, v, w 2 V.
2. h, i est hermitienne, cest `a dire
hv, ui = hu, vi 8u, v 2 V
3. h, i est definie positive, cest `a dire hu, ui 0 et hu, ui = 0 , u = 0.
Un produit scalaire (respectivement produit scalaire hermitien) sur un espace
vectoriel reel (complexe) V definit une norme sur V par la formule
p
kvk := hv, vi

Un espace vectoriel reel (complexe) muni dun produit scalaire (respectivement produit scalaire hermitien) sapelle espace prehilbertien reel (complexe).
Sil est complet par rapport `a la norme associee au produit scalaire, il sapelle
espace hilbertien reel (complexe). Un espace euclidien (respectivement hermitien) est un espace reel (complexe) de dimension finie muni dun produit scalaire (respectivement produit scalaire hermitien), donc un espace hilbertien reel
(complexe) de dimension finie.
Exemples :
Pn
1. Le produit scalaire standard sur Rn est defini par hu, vi := i=1 ui vi . La
norme associee `a ce produit scalaire est precisement la norme euclidienne N2 .
(Rn , h, i) est lespace euclidien standard.
Le produit scalaire hermitien stanPn
dard sur Cn est defini par hu, vi := i=1 u
i vi .
2. Nous rappelons quune fonction f definie sur R est dite periodique de periode
T (ou T -periodique) si f (x + T ) = f (x) pour tout x 2 R. Considerons les es0
0
paces C2
(R, R), C2
(R, C) des fonctions continues definies sur R `a valeurs reelles
(respectivement complexes) et 2-periodiques. Nous munissons ces espaces des
produit scalaires
Z 2
Z 2
1
1
hf, giL2 :=
f (x)g(x)dx , hf, giL2 :=
f(x)g(x)dx ,
2 0
2 0
34

respectivement. Montrer quil sagit bien dun produit scalaire (respectivement

dun produit scalaire hermitien). Les espaces prehilbertiens ainsi obtenus ne
sont pas complets, donc il ne sagit pas despaces hilbertiens (voir le paragraphe
Completude et compacite dans le chapitre 1.3).
Soit (V, h, i) un espace prehilbertien reel ou complexe. Un syst`eme de vecteurs (fi )i2I sappelle orthogonal si hfi , fj i = 0 pour i 6= j ; il sappelle orthonormal (ou orthonorme) si, de plus, kfi k = 1 pour tout i 2 I, donc si hfi , fj i = ij
o`
u ij designe le symb
ole de Kronecker :

0 si i 6= j
ij :=
1 si i = j .
Un syst`eme orthogonal de vecteurs non-nuls est toujours lineairement independant
(pourquoi ?).
Supposons maintenant que (V, h, i) est un espace euclidien ou hermitien et
soit (f1 , . . . , fn ) une base orthonormale de V . Un vecteur v 2 V se decompose
par rapport `a cette base
n
X
v=
vi fi .
i=1

et le coefficients (reels ou complexes) vi sappellent les coordonees de v par

rapport `a la base (f1 , . . . , fn ). Dans le cas complexe on obtient
hfj , vi = vj hfj , fj i = vj
kvk2 = hv, vi =

X
i,j

vi vj hfi , fj i =

i vj
ij v

i,j

n
X
i=1

|vi |2 =

n
X
i=1

|hfi , vi|2 .

Les memes formules sont valides dans le cas reel ; dans ce cas on peut evidemment
ecrire vi2 au lieu de |vi |2 . Donc
Remarque 3.2.1 Les coordonnees vi dun vecteur v 2 V par rapport `
a une
base orthonormale (f1 , . . . , fn ) sont donnees par
vi = hfi , vi .
La norme au carre de v est donnee par
kvk2 =
Dans lespace

0
C2
(R, C)

n (x)

n
X
i=1

|vi |2 =

n
X
i=1

|hfi , vi|2 .

considerons la suite des vecteurs (

n )n2Z

definie par

= einx = cos(nx) + i sin(nx) 8n 2 Z 8x 2 R ,

0
et dans lespace C2
(R, R) considerons les suites de vecteurs ( n )n2N , ( n )n2N
definies par
p
p
2 cos(nx) , n (x) = 2 sin(nx) , 8n 2 N , x 2 R
0 (x) 1 ,
n (x) =

35

Remarquer que
0 (x)

0 (x)

n (x)

1
p (
2

n (x)

n (x))

, 8n 2 N 8x 2 R .

(1)

Exercice 3.2.1 En utilisant lintegration par parties, demontrer que

h

m,

ni

mn

8m, n 2 N , h
m,

ni

m,

ni

mn

8m, n 2 N ,

= 0 8m 2 N 8n 2 N .

Utiliser les formules (1) pour en deduire

h

m,

ni

mn

, 8m, n 2 N .

Donc
Proposition 3.2.2 Le syst`eme (( n )n2N , ( n )n2N ) est un syst`eme orthonor0
mal de lespace prehilbertien reel C2
(R, R). Le deux syst`emes
(

n )n2Z

, ((

n )n2N , ( n )n2N )

0
sont des syst`emes orthonormaux dans lespace prehilbertien complexe C2
(R, C).

D
efinition 3.2.3 Soit N 2 N. Un polynome trigonometrique (complexe) de
0
degre inferieur ou egal a
` N est une fonction f 2 C2
(R, C) de le forme
f (x) =

N
X

cn einx =

n= N

N
X

cn

n (x)

n= N

o`
u cn 2 C.
Dune mani`ere equivalente, un polynome trigonometrique complexe de degre
0
inferieur ou egal `
a N est une fonction f 2 C2
(R, C) de le forme
"N
#
N
N
X
X
1 X
f (x) =
an cos(nx)+
bn sin(nx) = a0 0 (x)+ p
an n (x) + bn n (x) ,
2 n=1
n=0
n=1
0
o`
u an , bn 2 C. Nous designons par FCN C2
(R, C) le sous-espace vectoriel des
polyn
omes trigonometriques complexe de degre inferieur ou egal `
a N.

Remarquer que (FCN , h, iL2 ) est un espace hilbertien de dimension 2N + 1.

Les deux syst`emes
(

n ) N nN

, ((

n )0nN , ( n )1nN )

sont des bases orthonormales de FCN .

Exercice 3.2.2 Ecrire

les deux matrices de passage (de la premi`ere base vers
la deuxi`eme et vice-versa) pour N = 2.
36

En utilisant la Remarque 3.2.1 on peut calculer facilement les coefficients cn ,

an , bn qui interveiennent dans la decomposition dun polyn
ome trigonometrique
complexe.
Proposition 3.2.4 Soit f : R ! C un polyn
ome trigonometrique complexe de
degre inferieur ou egal `
a N . Alors
1. f se decompose comme
f (x) =

N
X

cn einx ,

(2)

n= N

o`
u
cn = h
1
=
2

1
=
2

n , f iL2

inx

f (x)dx =

(cos(nx)

i sin(nx))f (x)dx ( N n N ) .

(3)

2. f se decompose aussi comme

f (x) = a0 +

N
X

(an cos(nx) + bn sin(nx)) ,

(4)

n=1

o`
u
a0 = h
an =
bn =

p
2h
p
2h

0 , f iL2 =

n, f i =

n, f i =

1
2

f (x)dx ,

cos(nx)f (x)dx (1 n N ),

sin(nx)f (x)dx (1 n N ).

(5)

3. On a
1
2

|f (x)|2 dx = kf k2L2 = |a0 |2 +

N
N
X
1X
(|an |2 + |bn |2 ) =
|cn |2 .
2 n=1
n= N

(6)

4. f est une fonction `

a valeurs reelles si et seulement si les coefficients an
(0 n N ), bn (1 n N ) sont tous reels.
Les nombres cn sappellent les coefficients de Fourier du polyn
ome trigonometrique f (ecrit sous forme exponentielle), et an (n 0), bn (n 1) sappellent les coefficients de Fourier du polyn
ome trigonometrique f (ecrit sous
forme trigonometrique).

37

Remarquons que les formules (3) , (5) qui donnent les coefficients de Fourier
dun polyn
ome trigonometrique ont un sens pour une fonction continue complexe 2-periodique arbitraire, mais dans ce cas on obtient des suites infinies de
coefficients de Fourier. On peut meme donner un sens `a ces formules pour une
fonction 2-periodique qui est seulement continue par morceaux.
D
efinition 3.2.5 Une fonction f : R ! C est dite continue par morceaux
sil existe un syst`eme strictement croissant (uk )k2Z de nombre reels, tels que
[k2Z [ui , ui+1 ] = R et, pour chaque i 2 Z, la restriction de f `
a lintervalle
ouvert ]ui , ui+1 [ admet une extension fi `
a lintervalle ferme [ui , ui+1 ] qui est
continue.
La restriction dune fonction continue par morceaux `a tout sous-intervalle
compact admet un nombre fini de points de discontinuite (pourquoi ?). Ceci
montre quune fonction continue par morceaux peut etre integree sur tout sousintervalle compact (en particulier sur [0, 2]). Notons aussi que, en mulipliant
une fonction continue par morceaux f par une fonction continue (ou meme par
une fonction continue par morceaux), on obtient encore une fonction continue
par morceaux. Donc on peut definir :
D
efinition 3.2.6
1. Les coefficients de Fourier dune fonction complexe f
continue par morceaux et 2-periodique sont definis par
Z 2
1
cn = h n , f iL2 =
e inx f (x)dx =
2 0
=

1
2

i sin(nx))f (x)dx (n 2 Z) ,

(cos(nx)

a0 = h
p
an = 2h
p
bn = 2h

0 , f iL2

1
n, f i =

1
n, f i =

1
2

f (x)dx ,

cos(nx)f (x)dx (n 2 N ),
sin(nx)f (x)dx (n 2 N ).

(7)

La serie de Fourier de f (sous forme exponentielle) est la serie de fonctions

X
cn einx .
n2Z

La serie de Fourier de f (sous forme trigonometrique) est la serie de

fonctions
X
a0 +
(an cos(nx) + bn sin(nx)) .
n 1

38

Dans le chapitre suivant (chapitre 3.2.2) nous allons repondre aux questions
naturelles suivantes :
1. Est-ce que les decompositions donnees par les formules (2), (4) se generalisent pour les fonctions continues par morceaux 2-periodiques ? Autrement dit, est-que toute fonction f (reelle ou complexe) continue par
morceaux et 2-periodique est la somme de sa serie de Fourier ? Si oui,
est-ce que la convergence de cette serie est uniforme ? Si non, quelle est la
relation entre f et la somme de sa serie de Fourier (si cette somme existe) ?
2. Est-ce que la formule (6) qui donnent la norme L2 au carre dun polyn
ome
trigonometrique se generalisent pour les fonctions continues par morceaux
et 2-periodiques ?
Propri
et
es des coefficients de Fourier.
Proposition 3.2.7 Soit f une fonction complexe continue par morceaux et
2-periodique, et soient (cn )n2Z , (an )n2N , (bn )n2N ses coefficients de Fourier.
Alors
1. Pour tout t 2 R one peut calculer les coefficients de Fourier avec les
formules :
Z t+2
1
cn =
e inx f (x)dx ,
2 t
Z t+2
Z
1
1 t+2
a0 =
f (x)dx , an =
cos(nx)f (x)dx (n 2 N ),
2 t
t
Z
1 t+2
bn =
sin(nx)f (x)dx (n 2 N ).
t
2. Si f est paire alors

1
bn = 0 8n 2 N , a0 =

2
f (x)dx , an =

cos(nx)f (x)dx (n 2 N )

3. Si f est impaire alors

an = 0 8n 2 N , bn =

sin(nx)f (x)dx (n 2 N ) .

D
emonstration: Pour la premi`ere affirmation remarquer, que pour toute fonction F : R ! C continue par morceaux et T -periodique (o`
u T > 0) on a
RT
R t+T
F (x)dx = t
F (x)dx. Pour montrer cette propriete on ecrit
0
Z t+T
Z 0
Z T
Z t+T
F (x)dx =
F (x)dx +
F (x)dx +
F (x)dx .
t

Mais, en utilisant le chagement de variable x = y T et la T -periodicite de

F on obtient :
Z 0
Z t
Z t+T
Z t+T
F (x)dx =
F (x)dx =
F (y T )dy =
F (x)dx .
t

39

Les derni`eres affirmations resultent facilement de la premi`ere en prenant t = .

Avec ce choix, les coefficients de Fourier seront donnes par des integrales sur
lintervalle [ , ], qui est symetrique par rapport `a lorigine. Il suffit dutiliser
les proprietes des integrales des fonctions paires et impaires.

3.2.2

Les th
eor`
emes de Dirichlet et de Parseval

Soit f : R ! R une fonction continue par morceaux. Pour tout a 2 R on

pose
f (x + 0) := lim f (x + u) = lim f (y) , f (x
u&0

y&x

0) := lim f (x
u&0

u) = lim f (y) .
y%x

Notons que f est continue en x si et seulement si f (x + 0) = f (x 0) = f (x).

En general, si x est un point de discontinuite, ces trois nombres peuvent etre
dierents (donner un exemple !).
Th
eor`
eme 3.2.8 (Dirichlet) Soit f : R ! C une fonction continue par morceaux et 2-periodique et soit x0 2 R. Supposons quil existe " > 0 tel que la
fonction
u 7! !x0 (u) :=

1
(f (x0 + u) + f (x0
u

u)

f (x0 + 0)

f (x0

0))

P
soit bornee sur ]0, "[ 1 . Alors la serie a0 + n 1 (an cos(nx0 ) + bn sin(nx0 )) est
convergente, et sa somme est 12 (f (x0 0) + f (x0 + 0)).
Corollaire 3.2.9 Si f satisfait lhypoth`ese du theor`eme deP
Dirichlet-Dini en x0
et elle est continue en x0 , alors la somme de la serie a0 + n 1 (an cos(nx0 ) +
bn sin(nx0 )) est f (x0 ).
Lhypoth`ese du theor`eme de Dirichlet est automatiquement satisfaite en tout
point pour une classe tr`es large de fonctions, `a savoir pour les fonctions derivables
par morceaux :
D
efinition 3.2.10 Une fonction f : R ! C est dite derivable par morceaux
(respectivement de classe C 1 par morceaux) sil existe un syst`eme strictement
croissant (uk )k2Z de nombre reels, tels que [k2Z [ui , ui+1 ] = R et, pour chaque
i 2 Z, la restriction de f `
a lintervalle ouvert ]ui , ui+1 [ admet une extension fi
a lintervalle ferme [ui , ui+1 ] qui est derivable (respectivement de classe C 1 )
`
Pour une fonction derivable par morceaux f on definit les pseudo-derivees `a
gauche et `a droite de f en un point x 2 R par
fg0 (x) = lim

u%0

f (x + u)

f (x
u

0)

, fd0 (x) = lim

u&0

f (x + u)

f (x + 0)
u

egrale impropre
R " 1.1 En eet il suffit de demander quil existe " > 0 tel que lint
u) f (x0 + 0) f (x0 0)) soit convergente (condition de Dini).
0 u (f (x0 + u) + f (x0
Notre condition est plus restrictive, mais plus facile `
a v
erifier.

40

Ces derivees existent en tout point x 2 R (pourquoi ?). Si f est derivable en x,

elle y sera aussi continue et on aura les egalites fg0 (x) = fd0 (x) = f 0 (x).
Corollaire 3.2.11 Soit f : R ! C une fonction derivable par morceaux et 2periodique. Alors f satisfait lhypoth`esePdu theor`eme de Dirichlet en tout point
x0 2 R, donc la serie de Fourier a0 + n 1 (an cos(nx) + bn sin(nx)) de f est
simplement convergente sur R, et sa somme s est donnee par
s(x) =

1
(f (x
2

0) + f (x + 0)) .

Cette somme concide avec f sur lensemble des points de continuite de f .

D
emonstration: Il suffit de remarquer que pour x 2 R et u > 0 on a
!x (u) :=
=

1
(f (x + u) + f (x
u

f (x + u)

f (x + 0)
u

u)

f (x + 0)

f (x0

f (x + ( u)) f (x
( u)

0)) =
0)

La limite de la premi`ere fraction pour u ! 0 est fd0 (x), et la limite de la deuxi`eme

fraction pour u ! 0 est fg0 (x). Donc la fonction !x :]0, +1[! C a une limite
(finie !) en 0. Ceci implique bien evidement quelle est bornee sur un intervalle
]0, "[ pour " > 0 suffisamment petit.
Rappeler la definition de la limite dune fonction definie sur un intervalle
ouvert I R en une extremite de I, et verifier limplication utilisee dans la
demonstration du Corollaire 3.2.11.
En ce qui concerne la convergence uniforme dune serie de Fourier nous
mentionnons le resultat suivant :
Proposition 3.2.12 Soit f : R ! C une fonction de classe C 1 par morceaux
et 2-periodique. La convergence de sa serie de Fourier est uniforme sur tout
intervalle ferme I R sur lequel f est continue. En particulier, pour une fonction f continue, de classe C 1 par morceaux et 2-periodique, la serie de Fourier
de f converge uniformement sur R et sa somme concide avec f .
Le theor`eme de Parceval ci-dessous montre que la formule qui donne la norme L2
au carre dun polyn
ome trigonometrique (voir la Proposition 3.2.4) se generalise
pour les fonctions continues par morceaux 2-periodiques :
Th
eor`
eme 3.2.13 (Parseval) Supposons que f : R ! C est continue par morceaux et 2-periodique, et soient (cn )n2Z , (an )n2N , (bn )n2N ses coefficients de
Fourier. Alors
Z 2
1
1
X
1
1X
|f (x)|2 dx = kf k2L2 = |a0 |2 +
(|an |2 + |bn |2 ) =
|cn |2 .
2 0
2 n=1
n= 1
41

3.2.3

Exemples

Exercice 3.2.3 Soit f une fonction 2-periodique et impaire telle que f (x) = 1
pour tout x 2]0, [.
1. Tracer le graphe de f et ecrire la formule qui definit f (x) pour tout x 2 R.
2. Calculer la serie de Fourier de f et sa somme.
3. Quelles egalite obtient-on pour x 2]0, [ ?

4. Quelle egalite obtient-on en appliquant le theor`eme de Parseval ?

P1
5. Calculer la somme de Riemann S2 = n=1 n12 .

1. Puisque f est impaire, il faut que f (0) = 0. De plus, on a f ( ) = f ()

parce que f est impaire, et f ( ) = f () parce que f est 2-periodique. Donc
f () = 0. Par 2-periodicite on obtient maintenant facilement f (k) = 0 pour
tout k 2 Z (voir le graphe).
La formule de f sur R est
8
S
1 si x 2 k2Z ]2k, (2k + 1)[
>
>
>
>
<
S
1 si x 2 k2Z ](2k + 1), 2k[
f (x) =
>
>
>
>
:
0 si x 2 Z := {k| k 2 Z}.
2. Puisque f est impaire on obtient
an = 0 8n 2 N (voir la Proposition
3.2.7). Pour les coefficients bn (n 2
N ) on obtient
Z
Z
2
2
bn =
f (x) sin(nx)dx =
sin(nx)dx =
0
0

2
2(( 1)n 1)
=
cos(nx)|0 =
=
n
n
4
si n 2 2N + 1 (n impair)
n
=
0 si n 2 2N (n pair non-nul)
En ecivant les n impair sous la forme n = 2p + 1 on conclue que la serie de
Fourier de f est
X
4
sin((2p + 1)x) .
(2p + 1)
p 0

Notre fonction est evidemment derivable par morceaux, donc on peut appliquer le Corollaire 3.2.11 au theor`eme de Dirichlet. Bien que f nest pas continue,
pour tout x 2 R on a
f (x) =

1
(f (x
2

0) + f (x + 0)) ,

42

donc la somme de la serie de Fourier de f concide avec f dapr`es le Corollaire

3.2.11.
3. Pour x 2]0, [ on obtient
1
X

P1

4
p=0 (2p+1)

sin((2p + 1)x) = f (x) = 1, donc

sin((2p + 1)x) = .
2p
+
1
4
p=0

4. Nous avons

1
2

|f (x)|2 dx =

1
2

dx = 1 ,

donc le theor`eme de Parseval donne :

1
1X
4
1=
2 p=0 (2p + 1)

cest `a dire

1
X

1
2
=
2
(2p + 1)
8
p=0

5. On peut utilise cette formule pour calculer S2 :=

S2 =

1
X

P1

1
n=1 n2 .

En eet, on a

1
1
1
X
X
1
1
1 X 1
1
1
2
+
=
+
= S2 +
,
2
2
2
2
(2m)
(2m + 1)
4 m=1 m
(2p + 1)
4
8
m=1
m=0
p=0

donc S2 =

2 4
8 3

2
6 .

Exercice 3.2.4 Considerons la fonction 2-periodique f : R ! R dont la restriction sur [ , ] est donnee par f (x) = |x|.
1. Tracer le graphe de f et ecrire la formule qui definit f (x) pour tout x 2 R.
2. Calculer la serie de Fourier de f et sa somme.

3. Quelles egalites obtient-on pour x = 0 et x = ?

4. Quelle egalite obtient-on en appliquant le theor`eme de Parseval ?
P1
5. Calculer la somme de Riemann S4 = n=1 n14 .

1. Sur un intervalle de la forme [2k, (2k + 1)] on a f (x) = f (x 2k) =

x 2k (parce que (x 2k 2 [0, ], tandis que sur un intervalle de la forme
[(2k 1), 2k] on a f (x) = f (x 2k) = 2k x parce que x 2k 2 [ , 0].
Donc
8
< x 2k si x 2 [2k, (2k + 1)]
f (x) =
:
2k x si x 2 [(2k 1), 2k].
43

2. La fonction f est donc

continue sur R. Remarquons
aussi que f est une fonction
paire, donc les coefficients
de Fourier bn sont tous nuls
dapr`es la Propsition 3.2.7.
Pour les coefficients
R an , nous
obtenons a0 = 1 0 f (x)dx =
R
1
1 1 2

0 xdx = 2 x |0 = 2 .
Pour les coefficients an
(n 2 N ) on utilise lintegartion
par parties :
Z
2
an =
x cos(nx)dx =
0
Z
2 1
=
x sin0 (nx) =
0 n

2
=
x sin(nx)|0
n
=

2
2
cos(nx)|0 =
(( 1)n
2
n
n2

-!

1) =

sin(nx)
8
< n4 2
:

si n 2 2N + 1
si

Donc la serie de Fourier de f secrit :

4X
1
cos((2p + 1)x) .
2

(2p + 1)2

n 2 2N .

p 0

Puisque f est continue et derivable par morceaux, on deduit dapr`es le Corollaire 3.2.7 que sa serie de Fourier est simplement convergente et la somme de
cette serie concide avec f .
3. Pour x = 0 on obtient
0 = f (0) =

4X
1
,

(2p + 1)2
p 0

ce qui nous donne lidentite (dej`

a connue !)
X
p 0

1
2
=
.
2
(2p + 1)
8

Pour x = on obtient facilement la meme identite.

4. Le theor`eme de Parseval donne :
2
Z
1
2 1 X
1
4
|f (x)|2 dx =
+
2
2
2 p=0 (2p + 1)2
44

Le membre gauche vaut

1
2

x2 dx =

3
3

2
3 .

Donc

1
1
X
2
2
8 X
1
1
4
=
+ 2
,
=
.
4
4
3
4
p=0 (2p + 1)
(2p + 1)
96
p=0

5. Pour calculer la somme de Riemann S4 on ecrit :

S4 =
15
16 S4

Donc

4
96 ,

1
X

1
X
1
1
1
4
+
=
S4 +
.
4
4
(2m)
(2m + 1)
16
96
m=1
m=0

cest `a dire S4 =

4
90 .

Exercice 3.2.5 Soit f : R ! R la fonction 2-periodique telle que f (x) = x

pour tout x 2 [ , [.
1. Tracer le graphe de f et ecrire la formule qui definit f (x) pour tout x 2 R.

2. Calculer la serie de Fourier de f et sa somme. Sur quels intervalles y a-t-il

convergence uniforme ?
3. Quelle identite obtient-on pour x 2]

, [ ?

4. Quelle egalite obtient-on en appliquant le theor`eme de Parseval ?

1. On decompose R en reunion dintervalles disjoint deux `a deux
[
R=
[2k , 2k + [ .
k2Z

2. Pour x 2 [2k , 2k + [
on a x
2k 2 [ , [, donc
en appliquant la propriete de 2periodicite et la formule connue
de f [[ ,[ on obtient :
f (x) = f (x
=x

2k) =

2k sur [2k

, 2k + [ .

Lensemble des points de discontinuite de f est { + 2k| k 2 Z}.

2. Les coefficients an sont tous
nuls, et les coefficients bn sobtiennent facilement en integrant
par parties. La serie de Fourier de
cette fonction secrit :
2

X ( 1)n
n

-!

sin(nx) .

n 1

45

2!

Puisque f est derivable par morceaux, cette serie est simplement convergente
sur R et sa somme s : R ! R est donnee par

f (x)
si x 2
6 (2Z + 1) ,
s(x) =
1
(f
(x
0)
+
f
(x
+
0))
=
0
si
x
2 (2Z + 1) .
2
Puisque f est de classe C 1 par morceaux, on deduit en appliquant la Proposition
3.2.12 que la convergence est uniforme sur tout intervalle ferme qui ne contient
aucun point de discontinuite.

46