Global Poincaré Inequalities on the Heisenberg Group and Applications
Yu Xin Dong,Guo Zhen Lu,Li Jing Sun
DOI: https://doi.org/10.1007/s10114-005-0874-0
2006-01-01
Acta Mathematica Sinica English Series
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 .