The pointwise convergence of Fourier Series (II). Strong $L^1$ case for the lacunary Carleson operator

TL;DR

This paper proves the lacunary Carleson operator is bounded from $L ext{log} L$ to $L^1$, advancing understanding of Fourier Series convergence near $L^1$ with novel analytical tools.

Contribution

It introduces new concepts like time-frequency regularization and set-resolution, providing a novel approach to analyze the lacunary Carleson operator's boundedness.

Findings

Lacunary Carleson operator is bounded from $L ext{log} L$ to $L^1$

First simultaneous treatment of tile families with distinct mass parameters

Provides sharp bounds for the strong $L^1$ case

Abstract

We prove that the lacunary Carleson operator is bounded from $L \log L$ to $L^{1}$. This result is sharp. The proof is based on two newly introduced concepts: 1) the \emph{time-frequency regularization of a measurable set} and 2) the \emph{set-resolution of the time-frequency plane at $0-$frequency}. These two concepts will play the central role in providing a special tile decomposition adapted to the interaction between the \emph{structure} of the lacunary Carleson operator and the corresponding \emph{structure} of a fix measurable set. Another key insight of our paper is that it provides for the first time a simultaneous treatment of families of tiles with \emph{distinct} mass parameters. This should be regarded as a fundamental feature/difficulty of the problem of the pointwise convergence of Fourier Series near $L^1$, context in which, unlike the standard $L^p,\:p>1$ case, \emph{no decay} in the mass parameter is possible.