We prove a family of Hardy-Rellich and Poincaré identities and inequalities on the hyperbolic space having, as particular cases, improved Hardy-Rellich, Rellich and second order Poincaré inequalities. All remainder terms provided considerably improve those already known in literature, and all identities hold with same constants for radial operators also. Furthermore, as applications of the main results, second order versions of the uncertainty principle on the hyperbolic space are derived.
We study Hardy-type inequalities associated to the quadratic form of the shifted Laplacian $-Δ_{\mathbb H^N}-(N-1)^2/4$ on the hyperbolic space ${\mathbb H}^N$, $(N-1)^2/4$ being, as it is well-known, the bottom of the $L^2$-spectrum of $-Δ_{\mathbb H^N}$. We find the optimal constant in the resulting Poincaré-Hardy inequality, which includes a further remainder term which makes it sharp also locally. A related inequality under suitable curvature assumption on more general manifolds is also shown. Similarly, we prove Rellich-type inequalities associated with the shifted Laplacian, in which at …
In this paper we obtain logarithmic Hardy and Rellich inequalities on general Lie groups. In the case of graded groups, we also show their refinements using the homogeneous Sobolev norms. In fact, we derive a family of weighted logarithmic Hardy-Rellich inequalities, for which logarithmic Hardy and Rellich inequalities are special cases. As a consequence of these inequalities, we also derive a Gross type logarithmic Hardy inequality on general stratified groups. An interesting feature of such estimate is that we consider the measure which is Gaussian only on the first stratum of the group. Suc…
In this paper, we present a version of horizontal weighted Hardy-Rellich type and Caffarelli-Kohn-Nirenberg type inequalities on stratified groups and study some of their consequences. Our results reflect on many results previously known in special cases. Moreover, a new simple proof of the Badiale-Tarantello conjecture [2] on the best constant of a Hardy type inequality is provided. We also show a family of Poincaré inequalities as well as inequalities involving the weighted and unweighted $p$-sub-Laplacians.
Hardy and Rellich identities and inequalities for Baouendi-Grushin operators via spherical vector fields
Indian Statistical Institute（印度统计研究所）；Indian Institute of Science Education and Research Mohali（印度科学教育与研究学院莫哈利分校）；Indian Institute of Technology Hyderabad（印度理工学院海得拉巴分校）
We establish several Poincaré--Sobolev type inequalities for the Lapalce--Beltrami operator $Δ_g$ in the hyperbolic space $\mathbb H^n$ with $n\geq 5$. These inequalities could be seen as the improved second order Poincaré inequality with remainder terms involving with the sharp Rellich inequality or sharp Sobolev inequality in $\mathbb H^n$. The novelty of these inequalities is that it combines both the sharp Poincaré inequality and the sharp Rellich inequality or the sharp Sobolev inequality for $Δ_g$ in $\mathbb H^n$. As a consequence, we obtain the Poincaré--Sobolev inequality for the seco…
We prove an improved version of Poincaré-Hardy inequality in suitable subspaces of the Sobolev space on the hyperbolic space via Bessel pairs. As a consequence, we obtain a new Hardy type inequality with an improved constant (than the usual Hardy constant). Furthermore, we derive a new kind of improved Caffarelli-Kohn-Nirenberg inequality on the hyperbolic space.
This paper is devoted to investigate an interpolation inequality between the Brezis-Vázquez and Poincaré inequalities (shortly, BPV inequality) on nonnegatively curved spaces. As a model case, we first prove that the BPV inequality holds on any Minkowski space, by fully characterizing the existence and shape of its extremals. We then prove that if a complete Finsler manifold with nonnegative Ricci curvature supports the BPV inequality, then its flag curvature is identically zero. In particular, we deduce that a Berwald space of nonnegative Ricci curvature supports the BPV inequality if and onl…
The classical Hardy inequality holds in Sobolev spaces $W_0^{1,p}$ when $1\le p< N$. In the limiting case where $p=N$, it is known that by adding a logarithmic function to the Hardy potential, some inequality which is called the critical Hardy inequality holds in $W_0^{1,N}$. In this note, in order to give an explanation of appearance of the logarithmic function at the potential, we derive the logarithmic function from the classical Hardy inequality with the best constant via some limiting procedure as $p \nearrow N$. And we show that our limiting procedure is also available for the classical …
We prove \emph{optimal} improvements of the Hardy inequality on the hyperbolic space. Here, optimal means that the resulting operator is critical in the sense of [J.Funct.Anal. 266 (2014), pp. 4422-89], namely the associated inequality cannot be further improved. Such inequalities arise from more general, \emph{optimal} ones valid for the operator $ P_λ:= -Δ_{\mathbb{H}^N} - λ$ where $0 \leq λ\leq λ_{1}(\mathbb{H}^N)$ and $λ_{1}(\mathbb{H}^N)$ is the bottom of the $L^2$ spectrum of $-Δ_{\mathbb{H}^N} $, a problem that had been studied in [J.Funct.Anal. 272 (2017), pp. 1661-1703 ] only for the …
We study the Hardy identities and inequalities on Cartan-Hadamard manifolds using the notion of a Bessel pair. These Hardy identities offer significantly more information on the existence/nonexistence of the extremal functions of the Hardy inequalities. These Hardy inequalities are in the spirit of Brezis-Vázquez in the Euclidean spaces. As direct consequences, we establish several Hardy type inequalities that provide substantial improvements as well as simple understandings to many known Hardy inequalities and Hardy-Poincaré-Sobolev type inequalities on hyperbolic spaces in the literature.
In this paper we derive a variety of functional inequalities for general homogeneous invariant hypoelliptic differential operators on nilpotent Lie groups. The obtained inequalities include Hardy, Rellich, Hardy-Littllewood-Sobolev, Galiardo-Nirenberg, Caffarelli-Kohn-Nirenberg and Trudinger-Moser inequalities. Some of these estimates have been known in the case of the sub-Laplacians, however, for more general hypoelliptic operators almost all of them appear to be new as no approaches for obtaining such estimates have been available. Moreover, we obtain several versions of local and global wei…
Sharp $L^2$-stability and gradient stability hierarchies of the $L^2$-Poincaré inequalities on Euclidean balls and Gaussian Poincaré inequality
School of Science and the Environment, Grenfell Campus, Memorial University of Newfoundland（纽芬兰纪念大学格伦菲尔夫学院科学与环境学院）；Department of Mathematics, University of Connecticut（康涅狄格大学数学系）
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…
