No Arabic abstract
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 $alphain 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.
This paper continues the program initiated in the works by the authors [60], [61] and [62] and by the authors with Li [51] and [52] to establish higher order Poincare-Sobolev, Hardy-Sobolev-Mazya, Adams and Hardy-Adams inequalities on real hyperbolic spaces using the method of Helgason-Fourier analysis on the hyperbolic spaces. The aim of this paper is to establish such inequalities on the Siegel domains and complex hyperbolic spaces. Firstly, we prove a factorization theorem for the operators on the complex hyperbolic space which is closely related to Geller operator, as well as the CR invariant differential operators on the Heisenberg group and CR sphere. Secondly, by using, among other things, the Kunze-Stein phenomenon on a closed linear group $SU(1,n)$ and Helgason-Fourier analysis techniques on the complex hyperbolic spaces, we establish the Poincare-Sobolev, Hardy-Sobolev-Mazya inequality on the Siegel domain $mathcal{U}^{n}$ and the unit ball $mathbb{B}_{mathbb{C}}^{n}$. Finally, we establish the sharp Hardy-Adams inequalities and sharp Adams type inequalities on Sobolev spaces of any positive fractional order on the complex hyperbolic spaces. The factorization theorem we proved is of its independent interest in the Heisenberg group and CR sphere and CR invariant differential operators therein.
Using the Fourier analysis techniques on hyperbolic spaces and Greens function estimates, we confirm in this paper the conjecture given by the same authors in [43]. Namely, we prove that the sharp constant in the $frac{n-1}{2}$-th order Hardy-Sobolev-Mazya inequality in the upper half space of dimension $n$ coincides with the best $frac{n-1}{2}$-th order Sobolev constant when $n$ is odd and $ngeq9$ (See Theorem 1.6). We will also establish a lower bound of the coefficient of the Hardy term for the $k-$th order Hardy-Sobolev-Mazya inequality in upper half space in the remaining cases of dimension $n$ and $k$-th order derivatives (see Theorem 1.7). Precise expressions and optimal bounds for Greens functions of the operator $ -Delta_{mathbb{H}}-frac{(n-1)^{2}}{4}$ on the hyperbolic space $mathbb{B}^n$ and operators of the product form are given, where $frac{(n-1)^{2}}{4}$ is the spectral gap for the Laplacian $-Delta_{mathbb{H}}$ on $mathbb{B}^n$. Finally, we give the precise expression and optimal pointwise bound of Greens function of the Paneitz and GJMS operators on hyperbolic space, which are of their independent interest (see Theorem 1.10).
Though Adams and Hardy-Adams inequalities can be extended to general symmetric spaces of noncompact type fairly straightforwardly by following closely the systematic approach developed in our early works on real and complex hyperbolic spaces, higher order Poincare-Sobolev and Hardy-Sobolev-Mazya inequalities are more difficult to establish. The main purpose of this goal is to establish the Poincare-Sobolev and Hardy-Sobolev-Mazya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. A crucial part of our work is to establish appropriate factorization theorems on these spaces which are of their independent interests. To this end, we need to identify and introduce the ``Quaternionic Gellers operators and ``Octonionic Gellers operators which have been absent on these spaces. Combining the factorization theorems and the Geller type operators with the Helgason-Fourier analysis on symmetric spaces, the precise heat and Bessel-Green-Riesz kernel estimates and the Kunze-Stein phenomenon for connected real simple groups of real rank one with finite center, we succeed to establish the higher order Poincare-Sobolev and Hardy-Sobolev-Mazya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. The kernel estimates required to prove these inequalities are also sufficient for us to establish, as a byproduct, the Adams and Hardy-Adams inequalities on these spaces. This paper, together with our earlier works, completes our study of the factorization theorems, higher order Poincare-Sobolev, Hardy-Sobolev-Mazya, Adams and Hardy-Adams inequalities on all rank one symmetric spaces of noncompact type.
We provide an extension operator for weighted Sobolev spaces on bounded polyhedral cones $K$ involving a mixture of weights, which measure the distance to the vertex and the edges of the cone, respectively. Our results are based on Steins extension operator for Sobolev spaces.