Die Forderung, dass an einem gegebenen Randpunkt eine positive superharmonische Funktion (eine Barriere) in einer Nachbarschaft des Punktes existiert, die am Punkt verschwindet und in der gelochten Nachbarschaft strikt positiv ist; eine solche Barriere zwingt Perron-Hüllen, den Randwert anzunehmen und garantiert damit die punktweise Lösbarkeit.

Prinzip

Eine Barriere verhindert nichttriviale subharmonische Hindernisse, indem sie eine superharmonische Dominante liefert, die Perron-Oberschränke und -Unterschränke auf den vorgegebenen Randwert zusammenpresst; die Existenz einer solchen Barriere ist ein lokales, konstruktives Regularitätskriterium.

Demonstration

In der Einheitskugel in R^n dient die Funktion x↦|x−x0|^{2−n} (oder eine abgeschnittene, beschränkte Variante) als Modellbarriere nahe einem glatten Randpunkt x0 für n≥3; der Bau einer positiven superharmonischen Funktion, die sich vom Punkt weg 'aufbläht' aber in x0 verschwindet, zeigt, dass x0 regulär ist.

Fehlanwendung

Die Verwendung einer lediglich subharmonischen Funktion oder einer superharmonischen Funktion, die nicht genau im Punkt verschwindet, macht das Barriere-Argument ungültig; ebenso ist es falsch, aus einer lokalen Existenz auf eine globale Barriere in Gebieten mit komplizierter Geometrie zu schließen.

Konsequenz

Existiert eine Barriere in x0, so nimmt jede stetige Randfunktion die vorgeschriebene Randbedingung in x0 für die Perron-Lösung an; die Barriere gibt lokale, explizite Kontrolle über harmonische Approximanten und liefert punktweise Randregularität.

Umkehrung

Das Fehlen irgendeiner superharmonischen Barriere in x0 deutet auf mögliche Irregularität hin: Es können stetige Randdaten existieren, die von der Perron-Konstruktion in diesem Punkt nicht angenommen werden, oder die Lösung kann uneindeutige Grenzwerte aufweisen.

Abgrenzung

Der Begriff ist für lineare elliptische Operatoren formuliert, bei denen superharmonische Funktionen und das Maximumsprinzip zur Verfügung stehen; für nichtlineare Gleichungen benötigt man ein entsprechendes Konzept von Supersolutionen und angepasste Barrieren, die oft schwieriger zu konstruieren oder nicht existent sind.

Semantische Spannung

Spannungen bestehen gegenüber kapazitären Kriterien wie dem Wiener-Kriterium: Barrieren sind konstruktiv und funktional ausgerichtet, während Wiener eine kapazitätsmessende Bedingung ist; unter klassischen Voraussetzungen sind beide äquivalent, doch je nach Werkzeug ist das eine leichter zu prüfen als das andere.

Synthese

Die Barrierenbedingung liefert ein lokales, funktionentheoretisches Regularitätszertifikat am Rand: Existenz einer passenden superharmonischen Funktion, die im Punkt verschwindet, sichert, dass Perron-Hüllen Randdaten annehmen und ist unter Standardelliptizität gleichbedeutend mit kapazitären Kriterien wie Wiener.