Regularity of C^{1} smooth surfaces with prescribed p-mean curvature in the Heisenberg group
arXiv:0709.1776
Abstract
We consider a smooth surface with prescribed (or )-mean curvature in the 3-dimensional Heisenberg group. Assuming only the prescribed -mean curvature we show that any characteristic curve is smooth and its (line) curvature equals 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 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.
30 pages