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[1] und Leon Ehrenpreis[2][3] gefunden.
Begriffe
Ein linearer, partieller Differentialoperator mit konstanten Koeffizienten entsteht aus einem Polynom in Unbestimmten, indem für die -te Unbestimme die partielle Ableitung eingesetzt wird. Ist
mit Koeffizienten , wobei die obere Summationsgrenze eine feste natürliche Zahl ist, so ist
und die partielle Differentialgleichung
bei vorgegebener rechter Seite heißt lineare, partielle Differentialgleichung mit konstanten Koeffizienten, da die Koeffizienten 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 der Gleichung eine Greensche Funktion, auch wenn es sich nicht um eine klassische Funktion handelt. Ist nun irgendeine rechte Seite und kann man die Faltung bilden, so ist wegen der konstanten Koeffizienten eine Lösung von .
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 ein linearer, partieller Differentialoperator mit konstanten Koeffizienten. Dann besitzt die zugehörige partielle Differentialgleichung eine Greensche Funktion.[4][5]
Bemerkungen
Die ursprünglichen Beweise verwendeten den Satz von Hahn-Banach und waren daher nicht-konstruktiv. Mittlerweile sind auch konstruktive Beweise bekannt.[6]
Naheliegende Verallgemeinerungen auf lineare, partielle Differentialgleichungen mit nicht-konstanten Koeffizienten gelten nicht, wie das Beispiel von Lewy belegt.
Einzelnachweise
- 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
- Leon Ehrenpreis: Solution of some problems of division. I. Division by a polynomial of derivation., Amer. J. Math., Band 76 (1954), Seiten 883–903
- Leon Ehrenpreis: Solution of some problems of division. II. Division by a punctual distribution., Amer. J. Math., Band 77 (1955), Seiten 286–292
- Milan Miklavcic: Applied Functional Analysis and Partial Differential Equations, World Scientific Pub Co (1998), ISBN 981-02-3535-6, Theorem 3.3.4
- Kosaku Yosida: Functional Analysis. Classics in Mathematics., Springer-Verlag (1995), ISBN 3-540-58654-7, Kapitel VI, Abschnitt 10: The Malgrange-Ehrenpreis Theorem
- Peter Wagner: A new constructive proof of the Malgrange-Ehrenpreis theorem, Amer. Math. Monthly, Band 116 (2009), Seiten 457–462