A sparse domination principle for rough singular integrals (Q2362328)

The authors prove that the bilinear forms associated to the rough homogeneous singular integrals \[ T_\Omega f(x)=\text{ p.v. }\int_{\mathbb R^d}f(x-y)\Omega\big(y/| y|\big)\frac{\mathrm{d}y}{| y|^d} \] (where \(d\in\mathbb N\), \(q\in(1,\infty]\), and \(\Omega\in L^q(S^{d-1})\), with \(S^{d-1}\) being the unit sphere in \(\mathbb R^d\), has vanishing average), and to Bochner-Riesz means at the critical index in \(\mathbb R^d\), defined by the multiplier operator \[ B_\delta f=\mathcal F^{-1}\big[\hat{f}(\cdot)(1-|\cdot|^2)^\delta_+\big], \quad \delta=\frac{d-1}2, \] are dominated by sparse forms involving \((1,p)\) averages. To be more precise recall that, for \(p_1, p_2\in[1,\infty)\), the \textit{sparse \((p_1,p_2)\)-averaging form} is defined as \[ \text{\textsc{PSF}}_{\mathcal S,p_1,p_2}(f_1,f_2)= \sum_{Q\in\mathcal S}| Q|\langle f_1\rangle_{p_1,Q}\langle f_2\rangle_{p_2,Q},\quad \text{where }\langle f\rangle_{p,Q}=| Q|^{-1/p}\| f\|_{L^p(Q)}, \] associated to a (countable) sparse collection \(\mathcal S\) of cubes of \(\mathbb R^d\). The collection \(\mathcal S\) is called \textit{\(\eta\)-sparse}, \(\eta\in(0,1]\), if there are pairwise disjoint measurable sets \(\{E_I\}_{I\in\mathcal S}\) such that \(E_I\subset I\) and \(| E_I|\geq\eta| I|\). A sparse domination principle, proved in this paper, is of the type \[ |\langle Tf_1,f_2\rangle|\lesssim\sup_{\mathcal S} \text{\textsc{PSF}}_{\mathcal S,p_1,p_2}(f_1,f_2) \] for a singular integral operator \(T\). The domination obtained here is stronger than the weak-\(L^1\) estimates for \(T_\Omega\) and for Bochner-Riesz means. Moreover, from the main domination theorems the authors deduce new sharp quantitative \(A_p\)-weighted estimates for Bochner-Riesz means and for homogeneous singular integrals with unbounded angular part, extending previous results of \textit{T. P. Hytönen} et al. [Isr. J. Math. 218, 133--164 (2017; Zbl 1368.42015)].