Abstract:For Grushin vector fields, we prove Hardy, Hardy-Rellich, and Rellich identities and inequalities with sharp constants. Our explicit remainder terms significantly improve those found in the literature. Our arguments build on abstract Hardy-Rellich identities involving the Bessel pair along with the use of spherical harmonics developed by Garofalo-Shen [Ann. Inst. Fourier (1994)]. Furthermore, in the spirit of Bez-Machihara-Ozawa [Math. Z (2023)], we construct spherical vector fields that correspond to the Grushin vector fields and prove identities that, in turn, establish optimal Rellich identities by comparing the Grushin operator with its radial and spherical components. We give alternate proofs of Hardy identities and inequalities with enhanced Hardy constants in some subspaces of the Sobolev space, among other things. Additionally, we compute the deficit involving $L^2$-norm of the Laplacian and radial components of the Laplacian for the Grushin operator with an explicit remainder term, which leads to a comparison of Laplacian with the radial components of the Laplacian. As a consequence of the main results, new second-order Heisenberg-Pauli-Weyl uncertainty principles and Hydrogen uncertainty principles are also derived. Furthermore, we also derive certain symmetrization principles on the Grushin space.

Solenoidal improvement of Rellich-Hardy inequalities with power weights

Sharp Hardy-Leray inequality for solenoidal fields

Improved Hardy and Rellich Inequalities on Nonreversible Finsler Manifolds

Weighted Hardy-Rellich type inequalities: improved best constants and symmetry breaking

Optimal Power-Weighted Birman--Hardy--Rellich-type Inequalities on Finite Intervals and Annuli

A new approach to weighted Hardy-Rellich inequalities: improvements, symmetrization principle and symmetry breaking

Two-weight inequality for the heat flow and solvability of Hardy-Hénon parabolic equation

Hardy and Rellich identities and inequalities for Grushin operators via spherical vector fields and Bessel pairs

Weighted Poincaré inequality and Hardy improvements related to some degenerate elliptic differential operators

Higher order Hardy-Rellich identities

On improvements of the Hardy, Copson and Rellich inequalities

Weighted Rellich and Hardy inequalities in L p(·) spaces

One-Dimensional Discrete Hardy and Rellich Inequalities on Integers

Functional inequalities on symmetric spaces of noncompact type and applications

Sobolev interpolation inequalities with optimal Hardy-Rellich inequalities and critical exponents

Weighted inequalities for weak Riesz-Fischer functionals

Optimal discrete Hardy-Rellich-Birman inequalities

Control of pseudodifferential operators by maximal functions via weighted inequalities

Weighted Trudinger-Moser inequalities in the subcritical Sobolev spaces and their applications