Sobolev spaces arise naturally in mathematical physics, as most of the textbooks on this subject say. Indeed, one of the most important tools of mathematics for physicists is perhaps the differential equations. So an ideal topological space, or even topological vector space, or even sometimes Banach space, must take into account the differentials of its elements. There are some similar spaces, like the Schwartz spaces(the space of functions whose derivative of any order multiplied by any power of the variables descent rapidly). The topology on these spaces are, in some sense, too restrictive. So we expect to replace the point-wise convergence by some global convergence. This is what a Sobolev space does.
There are various ways of defining a Sobolev space. The one that is often used is using the Fourier transform to define a Sobolev space over the Euclidean space . There is an obvious shortcoming of this kind of definition, that is, it can not be generalized to other spaces except that we can do the Fourier transform on the space.
The name of this post is ‘operators around Sobolev spaces’. We will first introduce the basic concepts in Sobolev spaces, and then say something about the inclusion operator, the injection operator, and perhaps the interpolation operators.
We denote the Schwartz space, in which every function satisfies that . We denote the Fourier transform on as . We know that in fact is an automorphism on . Now for any real number , we define to be the closure of under the inner product, (it is indeed an inner product). For simplicity, from now on, we will denote the Fourier transform of as . That is to say, is a Hilbert space under this scalar product, and they are the so-called Sobolev spaces.
Another equivalent definition for these spaces is to use the tempered distribution, . We can define the Fourier transform on this dual space, and we say that a tempered distribution lies in if it satisfies that . We will not prove the equivalence in this post.
First we can say something about the relations between these Sobolev spaces. Note that, the function is an increasing function. So if two real numbers , then if (we omit the underlying space when there is no confusion), then , so we obtain that
injects continuously in when .
So we see that these Sobolev spaces behave better than those spaces on .
Now that is a Hilbert space, its topological dual is itself. But we can have another description of its dual. We can define a -linear application . Note that this functional is -linear in the first variable, while anti -linear in the second variable. What is more, using the Cauchy-Schwartz inequality, we can see that , and there is also the identity . So in this sense, we have that .
Recall what is our intention of creating these spaces: to better deal with the convergence and the derivations. In deed, when is a positive integer, for example, , then for , , the first term is due to the Parseval identity, and the second term is due to the fact that Fourier transform exchange the derivation and the multiplication by the free variable. So, for those positive integer value , indeed talks about the derivation on the global scale. And the greater is, the higher order derivation is involved.
This task having been accomplished, the next is to see if we can go back from these spaces to the routine spaces, like those $latexL^p$ spaces. Surprisingly, Sobolev spaces also behave very well in this aspect. That is the Sobolev embedding theorem.
Before doing anything more interesting, we want to say something on the -norm. We see that these norms are not very flexible, in the sense that for any function , if we define , then comparing these two norms , it seems that there is no simple relations in between. Whereas in the case of spaces(), we see easily that , a simple relation valid for any element in the space. The reason for this shortcoming of is that there is a term non-homogeneous in the integral. This inspires us to define a corresponding homogeneous -norm, that is, for , . This time we have that , that is .
Compare the two scalar factors, , if , we see that these two norms and are, in some sense, comparable. In fact, it is in deed the case, this is the following result:
If (with ), then , we have that .
Note that although this result concerns only with the functions in the Schwartz space, but using some density, we can extend this inequality to greater spaces.
The proof of this result depends heavily on the frequency analysis on the frequency counterpart of the Schwartz space. That is, for this , we will decompose in several parts to simplify analysis. But, first of all, let’s see how can we deal with the norms. In general, these norms are difficult to deal with since they are not at all linear. But there is some special cases, for example, . So we should convert the integral into something more linear, or easier to deal with. Perhaps for this we should return to the definition of Lebesgue integrals. Recall that for a positive function, we have that . So that the evaluation of reduces to the evaluation of . This, in some sense, is more intuitive.
Now return to the proof for the above result. For any positive real number , we decompose . That is, we decompose the Fourier transform of into a high frequency part and low frequency part. So we have an inclusion . So the problem is converted to estimate the norms of these two partial functions. For the first, . Now recall the definition of the norms, we can utilize the Cauchy Schwartz inequality to get . Note that the first norm is a finite number due to the fact that , a crucial fact, and the second integral is smaller than . So, all in all, we have that . So, if we choose such that the second term of the last inequality is smaller than (equivalently, that is to say, if ), then we would get that . So now things become . But note that(the inequality of Chebyshev) . So we have that ,using the definition of , the second term changes to , that is, . So combining these things together, we get that , thus proving the above result. In the reasoning of proofs involving the Sobolev spaces, the exponent sometimes give surprising combinatoric properties. For example, in the process above, we used the identity that . Often the last term is very simple, not at all like what we would have thought. This seems like speed superposition formula in the special relativity, . The calculations in an introductory special relativity course are often magical. But we know that, when put in the four-vectors formulation, things become much more transparent. The essential things behind these exponent for the present is perhaps still the dimensional analysis.
The above result is called the homogeneous Sobolev embedding. Before going to state the general Sobolev embedding theorem, we need to prove another result, the interpolation theorem:
For , and , we have that
This result in fact says that the function is convex. The proof for this result is not difficult.The cases are trivial, so we suppose that . Note that(we set ) . Now use the inequality of Holder for the exponent pair , we get that , therefore proving the theorem.
The philosophy behind this theorem is very important, in that it controls the norms with just two extreme norms.
Now return to the Sobolev embedding theorem. We have shown that for , we have that for any , there is . Note that for , there is . So we get that
If , then injects continuously in .
Note that again for the case, , if , then using the identity of Plancherel, we have that with that . So,
If , then injects continuously in .
Now using the inequality of Holder, and note that for , there is , so for any , we have that, injects continuously in .
In the above, we are talking in the range that . What about the case ? In fact, this case is much easier than the first case, the case we considered above. We can show that the functions in are continuous functions. How to prove that a function is continuous? Here we can know some norms on the Fourier transform of a function, then to show that this function is continuous, one idea is to show that the norm of its Fourier transform is finite(and then utilize the continuity of Lebesgue integration).
Indeed, if , then .Then use the Cauchy-Schwartz inequality, we have that . The second integral is finite because , that is the key point in all this proof. Thus we showed that is finite, therefore is continuous, and tend to when .
Perhaps an example helps illustrate the power of these continuous embeddings. For example, we are asked to show that for , we have that .
Without the knowledge of the Sobolev embeddings, this inequality is really hard to prove. But let’s see what we can do with the help of Sobolev embeddings. Note that the right hand side is in fact . An application of the interpolation theorem for the triple gives that . So we have to show that . Note that , so , so the embedding theorem reads , and we are done.
There are others questions to be addressed, for example, are these embeddings compact?In general, the answer is negative. We will see that in fact, the topology defined by norms are, in some sense, too fine. We need another topology more coarse than this one, but which is still useful. And under this topology, we will have the compacity of these embeddings.