7
$\begingroup$

Lusin, in 1913, while considering the properties of Hilbert's transform, conjectured that every function in $L^2[-\pi, \pi]$ has an a.e. convergent Fourier series. Kolmogorov, in 1923, gave an example of a function in $L^1[-\pi, \pi]$ with an a.e. divergent Fourier series. The problem is famously solved by Carleson in 1966, and it has at some different proofs (Feffermann, Lacey-Thiele).

My question. What about higher dimension? It seems that this problem is currently out of reach. Can anyone explain why it's so difficult intuitively? And is there any related (positive or negative) result or notes on the higher dimensional Lusin problem?

$\endgroup$

1 Answer 1

6
$\begingroup$

See Michael Lacey's exposition on Carleson's theorem for some discussion of this, particularly Section 9 there.

In higher dimensions one needs to specify the order of summation. If one sums over the dilation of a fixed polygon (say increasing cubes), then pointwise convergence holds and follows from the one dimensional case. This was initially proven by C. Fefferman in 1971. If one sums over, say, rectangles of increasing size but with a varying ratio of side lengths, then almost everywhere convergence can fail, as also observed by C. Fefferman in 1971.

Arguably the "big open question" here is what happens for spherical summation. This is open even in two dimensions. The problem there seems to require inputs from both the wave packet analysis that was used to prove Carleson's theorem, but also the restriction theory of circles (and, in higher dimensions, spheres). If the function is assumed to be radial, then things simplify somewhat and it can be treated using the one dimensional technology (albeit with additional work and ideas) as done by Prestini in 1988.

As discussed in Lacey's paper, it seems obtaining the analog of the tree lemma used in the Fefferman-Lacey-Thiele-type arguments is a significant obstruction. Very loosely, this has to do with the fact that we understand what taking dyadic projections of a Fourier series does to a one dimensional function. In higher dimensions, these dyadic projections are now taken by restricting the Fourier series to annuli (compared to intervals) which is less understood.

$\endgroup$
1
  • $\begingroup$ Thanks! Really nice answer. $\endgroup$
    – Tomas
    Commented Apr 7 at 6:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .