Inégalité de Jackson

En théorie de l'approximation, l'inégalité de Jackson est une inégalité bornant l'erreur commise par la meilleure approximation d'une fonction par des polynômes algébriques ou trigonométriques en termes du module de continuité ou du module de régularité de la fonction ou de ses dérivées. De manière informelle, l'inégalité traduit le fait plus la fonction est lisse, mieux elle peut être approchée par des polynômes.

Énoncé : polynômes trigonométriques

Pour les polynômes trigonométriques, le résultat suivant a été démontré par Dunham Jackson :

Théorème 1 : Si $f:[0,2\pi ]\to ℂ$ est une fonction périodique différentiable r fois telle que

$|f^{(r)}(x)|\le 1,x\in [0,2\pi ],$

alors, pour chaque entier strictement positif $n$, il existe un polynôme trigonométrique $T_{n-1}$ de degré au plus $n-1$ tel que

$|f(x)-T_{n-1}(x)|\le \frac{C(r)}{n^r},x\in [0,2\pi ],$

où $C(r)$ dépend uniquement de $r$.

Le théorème d'Akhiezer-Krein-Favard donne la valeur exacte de $C(r)$ (appelée constante d'Akhiezer-Krein-Favard ) :

$C(r)=\frac{4}{\pi }\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^{k(r+1)}}{(2k+1{)}^{r+1}}.$

Jackson a également prouvé la généralisation suivante du théorème précédent :

Théorème 2 : On peut trouver un polynôme trigonométrique $T_n$ de degré $\le n$ tel que

$|f(x)-T_n(x)|\le \frac{C(r)\omega (\frac{1}{n},f^{(r)})}{n^r},x\in [0,2\pi ],$

où $\omega (\delta ,g)$ désigne le module de continuité de la fonction $g$ avec le pas $\delta .$

Un résultat encore plus général de quatre auteurs peut être formulé comme le théorème de type Jackson suivant.

Théorème 3 : Pour tout entier $n$ positif, si $f$ est une fonction $2\pi$-périodique, il existe un polynôme trigonométrique $T_n$ de degré $\le n$ tel que

$|f(x)-T_n(x)|\le c(k){\omega }_k(\frac{1}{n},f),x\in [0,2\pi ],$

où la constante $c(k)$ dépend de $k\in \mathbb{N},$ et ${\omega }_k$ est le module de régularité d'ordre k.

Pour $k=1$ ce résultat a été prouvé par Dunham Jackson. Antoni Zygmund a prouvé l'inégalité dans le cas où $k=2,{\omega }_2(t,f)\le ct,t>0$ en 1945. Naum Akhiezer a prouvé le théorème dans le cas $k=2$ en 1956. Pour $k>2$ ce résultat a été établi par Sergey Stechkin en 1967.

Remarques complémentaires

Les généralisations et les extensions sont appelées théorèmes de type Jackson. L'inverse de l'inégalité de Jackson est donné par le théorème de Bernstein. Voir également théorie de la fonction constructive.

Liens externes

• Modèle:MathWorld