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{é} and Sobolev inequalities for differential forms in Heisenberg groups

Sobolev-Gaffney type inequalities for differential forms on sub-Riemannian contact manifolds with bounded geometry

Global Poincaré Inequalities on the Heisenberg Group and Applications

A Poincaré formula for differential forms and applications

Continuous primitives for higher degree differential forms in Euclidean spaces, Heisenberg groups and applications

Poincaré inequality for one forms on four manifolds with bounded Ricci curvature

Comparing three possible hypoelliptic Laplacians on the 5-dimensional Cartan group via div-curl type estimates

Some new Liouville-type results for fully nonlinear PDEs on the Heisenberg group

Logarithmic Sobolev, Hardy and Poincaré inequalities on the Heisenberg group

Poincaré's lemma for formal manifolds

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

Remarks about the mean value property and some weighted Poincaré-type inequalities

New Weighted Poincaré-Type Inequalities for Differential Forms

Submanifolds with boundary and Stokes' Theorem in Heisenberg groups

Submanifolds and differential forms on Carnot manifolds, after M. Gromov and M. Rumin

Insight in the Rumin Cohomology and Orientability Properties of the Heisenberg Group

Curvature, Hodge-Dirac operators and Riesz transforms

Two-weight Poincaré Inequalities for the Projection Operator and $A$-Harmonic Tensors on Riemannian Manifolds

Almost global existence for some Hamiltonian PDEs on manifolds with globally integrable geodesic flow

On Rumin's Complex and Adiabatic Limits

Poincaré Duality for Supermanifolds, Higher Cartan Structures and Geometric Supergravity