Abstract
For any \(\Lambda >0\), let \(\mathcal {M}_{n,\Lambda }\) denote the space containing all locally Lipschitz minimal graphs of dimension n and of arbitrary codimension m in Euclidean space \(\mathbb {R}^{n+m}\) with uniformly bounded 2-dilation \(\Lambda \) of their graphic functions. In this paper, we show that this is a natural class to extend structural results known for codimension one. In particular, we prove that any tangent cone C of \(M\in \mathcal {M}_{n,\Lambda }\) at infinity has multiplicity one. This enables us to get a Neumann–Poincaré inequality on stationary indecomposable components of C. A corollary is a Liouville theorem for M. For small \(\Lambda >1\) (we can take any \(\Lambda <\sqrt{2}\)), we prove that (i) for \(n\le 7\), M is flat; (ii) for \(n>8\) and a non-flat M, any tangent cone of M at infinity is a multiplicity one quasi-cylindrical minimal cone in \(\mathbb {R}^{n+m}\) whose singular set has dimension \(\le n-7\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It has been a central aim of the theory of minimal graphs in Euclidean space to derive conditions under which an entire n-dimensional minimal graph, that is, a graph defined on all of \(\mathbb {R}^n\), of codimension m, that is, sitting in \(\mathbb {R}^{n+m}\), is affine linear. This is the famous Bernstein problem. Bernstein himself proved it for two-dimensional entire minimal graphs in \(\mathbb {R}^3\). For codimension 1, but in higher dimensions, this holds for \(n\le 7\) through successive efforts of Fleming [28], De Giorgi [17], Almgren [2] and culminating with Simons [48]. However, it is no longer true for \(n\ge 8\) by an example of Bombieri, De Giorgi and Giusti [7]. If we assume, however, in addition, that the graph has a bounded gradient, then this holds for any dimension n by a result of Moser [43]. This is the so-called weak version of the Bernstein Theorem.
Research on the Bernstein theorem was a crucial motivation for the great development of geometric measure theory. It is well known that an entire codimension 1 minimal graph \(\Sigma \) in \(\mathbb {R}^{n+1}\) is area-minimizing, i.e., the current associated with \(\Sigma \) is a minimizing current. Fleming [28] proved that any tangent cone \(C_\Sigma \) of \(\Sigma \) at infinity is a singular area-minimizing cone in \(\mathbb {R}^{n+1}\), which implies that it is a stable minimal hypersurface with multiplicity one. De Giorgi [17] further showed that \(C_\Sigma \) is cylindrical, i.e, \(C_\Sigma \) isometrically splits off a factor \(\mathbb {R}\).
In higher codimension, Almgren [3] derived sharp codimension 2 estimates for the singular sets of minimizing currents. In [18,19,20], De Lellis–Spadaro developed a new approach to the regularity of minimizing currents and could in particular rederive Almgren’s structure theorem. In general, however, minimal graphs of higher codimension are not minimizing. Nevertheless, some general structural results about minimal graphs in higher codimension are available. Utilizing the graph property, it is possible to study the structure and rigidity of minimal graphs of arbitrary codimension under some conditions but without a minimizing assumption.
In this paper, we approach this issue via studying tangent cones of minimal graphs at infinity. First of all, we need some condition on minimal graphs to guarantee that they have Euclidean volume growth. For that purpose, we now introduce the concept of bounded k-dilation. As we shall see, this condition provides a natural generalization of the bounded slope condition that has been used in many other papers about higher codimension Bernstein theorems.
Let \(f:\, M_1\rightarrow M_2\) be a locally Lipschitz map between Riemannian manifolds \(M_1,M_2\). For an integer \(k\ge 1\), f is said to have k-dilation \(\le \Lambda \) for some constant \(\Lambda \ge 0\) if f maps each k-dimensional submanifold \(S\subset M_1\) to an image \(f(S)\subset M_2\) with \(\mathcal {H}^k(f(S))\le \Lambda \mathcal {H}^k(S)\) where \(\mathcal {H}^k\) denotes k-dimensional Hausdorff measure. We note that this condition is the more restrictive the smaller k (up to the constant \(\Lambda \)). For \(k=1\), it simply means that f is \(\Lambda \)-Lipschitz. This is, of course, a strong condition. In this paper, we shall explore the case \(k=2\), that is, consider maps, or more precisely locally Lipschitz minimal graphs given by \(f:\mathbb {R}^n\rightarrow \mathbb {R}^m\) with bounded 2-dilation. But even for \(n=m=2\), minimal graphs have not necessarily bounded 2-dilation for their graphic functions, as the 2-dimensional minimal graphs given by \((\textrm{Re}\, e^z,-\textrm{Im}\, e^z):\,\mathbb {R}^2\rightarrow \mathbb {R}^2\). We should note, however, that these examples have zero k-dilation for \(k\ge 3\). Therefore, we cannot hope for a good theory on tangent cones of minimal graphs at infinity when we only restrict some k-dilation for \(k\ge 3\).
For any constant \(\Lambda \ge 0\), let \(\mathcal {M}_{n,\Lambda }\) denote the space containing all the locally Lipschitz minimal graphs over \(\mathbb {R}^n\) of arbitrary codimension \(m\ge 1\) with 2-dilation of their graphic functions \(\le \Lambda \). Here, the codimension m is bounded by a constant depending only on \(n,\Lambda \) using a result of Colding–Minicozzi [14] (which will be explained later), and this is the reason why the notation \(\mathcal {M}_{n,\Lambda }\) does not contain m. De Giorgi [16] obtained the regularity of codimension 1 locally Lipschitz minimal graphs (see also Moser [42]), while high codimensional locally Lipschitz minimal graphs may really admit singularities. We can already provide the following geometric intuition.
-
(1)
\(\mathcal {M}_{n,\Lambda }\) contains every codimension one minimal graph in \(\mathbb {R}^{n+1}\).
-
(2)
The product of Euclidean space \(\mathbb {R}^{\ell }\) and any minimal graphical hypersurface in \(\mathbb {R}^{n+1}\) is contained in \(\mathcal {M}_{n,\Lambda }\).
-
(3)
\(\sqrt{\Lambda }\)-Lipschitz graphs are in \(\mathcal {M}_{n,\Lambda }\). In particular, the minimal Hopf cones in \(\mathbb {R}^{2m}\times \mathbb {R}^{m+1}\) for \(m=2,4,8\) constructed by Lawson–Osserman [37] are in some \(\mathcal {M}_{n,\Lambda }\). See [25, 54] for more examples.
However, having a bounded Lipschitz constant is a much stronger condition than having bounded 2-dilation. For every bounded domain \(\Omega \subset \mathbb {R}^n\), we have constructed many examples of n-minimal graphs over \(\Omega \) of 2-dilation \(\le 1\) with arbitrary large slope, where they do not live in any \((n+1)\)-dimensional Euclidean subspace [23].
Having thus sketched the basic setting, we can explain the two main objectives of this paper. The first objective is the development of the theory of minimal graphs of arbitrary codimension in Euclidean space with uniformly bounded 2-dilation of their graphic functions. The principal aim is to understand the geometric structure, including multiplicity and stability, of such minimal graphs at infinity when the graphic functions are allowed to grow faster than linearly. Without Euclidean volume growth, geometric measure theory cannot say much about the possible limits of minimal graphs at infinity. Therefore, our first crucial issue will be to derive Euclidean volume growth from bounded 2-dilation. Importantly, their tangent cones at infinity have multiplicity one (see Theorem 1.1 below), which plays an essential role in establishing the Neumann–Poincaré inequality on stationary indecomposable components of the tangent cones.
This general theory prepares the ground for the second objective, to study the rigidity of minimal graphs of arbitrary codimension in Euclidean space without the assumption of the bounded slope. Under the condition of bounded 2-dilation for graphic functions, we prove a Liouville theorem for minimal graphs (see Theorem 1.2) with Neumann–Poincaré inequality, which generalizes the classical Liouville theorem obtained by Bombieri–De Giorgi–Miranda [8]. Concerning the Bernstein theorem, we prove that there exists a constant \(\Lambda >1\) such that for \(n\le 7\) each \(M\in \mathcal {M}_{n,\Lambda }\) is flat, for \(n\ge 8\) and any non-flat \(M\in \mathcal {M}_{n,\Lambda }\), any tangent cone of M at infinity is a quasi-cylindrical minimal cone (see Theorem 1.3). Here, the dimension 7 is sharp by the counter-examples by Bombieri-De Giorgi–Giusti [7], and a quasi-cylindrical minimal cone is exactly a cylinder in the codimension one case (see the definition below). Moreover, the constant \(\Lambda \) can be arbitrarily chosen \(<\sqrt{2}\). The constant \(\sqrt{2}\) is not essential for our whole theory but plays a role in making the volume functional subharmonic (see Corollary 7.1).
Let us now be more specific. In [12], Cheng–Li–Yau estimated the codimension for each minimal cone in Euclidean space via its density. Colding–Minicozzi [14] proved the dimension estimates for coordinate functions on more general minimal submanifolds of Euclidean volume growth. In Sect. 3, using the result of [14], we prove that every \(M\in \mathcal {M}_{n,\Lambda }\) has Euclidean volume growth with the density bounded by a constant depending only on \(n,\Lambda \) (see Lemma 3.2 for details). In particular, M lives in a Euclidean subspace with the codimension bounded by a constant depending on \(n,\Lambda \). Without the condition of bounded 2-dilation, of course minimal graphs need not have Euclidean volume growth, like the 2-dimensional minimal graph by \((\textrm{Re}\, e^z,-\textrm{Im}\, e^z):\,\mathbb {R}^2\rightarrow \mathbb {R}^2\) that we have already mentioned above (see Remark 3.1 for details).
Let v denote the slope of a minimal graph M over \(\mathbb {R}^n\) defined by \(\sqrt{\textrm{det} g_{ij}}\), where \(g_{ij}dx_idx_j\) is the metric of M induced from the ambient Euclidean space \(\mathbb {R}^{n+m}\). In fact, \(v=\tilde{v}\circ \gamma \), where \(\tilde{v}\) is a natural function in the Grassmannian manifold \(\textbf{G}_{n,m}\) and \(\gamma \) stands for the Gauss map. The slope describes how far M is from the fixed n-plane \(\mathbb {R}^n\). We will explain its geometric meaning later in detail from the perspective of the Grassmannian manifold. For \(0\le \Lambda <1\) and \(M\in \mathcal {M}_{n,\Lambda }\) with codimension \(m\ge 1\), the corresponding \(\tilde{v}\) is convex in \(\textbf{G}_{n,m}\), and then \(v=\tilde{v}\circ \gamma \) is subharmonic. This leads to flatness of M proved by Wang [49] under the bounded slope condition. When \(\Lambda >1\), the function \(\tilde{v}\) in general is not convex. In fact, our class \(\mathcal {M}_{n,\Lambda }\) is much richer when \(\Lambda > 1\) is larger.
If \(M\in \mathcal {M}_{n,\Lambda }\) is minimizing, then it is not difficult to prove the multiplicity one of the tangent cone of M at infinity. However, the multiplicity one holds without the minimizing condition. Moreover, we can show the stability of the tangent cone in some small neighborhood via the slope function v in Sect. 4.
Theorem 1.1
Let M be a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 1\) with bounded 2-dilation of its graphic function. Then any tangent cone C of M at infinity has multiplicity one. Moreover, if a tangent cone of C contains a line perpendicular to the n-plane \(\{(x,0^m)\in \mathbb {R}^n\times \mathbb {R}^m|\, x\in \mathbb {R}^n\}\), then it is a cylindrical stable minimal cone in an \((n+1)\)-dimensional Euclidean subspace.
Remark 1.1
We do not know whether the cylindrical stable minimal cone obtained in Theorem 1.1 is minimizing. Even we have no a priori dimensional estimates on its singular set of the cylindrical stable minimal cone.
In fact, we prove a somewhat stronger version than Theorem 1.1, where we do not need to require that the graphs are entire. The proof of multiplicity one is somewhat difficult because of the complex interplay between geometry and analysis for submanifolds of high codimensions. Our strategy therefore consists in using the structure of the minimal surface system to treat the higher codimension case as a perturbation of the codimension one case with error terms including some quantities from the other codimensions. The key idea is projecting the minimal graph M to a hypersurface \(M'\) in a suitable \((n+1)\)-dimensional Euclidean subspace. In general \(M'\) is no more minimal, but from M we can get effective estimates up to a set of arbitrary small measure in the scaling sense.
In 1969, Bombieri–De Giorgi–Miranda [8] showed a Liouville theorem for solutions to the minimal surface equation via interior gradient estimates (see also the exposition in chapter 16 of [30]). For high codimensions, Wang proved a Liouville type theorem for minimal graphs with positive graphic functions under the area-decreasing condition [50]. This condition also means that the graphic functions have 2-dilation bounded by \(\Lambda <1\).
Let \(\textbf{B}_r\) denote the ball in \(\mathbb {R}^{n+m}\) with the radius r and centered at the origin. Let \(B_r\) denote the ball in \(\mathbb {R}^{n}\) with the radius r and centered at the origin. Inspired by Bombieri–Giusti [9], we establish the Neumann–Poincaré inequality on stationary indecomposable components of tangent cones of minimal graphs at infinity, and get Harnack’s inequality for positive harmonic functions on the components. Then we can get the following Liouville theorem without the subharmonic functions in terms of the gradient functions on minimal graphs in Sect. 6, which generalizes Bombieri–De Giorgi–Miranda’s result in [8], and improves Wang’s result in [50].
Theorem 1.2
Let \(M=\textrm{graph}_u\) be a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 2\) with bounded 2-dilation of \(u=(u^1,\ldots ,u^m)\). If
for each \(\alpha \in \{2,\ldots ,m\}\), and
then M is flat.
As a result, we immediately have the following corollary by considering the minimal graphical function \((0,u^1,\ldots ,u^m)\) in Theorem 1.2.Footnote 1
Corollary 1.1
Let \(M=\textrm{graph}_u\) be a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 2\) with bounded 2-dilation of \(u=(u^1,\ldots ,u^m)\). If
for each \(\alpha \in \{1,\ldots ,m\}\), then M is flat.
In the proof of Theorem 1.2, we need to prove a De Giorgi type result, i.e., every tangent cone of M at infinity is a cylinder if it lives in an \((n+1)\)-dimensional Euclidean subspace. Using this, we can reduce the problem to the codimension 1 case with the Neumann–Poincaré inequality. Then we can finish the proof by the regularity of codimension 1 Lipschitz minimal graphs from De Giorgi [16].
According to this introduction, people have an essentially complete understanding of the classical case of codimension 1 Bernstein theorem. The question then naturally arises what we can say for higher codimension.
We can now briefly review the Bernstein type theorems for minimal graphs of bounded slope of codimension \(m\ge 2\). Bounded slope condition is an adequate generalization of bounded gradient to higher codimension. For \(m\ge 2\), Chern and Osserman [13] showed that any 2-dimensional minimal graph of bounded slope in \(\mathbb {R}^{2+m}\) is flat, which was generalized in [32] (for \(m=2\)) and [35] without bounded slope. Barbosa and Fischer-Colbrie proved this for 3-dimensional minimal graphs of bounded slope in [6, 27]. Recently, Assimos–Jost [5] proved a Bernstein type theorem for minimal graphs of bounded slope in codimension \(m=2\). For dimension \(\ge 4\) and codimension \(\ge 3\), this no longer holds, by an example of Lawson and Osserman [37]. However, a Bernstein type theorem holds for small slope v such as Simons [48], Hildebrandt–Jost–Widman [33], Jost–Xin [34], Jost–Xin–Yang [36]. In particular, any minimal graph of slope \(\le 3\) in Euclidean space is flat [36].
But we may also ask whether there exist other natural conditions that ensure a higher codimension Bernstein theorem. We point out that when \(v=\tilde{v}\circ \gamma \le 3\), \(\tilde{v}\) need no longer be convex on the Grassmannian manifold, the target manifold of the Gauss map of M. Note that \(v=9\) in Lawson–Osserman’s example mentioned above. Hence, if every minimal graph \(M\in \mathcal {M}_{n,\Lambda }\) is flat, then \(\Lambda \) must be small. Without the conditions (1.1), (1.2) of Theorem 1.2, we can study the structure of tangent cones of minimal graphs at infinity for small \(\Lambda >1\) using Theorem 1.1 and the Neumann–Poincaré inequality.
Now let us introduce the concept ‘quasi-cylindrical’ for studying the unbounded slope case. For an integer \(1\le k\le n\) and a k-varifold V in \(\mathbb {R}^{n+m}\), V is said to be high-codimensional quasi-cylindrical (quasi-cylindrical for short) if there are a countably \((k-1)\)-rectifiable set E in \(\mathbb {R}^n\), and there is a countably 1-rectifiable normalized curve \(\gamma _x:\,\mathbb {R}\rightarrow \mathbb {R}^m\) for almost all \(x\in E\) such that the set \(E_\gamma \triangleq \{(x,y)\in \mathbb {R}^n\times \mathbb {R}^m|\, x\in E,\, y\in \gamma _x\}\) satisfies
Note that ‘quasi-cylindrical’ is simply ‘cylindrical’ for \(m=1\). Hence, quasi-cylindrical varifolds can be seen as a generalization of cylindrical varifolds in the case of high codimensions in Euclidean space.
Theorem 1.3
There exists a constant \(\Lambda >1\) such that if M is a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 1\) with 2-dilation of its graphic function bounded by \(\Lambda \), then either M is flat, or M is non-flat with \(n\ge 8\). Furthermore, for non-flat M, any tangent cone of M at infinity is a multiplicity one quasi-cylindrical minimal cone in \(\mathbb {R}^{n+m}\) whose singular set has dimension \(\le n-7\).
In the codimension one case, Theorem 1.3 for \(n\le 7\) has been proved by Simons [48], and the dimension 7 is sharp from [7]. So Theorem 1.3 is a generalization in high codimension. Actually, our proof is based on Simons’ result that any stable minimal regular hypercone C in \(\mathbb {R}^{k}\) is flat for \(k\le 7\), where Simons’ result holds allowing that C has singularities in some sense, see [51]. For the case \(n\ge 8\) of Theorem 1.3, the singular set of dimension \(\le n-7\) is obtained through stable minimal hypercones combining Theorem 1.1. The only purpose of the upper bound for the constant \(\Lambda \) in Theorem 1.3 is to ensure that there is a constant \(\delta >0\) (which may depend on \(\Lambda ,n,m\)) such that there holds
on the minimal graph M (see Corollary 7.1), where \(\Delta _M,B_M\) denote the Laplacian, the second fundamental form of M, respectively. Noting that (1.4) always holds with \(\delta =1\) for \(n=2\) no matter how large \(\Lambda \) is (see Proposition 2.2 in [27] for instance). Hence, Theorem 1.3 immediately implies the following Bernstein theorem for 2-dimensional entire minimal graphs, which generalizes the results in [13, 32].
Corollary 1.2
Let M be a locally Lipschitz minimal graph over \(\mathbb {R}^2\) of codimension \(m\ge 1\) with bounded 2-dilation of its graphic function, then M is flat.
In general, the constant \(\Lambda \) in Theorem 1.3 can be arbitrarily chosen \(<\sqrt{2}\), and we do not know whether \(\sqrt{2}\) is sharp, though it appears naturally for the subharmonicity of \(\log v\). In fact, we can find a slightly weaker condition for the Bernstein theorem in all dimensions in the situation of bounded slope (see Theorem 7.1).
2 Preliminaries
Let \(\mathbb {R}^k\) denote the Euclidean space for each integer \(k\ge 1\), and \(0^k\) denote the origin of \(\mathbb {R}^k\). Let \(B^k_r(x)\) be the ball in \(\mathbb {R}^k\) with the radius r and centered at \(x\in \mathbb {R}^k\), and \(B_r(x)=B^n_r(x)\) for convenience. Let \(\textbf{B}_r(\textbf{x})\) be the ball in \(\mathbb {R}^{n+m}\) with the radius r and centered at \(\textbf{x}\in \mathbb {R}^{n+m}\). We denote \(B_r=B_r(0^n)\), \(\textbf{B}_r=\textbf{B}_r(0^{n+m})\) for convenience. We always use D to denote the derivative on \(\mathbb {R}^n\). For any subset E in \(\mathbb {R}^n\), for any constant \(0\le s\le n\) we define \(\mathcal {H}^s(E)\) to be the s-dimensional Hausdorff measure of E. Let \(\omega _k\) denote the k-dimensional Hausdorff measure of \(B^k_1(0^k)\). We use the summation convention and agree on the ranges of indices:
unless otherwise stated.
Let M be an n-dimensional smooth Riemannian manifold, and \(M\rightarrow \mathbb {R}^{n+m}\) be an isometric immersion. Let \(\nabla \) and \(\bar{\nabla }\) be Levi-Civita connections on M and \(\mathbb {R}^{m+n}\), respectively. Here, \(\nabla \) is induced from \(\bar{\nabla }\) naturally. The second fundamental form \(B_M\) on the submanifold M is defined by \(B_M(\xi ,\eta )=\bar{\nabla }_\xi \eta -\nabla _\xi \eta =(\bar{\nabla }_\xi \eta )^N\) for any vector fields \(\xi ,\eta \) along M, where \((\cdots )^N\) denotes the projection onto the normal bundle NM (see [55] for instance). Let \(e_1,\ldots ,e_n\) be a local orthonormal frame field near a considered point in M. Let \(|B_M|^2\) denote the square norm of \(B_M\), i.e., \(|B_M|^2=\sum _{i,j=1}^n|B_M(e_i,e_j)|^2\) (This notation should not be confused with that of the ball \(B_r\)). Let H denote the mean curvature vector of M in \(\mathbb {R}^{n+m}\) defined by the trace of \(B_M\), i.e., \(H=\sum _{i=1}^nB_M(e_i,e_i)\). This is a normal vector field. M is said to be minimal if \(H\equiv 0\) on M. More generally, M has parallel mean curvature if \(\nabla H\equiv 0\).
2.1 Grassmannian manifolds and Gauss maps
We will study minimal submanifolds in ambient Euclidean space. The target manifolds of the Gauss map of minimal submanifolds are Grassmannian manifolds. For convenience of later application, let us describe the geometry of the Grassmannian manifolds. In \(\mathbb {R}^{n+m}\) all the oriented n-subspaces constitute the Grassmann manifold \(\textbf{G}_{n,m}\), which is the Riemannian symmetric space of compact type \(SO(n+m)/SO(n)\times SO(m)\), where SO(k) denotes the k-dimensional special orthogonal group for each integer k. \(\textbf{G}_{n,m}\) can be viewed as a submanifold of some Euclidean space via the Plücker embedding. The restriction of the Euclidean inner product on M is denoted by \(w:\textbf{G}_{n,m}\times \textbf{G}_{n,m}\rightarrow \mathbb {R}\)
where P is presented by a unit n-vector \(e_1\wedge \cdots \wedge e_n\), Q is presented by another unit n-vector \(f_1\wedge \cdots \wedge f_n\), and \(W=\big (\langle e_i,f_j\rangle \big )\) is an \((n\times n)\)-matrix. It is well-known that
with O an orthogonal matrix and \(0\le \mu _i\le 1\) for each i. Putting \(p\triangleq \min \{m,n\}\), then at most p elements in \(\{\mu _1^2,\ldots , \mu _n^2\}\) are not equal to 1. Without loss of generality, we can assume \(\mu _i=1\) whenever \(i>p\).
For a unit vector \(\xi =\sum _i a_i e_i\in P\), let \(\xi ^*\) denote its projection into Q, i.e.,
Then
Certainly, the matrix \((\sum _l\langle e_i,f_l\rangle \langle e_j,f_l\rangle )_{i,j}\) has eigenvalues \(\mu _1^2,\ldots ,\mu _n^2.\) Hence, we can introduce the Jordan angles \(\theta _1,\ldots ,\theta _n\) between two points \(P,\; Q\in \textbf{G}_{n,m}\) defined by
which are actually critical values of the angle between a nonzero vector \(\xi \) in P and its orthogonal projection \(\xi ^*\) in Q as \(\xi \) runs through P (see Wong [53] or Xin [55] for further details).
We also note that the \(\mu _i\) can be expressed as
so that
where \(\lambda _i\) has explicit meaning in studying graphs of high codimensions (We will explain it later). The distance between P and Q is defined by
Let \(E_{i\alpha }\) be the matrix with 1 in the intersection of row i and column \(\alpha \) and 0 otherwise. Then, \(\sec \theta _i\sec \theta _\alpha E_{i\alpha }\) form an orthonormal basis of \(T_P\textbf{G}_{n,m}\) with respect to the canonical Riemannian metric g on \(\textbf{G}_{n,m}\) (compatible to (2.4)). Denote its dual frame by \(\tilde{\omega }_{i\alpha }.\) Then g can be written as
Denote \(\tilde{\omega }_{\beta \alpha }=0\) for \(\beta \ge n+1\).
Now we fix \(P_0\in \textbf{G}_{n,m}.\) Denote
where w is defined in (2.1). The Jordan angles between P and \(P_0\) are defined by \(\{\theta _i\}\). Let \(\mathbb {T}^{2,\Lambda }\) be a 2-bounded subset of \(\mathbb {W}_0\) defined by
In [34], we already have the largest geodesic convex subset \(B_{JX}(P_0)\), which is defined by sum of any two Jordan angles being less than \(\pi \over 2\) for any point \(P\in B_{JX}(P_0)\). It is easily seen that
Hence, the distance function from \(P_0\) is convex on \(\mathbb {T}^{2,1}\), but is no longer convex on \(\mathbb {T}^{2,\Lambda }\) when \(\Lambda >1\).
Our fundamental quantity will be
It is easily seen that
where \(\theta _1,\ldots ,\theta _n\) denote the Jordan angles between P and \(P_0\). In this terminology, from (3.8) in [56], we get
and
Combining (2.10), (2.11), it follows that (see (3.9) in [56] for instance)
Let M be an n-dimensional smooth submanifold in \(\mathbb {R}^{n+m}\). Around any point \(p\in M\), we choose an orthonormal frame field \(e_i,\ldots , e_{n+m}\) in \(\mathbb {R}^{n+m},\) such that \(\{e_i\}\) are tangent to M and \(\{e_{n+\alpha }\}\) are normal to M. We let \(\{\omega _1,\ldots ,\omega _{n+m}\}\) denote its dual frame field so that the metric on M is \(\sum _i \omega _i^2\) and the Euclidean metric in \(\mathbb {R}^{n+m}\) is
The Levi-Civita connection forms \(\omega _{ab}\) of \(\mathbb {R}^{n+m}\) are uniquely determined by the equations
where \(a, b=1,\ldots , n+m\). Moreover, we have the equations
where \(h_{\alpha , ij}=\langle \bar{\nabla }_{e_i}e_j,e_{n+\alpha }\rangle \) are the coefficients of the second fundamental form \(B_M\) of M in \(\mathbb {R}^{n+m}.\) The Gauss map \(\gamma : M\rightarrow \textbf{G}_{n,m}\) is defined by
via the parallel translation in \(\mathbb {R}^{n+m}\) for every \(p\in M\). We also have
Up to an isotropic group \(SO(n)\times SO(m)\) action, we can assume \(\omega _{i\ n+\alpha }=\gamma ^*\tilde{\omega }_{i \alpha }\) at p (see section 8.1 in [55] for instance). Combining (2.13), we obtain
By the Ruh–Vilms theorem [45], the mean curvature of M is parallel if and only if its Gauss map \(\gamma \) is a harmonic map.
Now we define a function
which will play a basic role in this paper. Using the composition formula, in conjunction with (2.12), (2.14) and (2.15), and the fact that \(\tau (\gamma )=0\) (the tension field of the Gauss map vanishes [45]), we can deduce the following important formula (see also Lemma 1.1 in [27] or Prop. 2.1 in [49]).
Proposition 2.1
Let M be an n-dimensional smooth submanifold in \(\mathbb {R}^{n+m}\) with parallel mean curvature. Then at any considered point p
where \(\Delta _M\) is the Laplacian on M, \(h_{\alpha ,ij}\) are defined in (2.13). Let \(\nabla _M\) denote the Levi-Civita connection of M. Combining (2.10) and (2.17), one has
2.2 Varifolds and currents from geometric measure theory
Let us recall Almgren’s notion of varifolds from geometric measure theory (see [39, 47] for more details), which is a generalization of submanifolds. For a set S in \(\mathbb {R}^{n+m}\), we call S n-rectifiable if \(S\subset S_0\cup F_1(\mathbb {R}^n)\), where \(\mathcal {H}^n(S_0)=0\), and \(F_1:\, \mathbb {R}^n\rightarrow \mathbb {R}^{n+m}\) is a Lipschitz mapping. More general, we call S countably n-rectifiable if \(S\subset S_0\cup \bigcup _{k=1}^\infty F_k(\mathbb {R}^n)\), where \(\mathcal {H}^n(S_0)=0\), and \(F_k:\, \mathbb {R}^n\rightarrow \mathbb {R}^{n+m}\) are Lipschitz mappings for all integers \(k\ge 1\). By Rademacher’s theorem, a countably n-rectifiable set has tangent spaces at almost every point. Suppose \(\mathcal {H}^n(S)<\infty \). Let \(\theta \) be a positive locally \(\mathcal {H}^n\) integrable function on S. Let |S| be the varifold associated with the set S. The associated varifold \(V=\theta |S|\) is called a rectifiable n-varifold. \(\theta \) is called the multiplicity function of V. In particular, the multiplicity of |S| equal to one on S. If \(\theta \) is integer-valued, then V is said to be an integral varifold. Associated to V, there is a Radon measure \(\mu _V\) defined by \(\mu _V=\mathcal {H}^n\llcorner \theta \), namely,
For an open set \(U\subset \mathbb {R}^{n+m}\), V is said to be stationary in U if
for each \(Y\in C^\infty _c(U,\mathbb {R}^{n+m})\). Here, \(\textrm{div}_S Y\) is the divergence of Y restricted on S. When we say an n-dimensional minimal cone C in \(\mathbb {R}^{n+m}\), we mean that C is an integral stationary varifold with support being a cone. One of the most important properties of the stationary varifold V is that the function
is monotone non-decreasing for \(0<\rho <\rho _0\) with \(\rho _0\le d(\textbf{x},\partial V)\) and \(\textbf{x}\in \mathbb {R}^{n+m}\). By Rademacher’s theorem, we can define the derivative \(\nabla _V\) on V for Lipschitz functions almost everywhere (see Definition 12.1 in [47] for instance).
Let \(\{V_j\}_{j\ge 0}\) be a sequence of integral stationary n-varifolds with the Radon measure \(\mu _{V_j}\) associated to \(V_j\) satisfying
By compactness theorem of varifolds (see Theorem 42.7 and its proof in [47]), there are a subsequence \(V_{j'}\) and an integral stationary n-varifold \(V_\infty \) such that \(V_{j'}\) converges to \(V_\infty \) in the varifold (Radon measure) sense.
Let us recall Sobolev inequality on a stationary varifold V in U. Michael–Simon [41] proved the following Sobolev inequality on V (actually, for general submanifolds of mean curvature type). There is a constant \(c_n>0\) depending only on n such that
holds for each Lipschitz function f with compact support in U. Recently, Brendle [10] obtained the sharp Sobolev constant for minimal submanifolds of codimensions \(\le 2\) (see [40] for the relative version).
Let \(\mathcal {D}^n(U)\) denote the set including all smooth n-forms on the open \(U\subset \mathbb {R}^{n+m}\) with compact supports in U. Denote \(\mathcal {D}_n(U)\) be the set of n-currents in U, which are continuous linear functionals on \(\mathcal {D}^n(U)\). For each \(T\in \mathcal {D}_n(U)\) and each open set W in U, one defines the mass of T on W by
with \(|\omega |_U=\sup _{x\in U}\langle \omega (x),\omega (x)\rangle ^{1/2}\). Let \(\partial T\) be the boundary of T defined by \(\partial T(\omega ')=T(d\omega ')\) for any \(\omega '\in \mathcal {D}^{n-1}(U)\). For \(T\in \mathcal {D}_n(U)\), T is said to be an integer multiplicity current if it can be expressed as
where S is a countably n-rectifiable subset of U, \(\theta \) is a locally \(\mathcal {H}^n\)-integrable positive integer-valued function, and \(\xi \) is an orientation on S, i.e., \(\xi (x)\) is an n-vector representing the approximate tangent space \(T_xS\) for \(\mathcal {H}^n\)-a.e. x. Let \(f:\ U\rightarrow \mathbb {R}^p\) be a \(C^1\)-mapping with \(p\ge n\), and \(f_*\xi \) denote the push-forward of \(\xi \), which is an orientation of f(S) in \(\mathbb {R}^p\). We define \(f(T)\in \mathcal {D}_n(\mathbb {R}^p)\) by letting
for each \(\omega \in \mathcal {D}^n(\mathbb {R}^p)\), where \(S_*=\{x\in S|\, |f_*\xi (x)|>0\}\). It’s clear that f(T) is an integer multiplicity current in \(\mathbb {R}^p\).
Let |T| denote the varifold associated with T, i.e., \(|T|=\theta |S|\). If both T and \(\partial T\) are integer multiplicity rectifiable currents, then T is called an integral current. Federer and Fleming [26](see also 27.3 Theorem in [47]) proved a compactness theorem (or referred to as a closure theorem): a sequence of integral currents \(T_j\in \mathcal {D}_n(U)\) with \(\mathbb {M}(T_j)\) and \(\mathbb {M}(\partial T_j)\) uniformly bounded admits a subsequence that converges weakly to an integral current. For an integer \(k\ge 1\), we recall that an integral current \(T\in \mathcal {D}_k(\mathbb {R}^{n+m})\) is decomposable in U (see Bombieri–Giusti [9]) if there exist integral currents \(T_1,T_2\in \mathcal {D}_k(U)\) with \(T_1\llcorner U,T_2\llcorner U\ne 0\) such that
for any \(W\subset \subset U\). Here, \(T_1,T_2\) are called components of \(T\llcorner U\). On the contrary, T is said to be indecomposable in U. If T is decomposable (indecomposable) in any open \(W\subset \subset \mathbb {R}^{n+m}\), then we say T decomposable(indecomposable) for simplicity.
All n-dimensional minimal graphs in \(\mathbb {R}^{n+1}\) are area-minimizing, which is not true for the higher codimension case in general. Bombieri–Giusti [9] proved that every codimension one area-minimizing current in Euclidean space is indecomposable, and the following uniform Neumann–Poincaré inequality holds on any area-minimizing hypersurface \(\Sigma \) in \(\mathbb {R}^{n+1}\). There is a constant \(c_n>0\) depending only on n such that for any \(x\in \Sigma \), \(r>0\), any Lipschitz function f on \(B_r(x)\)
The uniform Neumann–Poincaré inequality plays a significant role in the mean value inequality for superharmonic functions. As applications, they got several impressive results for minimal graphs of codimension 1. Note that (2.23) does not hold for all minimal hypersurfaces; for instance, the catenoid is a counterexample.
2.3 Lipschitz graphs of high codimensions
Let \(f:\, M_1\rightarrow M_2\) be a locally Lipschitz map between Riemannian manifolds \(M_1\) and \(M_2\). For each point \(p\in M_1\) and each integer \(k>0\), let \(\Lambda ^kdf|_p:\,\Lambda ^kT_pM_1\rightarrow \Lambda ^kT_{f(p)}M_2\) be the k-Jacobian map induced by the differential \(df|_p:\,T_pM_1\rightarrow T_{f(p)}M_2\) at differentiable points of f. Let \(\kappa _1,\ldots ,\kappa _n\) denote the singular values of the Jabobi matrix df at any considered differentiable point of f. We let \(|\Lambda ^2df|\) be the 2-dilation of f defined by
while \(|\Lambda ^1df|\) is the 1-dilation, i.e. the Lipschitz norm \(\textrm{Lip}\,f=|\Lambda ^1df|=\sup _{i}|\kappa _i|.\) f is said to have 2-dilation bounded by \(\Lambda \) for some constant \(\Lambda \ge 0\) if \(|\Lambda ^2df|\le \Lambda \) a.e. on \(M_1\). Let \(\textbf{Lip}\, f=\sup _{x\in M_1}\textrm{Lip}\, f(x)\) denote the Lipschitz constant of f on \(M_1\).
In the case f being a locally Lipschitz map from an open \(\Omega \subset \mathbb {R}^n\) into \(\mathbb {R}^m\), its graph defines a locally Lipschitz submanifold M in \(\mathbb {R}^{n+m}.\) Let \(\Omega _*\) be the largest subset of \(\Omega \) such that f is \(C^1\) on \(\Omega _*\), and \(\textrm{reg} M=\{(x,f(x))|\, x\in \Omega _*\}\). \(\textrm{reg} M\) is called the regular part of M. Now we have the usual Gauss map from \(\textrm{reg} M\). Let \(\{\textbf{E}_1,\ldots , \textbf{E}_{n+m}\}\) be the standard orthonormal basis of \(\mathbb R^{m+n}\). At each point in \(\textrm{reg} M\) its image n-plane P under the Gauss map is spanned by \(\tilde{f}_1,\ldots ,\tilde{f}_n\) with
where \(f^{\alpha }_i=\frac{\partial f^{\alpha }}{\partial x^i}\). Let \(\theta _1,\ldots ,\theta _n\) be the Jordan angles between \(\textbf{E}_1\wedge \cdots \wedge \textbf{E}_n\) and \(\tilde{f}_1\wedge \cdots \wedge \tilde{f}_n\). Let \(\xi \) denote an orientation of M defined by
on \(\textrm{reg} M\) with \(|\tilde{f}_1\wedge \cdots \wedge \tilde{f}_n|^2=\det (\delta _{ij}+\sum _\alpha f^{\alpha }_if^{\alpha }_j)\). In particular, \(\xi \) is continuous on \(\textrm{reg} M\), and \(\xi (x)\) represents the tangent space \(T_xM\) as a unit n-vector for each \(x\in \textrm{reg} M\). We denote \([|M|]\in \mathcal {D}_n(\Omega \times \mathbb {R}^m)\) as the n-current associated with M and its orientation \(\xi \). Let \(\lambda _i=\tan \theta _i\) as (2.3), then \(\lambda _1,\ldots ,\lambda _n\) are the singular values of df at each point \(x\in \Omega \). Namely, \(\lambda _i^2\) are eigenvalues of the matrix \(\left( \sum _\alpha \frac{\partial f^{\alpha }}{\partial x^i}\frac{\partial f^{\alpha }}{\partial x^j}\right) .\) Hence, the Gauss image of any point in \(\textrm{reg} M\) is spanned by orthonormal vectors
Suppose that the n-plane \(P_0\) in (2.6) is spanned by \(\textbf{E}_1,\ldots ,\textbf{E}_n\). Recalling (2.7), we have a conclusion:
Proposition 2.2
For a locally Lipschitz graph \(M=\textrm{graph}_f\) in \(\mathbb {R}^{n+m}\), the image under the Gauss map from \(\textrm{reg} M\) lies in 2-bounded subset \(\mathbb {T}^{2,\Lambda }\subset \mathbb {W}_0 \subset \textbf{G}_{n,m}\) if and only if the defining map f has bounded 2-dilation by \(\Lambda \).
Let \(u=(u^1,\ldots ,u^m)\) be a locally Lipschitz (vector-valued) function on an open \(\Omega \subset \mathbb {R}^n\). Let \(g_{ij}=\delta _{ij}+\sum _{\alpha =1}^m\partial _{x_i}u^{\alpha }\partial _{x_j}u^{\alpha }\), and \((g^{ij})\) be the inverse matrix of \((g_{ij})\) for almost every point in \(\Omega \). Let M be the graph of the function u, which is countably n-rectifiable. We can define the slope function of M by
\(\mathcal {H}^n\)-a.e. on \(\Omega \). Note that we also see u, v as the functions on M by letting \(u(x,u(x))=u(x)\) and \(v(x,u(x))=v(x)\) for every \(x\in \Omega \). If the varifold associated with M is stationary, then all the coordinate functions are weakly harmonic on M (see [15] for instance), i.e., all the \(x_1,\ldots ,x_n\) and \(u^1,\ldots , u^{\alpha }\) are weakly harmonic on M. Namely, for any Lipschitz function \(\phi \) on \(\Omega \) with compact support on \(\Omega \), there holds
and
We call M a minimal graph if and only if the varifold associated with M is stationary. Unlike minimal graphs of codimension one, minimal graphs of higher codimensions may be only Lipschitz as in the examples by Lawson–Osserman [37]. For simplicity, we say that the graph M has 2-dilation bounded by \(\Lambda \), if its graphic function \(u:\Omega \rightarrow \mathbb {R}^m\) has 2-dilation bounded almost everywhere by \(\Lambda \). Namely, \(|\Lambda ^2du|\le \Lambda \) \(\mathcal {H}^n\)-a.e. on \(\Omega \).
From the interior regularity theorem of Morrey, u is smooth at the differentiable points. Then from (2.28), u satisfies the following minimal surface system
at differentiable points of u. By [44] (or [37]), (2.29) is equivalent to
at differentiable points of u.
3 Volume estimates for minimal graphs
Let M be a locally Lipschitz minimal graph of the graphic function \(u=(u^1,\ldots ,u^m)\) over \(B_R\) of codimension \(m\ge 1\) in \(\mathbb {R}^{n+m}\). Then the induced metric of the graph is \(g_{ij}=\delta _{ij}+ \frac{\partial u^{\alpha }}{\partial x^i}\frac{\partial u^{\alpha }}{\partial x^j}\), and we denote \(v=\left( \det (g_{ij})\right) ^{\frac{1}{2}}.\) Let D denote the derivative on \(\mathbb {R}^n\), and \(\nabla \) denote the Levi-Civita connection of the regular part of M.
Lemma 3.1
Suppose that u has 2-dilation bounded by \(\Lambda \). Then we have a volume estimate:
for any ball \(\textbf{B}_{2r}(\textbf{x})\) in \(B_R\times \mathbb {R}^{m}\), where \(c_{n,\Lambda }\) is a constant \(\ge 1\) depending only on \(n,\Lambda \).
Proof
For proving (3.1), we only need to consider the ball \(\textbf{B}_r\) with \(\textbf{B}_{2r}\subset B_R\times \mathbb {R}^{m}\). Without loss of generality, we can assume \(u^{\alpha }(0)=0\) for each \(\alpha \). Let \(\mathfrak {u}^{\alpha }_r\) be a function on \(B_{2r}\) defined by
For any \(\delta \in (0,r]\), we define a non-negative Lipschitz function \(\eta \) on \(\mathbb {R}^{n}\) given by
From (2.28), for each \(\alpha \) we have
We can check
which is obvious when \(m=1\). Combining (3.2) and (3.3), one has
For each considered point in \(B_{(1+\delta )r}\backslash B_r\), we can assume \(g_{ij}=(\sec ^2\theta _i)\delta _{ij},\) where \(\lambda _i^2=\tan ^2\theta _i\) are eigenvalues of \(\left( \sum _\alpha \frac{\partial f^{\alpha }}{\partial x^i}\frac{\partial f^{\alpha }}{\partial x^j}\right) \). Then \(v=\left( \det (g_{ij})\right) ^{\frac{1}{2}}=\prod \sec \theta _i.\) Moreover, there is an orthonormal matrix \((a_{\alpha \beta })\) so that \(\frac{\partial u^{\alpha }}{\partial x^j}=a_{\alpha j}\lambda _j=a_{\alpha j}\tan \theta _j\) (We let \(a_{\alpha j}=0\) for \(j\ge m+1\)). Hence, for each \(\alpha \)
Under the condition of the 2-dilation bounded by \(\Lambda \), namely, \(\tan \theta _i\tan \theta _j\le \Lambda \) for \(i\ne j\)
where c and \(c'\) depend on \(\Lambda \) and n. Using Cauchy inequality, from (3.5) we get
Substituting (3.6) into (3.4) gives
Thus,
This completes the proof. \(\square \)
If M is an entire minimal graph, the estimation in (3.1) of Lemma 3.1 can be independent of the codimension m.
Lemma 3.2
Let \(M=\textrm{graph}_u\) be a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 2\) with \(\sup _{\mathbb {R}^n}|\Lambda ^2du|\le \Lambda \). Then there is a constant \(C_{n,\Lambda }\ge 1\) depending only on \(n,\Lambda \) such that M is contained in some affine subspace of dimension \(\le C_{n,\Lambda }\) and for any ball \(\textbf{B}_r(\textbf{x})\) in \(\mathbb {R}^{n+m}\)
Proof
From Colding–Minicozzi (Corollary 1.4 in [14]), M must be contained in some affine subspace \(\mathbb {V}\) of the dimension
where \(c_n=\frac{3n}{n-1}2^{n+3}e^8\) and
In particular, for \(\mathfrak {p}=n\), M is flat. Let \(\widetilde{\mathbb {V}}\) be the linear space spanned by vectors in \(\mathbb {V}\) and vectors in the n-plane \(\{(x,0^m)\in \mathbb {R}^n\times \mathbb {R}^m|\, x\in \mathbb {R}^n\}\). Then \(\widetilde{\mathbb {V}}\) has dimension \(\tilde{\mathfrak {p}}\le \mathfrak {p}+n\). Hence up to an isometric transformation of \(\mathbb {R}^m\), M can be written as a graph over \(\mathbb {R}^n\) in \(\mathbb {R}^{\tilde{\mathfrak {p}}}\) with the graphic function w satisfying \(\sup _{\mathbb {R}^n}|\Lambda ^2dw|\le \Lambda \). From Lemma 3.1 and (3.8), we have
which implies \(\mathfrak {p}\le c_n^2c_{n,\Lambda }^2\). Therefore, from Lemma 3.1 again, we get
We complete the proof by the monotonicity of \(r^{-n}\mathcal {H}^n(M\cap \textbf{B}_r(\textbf{x}))\) on r. \(\square \)
The constant \(c_{n,\Lambda }\) in (3.1) or \(C_{n,\Lambda }\) in (3.7) depends on \(\Lambda \) in general. Even, without the bounded 2-dilation, minimal graphs have much faster volume growth in view of the following remark.
Remark 3.1
For a smooth harmonic function \(\phi \) on \(\mathbb {R}^2\), the graph \(M=\{(x,y,D\phi )\in \mathbb {R}^4|\ (x,y)\in \mathbb {R}^2\}\) is a special Lagrangian submanifold in \(\mathbb {R}^4\), and in particular, minimal. Let \(\phi =\textrm{Re}\, e^z=e^x\cos y\). Then \(D\phi =(\textrm{Re}\, e^z,-\textrm{Im}\, e^z)\). By a straightforward computation,
For any point \((x,y,D\phi )\in \textbf{B}_{\sqrt{3}r}^4\subset \mathbb {R}^4\) with \(r\ge e\), we have
which implies
Then with (3.12)
In other words, M has volume growth strictly larger than Euclidean.
Let \(\Omega \) be an open set in \(B_R\subset \mathbb {R}^n\). For each \(\alpha =1,\ldots ,m\), let \(M^{\alpha }\) be the graph in \(\Omega \times \mathbb {R}\) defined by
By a diagonal argument, it is clear that
for each \(\alpha \). At any \(C^1\)-point of u, the unit normal vector of \(M^{\alpha }\) can be written as
where \(E_j\) is a unit constant vector in \(\mathbb {R}^{n+1}\) with respect to the axis \(x_j\). For each fixed \(\alpha \), let W denote a bounded open set with n-rectifiable \(\partial W\) in \(\mathbb {R}^{n+1}\) such that there is a constant \(\gamma >0\) satisfying
Let Y be a measurable vector field in \(\Omega \) defined by
By parallel transport, we obtain a Lipschitz vector field in \(\Omega \times \mathbb {R}\), still denoted by Y. Let \(\bar{\nabla }\) denote the Levi-Civita connection of \(\mathbb {R}^{n+1}\). Then from (2.28) and the co-area formula,
for any smooth function \(\phi \) with compact support in W. For any \(\varepsilon >0\), let \(W_\varepsilon =\{x\in W|\, d(x,\partial W)>\varepsilon \}\), \(\phi _\varepsilon =1-\frac{1}{\varepsilon }d(\cdot ,W_\varepsilon )\) on W and \(\phi _\varepsilon =0\) on \(\mathbb {R}^{n+1}{\setminus } W\). Let \(\sigma \in C^\infty _c(\mathbb {R}^{n+1})\) satisfy \(\int _{\mathbb {R}^{n+1}}\sigma (z)dz=1\), and \(\sigma _\delta (z)=\delta ^{-n}\sigma (z/\delta )\) for each \(z\in \mathbb {R}^{n+1}\) and each \(\delta \in (0,1]\). Let \(\phi _{\varepsilon ,\delta }\) be a convolution of \(\phi _{\varepsilon }\) and \(\sigma _\delta \) defined by
Then \(\phi _{\varepsilon ,\delta }\in C^\infty _c(\mathbb {R}^{n+1})\), and \(\bar{\nabla }\phi _{\varepsilon ,\delta }\rightarrow \bar{\nabla }\phi _{\varepsilon }\) at differentiable points of \(\phi _{\varepsilon }\) as \(\delta \rightarrow 0\). Substituting \(\phi _{\varepsilon ,\delta }\) into (3.20) implies
Let \(\nu _{\partial W}\) be the outward unit normal vector to the regular part of \(\partial W\). Since \(\langle Y,E_{n+1}\rangle =0\) a.e. on \(\Omega \times \mathbb {R}\), we may denote \(\langle Y,E_{n+1}\rangle =0\) on \(\partial W\). By the definition of Y, \(\langle Y,\nu _{\partial W}\rangle \) is well-defined \(\mathcal {H}^n\)-a.e. on \(\partial W\). From (3.18) and Ambrosio–Fusco–Pallara (in [4], p. 110), letting \(\varepsilon \rightarrow 0\) in (3.22) implies
Recalling (3.17), we have
4 Cylindrical minimal cones from minimal graphs
Let \(M_k\) be a sequence of n-dimensional locally Lipschitz minimal graphs over \(B_{R_k}\) in \(\mathbb {R}^{n+m}\) of codimension \(m\ge 1\) with \(R_k\rightarrow \infty \), and the graphic functions \(u_k=(u^1_k,\ldots ,u^m_k)\) of \(M_k\) satisfies \(u_k(0^n)=0^m\) and \(|\Lambda ^2du_k|\le \Lambda \) a.e. for some constant \(\Lambda >0\). We may suppose that \(|M_k|\) converges in the varifold sense to a minimal cone C in \(\mathbb {R}^{n+m}\) with \(0^{n+m}\in C\). From Lemma 3.1, the multiplicity of C has a upper bound depending only on \(n,m,\Lambda \).
Let \(\{\textbf{E}_i\}_{i=1}^{n+m}\) be a standard basis of \(\mathbb {R}^{n+m}\) such that each \(\textbf{x}\in M_k\) can be represented as \(\sum _{i}x_i\textbf{E}_i+\sum _\alpha u^{\alpha }_k(x)\textbf{E}_{n+\alpha }\) with \(x=(x_1,\ldots ,x_n)\in B_{R_k}\). If \(\textrm{spt}C\cap \{(0^n,y)\in \mathbb {R}^n\times \mathbb {R}^m|\, y\in \mathbb {R}^m\}=\{0^{n+m}\}\), i.e., \(u_k\) has uniformly linear growth. Then the minimal cone C has multiplicity one from Lemma 10.1, which completes the proof of Theorem 1.1. Now we assume that there is a point \(y_*=(0^n,y^*)\in \textrm{spt}C\) with \(0^m\ne y^*\in \mathbb {R}^{m}\). Without loss of generality, we assume \(y^*=(1,0,\ldots ,0)\in \mathbb {R}^m\), then \(y_*=\textbf{E}_{n+1}\). Let
for any \(t\in \mathbb {R}\). In other words, if we denote \(C=\theta _C|C|\), then \(C_t=\theta _C(\cdot +t\textbf{E}_{n+1})|C_t|\) with spt\(C_t=\{\textbf{x}-t\textbf{E}_{n+1}|\, \textbf{x}\in \textrm{spt}C\}\). Since C is a cone, then \(C_t\) converges as \(t\rightarrow \infty \) in the varifold sense to a minimal cone \(C_{y_*}\) in \(\mathbb {R}^{n+m}\), where spt\(C_{y_*}\) splits off a line \(\{ty_*|\, t\in \mathbb {R}\}\) isometrically.
Lemma 4.1
\(C_{y_*}\) is a cylindrical minimal cone living in an \((n+1)\)-dimensional subspace \(\{(x_1,\ldots ,x_{n+1},0,\ldots 0)\in \mathbb {R}^{n+m}|\,(x_1,\ldots ,x_{n+1})\in \mathbb {R}^{n+1}\}\) of \(\mathbb {R}^{n+m}\).
Proof
For any regular point \(\textbf{x}\in \textrm{spt}C_{y_*}\), the tangent cone of \(C_{y_*}\) at x is an n-plane with constant integer multiplicity by constancy theorem (see Theorem 41.1 in [47]). Let \(T_{\textbf{x}}C_{y_*}\) denote the tangent space of \(C_{y_*}\) at \(\textbf{x}\), which is an n-plane with constant multiplicity. We represent the support of \(T_{\textbf{x}}C_{y_*}\) by an n-vector \(\tau _1\wedge \cdots \wedge \tau _n\) with orthonormal unit vectors \(\tau _i\). Since \(\textrm{spt}C_{y_*}\) splits off a line \(ty_*\) isometrically, then
From the construction of \(C_{y_*}\), there is a sequence of minimal graphs \(\Sigma _k\) in \(\mathbb {R}^n\times \mathbb {R}^m\) such that \(|\Sigma _k|\) converges to \(C_{y_*}\) in the varifold sense. Here, \(\Sigma _k\) is a rigid motion of \(M_k\). Let \(\xi _k\) be an orientation of \(\Sigma _k\) for each k (see (2.25)). Since \(|\Sigma _k|\) converges in the varifold sense to \(C_{y_*}\), then there is a sequence \(r_k\rightarrow \infty \) such that \(\left| \frac{1}{r_k}\Sigma _k\cap B_{r_k^2}(y_*)\right| \) converges to \(T_{\textbf{x}}C_{y_*}\) in the varifold sense. Hence, up to a choice of the subsequence, there is a sequence of regular points \(\textbf{x}_k=(x^k_1,\ldots ,x^k_n,u_k(x^k_1,\ldots ,x^k_n))\in M_k\) with \(\textbf{x}_k\rightarrow \textbf{x}\) such that \(\xi _k(\textbf{x}_k)\rightarrow \tau _1\wedge \cdots \wedge \tau _n\).
Let \(\lambda _{1,k},\ldots ,\lambda _{n,k}\) be the singular values of the matrix \(Du_k\) at \((x^k_1,\ldots ,x^k_n)\) with \(\lambda _{j,k}\ge 0\) for all \(j=1,\ldots ,n\), and
for each integers \(1\le j\le n\) and \(k\ge 1\). Then \(\{e_{j,k}\}_{j=1}^n\) forms an orthonormal basis of \(T_{\textbf{x}_k}M_k\) (up to a permutation of \(\lambda _{1,k},\ldots ,\lambda _{n,k}\) and a rotation of \(\mathbb {R}^n\)), and we can choose \(\xi _k(\textbf{x}_k)=e_{1,k}\wedge \cdots \wedge e_{n,k}\). From (4.1), the assumption \(|\Lambda ^2du_k|\le \Lambda \) a.e. and \(\xi _k(\textbf{x}_k)\rightarrow \tau _1\wedge \cdots \wedge \tau _n\), we get \(\lambda _{1,k}\rightarrow \infty \), \(\sum _{j=2}^n\lambda _{j,k}\rightarrow 0\) as \(k\rightarrow \infty \), and then \(\tau _1\wedge \cdots \wedge \tau _n=\textbf{E}_{2}\wedge \cdots \wedge \textbf{E}_{n+1}\) represents the orientation of \(T_{\textbf{x}}C_{y_*}\). Note that spt\(C_{y_*}\) splits off the line \(\{t\textbf{E}_{n+1}|\, t\in \mathbb {R}\}\) isometrically. So there is an \((n-1)\)-dimensional cone \(C_*\) in \(\mathbb {R}^n\) such that \(\textrm{spt}C_{y_*}\) can be written as
This completes the proof. \(\square \)
Let
and \((g^{ij}_k)_{n\times n}\) be the inverse matrix of \((g_{ij}^k)_{n\times n}\). Let \(\pi _*\) denote the projection from \(\mathbb {R}^{n+m}\) into \(\mathbb {R}^{n}\) by
For any \(\textbf{x}=(x_1,\ldots ,x_{n+m})\in \mathbb {R}^{n+m}\), let
be the cylinder in \(\mathbb {R}^{n+m}\), and \(\textbf{C}_r=\textbf{C}_r(0^{n+m})\).
For studying the multiplicity of the cone C, we only need to prove it at any regular point of sptC. Hence, it suffices to prove the following lemma.
Lemma 4.2
If spt\(C\cong \mathbb {R}^n\), then C has multiplicity one on sptC.
Proof
From the proof of Lemma 4.1, we can assume
or else we have finished the proof by Lemma 10.1 in the Appendix II. For each k, let \(\textbf{x}_k=(x,u_k(x))\in \mathbb {R}^n\times \mathbb {R}^m\) be a vector-valued function on \(B_{R_k}\), and \(\tau _{j,k}\) be a tangent vector field of \(M_k\) in \(\mathbb {R}^{n+m}\) defined by
then \(\det \left( \langle \tau _{i,k},\tau _{j,k}\rangle \right) =v_k^2\) a.e. for each k. Hence, the orientation of \(M_k\) can be written as
with \(|\xi _k|=1\) a.e.. From Lemma 22.2 in [47], for any compact set K in \(\mathbb {R}^{n+m}\), we have
with \(\xi _0=\textbf{E}_{2}\wedge \cdots \wedge \textbf{E}_{n+1}\). Since \(\xi _k\) has the expansion
with \(|a_{k,j_1,\ldots ,j_n}|\le 1\), then from (4.5) we have
With \(|\Lambda ^2du_k|\le \Lambda \) a.e., there are a sequence of positive numbers \(\varepsilon _k\rightarrow 0\) (as \(k\rightarrow \infty \)) and a sequence of open sets \(W_k\subset \textbf{C}_3\cap M_k\) with \(\mathcal {H}^n(W_k)<\varepsilon _k\) such that
Then for any small constant \(0<\varepsilon <1\) we have
for large k.
Let \(\pi ^*\) denote the projection from \(\mathbb {R}^{n+m}\) into \(\mathbb {R}^{n+1}\) by
For \(x=(x_1,\ldots ,x_{n+1})\), let \(C_r(x)\) be a cylinder in \(\mathbb {R}^{n+1}\) defined by
Let \(M^*_{k}=\pi ^*(M_k)\). For any \(q\in \mathbb {R}^n\) with \(|q|^2+|u_k(q)|^2<r^2\) and \(r\in (0,3)\), we have \(|q|^2+|u^1_k(q)|^2<r^2\), then it follows that
From (2.20), we have \(\mathcal {H}^n(M_k\cap \textbf{B}_r(\textbf{x}))\ge \omega _n r^n\) for any \(\textbf{x}\in M_k\) and \(\textbf{B}_r(\textbf{x})\subset B_{R_k}\times \mathbb {R}^m\). Since \(|M_k|\) converges to the cone C, then \(M_k\cap K\) converges to \(\textrm{spt}C\cap K\) in the Hausdorff sense for any compact set K in \(\mathbb {R}^{n+m}\). Thus,
for all the sufficiently large k and \(r\in (0,2]\). In particular, \(\partial M_k^*\cap C_2(0^{n+1})=\emptyset \). Let \(W_k^*=\pi ^*(W_k)\cap M^*_{k}\). With (4.11), we get
From (4.9), (4.13), it follows that
for all the sufficiently large k.
We claim that
there is a constant \(k_0>0\) such that for all \(k\ge k_0\) and all the \(C_r(z)\subset C_2(0^{n+1})\), \(C_r(z){\setminus } M^*_{k}\) has only two components.
Assume that \(C_r(z){\setminus } M^*_{i_k}\) has at least 3 components for a sequence \(i_k\rightarrow \infty \). Without loss of generality, we assume \(\partial M_{i_k}^*\cap C_2(0^{n+1})=\emptyset \) for all \(k\ge 1\). Put \(\mathcal {I}=\{i_k\}_{k=1}^\infty \). Since \(M_k\) converges locally to \(\textrm{spt}C\) in the Hausdorff sense, then \(C_r(z)\cap M_k^*\) converges to the n-dimensional ball
in the Hausdorff sense for any \(C_r(z)\subset C_2(0^{n+1})\). Hence, for each \(k\in \mathcal {I}\) there is a component \(F_k\) of \(C_r(z){\setminus } M_k^*\) such that
for some closed set \(G_k\) in \(\partial B_r(z')\times [z_{n+1}-r,z_{n+1}+r]\) with \(\lim _{k\rightarrow \infty }\mathcal {H}^n(G_k)=0\), and \(z=(z',z_{n+1})\). Let \(Y_k\) be a measurable vector field defined in \(\pi _*(M_k)\times \mathbb {R}\subset \mathbb {R}^{n+1}\) by
It’s clear that \(\pi '(F_k)\subset \pi _*(M_k)\), where \(\pi '\) denotes the projection from \(\mathbb {R}^{n+1}\) to \(\mathbb {R}^n\) by
From the argument of (3.6), there is a constant \(c_\Lambda >0\) depending only on \(n,m,\Lambda \) such that
From (3.24) for \(Y_k\) and (4.15), we have
From (4.8), the above inequality contradicts to \(\lim _{k\rightarrow \infty }\mathcal {H}^n(G_k)=0\), and we have proven the claim.
Set
for any \(t\in \mathbb {R}\). From Lemma 22.2 in [47],
where \(\nabla _{M_k}\) denotes the Levi-Civita connection on \(M_k\) for each k. From \(M^*_{k}=\pi ^*(M_k)\) and (4.12), it follows that
where \(\nabla _{M^*_k}\) denotes the Levi-Civita connection on \(M^*_k\) for each k.
Let \(\gamma _{k,t}=C_{1}(0^{n+1})\cap M^*_k\cap \{y_1=t\}\) for any \(t\in (-1,1)\). Since \(C_{1}(0^{n+1})\cap M^*_k\) is a graph, then \(\pi '(\gamma _{k,t_1})\cap \pi '(\gamma _{k,t_2})=\emptyset \) for different \(t_1,t_2\). As \(\gamma _{k,t}\) divides \(C_{1}(0^{n+1})\cap M^*_k\) into two parts for each \(t\in (-1,1)\), then \(\pi '(\gamma _{k,t})\) also divides \(\pi '(C_{1}(0^{n+1})\cap M^*_k)\) into two parts. Moreover, \(\pi '(C_{1}(0^{n+1})\cap M^*_k)\) is a domain that converges to the \((n-1)\)-ball
in the Hausdorff sense. Note that \(\gamma _{k,t}\) is isometric to \(\pi '(\gamma _{k,t})\). Let \(\pi _1\) be a projection from \(\mathbb {R}^{n+1}\) to \(\mathbb {R}^n\) defined by \(\pi _1(x_1,\ldots ,x_{n+1})=(x_2,\ldots ,x_{n+1})\). Then from (4.20), it follows that
Combining the co-area formula, \(\mathcal {H}^n(W_k^*)=\mathcal {H}^n(\pi ^*(W_k))<\varepsilon _k\) and (4.20), (4.21), we can choose a sequence \(t_k\in (-1,1)\) and a countably \((n-1)\)-rectifiable set \(\gamma _k^*\subset \gamma _{k,t_k}\) with \(\partial \gamma _k^*\subset \partial C_{1}(0^{n+1})\cap \{y_1=t_k\}\) such that
and
where \(\varepsilon \) is the small positive constant defined above. Denote \(\Gamma _k=\gamma _k^*\times (-1,1)\). Since \(C_{1}(0^{n+1}){\setminus } M_k^*\) has only two components and \(C_{1}(0^{n+1})\cap M_k^*\) converges in the Hausdorff sense to
then for each k there is an open set \(\Omega _k\) in \(C_{1}(0^{n+1})\) such that \((C_{1}(0^{n+1})\cap M_k^*){\setminus } \Gamma _k\subset \partial \Omega _k\) and
where \(S_k\subset \partial B_1(0^n)\times [-1,1]\) is a closed set with \(\lim _{k\rightarrow \infty }\mathcal {H}^n(S_k)=0\).
From (4.8) and Lemma 9.1 in the Appendix I, we have
on \(M^*_{k,t_k}{\setminus } W_k^*\) for the sufficiently large k. From (3.24), we have
Combining (4.17), (4.22), (4.23), (4.24), one has
With (4.8) and \(\lim _{k\rightarrow \infty }\mathcal {H}^n(S_k)=0\), letting \(k\rightarrow \infty \) in (4.26) infers
Recalling (4.14), we complete the proof by letting \(\varepsilon \rightarrow 0\) in (4.27). \(\square \)
Theorem 4.1
If \(|M_k|\) converges to a cylindrical varifold V in \(\mathbb {R}^{n+m}\) with
for a closed set \(V_*\) in \(\mathbb {R}^n\), then \(\textrm{spt}V\) is stable.
Remark
Here, the stable \(\textrm{spt}V\) means that \(\textrm{spt}V\) is stable outside its singular set.
Proof
Let \(M=\textrm{reg}V\) be the regular part of V. Let \(\nu _M\) denote the unit normal vector of M in \(\mathbb {R}^{n+1}\). Since M is open in \(\textrm{reg}V\) by Allard’s regularity Theorem [1], then for any point \(q\in M\), there is a constant \(r=r_q\) such that \(\textbf{B}_{2r}(q)\cap \textrm{spt}V\subset M\). Let \(q_k\in M_k\) with \(q_k\rightarrow q\). Let \(\lambda _{1,k},\ldots ,\lambda _{n,k}\) be the singular values of \(Du_k\) with \(\lambda _{1,k}\ge \cdots \ge \lambda _{n,k}\ge 0\). From Allard’s regularity Theorem [1] and Lemma 4.2, \(M_k\cap \textbf{B}_{\frac{7}{4}r}(q_k)\) converges to \(M\cap \textbf{B}_{\frac{7}{4}r}(q)\) smoothly. Then
For a point \(z\in \textbf{B}_r(q)\cap M\), let \(z_k\in \textbf{B}_r(q)\cap M_k\) be a sequence of points with \(z_k\rightarrow z\) such that \(M_k\) is smooth at \(z_k\) for each k. Let \(\{\nu _k^{\alpha }\}_{\alpha =1}^m\) be a local orthonormal frame of the normal bundle \(NM_k\) on \(\textbf{B}_r(q_k)\cap M_k\) such that
for each \(k,\alpha \). Then \(\nu _k^1(z_k)\rightarrow -\textbf{E}_1\), \(\nu _k^\beta (z_k)\rightarrow -\textbf{E}_{n+\beta }\) for each \(\beta =2,\ldots ,m\).
Let us now choose a local orthonormal tangent frame field \(\{e_j^k\}_{j=1,\ldots ,n}\) on \(\textbf{B}_r(q_k)\cap M_k\), such that
for each k, j. Let \(h^{k}_{\alpha , ij}\) denote the components of the second fundamental form of \(M_k\) defined by
Since \(M_k\cap \textbf{B}_{\frac{7}{4}r}(q_k)\) converges to \(M\cap \textbf{B}_{\frac{7}{4}r}(q)\) smoothly, it follows that
With the Cauchy inequality and the above limit, we obtain
on \(\textbf{B}_{r}(q_k)\cap M_k\) for some sequence \(\varepsilon _k\rightarrow 0\) as \(k\rightarrow \infty \). Let \(\Delta _{M_k}\) and \(B_{M_k}\) denote the Laplacian and the second fundamental form of \(M_k\), respectively. Combining (2.18), (4.31) and the bounded 2-dilation condition, we have
at \(z_k\). Hence the inequality
holds on \(\textbf{B}_{r}(q_k)\cap M_k\).
Let \(\phi \) be a smooth function in M with compact support and \(\textrm{spt} \phi \cap \textrm{spt}V\subset M\). From (4.33) and the covering lemma, we have
on \(\textrm{spt} \phi \cap M_k\) for some sequence of positive numbers \(\widetilde{\varepsilon _k}\) with \(\lim _{k\rightarrow \infty }\widetilde{\varepsilon _k}=0\). Then with the Cauchy inequality, we have
Let \(B_M\) denote the second fundamental form of M in \(\mathbb {R}^{n+1}\). Letting \(k\rightarrow \infty \) in the above inequality implies
We complete the proof. \(\square \)
Let M be a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 1\) with bounded 2-dilation of its graphic function. From Lemma 3.1 and the compactness theorem for integral varifolds (Theorem 42.7 in [47]), we can suppose that a minimal cone C is a tangent cone of M at infinity. Namely, there is a sequence \(r_k\rightarrow \infty \) such that \(|\frac{1}{r_k}M|\) converges in the varifold sense to C in \(\mathbb {R}^{n+m}\) with \(0^{n+m}\in C\). Combining Lemma 4.2 and Theorem 4.1, we can get Theorem 1.1 immediately.
5 Neumann–Poincaré inequality on stationary indecomposable currents
For integers \(n\ge 2,m\ge 1\), a constant \(\Lambda >0\) and an open set \(\Omega \subset \mathbb {R}^n\), let \(\mathcal {M}_{n,m,\Lambda ,\Omega }\) denote the set containing all the locally Lipschitz minimal graphs over \(\Omega \) of arbitrary codimension \(m\ge 1\) with 2-dilation of their graphic functions \(\le \Lambda \). Let \(\overline{\mathcal {M}}_{n,m,\Lambda ,\Omega }\) be the closure of the currents associated with minimal graphs in \(\mathcal {M}_{n,m,\Lambda ,\Omega }\). Namely, for an integral current T in \(\Omega \times \mathbb {R}^m\), we say \(T\in \overline{\mathcal {M}}_{n,m,\Lambda ,\Omega }\) if and only if there is a sequence of minimal graphs \(M_k\in \mathcal {M}_{n,m,\Lambda ,\Omega }\) such that for any open \(W\subset \subset \Omega \times \mathbb {R}^m\), \(T\llcorner W\) is the (weak) limit of \([|M_k\cap W|]\) as \(k\rightarrow \infty \).
Lemma 5.1
For a sequence \(M_k\in \mathcal {M}_{n,m,\Lambda ,\Omega }\), let T be a current in \(\mathbb {R}^{n+m}\) and V be a multiplicity one rectifiable stationary n-varifold in \(\mathbb {R}^{n+m}\) so that for any open \(W\subset \subset \Omega \times \mathbb {R}^m\), \([|M_k\cap W|]\) converges weakly to \(T\llcorner W\) and \(|M_k\cap W|\) converges to \(V\llcorner W\) in the varifold sense. Then \(|T|=V\) in \(\Omega \times \mathbb {R}^m\).
Proof
For any open \(W\subset \subset \Omega \times \mathbb {R}^m\) and any \(\omega \in \mathcal {D}^{n-1}(W)\),
which means \(\partial T\llcorner W=0\). Let \(W'\) be an open set in W such that \(\textrm{spt}V\cap \overline{W'}\) is contained in the regular part of sptV. From Allard’s regularity theorem, \(M_k\cap W'\) converges to spt\(V\cap W'\) smoothly as V has multiplicity one from Lemma 4.2. Hence, for any \(p\in \textrm{spt}V\cap W\) and any \(\varepsilon \in (0,d(p,\partial W))\), there is an orientation \(\xi \) of spt\(V\cap \textbf{B}_\varepsilon (p)\) such that
where \(\xi _k\) denotes the orientation of \(M_k\) defined by (2.25). For any \(\varepsilon '>0\), there is a smooth \(\xi _*\in \mathcal {D}^{n}(\textbf{B}_\varepsilon (p))\) such that
Hence
which implies spt\(V\cap W\subset \textrm{spt}T\). So we obtain spt\(T\cap W=\textrm{spt}V\cap W\). From (5.3), we get \(\mathbb {M}(T\llcorner \textbf{B}_\varepsilon (p))=\mathcal {H}^n(\textrm{spt}V\cap \textbf{B}_\varepsilon (p))\), which means that T has multiplicity one on spt\(T\cap W\). \(\square \)
As a corollary, we immediately have the following corollary.
Corollary 5.1
Any current \(T\in \overline{\mathcal {M}}_{n,m,\Lambda ,\Omega }\) has multiplicity one on \(\textrm{spt}T\cap (\Omega \times \mathbb {R}^m)\).
Let M be a locally Lipschitz minimal graph over \(\Omega \) in \(\mathbb {R}^{n+m}\). From (2.21), there holds the isoperimetric inequality
for every bounded closed subset K of M with countably rectifiable boundary \(\partial K\), where \(c_n>0\) is a constant depending only on n.
In [9], Bombieri–Giusti proved that any codimension one minimizing current in Euclidean space is indecomposable, and established a Neumann–Poincaré inequality on such currents. Inspired by their ideas in [9], we introduce a concept ’stationary indecomposable’ for integral currents associated with stationary varifolds as follows.
Definition 5.1
Let T be an integral current such that |T| is a stationary varifold. We say T stationary decomposable in an open set W if there are two components \(T_1,T_2\) of \(T\llcorner W\) such that \(|T_1|,|T_2|\) are stationary varifolds in W. On the contrary, we say T stationary indecomposable in W. Furthermore, \(T_1\) is said to be a stationary indecomposable component of \(T\llcorner W\) if \(T_1\) is a component of \(T\llcorner W\), and \(T_1\) is stationary indecomposable in W.
By the above definition, for an integral current S with stationary |S|, if S is indecomposable, then S is stationary indecomposable.
Remark 5.1
In general, for an integral decomposable current T with |T| stationary, the indecomposable components of T may be not stationary. For instance, Let \(U_1=\{(r\cos \theta ,r\sin \theta )\in \mathbb {R}^2|\ r>0,|\theta |<\varepsilon \}\), \(U_2=\{(r\cos \theta ,r\sin \theta )\in \mathbb {R}^2|\ r>0,|\theta -\pi /3|<\varepsilon \}\), \(U_3=\{(r\cos \theta ,r\sin \theta )\in \mathbb {R}^2|\ r>0,|\theta -2\pi /3|<\varepsilon \}\), and \(U=U_1\cup U_2\cup U_3\). Then \([|\partial U|]\) is an integral current with \(|\partial U|\) stationary, and \([|\partial U_1|]\), \([|\partial U_2|]\), \([|\partial U_3|]\) are 3 components of \([|\partial U|]\). Clearly, for each \(i=1,2,3\), \([|\partial U_i|]\) is not stationary for the suitably small \(\varepsilon >0\). However, for any codimension one area-minimizing current S in Euclidean space, S is not only indecomposable but also stationary indecomposable from the proof of Theorem 1 in [9].
Lemma 5.2
Let \(\textbf{T}\) be an integral current in \(\overline{\mathcal {M}}_{n,m,\Lambda ,B_3}\), and T is a stationary indecomposable component of \(\textbf{T}\llcorner \textbf{B}_2\). Then there exists a constant \(\delta _T>0\) depending on T such that
for any open \(U\subset \textbf{B}_2\) with \((n-1)\)-rectifiable \(\textrm{spt}T\cap \partial U\).
Remark 5.2
We do not know yet whether limits of stationary indecomposable currents are still stationary indecomposable. Hence, the coefficient \(\delta _T\) in (5.5) depends on the current T.
Proof
Let us prove (5.5) by contradiction. Suppose that there is a sequence of open \(U_k\subset \textbf{B}_2\) with \((n-1)\)-rectifiable \(\textrm{spt}T\cap \partial U_k\) such that
Let \(T_k^+=T\llcorner U_k\) and \(T_k^-=T\llcorner \left( \textbf{B}_2{\setminus } \overline{U_k}\right) \). Then all \(T_k^\pm \) are integer multiplicity currents. Without loss of generality we can assume \(\mathcal {H}^{n-1}(\textbf{T}\cap \partial \textbf{B}_2)<\infty \), or else from co-area formula we consider a sequence of balls \(\textbf{B}_{2-s_k}\) for some sequence \(0<s_k\rightarrow 0\) with \(\mathcal {H}^{n-1}(\textbf{T}\cap \partial \textbf{B}_{2-s_k})<\infty \). Hence with (5.6), \(\mathbb {M}(\partial T^\pm _k)\) are uniformly bounded independent of k. Clearly, \(\mathbb {M}(T^+_k\llcorner W)+\mathbb {M}(T^-_k\llcorner W)=\mathbb {M}(T\llcorner W)\). By Federer–Fleming compactness theorem, there are two integer multiplicity currents \(T_*^+,T_*^-\) with spt\(T_*^\pm \subset \textrm{spt}T\) such that \(T_k^\pm \) converges weakly to \(T^\pm _*\) as \(k\rightarrow \infty \) up to a choice of a subsequence.
For any open \(W\subset \textbf{B}_2\), \(|\omega |_{\textbf{B}_2}\le 1,\omega \in \mathcal {D}^n(\textbf{B}_2),\textrm{spt}\omega \subset W\) we have
which implies
Moreover,
Hence, we deduce
and
For any \(|\omega '|_{\textbf{B}_2}\le 1,\omega '\in \mathcal {D}^{n-1}(\textbf{B}_2),\textrm{spt}\omega '\subset W\), from (5.6) we have
which implies
Since T has multiplicity one on spt\(T\cap W\) for any open \(W\subset \textbf{B}_2\) from Corollary 5.1, \(T^\pm _*\) has multiplicity one on its support.
From the co-area formula, for almost all \(1< t<2\), we have
With (5.4) and (5.6), for almost all \(1<t<2\), we get
which implies \(\mathbb {M}(T_k^\pm \llcorner \textbf{B}_t)>0\) for any \(t>1\) and any \(k>c_n\). Then we solve the above differential inequality and from (5.10) we get
for each \(t\in [1,2]\).
For any small fixed \(\varepsilon >0\) and any integer \(k\ge 0\), there is a collection of balls \(\{\textbf{B}_{r_l}(\textbf{x}_l)\}_{l=1}^{N_{k,\varepsilon }}\) with \(r_l<\varepsilon \) such that \(\textrm{spt}T\cap \partial U_k\cap \textbf{B}_2\subset \cup _{l=1}^{N_{k,\varepsilon }}\textbf{B}_{r_l}(\textbf{x}_l)\), and
Let \(\eta _l\) be a Lipschitz function on \(\textbf{B}_{3}\) with \(0\le \eta _l\le 1\) such that \(\eta _l=0\) on \(\textbf{B}_{r_l}(\textbf{x}_l)\), \(\eta _l=1\) on \(\textbf{B}_{3}{\setminus }\textbf{B}_{2r_l}(\textbf{x}_l)\), \(|\bar{\nabla }\eta _l|=r_l^{-1}\) on \(\textbf{B}_{2r_l}(\textbf{x}_k){\setminus }\textbf{B}_{r_l}(\textbf{x}_k)\), where \(\bar{\nabla }\) denotes the Levi-Civita connection of \(\mathbb {R}^{n+m}\). Set \(\eta _{k,\varepsilon }=\prod _{l=1}^{N_{k,\varepsilon }}\eta _l\in C^1\). Then \(\eta _{k,\varepsilon }=0\) on a neighborhood of \(\textrm{spt}T\cap \partial U_k\cap \textbf{B}_2\) and
Let \(\phi \) be a smooth function with compact support in \(\textbf{B}_2\). Let \(\nabla _T\) denote the Levi-Civita connection of the regular part of |T|. Since \(|T^+_k|\) is a multiplicity one stationary n-varifold in \(U_k\), then every position function \(x_i\) is weakly harmonic on spt\(T^+_k\) for each \(i=1,\ldots ,m+n\) (see [15] for instance). Hence
With (5.17), it follows that
From Lemma 3.1, there is a constant \(c_{n,\Lambda }\ge 1\) depending only on \(n,\Lambda \) so that
for any \(\textbf{B}_r(\textbf{x})\subset \textbf{B}_{5/2}\). Combining (5.16), (5.18), (5.19), we have
Letting \(\varepsilon \rightarrow 0\) in the above inequality implies
Up to a choice of a subsequence, we can assume that \(|T_k^\pm |\) converges to \(|T^\pm _*|\) in the varifold sense as \(k\rightarrow \infty \). With (5.6), we have
for each \(i=1,\ldots ,n+m\). In other words, \(T^+_*\) is stationary, and similarly \(T^-_*\) is also stationary. Combining (5.9), (5.12), (5.15), we conclude that T is stationary decomposable in \(\textbf{B}_2\). It is a contradiction. This completes the proof. \(\square \)
Using Lemma 5.2, we can prove a Neumann–Poincaré inequality on stationary indecomposable components of limits of minimal graphs.
Lemma 5.3
Let \(\textbf{T}\) be an integral current in \(\overline{\mathcal {M}}_{n,m,\Lambda ,B_{3}}\), and T be a stationary indecomposable component of \(\textbf{T}\llcorner \textbf{B}_{2}\). Denote \(\mathcal {S}\) be the singular set of T, then there exists a constant \(\theta _T>0\) depending on T such that
for any \(r\in (0,1]\) and any bounded \(C^1\)-function f on \(\textbf{B}_{2}{\setminus }\mathcal {S}\), where \(\nabla _T\) is the Levi-Civita connection of the regular part of |T|, and \(\bar{f}_r=\frac{1}{\mathcal {H}^n(\textrm{spt}T\cap \textbf{B}_r)}\int _{\textrm{spt}T\cap \textbf{B}_r}f\).
Proof
Without loss of generality, let f be not a constant, then we only need to prove (5.23) for \(r=1\). Let \(M=\textrm{spt}T\), and \(\bar{f}\) be the average of f on \(M\cap \textbf{B}_1\), i.e.,
Let \(U^+_{s,t}=\{y\in M\cap \textbf{B}_s{\setminus }\mathcal {S}|\ f(y)>\bar{f}+t\}\), \(U^-_{s,t}=\{y\in M\cap \textbf{B}_s{\setminus }\mathcal {S}|\ f(y)<\bar{f}+t\}\) for all \(s>0\) and \(t\in \mathbb {R}\). From Sard’s theorem, for almost all t, \(\partial U^\pm _{s,t}\) is \(C^1\) in \(\textbf{B}_s\) outside \(\mathcal {S}\). In particular, \(\partial U^\pm _{s,t}\) is \((n-1)\)-rectifiable for almost all t.
Without loss of generality, we assume \(\mathcal {H}^n(U^+_{1,0})\le \mathcal {H}^n(U^-_{1,0})\). Then clearly \(\mathcal {H}^n(U^+_{1,t})\le \mathcal {H}^n(U^-_{1,t})\) for any \(t\ge 0\). From Lemma 5.2, we have
Using now the co-area formula,
and then
Using (3.1), we complete the proof. \(\square \)
Let \(\textbf{T}\in \overline{\mathcal {M}}_{n,m,\Lambda ,B_{3}}\) with \(0^{n+m}\in \textrm{spt}\textbf{T}\). Then \(\mathcal {H}^n(\textrm{spt}\textbf{T}\cap \textbf{B}_{r})\ge \omega _nr^n\) for every \(r\in (0,3)\). From (3.1), the exterior ball \(\textrm{spt}\textbf{T}\cap \textbf{B}_{r}\) admits volume doubling property. Namely, there is a constant \(c_{n,m,\Lambda }\ge 1\) depending only on \(n,m,\Lambda \) such that
for every \(r\in (0,1]\). From the Sobolev inequality [41], nonnegative subharmonic functions on stationary varifolds admit the mean value inequality on spt\(\textbf{T}\) (see [30] for instance). Since Neumann–Poincaré inequality (5.23) holds on a stationary indecomposable component T of \(\textbf{T}\), by De Giorgi–Nash–Moser iteration (see [42, 43], or [38], or Theorem 3.2 in [21] for instance) there holds the mean value inequality for superharmonic functions on sptT. Hence, we get Harnack’s inequality for weakly harmonic functions on sptT as follows.
Proposition 5.1
Let \(\textbf{T}\) be an integral current in \(\overline{\mathcal {M}}_{n,m,\Lambda ,B_{3}}\), and T be a stationary indecomposable component of \(\textbf{T}\llcorner \textbf{B}_{2}\) with \(0\in \textrm{spt}T\). For any \(f\in C^1(\textbf{B}_{2})\), if f satisfies \(\Delta _{T} f=0\) in the distribution sense, and \(f\ge 0\) on \(\textbf{B}_{2}\cap \textrm{spt}T\), then
where \(\Delta _T\) is the Laplacian of the regular part of sptT, \(\Theta _{T}>0\) is a constant depending on \(n,m,\Lambda ,T\).
6 A Liouville theorem for minimal graphs of bounded 2-dilation
For codimension 1, De Giorgi [17] proved that any limit of non-flat minimal graphs over \(\mathbb {R}^n\) in \(\mathbb {R}^{n+1}\) is a cylinder. For arbitrary codimensions, we have the following splitting.
Lemma 6.1
Let \(n\ge 2\), \(m\ge 1\) be integers, and \(\Lambda \) be a positive constant. For a current \(T\in \overline{\mathcal {M}}_{n,m,\Lambda ,\mathbb {R}^n}\), if sptT is a non-flat cone living in \(\mathbb {R}^{n+1}\subset \mathbb {R}^{n+m}\), then sptT splits off a line isometrically perpendicular to the n-plane \(\{(x,0^m)\in \mathbb {R}^n\times \mathbb {R}^m|\, x\in \mathbb {R}^n\}\).
Proof
Let \(\pi ^*\) be the projection defined in (4.10). From the assumption, we can treat \(\pi ^*(\textrm{spt}T)\) as a codimension one cone in \(\mathbb {R}^{n+1}\times \{0^{m-1}\}=\{(x_1,\ldots ,x_{n+1},0^{m-1})\in \mathbb {R}^{n+m}|\, (x_1, \ldots ,x_{n+1})\in \mathbb {R}^{n+1}\}\). From Lemma 5.1, T has multiplicity one, and \(|\textrm{spt}T|\) is a minimal cone in \(\mathbb {R}^{n+1}\). If \(\textrm{spt}T\cap \{(0^n,y)\in \mathbb {R}^n\times \mathbb {R}|\, y\in \mathbb {R}^m\}=\{0^{n+m}\}\), then sptT can be written as an entire minimal graph in \(\mathbb {R}^{n+1}\), which implies flatness of sptT by the regularity result of De Giorgi [16] since a regular everywhere cone is flat. Hence, without loss of generality, we assume \((0^n,-1,0^{m-1})\in \textrm{spt}T\).
Let \(M_k\) be a sequence of minimal graphs over \(\mathbb {R}^{n}\) in \(\mathbb {R}^{n+m}\) of 2-dilation bounded by \(\Lambda \) such that the n-current \([|M_k|]\in \mathcal {D}_n(\mathbb {R}^{n+m})\) (associated with \(M_k\)) converges weakly to T. Let \(\omega \) be a smooth n-form defined by \(\sum _{i=1}^{n+1}f_idx_1\wedge \cdots \wedge \widehat{dx_i}\wedge \cdots \wedge x_{n+1}\) with compact support in \(\mathbb {R}^{n+1}\). Let \(\tilde{\omega }\) be a smooth n-form with compact support in \(\mathbb {R}^{n+m}\) so that
for each \((x_1,\ldots ,x_{n+1})\in \mathbb {R}^{n+1}\). Then from (2.22), it follows that
Let \(M_k^*=\pi ^*(M_k)\subset \mathbb {R}^{n+1}\), then the above limit implies that \([|M_k^*|]\) converges weakly to \(\pi ^*(T)\). Let \(u_k\) denote the graphic function of \(M_k^*\), and
From Lemma 3.2 and Federer–Fleming compactness theorem, \([|U_k|]\) converges weakly to a current [|U|] for some open subset \(U\subset \mathbb {R}^{n+1}\). With (6.1), we have
which implies \(\pi ^*(T)=[|\partial U|]\). In particular, U is also a cone. Since \((0^n,-1,0^{m-1})\in \textrm{spt}T\), we consider a family of open sets
for each \(t>0\). By Federer–Fleming compactness theorem again, there is a sequence \(t_k\rightarrow \infty \) such that \([|U_{0^n,t_k}|]\) converges weakly to a current [|W|] for some open subset \(W=\{(x,t)\in \mathbb {R}^{n+1}|\, x\in \mathscr {W}\}\) with some open \(\mathscr {W}\subset \mathbb {R}^n\). It’s clear that \(U\subset W\). Since \(\partial W=\partial \mathscr {W}\times \mathbb {R}\) is stable minimal from Theorem 4.1, then \(|\partial \mathscr {W}|\) is a stable minimal cone in \(\mathbb {R}^n\).
Let \(\Sigma =\partial U{\setminus }\partial W\). If \(\Sigma =\emptyset \), then \(\partial U=\textrm{spt}T\) splits off a line \(\{(0^n,t)\in \mathbb {R}^{n+1}|\, t\in \mathbb {R}\}\) isometrically. Now let us assume \(\Sigma \ne \emptyset \), or else we complete the proof. Let us deduce a contradiction. From Theorem 3.2 in [52] by Wickramasekera, it follows that
Let \(\mathcal {S}\) denote the singular set of \(\partial W\). By the strong maximum principle, \(\partial U\cap \partial W\) is a closed subset in \(\mathcal {S}\).
For any \(\beta \ge 0\), let \(\mathcal {H}^\beta _\infty \) be a measure defined by
for any set W in \(\mathbb {R}^{n+1}\), where \(\omega _\beta =\frac{\pi ^{\beta /2}}{\Gamma (\frac{\beta }{2}+1)}\), and \(\Gamma (r)=\int _0^\infty e^{-t}t^{r-1}dt\) is the gamma function for \(0<r<\infty \). From Lemma 11.2 in [31], if \(\mathcal {H}^\beta (W)>0\), then \(\mathcal {H}^\beta _\infty (W)>0\). From the argument of Proposition 11.3 in [31] and (6.3), there is a point \(q\in \partial U\cap \partial W{\setminus }\{0^{n+1}\}\) and a sequence \(r_k\rightarrow 0\) such that
Let \(U_{q,k}=\frac{1}{r_k}\{x+q|\, x\in U\}\), \(W_{q,k}=\frac{1}{r_k}\{x+q|\, x\in W\}\), \(\Gamma _{q,k}=\partial U_{q,k}\cap \partial W_{q,k}\), \(\mathcal {S}_{q,k}=\frac{1}{r_k}\{x+q|\, x\in \mathcal {S}\}\). Then (6.5) implies
From Federer–Fleming compactness theorem, without loss of generality, there are two open sets \(U_*\) and \(W_*\) in \(\mathbb {R}^{n+1}\) so that \([|U_{q,k}|],[|W_{q,k}|]\) converge to \([|U_*|],[|W_*|]\) in the current sense as \(k\rightarrow \infty \), respectively. From the constructions of \(U_{q,k},W_{q,k}\), \(|\partial U_*|\), \(|\partial W_*|\) are minimal cones both splitting off a line \(l\ne \{tE_{n+1}|\ t\in \mathbb {R}\}\) isometrically. Up to choosing the subsequence, we may assume that \(\Gamma _{q,k}\) converges to a closed set \(\Gamma _*\) in the Hausdorff sense. Let \(\mathcal {S}_*\) be the singular set of \(\partial W_*\). If \(y_k\in \mathcal {S}_{q,k}\) and \(y_k\rightarrow y_*\in \partial W_*\), then it’s clear that \(y_*\) is a singular point of \(\partial W_*\) by Allard’s regularity theorem and multiplicity one of \(\partial W_*\), which implies \(\limsup _{k\rightarrow \infty }\mathcal {S}_{q,k}\subset \mathcal {S}_*\). With \(\partial U\cap \partial W\subset \mathcal {S}\), it follows that \(\Gamma _*\subset \mathcal {S}_*\). Analog to the proof of Lemma 11.5 in [31], we have
Let us continue the above procedure. By dimension reduction argument, there are a 2-dimensional open cone \(V_0\subset \mathbb {R}^2\) with \(|\partial V_0|\) minimal, an open cone \(V\subset V_0\times \mathbb {R}\subset \mathbb {R}^3\) with \(|\partial V|\) minimal, a sequence of open sets \(V_i,W_i\) (obtained from scalings and translations of U, W, respectively) such that \(\partial V_0\) has an isolated singularity at the origin, and \([|W_i|]\) converges to \([|V_0\times \mathbb {R}^{n-1}|]\), \([|V_i|]\) converges to \([|V\times \mathbb {R}^{n-2}|]\) in the current sense. Since \(\Sigma \) is a minimal graph over \(\mathscr {W}\), then \(\Sigma \) is smooth stable. From Theorem 2 of [46] by Schoen–Simon (see also Lemma 11.1), we get \(\partial V\ne \partial V_0\times \mathbb {R}\). It’s well-known that a smooth 1-dimensional minimal surface(geodesic) in \(\mathbb {S}^2\) is a collection of circles of radius one, which implies that \(\partial V\) is a collection of planes through \(0^3\in \mathbb {R}^3\). Hence \(\partial V=\partial V_0\times \mathbb {R}\). It’s a contradiction. We complete the proof. \(\square \)
Remark 6.1
Cheeger–Naber [11] showed the Minkowski content estimation on the quantitative singular sets of stationary varifolds. Using it we can simplify the proof of Lemma 6.1. Namely, without dimension reduction argument, we immediately have the following conclusion in Lemma 6.1: there are a point \(x^*\in \partial U\cap \partial W\), a 2-dimensional open cone \(V_0\subset \mathbb {R}^2\) with \(|\partial V_0|\) minimal, and an open cone \(V\subset V_0\times \mathbb {R}\subset \mathbb {R}^3\) with \(|\partial V|\) minimal such that \(\partial V_0\) has an isolated singularity at the origin, and \(\frac{1}{r_i}([|W|],x^*)\) converges to \(([|V_0\times \mathbb {R}^{n-1}|],0^{n+1})\), \(\frac{1}{r_i}([|U|],x^*)\) converges to \(([|V\times \mathbb {R}^{n-2}|],0^{n+1})\) for some sequence \(r_i\rightarrow 0\).
From Proposition 5.1 and Lemma 6.1, we can obtain a Liouville type theorem for minimal graphs as follows.
Theorem 6.1
Let \(M=\textrm{graph}_u\) be a locally Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 2\) with bounded 2-dilation of \(u=(u^1,\ldots ,u^m)\). Suppose
for each \(\alpha \in \{2,\ldots ,m\}\). If
then M is flat.
Proof
Assume that u has bounded 2-dilation by a constant \(\Lambda >0\). From (6.9), there are a constant \(\Theta >0\) and a sequence of numbers \(r_k\rightarrow \infty \) such that
Recalling that \([|M|]\in \mathcal {D}_n(\mathbb {R}^{n+m})\) is the n-current associated with M and its orientation (2.25). From Lemma 5.1, we can assume that \([|\frac{1}{r_k}M|]\) converges weakly as \(k\rightarrow \infty \) to a multiplicity one current \(T\ne 0\) with \(0\in \textrm{spt}T\) and \(\partial T=0\). Moreover, the varifold associated with sptT is a minimal cone in \(\mathbb {R}^{n+m}\) with the vertex at the origin. Let \(\textbf{x}=(x_1,\ldots ,x_{n+m})\) be the position vector in \(\mathbb {R}^{n+m}\). From (6.8), we get
for each \(\alpha \in \{2,\ldots ,m\}\).
Suppose that T is stationary decomposable in \(\textbf{B}_1\). Let \(T'\) be a stationary component of \(T\llcorner \textbf{B}_1\). Then from \(\partial T'=0\) in \(\textbf{B}_1\), we conclude that spt\(T'\) is a truncated cone. In particular, \(0\in \textrm{spt}T'\). Hence we have
From Lemma 3.2, we have
If \(T'\) is stationary decomposable in \(\textbf{B}_1\), then we consider a stationary component \(T''\) of \(T'\llcorner \textbf{B}_1\). Clearly, spt\(T''\) is a truncated cone and \(0\in \textrm{spt} T''\). Combining (6.12), (6.13), the procedure of decomposition will cease after finite times. Hence, there is a collection of indecomposable stationary components \(T_1,\ldots ,T_l\) of \(T\llcorner \textbf{B}_1\), where l is a positive integer \(\le C_{n,\Lambda }\). In particular, all \(\textrm{spt}T_1,\ldots ,\textrm{spt}T_l\) are truncated cones.
From Proposition 5.1 and (6.11), we get \(x_{n+\alpha }\equiv 0\) on the truncated cone spt\(T_k\) for each \(\alpha \in \{2,\ldots ,m\}\) and \(k\in \{1,\ldots ,l\}\) as \(x_{n+\alpha }\) is weakly harmonic in spt\(T_k\cap \textbf{B}_1\). In particular, the varifold associated with sptT is a minimal cone contained in an \((n+1)\)-dimensional Euclidean space \(\mathbb {R}^{n+1}\). From (6.10), we conclude that
From Lemma 6.1, it follows that
Note that \([|\frac{1}{r_k}M|]\rightharpoonup T\) and sptT is a cone. Then sptT can be written as an entire graph over \(\mathbb {R}^n\) with the graphic function \((\phi ,0,\ldots ,0)\), where \(\phi \) is 1-homogeneous on \(\mathbb {R}^n\). Then
is a (Lipschitz) minimal graph in \(\mathbb {R}^{n+1}\). Therefore, the regularity theorem of De Giorgi [43] implies that \(\phi \) is linear, and then sptT is flat. Since T has multiplicity one on sptT, then Allard’s regularity theorem yields the proof. \(\square \)
7 Bernstein theorem for minimal graphs of bounded slope
For a domain \(\Omega \subset \mathbb {R}^n\), let \(M=\textrm{graph}_u\) be a smooth minimal graph over \(\Omega \) of codimension \(m\ge 2\). Let \(g_{ij}=\delta _{ij}+\sum _{\alpha =1}^m \partial _iu^{\alpha }\partial _ju^{\alpha }\), and \((g^{ij})\) be the inverse matrix of \((g_{ij})\). Let v be the slope function of M defined by
Lemma 7.1
Let \(\lambda _1,\ldots ,\lambda _n\) be the singular eigenvalues of Du at any point of \(\Omega \). If \(\lambda _1\ge \cdots \ge \lambda _n\ge 0\) and \(\lambda _1^2\lambda _i^2\le 2+\lambda _i^2\) for all \(i\ge 2\), then
Moreover, when the above inequality becomes an equality, \((2+\lambda _i^2)h_{i,ij}^2+h_{j,ii}^2+2\lambda _i\lambda _jh_{i,ji}h_{j,ii}=0\) for all \(i\ne j\).
Proof
From (2.17), we have (see also the decomposition (4.16) in [24])
where
Without loss of generality, we assume \(\lambda _1\ge \lambda _2\ge \cdots \ge \lambda _n\ge 0\). Let
for every \(x,y,z\in \mathbb {R}\) with mutually distinct i, j, k. Then
From a direct computation, we have
Then we consider a function
on \(V=\{(\mu _1,\mu _2,\mu _3)\in \mathbb {R}^3|\ 0\le \mu _3\le \mu _2\le \mu _1,\ \ \mu _1\mu _2\le 2+\frac{2}{\mu _1-1}\}\). From Lemma 9.2 in the Appendix I, \(\phi \ge 0\) on V, which implies
combining \(\lambda _1^2\lambda _i^2\le 2+\lambda _i^2\) for all \(i\ge 2\). We further conclude that all the eigenvalues of \(\textbf{Hess}_f\) are non-negative, then it follows that
From (7.4), we have
Moreover, by the assumption for \(i\ge 2\) and \(\lambda _1\ge 1\) we have
From the Cauchy inequality, we have
Substituting (7.9), (7.11) into (7.3), we have
When the above inequality becomes an equality, we clearly have
which completes the proof. \(\square \)
As a corollary, we have the following result.
Corollary 7.1
Let \(\lambda _1,\ldots ,\lambda _n\) be the singular eigenvalues of Du at any point of \(\Omega \). If \(\lambda _1\ge \cdots \ge \lambda _n\ge 0\) and \(\sup _{i\ge 2}\lambda _1\lambda _i\le \Lambda \) for some \(0<\Lambda \le \sqrt{2}\), then
where \(B_M\) denotes the second fundamental form of M in \(\mathbb {R}^{n+m}\).
Proof
From (7.5), with the Cauchy inequality we have
Noting that all the eigenvalues of \(\textbf{Hess}_f\) are non-negative. Hence, all the eigenvalues of \(\textbf{Hess}_f\le 1+\Lambda \le 1+\sqrt{2}\). From (7.6) and Corollary 9.1 in the Appendix I, we have \(\det \textbf{Hess}_f\ge 4\left( 1-\frac{\Lambda }{\sqrt{2}}\right) \). So, the smallest eigenvalue of \(\textbf{Hess}_f\ge 4(1+\sqrt{2})^{-2}\left( 1-\frac{\Lambda }{\sqrt{2}}\right) \). This implies
From the Cauchy inequality, we have
Substituting (7.15), (7.16) into (7.3) gets
Combining \(|\nabla \log v|^2=\sum _j\left( \sum _{i}\lambda _ih_{i,ij}\right) ^2\) and the Cauchy inequality, we complete the proof. \(\square \)
For any considered point \(p\in \Omega \), up to rotations of \(\mathbb {R}^n\), \(\mathbb {R}^m\), we assume \(D_ku^{\alpha }(p)=\delta _{k,\alpha }\lambda _k\). Let \(e_i=\left( 1+\sum _{\alpha =1}^m(D_iu^{\alpha })^2\right) ^{-1/2}\left( \textbf{E}_i+\sum _{\alpha =1}^mD_iu^{\alpha } \textbf{E}_{n+\alpha }\right) \) for \(i=1,\ldots ,n\), and \(\nu _\alpha =\left( 1+|Du^{\alpha }|^2\right) ^{-1/2}\left( \sum _{j=1}^nD_ju^{\alpha } \textbf{E}_{j}+\textbf{E}_{n+\alpha }\right) \) for \(\alpha =1,\ldots ,m\). Then \(\{e_i\}_{i=1}^n\cup \{\nu _\alpha \}_{\alpha =1}^m\) forms a local frame field in \(\mathbb {R}^{n+m}\) (see also (4.28), (4.29)), which is orthonormal at p. Moreover, at p
Lemma 7.2
Suppose that the 2-dilation \(|\Lambda ^2du|\) of u satisfies \(|\Lambda ^2du|^2\le 2+\left| \frac{2}{(\textrm{Lip}\,u)^2-1}\right| \) and v is a constant on \(\Omega \). Then \(\Delta _{\mathbb {R}^n}u^{\alpha }=0\) on \(\Omega \) for each \(\alpha =1,\ldots ,m\).
Proof
At any point p in \(\Omega \), from Lemma 7.1 we get
where \(\lambda _1\ge \cdots \ge \lambda _n\ge 0\) are the singular values of Du at p. From the assumption, we have
-
Case 1: \(\lambda _1>\lambda _2\) at p. For \(j\ge 2\) and \(i\ne j\), we have \(2+\lambda _i^2-\lambda _i^2\lambda _j^2>0\) from (7.20). Then from (7.18), (7.19), we deduce that \(u^{\alpha }_{ii}=0\) for all \(\alpha =2,\ldots ,n\) and \(i=1,\ldots ,n\). In particular, \(\Delta _{\mathbb {R}^n}u^{\alpha }=0\) for all \(\alpha \ge 2\) from (7.2) and the constant v. Suppose \(\lambda _2=\cdots =\lambda _k>\lambda _{k+1}\ge \cdots \ge \lambda _n\) for some integer \(k\ge 2\). From (7.19) again, there hold \(u^1_{11}=0\) and \(u^1_{ii}=0\) for \(i\ge k+1\). From (2.30), we get \(\sum _{i=2}^k\frac{1}{1+\lambda _2^2}u^1_{ii}=0\), which implies \(\Delta _{\mathbb {R}^n}u^1=0\).
-
Case 2: \(\lambda _1=\lambda _2=\cdots =\lambda _k>\lambda _{k+1}\ge \cdots \ge \lambda _n\) at p for some integer \(k\ge 2\). From (7.20), \(\lambda _1\le \sqrt{2}\), and \(2+\lambda _i^2-\lambda _i^2\lambda _j^2>0\) for all \(i\ne j\) with \(\max \{i,j\}\ge k+1\). Then from (7.19), \(u^{\alpha }_{ii}=0\) for \(\max \{\alpha ,i\}\ge k+1\) (similar to case 1). In particular, \(\Delta _{\mathbb {R}^n}u^{\alpha }=0\) for all \(\alpha \ge k+1\). Using (2.30), we get \(\sum _{i=1}^k\frac{1}{1+\lambda _1^2}u^j_{ii}=0\) for \(j=1,\ldots ,k\). Therefore, \(\Delta _{\mathbb {R}^n}u^j=0\) for \(j=1,\ldots ,k\).
This completes the proof. \(\square \)
Now we consider minimal graphs with bounded slope.
Lemma 7.3
Let \(M_k=\textrm{graph}_{u_k}\) be a family of Lipschitz minimal graphs over \(\mathbb {R}^n\) of codimension \(m\ge 1\) with \(\sup _k\textbf{Lip}\,u_k<\infty \) and \(|\Lambda ^2du_k|^2\le \frac{2(\textrm{Lip}\,u_k)^2}{|(\textrm{Lip}\,u_k)^2-1|}\) a.e. on \(\mathbb {R}^n\). Let V be the limit of \(|M_k|\) in the varifold sense. If sptV is a regular cone or there is a regular l-dimensional cone C with spt\(V=C\times \mathbb {R}^{n-l}\), then sptV is flat.
Proof
Denote \(M=\textrm{spt}V\), which is a Lipschitz minimal graph over \(\mathbb {R}^n\) for some graphic function \(u=(u^1,\ldots ,u^m)\). From Lemma 10.1 in the appendix II and Allard’s regularity theorem, \(u_k\) converges to u in \(C^3\)-sense at any regular point of u. Hence, we have \(|\Lambda ^2du|^2\le \frac{2(\textrm{Lip}\,u)^2}{|(\textrm{Lip}\,u)^2-1|}\) a.e. on \(\mathbb {R}^n\) from the assumption of \(u_k\).
Now we assume \(l\ge 2\). Since \(M=C\times \mathbb {R}^{n-l}\), then C lives in an \((m+l)\)-dimensional Euclidean space. Up to a rotation, C can be represented as a graph of a 1-homogeneous vector-valued function \(\phi =(\phi ^1,\ldots ,\phi ^m)\) on \(\mathbb {R}^l\). Then up to two rotations of \(\mathbb {R}^n\) and \(\mathbb {R}^m\), there are a constant matrix \((c^{\alpha }_{j})\) for \(j=l+1,\ldots ,n\) and \(\alpha =1,\ldots ,m\) such that
for each \(\alpha \). After a rotation of \(\mathbb {R}^{n-l}\), we can further assume
for each \(\alpha =1,\ldots ,m\), where we let \(c_{n+j}=0\) for any positive integer j.
Let \(g_{ij}=\delta _{ij}+\sum _\alpha \partial _iu^{\alpha }\partial _ju^{\alpha }\). From (7.21), \(g_{ij}\) is a function of \(x_1,\ldots ,x_l\), and \(v=\sqrt{\det g_{ij}}\) can be seen as a function of \(x_1,\ldots ,x_l\). From Lemma 7.1, we have
on the regular part of M. Note that \(\log v\) is smooth on \(\mathbb {R}^l{\setminus }\{0\}\). Since \(\log v\) is 0-homogeneous, it achieves its maximum on \(B^l_2{\setminus } B^l_{1/2}\) at a point in \(\partial B^l_1\). From the strong maximum principle, v is a constant. With Lemma 7.2, \(u^{\alpha }\) is harmonic on \(\mathbb {R}^n{\setminus }(\{0^l\}\times \mathbb {R}^{n-l})\) for each \(\alpha =1,\ldots ,m\). Namely, \(\phi ^{\alpha }=\phi ^{\alpha }(x_1,\ldots ,x_l)\) is harmonic on \(\mathbb {R}^l{\setminus }\{0\}\). Note that \(\phi ^{\alpha }\) is 1-homogeneous. Then \(\phi ^{\alpha }\) is harmonic on \(\mathbb {R}^l\) for each \(\alpha \), and it must be affine, i.e., \(\phi ^{\alpha }-\phi ^{\alpha }(0)\) is linear. From (7.21), it follows that each \(u^{\alpha }\) is affine and then M is flat.
For \(l<2\), M is regular, then M is flat from the above argument. This completes the proof. \(\square \)
Let us prove a Bernstein theorem for minimal graphs with bounded slope.
Theorem 7.1
Let \(M=\textrm{graph}_u\) be a Lipschitz minimal graph over \(\mathbb {R}^n\) of codimension \(m\ge 2\). If \(|\Lambda ^2du|^2\le \frac{2(\textrm{Lip}\,u)^2}{|(\textrm{Lip}\,u)^2-1|}\) a.e. on \(\mathbb {R}^n\), then M is flat.
Proof
Assume that M is not flat. From Lemma 10.1 in the appendix II, there is a sequence \(r_k\rightarrow \infty \) such that \(|\frac{1}{r_k}M|\) converges to a minimal cone C of multiplicity one in the varifold sense, where sptC can be rewritten as a graph over \(\mathbb {R}^n\) with a Lipschitz homogeneous graphic function \(u_\infty =(u^1_\infty ,\ldots ,u^m_\infty )\) satisfying
for some constant \(L>0\). Then from Allard’s regularity theorem, when W is a bounded open set with \(\overline{W}\cap \textrm{spt}C\) belonging to the regular part of C, \(W\cap \frac{1}{r_k}M\) converges to \(W\cap \textrm{spt}C\) smoothly. Hence we have
If sptC is a regular cone, then sptC is flat from Lemma 7.3. Now we assume that there is a singular point q in spt\(C{\setminus }\{0^{n+m}\}\). We blow C up at the point q, and get a nonflat minimal cone \(C'\) whose support splits off \(\mathbb {R}\) isometrically. If \(u'_\infty \) denotes the graphic function of spt\(C'\), then we have
and \(|\Lambda ^2du'_\infty |^2\le \frac{2(\textrm{Lip}\,u'_\infty )^2}{|(\textrm{Lip}\,u'_\infty )^2-1|}\) a.e. on \(\mathbb {R}^n\). By dimensional reduction argument, we get a sequence of minimal graphs \(M_k\) (which are scalings and rigid motions of M) such that \(|M_k|\) converges to a nonflat minimal cone \(C^*\), where spt\(C^*=C_*\times \mathbb {R}^l\) for a regular \((n-l)\)-cone \(C_*\). Moreover, the graphic function \(u^*_\infty \) of spt\(C^*\) satisfies
and \(|\Lambda ^2du^*_\infty |^2\le \frac{2(\textrm{Lip}\,u^*_\infty )^2}{|(\textrm{Lip}\,u^*_\infty )^2-1|}\) a.e. on \(\mathbb {R}^n\). From Lemma 7.3, we get the flatness of spt\(C^*\), which is a contradiction. Hence, sptC is flat. Since C has multiplicity one, then Allard’s regularity theorem implies that M is flat. \(\square \)
Remark 7.1
Lawson–Osserman [37] constructed the minimal Hopf cones in \(\mathbb {R}^{2m}\times \mathbb {R}^{m+1}\) for \(m=2,4,8\). For \(m=2\), the Hopf cone has the Lipschitz graphic function \(w=(w^1,w^2,w^3)\) over \(\mathbb {R}^4\) given by
where \(\eta =(|z_1|^2-|z_2|^2,2z_1\bar{z_2})\) is the Hopf map from \(S^3\) to \(S^2\). It is clear that \(\textrm{Lip}\,w\equiv \sqrt{5}\), and \(|\Lambda ^2dw|\equiv 5\) on \(\mathbb {R}^n\) (see also the appendix in [36]).
By a contradiction argument, we have the following curvature estimate.
Theorem 7.2
For every constant L, there exists a constant \(\Theta _{n,m,L}>0\) depending on n, m, L such that if \(M=\textrm{graph}_u\) is a Lipschitz minimal graph over \(B_2\) of codimension \(m\ge 2\) with \(\textbf{Lip}\,u\le L\) and \(|\Lambda ^2du|^2\le \frac{2(\textrm{Lip}\,u)^2}{|(\textrm{Lip}\,u)^2-1|}\) a.e. on \(B_2\), then
In particular, M is smooth.
Proof
Let us prove (7.23) by contradiction. Suppose that there is a sequence of Lipschitz minimal graphs \(\textrm{graph}_{u_k}\) over \(B_2\) of codimension \(m\ge 2\) with \(\textbf{Lip}\,u_k\le L\) and \(|\Lambda ^2du_k|^2\le \frac{2(\textrm{Lip}\,u_k)^2}{|(\textrm{Lip}\,u_k)^2-1|}\) such that
If u is not smooth at a point \(q\in B_2\), then we blow M up at (q, u(q)), and get a contradiction from Theorem 7.1. Hence M is smooth.
From (7.24), there exists a sequence of points \(p_k\in B_{\frac{3}{2}}\) such that
as \(k\rightarrow \infty \). Put \(\tau _k=\frac{3}{2}-|p_k|\), and \(R_k=2r_k/\tau _k\). Let
Then
Note that \(\frac{\tau _k}{2}\le \frac{3}{2}-|x|\) for all \(x\in B_{\frac{\tau _k}{2}}(p_k)\). We have
and
Moreover, from \(\textbf{Lip}\,u_{k}\le L\), \(|\Lambda ^2du_{k}|^2\le \frac{2(\textrm{Lip}\,u_{k})^2}{|(\textrm{Lip}\,u_{k})^2-1|}\) on \(B_{2}\), we have \(\textbf{Lip}\,w_k\le L\) and \(|\Lambda ^2dw_k|^2\le \frac{2(\textrm{Lip}\,w_{k})^2}{|(\textrm{Lip}\,w_{k})^2-1|}\) on \(B_{r_k}\). With (7.26), after choosing a subsequence, graph\(_{w_k}\) converges smoothly to a minimal graph with the graphic function \(w_*\) such that \(\textrm{Lip}\,w_*\le L\), \(|\Lambda ^2dw_*|^2\le \frac{2(\textrm{Lip}\,w_{*})^2}{|(\textrm{Lip}\,w_{*})^2-1|}\) a.e. and \(\left| D^2w_*\right| \le 1\) on \(\mathbb {R}^n\). Moreover, (7.27) implies \(\left| D^2w_*\right| (0)=\frac{1}{2}\). However, this contradicts to Theorem 7.1. We complete the proof. \(\square \)
8 Quasi-cylindrical minimal cones from minimal graphs
Let \(\{\textbf{E}_i\}_{i=1}^{n+m}\) denote the standard basis of \(\mathbb {R}^{n+m}\) such that \(\textbf{E}_i\) corresponds to the axis \(x_i\).
Lemma 8.1
Let \(M_k\in \mathcal {M}_{n,m,\Lambda ,B_2}\) for some constant \(0<\Lambda <\sqrt{2}\). Assume that \([|M_k|]\llcorner \textbf{B}_2\) converges to a stationary varifold V in the varifold sense. If \(\mathcal {S}\) denotes the singular set of \(\textrm{spt}V\cap \textbf{B}_1\), then \(\mathcal {S}\) has Hausdorff dimension \(\le n-3\).
Proof
We assume that \(\mathcal {S}\) has Hausdorff dimension \(>n-3\). Then there is a constant \(\beta >n-3\) so that \(\beta \)-dimensional Hausdorff measure of \(\mathcal {S}\) satisfies \(\mathcal {H}^\beta (\mathcal {S})>0\). From Lemma 11.2 in [31], \(\mathcal {H}^\beta (\mathcal {S})>0\) implies \(\mathcal {H}^\beta _\infty (\mathcal {S})>0\) (see (6.4) for its definition with \(\mathbb {R}^{n+1}\) there replaced by \(\mathbb {R}^{n+m}\)). From the argument of Proposition 11.3 in [31], there are a point \(q\in \mathcal {S}\) and a sequence \(r_k\rightarrow 0\) (as \(k\rightarrow \infty \)) such that
Let \(\mathcal {S}_k=\frac{1}{r_k}\left( \mathcal {S}\cap \textbf{B}_{r_k}(q)\right) \). Then
Without loss of generality, we assume that \(\frac{1}{r_k}(V,q)\) converges to a tangent cone \((V_*,0^{n+m})\) in \(\mathbb {R}^{n+m}\) in the varifold sense as \(k\rightarrow \infty \). By the definition of V, there is a sequence of minimal graphs \(M'_k\) in \(\mathbb {R}^{n+m}\) (rigid motions of \(M_k\)) such that \(|M'_k|\) converges to the minimal cone \(V_*\) in the varifold sense as \(k\rightarrow \infty \).
Let \(\mathcal {S}_*\) be the singular set of \(V_*\). If \(y_k\in \mathcal {S}_k\) and \(y_k\rightarrow y_*\in V_*\), then it’s clear that \(y_*\) is a singular point of \(V_*\) by Allard’s regularity theorem and multiplicity one of \(V_*\), which implies \(\limsup _{k\rightarrow \infty }\mathcal {S}_k\subset \mathcal {S}_*\). Analog to the proof of Lemma 11.5 in [31], we have
Let us continue the above procedure. By dimension reduction argument, there is a \(l(l\le 2)\)-dimensional non-flat regular minimal cone \(C\subset \mathbb {R}^{m+k}\) such that there is a sequence of minimal graphs \(\Sigma _k\in \mathcal {M}_{n,m,\Lambda ,B_{R_k}}\) (which are scalings and translations gotten from \(M_k\)) with \(R_k\rightarrow \infty \) so that \(\Sigma _k\) converges to a minimal cone \(C_*\) in the varifold sense, which is a trivial product of C and \(\mathbb {R}^{n-l}\).
From Lemma 11.1 in the Appendix III, \(l=1\) is impossible. For \(l=2\), \(\textrm{spt}C\cap \partial B_1(0^{m+2})\) is smooth minimal in \(\partial B_1(0^{m+2})\), hence it is a disjoint union of geodesic circles in a sphere. So \(\textrm{spt}C_*\cap \mathbb {R}^{n+m}\) is a union of n-planes \(P_1,\ldots ,P_{j_0}\) with \(j_0\ge 2\) as \(\textrm{spt}C\) is non-flat. If there is a unit vector \(\xi \in \textrm{spt}C_*\) with \(\langle \xi ,\textbf{E}_i\rangle =0\) for each \(i=1,\ldots ,n\), then Theorem 4.1 contradicts to that \(\textrm{spt}C\) splits off \(\mathbb {R}^{n-2}\) isometrically. Therefore, \(\textrm{spt}C_*\) can be written as a graph over \(\mathbb {R}^n\), and then \(\textrm{spt}C_*\) is an n-plane. It is a contradiction. This completes the proof. \(\square \)
Remark
The above dimension estimate is not sharp. We will establish a sharp one through the Bernstein theorem for minimal graphs in Lemma 8.5.
With Lemma 8.1, we can use De Giorgi–Nash–Moser iteration for nonnegative superharmonic functions on the regular part of stationary indecomposable currents as follows.
Proposition 8.1
Let \(\textbf{T}\) be an integral current in \(\overline{\mathcal {M}}_{n,m,\Lambda ,B_{3}}\) for some constant \(0<\Lambda <\sqrt{2}\), and T be a stationary indecomposable component of \(\textbf{T}\llcorner \textbf{B}_{2}\) with \(0\in \textrm{spt}T\triangleq M\). Then there exist a constant \(\delta _*>0\) depending only on n, a constant \(\Theta _{T}>0\) depending on \(n,m,\Lambda ,T\) such that if f is a nonnegative smooth bounded function on the regular part of T satisfying \(\Delta _{M} f\le 0\) on the regular part of T, then
where \(\Delta _M\) is the Laplacian of M.
Proof
For any small \(\varepsilon >0\), let \(\mathcal {S}\) denote the singular set of \(\textbf{T}\llcorner \textbf{B}_{2-\varepsilon }\). From Lemma 8.1, there is a collection of balls \(\{\textbf{B}_{r_k}(\textbf{x}_k)\}_{k=1}^{N_\varepsilon }\) with \(r_k<\varepsilon /2\) such that \(\mathcal {S}\subset \cup _{k=1}^{N_\varepsilon }\textbf{B}_{r_k}(\textbf{x}_k)\), and
By Besicovitch covering lemma, we can further require that there is a constant \(c_{n+m}>0\) depending only on \(n+m\) so that
for each \(j=1,\ldots ,N_\varepsilon \) and each n-rectifiable set \(E\subset \mathbb {R}^{n+m}\). Let \(\eta _k\) be a \(C^2\) function on \(\textbf{B}_{2}\) with \(0\le \eta _k\le 1\) such that \(\eta _k=0\) on \(\textbf{B}_{r_k}(\textbf{x}_k)\), \(\eta _k=1\) on \(\textbf{B}_{2}{\setminus }\textbf{B}_{2r_k}(\textbf{x}_k)\) and
where \(\bar{\nabla }\) denotes the Levi-Civita connection of \(\mathbb {R}^{n+m}\), \(|\lambda (\bar{\nabla }^2\eta _k)|\) denotes the maximum of the absolution of eigenvalues of the Hessian of \(\eta _k\) on \(\mathbb {R}^{n+m}\), c is an absolute positive constant. Let \(e_1,\ldots ,e_n\) be a local orthonormal tangent frame field of M. Since M is minimal, we have (see (5.4) in [22] for instance)
where \(\textbf{Hess}_{\eta _k}\) denotes the Hessian of \(\eta _k\) on \(\mathbb {R}^{n+m}\). Set \(\eta _\varepsilon =\prod _{k=1}^{N_\varepsilon }\eta _k\in C^2\). Then \(\eta _\varepsilon =0\) on a neighborhood of \(\mathcal {S}\). Let \(\nabla _M\) be the Levi-Civita connection of M, and \(\textrm{div}_M\) be the divergence of M. From (8.7) and the Cauchy inequality, one has
Then with (8.6) we deduce
Similarly,
Combining Lemma 3.1 and (8.5), we deduce
Let \(\varphi \) be a nonnegative Lipschitz function with compact support in \(\textbf{B}_2\). Then the support of \(\varphi \) is in \(\textbf{B}_{2-\varepsilon }\) for small \(\varepsilon >0\). With integrating by parts, we have
Combining (8.11) and Cauchy inequality, we conclude that
which means that f is superharmonic on M in the distribution sense. Now we can follow the argument of De Giorgi–Nash–Moser iteration (see Theorem 3.2 in [21] for instance) and finish the proof. Note that the constant \(\delta _*\) in (8.4) is obtained from the dimension n and the exponent of the Sobolev inequality, which implies that \(\delta _*\) only depends on n. \(\square \)
Let \(M_k=\textrm{graph}_{u_k}\in \mathcal {M}_{n,m,\Lambda ,B_{R_k}}\) with \(R_k\rightarrow \infty \) for some constant \(0<\Lambda <\sqrt{2}\). Let \(g_{ij}^k=\delta _{ij}+\sum _{\alpha =1}^m \partial _i u^{\alpha }_k\partial _j u^{\alpha }_k,\) and \(v_k=\sqrt{\det g_{ij}^k}\). We suppose that \(M_k\) converges in the varifold sense to a minimal cone C in \(\mathbb {R}^{n+m}\) with the vertex at the origin. Since the multiplicity function of sptC is one from Theorem 4.2, we denote sptC by C for simplicity. Without loss of generality, we assume that \([|M_k|]\) converges to an integral current T in \(\mathbb {R}^{n+m}\). From Lemma 5.1, \(\partial T=0\) and T has multiplicity one on spt\(T=\textrm{spt}C\). As before (in Sect. 4), \(\pi _*\) denotes the projection from \(\mathbb {R}^{n+m}\) into \(\mathbb {R}^{n}\) by
\(\textbf{C}_r(\textbf{x})=B_r(\pi _*(\textbf{x}))\times B_r(x_{n+1},\ldots ,x_{n+m})\) denotes the cylinder in \(\mathbb {R}^{n+m}\) for any \(\textbf{x}=(x_1,\ldots ,x_{n+m})\in \mathbb {R}^{n+m}\), and \(\textbf{C}_r=\textbf{C}_r(0^{n+m})\).
Lemma 8.2
Suppose that for any regular point \(q\in C\) there is a sequence of points \(M_k\ni q_k\rightarrow q\) with \(\lim _{k\rightarrow \infty }v_k(q_k)=\infty \). Then C is a quasi-cylinder in \(\mathbb {R}^{n+m}\) with countably \((n-1)\)-rectifiable \(\pi _*(C)\), and \(C\cap (B_r(x)\times \{0^m\})\) is isometric to \(\pi _*(C\cap (B_r(x)\times \partial B_{s}(0^m)))\) for any \(r,s>0\), \(x\in \mathbb {R}^n\).
Proof
For any \(x\in \pi _*(C)\), there is a point \(\textbf{x}\in C\) such that \(\pi _*(\textbf{x})=x\). Then \(t\textbf{x}\in C\) implies \(tx=\pi _*(t\textbf{x})\in \pi _*(C)\). This means that \(\pi _*(C)\) is a cone. It is easy to check that \(\pi _*(C)\) is closed in \(\mathbb {R}^n\). For any point \(q\in \textrm{reg}C\), from the assumption there is a unit vector \(\eta _q\in T_qC\) such that \(\langle \textbf{E}_i,\eta _q\rangle =0\) for each integer \(i=1,\ldots ,n\). There are a small constant \(r_q>0\) and a local orthonormal tangent frame \(\{e_i\}_{i=1}^n\) on \(\textbf{C}_{r_q}(q)\cap C\) such that \(\langle e_1(z),\textbf{E}_i\rangle =0\) for any \(z\in \textbf{C}_{r_q}(q)\cap C\) and \(i=1,\ldots ,n\). In other words, \(e_1\) is a \(C^1\) tangent vector field on \(\textbf{C}_{r_q}(q)\cap C\) with \(\pi _*(e_1(z))=0\) for any \(z\in \textbf{C}_{r_q}(q)\cap C\). After choosing the constant \(r_q>0\) suitably small, for each \(y\in \textbf{C}_{r_q}(q)\cap \Gamma _q\) there is an integral curve \(\gamma _y\) in \(\textbf{C}_{r_q}(q)\cap C\) with \(\dot{\gamma }_y=e_1\circ \gamma _y\).
We write \(q=(\pi _*(q),q')\in \mathbb {R}^n\times \mathbb {R}^m\), and denote \(\Gamma _{z'}=C\cap (\mathbb {R}^n\times \{z'\})\) for each \(z'\in \mathbb {R}^m\). For any \(z\in \textbf{C}_{r_q}(q)\cap C\), let \(\gamma _z\) be the integral curve with \(\gamma _z(0)=z\). For any vector \(\xi \) spanned by \(\textbf{E}_1,\ldots ,\textbf{E}_n\), we have
which implies \(\pi _*(\gamma _z(t))=\pi _*(z)\). Hence, we conclude that \(\pi _*(\textbf{C}_{r_q}(q)\cap C)=\pi _*(\textbf{C}_{r_q}(q)\cap \Gamma _{z'})\) for any \(|z'-q'|<r_q\). With the dimensional estimates from Lemma 8.1, we deduce
for any \(r_1,r_2>0\) and \(B_r(x)\subset B_1\). Letting \(r_1\rightarrow 0\) implies
which is isometric to \(C\cap (B_r(x)\times \{0^m\})\).
From the slicing lemma for T in [47], \(\pi _*(C)=\pi _*(\textrm{spt}T)\) is a countably \((n-1)\)-rectifiable cone in \(\mathbb {R}^n\). With Lemma 8.1, for almost all \(x\in \pi _*(C)\), there is a countably 1-rectifiable normalized curve \(\gamma _x:\,\mathbb {R}\rightarrow \mathbb {R}^m\) such that \(\{(x,y)\in \mathbb {R}^n\times \mathbb {R}^m|\, x\in \pi _*(C),y\in \gamma _x\}\) is the support of C up to a zero \(\mathcal {H}^n\)-set. \(\square \)
With Proposition 5.1, we can weaken the condition in Lemma 8.2 and get the same conclusion.
Theorem 8.1
If there is a sequence of points \(q_k\in M_k\) with \(\limsup |q_k|<\infty \) such that \(\lim _{k\rightarrow \infty }v_k(q_k)=\infty \), then C is a multiplicity one quasi-cylindrical minimal cone.
Proof
Let \(\Delta _{M_k}\) and \(\nabla _{M_k}\) denote the Laplacian and the Levi-Civita connection of \(M_k\), respectively. From Corollary 7.1,
on \(M_k\). Let \(\xi _k\) denote an orientation of \(M_k\), namely, \(T_{x}M_k\) can be represented by the unit n-vector \(\xi _k(x)\), such that \(v_k^{-1}=\langle \xi _k,\textbf{E}_1\wedge \cdots \wedge \textbf{E}_n\rangle \). For any regular point \(z\in C\), there is a constant \(r_z>0\) such that \(\textbf{B}_{2r_z}(z)\cap C\) is smooth. From Allard’s regularity theorem, \(M_k\cap {\textbf {B}}_{3r_z/2}(z)\) converges to \(C\cap {\textbf {B}}_{3r_z/2}(z)\) smoothly. Recalling \([|M_k|]\rightharpoonup T\). Let \(\xi \) denote the orientation of T, and \(v_T^{-1}=\langle \xi ,\textbf{E}_1\wedge \cdots \wedge \textbf{E}_n\rangle \) on regT (the regular part of T). We extend \(v_T\) to singT (the singular part of T) by letting
Then from (8.17) we have
where \(\Delta _{T}\) denotes the Laplacian of T.
From monotonicity of the density and Lemma 3.2, there is a constant \(c_n\ge \omega _n\) depending only on n such that
for any \(r>0\) and \(\textbf{x}\in \textrm{spt}T\). From the proof of Theorem 6.1, we assume that there exist indecomposable multiplicity one currents \(T_1,\ldots ,T_l\in \mathcal {D}_n(\mathbb {R}^{n+m})\) for \(l\ge 1\), \(T_1,\ldots ,T_l\ne 0\) such that
for any open \(W\subset \subset \mathbb {R}^{n+m}\). From Proposition 8.1 and (8.19), there are a constant \(\delta _*\) depending only on n, and a constant \(\Theta _T\) depending only on \(n,m,\Lambda ,T\) such that for any j, \(q\in \textrm{spt}T_j\), \(r>0\)
There is a point \(q\in \textrm{spt}T_j\) for some integer \(j\in \{1,\ldots ,l\}\) so that \(q_k\rightarrow q\) up to a choice of a subsequence. From \(\lim _{k\rightarrow \infty }v_k(q_k)=\infty \), it follows that \(v_T^{-1}(q)=0\) if q is a regular point of C. Now we assume that q is a singular point of C and \(v_T^{-1}(q)>0\). Then we blow C up at q, and get a contradiction from (8.18) and Theorem 7.1. Hence we always have \(v_T^{-1}(q)=0\). From (8.22), we conclude that \(v_T^{-1}=0\) on spt\(T_j\). Similarly, if there is an integer \(j'\in \{1,\ldots ,l\}\) such that \(\sup _{\textrm{spt}T_{j'}}v_T^{-1}>0\), then (8.22) implies \(v_T^{-1}>0\) on \(\textrm{spt}T_{j'}\). By a blowing up argument and Theorem 7.1, we conclude that \(\textrm{spt}T_{j'}\) is an n-plane, which implies \(\textrm{spt}T_{j'}=\textrm{spt}T\). Therefore, such \(j'\) does not exist, and we get
From Allard’s regularity theorem, any sequence of points \(y_k\in M_k\) converging to a regular point y of \(\textrm{spt}T\) satisfies \(\lim _{k\rightarrow \infty }v_k(y_k)=\infty \). Recalling Lemma 8.2, we complete the proof. \(\square \)
In Lemma 6.1.1 (p. 42) in [48], J. Simons proved the following well-known result.
Lemma 8.3
Let \(\Sigma \) be a closed co-dimension 1 minimal variety in \(\mathbb {S}^n\). Suppose \(\Sigma \) is not the totally geodesic \(\mathbb {S}^{n-1}\). Then if \(n\le 6\), the cone \(C\Sigma \) is not stable.
Using Lemma 8.3, Simons proved the celebrated Bernstein theorem in Theorem 6.2.2 in [48] with the help of Fleming’s and De Giorgi’s arguments. In high codimensions, we have the following Bernstein theorem based on Simons’ work.
Lemma 8.4
If \(n\le 7\), then sptC is an n-plane.
Proof
If C is an entire graph over \(\mathbb {R}^n\), then C is an n-plane from Theorem 7.1. Hence we can assume that there is a point \(y_*=(0^n,y^*)\in C\) with \(0\ne y^*\in \mathbb {R}^{m}\). Without loss of generality, we assume \(y^*=(1,0,\ldots ,0)\). From Lemma 4.1 and Lemma 4.2, \(C_t=C-ty_*\) converges as \(t\rightarrow \infty \) to a minimal cone
where \(C_{y_*}\) is a minimal cone in \(\mathbb {R}^n\) with multiplicity one. From Theorem 4.1, \(C_{y_*}\) is stable with the dimension \(n-1\le 6\). With Lemma 8.1 and dimension reduction argument, we get the flatness of \(C_{y_*}\) by Lemma 8.3. In other words, \(y_*\) is a regular point of C. Denote \(C=\textrm{spt}C\). Hence, there is a constant \(r>0\) such that \(M_k\cap B_{2r}(y_*)\) converges smoothly to \(C\cap B_{2r}(y_*)\) as \(k\rightarrow \infty \). Let \(\xi \) denote the orientation of regC. From the argument in the proof of Theorem 8.1, we get
There is a ball \(\textbf{B}_{\delta _y}(y_*)\) with the radius \(\delta _y>0\) such that \(\textbf{B}_{\delta _y}(y_*)\cap C\) is regular everywhere. From Lemma 8.2, \(\pi _*(\textbf{B}_{\delta }(y_*)\cap C)\) contains a neighborhood of the origin in \(\pi _*(C)\) for any \(\delta \in (0,\delta _y]\), and the origin is the regular point of C in particular. Hence C is flat. We complete the proof. \(\square \)
Analogously to the argument in Lemma 8.4, we have the following sharp dimension estimate.
Lemma 8.5
Let \(M_k\in \mathcal {M}_{n,m,\Lambda ,B_2}\) for some constant \(0<\Lambda <\sqrt{2}\). Assume that \(|M_k|\llcorner \textbf{B}_2\) converges to a stationary varifold V in the varifold sense. If \(\mathcal {S}\) denotes the singular set of \(\textrm{spt}V\cap \textbf{B}_1\), then \(\mathcal {S}\) has Hausdorff dimension \(\le n-7\).
Proof
Let us prove it by following the steps in the proof of Lemma 8.1. We assume that \(\mathcal {S}\) has Hausdorff dimension \(>n-7\). By the dimension reduction argument, there is a \(k(k\le 6)\)-dimensional non-flat regular minimal cone \(C\subset \mathbb {R}^{m+k}\) such that there is a sequence of minimal graphs \(\Sigma _k=\mathcal {M}_{n,m,\Lambda ,B_{r_k}}\) (which are scalings and translations gotten from \(M_k\)) with \(r_k\rightarrow \infty \) so that \(\Sigma _k\) converges to a minimal cone \(C_*\) in the varifold sense, which is a trivial product of C and \(\mathbb {R}^{n-k}\).
From Theorem 7.1, there is a point \(y_*=(0^n,y^*)\in C_*\) with \(0\ne y^*\in \mathbb {R}^{m}\). If \(y_*\) is a singular point of \(C_*\), then we blow \(C_*\) up at \(y_*\), and get the contradiction by Theorem 4.1, Lemma 8.1 and Lemma 8.3. If \(y_*\) is a regular point of \(C_*\), then there is a constant \(\delta _y>0\) such that \(\textbf{B}_{\delta _y}(y_*)\cap C_*\) is regular. From Lemma 8.2, we conclude that the origin is a regular point of \(C_*\). It’s a contradiction. We complete the proof. \(\square \)
We summarize Theorem 8.1, Lemma 8.4 and Lemma 8.5, and complete the proof of Theorem 1.3.
Notes
Thanks to the anonymous referee for pointing this out to us.
References
Allard, W.: On the first variation of a varifold. Ann. Math. 95, 417–491 (1972)
Almgren, F.J., Jr.: Some interior regularity theorems for minimal surfaces and an extension of Bernstein’s theorem. Ann. Math. (2) 84, 277–292 (1966)
Almgren, F.J., Jr.: Almgren’s big regularity paper, World Scientific Monograph Series in Mathematics, vol. 1. World Scientific Publishing Co. Inc., River Edge (2000)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Clarendon Press, Oxford (2000)
Assimos, R., Jost, J.: The Geometry of Maximum Principles and a Bernstein Theorem in Codimension 2, Preprint
Barbosa, J.L.M.: An extrinsic rigidity theorem for minimal immersion from \(S^2\) into \(S^n\). J. Differ. Geom. 14(3), 355–368 (1980)
Bombieri, E., De Giorgi, E., Giusti, E.: Minimal cones and the Bernstein problem. Invent. Math. 7, 243–268 (1969)
Bombieri, E., De Giorgi, E., Miranda, M.: Una maggiorazione a priori relativa alle ipersuperfici minimali non parametriche. Arch. Rational Mech. Anal. 32, 255–267 (1969)
Bombieri, E., Giusti, E.: Harnack’s inequality for elliptic differential equations on minimal surfaces. Invent. Math. 15, 24–46 (1972)
Brendle, S.: The isoperimetric inequality for a minimal submanifold in Euclidean space. J. Am. Math. Soc. 34, 595–603 (2021)
Cheeger, J., Naber, A.: Quantitative stratification and the regularity of harmonic maps and minimal currents. Commun. Pure Appl. Math. 66, 965–990 (2013)
Cheng, S.Y., Li, P., Yau, S.T.: Heat equations on minimal submanifolds and their applications. Am. J. Math. 106, 1033–1065 (1984)
Chern, S.S., Osserman, R.: Complete minimal surfaces in Euclidean \(n-\)space. J. d’Anal. Math. 19, 15–34 (1967)
Colding, T.H., Minicozzi, W.P., II.: Liouville theorems for harmonic sections and applications. Commun. Pure Appl. Math. 51(2), 113–138 (1998)
Colding, T.H., Minicozzi, W.P., II.: A course in minimal surfaces, Graduate Studies in Mathematics, vol. 121. American Mathematical Society, Providence (2011)
De Giorgi, E.: Sulla differentiabilitá e l’analiticitá delle estremali degli integrali multipli regolari. Mem. Accad. Sci. Torino, s. III, parte I, pp 25–43 (1957)
De Giorgi, E.: Frontiere orientate di misura minima. Sem. Mat. Scuola Norm. Sup. Pisa, pp. 1–56 (1961)
De Lellis, C., Spadaro, E.: Regularity of area minimizing currents I: gradient \(L^p\) estimates. Geom. Funct. Anal. 24(6), 1831–1884 (2014)
De Lellis, C., Spadaro, E.: Regularity of area minimizing currents II: center manifold. Ann. Math. (2) 183(2), 499–575 (2016)
De Lellis, C., Spadaro, E.: Regularity of area minimizing currents III: blow-up. Ann. Math. (2) 183(2), 577–617 (2016)
Ding, Q.: Liouville type theorems and Hessian estimates for special Lagrangian equations. Math. Ann. 386, 1163–1200 (2023)
Ding, Q., Jost, J., Xin, Y.L.: Existence and non-existence of area-minimizing hypersurfaces in manifolds of non-negative Ricci curvature. Am. J. Math. 138(2), 287–327 (2016)
Ding, Q., Jost, J., Xin, Y.L.: Existence and non-existence of minimal graphs. J. Math. Pure Appl. 179, 391–424 (2023)
Ding, Q., Xin, Y.L., Yang, L.: The rigidity theorems of self shrinkers via Gauss maps. Adv. Math. 303(5), 151–174 (2016)
Ding, W., Yuan, Yu.: Resolving the singularities of the minimal Hopf cones (English summary). J. Partial Differ. Equ. 19(3), 218–231 (2006)
Federer, H., Fleming, W.: Normal and integral currents. Ann. Math. 72, 458–520 (1960)
Fischer-Colbrie, D.: Some rigidity theorems for minimal submanifolds of the sphere. Acta Math. 145, 29–46 (1980)
Fleming, W.H.: On the oriented Plateau problem. Rend. Circ. Mat. Palermo (2) 11, 69–90 (1962)
Giaquinta, M., Martinazzi, L.: An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs. Scu. Norm. Sup. Pisa (2012)
Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1983)
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation. Birkhäuser Boston Inc., Boston (1984)
Hasanis, T., Savas-Halilaj, A., Vlachos, T.: Minimal graphs in \(\mathbb{R} ^4\) with bounded Jacobians. Proc. Am. Math. Soc. 137, 3463–3471 (2009)
Hildebrandt, S., Jost, J., Widman, K.: Harmonic mappings and minimal submanifolds. Invent. Math. 62, 269–298 (1980)
Jost, J., Xin, Y.L.: Bernstein type theorems for higher codimension. Calc. Var. 9, 277–296 (1999)
Jost, J., Xin, Y.L., Yang, L.: Curvature estimates for minimal submanifolds of higher codimension and small G-rank. Trans. AMS 367(12), 8301–8323 (2015)
Jost, J., Xin, Y.L., Yang, L.: The geometry of Grassmannian manifolds and Bernstein-type theorems for higher codimension. Ann della Scuola Normale Superiore di Pisa Serie V XVI, 1–39 (2016)
Lawson, H.B., Osserman, R.: Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system. Acta Math. 139, 1–17 (1977)
Li, P.: Lecture notes on geometric analysis (1996)
Lin, F.H., Yang, X.P.: Geometric Measure Theory: An Introduction. Science Press/International Press, Beijing/Boston (2002)
Liu, L., Wang, G., Weng, L.: The relative isoperimetric inequality for minimal submanifolds with free boundary in the Euclidean space. J. Funct. Anal. 285, 109945 (2023)
Michael, J., Simon, L.M.: Sobolev and mean-value inequalities on generalized submanifolds of \(\mathbb{R} ^n\). Commun. Pure Appl. Math. 26, 361–379 (1973)
Moser, J.: A new proof of de Giorgi’s theorem concerning the regularity problem for elliptic differential equations. Commun. Pure Appl. Math. 13, 457–468 (1960)
Moser, J.: On Harnack’s theorem for elliptic differential equations. Commun. Pure Appl. Math. 14, 577–591 (1961)
Osserman, R.: Minimal varieties. Bull. Am. Math. Soc. 75, 1092–1120 (1969)
Ruh, E.A., Vilms, J.: The tension field of Gauss maps. Trans. AMS 149, 569–573 (1970)
Schoen, R., Simon, L.: Regularity of stable minimal hypersurfaces. Commun. Pure Appl. Math. 34, 742–797 (1981)
Simon, L.: Lectures on geometric measure theory. In: Proceedings of the Center for Mathematical Analysis, vol. 3. Australian National University (1983)
Simons, J.: Minimal varieties in Riemannian manifolds. Ann. Math. (2) 88, 62–105 (1968)
Wang, M.-T.: On graphic Bernstein type results in higher codimension. Trans. AMS 355(1), 265–271 (2003)
Wang, M.-T.: Interior gradient bounds for solutions to the minimal surface system. Am. J. Math. 126(4), 921–934 (2004)
Wickramasekera, N.: A general regularity theory for stable codimension 1 integral varifolds. Ann. Math. 179(3), 843–1007 (2014)
Wickramasekera, N.: A sharp strong maximum principle and a sharp unique continuation theorem for singular minimal hypersurfaces. Calc. Var. Partial Differ. Equ. 51(3–4), 799–812 (2014)
Wong, Y.-C.: Differential geometry of Grassmann manifolds. Proc. N.A.S. 57, 589–594 (1967)
Xiaowei, X., Yang, L., Zhang, Y.: Dirichlet boundary values on Euclidean balls with infinitely many solutions for the minimal surface system. J. Math. Pures Appl. 129, 266–300 (2019)
Xin, Y.: Minimal Submanifolds and Related Topics. World Scientific Publications, Singapore (2018)
Xin, Y.L., Yang, L.: Convex functions on Grassmannian manifolds and Lawson–Osserman Problem. Adv. Math. 219(4), 1298–1326 (2008)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Qi Ding is partially supported by NSFC 11922106 and NSFC 11871156, and J. Jost is partially supported by SFMEC. The authors would like to express their sincere gratitude to the referee for careful reading and valuable suggestions.
Appendices
Appendix I
In this appendix, we will derive several auxiliary algebraic results. Let a be a real matrix \((a_{\alpha i})_{m\times n}\), and b be a matrix \((b_{ij})_{n\times n}\) defined by
Let \((b^{ij})\) be the inverse matrix of \((b_{ij})\), and \(\xi \) be a matrix \((\xi _{\alpha j})_{m\times n}\) defined by
Lemma 9.1
Let \(\lambda _1,\ldots ,\lambda _n\) be the singular values of a satisfying \(\lambda _1\ge \lambda _2\ge \cdots \ge \lambda _n\ge 0\) and \(\lambda _1\lambda _2\le \Lambda \) for a constant \(\Lambda >0\). If
for a positive constant \(\varepsilon \ll 1\), then \(|\xi _{11}|<1+\psi (\varepsilon |\Lambda )\), where \(\psi (\varepsilon |\Lambda )\) is a positive function of \(\varepsilon ,\Lambda \) with \(\lim _{\varepsilon \rightarrow 0}\psi (\varepsilon |\Lambda )=0\).
Proof
For the fixed \(\Lambda >0\), we put \(\psi _\varepsilon =\psi (\varepsilon |\Lambda )\) for convenience. Since \(a_{11}\le \lambda _1\) and \(\det \, b=\prod _{k=1}^n(1+\lambda _k^2)\), then from (9.2) we have
There are two real orthonormal matrices \(p=(p_{ij})_{n\times n}\) and \(q=(q_{\alpha \beta })_{m\times m}\) such that
From (9.2), \(p_{11}q_{11}\ge 1-\psi _\varepsilon \), which implies
We define an \(m\times n\) matrix \(a^*\) with the element
Let \(c_i=\sum _\alpha q_{\alpha 1}a_{\alpha i}^*\) and \(c^*=(c_{ij}^*)\) be an \((n\times n)\)-matrix with the elements \(c_{ij}^*=\sum _\alpha a_{\alpha i}^*a_{\alpha j}^*-c_ic_j\). From (9.4), we have
By a direct computation,
Let \(g=(g_{ij})\) be the matrix with the elements
then its inverse matrix \((g^{ij})\) satisfies
Then
and
From (9.4), (9.5), it’s clear that \(\sum _{j\ge 1}|g^{1j}|\le \psi _\varepsilon \), then from (9.9) it follows that
From (9.5), the elements of \(g^{-1}c^*\) satisfy \(\sum _{i,j}|(g^{-1}c^*)_{ij}|\le \psi _\varepsilon \lambda _2^2\). Let f be an \(n\times n\) matrix \(f=(I+g^{-1}c^*)^{-1}-I\triangleq (f_{ij})\) with the unit matrix I, then \(\sum _{i,j}|f_{ij}|\le \psi _\varepsilon \lambda _2^2\). Hence
Since the inverse matrix of \(b=g+c^*\) satisfies
combining this with (9.10), (9.11), we have
This completes the proof. \(\square \)
Lemma 9.2
Let \(\phi \) be a function defined by
on \((\mathbb {R}^+)^3\) with \(\prod _{i=1}^3(1+\mu _i)=v_0^2\) for some constant \(v_0>1\). If \(\mu _i\mu _j\le 2+\frac{2}{\max _k\mu _k-1}\) for all \(i\ne j\), then \(\phi \ge 0\), where the equality is attained at \((2,2,\frac{1}{9}v_0^2-1)\) for \(3\le v_0\le 3\sqrt{3}\), or \((\mu _*,\mu _*,1+2/\mu _*)\) with \(\mu _*\le 2\) being the unique positive solution to \(2(\mu _*+1)^3=\mu _* v_0^2\).
Remark 9.1
Suppose \(\mu _1\ge \mu _2\ge \mu _3\ge 0\). If \(\mu _i\mu _j\le 2+\frac{2}{\max _k\mu _k-1}\) for all \(i\ne j\), we have \(\mu _1\mu _2\le 2+\frac{2}{\mu _1-1}=\frac{2\mu _1}{\mu _1-1}\), and then \(\mu _2\le \frac{2}{\mu _1-1}\). Hence
which implies \(\mu _1\mu _2\le 4\). In other words, \(\mu _i\mu _j\le 2+\frac{2}{\max _k\mu _k-1}\) for all \(i\ne j\) implies \(\mu _i\mu _j\le 4\) for all \(i\ne j\).
Proof
By the definition of \(v_0\), we have
with \((1+\mu _1)(1+\mu _2)\le v_0^2\). From \(\mu _1\mu _2\le 4\) in Remark 9.1, \(\psi (\mu _1,\mu _2)=4-\mu _1\mu _2\ge 0\) clearly on the set \(\{\mu _1\ge 0,\,u_2\ge 0|\,(1+\mu _1)(1+\mu _2)= v_0^2\}\), where the equality is attained at \((\mu _1,\mu _2,\mu _3)=(2,2,0)\) with \(v_0=3\). Since
and \(\psi (\mu _1,\mu _2)=\psi (\mu _2,\mu _1)\), it follows that
Note that
We suppose \(\mu _i\mu _j\le 2+\frac{2}{\max _k\mu _k-1}\) for all \(i\ne j\), and \(\mu _1=\mu _2\).
-
If \(\mu _3\le \mu _1\), then \(\mu _1\mu _2\le 2+\frac{2}{\mu _1-1}=\frac{2\mu _1}{\mu _1-1}\), which implies \(\mu _1\le 2\). Note that \(v_0^2\le (1+\mu _1)^3\), then from (9.17)
$$\begin{aligned} \psi (\mu _1,\mu _1)\ge \frac{\mu _1-2}{(1+\mu _1)^2}\left( \mu _1 (1+\mu _1)^3-2(1+\mu _1)^3\right) \ge 0, \end{aligned}$$(9.18)where the equality is attained at \((\mu _1,\mu _2,\mu _3)=(2,2,\frac{1}{9}v_0^2-1)\) for \(3\le v_0\le 3\sqrt{3}\).
-
If \(\mu _3\ge \mu _1\), then
$$\begin{aligned} \mu _1\mu _3\le 2+\frac{2}{\mu _3-1}=\frac{2\mu _3}{\mu _3-1}, \end{aligned}$$which implies \(\mu _3\le 1+2/\mu _1\). Note that \(\mu _1\le \mu _3\le 1+2/\mu _1\) implies \(\mu _1\le 2\). Hence from (9.17),
$$\begin{aligned} \psi (\mu _1,\mu _1)\ge \frac{\mu _1-2}{(1+\mu _1)^2}\left( \mu _1 (1+\mu _2)^2(1+1+2/\mu _1)-2(1+\mu _1)^3\right) =0, \end{aligned}$$(9.19)where the equality is attained at \((\mu _1,\mu _2,\mu _3)=(2,2,2)\) with \(v_0=3\sqrt{3}\), or \((\mu _*,\mu _*,1+2/\mu _*)\) with \(\mu _*\le 2\) being the unique positive solution to \(2(\mu _*+1)^3=\mu _* v_0^2\).
This completes the proof. \(\square \)
Corollary 9.1
Let \(\phi \) be a function defined by
on \((\mathbb {R}^+)^3\). If \(\sup _{1\le i<j\le 3}\mu _i\mu _j\le \Lambda ^2\) for some constant \(0<\Lambda \le \sqrt{2}\), then \(\phi \ge 4(1-\Lambda /\sqrt{2})\).
Proof
Let \(\tilde{\mu }_i=\sqrt{2}\mu _i/\Lambda \), then
From the assumption, \(\sup _{1\le i<j\le 3}\tilde{\mu }_i\tilde{\mu }_j\le 2\), and \(\tilde{\mu }_1\tilde{\mu }_2\tilde{\mu }_3\le 2\sqrt{2}\). Combining Lemma 9.2, we get
With \(0<\Lambda \le \sqrt{2}\), we complete the proof. \(\square \)
Appendix II
Analog to Lemma 4.3 in [21], we have the following multiplicity one convergence for Lipschitz minimal graphs. Let \(\Omega \) be a domain in \(\mathbb {R}^{n}\) with countably \((n-1)\)-rectifiable boundary \(\partial \Omega \).
Lemma 10.1
Let \(M_k=\textrm{graph}_{u_k}\) be a sequence of Lipschitz minimal graphs over \(\Omega \) of codimension \(m\ge 1\) with \(\sup _k\textbf{Lip}\,u_k<\infty \). Then there are a Lipschitz function \(u_\infty :\overline{\Omega }\rightarrow \mathbb {R}^m\) with \(\textbf{Lip}\,u_\infty \le \sup _k\textbf{Lip}\,u_k\), and a multiplicity one n-varifold V in \(\overline{\Omega }\times \mathbb {R}^m\) with \(\textrm{spt}V=\{(x,u_\infty (x))\in \mathbb {R}^n\times \mathbb {R}^m|\, x\in \overline{\Omega }\}\) such that up to a choice of the subsequence \(|M_k|\) converges as \(k\rightarrow \infty \) to V in \(\Omega \times \mathbb {R}^m\) in the varifold sense.
Remark
In Proposition 11.53 of [29], Giaquinta and Martinazzi have already proved the multiplicity one of V in the above lemma. Here, we give an alternative proof for completeness.
Proof
By Arzela–Ascoli theorem, up to a choice of the subsequence, we assume that there is a Lipschitz function \(u_\infty \) on \(\overline{\Omega }\) with \(\textbf{Lip}\,u_\infty \le \sup _k\textbf{Lip}\,u_k\). By compactness of varifolds (see [47]), there is an n-varifold V in \(\overline{\Omega }\times \mathbb {R}^m\) such that up to a choice of the subsequence, \(|M_k|\) converges to an integer multiplicity stationary varifold V in \(\Omega \times \mathbb {R}^m\) in the varifold sense. Let \(\mu _V\) denote the Radon measure associated to V. By monotonicity of the density of V, for any \(\textbf{x}_*\in \textrm{spt}V\cap (\Omega \times \mathbb {R}^m)\) we have \(\mu _V(\textbf{B}_r(\textbf{x}_*))\ge \omega _nr^n\) for sufficient small \(r>0\). By the convergence of \(|M_k|\), there is a sequence \(\textbf{x}_k\in M_k\) with \(\textbf{x}_k\rightarrow \textbf{x}_*\). Denote \(\textbf{x}_k=(x_k,u_k(x_k))\). Then \(x_k\) converges to a point \(x_*\) with \(\pi _*(\textbf{x}_*)=x_*\), where \(\pi _*\) is defined in (4.3). Therefore, \(\textbf{x}_*=\lim _{k\rightarrow \infty }\textbf{x}_k=\lim _{k\rightarrow \infty }(x_k,u_k(x_k))=(x_*,u_\infty (x_*))\), which implies the support of V
Note that for any \(z\in \Omega \), \(\mathcal {H}^n(\textbf{B}_r(\textbf{z}_k)\cap M_k)\ge \omega _nr^n\) for all suitably small \(r>0\) with \(\textbf{z}_k=(z,u_k(z))\). Since \((z,u_k(z))\rightarrow (z,u_\infty (z))\) as \(k\rightarrow \infty \), from the convergence of \(|M_k|\) we get \(\mu _V(\textbf{B}_r(\textbf{z}))\ge \omega _nr^n\) for \(\textbf{z}=(z,u_\infty (z))\). In particular, \(\textbf{z}\in \textrm{spt}V\), which implies
Now it only remains to prove that V has multiplicity one. Let regV denote the regular part of V in \(\Omega \times \mathbb {R}^m\). For any \(\textbf{y}\in \textrm{reg}V\), let \(T_{\textbf{y}}V\) denote the tangent plane of sptV at \(\textbf{y}\). Let \(\xi _1,\ldots ,\xi _n\) be an orthonormal basis of \(T_{\textbf{y}}V\). From Lemma 22.2 in [47],
where \(e_{k,1},\ldots ,e_{k,n}\) is a local orthonormal tangent frame of \(M_k\) for each k. We also treat \(e_{k,i}\) as a vector on \(\pi _*(M_k)\) by letting \(e_{k,i}(x)=e_{k,i}(x,u_k(x))\) for each \(i=1,\ldots ,n\) and \(k\ge 1\). Let \(\{\textbf{E}_i\}_{i=1}^{n+m}\) denote the standard orthonormal basis of \(\mathbb {R}^{n+m}\) such that \(\textbf{E}_i\) corresponds to the axis \(x_i\) for \(i=1,\ldots ,n+m\), \(v_k\) be a function on \(\mathbb {R}^n\) defined by \(v_k^{-1}=\left| \langle e_{k,1}\wedge \cdots \wedge e_{k,n},\textbf{E}_1\wedge \cdots \wedge \textbf{E}_n\rangle \right| \). From \(\sup _k\textbf{Lip}\,u_k<\infty \) and (10.3), we get
with \(\textbf{y}=(y,u_\infty (y))\). Let \(v_\infty =\left| \langle \xi _1\wedge \cdots \wedge \xi _n,\textbf{E}_1\wedge \cdots \wedge \textbf{E}_n\rangle \right| ^{-1}\). From (10.4) and
with the Cauchy inequality we get
which implies
With (10.1), we conclude that V has multiplicity one everywhere on sptV. This completes the proof. \(\square \)
Appendix III
Let \(\Lambda \) be a positive constant \(<\sqrt{2}\), and \(M_k\in \mathcal {M}_{n,\Lambda }\) for each integer \(k\ge 1\). From Theorem 7.2, \(M_k\) is smooth for each k. From (7.13), integrating by parts infers that there is a constant \(c_{n,\Lambda }>0\) depending only on n and \(\Lambda \) such that
for any \(p\in M_k\) and any \(\rho >0\). Here, \(B_{M_k}\) is the second fundamental form of \(M_k\) in \(\mathbb {R}^{n+m}\).
Lemma 11.1
Suppose that \(|M_k|\) converges to a nontrivial stationary varifold V in the varifold sense. If V splits off \(\mathbb {R}^{n-1}\) isometrically, then \(\textrm{spt}V\) is an n-plane.
The proof is similar to the argument in the proof of Theorem 2 of [46] by Schoen–Simon. For self-containment, we give the proof here.
Proof
Let us prove it by contradiction. Suppose that there is a varifold T in \(\mathbb {R}^{m+1}\) such that \(\textrm{spt}T\) is not a line in \(\mathbb {R}^{m+1}\), and
We write
with \(l\ge 2,n_j\) positive integers, \(|p_j|=1\) and \(p_1,\ldots ,p_l\) spanning a space of dimension \(\ge 2\). Let \(\xi _k\) be the orientation of \(M_k\) defined in (2.25). Note that T has multiplicity one. For any \(0<\rho \le 1/2\), from Allard’s regularity theorem there is a constant \(k_\rho >0\) such that
for each \(k\ge k_\rho \) and each \(x\in \mathbb {R}^{n-1}\) with \(|x|\le 1\), where \(l'=\sum _{j=1}^ln_{l}\), \(\gamma _{j}^k(x)\) are smooth properly embedded Jordan arcs having their endpoints in \(\{x\}\times \{y\in \mathbb {R}^{m+1}|\ |y|=\rho \ \textrm{or}\ |y|=2\rho \}\), and satisfying
Here, \(0^{n-1}\) denotes the origin of \(\mathbb {R}^{n-1}\).
On the other hand, for each \(\textbf{x}\in M_k\), there is a constant \(r_{k,\textbf{x}}\) such that for every \(0<r<r_{k,\textbf{x}}\), each component of \(M_k\cap {\textbf {B}}_{r}(\textbf{x})\) is embedded, and can be written as a graph over the tangent plane of \(M_k\cap B_{r}(\textbf{x})\) at \(\textbf{x}\) with the graphic function \(w_{k,\textbf{x}}\) so that \(|Dw_{k,\textbf{x}}|<\frac{1}{10}r\). Covering lemma and Sard’s theorem imply that for almost all \(x\in \mathbb {R}^{n-1}\) with \(|x|\le 1\), and for each \(k\ge 1\) we have
where \(l_1\) is a positive integer (depending on i, x), \(\Gamma _j^k(x)\) are smooth properly embedded arcs with endpoints contained in \(\{x\}\times \{y\in \mathbb {R}^{m+1}|\ |y|=\rho \}\), \(l_2\) is a non-negative integer, and \(\Upsilon _j^k(x)\) are smooth properly embedded curves (with no endpoints). Hence for almost all \(x\in \mathbb {R}^{n-1}\) with \(|x|\le 1\), \(M_k\cap \left( \{x\}\times \{y\in \mathbb {R}^{m+1}|\ |y|\le 2\rho \}\right) \) is a union of several embedded smooth arcs or curves with their endpoints in \(\{x\}\times \{y\in \mathbb {R}^{m+1}|\ |y|=2\rho \}\).
Clearly, there are a constant \(\beta >0\) independent of \(\rho \) and a large constant \(k^*_\rho \) such that for all \(k\ge k^*_\rho \) and for almost all \(x\in \mathbb {R}^{n-1}\) with \(|x|\le 1\), there is an embedded smooth arcs \(\gamma ^k_{*,\rho }\) in \(M_k\cap \left( \{x\}\times \{y\in \mathbb {R}^{m+1}|\ |y|\le 2\rho \}\right) \) with their endpoints in \(\{x\}\times \{y\in \mathbb {R}^{m+1}|\ |y|=2\rho \}\) (depending on \(\rho \)) so that
Let \(\nabla _{\dot{\gamma }^k_{*,\rho }}\xi _k\) denote the directional derivative of \(\xi _k\) in the direction of the tangent to \(\gamma ^k_{*,\rho }\). Then from the above inequality one has
Since \(\left| \nabla _{\dot{\gamma }^k_{*,\rho }}\xi _k\right| \le c_n|B_{M_k}|\) for some constant \(c_n>0\), then
for almost all \(x\in \mathbb {R}^{n-1}\) with \(|x|\le 1\), and \(k\ge k^*_\rho \). Denote \(M_{k,\rho }=M_k\cap \{(x,y)\in \mathbb {R}^{n-1}\times \mathbb {R}^{m+1}|\ |x|<1,\ |y|\le 2\rho \}\) for every \(0<\rho \le 1/2\). Integrating (11.8) over \(|x|<1\) and using the co-area formula yield
There are an integer \(l_\rho >1\) and a finite sequence of \(\{x'_j\}_{j=1}^{l_\rho }\subset \mathbb {R}^{n-1}\) with \(|x'_j|<1\) such that \(\bigcup _{j=1}^{l_\rho }B_{\rho }(x'_j)\supset B_1(0^{n-1})\) and \(l_\rho \rho ^{n-1}<c_n'\) for some constant \(c_n'\) depending only on n. Here, \(B_{\rho }(x_j')\) denotes the ball in \(\mathbb {R}^{n-1}\) centered at \(x_j'\) with the radius \(\rho \), \(B_1(0^{n-1})\) denotes the unit ball in \(\mathbb {R}^{n-1}\) centered at the origin. Denote \(z_j=(x'_j,0^{m+1})\). Then
which implies
Combining Lemma 3.2, (11.1), (11.9) and \(l_\rho \rho ^{n-1}<c_n'\), we have
However, the above inequality fails for the sufficiently small \(\rho >0\). Thus, we get that \(\textrm{spt}T\) is a line in \(\mathbb {R}^{m+1}\), and complete the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ding, Q., Jost, J. & Xin, Y.L. Minimal graphs of arbitrary codimension in Euclidean space with bounded 2-dilation. Math. Ann. 390, 3355–3418 (2024). https://doi.org/10.1007/s00208-024-02830-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-024-02830-y