Stability of minimal surfaces in the sub-Riemannian manifold $\widetilde{E(2)}$
Abstract
In the paper we study smooth oriented surfaces in the universal covering space of the group of orientation-preserving Euclidean plane isometries, which has a three-dimensional sub-Riemannian manifold structure. This structure is constructed as a restriction of the Euclidean metric on the group to some completely non-integrable left invariant distribution. The sub-Riemannian area of a surface is then defined as the integral of the length of its unit normal field projected orthogonally onto this distribution. We calculate the first variation formula of the sub-Riemannian surface area and derive the minimality criterion from it. Here we call a surface minimal if it is a critical point of the sub-Riemannian area functional under normal variations with compact support. We show that the minimality in this case is not equivalent to the vanishing of the sub-Riemannian mean curvature. We then prove that a Euclidean plane is minimal if and only if it is parallel or orthogonal to the $z$-axis (where the $z$-coordinate corresponds to the rotation angle of an isometry). Also we obtain the minimality condition for a graph and give examples of minimal graphs. The examples considered in the paper demonstrate, in particular, that the minimality of a surface in the Riemannian (in this case Euclidean) sense does not imply its sub-Riemannian minimality, and vice versa. Next, we consider the stability of minimal surfaces. For this purpose, we derive the second variation formula of the sub-Riemannian area and show with it that minimal Euclidean planes are stable. We introduce a class of surfaces for which the tangent planes are perpendicular to the planes of the sub-Riemannian structure, and call them vertical surfaces. In particular, for such surfaces the second variation formula is simplified significantly. Then we prove that complete connected vertical minimal surfaces are either Euclidean planes or helicoids and that helicoids are unstable. This implies a following Bernstein type result: a complete connected vertical minimal surface is stable if and only if it is a Euclidean plane orthogonal to the $z$-axis.Downloads
References
D. Danielli, N. Garofalo, D. M. Nhieu, S. D. Pauls. Instability of graphical strips and a positive answer to the Bernstein problem in the Heisenberg group~$mathbb{H}^1$, J. Differential Geom. - 2009. - Vol. 81, No 2. - P. 251-295. DOI: https://doi.org/10.4310/jdg/1231856262
D. Danielli, N. Garofalo, D. M. Nhieu, S. D. Pauls. The Bernstein problem for embedded surfaces in the Heisenberg group~$mathbb{H}^1$, Indiana Univ. Math. J. - 2010. - Vol. 59, No 2. - P. 563-594. DOI: https://doi.org/10.1512/iumj.2010.59.4291
D. Fischer-Colbrie, R. Schoen. The structure of complete stable minimal surface in $3$-manifolds of non-negative scalar curvature, Comm. Pure Appl. Math. - 1980. - Vol. 33, No 2. - P. 199-211. DOI: https://doi.org/10.1002/cpa.3160330206
N. Garofalo, D.-M. Nhieu. Isoperimetric and Sobolev inequalities for Carnot-Carath'eodory spaces and the existence of minimal surfaces, Comm. Pure Appl. Math. - 1996. - Vol. 42, No 3. - P. 1081-1144. DOI: https://doi.org/10.1002/%28SICI%291097-0312%28199610%2949%3A10%3C1081%3A%3AAID-CPA3%3E3.0.CO%3B2-A
R. K. Hladky, S. D. Pauls. Minimal surfaces in the roto-translation group with applications to a neuro-biological image completion model, J. Math. Imaging Vis. - 2010. - Vol. 36, No 1. - P. 1-27. DOI: https://doi.org/10.1007/s10851-009-0167-9
A. Hurtado, C. Rosales. Area-stationary surfaces inside the sub-Riemannian three-sphere, Math. Ann. -- 2008. -- Vol. 340, No 3. - P. 675-708. DOI: https://doi.org/10.1007/s00208-007-0165-4
A. Hurtado, M. Ritor'e, C. Rosales. The classification of complete stable area-stationary surfaces in the Heisenberg group $mathbb{H}^1$, Adv. in Math. - 2010. - Vol. 224, No 2. - P. 561-600. DOI: https://doi.org/10.1016/j.aim.2009.12.002
M. Ritor'e, C. Rosales. Area-stationary and stable surfaces in the sub-Riemannian Heisenberg group~$mathbb{H}^1$, Matem'atica Contempor^anea. - 2008. - Vol. 35. - P. 185-203. DOI: https://doi.org/10.21711/231766362008/rmc3512
N. Shcherbakova. Minimal surfaces in sub-Riemannian manifolds and structure of their singular sets in the (2,3) case, ESAIM Control Optim. Calc. Var. - 2009. - Vol. 15, No 4. - P. 839-862. DOI: https://doi.org/10.1051/cocv:2008051
L. Simon. Lectures on geometric measure theory, Proceedings of the Centre for Mathematical Analysis, Australian National University. - 1983. - Vol. 3. - vii+272p. ISBN:0-86784-429-9
Copyright (c) 2023 Eugene Petrov, Ihor Havrylenko
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
The copyright holder is the author.
Authors who publish with this journal agree to the following terms:
1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal. (Attribution-Noncommercial-No Derivative Works licence).
2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (see The Effect of Open Access).
