Elliptische partielle Differentialgleichung

Elliptische Differentialoperatoren bilden eine besondere Klasse von Differentialoperatoren. Die Lösungen einer elliptischen Differentialgleichung $Pu=f$ haben bestimmte Eigenschaften, welche hier näher erläutert werden. Der Laplace-Operator ist der wohl bekannteste elliptische Differentialoperator, und die Poisson-Gleichung ist die dazugehörige partielle Differentialgleichung.

Physikalische Interpretation

Die elliptische Differentialgleichung ist eine Verallgemeinerung der Laplace-Gleichung und der Poisson-Gleichung. Eine elliptische Differentialgleichung zweiter Ordnung hat die Form

$P(u)(x)=\sum _{i,j}^{n}a_{ij}(x)\partial _{x_{i},x_{j}}^{2}u(x)+\sum _{i}^{n}b_{i}(x)\partial _{x_{i}}u(x)+c(x)u(x)=f(x)$,

worin die Koeffizientenfunktionen $a_{ij},b_{i}$ und $c$ geeigneten Bedingungen genügen müssen.

Solche Differentialgleichungen treten typischerweise im Zusammenhang mit stationären (zeitunabhängigen) Problemen auf. Sie beschreiben oftmals einen Zustand minimaler Energie. Die erwähnten Laplace- und Poisson-Gleichungen beschreiben etwa die Temperaturverteilung in einem Körper oder auch die elektrostatische Ladungsverteilung in einem Körper. Andere elliptische Differentialgleichungen werden zum Beispiel zur Untersuchung der Konzentration von bestimmten chemischen Stoffen verwendet. Die Terme der Ordnung zwei beschreiben dabei die Diffusion. Die Terme erster Ordnung beschreiben den Transport, und der Term der Ordnung null beschreibt die lokale Ab- und Zunahme.

Nicht-lineare elliptische Differentialgleichungen treten außerdem in der Variationsrechnung und der Differentialgeometrie auf.

Definition

Elliptischer Differentialoperator

Ein Differentialoperator $P(u)(x)=\sum \nolimits _{|\alpha |\leq m}a_{\alpha }(x)\partial _{x}^{\alpha }u(x)$ der Ordnung $m$ heißt im Punkt $y\in \Omega \subset \mathbb {R} ^{n}$ elliptisch, falls

$P_{m}(y,\xi )\neq 0$

für alle $\xi \in \mathbb {R} ^{n}\backslash \{0\}$ erfüllt ist. Hierbei bezeichnet man

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle \ P_m := \sum_{|\alpha|=m} i^m a_\alpha(y) \xi^\alpha}

als das Hauptsymbol von $P$. Ein Differentialoperator heißt elliptisch, falls er für alle $y$ elliptisch ist.

Gleichmäßig elliptischer Differentialoperator

Ein Differentialoperator $P$ heißt gleichmäßig elliptisch in $U$, wenn es ein $c>0$ gibt, so dass

$|P_{m}(y,\xi )|\geq c|\xi |^{m}$

für alle $(y,\xi )\in U\times \mathbb {R} ^{n}$ gilt.

Beispiel

Das wohl wichtigste Beispiel eines (gleichmäßig) elliptischen Differentialoperators ist der Laplace-Operator

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle \Delta u(x) = \sum_{j=1}^n \partial^2_{x_jx_j}u(x)} ,

dessen Hauptsymbol $P_{2}(y,\xi )=i\xi ^{t}\cdot E\cdot i\xi =-|\xi |^{2}$ ist, worin $E$ die Einheitsmatrix bezeichnet. Funktionen, welche die Laplace-Gleichung $\Delta u=0$ erfüllen, heißen harmonisch und haben einige besondere Eigenschaften, so zum Beispiel, dass sie beliebig oft differenzierbar sind. Man hat nun die Hoffnung, dass sich diese Eigenschaften auf „ähnliche“ Differentialoperatoren übertragen lassen.

Hypo–elliptischer Differentialoperator

Ein Operator $P(D)=\sum \nolimits _{|\alpha |\leq m}a_{\alpha }D^{\alpha }$ mit konstanten Koeffizienten $a_{\alpha }\in \mathbb {C}$ heißt hypo-elliptisch, wenn es ein $C>0$ gibt, so dass für alle $\xi \in \mathbb {R} ^{n}$ mit $|\xi |\geq C$ und alle $\alpha \in \mathbb {N} ^{n}$ gilt:

• $P(\xi )\neq 0$ und
• $|D^{\alpha }P(\xi )|\leq C|P(\xi )|\cdot |\xi |^{-|\alpha |}$.

Im Gegensatz zum gleichmäßig elliptischen Differentialoperator ist der hypo-elliptische Differentialoperator eine Verallgemeinerung des elliptischen Differentialoperators. Diese Forderung an den Differentialoperator ist also schwächer.

Beispiel

Der parabolische, partielle Differentialoperator Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle P(x,D) = D - \Delta } ist hypo-elliptisch. Die Gleichung $Pu=0$ heißt Wärmeleitungsgleichung.

Theorie elliptischer Differentialgleichungen zweiter Ordnung

Im Folgenden werden die wichtigsten Aussagen für elliptische Differentialoperatoren der Ordnung zwei aufgezeigt. Sei deshalb

$P(u)(x)=\sum _{i,j}^{n}a_{ij}(x)\partial _{x_{i},x_{j}}^{2}u(x)+\sum _{i}^{n}b_{i}(x)\partial _{x_{i}}u(x)+c(x)u(x)$

ein elliptischer Differentialoperator der Ordnung zwei. Außerdem sei $U\subset \mathbb {R} ^{n}$ eine offene, beschränkte Teilmenge mit Lipschitz-regulärem Rand.

Existenzaussage

Es seien die Koeffizientenfunktionen $a_{ij},b_{i},c$ allesamt messbare und beschränkte Funktionen. Dann existiert für jedes $f\in L^{2}(U)$ eine eindeutige schwache Lösung $u$ des Randwertproblems

$Pu=f\ {\text{in}}\ U$

$\ u=0\ {\text{in}}\ \partial U$,

falls die zum Differentialoperator $P$ assoziierte Bilinearform ${\mathcal {P}}$ koerziv ist. Hierbei ist ${\mathcal {P}}:H_{0}^{1}(U)\times H_{0}^{1}(U)\rightarrow \mathbb {R}$ definiert vermöge

${\mathcal {P}}(u,\varphi ):=\int _{U}\left(-\sum _{i,j}^{n}a_{ij}(x)\partial _{x_{i}}u(x)\partial _{x_{j}}\varphi (x)\right)+\left(\sum _{i}^{n}b_{i}(x)\partial _{x_{i}}u(x)\varphi (x)\right)+c(x)u(x)\varphi (x){\rm {d}}x$.

Regularität

Seien $a_{ij},b_{i},c\in C^{\infty }(U)$ für alle $i,j$, und sei außerdem $f\in C^{\infty }(U)$ und $u\in H^{1}(U)$ eine schwache Lösung der elliptischen Differentialgleichung

$Pu=f\ {\text{in}}\ U$.

Dann gilt $u\in C^{\infty }(U)$.

Maximumprinzip

Sei $c\geq 0$ in $U$ und sei $u\in C^{2}(U)\cap C({\overline {U}})$.

1. Falls

$Pu\leq 0\ {\text{in}}\ U$

gilt und $u$ ein nichtnegatives Maximum in einem inneren Punkt von ${\overline {U}}$ annimmt, dann ist $u$ konstant.

2. Falls

$Pu\geq 0\ {\text{in}}\ U$

gilt und $u$ ein nichtpositives Minimum in einem inneren Punkt von ${\overline {U}}$ annimmt, dann ist $u$ konstant.

Eigenwertprobleme

Man betrachte das Randwertproblem

$Pu=\lambda u\ {\text{in}}\ U$

$\ u=0\ {\text{in}}\ \partial U,$

wobei $\lambda$ ein Eigenwert des Differentialoperators $P$ ist. Außerdem sei $P$ symmetrischer Differentialoperator.

1. Dann sind alle Eigenwerte $P$ reell.

2. Außerdem haben alle Eigenwerte dasselbe Vorzeichen und haben nur endliche Vielfachheit.

3. Schlussendlich existiert eine Orthonormalbasis $\{w_{k}\}_{k=1}^{\infty }$ von $L^{2}(U)$ mit $w_{k}\in H_{0}^{1}(U)$ als Eigenfunktion zum Eigenwert $\lambda _{k}$.

Moderne Theorie mit Pseudodifferentialoperatoren

Ein Pseudo-Differentialoperator heißt elliptisch, falls sein Symbol $p\in S_{cl}^{m}(X)$ eigentlich getragen und das homogene Hauptsymbol gleichmäßig elliptisch ist - oder äquivalent dazu, falls in einer konischen Umgebung $V$ von $(x_{0},\xi _{0})$ für das echte Symbol die Ungleichung $|a(x,\xi )|\geq {\frac {1}{C}}(1+|\xi |)^{m}$ für eine Konstante $C>0$ für $(x,\xi )\in V$ und $|\xi |\geq C$ gilt.

Invertierbarkeit

Sei $P\in \Psi _{\rho ,\delta }^{m}(X)$ ein elliptischer Pseudodifferentialoperator und $\rho >\delta$, dann existiert ein eigentlich getragener Pseudodifferentialoperator $Q\in \Psi _{\rho ,\delta }^{-m}(X)$, so dass

$(P\circ Q)(u)=(Q\circ P)(u)=I(u)+R(u)$

gilt. Dabei ist $I$ der Identitätsoperator, und $R$ ist ein Operator, welcher jede Distribution auf eine glatte Funktion abbildet. Der Operator $P$ kann also modulo $\Psi _{\rho ,\delta }^{\infty }(X)$ invertiert werden. Diese Eigenschaft macht den elliptischen Pseudo-Differentialopertor und damit als Spezialfall den elliptischen Differentialopertor zu einem Fredholm-Operator.

Singulärer Träger

Sei $P\in \Psi _{\rho ,\delta }^{m}(X)$ wieder ein elliptischer Pseudodifferentialoperator und $\rho >\delta$. Dann gilt für jede Distribution $u\in {\mathcal {D}}'(X)$

$\operatorname {sing\ supp} (Pu)=\operatorname {sing\ supp} (u).$

Der singuläre Träger einer Distribution verändert sich also nicht.

Literatur

• Lawrence Craig Evans: Partial Differential Equations, American Mathematical Society, Providence 2002, ISBN 0-8218-0772-2
• Alain Grigis & Johannes Sjöstrand - Microlocal Analysis for Differential Operators, Cambridge University Press, 1994, ISBN 0-521-44986-3