The bi-Carleson operator (Q2491974)

In a previous paper, the authors proved \(L^p\) estimates for a Walsh model of the maximal bi-Carleson operator. Their aim in this one is to prove similar estimates for its Fourier model \[ T(f,g)(x)=\sup_N \left| \int_{\xi_1<\xi_2<N(x)} \widehat f(\xi)\widehat g(\xi) e^{2\pi i x(\xi_1+\xi_2)} \,d\xi_1\,d\xi_2\right| , \] with the inconveniences of having not so good localization properties both in space and frequencies. The main theorem includes both Carleson-Hunt theorem on the \(L^p\) boundedness of the maximal Carleson operator, and Lacey and Thiele's result on the the bi-linear Hilbert transform as an operator from \(L^{p_1}\times L^{p_2}\) to \(L^{p'_3}\), provided that \(1<p_1,p_2\leq \infty\), \(1/p_1+1/p_2=1/p'_3\) and \(2/3<p'_3<\infty\). It states that, under the same conditions on the parameters, \(T\) also maps \(L^{p_1}\times L^{p_2}\) to \(L^{p'_3}\). The proof is rather technical and involves careful multiplier decomposition, discretization, the use of trees in the context of tiles, and multilinear interpolation methods.