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<ref>Bernard Malgrange: Existence et approximation des solutions des équations aux dérivées partielles et des équations de convolution., Ann. Inst. Fourier, Band 6 (1955–1956), Seiten 271–355</ref> und Leon Ehrenpreis<ref>Leon Ehrenpreis: Solution of some problems of division. I. Division by a polynomial of derivation., Amer. J. Math., Band 76 (1954), Seiten 883–903</ref><ref>Leon Ehrenpreis: Solution of some problems of division. II. Division by a punctual distribution., Amer. J. Math., Band 77 (1955), Seiten 286–292</ref> gefunden.

Begriffe

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

<math>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}</math>

mit Koeffizienten <math>\beta_{j_1,\ldots,j_n} \in \Complex</math>, wobei die obere Summationsgrenze <math>N</math> eine feste natürliche Zahl ist, so ist

<math>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}}</math>

und die partielle Differentialgleichung

bei vorgegebener rechter Seite <math>f</math> heißt lineare partielle Differentialgleichung mit konstanten Koeffizienten, da die Koeffizienten <math>\beta_{j_1,\ldots,j_n}</math> 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 <math>G</math> der Gleichung eine Greensche Funktion der Gleichung, auch wenn es sich nicht um eine klassische Funktion handelt. Ist nun <math>f</math> irgendeine rechte Seite und kann man die Faltung <math>G * f</math> bilden, so ist <math>u = G * f</math> wegen der konstanten Koeffizienten eine Lösung von <math>P(D)u = f</math>.

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 <math>P(D)</math> ein linearer partieller Differentialoperator mit konstanten Koeffizienten. Dann besitzt die zugehörige partielle Differentialgleichung eine Greensche Funktion.<ref>Milan Miklavcic: Applied Functional Analysis and Partial Differential Equations, World Scientific Pub Co (1998), ISBN 981-02-3535-6, Theorem 3.3.4</ref><ref>Kosaku Yosida: Functional Analysis. Classics in Mathematics., Springer-Verlag (1995), ISBN 3-540-58654-7, Kapitel VI, Abschnitt 10: The Malgrange-Ehrenpreis Theorem</ref>

Bemerkungen

Die ursprünglichen Beweise verwendeten den Satz von Hahn-Banach und waren daher nicht-konstruktiv. Mittlerweile sind auch konstruktive Beweise bekannt.<ref>Peter Wagner: A new constructive proof of the Malgrange-Ehrenpreis theorem, Amer. Math. Monthly, Band 116 (2009), Seiten 457–462</ref>

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

Einzelnachweise