## 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.

Fefferman’s Ball Multiplier Counterexample « Lewko's Blogsaid, on August 4, 2009 at 9:31 pm[…] 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 […]

Marcelo Fernandessaid, on May 30, 2012 at 10:31 pmReblogged this on Marcelo Fernandes de Almeida.

Being simplesaid, on September 2, 2012 at 11:42 pm[…] 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 […]

Hormander-Minlin | Being simplesaid, on February 2, 2013 at 11:05 pm[…] 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 […]