Une contrainte mathématique qui garantit que les prescriptions aux frontières, les termes sources et les conditions initiales sont mutuellement cohérents afin qu'une solution satisfaisant toutes les conditions imposées puisse exister pour un système différentiel ou algébrique.

Principe

Imposer la cohérence entre les contraintes aux frontières et les conditions de forçage/initialisation afin que les équations globales ne deviennent pas surdéterminées ou contradictoires.

Démonstration

Pour l'équation de Poisson sur un domaine borné avec conditions de Neumann, l'intégrale du terme source doit égaler l'intégrale des flux normaux prescrits ; vérifier et imposer cet équilibre est une condition de compatibilité.

Mauvaise application

Considérer la compatibilité comme optionnelle et appliquer des données de frontière et de source arbitraires peut conduire à l'absence de solution ou à une application abusive de multiplicateurs de Lagrange masquant l'incohérence.

Conséquence

Lorsqu'elle est satisfaite, la condition permet l'existence (et souvent la résolubilité) de la solution visée et évite des comportements numériques divergents ou mal posés liés à des données incompatibles.

Inversion

Une condition d'incompatibilité identifie un décalage entre contraintes qui empêche nécessairement toute solution exacte respectant toutes les spécifications ; la résoudre requiert de relâcher ou modifier une ou plusieurs contraintes.

Limite

S'applique aux contraintes reliant frontières, sources et données initiales dans les modèles différentiels et algébriques ; elle ne prescrit pas la loi de fermeture physique unique mais restreint les combinaisons de données admissibles.

Tension sémantique

La tension apparaît entre une condition de compatibilité (exigence de cohérence mathématique) et la cohérence physique (fermeture phénoménologique) ; la première peut être satisfaite même si le modèle physique choisi est inexact.

Synthèse

Une condition de compatibilité est la vérification et la contrainte mathématique qui aligne spécifications de frontière, source et initiales pour que les équations gouvernantes admettent une solution, distinguant la solvabilité de la simple spécification.