Soit $f : [-1,1]\to \R$ une fonction continue. Considérez un réel strictement positif $\varepsilon$ fixé.
Vous allez démontrer qu’il existe un polynôme $P\in\R[X]$ tel que :
\forall x\in[-1,1], \vert f(x)-P(x)\vert \leq \varepsilon.
Utilisez la continuité uniforme de la fonction $f$
Via le théorème de Heine qui a été démontré dans l'article 192, la fonction $f$ est uniformément continue sur l’intervalle $[-1,1].$ Ainsi, il existe un réel $\delta$ strictement positif tel que :
\forall (x,y)\in[-1,1]^2, \vert x-y \vert \leq \delta \implies\vert f(x)-f(y)\vert \leq \frac{\varepsilon}{2}.
La continuité de $f$ implique aussi le caractère majoré de la fonction $\vert f\vert :$
\exists M>0, \forall x\in[-1,1], \vert f(x) \vert \leq M.
Soit $n$ un entier naturel tel que $n >2+\frac{8M}{\varepsilon \delta^2}$, afin d’obtenir $\frac{4M}{n\delta^2} < \frac{\varepsilon}{2}$ et pour avoir au moins 2 points d’interpolation.
Réalisez une interpolation de la fonction $f$ aux points de Tchebychev
Pour tout $k\in\llbracket 1, n\rrbracket$ vous posez :
x_k = \cos\frac{(2k-1)\pi}{2n}.
Vous réalisez une interpolation de la fonction $f$ aux points de Tchebychev par le polynôme de Hermite qui y possède des dérivées toutes nulles en ces points.
Pour tout $k\in\llbracket 1,n \rrbracket$ vous définissez le polynôme de Hermite $H_k$ qui vaut $1$ en $x_k$ et qui possède les propriétés décrites et démontrées dans l'article 232.
Pour rappel, le polynôme $H_k$ est défini par l’expression suivante, à l’aide d’un polynôme $Q_k :$
\begin{align*} Q_k(X)&=\prod_{\substack{1\leq i \leq n \\i\neq k}} (X-x_i)^2\\ H_k(X) &= \frac{(Q_k(x_k) - Q'(x_k)(X-x_k))Q_k(X)}{Q_k(x_k)^2}. \end{align*}
Le polynôme $P$ suivant est un polynôme interpolateur de la fonction $f$ au points $x_1,\dots,x_n :$
P(X) = \sum_{k=1}^n f(x_k)H_k(X).
Majorez l’écart obtenu
Soit $x$ un nombre réel appartenant à l’intervalle $[-1,1].$ Utilisez d’abord la définition du polynôme $P :$
\lvert f(x)-P(x)\vert \leq \left\vert f(x) - \sum_{k=1}^n f(x_k)H_k(x) \right\vert.
Ensuite, vous utilisez le fait que la somme des $H_k$ est égale à $1$, $\sum_{k=1}^n H_k(X) = 1$, comme cela a été vu au sein du contenu écrit dans l'article 230. Vous obtenez alors en combinaison avec l’inégalité triangulaire :
\begin{align*} \lvert f(x)-P(x)\vert &\leq \left\vert f(x) \sum_{k=1}^n H_k(x) - \sum_{k=1}^n f(x_k)H_k(x) \right\vert\\ &\leq \left\vert \sum_{k=1}^n (f(x)-f(x_k))H_k(x)\right\vert\\ &\leq \sum_{k=1}^n \left\vert (f(x)-f(x_k))H_k(x)\right\vert. \end{align*}
Dans le cas d’interpolation avec les points de Tchebychev, il a été établi au sein du contenu écrit dans l'article 232 que $\forall k\in\llbracket 1, n\rrbracket, H_k(x)\in[0,1]$, d’où :
\begin{align*} \lvert f(x)-P(x)\vert &\leq \sum_{k=1}^n \left\vert f(x)-f(x_k)\right\vert H_k(x)\\ &\leq \sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert \leq \delta}} \left\vert f(x)-f(x_k)\right\vert H_k(x)+\sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} \left\vert f(x)-f(x_k)\right\vert H_k(x)\\ &\leq \sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert \leq \delta}} \frac{\varepsilon}{2} H_k(x)+\sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} (\vert f(x)\vert+\vert f(x_k)\vert) H_k(x)\\ &\leq \frac{\varepsilon}{2}\sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert \leq \delta}} H_k(x)+\sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} 2M H_k(x)\\ &\leq \frac{\varepsilon}{2}\sum_{k=1}^n H_k(x)+\sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} 2M H_k(x)\\ &\leq \frac{\varepsilon}{2}\sum_{k=1}^n H_k(x)+2M \sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} H_k(x)\\ &\leq \frac{\varepsilon}{2}+2M \sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} H_k(x). \end{align*}
Or, dans l'article 232 il a été vu que :
\forall k\in\llbracket 1,n\rrbracket, x_k\neq x\implies\lvert H_k(x)\vert \leq \frac{2}{n^2(x-x_k)^2}.
Vous déduisez finalement :
\begin{align*} \lvert f(x)-P(x)\vert &\leq \frac{\varepsilon}{2}+2M \sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} \frac{2}{n^2(x-x_k)^2}\\ &\leq \frac{\varepsilon}{2}+2M \sum_{\substack{1\leq k\leq n\\\vert x-x_k\vert >\delta}} \frac{2}{n^2\delta^2}\\ &\leq \frac{\varepsilon}{2}+2M \sum_{k=1}^n \frac{2}{n^2\delta^2}\\ &\leq \frac{\varepsilon}{2}+\frac{4M}{n\delta^2}\\ &\leq \frac{\varepsilon}{2}+\frac{\varepsilon}{2}\\ &\leq \varepsilon. \end{align*}
Concluez
Il a été démontré dans cet article que toute fonction continue sur l’intervalle $[-1,1]$ est limite uniforme de polynômes.
Plus précisément, pour toute fonction continue $f$ sur l’intervalle $[-1,1] :$
\boxed{ \forall \varepsilon>0, \exists P\in\R[X], \forall x\in[-1,1], \vert f(x)-P(x)\vert \leq \varepsilon.}
Visualisations graphiques
La fonction $x\mapsto \frac{1}{1+25x^2}$ est représentée ci-dessous avec plusieurs approximations uniformes basées sur les polynômes de Hermite calculés précédemment.




Partagez !
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook !
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles !
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !