Abstract
We describe the lamination limits of sequences of compact disks \(M_n\) embedded in \({\mathbb {R}}^3\) with constant mean curvature \(H_n\), when the boundaries of these disks tend to infinity. This theorem generalizes to the non-zero constant mean curvature case Theorem 0.1 by Colding and Minicozzi (Ann Math 160:573–615, 2004) for minimal disks. We apply this theorem to prove the existence of a chord arc result for compact disks embedded in \({\mathbb {R}}^3\) with constant mean curvature; this chord arc result generalizes Theorem 0.5 by Colding and Minicozzi (Ann Math 167:211–243, 2008) for minimal disks.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we apply results in [22,23,24] to obtain (after passing to a subsequence) minimal lamination limits for any sequence of compact disks \(M_n\) embedded in \({\mathbb {R}}^3\) with constant mean curvature \(H_n\), when the boundaries of these disks tend to infinity; see Theorem 1.1 below. This theorem is inspired by, and generalizes to the non-zero constant mean curvature setting, Theorem 0.1 by Colding and Minicozzi [7] and it is related to work in [3, 14, 15, 26]. As an application of Theorem 1.1, we obtain a chord arc result for compact disks embedded in \({\mathbb {R}}^3\) with constant mean curvature that does not depend on the value of the mean curvature; this chord arc result is stated below in Theorem 1.2. Theorem 1.2 is inspired by and generalizes the chord arc result by Colding and Minicozzi for embedded minimal disks appearing in Theorem 0.5 of [9].
For clarity of exposition, we will call an oriented surface M immersed in \({\mathbb {R}}^3\) an H-surface if it is embedded, connected and it has non-negative constant mean curvature H. We will call an H-surface an H-disk if the H-surface is homeomorphic to a closed unit disk in the Euclidean plane. Here \({\mathbb {B}}(R)\) denotes the open ball in \({\mathbb {R}}^3\) centered at the origin \(\mathbf {0}\) of radius R and for a point p on a surface \(\Sigma \subset {\mathbb {R}}^3\), \(|A_{\Sigma }|(p)\) denotes the norm of the second fundamental form of \(\Sigma \) at p.
Theorem 1.1
(Limit lamination theorem for H-disks) Fix \({\varepsilon }>0\) and let \(\{M_n\}_n\) be a sequence of \(H_n\)-disks in \({\mathbb {R}}^3\) containing the origin and such that \(\partial M_n \subset [{\mathbb {R}}^3\setminus {\mathbb {B}}(n)]\) and \(|A_{M_n} |(\mathbf {0})\ge {\varepsilon }\). Then, after replacing by some subsequence, exactly one of the following two statements hold.
-
A.
The surfaces \(M_n\) converge smoothly with multiplicity one or two on compact subsets of \({\mathbb {R}}^3\) to a helicoid \(M_{\infty }\) containing the origin. Furthermore, every component \(\Delta \) of \(M_n\cap {\mathbb {B}}(1)\) is an open disk whose closure \(\overline{\Delta }\) in \(M_n\) is a compact disk with piecewise smooth boundary, and where the intrinsic distance in \(M_n\) between any two points in \(\overline{\Delta }\) is less than 10.
-
B.
There are points \(p_n\in M_n\) such that
$$\begin{aligned} \lim _{n\rightarrow \infty }p_n=\mathbf {0} \,\text { and } \,\lim _{n\rightarrow \infty }|A_{M_n}|(p_n)=\infty , \end{aligned}$$and the following hold:
-
(a)
The surfaces \(M_n\) converge to a foliation of \({\mathbb {R}}^3\) by planes and the convergence is \(C^\alpha \), for any \({\alpha }\in (0,1)\), away from the line containing the origin and orthogonal to the planes in the foliation.
-
(b)
There exists compact subdomains \({\mathcal {C}}_n\) of \(M_n\), \([M_n\cap \overline{{\mathbb {B}}}(1)]\subset {\mathcal {C}}_n \subset {\mathbb {B}}(2)\) and \(\partial {\mathcal {C}}_n\subset {\mathbb {B}}(2) \setminus \overline{{\mathbb {B}}}(1)\), each \({\mathcal {C}}_n\) consisting of one or two disjoint disks, where each disk component has intrinsic diameter less than 3 and intersects \({\mathbb {B}}(1/n)\). Moreover, each connected component of \(M_n\cap {\mathbb {B}}(1)\) is an open disk whose closure in \(M_n\) is a compact disk with piecewise smooth boundary.
-
(a)
As an application of Theorem 1.1 and its proof, we prove in Theorem 4.3 a sharp chord arc result for H-disks (also see Remark 4.4); the following chord arc result for H-disks is a restatement of Eq. (10) in Theorem 4.3.
Theorem 1.2
(Chord arc property for H-disks) There exists a \(C>1\) so that the following holds. Suppose that \({\Sigma }\) is an H-disk, \( \mathbf {0}\in {\Sigma }\) and \(R>r_0>0\). If the open intrinsic ball \({B}_{\Sigma }(\mathbf {0},CR)\) of radius CR centered at \(\mathbf {0}\) is contained in \({\Sigma }\setminus \partial {\Sigma }\) and \(\sup _{B_{\Sigma }(\mathbf {0},(1-\frac{\sqrt{2}}{2})r_0)}|A_{\Sigma }|>r_0^{-1}\), then
The proofs of the results described in this paper depend in an essential manner on the existence of extrinsic curvature estimates for disks embedded in \({\mathbb {R}}^3\) of non-zero constant mean curvature that appear in [23], as well as on a key extrinsic one-sided curvature estimate obtained in [24] and a weak cord arc result derived in [22]; these results from [22,23,24] are described in Sect. 2.
2 Preliminaries
Throughout this paper, we use the following notation. Given \(a,b,R>0\), \(p\in {\mathbb {R}}^3\) and \({\Sigma }\) a surface in \({\mathbb {R}}^3\):
-
\({\mathbb {B}}(p,R)\) is the open ball of radius R centered at p.
-
\({\mathbb {B}}(R)={\mathbb {B}}(\mathbf {0},R)\), where \(\mathbf {0}=(0,0,0)\).
-
For \(p\in {\Sigma }\), \(B_{{\Sigma }}(p,R)\) denotes the open intrinsic ball in \({\Sigma }\) of radius R.
-
\(C(a,b)=\{(x_1,x_2,x_3) \mid x_1^2+x_2^2\le a^2,\, |x_3|\le b\}\).
-
\(A(r_1,r_2)=\{(x_1,x_2,0)\mid r_2^2\le x_1^2+x_2^2\le r_1^2\}\).
We first introduce the notion of multi-valued graph, see [6] for further discussion. Intuitively, an N-valued graph is a simply-connected embedded surface covering an annulus such that over a neighborhood of each point of the annulus, the surface consists of N graphs. The stereotypical infinite multi-valued graph is half of the helicoid, i.e., half of an infinite double-spiral staircase (Fig. 1).
Definition 2.1
(Multi-valued graph) Let \({\mathcal {P}}\) denote the universal cover of the punctured \((x_1,x_2)\)-plane, \(\{(x_1,x_2,0)\mid (x_1,x_2)\ne (0,0)\}\), with global coordinates \((\rho , \theta )\).
-
1.
An N-valued graph over the annulus \( A(r_1,r_2)\) is a single valued graph \(u(\rho , \theta )\) over \(\{(\rho ,\theta )\mid r_2\le \rho \le r_1,\;|\theta |\le N\pi \}\subset {\mathcal {P}}\), if N is odd, or over \(\{(\rho ,\theta )\mid r_2\le \rho \le r_1,\;(-N+1)\pi \le \theta \le \pi (N+1)\}\subset {\mathcal {P}}\), if N is even.
-
2.
An N-valued graph \(u(\rho ,{\theta })\) over the annulus \( A(r_1,r_2)\) is called righthanded [lefthanded] if whenever it makes sense, \(u(\rho ,{\theta })<u(\rho ,{\theta }+2\pi )\) [\(u(\rho ,{\theta })>u(\rho ,{\theta }+2\pi )\)]
-
3.
The set \(\{(r_2,\theta , u(r_2,\theta )), \theta \in [-N\pi ,N\pi ]\}\) when N is odd (or \(\{(r_2,\theta , u(r_2,\theta )), \theta \in [(-N+1)\pi ,(N+1)\pi ]\}\) when N is even) is the inner boundary of the N-valued graph.
From Theorem 2.23 in [23] one obtains the following, detailed geometric description of an H-disk with large norm of the second fundamental form at the origin. The precise meaning of certain statements below are made clear in [23] and we refer the reader to that paper for further details.
Theorem 2.2
Given \({\varepsilon },\tau >0\) and \(\overline{{\varepsilon }}\in (0,{\varepsilon }/4)\) there exist constants \(\Omega _\tau :=\Omega (\tau )\), \(\omega _\tau :=\omega (\tau )\) and \(G_\tau :=G({\varepsilon },\tau ,\overline{{\varepsilon }}) \) such that if M is an H-disk, \(H\in (0,\frac{1}{2{\varepsilon }})\), \(\partial M\subset \partial {\mathbb {B}}({\varepsilon })\), \(\mathbf {0}\in M\) and \(|A_M|(\mathbf {0})>\frac{1}{\eta }G_\tau \), for \(\eta \in (0,1]\), then for any \(p\in \overline{{\mathbb {B}}}(\mathbf {0},\eta \overline{{\varepsilon }})\) that is a maximum of the function \(|A_{M}|(\cdot )(\eta {\bar{{\varepsilon }}}-|\cdot |)\), after translating M by \(-p\), the following geometric description of M holds:
On the scale of the norm of the second fundamental form M looks like one or two helicoids nearby the origin and, after a rotation that turns these helicoids into vertical helicoids, M contains a 3-valued graph u over \(A({\varepsilon }/\Omega _\tau ,\frac{\omega _\tau }{|A_M|(\mathbf {0})})\) with the norm of its gradient less than \(\tau \) and with its inner boundary in \({\mathbb {B}}(10\frac{\omega _\tau }{|A_M|(\mathbf {0})})\).
Theorem 2.2 was inspired by the pioneering work of Colding and Minicozzi in the minimal case [5,6,7,8]; however in the constant positive mean curvature setting this description has led to a different conclusion, that is the existence of radius and curvature estimates stated below.
Theorem 2.3
(Extrinsic radius estimates, Theorem 3.4 in [23]) There exists an \({{\mathcal {R}}_0}\ge \pi \) such that for any H-disk \({\mathcal {D}}\),
Theorem 2.4
(Extrinsic curvature estimates, Theorem 3.5 in [23]) Given \(\delta ,{{\mathcal {H}}}>0\), there exists a constant \(K_0(\delta ,{{\mathcal {H}}})\) such that for any H-disk \({\mathcal {D}}\) with \(H\ge {{\mathcal {H}}}\),
Indeed since the plane and the helicoid are complete simply-connected minimal surfaces properly embedded in \({\mathbb {R}}^3\), a radius estimate does not hold in the minimal case. Moreover rescalings of a helicoid give a sequence of embedded minimal disks with arbitrarily large norm of the second fundamental form at points arbitrarily far from its boundary; therefore in the minimal setting, the curvature estimates also do not hold.
The next two results from [24] will be essential tools in the proof of Theorem 1.1.
Theorem 2.5
(Extrinsic one-sided curvature estimates for H-disks) There exist \({\varepsilon }\in (0,\frac{1}{2})\) and \(C \ge 2 \sqrt{2}\) such that for any \(R>0\), the following holds. Let \({\mathcal {D}}\) be an H-disk such that
![](http://media.springernature.com/lw460/springer-static/image/art%3A10.1007%2Fs00222-021-01049-x/MediaObjects/222_2021_1049_Equ50_HTML.png)
Then:
In particular, if , then \(H\le \frac{C}{R}\).
The next corollary follows immediately from Theorem 2.5 by a simple rescaling argument. It roughly states that we can replace the \((x_1,x_2)\)-plane by any surface that has a fixed uniform estimate on the norm of its second fundamental form.
Corollary 2.6
Given an \(a\ge 0\), there exist \({\varepsilon }\in (0,\frac{1}{2})\) and \(C_{a} >0\) such that for any \(R>0\), the following holds. Let \(\Delta \) be a compact immersed surface in \({\mathbb {B}}(R)\) with \(\partial \Delta \subset \partial {\mathbb {B}}(R)\), \(\mathbf {0}\in \Delta \) and satisfying \(|A_{\Delta }| \le a/R\). Let \({\mathcal {D}}\) be an H-disk such that
![](http://media.springernature.com/lw326/springer-static/image/art%3A10.1007%2Fs00222-021-01049-x/MediaObjects/222_2021_1049_Equ51_HTML.png)
Then:
In particular, if , then \(H\le \frac{C_{a}}{R}\).
Next, we recall the notion of flux of an H-surface; see for instance [11, 12, 25] for further discussions of this invariant.
Definition 2.7
Let \(\gamma \) be a 1-cycle in an H-surface M. The flux of \(\gamma \) is \(\int _{\gamma }(H\gamma +\xi )\times {\dot{\gamma }}\), where \(\xi \) is the unit normal to M along \(\gamma \).
The flux of a 1-cycle in an H-surface M is a homological invariant and we say that M has zero flux if the flux of any 1-cycle in M is zero; in particular, since the first homology group of a disk is zero, an H-disk has zero flux. Finally, we also recall the following definition.
Definition 2.8
Let U be an open set in \({\mathbb {R}}^3\). We say that a sequence of surfaces \(\{\Sigma (n)\}_{n\in {\mathbb {N}}}\subset U\), has locally bounded norm of the second fundamental form in U if for every compact subset B in U, the norms of the second fundamental forms of the surfaces \(\Sigma (n)\cap B\) are uniformly bounded.
3 Proof of the limit lamination theorem for H-disks
Proof of Theorem 1.1
Let \(\{M_n\}_{n\in {\mathbb {N}}}\) be a sequence of constant mean curvature disks that satisfy the hypotheses of Theorem 1.1. The extrinsic radius estimates given in Theorem 2.3 imply \(\lim _{n\rightarrow \infty }H_n=0\). We will break the proof into the following two cases.
- Case A::
-
\(\{M_n\}_{n\in {\mathbb {N}}}\) has locally bounded norm of the second fundamental form in \({\mathbb {R}}^3\).
- Case B::
-
There is a compact set B and the sequence \(\{M_n\}_{n\in {\mathbb {N}}}\) has unbounded norm of the second fundamental form in B.
Note that if Case A holds, we will prove item A of Theorem 1.1 holds and if Case B holds, we will prove that item B of Theorem 1.1 holds.
Some of the arguments in the proofs of Cases A and B listed above are borrowed from arguments appearing in the proofs of similar Cases A and B in the proof of Proposition 3.1 in [24], where all the details are given. Consequently, the reader may wish to consult the proof of Proposition 3.1 in [24] before continuing to read what follows.
We will first prove that item A the theorem under the hypothesis that Case A holds.
Claim 3.1
A subsequence of \(\{M_n\}_{n\in {\mathbb {N}}}\) converges with multiplicity one or two to a helicoid \({{\mathcal {H}}}=M_\infty \) containing \(\mathbf {0}\).
Proof
The proof of this claim follows the arguments in the beginning of the proof of Case A of Proposition 3.1 in [24]. Note that in Proposition 3.1 in [24] \(M_n\) is denoted by \(\Sigma (n)\). For the sake of completeness we outline the main arguments in the proof of this fact. First a standard compactness argument using the fact that the surfaces \(M_n\) have uniformly bounded norm of the second fundamental form in balls of \({\mathbb {R}}^3\) implies that after replacing by a subsequence, the surfaces converge \(C^{1,{\alpha }}\), for any \({\alpha }\in (0,1)\), to a minimal lamination \({\mathcal {L}}\) of \({\mathbb {R}}^3\), and since \(|A_{M_n} |(\mathbf {0})\ge {\delta }\), then the leaf \(M_\infty \) of \({\mathcal {L}}\) passing through the origin \(\mathbf {0}\) has the norm of its second fundamental form bounded from below by \({\delta }\) at \(\mathbf {0}\). By Theorem 1.6 in [20], the limit leaves of the minimal lamination \({\mathcal {L}}\) form a closed set \(\mathbf{C}\) of parallel planes and every non-flat leaf of \({\mathcal {L}}\), including \(M_\infty \), is properly embedded in a component of the collection of open slabs and half-spaces that form the components of \({\mathbb {R}}^3\setminus \mathbf{C}\). For any non-planar leaf L of \({\mathcal {L}}\) certain subdomains of the surfaces \(M_n\) converge to it with multiplicity one or two, as n tends to infinity; otherwise a higher order convergence would imply that L is stable and hence planar, which is a contradiction. From the multiplicity one or two convergence of the \(\{M_n\}_{n\in {\mathbb {N}}}\) to the non-flat leaf L, a curve lifting argument implies that L has genus zero. By the properness of finite genus leaves of a minimal lamination of \({\mathbb {R}}^3\) (Theorem 7 in [16]), L must be properly embedded in \({\mathbb {R}}^3\). Hence, all of the leaves of \({\mathcal {L}}\) are properly embedded. Since the leaf \(M_\infty \) is not flat, then the strong halfspace theorem in [10] implies that \(M_\infty \) is the only leaf in \({\mathcal {L}}\). As the surfaces \(M_n\) converge (on compact subsets of \({\mathbb {R}}^3\)) with multiplicity one or two to \(M_\infty \), a standard lifting argument of curves on \(M_\infty \) to the surfaces \(M_n\) for n large implies that \(M_\infty \) has zero flux, since the \(H_n\)-disks \(M_n\) have zero flux. Since properly embedded minimal surfaces in \({\mathbb {R}}^3\) with zero flux have one end [4], \(M_\infty \) must have one end; hence \(M_\infty \) is simply-connected. By the uniqueness of the helicoid [21], \(M_\infty \) must be a helicoid (see also [2] for a proof). Therefore, we conclude that a subsequence of the original sequence \(\{M_n\}_{n\in {\mathbb {N}}}\) converges with multiplicity one or two to a helicoid \({{\mathcal {H}}}=M_\infty \) containing \(\mathbf {0}\). \(\square \)
Note that, without loss of generality, we may assume that the surfaces \(M_n\) are transverse to the sphere \(\partial {\mathbb {B}}(1)\). The reason for this is given by the following argument. By Sard’s theorem, we may replace the original sequence by the homothetic surfaces \(M_n'=(1+{\varepsilon }_n)M_n\) with \(\lim _{n\rightarrow \infty }{\varepsilon }_n= 0\) such that each \(M_n'\) is transverse to \(\partial {\mathbb {B}}(1)\). Then the proof that a subsequence of the surfaces \(M_n'\) has the desired convergence implies that the original related subsequence has the same type of convergence. Henceforth, we will assume that the surfaces \(M_n\) are transverse to the sphere \(\partial {\mathbb {B}}(1)\).
We now check that for n large every component of \(M_n\cap \overline{{\mathbb {B}}}(1)\) is a compact disk \(M_n\) with boundary in \(\partial {\mathbb {B}}(1)\). Otherwise, after replacing by a subsequence, for n sufficiently large there exists a component \(\overline{\Delta }_n\) of \(M_n\cap \overline{{\mathbb {B}}}(1)\) that is a planar domain with more than one boundary component and let \({\Gamma }_n\) be one of its boundary components. Let \(D_n\) denote the compact subdisk of \(M_n\) with boundary \({\Gamma }(n)\subset M_n\cap \partial {\mathbb {B}}(1)\) and notice that \(D_n\not \subset \overline{{\mathbb {B}}}(1)\). Hence, there is a point \(p_n\in D_n\) that has maximal distance \(R_n>1\) from the origin. Since the boundary of \(D_n\) lies in \(\partial B(1)\) and \(D_n\) lies in \({\mathbb {R}}^3\setminus \overline{{\mathbb {B}}}(1)\) near \(\partial D_n\), then \(p_n\) is an interior point of \(D_n\) not contained in \({\mathbb {B}}(1)\) and \(D_n\) lies inside the closed ball \(\overline{{\mathbb {B}}}(R_n)\) and intersects \(\partial {\mathbb {B}}(R_n)\) at the point \(p_n\). By the mean curvature comparison principle applied at the point \(p_n\), the constant mean curvature of \(M_n\) is at least \(1/R_n\) and so, since the constant mean curvature values of the surfaces \(M_n\) are tending to zero as n goes to infinity, the interior points \(p_n\in D_n\) are diverging to infinity in \({\mathbb {R}}^3\) as n goes to infinity. Let p be a point on the axis of \({{\mathcal {H}}}\) that is closest to the origin. Let \(r_0=|p|\) be the distance from p to the origin and let E be the smooth compact disk \({{\mathcal {H}}}\cap \overline{{\mathbb {B}}}(p,r_0+2)\). Then because of the multiplicity one or two convergence of the surfaces \(M_n\) to \({{\mathcal {H}}}\), for n large, \(M_n\) contains a unique smooth disk subdomain \(M_E(n)\) that contains the origin and that is a normal graph of small \(C^0\)-norm over E, and in the case the multiplicity of convergence is two, \(M_n\) contains another smooth disk subdomain \(M_E'(n)\) that does not contain the origin and that is a normal graph of small \(C^0\)-norm over E; furthermore, for n sufficiently large, every point of \(M_n\cap {\mathbb {B}}(1)\) is contained in \(M_E(n)\cup M_E'(n)\). In particular, for n large, \(\Delta _n\subset (M_E(n)\cup M_E'(n))\subset {\mathbb {B}}(p,r_0+3)\), and so \({\Gamma }(n)\subset M_E(n)\) or \({\Gamma }(n)\subset M_E'(n)\). If \({\Gamma }(n)\subset M_E(n)\) then it bounds in \(M_E(n)\) a disk \(D'_n\), which must be the disk \(D_n\); if \({\Gamma }(n)\subset M_E'(n)\) then it bounds in \(M_E'(n)\) a disk \(D'_n\), which again must be the disk \(D_n\). This is a contradiction since \( D_n \not \subset {\mathbb {B}}(p,r_0+3)\) for n large, but \(D_n'\subset (M_E(n)\cup M_E'(n))\subset {\mathbb {B}}(p,r_0+3)\). This proves that every component \(\Delta _n\) of \(M_n\cap {\mathbb {B}}(1)\) is an open subdisk of the disk \(M_n\) and \(\overline{\Delta }_n\) is a compact disk with boundary in \(\partial {\mathbb {B}}(1)\).
To complete the proof of Theorem 1.1 when Case A holds, it remains to prove the upper bound of 10 on the intrinsic distances on \(M_n\) between any two points on a fixed disk \(\Delta _n\) component of \(M_n\cap {\mathbb {B}}(1)\) (and then by the continuity of the intrinsic distance function on \(M_n\), the same property holds for points in \(\overline{\Delta }_n\)). This property follows easily because it holds for the helicoid \({{\mathcal {H}}}\); this completes the proof of the theorem when Case A holds.
Assume now that Case B holds, i.e., the sequence \(\{M_n\}_{n\in {\mathbb {N}}}\) does not have bounded norm of the second fundamental form in some compact subset \(B\subset {\mathbb {R}}^3\). We will prove that item (B) of Theorem 1.1 holds in this case. After replacing \(\{M_n\}_{n\in {\mathbb {N}}}\) by a subsequence, there is a point \(x\in {\mathbb {R}}^3\) closest to \(\mathbf {0}\) such that there exist points \(x_n \in M_n\) with \(|A_{M_n}|(x_n)>n\) and \(\lim _{n\rightarrow \infty } x_n=x \). After another replacement by a subsequence, a straightforward application of Theorem 2.2 produces a sequence of 3-valued graphs \(G_n\subset M_n\) with inner boundaries near \(x_n\) that converge to a plane \(P_x\) passing through x (see the proof of Claim 3.5 in [24] for additional details on the construction of the graphs \(G_n\subset M_n\) that converge to \(P_x\)). Next choose a rotation \(T:{\mathbb {R}}^3\rightarrow {\mathbb {R}}^3\) such that \(T(x)=\mathbf {0}\) and such that the plane \(T(P_x)\) is the \((x_1,x_2)\)-plane, and replace the surfaces \(M_n\) by the rotated surfaces \(T(M_n)\). With an abuse of notation we will let \(M_n\) denote the rotated surfaces \(T(M_n)\) and note that these new surfaces may possibly not pass through the origin. Note that in Claim 3.3 we will prove that \(x=\mathbf {0}\).
After this replacement of \(M_n\) by \(T(M_n)\), \(P_{\mathbf {0}}\) is the \((x_1,x_2)\)-plane. By having the three-valued graphs \(G_n\) converging to \(P_{\mathbf {0}}\) play the role of \(\Delta \) in Corollary 2.6, we obtain that the sequence of surfaces \(\{M_n\}_{n\in {\mathbb {N}}}\) has locally bounded norm of the second fundamental form outside some closed solid vertical cone \({\mathcal {C}}_{\mathbf {0}}\) based at \(\mathbf {0}\) of a certain fixed aperture determined only by Corollary 2.6. After replacing \(\{M_n\}_{n\in {\mathbb {N}}}\) by a subsequence, we may assume that the sequence \(\{M_n\}_{n\in {\mathbb {N}}}\) converges to a minimal lamination \({\mathcal {L}}\) of \({\mathbb {R}}^3\setminus {\mathcal {S}}\), where \({\mathcal {S}}\) is a smallest closed set such that the sequence \(M_n\) has locally bounded norm of the second fundamental form in \({\mathbb {R}}^3\setminus {\mathcal {S}}\), and no subsequence of these surfaces has a smaller singular set of convergence; see for example, the proof of Claim 3.4 in [24] for the diagonal type argument leading to this statement, where \(M_n\) is denoted by \(\Sigma (n)\). By the previous discussion in this paragraph, through each point \(y\in {\mathcal {S}}\) there passes a horizontal plane \(P_y\) and , where \({\mathcal {C}}_y\) is the vertical cone previously described but based at y instead of at \(\mathbf {0}\). As already observed, the one-sided curvature estimates given in Corollary 2.6 imply that \({\mathcal {S}}\cap P_y=\{y\}\).
Fix \(p\in {\mathcal {S}}\). We claim that there exist points \(p_n\in M_n\), with vertical tangent planes and such that \(\lim _{n\rightarrow \infty }p_n= p\). Otherwise in some small neighborhood of p, \(M_n\) admits a non-zero Jacobi function induced by the parallel Killing field \(E_3=(0,0,1)\). This would give estimates for the norm of the second fundamental form of \(M_n\) near p which is a contradiction. We note that this geometric argument also implies that if \(p_n\in M_n\) is a sequence of points with vertical tangent planes that is converging to a point \(q\in {\mathbb {R}}^3\), then there exists a sequence of points \(q_n \in M_n\) with \(\lim _{n\rightarrow \infty }d_{M_n}(p_n,q_n)= 0\) (that is arbitrarily close to \(p_n\)) and with \(\lim _{n\rightarrow \infty }|A_{M_n}|(q_n) = \infty \). Otherwise, after replacing by a subsequence, the norm of the second fundamental form of \(M_n\) would be bounded in a geodesic ball of fixed radius centered at \(p_n\) and thus a small but fixed neighborhood \(U_n\) of \(p_n\) would be graphical over the vertical tangent plane \(T_{p_n}M_n\). On the one hand, the sequence \(U_n\) clearly can’t converge to a horizontal plane. On the other hand, it cannot converge to \({\mathcal {S}}\) either since by playing the role of \(\Delta \) in Corollary 2.6, it would imply a bound for the norm of the second fundamental form of \(M_n\) at points nearby \(U_n\). This contradiction implies that \(q\in {\mathcal {S}}\). In other words, if \({\mathcal {Z}}\) denotes the set of points in \({\mathbb {R}}^3\) that are limits of points \(p_n\in M_n\) with vertical tangent planes, then this discussion implies that \({\mathcal {Z}} ={\mathcal {S}}\).
Fix \(p\in {\mathcal {S}}\). We claim that there exist points \(p_n\in M_n\), with vertical tangent planes and such that \(\lim _{n\rightarrow \infty }p_n= p\). Otherwise in some small neighborhood of p, \(M_n\) admits a non-zero Jacobi function induced by the parallel Killing field \(E_3=(0,0,1)\), which would give curvature estimates of \(M_n\) near p which is a contradiction. Also this geometric description gives that if \(p_n\in M_n\), \(p_n\) is a sequence of points with vertical tangent planes that is converging to a point \(q\in {\mathbb {R}}^3\), then there exists a sequence of points \(q_n \in M_n\) with \(\lim _{n\rightarrow \infty }d_{M_n}(p_n,q_n)= 0\) and with \(\lim _{n\rightarrow \infty }|A_{M_n}|(q_n) = \infty \). Otherwise, after replacing by a subsequence, a geodesic ball of fixed radius centered at \(p_n\) would satisfy curvature estimates and thus be a graph over a vertical plane. By Corollary 2.6, the existence of this graph would lead to a contradiction because such a graph cannot be contained in either \({\mathcal {S}}\) or in a horizontal plane. In particular, this implies that \(q\in {\mathcal {S}}\). In other words, if \({\mathcal {Z}}\) denotes the set of points in \({\mathbb {R}}^3\) that are limits of points \(p_n\in M_n\) with vertical tangent planes, then this discussion implies that \({\mathcal {Z}} ={\mathcal {S}}\).
The following claim is analogous to the statement of Corollary 3.8 in [24] and indeed the proof is the same by using the above observation that intrinsically close to a point where the tangent plane is vertical, there exist points where the norm of the second fundamental form is arbitrarily large. We refer the reader to the proof of Corollary 3.8 in [24] for details in the proof of the next result.
Claim 3.2
Given \(\Lambda , R,{\varepsilon }, k>0\), there exists \(N=N(\Lambda ,R,{\varepsilon }, k)\in {\mathbb {N}}\) such that the following holds. Let \({{\mathcal {H}}}\) denote a vertical helicoid containing the origin with maximal absolute Gaussian curvature \(\frac{1}{2}\) at the origin and let \(p_n\in M_n\cap {\mathbb {B}}(R)\) be a sequence of points where the tangent planes are vertical. For any \(n>N \), \(|A_{M_n}|(p_n)>k\) and there exists a rotation \(T_n\) about the \(x_3\)-axis such that the intersection set \((|A_{M_n}|(p_n)[M_n-p_n])\cap {\mathbb {B}}(\Lambda )\) consists of one or two connected components and each component consists of a normal graph u over its projection to \( T_n({\mathcal {H}})\) or \(-T_n({\mathcal {H}})\) and \(\Vert u\Vert _{C^2}\le {\varepsilon }\).
Since \({\mathcal {S}}\) is a closed set in \({\mathcal {C}}_{\mathbf {0}}\) and the mapping \(x_3|_{{\mathcal {C}}_{\mathbf {0}}} \rightarrow {\mathbb {R}}\) is proper, it follows that \(x_3({\mathcal {S}})\) is a closed subset of \({\mathbb {R}}\) and so \({\mathbb {R}}\setminus x_3({\mathcal {S}})\) is a possibly empty collection of pairwise disjoint open intervals together with perhaps one or two half-lines.
Claim 3.3
The intersection \(\{x_3=t\}\cap {\mathcal {S}}\) is a single point for every \(t\in {\mathbb {R}}\). In fact, the set \({\mathcal {S}}\) is a vertical line passing through the origin and \(x=\mathbf {0}\).
Proof
We first prove that the intersection \(\{x_3=t\}\cap {\mathcal {S}}\) is a single point for every \(t\in {\mathbb {R}}\). Since \(|\{x_3=t\}\cap {\mathcal {S}}|\le 1\), it suffices to show that . Arguing by contradiction, suppose that for some \(t_0 \in {\mathbb {R}}\),
. The point \(t_0 \) is contained in a component, \(I=(a,b) \subset [{\mathbb {R}}\setminus {x_3({\mathcal {S}})}]\), where perhaps a or b is equal to \(\pm \infty \) but not both. Without loss of generality, we may assume that \(a\ne -\infty \) and \(b\in ( a,\infty ]\) and define \(W=x_3^{-1}((a,b))\); the set W is either an open slab or an open half-space. Let \(\Delta \) be the set of points in \(\partial W\cap {\mathcal {S}}\). By the previous discussion, \(\Delta \) contains exactly one point of \({\mathcal {S}}\) in each component of \(\partial W\). Since the sequence \(\{M_n\cap W\}_n \) has uniformly locally bounded norm of the second fundamental form in W and \(\lim _{n\rightarrow \infty } H_n = 0\), the sequence converges to the minimal lamination \({\mathcal {L}}_W={\mathcal {L}}\cap W\) of W. Again the one-sided curvature estimates in Theorem 2.5 and Corollary 2.6 give that \([{\mathcal {L}}_W\cup \partial W] \setminus \Delta \) is a minimal lamination of \({\mathbb {R}}^3\setminus \Delta \). Note that
, otherwise after placing a horizontal plane in W disjoint from \({\mathcal {L}}\) and arbitrarily close to \(\Delta \), one could apply the one-sided curvature estimate in Theorem 2.5 to show that
. As already observed, the closure \(\overline{{\mathcal {L}}}_W\) of \({\mathcal {L}}_W\) in \({\mathbb {R}}^3\setminus \Delta \) has the structure of a minimal lamination of \({\mathbb {R}}^3\setminus \Delta \), and it is obtained by adding the leaves \(\partial W \setminus \Delta \) to the lamination \({\mathcal {L}}_ W\).
Following the arguments at the end of the proof of Proposition 3.1 in [24], it is straightforward to check that the leaves of the lamination \(\overline{{\mathcal {L}}}_W\) have genus zero. Briefly, to see this property holds one first shows that none of the leaves in this lamination contained in W are stable, which by the Stable Limit Leaf Theorem in [17, 18] implies every leaf L of \({\mathcal {L}}_W\) is nonflat and proper in W and the convergence of the surfaces \(M_n\) to L has multiplicity one or two. Finally, a curve lifting argument shows that L has genus zero.
Let L be a proper nonflat genus-zero leaf in \({\mathcal {L}}_W\). Since we can view \(\overline{{\mathcal {L}}}_W\) to be a minimal lamination of \({\mathbb {R}}^3\) with a countable number of singularities (the singularities being in the finite set \(\Delta \)), then item 6 in Theorem 1.8 of [19] implies that the closure \(\overline{L}\) of L in \({\mathbb {R}}^3\) is a properly embedded minimal surface in \({\mathbb {R}}^3\) which lies on one side of one of the boundary planes of W. (In fact, to apply item 6 in Theorem 1.8 of [19] it suffices that the genus of L is finite.) But L is contained in a half-space, which contradicts the half-space theorem in [10]. This contradiction implies that for any \(t\in {\mathbb {R}}\), , and, as previously observed, then \(\{x_3=t\}\cap {\mathcal {S}}\) is a single point.
Recall again that by the one-sided curvature estimates given in Theorem 2.5, for any \(y\in {\mathcal {S}}\), where \({\mathcal {C}}_y\) is the vertical cone based at y previously described. Therefore \({\mathcal {S}}\) is a Lipschitz curve parameterized by its \(x_3\)-coordinate and the sequence \(\{M_n\}_{n\in {\mathbb {N}}}\) converges to a minimal foliation \({\mathcal {L}}\) of \({\mathbb {R}}^3\setminus {\mathcal {S}}\) by punctured horizontal planes. Since before the replacement of \(M_n\) by the rotated surfaces \(T(M_n)\) the norms of the second fundamental forms of the surfaces were bounded away from zero at \(\mathbf {0}\), the nature of the \(C^{\alpha }\) convergence of the surfaces \(T(M_n)\) to the flat planes in \({\mathcal {L}}\) outside of \({\mathcal {S}}\) implies that \(T(\mathbf {0})\in {\mathcal {S}}\); hence, the originally chosen singular point x of convergence “closest” to \(\mathbf {0}\) must be \(\mathbf {0}\) itself and therefore \(T(\mathbf {0})=\mathbf {0}\).
We next check that the curve \({\mathcal {S}}\) is a vertical line passing through the origin. Let
where \(N_n\) denotes the Gauss map of \(M_n\). By the discussion before Claim 3.2, the set \(\Gamma ^R_n\) is nonempty and converges to \({\mathcal {S}}\cap {\mathbb {B}}(R)\) as n goes to infinity. Therefore, it suffices to show that \(\Gamma ^R_n\) converges \(C^1\), possibly with multiplicity, to the line segment \(\{(0,0,t)\mid t\in (-R,R)\}\). This follows by Claim 3.2 because for n large, \(\Gamma ^R_n\) is an analytic curve with tangent lines converging uniformly to the \(x_3\)-axis in balls centered at the origin of any fixed radius. \(\square \)
The previous claims complete the proof of part (a) of item B in the theorem. It remains to prove the last statement in the theorem.
Claim 3.4
Let \(\Gamma _n=N_n^{-1}(\{x_1^2+x_2^2=1\})\cap {\mathbb {B}}(3)\). Then \(\Gamma _n\) consists of one or two analytic curves for n large.
Proof
By Claim 3.3 and its proof, the set \(\Gamma _n\) is a possibly disconnected analytic curve that converges \(C^1\) to the line segment obtained by intersecting the \(x_3\)-axis with \({\mathbb {B}}(3)\). Hence, it suffices to prove that \(\Gamma _n\cap \{x_3=0\}\) consists of one or two points for n large. Suppose that, after replacing by a subsequence, \(p_1(n), p_2(n), p_3(n)\in \Gamma _n\cap \{x_3=0\}\) are three distinct points converging to \(\mathbf {0}\) and let \(\Gamma _n(i)\) be the connected component of \(\Gamma _n\) containing \(p_i(n)\), \(i=1,2,3\). Without loss of generality, after applying small horizontal translations and rotations around the \(x_3\)-axis, we may assume that \(p_1(n)=\mathbf {0}\), \(p_3(n)=(t_n,0,0)\) and \(|p_2(n)|\le t_n\) satisfying \(\lim _{n\rightarrow \infty } t_n=0\).
Consider the subsequence of rescaled disks \({\Sigma }_n=\frac{1}{t_n} M_n\) that contain the points \(\mathbf {0}\) and (1, 0, 0) and let \(q(n)=\frac{1}{t_n}{p_2(n)}\). Note that \(\mathbf {0},(1,0,0),q(n) \in {\Sigma }_n\cap \{ x_3=0\}\), the tangent planes to \({\Sigma }_n\) at \(\mathbf {0}\), \(q_n\) and (1, 0, 0) are vertical and \(|q(n)|\le 1\). Claim 3.2 implies that a subsequence of the homothetically scaled surfaces \( |A_{M_n}|(\mathbf {0})M_n\) converges to a vertical helicoid \({{\mathcal {H}}}\) containing the \(x_3\)-axis. We are going to use what we have proven so far to analyze three exhaustive cases that would occur after replacing by a subsequence.
-
1.
\(\lim _{n\rightarrow \infty }|A_{{\Sigma }_n}|(\mathbf {0})= 0\);
-
2.
\(\lim _{n\rightarrow \infty }|A_{{\Sigma }_n}|(\mathbf {0})= C\in (0,\infty )\);
-
3.
\(\lim _{n\rightarrow \infty }|A_{{\Sigma }_n}|(\mathbf {0})= \infty \).
If \(\lim _{n\rightarrow \infty }|A_{{\Sigma }_n}|(\mathbf {0})=\lim _{n\rightarrow \infty }t_n |A_{M_n}|(\mathbf {0})= 0\), then \( |A_{M_n}|(\mathbf {0})M_n\) converges to \({{\mathcal {H}}}\) with multiplicity greater than two. This is because \(|p_2(n)|\le t_n\) implies there are at least three points in \( |A_{M_n}|(\mathbf {0})M_n\cap \{x_3=0\}\) converging to the origin and having vertical tangent planes. However, a multiplicity greater than two convergence implies stability. Since the helicoid is not stable, we have obtained a contradiction when case 1 holds.
Next, assume that \(\lim _{n\rightarrow \infty }|A_{{\Sigma }_n}|(\mathbf {0}) =\lim _{n\rightarrow \infty }t_n |A_{M_n}|(\mathbf {0})= C\in (0,\infty )\). Again, by Claim 3.2 we have that a subsequence of \( |A_{M_n}|(\mathbf {0})M_n\) converges to a vertical helicoid \({{\mathcal {H}}}\) containing the origin and
must converge to the vertical helicoid \(\frac{1}{C} {{\mathcal {H}}}\). However, this leads to a contradiction because (1, 0, 0) is a point in \({\Sigma }_n\) with vertical tangent plane. This proves the claim when case 2 holds.
Finally, assume that \(\lim _{n\rightarrow \infty }|A_{{\Sigma }_n}|(\mathbf {0})=\lim _{n\rightarrow \infty }t_n |A_{M_n}|(\mathbf {0})=\infty \). By our previous discussion, there exists a foliation \({\mathcal {F}}\) of \({\mathbb {R}}^3\) by planes and a line \({\mathcal {S}}\) orthogonal to the planes in \({\mathcal {F}}\) such that \(\mathbf {0}\in {\mathcal {S}}\) and after replacing by a subsequence, the new sequence of surfaces \({\Sigma }_n\) converges \(C^{\alpha }\), for \({\alpha }\in (0,1)\), to the foliation \({\mathcal {F}}\setminus {\mathcal {S}}\) in \({\mathbb {R}}^3\setminus {\mathcal {S}}\). We claim that \({\mathcal {F}}\) must be a foliation by vertical planes. If \((1,0,0)\notin {\mathcal {S}}\), then the claim is true because the tangent plane to \({\Sigma }_n\) at (1, 0, 0) is vertical. If \((1,0,0)\in {\mathcal {S}}\) then, since \(\mathbf {0}\in {\mathcal {S}}\) and \({\mathcal {S}}\) is a straight line orthogonal to the planes in the foliation, \({\mathcal {S}}\) is the \(x_1\)-axis and \({\mathcal {F}}\) is a foliation by vertical planes.
Recall that as n goes to infinity, the boundary curves of the disks \(M_n\) are converging to infinity and the constant values of their mean curvatures are going to zero. For n sufficiently large, let \({\widetilde{M}}_n\subset M_n\) be the \(H_n\)-subdisk containing the origin with \(\partial {\widetilde{M}}_n\subset \partial {\mathbb {B}}(1)\). Without loss of generality we can assume \(H_n \in (0, \frac{1}{2})\). Let \(G_1, \omega _1, \Omega _1\) be the values of the functions \(G_\tau , \omega _\tau , \Omega _\tau \) given by Theorem 2.2, after fixing \({\varepsilon }=\tau =1\), \(\overline{{\varepsilon }}=\frac{1}{2}\). Note that since \( \lim _{n\rightarrow \infty }t_n |A_{{\widetilde{M}}_n}|(\mathbf {0})= \infty , \) for n sufficiently large, \(|A_{{\widetilde{M}}_n}|(\mathbf {0})\ge \frac{1}{t_n} G_1\). Thus, when n is sufficiently large, Theorem 2.2 and the fact that \(M_n\) converges to a foliation of \({\mathbb {R}}^3\) minus the \(x_3\)-axis by horizontal planes, imply that there exist points \(p_n \in \widetilde{M}_n\cap {\mathbb {B}}(\frac{t_n}{2})\) such that the following holds: \({\widetilde{M}}_n-p_n\), and thus \(M_n-p_n\), contains a 3-valued graph \(u_n\) over \(A(1/\Omega _1,\frac{\omega _1}{|A_{M_n}|(\mathbf {0})})\) with the norm of its gradient less than 1 and with its inner boundary in \({\mathbb {B}}(10\frac{\omega _1}{|A_{M_n}|(\mathbf {0})})\).
Note that since \(p_n\in {\mathbb {B}}(\frac{t_n}{2})\), a subsequence of the translated and scaled surfaces \(\Sigma _n'=\frac{1}{t_n} [M_n-p_n]\) must converge to the translated foliation \({\mathcal {F}}'={\mathcal {F}}-\mathbf {v}\) away from the translated singular set \({\mathcal {S}}'={\mathcal {S}}-\mathbf {v}\), where \(\mathbf {v}=\lim _{n\rightarrow \infty }\frac{p_n}{t_n}\), \(|\mathbf {v}|\le \frac{1}{2}\). In particular, the leaves of \({\mathcal {F}}'\) are vertical planes and the singular set \({\mathcal {S}}'\) is a horizontal line perpendicular to the leaves of \({\mathcal {F}}'\). However, for n large, \(\Sigma _n'\) contains a 3-valued graph \(u_n'=\frac{1}{t_n}u_n\) over \(A(1/t_n\Omega _1,\frac{\omega _1}{t_n|A_{M_n}|(\mathbf {0})})\) with the norm of its gradient less than 1 and with its inner boundary in \({\mathbb {B}}(10\frac{\omega _1}{t_n|A_{M_n}|(\mathbf {0})})\). Since \(\lim _{n\rightarrow \infty }t_n=0\) and \(\lim _{n\rightarrow \infty }t_n |A_{{\widetilde{M}}_n}|(\mathbf {0})= \infty \), this contradicts the fact that the leaves of \({\mathcal {F}}'\) are punctured vertical planes. This contradiction finishes the proof of the claim. \(\square \)
The next claim follows from arguments similar to those in the proof of the last claim and by Claim 3.2, after taking \({\Lambda }=4\) and \({\varepsilon }\) sufficiently small.
Claim 3.5
After replacing by a subsequence, assume that the number of components in \({\Gamma }_n\) does not change. For any fixed \(\theta _0\in [0,1)\), there exists an \(N(\theta _0)\in {\mathbb {N}}\) such that, after replacing by a subsequence, the following holds for \(n\ge N(\theta _0)\). For any \({\theta }\in [-{\theta }_0, {\theta }_0]\), let
then \(\gamma _n^{\theta }\) consists of one or two disjoint analytic curves, the number of these curves does not depend upon the choice of \({\theta }\) (and so this number is the same as the number of components in \({\Gamma }_n\)), the curves \(\gamma _n^\theta \) can be parameterized smoothly by their \(x_3\)-coordinates and as n goes to infinity the curves \(\gamma _n^\theta \) and the sets \(\cup _{\tau \in [-{\theta }_0, {\theta }_0]}\gamma _n^\tau \) converge to the interval \(\{(0,0,t) \mid t\in (-3,3)\}\).
We next explain how to construct the set \({\mathcal {C}}_n\) consisting of one or two disk components described in part (b) of item B of Theorem 1.1. This explanation will complete the proof of the theorem.
Fix a number \(\beta \in (0,1/3)\). Let us first suppose that, after choosing a subsequence, for all \(n\in {\mathbb {N}}\), \(\Gamma _n\) is a single curve, which we denote by \({\gamma }(n)\). The curve \({\gamma }(n)\) can be parameterized by its \(x_3\)-coordinates that lie in some interval \((-3+{\varepsilon }^1_n, 3-{\varepsilon }^2_n)\), where, as n goes to infinity, the sequences of numbers \({\varepsilon }^1_n,{\varepsilon }^2_n\in [0,\beta )\) converge to zero and \({\gamma }(n)\) is \(\beta \)-close to the \(x_3\)-axis. Then, by Claim 3.2 and by Claim 3.5 with \({\Lambda }\) chosen sufficiently large and \({\varepsilon }\) chosen sufficiently small, there exists an \(N(\beta )\in {\mathbb {N}}\) such that for \(n\ge N(\beta )\) the following holds:
For each \(t\in (-1-\beta ,1+\beta )\), the vertical tangent plane \(T_{{\gamma }(n)(t)} M_n\) intersects \((M_n \setminus {\gamma }(n)(t))\cap \overline{{\mathbb {B}}}(1+2\beta )\) transversely, in a set containing two components that are arcs such that the closure of their union is an analytic curve \({\alpha }_t^n\) with \({\gamma }(n)(t)\in {\alpha }_t^n\) and \({\alpha }_t^n\) is \(\beta \)-close to a line segment contained in \(\tau _t^n= T_{{\gamma }(n)(t)} M_n\cap \{x_3=t\}\cap \overline{{\mathbb {B}}}(1+3\beta )\) in the \(C^1\)-norm.
For \(n\ge N(\beta )\), define the following piecewise smooth disks:
Let \(I_n:F_n^\beta \rightarrow \widehat{F}_n^\beta \) be the associated diffeomorphism induced by translating the horizontal line segment \(\tau _t^n\) to the horizontal line segment \(\tau _t^n -(x_1({\gamma }(n))(t),x_2({\gamma }(n)(t)),0)\) at the same height. Note that \(I_n({\gamma }(n)(t))=(0,0,t)\) for all \(t\in (-1-2\beta , 1+2\beta )\). Claim 3.2 and the proof of Claim 3.3 imply that \(N(\beta )\) can be chosen large enough so that the following condition also holds:
For all unit length tangent vectors v to \(\tau _t^n\subset F_n^\beta \) or to the arc \({\gamma }(n)\cap F_n^\beta \),
where \((I_n)_{*}(v)\) denotes the tangent vector of the related image smooth arcs.
Claim 3.2 implies that \(N(\beta )\) can also be chosen large enough so that the following condition also holds:
For \(n\ge N(\beta )\), there is a unique injective map \(\Pi _n:{\mathcal {C}}^\beta _n\rightarrow F_n^\beta \) defined at a point \((x, y, z)\in {\alpha }_t^n\) by
The map \(\Pi _n\) is smooth at points in \({\mathcal {C}}_n^\beta \setminus {\gamma }(n)\), \(\Pi _n\) restricted to \({\gamma }(n)\cap {\mathcal {C}}_n^\beta \) is the identity function and for all unit tangent vectors v to the pair of arcs \({\alpha }_t^n \setminus \{{\gamma }(n)(t)\}\) or to \({\gamma }(n)\cap {\mathcal {C}}_n^\beta \),
where \((\Pi _n)_{*}(v)\) denotes the tangent vector of the related image smooth arcs.
We next define a distance function D on \({\mathbb {R}}^3\) that makes it into a metric space and that is useful for estimating distances D between pairs of points in the disks \({\mathcal {C}}_n^\beta \), see Fig. 2.
Definition 3.6
Let \(x=(x_1,x_2,x_3), y=(y_1,y_2,y_3)\) be points in \({\mathbb {R}}^3\).
-
1.
If \(x_3=y_3\), then
$$\begin{aligned} D(x,y)=\sqrt{(y_1-x_1)^2+(y_2-x_2)^2}. \end{aligned}$$ -
2.
Otherwise,
$$\begin{aligned} D(x,y)=\sqrt{x_1^2+x_2^2} +|x_3-y_3|+\sqrt{y_1^2+y_2^2}. \end{aligned}$$
Given a point \(p\in {\mathbb {R}}^3\), we let \(B^D(p,R)\) denote the open ball center at p of radius R.
The point P is at distance r from the \(x_3\)-axis. Given \(t>0\), the thick line represents a vertical section of the topological boundary of \(B^D(P,2r+t)\) containing P and the \(x_3\)-axis. For \(s\in (0,r+t]\), the intersection \(B^D(P,2r+t)\cap \{x_3=x_3(P)\pm s\} \) consists of an open disk of radius \(r+t-s\) centered at \((0,0,x_3(P)\pm s)\). The intersection \(B^D(P,2r+t)\cap \{x_3=x_3(P)\}\) consists of the open disk centered at P of radius \(2r+t\). It is easy to see that if \(Q\notin B^D(P,2r+t)\) then \(|Q-P|\ge \frac{\sqrt{2}}{2} t\)
Geometrically speaking, this distance function is defined at a pair of points \(p_1,p_2\in {\mathbb {R}}^3\) that lie on a horizontal line that intersects the \(x_3\)-axis to be equal to the length of the line segment between them. Otherwise it is equal to the length of the piecewise polygonal arc formed by the horizontal line segment joining \(p_1\) to the \(x_3\)-axis, the horizontal line segment joining \(p_2\) to the \(x_3\)-axis and the line segment in the \(x_3\)-axis that joins the end points of these two horizontal line segments. Note that D induces a metric space structure with distance function \(D_{\widehat{F}_n^\beta }\) on \( \widehat{F}_n^\beta \) that is greater than or equal to the Riemannian distance function on the surface \(\widehat{F}_n^\beta \).
Let \(x,y\in {\mathcal {C}}_n^\beta \) be distinct points. If x, y lie on the same \({\alpha }_t^n\) arc in \({\mathcal {C}}_n^\beta \), then let \(c_{x,y}^{\beta ,n}\) be the subarc with end points x, y. Otherwise, consider the embedded piecewise smooth path \(c_{x,y}^{\beta ,n}\) in \({\mathcal {C}}_n^\beta \) formed by the unique two subarcs in the \({\alpha }_t^n\)-type curves joining, respectively, the points x, y to points in \({\gamma }(n)\) together with the subarc in \({\gamma }(n)\) that joins the respective end points of these arcs in \({\gamma }(n)\); the reader should note the similarity of the construction of this piecewise smooth path joining x and y with the construction of the piecewise polygonal arc in the previous paragraph that joins points \(p_1\), \(p_2\) in \({\mathbb {R}}^3\) and where now \({\gamma }(n)\) plays the role of the \(x_3\)-axis. Let
and given \(x,y\in {\mathcal {C}}_n^\beta \), let \(C_{x,y}^{\beta ,n}\) denote the embedded piecewise smooth path \(G_n^\beta (c_{x,y}^{\beta ,n})\) that has end points \(G_n^\beta (x),G_n^\beta (y)\in {\mathbb {B}}(1+4\beta )\). By Eqs. (4) and (5),
Note that \({\mathrm{Length}}(C_{x,y}^{\beta ,n})=D(G_n^\beta (x),G_n^\beta (y))\). An elementary calculation shows that for any points \(X,Y\in \overline{{\mathbb {B}}}(R)\), \(D(X,Y)\le 2\sqrt{2}R\). Hence, by Eq. (7), we have the estimate
Since as n goes to infinity, \(\beta \) can be chosen arbitrarily small, then for n sufficiently large, we can assume that \((1+\beta )^2 2(1+4\beta )\sqrt{2}< 3\). With this choice of \(\beta \),
and thus, the intrinsic diameter of \({\mathcal {C}}_n^\beta \) is less than 3 for n sufficiently large. Henceforth, we will assume that \(\beta \) is chosen sufficiently small and n is chosen sufficiently large so that this inequality holds.
In the case being considered where \({\Gamma }_n\) is a single curve, after replacing by a sequence, define \({\mathcal {C}}_n:={\mathcal {C}}_n^\beta \) and note that since \(\mathbf {0}\in C_n \), . By construction, \(\partial {\mathcal {C}}_n \subset [\overline{{\mathbb {B}}}(1+2\beta ) \setminus \overline{{\mathbb {B}}}(1+\frac{2}{3} \beta )]\subset [{\mathbb {R}}^3\setminus \overline{{\mathbb {B}}}(1+\frac{2}{3} \beta )]\).
It remains to prove that for n sufficiently large, every component \(\Delta _n \) of \(M_n\cap {\mathbb {B}}(1)\), and its closure \(\overline{\Delta }_n \), is a disk that is contained in \({\mathcal {C}}_n\). We first prove that \(\Delta _n\) is contained in \({\mathcal {C}}_n\). Once this is proved, the fact that \(\Delta _n\) and its closure are disks with piecewise smooth boundary follows by using the same arguments as in the proof of item A of the theorem.
Arguing by contradiction, suppose that after choosing a subsequence, for all \(n\in {\mathbb {N}}\), there is a component \(\Delta _n \) of \(M_n\cap {\mathbb {B}}(1)\) that is not contained in \({\mathcal {C}}_n\). Let \({{\widehat{\Delta }}}_n\) be the connected component of \(M_n\cap {\mathbb {B}}(1+\frac{1}{2}\beta )\) containing \(\Delta _n\). By elementary separation property, using that \({\mathcal {C}}_n\) is a disk disjoint from \(\Delta _n\) and with \(\partial {\mathcal {C}}_n \subset [{\mathbb {R}}^3\setminus \overline{{\mathbb {B}}}(1+\frac{2}{3} \beta )]\), it follows that \({{\widehat{\Delta }}}_n\) is also disjoint from \({\mathcal {C}}_n\). By the construction of \({\mathcal {C}}_n\), Claim 3.5 implies that given \({\theta }_0\in [0,1)\), if n is sufficiently large then the set \((\bigcup _{{\theta }\in [-{\theta }_0,{\theta }_0]}{\gamma }_n^{\theta }) \cap \overline{{\mathbb {B}}}(1+\frac{1}{2}\beta )\) is contained in \( {\mathcal {C}}_n\). Since \({{\widehat{\Delta }}}_n\) is disjoint from \({\mathcal {C}}_n\), we conclude that given \({\varepsilon }>0\) there exists \(N({\varepsilon })\in {\mathbb {N}}\) such that if \(n\ge N({\varepsilon })\), for any point \(p\in {{\widehat{\Delta }}}_n\), \(|\langle N(p), (0,0,1)\rangle |\ge 1-{\varepsilon }\). Since \({{\widehat{\Delta }}}_n\) contains points in \({\mathbb {B}}(1)\) and has its boundary contained in \( \partial {\mathbb {B}}(1+\frac{1}{2}\beta )\), if \({\varepsilon }\) is chosen sufficiently small depending on \(\beta \), then \({{\widehat{\Delta }}}_n\) must intersect \({\gamma }(n)\) when n is sufficiently large, contradicting embeddedness. This contradiction proves that the disk \(\Delta _n\) must be contained in \({\mathcal {C}}_n\), and completes the proof of the theorem in the special case that \({\Gamma }_n\) has one component.
Suppose now that \({\Gamma }_n\) has exactly two components for all n. Let \({\Gamma }_n\cap \overline{{\mathbb {B}}}(1+\beta )={\gamma }_1(n)\cup {\gamma }_2(n)\), with \(\mathbf {0}\in {\gamma }_1(n)\). Since the arcs \({\gamma }_2(n)\) converge to the intersection of the \(x_3\)-axis with the ball \({\mathbb {B}}(1+\beta )\), after replacing by a subsequence, . As in the just considered case, we can construct a disk \({\mathcal {C}}_n^\beta (1)\) passing through the origin and that contains the “axis” \({\gamma }_1(n)\) and the intrinsic diameter of \({\mathcal {C}}_n^\beta (1)\) is less than 3. After choosing a possibly smaller value of \(\beta \), one can also construct a similarly defined “ruled” disk \({\mathcal {C}}_n^\beta (2)\subset \overline{{\mathbb {B}}}(1+2\beta )\) with “axis” \({\gamma }_2 (n)\) and the intrinsic diameter of \({{\mathcal {C}}}_n^\beta (2)\) is also less than 3. Note that in this second case the disks \({{\mathcal {C}}}_n^\beta \)(1), \({{\mathcal {C}}}_n^\beta (2)\) are also pairwise disjoint. The proof that every component of \(M_n\cap {\mathbb {B}}(1)\) is a disk whose closure in \(M_n\) is a piecewise smooth compact disk contained in \({\mathcal {C}}_n={{\mathcal {C}}}_n^\beta (1) \cup {{\mathcal {C}}}_n^\beta (2)\) is the same as the proof when \({\Gamma }_n\) is a single curve. This last observation completes the proof of Theorem 1.1\(\square \)
4 Applications of the main theorem
4.1 Chord-arc property
In this section we prove the chord arc result stated in Theorem 1.2. Before doing so, we need to recall a result from [22]. In [22], we applied the one-sided curvature estimate in Theorem 2.5 to prove a relation between intrinsic and extrinsic distances in an H-disk, which can be viewed as a weak chord arc property. This result was motivated by and generalizes a previous result, Proposition 1.1 in [9], by Colding-Minicozzi for 0-disks. We begin by making the following definition.
Definition 4.1
Given a point p on a surface \(\Sigma \subset {\mathbb {R}}^3\), \({\Sigma }(p,R)\) denotes the closure of the component of \(\Sigma \cap {{\mathbb {B}}}(p,R)\) passing through p.
Theorem 4.2
(Weak chord arc property, Theorem 1.2 in [22]) There exists a \(\delta _1 \in (0, \frac{1}{2})\) such that the following holds.
Let \({\Sigma }\) be an H-disk in \({\mathbb {R}}^3.\) Then for all intrinsic closed balls \(\overline{B}_{\Sigma }(x,R)\) in \({\Sigma }\setminus \partial {\Sigma }\):
-
1.
\({\Sigma }(x,\delta _1 R)\) is a disk with piecewise smooth boundary \(\partial \Sigma (\mathbf {0},\delta _1 R)\subset \partial {\mathbb {B}}({\delta }_1R)\).
-
2.
\( {\Sigma }(x, \delta _1 R) \subset B_{\Sigma }(x, \frac{R}{2}).\)
Theorem 1.2 is Eq. (10) of this result.
Theorem 4.3
Given \({\varepsilon }>0\), there exists a \(C_{\varepsilon }>1\) so that the following holds. Suppose that \({\Sigma }\) is an H-disk, \( \mathbf {0}\in {\Sigma }\) and \(R>r_0>0\). If \({B}_{\Sigma }(\mathbf {0},C_{\varepsilon }R)\subset {\Sigma }\setminus \partial {\Sigma }\) and \(\sup _{B_{\Sigma }(\mathbf {0},(1-\frac{\sqrt{2}}{2})r_0)}|A_{\Sigma }|\ge r_0^{-1}\), then
In particular, for \({\varepsilon }\) chosen sufficiently small, there exists a \(C_{\varepsilon }\) so that
Remark 4.4
The constants in Eq. (9) are sharp in the following sense. For every \(k\in {\mathbb {N}}\), there exists a helicoid \({\Sigma }\) with \(\mathbf {0}\in {\Sigma }\) satisfying the following properties:
-
\(\sup _{B_{{\Sigma }}(\mathbf {0},1-\frac{\sqrt{2}}{2})}|A_{{\Sigma }}|= 1,\)
-
there exists points \( x,y\in {\Sigma }\), such that
$$\begin{aligned}&{\mathrm{dist}}_{\Sigma }(x,\mathbf {0})> (\sqrt{2}-\frac{1}{k})|x|,\\&{\mathrm{dist}}_{\Sigma }(y,\mathbf {0})> 2-\frac{1}{k} . \end{aligned}$$
Proof
Arguing by contradiction, suppose there exists \(\delta >0\) such that for any \(n\in {\mathbb {N}}\) the following holds. There exist an \(H_n\)-disk \({\Sigma }_n\) with \( \mathbf {0}\in {\Sigma }_n\), and \(R_n>r_n>0\), such that \({B}_{{\Sigma }_n}(\mathbf {0},n^2R_n)\subset {\Sigma }_n \setminus \partial {\Sigma }_n\), \(\sup _{B_{{\Sigma }_n}(\mathbf {0},(1-\frac{\sqrt{2}}{2})r_n)}|A_{{\Sigma }_n}|\ge r_n^{-1}\), and
for some \(x_n\in B_{{\Sigma }_n}(\mathbf {0},R_n).\)
Abusing the notation, let \( {\Sigma }_n\) denote the rescaled surfaces \(\frac{1}{nR_n} {\Sigma }_n\) and let \({r}_n\) denote \(\frac{{r}_n}{nR_n}\). Then for the new sequence of disks \({\Sigma }_n\) the following holds. The intrinsic ball \( B_{ {\Sigma }_n}(\mathbf {0},n)\) is contained in \( {\Sigma }_n \setminus \partial {\Sigma }_n\), \(\mathbf {0}\in {\Sigma }_n\),
where \( r_n<\frac{1}{n}\) and
for some \(y_n\in B_{{\Sigma }_n}(\mathbf {0},1/n).\)
Theorem 4.2 implies that the surfaces \(\widetilde{\Sigma }_n= {\Sigma }_n(\mathbf {0},{\delta }_1 n)\) are disks with piecewise smooth boundary \(\partial \widetilde{\Sigma }_n\subset \partial {\mathbb {B}}({\delta }_1n)\) and therefore, after choosing a subsequence, we can assume that \(\partial \widetilde{\Sigma }_n \subset [{\mathbb {R}}^3\setminus {\mathbb {B}}(n)]\).
Since by Eq. (11), \(\sup _{B_{\widetilde{\Sigma }_n}(\mathbf {0},(1-\frac{\sqrt{2}}{2})r_n) }|A_{ \widetilde{\Sigma }_n}|\ge r_n^{-1}\ge n,\) we can apply the arguments in the proof of Case B of Theorem 1.1 to the sequence of constant mean curvature disks \(\widetilde{\Sigma }_n\). Once again, abusing the notation, we let \({\Sigma }_n\) denote \(\widetilde{\Sigma }_n\). Theorem 1.1 implies that, after choosing a subsequence, there exists a straight line \({\mathcal {S}}\) going through the origin, such that the sequence of surfaces \({\Sigma }_n\) converges to a minimal foliation of \({\mathbb {R}}^3\setminus {\mathcal {S}}\) by planes. Without loss of generality, we will assume these planes are horizontal and \({\mathcal {S}}\) is the \(x_3\)-axis.
By the proof of part B of Theorem 1.1, there is a set \({\Gamma }_n\subset {\Sigma }_n\cap {\mathbb {B}}(3)\) that consists of one or two analytic arcs along which the disk \({\Sigma }_n\) has vertical tangent planes. These curves converge \(C^1\) to the intersection of the \(x_3\)-axis with \( {\mathbb {B}}(3)\). Finally there exists a disk \({\mathcal {D}}^\beta _n\) component of a set \({\mathcal {C}}_n^\beta \) (see Eq. (3)) that contains the intrinsic ball \(\overline{B}_{{\Sigma }_n}(\mathbf {0},1/n)\) and contains a component \({\gamma }(n) \) of \({\Gamma }_n\cap {\mathcal {C}}_n^\beta \subset {\mathbb {B}}(1+2\beta )\), \(\beta \in (1,\frac{1}{3})\). Recall that by taking n sufficiently large, \(\beta \) can be taken arbitrarily small.
In order for it to be easier to apply the arguments in the proof of part B of Theorem 1.1, we will soon translate the surfaces \({\Sigma }_n\) so that the translations of the curves \({\gamma }(n)\) contain the origin.
First recall from the proof of part B of Theorem 1.1 that we can view \({\mathcal {D}}^\beta _n\) to be ruled by curves \({\alpha }_t^n\), each of which intersects \({\gamma }(n)\) in a single point with \(x_3\)-coordinate equal to t. Let \(p_n\in {\gamma }(n)\) be the point such that \(\mathbf {0}\in {\alpha }_{x_3(p_n)}^n\) and consider the translated surfaces \(\widetilde{\Sigma }_n=\Sigma _n-p_n\) so that \(p_n\) is sent to the origin, the origin is sent to \(q_n:=-p_n\) and \(y_n\) is sent to \(z_n:=y_n-p_n\). Abusing the notation, we use the same notation for the translation of \({\gamma }(n)\) and \({\mathcal {D}}^\beta _n\). Let \(G_n^\beta \) be the map as defined in Eq. (6) of the previous section, but restricted to \({\mathcal {D}}^\beta _n\cap {\mathbb {B}}(\frac{1}{2})\). Note that since \(q_n\in {\alpha }_0^n\), \(x_3(G_n^\beta (q_n))=0\). Let \(Q_n=G_n^\beta (q_n)\) and \(Z_n=G_n^\beta (z_n)\). In this new setting, Eq. (12) becomes
We will obtain a contradiction by estimating \({\mathrm{dist}}_{\widetilde{{\Sigma }}_n} (z_n,q_n)\) from above.
Recall from the previous section the definitions of \(c_{z_n,q_n}^{\beta ,n}\) and \(C_{z_n,q_n}^{\beta ,n}\), that
and that by taking n sufficiently large, \(\beta \) can be taken arbitrarily small. This, together with Eq. (13) gives that
if \((1+\beta )^2\le (1+\delta )^\frac{1}{2}\). In other words,
By working with the distance D in Definition 3.6, it can be shown that if there exists \(t>0\) such that \({\mathrm{Length}}(C_{z_n,q_n}^{\beta ,n})=t+2|Q_n| \), then \(|Q_n-Z_n|\ge \frac{\sqrt{2}}{2} t\), see Fig. 2. Note that since \(x_3(Q_n)=0\), then \(|Q_n|\) is equal to the distance from \(Q_n\) to the \(x_3\)-axis. In order to prove that such a positive t exists, it will suffice to show that for n large, \({\mathrm{Length}}(C_{z_n,q_n}^{\beta ,n})-2|Q_n| >0\). For the time being, let us assume that such a positive t exists. Then, by the previous discussion, \(t\le \sqrt{2}|Q_n-Z_n|\) and thus
This, together with inequality (14), implies that
Claim 4.5
Given \(\mu >0\) there exists \(N(\mu )>0\) such that for any \(n\ge N(\mu )\), \(|Q_n|\le (1+ \mu )r_n\).
Proof
Arguing by contradiction, assume that there exists \(\mu >0\) such that \( |Q_n|\ge (1+\mu ) r_n\). By the arguments in Sect. 3,
Consider the sequence of rescaled surfaces \({\Sigma }_n'\) given by \(\frac{1}{ |Q_n|}\widetilde{\Sigma }_n\) and let \(q_n'=\frac{1}{ |Q_n| }q_n\), \(Q_n'=\frac{1}{ |Q_n| }Q_n\). Note that \({\mathrm{dist}}_{ {{\Sigma }}'_n} (\mathbf {0},q'_n)\le 2\). Since \(Q_n'\) is the projection of \(q_n'\) to the \((x_1,x_2)\)-plane, the Euclidean distance from \(q'_n\) to the \(x_3\)-axis is equal to 1 while the distance from \(q'_n\) to the \((x_1,x_2)\)-plane is bounded. Note also that
and the tangent plane to \({\Sigma }_n'\) at \(\mathbf {0}\) is vertical.
By Theorem 1.1, see also the arguments in Claim 3.4, after going to a subsequence, \({\Sigma }_n'\) converges either to a vertical helicoid containing the \(x_3\)-axis or to a foliation of \({\mathbb {R}}^3\) minus the \(x_3\)-axis by horizontal planes. Since \(\sup _{B_{{\Sigma }'_n}( q'_n,(1-\frac{\sqrt{2}}{2})\frac{r_n}{|Q_n|})}|A_{{\Sigma }'_n}|\ge 1+\mu \), \(\frac{r_n}{|Q_n|}\le \frac{1}{1+\mu }<1\), and the Euclidean distance from \(q'_n\) to the \(x_3\)-axis is equal to 1, \({\Sigma }_n'\) must converge to a vertical helicoid \({{\mathcal {H}}}\) containing the \(x_3\)-axis. Let
By the previous discussion and the definitions of \(q'_n\) and \(Q_n'\), \(\lim _{n\rightarrow \infty } q'_n\) exists and it is equal to \(Q:=\lim _{n\rightarrow \infty } Q'_n\). Note that
\(|Q|=1\) and \(x_3(Q)=0\). Thus there exists a point \(P\in \overline{B}_{{{\mathcal {H}}}}(Q,(1-\frac{\sqrt{2}}{2})/T)\) with \(|A_{{\mathcal {H}}}|(P)\ge T>1\) with its distance from the \(x_3\)-axis at least \(1-(1-\frac{\sqrt{2}}{2})/T> \frac{\sqrt{2}}{2}\). This contradicts the geometric property that on a vertical helicoid containing the \(x_3\)-axis, points of distance greater than \(\frac{\sqrt{2}}{2}\) from the \(x_3\)-axis must have norm of the second fundamental form less than 1. This finishes the proof of the claim. \(\square \)
By taking \(\mu \) such that \(1+\mu \le (1+{\delta })^\frac{1}{2}-\rho \), for a fixed \(\rho \in (0,(1+{\delta })^\frac{1}{2}-1)\) we have obtained that for n sufficiently large
In other words,
Next we use Claim 4.5 to prove that \({\mathrm{Length}}(C_{z_n,q_n}^{\beta ,n})-2|Q_n| >0\). By Eq. (14),
Therefore, using this, Claim 4.5 and our choice of \(\mu \) we have that if n is sufficiently large,
In order to finish the proof, we argue similarly to the proof of Claim 4.5. After passing to a subsequence, we can assume that one of the following three cases holds.
-
1.
\(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}=L\in (0, \infty )\);
-
2.
\(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}=0\);
-
3.
\(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}=\infty \).
First consider the case where \(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}=L\in (0, \infty )\). Consider the sequence of rescaled surfaces \({\Sigma }_n'\) given by \(\frac{1}{ |z_n|}\widetilde{\Sigma }_n\) and let \(q_n'=\frac{1}{ |z_n| }q_n\), \(Q_n'=\frac{1}{ |z_n| }Q_n\), \(z_n'=\frac{1}{ |z_n| }z_n\), \(Z_n'=\frac{1}{ |z_n| }{Z_n}\).
By Eqs. (15), (16) and Claim 4.5, we then have
Notice that after replacing by a subsequence, the sequence of points \(z'_n\) converges to a point on the unit sphere.
By Theorem 1.1, see also the arguments in Claim 3.4, and the fact that \(\lim _{n\rightarrow \infty }\frac{|z_n|}{r_n}=\frac{1}{L}>0\), a subsequence of \({\Sigma }_n'\) converges either to a vertical helicoid containing the \(x_3\)-axis or to a foliation of \({\mathbb {R}}^3\) minus the \(x_3\)-axis by horizontal planes. (Note that when \(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}=0\), in which case \(\lim _{n\rightarrow \infty }\frac{|z_n|}{r_n}=\infty \), the surfaces \({\Sigma }_n'\) converge to a foliation of \({\mathbb {R}}^3\) minus the \(x_3\)-axis by horizontal planes.)
In either case, \(\lim _{n\rightarrow \infty } z_n'\) exists and it is equal to \(\lim _{n\rightarrow \infty } Z_n'\). Similarly, \(\lim _{n\rightarrow \infty } q_n'\) exists and it is equal to \(\lim _{n\rightarrow \infty } Q_n'\). In particular, \(\lim _{n\rightarrow \infty } |z'_n-q'_n|\) exists and it is equal to \(\lim _{n\rightarrow \infty } |Z'_n-Q'_n|\). Thus, since
by choosing n sufficiently large, one contradicts the inequality
Suppose that \(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}=0\). This being the case, in order to obtain a contradiction, we argue exactly as in the previous case and note that \(\lim _{n\rightarrow \infty } |z'_n-q'_n|=1\ne 0\) since \(\lim _{n\rightarrow \infty } q'_n=\mathbf {0}\) and \(z_n'\) converges to a point on the unit sphere. Thus, by choosing n sufficiently large, one again contradicts the inequality
It remains to obtain a contradiction when \(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}= \infty \). In this case, consider the sequence of rescaled surfaces \(\frac{1}{ r_n}\widetilde{\Sigma }_n\). Abusing the notation, let \({\Sigma }_n'\) denote this sequence and let \(q_n'=\frac{1}{ r_n }q_n\), \(Q_n'=\frac{1}{ r_n }Q_n\), \(z_n'=\frac{1}{ r_n }z_n\), \(Z_n'=\frac{1}{ r_n }{Z_n}\). By Eqs. (15), (16) and Claim 4.5, we then have
Arguing like in the previous case, by Theorem 1.1 a subsequence of the surfaces \({\Sigma }_n'\) converges either to a vertical helicoid containing the \(x_3\)-axis or to a foliation of \({\mathbb {R}}^3\) minus the \(x_3\)-axis by horizontal planes. In either case, since \(\lim _{n\rightarrow \infty }\frac{r_n}{|z_n|}= \infty \), then \(|z_n'|=\frac{|z_n|}{r_n}\) is bounded from above, and it follows that \(\lim _{n\rightarrow \infty } z_n'\) exists and it is equal to \(\lim _{n\rightarrow \infty } Z_n'\). Similarly, \(\lim _{n\rightarrow \infty } q_n'\) exists and it is equal to \(\lim _{n\rightarrow \infty } Q_n'\). In particular \(\lim _{n\rightarrow \infty } |z'_n-q'_n|\) exists and it is equal to \(\lim _{n\rightarrow \infty } |Z_n'-Q_n'|\). Therefore, similarly to the previous two cases, by choosing n sufficiently large, one contradicts the inequality
This finishes the proof of the theorem.\(\square \)
4.2 Curvature estimates
In this section we prove three other useful corollaries of Theorem 2.5 and Corollary 2.6. The next corollary essentially states that if three H-disks are sufficiently close to a point that is away from their boundaries, then nearby that point, the surfaces satisfy a curvature estimate.
Corollary 4.6
There exist constants \({\varepsilon }\in (0,1)\), \(C>1\) such that the following holds. Let \(\Sigma _1\), \(\Sigma _2\), \(\Sigma _3\) be three pairwise disjoint \(H_i\)-disks with \(\partial \Sigma _i\subset [ {\mathbb {R}}^3\setminus {\mathbb {B}}(1)]\) for \(i=1,2,3\). If for \(i=1,2,3\), then
Proof
Arguing by contradiction, suppose that the corollary fails. In this case, for \(i=1,2,3\), there exist sequences of \(H_i(n)\)-disks \(\Sigma _i(n)\) with \(\partial \Sigma _i(n)\subset \partial {\mathbb {B}}(1)\) such that but
Consider the sequence of rescaled surfaces \(M_i(n)=n\Sigma _i(n)\), \(i=1,2,3\), and note that for each i. Without loss of generality, we can assume that
After replacing by a subsequence, Theorem 1.1 implies that the sequence \(M_1(n)\) converges \(C^\alpha \), \({\alpha }\in (0,1)\), to a foliation \({\mathcal {F}}\) of \({\mathbb {R}}^3\setminus {\mathcal {S}}_1\) by parallel planes, where \({\mathcal {S}}_1\) is a line orthogonal to the planes; without loss of generality we will henceforth assume that the parallel planes are horizontal.
Since for \(i=2,3\), , Theorem 1.1, Corollary 2.6 and the embeddedness of the disconnected surface \(\cup _{i=1}^3M_i(n)\) imply that, after replacing by new subsequences, each of the sequences \(M_i(n)\) converges \(C^\alpha \), for \({\alpha }\in (0,1)\), to the foliation \({\mathcal {F}}\) of \({\mathbb {R}}^3\setminus {\mathcal {S}}_1\) by horizontal planes. It follows that for n large, each of the surfaces \(M_i\), \(i=1,2,3\), yields at least one related analytic arc component in the set \({\Gamma }_n\) where \(\cup _{i=1}^3M_i(n)\) has vertical tangent planes in \({\mathbb {B}}(3)\). But the total number of such components in \({\Gamma }_n\) must be at most two by adapting the arguments in the proof of Claim 3.4. This gives a contradiction which completes the proof of the claim. \(\square \)
From Corollary 4.6 one easily obtains the result below.
Corollary 4.7
There exists \({\varepsilon }\in (0,1)\) such that the following holds. Let \(\Sigma _1\), \(\Sigma _2\), \(\Sigma _3\) be \(H_i\)-disks with \(\partial \Sigma _i\subset \partial {\mathbb {B}}(1)\) for \(i=1,2,3\). If for \(i=1,2,3\), then, after a rotation, each component of \(\Sigma _i\cap {\mathbb {B}}(2{\varepsilon })\) intersecting \({\mathbb {B}}({\varepsilon })\) is a graph with norm of its gradient bounded by 1 over its projection into the plane \(\{x_3=0\}.\)
Remark 4.8
In Corollary 0.4 of [8], Colding and Minicozzi gave an analogous result to the statement of Corollary 4.6. In their case, it suffices to have two embedded minimal disks to obtain a curvature estimate. This is because one can insert a stable minimal disk, satisfying curvature estimates, in between the two minimal disks and apply a result analogous to Corollary 2.6 for minimal disks. In our case this approach does not work and indeed the curvature estimate is not true for just two H-disks.
In the next proposition, we use the approach described in the previous remark to obtain a curvature estimate when certain topological conditions are satisfied.
Corollary 4.9
There exist constants \({\varepsilon }\in (0,1/2)\), \(C>1\) such that the following holds. Let \(\Sigma _1\), \(\Sigma _2\) be two pairwise disjoint \(H_i\)-disks with \(\partial \Sigma _i\subset [ {\mathbb {R}}^3\setminus {\mathbb {B}}(1)]\) for \(i=1,2\), and \(0\le H_1\le H_2\). Let W denote a component of \({\mathbb {B}}(1) \setminus [\Sigma _1\cup \Sigma _2]\) such that the mean curvature vector of \({\Sigma }_2\) points into W. If \(W\cap {\mathbb {B}}({\varepsilon })\) contains a component \(W'\) such that for \(i=1,2,\) then
Proof
By Corollary 2.6, there exists \({\varepsilon }>0\) such that the following holds: if \(M\subset W\) is a surface such that , \(\partial M\subset \partial {\mathbb {B}}(1)\) and M satisfies a uniform estimate on the norm of its second fundamental form in \({\mathbb {B}}(1/2)\) that does not depend on \(\Sigma _1\) or \(\Sigma _2\), then the corollary holds. Therefore, it suffice to construct such an M. If \(H_2\ge 1\), then by the extrinsic curvature estimates in Theorem 2.4, \(\Sigma _2\) can be chosen to be such M. Therefore, we can assume that \(H_2<1\).
Under our hypothesis, there exists a compact, oriented, weakly stable \(H_1\)-surface \(M_1\subset W\) such that \(\partial M_1= \partial \Sigma _1\cap \partial W\) and \(M_1\) is homologous to \(\Sigma _1\cap \partial W\) in W, see for instance [1] for this construction. By the results in [13] and standard rescaling arguments, \(M_1\) satisfies a uniform estimate on the norm of the second fundamental form in \({\mathbb {B}}(1/2)\). Since \(M_1\) is homologous to \(\Sigma _1\cap \partial W\) in W and \(W\cap {\mathbb {B}}({\varepsilon })\) contains a component \(W'\) such that for \(i=1,2\), then
. This finishes the proof of the corollary. \(\square \)
References
Alencar, H., Rosenberg, H.: Some remarks on the existence of hypersurfaces of constant mean curvature with a given boundary, or asymptotic boundary in hyperbolic space. Bull. Sci. Math. 121(1), 61–69 (1997)
Bernstein, J., Breiner, C.: Helicoid-like minimal disks and uniqueness. J. Reine Angew. Math. 655, 129–146 (2011)
Bernstein, J., Tinaglia, G.: Topological type of limit laminations of embedded minimal disks. J. Differ. Geom. 102(1), 1–23 (2016). arXiv:1309.6260
Choi, T., Meeks, W.H., III., White, B.: A rigidity theorem for properly embedded minimal surfaces in \({\mathbb{R}}^{3}\). J. Differ. Geom. 32, 65–76 (1990)
Colding, T.H., Minicozzi, W.P., II.: The space of embedded minimal surfaces of fixed genus in a 3-manifold I; estimates off the axis for disks. Ann. Math. 160, 27–68 (2004)
Colding, T.H., Minicozzi, W.P., II.: The space of embedded minimal surfaces of fixed genus in a 3-manifold II; multi-valued graphs in disks. Ann. Math. 160, 69–92 (2004)
Colding, T.H., Minicozzi, W.P., II.: The space of embedded minimal surfaces of fixed genus in a 3-manifold III; planar domains. Ann. Math. 160, 523–572 (2004)
Colding, T.H., Minicozzi, W.P., II.: The space of embedded minimal surfaces of fixed genus in a 3-manifold IV; locally simply-connected. Ann. Math. 160, 573–615 (2004)
Colding, T.H., Minicozzi, W.P., II.: The Calabi–Yau conjectures for embedded surfaces. Ann. Math. 167, 211–243 (2008)
Hoffman, D., Meeks, W.H., III.: The strong halfspace theorem for minimal surfaces. Invent. Math. 101, 373–377 (1990)
Korevaar, N., Kusner, R., Solomon, B.: The structure of complete embedded surfaces with constant mean curvature. J. Differ. Geom. 30, 465–503 (1989)
Kusner, R.: Global geometry of extremal surfaces in three-space. Ph.D. thesis, University of California, Berkeley (1988)
López, F.J., Ros, A.: Complete minimal surfaces of index one and stable constant mean curvature surfaces. Comment. Math. Helv. 64, 34–53 (1989)
Meeks, W.H., III.: The regularity of the singular set in the Colding and Minicozzi lamination theorem. Duke Math. J. 123(2), 329–334 (2004)
Meeks, W.H., III.: The limit lamination metric for the Colding-Minicozzi minimal lamination. Ill. J. Math. 49(2), 645–658 (2005)
Meeks, W.H., III., Pérez, J., Ros, A.: The geometry of minimal surfaces of finite genus I; curvature estimates and quasiperiodicity. J. Differ. Geom. 66, 1–45 (2004)
Meeks, W.H., III., Pérez, J., Ros, A.: Stable constant mean curvature surfaces. In: Ji, Lizhen, Li, Peter, Schoen, Richard, Simon, Leon (eds.) Handbook of Geometrical Analysis, vol. 1, pp. 301–380. International Press, Vienna (2008)
Meeks, W.H., III., Pérez, J., Ros, A.: Limit leaves of an H lamination are stable. J. Differ. Geom. 84(1), 179–189 (2010)
Meeks, W.H., III., Pérez, J., Ros, A.: Structure theorems for singular minimal laminations. J. Reine Angew. Math. 763, 271–312 (2020)
Meeks, W.H., III., Rosenberg, H.: The uniqueness of the helicoid. Ann. Math. 161(2), 727–758 (2005)
Meeks, W.H., III., Rosenberg, H.: The minimal lamination closure theorem. Duke Math. J. 133(3), 467–497 (2006)
Meeks, W.H., III., Tinaglia, G.: Chord arc properties for constant mean curvature disks. J. Geom. Topol. 22(1), 305–322 (2018). arXiv:1408.5578.pdf
Meeks, W.H., III., Tinaglia, G.: Curvature estimates for constant mean curvature surfaces. Duke Math. J. 168, 3057–3102 (2019). arXiv:1502.06110
Meeks, W.H., III., Tinaglia, G.: One-sided curvature estimates for \({H}\)-disks. Camb. J. Math. 8(3), 479–503 (2020). arXiv:1408.5233
Smyth, B., Tinaglia, G.: The number of constant mean curvature isometric immersions of a surface. Comment. Math. Helv. 88(1), 163–183 (2013)
White, B.: Curvatures of embedded minimal disks blow up on subsets of \({C}^{1}\) curves. J. Differ. Geom. 100(2), 389–394 (2015)
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.
This material is based upon work for the NSF under Award No. DMS-1309236. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the NSF.
Giuseppe Tinaglia was partially supported by EPSRC Grant No. EP/M024512/1.
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
Meeks, W.H., Tinaglia, G. Limit lamination theorem for H-disks. Invent. math. 226, 393–420 (2021). https://doi.org/10.1007/s00222-021-01049-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-021-01049-x