16.08.2013 Views

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

SHOW MORE
SHOW LESS

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 />

.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!