A rough hypersingular integral operator with an oscillating factor

DOI10.1016/J.JMAA.2005.09.070MaRDI QIDQ2506430zbMATH OpenOpenAlexFDO

Authors Daning Chen, Hung Viet Le, Dashan Fan

Publication date 28 September 2006

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jmaa.2005.09.070

endpoint estimate Hardy space homogeneous Sobolev space Hypersingular integral operator

Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20) Maximal functions, Littlewood-Paley theory (42B25) Integral operators (47G10)

Review text

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\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: A rough hypersingular integral operator with an oscillating factor

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2506430)