A discrete singular integral operator (Q4397385)

In this paper it is proved that the discrete singular integral operator \(T_\Omega\) is bounded on \(L^2(R^n)\) in the the case when \(\Omega\) belongs to the Besov space \(B^{0,1}_1(S^{n-1})\). The operator \(T_\Omega\) is defined as \[ T_\Omega f(x)=\sum\limits^{\infty}_{k=-\infty} \int_{S^{n-1}} f(x-\alpha_k y')\Omega(y') d\sigma(y'), \] where \(\alpha_k\) is a lacunary sequence of positive numbers satisfying \(\inf_k \alpha_{k+1}/\alpha_k >1\). The Besov space is defined by atomic decomposition. As part of the proof it appears that the associated maximal operator \[ T^*_\Omega f(x)=\sup\limits_m \Biggl| \sum\limits^{\infty}_{k=-\infty} \int_{S^{n-1}} f(x-\alpha_k y')\Omega(y') d\sigma(y') \Biggr| \] is bounded in the space \(L^2(R^n)\). The main idea of the proof is an estimate of the Fourier transform of the discrete kernel. The theorems in this paper improve one of the results by \textit{J. Duoandikoetxea} and \textit{J. Rubio de Francia} [Invent. Math. 84, 541-561 (1986; Zbl 0568.42012)] for the space \(L^2\).