Briefly said: Every constant-coefficients linear partial differential equation on can be solved.
Let be a polynomial in variables, , where the sum is a finite one, each is a multi-index , and . To one associates a constant-coefficient linear partial differential operator , obtained by replacing by ().
Although several special cases had been known for a long time, it is only in the mid 1950s that it has been shown that for every non-zero constant-coefficient linear partial differential operator the equation can be solved for all functions or distributions (cf. also Generalized function) on . In particular, there is a distribution such that , where is the Dirac mass at (cf. also Dirac delta-function). Such an is called a fundamental solution. This is the celebrated Malgrange–Ehrenpreis theorem (established independently by B. Malgrange [a8] and L. Ehrenpreis [a1]). In case of the Laplace operator, the Newton potential (up to some factor) is a fundamental solution.
If is any distribution on with compact support, by using a fundamental solution it is immediate to solve the equation . Indeed ( denoting convolution, cf. also Convolution of functions),
The Malgrange–Ehrenpreis theory goes further. One can solve the equation for non-compactly supported right-hand side by exhausting by balls, and by solving the equation on each ball. The process is made to converge by corrections based on the approximation of local solutions to the homogeneous equation by global solutions. The space of solutions to a linear homogeneous ordinary differential equation, with constant coefficients (for example, ), is spanned by exponential solutions (in the example, is a root of ), or by exponential and possibly polynomial-exponential solutions ( in the case of a double root). Similarly, the solutions to can be approximated, on convex sets, by linear combinations of polynomial-exponential solutions, functions of the type , where is a polynomial and necessarily . See [a2], [a8], [a5], (7.3.6). More generally, convolution equations can be considered.
Most often, the Malgrange–Ehrenpreis theorem is attacked by using the Fourier transform. If is a -function on , say with compact support, its Fourier transform is defined by
and one has . Looking for a fundamental solution basically consists in solving the equation . This is of course totally elementary in case the function is integrable on , since then, by inverse Fourier transformation, one can define (classically) by
(For example, with denoting the usual Laplacian, the operator , for , for which .)
In general, one has to face two problems: the lack of integrability at infinity of , and the real zeros of the polynomial . Roughly speaking, since the two problems are not disjoint, one overcomes the first difficulty by the calculus of distributions, and the second one by switching to the complex domain. Both Malgrange and Ehrenpreis used the Hahn–Banach theorem. By now (1998) things have been much simplified, and a quick "constructive" proof of the Malgrange–Ehrenpreis theorem can be found in [a5], (7.3.10), see also [a3], (1.56). A formula claimed to be more explicit was recently given by H. König [a7].
The solvability of constant-coefficients linear partial differential operators can also be studied with pure methods. There is a remarkable fundamental result by L.V. Hörmander [a4], (2.6), whose proof is totally elementary, brief, and a masterpiece:
If is a bounded set in , and if is non-zero, there exists a constant such that for every -function with compact support in ,
It then follows, from elementary Hilbert space theory, that the adjoint operator (associated to the polynomial ) is solvable in . From there, one can recover the Malgrange–Ehrenpreis theorem. See [a10], or [a9] for an elementary exposition. However, the problem being not only to show the existence of a fundamental solution, but to get solutions with good properties, the construction in [a5], Chap. 7, seems close to being optimal, see [a6], Chap. 10.
The situation is radically different for operators with variable coefficients (see Lewy operator and Mizohata operator).
|[a1]||L. Ehrenpreis, "Solutions of some problems of division I" Amer. J. Math. , 76 (1954) pp. 883–903|
|[a2]||L. Ehrenpreis, "Solutions of some problems of division II" Amer. J. Math. , 78 (1956) pp. 685–715|
|[a3]||G.B. Folland, "Introduction to partial differential equations" , Princeton Univ. Press (1995)|
|[a4]||L. Hörmander, "On the theory of general partial differential operators" Acta Math. , 94 (1955) pp. 161–258|
|[a5]||L. Hörmander, "The analysis of linear partial differential operators I" , Grundl. Math. Wissenschaft. , 256 , Springer (1983)|
|[a6]||L. Hörmander, "The analysis of linear partial differential operators II" , Grundl. Math. Wissenschaft. , 257 , Springer (1983)|
|[a7]||H. König, "An explicit formula for fundamental solutions of linear partial differential equations with constant coefficients" Proc. Amer. Math. Soc. , 120 (1994) pp. 1315–1318|
|[a8]||B. Malgrange, "Existence et approximation des solutions des équations aux dérivées partielles et des équations de convolution" Ann. Inst. Fourier (Grenoble) , 6 (1955/6) pp. 271–355|
|[a9]||J-P. Rosay, "A very elementary proof of the Malgrange–Ehrenpreis theorem" Amer. Math. Monthly , 98 (1991) pp. 518–523|
|[a10]||F. Treves, "Thèse d'Hörmander" Sém. Bourbaki , Exp. 130 (1956)|
Malgrange-Ehrenpreis theorem. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Malgrange-Ehrenpreis_theorem&oldid=22787