Abstract:Let f be in the localized nonisotropic Sobolev space W^1,p_loc( ℍ^n) on the n -dimensional Heisenberg group ℍ n = ℂ n × ℝ, where 1 = p < Q and Q = 2 n + 2 is the homogeneous dimension of ℍ n . Suppose that the subelliptic gradient is gloablly L p integrable, i.e., ∫_ℍ^n| ∇ _ℍ^n f|^p du is finite. We prove a Poincaré inequality for f on the entire space ℍ n . Using this inequality we prove that the function f subtracting a certain constant is in the nonisotropic Sobolev space formed by the completion of C^∞_0( ℍ^n) under the norm of ( ∫_ℍ^n| f |^Qp/Q - p)^Q - p/Qp + ( ∫_ℍ^n| ∇ _ℍ^n f|^p)^1/p . We will also prove that the best constants and extremals for such Poincaré inequalities on ℍ n are the same as those for Sobolev inequalities on ℍ n . Using the results of Jerison and Lee on the sharp constant and extremals for L 2 to L2Q/Q - 2 Sobolev inequality on the Heisenberg group, we thus arrive at the explicit best constant for the aforementioned Poincaré inequality on ℍ n when p = 2. We also derive the lower bound of the best constants for local Poincaré inequalities over metric balls on the Heisenberg group ℍ n .

Poincaré Inequalities in Weighted Sobolev Spaces

The Lp-Brunn-Minkowski Inequality for P < 1

Global Poincaré Inequalities on the Heisenberg Group and Applications

Weighted 1-dimensional Orlicz-Poincaré inequalities

A Poincaré Inequality on Loop Spaces

Weighted Sobolev Type Inequalities in a Smooth Metric Measure Space

Pólya–Szegö type inequality and imbedding theorems for weighted Sobolev spaces

Weighted Orlicz-Poincaré inequalities in product spaces

New Weighted Poincaré-Type Inequalities for Differential Forms

Weighted fractional Poincaré inequalities via isoperimetric inequalities

Willmore-type inequalities for closed hypersurfaces in weighted manifolds

A Concrete Estimate for the Weak Poincaré Inequality on Loop Space

Entropy numbers of weighted Sobolev classes on the unit sphere

Weighted norm inequalities of various square functions and Volterra integral operators on the unit ball

A Class of Weighted Isoperimetric Inequalities in Hyperbolic Space

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

Poincar\'e Inequality on Minimal Graphs over Manifolds and Applications

Muckenhoupt Weights Meet Brezis--Seeger--Van Schaftingen--Yung Formulae in Ball Banach Function Spaces

On Weighted $L^{p}$-Sobolev Estimates for Solutions of the $\overline{\partial}$-equation on Lineally Convex Domains of Finite Type and Application