\(L^p\) estimates for the biest. I: The Walsh case (Q1889450)

The ``biest'' is a trilinear variant \(T\) of the bilinear Hilbert transform defined by \[ T(f,g,h)(x)=\int_{\alpha<\beta<\gamma} f(\alpha)g(\beta)h(\gamma)e^{2\pi ix(\alpha+\beta+\gamma)} d\alpha\,d\beta\, d\gamma. \] The paper is devoted to a Walsh model of the biest, which is a family of trilinear operators. In the main theorem it is proved that these operators are uniformly bounded from \(L^{p_1}\times L^{p_2}\times L^{p_3}\) to \(L^{p^{\prime}_4}\) if \(1/p_1+1/p_2+1/p_3=1/p^{\prime}_4\), provided that \((1/p_1,1/p_2,1/p_3,1/p_4)\) belongs to a certain polytope \(D\subset [0,1)^3\times(0,\infty)\). This includes the cases where \(1<p_1,p_2,p_3\leq \infty\) and \(1\leq p^{\prime}_4<\infty\). The theorem is proved by doing a reduction of the estimates to certain restricted weak type inequalities by interpolation methods for multilinear \(L^p\) estimates due to the same authors. [See also Part II in Math. Ann. 329, No.~3, 427--461 (2004; Zbl 1073.42010)].