Vous êtes sur la page 1sur 1

Banque preuve orale de mathmatiques session 2017, CCP-MP Mise jour : 08/09/16

EXERCICE 14 analyse
nonc exercice 14
1. Soit a et b deux rels donns avec a < b.
Soit (fn ) une suite de fonctions continues sur [a, b], valeurs relles. !
Z b
Dmontrer que si la suite (fn ) converge uniformment sur [a, b] vers f , alors la suite fn (x) dx
a
nN
Z b
converge vers f (x) dx.
a
2. Justifier comment ce rsultat peut tre utilis dans le cas des sries de fonctions.
Z 12 X+
! +
n
X 1
3. Dmontrer que x dx = n
.
0 n=0 n=1
n2

Corrig exercice 14
1. Comme la suite (fn ) converge uniformment sur [a, b] vers f , et que, n N, fn est continue sur [a, b],
alors f est continue sur [a, b].
Ainsi, n N, fn f est continue sur le segment [a, b].
On pose alors, n N, kfn f k = sup |fn (x) f (x)|.
Z Zx[a,b] Z
b Z b b b
On a fn (x) dx f (x) dx = (fn (x) f (x)) dx 6 |fn (x) f (x)|dx 6 (b a) kfn f k . (*)

a a a a

Or (fn ) converge uniformment vers f sur [a, b], donc lim kfn f k = 0.
n+
Z b Z b
Donc daprs (*), lim fn (x) dx = f (x) dx.
n+ a a
X
2. On suppose que n N, fn est continue sur [a, b] et fn converge uniformment sur [a, b].
Xn
On pose Sn = fk .
X k=0
fn converge uniformment sur [a, b], donc converge simplement sur [a, b].
+
X
On pose alors, galement, x [a, b], S(x) = fk (x).
X k=0
fn converge uniformment sur [a, b] signifie que (Sn ) converge uniformment sur [a, b] vers S.
De plus, n N, Sn est continue sur [a, b], car Sn est une somme finie de fonctions continues.
On en dduit que S est continue sur [a, b].
Z b Z b
Et daprs 1., lim Sn (x) dx = S(x) dx.
n+ a a
Z b Z bX n n
XZ b
Or Sn (x)dx = fk (x)dx = fk (x)dx car il sagit dune somme finie.
a a k=0 k=0 a
n Z
X b Z b
Donc lim fk (x) dx = S(x) dx.
n+ a a
k=0
n Z
X b Z +
bX
Ou encore lim fk (x) dx = fk (x) dx.
n+ a a k=0
k=0
XZ b + Z
X b Z +
bX
Ce qui signifie que fk (x) dx converge et fk (x) dx = fk (x) dx.
a k=0 a a k=0
X
Bilan : La convergence uniforme de la srie de fonctions fn o les fn sont continues sur [a, b] permet d
+
Z bX +
X bZ
intgrer terme terme, cest--dire : fn (x) dx = fn (x) dx.
a n=0 n=0 a

CC BY-NC-SA 3.0 FR Page 21