Definition
Eine Randvorgabe, die nicht genügend unabhängige Nebenbedingungen liefert, um eine eindeutige Lösung eines Differentialproblems zu bestimmen, sodass Freiheitsgrade verbleiben oder eine Familie von Lösungen durch unbestimmte Konstanten oder Funktionen parametriert wird.

Prinzip

Prinzip
Wohlgestelltheit erfordert ausreichend unabhängige Randbedingungen im Einklang mit der Ordnung des Operators; sind die Nebenbedingungen zu wenig, besitzt der Lösungsraum nichttriviale Nullraumrichtungen und zusätzliche Informationen (weitere Bedingungen, Normalisierung oder physikalische Angaben) sind nötig, um eine eindeutige Lösung zu wählen.

Demonstration

Demonstration
Das Neumann-Problem für die Laplace-Gleichung, bei dem nur die normale Ableitung auf dem gesamten Rand vorgegeben ist, liefert Lösungen, die nur bis auf eine additive Konstante bestimmt sind — ein Beispiel für unterbestimmte Randbedingungen, die eine Normalisierungsbedingung erfordern.

Fehlanwendung

Fehlanwendung
Das Nicht-Erkennen einer unterbestimmten Formulierung und das Falschinterpretieren der resultierenden Nicht-Eindeutigkeit als physikalische Indeterminiertheit oder das Hinzufügen willkürlicher Nebenbedingungen zur Erzwingung von Eindeutigkeit ohne physikalische Rechtfertigung, wodurch die Lösung verzerrt wird.

Konsequenz

Konsequenz
Unterbestimmte Randbedingungen führen zu nicht eindeutigen Lösungen und können zusätzliche physikalisch motivierte Nebenbedingungen, Regularisierung oder Parameterauswahl erforderlich machen; numerische Verfahren müssen eventuell den Nullraum kontrollieren, um Drift zu vermeiden.

Umkehrung

Umkehrung
Durch das Hinzufügen der fehlenden unabhängigen Nebenbedingungen (z. B. Setzen eines Dirichlet-Wertes oder einer Integralnormalisierung) wird ein unterbestimmtes Problem in ein wohlgestelltes mit eindeutiger Lösung umgewandelt.

Abgrenzung

Abgrenzung
Relevant für PDEs und lineare Systeme, bei denen die Anzahl unabhängiger Nebenbedingungen zählt; unterscheidet sich von Schlechtkonditioniertheit (wo eine eindeutige Lösung existiert, diese aber sensibel ist) und schließt freie Randprobleme aus, bei denen unbekannte Randlagen die fehlenden Bedingungen durch zusätzliche Gleichungen liefern.

Semantische Spannung

Semantische Spannung
Kann mit Schlechtgestelltheit oder Modellunvollständigkeit verwechselt werden; unterbestimmt bezeichnet speziell unzureichende unabhängige Randdaten, die eine Lösungsmenge liefern, während 'schlecht gestellt' eher Instabilität oder Nicht-Existenz meint als Mehrdeutigkeit.

Synthese

Synthese
Unterbestimmte Randbedingungen bedeuten unzureichende Einschränkung: das Problem besitzt eine Familie von Lösungen entlang Nullraumrichtungen und erfordert Normalisierung, zusätzliche physikalische Informationen oder Regularisierung, um eine eindeutige, physikalisch sinnvolle Lösung zu wählen.