So, as I’ve already indicated, I’m planning to talk about PDEs for the next month or so, both the general theory and specific posts on the equations of mathematical physics. There are some preliminaries I’ll have to do first such as Fourier transforms. Today, I’ll get up to the inversion formula for Schwarz functions.
The Schwarz Class
The Schwarz class consists of smooth functions such that for all multi-indices ,
is bounded. For instance, the function is in , as is any function with compact support. Elements in are loosely speaking, functions that decrease rapidly at with all their partial derivatives.
There is a way to make the space into a Frechet space, by the countable family of seminorms
It is not a Banach space, but these seminorms do induce a topology on . A neighborhood basis at can be given by
It follows that becomes a metric space if we define
The space has many pleasant properties with respect to this topology that make it useful to work with. For instance, it is complete in the above metric. It is also a topological vector space because addition and scalar multiplication (and inversion) are continous. Moreover, differentiation and multiplication by a function in is a continuous map.
The Fourier transform
Given , we define the Fourier transform :
It is easy to check that this is a continuous function on , bounded by .
Let’s now restrict to .The key property of the Fourier transform is that it converts differentiation into multiplication by a power of and vice versa, which makes it especially useful in dealing with PDEs. To solve a PDE with constant coefficients one can consider the much nicer problem obtained by a Fourier transform.This is what we’ll now prove, and it shows that in particular, maps into itself.In particular, if we abbreviate ,
which implies inductively that
To go the other way, note that by integration by parts
so by induction
If we combine these two we find:
There is a similar identity with the and the reversed. As a result, it follows that the Fourier transform maps into .
The next basic property of the Fourier transform, which is actually valid for any two functions, is that it turns convolution into multiplication. Recall that if , then the convolution is defined by
By the second equality, this can be thought of as a weighted average of translations of with respect to . It can be checked that .
Now we can prove the identity
which we change variables into
which now makes the identity clear.
The Fourier transform can be thought of as a resolution of a function into continuous wave frequences, kind of like Fourier series are a resolution of a function on the circle into discrete frequencies. In the same way, a function can—in a certain sense—be recovered from its Fourier transform.The more general theory here is that of Fourier analysis on locally compact abelian groups, which I’m not going to discuss (yet).Given , we define the inverse Fourier transform by combining suitable frequences at levels determined by :
We will now establish the Fourier inversion formula for :
Theorem 1 If , then .
We will prove the first identity; the second is similar. The idea behind the proof is to check it for a certain convenient function whose Fourier transform is easily calculated. Then, using an approximation to the identity argument, we can represent any function using it and its dilations and translations.The function in question is . I claim:
By evenness it suffices to prove the first statement. We need to evaluate the integral
The integral in question is actually
by a shift in contours (justifiable because these are rapidly decreasing functions).
Now that we’ve proved the claim, we can do the inversion formula. Recall that . As , this becomes kind-of-like the Dirac delta function—a point mass at . (This convergence is in the sense of distributions, to be covered shortly.) The Fourier transform of this is which approaches the function identically 1. This is part of a general principle that a function supported near the origin has a spread out Fourier transform, and vice versa.So
which becomes by the formula for , and an elementary change of variables,
But the last integral is just
and from basic facts on approximations to the identity, this tends to as . In detail,
the integral in is bounded by something tending to zero depending on the continuity of , and the other part goes to zero because uniformly for in a compact set not including the origin.