We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups.
In this paper, we establish several new anisotropic Hardy-Sobolev inequalities in mixed Lebesgue spaces and mixed Lorentz spaces, which covers many known corresponding results. As an application, this type of inequalities allows us to generalize some regularity criteria of the 3D axisymmetric Navier-Stokes equations.
We establish simple pointwise characterizations of functions in the Hardy-Sobolev spaces within the range n/(n+1)<p <=1. In addition, classical Hardy inequalities are extended to the case p <= 1.
The purpose of this work is to describe an abstract theory of Hardy-Sobolev spaces on doubling Riemannian manifolds via an atomic decomposition. We study the real interpolation of these spaces with Sobolev spaces and finally give applications to Riesz inequalities.
By using, among other things, the Fourier analysis techniques on hyperbolic and symmetric spaces, we establish the Hardy-Sobolev-Maz'ya inequalities for higher order derivatives on half spaces. The proof relies on a Hardy-Littlewood-Sobolev inequality on hyperbolic spaces which is of its independent interest. We also give an alternative proof of Benguria, Frank and Loss' work concerning the sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half space. Finally, we show the sharp constant in the Hardy-Sobolev-Maz'ya inequality for bi-Laplacian in the upper half…
In this paper, we got several sharp Hardy-Littlewood-Sobolev-type inequalities on quaternionic Heisenberg groups (a general form due to Folland and Stein [FS74]), using the symmetrization-free method in a paper of Frank and Lieb [FL12], where they considered the analogues on classical Heisenberg group. First, we give the sharp Hardy-Littlewood-Sobolev inequalities, both on quaternionic Heisenberg group and its equivalent on quaternionic sphere for exponent bigger than 4. The extremizer, as we guess, is almost uniquely constant function on sphere. Then their dual form, sharp conformally-invaria…
As our main result we prove a variant of the fractional Hardy-Sobolev-Maz'ya inequality for half spaces. This result contains a complete answer to a recent open question by Musina and Nazarov. In the proof we apply a new version of the fractional Hardy-Sobolev inequality that we establish also for more general unbounded John domains than half spaces.
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 Poincaré-Sobolev, Hardy-Sobolev-Maz'ya, 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 inva…
Let $Ω$ be an open set in a metric measure space $X$. Our main result gives an equivalence between the validity of a weighted Hardy-Sobolev inequality in $Ω$ and quasiadditivity of a weighted capacity with respect to Whitney covers of $Ω$. Important ingredients in the proof include the use of a discrete convolution as a capacity test function and a Maz'ya type characterization of weighted Hardy-Sobolev inequalities.
We establish both sufficient and necessary conditions for the validity of the so-called Hardy-Sobolev inequalities on open sets of the Euclidean space. These inequalities form a natural interpolating scale between the (weighted) Sobolev inequalities and the (weighted) Hardy inequalities. The Assouad dimension of the complement of the open set turns out to play an important role in both sufficient and necessary conditions.
We prove fractional Hardy--Sobolev--Maz'ya inequality for balls and a half-space, partially answering the open problem posed by Frank and Seiringer [arXiv:0906.1561v1 [math.FA], 2009] We note that for half-spaces this inequality has been recently obtained by Sloane [arXiv:1004.4828v1 [math.FA], 2010].
Let $Γ$ be a graph. Under suitable geometric assumptions on $Γ$, we give several equivalent characterizations of Sobolev and Hardy-Sobolev spaces on $Γ$, in terms of maximal functionals, Hajł asz type functionals or atomic decompositions. As an application, we study the boundedness of Riesz transforms on Hardy spaces on $Γ$. This gives the discrete counterpart of the corresponding results on Riemannian manifolds.
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 Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities are more difficult to establish. The main purpose of this goal is to establish the Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. A crucial part of our work is to establish appropriate factorization theorems on the…
We prove embeddings of Sobolev and Hardy-Sobolev spaces into Besov spaces built upon certain mixed norms. This gives an improvment of the known embeddings into usual Besov spaces. Applying these results, we obtain Oberlin type estimates of Fourier transforms for functions in Sobolev spaces $W_1^1(\mathbb R^n).$
For $1/2<p<1$, a description of inner functions whose derivative is in the Hardy space $H^p$ is given in terms of either their mapping properties or the geometric distribution of their zeros.
We consider the Hardy-Littlewood-Sobolev inequality on mixed-norm Lebesgue spaces. We give a complete characterization of indices $\vec p$ and $\vec q$ such that the Riesz potential is bounded from $L^{\vec p}$ to $L^{\vec q}$, including all the endpoint cases. As a result, we get the mixed-norm Hardy-Littlewood-Sobolev inequality.
We study a family of fractional integral operator defined on an homogeneous space with a "rectangle doubling" measure. As a result, we give an extension of the classical Hardy-Littlewood-Sobolev theorem to a multi-parameter setting.
We present a unified strategy to derive Hardy-Poincaré inequalities on bounded and unbounded domains. The approach allows proving a general Hardy-Poincaré inequality from which the classical Poincaré and Hardy inequalities immediately follow. The idea also applies to the more general context of variable exponent Sobolev spaces. The argument, concise and constructive, does not require a priori knowledge of compactness results and retrieves geometric information on the best constants.
The main purpose of this work is to establish some logarithmic estimates of optimal type in the Hardy-Sobolev space $H^{k, \infty}; k \in {\mathbb{N}}^*$ of an annular domain. These results are considered as a continuation of a previous study in the setting of the unit disk by L. Baratchart and M. Zerner: On the recovery of functions from pointwise boundary values in a Hardy-sobolev class of the disk. J.Comput.Apll.Math 46(1993), 255-69 and by S. Chaabane and I. Feki: Logarithmic stability estimates in Hardy-Sobolev spaces $H^{k,\infty}$. C.R. Acad. Sci. Paris, Ser. I 347(2009), 1001-1006. As …
Let $X$ be a metric space equipped with a doubling measure. We consider weights $w(x)=\operatorname{dist}(x,E)^{-α}$, where $E$ is a closed set in $X$ and $α\in\mathbb R$. We establish sharp conditions, based on the Assouad (co)dimension of $E$, for the inclusion of $w$ in Muckenhoupt's $A_p$ classes of weights, $1\le p<\infty$. With the help of general $A_p$-weighted embedding results, we then prove (global) Hardy-Sobolev inequalities and also fractional versions of such inequalities in the setting of metric spaces.
We prove that maximal operators of convolution type associated to smooth kernels are bounded in the homogeneous Hardy-Sobolev spaces $\dot{H}^{1,p}(\mathbb{R}^d)$ when $1/p < 1+1/d$. This range of exponents is sharp. As a by-product of the proof, we obtain similar results for the local Hardy-Sobolev spaces $\dot{h}^{1,p}(\mathbb{R}^d)$ in the same range of exponents.
We prove a logarithmic estimate in the Hardy-Sobolev space $H^{k, 2}$, $k$ a positive integer, of the unit disk ${\mathbb D}$. This estimate extends those previously established by L. Baratchart and M. Zerner in $H^{1,2}$ and by S. Chaabane and I. Feki in $H^{k,\infty}$. We use it to derive logarithmic stability results for the inverse problem of identifying Robin's coefficients in corrosion detection by electrostatic boundary measurements and for a recovery interpolation scheme in the Hardy-Sobolev space $H^{k, 2}$ with interpolation points located on the boundary ${\mathbb T}$ of the unit di…
In this paper, we investigate the sharp Hardy-Littlewood-Sobolev inequalities on the Heisenberg group. On one hand, we apply the concentration compactness principle to prove the existence of the maximizers. While the approach here gives a different proof under the special cases discussed in a recent work of Frank and Lieb, we generalize the result to all admissible cases. On the other hand, we provide the upper bounds of sharp constants for these inequalities.
The affine synthesis operator is shown to map the mixed-norm sequence space $\ell^1(\ell^p)$ surjectively onto $L^p(\Rd), 1 \leq p < \infty$, assuming the Fourier transform of the synthesizer does not vanish at the origin and the synthesizer has some decay near infinity. Hence the standard norm on $f \in L^p(\Rd)$ is equivalent to the minimal coefficient norm of realizations of $f$ in terms of the affine system. We further show the synthesis operator maps a discrete Hardy space onto $H^1(\Rd)$, which yields a norm equivalence for Hardy space involving convolution with a discrete Riesz kernel s…