Eine konstruktive Methode zur Lösung von Dirichlet-Randwertproblemen für bestimmte elliptische partielle Differentialgleichungen, indem man das Supremum einer Familie von subharmonischen (oder Untersolutions-) Funktionen bildet, die durch die vorgegebenen Randwerte nach oben beschränkt sind.

Prinzip

Bildung der größtmöglichen Kandidatenlösung als punktweises Supremum aller zulässigen Untersolutionen, die die Randbeschränkungen einhalten; Elliptizität und das Maximumsprinzip ermöglichen unter Vorliegen von Barrieren oder geeigneten Annahmen die Identifikation dieser Hülle mit der gesuchten Lösung.

Demonstration

Auf der Einheitskreisscheibe mit stetigen Randdaten betrachte man die Familie der subharmonischen Funktionen, die sich stetig zum Rand fortsetzen und unter den Randwerten liegen. Das punktweise Supremum dieser Familie ist im Inneren harmonisch und erreicht unter Standardreguläritätsbedingungen die Randwerte, womit die harmonische Lösung des Dirichlet-Problems entsteht.

Fehlanwendung

Das Supremum von Funktionen zu bilden, die nicht subharmonisch sind, die vorgegebenen Randbeschränkungen verletzen oder keine ausreichende lokale Regularität besitzen, kann zu einer Funktion führen, die keine Lösung ist; ebenso führt das Ignorieren notwendiger Barrieren an Randpunkten zur Falschschlussfolgerung.

Konsequenz

Sind die Voraussetzungen (Elliptizität, Randregulärität oder Existenz von Barrieren und eine nichtleere zulässige Familie) erfüllt, liefert Perrons Konstruktion die Existenz (und oft Eindeutigkeit via Maximumsprinzip) einer Lösung des Dirichlet-Problems, ohne direkt variationale Methoden zu verwenden.

Umkehrung

Die duale Konstruktion verwendet das Infimum von superharmonischen Supersolutionen, die unterhalb der Randdaten liegen; das Gleichsetzen der beiden Hüllen unter geeigneten Voraussetzungen rekonstruiert die klassische Lösung und zeigt die Konsistenz der oberen und unteren Konstruktionen.

Abgrenzung

Gilt vorwiegend für gleichmäßig elliptische gewohnliche Differentialoperatoren zweiter Ordnung (einschließlich der Laplace-Gleichung) und für Gebiete, deren Randpunkte Barrieren oder ausreichende Regularität besitzen; nicht anwendbar auf nicht-elliptische Gleichungen, Operatoren ohne Vergleichsprinzip oder sehr unregelmäßige Randdaten.

Semantische Spannung

Es besteht Spannung zwischen Perron-Hülle (einer ordnungsbasierten, nichtlinearen Konstruktion) und variationalen Dirichlet-Prinzipien, die Energie minimieren; beide können dieselbe harmonische Lösung liefern, doch Perron stützt sich auf Ordnung und Barrieren, während variationale Methoden auf funktionale Minimierung bauen.

Synthese

Perrons Methode ist eine ordnungstheoretische Existenzmethode: Man sammelt alle zulässigen Untersolutionen, bildet ihr Supremum als Hülle und nutzt Elliptizität sowie Barriere- bzw. Regularitätsannahmen, um diese Hülle zur eindeutigen Lösung des Dirichlet-Problems in der passenden Klasse zu erheben.