Abstract
Let \({\mathbb {H}}^{n}={\mathbb {C}}^{n}\times {\mathbb {R}}\) be the n-dimensional Heisenberg group, \(Q=2n+2\) be the homogeneous dimension of \({\mathbb {H}}^{n}\). We establish in this paper that the following sharpened Trudinger–Moser inequalities on the Heisenberg group \({\mathbb {H}}^{n} \) under the homogeneous constraints of the Sobolev norm:
holds if and only if \(\ \alpha <1\), where \(\Phi _Q(t)=e^{t}-\sum _{0}^{Q-2}\frac{t^{j} }{j!}\). Unlike all the proofs in the literature even in the Euclidean spaces, our proof avoids using the complicated blow-up analysis of the Euler–Lagrange equation associated with the Moser functional. In fact, our proof reveals a surprising fact that the known critical Trudinger–Moser inequality on the entire space is equivalent to seemingly much stronger sharpened Trudinger–Moser inequality on the entire space. Furthermore, we obtain the critical Trudinger–Moser inequality and the Concentration-Compactness Principle under the inhomogeneous constraints on the entire Heisenberg group. Finally, using the method of scaling again, we obtain improved Trudinger–Moser inequality under the inhomogeneous constraints. Our approach is surprisingly simple and general and can be easily applied to the all stratified nilpotent groups and other settings. In particular, our method also gives an alternative and much simpler proof of the corresponding results in the Euclidean space.
Similar content being viewed by others
References
Adams, D.R.: A sharp inequality of J. Moser for higher order derivatives. Ann. Math. 128, 385–398 (1988)
Adachi, S., Tanaka, K.: Trudinger type inequalities in \({\mathbb{R}}^{N}\) and their best exponents. Proc. Am. Math. Soc. 128, 2051–2057 (1999)
Adimurthi, O.: Druet, Blow-up analysis in dimension \(\mathit{2}\) and a sharp form of Trudinger-Moser inequality. Commun. Partial Differ. Equ. 29(1–2), 295–322 (2004)
Carleson, L., Chang, S.Y.A.: On the existence of an extremal function for an inequality of. J. Moser. Bull. Sci. Math. 110(2), 113–127 (1986)
Černý, R., Cianchi, A., Hencl, S.: Concentration-compactness principles for Moser-Trudinger inequalities: new results and proofs. Ann. Mat. Pura Appl. 192, 225–243 (2013)
Chen, L., Lu, G., Zhu, M.: A sharpened form of Adams type inequalities on higher order Sobolev spaces \(W^{m, \frac{n}{m}}({\mathbb{R}}^n)\): a simple approach, Preprint
Chen, L., Lu, G., Zhu, M.: Existence of ground state solutions to quasilinear subelliptic Schrödinger equations with constant and degenerate Rabinowitz potentials on the Heisenberg group, Preprint
Chen, L., Lu, G., Zhu, M.: Sharp Trudinger-Moser inequality and ground state solutions to quasi-linear Schrödinger equations with degenerate potentials in \({\mathbb{R}}^{n}\), Preprint
Chen, L., Lu, G., Zhu, M.: Critical trudinger-moser inequality involving a degenerate potential and nonlinear Schrödinger equations, in Special issue in memory of Prof. Zhengguo Bai (1916–2015). Sci. China Math. 64 (2021)
Chen, S.C., Shaw, M.C.: Partial differential equations in several complex variables. AMS/IP Studies in Advanced Mathematics, 19. American Mathematical Society, Providence, RI; International Press, Boston, MA (2001)
Cohn, W.S., Lu, G.: Best constants for Moser-Trudinger inequalities on the Heisenberg group. Indiana Univ. Math. J. 50, 1567–1591 (2001)
Cohn, W.S., Lu, G.: Sharp constants for Moser-Trudinger inequalities on spheres in complex space \({\mathbb{C}}^{n}\). Commun. Pure Appl. Math. 57, 1458–1493 (2004)
do Ó, J.M., de Souza, M., de Medeiros, E.: An improvement for the Trudinger-Moser inequality and applications. J. Differ. Equ. 256, 1317–1349 (2014)
do Ó, J.M., de Souza, M.: A sharp inequality of Trudinger-Moser type and extremal functions in \(H^{1,n}({\mathbb{R} }^{n})\). J. Differ. Equ. 258(11), 4062–4101 (2015)
Folland, G.B., Stein, E.M.: Estimates for the \({\overline{\partial }}_{b}\) complex and analysis on the Heisenberg group. Commun. Pure Appl. Math. 27, 429–522 (1974)
Franchi, B., Gallot, S., Wheeden, R.L.: Sobolev and isoperimetric inequalities for degenerate metrics. Math. Ann. 300(4), 557–571 (1994)
Jerison, D., Lee, J.M.: Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem. J. Am. Math. Soc. 1, 1–13 (1988)
Lam, N., Lu, G.: Sharp Trudinger-Moser inequality on the Heisenberg group at the critical case and applications. Adv. Math. 231, 3259–3287 (2012)
Lam, N., Lu, G.: A new approach to sharp Trudinger-Moser and Adams type inequalities: a rearrangement-free argument. J. Differ. Equ. 255, 298–325 (2013)
Lam, N., Lu, G., Tang, H.: On nonuniformly subelliptic equations of \(Q\)-sub-Laplacian type with critical growth in the Heisenberg group. Adv. Nonlinear Stud. 12, 659–681 (2012)
Lam, N., Lu, G., Tang, H.: Sharp subcritical Moser-Trudinger inequalities on Heisenberg groups and subelliptic PDEs. Nonlinear Anal. 95, 77–92 (2014)
Lam, N., Lu, G., Zhang, L.: Equivalence of critical and subcritical sharp Trudinger-Moser-Adams inequalities. Rev. Mat. Iberoam. 33(4), 1219–1246 (2017)
Li, J., Lu, G.: Critical and subcritical Trudinger-Moser inequalities on complete noncompact Riemannian manifolds, to appear
Li, J., Lu, G., Zhu, M.: Concentration-compactness principle for Trudinger-Moser inequalities on Heisenberg groups and existence of ground state solutions. Calc. Var. 57–84 (2018)
Li, J., Lu, G., Zhu, M.: Concentration-compactness for Trudinger-Moser’s inequalities on Riemannian manifolds and stratified groups: a completely symmetrization-free argument, to appear
Li, Y.X.: Trudinger-Moser inequality on compact Riemannian manifolds of dimension two. J. Partial Differ. Equ. 14, 163–192 (2001)
Li, Y.X.: Extremal functions for the Moser-Trudinger inequalities on compact Riemannian manifolds. Sci. China Ser. A 48(5), 618–648 (2005)
Li, Y.X., Ruf, B.: A sharp Trudinger-Moser type inequality for unbounded domains in \({\mathbb{R}}^{n}\). Indiana Univ. Math. J. 57, 451–480 (2008)
Lions, P.-L.: The concentration-compactness principle in the calculus of variations. The limit case. I. Rev. Mat. Iberoamericana 1, 145–201 (1985)
Lu, G.: Weighted Poincare and Sobolev inequalities for vector fields satisfying Hormander’s condition and applications. Rev. Mat. Iberoamericana 8(3), 367–439 (1992)
Lu, G., Zhu, M.: A sharp Trudinger-Moser type inequality involving \(L^{n}\) norm in the entire space \({\mathbb{R}}^{n}\). J. Differ. Equ. 267(5), 3046–3082 (2019)
Moser, J.: A sharp form of an inequality by N. Trudinger. Indiana Univ. Math. J. 20, 1077–1092 (1970)
Pohožaev, S.I.: On the Sobolev embedding theorem for \(pl=n\), in Doklady Conference, pp. 158–170. Moscow Power Institut, Moscow (1965)
Ruf, B.: A sharp Trudinger-Moser type inequality for unbounded domains in \({\mathbb{R}}^{2}\). J. Funct. Anal. 219, 340–367 (2005)
Shaw, M.: \(L^2\)-estimates and existence theorems for the tangential Cauchy-Riemann complex. Invent. Math. 82(1), 133–150 (1985)
Shaw, M.: \(L^p\) estimates for local solutions of \({\overline{\partial }}_b\) on strongly pseudo-convex CR manifolds. Math. Ann. 288(1), 35–62 (1990)
Trudinger, N.S.: On imbeddings into Orlicz spaces and some applications. J. Math. Mech. 17, 473–483 (1967)
Yudovič, V.I.: Some estimates connected with integral operators and with solutions of elliptic equations,(Russian). Dokl. Akad. Nauk SSSR 138, 805–808 (1961)
Author information
Authors and Affiliations
Corresponding authors
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Lu Chen was partly supported by the National Natural Science Foundation of China (No. 11901031) and a Grant from Bei**g Institute of Technology (No. 3170012221903). Guozhen Lu was partly supported by a collaboration grant from the Simons Foundation (No. 519099). Maochun Zhu was partly supported by Grants from the NNSF of China (No. 12071185) and Natural Science of Jiangsu Province Foundation No. BK20160483.
Rights and permissions
About this article
Cite this article
Chen, L., Lu, G. & Zhu, M. Sharpened Trudinger–Moser Inequalities on the Euclidean Space and Heisenberg Group. J Geom Anal 31, 12155–12181 (2021). https://doi.org/10.1007/s12220-021-00713-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-021-00713-1