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!