Développement: Les Théorèmes de Dini et application 2. Deuxième Théorème de Dini.

— Soit (fn )n∈N une suite de fonctions fn : [a, b] →

1. Premier Théorème de Dini. — Soit (fn )n∈N une suite de fonctions fn : [a, b] → R Démonstration
continues, où pour tout x ∈ [a, b], la suite numérique (fn (x))n∈N est croissante et majorée f est continue sur le compact [a, b], on en déduit selon le théorème de Heine,
que f est uniformément continue sur [a, b]. Soit ε > 0, il existe h > 0 tel que
1. La suite de fonctions (fn )n∈N converge simplement vers f
∀x, y ∈ [a, b], |x − y| ≤ h =⇒ |f (x) − f (y)| ≤ ε
2. Si f est continue, alors la suite de fonctions (fn )n∈N converge uniformément sur [a, b]
Soit x0 , x1 , ..., xp une subdivision de [a, b] tel que a = x0 < x1 < ... < xp = b de pas
vers la fonction f
plus petit que h. Comme (fn )n∈N converge simplement vers une fonction f , on a pour
Démonstration tout i = 1, ..., p
1. Soit x ∈ [a, b], comme la suite numérique (f (x)) est croissante et majorée, elle lim fn (xi ) = f (xi ) on en déduit qu’il existe N ≥ 0
n n∈N n→+∞
converge simplement vers fx = f (x) tel que ∀n ≥ N =⇒ |f (xi ) − fn (xi )| ≤ ε
2. Soit ε > 0 fixé. Pour tout x0 ∈ [a, b], il existe N = Nx0 tel que ∀n ∈ N, n ≥ Nx0 =⇒ Soit x ∈ [a, b] et i ∈ {1, ..., p} tel que x ∈ [xi , xi+1 ].
|fn (x0 ) − f (x0 )| ≤ ε |f (x) − fn (x)| = |f (x) − f (xi ) + f (xi ) − fn (xi ) + fn (xi ) − fn (x)| ≤ |f (x) − f (xi )| +
Prenons en particulier n = N , on a: |f (xi ) − fn (xi )| + |fn (xi ) − fn (x)| ≤ ε + ε + |fn (xi ) − fn (x)|
Comme les fonctions fn sont croissantes et xi ≤ x ≤ xi+1 , on a: fn (xi ) ≤ f (x) ≤ fn (xi+1 )
(1) |fN (x0 ) − f (x0 )| ≤ ε donc |fn (xi ) − fn (x)| = fn (x) − fn (xi ) ≤ fn (xi+1 ) − fn (xi )
≤ |fn (xi+1 ) − f (xi+1 )| + |f (xi+1 ) − f (xi )| + |f (xi ) − fn (xi )| ≤ 3ε
Comme la fonction (fN − f ) est continue sur le compact [a, b], selon le Théorème Soit finalement |f (x) − f (x)| ≤ 5ε
n
de Heine, on en déduit qu’elle est uniformement continue sur [a, b] On peut donc On en conclut que la suite de fonctions (f )
n n∈N converge uniformément sur [a, b] vers la
trouver α = αNx0 > 0 tel que fonction f
(2) ∀(x, x0 ) ∈ (R)2 |x − x0 | ≤ α =⇒ |(fN (x) − f (x)) − (fN (x0 ) − f (x0 ))| ≤ ε 3. Application. — La suite de fonctions (fn )n∈N∗ définie par fn : [−a, a] → R avec
fn (x) = (1 + nx )n où n ∈ N∗ a ∈ [0, +∞[ converge uniformément sur [-a,a] vers la fonction
En utilisant les inégalités (1) et (2) et en écrivant f (x) = ex
|(fN (x) − f (x))| = |(fN (x) − f (x)) − (fN (x0 ) − f (x0 )) + (fN (x0 ) − f (x0 ))|
on en déduit que ∀(x, x0 ) ∈ (R)2 |x − x0 | ≤ α Démonstration
=⇒ |(fN (x) − f (x))| ≤ |(fN (x) − f (x)) − (fN (x0 ) − f (x0 ))| + |(fN (x0 ) − f (x0 ))| ≤ 2ε x
Soit x ∈ [−a, a], on a: fn (x) = (1 + nx )n = en ln(1+ n ) et comme ln(1 + nx ) = x + o( n1 ), on
qui s’écrit également ∀(x, x0 ) ∈ (R)2 x ∈ B(x0 , α) =⇒ |(fN (x) − f (x))| ≤ 2ε où a: lim fn (x) = ex On en déduit la convergence simple de la suite de fonctions (fn )n∈N∗
B(x0 , α) = {x ∈ [a, b], |x − x0 | ≤ α} est la boule ouverte de centre x0 et de rayon n→+∞

α>0 vers a fonction f (x) = ex On a fn 0 = (1 + nx )n+1 > 0 où n ≥ 1 donc les fonctions fn étant
Comme la famille des boules ouvertes (B(x0 , α))x0 ∈[a,b] est un recouvrement du croissante, la suite de fonctions (fn )n∈N convergeant simplement vers f continue, on en dé-
compact [a, b] , on peut en extraire un sous recouvrement fini (B(x0k , αk ))1≤k≤m duit en utilisant le deuxième Théorème de Dini que la convergence est uniforme sur [−a, a]
Soit n ≥ M , où M désigne le max des Nxk pour 1 ≤ k ≤ m et x ∈ [a, b]. Il existe
k ∈ {1, ..., p} tel que x ∈ B(xk , αk ) La suite numérique (fn (x))n∈N étant croissante, Références
on en déduit que Suites et série numériques, Suites et séries de fonctions, Mohammed El Amrani
Les maths en tête Analyse, Xavier Gourdon
Oraux X-ENS Analyse 2, Francinou-Gianella-Nicolas
0 ≤ f (x) − fn (x) ≤ f (x) − fM (x) ≤ |f (x) − fM (x)| ≤ ε
soit ∀n ≥ M, ∀x ∈ [a, b], |f (x) − fn (x)| ≤ ε July 1, 2021
On conclut que la suite de fonctions (fn )n∈N converge uniformément sur [a, b] vers Vincent Komiwes
la fonction f