Abstract
We study the strong maximum principle for horizontal (p-)mean curvature operator and p-(sub)Laplacian operator on subRiemannian manifolds including, in particular, Heisenberg groups and Heisenberg cylinders. Under a certain Hormander type condition on vector fields, we show the strong maximum principle holds in higher dimensions for two cases: (a) the touching point is nonsingular; (b) the touching point is an isolated singular point for one of comparison functions. For a background subRiemannian manifold with local symmetry of isometric translations, we have the strong maximum principle for associated graphs which include, among others, intrinsic graphs with constant horizontal (p-)mean curvature. As applications, we show a rigidity result of horizontal (p-)minimal hypersurfaces in any higher dimensional Heisenberg cylinder and a pseudo-halfspace theorem for any Heisenberg group.
Similar content being viewed by others
References
Ambrosio, L., Serra Cassano, F., Vittone, D.: Intrinsic regular hypersurfaces in Heisenberg groups. J. Geom. Anal. 16, 187–232 (2006)
Andrews, B.: Noncollapsing in mean-convex mean curvature flow. Geom. Topol. 16, 1413–1418 (2012)
Battaglia, E., Biagi, S., Bonfiglioli, A.: The strong maximum principle and the Harnack inequality for a class of hypoelliptic non-Hormander operators. Annales de l’institut Fourier 66(2), 589–631 (2016)
Bony, J.-M.: Principe du maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés. Annales de l’institut Fourier 19, 277–304 (1969)
Brendle, S.: Embedded minimal tori in \(S^{3}\) and the Lawson conjecture. Acta Math. 211, 177–190 (2013)
Cheng, J.-H.: Surfaces of prescribed \(p\)-mean curvature in the Heisenberg group. In: Proceedings of the 4th ICCM, II, pp. 40–58 (2007)
Cheng, J.-H., Hwang, J.-F.: Properly embedded and immersed minimal surfaces in the Heisenberg group. Bull. Aust. Math. Soc. 70, 507–520 (2004)
Cheng, J.-H., Hwang, J.-F.: Variations of generalized area functionals and p-area minimizers of bounded variation in the Heisenberg group. Bull. Inst. Math. Acad. Sin. New Ser. 5, 369–412 (2010)
Cheng, J.-H., Hwang, J.-F.: Uniqueness of generalized \(p\)-area minimizers and integrability of a horizontal normal in the Heisenberg group. Calc. Var. PDE 50, 579–597 (2014)
Cheng, J.-H., Hwang, J.-F., Malchiodi, A., Yang, P.: Minimal surfaces in pseudoHermitian geometry. Ann Sc. Norm. Sup. Pisa Cl. Sci. (5) IV, 129–177 (2005)
Cheng, J.-H., Hwang, J.-F., Yang, P.: Existence and uniqueness for p-area minimizers in the Heisenberg group. Math. Ann. 337, 253–293 (2007)
Collin, P., Krust, R.: Le Problème de Dirichlet pour l’équation des surfaces minimales sur des domaines non bornès. Bull. Soc. Math. Fr. 119, 443–462 (1991)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, 2nd edn. GMW, vol 224. Springer, Berlin (1983)
Hopf, E.: Elementare Bemerkungen über die Lö sungen partieller Differentialgleichungen zweiter Ordnung vom elliptischen Typus. Sitz. Ber. Preuss. Akad. Wissensch. Berl. Math. Phys. Kl. 19, 147–152 (1927)
Hoffman, D., Meeks, W.H.: The strong halfspace theorem for minimal surfaces. Inventiones Mathematicae 101, 373–377 (1990)
Hwang, J.-F.: Comparison principles and Liouville theorems for prescribed mean curvature equation in unbounded domains. Ann. Sc. Norm. Sup. Pisa 15, 341–355 (1988)
Miklyukov, V.M.: On a new approach to Bernstein’s theorem and related questions for equations of minimal surface type. Mat. Sb. 108(150), 268–289 (1979) [English transl. in Math. USSR Sb. 36, 251–271 (1980)]
Montanari, A., Lanconelli, E.: Pseudoconvex fully nonlinear partial differential operators: strong comparison theorems. J. Differ. Equ. 202, 306–331 (2004)
Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs (1967)
Ritoré, M.: A proof by calibration of an isoperimetric inequality in the Heisenberg group \(H^{n}\). Calc. Var. PDE 44, 47–60 (2012)
Ritoré, M., Rosales, C.: Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group \(H^{n}\). J. Geom. Anal. 16, 703–720 (2006)
Ritoré, M., Rosales, C.: Area-stationary surfaces in the Heisenberg group \(H^{1}\). Adv. Math. 219, 633–671 (2008)
Strichartz, R.: Sub-Riemannian geometry. J. Differ. Geom. 24, 221–263 (1986)
Strichartz, R.: Corrections to “Sub-Riemannian geometry”. J. Differ. Geom. 30, 595–596 (1989)
Acknowledgements
J.-H. Cheng, H.-L. Chiu, and J.-F. Hwang would like to thank the Ministry of Science and Technology of Taiwan for the support of the projects: MOST 104-2115-M-001-011-MY2, 104-2115-M-008-003-MY2, and 104-2115-M-001-009-MY2, resp. J.-H. Cheng is also grateful to the National Center for Theoretical Sciences of Taiwan for the constant support. P. Yang would like to thank the NSF of the US for the support of the project: DMS-1509505.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. C. Marques.
Rights and permissions
About this article
Cite this article
Cheng, JH., Chiu, HL., Hwang, JF. et al. Strong maximum principle for mean curvature operators on subRiemannian manifolds. Math. Ann. 372, 1393–1435 (2018). https://doi.org/10.1007/s00208-018-1700-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-018-1700-1