37 Méthodes de calcul approché d`une intégrale. Majoration de l

37
Méthodes de calcul approché d’une
intégrale. Majoration de l’erreur
Si I= ]a, b[est un intervalle réel avec −∞ ≤ a < b +,on note C(I)l’espace vectoriel
réel des fonctions définies sur Ià valeurs réelles et continues.
Pour toute fonction fbornée sur I, on note :
kfk= sup
xI|f(t)|.
On rappelle qu’une fonction fcontinue sur un segment [a, b]est bornée et atteint ses bornes.
On note R[x]l’espace vectoriel sur Rdes fonctions polynomiales à coefficients réels. Cet
espace est muni de sa base canonique (ek)kNdéfinie par :
kN,xR, ek(x) = xk.
Pour tout entier naturel n, on note Rn[x]le sous-espace vectoriel de R[x]formé des fonctions
polynomiales de degré au plus égal à n.
37.1 Formules de quadrature
Définition 37.1 On appelle formule (ou méthode) de quadrature à n+ 1 points sur C(I)la
donnée d’une forme linéaire ϕndéfinie sur C(I)par :
f C (I), ϕn(f) =
n
X
k=0
λn,kf(xn,k)
nest un entier naturel non nul, (xn,k)0knune suite de points deux à deux distincts dans
l’intervalle Iet (λn,k)0knune suite de réels non tous nuls.
Si π C (I, R+,)est une fonction poids sur Iet fune fonction continue sur Itelle que
l’intégrale Zb
a
f(x)π(x)dx soit convergente, on cherche des formules de quadrature, avec des
coefficients xn,k et λn,k indépendants de f, permettant d’approximer une telle intégrale. On
écrira alors : Zb
a
f(x)π(x)dx wϕn(f) =
n
X
k=0
λn,kf(xn,k).
941
942 Méthodes de calcul approché d’une intégrale. Majoration de l’erreur
Pour chaque formule de quadrature il sera important de savoir estimer l’erreur de quadrature :
En(f) = Zb
a
f(x)π(x)dx ϕn(f).
Dans le cas où cette erreur est nulle, on dira que la formule de quadrature est exacte sur f.
Définition 37.2 Une formule de quadrature à n+ 1 points sur C(I)est dite d’ordre psi elle
est exacte sur Rp[x]et inexacte pour au moins un polynôme de Rp+1 [x].
Pour vérifier qu’une formule de quadrature est d’ordre p, il suffit, par linéarité de ϕnet de
l’intégrale, de vérifier qu’elle est exacte sur une base de Rp[x](par exemple la base canonique)
et inexacte pour un polynôme de degré p+ 1 (par exemple le polynôme xp+1).
Exercice 37.1 Montrer que l’ordre maximum d’une formule de quadrature à n+ 1 points est
2n+ 1.
Solution 37.1 En considérant le polynôme Pde degré 2n+2 défini par P(x) =
n
Q
k=0
(xxn,k)2,
on a : Zb
a
P(x)π(x)dx > 0 =
n
X
k=0
λn,kP(xn,k).
quel que soient les coefficients λn,k.
Nous verrons avec les méthodes de Gauss que l’on peut trouver des points xn,k et des coef-
ficients λn,k permettant d’atteindre cet ordre maximum.
On dit qu’une méthode de quadrature définie par une suite de formes linéaires (ϕn)nNest
convergente si pour toute fonction f C (I)la suite réelle (ϕn(f))nNconverge vers ϕ(f).
37.2 La méthode des rectangles à gauche
Pour I= [a, b]intervalle fermé borné, en prenant les points xn,k équidistants dans I, c’est-
à-dire :
xn,k =a+kba
n(0 kn)
et les coefficients λn,k tous égaux à ba
npour kcompris entre 0et n1,le coefficient λn,n
étant nul, on obtient la formule des rectangles à gauche :
Rn(f) = ba
n
n1
X
k=0
f(xn,k)
et le cours sur l’intégrale de Riemann nous dit que :
f C (I),lim
n+Rn(f) = Zb
a
f(x)dx.
La méthode des rectangles à gauche est donc convergente.
La méthode des rectangles à gauche 943
Fig. 37.1 – Méthode du rectangle à gauche
Cette méthode est d’ordre 0.En effet il est clair que Rn(f) = Zb
a
f(x)dx pour fconstante
et pour f(x) = xsur [0,1] ,on a pour tout entier n1:
Rn(f) = 1
n
n1
X
k=0
k
n=n+ 1
2n=1
2+1
2n6=Z1
0
xdx =1
2.
De manière plus générale, en choisissant pour tout entier kcompris entre 0et n1un réel
ξn,k dans l’intervalle [xn,k, xn,k+1],les sommes de Riemann :
ϕn(f) = ba
n
n1
X
k=0
f(ξn,k)
définissent une méthode de quadrature sur C(I)qui est exacte sur l’ensemble des fonctions
constantes et pour toute fonction fdans C(I)on a :
lim
n+ϕn(f) = Zb
a
f(x)dx.
La méthode des rectangles en un point quelconque de [xn,k, xn,k+1]est donc convergente.
Pour fmonotone, on peut facilement obtenir un encadrement de l’erreur d’approximation
pour la méthode des rectangles à gauche.
Théorème 37.1 Avec les notations qui précèdent, on a pour fmonotone sur [a, b]:
¯¯¯¯Zb
a
f(x)dx Rn(f)¯¯¯¯ba
n|f(b)f(a)|
Démonstration. Par exemple, pour fcroissante, on a pour kcompris entre 0et n1:
x[xn,k, xn,k+1], f (xn,k)f(x)f(xn,k+1)
ce qui entraîne en intégrant sur [xn,k, xn,k+1]:
ba
nf(xn,k)Zxn,k+1
xn,k
f(x)dx ba
nf(xn,k+1)
944 Méthodes de calcul approché d’une intégrale. Majoration de l’erreur
et en effectuant la somme :
ba
n
n1
X
k=0
f(xn,k)Zb
a
f(x)dx ba
n
n
X
k=1
f(xn,k)
soit :
0Zb
a
f(x)dx Rn(f)ba
n(f(b)f(a))
Dans le cas où fest décroissante, fest croissante et Rn(f) = Rn(f).On a donc :
0Zb
af(x)dx Rn(f)ba
n(f(b) + f(a))
ou encore :
0Rn(f)Zb
a
f(x)dx ba
n(f(a)f(b)) .
Remarque 37.1 Il n’est pas nécessaire de supposer que fest continue dans le théorème pré-
cédent puisque une fonction monotone est Riemann-intégrable.
Pour fde classe C1sur [a, b],on peut donner une majoration de l’erreur d’approximation
de Zb
a
f(x)dx par la méthode des rectangles à gauche.
Nous utiliserons à plusieurs reprises le lemme suivant, conséquence du théorème des valeurs
intermédiaires.
Lemme 37.1 Si ϕest une fonction continue sur [a, b]et (xk)1knune suite de points de [a, b]
avec n2,il existe alors un réel cdans [a, b]tel que :
n1
X
k=1
ϕ(xk) = n·ϕ(c)
Démonstration. En désignant par m[resp. M] la borne inférieure [resp. supérieure] de ϕ
sur [a, b],on a :
m1
n
n1
X
k=0
ϕ(xk)M
et le théorème des valeurs intermédiaires nous dit alors qu’il existe cdans [a, b]tel que 1
n
n1
P
k=1
ϕ(xk) =
ϕ(c).
Lemme 37.2 Soit fune fonction de classe C1sur [a, b].Il existe un réel cdans ]a, b[tel que :
Zb
a
f(x)dx f(a) (ba) = f0(c)
2(ba)2.
La méthode des rectangles à gauche 945
Démonstration. En désignant par F:x7→ Zx
a
f(t)dt la primitive de fnulle en a, cette
fonction est de classe C2sur [a, b]et le théorème de Taylor-Lagrange nous dit qu’il existe un
réel c]a, b[tel que :
F(b) = Zb
a
f(x)dx =F(a) + F0(a) (ba) + F00 (c)
2(ba)2
=f(a) (ba) + f0(c)
2(ba)2
On déduit de ce lemme une majoration de l’erreur dans la méthode de base du rectangle à
gauche : ¯¯¯¯Zb
a
f(x)dx f(a) (ba)¯¯¯¯kf0k
2(ba)2
On peut aussi utiliser l’inégalité des accroissements finis pour écrire que :
x[a, b],|f(x)f(a)| ≤ kf0k(xa)
puis :
¯¯¯¯Zb
a
f(x)dx f(a) (ba)¯¯¯¯=¯¯¯¯Zb
a
(f(x)f(a)) dx¯¯¯¯
Zb
a|f(x)f(a)|dx ≤ kf0kZb
a
(xa)dx =kf0k
2(ba)2
Pour ce qui est de la méthode composée des rectangles, on a le résultat suivant.
Théorème 37.2 Soit fune fonction de classe C1sur [a, b]et nun entier naturel non nul.
Avec les notations qui précèdent, il existe un réel cn[a, b]tel que :
Zb
a
f(x)dx Rn(f) = (ba)2
2nf0(cn)
et on a : ¯¯¯¯Zb
a
f(x)dx Rn(f)¯¯¯¯kf0k(ba)2
2n
Démonstration. On a :
Zb
a
f(x)dx Rn(f) =
n1
X
k=0 Zxn,k+1
xn,k
f(x)dx ba
n
n1
X
k=0
f(xn,k)
=
n1
X
k=0 Zxn,k+1
xn,k
f(x)dx (xn,k+1 xn,k)f(xn,k)
=
n1
X
k=0
f0(cn,k)
2(xn,k+1 xn,k)2=(ba)2
2n2
n1
X
k=0
f0(cn,k)
où chaque cn,k est dans ]xn,k, xn,k+1[.
1 / 44 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !