MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

I Inégalités d'interpolation des dérivées

I.A - Cas particulier K=1

La norme innie des fonctions continues sur un segment (compact) existe bien selon le théorème des bornes atteintes.
Q 1. Soit f ∈ C 1 ([0, 1]). Soit x ∈ [0, 1].
Selon l'inégalité des accroissements nis appliquée à f dérivable sur l'intervalle [0, 1]. On a
|f (x) − f (x1 )| 6 f 0 ∞ · |x − x1 | 6 f 0 ∞

Par inégalité triangulaire, on a donc |f (x)| 6 kf 0 k∞ + 1 · |f (x1 )|

Comme c'est vrai pour tout x ∈ [0, 1], on a alors
kf k∞ 6 f 0 ∞ + 1 · |f (x1 )|

Ceci montre l'inégalité d'interpolation (I.2) avec C = 1

Q 2. Pour C ∈ ]0, 1[ et la fonction f : x 7→ 1 l'inégalité d'interpolation (I.2) est fausse car

kf k∞ = 1 > C = 0 + C × 1 = f 0 ∞ + C · |f (x1 )|

I.B - Cas particulier K=2

Q 3. Soit x ∈ [0, 1] et f ∈ C 2 ([0, 1]). L'égalité des accroissements nis appliquée à f dérivable sur ]x1 , x2 [ et continue
f (x2 ) − f (x1 )
sur [x1 , x2 ], nous fournit c ∈ ]x1 , x2 [ tel que f 0 (c) =
x2 − x1
Ainsi l'inégalité des accroissements nis appliquée à f 0 de de classe C 1 nous donne :
 
f (x) − f (x2 ) − f (x1 )  = f 0 (x) − f 0 (c) 6 f 00 · |x0 − c|
 0   
 x2 − x1  ∞

 
f (x2 ) − f (x1 ) 
Ce qui permet de conclure : f (x) −
 0
6 f 00 ∞


x2 − x1 
Q 4. Avec l'inégalité triangulaire et comme x2 − x1 > 0, on en déduit que
 
 0   f (x2 ) − f (x1 )  00
 + f 6 f 00 + |f (x1 )| + |f (x2 )|

∀x ∈ [0, 1], f (x) 6 
  
∞ ∞
x2 − x1  x2 − x1

|f (x1 )| + |f (x2 )|
on a bien kf 0 k∞ 6 kf 00 k∞ +
x2 − x1
1 1
Q 5. Soit f ∈ C 2 ([0, 1]). Avec C = 1 + , on a C > , on déduit de Q4 que
x2 − x1 x2 − x1
0
f 6 f 00 + C (|f (x1 )| + |f (x2 )|)

∞ ∞

On a selon I.2 selon Q2 et Q4 :

|f (x1 )| + |f (x2 )|
kf k∞ 6 f 0 ∞ + 1 · |f (x1 )| 6 f 00 ∞ +

+ 1 · |f (x1 )|
x2 − x1
1
Comme C > , on a alors kf k∞ 6 kf 00 k∞ + C |f (x1 )| + C |f (x2 )|
x2 − x1
1
Dans le cas K = 2, on a bien montré l'inégalité d'interpolation (I.3) avec C = 1 +
x2 − x1

1/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

I.C - Cas général par interpolation de Lagrange

On a facilement ∀P, Q ∈ RK−1 [X], ∀λ ∈ R, ψ (λP + Q) = λΨ(P) + Ψ(Q) ainsi ψ ∈ L RK−1 [X], RK .


Q 6.
Soit P ∈ ker (Ψ). On a Ψ(P) = 0.
Donc P (x1 ) = · · · = P (xK ) = 0. Ainsi P admet au moins K racines distinctes.
Or deg(P) 6 K − 1, d'où P = 0.
L'autre inclusion étant évidente, on a ker(Ψ) = {0} d'où Ψ est injective.
Comme dim (RK−1 [X]) = K = dim RK , on conclut que

l'application Ψ est un isomorphisme d'espaces vectoriels

Q 7. Je note (e1 , . . . , eK ) la base canonique de RK .

Pour i ∈ [[1, K]], je pose Li = Ψ−1 (ei ) de sorte que
Li ∈ RK−1 [X] et ∀j ∈ [[1, K]], Li (xj ) = δi,j
K K
Ainsi P = f (xj ) Lj ∈ R[X] vérie ∀` ∈ [[1, K]], P (x` ) =
P P
f (xj ) δj,` = f (x` )
j=1 j=1
K
Y X − xj
On aurait pu poser Li = mais cela ne semble pas être dans l'esprit du sujet.
xi − xj
j=1
j6=i
Q 8. On procède par récurrence bornée.
L'initialisation est obtenu par Q7, qui nous donne K réels x1 < · · · < xK de [0, 1] en lesquels f (0) −P(0) s'annule.

Pour l'hérédité : soit k ∈ [[0, K − 2]] tel qu'il existe au moins K − k réels distincts que je note y1 < · · · < yK−k
de [0, 1] en lesquels la fonction f (k) − P(k) s'annule.
Soit j ∈ [[1, K − k]]. On a f (k) − P(k) est dérivable sur [yj , yj+1 ] et f (yj ) = f (yj+1 ).
Rolle nous fournit alors zj ∈ ]yj , yj+1 [ tel que f (k+1) − P(k+1) (zj ) = 0.

Comme y1 < z1 < y2 < z2 · · · < yK−k−1 < zK−k−1 < yK−k , on a obtenu K − k − 1 = K − (k + 1) points
d'annulation de f (k+1) − P(k+1) . Ce que l'on voulait.
On peut conclure la récurrence : pour tout k ∈ [[0, K − 1]],

il existe au moins K − k réels distincts de [0, 1] en lesquels la fonction f (k) − P(k) s'annule

Q 9. Soit k ∈ [[0, K − 1]]. On a f (k) − P(k) ∈ C K−k ([0, 1], R) ⊂ C 1 ([0, 1], R).
On peut appliquer Q1 pour x01 ∈ [0, 1] :
 0   
+  f (k) − P(k) (x01 )
(k)
f − P(k)
(k) (k)

6 f −P
 
∞
∞

Je choisis x01 ∈ [0, 1] tel que f (k) − P(k) (x01 ) = 0, ce qui est possible selon Q8 car K − k > 1.

On en déduit l'inégalité f (k) − P(k) ∞ 6 f (k+1) − P(k+1) ∞

2/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

Par croissance de la suite f (k) − P(k) ∞ (selon Q9), et comme P(K) = 0 car deg(P) 6 K − 1, alors :


Q 10. 06k6K

(k) (k) (K) (K) (K)
∀k ∈ [[0, K − 1]], f − P 6 f −P = f
∞ ∞ ∞

Par inégalité triangulaire, on a donc ∀k ∈ [[0, K − 1]], f (k) ∞ 6 f (K) ∞ + P(k) ∞ . Ainsi

K−1
X
(k) (K) (i)
∀k ∈ [[0, K − 1]], f 6 f + P
∞ ∞ ∞
i=0

En utilisant Q7, on a
K K  K
X X
(i) (i) (i)
X
∀i ∈ [[0, K − 1]], P(i) = f (x` )L` 6 |f (x` )| L` 6 max Lj |f (x` )|

∞ ∞ 16j6K ∞
`=1 ∞ `=1 `=1

K−1
X 
En posant C = (i)
max Lj qui ne dépend que de x1 , . . . , xK , on a :
16j6K ∞
i=0

K
X
∀k ∈ [[0, K − 1]], f (k) 6 f (K) +C |f (x` )|

∞ ∞
`=1

On trouvé une constante C > 0 pour laquelle l'inégalité d'interpolation (I.1) est vériée

II Dérivation CK pour les séries de fonctions

II.A - Énoncé général

Q 11. Soit k ∈ [[0, K − 1]]. Q10 nous donne C > 0 tel que :
K
X
(k) (K)
∀n ∈ N, fn 6 fn +C |fn (x` )|
∞ ∞
`=1

X
Les séries et |fn (x` )| (1 6 ` 6 K) sont convergentes selon (H1) et (H2)
(K) X
fn
∞
K
!
X
donc la série |fn (x` )| converge par linéarité
(K) X
f
n +C
∞
n>0 `=1
X
Par comparaison de séries à termes positifs, la série (k)
fn converge.
∞
n>0

d'où la série (k)

converge normalement sur [0, 1] par dénition.
P
fn

3/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale


[0, 1] −→ [a, b]
Q 12. Je dénis la fonction σ : .
t 7−→ (1 − t)a + tb
De sorte que σ est continue strictement croissante sur l'intervalle [0, 1] telle que σ(0) = a et σ(1) = b.
Ainsi σ est bijective de [0, 1] vers [a, b].
Je pose pour n ∈ N, gn = fn ◦ σ et pour ` ∈ [[1, K]], y` = σ −1 (x` ). De sorte que gn(k) (y` ) = (b − a)k fn(k) (x` ).
Comme σ est ane, gn est de classe C K de dérivées : ∀k ∈ [[0, K]], gn(k) = (b − a)k fn(k) ◦ σ .
Soit h : [a, b] → R une fonction bornée. Je note khk∞,[a,b] = sup |h(t)|.
t∈[a,b]
On remarque que comme σ est bijective que : {|h(t)| | t ∈ [a, b] } = {|h(σ(x))| | x ∈ [0, 1] }.
Ainsi khk∞,[a,b] = kh ◦ σk∞,[0,1] = kh ◦ σk∞ . D'où

∀n ∈ N, ∀k ∈ [[0, K]], kgn(k) k∞ = k(b − a)k fn(k) k∞,[a,b] = (b − a)k kfn(k) k∞,[a,b]
1
donc ∀n ∈ N, ∀k ∈ [[0, K]], kfn(k) k∞,[a,b] = k
(k)
kgn k∞ (?).
(b − a)
On vérie maintenant les hypothèses pour utiliser Q11 :
 y1 < · · · < yK sont des réels distincts de l'intervalle [0, 1] car σ −1 est également strictement croissante.
 (gn ) est une suite de fonctions de classe C K sur [0, 1] vériant les deux hypothèses :
(H1) la série de fonctions gn(K) converge normalement sur [a, b] ;
P

car kgn(K) k converge selon (?) et car kfn(K) k∞,[a,b] converge.

P P

(H2) pour tout ` ∈ [[1, K]] la série numérique gn (y` ) = fn (x` ) est absolument convergente.
P P

Ainsi la série gn(k) converge normalement sur [0, 1], pour tout k ∈ [[0, K − 1]].
P

D'où pour kfn(k) k∞,[a,b] converge pour tout k ∈ [[0, K − 1]] en utilisant (?)
P

d'où la série (k)

converge normalement sur [a, b], pour tout k ∈ [[0, K − 1]]
P
fn
Q 13. (i) Pour tout n ∈ N, la fonction fn est de classe C K sur [a, b].
(ii) Soit k ∈ [[0, K − 1]].
La série de fonction fn(k) converge normalement donc simplement sur [a, b] selon Q12 de somme Fk .
P

(ii)La série de fonction fn(K) converge normalement donc uniformément sur [a, b] de somme FK .
P

Avec (i), (ii) et (iii), par théorème de cours :

F0 est de classe C K sur [a, b] et F0 = Fk pour tout k ∈ [[1, K]]

(k)

II.B - Application sur un exemple

Q 14. Soit n ∈ N? .
La fonction x 7−→ (−1)n 2−nx est continue par théorème généraux sur l'intervalle ]0, +∞[ .
2
Existence :
Le théorème fondamental nous fournit alors une primitive sur ]0, +∞[ qui y est donc continue.
Cette primitive admet donc une primitive gn vériant donc ∀x > 0, gn00 (x) = (−1)n 2−nx
2

Je considère alors la fonction ane hn telle que hn (1) = gn (1) et hn (2) = gn (2) et je pose fn = gn − hn
Alors fn est de classe fn ∈ C 2 ( ]0, +∞[ ) vériant fn (1) = 0, fn (2) = 0 et ∀x > 0, fn00 (x) = (−1)n 2−nx
2

4/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

Unicité : On note fn et gn vériant la condition voulue et je note dn = fn − gn .

On a alors dn ∈ C 2 ( ]0, +∞[ ) vériant dn (1) = 0, dn (2) = 0 et ∀x > 0, d00n (x) = 0.
Donc dn est polynomiale de degré 6 1 avec au moins deux racines, d'où dn = 0
Ainsi fn = gn ce qui prouve l'unicité.
Il existe une unique fonction fn ∈ C 2 ( ]0, +∞[ ) vériant fn (1) = 0, fn (2) = 0 et ∀x > 0, fn00 (x) = (−1)n 2−nx
2

Q 15.Soit [α, β] un segment de ]0, +∞[ .

Je pose a = min(α, 1) et b = max(β, 1).
On veut appliquer II.A sur le segment [a, b] avec K = 2 :
 1 < 2 sont des réels distincts de [a, b] ;
 (fn )n>1 est une suite de fonctions de classe C 2 sur [a, b] vériant les deux hypothèses :
(H1) La série (2)
converge normalement sur [a, b] car
P
fn
n>1
  2
∀x ∈ [a, b], fn(2) (x) 6 2−na
 

et car la série géométrique 2−na converge car 2−a ∈ [0, 1[ .

P 2 2

n>1
(H2) pour tout ` ∈ {1, 2}, la série fn (x` ) converge absolument car ∀n ∈ N∗ , fn (x` ) = 0
P
n>1

Ainsi pour tout i ∈ [[0, 2]], fn converge normalement sur [a, b] de somme F qui est de classe C 2 sur [a, b]
(i)
P
+∞
vériant ∀x ∈ [a, b], F(i) (x) = fn (x).
P (i)
n=1
Comme c'est valable sur [a, b], c'est valable sur [α, β] et donc
la série de fonctions fn converge normalement sur tout segment inclus dans ]0, +∞[ et F est de classe C 2
P

car F est de classe C 2 au voisinage de tout point de ]0, +∞[ .

2
(−1)1 2−x −1
Q 16. Par somme géométrique : F00 (x) = 2 =
1+2 −x 1 + 2 x2
Q 16.On dénit G : t 7−→ F(t + 1) sur [0, 1] qui est de classe C 2 car F l'est sur [1, 2].
D'après Q10 (ou Q5), comme 0 < 1 dans [0, 1], alors il existe C > 0 indépendant de G tel que
kGk∞ 6 kG00 k∞ + C (|G(0)| + |G(1)|)

or on a G(0) = F(1) = fn (1) = 0 et de même G(1) = 0

X

n=1
d'où kGk∞ 6 kG00 k∞ . Par ailleurs, on a
−1
∀t ∈ [0, 1], G00 (t) = F00 (t + 1) =
1 + 2(t+1)2
1 1 1
d'où ∀t ∈ [0, 1], |G00 (t)| = 6 = . Ainsi
1 + 2(t+1)2 1 + 2(0+1)2 3
1
∀t ∈ [0, 1], |G(t)| 6 kGk∞ 6 kG00 k∞ 6
3

1
D'où ∀x ∈ [1, 2], |F(x)| = |G(x − 1)| 6
3

5/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

III Convergence d'une série aléatoire de Rademacher

III.A - Construction de la suite (φ(j))j∈N et majoration de P (Aj )

+∞
Q 18. Comme la série a2n converge, la suite des restes converges vers 0 : a2n −−−−→ 0.
P P
n=p p→+∞

Soit j ∈ N. Cela nous fournit ψ(j) ∈ N tel que

+∞
X 1
∀k ∈ N, k > ψ(j) =⇒ a2n 6
n=p
8j

On construit alors φ par :

ϕ(0) = ψ(0) et la relation de récurrence : ∀n ∈ N∗ , φ(n) = 1 + max{ψ(n), φ(0), . . . , φ(n − 1)}
+∞
Ainsi la suite φ est bien strictement croissante et ∀j ∈ N, a2n 6 1
P
8j
n>φ(j)

Q 19. Chaque Xn admet un moment d'ordre 2 car bornée

d'où par linéarité, les Sn admettent un moment d'ordre 2.
φ(j+1)
On a Sφ(j+1) − Sφ(j) = an Xn .
P
n=φ(j)+1
Pour n ∈ N, on a E(Xn ) = 0 et V(Xn ) = E(X2n ) − E(Xn )2 = E(1) − 02 = 1
Par linéarité, on a :
φ(j+1)

X
E Sφ(j+1) − Sφ(j) = an E (Xn ) = 0
n=φ(j)+1

Comme les Xn sont deux à deux indépendants, il en est de même des an Xn par le lemme des coalitions.
On a donc
φ(j+1) φ(j+1)
X X
a2n V(Xn )


V Sφ(j+1) − Sφ(j) = V(an Xn ) =
n=φ(j)+1 n=φ(j)+1

φ(j+1)
Ainsi E Sφ(j+1) − Sφ(j) = 0 et V Sφ(j+1) − Sφ(j) = a2n


P
n=φ(j)+1

Q 20. On utilise l'inégalité de Pafnouty et de Jules-Irénée, avec 2−j > 0 :

V Sφ(j+1) − Sφ(j)
P Sφ(j+1) − Sφ(j) − E Sφ(j+1) − Sφ(j)  > 2−j 6


(2−j )2
donc selon Q19 : X
P Sφ(j+1) − Sφ(j)  > 2−j 6 22j a2n
 

n>φ(j)

Ainsi par dénition de Aj et avec Q18, on a la majoration P (Aj ) 6 2−j

6/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

III.B - Inégalité maximale de Lévy P (Bj ) 6 2P (Aj )

Q 21. Soit j ∈ N.
⊃ : Soit m ∈ [[φ(j) + 1, φ(j + 1)]]. On remarque que
 
φ(j+1)
\ m−1
et Bj,m = Sm − Sφ(j)  > 2−j
[ \ 
Sn − Sφ(j)  > 2−j Sn − Sφ(j)  6 2−j 
    
Bj = 
n=φ(j)+1 n=φ(j)

d'où Bj,m ⊂ Bj . D'où

[
Bj,m ⊂ Bj
φ(j)<m6φ(j+1)

⊂ : Soit ω ∈ Bj .
Alors l'ensemble n ∈ [[φ(j) + 1, φ(j + 1)]]  Sn (ω) − Sφ(j) (ω) > 2−j est une partie non vide de N majo-
  

rée par φ(j + 1). Cet ensemble admet donc un maximum que je note m de sorte que

m ∈ [[φ(j) + 1, φ(j + 1)]] et ∀n ∈ [[φ(j), m − 1]], Sn (ω) − Sφ(j) (ω) 6 2−j

 

Ainsi ω ∈ Bj,m . On a prouvé :

[

φ(j)<m6φ(j+1)

[
Bj ⊂ Bj,m
φ(j)<m6φ(j+1)

disjoints deux à deux : Soit m, m0 ∈ N tels que φ(j) < m < m0 6 φ(j + 1).
On a alors
Bj,m ⊂ Sm − Sφ(j)  > 2−j et Bj,m0 ⊂ Sm − Sφ(j)  6 2−j
   

D'où \
Bj,m Bj,m0 = ∅

Ainsi les évènements Bj,m , pour m parcourant [[φ(j) + 1, φ(j + 1)]], sont disjoints deux à deux

et on a l'égalité d'évènements Bj =
[
Bj,m
φ(j)<m6φ(j+1)

Q 22. À l'aide de l'expression de Bj (Q21), on a :

Aj = Sφ(j+1) − Sφ(j)  > 2−j ⊂ Bj

 

donc à l'aide du résultat précédent

[
Aj = Aj ∩ Bj = (Aj ∩ Bj,m )
φ(j)<m6φ(j+1)

φ(j+1)
Comme la réunion est disjointe (Q21), on a bien la formule P (Aj ) =
P
P (Aj ∩ Bj,m )
m=φ(j)+1

7/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

(  )
 φ(j+1) m 
Q 23. Soit α ∈ R. On a αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j = α Xn an  > 2−j
  P P
Xn a n +
 
 n=m+1 n=φ(j)+1 
(  ) (  )! (  )
 φ(j)
 m m−1 k
 P   P  
et Bj,m =  Xn an  > 2−j Xn an  6 2−j car  Xn an  6 2−j = Ω
 T T    P 

n=φ(j)+1  k=φ(j)+1 n=φ(j)+1  n=φ(j)+1 
On peut alors trouver une partie Eα de {−1, 1}φ(j+1)−φ(j) tel que
αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j ∩ Bj,m = Xφ(j)+1 , . . . , Xφ(j+1) ∈ E
  

Soit e = eφ(j)+1 , . . . , eφ(j+1) ∈ {−1, 1}φ(j+1)−φ(j) .

Par ailleurs, par indépendance mutuelle des Xi , on a

φ(j+1)


Y 1 1
P Xφ(j)+1 , . . . , Xφ(j+1) = e = P ({Xi = ei }) = =  
2φ(j+1)−φ(j) {−1, 1}φ(j+1)−φ(j) 
i=φ(j)+1

Ainsi le vecteur Xφ(j)+1 , . . . , Xφ(j+1) suit la loi uniforme sur {−1, 1}φ(j+1)−φ(j) . D'où



|Eα |
PXφ(j)+1 , . . . , Xφ(j+1) ∈ Eα =  
{−1, 1}φ(j+1)−φ(j) 

d'où 2φ(j+1)−φ(j) P αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j ∩ Bj,m = |Eα |

 

Ainsi la fonction α 7→ 2φ(j+1)−φ(j) P αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j ∩ Bj,m est à valeurs dans N
 

Par ailleurs, on remarque que

eφ(j)+1 , . . . , em , em+1 , . . . , eφ(j+1) ∈ Eα ⇐⇒ eφ(j)+1 , . . . , em , −em+1 , . . . , −eφ(j+1) ∈ E−α

Ainsi l'application eφ(j)+1 , . . . , em , em+1 , . . . , eφ(j+1) ∈ Eα 7→ eφ(j)+1 , . . . , em , −em+1 , . . . , −eφ(j+1) ∈ E−α

est bijective.
D'où |Eα | = |E−α | d'où la fonction à valeurs entières est paire
Soit m ∈ [[φ(j) + 1, φ(j + 1)]]. Soit ω ∈ Bj,m . On a alors Sm (ω) − Sφ(j) (ω) > 2−j .
 
Q 24.
Si Sφ(j+1) (ω) − Sm (ω) est du même signe de que Sm (ω) − Sφ(j) (ω) alors :
1 · Sφ(j+1) (ω) − 1 · Sm (ω) + Sm (ω) − Sφ(j) (ω) > 2−j
Sinon on a : (−1) · Sφ(j+1) (ω) − (−1) · Sm (ω) + Sm (ω) − Sφ(j) (ω) > 2−j .
 

On a ainsi prouvé que :

[
αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j
 
Bj,m ⊂
α∈{−1,1}

Ainsi Bj,m ⊂ αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j T Bj,m

S  

α∈{−1,1}
Avec Q21, on obtient
[  \ 
αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j

Bj ⊂ Bj,m
α∈{−1,1}
φ(j)+16m6φ(j+1)

Selon les termes étranges de l'énoncé, on montré que :

si l'évènement Bj se réalise, alors il existe m ∈ [[φ(j) + 1, φ(j + 1)]] et α ∈ {−1, +1} tels que

l'évènement αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j ∩ Bj,m se réalise également

 

8/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

Q 25. En utilisant l'inclusion de la question précédente, la formule de Boole donne :

X  \ 
αSφ(j+1) − αSm + Sm − Sφ(j)  > 2−j

P (Bj ) 6 P Bj,m
α∈{−1,1}
φ(j)+16m6φ(j+1)

En utilisant la parité de la fonction de Q23, on a (en gardant α = 1) :

φ(j+1)   φ(j+1)  \ 
X \ X
P Sφ(j+1) − Sφ(j)  > 2−j

P (Bj ) 6 2 Bj,m = 2 P Aj Bj,m
m=φ(j)+1 m=φ(j)+1

À l'aide de Q22, on conclut que P (Bj ) 6 2P (Aj )

P
III.C - Convergence de la série aléatoire X n an
Q 26. Soit J ∈ N. On utilise à nouveau la formule de Boole puis Q25 et enn Q20, par calcul dans [0, +∞], on a :
 
[ +∞
X +∞
X +∞
X
0 6 P Bj  6 P (Bj ) 6 2 P (Aj ) 6 2 2−j = 2−J+2
j>J j=J j=J j=J

Par théorème des gendarmes, on a :  

[
P Bj  −−−−→ 0
J→+∞
j>J
S 
La suite d'événements j>J Bj est décroissante pour l'inclusion.
J∈N
Ainsi par continuité décroissante, on a
   
[ \ [
P Bj  −−−−→ P  Bj  = P(B)
J→+∞
j>J J∈N j>J

L'unicité de la limite nous donne l'égalité P(B) = 0

Q 27. On a l'égalité entre les événements :

ω ∈ Ω  ∃J ∈ N, ∀j > J, ∀n ∈ [[φ(j) + 1, φ(j + 1)]], Sn (ω) − Sφ(j) (ω) 6 2−j

   

et
φ(j+1)
[ \ [ [ \
Sn − Sφ(j)  6 2−j =
 
Bj = B
J∈N j>J n=φ(j)+1 J∈N j>J

Comme P B = 1 − P(B), on peut conclure avec Q26 et les termes du poète (zeugma) :

l'évènement ∃J ∈ N, Sn − Sφ(j)  6 2−j se réalise avec probabilité 1

  
∀j > J, ∀n ∈ [[φ(j) + 1, φ(j + 1)]],

9/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

Q 28. Soit ω ∈ B. Cela nous fournit J ∈ N tel que

∀j > J, ∀n ∈ [[φ(j) + 1, φ(j + 1)]], Sn (ω) − Sφ(j) (ω) 6 2−j
 

Par conséquent, on a :
∀j > J, Sφ(j+1) (ω) − Sφ(j) (ω) 6 2−j
 

Par comparaison à la série géométriqueP  2−j à termes positifs convergente,

P
la série Sφ(j+1) (ω) − Sφ(j) (ω) converge
D'où la série Sφ(j+1) (ω) − Sφ(j) (ω) converge absolument donc converge
P

Ainsi la suite Sφ(j) (ω) j∈N converge (série télescopique)

n o
D'où ω ∈ la suite Sφ(j) j∈N est convergente


n o
On a montré que B ⊂ la suite Sφ(j) j∈N est convergente .

n o
Avec Q27 :  l'évènement  la suite Sφ(j) est convergente a également une probabilité 1


j∈N

On n'a pas montré que cet ensemble était un événement et ce point n'est pas un attendu de ce sujet. Faisable

mais pas facilement sans indication.

Q 29.Soit ω ∈ B. Il s'agit d'établir que la suite de sommes partielles (Sn (ω))n>0 converge.
On sait que la suite Sφ(j) (ω) j∈N est convergente d'après la question précédente.

L'égalité de B et de l'évènement de Q27, nous fournit J ∈ N tel que

∀j > J, ∀n ∈ [[φ(j) + 1, φ(j + 1)]], Sn (ω) − Sφ(j) (ω) 6 2−j
 

Soit n > φ(0) + 1. Comme φ est une suite strictement croissante d'entiers naturels selon Q18,
On peut alors poser jn = max {j ∈ N | φ(j) + 1 6 n } (partie majorée non vide de N)
On a ainsi ϕ(jn ) + 1 6 n < ϕ(jn + 1) + 1 donc n ∈ [[ϕ(jn ) + 1, ϕ(jn + 1)]].
On montre facilement que (jn ) est croissante non majorée ainsi
jn −−−−−→ +∞
n→+∞

jn .
On n'est pas obligé de détailler autant pour

Cela nous fournit N > φ(0) + 1 tel que jN > J. Soit alors n > N. On a
Sn (ω) = Sφ(jn ) (ω) + Sn (ω) − Sφ(jn ) (ω)

Comme 2−jn −−−−−→ 0, alors Sn (ω) − Sφ(jn ) (ω) −−−−−→ 0

n→+∞ n→+∞
Par somme de suites convergentes, la suite de sommes partielles (Sn (ω))n>0 converge
On peut conclure que  l'évènement  { la série Xn an est convergente } a une probabilité 1
P

IV Dérivation CK pour des séries aléatoires de fonctions

Q 30.On considère une série de réels an absolument convergente.

P

On a alors |an | −−−−−→ 0, d'où a2n = |an |2 = o (|an |).

n→+∞ n→+∞
Ainsi par comparaison de séries à termes positifs, la série a2n converge
P

Cela permet d'établir que l'hypothèse (H2) implique (H2')

10/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

Q 31.Soit ` ∈ [[1, K]]. La suite réelle (fn (x` ))n∈N est telle que la série fn (x` )2 converge.
P

En appliquant la partie III (Q29), l'événement { la série Xn fn (x` ) est convergente } est de probabilité 1.
P

Une intersection nie ou dénombrable d'événements presque sûr étant un événement presque sûr, on conclut
que :

K n o
l'évènement la série Xn fn (x` ) est convergente a une probabilité 1
\ X

`=1

Q 32.Soit ω ∈ Ω.
Pour n ∈ N. Je note gn = Xn (ω) (fn − Pn ).
On a Pn ∈ C K ([0, 1]) et P(K)
n = 0 car Pn ∈ RK−1 [X].
Ainsi gn ∈ C ([0, 1]) et ∀k ∈ [[1, K]], gn(k) = Xn (ω)
K
(fn − Pn ) et gn = Xn (ω)fn .
(k) (K) (K)

Ainsi comme Xn (ω) ∈ {−1, 1}, on a gn = fn (fonctions continues sur un segment).

(K) (K)
∞ ∞
Comme la série de fonctions fn converge normalement sur [0, 1],
(K)P

alors la série
fn = gn converge
P (K) P (K)
∞ ∞
d'où la série de fonctions gn(K) converge normalement sur [0, 1].
P

Ainsi la suite (gn ) vérie l'hypothèse (H1) de la sous-partie IIA.

Pour tout ` ∈ [[1, K]], on a convergence absolue de gn (x` ) car ∀n ∈ N, gn (x` ) = fn (x` ) − Pn (x` ) = 0.
P

Ainsi la suite (gn ) vérie l'hypothèse (H2) de la sous-partie IIA.

On en déduit avec Q11 et Q13 que
 pour tout k ∈ [[0, K]], la série de fonctions gn(k) converge normalement donc uniformément sur [0, 1] ;
P
+∞
 la fonction somme G : x 7→ gn (x) est de classe C K sur [0, 1] ;
X

n=0
+∞
 pour tout k ∈ [[0, K]], G gn(k) (x).
X
(k)
: x 7→
n=0

On en déduit que l'événement qui suit est certain donc de probabilité 1 :


pour tout k ∈ [[0, K]], la série de fonctions Xn (fn − Pn )(k) est uniformément convergente sur [0, 1],
P 

 

 la fonction +∞

 

Xn (fn − Pn ) est de classe C K ,
 P 

n=0

  +∞ (k) +∞ 

 pour tout k ∈ [[0, K]], Xn (fn − Pn )(k)
 P P 
Xn (fn − Pn ) =

 


n=0 n=0

Q 33. Il nous sut de montrer que l'intersection des événements des 31 et 32 est inclus dans celui proposé dans
cette question. On se donne donc ω ∈ Ω tel que

pour tout ` ∈ [[1, K]], la série réelle Xn (ω)fn (x` ) converge

X

et tel que ω est dans l'événement de la question 32 (ce qui, en réalité, est toujours vérié).

On pose gn = Xn (ω)fn et, en adoptant les mêmes notations que dans la question précédente, on remarque que
gn = Xn (ω)Pn + Xn (ω)(f − Pn )

11/12
MP 2022 Un corrigé de Mathématiques 2 Concours Centrale

- Par choix de ω , Xn (ω)(f − Pn ) est le terme général d'une série qui converge uniformément sur [0, 1] ainsi
que toutes ses dérivées jusqu'à l'ordre K. De plus, la somme de la série est de classe C K et on obtient ses
dérivées en dérivant terme à terme.
- On veut maintenant obtenir la même propriété pour la série de fonctions de terme général Qn = Xn (ω)Pn .
Montrons que l'on peut appliquer le théorème de régularité des sommes de séries de fonctions.
K
(i) En utilisant les notations de la question 7, on a Qn = Xn (ω)fn (xj )Lj qui dénit une fonction
P
j=1
(polynomiale de degré 6 K − 1) de classe C K et
K
(k)
X
∀k ∈ [[0, K]], Q(k)
n = Xn (ω)fn (xj )Lj
j=1

(ii) Comme les séries Xn (ω)fn (x` ) convergent, alors pour tout k ∈ [[0, K]], la série de fonctions (k)
P P
Qn
converge simplement sur [0, 1].
(iii) Q(K)
n = 0 est le terme général d'une série qui converge uniformément sur [0, 1].
∞
Avec (i), (ii) et (iii), le théorème du cours s'applique, on obtient que x 7→ Qn (x) est de classe C K sur
P
n=0
[0, 1], que ses dérivées s'obtiennent en dérivant terme à terme ET que toutes les séries dérivées intermé-
diaires convergent uniformément sur [0, 1]. (cerise sur le gâteau du théorème )
On en déduit alors que la même propriété est vraie pour gn et on a montré que
l'évènement proposé est presque sûr
Q 34.Soit K ∈ N∗ . (à déterminer)
On considère des réels distincts x1 < · · · < xK de [0, 1].
Soit ` ∈ [[1, K]] tel que x` 6= 0. Quand n −→ +∞, on a xn` −→ 0 donc sin x` x`


n ∼ n
Ainsi fn (x` ) = ln 1 + sin xn` ∼ sin xn` ∼ xn`




x2
D'où fn (x` )2 ∼ n`2
Par comparaison de séries à termes positifs la série fn (x` )2 converge et ceci est valable si x` = 0
P

Les fonctions fn sont de classe C ∞ par théorèmes généraux.

donc la série de fonctions fn de classe C K sur [0, 1] vérie l'hypothèse (H2).
P

Pour vérier l'hypothèse (H1), il sut de trouver l'exemple d'un K ∈ N∗ tel que la série de fonctions fn(K)
P
converge normalement sur [0, 1].
cos nx cos nx



1
Soit x ∈ [0, 1]. On a fn0 (x) = = ·
n 1 + sin nx n 1 + sin nx

1 −1 x
1 + sin nx − n1 cos2 nx −1 sin nx + sin2 nx + cos2 nx








n sin n
donc fn (x) = ·
00


2 = 2

2 d'où
n 1 + sin nx n 1 + sin nx
x


∗  00
  1 sin n +1 2
∀x ∈ [0, 1], ∀n ∈ N , fn (x) = 2

6 2
n 1 + sin x 2 n
n

or la série converge donc la série de fonctions fn converge normalement sur [0, 1].
P 2 P 00
n2
Ainsi pour K = 2, l'évènement précédent se réalise avec les fonctions fn dénies par :

f0 = 0
fn (x) = ln 1 + sin nx ∀n ∈ N? , ∀x ∈ [0, 1]

On peut remarquer que la série numérique fn (x) diverge pour tout x ∈ ]0, 1].
P

12/12