You are on page 1of 12

Sur l'efficacit de la formule des trapzes

Richard Antetomaso
Lyce Saint-Louis
Rsum:
On tudie l'efficacit de la formule des trapzes pour le calcul approch d'une intgrale; en
particulier on explique pourquoi il est ncessaire de supposer que la fonction est de classe (ce
qui rectifie une coquille du programme de MPSI).

1 Introduction
2 Le cas des fonctions
3 la recherche d'un contre-exemple
4 Les fonctions et le thorme de Banach-Steinhaus
5 Contre-exemple l'nonc admis par le programme
6 Une morale
7 Annexe : preuve du thorme de Banach-Steinhaus

1 Introduction
Rcemment notre collgue Alain Mzard, professeur au lyce Saint-Louis (et qui fut le matre
d'un grand nombre d'entre nous), demandait un contre-exemple un nonc admis dans le
programme de MPSI. Il s'agissait de trouver une fonction de classe sur le
segment telle que la formule des trapzes ne donne pas une approximation en O de
l'intgrale . C'est ce que nous nous proposons de faire dans cette note.
J e remercie Alain Mzard et mes collgues du comit de rdaction sans qui cette note n'existerait
pas.
Notations
Pour fonction borne sur l'ensemble non vide , on pose


A toute fonction on associe la suite des approximations de son intgrale
fournies par la formule des trapzes dfinie par

Page 1sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...


2 Le cas des fonctions
2.1 Un lemme
Lemme 1 Pour toute fonction de classe , on a


avec galit si, et seulement si, est polynomiale de degr au plus .
Nous allons donner deux preuves de ce lemme.
La premire mthode montre l'intrt que peut avoir le choix d'une bonne fonction auxiliaire.
Pour , posons ; est l'erreur de la formule
des trapzes un pas. La fonction est de classe et l'ingalit des accroissements finis
applique montre que


On a donc


La deuxime mthode est facilement gnralisable, c'est le dbut du dveloppement d'Euler-
Maclaurin.
Intgrons par parties deux fois en prenant comme primitive de et comme primitive de




On a donc

Page 2sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...

Si est polynomiale de degr au plus , on voit facilement qu'il y a galit.
Inversement, s'il y a galit, les faits
i) pour complexe continue, l'galit quivaut pour
tout o est une constante de module
ii) pour positive continue, l'galit quivaut
montrent que doit tre constante, c'est--dire polynomiale de degr .
2.2 Le thorme principal
Thorme 1 Pour toute fonction de classe et tout , on a


avec galit si, et seulement si, est polynomiale de degr au plus .
Preuve Posons et pour , considrons



qui est de classe et vrifie



On a donc, en posant ,



et le lemme prcdent donne la majoration cherche
Page 3sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...



Le cas d'galit quivaut au fait que les sont polynomiales de degr au plus . Ainsi est
polynomiale de degr au plus par morceaux et elle est : elle est donc globalement
polynomiale de degr au plus sur .

3 la recherche d'un contre-exemple
3.1 Quel type de fonction faut-il considrer?
Pour rpondre Alain Mzard il faut trouver une fonction de classe telle que
n'est pas borne.
Quel type de fonction pouvons-nous tester? Certainement pas une fonction de classe par
morceaux (et partout bien sr) car alors est borne comme on le
voit en isolant les singularits. Plus gnralement nous pouvons tendre les rsultats du 1 de
la manire suivante.
3.2 Une premire extension des rsultats prcdents
Voici une gnralisation trs naturelle du thorme 1.
Thorme 2 Pour toute fonction de classe admettant une drive -
lipschitzienne, on a, pour tout ,


Preuve Avec , et, pour , , on a


ce qui donne

Page 4sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...





et en majorant



3.3 Un nonc (presque optimal) pour la classe
A toute fonction continue , associons son module de continuit uniforme
dfini par



Notons que est bien dfini (car est borne sur ) et tend vers lorsque tend vers
(car est uniformment continue sur ). On peut alors noncer
Thorme 3 Pour toute fonction de classe et pour tout , on a


Remarque On peut considrer que cet nonc est optimal dans la mesure o l'on construira au 4,
pour tout , une fonction de classe telle que n'est pas ngligeable
devant
Preuve En reprenant la formule trouve ci-dessus (cf. 2.2), valable pour toute fonction de classe
sur ,


Page 5sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...

on obtient la majoration suivante qui conduit au rsultat



3.4 Une autre extension
En remplaant la norme par la norme on a les noncs suivants.
Lemme 2 Soit de classe admettant une drive seconde en tous les
points du complmentaire d'un ensemble fini et telle que soit continue par morceaux et
sommable sur . En posant , on a


Preuve En effet, on voit que la formule intgrale



trouve ci-dessus reste valable. Il suffit alors de majorer par sa borne suprieure
Thorme 4 Soit de classe admettant une drive seconde en tous les
points du complmentaire d'un ensemble fini et telle que soit continue par morceaux et
sommable sur . En posant , pour tout , on a


Preuve Utilisons les notations de la dmonstration du thorme 1. Dans ce cas la fonction
est, comme , de classe et admet une drive seconde continue par morceaux et sommable
sur le complmentaire d'un ensemble fini; en outre elle vrifie

Page 6sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...


En utilisant le lemme 2 au lieu du lemme 1 on obtient ainsi



3.5 Un calcul prcis
Les fonctions (avec ) se prtent des calculs prcis.
Dans ce cas on a avec et il nous faut trouver un
dveloppement asymptotique de . Comme on cherche tels que ait
un dveloppement de la forme et pour cela on considre la
srie de terme gnral



avec on trouve . C'est donc le terme gnral d'une srie
convergente et, en notant la somme de cette srie, on a, en utilisant le thorme de sommation
des relations de comparaison (dans le cas de convergence, c'est--dire pour les restes),



ce qui conduit



3.6 Remarques
Page 7sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...
1) On voit donc que, ds que est , c'est--dire ds que , l'erreur de la formule
des trapzes est O , si elle n'est que continue ( ) l'erreur est O .
2) Contrairement aux apparences, la mthode ci-dessus ne prsuppose pas l'existence du
dveloppement asymptotique mais en prouve l'existence. Il
faut seulement avoir l'intuition de l'existence d'un tel dveloppement.
3.7 Comment aller plus loin?
Ces quelques tentatives semblent montrer qu'il n'est pas facile de trouver une fonction de
classe telle que ne soit pas borne et laissent planer ce doute :
Et si l'nonc du programme tait vrai pour toute fonction de classe ?
On comprend en tout cas que pour conclure il va falloir utiliser des mthodes plus fines.

4 Les fonctions et le thorme de Banach-Steinhaus
A l'aide du thorme de Banach-Steinhaus (voir l'annexe) nous allons montrer qu'il existe des
fonctions de classe telles que la suite n'est pas domine par
Prenons ; nous raisonnerons par l'absurde en supposant que pour toute fonction
de classe il existe une constante telle que



4.1 Un espace de Banach
Soit l'espace vectoriel norm o et, pour ,


Proposition 1 est un espace de Banach.
En effet, si est une suite de Cauchy de les suites de fonctions continues et
sont de Cauchy pour la norme de la convergence uniforme car, pour tout , on a
Page 8sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...
et . Il existe donc des fonctions continues et telles que
et convergent uniformment et respectivement vers et .
Le thorme sur le caractre des limites de suites de fonctions montre alors que est de
drive . On en dduit que tend vers pour car et
tendent vers .
4.2 Des formes linaires continues
Pour , considrons .
Lemme 3 est linaire continue pour la norme .
En effet, pour , en majorant et par , on a



4.3 Une contradiction
Selon le thorme de Banach-Steinhaus (cf. annexe) si, pour toute fonction , la suite
tait borne, il existerait une constante telle que



Or pour ( ) on a et, puisque ,



donc on a . Mais par ailleurs donc l'ingalit
est fausse pour assez grand.

5 Contre-exemple l'nonc admis par le programme
Page 9sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...
L'tude prcdente suggre de considrer dfinie sur par



avec pour que soit de classe mais pas . En effet, dans ce cas la srie
dfinissant est absolument convergente dans l'espace norm du 3.1 qui est complet;
elle est donc convergente dans et donc est bien dfinie et de classe .
Remarque On aurait aussi pu constater que la srie et la srie drive convergent normalement
sur et que la srie des drives secondes diverge (ce qui ne prouve pas que n'est pas
mais suffira ici).
Par intgration terme terme on a . De plus, pour tout ,



Or en sommant les progressions gomtriques on a



donc ce qui montre que



n'est pas born.
Plus prcisment, pour tout , en prenant , on a


Page 10sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...

qui tend vers . L'exposant du thorme 3 ne peut donc pas tre amlior.

6 Une morale
Contrairement aux apparences l'affirmation (quelles que soient
les hypothses) n'est pas un bon nonc d'analyse numrique puisque si une telle proprit est
vraie, on peut expliciter des constantes.
En effet, le thorme de Banach-Steinhaus permet de montrer (sous de bonnes hypothses )
que si certaines quantits sont bornes, alors on peut expliciter un majorant. Ce n'est d'ailleurs
pas un hasard si presque tous les cours d'analyse numrique commencent par les applications du
thorme de Baire aux espaces de Banach, dont le thorme de Banach-Steinhaus.
En outre, non seulement le trs thorique thorme de Banach-Steinhaus a apport une rponse
notre problme mais, en plus, il nous a suggr un contre-exemple explicite.

7 Annexe : preuve du thorme de Banach-Steinhaus
C'est l'une des applications fondamentales du
Thorme 5 (de Baire) Dans un espace mtrique complet,
a) l'intersection d'une famille dnombrable d'ouverts denses est une partie dense;
b) la runion d'une famille dnombrable de ferms d'intrieur vide est une partie d'intrieur
vide.
Thorme 6 (Banach-Steinhaus) On considre une famille d'applications linaires continues
) o est un espace de Banach et est un espace norm
quelconque. On munit de la norme associe.
La famille est borne dans pour si, et seulement si, pour tout la
famille de est borne.
Remarque L'intrt du thorme est que, mme si, a priori, la borne des familles
peut dpendre de manire quelconque de , on peut en fait trouver une borne de la forme
o est une constante (indpendante de ).
Preuve Soit, pour , .
est un ferm de et on a car pour tout , il existe tel que
donc pour .
Page 11sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...
Comme est complet, d'aprs le thorme de Baire (b) de l'nonc) l'un des au moins est
d'intrieur non vide. Il existe donc , tels que :



On a donc pour tout de norme et tout



d'o, en additionnant les deux, , soit
On a donc

Page 12sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=63&Type=enonce&Num=0&Mode=...

You might also like