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 .

Fonctions maximales centrées de Hardy–Littlewood sur les groupes de Heisenberg

Centered Hardy–Littlewood Maximal Functions on H-type Groups Revisited

Fonction Maximale Centrée De Hardy–Littlewood Sur Les Espaces Hyperboliques

Les Fonctions Maximales De Hardy–Littlewood Pour Des Mesures Sur Les Variétés Cuspidales

La fonction maximale non centrée sur les variétés de type cuspidale

La fonction maximale de Hardy–Littlewood sur une classe d'espaces métriques mesurablesThe Hardy–Littlewood maximal function on some metric measure spaces

La fonction maximale de Hardy–Littlewood sur une classe d'espaces métriques mesurables

Restricted testing for the Hardy-Littlewood maximal function

Hardy–Littlewood maximal function on Locally compact Abelian groups

The Weak Type (1, 1) Estimates of Maximal Functions on the Laguerre Hypergroup

Hardy-Littlewood Maximal Functions for Measure of Cupidal Varieties

A noncommutative maximal inequality for Fejér means on totally disconnected non-abelian groups

Maximal function characterization of Hardy spaces related to Laguerre polynomial expansions

Spherical maximal functions and Hardy spaces for Fourier integral operators

On maximal functions generated by Hörmander-type spectral multipliers

Existence of the Maximizing Pair for the Discrete Hardy-Littlewood-Sobolev Inequality

Estimations optimales du noyau de la chaleur sur les groupes de type Heisenberg

Global Poincaré Inequalities on the Heisenberg Group and Applications

Extensions of Hardy inequality

Generalized Schrödinger operators on the Heisenberg group and Hardy spaces

Boundedness of the multilinear integral operators on Heisenberg group