Annexe A — Dérivation numérique par Taylor

💡

Pourquoi cette annexe ?

Dans les leçons précédentes, nous avons obtenu les formules de dérivation numérique en dérivant le polynôme de Newton-Gregory. C'est l'approche historique : on part de l'interpolation, on dérive, on évalue en .

Cette annexe présente une approche alternative : partir directement des développements de Taylor de et , et manipuler ces séries pour isoler les dérivées. Les deux approches donnent les mêmes formules, mais l'approche Taylor a deux avantages :

Elle donne directement l'expression exacte de l'erreur de troncature (pas besoin de dériver l'erreur d'interpolation)
Elle révèle un principe de dualité élégant entre soustraction (dérivées impaires) et addition (dérivées paires)

Cette annexe complète les leçons sur la dérivation numérique. Nous vous recommandons de la lire après la leçon sur les formules et l'instabilité pour consolider votre compréhension.

1. Point de départ : dériver une interpolation

Rappelons que l'interpolation de par un polynôme s'écrit :

où est l'erreur d'interpolation. En dérivant :

Le terme est calculable — c'est un polynôme, on sait le dériver exactement. Toute la question est alors : quelle est la forme de l'erreur ? Quel est son ordre en ? Comment dépend-elle du nombre de points choisis et de leur disposition (avant, arrière, centrée) ?

Pour répondre à ces questions de façon systématique, l'outil fondamental est le développement de Taylor. Il permet de réécrire les valeurs , , , etc., en fonction des dérivées de en , et ainsi d'identifier exactement les termes d'erreur qui apparaissent dans chaque formule de différence finie.

2. Fondation : le développement de Taylor

Soit une fonction suffisamment dérivable. Le développement de Taylor de autour d'un point , évalué en , s'écrit :

💡

Développement (1) — pas positif

En remplaçant par , on obtient le développement pour le pas négatif :

💡

Développement (2) — pas négatif

✅

Observation fondamentale

En passant de (1) à (2), les termes en puissance impaire de () changent de signe, tandis que les termes en puissance paire () restent identiques. Cette propriété de symétrie/antisymétrie est le moteur de toutes les constructions qui suivent.

3. Formules de dérivée première

3.1 Différence avant (forward difference)

On isole directement à partir de l'équation (1).

Réarrangement de (1) :

Division par :

Isolation de :

Le premier terme d'erreur est , proportionnel à .

💡

Différence avant

C'est la formule obtenue en posant et dans Newton-Gregory. Ici, Taylor nous donne directement que le terme d'erreur dominant est .

3.2 Différence arrière (backward difference)

Le même raisonnement appliqué à l'équation (2) donne, après isolation :

💡

Différence arrière

L'erreur dominante est : même magnitude que la différence avant, mais de signe opposé. Cette observation est la clé de la prochaine formule.

3.3 Différence centrée — la soustraction (1) - (2)

C'est ici que la magie opère. On soustrait (2) de (1), terme par terme :

Termes constants :
Termes en (impair) :
Termes en (pair) — s'annulent :
Termes en (impair) :
Termes en (pair) — s'annulent :

Il ne reste que les puissances impaires de :

En divisant par et en isolant :

💡

Différence centrée

✅

Pourquoi la centrée gagne un ordre de précision

La soustraction (1)-(2) élimine automatiquement tous les termes en puissances paires de . Le premier terme d'erreur survivant est en (provenant du divisé par ), et non en comme pour les formules avant et arrière.

On peut aussi voir la centrée comme la moyenne des différences avant et arrière : les erreurs dominantes et s'annulent mutuellement.

C'est exactement ce que nous avons observé avec le cas et du polynôme de Newton-Gregory dans la leçon d'introduction.

4. Dérivée seconde par addition

Au lieu de soustraire les développements, on les additionne. La logique est l'exact miroir de la section précédente.

4.1 L'addition (1) + (2), terme par terme

Termes constants :
Termes en (impair) — s'annulent :
Termes en (pair) :
Termes en (impair) — s'annulent :
Termes en (pair) :

Il ne reste que les puissances paires de :

4.2 Isoler

Passer de l'autre côté :

Diviser par :

💡

Dérivée seconde centrée

Le dans le numérateur provient directement du terme qui apparaît dans l'addition — c'est la « trace » des deux copies de qu'on doit soustraire pour ne garder que les termes de dérivée.

5. La dualité soustraction / addition

Les sections 3 et 4 révèlent un principe structurel profond :

✅

Principe de dualité

Soustraire (1) - (2) élimine les termes en puissances paires de et donne accès aux dérivées d'ordre impair :

Additionner (1) + (2) élimine les termes en puissances impaires de et donne accès aux dérivées d'ordre pair :

Dans chaque cas, l'erreur ne contient que des termes de la même parité que la dérivée cherchée. C'est cette structure qui explique pourquoi les formules centrées sont toujours d'ordre pair en ().

Ce principe de dualité a une conséquence directe pour l'extrapolation de Richardson : puisque l'erreur des formules centrées ne contient que des puissances paires de , Richardson élimine le terme en et saute directement à . Avec des formules non-centrées, l'erreur contient des puissances consécutives et Richardson est moins efficace.

6. Formules à plus de points : augmenter la précision

6.1 Le mécanisme : combinaison linéaire

Pour améliorer la précision, on développe , , etc., et on forme des combinaisons linéaires des développements pour annuler les termes d'erreur un par un. Chaque nouvelle paire symétrique fournit un degré de liberté supplémentaire.

6.2 Dérivée première centrée

On dispose des développements de et . On cherche des coefficients et tels que :

Par soustraction, chaque crochet ne contient que des puissances impaires. On impose l'annulation du terme en (le terme en ), ce qui donne le système :

La solution est , , soit :

💡

Dérivée première centrée, 4 points

6.3 Dérivée seconde centrée

De la même façon, on combine les additions et pour éliminer le terme en :

💡

Dérivée seconde centrée, 5 points

6.4 Pourquoi les points viennent en paires

Si on tente d'ajouter un seul point (par exemple dans la formule de ), la symétrie de la formule centrée force son coefficient à zéro — il n'apporte aucune information sur le taux de changement. Les points utiles viennent nécessairement en paires symétriques et , et chaque paire élimine un terme d'erreur supplémentaire :

7. Retour à l'interpolation

La section 1 posait la question : si , quelle est la forme de l'erreur ? Les sections 2 à 6 y ont répondu par l'approche Taylor. Mais on peut aussi obtenir les formules de différences finies directement à partir de l'interpolation, sans passer par Taylor — c'est l'approche vue dans les leçons sur la dérivation numérique.

Étant donné un ensemble de points , on construit le polynôme d'interpolation (par Lagrange, Newton, ou toute base équivalente). Puisque approxime à travers ces points, sa dérivée fournit une approximation de .

Pour des points équidistants , le polynôme de Lagrange de degré 2 dérivé en donne exactement la formule de différence centrée. De même, les polynômes de degré supérieur à travers reproduisent les formules à plus de points.

✅

Équivalence des deux approches

L'approche par Taylor construit les formules en manipulant des séries et en imposant l'annulation de termes d'erreur. L'approche par interpolation construit un polynôme passant par les points, puis le dérive. Les deux mènent aux mêmes coefficients.

L'approche Taylor a l'avantage de donner directement l'expression de l'erreur de troncature — c'est-à-dire de répondre précisément à la question posée en section 1. L'approche Newton-Gregory a l'avantage d'être systématique et de se généraliser naturellement à l'intégration (Partie B de ce chapitre).

8. Tableau récapitulatif

Dérivée	Type	Formule	Erreur
	Avant
	Arrière
	Centrée, 2 pts
	Centrée, 4 pts
	Avant, 3 pts
	Centrée, 3 pts
	Centrée, 5 pts