Satz von Malgrange-EhrenpreisDer 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. BegriffeEin 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 der Gleichung, 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 SatzesSatz von Malgrange-Ehrenpreis: Es sei ein linearer partieller Differentialoperator mit konstanten Koeffizienten. Dann besitzt die zugehörige partielle Differentialgleichung eine Greensche Funktion.[4][5] BemerkungenDie 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
|