Satz von Malgrange-Ehrenpreis

Der Satz von Malgrange-Ehrenpreis ist ein Existenzsatz aus der Theorie der partiellen Differentialgleichungen. Er sichert die Existenz einer Greenschen Funktion für lineare partielle Differentialoperatoren mit konstanten Koeffizienten. Der Satz wurde Mitte der 1950er Jahre unabhängig von Bernard Malgrange und Leon Ehrenpreis gefunden.

Begriffe

Ein linearer, partieller Differentialoperator mit konstanten Koeffizienten entsteht aus einem Polynom $P$ in $n$ Unbestimmten, indem für die $i$-te Unbestimme die partielle Ableitung $D_{i}={\tfrac {\partial }{\partial x_{i}}}$ eingesetzt wird. Ist

$P=P(x_{1},\ldots ,x_{n})=\sum _{j_{1},\ldots ,j_{n}=0}^{N}\beta _{j_{1},\ldots ,j_{n}}x_{1}^{j_{1}}\ldots x_{n}^{j_{n}}$

mit Koeffizienten $\beta _{j_{1},\ldots ,j_{n}}\in \mathbb {C}$, wobei die obere Summationsgrenze $N$ eine feste natürliche Zahl ist, so ist

$P(D)=P(D_{1},\ldots ,D_{n})=\sum _{j_{1},\ldots ,j_{n}=0}^{N}\beta _{j_{1},\ldots ,j_{n}}{\frac {\partial ^{j_{1}}}{\partial x_{1}^{j_{1}}}}\ldots {\frac {\partial ^{j_{n}}}{\partial x_{n}^{j_{n}}}}$

und die partielle Differentialgleichung

$P(D)u=f$

bei vorgegebener rechter Seite $f$ heißt lineare, partielle Differentialgleichung mit konstanten Koeffizienten, da die Koeffizienten $\beta _{j_{1},\ldots ,j_{n}}$ keine Funktionen der Variablen, sondern Konstanten sind. Die Wellengleichung und die Poisson-Gleichung sind typische Beispiele.

Obige Differentialgleichung ist nun nicht nur für Funktionen, sondern auch für Distributionen sinnvoll. Nimmt man als rechte Seite die Delta-Distribution, so heißt eine Distributionslösung $G$ der Gleichung eine Greensche Funktion, auch wenn es sich nicht um eine klassische Funktion handelt. Ist nun $f$ irgendeine rechte Seite und kann man die Faltung $G*f$ bilden, so ist $u=G*f$ wegen der konstanten Koeffizienten eine Lösung von $P(D)u=f$.

Daher gilt die Differentialgleichung mit dem Auffinden einer Greenschen Funktion als gelöst. Das unterstreicht die Bedeutung des folgenden Satzes:

Formulierung des Satzes

Satz von Malgrange-Ehrenpreis: Es sei $P(D)$ ein linearer, partieller Differentialoperator mit konstanten Koeffizienten. Dann besitzt die zugehörige partielle Differentialgleichung eine Greensche Funktion.

Bemerkungen

Die ursprünglichen Beweise verwendeten den Satz von Hahn-Banach und waren daher nicht-konstruktiv. Mittlerweile sind auch konstruktive Beweise bekannt.

Naheliegende Verallgemeinerungen auf lineare, partielle Differentialgleichungen mit nicht-konstanten Koeffizienten gelten nicht, wie das Beispiel von Lewy belegt.