Maximumprinzip (Mathematik)

Illustration des Maximumprinzips: Sowohl die Maxima als auch die Minima dieser Funktion (rot) liegen auf dem Rand des Definitionsbereichs (blau).

Das Maximumprinzip ist in der Mathematik eine Eigenschaft, die von Lösungen gewisser partieller Differentialgleichungen erfüllt wird. Gilt für eine Funktion das Maximumprinzip, so lassen sich selbst bei Unkenntnis dieser Funktion weitreichende Aussagen über deren Verhalten treffen. Grob gesprochen genügt eine Funktion genau dann dem Maximumprinzip, wenn sie ihr (globales) Maximum auf dem Rand ihres Definitionsbereiches annimmt.

Das starke Maximumprinzip sagt aus, dass eine Funktion, die ihr Maximum im Innern ihres Definitionsbereiches annimmt, konstant sein muss. Das schwache Maximumprinzip sagt aus, dass das Maximum zwar auf dem Rand angenommen wird, aber weitere Maximumsstellen im Innern des Definitionsbereiches existieren können. Darüber hinaus existieren weitere, noch schwächere Maximumprinzipien. In aller Regel gelten zum Maximumprinzip analoge Aussagen auch für das Minimum einer Funktion, diese werden dann als Minimumprinzip bezeichnet.

Das Maximumprinzip kann nicht nur für reellwertige Funktionen, sondern auch für komplexwertige oder vektorwertige Funktionen definiert werden. In diesen Fällen betrachtet man das Maximum für den Betrag oder die Norm der Funktionswerte. Bekanntestes Beispiel hierfür ist die Klasse der holomorphen Funktionen.

Geschichte

Das erste Maximumprinzip wurde von Bernhard Riemann in seiner Dissertation für die Klasse der harmonischen Funktionen aufgestellt. Eberhard Hopf dehnte dieses dann auf die Lösungen von elliptischen Differentialgleichungen zweiter Ordnung aus. Für harmonische Funktionen kann man das Maximumprinzip recht schnell aus der Mittelwerteigenschaft dieser Funktionen ableiten. Dieser Gedanke wurde von Heinz Bauer zu einem allgemeinen Maximumprinzip für konvexe Kegel von nach oben halbstetigen Funktionen auf kompakten Räumen ausgebaut. Aus diesem abstrakten Maximumprinzip folgt unter anderem, dass nach oben halbstetige, konvexe Funktionen auf kompakten, konvexen Mengen ihr Maximum auf den Extremalpunkten der konvexen Menge annehmen.

Physikalische Motivation

Lösung einer zweidimensionalen Wärmeleitungsgleichung

Sei eine Funktion, die die Temperatur eines Festkörpers in Abhängigkeit vom Ort und der Zeit angibt, also $u=u(x_{1},x_{2},x_{3},t)$ . ist zeitabhängig, weil sich die thermische Energie mit der Zeit über das Material ausbreitet. Die physikalische Selbstverständlichkeit, dass Wärme nicht aus dem Nichts entsteht, schlägt sich mathematisch im Maximumprinzip nieder: Der Maximalwert über Zeit und Raum der Temperatur wird entweder am Anfang des betrachteten Zeitintervalls (siehe auch: Anfangswertproblem) oder am Rand des betrachteten Raumbereichs (siehe auch: Randwertproblem) angenommen.

Anwendungen

Bei den partiellen Differentialgleichungen ist das Maximumprinzip vor allem im Hinblick auf Dirichlet-Randbedingungen von Interesse. Insbesondere folgen daraus die Eindeutigkeit und die Stabilität gegenüber kleinen Störungen der Lösungen dieses Problems.

Darüber hinaus gilt das Maximumprinzip für:

Lösungen parabolischer Differentialgleichungen 2. Ordnung (z.B. der Wärmeleitungsgleichung),
nicht-lineare elliptische Systeme mit quadratischem Wachstum im Gradienten unter Annahme einer Kleinheitsbedingung.

Funktionentheorie

Die mathematische Formulierung des Maximumprinzips lautet:

Es sei holomorph im Gebiet . Es gebe einen Punkt $c\in G$ , so dass in ein lokales Maximum hat, d.h., es gebe eine Umgebung $U\subset G$ von mit $|f(c)|=\sup _{{z\in U}}|f(z)|$ . Dann ist konstant in .

Die andere Variante des Satzes lautet:

Es sei ein beschränktes Gebiet, und es sei eine in ${\bar {G}}=G\cup \partial G$ stetige und in holomorphe Funktion. Dann nimmt die Funktion ihr Maximum auf dem Rand von an: $|f(z)|\leq \sup _{{\zeta \in \partial G}}|f(\zeta )|$ für alle $z\in {\bar {G}}$ .

Die Anwendung des Satzes auf 1/f führt unmittelbar zum Minimumprinzip:

Es sei holomorph in . Es gebe einen Punkt $c\in G$ , so dass in ein lokales Minimum hat, d.h., es gebe eine Umgebung $U\subset G$ von mit $|f(c)|=\inf _{{z\in U}}|f(z)|$ . Dann gilt entweder oder ist konstant in .

Literatur

Friedrich Sauvigny: Partielle Differentialgleichungen der Geometrie und der Physik. 2 Bände. Springer, Berlin u. a. 2004–2005, ISBN 3-540-20453-9.
I. N. Vekua: Verallgemeinerte analytische Funktionen. Akademie Verlag, Berlin 1963.
Reinhold Remmert, Georg Schumacher: Funktionentheorie 1. 5. Auflage, Springer Verlag, 2001.

Basierend auf einem Artikel in:

Wikipedia.de