Apologies for the embarrassingly bad pun in the title.

**Distributions in general **

First, it’s necessary to talk about distributions on an arbitrary open set , which are not necessarily tempered. In particular, they may “grow arbitrarily” as one approaches the boundary. So, instead of requiring a functional on a Schwarz space, we consider functionals on the space of smooth functions compactly supported in . However, we need some notion of continuity, which would require a topology on . There is now the tricky question of how we would require completeness of the topological vector space , which we of course desire. We can get such a topology by talking about “strict inductive limits” and whatnot, but since I don’t really find that particularly fun, I’ll sidestep it (but not really—most of the ideas will still remain).

Anyway, the idea here will be to consider auxiliary spaces for compact. This is the space of smooth functions which are supported in . We give the space a Frechet topology by the family of seminorms

Now, any functional induces functionals on the spaces . We say that is a **distribution** if all these restrictions are continuous, whenever is compact. The space of distributions is denoted . For instance, any tempered distribution on is a distribution. (Note incidentally that if two tempered distributions induce the same (untempered) distribution, they are also equal as tempered distributions. This is because is dense in in the Schwarz topology.) More interestingly, any locally integrable function or measure is a distribution.

As before, we can multiply a distribution by a function, and we can differentiate a distribution. We can also talk about convolutions of a distribution with a compactly supported distribution or with afunction, and these satisfy all the usual identities. (I’m not inclined to write out all the details, though.) So it is still interesting to talk about fundamental solutions to PDE which may not be tempered.

**Malgrange-Ehrenpreis **

So, let’s fix a constant-coefficient differential operator

The big theorem here is:

Theorem 1 (Malgrange-Ehrenpreis)There is a distribution withi.e. a fundamental solution.

The precise statement is proved in the book by Hormander (Linear Partial Differential Operators), where he proves in fact that the fundamental solution belongs locally to a generalization of the Sobolev spaces that we shall meet presently. However, I’m not inclined to write out all the details right now, so I’ll prove the following weaker statement:

Theorem 2Given bounded, there is a with .

Note that since convolution still works with arbitrary distributions and compactly supported functions, we get the previous theorem about local solvability of for smooth. And more.

This is the key lemma:

Lemma 3Let . Then there exist such thatfor and the seminorms defined as before.

What does this mean? The map thus defines a map continuous on the linear subspace of spanned by . By the Hahn-Banach theorem, we can extend it continuously to all of . Now, if is bounded, then we get such a linear form on , which induces a distribution on that solves the constant-coefficient equation. So we just have to prove the lemma.

**Polynomials **

To get the estimates, we will use

together with to get bounds with as in the “symbol” of the differential operator. So we need losely to get estimates of the form “if something times a polynomial has small integrals, so does that something.” This is what the next few lemmas from complex analysis do.

Lemma 4Let be analytic in a neighborhood of the closed unit disk, and be a one-variable polynomial with leading coefficient . Then

This looks a lot like Cauchy’s formula, and indeed it reduces to that if we replace the polynomial (of degree , say) with where denotes that all the coefficients have been complex conjugated. Since for and , the lemma now follows from the Cauchy formula.

However, we have the problem that polynomials in general have roots, which will cause some problems in our estimates. All the same, if is a polynomial in many variables, then

is bounded below and polynomially at .

Lemma 5Let be a one-variable polynomial of degree , as before. Then there is a constant such that for any , we have

We can of course assume that we have an expression . Then is a linear combination of products with coefficients depending only on . In particular, if we can show

we will be done. This follows from observing that we may consider the pair

If we now apply the previous lemma to this pair, we find the claim.

Next time, we’re going to use these lemmas to get the appropriate bounds necessary to prove Theorem 2.

January 26, 2013 at 6:02 am

why do we need to consider partial differential operator?what is it’s applications

January 26, 2013 at 6:45 am

That’s a broad question. I don’t think I could do better than pointing you to the wikipedia page, and mentioning that many physical phenomena are described by PDEs.