Eine Vergleichstechnik, die ein geordnetes Paar von Funktionen konstruiert — eine Untersolution (subsolution) darunter und eine Obersolution (supersolution) darüber — und dann monotone Iteration, topologische oder variationale Argumente benutzt, um Existenz und oft Schranken (und manchmal Eindeutigkeit) für Lösungen nichtlinearer Differential- oder Variationsprobleme zu erhalten.

Prinzip

Finde Funktionen α (Untersolution) und β (Obersolution) mit α ≤ β, die passende schwache Ungleichungen für den Operator und die Randbedingungen erfüllen; wende monotone Iteration zwischen α und β an oder benutze Fixpunkt-/Grad- oder Variationsminimierung im Ordnungsintervall, um eine zwischen ihnen eingeschlossene Lösung zu gewinnen.

Demonstration

Für ein semilineares elliptisches Dirichlet-Problem −Δu=f(x,u) auf einem beschränkten Gebiet erzeugt man eine untere Funktion α mit −Δα≤f(x,α) und eine obere β mit −Δβ≥f(x,β) und α≤β im Gebiet; dann liefert die monotone Iteration (beginnend bei α und Lösen linearer Probleme) eine Lösung u mit α≤u≤β, die manchmal zu minimalen/maximalen Lösungen konvergiert.

Fehlanwendung

Kandidaten für Sub- und Supersolutionen zu verwenden, die Randbedingungen oder die Ordnung nicht respektieren (α nicht ≤ β), oder die Methode anzuwenden, wenn der Operator in der relevanten Ordnung nicht monoton ist — das kann falsche Existenzaussagen oder nichtkonvergente Iterationen erzeugen.

Konsequenz

Bietet konstruktive Existenzbeweise, a-priori-Schranken und Barrieren für Lösungen, mögliche monotone Iterationsschemata, die zu extremalen Lösungen konvergieren, und einen flexiblen Rahmen für den Umgang mit Singularitäten oder Nichtlinearitäten, die direkten Variations- oder linearen Methoden widerstehen.

Umkehrung

Anstatt Schranken durch Sub- und Supersolutionen zu bauen, kann man direkte variationale Minimierung oder topologische Grad-Argumente versuchen; das Umkehren betont, dass man ohne Ordnungsstruktur den monotone Einschlussmechanismus und explizite Barrieren verliert.

Abgrenzung

Erfordert eine partielle Ordnung und die Kompatibilität der Monotonie des Operators mit dieser Ordnung sowie geeignete Funktionsräume und Randbedingungen; ist nicht allgemein anwendbar auf stark nichtmonotone Operatoren, stark nichtlokale Probleme ohne Vergleichsprinzip oder wenn geordnete Barrieren nicht konstruierbar sind.

Semantische Spannung

Wettstreit mit variationalen Methoden, Fixpunkt-Theorie und Grad-Theorie: Sub/Supersolution liefert explizite Barrieren und monotone Iteration, während variationale Methoden globale Minimierer liefern und Grad-Theorie topologische Existenz ohne konstruktive Schranken behandelt.

Synthese

Die Sub- und Supersolution-Methode konstruiert geordnete Barrierenfunktionen, die schwache Ungleichungen erfüllen, und fängt dann durch monotone Iteration oder topologische/variationale Werkzeuge eine echte Lösung zwischen ihnen ein; sie liefert Existenz, explizite Schranken und oft extremale Lösungen, wenn Monotonie und passende Randkompatibilität gegeben sind.