A rough hypersingular integral operator with an oscillating factor (Q2506430)

Let \(W_\alpha^p({\mathbb R}^n)\) be the homogeneous Sobolev space and let \(H^r({\mathbb S}^{n-1})\) be the Hardy space on the unit sphere \({\mathbb S}^{n-1}\). Denote by \(\langle\Omega,\phi\rangle\) the pairing between a distribution \(\Omega\) and a \(C^\infty\)-function \(\phi\) on \({\mathbb S}^{n-1}\). The authors study the hypersingular integral operator \({\mathcal J}_{\Omega,\alpha,\beta}\) defined by \({\mathcal J}_{\Omega,\alpha,\beta}(f)(x) = \lim\limits_{\epsilon\to 0} {\mathcal J}_{\Omega,\alpha,\beta,\epsilon}(f)(x)\), where \(f\) belongs to the Schwartz space, \({\mathcal J}_{\Omega,\alpha,\beta,\epsilon}(f)(x)= \Big\langle\Omega,\int_0^\infty\chi_{(\epsilon,\infty)}(t)t^{-1-\alpha}e^{-it^{-\beta}} f_{x,t}dt\Big\rangle\), and \(f_{x,t}(y/| y| )=f(x-y)\) with \(t=| y| \). The following three results are proved. Theorem 1. Let \(\Omega\in H^r({\mathbb S}^{n-1})\) with \(0<r=(n-1)/(n-1+\gamma)\), \(\alpha\geq\gamma>0\). Then \[ \| {\mathcal J}_{\Omega,\alpha,\beta}(f)\| _{L^p({\mathbb R}^n)} \leq C\| \Omega\| _{H^r({\mathbb S}^{n-1})}\{\| f\| _{L^p({\mathbb R}^n)}+\| f\| _{W_\gamma^p({\mathbb R}^n)}\} \] for \(\beta/(\beta-\alpha)<p<\beta/\alpha\), provided that \(\beta>2\alpha\). Moreover, if \(\langle\Omega,Y_m\rangle=0\) for all spherical polynomials \(Y_m\) with degrees not greater than \([\delta]\) and \(0<\delta\leq\gamma\), then \[ \| {\mathcal J}_{\Omega,\alpha,\beta}(f)\| _{L^p({\mathbb R}^n)} \leq C\| \Omega\| _{H^r({\mathbb S}^{n-1})}\{\| f\| _{W_\delta^p({\mathbb R}^n)}+ \| f\| _{W_\gamma^p({\mathbb R}^n)}\} \] for \(\beta/(\beta+\delta-\alpha)<p<\beta/(\alpha-\delta)\), provided that \(\beta>2(\alpha-\delta)\geq 0\). Theorem 2. Let \(\Omega\) be given as in Theorem 1 and \(\langle\Omega,Y_m\rangle=0\) for all spherical polynomials with degrees not greater than \([\gamma]\). If \(\beta=2(\alpha-\gamma)>0\) with \(\alpha>\gamma>0\), then \[ \| {\mathcal J}_{\Omega,\alpha,\beta}(f) \| _{L^2({\mathbb R}^n)} \leq C\| \Omega\| _{H^r({\mathbb S}^{n-1})}\| f\| _{W_\gamma^2({\mathbb R}^n)}. \] Theorem 3. Let \(\Omega\in L^1({\mathbf S}^{n-1})\). If \(\beta=2\alpha>0\), then \(\| {\mathcal J}_{\Omega,\alpha,\beta}(f) \| _{L^2({\mathbb R}^n)}\leq C\| f\| _{L^2({\mathbb R}^n)}\). If \(\beta>2\alpha>0\), then \(\| {\mathcal J}_{\Omega,\alpha,\beta}(f) \| _{L^p({\mathbb R}^n)}\leq C\| f\| _{L^p({\mathbb R}^n)}\) for \(\beta/(\beta-\alpha)<p<\beta/\alpha\).