Eigenschaft bei partiellen Differentialungleichungen, die besagt, dass ein geordnetes Paar von Funktionen, eine Sublösung u und eine Superslösung v, das u ≤ v auf dem Rand (oder zur Anfangszeit) erfüllt, die Ungleichung u ≤ v im gesamten Gebiet erfüllt. Sie erlaubt, Rand- oder Anfangsungleichungen ins Innere zu übertragen, indem die Monotonie des Operators ausgenutzt wird.

Prinzip

Monotone Ordnung wird durch den Differentialoperator erhalten: Ist der Operator monoton (oder existiert eine Vergleichsstruktur), so dehnt sich die punktweise Ordnung an Rand bzw. Anfang auf das gesamte Gebiet aus.

Demonstration

Für die Wärmeleitungsgleichung: Haben u(x,t) und v(x,t) u_t − Δu ≤ 0 bzw. v_t − Δv ≥ 0 in einem Zylinder und u ≤ v auf dem parabolischen Rand, dann gilt u ≤ v im Inneren; man betrachtet w = u − v und wendet das parabolische Maximumprinzip an, um w ≤ 0 zu erhalten.

Fehlanwendung

Anwendung des Prinzips bei einem nicht monotonen Operator (etwa stark nichtmonotone Reaktionsterme) oder wenn Rand-/Anfangsdaten nicht vergleichbar sind; dies kann zu falschen Ordnungsbehauptungen führen oder Vorzeichenwechsel durch nichtlokale bzw. vorzeichenändernde Koeffizienten übersehen.

Konsequenz

Eindeutigkeit von Lösungen in vielen PDE-Klassen (zwei Lösungen, die am Rand geordnet sind, müssen übereinstimmen, falls jede sowohl Sub- als auch Supersolution ist), Konstruktion von Schranken und a-priori Abschätzungen sowie Stabilität gegenüber geordneten Störungen.

Umkehrung

Die umgekehrte Behauptung — dass eine Supersolution unter einer Subsolution liegen müsse — widerspricht typischerweise der Monotonie und führt zu Widersprüchen; durch Betrachten der Differenz und Umkehrung der Ungleichungen zeigt sich, dass eine solche Umkehr nur in entarteten Fällen (z. B. identischen Lösungen) möglich ist.

Abgrenzung

Voraussetzung ist eine Vergleichsstruktur: geeignete Elliptizität/Parabolizität, Monotonie des Operators und passende Rand- oder Anfangsordnung. Ausgeschlossen sind voll nichtmonotone Operatoren, manche nichtlokalen Operatoren ohne Maximumprinzip oder Rahmen ohne erforderliche Regularität.

Semantische Spannung

Verwandt mit Maximumprinzipien, aber anders gelagert: Maximumprinzipien liefern Lageinformationen über Extrema einer einzelnen Lösung, Vergleichsprinzipien hingegen verknüpfen zwei Funktionen durch eine Ordnung; Überschneidungen ergeben sich, wenn eine Lösung mit einer konstruierten Schranke verglichen wird.

Synthese

Das Vergleichsprinzip ist die ordnende Regel, die Rand- oder Anfangsordnungen in globale Ungleichungen für PDEs umsetzt: Unter Monotonie und geeigneten Randbedingungen bleiben Sub- und Supersolutions im gesamten Gebiet geordnet, was Eindeutigkeit, Schranken und Stabilität liefert.