Approximation de Korovkin

Le théorème d'approximation de Korovkin est un résultat d'analyse fonctionnelle découvert par Pavel Korovkin (en) dans les années 1950[1]^,[2]. Il permet de se contenter, pour démontrer que certains processus d'approximation convergent pour toutes les fonctions considérées, de le vérifier pour un ensemble fini d'entre elles. Il unifie ainsi divers procédés comme celui de Bernstein[3], qui fournit l'une des preuves du théorème de Weierstrass. Élémentaire mais fructueux, il est à l'origine d'une branche active de la théorie constructive de l'approximation[4]^,[5].

Énoncé

Soient C([a, b]) l'espace des fonctions réelles continues sur un segment réel [a, b], et (P_n) une suite d'opérateurs linéaires positifs (en) de C([a, b]) dans C([a, b])[6]. Si P_n(f) converge uniformément sur [a, b] vers f pour les trois fonctions monomiales f₀(x) = 1, f₁(x) = x et f₂(x) = x², alors il en est de même pour toute fonction f de C([a, b])[7]^,[8].

Démonstration

Soit $f$ une fonction continue sur $[a, b]$ . Montrons[7]^,[9] que la suite des fonctions $P n (f)$ converge uniformément vers $f$ sur $[a, b]$ . Fixons un réel $ε > 0$ .

L'application $f$ , continue sur le compact $[a, b]$ , est :

uniformément continue (d'après le théorème de Heine). Il existe donc $η > 0$ tel que $\forall x,y\in [a,b]\quad (|y-x|<\eta \Rightarrow |f(y)-f(x)|<\varepsilon )$ ;
bornée (d'après le théorème des bornes). Notons $M$ un majorant de | $f$ |.

Soit $x \in [a, b]$ . Pour tout $y \in [a, b]$ , on a :

si $| y - x | < η$ alors $| f (y) - f (x)| < ε$ ;
si $| y - x | \geq η$ alors $| f (y) - f (x)| \leq 2 M \leq 2 M (y - x) 2 /η 2$ .

La valeur $f (y)$ est donc toujours comprise entre $g_{x}(y):=f(x)-\varepsilon -{\frac {2M(y-x)^{2}}{\eta ^{2}}}\quad {\rm {et}}\quad d_{x}(y):=f(x)+\varepsilon +{\frac {2M(y-x)^{2}}{\eta ^{2}}}.$ Par positivité des opérateurs $P n$ , on en déduit que $P_{n}(g_{x})\leq P_{n}(f)\leq P_{n}(d_{x}).$ Or $g x$ et $d x$ sont des polynômes du second degré — c'est-à-dire des combinaisons linéaires de $f 2$ , $f 1$ et $f 0$ — donc (par hypothèse sur les $P n$ ) $P_{n}(g_{x})\to g_{x}\quad {\rm {et}}\quad P_{n}(d_{x})\to d_{x},$ uniformément sur $[a, b]$ . De plus, puisque les coefficients de ces deux combinaisons linéaires sont des fonctions bornées de $x \in [a, b]$ , la convergence est également uniforme par rapport à $x$ . Il existe donc $N$ tel que pour tout $n \geq N$ et tous $x, y \in [a, b]$ : $|P_{n}(g_{x})(y)-g_{x}(y)|\leq \varepsilon \quad {\rm {et}}\quad |P_{n}(d_{x})(y)-d_{x}(y)|\leq \varepsilon ,$ en particulier : $|P_{n}(g_{x})(x)-(f(x)-\varepsilon )|\leq \varepsilon \quad {\rm {et}}\quad |P_{n}(d_{x})(x)-(f(x)+\varepsilon )|\leq \varepsilon ,$ d'où finalement : $f(x)-2\varepsilon \leq P_{n}(g_{x})(x)\leq P_{n}(f)(x)\leq P_{n}(d_{x})(x)\leq f(x)+2\varepsilon .$ On a donc bien : $\forall \varepsilon >0\quad \exists N\quad \forall n\geq N\quad \forall x\in [a,b]\quad |P_{n}(f)(x)-f(x)|\leq 2\varepsilon .$

Notes et références

(en + ru) P. P. Korovkin, « On convergence of linear positive operators in the space of continuous functions », Dokl. Akad. Nauk SSSR (N.S.), vol. 90,‎ 1953, p. 961-964.
(en) Pavel Petrović Korovkin, Linear Operators and Approximation Theory, Hindustan Pub. Corp., 1960.
(en) Francesco Altomare, « Korovkin-type Theorems and Approximation by Positive Linear Operators », Surveys in Approximation Theory, vol. 5,‎ 2010, p. 92-164 (arXiv 1009.2601), Theorem 3.6.
Altomare 2010.
(en) Francesco Altomare et Michele Campiti, Korovkin-type Approximation Theory and Its Applications, Walter de Gruyter, 1994, 627 p. (ISBN 978-3-11-014178-8, présentation en ligne).
Ou même dans ℝ^{[a, b]} : Altomare 2010, Theorem 3.1.
(en) Allan Pinkus, « Weierstrass and approximation theory », J. Approx. Theory, vol. 107, n^o 1,‎ 2000, p. 1-66 (DOI 10.1006/jath.2000.3508), p. 58.
(en) Neal Lamar Carothers, Real analysis, CUP, 2000, 401 p. (ISBN 978-0-521-49756-5, présentation en ligne), p. 186.
Altomare 2010, Theorem 3.2, sous une forme plus générale à peu de frais.

Portail de l'analyse

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] (en + ru) P. P. Korovkin, « On convergence of linear positive operators in the space of continuous functions », Dokl. Akad. Nauk SSSR (N.S.), vol. 90,‎ 1953, p. 961-964.

[2] (en) Pavel Petrović Korovkin, Linear Operators and Approximation Theory, Hindustan Pub. Corp., 1960.

[3] (en) Francesco Altomare, « Korovkin-type Theorems and Approximation by Positive Linear Operators », Surveys in Approximation Theory, vol. 5,‎ 2010, p. 92-164 (arXiv 1009.2601), Theorem 3.6.

[4] Altomare 2010.

[5] (en) Francesco Altomare et Michele Campiti, Korovkin-type Approximation Theory and Its Applications, Walter de Gruyter, 1994, 627 p. (ISBN 978-3-11-014178-8, présentation en ligne).

[6] Ou même dans ℝ^{[a, b]} : Altomare 2010, Theorem 3.1.

[Pinkus-7] (en) Allan Pinkus, « Weierstrass and approximation theory », J. Approx. Theory, vol. 107, n^o 1,‎ 2000, p. 1-66 (DOI 10.1006/jath.2000.3508), p. 58.

[8] (en) Neal Lamar Carothers, Real analysis, CUP, 2000, 401 p. (ISBN 978-0-521-49756-5, présentation en ligne), p. 186.

[9] Altomare 2010, Theorem 3.2, sous une forme plus générale à peu de frais.