ViewVC Help
View File | Revision Log | Show Annotations | View Changeset | Root Listing
root/REPOS_ERICCA/document/GMC1035/diffintegra.tex
Revision: 1073
Committed: Wed Aug 4 19:38:16 2021 UTC (4 years ago) by francois
Content type: application/x-tex
File size: 24761 byte(s)
Log Message:
mise à jour des notes de cours de GMC1035

File Contents

# User Rev Content
1 francois 948 \begin{encadre}{Objectif du chapitre}
2     Le calcul dérivé et intégrale est présent dans toutes les modélisations des problèmes d'ingénierie. En pratique, nous avons souvent des modèles sous forme de fonction ce qui rend l'intégration et la dérivation difficile. Dans ce chapitre, l'objectif est d'effectuer des dérivées et des intégrales sans connaître les expressions à dériver ou à intégrer.
3     \end{encadre}
4     \\[1cm]
5     \begin{encadre}{Connaissances antérieures nécessaires}
6     \begin{itemize}
7     \item les mathématiques : calcul différentiel, calcul intégral.
8     \item programmation de base en Basic ou C : les types, les opérations élémentaires et la structuration de programme en mode console
9     \end{itemize}
10    
11     \end{encadre}
12    
13    
14 francois 939 \section{Mise en situation}
15     Dans le chapitre précédent, on a recherché une courbe passant par des points. En pratique, ces points sont souvent des points de mesure. Ce dernier chapitre a donc permis de trouver une fonction $f(x)$ qui passe exactement par ces points.
16     Dans certaines applications, il peut être intéressant de connaître les fonctions dérivées ou les fonctions intégrales qui passent par ces points.
17     \\Par exemple dans un GPS, l'appareil effectue des relevés de position. La vitesse de déplacement est alors la dérivée de la fonction $f(x)$ et l'accélération est alors la dérivée seconde de $f(x)$ tandis que la distance parcourue est l'intégrale de $f(x)$.
18     Dans ce chapitre nous allons établir des formules qui permettent de connaître ces grandeurs sans forcement construire la fonction d'interpolation.
19     \\Même si ces formules sont destinées à être utilisées sans construire la fonction d'interpolation, elles sont déduites de la fonction d'interpolation.
20     \section{Différentiation numérique}
21     Au chapitre précédent on a montré que l'on pouvait interpoler des points d'une fonction $f(x)$ et on
22     \begin{eqnarray*}
23     f(x)&=&p_n(x)+E_n(x)\\
24     E_n(x)&=&\frac{f^{(n+1)}(\zeta(x))}{(n+1)!}(x-x_0)...(x-x_n)
25     \end{eqnarray*}
26     $E_n(x)$ est le terme d'erreur d'ordre $n+1$ (il y a $n+1$ facteurs $x-x_i$).
27     \subsection{Dérivée d'ordre 1}
28     On peut calculer la dérivé d'ordre 1 $f'(x)$.
29     \begin{eqnarray*}
30     f'(x)&=&p'_n(x)+E'_n(x)\\
31     E'_n(x)&=&\frac{f^{(n+2)}(\zeta(x))\zeta'(x)}{(n+1)!}(x-x_0)...(x-x_n)+\frac{f^{(n+1)}(\zeta(x))}{(n+1)!}\left[(x-x_0)...(x-x_n)\right]'\\
32     &=&\frac{f^{(n+2)}(\zeta(x))\zeta'(x)}{(n+1)!}(x-x_0)...(x-x_n)+\frac{f^{(n+1)}(\zeta(x))}{(n+1)!}\left(\sum_{k=0}^{n}\prod_{j=0(j\ne k)}^n(x-x_j)\right)
33     \end{eqnarray*}
34     $E'_n(x)$ est le terme d'erreur de $f'(x)$.
35     \\Pour simplifier le terme d'erreur nous allons calculer l'erreur en un point d'interpolation $x_i$.
36     \begin{eqnarray*}
37     E'_n(x_i)&=&\frac{f^{(n+1)}(\zeta(x_i))}{(n+1)!}\left(\prod_{j=0(j\ne i)}^n(x_i-x_j)\right)
38     \end{eqnarray*}
39     $E'_n(x)$ est le terme d'erreur. Il est d'ordre $n$ aux points $x_i$ (il y a $n$ facteurs $x-x_i$).
40     \subsubsection{Approximation d'ordre 1 }
41 francois 948 Pour obtenir la dérivée première avec une approximation d'ordre 1, on doit poser $n=1$. On doit trouver un polynôme d'ordre $n=1$. Un polynôme de degré 1 passe par 2 points $x_0$ et $x_1$:
42 francois 939 \begin{eqnarray*}
43     p_1(x)&=&f(x_0)+f[x_0,x_1](x-x_0)\\
44     f(x)&=&p_1(x)+O(2)\\
45     f'(x)&=&p'_1(x)+O(1)\\
46     f'(x)&=&f[x_0,x_1]+O(1)\\
47     \end{eqnarray*}
48     On fait l'évaluation en $x_0$
49     \begin{eqnarray*}
50     f'(x_0)&=&f[x_0,x_1]=\frac{f(x_1)-f(x_0)}{x_1-x_0}\\
51     \end{eqnarray*}
52     Cette expression est la différence avant d'ordre 1.
53     \\On fait l'évaluation en $x_1$
54     \begin{eqnarray*}
55     f'(x_1)&=&f[x_0,x_1]=\frac{f(x_1)-f(x_0)}{x_1-x_0}\\
56     \end{eqnarray*}
57     Cette expression est la différence arrière d'ordre 1.
58    
59    
60     \subsubsection{Approximation d'ordre 2 }
61     Pour obtenir la dérivée première avec une approximation d'ordre 2, on doit poser $n=2$. On doit trouver un polynôme d'ordre $n=2$. Un polynôme de degré 2 passe par 3 points $x_0$, $x_1$ et $x_2$:
62     \begin{eqnarray*}
63     p_2(x)&=&f(x_0)+f[x_0,x_1](x-x_0)+f[x_0,x_1,x_2](x-x_0)(x-x_1)\\
64     f(x)&=&p_2(x)+O(3)\\
65     f'(x)&=&p'_2(x)+O(2)\\
66     f'(x)&=&f[x_0,x_1]+f[x_0,x_1,x_2](2x-x_0-x_1)+O(2)\\
67     \end{eqnarray*}
68     On fait l'évaluation en $x_0$ et on suppose que $h=x_1-x_0=x_2-x_1$
69     \begin{eqnarray*}
70     f'(x_0)&=&f[x_0,x_1]+f[x_0,x_1,x_2](x_0-x_1)\\
71     f'(x_0)&=&\frac{f(x_1)-f(x_0)}{h}+\frac{\frac{f(x_2)-f(x_1)}{h}-\frac{f(x_1)-f(x_0)}{h}}{2h}(-h)\\
72     f'(x_0)&=&\frac{-3f(x_0)+4f(x_1)-f(x_2)}{2h}\\
73     \end{eqnarray*}
74     Cette expression est la différence avant d'ordre 2.
75     \\
76     On fait l'évaluation en $x_1$ et on suppose que $h=x_1-x_0=x_2-x_1$
77     \begin{eqnarray*}
78     f'(x_1)&=&f[x_0,x_1]+f[x_0,x_1,x_2](x_1-x_0)\\
79     f'(x_1)&=&\frac{f(x_1)-f(x_0)}{h}+\frac{\frac{f(x_2)-f(x_1)}{h}-\frac{f(x_1)-f(x_0)}{h}}{2h}h\\
80     f'(x_1)&=&\frac{-f(x_0)+f(x_2)}{2h}\\
81     \end{eqnarray*}
82     Cette expression est la différence centrée d'ordre 2.
83     \\
84     On fait l'évaluation en $x_2$ et on suppose que $h=x_1-x_0=x_2-x_1$
85     \begin{eqnarray*}
86     f'(x_2)&=&f[x_0,x_1]+f[x_0,x_1,x_2](2x_2-x_0-x_1)\\
87     f'(x_2)&=&\frac{f(x_1)-f(x_0)}{h}+\frac{\frac{f(x_2)-f(x_1)}{h}-\frac{f(x_1)-f(x_0)}{h}}{2h}(3h)\\
88 francois 948 f'(x_2)&=&\frac{f(x_0)-4f(x_1)+3f(x_2)}{2h}\\
89 francois 939 \end{eqnarray*}
90     Cette expression est la différence arrière d'ordre 2.
91     \subsubsection{Formule de différences finies pour $f'(x)$ }
92     Les formules de différences finies qui permettent d'évaluer la dérivée d'une fonction en des points de mesures sont déduites des calculs précédents :
93     \\
94 francois 1073 \begin{encadre2}
95     \centering
96 francois 939 \begin{tabular}{|l|}
97     \hline
98     \textbf{Formules de différences finies d'ordre 1 pour $f'(x)$}\\
99     \hline
100     \\
101     $f'(x)=\frac{f(x+h)-f(x)}{h}$\\
102     \\
103     Différence avant d'ordre 1\\
104     \hline
105     \\
106     $f'(x)=\frac{f(x)-f(x-h)}{h}$\\
107     \\
108     Différence arrière d'ordre 1\\
109     \hline
110     \textbf{Formules de différences finies d'ordre 2 pour $f'(x)$}\\
111     \hline
112     \\
113     $f'(x)=\frac{-f(x+2h)+4f(x+h)-3f(x)}{2h}$\\
114     \\
115     Différence avant d'ordre 2\\
116     \hline
117     \\
118     $f'(x)=\frac{f(x+h)-f(x-h)}{2h}$\\
119     \\
120     Différence centrée d'ordre 2\\
121     \hline
122     $f'(x)=\frac{3f(x)-4f(x-h)+f(x-2h)}{2h}$\\
123     \\
124     Différence arrière d'ordre 2\\
125     \hline
126    
127     \end{tabular}
128 francois 1073 \end{encadre2}
129 francois 939 \subsection{Dérivée d'ordre supérieur}
130     Les différences finies pour le calcul des dérivées d'ordre supérieur se fait de la même manière que pour les dérivées premières. Cependant l'ordre d'erreur est plus difficile à déterminer parce que le terme $E_n$ est difficile à dériver plusieurs fois.
131     A la place on établit les formules des différences finies puis nous déterminons l'ordre en développant la formule des différences finies en série de Taylor pour obtenir la table suivante :\\
132     \\
133 francois 1073 \begin{encadre2}
134     \centering
135 francois 939 \begin{tabular}{|l|}
136     \hline
137     \textbf{Formules de différences finies d'ordre 1 pour $f''(x)$}\\
138     \hline
139     \\
140     $f''(x)=\frac{f(x+2h)-2f(x+h)+f(x)}{h^2}$\\
141     \\
142     Différence avant d'ordre 1\\
143     \hline
144     \\
145     $f''(x)=\frac{f(x)-2f(x-h)+f(x-2h)}{h^2}$\\
146     \\
147     Différence arrière d'ordre 1\\
148     \hline
149     \textbf{Formules de différences finies d'ordre 2 pour $f''(x)$}\\
150     \hline
151     \\
152     $f''(x)=\frac{f(x+h)-2f(x)+f(x-h)}{h^2}$\\
153     \\
154     Différence centrée d'ordre 2\\
155     \hline
156     \textbf{Formules de différences finies d'ordre 4 pour $f''(x)$}\\
157     \hline
158     \\
159     $f''(x)=\frac{-f(x+2h)+16f(x+h)-30f(x)+16f(x-h)-f(x-2h)}{12h^2}$\\
160     \\
161     Différence centrée d'ordre 4\\
162     \hline
163     \hline
164     \textbf{Formules de différences finies d'ordre 2 pour $f''''(x)$}\\
165     \hline
166     \\
167     $f''''(x)=\frac{f(x+2h)-4f(x+h)+6f(x)-4ff(x-h)+f(x-2h)}{h^4}$\\
168     \\
169     Différence centrée d'ordre 2\\
170     \hline
171     \end{tabular}
172 francois 1073 \end{encadre2}
173 francois 939
174     \subsection{Erreur}
175     L'ensemble des formules de différences finies fait intervenir l'écart entre les points d'interpolation $h$. On pourrait croire que plus $h$ diminue plus le calcul est précis.
176     En fait, ce n'est pas le cas parce que tous les dénominateurs sont en $h$ donc plus $h$ diminue plus la précision de calcul est affectée. De plus l'ensemble des différences finies s'approche de l'indéterminé $\frac{0}{0}$. Le processus de dérivation est un processus instable.
177     \subsection{Exemple}
178     Soit $f(x)=e^x$ que l'on veut dériver en $x=0$. Dans ce cas on sait que $f'(0)=e^0=1$. \\On veut vérifier la dérivation numérique et la comparer à la valeur théorique.
179     \\
180     \\À l'ordre 1 on a \\
181     \\
182     \begin{tabular}{|l|l|l|l|l|}
183     \hline
184     h & $f'(0)=\frac{e^h-1}{h}$ & erreur $E$ & $\frac{h_i}{h_{i-1}}$ & $\frac{E_i}{E_{i-1}}$ \\
185     \hline
186     $0.1$ & $1.051709$ & $0.051709$ & & \\
187     $0.05$ & $1.0254219$ & $0.0254219$ & $0.5$ & $0.491633951$\\
188     $0.025$ & $1.012604821$ & $0.012604821$ & $0.5$ & $0.495825292$\\
189     \hline
190     \end{tabular}
191     \\ \\
192     Ceci confirme que l'on a une convergence d'ordre 1.\\
193     \\À l'ordre 2 on a \\
194     \\
195     \begin{tabular}{|l|l|l|l|l|}
196     \hline
197     h & $f'(0)=\frac{e^h-e^{-h}}{2h}$ & erreur $E$ & $\frac{h_i}{h_{i-1}}$ & $\frac{E_i}{E_{i-1}}$ \\
198     \hline
199     $0.1$ & $1.0016675$ & $0.0016675$ & & \\
200     $0.05$ & $1.000416719$ & $0.000416719$ & $0.5$ & $0.249906446=0.499906438^2$\\
201     $0.025$ & $1.00010417$ & $0.00010417$ & $0.5$ & $0.249976406=0.499976405^2$\\
202     \hline
203     \end{tabular}
204     \\ \\
205     Ceci confirme que l'on a une convergence d'ordre 2.\\
206    
207     \section{Extrapolation de Richardson}
208     \subsection{Construction de l'extrapolation de Richardson}
209     L'extrapolation de Richardson est une technique qui permet d'augmenter la précision d'une approximation. Soit une approximation $Q_{app}(h)$ d'ordre $n$ résultant d'une quelconque méthode d'approximation. La solution exacte $Q_{exa}$ peut s'écrire :
210     \begin{eqnarray*}
211     Q_{exa}&=&Q_{app}(h)+O(h^n)\\
212     &=&Q_{app}(h)+C_nh^n+C_{n+1}h^{n+1}+C_{n+2}h^{n+2}+...
213     \end{eqnarray*}
214     où les différents coefficients $C$ sont dépendants de la méthode d'extrapolation.
215     \\Calculons maintenant la valeur de l'approximation pour un pas de $\frac{h}{2}$ :
216     \begin{eqnarray*}
217     Q_{exa}&=&Q_{app}\left(\frac{h}{2}\right) +C_n \left( \frac{h}{2} \right)^n+C_{n+1}\left( \frac{h}{2} \right)^{n+1}+C_{n+2}\left( \frac{h}{2} \right)^{n+2}+...\\
218     2^nQ_{exa}&=&2^nQ_{app}\left(\frac{h}{2}\right) +C_nh^n +C_{n+1}\frac{h^{n+1}}{2} +C_{n+2}\frac{h^{n+2}}{2^2} +...\\
219     \end{eqnarray*}
220     En soustrayant les deux dernières équations il vient
221     \begin{eqnarray*}
222     (2^n-1)Q_{exa}&=&2^nQ_{app}\left(\frac{h}{2}\right)-Q_{app}(h) -\frac{1}{2}C_{n+1}\frac{h^{n+1}}{2} -\frac{3}{4}C_{n+2}\frac{h^{n+2}}{2^2} +...\\
223     Q_{exa}&=&\frac{2^nQ_{app}\left(\frac{h}{2}\right)-Q_{app}(h)}{2^n-1}+\frac{ -\frac{1}{2}C_{n+1}\frac{h^{n+1}}{2} -\frac{3}{4}C_{n+2}\frac{h^{n+2}}{2^2} +...}{2^n-1}\\
224     &=&\frac{2^nQ_{app}\left(\frac{h}{2}\right)-Q_{app}(h)}{2^n-1}+O(h^{n+1})\\
225     \end{eqnarray*}
226 francois 1073 \begin{encadre2}
227     \begin{eqnarray*}
228     Q_{exa}&=&\frac{2^nQ_{app}\left(\frac{h}{2}\right)-Q_{app}(h)}{2^n-1}+O(h^{n+1})\\
229     \end{eqnarray*}
230 francois 939 Le terme de droite est une approximation de la solution exacte $Q_{exa}$ d'ordre $n+1$. L'ordre de convergence a donc augmenté au moins de un. Selon les valeur de $C_{n+1}$ l'augmentation d'ordre pourrait être plus importante.
231 francois 1073 \end{encadre2}
232 francois 939 \subsection{Exemple}
233     On reprend l'exercice précédent et on effectue une extrapolation de Richardson.
234     \\
235     \\À l'ordre 1 on a \\
236     \\
237     \begin{tabular}{|l|l|l|l|l|l|}
238     \hline
239     h & $f'(0)=\frac{e^h-1}{h}$ &$\frac{2f'(h_i)-f'(h_{i-1})}{2-1}$ & erreur $E$ & $\frac{h_i}{h_{i-1}}$ & $\frac{E_i}{E_{i-1}}$ \\
240     \hline
241     $0.1$ & $1.051709$ & & & & \\
242     $0.05$ & $1.0254219$ & $0.9991348$ & $-0.0008652$ & & \\
243     $0.025$ & $1.012604821$ & $0.9999787742$& $-0.000212258$ & $0.5$ & $0.245328247=0.495306216^2$\\
244     \hline
245     \end{tabular}
246     \\ \\
247     Ceci confirme que l'on a une convergence d'ordre 2.\\
248     \\À l'ordre 2 on a \\
249     \\
250     \begin{tabular}{|l|l|l|l|l|l|}
251     \hline
252     h & $f'(0)=\frac{e^h-e^{-h}}{2h}$&$\frac{2^2f'(h_i)-f'(h_{i-1})}{2^2-1}$ & erreur $E$ & $\frac{h_i}{h_{i-1}}$ & $\frac{E_i}{E_{i-1}}$ \\
253     \hline
254     $0.1$ & $1.0016675$ & & & & \\
255     $0.05$ & $1.000416719$ & $0.999999792$ &$-0.000000208 $ & & \\
256     $0.025$ & $1.00010417$ & $0.999999987$ & $-0.000000013$& $0.5$ & $0.0625=0.5^4$\\
257     \hline
258     \end{tabular}
259     \\ \\
260     Dans ce cas on a une convergence d'ordre 4.\\Ceci est explicable puisque l'erreur des différences finies centrées d'ordre 2 comporte des termes d'erreur en puissance paire uniquement. Dans l'erreur de l'extrapolation de Richardson le terme $C_{n+1}$ est nul, l'ordre de convergence est donc augmenté de 2.
261     \\
262     Dans le paragraphe précédent on a vu que la dérivation numérique est instable et que la diminution de $h$ ne permet pas d'augmenter forcement la précision de la méthode. En revanche une extrapolation de Richardson permet d'augmenter la précision sans diminuer $h$.
263     \section{Intégration numérique}
264     Au chapitre précédent on a montré que l'on pouvait interpoler des points d'une fonction $f(x)$ et on
265     \begin{eqnarray*}
266     f(x)&=&p_n(x)+E_n(x)\\
267     E_n(x)&=&\frac{f^{(n+1)}(\zeta(x))}{(n+1)!}(x-x_0)...(x-x_n)
268     \end{eqnarray*}
269     $E_n(x)$ est le terme d'erreur d'ordre $n+1$ (il y a $n+1$ facteurs $x-x_i$).
270     Le problème de l'intégration revient à calculer
271     \begin{eqnarray*}
272     \int_{x_0}^{x_n} f(x)dx&=&\int_{x_0}^{x_n} p_n(x)dx+\int_{x_0}^{x_n} E_n(x)dx\\
273     \end{eqnarray*}
274    
275     \subsection{Formule de Newton-Cotes}
276     \subsubsection{Méthode des trapèzes}
277     La fonction est connue en deux points donc $n=1$ et on a
278     \begin{eqnarray*}
279     \int_{x_0}^{x_1} f(x)dx&=&\int_{x_0}^{x_1} p_1(x)dx+\int_{x_0}^{x_1} E_1(x)dx\\
280     E_1(x)&=&\frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1)\\
281     \int_{x_0}^{x_1} f(x)dx&=&\int_{x_0}^{x_1}\left( f(x_0)+f[x_0,x_1](x-x_0) \right) dx+\int_{x_0}^{x_1}\frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1) dx\\
282     &=&\left[ f(x_0)x \right]_{x_0}^{x_1}+\left[ \frac{f(x_1)-f(x_0)}{x_1-x_0}\frac{(x-x_0)^2}{2} \right]_{x_0}^{x_1}+\int_{x_0}^{x_1}\frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1) dx\\
283     &=& f(x_0)(x_1-x_0) +\frac{(f(x_1)-f(x_0)(x_1-x_0)}{2} +\int_{x_0}^{x_1}\frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1) dx\\
284     &=& (x_1-x_0)\frac{f(x_0)+f(x_1)}{2} +\int_{x_0}^{x_1}\frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1) dx\\
285     \end{eqnarray*}
286     La partie du résultat de droite correspond à l'aire du trapèze qui est se situe sous le polynôme entre les points $x_0$ et $x_1$. Il reste le terme d'erreur à calculer.
287     \begin{eqnarray*}
288     E_1(x)&=&\int_{x_0}^{x_1} \frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1)dx\\
289     \end{eqnarray*}
290     On effectue le changement de variable suivant
291     \begin{eqnarray*}
292     h&=&x_1-x_0\\
293     s&=&\frac{x-x_0}{h}\quad x=sh+x_0\\
294     dx&=&hds\\
295     \end{eqnarray*}
296     et on obtient
297     \begin{eqnarray*}
298     E_1(x)&=&\int_{0}^{1} \frac{f''(\zeta(x))}{(2)!}sh^2(s-1)hds\\
299     &=&h^3\int_{0}^{1} \frac{f''(\zeta(x))}{2}s(s-1)ds=O(h^3)\\
300     \end{eqnarray*}
301     La méthode des trapèzes a un ordre de convergence de 3.
302     \\Exemple :
303     On sait que $\int_0^\frac{\pi}{2}\sin x dx=1$.
304     Le calcul de l'intégrale numérique donne
305     \begin{eqnarray*}
306     \int_0^\frac{\pi}{2}\sin x dx&=&(\frac{\pi}{2}-0)\frac{\sin \frac{\pi}{2}-\sin 0}{2}=\frac{\pi}{4}
307     \end{eqnarray*}
308     Ce calcul donne un très mauvais résultat. Le problème ne vient pas de la méthode d'intégration elle-même mais du fait que l'on a interpolé une fonction sinus avec un polynôme de degré 1. Pour améliorer le tout on peut découper l'intervalle en $n$ intervalle de largeur $h=\frac{b-a}{n}$ :
309     \begin{eqnarray*}
310     \int_a^b f(x)dx&=&\sum_{i=0}^{n-1}\int_{x_i}^{x_{i+1}} f(x)dx\\
311     &=&\sum_{i=0}^{n-1}\frac{h}{2}\left( f(x_i)+f(x_{i+1})\right)\\
312     &=&\frac{h}{2}\left( f(x_0)+f(x_1)+f(x_1)+f(x_2)+...+f(x_n)\right)\\
313     &=&\frac{h}{2}\left( f(x_0)+2f(x_1)+2f(x_2)+...+2f(x_{n-1})+f(x_n)\right)\\
314     \end{eqnarray*}
315     Le terme d'erreur devient
316     \begin{eqnarray*}
317     E_1(x)&=&\int_{a}^{b} \frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1)dx\\
318     &=&\sum_{i=0}^{n-1}\int_{x_i}^{x_{i+1}} \frac{f''(\zeta(x))}{(2)!}(x-x_0)(x-x_1)dx\\
319     &=&\sum_{i=0}^{n-1}h^3\int_{0}^{1} \frac{f''(\zeta(x))}{2}s(s-1)ds\\
320     &=&nh^3\int_{0}^{1} \frac{f''(\zeta(x))}{2}s(s-1)ds\\
321     &=&\frac{b-a}{h}h^3\int_{0}^{1} \frac{f''(\zeta(x))}{2}s(s-1)ds\\
322     &=&(b-a)h^2\int_{0}^{1} \frac{f''(\zeta(x))}{2}s(s-1)ds\\
323     &=&O(h^2)
324     \end{eqnarray*}
325     La méthode des trapèzes avec des intervalles a une convergence d'ordre 2.
326     \\On revient au calcul de $\int_0^\frac{\pi}{2}\sin x dx$
327     \begin{itemize}
328     \item avec 4 intervalles
329     \begin{eqnarray*}
330     h&=&\frac{\frac{\pi}{2}-0}{4}=\frac{\pi}{8}\\
331     \int_0^\frac{\pi}{2}\sin x dx&=&\frac{\pi}{16}\left(\sin 0+2\sin\frac{\pi}{8}+2\sin\frac{2\pi}{8}+2\sin\frac{3\pi}{8}+\sin\frac{4\pi}{8} \right)\\&=&0.9871158\\
332     \end{eqnarray*}
333    
334     \item avec 8 intervalles
335     \begin{eqnarray*}
336     h&=&\frac{\frac{\pi}{2}-0}{8}=\frac{\pi}{16}\\
337     \int_0^\frac{\pi}{2}\sin x dx&=&\frac{\pi}{32}(\sin 0+2\sin\frac{\pi}{16}+2\sin\frac{2\pi}{16}+2\sin\frac{3\pi}{16}+2\sin\frac{4\pi}{16}+\\& & 2\sin\frac{4\pi}{16}+2\sin\frac{5\pi}{16}+2\sin\frac{7\pi}{16}+\sin\frac{8\pi}{16} )
338     \\&=&0.9967852\\
339     \end{eqnarray*}
340     \item L'erreur à 4 intervalles est $-0.0128842$ et l'erreur à 8 intervalles est $-0.0032148$ soit un rapport de $0.249514909=0.499514674^2$. Ce qui correspond à une convergence d'ordre 2.
341     \end{itemize}
342    
343     \subsubsection{Méthode de Simpson $\frac{1}{3}$}
344     On refait le même raisonnement que la méthode des trapèzes mais on applique sur le polynôme d'interpolation de degré 2 $p_2(x)$ qui nécessite donc trois points d'interpolation et on obtient
345     \begin{eqnarray*}
346     \int_{x_0}^{x_2} f(x)dx&=&\frac{h}{3}\left( f(x_0)+4f(x_1)+f(x_2) \right)\\
347     \end{eqnarray*}
348     avec une convergence d'ordre 5.
349     \\La version avec division en $2n$ intervalles donne
350     \begin{eqnarray*}
351     \int_{a}^{b} f(x)dx&=&\frac{h}{3}\left( f(x_0)+4f(x_1)+2f(x_2)+4f(x_3)+2f(x_4)+...+2f(x_{2n-2})+4f(x_{2n-1})+f(x_{2n}) \right)\\
352     \end{eqnarray*}
353     avec une convergence d'ordre 4.
354     \\Exemple : On revient au calcul de $\int_0^\frac{\pi}{2}\sin x dx$
355     \begin{eqnarray*}
356     \int_0^\frac{\pi}{2}\sin x dx=\frac{\frac{\frac{\pi}{2}-0}{2}}{3}(\sin 0 +4\sin \frac{\pi}{4}+\sin \frac{\pi}{2})=1.002279877
357     \end{eqnarray*}
358    
359     \subsubsection{Méthode de Simpson $\frac{3}{8}$}
360     On refait le même raisonnement que la méthode des trapèzes mais on applique sur le polynôme d'interpolation de degré 3 $p_3(x)$ qui nécessite donc quatre points d'interpolation et on obtient
361     \begin{eqnarray*}
362     \int_{x_0}^{x_3} f(x)dx&=&\frac{3h}{8}\left( f(x_0)+3f(x_1)+3f(x_2)+f(x_3) \right)\\
363     \end{eqnarray*}
364     avec une convergence d'ordre 5.
365     \\La version avec division en $3n$ intervalles donne
366     \begin{eqnarray*}
367     \int_{a}^{b} f(x)dx&=&\frac{3h}{8}\left( f(x_0)+3f(x_1)+3f(x_2)+2f(x_3)+3f(x_4)+...+2f(x_{3n-3})+3f(x_{3n-2})+3f(x_{3n-1})+f(x_{3n}) \right)\\
368     \end{eqnarray*}
369     avec une convergence d'ordre 4.
370     \\Exemple : On revient au calcul de $\int_0^\frac{\pi}{2}\sin x dx$
371     \begin{eqnarray*}
372     \int_0^\frac{\pi}{2}\sin x dx=\frac{3\frac{\frac{\pi}{2}-0}{3}}{8}(\sin 0 +3\sin \frac{\pi}{6}+3\sin \frac{2\pi}{6}+\sin \frac{3\pi}{6})=1.001004923
373     \end{eqnarray*}
374     \subsection{Formule de Gauss-Legendre}
375     Dans les formules de Newton-Cote, les points d'intégration sont fixés aux points d'interpolation. Dans la méthode de Gauss-Legendre on va chercher si d'autres points d'intégration permettent d'obtenir des résultats plus précis.
376     On voudrait trouver les $x_i$ pour que
377     \begin{eqnarray*}
378     \int_a^bf(x)dx=\sum_{i=1}^r w_if(x_i)
379     \end{eqnarray*}
380     où $r$ est le nombre de points de Gauss. On appelle cette expression la quadrature de Gauss-Legendre à $r$ points. Les $x_i$ sont appelés les points d'intégrations et les $w_i$ sont les poids d'intégration.
381     Pour simplifier on s'intéresse tout d'abord à
382     \begin{eqnarray*}
383     \int_{-1}^1f(x)dx=\sum_{i=1}^r w_if(x_i)
384     \end{eqnarray*}
385     \begin{itemize}
386     \item si $r=1$, on a
387     \begin{eqnarray*}
388     \int_{-1}^1f(x)dx=w_1f(x_1)
389     \end{eqnarray*}
390     Soit deux inconnues $w_1$ et $x_1$. Il faut donc deux équations pour résoudre le problème. On prends alors un polynôme de degré 0 et un degré 1 pour établir les équations.
391     \begin{eqnarray*}
392     \int_{-1}^11dx&=&w_1*1=[x]_{-1}^1=2\\
393     \int_{-1}^1xdx&=&w_1*x_1=\left[\frac{x^2}{2}\right]_{-1}^1=0\\
394     \end{eqnarray*}
395 francois 1048 Il vient que $w_1=1$ et $x_1=0$ et qu'un polynôme de degré 1 est intégré de manière exacte.
396 francois 939 \item si $r=2$, on a
397     \begin{eqnarray*}
398     \int_{-1}^1f(x)dx=w_1f(x_1)+w_2f(x_2)
399     \end{eqnarray*}
400     Soit quatre inconnues $w_1$,$x_1$,$w_2$et$x_2$. Il faut donc quatre équations pour résoudre le problème. On prends alors des polynômes de degré 0,1,2 et 3 pour établir les équations.
401     \begin{eqnarray*}
402     \int_{-1}^11dx&=&w_1*1+w_2*1=[x]_{-1}^1=2\\
403     \int_{-1}^1xdx&=&w_1*x_1+w_2*x_2=\left[\frac{x^2}{2}\right]_{-1}^1=0\\
404     \int_{-1}^1x^2dx&=&w_1*x_1^2+w_2*x_2^2=\left[\frac{x^3}{3}\right]_{-1}^1=\frac{2}{3}\\
405     \int_{-1}^1x^3dx&=&w_1*x_1^3+w_2*x_2^3=\left[\frac{x^4}{4}\right]_{-1}^1=0\\
406     \end{eqnarray*}
407     on obtient un système d'équations non linéaires
408     \begin{eqnarray*}
409     \left\{
410     \begin{array}{l}
411     w_1+w_2=2\\
412     w_1x_1+w_2x_2=0\\
413     w_1x_1^2+w_2x_2^2=\frac{2}{3}\\
414     w_1x_1^3+w_2x_2^3=0\\
415     \end{array} \right.
416     \end{eqnarray*}
417     On multiplie la deuxième équation par $x_1^2$ et on la soustrait avec la quatrième, on obtient
418     \begin{eqnarray*}
419     w_2x_2x_1^2-w_2x_2^3=0\\
420     w_2x_2(x_1^2-x_2^2)=0\\
421     \end{eqnarray*}
422     Cette dernière équation s'annule pour $x_1=-x_2$. en effet tout les autres cas d'annulation ($w_2=0$,$x_2=0$ et $x_1=x_2$) conduisent à une formule de Gauss à un point. Le deuxième équation devient alors $x_1(w_1-w_2)$ ce qui conduit à $w_1=w_2=1$ (d'après la première équation).
423     \\
424     La troisième équation amène alors à $2x_1^2=\frac{2}{3}$ soit $x_1=\pm\sqrt{\frac{1}{3}}$.
425     \\On en déduit que $w_1=w_2=1$ et que $x_1=-\sqrt{\frac{1}{3}}$, $x_2=\sqrt{\frac{1}{3}}$
426     On a donc $\int_{-1}^1f(x)dx=f\left(-\sqrt{\frac{1}{3}}\right)+f\left(\sqrt{\frac{1}{3}}\right)$ et cette formule intègre exactement un polynôme de degré 3.
427     \item en continuant avec des valeurs de r plus élevé on trouve la table d'intégration de Gauss Legendre qui intègre exactement un polynôme de degré $2r-1$
428     \\
429 francois 1073 \begin{encadre2}
430     \centering
431 francois 939 \begin{tabular}{|c|c|c|c|}
432     \hline
433     \multicolumn{4}{|c|}{\textbf{Quadrature de Gauss-Legendre}}\\
434     \hline
435     $r$ & $x_i$ & $w_i$ & Degré de précision\\
436     \hline
437     $1$ & $0$ & $2$ & $1$\\
438     \hline
439     $2$ & $-\sqrt{\frac{1}{3}}$ & $1$ & $3$\\
440     & $\sqrt{\frac{1}{3}}$ & $1$ &\\
441     \hline
442     $3$ & $0$ & $\frac{8}{9}$ & $5$\\
443     & $-\frac{\sqrt{15}}{5}$ & $\frac{5}{9}$ & \\
444     & $\frac{\sqrt{15}}{5}$ & $\frac{5}{9}$ & \\
445     \hline
446     $4$ & $-\frac{\sqrt{525+70\sqrt{30}}}{35}$ & $\frac{18-\sqrt{30}}{36}$ & $7$\\
447     & $-\frac{\sqrt{525-70\sqrt{30}}}{35}$ & $\frac{18+\sqrt{30}}{36}$ & \\
448     & $\frac{\sqrt{525-70\sqrt{30}}}{35}$ & $\frac{18+\sqrt{30}}{36}$ & \\
449     & $\frac{\sqrt{525+70\sqrt{30}}}{35}$ & $\frac{18-\sqrt{30}}{36}$ & \\
450     \hline
451     $5$ & $0$ & $\frac{128}{225}$ & $9$\\
452     & $-\frac{\sqrt{245+14\sqrt{70}}}{35}$ & $\frac{322-13\sqrt{70}}{900}$ & \\
453     & $-\frac{\sqrt{245-14\sqrt{70}}}{35}$ & $\frac{322+13\sqrt{70}}{900}$ &\\
454     & $\frac{\sqrt{245-14\sqrt{70}}}{35}$ & $\frac{322+13\sqrt{70}}{900}$ &\\
455     & $\frac{\sqrt{245+14\sqrt{70}}}{35}$ & $\frac{322-13\sqrt{70}}{900}$ &\\
456     \hline
457     \end{tabular}
458 francois 1073 \end{encadre2}
459 francois 939 \end{itemize}
460     Maintenant nous pouvons revenir au problème initial qui est le calcul de $\int_a^b f(x)dx$.
461     On effectue un changement de variable
462     \begin{eqnarray*}
463     x&=&\frac{(b-a)t+(a+b)}{2}\\
464     dx&=&\frac{b-a}{2}dt
465     \end{eqnarray*}
466     et on obtient
467     \begin{eqnarray*}
468     \int_a^b f(x)dx&=&\frac{b-a}{2}\int_{-1}^1 f\left( \frac{(b-a)t+(a+b)}{2} \right) dt
469     \end{eqnarray*}
470     et on peut appliquer la quadrature de Gauss à la fonction $f$ avec le changement de variable de $x$ en $t$.
471     \\Pour augmenter la précision on peut aussi diviser le calcul en plusieurs intervalles
472     \begin{eqnarray*}
473     \int_a^b f(x)dx&=&\sum_{i=0}^{n-1} \int_{x_i}^{x_{i+1}} f(x) dx\\
474     &=&\sum_{i=0}^{n-1} \frac{x_{i+1}-x_i}{2} \int_{-1}^{1} f\left(\frac{(x_{i+1}-x_i)t+(x_{i+1}+x_i)}{2}\right) dt\\
475     &=&\sum_{i=0}^{n-1} \frac{x_{i+1}-x_i}{2} \sum_{j=1}^{r} w_jf\left(\frac{(x_{i+1}-x_i)t_j+(x_{i+1}+x_i)}{2}\right)
476     \end{eqnarray*}
477     \\
478     Exemple : On revient sur l'exemple de $\int_0^{\frac{\pi}{2}}\sin x dx$ et on utilise la quadrature à 2 points
479     \begin{eqnarray*}
480     \int_0^{\frac{\pi}{2}}\sin x dx&=&\frac{\frac{\pi}{2}-0}{2}\int_{-1}^1 \sin \frac{\pi t+\pi}{4} dt\\
481     &=&\frac{\pi}{4}\int_{-1}^1 \sin \frac{\pi t+\pi}{4} dt\\
482     &=&\frac{\pi}{4} \left( \sin \frac{-\frac{\pi}{\sqrt{3}}+\pi}{4}+\sin \frac{\frac{\pi}{\sqrt{3}}+\pi}{4}\right)\\
483     &=&0.998472
484     \end{eqnarray*}
485     On fait le même calcul avec deux intervalles.
486     \begin{eqnarray*}
487     \int_0^{\frac{\pi}{2}}\sin x dx&=&\sum_{i=0}^{1} \frac{x_{i+1}-x_i}{2} \sum_{j=1}^{2} w_j\sin \frac{(x_{i+1}-x_i)t_j+(x_{i+1}+x_i)}{2}\\
488     &=&\frac{\frac{\pi}{4}-0}{2} \sum_{j=1}^{2} w_j\sin \frac{(\frac{\pi}{4}-0)t_j+(\frac{\pi}{4}+0)}{2}+\frac{\frac{\pi}{2}-\frac{\pi}{4}}{2} \sum_{j=1}^{2} w_j\sin \frac{(\frac{\pi}{2}-\frac{\pi}{4})t_j+(\frac{\pi}{2}+\frac{\pi}{4})}{2}\\
489     &=&\frac{\pi}{8} \sum_{j=1}^{2} w_j\sin \frac{\pi t_j+\pi}{8}+\frac{\pi}{8} \sum_{j=1}^{2} w_j\sin \frac{\pi t_j+3\pi}{8}\\
490     &=&\frac{\pi}{8} \sin \frac{-\pi \sqrt{\frac{1}{3}}+\pi}{8}+\frac{\pi}{8} \sin \frac{\pi \sqrt{\frac{1}{3}}+\pi}{8}+\frac{\pi}{8} \sin \frac{-\pi \sqrt{\frac{1}{3}}+3\pi}{8}+\frac{\pi}{8} \sin \frac{\pi \sqrt{\frac{1}{3}}+3\pi}{8}\\
491     &=&0.99991017
492     \end{eqnarray*}
493 francois 948 \begin{encadre}{À retenir}
494     Il est relativement aisé d'intégrer numériquement de manière précise. Au niveau de la dérivation cela est plus difficile.
495 francois 1048 \end{encadre}