Suites et séries de fonctions Cours complet - CPGE Dupuy de Lôme
Suites et séries de fonctions Cours complet - CPGE Dupuy de Lôme
Suites et séries de fonctions Cours complet - CPGE Dupuy de Lôme
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
n ⎛n<br />
⎞ ⎛ k ⎞ k<br />
n−k<br />
Soit f continue sur [0,1], <strong>et</strong> pour n ∈ , Bn(f) = ∑ ⎜ ⎟.<br />
f ⎜ ⎟.<br />
X .( 1−<br />
X)<br />
, (polynômes <strong>de</strong> Bernstein).<br />
k=<br />
0 ⎝k<br />
⎠ ⎝ n ⎠<br />
Puisque f est continue sur [0,1], elle y est uniformément continue (cf le théorème dans la démonstration<br />
précé<strong>de</strong>nte).<br />
ε<br />
).<br />
Donc, pour : ε > 0, fixé, il existe : η > 0, tel que : ∀ (u,v) ∈ [0,1] 2 , (|u – v| ≤ η) ⇒ (|f(u) – f(v)| ≤ 2<br />
n ⎛n<br />
⎞ k<br />
n−k<br />
En utilisant la remarque : ∀ x ∈ [0,1], ∑ ⎜ ⎟.<br />
x .( 1−<br />
x)<br />
= (x + (1 – x))<br />
k=<br />
0 ⎝k<br />
⎠<br />
n = 1, on alors peut écrire :<br />
n ⎛n<br />
n<br />
⎞ ⎡ ⎛ k ⎞⎤<br />
k<br />
n−k<br />
⎛n<br />
⎞ ⎛ k ⎞ k<br />
n<br />
∀ x ∈ [0,1], |f(x) – Bn(f)(x)| = ∑⎜<br />
⎟.<br />
⎢f<br />
( x)<br />
− f ⎜ ⎟⎥.<br />
x .( 1−<br />
x)<br />
≤ ∑⎜<br />
⎟.<br />
f ( x)<br />
− f ⎜ ⎟.<br />
x .( 1−<br />
x)<br />
k=<br />
0 ⎝k<br />
⎠ ⎣ ⎝ n ⎠⎦<br />
k=<br />
0 ⎝k<br />
⎠ ⎝ n ⎠<br />
Pour x donné dans [0,1], on réalise alors la partition <strong>de</strong> {0, …, n} en :<br />
k<br />
k<br />
E1 = {k ∈ {0, …, n}, x − ≤ η}, <strong>et</strong> : E2 = {k ∈ {0, …, n}, x − > η}.<br />
n<br />
n<br />
Alors :<br />
k<br />
⎛ k ⎞ ε<br />
• ∀ k ∈ E1, x − ≤ η, <strong>et</strong> donc : f ( x)<br />
− f ⎜ ⎟ ≤ , d’où :<br />
n<br />
⎝ n ⎠ 2<br />
n<br />
n<br />
n<br />
⎛ ⎞ ⎛ k ⎞ k<br />
n−k<br />
ε ⎛ ⎞ k<br />
n−k<br />
ε ⎛n<br />
⎞ k<br />
n−k<br />
ε<br />
S1 = ∑⎜<br />
⎟.<br />
f ( x)<br />
− f ⎜ ⎟.<br />
x .( 1−<br />
x)<br />
≤ . ∑⎜<br />
⎟.<br />
x .( 1−<br />
x)<br />
≤ . ∑⎜<br />
⎟.<br />
x .( 1−<br />
x)<br />
= ,<br />
k∈E<br />
k n<br />
2 k E k<br />
2 k 0 k<br />
2<br />
1⎝<br />
⎠ ⎝ ⎠<br />
∈ 1⎝<br />
⎠<br />
= ⎝ ⎠<br />
2<br />
k<br />
• ∀ k ∈ E2, η < x − , donc : η<br />
n<br />
2 ⎛ k ⎞<br />
≤ ⎜ x − ⎟ , d’où :<br />
⎝ n ⎠<br />
⎛n<br />
⎞ ⎛ k ⎞ k<br />
n−k<br />
2.<br />
N ∞ ( f ) ⎛n<br />
⎞ 2 k<br />
n−k<br />
S2 = ∑⎜<br />
⎟.<br />
f ( x)<br />
− f ⎜ ⎟.<br />
x .( 1−<br />
x)<br />
≤ . ∑⎜<br />
⎟.<br />
η . x .( 1−<br />
x)<br />
,<br />
2<br />
k∈E<br />
⎝k<br />
⎠ ⎝ n ⎠<br />
η<br />
2<br />
k∈E<br />
2⎝<br />
k⎠<br />
en notant N∞(f) le sup <strong>de</strong> |f| sur [0,1], <strong>et</strong> donc :<br />
2<br />
n<br />
n<br />
2<br />
2.<br />
N<br />
n<br />
∞ ( f ) ⎛ ⎞ ⎛ k ⎞ k<br />
n−k<br />
2.<br />
N ∞ ( f ) ⎛ ⎞ ⎛ k ⎞ k<br />
n−k<br />
2.<br />
N ∞ ( f )<br />
S2 ≤ . . x . x .( 1 x)<br />
. . x . x .( 1−<br />
x)<br />
= .<br />
2 ∑⎜<br />
⎟ ⎜ − ⎟ − ≤<br />
⎜ ⎟<br />
2 ∑ ⎜ − ⎟<br />
S’2.<br />
2<br />
η k∈E<br />
k n<br />
η k 0 k n<br />
η<br />
2⎝<br />
⎠ ⎝ ⎠<br />
= ⎝ ⎠ ⎝ ⎠<br />
On va maintenant majorer c<strong>et</strong>te <strong>de</strong>rnière somme.<br />
Pour cela, on développe en :<br />
n<br />
n<br />
n<br />
2 ⎛n<br />
⎞ k<br />
n−k<br />
2.<br />
x ⎛n<br />
⎞ k<br />
n−k<br />
1 ⎛n<br />
⎞ 2 k<br />
n−k<br />
S’2 = x . ∑⎜<br />
⎟.<br />
x .( 1−<br />
x)<br />
− . ∑⎜<br />
⎟.<br />
k.<br />
x .( 1−<br />
x)<br />
+ . ∑⎜<br />
⎟.<br />
k . x .( 1−<br />
x)<br />
.<br />
2<br />
k=<br />
0 ⎝k<br />
⎠<br />
n k=<br />
0 ⎝k<br />
⎠<br />
n k=<br />
0 ⎝k<br />
⎠<br />
En dérivant alors par rapport à x puis en multipliant par x l’égalité : (x + y) n n ⎛n<br />
⎞ k n−k<br />
= ∑ ⎜ ⎟.<br />
x . y , on obtient :<br />
k=<br />
0 ⎝k<br />
⎠<br />
n.x.(x + y) n-1 n ⎛n<br />
n<br />
⎞ k n−k<br />
⎛n<br />
⎞ k<br />
n−k<br />
= ∑ ⎜ ⎟.<br />
k.<br />
x . y , puis on remplace y par (1 – x) <strong>et</strong> : ∑ ⎜ ⎟.<br />
k.<br />
x .( 1−<br />
x)<br />
= n.<br />
x .<br />
k=<br />
0 ⎝k<br />
⎠<br />
k=<br />
0 ⎝k<br />
⎠<br />
En dérivant à nouveau par rapport à x, puis en remultipliant par x la première égalité, on obtient encore :<br />
n.x.(n.x + y).(x + y) n-2 n ⎛n<br />
⎞ 2 k n−k<br />
= ∑ ⎜ ⎟.<br />
k . x . y , ce qui donne, en remplaçant encore y par (1 – x) :<br />
k=<br />
0 ⎝k<br />
⎠<br />
n ⎛n<br />
⎞ 2 k<br />
n−k<br />
∑ ⎜ ⎟.<br />
k . x .( 1−<br />
x)<br />
= n.x.(1 + (n – 1).x).<br />
k=<br />
0 ⎝k<br />
⎠<br />
x.( 1−<br />
x)<br />
En remplaçant toutes ces quantités dans S’2, cela donne finalement : S’2 = .<br />
x.(<br />
1−<br />
x)<br />
1<br />
Etant donné <strong>de</strong> plus que : ∀ x ∈ [0,1], ≤ , on obtient :<br />
n 4<br />
ε N ∞<br />
( f )<br />
∀ n ∈ *, ∀ x ∈ [0,1], |f(x) – Bn(f)(x)| ≤ + . 2<br />
2 2.<br />
η . n<br />
Chapitre 07 – <strong>Suites</strong> <strong>et</strong> <strong>séries</strong> <strong>de</strong> <strong>fonctions</strong> – cours compl<strong>et</strong>. - 10 -<br />
n<br />
−k<br />
.