Definition
Eine Familie von Vergleichssätzen für elliptische und parabolische Differentialoperatoren, die unter geeigneten Vorzeichen- und Koeffizientenbedingungen besagen, dass eine Lösung ihr Maximum (oder Minimum) auf dem Rand des Gebiets oder zur Anfangszeit annimmt; starke und schwache Varianten liefern punktweise bzw. distributionelle Schranken.

Prinzip

Prinzip
Die Vorzeichenstruktur des Operators und die zweiteordentliche elliptische oder parabolische Form nutzen, um Innenwerte mit Rand- bzw. Anfangsdaten zu vergleichen; die Nichtpositivität (oder Nichtnegativität) des Hauptteils verhindert strikte innere Extrema für nicht-triviale Lösungen.

Demonstration

Demonstration
Für eine harmonische Funktion (Laplace-Gleichung) auf einem beschränkten Gebiet folgt aus dem Maximumprinzip, dass eine stetige Lösung ihr Maximum am Rand erreicht; für die Wärmegleichung verhindert es das spätere Entstehen eines neuen positiven Inneren Maximums und liefert damit Eindeutigkeit für Dirichlet- und Anfangsrandprobleme.

Fehlanwendung

Fehlanwendung
Das Maximumprinzip auf nicht-elliptische oder nicht-parabolische Operatoren anzuwenden, auf Gleichungen mit vorzeichenwechselnden führenden Koeffizienten oder die untergeordneten Terme und Randregularität zu ignorieren, führt zu falschen Schlüssen; auch die Anwendung auf schwache Lösungen ohne Prüfung von Integrabilität oder Randspur ist häufig missbräuchlich.

Konsequenz

Konsequenz
Gültig angewendet liefert es a priori-Schranken, Vergleich von Unter- und Übersolutions, Eindeutigkeit von Cauchy/Dirichlet-Problemen, Monotonie und Kontrolle von Blow-up-Verhalten; es ist ein zentrales Werkzeug für qualitative Eigenschaften von PDE-Lösungen.

Umkehrung

Umkehrung
In gewissen Eigenwertregimen kann ein Anti-Maximum-Phänomen auftreten, bei dem sich das Vorzeichen des Extremums umkehrt; das Umkehren der Hypothesen (z. B. Vorzeichenwechsel der Koeffizienten) verwandelt Maxima in Minima-Aussagen oder macht das Prinzip unbrauchbar.

Abgrenzung

Abgrenzung
Gilt für klassische elliptische/parabolische Operatoren auf hinreichend regulären Gebieten mit passenden Vorzeichen-/Elliptizitätsbedingungen; versagt bei hyperbolischen Operatoren, hochsingulären Koeffizienten, nichtlokalen Operatoren ohne angepasste Formulierungen oder auf Gebieten ohne Randregularität, sofern nicht modifizierte Versionen vorliegen.

Semantische Spannung

Semantische Spannung
Steht in begrifflichem Wettbewerb zu energie-/variationsbasierten Methoden, die integrale a priori-Schranken liefern; das Maximumprinzip gibt punktweise Vergleichsinformationen, wohingegen variationale Abschätzungen global-integrale Kontrolle liefern — komplementär, nicht austauschbar.

Synthese

Synthese
Das Maximumprinzip übersetzt Operatorvorzeichen und Randdaten in punktweise Kontrolle von Lösungen: Unter Elliptizitäts-/Parabolicitäts- und Regularitätshypothesen liefert es randbestimmte Extrema, Eindeutigkeit und Vergleichsergebnisse, muss aber nur unter Erfüllung seiner strukturellen Annahmen angewandt werden.