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

où  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 

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 ,  et .

 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 :

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 

Équation aux dérivées partielles
Opérateur différentiel
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 à les dérivées partielles où est un polynôme à plusieurs variables et est la distribution de Dirac admet une solution ( à le sens de les 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 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 à le fait que n' importe quel polynôme à plusieurs variables non nul P a un inverse ( à le sens de les 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 à le sens de les distributions est une conséquence de l' existence de le 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 à le sens de les distributions de P . D' autres démonstrations , offrant souvent de les meilleurs bornes sur la croissante de la solution , sont données dans , et \ . 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 \ : est une solution fondamentale de P( ∂ ) , i.e. , P( ∂)E = δ , si Pm est la partie principale de P , η ∈ Rn avec Pm( η ) ≠ les nombres réels λ0 , \ ... , λm sont deux-à-deux différents et Références Équation à les dérivées partielles Opérateur différentiel