Un majorant démontrable de l'amplitude de l'erreur d'approximation ou de mesure sous des hypothèses énoncées ; peut être donné a priori (avant calcul) ou a posteriori (après calcul) et sert à garantir les performances dans le pire des cas.

Principe

Un majorant d'erreur quantifie la plus grande déviation possible entre une valeur approchée et la valeur vraie compatible avec les hypothèses du modèle et la dérivation ; les bornes a priori dépendent de paramètres théoriques, tandis que les bornes a posteriori exploitent les résidus calculés ou des indicateurs.

Démonstration

Un estimateur a priori en éléments finis : pour un problème de Poisson avec régularité suffisante, l'erreur en norme H^1 peut être bornée par C h^p ||u||_{p+1}, où C dépend de la régularité du maillage et p est le degré du polynôme ; cela donne une échelle de l'erreur en pire cas en fonction de la taille du maillage.

Mauvaise application

Utiliser une borne d'erreur calculée sous des hypothèses qui ne tiennent pas (par ex. supposer la régularité de la solution ou la régularité du maillage) et traiter la borne comme l'erreur réelle, ou ignorer que les constantes dans la borne peuvent être grandes et rendre la borne pessimiste.

Conséquence

Des majorants valides fournissent des tolérances garanties, des critères d'arrêt et des marges de sécurité pour les algorithmes et protocoles de mesure ; ils permettent un raffinement contrôlé et la certification de résultats dans des limites démontrables.

Inversion

L'absence de borne d'erreur signifie qu'il n'existe aucune garantie démontrable du pire cas pour l'approximation ; il faut alors s'appuyer sur des tests empiriques, des heuristiques ou des modèles d'erreur probabilistes plutôt que sur des garanties déterministes.

Limite

S'applique sous les hypothèses utilisées dans la dérivation (régularité, normes, stabilité) ; les bornes peuvent être pessimistes, asymptotiques ou dépendantes du problème et ne remplacent pas la validation empirique — elles concernent le pire cas, pas l'erreur typique.

Tension sémantique

Les bornes d'erreur sont en tension avec les estimations d'erreur typiques : une borne serrée est informative, mais beaucoup de bornes sont conservatrices ; les praticiens doivent équilibrer la confiance dans les garanties du pire cas et le comportement observé en moyenne.

Synthèse

Un majorant d'erreur fournit un plafond défendable de l'erreur possible sous des hypothèses explicites ; c'est un outil pour garantir et contrôler le calcul, à utiliser de préférence avec des contrôles empiriques et une analyse de sensibilité pour apprécier son applicabilité et sa précision.