Académique Documents
Professionnel Documents
Culture Documents
1) Dfinition.
Soit f une fonction dfinie et continue sur [0, 1] valeurs dans C. Pour n entier naturel non nul donn , le n-ime polynme
de Bernstein associ f est :
n
X
k
Bn (f) =
Ckn f
Xk (1 X)nk .
n
k=0
2) Lidentit
n
X
k=0
n
X
k=0
n N ,
n
X
Ckn Xk (1 X)nk = 1.
k=0
n
X
k=0
k
Ckn Xk (1 X)nk .
n
Bn (f) =
n
X
k=0
=X
n
n
X
X
k
k
k
nk
Ckn Xk (1 X)nk =
Ck1
Ckn Xk (1 X)nk =
n1 X (1 X)
n
n
n
X
k=1
k=1
k1
Ck1
(1 X)(n1)(k1) = X
n1 X
k=1
n1
X
l=0
n N ,
n
X
k=0
k
Ckn Xk (1 X)nk = X.
n
2 me calcul. Pour n N ,
n
X
k=0
n
k
X X k k1
Ckn Xk (1 Y)nk =
Cn kX
(1 Y)nk
n
n
k=1
X d
=
n dX
http ://www.maths-france.fr
n
X
Ckn Xk (1
nk
Y)
k=0
X d
((X + 1 Y)n ) = X(X + 1 Y)n1 .
n dX
Donc
n N ,
n
X
k=0
k
Ckn Xk (1 Y)nk = X(X + 1 Y)n1 .
n
Bn (f) =
Ckn
k=0
k
n
n1
k
1 X k
k
nk
1 X (1 X)
= 2
Cn k(n k)Xk (1 X)nk .
n
n
k=1
(n 2)!
n!
= n(n 1)
= n(n 1)Ck1
n1 .
(k 1)!(n k 1)!
(k 1)!((n 2) (k 1))!
Donc
Bn (f) =
n1
n1
X
n 1 X k1 k
n1
k1
X(1 X)
Ck1
(1 X)(n2)(k1)
Cn2 X (1 X)nk =
n2 X
n
n
k=1
k=1
n1
X(1 X)
n
n2
X
Ckn2 Xk (1 X)n2k =
k=0
n1
X(1 X)(X + 1 X)n2
n
n1
X(1 X).
=
n
Lgalit prcdente restant vraie pour n = 1 :
n N ,
n
X
Ckn
k=0
k
n
k
n1
1 Xk (1 X)nk =
X(1 X).
n
n
2 me calcul.
n
X
k=0
Ckn
k
n
n1
k
1 X k
1 Xk (1 Y)nk = 2
Cn k(n k)Xk (1 Y)nk
n
n
k=1
= 2 X(1 Y)
n
X
n
X
Ckn Xk (1
nk
Y)
k=0
!!
1
1
n
X(1
Y)
((X
+
1
Y)
)
= n(n 1)) 2 X(1 Y)(X + 1 Y)n2
n2
X Y
n
n1
X(1 Y)(X + 1 Y)n2 .
=
n
Donc
n N ,
n
X
Ckn
k=0
k
n
k
n1
1 Xk (1 Y)nk =
X(1 Y)(X + 1 Y)n2 .
n
n
n
X
k=0
n
X
n
X
k=0
n
X
k=0
n
X
n
X
Ckn Xk (1 X)nk
k=0
k=0
http ://www.maths-france.fr
kCkn Xk (1 X)nk + n2 X2
k=0
k=0
= n2
n
X
n
X
kCkn Xk (1 X)nk + n2 X2
k=0
Ckn
k
n
n
X
k
k k k
1 Xk (1 X)nk n2 (2X 1)
C X (1 X)nk + n2 X2
n
n n
k=0
1
1
n1
X(1 X) (2X 1)X + X2 = n2 ( X2 + X) = nX(1 X).
Ckn (k nX)2 Xk (1 X)nk = n2
n
n
n
Finalement
n N ,
n
X
k=0
Ckn f(x) f
x (1 x)nk .
n
k=0
X
kJ
Ckn
k
x
n
2
xk (1 x)nk
n
X
k=0
Ckn
k
x
n
2
xk (1 x)nk =
1
x(1 x)
...
n
4n
existe un rel > 0 tel que (x, y) [0, 1]2 , |x y| < |f(y) f(x)| < .
2
d) Soient n un entier naturel non nul et x un rel de [0, 1].
n
X
k k
x (1 x)nk
Ckn f(x) f
n
k=0
n
X
k k
k
=
Cn f(x) f
x (1 x)nk +
n
|f(x) Bn (f)(x)|
k=0
k
|x n
|<
et donc
http ://www.maths-france.fr
n
X
k=0
k
|
|x n
Ckn
f(x) f k xk (1 x)nk
n
|f(x) Bn (f)(x)|
n
X
k=0
k
|x n
|<
Ckn xk (1 x)nk
k=0
k
|x n
|
n
2M
X k k
Cn x (1 x)nk + 2
2
k=0
n
X
Ckn xk (1 x)nk + 2M
n
X
k=0
k
|
|x n
2
k
Ckn x
xk (1 x)nk
n
2
n
2M X k
k
xk (1 x)nk
+ 2
Cn x
2
n
k=0
2M x(1 x)
= + 2
(daprs 1)),
2
n
k
(dans la deuxime somme, lingalit x scrit encore 1
n
|f(x) Bn (f)(x)|
2
k
x
n
) et donc :
2
M
2M 1/4
,
+ 2
= +
2
n
2 2n2
2
1
1
1
). En rsum, > 0 strictement positif ayant t donn, on a montr que :
(si x [0, 1], x(1 x) = x
4
2
4
x [0, 1], n N , |f(x) Bn (f)(x)|
.
+
2 2n2
M
tend vers quand n tend vers +. Par suite, il existe un entier naturel non nul n0 tel que tout entier
+
2
2 2n
2
M
< + = et donc pour tout rel x [0, 1], |f(x) Bn (f)(x)| < .
naturel n n0 , +
2 2n2
2 2
On a montr que
Or,
et donc que
4) Le thorme de Weirstrass.
Daprs 2), toute fonction continue de [0, 1] dans R ou C est limite uniforme sur [0, 1] dune suite de polynmes.
Plus gnralement, soit f une fonction continue sur un segment [a, b] et soit g la fonction dfinie sur [0, 1] par :
x [0, 1], g(x) = f((b a)x + a).
xa
)
ba
convergeant
Comme la fonction x 7 (b a)x + a est un homomorphisme de [0, 1] sur [a, b] (de rciproque la fonction x 7
et que f est continue sur [a, b], g est continue sur [0, 1]. Il existe alors une suite de polynmes (Qn )nN
uniformment vers g sur [0, 1].
Pour n dans N et x dans [a, b], posons
xa
.
Pn (x) = Qn
ba
Soit > 0. Il existe n0 N tel que pour x dans [0, 1] et n n0 , |g(x) Qn (x)| < . Mais alors, pour n n0 et x dans
[a, b],
x a
xa
|f(x) Pn (x)| = g
Qn
< .
ba
ba
xa
est dans [0, 1].
ba
On a montr que :
http ://www.maths-france.fr
car
5) Peut-on gnraliser R ?
Soit (Pn )nN une suite de polynmes convergeant uniformment sur R vers une fonction f. Nous allons montrer que f est
ncessairement un polynme.
Daprs le critre de Cauchy uniforme, il existe un entier n0 tel que pour n n0 , p n0 et x rel,
|Pn (x) Pp (x) 1,
et en particulier pour n n0 et x rel,
|Pn (x) Pn0 (x)| 1.
Pour n n0 , le polynme Pn Pn0 est born sur R et donc constant. Par suite,
n n0 , x R, Pn (x) = Pn0 (x) + Pn (0) Pn0 (0).
Quand n tend vers + x fix, on obtient :
x R, f(x) = Pn0 (x) Pn0 (0) + f(0).
On a montr que :
Si (Pn )nN est une suite de polynmes convergeant uniformment sur R vers une fonction f,
f est ncessairement un polynme.
Ce rsultat montre que les sries entires usuelles de rayons infini (de somme ex ou cos x ...) ne sont pas uniformment
convergentes sur R.
http ://www.maths-france.fr