L^{p} convergence of Fourier transforms
Let denote the characteristic function of the unit ball in dimensions. For a smooth function of rapid decay, say , we can define the linear operator by the relation
where denotes the Fourier transform of , as usual. This operator naturally arises in problems regarding the convergence of Fourier transforms (which we discuss below). A fundamental problem regarding this operator is to determine for which values of and we can extended to a bounded linear operator on . The -dimensional case of this problem was settled around 1928 by M. Riesz, however the higher dimensional cases proved to be much more subtle. In 1954 Herz showed that was a necessary condition for the boundedness of , and sufficient in the special case of radial functions. It was widely conjectured that these conditions were also sufficient in general (this was known as the disc conjecture). However, in 1971 Charles Fefferman proved, for , that does not extend to a bounded operator on any space apart from the trivial case when (which follows from Parseval’s identity). Recently, I needed to look at Fefferman’s proof and decided to spend some time trying to figure out what is really going on. I will attempt to give a motivated account of Fefferman’s result, in a two post presentation. In this (the first) post I will describe the motivation for the problem, as well as develop some tools needed in the proof. The problems discussed here were first considered in the context of Fourier series (i.e. functions on the -dimensional torus ). It turns out, however, that these problems are slightly easier to address on Euclidean space, and are equivalent thanks to a result of de Leeuw. In light of this, we will work exclusively on .
As usual, we will denote the Schwartz class of smooth rapidly decreasing functions as . Let , we define the Fourier transform of to be
It is well known that if , and that the domain of the Fourier transform can be extended to for (although we have to allow the Fourier transform map to distributions when ). A central problem in Euclidean Fourier analysis is to understand how well we can recover a function from its Fourier transform. This problem comes in many flavors, here we will be interested in the following situation. Define the partial summation operator by
Is it the case that these partial sums (this terminology is borrowed from the analogous situation on the torus, where would be a partial sum of the Fourier expansion of ) converge to in the -norm? More specifically, if does the following hold
Of course it is possible that the answer may depend on the choice of . In fact this must be the case. Consider the case when , by assumption we have . Since , Parseval’s identity gives us that
where the last equality is a simple consequence of being a function. Conversely, it isn’t hard to show that (1) does not hold when in any dimension, although we won’t prove this here.
If then (1) holds for all . To see this notice that the infinite differentiability of implies that has rapid decay. Thus we can think of as essentially having compact support (of course this is never quite true by the uncertainty principle). If was true then we’d have that for , which immediately implies (1). A little care can make this argument rigerious.
For and , we can find such that . Using the fact that we have that
Since can be taken arbitrarily close to , it suffices to show that the operators are uniformly bounded (in ) as operators on . However, scale invariance shows that each has the same norm. Conversely, if is not bounded on then we have that there exists, by the uniform boundedness principle, a function such that for every . The triangle inequality would then imply that
thus (1) could not hold. Thus the problem of spherical convergence of Fourier integrals is equivalent to determining if is a bounded operator on . In summary, we have shown that
Lemma 1 For the relation holds for all if and only if there exists a constant such that for every we have that .
Convergence of Fourier Transforms and the Hilbert Transform
The function is called a Fourier multiplier since it acts by multiplying the Fourier transform of by some function, which is referred to as the symbol of the multiplier. More specifically, we have that
In the -dimensional case the operator is just a variant of the Hilbert transform. To see this recall that the Hilbert transform is defined for Schwartz functions (and then extended by density) by
One can verify that is a Fourier multiplier with symbol . In other words . Furthermore, it isn’t hard to derive from this that and . One can further deduce that
So we can write where and are the Fourier multiplier operators with symbols and , respectively. In fact, one can compute that
where denotes the identity operator. The operator can be expanded similarly. Now
Of course, a fundamental result regarding the Hilbert transform, which can be found in many harmonic analysis textbooks, is the following
Theorem 2 (M. Riesz, 1928) For there exists a constant such that
In other words, the Hilbert transform is a bounded operator on .
Riesz’s theorem solves the problem of convergence in the -dimensional case. In higher dimensions, however, the operator is a multiplier with symbol , that is the characteristic function of the unit ball. Understanding this operator is a much thornier issue, and the question of its boundedness remained open until Fefferman’s 1971 paper. We can, however, obtain some higher dimensional results from the Hilbert transform. To do this, let us rename as $\mathcal{P}$ (this will help us avoid someconfusion later on), again we have
Now let us consider the following variant of defined by
By the same considerations made above, the -boundedness of this operator is equivalent to the convergence of the rectangular partial sums of . This is to say that if we can show that is a bounded operator on then we’d establish that
It turns out the question of the boundedness of is far less subtle than the boundedness of . Again, this follows from the boundedness of the Hilbert transform. To see this notice that the operator defined above, has symbol . Using the fact that unit cube in can be written as the intersection of a finite number of half-planes, one can see that the Fourier multiplier with symbol (that is the characteristic function of a cube with side-length ) can be written as the composition of a finite number of rotations of the operator . Since rotations do not effect norms, the boundedness (for ) of again follows from that of the Hilbert transform. We omit the details. Before we leave the operator , let us record a lemma that we will need later.
Lemma 3 Define the intervals and . Then there exists a positive constant such that
for all , where is independent of the choice of .
Proof: Recall that . Thus for , such as , we have that
The Hilbert transform of the characteristic function of the interval can be computed directly from the definition (2) as
Now if we have that thus
which establishes the lemma.
This presentation is continued in the post: Fefferman’s Ball Multiplier Counterexample.
[…] Posted in Fourier Analysis, expository, math.CA by Mark Lewko on August 4, 2009 In the previous post we saw the connection between the ball multiplier and spherical convergence of Fourier […]
Reblogged this on Marcelo Fernandes de Almeida.
[…] as Marcinkiewicz, Minhklin, Hörmander, Lizorkin and more recentily Fefferman’s work about ball multiplier conjecture. In this post will be initiated the saga related to spaces so far. Before, we recall some […]
[…] operator does not extend to a bounded operator on for any and . This result answer the famous disk conjecture which states that is bounded on for . In this post we will work with symbols more regularities […]