Une spécification de conditions aux limites qui fournit un nombre insuffisant de contraintes indépendantes pour déterminer une solution unique d'un problème différentiel, laissant des degrés de liberté libres ou une famille de solutions paramétrées par des constantes ou fonctions non déterminées.

Principe

Le bien-posage exige un nombre de conditions aux limites indépendantes cohérent avec l'ordre de l'opérateur ; lorsque les contraintes sont insuffisantes, l'espace des solutions possède des directions nulles non triviales et des informations supplémentaires (conditions additionnelles, normalisation ou physique) sont nécessaires pour sélectionner une solution unique.

Démonstration

Le problème de Neumann pour l'équation de Laplace posé avec seulement la dérivée normale spécifiée sur toute la frontière donne des solutions déterminées seulement à une constante additive près, illustrant une spécification sous-déterminée qui nécessite une condition de normalisation.

Mauvaise application

Ne pas reconnaître une formulation sous-déterminée et interpréter la non-unicité résultante comme une indétermination physique, ou ajouter des contraintes arbitraires pour obtenir l'unicité sans justification physique, biaisant ainsi la solution.

Conséquence

Les conditions aux limites sous-déterminées produisent des solutions non uniques et peuvent nécessiter des contraintes physiques supplémentaires, une régularisation ou une sélection de paramètres ; les méthodes numériques peuvent devoir contrôler l'espace nul pour éviter des dérives de la solution.

Inversion

Fournir les contraintes indépendantes manquantes (par ex. ajouter une valeur de Dirichlet ou une normalisation intégrale) transforme un problème sous-déterminé en un problème bien posé avec une solution unique.

Limite

Pertinent pour les EDP et systèmes linéaires où le comptage des contraintes indépendantes importe ; distinct de l'instabilité numérique (où une solution unique existe mais est sensible) et exclut les problèmes à frontière libre où les emplacements frontières inconnus apportent les conditions manquantes par des équations supplémentaires.

Tension sémantique

Peut être confondu avec le mauvais posage ou l'incomplétude du modèle ; sous-déterminé désigne spécifiquement un nombre insuffisant de données aux limites indépendantes conduisant à une variété de solutions, tandis que 'mal posé' peut se référer à l'instabilité ou à l'inexistence plutôt qu'à la multiplicité.

Synthèse

Les conditions aux limites sous-déterminées signifient une contrainte insuffisante : le problème admet une famille de solutions paramétrée par des directions du noyau et requiert normalisation, physique additionnelle ou régularisation pour sélectionner une solution unique et physiquement pertinente.