alphaFeedback

WorksMathematics

Mean-convex horizontal mean curvature flow in the Heisenberg group

AI contributions
  • ChatGPT
  • Claude
View details

Abstract

We study the arrival time equation of the mean-convex horizontal mean curvature flow in the Heisenberg group. We prove existence of viscosity solutions when the initial set is horizontally mean-convex and either non-characteristic, or axisymmetric and with horizontal mean curvature extending continuously across the characteristic set. A key ingredient is an approximation scheme by sets with prescribed Riemannian mean curvature, which preserves the mean-curvature bounds up to an arbitrarily small error. We further show that, when the evolving level sets form a generalized C2C^2-foliation, the horizontal mean curvature blows up around characteristic points. This provides an obstruction to self-similar evolution in the axisymmetric class considered above and, in particular, shows that the Pansu sphere cannot evolve self-similarly.

Introduction

Let H\mathbb{H} be the Heisenberg group, identified with R3\mathbb{R}^{3} with coordinates p=(x,y,z)p=(x,y,z) and equipped with the horizontal distribution

D=span⁡{X,Y},X=∂x−y2∂z,Y=∂y+x2∂z,(1)\mathcal{D}=\operatorname{span}\{X,Y\},\qquad X=\partial_{x}-\frac{y}{2}\partial_{z},\qquad Y=\partial_{y}+\frac{x}{2}\partial_{z}, \tag*{(1)}

and the sub-Riemannian structure defined as the one making {X,Y}\{X,Y\} an orthonormal frame for D\mathcal{D}. In particular, a horizontal vector ξ=ξXX+ξYY∈D\xi=\xi_{X}X+\xi_{Y}Y\in\mathcal{D} has norm ∣ξ∣=ξX2+ξY2|\xi|=\sqrt{\xi_{X}^{2}+\xi_{Y}^{2}}.

In this paper, we study mean curvature flow evolutions of surfaces in H\mathbb{H}, governed by the horizontal geometry induced throughout the evolution. A key feature of the induced geometry of a surface is its set of characteristic points: if Ω⊂R3\Omega\subset\mathbb{R}^{3} is a bounded open set with C2C^{2} boundary, we call characteristic points of ∂Ω\partial\Omega those at which the surface is tangent to the distribution, and we set

C(∂Ω)={p∈∂Ω:Dp⊂Tp∂Ω}.C(\partial\Omega)=\{p\in\partial\Omega:\mathcal{D}_{p}\subset T_{p}\partial\Omega\}.

At non-characteristic points, the Euclidean outer unit normal admits a non-trivial horizontal projection. After normalization, this projection defines the horizontal outer unit normal ν\nu, a unit vector field in D\mathcal{D}. The horizontal mean curvature of ∂Ω\partial\Omega is then defined as the divergence of this vector field,

H=div⁡νon ∂Ω∖C(∂Ω).H=\operatorname{div}\nu\qquad\text{on }\partial\Omega\setminus C(\partial\Omega).

In the Euclidean setting, the mean curvature flow evolves a smooth hypersurface in its normal direction with normal velocity equal to its mean curvature. A formal horizontal analogue of the classical mean curvature flow is obtained by prescribing that a family of hypersurfaces {∂Ωt}t∈[0,T)\{\partial\Omega_{t}\}_{t\in[0,T)} with T>0T>0, parametrized on a reference surface Γ\Gamma by

F:Γ×[0,T)⟶R3,∂Ωt=F(Γ,t),F:\Gamma\times[0,T)\longrightarrow\mathbb{R}^{3},\qquad\partial\Omega_{t}=F(\Gamma,t),

evolves according to

∂tF(q,t)=−H(F(q,t))ν(F(q,t)),(2)\partial_{t}F(q,t)=-H(F(q,t))\nu(F(q,t)), \tag*{(2)}

with initial datum ∂Ω0=∂Ω\partial\Omega_{0}=\partial\Omega. This evolution law is not defined at characteristic points, where the horizontal normal is not well defined. For this reason, weak notions of horizontal mean curvature flow have been developed, for instance via viscosity solutions in [9, 20, 17, 16], in analogy with the classical level-set formulation developed in [18, 13] or via variational techniques in the recent preprint [11], in analogy with the classical minimizing movements scheme developed in [3, 27].

A major difficulty in weak formulations is that fine geometric information along the flow is hard to retain. In this paper, we impose some structure on the initial sets, aiming to obtain more geometric information along the flow. More precisely, we assume that the horizontal mean curvature of the initial set Ω\Omega is positive and bounded away from zero on the non-characteristic set ∂Ω∖C(∂Ω)\partial\Omega\setminus C(\partial\Omega). We refer to sets satisfying this condition as (strictly) horizontally mean convex.

The appropriate formulation in this context is given in terms of the arrival time function, introduced in [18]. Suppose formally that there exists a function u∈C2(R3)u \in C^2(\mathbb{R}^3) such that Ωt={p∈R3:u(p)>t}\Omega_t = \{p \in\mathbb{R}^3 : u(p) > t\} for t>0t > 0. Thus, u(p)u(p) represents the time at which the evolving boundary reaches the point pp. At a regular point of a level set ∂Ωt\partial\Omega_t the horizontal outer unit normal is

ν=−∇u∣∇u∣.\nu= -\frac{\nabla u}{|\nabla u|}.

where ∇u\nabla u denotes the horizontal gradient, see (15). Differentiating the identity u(F(q,t))=tu(F(q,t)) = t and using (2), we formally obtain

1=∂tu(F(q,t))=∇u⋅(−H(F(q,t))ν(F(q,t)))=H(F(q,t))∣∇u(F(q,t))∣,(3)1 = \partial_t u(F(q,t)) = \nabla u \cdot\left(-H(F(q,t))\nu(F(q,t))\right) = H(F(q,t))|\nabla u(F(q,t))|, \tag*{(3)}

so that, using the explicit expression (17) for HH in terms of uu, the arrival time function formally satisfies

−Δu+∇∇u(∇u,∇u)∣∇u∣2=1.(4)-\Delta u + \frac{\nabla\nabla u(\nabla u,\nabla u)}{|\nabla u|^2} = 1. \tag*{(4)}

Here Δ\Delta and ∇∇\nabla\nabla denote, respectively, the horizontal sub-Laplacian and the horizontal Hessian recalled in § 2.3. We are therefore led to the boundary value problem

{−Δu+∇∇u(∇u,∇u)∣∇u∣2=1in Ω,u=0on ∂Ω,\begin{cases} -\Delta u + \dfrac{\nabla\nabla u(\nabla u,\nabla u)}{|\nabla u|^2} = 1 & \text{in } \Omega,\\ u = 0 & \text{on } \partial\Omega, \end{cases}

(MCF)

which is referred to as the level-set formulation of the horizontal mean curvature flow with initial datum Ω\Omega, understood in the viscosity sense at points where the horizontal gradient vanishes.

Identity (3) also explains the role of horizontal mean convexity: wherever the arrival time is smooth and non-characteristic, H=∣∇u∣−1>0H = |\nabla u|^{-1} > 0. Thus, solving (MCF) provides a natural weak notion of mean-convex horizontal mean curvature flow.

Our first result establishes the existence of a mean-convex horizontal mean curvature flow under two alternative geometric assumptions: either the boundary is non-characteristic and has strictly positive horizontal mean curvature, or the domain is axisymmetric with sphere-like boundary and its horizontal mean curvature admits a strictly positive continuous extension across characteristic points; see § 3.

The existence statement below involves the right-invariant distance d~\tilde d, introduced in § 2.4, which is the sub-Riemannian distance associated with the right-invariant distribution

D~=span⁡{X~,Y~},X~=∂x+y2∂z,Y~=∂y−x2∂z.(5)\widetilde{\mathcal{D}} = \operatorname{span}\{\widetilde X,\widetilde Y\}, \qquad\widetilde X = \partial_x + \frac{y}{2}\partial_z, \qquad\widetilde Y = \partial_y - \frac{x}{2}\partial_z. \tag*{(5)}

Theorem 1.1. Let Ω⊂R3\Omega\subset\mathbb{R}^3 be a bounded open set with C2C^2 boundary. Assume that Ω\Omega satisfies one of the following geometric conditions:

(A) Ω\Omega is axisymmetric, ∂Ω\partial\Omega is homeomorphic to a sphere, and the horizontal mean curvature of ∂Ω\partial\Omega extends continuously to ∂Ω\partial\Omega and is strictly positive there.

(B) ∂Ω\partial\Omega is non-characteristic and has strictly positive horizontal mean curvature. Then Ω\Omega admits a mean-convex horizontal mean curvature flow, i.e., there exists a viscosity solution u∈C0(Ω‾)u \in C^{0}(\overline{\Omega}) to (MCF), which is right-Lipschitz, i.e., Lipschitz with respect to the right-invariant distance d~\widetilde{d}.

We note that in case (A), right-Lipschitz continuity is equivalent to left-Lipschitz continuity, namely Lipschitz continuity with respect to the sub-Riemannian distance dd; see Remark 2.7.

The two assumptions in Theorem 1.1 are independent. The Pansu sphere, described below, satisfies assumption (A) and has two characteristic points. Conversely, assumption (B) allows for different topologies and does not require axisymmetry. To illustrate this, consider axisymmetric tori, which always have empty characteristic sets but need not to be horizontally mean convex. For instance, the tori T={(x,y,z):(r(x,y)−r0)2+z2=a2}T=\{(x,y,z):(r(x,y)-r_{0})^{2}+z^{2}=a^{2}\}, 0<a<r00<a<r_{0} are horizontally mean convex if the ratio a/r0a/r_{0} is sufficiently small. Moreover, sufficiently small C2C^{2} perturbations of such tori still satisfy assumption (B), providing a rich family of non-axisymmetric tori to which the theorem applies.

Besides establishing existence for this variety of initial sets, Theorem 1.1 yields an evolution that is non-fattening, in the sense that int⁡{u=t}=∅\operatorname{int}\{u=t\}=\varnothing for every t>0t>0. Indeed, (4) is manifestly incompatible with uu being constant on an open set, and in fact, testing the supersolution condition (22) easily shows it.

Our proof of existence for (MCF) relies on an approximation procedure. A key technical step, which may be of independent interest, consists in approximating Ω\Omega by C2C^{2} sets whose mean-curvature bounds are preserved, up to an arbitrarily small error, in a family of approximating Riemannian manifolds. These sets will serve as initial data for Riemannian strictly mean-convex mean curvature flows approximating the sub-Riemannian evolution, see § 2.7.1.

For ε>0\varepsilon>0, let gεg_{\varepsilon} be the Riemannian metric making

Xε=X,Yε=Y,Zε=ε∂z(6)X_{\varepsilon}=X,\qquad Y_{\varepsilon}=Y,\qquad Z_{\varepsilon}=\varepsilon\partial_{z} \tag*{(6)}

an orthonormal frame, and set Hε=H∂Ω(R3,gε)H_{\varepsilon}=H_{\partial\Omega}(\mathbb{R}^{3},g_{\varepsilon}). As ε→0+\varepsilon\to0^{+}, the gεg_{\varepsilon}-mean curvature HεH_{\varepsilon} of ∂Ω\partial\Omega converges to the horizontal mean curvature HH away from the characteristic set C(∂Ω)\mathcal{C}(\partial\Omega). Thus, under assumption (B), HεH_{\varepsilon} is already close to HH for sufficiently small ε\varepsilon.

In case (A), instead, horizontal mean convexity does not in general imply strict mean convexity in Hε\mathbb{H}_{\varepsilon}. This obstruction already appears for the most natural model surface: the model constant mean curvature sphere H\mathbb{H}, known as the Pansu sphere [31]. For R>0R>0, the Pansu sphere of radius RR bounds the set

PR={p=(x,y,z)∈R3:∣z∣<fR(r(p)), r(p)<R}(7)P_{R}=\{p=(x,y,z)\in\mathbb{R}^{3}:|z|<f_{R}(r(p)),\ r(p)<R\} \tag*{(7)}

where

fR(r)=14(R2arccos⁡(rR)+rR2−r2).f_{R}(r)=\frac{1}{4}\left(R^{2}\arccos\left(\frac{r}{R}\right)+r\sqrt{R^{2}-r^{2}}\right).

Its boundary has two characteristic points, corresponding to r=0r=0, and a direct computation gives

H=2Ron ∂PR∖C(∂PR).H=\frac{2}{R}\quad\text{on }\partial P_{R}\setminus\mathcal{C}(\partial P_{R}).

Nevertheless, its gεg_{\varepsilon}-mean curvature is

Hε=2r(6R2ε2+r2(R2−4ε2))(4R2ε2+r2(R2−4ε2))3/2.H_{\varepsilon}=\frac{2r(6R^{2}\varepsilon^{2}+r^{2}(R^{2}-4\varepsilon^{2}))}{(4R^{2}\varepsilon^{2}+r^{2}(R^{2}-4\varepsilon^{2}))^{3/2}}.

In particular, although ∂PR\partial P_{R} has constant positive horizontal mean curvature away from its characteristic points, its gεg_{\varepsilon}-mean curvature vanishes at those points for every ε>0\varepsilon>0.

We therefore construct a suitable perturbation Ωε\Omega_\varepsilon by prescribing its gεg_\varepsilon-mean curvature in terms of the horizontal mean curvature of ∂Ω\partial\Omega. We refer to this procedure as approximation by prescribed mean curvature.

References

  1. [1]V. Agostiniani, M. Fogagnolo, and L. Mazzieri. Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Inventiones mathematicae, July 2020.arxiv.org/abs/1812.05022
  2. [2]A. Agrachev, D. Barilari, and U. Boscain. A comprehensive introduction to sub-Riemannian geometry, volume 181 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2020. From the Hamiltonian viewpoint, With an appendix by Igor Zelenko.DOI
  3. [3]F. Almgren, J. E. Taylor, and L. Wang. Curvature-driven flows: A variational approach. SIAM Journal on Control and Optimization, 31(2):387–438, 1993.DOI
  4. [4]N. Arcozzi and F. Ferrari. Metric normal and distance function in the Heisenberg group. Math. Z., 256(3):661–684, 2007.DOI
  5. [5]Z. M. Balogh. Size of characteristic sets and functions with prescribed gradient. J. Reine Angew. Math., 564:63–83, 2003.DOI
  6. [6]A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni. Stratified Lie groups and potential theory for their sub-Laplacians. Springer Monographs in Mathematics. Springer, Berlin, 2007.DOI
  7. [7]J. Calder. Lecture notes on viscosity solutions. University of Minnesota, 2018. Available at https://www-users.cse.umn.edu/~jwcalder/viscosity_solutions.pdf.
  8. [8]P. Cannarsa and C. Sinestrari. Semiconcave functions, Hamilton-Jacobi equations, and optimal control, volume 58 of Progress in Nonlinear Differential Equations and their Applications. Birkhäuser Boston, Inc., Boston, MA, 2004.DOI
  9. [9]L. Capogna and G. Citti. Generalized mean curvature flow in Carnot groups. Comm. Partial Differential Equations, 34(7-9):937–956, 2009.arxiv.org/abs/0808.3467
  10. [10]L. Capogna, D. Danielli, S. D. Pauls, and J. T. Tyson. An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem, volume 259 of Progress in Mathematics. Birkhäuser Verlag, Basel, 2007.
  11. [11]A. Cesaroni, M. Novaga, and P. Pozzi. A semi-discrete scheme for horizontal mean curvature flow in the Heisenberg group, 2026. arXiv.arxiv.org/abs/2610.20054
  12. [12]W.-C. Chen, W.-T. Kao, and C.-K. Lien. The sharp isoperimetric inequality in the first heisenberg group, 2026.arxiv.org/abs/2610.07632
  13. [13]Y. G. Chen, Y. Giga, and S. Goto. Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations. J. Differential Geom., 33(3):749–786, 1991.
  14. [14]T. H. Colding and W. P. Minicozzi, II. Differentiability of the arrival time. Comm. Pure Appl. Math., 69(12):2349–2363, 2016.arxiv.org/abs/1501.07899
  15. [15]M. G. Crandall, H. Ishii, and P.-L. Lions. User’s guide to viscosity solutions of second order partial differential equations. Bull. Amer. Math. Soc. (N.S.), 27(1):1–67, 1992.arxiv.org/abs/math/9207212
  16. [16]N. Dirr, F. Dragoni, and R. Grande. Asymptotics for optimal controls for horizontal mean curvature flow, 2021.arxiv.org/abs/2005.10599
  17. [17]N. Dirr, F. Dragoni, and M. von Renesse. Evolution by mean curvature flow in sub-Riemannian geometries: a stochastic approach. Commun. Pure Appl. Anal., 9(2):307–326, 2010.
  18. [18]L. C. Evans and J. Spruck. Motion of level sets by mean curvature. I. J. Differential Geom., 33(3):635–681, 1991.
  19. [19]X. Fernández-Real and X. Ros-Oton. Regularity theory for elliptic PDE, volume 28 of Zurich Lectures in Advanced Mathematics. EMS Press, Berlin, [2022] ©2022.
  20. [20]F. Ferrari, Q. Liu, and J. J. Manfredi. On the horizontal mean curvature flow for axisymmetric surfaces in the Heisenberg group. Commun. Contemp. Math., 16(3):1350027, 41, 2014.DOI
  21. [21]M. Fogagnolo, A. Pinamonti, and S. Verzellesi. Unexpected phenomena for mean curvature functionals in the Heisenberg group, 2026. arXiv.arxiv.org/abs/2605.29912
  22. [22]V. Franceschi, F. Montefalcone, and R. Monti. CMC spheres in the Heisenberg group. Anal. Geom. Metr. Spaces, 7(1):109–129, 2019.DOI
  23. [23]N. Garofalo. A note on monotonicity and Bochner formulas in Carnot groups. Proc. Roy. Soc. Edinburgh Sect. A, 153(5):1543–1563, 2023.arxiv.org/abs/2204.13073
  24. [24]D. Gilbarg and N. S. Trudinger. Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition.
  25. [25]G. Huisken. An isoperimetric concept for the mass in general relativity. Oberwolfach Reports, 3(3):1898–1899, 2006.
  26. [26]J. L. Jauregui and D. A. Lee. Lower semicontinuity of mass under c⁰ convergence and Huisken’s isoperimetric mass. Journal Für Die Reine Und Angewandte Mathematik, 756:227–257, 2019.
  27. [27]S. Luckhaus and T. Sturzenhecker. Implicit time discretization for the mean curvature flow equation. Calc. Var. Partial Differential Equations, 3(2):253–271, 1995.DOI
  28. [28]J. Metzger and F. Schulze. No mass drop for mean curvature flow of mean convex hypersurfaces. Duke Math. J., 142(2):283–312, 2008.DOI
  29. [29]R. Monti. Heisenberg isoperimetric problem. The axial case. Adv. Calc. Var., 1(1):93–121, 2008.DOI
  30. [30]R. Narasimhan. Analysis on real and complex manifolds, volume 35 of North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam, 1985. Reprint of the 1973 edition.
  31. [31]P. Pansu. Une inégalité isopérimétrique sur le groupe de Heisenberg. C. R. Acad. Sci. Paris Sér. I Math., 295(2):127–130, 1982.
  32. [32]M. Ritoré and C. Rosales. Area-stationary and stable surfaces in the sub-Riemannian Heisenberg group H¹. Mat. Contemp., 35:185–203, 2008.DOI
  33. [33]M. Ritoré and C. Sinistrari. Mean curvature flow and isoperimetric inequalities. Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser Verlag, Basel, 2010.
  34. [34]F. Schulze. Nonlinear evolution by mean curvature and isoperimetric inequalities. J. Differential Geom., 79(2):197–241, 2008.DOI
  35. [35]J. Stoer and R. Bulirsch. Introduction to numerical analysis, volume 12 of Texts in Applied Mathematics. Springer-Verlag, New York, third edition, 2002. Translated from the German by R. Bartels, W. Gautschi and C. Witzgall.DOI
  36. [36]P. Tomter. Constant mean curvature surfaces in the Heisenberg group. In Differential geometry: partial differential equations on manifolds (Los Angeles, CA, 1990), volume 54, Part 1 of Proc. Sympos. Pure Math., pages 485–495. Amer. Math. Soc., Providence, RI, 1993.DOI
  37. [37]B. White. A local regularity theorem for mean curvature flow. Ann. of Math. (2), 161(3):1487–1519, 2005.DOI
  38. [38]B. White. Subsequent singularities in mean-convex mean curvature flow. Calc. Var. Partial Differential Equations, 54(2):1457–1468, 2015.arxiv.org/abs/1103.1469

Paper details

vlnc:W_ehdqkpwy
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

ChatGPT, Claude · View statement →

Looking for related papers…
Contents