17

Sries de fonctions
17.1 Un thorme de permutation des signes

et
_
17.1.1 Cas des fonctions continues
Le rsultat suivant nous sera utile.
Lemme 17.1 Si (F
n
)
nN
est une suite dcroissante de compacts non vides dans R, alors lin-
tersection F =

nN
F
n
est un compact non vide.
Dmonstration. F est ferm comme intersection de ferms de R. Comme la suite (F
n
)
nN
est dcroissante, on a F F
0
et F est born comme F
0
. Lensemble F est donc compact.
Comme tous les F
n
sont non vides, il existe une suite relle (x
n
)
nN
telle que x
n
F
n
F
0
pour tout n et de cette suite dans le compact F
0
, on peut extraire une sous-suite
_
x
(n)
_
nN
qui
converge vers un rel x.
Pour m N et n m, on a (n) n m, donc x
(n)
F
(n)
F
m
et x = lim
n+
x
(n)
F
m
puisque F
m
est ferm. On a donc x F =

mN
F
m
et F est non vide.
Remarque 17.1 Le rsultat prcdent est faux pour une intersection de ferms comme le
montre lexemple des ferms F
n
= ], n] avec

nN
F
n
= .
Nous aurons aussi besoin de ce deuxime lemme technique.
Lemme 17.2 Si (f
n
)
nN
est une suite de fonctions continues sur I = [a, b] valeurs relles
positives et f une fonction continue sur I valeurs relles positives telles que :
x I, f (x)
+

n=0
f
n
(x)
on a alors :
_
b
a
f (x) dx
+

n=0
_
b
a
f
n
(x) dx
(les sommes des sries numriques considres valant + en cas de divergence du fait quelles
sont termes positifs.).
371
372 Sries de fonctions
Dmonstration. Si
+

n=0
_
b
a
f
n
(x) dx = +, lingalit
_
b
a
f (x) dx
+

n=0
_
b
a
f
n
(x) dx est
alors vrie.
On suppose donc que la srie

_
b
a
f
n
(x) dx converge.
On se donne un rel > 0 et pour tout entier n N, on note :
F
n
=
_
x I |
n

k=0
f
k
(x) f (x)
_
.
Chaque F
n
est ferm comme image rciproque du ferm ], ] par la fonction continue
n

k=0
f
k
f et comme les fonctions f
k
sont valeurs positives, on a F
n+1
F
n
I pour tout n.
Supposons que F =

nN
F
n
soit non vide. Il existe alors un rel x I tel que
n

k=0
f
k
(x)
f (x) pour tout n, ce qui entrane la convergence de la srie termes positifs

f
n
(x) avec
+

n=0
f
n
(x) f (x) , ce qui est en contradiction avec f (x)
+

n=0
f
n
(x) et > 0.
Lensemble F est donc vide et le lemme prcdent nous dit alors quil existe un entier m tel
que F
m
soit vide, ce qui signie que :
x I,
m

k=0
f
k
(x) > f (x)
et en consquence :
_
b
a
f (x) dx
m

k=0
_
b
a
f
k
(x) dx + (b a)

n=0
_
b
a
f
n
(x) dx + (b a)
Comme le rel > 0 est quelconque, on en dduit que
_
b
a
f (x) dx
+

n=0
_
b
a
f
n
(x) dx.
Nous sommes maintenant en mesure de montrer un premier thorme de permutation des
signes

et
_
pour les fonctions continues sur un segment.
Thorme 17.1 Soit (f
n
)
nN
une suite de fonctions continues sur I = [a, b] valeurs relles
ou complexes telle que :
1. la srie de fonctions

f
n
converge simplement sur I vers une fonction continue f ;
2. la srie numrique

_
b
a
|f
n
(x)| dx est convergente.
Dans ces conditions, la srie numrique

_
b
a
f
n
(x) dx est convergente et :
_
b
a
f (x) dx =
+

n=0
_
b
a
f
n
(x) dx.
Un thorme de permutation des signes

et
_
373
Dmonstration. Pour tout entier n 0, on note S
n
=
n

k=0
f
k
la somme partielle dindice n
et R
n
= f S
n
=
+

k=n+1
f
k
le reste dindice n. On a alors :

_
b
a
f (x) dx
n

k=0
_
b
a
f
k
(x) dx

_
b
a
_
f (x)
n

k=0
f
k
(x)
_
dx

_
b
a
R
n
(x) dx

_
b
a
|R
n
(x)| dx
avec |R
n
| = |f S
n
| continue sur I telle que :
x I, |R
n
(x)|
+

k=n+1
|f
k
(x)| (17.1)
En eet, dans le cas o
+

k=n+1
|f
k
(x)| = +, on a automatiquement lingalit et dans le cas
o
+

k=n+1
|f
k
(x)| converge, la srie
+

k=n+1
f
k
(x) est convergente et :
|R
n
(x)| =

k=n+1
f
k
(x)

k=n+1
|f
k
(x)| .
Le lemme 17.2 nous dit alors que :
_
b
a
|R
n
(x)| dx R
n
=
+

k=n+1
_
b
a
|f
k
(x)| dx
avec lim
n+
R
n
= 0 puisque la srie

_
b
a
|f
n
(x)| dx est convergente.
On a donc :
lim
n+

_
b
a
f (x) dx
n

k=0
_
b
a
f
k
(x) dx

= 0
soit
_
b
a
f (x) dx = lim
n+
n

k=0
_
b
a
f
k
(x) dx, cest--dire lgalit annonce.
Un rsultat analogue pour les fonctions continues et absolument intgrables sur un intervalle
quelconque sen dduit.
Thorme 17.2 Soient I = [a, b[ un intervalle rel avec < a < b +, (f
n
)
nN
une
suite de fonctions continues sur I valeurs relles ou complexes telle que :
1. la srie de fonctions

f
n
converge simplement sur I vers une fonction continue f ;
2. pour tout n N lintgrale
_
b
a
f
n
(x) dx est absolument convergente ;
3. la srie numrique

_
b
a
|f
n
(x)| dx est convergente.
374 Sries de fonctions
Dans ces conditions, lintgrale
_
b
a
f (x) dx est absolument convergente, la srie numrique

_
b
a
f
n
(x) dx est convergente et :
_
b
a
f (x) dx =
+

n=0
_
b
a
f
n
(x) dx.
Dmonstration. Les fonctions |f
n
| et |f| sont continues valeurs positives sur tout segment
[a, x] I (o a < x < b) avec :
t [a, x] , |f (t)|
+

n=0
|f
n
(t)|
(la justication est analogue celle de (17.1)), ce qui entrane :
_
x
a
|f (t)| dt
+

n=0
_
x
a
|f
n
(t)| dt
+

n=0
_
b
a
|f
n
(x)| dx < +
La fonction x
_
x
a
|f (t)| dt est donc croissante majore et en consquence
_
b
a
|f (t)| dt =
lim
xb
_
x
a
|f (t)| dt est bien dnie, ce qui signie que lintgrale
_
b
a
f (x) dx est absolument conver-
gente (on dit aussi que la fonction f est sommable ou absolument intgrable sur I).
Pour tout entier n 0, on note S
n
=
n

k=0
f
k
la somme partielle dindice n et R
n
= f S
n
=
+

k=n+1
f
k
le reste dindice n. On a alors :

_
b
a
f (x) dx
n

k=0
_
b
a
f
k
(x) dx

_
b
a
_
f (x)
n

k=0
f
k
(x)
_
dx

_
b
a
R
n
(x) dx

_
b
a
|R
n
(x)| dx
avec
_
b
a
|R
n
(x)| dx + et |R
n
| = |f S
n
| continue sur I telle que :
x I, |R
n
(x)|
+

k=n+1
|f
k
(x)|
Le lemme 17.2 nous dit alors que pour tout x ]a, b[ , on a :
_
x
a
|R
n
(x)| dx
+

k=n+1
_
x
a
|f
k
(x)| dx
R
n
=
+

k=n+1
_
b
a
|f
k
(x)| dx
Un thorme de permutation des signes

et
_
375
et en consquence :
_
b
a
|R
n
(x)| dx R
n
avec lim
n+
R
n
= 0 puisque la srie

_
b
a
|f
n
(x)| dx est convergente.
On a donc :
lim
n+

_
b
a
f (x) dx
n

k=0
_
b
a
f
k
(x) dx

= 0
soit
_
b
a
f (x) dx = lim
n+
n

k=0
_
b
a
f
k
(x) dx, cest--dire lgalit annonce.
Le cas des fonctions continues et absolument intgrables sur un intervalle I quelconque sen
dduit facilement.
Remarque 17.2 Dans la dmonstration prcdente, on a en fait prouv que :
f S
n

1
=
_
b
a

f (x)
n

k=0
f
k
(x)

dx =
_
b
a
|R
n
(x)| dx
n+
0
ce qui traduit le fait que la srie

f
n
converge en moyenne vers la fonction f.
Exercice 17.1 Montrer que pour tout nombre complexe tel que () > 0, on a :
_
+
0
x

e
x
1
dx = ( + 1)
+

n=1
1
n
+1
o (z) =
_
+
0
x
z1
e
x
dx pour (z) > 0.
Solution 17.1 Pour tout rel x > 0, on a :
f (x) =
x

e
x
1
=
x

e
x
1 e
x
=
+

n=0
x

e
(n+1)x
=
+

n=0
f
n
(x)
avec f et les f
n
continues sur ]0, +[ et :
_
+
0
|f
n
(x)| dx =
_
+
0
x
()
e
(n+1)x
dx < +.
Le changement de variable t = (n + 1) x donne :
_
+
0
|f
n
(x)| dx =
1
(n + 1)
()+1
_
+
0
t
()
e
t
dt =

(n + 1)
()+1
avec
1
(n + 1)
()+1
< + pour () > 0.
Le thorme prcdent nous dit alors que :
_
+
0
x

e
x
1
dx =
+

n=0
_
+
0
x

e
(n+1)x
dx =
+

n=0
1
(n + 1)
+1
_
+
0
t

e
t
dt
= ( + 1)
+

n=1
1
n
+1
376 Sries de fonctions
Par exemple, pour = 1, on a ( + 1) = (2) = 1 et :
_
+
0
x
2
e
x
1
dx =
+

n=1
1
n
2
.
17.1.2 Cas des fonctions continues par morceaux
On rappelle tout dabord la dnition dune fonction continue par morceaux sur un segment
I = [a, b] .
Dnition 17.1 On dit quune fonction f dnie sur I = [a, b] est continue par morceaux sur
cet intervalle sil existe une subdivision :
x
0
= a < x
1
< < x
p
< x
p+1
= b
telle que la fonction f soit continue chacun des intervalle ]x
k
, x
k+1
[ (0 k p), admette une
limite droite en a, une limite gauche en b et des limites droite et gauche en chacun des
points x
k
(1 k p).
Avec les notations de cette dnition, pour tout entier k compris entre 0 et p, la restriction
de la fonction f lintervalle ]x
k
, x
k+1
[ se prolonge en une fonction continue sur [x
k
, x
k+1
] .
Une fonction continue par morceaux sur I est donc en particulier intgrable sur cet intervalle.
Les rsultats qui suivent vont nous permettre de nous ramener aux cas des fonctions continues
sur un segment.
Lemme 17.3 Si f est continue par morceaux sur I = [a, b] et valeurs positives, on peut
alors trouver, pour tout rel > 0, une fonction g continue sur I telle que 0 g f et
_
b
a
(f (x) g (x)) dx < .
Dmonstration. Si f est continue, la fonction g = f convient.
Sinon on note x
1
< x
2
< < x
p
les points de discontinuit de f dans ]a, b[ et on dsigne
par > 0 un rel tel que [x
k
, x
k
+ ] ]a, b[ pour tout k compris entre 1 et p. Le choix de
sera an plus loin en fonction de > 0.
On dsigne par la fonction continue qui concide avec f sur I \
p

k=1
]x
k
, x
k
+ [ , qui est
ane par morceaux sur chaque intervalle [x
k
, x
k
+ ] et vaut 0 en chaque x
k
, soit :
(x) =
_

_
f (x) si x I \
p

k=1
]x
k
, x
k
+ [
f (x
k
)

(x
k
x) si x [x
k
, x
k
]
f (x
k
+ )

(x x
k
) si x [x
k
, x
k
+ ]
(faire un dessin). Cette fonction est valeurs positives, continue sur I \
p

k=1
{x
k
, x
k
, x
k
+ }
et on vrie facilement quelle est continue en chacun des points x
k
, x
k
, x
k
+ .
Un thorme de permutation des signes

et
_
377
On dnit alors la fonction g par g = min (f, ) . Cette fonction est continue sur I \
{x
1
, , x
p
} comme minimum de deux fonctions continues sur cet ensemble et pour chaque
x
k
, on a :
lim
xx

k
g (x) = lim
xx

k
min (f (x) , (x)) = min
_
lim
xx

k
f (x) , lim
xx

k
(x)
_
= min
_
lim
xx

k
f (x) , 0
_
= 0 = g (x
k
)
puisque lim
xx

k
f (x) 0 (f est valeurs positives) et lim
xx
+
k
g (x) = 0 = g (x
k
) (mme dmonstra-
tion). La fonction g est donc continue sur I.
Par construction, on a 0 g (x) f (x) pour tout x I et :
_
b
a
(f (x) f (x)) dx =
p

k=1
_
x
k
+
x
k

(f (x) g (x)) dx

k=1
_
x
k
+
x
k

f (x) dx 2p f

<
pour 0 < <

2p f

Remarque 17.3 Le lemme prcdent est encore vrai pour f de signe quelconque, avec g non
ncessairement positive, comme on le voit en remplaant f par f inf
xI
f (x) (f continue par
morceaux sur [a, b] est minore).
Lemme 17.4 Si f est continue par morceaux sur I = [a, b] et valeurs positives, on peut
alors trouver, pour tout rel > 0, une fonction h continue sur I telle que 0 f h et
_
b
a
(h(x) f (x)) dx < .
Dmonstration. Comme f est continue par morceaux sur I, elle est majore et f
1
=
sup
xI
f (x) f est continue par morceaux positives, on peut donc trouver, pour tout rel > 0,
une fonction g
1
continue sur I telle que 0 g
1
f
1
et
_
b
a
(f
1
(x) g
1
(x)) dx < . La fonction
h = sup
xI
f (x) g
1
convient alors.
De ces lemmes, on dduit que le lemme 17.2 est encore valable pour les fonctions continues
par morceaux.
Lemme 17.5 Si (f
n
)
nN
est une suite de fonctions continues par morceaux sur I = [a, b]
valeurs relles positives et f une fonction continue par morceaux sur I valeurs relles positives
telles que :
x I, f (x)
+

n=0
f
n
(x)
on a alors :
_
b
a
f (x) dx
+

n=0
_
b
a
f
n
(x) dx
378 Sries de fonctions
Dmonstration. On se donne un rel > 0 et on dsigne par g et h
n
, pour n N, des
fonctions continues sur I telles que :
0 g f, 0 f
n
h
n
et
_

(f (x) g (x)) dx < ,

_

(h
n
(x) f
n
(x)) dx <

2
n
On a alors :
0 g f
+

n=0
f
n

+

n=0
h
n
les fonctions g et h
n
tant continues positives. Le lemme 17.2 nous dit alors que :
0
_
b
a
g (x) dx
+

n=0
_
b
a
h
n
(x) dx
et en consquence :
0
_
b
a
f (x) dx +
_
b
a
g (x) dx +
+

n=0
_
b
a
h
n
(x) dx
+
+

n=0
_
b
a
f
n
(x) dx +
+

n=0
1
2
n
3 +
+

n=0
_
b
a
f
n
(x) dx
Et comme > 0 est quelconque, on a bien lingalit annonce.
En reprenant la dmonstration faite dans le cas des fonctions continues, on dduit alors le
rsultat suivant.
Thorme 17.3 Soient I = [a, b[ un intervalle rel avec < a < b +, (f
n
)
nN
une
suite de fonctions continues par morceaux sur I valeurs relles ou complexes telle que :
1. la srie de fonctions

f
n
converge simplement sur I vers une fonction continue par
morceaux f ;
2. pour tout n N lintgrale
_
b
a
f
n
(x) dx est absolument convergente ;
3. la srie numrique

_
b
a
|f
n
(x)| dx est convergente.
Dans ces conditions, lintgrale
_
b
a
f (x) dx est absolument convergente, la srie numrique

_
b
a
f
n
(x) dx est convergente et :
_
b
a
f (x) dx =
+

n=0
_
b
a
f
n
(x) dx.
Remarque 17.4 L encore, on a :
f S
n

1
=
_
b
a

f (x)
n

k=0
f
k
(x)

dx
n+
0
cest--dire que la srie

f
n
converge en moyenne vers la fonction f.
Un thorme de convergence domine 379
17.2 Un thorme de convergence domine
Thorme 17.4 Soit I = [a, b[ un intervalle rel avec < a < b +. On se donne une
suite (f
n
)
nN
de fonctions continues par morceaux sur I valeurs relles positives telle que :
1. la suite (f
n
)
nN
converge simplement sur I vers la fonction nulle ;
2. il existe une fonction continue par morceaux sur I valeurs relles positives telle lin-
tgrale
_
b
a
(x) dx est convergente et 0 f
n
pour tout n N.
Dans ces conditions, on a : lim
n+
_
b
a
f
n
(x) dx = 0.
Dmonstration. Lide de la dmonstration est dutiliser une suite (g
n
)
nN
telle que la
srie

(g
n
g
n+1
) vrie les conditions du thorme 17.3 avec 0 f
n
g
n
, la suite (g
n
)
nN
convergeant simplement vers 0 (cette suite est de mme nature que la srie

(g
n
g
n+1
)).
Pour n N x, on dnit la suite de fonctions (f
n,p
)
pn
par :
p n, f
n,p
= max
nkp
(f
k
)
Les fonctions f
n,p
sont continues par morceaux valeurs positives comme max dune suite -
nie de fonctions continues par morceaux valeurs positives et avec {f
n
, , f
p
} {f
n
, , f
p
, f
p+1
} ,
on dduit que la suite (f
n,p
)
pn
est croissante.
Avec {f
n+1
, , f
p
} {f
n
, f
n+1
, , f
p
} , on dduit que f
n+1,p
f
n,p
pour tout p n + 1.
Avec 0 f
n,p
f
n,p+1
pour tout p n, on dduit que les intgrales I
n,p
=
_
b
a
f
n,p
(x) dx
sont convergentes et que la suite (I
n,p
)
pn
est croissante majore par
_
b
a
(x) dx, donc conver-
gente. En notant I
n
= lim
p+
I
n,p
, on peut construire une suite strictement croissante dentiers
(p
n
)
nN
telle que :
n N, I
n

1
2
n
I
n,p
n
I
n
On dnit alors la suite de fonctions (g
n
)
nN
par :
n N, g
n
= f
n,p
n
= max {f
n
, f
n+1
, , f
p
n
}
et on a :
n N, I
n

1
2
n
I
n,p
n
=
_
b
a
g
n
(x) dx I
n
Comme la suite (f
n
)
nN
converge simplement vers 0, pour tout x I et tout rel > 0, on
peut trouver un entier n
x,
tel que :
k n
x,
, 0 f
k
(x)
ce qui entrane que :
n n
x,
, 0 g
n
(x) = max {f
n
(x) , , f
p
n
(x)}
La suite (f
n
)
nN
converge donc simplement vers 0 et la srie

(g
n
g
n+1
) qui est de mme
nature que cette suite converge simplement vers g
0
.
380 Sries de fonctions
Avec :
|g
n
g
n+1
| g
n
+ g
n+1
2
on dduit que pour tout n N lintgrale
_
b
a
(g
n
g
n+1
) (x) dx est absolument convergente.
Il nous reste montrer que la srie

_
b
a
|(g
n
g
n+1
) (x)| dx est convergente.
On a :
g
n+1
g
n
= f
n+1,p
n+1
f
n,p
n
f
n,p
n+1
f
n,p
n
avec f
n,p
n+1
f
n,p
n
0 (les suites (p
n
)
nN
et (f
n,p
)
pn
sont croissantes), donc :
max (0, g
n+1
g
n
) f
n,p
n+1
f
n,p
n
et avec max (0, u) =
u
2
+
|u|
2
, soit |u| = 2 max (0, u) u, on dduit que :
|g
n+1
g
n
| 2
_
f
n,p
n+1
f
n,p
n
_
(g
n+1
g
n
)
avec :
_
b
a
_
f
n,p
n+1
(x) f
n,p
n
(x)
_
dx =
_
b
a
f
n,p
n+1
(x) dx
_
b
a
f
n,p
n
(x) dx
= I
n,p
n
+1
I
n,p
n
I
n

_
I
n

1
2
n
_
=
1
2
n
ce qui donne :
_
b
a
|g
n
(x) g
n+1
(x)| dx 2
1
2
n
+
_
b
a
g
n
(x) dx
_
b
a
g
n+1
(x) dx.
On en dduit alors que :
n

k=0
_
b
a
|g
k
(x) g
k+1
(x)| dx 2
n

k=0
1
2
k
+
n

k=0
_
b
a
g
k
(x) dx
n

k=0
_
b
a
g
k+1
(x) dx
2
n

k=0
1
2
k
+
_
b
a
g
0
(x) dx
_
b
a
g
n+1
(x) dx
2
+

k=0
1
2
k
+
_
b
a
g
0
(x) dx 4 +
_
b
a
g
0
(x) dx
ce qui signie que la srie

_
b
a
|(g
n
g
n+1
) (x)| dx converge.
Enn avec 0 f
n
g
n
, on obtient :
0
_
b
a
f
n
(x) dx
_
b
a
g
n
(x) dx =
_
b
a
+

k=n
(g
k
(x) g
k+1
(x)) dx
avec :
R
n
=
_
b
a
+

k=n
(g
n
(x) g
n+1
(x)) dx =
+

k=n
_
b
a
(g
k
(x) g
k+1
(x)) dx
Exercices supplmentaires 381
et tenant compte de la convergence de

_
b
a
|(g
n
g
n+1
) (x)| dx et de :

_
b
a
(g
n
(x) g
n+1
(x)) dx

_
b
a
|g
n
(x) g
n+1
(x)| dx
on dduit que la srie

_
b
a
(g
n
(x) g
n+1
(x)) dx est absolument convergente et en consquence
lim
n+
R
n
= 0.
On a bien, en dnitive : lim
n+
_
b
a
f
n
(x) dx = 0.
La restriction aux fonctions valeurs relles positives est seulement technique. On a en fait
le rsultat suivant.
Thorme 17.5 (Convergence domine) Soit I = [a, b[ un intervalle rel avec < a <
b +. On se donne une suite (f
n
)
nN
de fonctions continues par morceaux sur I valeurs
relles ou complexes telle que :
1. la suite (f
n
)
nN
converge simplement sur I vers une fonction f continue par morceaux ;
2. il existe une fonction continue par morceaux sur I valeurs relles positives telle lin-
tgrale
_
b
a
(x) dx est convergente et 0 |f
n
| pour tout n N.
Dans ces conditions les fonctions f
n
et f sont absolument intgrables et on a :
lim
n+
_
b
a
f
n
(x) dx =
_
b
a
f (x) dx.
Dmonstration. Avec 0 |f
n
| et 0 |f| = lim
n+
|f
n
| , on dduit que les fonctions
f
n
et f sont absolument intgrables sur I.
Des hypothse, on dduit que lim
n+
|f
n
f| = 0, les fonction |f
n
f| tant continues par
morceaux positives avec |f
n
f| 2. Le thorme prcdent nous dit alors que :
lim
n+
_
b
a
|f
n
(x) f (x)| dx = 0
et avec

_
b
a
(f
n
(x) f (x)) dx

_
b
a
|f
n
(x) f (x)| dx, on dduit que lim
n+
_
b
a
(f
n
(x) f (x)) dx =
0, soit lim
n+
_
b
a
f
n
(x) dx =
_
b
a
f (x) dx.
17.3 Exercices supplmentaires
Exercice 17.2 On considre la srie de fonctions de terme gnral u
n
(x) =
2x
n
2
+ x
2
pour
n 1.
1. Montrer que cette srie converge uniformment sur tout intervalle [a, b] . On notera f sa
somme.
2. Exprimer sous forme dune srie de fonctions
_
x
0
f (t) dt pour x [1, 1] .