Sharp remainder terms and stability of weighted Hardy-Poincar\'e and Heisenberg-Pauli-Weyl inequalities related to the Baouendi-Grushin operator

TL;DR

This paper establishes sharp remainder terms for weighted Hardy-Poincaré and Heisenberg-Pauli-Weyl inequalities within the Baouendi-Grushin framework, improving existing results and providing explicit constants and stability analysis.

Contribution

It introduces new sharp remainder terms for inequalities in Baouendi-Grushin and Euclidean settings, unifies previous results, and extends stability and non-existence results for PDEs.

Findings

Sharp remainder terms for Hardy-Poincaré inequalities with non-radial weights

A sharp remainder formula for the $L^{p}$-Poincaré inequality

Sharp remainder term for the Heisenberg-Pauli-Weyl inequality in $L^{p}$

Abstract

In this paper, we obtain sharp remainder terms for the Hardy-Poincar\'e inequalities with general non-radial weights in the setting of Baouendi-Grushin vector fields (see Theorem 2.5). It is worth emphasizing that all of our results are new both in the Baouendi-Grushin and standard Euclidean settings. The method employed allows us to not only unify, but also improve the results of Kombe and Yener [KY18] for any $1<p<\infty$ while holding true for complex-valued functions and providing explicit constants (Corollary 2.7). As a result, we are able to obtain sharp remainder terms to many known weighted Hardy-type inequalities (see Section 3.1). Aside from weighted Hardy-type inequalities, we also recover a sharp remainder formula for the $L^{p}$-Poincar\'e inequality (Corollary 3.5). In the special case of radial weights, we are naturally able to introduce the notion of Baouendi-Grushin $p$-Bessel pairs (see Definition 2.9). Furthermore, we apply the technique to establish the sharp remainder term of the Heisenberg-Pauli-Weyl inequality in $L^{p}$ for $1<p<\infty$ (Corollary 3.13), which includes the sharp constant. This makes it possible to obtain the $L^{p}$-analogue for $2\leq p < n$ (Theorem 3.17) of a stability result by Cazacu, Flynn, Lam and Lu [CFLL24]. Lastly, as another application, the non-existence of positive solutions to nonlinear parabolic partial differential equations is investigated (Theorem 3.22).