Eine Vorschrift, dass eine Funktion oder ein Feld auf dem Rand eines räumlichen Gebiets vorgeschriebene Werte annimmt; in Randwertproblemen fixiert dies die Spur der Lösung am Rand des Gebiets.

Prinzip

Durch Vorschreiben der Randwerte u|∂Ω=g werden Randfreiheitsgrade entfernt und zusammen mit einem geeigneten linearen elliptischen Operator Wohl‑Posedheit (Existenz und Eindeutigkeit) erreicht, sofern Kompatibilitätsbedingungen erfüllt sind.

Demonstration

Für die Laplace‑Gleichung Δu=0 auf einem beschränkten Gebiet Ω legt eine Dirichlet‑Bedingung u(x)=g(x) für x∈∂Ω fest; die Lösung des Randwertproblems findet eine harmonische Funktion in Ω, die g auf ∂Ω erfüllt.

Fehlanwendung

Dirichlet‑Werte im Inneren statt ausschließlich am Rand vorzuschreiben oder Randdaten zu verwenden, die mit dem Operator inkompatibel sind (z. B. inkompatible Spuren), führt zu schlecht gestellten oder unlösbaren Problemen.

Konsequenz

Richtig angewandte Dirichlet‑Bedingungen wandeln Differentialprobleme in Randwertprobleme mit eindeutigen Lösungen unter Standardannahmen zu Elliptizität und Regularität um; sie bestimmen auch Greenfunktionen, die an diese Randwerte angepasst sind.

Umkehrung

Neumann‑Randbedingungen legen normale Ableitungen am Rand fest statt Funktionswerte; gemischte (Robin) Bedingungen fordern lineare Kombinationen aus Wert und normaler Ableitung.

Abgrenzung

Gilt dort, wo ein Randspurbegriff definiert ist (Gebiete mit hinreichender Regularität); schließt die Vorschrift von Ableitungsdaten (Neumann), Integralkontraints über das Gebiet oder Bedingungen auf inneren Untermannigfaltigkeiten aus, sofern diese nicht als Randdaten umgedeutet werden.

Semantische Spannung

Dirichlet versus Cauchy‑Daten: Dirichlet schreibt nur Werte auf dem Rand vor, während Cauchy sowohl Werte als auch normale Ableitungen vorgibt und elliptische Probleme überbestimmen kann.

Synthese

Eine Dirichlet‑Randbedingung fixiert den unbekannten Wert am Rand des Gebiets, beseitigt Randfreiheitsgrade und erzeugt für passende Operatoren und kompatible Daten wohlgestellte Randwertprobleme sowie randangepasste Lösungskerne.