T. Luque | arXiv Science

arXiv2020

The Fourier extension operator of distributions in Sobolev spaces of the sphere and the Helmholtz equation

The purpose of this paper is to characterize all the entire solutions of the homogeneous Helmholtz equation (solutions in $\mathbb{R}^d$) arising from the Fourier extension operator of distributions in Sobolev spaces of the sphere $H^\alpha(\mathbb{S}^{d-1}),$ with $\alpha\in \mathbb{R}$. We present two characterizations. The first one is written in terms of certain $L^2$-weighted norms involving real powers of the spherical Laplacian. The second one is in the spirit of the classical description of the Herglotz wave functions given by P. Hartman and C. Wilcox. For $\alpha>0$ this characterization involves a multivariable square function evaluated in a vector of entire solutions of the Helmholtz equation, while for $\alpha<0$ it is written in terms of an spherical integral operator acting as a fractional integration operator. Finally, we also characterize all the solutions that are the Fourier extension operator of distributions in the sphere.

math.CA↗

arXiv2019

Characterization of Sobolev spaces on the sphere

We prove a characterization of the Sobolev spaces $H^\alpha$ on the unit sphere $\mathbb{S}^{d-1}$, where the smoothness index $\alpha$ is any positive real number and $d\geq 2$. This characterization does not use differentiation and it is given in terms of $([\alpha/2]+1)$-multidimensional square functions $S_\alpha$. For $[\alpha/2]=0,$ a function $f\in L^2(\mathbb{S}^{d-1})$ belongs to $H^\alpha(\mathbb{S}^{d-1})$ if and only if $S_\alpha (f)\in L^2(\mathbb{S}^{d-1})$. If $n=[\alpha/2]>0$, the membership of $f$ is equivalent to the existence of $g_1,\cdots,g_n$ in $L^2(\mathbb{S}^{d-1})$ such that $S_\alpha(f,g_1,\ldots,g_n)\in L^2(\mathbb{S}^{d-1})$ and in this case, $g_j=T_j((-\Delta_S)^j f)$, where $T_j$ is a zonal Fourier multiplier in the sphere and $\Delta_S$ is the Laplace-Beltrami operator. The square functions $S_\alpha $ are based on averaging operators over euclidean balls (caps) in the sphere that may be viewed as zonal multipliers. The results in the paper are in the spirit of the characterization of fractional Sobolev spaces given in $\mathbb{R}^d$ proved in \cite{AMV}. The development of the theory is fully based on zonal Fourier multipliers and special functions.

math.CA↗