Proposition 1Espaces de fonctions continues
Polynômes de Bernstein
Soit et un entier. Le polynôme de Bernstein d'indice de est la fonction polynomiale où , les étant les coefficients binomiaux (Binôme de Newton) et même pour .
(i) Pour , les poids sont positifs, et
(ii) L'application est linéaire et positive : si , alors . Elle laisse fixes les fonctions affines, et , .
(iii) Si est -lipschitzienne, alors, pour tout ,
Démonstration
(i) Chaque poids est un produit de facteurs positifs, un entier naturel, et , puisque et sont positifs : il est positif. Le binôme de Newton dans (Binôme de Newton, (ii)), appliqué à et , donne , pour tout .
Pour , la relation du même nœud, (i), écrite aux rangs et , donne , d'où et, en sommant sur de à , .
De même, pour et , deux applications de cette relation donnent , d'où , égalité vraie aussi pour , où les deux membres sont nuls. En développant ,
(ii) La linéarité et la positivité viennent de la formule et de (i). Pour la fonction constante , , et pour , . Enfin vaut pour et sinon, et de même en pour .
(iii) Fixons et posons . Par (i),
Soit . Comme les poids sont positifs, de somme , et le dernier point de (i), divisé par , donne . Enfin .
□Pour , qui est -lipschitzienne, l'écart maximal est atteint en . On calcule exactement et , pour des majorations égales à et .
Le produit de l'écart par vaut pour et pour : il se stabilise, et l'ordre de la majoration est le bon pour cette fonction. Multiplier le degré par ne divise l'erreur que par .
Pour une fonction moins régulière, l'estimation se dégrade. La fonction vérifie , puisque, pour , .
L'argument de (iii), appliqué deux fois, donne alors , soit pour et pour . Les écarts réels, mesurés numériquement, sont bien plus petits, et , atteints près de : la majoration générale est pessimiste.
Le poids est la probabilité d'obtenir succès en épreuves indépendantes de probabilité , et (i) donne l'espérance et la variance du nombre de succès : c'est la lecture probabiliste de S. Bernstein (« Démonstration du théorème de Weierstrass fondée sur le calcul des probabilités », Communications de la Société mathématique de Kharkov (2) 13, 1912, p. 1-2), reprise au nœud Loi faible des grands nombres. Ici, aucune probabilité n'intervient : ce sont des identités entre polynômes.