Abstract
We consider a C 1 smooth surface with prescribed p (or H)-mean curvature in the 3-dimensional Heisenberg group. Assuming only the prescribed p-mean curvature \({H\in C^{0},}\) we show that any characteristic curve is C 2 smooth and its (line) curvature equals − H in the nonsingular domain. By introducing characteristic coordinates and invoking the jump formulas along characteristic curves, we can prove that the Legendrian (or horizontal) normal gains one more derivative. Therefore the seed curves are C 2 smooth. We also obtain the uniqueness of characteristic and seed curves passing through a common point under some mild conditions, respectively. These results can be applied to more general situations.
Similar content being viewed by others
References
Balogh Z.M. (2003) Size of characteristic sets and functions with prescribed gradient. J. Reine Angew. Math. 564: 63–83
Capogna, L., Citti, G., Manfredini, M.: Smoothness of Lipschitz minimal intrinsic graphs in Heisenberg groups H n, n > 1. arXiv: 0804.3408
Capogna, L., Citti, G., Manfredini, M.: Regularity of non-characteristic minimal graphs in the Heisenberg group H 1. arXiv: 0804.3406
Capogna L., Danielli D., Garofalo N. (1994) The geometric Sobolev embedding for vector fields and the isoperimetric inequality. Comm. Anal. Geom. 2: 203–215
Cheng J.-H., Hwang J.-F. (2004) Properly embedded and immersed minimal surfaces in the Heisenberg group. Bull. Aust. Math. Soc. 70: 507–520
Cheng J.-H., Hwang J.-F., Malchiodi A., Yang P. (2005) Minimal surfaces in pseudohermitian geometry. Annali della Scuola Normale Superiore di Pisa. Classe di Scienze 4(5): 129–177
Cheng J.-H., Hwang J.-F., Yang P. (2007) Existence and uniqueness for p-area minimizers in the Heisenberg group. Math. Ann. 337: 253–293
Franchi B., Serapioni R., Serra Cassano F. (2001) Rectifiability and perimeter in the Heisenberg group. Math. Ann. 321: 479–531
Garofalo N., Nhieu D.-M. (1996) Isoperimetric and Sobolev inequalities for Carnot–Caratheodory spaces and the existence of minimal surfaces. Comm. Pure Appl. Math. 49: 1081–1144
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order, 2nd edn, G.M.W., vol. 224. Springer, Heidelberg (1983)
Hartman, P.: Ordinary differential equations, 2nd edn. Classics in Applied Mathematics, vol. 38. Society for Industrial and Applied Mathematics, Philadelphia (2002)
John F. (1995) Partial Differential Equations, 4th edn. Springer, Heidelberg
Leonardi G., Masnou S. (2005) On the isoperimetric problem in the Heisenberg group H n. Ann. Mat. Pura Appl. 184(4): 533–553
Leonardi G., Rigot S. (2003) Isoperimetric sets on Carnot groups. Houston J. Math. 29(3): 609–637
Monti, R., Rickly, M.: Convex isoperimetric sets in the Heisenberg group. arXiv: math.DG/0607666 v1
Pansu P. (1982) Une inégalité isopérimé trique sur le groupe de Heisenberg. C. R. Acad. Sci. Paris Sér. I Math. 295: 127–130
Pauls S.D. (2004) Minimal surfaces in the Heisenberg group. Geom. Dedic. 104: 201–231
Pauls, S.D.: H-minimal graphs of low regularity in H 1. Comment. Math. Helv. 81, 337–381 (2006). arXiv: math.DG/0505287 v3, 1 Nov 2006 (to which the reader is referred)
Ritoré, M.: Examples of area-minimizing surfaces in the subriemannian Heisenberg group H 1 with low regularity. Calc. Var. and P.D.E. (2008). doi:10.1007/s00526-008-0181-6
Ritoré, M., Rosales, C.: Area-stationary surfaces in the Heisenberg group H 1. Adv. Math. (2008). doi:10.1016/j.aim.2008.05.011
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cheng, JH., Hwang, JF. & Yang, P. Regularity of C 1 smooth surfaces with prescribed p-mean curvature in the Heisenberg group. Math. Ann. 344, 1–35 (2009). https://doi.org/10.1007/s00208-008-0294-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-008-0294-4