Avancer

Section 9.3 Exercices

Dans cet exercice, nous allons étudier ce que donne la méthode des trapèzes quand on l'applique à l'intégrale

\begin{equation*} \int_2^4f(x)\mathrm{d}x \end{equation*}

avec quatre trapèzes, pour la fonction

\begin{equation*} f(x):=\frac{10}{x}. \end{equation*}
  1. Donnez la subdivision régulière de l'intervalle \([2;4]\) en quatre sous-intervalles.
  2. Représentez graphiquement \(f(x)\) sur \([2;4]\) en faisant apparaître les quatre trapèzes à considérer.
  3. Calculez l'aire de chacun des quatre trapèzes et arrondissez à quatre décimales au besoin.
  4. Utilisez les valeurs précédentes pour calculer l'approximation fournie par la méthode des trapèzes et arrondissez à la deuxième décimale.
  5. Comparez avec la valeur exacte de l'intégrale : quelle est l'erreur commise? Arrondissez à la deuxième décimale.
  6. Pourquoi cette erreur est-elle négative?
Solution
  1. On pose \(\Delta x:=(4-2)/4=0{,}5\) et on obtient la subdivision

    \begin{equation*} 2<2{,}5<3<3{,}5<4. \end{equation*}
  2. Posez \(f(x):=10/x\text{,}\) \(a:=2\text{,}\) \(b:=4\) et \(n:=4\) dans les paramètres de l'application fournie en introduction du chapitre 9.
  3. L'aire du trapèze au-dessus du sous intervalle \([x_{k-1};x_k]\) vaut

    \begin{align*} \frac{\Delta x}{2}\cdot\left(f(x_{k-1})+f(x_k)\right)&=\frac{0{,}5}{2}\cdot\left(\frac{10}{x_{k-1}}+\frac{10}{x_k}\right)\\ &=2{,}5\cdot\left(\frac{1}{x_{k-1}}+\frac{1}{x_k}\right). \end{align*}

    Cela donne

    \begin{equation*} \begin{array}{ccc} \text{Aire du trapèze 1}&=&2{,}25,\\ \text{Aire du trapèze 2}&\approx&1{,}833\,3,\\ \text{Aire du trapèze 3}&\approx&1{,}547\,6,\\ \text{Aire du trapèze 4}&\approx&1{,}339\,3. \end{array} \end{equation*}
  4. On a

    \begin{equation*} 2{,}25+1{,}833\,3+1{,}547\,6+1{,}339\,3=6{,}970\,2 \end{equation*}

    donc

    \begin{equation*} \text{Approximation}\approx 6{,}97. \end{equation*}
  5. La valeur exacte de l'intégrale est

    \begin{align*} \int_2^4\frac{10}{x}\mathrm{d}x&=10\ln(x)\,\Bigg\vert_2^4\\ &=10\ln(4)-10\ln(2)\\ &=10\ln\left(\frac{4}{2}\right)\\ &=10\ln(2)\\ &=6{,}9314718\ldots. \end{align*}

    L'erreur commise vaut donc

    \begin{align*} \text{Erreur}&=\int_2^4\frac{10}{x}\mathrm{d}x-\text{Approximation}\\ &\approx 10\ln(2)-6{,}97\\ &\approx -0{,}039. \end{align*}
  6. Comme la fonction \(f(x)=\frac{10}{x}\) a une dérivée seconde

    \begin{equation*} f''(x)=\frac{20}{x^3} \end{equation*}

    positive sur \([2;4]\text{,}\) elle est convexe (concave vers le haut) sur cet intervalle.

    Sur chaque sous-intervalle \([x_{k-1};x_k]\text{,}\) la valeur de l'intégrale de \(f\) est donc inférieure à l'aire du trapèze correspondant, i.e.

    \begin{equation*} \int_{x_{k-1}}^{x_k}f(x)\mathrm{d}x<\frac{\Delta x}{2}\cdot\left(f(x_{k-1})+f(x_k)\right) \end{equation*}

    pour tout \(k=1,2,3,4\text{.}\)

    On a donc

    \begin{align*} \int_2^4f(x)\mathrm{d}x&=\sum_{k=1}^4\int_{x_{k-1}}^{x_k}f(x)\mathrm{d}x\\ &<\sum_{k=1}^4\frac{\Delta x}{2}\cdot\left(f(x_{k-1})+f(x_k)\right)\\ &=\frac{\Delta x}{2}\cdot\sum_{k=1}^4\left(f(x_{k-1})+f(x_k)\right)\\ &=\text{Approximation}, \end{align*}

    d'où

    \begin{equation*} \int_2^4f(x)\mathrm{d}x-\text{Approximation}<0. \end{equation*}

Appliquez la méthode des trapèzes pour calculer une approximation de l'intégrale donnée avec le nombre de trapèzes indiqué. Au besoin, arrondissez à la troisième décimale.

  1. Approchez \(\displaystyle\int_0^1e^{x^2}\mathrm{d}x\) avec six trapèzes.
  2. Approchez \(\displaystyle\int_2^4\cos\left(\frac{x^3}{5}\right)\mathrm{d}x\) avec quatre trapèzes.
  3. Approchez \(\displaystyle\int_{-1}^2\ln(\ln(x^2+1)+1)\mathrm{d}x\) avec trois trapèzes.
Réponse
  1. \(\text{Approximation}\approx 1{,}475\text{.}\)
  2. \(\text{Approximation}\approx -0{,}277\text{.}\)
  3. \(\text{Approximation}\approx 1{,}269\text{.}\)
Solution
  1. Posons \(f(x):=e^{x^2}\text{,}\) \(n:=6\) et

    \begin{equation*} \Delta x:=\frac{1-0}{6}=\frac{1}{6}. \end{equation*}

    Voici la subdivision régulière de \([0;1]\) en six sous-intervalles :

    \begin{equation*} 0<\frac{1}{6}<\frac{1}{3}<\frac{1}{2}<\frac{2}{3}<\frac{5}{6}<1. \end{equation*}

    Et voilà l'approximation fournie par la méthode des trapèzes :

    \begin{align*} &\frac{\Delta x}{2}\cdot\left(f(0)+2f\left(\frac{1}{6}\right)+2f\left(\frac{1}{3}\right)+2f\left(\frac{1}{2}\right)\right.\\ &\qquad\qquad\left.+2f\left(\frac{2}{3}\right)+2f\left(\frac{5}{6}\right)+f(1)\right)\\ =\;&\frac{1}{12}\cdot\left(e^{0^2}+2e^{\left(\frac{1}{6}\right)^2}+2e^{\left(\frac{1}{3}\right)^2}+2e^{\left(\frac{1}{2}\right)^2}+2e^{\left(\frac{2}{3}\right)^2}+2e^{\left(\frac{5}{6}\right)^2}+e^{1^2}\right)\\ =\;&1{,}475\,178\ldots\\ \approx\;&1{,}475. \end{align*}
  2. Posons \(g(x):=\cos(x^3/5)\text{,}\) \(n:=4\) et

    \begin{equation*} \Delta x:=\frac{4-2}{4}=0{,}5. \end{equation*}

    Voici la subdivision régulière de \([2;4]\) en quatre sous-intervalles :

    \begin{equation*} 2<2{,}5<3<3{,}5<4. \end{equation*}

    Et voilà l'approximation fournie par la méthode des trapèzes :

    \begin{align*} &\frac{\Delta x}{2}\cdot\left(g(2)+2g(2{,}5)+2g(3)+2g(3{,}5)+g(4)\right)\\ =\;&0{,}25\cdot\left(\cos\left(\frac{2^3}{5}\right)+2\cos\left(\frac{2{,}5^3}{5}\right)+2\cos\left(\frac{3^3}{5}\right)\right.\\ &\qquad\qquad\left.+2\cos\left(\frac{3{,}5^3}{5}\right)+\cos\left(\frac{4^3}{5}\right)\right)\\ =\;&-0{,}276\,751\ldots\\ \approx\;&-0{,}277. \end{align*}
  3. Posons \(h(x):=\ln(\ln(x^2+1)+1)\text{,}\) \(n:=3\) et

    \begin{equation*} \Delta x:=\frac{2+1}{3}=1. \end{equation*}

    Voici la subdivision régulière de \([-1;2]\) en trois sous-intervalles :

    \begin{equation*} -1<0<1<2. \end{equation*}

    Et voilà l'approximation fournie par la méthode des trapèzes :

    \begin{align*} &\frac{\Delta x}{2}\cdot\left(h(-1)+2h(0)+2h(1)+h(2)\right)\\ =\;&0{,}5\cdot\left(\ln(\ln(2)+1)+2\cdot 0+2\ln(\ln(2)+1)+\ln(\ln(5)+1)\right)\\ =\;&1{,}269\,450\ldots\\ \approx\;&1{,}269. \end{align*}

Pour chaque intégrale de l'exercice 9.3.2, majorez la valeur absolue de l'erreur commise par un nombre à trois décimales.

Solution
  1. On s'occupe ici de l'intégrale

    \begin{equation*} \int_0^1e^{x^2}\mathrm{d}x \end{equation*}

    avec six trapèzes.

    La fonction \(f(x):=e^{x^2}\) vérifie

    \begin{equation*} f'(x)=2xe^{x^2} \end{equation*}

    et

    \begin{align*} f''(x)&=2\cdot e^{x^2}+2x\cdot 2xe^{x^2}\\ &=(2+4x^2)e^{x^2}. \end{align*}

    Comme les fonctions \(x\mapsto e^{x^2}\) et \(x\mapsto 2+4x^2\) sont positives et croissantes sur \([0;1]\text{,}\) on a

    \begin{align*} |f''(x)|&=\left|(2+4x^2)\cdot e^{x^2}\right|\\ &=\left|2+4x^2\right|\cdot\left|e^{x^2}\right|\\ &=(2+4x^2)\cdot e^{x^2}\\ &\le (2+4\cdot 1^2)\cdot e^{1^2}\\ &=6e \end{align*}

    pour tout \(x\in[0;1]\text{.}\)

    On peut donc prendre \(M:=6e\) pour appliquer le théorème 9.1.2 :

    \begin{align*} |\text{Erreur}|&\leq\frac{M(b-a)^3}{12n^2}\\ &=\frac{6e(1-0)^3}{12\cdot 6^2}\\ &=\frac{e}{72}\\ &=0{,}037\,753\ldots\\ &\le 0{,}038. \end{align*}
  2. On s'occupe ici de l'intégrale

    \begin{equation*} \int_2^4\cos\left(\frac{x^3}{5}\right)\mathrm{d}x \end{equation*}

    avec quatre trapèzes.

    La fonction \(g(x):=\cos\left(\frac{x^3}{5}\right)\) vérifie

    \begin{equation*} g'(x)=-\frac{3x^2}{5}\sin\left(\frac{x^3}{5}\right) \end{equation*}

    et

    \begin{align*} g''(x)&=-\frac{6x}{5}\sin\left(\frac{x^3}{5}\right)-\frac{3x^2}{5}\cdot\frac{3x^2}{5}\cos\left(\frac{x^3}{5}\right)\\ &=-\frac{6x}{5}\sin\left(\frac{x^3}{5}\right)-\frac{9x^4}{25}\cos\left(\frac{x^3}{5}\right). \end{align*}

    Comme on a

    \begin{equation*} |\cos(t)|\le 1\quad\text{et}\quad |\sin(t)|\le 1 \end{equation*}

    pour tout \(t\text{,}\) et comme les fonctions

    \begin{equation*} x\longmapsto\frac{6|x|}{5}\quad\text{et}\quad x\longmapsto\frac{9x^4}{25} \end{equation*}

    sont positives et croissantes sur l'intervalle \([2;4]\text{,}\) on a

    \begin{align*} |g''(x)|&=\left|-\frac{6x}{5}\sin\left(\frac{x^3}{5}\right)-\frac{9x^4}{25}\cos\left(\frac{x^3}{5}\right)\right|\\ &\le\left|\frac{6x}{5}\sin\left(\frac{x^3}{5}\right)\right|+\left|\frac{9x^4}{25}\cos\left(\frac{x^3}{5}\right)\right|\\ &=\frac{6|x|}{5}\cdot\left|\sin\left(\frac{x^3}{5}\right)\right|+\frac{9x^4}{25}\cdot\left|\cos\left(\frac{x^3}{5}\right)\right|\\ &\le\frac{6\cdot 4}{5}\cdot 1+\frac{9\cdot 4^4}{25}\cdot 1\\ &=96{,}96 \end{align*}

    pour tout \(x\in[2;4]\text{.}\)

    On peut donc prendre \(M:=96{,}96\) pour appliquer le théorème 9.1.2 :

    \begin{align*} |\text{Erreur}|&\leq\frac{M(b-a)^3}{12n^2}\\ &=\frac{96{,}96\cdot(4-2)^3}{12\cdot 4^2}\\ &=4{,}040. \end{align*}
  3. On s'occupe ici de l'intégrale

    \begin{equation*} \int_{-1}^2\ln(\ln(x^2+1)+1)\mathrm{d}x \end{equation*}

    avec trois trapèzes.

    Avec de la patience ou l'aide d'un logiciel de calcul formel (cliquez ici), on trouve que la dérivée seconde de la fonction \(h(x):=\ln(\ln(x^2+1)+1)\) vaut

    \begin{equation*} h''(x)=\frac{2-2x^2}{(x^2+1)^2(\ln(x^2+1)+1))}-\frac{4x^2}{(x^2+1)^2(\ln(x^2+1)+1))^2}. \end{equation*}

    Comme \(x^2\ge 0\) et comme la fonction \(\ln\) est croissante, on a

    \begin{equation*} x^2+1\ge 1\quad\text{et}\quad\ln(x^2+1)\ge\ln(1)=0, \end{equation*}

    d'où

    \begin{equation*} \frac{1}{x^2+1}\le\frac{1}{0+1}=1\quad\text{et}\quad\frac{1}{\ln(x^2+1)+1}\le\frac{1}{0+1}=1 \end{equation*}

    pour tout \(x\text{.}\) On en déduit que

    \begin{align*} |h''(x)|&=\left|\frac{2-2x^2}{(x^2+1)^2(\ln(x^2+1)+1))}-\frac{4x^2}{(x^2+1)^2(\ln(x^2+1)+1))^2}\right|\\ &\le\left|\frac{2-2x^2}{(x^2+1)^2(\ln(x^2+1)+1))}\right|+\left|\frac{4x^2}{(x^2+1)^2(\ln(x^2+1)+1))^2}\right|\\ &=\frac{|2-2x^2|}{(x^2+1)^2(\ln(x^2+1)+1))}+\frac{4x^2}{(x^2+1)^2(\ln(x^2+1)+1))^2}\\ &\le\frac{2+2x^2}{(x^2+1)^2(\ln(x^2+1)+1))}+\frac{4x^2}{(x^2+1)^2(\ln(x^2+1)+1))^2}\\ &\le\frac{2+2\cdot 2^2}{1^2\cdot 1}+\frac{4\cdot 2^2}{1^2\cdot 1^2}\\ &=26 \end{align*}

    pour tout \(x\in[-1;2]\text{.}\)

    On peut donc prendre \(M:=26\) pour appliquer le théorème 9.1.2 :

    \begin{align*} |\text{Erreur}|&\leq\frac{M(b-a)^3}{12n^2}\\ &=\frac{26\cdot(2+1)^3}{12\cdot 3^2}\\ &=6{,}5. \end{align*}

Quel est le nombre minimum de trapèzes nécessaire pour pouvoir garantir que la valeur absolue de l'erreur ne dépasse par \(10^{-9}\) lorsqu'on applique la méthode des trapèzes à l'intégrale définie

\begin{equation*} \int_{-1}^2\ln(\ln(x^2+1)+1)\mathrm{d}x? \end{equation*}
Indication

Utilisez la constante \(M\) exhibée dans la solution de la question 3 de l'exercice 9.3.3.

Réponse

\(241\,868\)

Solution

On a vu à la question 3 de l'exercice 9.3.3 qu'on pouvait appliquer le théorème 9.1.2 avec \(M:=26\text{.}\) Alors

\begin{equation*} \begin{array}{crcl} &|\text{Erreur}|&\le&10^{-9}\\ \Leftrightarrow&\frac{M(b-a)^3}{12n^2}&\le&10^{-9}\\ \Leftrightarrow&\frac{26\cdot (2+1)^3}{12n^2}&\le&10^{-9}\\ \Leftrightarrow&\frac{117}{2n^2}&\le&10^{-9}\\ \Leftrightarrow&\frac{10^9\cdot 117}{2}&\le&n^2\\ \Leftrightarrow&\sqrt{\frac{10^9\cdot 117}{2}}&\le&n\\ \Leftrightarrow&241\,867{,}732\ldots&\le&n. \end{array} \end{equation*}

Il faut donc prendre au moins \(241\,868\) trapèzes.

On a vu à l'exemple 8.1.14 qu'il fallait au moins \(100\,000\) rectangles pour que la valeur absolue de l'erreur ne dépasse par \(10^{-5}\) lorsqu'on applique la méthode des rectangles à l'intégrale définie

\begin{equation*} \int_0^1e^{-x^2}\mathrm{d}x. \end{equation*}

Quel est le nombre minimum de trapèzes qui garantit la même précision?

Réponse

\(130\)

Solution

On a vu à l'exemple 9.1.4 qu'on pouvait appliquer le théorème 9.1.2 avec \(M:=2\text{.}\) Alors

\begin{equation*} \begin{array}{crcl} &|\text{Erreur}|&\le&10^{-5}\\ \Leftrightarrow&\frac{M(b-a)^3}{12n^2}&\le&10^{-5}\\ \Leftrightarrow&\frac{2\cdot (1-0)^3}{12n^2}&\le&10^{-5}\\ \Leftrightarrow&\frac{1}{6n^2}&\le&10^{-5}\\ \Leftrightarrow&\frac{10^5}{6}&\le&n^2\\ \Leftrightarrow&\sqrt{\frac{10^5}{6}}&\le&n\\ \Leftrightarrow&129{,}09\ldots&\le&n. \end{array} \end{equation*}

Il faut donc prendre au moins \(130\) trapèzes.

Appliquez la méthode des trapèzes à l'intégrale

\begin{equation*} \int_0^1\sin(x^2)\mathrm{d}x \end{equation*}
  1. avec cinq trapèzes et trois décimales,
  2. avec dix mille trapèzes et neuf décimales.

Quel encadrement obtenez-vous pour la valeur exacte de l'intégrale et quel est le meilleur arrondissement que vous pouvez en déduire?

Solution

Notons \(f(x):=\sin(x^2)\) et observons que

\begin{equation*} f'(x)=2x\cos(x^2) \end{equation*}

et

\begin{equation*} f''(x)=-4x^2\sin(x^2)+2\cos(x^2). \end{equation*}

On a donc

\begin{align*} |f''(x)|&=\left|-4x^2\sin(x^2)+2\cos(x^2)\right|\\ &\le\left|4x^2\sin(x^2)\right|+\left|2\cos(x^2)\right|\\ &=4x^2\cdot\left|\sin(x^2)\right|+2\cdot\left|\cos(x^2)\right|\\ &\le 4x^2\cdot 1+2\cdot 1\\ &= 4x^2+2\\ &\le 4\cdot 1^2+2\\ &=6 \end{align*}

pour tout \(x\in[0;1]\) et on peut appliquer le théorème 9.1.2 avec \(M:=6\text{.}\)

    • On pose \(n:=5\) et

      \begin{equation*} \Delta x:=\frac{1-0}{5}=0{,}2 \end{equation*}

      et on considère la subdivision régulière de \([0;1]\) en cinq sous-intervalles :

      \begin{equation*} 0<0{,}2<0{,}4<0{,}6<0{,}8<1. \end{equation*}
    • Grâce à une calculatrice ou à l'algorithme fourni (cliquez ici), on obtient l'approximation

      \begin{align*} &\frac{\Delta x}{2}\cdot\left(f(0)+2f(0{,}2)+2f(0{,}4)+2f(0{,}6)+2f(0{,}8)+f(1)\right)\\ =\;&0{,}313\,902\ldots \end{align*}

      qui vérifie l'encadrement

      \begin{equation*} 0{,}313\le\text{Approximation}\le 0{,}314. \end{equation*}
    • D'après le théorème 9.1.2, on a

      \begin{align*} |\text{Erreur}|&\le\frac{M(b-a)^3}{12n^2}\\ &=\frac{6\cdot(1-0)^3}{12\cdot 5^2}\\ &=0{,}02 \end{align*}

      d'où

      \begin{equation*} -0{,}020\le\text{Erreur}\le 0{,}020. \end{equation*}
    • On obtient donc l'encadrement

      \begin{equation*} 0{,}313-0{,}020\leq\text{Approximation}+\text{Erreur}\leq 0{,}314+0{,}020 \end{equation*}

      i.e.

      \begin{equation*} 0{,}293\leq\int_0^1\sin(x^2)\mathrm{d}x\leq 0{,}334. \end{equation*}
    • Le meilleur arrondissement qu'on peut en déduire est donc

      \begin{equation*} \int_0^1\sin(x^2)\mathrm{d}x\approx 0{,}3. \end{equation*}
    • On pose \(n:=10^4\) et

      \begin{equation*} \Delta x:=\frac{1-0}{10^4}=0{,}000\,1 \end{equation*}

      et on considère la subdivision régulière de \([0;1]\) en dix mille sous-intervalles :

      \begin{equation*} 0<0{,}000\,1<0{,}000\,2<\ldots<0,999\,9<1. \end{equation*}
    • Grâce à l'algorithme fourni (cliquez ici), on obtient l'approximation

      \begin{align*} &\frac{\Delta x}{2}\cdot\left(f(0)+2f(0{,}000\,1)+\cdots+2f(0,999\,9)+f(1)\right)\\ =\;&0{,}310\,268\,302\,623\ldots \end{align*}

      qui vérifie l'encadrement

      \begin{equation*} 0{,}310\,268\,302\le\text{Approximation}\le 0{,}310\,268\,303. \end{equation*}
    • D'après le théorème 9.1.2, on a

      \begin{align*} |\text{Erreur}|&\le\frac{M(b-a)^3}{12n^2}\\ &=\frac{6\cdot(1-0)^3}{12\cdot (10^4)^2}\\ &=0{,}5\cdot 10^{-8}\\ &=0{,}000\,000\,005 \end{align*}

      d'où

      \begin{equation*} -0{,}000\,000\,005\le\text{Erreur}\le 0{,}000\,000\,005. \end{equation*}
    • On obtient donc l'encadrement

      \begin{equation*} \begin{array}{cc} &0{,}310\,268\,302-0{,}000\,000\,005\\ \leq&\text{Approximation}+\text{Erreur}\\ \leq&0{,}310\,268\,303+0{,}000\,000\,005 \end{array} \end{equation*}

      i.e.

      \begin{equation*} 0{,}310\,268\,297\leq\int_0^1\sin(x^2)\mathrm{d}x\leq 0{,}310\,268\,308. \end{equation*}
    • Le meilleur arrondissement qu'on peut en déduire est donc

      \begin{equation*} \int_0^1\sin(x^2)\mathrm{d}x\approx 0{,}310\,268\,3. \end{equation*}

Créez une fonction trapezes(f, a, b, n) qui donne la valeur approchée de l'intégrale \(\int_a^bf(x)\mathrm{d}x\) par la méthode des trapèzes pour \(n\) trapèzes.

Testez votre code avec \(\int_0^1\frac{1}{1+x}\mathrm{d}x\) et \(100\) trapèzes. Vous devez trouver \(\approx 0{,}693\,153\,430\,482\text{.}\)

Solution

Voici une façon de faire :

# fonction :
def trapezes(f, a, b, n):
    approximation = 0
    deltaX = (b - a) / n
    for k in range(1, n+1):
        xi1 = a + (k - 1) * deltaX
        xi2 = xi1 + deltaX
        approximation = approximation + f(xi1) + f(xi2)
    approximation = approximation * deltaX / 2
    return approximation
# test :
def f(x):
    return 1 / (1 + x)
print(trapezes(f, 0.0, 1.0, 100))

Modifiez le code donné à la section 9.2 afin de remplacer la boucle for par une boucle while semblable à celle utilisée à la section 8.2.

Solution

Voici une façon de faire :

# entrées :
import numpy as np
def f(x):
    return 4 * np.sqrt(1 - x ** 2)
a = 0.0
b = 1.0
n = 32
# instructions :
approximation = 0
deltaX = (b - a) / n
xi1 = a
while xi1 < b:
    xi2 = xi1 + deltaX
    approximation = approximation + f(xi1) + f(xi2)
    xi1 = xi1 + deltaX
approximation = approximation * deltaX / 2
# sortie :
print(approximation)

Le but de cet exercice est d'approfondir notre compréhension de la formule donnant l'approximation fournie par la méthode des trapèzes 9.1.1.

Soit \(c<d\) et \(f:[c;d]\longrightarrow\mathbb{R}\) une fonction continue.

  1. Donnez la forme de Newton du polynôme interpolateur \(p(t)\) des points

    \begin{equation*} A_0=(c;f(c))\;\text{et}\;A_1=(d;f(d)). \end{equation*}
  2. Montrez que

    \begin{equation*} \int_c^dp(t)\mathrm{d}t=\frac{1}{2}(f(c)+f(d))(d-c). \end{equation*}
  3. Quelle formule reconnaissez-vous?
Solution
  1. Les différences divisées sont

    \begin{equation*} [A_0]=f(c)\;\text{et}\;[A_0,A_1]=\frac{f(d)-f(c)}{d-c}. \end{equation*}

    La forme de Newton du polynôme interpolateur est donc

    \begin{align*} p(t)&=[A_0]+[A_0,A_1](t-c)\\ &=f(c)+\frac{f(d)-f(c)}{d-c}(t-c). \end{align*}
  2. On a donc

    \begin{align*} \int_c^dp(t)\mathrm{d}t&=\int_c^d\left(f(c)+\frac{f(d)-f(c)}{d-c}(t-c)\right)\mathrm{d}t\\ &=f(c)t+\frac{f(d)-f(c)}{d-c}\cdot\frac{(t-c)^2}{2}\Bigg\vert_c^d\\ &=f(c)d+\frac{f(d)-f(c)}{d-c}\cdot\frac{(d-c)^2}{2}\\ &\qquad -f(c)c+\frac{f(d)-f(c)}{d-c}\cdot\frac{(c-c)^2}{2}\\ &=f(c)(d-c)+(f(d)-f(c))\cdot\frac{(d-c)}{2}\\ &=\frac{1}{2}\left(2f(c)+f(d)-f(c)\right)\cdot(d-c)\\ &=\frac{1}{2}\left(f(c)+f(d)\right)\cdot(d-c). \end{align*}
  3. Nous venons de démontrer qu'en remplaçant la fonction \(f\) par le polynôme de degré un au plus qui interpole les points \((c;f(c))\) et \((d;f(d))\text{,}\) on remplace

    \begin{equation*} \int_c^df(x)\mathrm{d}x \end{equation*}

    par

    \begin{equation*} \frac{1}{2}\left(f(c)+f(d)\right)\cdot\underbrace{(d-c)}_{\Delta x}=\frac{\Delta x}{2}\cdot\left(f(c)+f(d)\right). \end{equation*}

    Ceci explique rigoureusement d'où sort la formule donnant l'approximation pour la méthode des trapèzes.

Le but de cet exercice est d'établir une formule d'intégration utilisée dans l'exercice 9.3.11, lui-même préparatoire à la démonstration du théorème 9.1.2.

Montrez que

\begin{equation*} \int_c^d|t-c||d-t|\mathrm{d}t=\frac{(d-c)^3}{6} \end{equation*}

pour tous \(c,d\in\mathbb{R}\text{.}\)

Solution

On a

\begin{align*} \int_c^d|t-c||d-t|\mathrm{d}t&=\int_c^d(t-c)(d-t)\mathrm{d}t\\ &=\int_c^d((c+d)t-cd-t^2))\mathrm{d}t\\ &=(c+d)\frac{t^2}{2}-cdt-\frac{t^3}{3}\,\Bigg\vert_c^d\\ &=\frac{(c+d)}{2}\cdot t^2\,\Bigg\vert_c^d-cd\cdot t\,\Bigg\vert_c^d-\frac{1}{3}\cdot t^3\,\Bigg\vert_c^d\\ &=\frac{(c+d)}{2}(d^2-c^2)-cd(d-c)-\frac{1}{3}(d^3-c^3)\\ &=(d-c)\left(\frac{(c+d)}{2}(c+d)-cd-\frac{1}{3}(c^2+cd+d^2)\right)\\ &=\frac{(d-c)}{6}\left(3(c+d)^2-6cd-2(c^2+cd+d^2)\right)\\ &=\frac{(d-c)}{6}\left(3c^2+6cd+3d^2-6cd-2c^2-2cd-2d^2)\right)\\ &=\frac{(d-c)}{6}\left(c^2-2cd+d^2\right)\\ &=\frac{(d-c)}{6}(c-d)^2\\ &=\frac{(d-c)^3}{6}. \end{align*}

Le but de cet exercice est d'établir un résultat technique utilisé dans la démonstration du théorème 9.1.2.

Soit \(c<d\) et \(f:[c;d]\longrightarrow\mathbb{R}\) une fonction deux fois dérivable telle que \(f''\) soit continue sur \([c;d]\text{.}\)

  1. On fixe \(t\in\;]c;d[\) et on introduit la fonction

    \begin{equation*} \phi(s):=f(s)-p(s)-\frac{f(t)-p(t)}{(t-c)(t-d)}(s-c)(s-d) \end{equation*}

    \begin{equation*} p(s):=f(c)+\frac{f(d)-f(c)}{d-c}(s-c) \end{equation*}

    est le polynôme interpolateur des points \((c;f(c))\) et \((d;f(d))\text{.}\)

    Vérifiez que

    \begin{equation*} \phi(c)=\phi(d)=\phi(t)=0 \end{equation*}

    et que

    \begin{equation*} \phi''(s)=f''(s)-\frac{2(f(t)-p(t))}{(t-c)(t-d)} \end{equation*}

    pour tout \(s\in\;]c;d[\text{.}\)

  2. Montrez qu'il existe deux nombres \(s_1,s_2\) tels que

    \begin{equation*} c<s_1<t<s_2<d \end{equation*}

    et que

    \begin{equation*} \phi'(s_1)=\phi'(s_2)=0. \end{equation*}
  3. Montrez qu'il existe un nombre \(\xi\in\;]c;d[\) tel que

    \begin{equation*} f(t)-p(t)=\frac{f''(\xi)}{2}(t-c)(t-d). \end{equation*}

    Attention : Pour la suite, notez que le nombre \(\xi\) dépend de \(t\text{.}\)

  4. Soit \(M\) une constante telle que

    \begin{equation*} |f''(x)|\leq M\quad\text{pour tout }x\in[c;d]. \end{equation*}

    Déduisez de ce qui précède qu'on a

    \begin{equation*} \left|\int_c^df(x)\mathrm{d}x-\frac{\Delta x}{2}\cdot(f(c)+f(d))\right|\le\frac{M(\Delta x)^3}{12} \end{equation*}

    avec

    \begin{equation*} \Delta x:=d-c. \end{equation*}
Indication

Utilisez deux fois le théorème de Rolle à la question 2, et une fois encore à la question 3.

Pour la question 4, utilisez les exercices 9.3.9 et 9.3.10.

Solution
  1. On vérifie sans difficulté que \(\phi(c)=\phi(d)=\phi(t)=0\text{.}\)

    Par ailleurs, comme le polynôme \(p(s)\) est de degré un au plus, on a \(p''(s)=0\) pour tout \(s\text{.}\)

    Enfin, on a

    \begin{align*} &\frac{\mathrm{d}^2}{\mathrm{d}s^2}\left(\frac{f(t)-p(t)}{(t-c)(t-d)}(s-c)(s-d)\right)\\ =\;&\frac{f(t)-p(t)}{(t-c)(t-d)}\cdot\frac{\mathrm{d}^2}{\mathrm{d}s^2}\left((s-c)(s-d)\right)\\ =\;&\frac{f(t)-p(t)}{(t-c)(t-d)}\cdot\frac{\mathrm{d}^2}{\mathrm{d}s^2}\left(s^2-cs-ds+cd\right)\\ =\;&\frac{f(t)-p(t)}{(t-c)(t-d)}\cdot 2, \end{align*}

    donc

    \begin{align*} \phi''(s)&=f''(s)-p''(s)-\frac{\mathrm{d}^2}{\mathrm{d}s^2}\left(\frac{f(t)-p(t)}{(t-c)(t-d)}(s-c)(s-d)\right)\\ &=f''(s)-0-\frac{f(t)-p(t)}{(t-c)(t-d)}\cdot 2\\ &=f''(s)-\frac{2(f(t)-p(t))}{(t-c)(t-d)} \end{align*}

    pour tout \(s\text{.}\)

  2. Une première application du théorème de Rolle, entraîne l'existence de \(s_1\in\;]c;t[\) tel que \(\phi'(s_1)=0\text{.}\)

    Une deuxième application du théorème de Rolle, entraîne l'existence de \(s_2\in\;]t;d[\) tel que \(\phi'(s_2)=0\text{.}\)

  3. En appliquant le théorème de Rolle à la fonction \(\phi'\) sur l'intervalle \([s_1;s_2]\text{,}\) on obtient un nombre \(\xi\in\;]s_1;s_2[\) tel que

    \begin{equation*} \phi''(\xi)=0. \end{equation*}

    Grâce à la question 1, on voit que cela entraîne

    \begin{equation*} \frac{2(f(t)-p(t))}{(t-c)(t-d)}=f''(\xi), \end{equation*}

    donc

    \begin{equation*} \frac{f(t)-p(t)}{(t-c)(t-d)}=\frac{f''(\xi)}{2} \end{equation*}

    et finalement

    \begin{equation*} f(t)-p(t)=\frac{f''(\xi)}{2}(t-c)(t-d). \end{equation*}
  4. Concentrons-nous sur la fonction \(g:[c;d]\longrightarrow\mathbb{R}\) définie par

    \begin{equation*} g(t):=f(t)-p(t). \end{equation*}

    D'après les hypothèses et la question précédente, on a

    \begin{align*} |g(t)|&=\left|f(t)-p(t)\right|\\ &=\left|\frac{f''(\xi)}{2}(t-c)(t-d)\right|\\ &=\frac{|f''(\xi)|}{2}\cdot|t-c|\cdot|t-d|\\ &\le\frac{M}{2}\cdot|t-c|\cdot|t-d| \end{align*}

    pour tout \(t\in\;]c;d[\text{,}\) ce qui s'étend trivialement à tout \(t\in[c;d]\) puisque \(g(c)=g(d)=0\text{.}\)

    Grâce à l'inégalité triangulaire pour l'intégrale, on déduit de cette majoration et de la formule établie à l'exercice 9.3.10 que

    \begin{align*} \left|\int_c^dg(t)\mathrm{d}t\right|&\le\int_c^d|g(t)|\mathrm{d}t\\ &\le\int_c^d\frac{M}{2}|t-c||t-d|\mathrm{d}t\\ &=\frac{M}{2}\cdot\int_c^d|t-c||t-d|\mathrm{d}t\\ &=\frac{M}{2}\cdot\frac{(\Delta x)^3}{6}\\ &=\frac{M(\Delta x)^3}{12}. \end{align*}

    Ceci achève bien la démonstration, puisque la question 2 de l'exercice 9.3.9 entraîne

    \begin{align*} \int_c^dg(t)\mathrm{d}t&=\int_c^d(f(t)-p(t))\mathrm{d}t\\ &=\int_c^df(t)\mathrm{d}t-\int_c^dp(t)\mathrm{d}t\\ &=\int_c^df(t)\mathrm{d}t-\frac{1}{2}(f(c)+f(d))(d-c)\\ &=\int_c^df(t)\mathrm{d}t-\frac{\Delta x}{2}\cdot(f(c)+f(d)). \end{align*}

Cet exercice est une introduction aux méthodes de Newton-Cotes dont la méthode des trapèzes peut être considérée comme un cas particulier.

Soit \(a<b\text{,}\) \(n\ge 1\text{,}\) et

\begin{equation*} a=x_0<x_1<x_2<\ldots<x_n=b \end{equation*}

une subdivision quelconque de l'intervalle \([a;b]\) en \(n\) sous-intervalles.

Pour tout \(k=1,\ldots,n\text{,}\) on considère la subdvision régulière

\begin{equation*} x_{k-1}=\xi_{k,0}<\xi_{k,1}<\ldots<\xi_{k,l}=x_k \end{equation*}

de \([x_{k-1},x_k]\) en \(l\) sous-intervalles.

La méthode de Newton-Cotes \(\mathrm{NC}_l\) consiste à remplacer, avant de l'intégrer sur \([a;b]\text{,}\) une fonction \(f:[a;b]\longrightarrow\) par la fonction dont la restriction à chaque sous-intervalle \([x_{k-1},x_k]\) coïncide avec le polynôme interpolateur des \(l+1\) points

\begin{equation*} A_0=(\xi_{k,0},f(\xi_{k,0})),\;\ldots,\;A_l(\xi_{k,l},f(\xi_{k,l})). \end{equation*}
  1. Pourquoi cela permet-il de généraliser la méthode des trapèzes étudiée dans ce chapitre?
  2. En partant de la subdivision régulière de \([a;b]:=[1;5]\) en \(n:=2\) sous-intervalles, déterminez l'approximation de l'intégrale de la fonction \(f(x):=x^3+5\) fournie par la méthode \(\mathrm{NC}_1\text{.}\)

  3. En partant de la subdivision régulière de \([a;b]:=[1;5]\) en \(n:=2\) sous-intervalles, déterminez l'approximation de l'intégrale de la fonction \(f(x):=x^3+5\) fournie par la méthode \(\mathrm{NC}_2\text{.}\)

  4. Vérifiez que l'approximation obtenue à la question précédente est égale à la valeur exacte de l'intégrale considérée.

    Remarque : Ce n'est pas un hasard. La méthode de Newton-Cotes \(\mathrm{NC}_2\) est aussi connue sous le nom de méthode de Simpson. On l'étudie au chapitre suivant et on y montre notamment qu'elle est d'ordre 3, ce qui signifie qu'elle est exacte sur les polynômes de degré 3 au plus, et qu'il existe au moins un polynôme de degré 4 sur lequel elle n'est pas exacte.

Solution
  1. Dans le cas \(l:=1\text{,}\) le graphe du polynôme interpolateur \(p(t)\) des deux points

    \begin{equation*} A_0=(\xi_{k,0},f(\xi_{k,0}))=(x_{k-1},f(x_{k-1})) \end{equation*}

    et

    \begin{equation*} A_1(\xi_{k,1},f(\xi_{k,1}))=(x_k,f(x_k)) \end{equation*}

    coïncide avec le segment les reliant, ce qui donne bien le trapèze de la méthode des trapèzes.

  2. Sur \([1;3]\text{,}\) on remplace \(f(t)\) par

    \begin{align*} f(1)+\frac{f(3)-f(1)}{3-1}(t-1)&=6+\frac{32-6}{2}(t-1)\\ &=6+13(t-1), \end{align*}

    et sur \([3;5]\text{,}\) on la remplace par

    \begin{align*} f(3)+\frac{f(5)-f(3)}{5-3}(t-3)&=32+\frac{130-32}{5-3}(t-3)\\ &=32+49(t-3). \end{align*}

    Ceci conduit à l'approximation de \(\int_1^5f(t)\mathrm{d}t\) par

    \begin{align*} &\int_1^3(6+13(t-1))\mathrm{d}t+\int_3^5(32+49(t-3))\mathrm{d}t\\ =\;&\left(6t+13\frac{(t-1)^2}{2}\right)\,\Bigg\vert_1^3+\left(32t+49\frac{(t-3)^2}{2}\right)\,\Bigg\vert_3^5\\ =\;&6\cdot t\,\Bigg\vert_1^3+\frac{13}{2}\cdot(t-1)^2\,\Bigg\vert_1^3+32\cdot t\,\Bigg\vert_3^5+\frac{49}{2}\cdot(t-3)^2\,\Bigg\vert_3^5\\ =\;&6\cdot 2+\frac{13}{2}\cdot 2^2+32\cdot 2+\frac{49}{2}\cdot2^2\\ =\;&200. \end{align*}
  3. On commence par subdiviser \([1;3]\) en

    \begin{equation*} \xi_{0,0}=1<\xi_{0,1}=2<\xi_{0,2}=3 \end{equation*}

    et on y remplace \(f(t)\) par

    \begin{align*} &f(1)+\frac{f(2)-f(1)}{2-1}(t-1)+\frac{\frac{f(3)-f(2)}{3-2}-\frac{f(2)-f(1)}{2-1}}{3-1}(t-1)(t-2)\\ =\;&6+7(t-1)+6(t-1)(t-1-1)\\ =\;&6+7(t-1)+6(t-1)^2-6(t-1)\\ =\;&6+t-1+6(t-1)^2. \end{align*}

    Puis on subdivise \([3;5]\) en

    \begin{equation*} \xi_{1,0}=3<\xi_{1,1}=4<\xi_{1,2}=5 \end{equation*}

    et on y remplace \(f(t)\) par

    \begin{align*} &f(3)+\frac{f(4)-f(3)}{4-3}(t-3)+\frac{\frac{f(5)-f(4)}{5-4}-\frac{f(4)-f(3)}{4-3}}{5-3}(t-3)(t-4)\\ =\;&32+37(t-3)+12(t-3)(t-3-1)\\ =\;&32+37(t-3)+12(t-3)^2-12(t-3)\\ =\;&32+25(t-3)+12(t-3)^2. \end{align*}

    Ceci conduit à l'approximation de \(\int_1^5f(t)\mathrm{d}t\) par

    \begin{align*} &\int_1^3(6+t-1+6(t-1)^2)\mathrm{d}t+\int_3^5(32+25(t-3)+12(t-3)^2)\mathrm{d}t\\ =\;&\left(6t+\frac{(t-1)^2}{2}+2(t-1)^3\right)\,\Bigg\vert_1^3\\ &\quad+\left(32t+25\frac{(t-3)^2}{2}+4(t-3)^3\right)\,\Bigg\vert_3^5\\ =\;&6\cdot t\,\Bigg\vert_1^3+\frac{1}{2}\cdot(t-1)^2\,\Bigg\vert_1^3+2\cdot(t-1)^3\,\Bigg\vert_1^3\\ &\quad+32\cdot t\,\Bigg\vert_3^5+\frac{25}{2}\cdot(t-3)^2\,\Bigg\vert_3^5+4\cdot(t-3)^3\,\Bigg\vert_3^5\\ =\;&6\cdot 2+\frac{1}{2}\cdot 2^2+2\cdot 2^3+32\cdot 2+\frac{25}{2}\cdot 2^2+4\cdot 2^3\\ =\;&176. \end{align*}
  4. On a en effet

    \begin{align*} \int_1^5f(t)\mathrm{d}t&=\int_1^5(t^3+5)\mathrm{d}t\\ &=\left(\frac{t^4}{4}+5t\right)\,\Bigg\vert_1^5\\ &=\frac{1}{4}\cdot t^4\,\Bigg\vert_1^5+5\cdot t\,\Bigg\vert_1^5\\ &=\frac{1}{4}(5^4-1^4)+5\cdot(5-1)\\ &=176. \end{align*}