La violation progressive ou la perte de satisfaction de contraintes algébriques, différentielles ou géométriques (telles que quantités conservées, orthogonalité, conditions de divergence nulle ou contraintes holonomes) lors d'une intégration temporelle ou d'une résolution itérative en raison de l'accumulation d'erreurs numériques ou de procédures de mise à jour incompatibles.

Principe

Les intégrateurs numériques, schémas de projection et solveurs itératifs qui ne préservent pas exactement les variétés invariantes ou les sous-espaces de contraintes accumulent des erreurs à chaque pas ; sans enforcement ou structure préservant les contraintes, la solution dérive hors de la variété des contraintes au fil du temps ou des itérations.

Démonstration

Un intégrateur non symplectique appliqué à un système hamiltonien modifie progressivement l'énergie totale, ou un schéma temporel pour écoulement incompressible qui ne reprojette pas sur des champs à divergence nulle accumule une divergence non nulle, produisant un déséquilibre de masse artificiel après de nombreuses étapes.

Mauvaise application

Supposer que de petites violations instantanées des contraintes sont inoffensives et négliger des corrections périodiques, ou appliquer une projection naïve qui brise d'autres quantités conservées (par exemple projeter l'impulsion d'une façon qui viole l'énergie), échangeant ainsi la préservation d'une contrainte contre la dérive d'une autre.

Conséquence

Les simulations à long terme produisent des trajectoires qualitativement erronées, des tendances séculaires spuriques, la perte d'invariants conservés et une instabilité numérique potentielle ; les modèles qui exigent une satisfaction exacte des contraintes (cinématique des corps rigides, lois de conservation) deviennent peu fiables.

Inversion

Adopter des intégrateurs préservant les contraintes (symplectiques, géométriques), imposer les contraintes par projection stable ou formulations avec multiplicateurs de Lagrange, utiliser des préconditionneurs et solveurs sensibles aux contraintes, et surveiller/corriger la dérive de façon adaptative pour ramener la solution sur la variété des contraintes.

Limite

S'applique à l'intégration temporelle discrète et aux algorithmes itératifs où les contraintes doivent être satisfaites exactement ou dans une tolérance contrôlée ; n'implique pas un décalage physique lorsque le système continu permet lui-même une dérive lente ou une relaxation dépendante des paramètres.

Tension sémantique

Étroitement lié à la pollution du sous-espace nul et à l'accumulation d'arrondis : la pollution du noyau contamine le sous-espace des contraintes lui-même, tandis que la dérive des contraintes est la manifestation dynamique du départ de ce sous-espace ; seules les erreurs d'arrondi peuvent provoquer une dérive minime, mais l'incompatibilité structurelle en est une cause plus forte.

Synthèse

La dérive des contraintes est l'éloignement progressif des sous-espaces de contraintes requis, causé par l'accumulation d'erreurs numériques ou des mises à jour incompatibles ; elle se corrige par des algorithmes préservant la structure, des mécanismes d'imposition stables et une surveillance active pour ramener la solution sur la variété des contraintes.