\(L^p\) bounds for a maximal dyadic sum operator (Q1434192)

The celebrated Carleson-Hunt theorem states that the Fourier series of an \(L^p\) function, \(1< p<\infty\), on the unit circle converges almost everywhere to the function. Alternative proofs for \(p= 2\) were provided by Fefferman and by Lacey and Thiele. Lacey and Thiele showed that for \(f\) in \(L^2(\mathbb{R})\) the maximal operator \[ {\mathcal C}(f)(x)= \sup_{N> 0}\,\Biggl|\int_{|\xi|\leq N}\widehat f(\xi)\,e^{2\pi ix\xi}\,d\xi\Biggr| \] is bounded from \(L^2(\mathbb{R})\) into \(L^{2,\infty}(\mathbb{R})\). They also obtained an alternative proof for \(p\neq 2\), by adapting the techniques in proving the case \(p= 2\) (but rather complicated). Investigating higher-dimensional analogs, \textit{M. Pramanik} and \textit{E. Terwilleger} [Ill. J. Math. 47, No. 3, 775--813 (2003; Zbl 1040.42014)] recently adapted the proof of the case \(p= 2\) by Lacey and Thiele to prove weak type \((2,2)\) bounds for a discrete maximal operator on \(\mathbb{R}^n\) similar to the one which arises in the aforementioned proof. In this reviewed paper, the authors extend the result of \textit{M. Pramanik} and \textit{E. Terwilleger} (loc. cit.) to the full range \(1< p< \infty\) via a variation of the \(L^2\to L^{2,\infty}\) case.