Minimal surfaces in the sub-Riemannian Heisenberg group can be constructed by means of a Riemannian approximation scheme, as limit of Riemannian minimal surfaces. We study the regularity of Lipschitz, non-characteristic minimal surfaces which arise as such limits. Our main results are a-priori estimates on the solutions of the approximating Riemannian PDE and the ensuing $C^{\infty}$ regularity of the sub-Riemannian minimal surface along its Legendrian foliation.
In this paper we prove the Hölder regularity of bounded, uniformly continuous, viscosity solutions of some degenerate fully nonlinear equations in the Heisenberg group.
We give dimension-free regularity conditions for a class of possibly degenerate sub-elliptic equations in the Heisenberg group exhibiting super-quadratic growth in the horizontal gradient; this solves an issue raised by Manfredi & Mingione (Math. Ann. 2007) where only dimension dependent bounds for the growth exponent are given. We also obtain explicit a priori local regularity estimates, and cover the case of the horizontal p-Laplacean operator, extending some regularity proven by Domokos & Manfredi (Cont. Math. 2005). In turn, the a priori estimates found are shown to imply the suitable loca…
We study the regularity of minima of scalar variational integrals of $p$-growth, $1<p<\infty$, in the Heisenberg group and prove the Hölder continuity of horizontal gradient of minima.
We present a proof of the local Hölder regularity of the horizontal derivatives of weak solutions to the $p$-Laplace equation in the Heisenberg group $\mathbb{H}^1$ for $p>4 $.
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 pa…
We establish Holder continuity of the horizontal gradient of weak solutions to quasi-linear p-Laplacian type non-homogeneous equations in the Heisenberg Group.
Let $1<p\le4$ when $n=1$ and $1<p< 3+\frac{1}{n-1} $ when $n\ge2$. We obtain the second-order horizontal Sobolev $HW^{2,2}_{\rm loc} $-regularity of $p$-harmonic functions in the Heisenberg group $\mathbb H^n$. This improves the known range of $p$ obtained by Domokos and Manfredi in 2005.
We give a new proof for the $C^\infty$ regularity of $C^2$ smooth conformal mappings of the sub-Riemannian Heisenberg group. Our proof avoids any use of nonlinear potential theory and relies only on hypoellipticity of Hörmander operators and quasiconformal flows. This approach is inspired by prior work of Sarvas and Liu.
We prove local Lipschitz regularity for weak solutions to a class of degenerate parabolic PDEs modeled on the parabolic $p$-Laplacian $$\p_t u= \sum_{i=1}^{2n} X_i (|\nabla_0 u|^{p-2} X_i u),$$ in a cylinder $Ω\times \R^+$, where $Ω$ is domain in the Heisenberg group $\Hn$, and $2\le p \le 4$. The result continues to hold in the more general setting of contact sub-Riemannian manifolds.
The goal of this article is to establish local Lipschitz continuity of weak solutions for a class of degenerated elliptic equations of divergence form, in the Heisenberg Group. The considered hypothesis for the growth and ellipticity condition is a natural generalization of the p-Laplace equation and more general quasilinear elliptic equations with polynomial or exponential type growth.
We extend to the parabolic setting some of the ideas originated with Xiao Zhong's proof in \cite{Zhong} of the Hölder regularity of $p-$harmonic functions in the Heisenberg group $\Hn$. Given a number $p\ge 2$, in this paper we establish the $C^{\infty}$ smoothness of weak solutions of quasilinear pde's in $\Hn$ modelled on the equation $$\p_t u= \sum_{i=1}^{2n} X_i \bigg((1+|\nabla_0 u|^2)^{\frac{p-2}{2}} X_i u\bigg).$$
We prove that Lipschitz intrinsic graphs in the Heisenberg groups $H^n$, with $n>1$, which are vanishing viscosity solutions of the minimal surface equation are smooth.
We prove that a strictly stable minimal $C^2_h$ intrinsic graph G is locally area-minimizing, i.e. given any $C^1_h$ graph $S$ with the same boundary, $\text{Area}(G)<\text{Area}(S)$ unless $G=S$. As a consequence we show the existence and the uniqueness of $C^\infty$ minimal graphs with prescribed small boundary datum.
We prove an Allard-type regularity theorem for free-boundary minimal surfaces in Lipschitz domains locally modelled on convex polyhedra. We show that if such a minimal surface is sufficiently close to an appropriate free-boundary plane, then the surface is $C^{1,α}$ graphical over this plane. We apply our theorem to prove partial regularity results for free-boundary minimizing hypersurfaces, and relative isoperimetric regions.
In this article we prove that all boundary points of a minimal oriented hypersurface in a Riemannian manifold are regular, that is, in a neighborhood of any boundary point, the minimal surface is a $\mathcal{C}^{1, \frac14}$ submanifold with boundary.
Let S be a C^2 H-minimal noncharacteristic hypersurface in the first Heisenberg group. We show that if S contains a graphical strip, then it is not a stable minimal surface. Moreover, we show that if S is a C^2 H-minimal noncharacteristic entire graph which is not itself a vertical plane, then S contains a graphical strip. Thus, as a corollary, we obtain an analogue of the Bernstein theorem: the only stable C^2 H-minimal noncharacteristic entire graphs are the vertical planes.
In this paper we prove a convergence result for sequences of Willmore immersions with simple minimal bubbles. To this end we replace the total curvature control in T. Rivière's proof of the $\varepsilon$-regularity for Willmore immersions by a control of the local Willmore energy.
Given two Jordan curves in a Riemannian manifold, a minimal surface of annulus type bounded by these curves is described as the harmonic extension of a critical point of some functional (the Dirichlet integral) in a certain space of boundary parametrizations. The $H^{2,2}$-regularity of the minimal surface of annulus type will be proved by applying the critical points theory and Morrey's growth condition.
We introduce a notion of non-local almost minimal boundaries similar to that introduced by Almgren in geometric measure theory. Extending methods developed recently for non-local minimal surfaces we prove that flat non-local almost minimal boundaries are smooth. This can be viewed as a non-local version of the Almgren-De Giorgi-Tamanini regularity theory. The main result has several applications, among these $C^{1,α}$ regularity for sets with prescribed non-local mean curvature in $L^p$ and regularity of solutions to non-local obstacle problems.
We use a new combinatorial technique to prove the optimal interior partial regularity result for Lp-vectorfields with integer fluxes minimizing the Lp-energy. More precisely, we prove that the minimal vectorfields are Hölder outside a set which is locally finite inside the domain. The results continue the program started in collaboration with Tristan Rivière, but this paper is self-contained.
We show that directed minimal cones in (n+1)-dimensional Euclidean space which have at most one singularity are - besides the trivial cases: empty set, whole space - half spaces. Using blow-up techniques, this result can be used to get C^{1,lambda}-regularity for the measure-theoretic boundary of almost minimal Caccioppoli sets which are representable as subgraphs in R^n, n<=8. This provides a different method to obtain a result due to De Giorgi. We also prove a splitting theorem for general directed minimal cones. Such a cone is the Cartesian product of R^k and C, where C is an undirected min…
In continuing the study of harmonic mapping from 2-dimensional Riemannian simplicial complexes in order to construct minimal surfaces with singularity, we obtain an a-priori regularity result concerning the real analyticity of the free boundary curve. The free boundary is the singular set along which three disk-type minimal surfaces meet. Here the configuration of the singular minimal surface is obtained by a minimization of a weighted energy functional, in the spirit of J.Douglas' approach to the Plateau Problem. Using the free boundary regularity of the harmonic map, we construct a local uni…
In this paper, we show that every $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics admits a smooth minimal hypersurface. This generalized previous results by N. Smale and Chodosh-Liokumovich-Spolaor. Different from their local perturbation techniques, our construction is based on a global perturbation argument in and a novel geometric invariant which counts singular points with suitable weights.
We analyze the asymptotic behavior of a $2$-dimensional integral current which is almost minimizing in a suitable sense at a singular point. Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\r…
We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
We show the regularity of, and derive a-priori estimates for (weakly) harmonic maps from a Riemannian manifold into a Euclidean sphere under the assumption that the image avoids some neighborhood of a half-equator. The proofs combine constructions of strictly convex functions and the regularity theory of quasi-linear elliptic systems. We apply these results to the spherical and Euclidean Bernstein problems for minimal hypersurfaces, obtaining new conditions under which compact minimal hypersurfaces in spheres or complete minimal hypersurfaces in Euclidean spaces are trivial.
F.-H. Lin studied minimal graphs of the Dirichlet problem in the hyperbolic space and proved that any such minimal graph has the same global regularity as the boundary if the dimension of the minimal graph is even and that there is an obstacle to the higher regularity if the dimension is odd. We discuss the odd dimension case and study how the higher regularity is obstructed. We introduce the logarithm of the distance to the boundary as an additional independent self-variable and establish concise boundary regularity for the minimal graph.
Consider the wave equation associated with the Kohn Laplacian on groups of Heisenberg type. We construct parametrices using oscillatory integral representations and use them to prove sharp $L^p$ and Hardy space regularity results.
We prove global Hölder regularity for the solutions to the time-harmonic anisotropic Maxwell's equations, under the assumptions of Hölder continuous coefficients. The regularity hypotheses on the coefficients are minimal. The same estimates hold also in the case of bianisotropic material parameters.
We show that the parabolic minimal surface equation has an eventual regularization effect, that is, the solution becomes smooth after a (strictly positive) finite time.
We prove that $C^{1,α}$ $s$-minimal surfaces are automatically $C^\infty$. For this, we develop a new bootstrap regularity theory for solutions of integro-differential equations of very general type, which we believe is of independent interest.
We show that the only nonlocal $s$-minimal cones in $\R^2$ are the trivial ones for all $s \in (0,1)$. As a consequence we obtain that the singular set of a nonlocal minimal surface has at most $n-3$ Hausdorff dimension.
In this paper, we study the structure of the singular set for a $C^{1}$ smooth surface in the $3$-dimensional Heisenberg group $\boldsymbol{H}_{1}$. We discover a Codazzi-like equation for the $p$-area element along the characteristic curves on the surface. Information obtained from this ordinary differential equation helps us to analyze the local configuration of the singular set and the characteristic curves. In particular, we can estimate the size and obtain the regularity of the singular set. We understand the global structure of the singular set through a Hopf-type index theorem. We also …
In this paper we study the global regularity for the solution to the Dirichlet problem of the equation of minimal graphs over a convex domain in hyperbolic spaces. We find that the global regularity depends only on the convexity of the domain but independent of its smoothness. Basing on the invariance of the problem under translation and rotation transforms, we construct the super-solution to the problem, by which we prove the optimal and accurate global regularity for this problem.
