التمرين 1
Exercice — Formule de quadrature de type Simpson et estimation d'erreur
On considère la formule de quadrature
où les réels et sont à déterminer.
- (1 pt) Sous quelle condition (portant sur et ) la formule (2) est-elle exacte pour une fonction constante ?
- (1 pt) Sous quelle condition la formule (2) est-elle exacte pour une fonction polynomiale de degré au plus 2 ?
- (1 pt) En déduire le choix de et rendant la formule (2) exacte pour un polynôme de degré au plus 2.
- (1 pt) La formule est-elle exacte pour tout polynôme de degré 3 ? de degré 4 ?
- (1,5 pts) À l'aide d'un changement de variable affine, en déduire une formule de quadrature exacte sur l'espace des polynômes de degré au plus 3 pour l'intégrale .
- (1,5 pts) En déduire une formule de quadrature composée pour le calcul approché de . Cette formule est-elle stable ?
- (1,5 pts) Soit . Écrire une formule de Taylor à l'ordre 3 pour : avec . Majorer sur en fonction de .
- (1,5 pts) En déduire une estimation d'erreur entre et .
◀الحل
1. Exactitude sur les constantes
Pour : et la formule donne . Condition :
2. Exactitude sur
Par symétrie des nœuds, les fonctions impaires () sont automatiquement intégrées exactement (les deux membres valent ). Il reste : et la formule donne . Condition supplémentaire :
3. Valeurs de
, puis . La formule est
c'est-à-dire la formule de Simpson.
4. Degrés 3 et 4
Pour (impaire), les deux membres valent : exacte. Donc la formule est exacte pour tout polynôme de degré . Pour : mais la formule donne . Non exacte au degré 4.
5. Changement de variable affine
Avec , , la bijection affine (, ) donne
formule exacte sur (l'exactitude est préservée par transformation affine).
6. Formule composée et stabilité
On subdivise en sous-intervalles de pas , :
Tous les poids sont positifs et leur somme vaut ; la formule est donc stable (insensible à l'amplification des erreurs d'arrondi).
7. Formule de Taylor et majoration du reste
En développant à l'ordre 3 autour d'un point de , avec et reste de Lagrange
Donc, en posant ,
8. Estimation d'erreur
La formule de Simpson est exacte sur , donc l'erreur locale ne porte que sur :
En sommant sur les intervalles :
(La constante optimale connue pour Simpson composée est ; l'argument de Taylor ci-dessus donne une majoration valable, un peu moins fine.)