# zbMATH — the first resource for mathematics

Global Poincaré inequalities on the Heisenberg group and applications. (English) Zbl 1131.46024
Let $${\mathbb H}^n={\mathbb C}^n\times{\mathbb R}$$ be the Heisenberg group, whose structure is given by $(z,t)\cdot (z',t')=(z+z', t+t'+2\operatorname {Im}(z{\bar z}')),$ for any two points $$(z,t), (z',t')\in {\mathbb H}^n$$, $$Q=2n+2$$ is the homogeneous dimension of $${\mathbb H}^n$$. The main result of the paper is the following Theorem: Let $$1\leq p< Q$$, $$\frac1{p^*}=\frac1p-\frac1Q$$. Suppose that $$f\in L^p_{\text{loc}}({\mathbb H}^n)$$ and $$| \nabla_{{\mathbb H}^n}f| \in L^p({\mathbb H}^n)$$, where $$\nabla_{{\mathbb H}^n}f$$ is the subelliptic gradient of $$f$$. Then there is a unique finite constant $$f_\infty$$ such that the following Poincaré inequality holds: $\| f-f_\infty\| _{p^*}\leq C(p, Q)\,\| \nabla_{{\mathbb H}^n}f\| _p,$ where $$C(p, Q)$$ is a constant independent of $$f$$. The authors also prove that the best constants and extremals for such Poincaré inequalities on $${\mathbb H}^n$$ are the same as those for Sobolev inequalities on $${\mathbb H}^n$$.

##### MSC:
 4.6e+36 Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems 2.2e+26 Nilpotent and solvable Lie groups
Full Text:
##### References:
 [1] Lu, G.: Weighted Poincaré and Sobolev inequalities for vector fields satisfying Hörmander’s condition and applications. Revista Mat. Iberoamericana, 8, 367–439 (1992) · Zbl 0804.35015 [2] Lu, G.: The sharp Poincaré inequality for free vector fields: an endpoint result. Revista Mat. Iberoamericana, 10(3), 453–466 (1994) · Zbl 0860.35006 [3] Franchi, B., Lu, G., Wheeden, R. L.: Representation formulas and weighted Poincaré inequalities for Hörmander vector fields. Ann. Inst. Fourier (Grenoble), 45, 577–604 (1995) · Zbl 0820.46026 [4] Maheux, P., L. Saloff–Coste, L.: Analyse sur les boules d’un opratteur sous-elliptique (French) [Analysis on the balls of a subelliptic operator]. Math. Ann., 303(4), 713–740 (1995) · Zbl 0836.35106 · doi:10.1007/BF01461013 [5] Sedov, V. N.: On functions tending to a polynomial at infinity, in Imbedding Theorems and Their Applications. Proc. Sympos. Imbedding Theorems, Baku, (1966), Nauka, Moscow, 204–212 (1970), (in Russian) [6] Hajlasz, P., Kalamajska, A.: Polynomial asymptotics and approximation of Sobolev functions. Studia Mathematica, 113(1), 55–64 (1995) [7] Lu, G., Ou, B.: A Poincaré inequality on an entire space and its application to potential fluid flows in space. Comm. Nonlinear Appl Anal., 12(1), 1–24 (2005) · Zbl 1060.26017 · doi:10.1016/j.cnsns.2006.01.002 [8] Cohn, W., Lu, G.: Best constants for Moser-Trudinger inequalities on the Heisenberg group. Indiana University Mathematics Journal, 50(4), 1567–1591 (2001) · Zbl 1019.43009 · doi:10.1512/iumj.2001.50.2138 [9] Cohn, W., Lu, G.: Best constants for Moser-Trudinger inequalities, Fundamental solutions and oneparameter representation formulas on groups of Heisenberg type. Acta Mathematica Sinica, English Series, 18(2), 375–390 (2002) · Zbl 1011.22004 · doi:10.1007/s101140200159 [10] Lu, G., Ou, B.: Poincaré inequalities on unbounded domains on stratified nilpotent Lie groups, to appear [11] Jerison, D., Lee, J. M.: The Yamabe problem on CR manifolds. J. Diff. Geom., 25, 167–197 (1987) · Zbl 0661.32026 [12] Jerison, D., Lee, J. M.: Intrinsic CR coordinates and the CR Yamabe problem. J. Diff. Geom., 29, 303–343 (1989) · Zbl 0671.32016 [13] Jerison, D., Lee, J. M.: Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem. J. Amer. Math. Soc., 1, 1–13 (1988) · Zbl 0634.32016 · doi:10.1090/S0894-0347-1988-0924699-9 [14] Evans, L. C., Gariepy, R. F.: Measure Theory and Fine Properties of Functions, CRC Press, Ann Arbor, 1992 · Zbl 0804.28001 [15] Maz’ya, V. G.: Sobolev spaces, Springer-Verlag, 1985 [16] Ziemer, W.: Weakly differentiable functions, Springer-Verlag, 1989 · Zbl 0692.46022 [17] Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl., 110, 353–372 (1976) · Zbl 0353.46018 · doi:10.1007/BF02418013 [18] Aubin, T.: Best constants in the Sobolev imbedding theorem: the Yamabe problem, in Seminar on Differential Geometry, S. T. Yau, ed., Princeton University, Princeton, 173–184, 1982 · Zbl 0483.53041 [19] Federer, H., Fleming, W.: Normal and integral currents. Annals of Math., 72, 458–520 (1960) · Zbl 0187.31301 · doi:10.2307/1970227 [20] Fleming, W., Rishel, R.: An integral formula for total gradient variation. Arch. Math., 11, 218–222 (1960) · Zbl 0094.26301 · doi:10.1007/BF01236935 [21] Sobolev, S. L.: The density of C 0 functions in the L (m) p space. Dokl. Akad. Nauk SSSR, 149, 40–43 (1963), (in Russian); English translation: Soviet Math. Dokl., 4, 313–316 (1963) [22] Sobolev, S. L.: The density of C 0 functions in the L (m) p space. Sibirsk. Mat. Zh., 4, 673–682 (1963) (in Russian) · Zbl 0204.43802 [23] Besov, O. V., Il’in V. P., Nikol’skii, S. M.: Integral representations of functions and imbedding theorems, Nauka, Moscow, 1975 (in Russian) [24] Lu, G., Wheeden, R.: Poincaré inequalities, isoperimetric estimates and representation formulas on product spaces. Indiana University Math. Jour., 47(1), 123–151 (1998) · Zbl 0931.26007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.