Une spécification de données aux limites fournissant plus de contraintes indépendantes que ne le permettent l'opérateur différentiel et le domaine, provoquant souvent une incompatibilité ou l'absence de solution parce que les contraintes dépassent les degrés de liberté ou violent des relations de compatibilité.

Principe

Les problèmes aux limites bien posés exigent un équilibre entre l'ordre de l'opérateur différentiel et les contraintes indépendantes aux limites plus les compatibilités ; ajouter des contraintes indépendantes au-delà de cet équilibre conduit à un système surdéterminé qui peut être inconsistant sauf si des conditions de compatibilité supplémentaires sont satisfaites.

Démonstration

Imposer à la fois les valeurs de Dirichlet et de Neumann de façon indépendante sur toute la frontière pour une EDP elliptique d'ordre deux surdétermine généralement le problème ; sauf si les deux jeux de données satisfont une relation de compatibilité, le problème aux limites n'admet pas de solution classique.

Mauvaise application

Appliquer des conditions aux limites supplémentaires pour imposer un résultat numérique voulu (par ex. prescrire valeur et flux pour « stabiliser » un solveur) sans vérification de compatibilité, créant ainsi un système insolvable ou mal conditionné.

Conséquence

Une spécification surdéterminée peut rendre un problème inconsistent ou imposer l'emploi de formulations en moindres carrés ou régularisées qui relâchent les contraintes ; elle signale aussi la nécessité de vérifier la formulation du modèle et la justification physique des données imposées.

Inversion

Retirer ou assouplir des contraintes redondantes (par ex. prescrire seulement Dirichlet ou seulement Neumann lorsque c'est approprié) transforme la configuration surdéterminée en un problème bien posé ou sous-déterminé, rétablissant la solvabilité ou des degrés de liberté contrôlables.

Limite

Concerne les problèmes PDE aux limites et les systèmes linéaires où l'on compte les contraintes indépendantes ; exclut les cas où des conditions supplémentaires sont redondantes mais exactement consistantes (surdétermination consistante) ou les situations gouvernées par des problèmes de contrôle aux limites où des données supplémentaires sont des variables de conception.

Tension sémantique

Souvent confondu avec le mauvais conditionnement ou la redondance ; surdéterminé signifie des contraintes indépendantes supplémentaires qui peuvent être incompatibles, tandis que la redondance peut être consistante si les contraintes sont dépendantes — distinguer indépendance et compatibilité est essentiel.

Synthèse

Les conditions aux limites surdéterminées décrivent un déséquilibre où des contraintes indépendantes imposées dépassent ou contredisent les données admissibles par l'opérateur : elles risquent l'inconsistance et exigent des vérifications de compatibilité, un assouplissement ou une reformulation pour retrouver la solvabilité.