On singular integrals associated to surfaces (Q2453148)

Let \(\Omega\) be homogeneous of zero degree on \(\mathbb{R}^n\), integrable on \(S^{n-1}\) and satisfy \[ \int_{S^{n-1}}\Omega(u)\,d\sigma(u)=0. \] Given a mapping \(\Gamma:\;\mathbb{R}^n\to \mathbb{R}^d\), the singular integral \(T_{h,\Gamma}\) and the maximal truncated singular integral \(T^*_{h,\Gamma}\) associated with the surface \(\{\Gamma(y); y\in\mathbb{R}^n\}\) are, respectively, defined as \[ T_{h,\Gamma}(f)(x):=\text{p.v.}\,\int_{\mathbb{R}^n}\frac{\Omega(y)h(|y|)}{|y|^n} f(x-\Gamma(y))\,dy,\quad x\in \mathbb{R}^d, \] and \[ T^*_{h,\Gamma}(f)(x):=\sup_{\varepsilon>0}\left|\int_{|y|>\varepsilon} \frac{\Omega(y)h(|y|)}{|y|^n} f(x-\Gamma(y))\,dy\right|,\quad x\in \mathbb{R}^d, \] where \(h\in \Delta_1(\mathbb{R}^+)\), and \(\Delta_\gamma(\mathbb{R}^+)\) with \(\gamma>0\) is the set of all measurable functions \(g\) on \(\mathbb{R}^+=(0,\infty)\) such that \[ \|g\|_{\Delta_\gamma(\mathbb{R}^+)}:=\sup_{j\in\mathbb{Z}}\left(\int_{2^j}^{2^{j+1}} |g(t)|^\gamma\,\frac{dt}t\right)^{1/\gamma} \] is finite. Assume that \(\varphi\) satisfies one of the following conditions: i) \(\varphi\) is a positive increasing \(C^1\) function on \(\mathbb{R}^+\) such that for all \(t>0\), \(t\varphi'(t)\geq C_\varphi \varphi(t)\) and \(\varphi(2t)\geq c_\varphi \varphi(t)\) with constants \(C_\varphi\) and \(c_\varphi\) independent of \(t\); ii) \(\varphi\) is a positive decreasing \(C^1\) function on \(\mathbb{R}^+\) such that for all \(t>0\), \(t\varphi'(t)\leq -C_\varphi \varphi(t)\) and \(\varphi(t)\geq c_\varphi \varphi(2t)\) with constants \(C_\varphi\) and \(c_\varphi\) independent of \(t\). The main results of this paper show that, for \(n=d\), \(\Gamma(y)=P_N(\varphi(|y|))y'\) with \(P_N(t)=\sum_{i=1}^N a_it^i\), \(\Omega\in L^q(S^{n-1})\) and \(h\in \Delta_\gamma(\mathbb{R}^+)\) for some \(q,\gamma\in(1,2]\), then \(T_{h,\Gamma}\) and \(T^*_{h,\Gamma}\) are bounded on \(L^p(\mathbb{R}^n)\) for \(p\in(1,\infty).\) Moreover, if \(\Omega\in L\log^+L(S^{n-1})\) and \(h\in \mathcal{L}_a\) with \(a>2\) or \(h\in \mathcal{N}_1\), then the previous results remain true. Here, \(\mathcal{L}_a\) is the set of all measurable functions \(h\) on \(\mathbb{R}^+\) such that \[ \sup_{k\in\mathbb{Z}}\left(\int_{2^k}^{2^{k+1}}|h(t)|(\log(|h(t)+2|))^a \frac{dt}t\right)<\infty, \] and \(\mathcal{N}_1\) is the set of all measurable functions \(h\) on \(\mathbb{R}^+\) such that \[ \sum_{m\in\mathbb{N}}2^m \sup_{k\in\mathbb{Z}}2^{-k} |E(k,m)|<\infty, \] with \(E(k,1)=\{t\in (2^k,2^{k+1}]:\;|h(t)|\leq 2\}\) and \[ E(k,m)=\{t\in (2^k,2^{k+1}]:\;2^{m-1}<|h(t)|\leq 2^m\},\quad m\geq 2. \]