In the present paper we shall establish n-dimensional Hardy's inequalities with non-doubling weight functions of the distance to the boundary, where the boundary is a $C^2$ class bounded domain of $R^N$. This work is essentially based on one dimensional weighted Hardy's inequalities with one-sided boundary condition and sharp remainders. As weights we admit rather general ones that may vanish or blow up in infinite order such as $e^{-1/t}$ or $e^{1/t}$ at $t=0$ in one dimensional case.
We study the Hardy type inequalities in the framework of equalities. We present equalities which immediately imply Hardy type inequalities by dropping the remainder term. Simultaneously we give a characterization of the class of functions which makes the remainder term vanish. A point of our observation is to apply an orthogonality properties in general Hilbert space, and which gives a simple and direct understanding of the Hardy type inequalities as well as the nonexistence of nontrivial extremizers.
In this paper we establish several Hardy and Hardy-Sobolev type inequalities with homogeneous weights on the first orthant $\displaystyle \mathbb{R}_{*}^n:=\{(x_1, \ldots, x_n):x_1>0, \ldots, x_n>0 \}$. We then use some of them to produce Hardy type inequalities with remainder terms. Furthermore, we obtain some interpolation inequalities and Maz'ya type inequalities with remainder terms with the help of Maz'ya inequality and Sobolev inequality of Cabré and Ros-Orton on the upper half space $\mathbb{R}_{+}^n:=\{x=(x_1, \ldots, x_n)|\, x_n>0 \}$.
We give sharp remainder terms of $L^{p}$ and weighted Hardy and Rellich inequalities on one of most general subclasses of nilpotent Lie groups, namely the class of homogeneous groups. As consequences, we obtain analogues of the generalised classical Hardy and Rellich inequalities and the uncertainty principle on homogeneous groups. We also prove higher order inequalities of Hardy-Rellich type, all with sharp constants. A number of identities are derived including weighted and higher order types.
In his seminal 1934 paper on Brownian motion and the theory of gases Kolmogorov introduced a second order evolution equation which displays some challenging features. In the opening of his 1967 hypoellipticity paper Hörmander discussed a general class of degenerate Ornstein-Uhlenbeck operators that includes Kolmogorov's as a special case. In this note we combine semigroup theory with a nonlocal calculus for these hypoelliptic operators to establish new inequalities of Hardy-Littlewood-Sobolev type in the situation when the drift matrix has nonnegative trace. Our work has been influenced by ide…
Firstly, this paper establishes useful forms of the remainder term of Hardy-type inequalities on general domains where the weights are functions of the distance to the boundary. For weakly mean convex domains we use the resulting identities to establish nonexistence of extremizers for and improve known sharp Hardy inequalities. Secondly, we establish geometrically interesting remainders for the Davies-Hardy-Tidblom inequalities for the mean distance function, as well as generalize and improve several Hardy type inequalities in the spirit of Brezis and Marcus and spectral estimates of Davies. L…
We consider the series expansion of the $L^p$-Hardy inequality of \cite{BFT2}, in the particular case where the distance is taken from an interior point of a bounded domain in $\mathbb{R}^n$ and $1<p\neq n$. For $p<n$ we improve it by adding as a remainder term an optimally weighted critical Sobolev norm, generalizing the $p=2$ result of \cite{FT} and settling the open question raised in \cite{BFT1}. For $p>n$ we improve it by adding as a remainder term the optimally weighted Hölder seminorm, extending the Hardy-Morrey inequality of \cite{Ps} to the series case.
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.
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（印度理工学院海得拉巴分校）
In the present paper we shall improve one dimensional weighted Hardy inequalities with one-sided boundary condition by adding sharp remainders. As an application, we shall establish n dimensional weighted Hardy inequalities in a bounded smooth domain with weight functions being powers of the distance function d(x) to the boundary. Our results will be applicable to variational problems in a coming paper.
We prove fractional Sobolev-Poincaré inequalities, capacitary versions of fractional Poincaré inequalities, and pointwise and localized fractional Hardy inequalities in a metric space equipped with a doubling measure. Our results generalize and extend earlier work where such inequalities have been considered in the Euclidean spaces or in the non-fractional setting in metric spaces. The results concerning pointwise and localized variants of fractional Hardy inequalities are new even in the Euclidean case.
We establish sharp remainder terms of the $L^{2}$-Caffarelli-Kohn-Niren\-berg inequalities on homogeneous groups, yielding the inequalities with best constants. Our methods also give new sharp Caffarelli-Kohn-Nirenberg type inequalities in $\mathbb{R}^{n}$ with arbitrary quasi-norms. We also present explicit examples to illustrate our results for different weights and in abelian cases.
We consider a class of non-doubling manifolds $\mathcal{M}$ defined by taking connected sum of finite Riemannian manifolds with dimension N which has the form $\mathbb{R}^{n_i}\times \mathcal{M}_i$ and the Euclidean dimension $n_i$ are not necessarily all the same. In arXiv:1805.00132v3 [math.AP], Hassell and Sikora proved that the Riesz transform on $\mathcal{M}$ is weak type $(1,1)$, bounded on $L^{p}(\mathcal{M})$ for all $1<p<n^*$ where $n^* = \min_k n_k$ and is unbounded for $p \ge n^*$. In this note we show that the Riesz transform is bounded from Lorentz space $L^{n^* ,1}(\mathcal{M})$ …
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 …
Hardy Spaces Associated with Non-Negative Self-Adjoint Operators and Ball Quasi-Banach Function Spaces on Doubling Metric Measure Spaces and Their Applications
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.
In this paper we prove higher order Poincaré inequalities involving radial derivatives namely, \begin{equation*} \int_{\mathbb{H}^{N}} |\nabla_{r,\mathbb{H}^{N}}^{k} u|^2 \, {\rm d}v_{\mathbb{H}^{N}} \geq \bigg(\frac{N-1}{2}\bigg)^{2(k-l)} \int_{\mathbb{H}^{N}} |\nabla_{r,\mathbb{H}^{N}}^{l} u|^2 \, {\rm d}v_{\mathbb{H}^{N}} \ \ \text{ for all } u\in H^k(\mathbb{H}^{N}), \end{equation*} where underlying space is $N$-dimensional hyperbolic space $\mathbb{H}^{N}$, $0\leq l<k$ are integers and the constant $\big(\frac{N-1}{2}\big)^{2(k-l)}$ is sharp. Furthermore we improve the above inequalities …
Extremizer Stability of Higher-order Hardy-Rellich inequalities for Baouendi--Grushin vector fields
Indian Statistical Institute, Delhi Center（印度统计学院德里中心）；National Taiwan Normal University（台湾师范大学）；Indian Institute of Technology Hyderabad（印度理工学院海得拉巴分校）
The principal aim of this note is to illustrate how factorizations of singular, even-order partial differential operators yield an elementary approach to classical inequalities of Hardy-Rellich-type. More precisly, introducing the two-parameter $n$-dimensional homogeneous scalar differential expressions $T_{α,β} := - Δ+ α|x|^{-2} x \cdot \nabla + β|x|^{-2}$, $α, β\in \mathbb{R}$, $x \in \mathbb{R}^n \backslash \{0\}$, $n \in \mathbb{N}$, $n \geq 2$, and its formal adjoint, denoted by $T_{α,β}^+$, we show that nonnegativity of $T_{α,β}^+ T_{α,β}$ on $C_0^{\infty}(\mathbb{R}^n \backslash \{0\})$…
We set up a one-parameter family of inequalities that contains both the Hardy inequalities (when the parameter is 1) and the Caffarelli-Kohn-Nirenberg inequalities (when the parameter is optimal). Moreover, we study these results with the exact remainders to provide direct understandings to the sharp constants, as well as the existence and non-existence of the optimizers of the Hardy inequalities and Caffarelli-Kohn-Nirenberg inequalities. As an application of our identities, we establish some sharp versions with optimal constants and theirs attainability of the stability of the Heisenberg Unc…
In this note we continue giving the characterisation of weights for two-weight Hardy inequalities to hold on general metric measure spaces possessing polar decompositions. Since there may be no differentiable structure on such spaces, the inequalities are given in the integral form in the spirit of Hardy's original inequality. This is a continuation of our paper [M. Ruzhansky and D. Verma. Hardy inequalities on metric measure spaces, Proc. R. Soc. A., 475(2223):20180310, 2018] where we treated the case $p\leq q$. Here the remaining range $p>q$ is considered, namely, $0<q<p$, $1<p<\infty.$ We g…
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…
We consider a class of non-doubling manifolds $\mathcal{M}$ that are the connected sum of a finite number of $N$-dimensional manifolds of the form $\mathbb{R}^{n_{i}} \times \mathcal{M}_{i}$. Following on from the work of Hassell and the second author \cite{hs2019}, a particular decomposition of the resolvent operators $(Δ+ k^{2})^{-M}$, for $M \in \mathbb{N}^{*}$, will be used to demonstrate that the vertical square function operator $$ Sf(x) := \left( \int^{\infty}_{0} \left|t \nabla (I + t^{2} Δ)^{-M}f(x)\right|{2} \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for …
Let $\mathcal{X}$ be a metric space with doubling measure and $L$ a non-negative self-adjoint operator on $L^2(\mathcal{X})$ whose heat kernels satisfy the Gaussian upper bound estimates. Assume that the growth function $φ:\ \mathcal{X}\times[0,\infty) \to[0,\infty)$ satisfies that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)\in {\mathbb A}_{\infty}(\mathcal{X})$ (the class of uniformly Muckenhoupt weights). Let $H_{φ,\,L}(\mathcal{X})$ be the Musielak-Orlicz-Hardy space defined via the Lusin area function associated with the heat semigroup of $L$. In this article, the authors characteri…
In this paper we establish the characterization of the weighted BMO via two weight commutators in the settings of the Neumann Laplacian $Δ_{N_+}$ on the upper half space $\mathbb{R}^n_+$ and the reflection Neumann Laplacian $Δ_N$ on $\mathbb{R}^n$ with respect to the weights associated to $Δ_{N_+}$ and $Δ_{N}$ respectively. This in turn yields a weak factorization for the corresponding weighted Hardy spaces, where in particular, the weighted class associated to $Δ_{N}$ is strictly larger than the Muckenhoupt weighted class and contains non-doubling weights. In our study, we also make contribut…
