Eine Technik zur Herstellung von Existenz-, Vergleichs- und teils Eindeutigkeitsaussagen für nichtlineare partielle Differentialgleichungen durch Konstruktion eines geordneten Paars: einer Untersolution (Untergrenze) und einer Supersolution (Obergrenze), zwischen denen eine echte Lösung existiert.

Prinzip

Ausnutzung der Ordnungsstruktur und Monotonie der PDE (häufig über Maximums- oder Vergleichsprinzipien), um mittels monotoner Iteration, Einschnürung oder monotoner Operatoren zwischen Untersolution und Supersolution eine Lösung oder ein Grenzprofil zu gewinnen.

Demonstration

Bei einem semilinearen elliptischen Randwertproblem auf einem beschränkten Gebiet konstruiert man eine Untersolution u_- und eine Supersolution u_+ mit u_- ≤ u_+ auf dem Gebiet; mittels monotoner Iteration oder einer Perron-Hülle erzeugt man eine Lösung u mit u_- ≤ u ≤ u_+.

Fehlanwendung

Verwendung von Funktionen, die mit dem Differentialoperator nicht kompatibel sind (z. B. nicht geordnete Randwerte, fehlende Regularität oder falsche Vorzeichenbedingungen), sodass monotone Iteration versagt oder nichtphysikalische Grenzwerte entstehen; oder das Voraussetzen von Existenz ohne Überprüfung der notwendigen Vergleichseigenschaften.

Konsequenz

Bietet konstruktive Existenzbeweise und explizite Schranken für Lösungen, unterstützt numerische Initialisierung und liefert Vergleichs-basierte Eindeutigkeitsaussagen, wenn zusätzliche Monotonie vorliegt.

Umkehrung

Ist die Ordnung umgekehrt (die sogenannte Untersolution liegt über der Supersolution), bricht die Methode zusammen und führt typischerweise zu Widersprüchen oder zeigt, dass keine Lösung innerhalb der angenommenen Ordnungsbeschränkungen existiert.

Abgrenzung

Gilt hauptsächlich für PDE-Klassen mit geeignetem Vergleichsprinzip oder monotoner Struktur (elliptisch/parabolisch); ist nicht direkt anwendbar auf vollständig nichtmonotone Operatoren oder variationale Probleme ohne Ordnungsstruktur, sofern nicht umformuliert.

Semantische Spannung

Steht im Wettbewerb mit variationalen Minimierungsmethoden: Sub/Supersolution-Methoden nutzen Punktordnungen und punktweisen Kontrollrahmen statt Energie-Minimierung; in manchen Problemen stimmen sie überein, in nicht symmetrischen oder nichtvariationalen Fällen aber nicht.

Synthese

Die Methode der Sub- und Supersolutionen formuliert Existenz durch das Konstruieren geordneter Schranken, zwischen denen mittels Monotonie eine echte Lösung eingeklemmt wird.