Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

222. Calculez une intégrale avec la méthode du point milieu (1/2)

17/07/2020 - 0051

Soient $a$ et $b$ deux réels tels que $a<b$ et $f$ une fonction dérivable sur l’intervalle $[a,b].$

Le but de cet article est de donner une majoration explicite de l’erreur commise en remplaçant le calcul de l’intégrale $\int_{a}^b f(t)\dt$ par $(b-a)f(m)$ où $m = \frac{a+b}{2}$ désigne le milieu de l’intervalle $[a,b]$ puis en subdivisant de façon régulière l’intervalle $[a,b]$ de façon uniforme.

Dans la suite, vous noterez $M_1 =\mathrm{Sup}\{\vert f^{\prime}(x)\vert, x\in[a,b]\} \in \R_{+}\cup \{+\infty\}.$

Trouvez une première majoration

L’idée de départ consiste à majorer la quantité :

\left\vert\int_a^b f(t)\dt - (b-a)f(m)\right\vert.

Vous y parvenez en remarquant que $b-a$ est l’intégrale $\int_a^b \dt.$

Du coup :

\begin{align*}
\left\vert\int_a^b f(t)\dt - (b-a)f(m)\right\vert &= \left\vert\int_a^b f(t)\dt - f(m)\int_a^b \dt\right\vert \\
&= \left\vert\int_a^b f(t)\dt - \int_a^b f(m)\dt\right\vert \\
&= \left\vert\int_a^b (f(t)- f(m))\dt\right\vert \\
&= \int_a^b \left\vert f(t)- f(m) \right\vert\dt \\
\end{align*}

ll vous reste à majorer la quantité $\left\vert f(t)- f(m) \right\vert$, lorsque $t\in[a,b].$

Fixez $t\in[a,b]\setminus \{m\}$ et considérez la fonction $g$ définie sur $[a,b]$ par $g(x) = f(x)-f(m)-A(x-m)$ où $A$ est le réel défini par $\frac{f(t)-f(m)}{t-m}$, de sorte que $g(t) =0.$ Comme $g(m)=0$ et que $t\neq m$, l’application du théorème de Rolle à la fonction $g$ fournit l’existence d’un réel $c$ strictement compris entre $t$ et $m$ tel que $g'(c)=0.$ Du coup, $f^{\prime}(c)-A = 0.$ La nullité de $g(t)$ fournit l’égalité $f(t)-f(m) = f'(c)(t-m).$

Si $t=m$, l’égalité $f(t)-f(m) = f'(m)(t-m)$ est satisfaite. Vous avez donc montré :

\boxed{\forall t\in[a,b], \exists c\in]a,b[,f(t)-f(m) = f'(c)(t-m).}

Vous déduisez donc:

\boxed{\forall t\in[a,b], \vert f(t)-f(m) \vert\leq M_1\vert t-m\vert.}

Note : cette inégalité est aussi appelée « inégalité des accroissements finis. »

Vous poursuivez les majorations :

\begin{align*}
\left\vert\int_a^b f(t)\dt - (b-a)f(m)\right\vert &\leq M_1\int_a^b \vert t-m\vert\dt\\
&\leq M_1\int_{-(b-a)/2}^{(b-a)/2} \vert u\vert\,\mathrm{d}u\\
&\leq 2M_1\int_{0}^{(b-a)/2} \vert u\vert\,\mathrm{d}u\\
&\leq 2M_1\int_{0}^{(b-a)/2}  u\,\mathrm{d}u\\
&\leq 2M_1\times \frac{((b-a)/2)^2}{2}\\
&\leq\frac{M_1(b-a)^2}{4}.
\end{align*}

Soit $n\in\NN.$ Subdivisez l’intervalle $[a,b]$ en $n$ parties égales, en posant $a_k = a+k\frac{b-a}{n}$, lorsque $k$ parcourt l’intervalle $\llbracket 0, n\rrbracket.$

Pour plus de lisibilité, notez, pour tout $k\in\llbracket 0,n-1\rrbracket, t_k = a+\left(k+\frac{1}{2}\right)\frac{b-a}{n}$ les points milieux.

Soit maintenant $k\in\llbracket 0,n-1\rrbracket.$ D’après ce qui précède :

\begin{align*}
\left\vert\int_{a_k}^{a_{k+1}} f(t)\dt - \frac{b-a}{n}f\left(t_k\right)\right\vert 
&\leq\frac{M_1(b-a)^2}{4n^2}.
\end{align*}

Finalement :

\begin{align*}
\left\vert\int_{a}^{b} f(t)\dt -\frac{b-a}{n}\sum_{k=0}^{n-1} f\left(t_k\right)\right\vert 
&\leq\left\vert\sum_{k=0}^{n-1}\int_{a_k}^{a_{k+1}}f(t)\dt-\sum_{k=0}^{n-1}\frac{b-a}{n}f\left(t_k\right)\right\vert\\
&\leq\left\vert\sum_{k=0}^{n-1}\left[\int_{a_k}^{a_{k+1}}f(t)\dt-\frac{b-a}{n}f\left(t_k\right)\right]\right\vert\\
&\leq\sum_{k=0}^{n-1}\left\vert\int_{a_k}^{a_{k+1}}f(t)\dt-\frac{b-a}{n}f\left(t_k\right)\right\rvert\\
&\leq \sum_{k=0}^{n-1}\frac{M_1(b-a)^2}{4n^2}\\
&\leq\frac{M_1(b-a)^2}{4n}.
\end{align*}

Pour résumer :

\boxed{\left\vert\int_{a}^{b} f(t)\dt -\frac{b-a}{n}\sum_{k=0}^{n-1} f\left(\frac{a_k+a_{k+1}}{2}\right)\right\vert 
\leq\frac{M_1(b-a)^2}{4n}.}

A première vue, vous obtenez une majoration de la forme $O\left(\frac{1}{n}\right)$ qui est d’ordre $1.$

Cependant, vous allez voir qu’il est possible d’affiner cette majoration pour obtenir une majoration de l’erreur en $O\left(\frac{1}{n^2}\right)$ dès que vous supposez que la fonction $f$ est deux fois dérivable, et en considérant $M_2 =\mathrm{Sup}\{\vert f^{\pprime}(x)\vert, x\in[a,b]\} \in \R_{+}\cup \{+\infty\}.$

Poursuivez votre lecture en allant dans l'article 223.

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 !