Zum Inhalt springen

Harnack-Ungleichung

aus Wikipedia, der freien Enzyklopädie

In der Mathematik geben Harnack-Ungleichungen Abschätzungen für die oberen Schranken von Lösungen verschiedener Differentialgleichungen. Im klassischen Fall der Wärmeleitungsgleichung beschränken sie die Diffusion der Wärme. Sie sind benannt nach dem Mathematiker Axel Harnack.

Klassische Harnack-Ungleichung

Aussage

Es sei <math>u \colon M\times \left[0,T\right]\rightarrow [0,\infty)</math> eine nichtnegative Lösung der Wärmeleitungsgleichung

<math>\frac{\partial u}{\partial t}=\Delta u</math>,

wobei <math>\Delta</math> den Laplace-Operator auf der kompakten Riemannschen Mannigfaltigkeit <math>M</math> bezeichnet.

Dann gibt es eine nur von <math>M</math> abhängende Konstante <math>C</math>, so dass

<math>\sup_{x\in M}u(x,t)\le C \inf_{x\in M}u(x,t)</math>

für alle <math>0\le t\le T</math> gilt.

Die Bestimmung der optimalen Konstante <math>C</math> in Abhängigkeit von der Geometrie von <math>M</math> ist ein schwieriges Problem.

Harmonische Funktionen

Insbesondere gilt <math>\sup_{x\in M}u(x)\le C \inf_{x\in M}u(x)</math> für alle nichtnegativen harmonischen Funktionen <math>u\colon M\rightarrow [0,\infty)</math><ref>Lawrence C. Evans: Partial Differential Equations. Graduate Studies in Mathematics (Volume 19), American Mathematical Society, Seite 32</ref>.

Beispiel

Sei <math>M=B(x_0,R)\subset\mathbb R^n</math> der Ball mit Radius <math>R</math> und Mittelpunkt <math>x_0</math> im euklidischen Raum. Dann gilt für jede nichtnegative harmonische Funktion (mit stetigen Randwerten)

<math>u\colon B(x_0,R)\rightarrow [0,\infty)</math>

die Ungleichung

<math>\displaystyle{{1-(r/R)\over [1+(r/R)]^{n-1}}u(x_0)\le u(x) \le {1+(r/R)\over [1-(r/R)]^{n-1}} u(x_0)}</math>

mit <math>r=\parallel x-x_0\parallel</math> für alle <math>x\in B(x_0,R)</math>.

Daraus ergibt sich die Harnack-Ungleichung für <math>M=B(x_0,R)</math> mit <math>C= \frac{1+(r/R)}{[1-(r/R)]^{n-1}}\frac{[1+(r/R)]^{n-1}}{1-(r/R)}</math>.

Differentielle Harnack-Ungleichung

Sei <math>M</math> eine n-dimensionale Riemannsche Mannigfaltigkeit mit nichtnegativer Ricci-Krümmung und konvexem Rand, dann gilt für jede positive Lösung der Wärmeleitungsgleichung die Ungleichung

<math>\frac{\partial_tu}{u}-\frac{\mid\nabla u\mid^2}{u^2}+\frac{n}{2t}\ge 0.</math>

Aus dieser Ungleichung kann man häufig optimale Konstanten für die klassische Harnack-Ungleichung herleiten.

Literatur

Einzelnachweise

<references />