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.

A priori estimates and moving plane method for a class of Grushin equation

On local dispersive and Strichartz estimates for the Grushin operator

Moving planes, moving spheres, and a priori estimates

The kernel space of linear operator on a class of Grushin equation

On the classification of solutions to an elliptic equation involving the Grushin operator

Carleman estimates for higher step Grushin operators

Non-degeneracy and new type of cylindrial solutions for a critical Grushin-type problem

A priori estimates and Liouville-type theorems for the semilinear parabolic equations involving the nonlinear gradient source

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

Critical Points and Level Sets of Grushin-Harmonic Functions in the Plane

On solutions to a class of degenerate equations with the Grushin operator

Pohozaev identities and Kelvin transformation of semilinear Grushin equation

A priori regularity estimates for equations degenerating on nodal sets

New type of solutions for a critical Grushin-type problem with competing potentials

On estimates for fully nonlinear parabolic equations on Riemannian manifolds

A Priori Estimates for Prescribing Scalar Curvature Equations

Strichartz estimates for the Schrödinger equation on compact manifolds with nonpositive sectional curvature

A priori estimates and existence of solutions to a system of nonlinear elliptic equations

Interior a priori estimates for supersolutions of fully nonlinear subelliptic equations under geometric conditions

Strichartz Estimates for a Class of Baouendi-Grushin Operators

A priori estimates for anti-symmetric solutions to a fractional Laplacian equation in a bounded domain