Théorème de Malgrange-Ehrenpreis

En mathématiques, le théorème de Malgrange-Ehrenpreis énonce qu'un opérateur différentiel linéaire à coefficients constants non nul admet une fonction de Green. Il a été démontré en premier indépendamment par Leon Ehrenpreis et Bernard Malgrange.

Cela signifie que l'équation aux dérivées partielles

est un polynôme à plusieurs variables et est la distribution de Dirac admet une solution (au sens des distributions) appelée solution fondamentale.

Ce théorème montre en particulier que l'équation

admet une solution pour toute distribution à support compact. En effet, on montre que est solution, où désigne le produit de convolution. Il n'y a cependant pas unicité de la solution en général.

L'analogue de ce résultat pour les opérateurs différentiels à coefficients non constants est faux, même dans le cas où les coefficients sont polynomiaux: voir l'exemple de Lewy.

Démonstrations

modifier

Les démonstrations originales de Malgrange et Ehrenpreis sont non-constructives car utilisant le théorème de Hahn-Banach. Depuis plusieurs démonstrations constructives ont été trouvées.

Il existe une démonstration très courte utilisant la transformée de Fourier et les polynômes de Bernstein-Sato. Par transformation de Fourier, le théorème de Malgrange–Ehrenpreis est équivalent au fait que n'importe quel polynôme à plusieurs variables non nul P a un inverse (au sens des distributions). Quitte à remplacer P par le produit de P avec son conjugué, on peut supposer que P est positif. Or pour les polynômes positifs l'existence d'un inverse au sens des distributions est une conséquence de l'existence du polynôme de Bernstein-Sato, ce qui implique que la fonction Ps peut être étendue en une fonction méromorphe de la variable complexe s. On montre alors que le terme constant de la série de Laurent de Ps en s = −1 est l'inverse au sens des distributions de P.

D'autres démonstrations, offrant souvent des meilleurs bornes sur la croissante de la solution, sont données dans (Hörmander 1983a, Theorem 7.3.10), (Reed et Simon 1975, Theorem IX.23, p. 48) et (Rosay 1991).

(Hörmander 1983b, chapter 10) présente une discussion détaillée sur les propriétés de régularité de la solution fondamentale.

Une démonstration courte et constructive est présentée dans (Wagner 2009, Proposition 1, p. 458):

 

est une solution fondamentale de P(∂), i.e., P(∂)E = δ, si Pm est la partie principale de P, η ∈ Rn avec Pm(η) ≠ 0, les nombres réels λ0, ..., λm sont deux-à-deux différents et

 

Références

modifier
  • Leon Ehrenpreis, « Solution of some problems of division. I. Division by a polynomial of derivation. », Amer. J. Math., American Journal of Mathematics, Vol. 76, No. 4, vol. 76, no 4,‎ , p. 883–903 (DOI 10.2307/2372662, JSTOR 2372662, MR 0068123)
  • Leon Ehrenpreis, « Solution of some problems of division. II. Division by a punctual distribution », Amer. J. Math., American Journal of Mathematics, Vol. 77, No. 2, vol. 77, no 2,‎ , p. 286–292 (DOI 10.2307/2372532, JSTOR 2372532, MR 0070048)
  • L. Hörmander, The analysis of linear partial differential operators I, vol. 256, Springer, coll. « Grundl. Math. Wissenschaft. », 1983a (ISBN 3-540-12104-8, MR 0717035)
  • L. Hörmander, The analysis of linear partial differential operators II, vol. 257, Springer, coll. « Grundl. Math. Wissenschaft. », 1983b (ISBN 3-540-12139-0, MR 0705278)
  • Bernard Malgrange, « Existence et approximation des solutions des équations aux dérivées partielles et des équations de convolution », Annales de l'Institut Fourier, vol. 6,‎ 1955–1956, p. 271–355 (DOI 10.5802/aif.65, MR 0086990, lire en ligne)
  • Michael Reed et Barry Simon, Methods of modern mathematical physics. II. Fourier analysis, self-adjointness, New York-London, Academic Press Harcourt Brace Jovanovich, Publishers, , xv+361 (ISBN 0-12-585002-6, MR 0493420)
  • Jean-Pierre Rosay, « A very elementary proof of the Malgrange-Ehrenpreis theorem », Amer. Math. Monthly, The American Mathematical Monthly, Vol. 98, No. 6, vol. 98, no 6,‎ , p. 518–523 (DOI 10.2307/2324871, JSTOR 2324871, MR 1109574)
  • (en) « Théorème de Malgrange-Ehrenpreis », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne)
  • Peter Wagner, « A new constructive proof of the Malgrange-Ehrenpreis theorem », Amer. Math. Monthly, vol. 116, no 5,‎ , p. 457–462 (DOI 10.4169/193009709X470362, MR 2510844)