On the smoothness of the symbol of multidimensional singular integral operators (Q1123337): Difference between revisions

Let f(x) be a homogeneous function of order 0 in \({\mathbb{R}}^ n\) (n\(\geq 2)\) with zero mean value on the unit sphere \(S^{n-1}\). Then its symbol is given by \[ \Phi (\theta)=-\int_{S^{n-1}}\{\log | (\theta,\xi)| +\frac{i\pi}{2} sign(\theta,\xi)\}f(\xi)d\sigma (\xi), \] where (\(\theta\),\(\xi)\) is the inner product and \(d\sigma\) is the area element. Let \(W^{\ell}L_ p(S^{n-1})\) (\(\ell \geq 0\), \(1\leq p\leq \infty)\) be the space of Bessel potentials on \(S^{n-1}\) with norm \(\| g\|_{W^{\ell}L_ p(S^{n-1})}=\| (E+\delta)^{1/2}g\|_{L^ p(S^{n-1})},\) where E is the identity operator and \(\delta\) is the Laplace-Beltrami operator on \(S^{n-1}\), i.e., the spherical part of the Laplace operator on \({\mathbb{R}}^ n\). The main purpose of this paper is to show the following two implications: For any \(\epsilon >0\), \[ (1)\quad f\in L_{\infty}(S^{n-1})\Rightarrow \Phi \in W^{1-\epsilon}L_{\infty}(S^{n-1}),\quad (2)\quad \Phi \in W^{n-1+\epsilon}L_{\infty}(S^{n-1})\Rightarrow f\in L_{\infty}(S^{n-1}). \] It is also shown that (1) and (2) do not, in general, hold for \(\epsilon =0\). To deduce these implication, the author studies, in detail, the spaces of Bessel potentials satisfying some Lipschitz conditions.