Ein Verfahren zur Konstruktion einer Lösung des Dirichlet-Problems, indem man die obere Hülle aller unterharmonischen Funktionen nimmt, die durch die vorgegebene Randfunktion nach oben beschränkt sind (oder dually die untere Hülle der superharmonischen Funktionen); die so entstehende Perron-Lösung ist in der Domäne harmonisch, wo die Hülle nicht −∞ ist, und nimmt an regulären Randpunkten die Randwerte an.

Prinzip

Verwendung monotoner Familien von unter- (oder super-) harmonischen Funktionen zusammen mit dem Maximumsprinzip zur Bildung extremaler Hüllen, die dort harmonisch sind, wo sie endlich sind; die Randregularität wird daran gemessen, ob die Hülle am Randpunkt mit der Randfunktion übereinstimmt.

Demonstration

Auf der Einheitscheibe mit stetigen Randdaten stimmt die obere Perron-Hülle der durch die Randdaten dominierten unterharmonischen Funktionen mit dem klassischen Poisson-Integral überein und liefert die harmonische Lösung; an irregulären Punkten kann die Hülle versagen, den Randwert zu erreichen.

Fehlanwendung

Perrons Methode anzuwenden, ohne Admissibilitätsbedingungen zu prüfen (z. B. unterharmonische Funktionen zuzulassen, die nahe dem Rand nicht nach oben beschränkt sind), kann zu Hüllen führen, die identisch −∞ sind oder nicht harmonisch sind; das Ignorieren der Halbstetigkeit der Randdaten kann ebenfalls die Schlussfolgerungen ungültig machen.

Konsequenz

Wenn Perrons Methode eine endliche harmonische Funktion liefert, die die Randdaten an jedem Randpunkt erfüllt, so erzeugt sie eine Lösung des Dirichlet-Problems; in Kombination mit Barriere- oder Wiener-Kriterien liefert sie ein Mittel zur punktweisen Entscheidbarkeit der Lösbarkeit.

Umkehrung

Das Versagen der Perron-Konstruktion, die gewünschten Randwerte zu liefern, weist auf irreguläres Randverhalten oder auf echte Unlösbarkeit des klassischen Dirichlet-Problems für die gegebenen Daten hin; in solchen Fällen muss die Lösungssicht abgeschwächt oder das Problem umformuliert werden.

Abgrenzung

Die Methode ist auf lineare elliptische Operatoren zugeschnitten, bei denen die Begriffe Unter- und Überharmonizität sowie das Vergleichsprinzip gelten; Erweiterungen auf nichtlineare Operatoren erfordern einen analogen Perron-Rahmen für Unter- und Übersolutions mit zusätzlichen strukturellen Annahmen.

Semantische Spannung

Es gibt Spannungen zwischen Perron (einer extremalen, hüllenbasierten Konstruktion) und variationalen oder schwachen Lösungsansätzen: Perron liefert punktweise harmonische Kandidaten unter Kontrolle des Maximumsprinzips, während schwache Methoden Lösungen in Sobolev- oder distributionssinn liefern, die an irregulären Randpunkten abweichen können.

Synthese

Perrons Methode wandelt das analytische Problem, eine harmonische Funktion mit vorgeschriebenen Randwerten zu finden, in eine extremale Konstruktion über zulässige Familien von Unter- bzw. Übersolutionen um; ihr Gelingen oder Scheitern an einem Randpunkt kodiert dieselben geometrisch-messbaren Phänomene, die auch durch Barrieren und Wiener-Kriterien beschrieben werden.