Abstract
We study the mean curvature flow in 3-dimensional null hypersurfaces. In a spacetime a hypersurface is called null, if its induced metric is degenerate. The speed of the mean curvature flow of spacelike surfaces in a null hypersurface is the projection of the codimension-two mean curvature vector onto the null hypersurface. We impose fairly mild conditions on the null hypersurface. Then for an outer un-trapped initial surface, a condition which resembles the mean-convexity of a surface in Euclidean space, we prove that the mean curvature flow exists for all times and converges smoothly to a marginally outer trapped surface (MOTS). As an application we obtain the existence of a global foliation of the past of an outermost MOTS, provided the null hypersurface admits an un-trapped foliation asymptotically.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let (M, g) be a four dimensional, time-oriented Lorentzian manifold or spacetime with Levi-Civita connection D, where for convenience we write
for vector fields X, Y of M. Let \(\Sigma \subset M \) be an embedded spacelike 2-sphere. The second fundamental form of \(\Sigma \) in M and the corresponding mean curvature vector are denoted by
for all sections \(V,W\in \Gamma (T\Sigma )\). For a future directed null normal \(l\in \Gamma (T^\perp \Sigma )\), the conditions
on \(\Sigma \) are called outer un-trapped, or outer trapped respectively. Those properties are referred to hold weakly, provided the respective weak inequality holds. If the space-time (M, g) is globally hyperbolic satisfying the null energy condition, then the famous singularity theorems of Hawking and Penrose imply (M, g) forms a singularity in the causal future of an outer trapped surface \(\Sigma \). A marginally outer trapped surface, or MOTS, is identified by the condition
If a MOTS bounds a family of trapped surfaces and (M, g) is asymptotically predictable, one concludes that a MOTS lies within the black-hole region of (M, g). Consequently, MOTSs are studied as ‘quasi-local versions’ of the event horizon of (M, g), the boundary of the black-hole region.
Our main motivation is to use a geometric flow in locating a MOTS. This idea goes back to work of Tod [30], where he suggested the mean curvature flow to find a MOTS inside a time-symmetric slice of spacetime. Time-symmetry indicates a Riemannian hypersurface fully decoupled (or totally geodesic) from the ambient spacetime geometry. Within such a slice, a MOTS is identified as a minimal surface. Given an initial boundary on which to initiate mean curvature flow, work by White [31] showed, provided this region encloses a minimal surface, that an outermost minimal surface will result in the limit of the flow. In the non time-symmetric case, whereby the Riemannian slice observes a non-trivial second fundamental form in spacetime, Tod also suggested the use of null mean curvature flow. Bourni–Moore [5] subsequently formulated a theory of weak solutions to the null mean curvature flow in this setting. Their approach similarly used a weak level set formulation as in the famous work of Huisken–Ilmanen [15] (in the time-symmetric case), and then Moore [22] (in the non-time symmetric case) to address inverse mean curvature flow. Governed by a scalar degenerate elliptic equation, Bourni-Moore were able to use elliptic regularization to establish existence of a weak solution to the null mean curvature flow. They observe convergence to a measure theoretic ‘generalized MOTS’ lying outside the outermost MOTS. Their solution also exhibits a blow-up at the outermost MOTS due to its strong association with a solution to Jang’s equation. In turn, the blow-up of solutions to Jang’s equation is a key property in characterising a MOTS as in the celebrated proof of the Positive Mass Theorem by Schoen–Yau [28, 29]. We also mention the work of Eichmair [11] where this blow-up was used to solve the Plateau problem for MOTSs. More specifically, one considers a region within a non time-symmetric slice bounded by an outer trapped region at one end and an outer un-trapped region at the other. Eichmair then developed a versatile technique to force and control a blow-up of Jang’s equation, subsequently showing the existence of a MOTS within this region.
In this paper we propose a new method to find MOTSs, namely by employing the mean curvature flow (MCF) in a null hypersurface of a spacetime. A null hypersurface is characterised by the property that the induced metric inherited from the spacetime is degenerate and more specifically, we will consider null hypersurfaces, which are foliated by spherical leaves. MCF has been widely studied as a flow of hypersurfaces in Riemannian and Lorentzian manifolds. If x denotes a time-dependent family of embeddings of a smooth manifold into a Riemannian or Lorentzian ambient space, MCF can concisely be written as
where \(\Delta \) is the Laplace-Beltrami operator with respect to the metric induced by \(x(t,\cdot )\) and \(\dot{x} = \dot{x}(\cdot ,\xi )\) is the velocity of the curve \(t\mapsto x(t,\xi )\), \(\xi \) being an element of the embeddings’ common domain, which will be \(\mathbb {S}^{2}\) in this paper. For any embedding, \(\Delta x\) is perpendicular to the hypersurface and hence proportional to a chosen normal vector field. Then
where \(\sigma = \langle \nu ,\nu \rangle \) is the signature of the ambient space and \(H = |{H}|.\) This is one of the most important equations of geometric analysis and the literature is vast and exponentially growing. We do not give a very detailed account here. In the smooth setting it was pioneered by Huisken for convex hypersurfaces of the Euclidean space [14] and for entire graphs by Ecker–Huisken [9]. Huisken-Sinestrari have also developed surgery in the 2-convex setting [16]. Other important aspects of MCF relate to geometric pinching estimates [1, 6, 19], Harnack inequalities [13] and ancient solutions [4].
In the Lorentzian setting there are convergence results for spacelike entire graphs [8, 17]. In higher codimension the picture is much less developed and good results are usually only available under strong pinching conditions on the initial hypersurface, e.g. [2, 3].
To the best of our knowledge, MCF has never been studied as a flow within a null hypersurface \(\mathcal {N}\) as we propose to do it here. The problems are obvious: The normal to any spacelike surface within \(\mathcal {N}\) is a null vector and hence a representation of MCF in either of the above forms is impossible. Neither is there a Levi-Civita connection nor a unit normal vector field. We believe that the best way to write MCF in this setting is to take
where \({{\,\mathrm{pr}\,}}_{T\mathcal {N}}\) is the skew-orthogonal projection of a vector onto \(T\mathcal {N}\), see Section 2. About this approach there is good and bad news. The bad news is of geometric nature: We pick up classical “higher-codimension-problems”, such as the presence of torsion, that we have to deal with. The good news is of PDE-nature: Spacelike MCF in our null hypersurface is automatically graphical and the equation does not see the slope of the graphs, because the flow direction is a null vector. This makes things easier from a PDE point of view. To explain this further, note that graphical MCF in Euclidean (Lorentzian) space can be written as
where \(\omega \) is the graph function of the flow hypersurfaces. However, as we shall see later in Section 2, in a suitable gauge MCF in a null hypersurface is given by
It is interesting to see how this flow somehow seems to “interpolate” between its Riemannian and Lorentzian relatives. It is important to note that this flow differs entirely from the previously mentioned null mean curvature flow by Bourni-Moore [5], as their flow is a variation of hypersurfaces in a Riemannian manifold.
In this paper we show that (1.1) is capable of doing the following: Given a null hypersurface \(\mathcal {N}\) supporting a trapped surface or MOTS, we identify fairly generic constraints on \(\mathcal {N}\) for which our mean curvature flow (1.1) from any outer un-trapped initial cross-section exists for all times and converges smoothly to a MOTS.
1.1 Main results
Under some sufficient conditions on a null hypersurface \(\mathcal {N}\), we prove the long-time existence of the mean curvature flow for spacelike spherical cross-sections within \(\mathcal {N}\) and show that it converges to a MOTS. To formulate the result, we go over notation very briefly. For a detailed description see Section 2. In the following theorem, R denotes the Riemann tensor as defined in (2.1) and G is the associated Einstein tensor. The past directed null vector k is part of a null basis \(\{k,l\}\subset \Gamma (T^{\perp }\Sigma )\), \(\Sigma \cong \mathbb {S}^2\), given by:
If we also denote by k the unique null geodesic vector field extension throughout \(\mathcal {N}\), then we may rescale to a vector field , for some \(a\in C^\infty (\mathcal {N})\), \(a>0\). The 2-tensor
represents the second fundamental form of the null hypersurface with respect to
, see (2.2) We take
to be its traceless part. Finally,
![](http://media.springernature.com/lw164/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ88_HTML.png)
for smooth vector fields V, W on M. Here is our main result.
Theorem 1.1
Let (M, g) be a 4-dimensional, time-oriented Lorentzian manifold, \(\Sigma _{0}\subset M\) a weakly outer trapped two-sphere with respect to a future directed null normal section l, and let \(\mathcal {N}\) be the null hypersurface generated by the past directed null partner k of l. Now consider , for \(a\in C^\infty (\mathcal {N})\), \(a>0\), satisfying the gauge condition:
![](http://media.springernature.com/lw407/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ3_HTML.png)
whereby \(\kappa = da(k)\). Then, if the null hypersurface \(\Omega \subset \mathcal {N}\) generated by and \(\Sigma _{0}\) admits an outer un-trapped cross-section \(\Sigma _{\omega _{0}},\) the mean curvature flow
![](http://media.springernature.com/lw282/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ4_HTML.png)
initiated at \(\Sigma _{\omega _{0}}\subset \Omega \) exists for all times and converges smoothly to a MOTS.
The subscript \(\omega _{0}\) to the initial hypersurface indicates that \(\Sigma _{\omega _{0}}\) is given as the graph of a function \(\omega _{0}\) on \(\Sigma _{0}\), a property that is preserved throughout the flow. The flow hypersurfaces are then denoted by \(\Sigma _{\omega _{t}}\), while \(L_{\omega _{t}}\) is the unique null partner of with respect to \(\Sigma _{\omega _{t}}\) as in (1.2). All tensor norms \(|\cdot |\) in this and the following theorem are with respect to the induced metric on the background foliation of \(\mathcal {N}\), see Section 2 for a detailed account.
The gauge condition (1.3) described in Theorem 1.1 translates to a family of ODE inequalities on the scaling \(a\in C^\infty (\mathcal {N})\) along k for which a wealth of solutions exist. Associated to each solution is a neighbourhood of \(\Sigma _0\) in \(\mathcal {N}\) and the -directed one-sided part of that neighbourhood we call \(\Omega \). In other-words, Theorem 1.1 indicates that the mean curvature flow exists and drives \(\Sigma _{\omega _{0}}\) monotonically towards \(\Sigma _{0}\) and into a MOTS, provided an outer un-trapped cross-section exists ‘within reach of \(\Sigma _0\)’ by one of these neighbourhoods. See Section 2 for an illustration of the situation.
For the 2-tensor K, representing the second fundamental form of \(\mathcal {N}\) with respect to k, we can also observe a sufficient condition satisfying the gauge constraint of Theorem 1.1 as an energy type condition on specialised null structures. More specifically, in the case that \(\mathcal {N}\) is a Null Cone, whereby \({{\,\mathrm{tr}\,}}K>0\) throughout \(\mathcal {N}\):
Theorem 1.2
Let \(\mathcal {N}\) be a Null Cone admitting a weakly outer trapped cross-section \(\Sigma _0\subset \mathcal {N}\), and an outer un-trapped cross-section \(\Sigma _{\omega _{0}}\subset \mathcal {N}\) to the timelike past of \(\Sigma _0\). If the region bounded by \(\Sigma _0,\Sigma _{\omega _{0}}\) satisfies
whereby \(\alpha (V,W) := \langle R_{kV}k,W \rangle \), then the mean curvature flow (1.4) initiated at \(\Sigma _{\omega _{0}}\subset \mathcal {N}\) exists for all times and converges smoothly to a MOTS.
Remark 1.3
-
(i)
Note, in Schwarzschild space we have \(G = {\hat{K}} = {\hat{\alpha }} = 0\). This can be viewed as the simplest setting of our theorem: The metric in so-called ingoing Eddington-Finkelstein coordinates reads
$$\begin{aligned} \begin{aligned} g = -\left( 1-\frac{2M}{r}\right) dv^{2}+2dvdr+r^{2}\sigma , \end{aligned} \end{aligned}$$where \(\sigma \) is the round metric on \(\mathbb {S}^{2}\) and M is the mass. A standard null cone is \(\Omega = \{v=v_{0}\}\) for some constant \(v_{0}\). Then the slice \(\Sigma _{0}=\{r = 2M\}\) is a MOTS, while the slices \(\{r>2M\}\) are outer un-trapped. In fact, this MOTS is the strict outermost MOTS in the sense of Definition 5.1. See [25] or [26] for a detailed verification of these statements. Theorem 1.2 applies with any spacelike outer un-trapped graph over \(\Sigma _{0}\).
-
(ii)
The assumption of \(\Sigma _{0}\) being a topological two-sphere is not essential. We include this assumption because we formally rely on several calculations from [25], where it is a standing assumption throughout the paper. For convenience of the reader, we do not want to make any statements which can not easily be checked from the given references, so we stick to this assumption. However, we believe it is not necessary.
-
(iii)
Finally, we remark that energy condition like (1.3) and (1.5) are not uncommon to obtain gradient estimates for mean curvature (type) flows, see for example [10, 18].
We also obtain a past foliation of an outermost MOTS, provided \(\mathcal {N}\) admits an asymptotically un-trapped foliation to the past of the MOTS. We refer to Section 5 for details. Briefly, we assume \(\mathcal {N}\cong (\Lambda _-,\Lambda _+)\times \mathbb {S}^2\), where the interval \((\Lambda _-,\Lambda _+)\) is generated by the vector field k (\(\Lambda _+=\infty \) included).
Theorem 1.4
Let M and \(\mathcal {N}\) satisfy the conditions of Theorem 1.1, further we assume that \(\mathcal {N}\) admits an outer un-trapped foliation in a neighbourhood of \({\Lambda }_+\). Then there exists a strict outermost MOTS \(\Sigma _{out}\subset \mathcal {N}\) and a global foliation of \(\mathcal {N}\) by outer un-trapped surfaces to the timelike past of \(\Sigma _{out}\).
The paper is organized as follows. In Section 2 we introduce the underlying null geometry and the mean curvature flow equation in a detailed manner. In Section 3 we prove the required a priori estimates, which are estimates up to \(C^{1}\) in view of the quasi-linearity of the equation. In Section 3 we complete the proof of Section 1.1, in Section 4 we prove Theorem 1.2, while in Section 5 we prove Theorem 1.4.
2 Setup
Let (M, g) be a four dimensional, time-oriented Lorentzian manifold with Levi-Civita connection D, the convention from [23] for the Riemann tensor
and Einstein tensor
where
Let \(\Sigma \hookrightarrow M\) be the embedding of a spacelike two-sphere. The second fundamental form of \(\Sigma \) in M and the corresponding mean curvature vector are denoted by
for all \(V,W\in \Gamma (T\Sigma )\). We mostly follow the notation from [25].
2.1 Null geometry
We now briefly describe null hypersurfaces in (M, g). By definition, a null hypersurface \(\mathcal {N}\subset M\) is a smooth hypersurface such that the induced metric \(g|_{\mathcal {N}}\) is degenerate. We also assume \(\mathcal {N}\) is orientable. We may therefore observe a global vector field , such that
![](http://media.springernature.com/lw195/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ89_HTML.png)
for each \(p\in \mathcal {N}\). In particular this gives . For \(p\in \mathcal {N}\), the hypersurface structure of \(\mathcal {N}\) also ensures a neighbourhood \(\mathcal {U}\) of p in M and a smooth function \(\upsilon \in C^\infty (\mathcal {U})\) such that
Moreover, if \(q\in \mathcal {V}\), we have \((D\upsilon )_q^\perp = T_q\mathcal {N}\), where we denote \(D\upsilon :=\text {grad}(\upsilon )\). Consequently, the non-degeneracy of the ambient metric g enforces that
![](http://media.springernature.com/lw221/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ90_HTML.png)
giving \(\langle D\upsilon ,D\upsilon \rangle |_\mathcal {V} \equiv 0\). From the identity
we conclude therefore that \(T_q\mathcal {N}\subset (D_{D\upsilon }D\upsilon )^\perp _q\) giving
![](http://media.springernature.com/lw340/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ91_HTML.png)
for some \(\kappa \in C^\infty (\mathcal {N})\). It follows that integral curves along are pre-geodesic, and \(\mathcal {N}\) is in-fact ruled by null geodesics. In the theory of general relativity, \(\mathcal {N}\) represents the geometry of a given light-ray congruence in spacetime.
Now we introduce the second fundamental form of \(\mathcal {N}\), for \(X,Y\in \Gamma (T\mathcal {N})\):
![](http://media.springernature.com/lw153/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ7_HTML.png)
This symmetric 2-tensor is defined up-to a scaling of . For \(X,Y\in \Gamma (T\mathcal {N})\), \(c\in C^\infty (\mathcal {N})\), we also observe the properties:
![](http://media.springernature.com/lw338/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ92_HTML.png)
It follows that both the induced metric and the second fundamental form at \(p\in \mathcal {N}\) are fully characterised ‘modulo ’. Equivalently, both the metric and second fundamental form on \(\mathcal {N}\) at a point, \(p\in \mathcal {N}\), are fully determined by their restrictions to any spacelike slice \(\Sigma \) through p. Consequently, whenever convenient we use the rather small abuse of notation to denote both the induced metric of any spacelike submanifold \(\Sigma \subset \mathcal {N}\) at p and \((g|_\mathcal {N})_p\), by \(\gamma _p\). Similarly, we will simply denote by
the restriction of
to any spacelike \(\Sigma \subset \mathcal {N}\) at p. We also notice the function
![](http://media.springernature.com/lw239/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ93_HTML.png)
is independent of any spacelike slice \(\Sigma \) through p, giving a well defined function . Finally, we bring to the attention of the reader that due to the symmetries of the Riemann curvature tensor, the same notational conventions (as for
) may be adopted for the 2-tensor
![](http://media.springernature.com/lw294/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ94_HTML.png)
2.2 The background foliation
We will now assume a similar construction as in [21]. We may choose a past-pointing null geodesic vector field \(k\in \Gamma (T\mathcal {N})\), such that \(D_kk = 0\). We then assume the existence of a spacelike 2-sphere \(\Sigma _0\subset \mathcal {N}\) and the property that any geodesic along k intersects \(\Sigma _0\) precisely once. Consequently, \(\mathcal {N}\) is ruled by geodesics of k, denoted \(\beta _p(\lambda )\) for \(p\in \Sigma _0\), whereby \(\beta _p(0) = p\). We also observe
whereby \({\lambda }_+(p):=\sup \{\lambda |\beta _p(\lambda )\in \mathcal {N}\}\). Similarly,
whereby \({\lambda }_-(p):=\inf \{\lambda |\beta _p(\lambda )\in \mathcal {N}\}\). Standard ODE theory ensures the mapping
given by \((\lambda ,p)\rightarrow \beta _p(\lambda )\), is a smooth embedding onto an open subset of \(\mathcal {N}\). This open subset depends on both our choice of \(\Sigma _0\) and our geodesic generator k. In-fact, any rescaling \(k\rightarrow a k\) for some \(a\in C^\infty (\mathcal {N})\), \(a>0\), yields integral curves that reparametrise the family \(\{\beta _p\}_{p\in \Sigma _0}\). Any change in ‘base’ \(\Sigma _0\) would induce parameter translations for the family \(\{\beta _p\}_{p\in \Sigma _0}\). We will fix our choice of k and for convenience we will also assume \(({\Lambda }_-,{\Lambda }_+)\times \mathbb {S}^2\cong \mathcal {N}\), by discarding all other points.
Throughout the paper we will consider a re-scaling of k, which we will again denote for some \(a>0\), \(a\in C^\infty (\mathcal {N})\). We conclude therefore that:
![](http://media.springernature.com/lw156/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ95_HTML.png)
Integral curves of are denoted by
for \(p\in \Sigma _0\), whereby
again. By an analogous analysis as above we get an embedding
. We denote the null hypersurface associated to the image of
by \(\Omega \) and call it the null hypersurface generated by
and \(\Sigma _{0}\). We also obtain a canonical projection \(\pi :\Omega \rightarrow \Sigma _0\) characterised by the property
. The flow parameter extends to a coordinate function \(s\in C^\infty (\Omega )\) such that
, \(s|_{\Sigma _0}=0\). The level sets
of the function s are diffeomorphic to \(\Sigma _0\) under the projection \(\pi \) and we refer to the foliation
![](http://media.springernature.com/lw261/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ96_HTML.png)
as the background foliation of \(\Omega \). We denote by \(L_s\in \Gamma (T^{\perp }\Sigma _{s})\) the unique null partner of satisfying
![](http://media.springernature.com/lw271/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ97_HTML.png)
We call a null basis for \(T^{\perp }\Sigma _{s}\) and also say that \(L_s\) complements
in \(\Gamma (T^\perp \Sigma _s)\). For geometric quantities along \(\{\Sigma _s\}_s\), we write \(\gamma _s\) for the induced metric
for the second fundamental form and
![](http://media.springernature.com/lw144/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ98_HTML.png)
for the torsion. By allowing any sections \(V,W\in \Gamma (T\Omega )\) in these formulas, the tensors \(\chi _s,\tau _s\) can naturally be extended to \(\Omega \) and we denote these extensions by \(\chi \) and \(\tau \) respectively. We also drop the subscript from \(\gamma _{s}\) and \(L_{s}\) and simply write \(\gamma \) and L instead. The symbol \(\nabla \) denotes the Levi-Civita connection on \(\Sigma _{s}\) and also the gradient of a function with respect to \(\gamma _{s}\), while \(\Delta \) denotes the Laplace operator. For a tensor T on a Riemannian manifold \((\Sigma ,\sigma )\) the tensor \({\hat{T}}\) denotes the traceless part of T,
Finally, we make a comment on norms of ambient quantities, in particular as arising in the main theorems. As the induced metric \(\gamma = g_{\mathcal {N}}\) is degenerate, it does not induce a norm on tensors. However, for tensors annihilated by , e.g.
and
, we can define such norms with respect to the background foliation in the following sense:
![](http://media.springernature.com/lw178/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ9_HTML.png)
where we identified \(\mathcal {N}\) as in (2.3) and where coordinates are taken with respect to a local frame \((e_{i})\) for \(\Sigma _{s}\). A similar definition applies to . Note that we use the summation convention throughout the paper.
2.3 Graphs in null hypersurfaces
Suppose that \(\Sigma _{\omega }\subset \Omega \) is the embedding of a graphical spacelike surface,
for some function \(\omega \in C^{\infty }(\Sigma _{0})\), , where the first component in \((\omega (z),z)\) denotes the flow parameter of the background foliation. We extend \(\omega \) constantly along integral curves of
to a function on \(\Omega \). To list the induced geometric quantities of \(\Sigma _{\omega }\), we write \(L_{\omega }\), \(\gamma _{\omega }\),
, \(\chi _\omega \) and \(\tau _{\omega }\) for the null section complementing
in \(\Gamma (T^{\perp }\Sigma _{\omega })\), the induced metric, its Levi-Civita connection, the second fundamental form with respect to \(L_{\omega }\), and the torsion with respect to
. Note that due to the annihilating property of
for
and
, the definition of the norm (2.4) does not depend on the cross-section, i.e. is the same on any such graph,
![](http://media.springernature.com/lw316/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ99_HTML.png)
where we have already used our convention to drop the subscript from \(\gamma _{s}\) and where indices for the terms on the right hand side are with respect to the local frame of \(\Sigma _{\omega }\). For quantities defined solely on the graph, such as or
, there is no ambiguity and we use the standard definition of norms, e.g.
![](http://media.springernature.com/lw137/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ100_HTML.png)
2.4 Mean curvature flow
For \(\Sigma _{\omega }\) as above the Gaussian formula is
![](http://media.springernature.com/lw460/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ101_HTML.png)
and hence the correct definition for the mean curvature vector of \(\Sigma _{\omega }\) in \(\Omega \) is
![](http://media.springernature.com/lw217/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ102_HTML.png)
For convenience, we simply denote \({{\,\mathrm{tr}\,}}\chi _\omega :={{\,\mathrm{tr}\,}}_{\gamma _\omega }\chi _\omega .\) Consequently, for \(T^{*}>0\) the mean curvature flow of spacelike surfaces in \(\Omega \) is a family
of embeddings \(x(t,\cdot )\) satisfying
![](http://media.springernature.com/lw146/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ10_HTML.png)
Denote by \((t,\xi )\) elements of \([0,T^{*})\times \mathbb {S}^{2}\) and suppose all flow surfaces are given as graphs
where z denotes the projection onto \(\Sigma _{0}\), i.e. \(z = \pi |_{\Sigma _{\omega _t}}\). Then differentiating
and using gives
The right hand side can be expressed in terms of \(\omega \), see [25, Lemma 4.1.1]. Namely we have
![](http://media.springernature.com/lw503/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ103_HTML.png)
where the right hand side is evaluated at \((\omega (t,z),z)\). This makes (2.6) a scalar parabolic equation associated to the mean curvature flow, where
![](http://media.springernature.com/lw207/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ104_HTML.png)
On the other hand if we can prove that for a given function \(\omega _{0}\), which describes a spacelike surface \(x_{0}:\mathbb {S}^{2}\hookrightarrow \Sigma _{\omega _{0}}\subset \Omega \), we have a maximal solution \(\omega \) of (2.6), then the surfaces \(\Sigma _{t}\) given by
solve mean curvature flow. Hence we may assume that \(0<T^{*}\le \infty \) is the maximal time of smooth spacelike existence for both equations (Fig. 1).
3 Estimates
To show that the graphical mean curvature flow exists for all times, we need gradient estimates for the function \(\omega \), and hence we have to differentiate equation (2.6). In order to capture the geometric nature of the problem, it is favourable to express \({{\,\mathrm{tr}\,}}\chi _\omega \) in terms of geometric quantities on the hypersurface:
Lemma 3.1
For a graphical spacelike hypersurface of \(\Omega \), there hold
-
(i)
(3.1)
For each s, if we identify \(\Sigma _s\) with \(\Sigma _0\) under the induced diffeomorphism \(\pi |_{\Sigma _s}\):
-
(ii)
(3.2)
-
(iii)
Proof
For a tangent vector V of a cross section \(\Sigma _{s}\) at \(s=\omega (z)\) let
![](http://media.springernature.com/lw126/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ106_HTML.png)
which defines an isomorphism of the tangent space of the cross section to that of the graph.
(i) The formula for \(L_{\omega }\) can be checked from the conditions
![](http://media.springernature.com/lw418/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ107_HTML.png)
For (ii) and (iii), by definition there holds
![](http://media.springernature.com/lw212/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ108_HTML.png)
Hence
![](http://media.springernature.com/lw512/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ109_HTML.png)
where in the last equality we used , which gives
![](http://media.springernature.com/lw372/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ110_HTML.png)
We observe (ii) from the penultimate equality above. For (iii), note that for an orthonormal frame \((e_{i})\) of a cross section, the frame \((\tilde{e}_{i})\) is also orthonormal. Hence taking the trace of the final equality gives (iii). \(\square \)
We will also need the following famous propagation equations, known as the Raychaudhuri optical equations:
Lemma 3.2
For the foliation \(\{\Sigma _s\}_s\) of \(\Omega \) the following equations hold, where \(\pounds \) denotes the Lie derivative:
![](http://media.springernature.com/lw344/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ111_HTML.png)
Proof
For the first two equations, see, for example [25, Prop. 3.1, (7), (8)]. For the third:
![](http://media.springernature.com/lw305/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ112_HTML.png)
where we have used [25, Prop. 3.1, (6)] and , where the latter follows from the symmetries of the Riemann tensor and the fact that
is a null vector. \(\square \)
Along mean curvature flow, we need several evolution equations.
Lemma 3.3
Along the mean curvature flow (2.5) we have the following evolution equations.
-
(i)
The induced metrics
$$\begin{aligned} \begin{aligned} \gamma _{\omega }=x^{*}\langle \cdot ,\cdot \rangle \end{aligned} \end{aligned}$$of the flow hypersurfaces evolve according to
-
(ii)
The vector \(L_{\omega }\) evolves according to
-
(iii)
The function \({{\,\mathrm{tr}\,}}\chi _\omega \) evolves according to
(3.3)
Proof
Fix a local coordinate frame \(\partial _{i}\) on \(\mathbb {S}^{2}\) and write
then
![](http://media.springernature.com/lw525/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ115_HTML.png)
\(\square \)
To calculate \(D_{\dot{x}}L_{\omega }\), note that
from we get
![](http://media.springernature.com/lw365/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ116_HTML.png)
and finally
![](http://media.springernature.com/lw418/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ117_HTML.png)
For \({{\,\mathrm{tr}\,}}\chi _\omega \), recall its definition
where coordinates to a tensor denote components with respect to the basis \((x_{1},x_{2})\). First we calculate
![](http://media.springernature.com/lw516/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ118_HTML.png)
Hence
![](http://media.springernature.com/lw424/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ119_HTML.png)
Corollary 3.4
Under the assumptions of Theorem 1.1, the mean curvature flow preserves positive \({{\,\mathrm{tr}\,}}\chi _\omega \) up to \(T^{*}\).
Proof
This follows from the strong maximum principle applied to the evolution equation (3.3). \(\square \)
Now the goal is to deduce an estimate for the norm of the gradient
![](http://media.springernature.com/lw224/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ120_HTML.png)
We first establish the \(C^{0}\)-estimates.
Proposition 3.5
Under the assumptions of Theorem 1.1, during the evolution the flow ranges in the fixed compact domain enclosed by \(\Sigma _{0}\) and \(\Sigma _{\omega _{0}}\).
Proof
This follows from the maximum principle applied to the evolution of the graph function
![](http://media.springernature.com/lw426/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ121_HTML.png)
since \(\Sigma _{0}\) has \({{\,\mathrm{tr}\,}}\chi \le 0\) and \(\Sigma _{\omega _{t}}\) has \({{\,\mathrm{tr}\,}}\chi _{\omega _t}>0\). \(\square \)
We define the parabolic operator
![](http://media.springernature.com/lw165/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ122_HTML.png)
In the following, \(\mathcal {O}(y)\) denotes any function that is bounded up to order one, when \(y\rightarrow \infty \), i.e. the estimate
where C depends on the data of the problem (i.e. on \(\Omega \) and \(\Sigma _{0}\)).
Lemma 3.6
Along (2.6) the quantity
![](http://media.springernature.com/lw214/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ123_HTML.png)
satisfies the equation
![](http://media.springernature.com/lw443/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ124_HTML.png)
Proof
We have to differentiate the PDE
![](http://media.springernature.com/lw380/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ15_HTML.png)
covariantly with respect to \(\gamma _{\omega } = x^{*}g\) in the variable \(z\in \Sigma _{0}\). Pick a local coordinate frame \((\partial _{i})_{1\le i\le 2}\) for \(\Sigma _{0}\) and denote by \((x_{i})\) the induced frame on the graph given by
![](http://media.springernature.com/lw263/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ125_HTML.png)
We evaluate the terms in the following expression separately:
![](http://media.springernature.com/lw442/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ126_HTML.png)
-
(i)
Firstly we have
having used Lemma 3.2 and
(3.5)in the penultimate equality.
-
(ii)
Secondly there is
We notice that we deal with surfaces and hence the Ricci curvature is
where
is the Gauss curvature of the graph. Using [25, Prop. 2.1],
We conclude with the help of (3.1), (3.2), the symmetries of the Riemann tensor, (3.5) and
that
-
(iii)
Finally we have, locally extending \(\tau \) to the covector bundle of M and using
Now we use
![](http://media.springernature.com/lw301/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ134_HTML.png)
and
![](http://media.springernature.com/lw493/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ135_HTML.png)
to deduce
![](http://media.springernature.com/lw458/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ136_HTML.png)
The previous three steps provide all the terms coming from the right hand side of (3.4). For the left hand side we denote by \((\gamma _{\omega }^{ij})\) the inverse of \(\langle x_{i},x_{j} \rangle \) and differentiate u in time:
![](http://media.springernature.com/lw515/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ137_HTML.png)
Collecting the terms from items (i)-(iii), we get
![](http://media.springernature.com/lw485/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ138_HTML.png)
giving the result. \(\square \)
Now we can turn to the \(C^{1}\)-estimates.
Proposition 3.7
Under the assumptions of Theorem 1.1, along the mean curvature flow starting from any embedded spacelike surface in the null hypersurface \(\Omega \), the function
![](http://media.springernature.com/lw203/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ139_HTML.png)
is uniformly bounded on \([0,T^{*})\times \Sigma _{0}\).
Proof
We have to control the right hand side in Lemma 3.6. First we deal with the term involving \({{\,\mathrm{tr}\,}}\chi _{\omega }\). We have
![](http://media.springernature.com/lw494/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ140_HTML.png)
Since
![](http://media.springernature.com/lw397/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ141_HTML.png)
we may complete the square on the second, third and forth terms above to conclude
![](http://media.springernature.com/lw457/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ142_HTML.png)
where we have used Cauchy–Schwarz in the final estimate. Hence, under the assumptions of Theorem 1.1, and using Lemma 3.2,
![](http://media.springernature.com/lw518/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ143_HTML.png)
In order to estimate u, we combine this evolution equation with that of \(\omega \), which is
![](http://media.springernature.com/lw202/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ144_HTML.png)
At points where \(u>0\), define the auxiliary function
with f yet to be determined. Then
![](http://media.springernature.com/lw294/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ145_HTML.png)
At maximal points of \(\phi \) we have
![](http://media.springernature.com/lw178/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ146_HTML.png)
and hence at such points
![](http://media.springernature.com/lw470/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ147_HTML.png)
Denoting by \(\mathcal {C}\subset \mathcal {N}\) the compact region of Proposition 3.5, we set
![](http://media.springernature.com/lw186/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ148_HTML.png)
and with \(\epsilon = \tfrac{1}{2} e^{-\lambda \max \omega _{0}} \) define
Then
and
Hence
![](http://media.springernature.com/lw326/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ149_HTML.png)
This estimate gives a contradiction, if u is too large. Hence u is uniformly bounded in terms of the data of the problem. \(\square \)
From quasi-linear regularity theory this bootstraps to estimates in \(C^{\infty }\).
Proposition 3.8
Under the assumptions of Theorem 1.1, the mean curvature flow starting from any embedded spacelike outer un-trapped surface \(\Sigma _{\omega _{0}}\) exists for all times and satisfies uniform estimates in any \(C^{k}(\Sigma _{0})\) norm, where \(\Sigma _{0}\) is understood to be equipped with its induced metric.
Proof
Due to the assumption, the functions \(\omega (t,\cdot )\) are uniformly bounded independently of \(t<T^{*}\). Since
![](http://media.springernature.com/lw227/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ150_HTML.png)
the differential \(d\omega \) is bounded with respect to the induced metric of \(\Sigma _{s=\omega }\), which is in turn equivalent to the induced metric of \(\Sigma _{0}\), since the surfaces \(\Sigma _{\omega }\) range in a compact set of \(\Omega \). Hence \(\omega \) solves the quasi-linear equation
to which parabolic regularity theory may be applied, [20, Ch. XII], to obtain \(C^{1,\alpha }\) estimates for \(\omega \). This is sufficient to start a bootstrap argument involving parabolic Schauder estimates to obtain the \(C^{k}\)-estimates, see [20], up to time \(T^{*}\). The standard result on short-time existence, see for example [12, Thm. 2.5.7], implies that the flow can be continued beyond any finite time and hence we obtain \(T^{*}=\infty \). \(\square \)
3.1 Completion of the proof of Theorem 1.1
The mean curvature flow starting from \(\Sigma _{\omega _{0}}\) exists for all times, and the graph functions of its leaves \(\Sigma _{\omega _{t}}\) are strictly decreasing due to
and the preservation of \({{\,\mathrm{tr}\,}}\chi _{\omega _t}>0\). Hence the pointwise limit
exists and the convergence takes place in the topology of \(C^{\infty }\), due to the \(C^{k}\)-estimates from Proposition 3.8. Integration gives
and hence, due to the regularity estimates, the limit is a MOTS:
4 Null Cones
In this section we wish to prove Theorem 1.2 as our first application of Theorem 1.1 under the energy condition (1.5). First we need to specialise to a specific null geometry:
Definition 4.1
Let \(\mathcal {N}\) be a null hypersurface as described in Section 2. If the second fundamental form of \(\mathcal {N}\) associated to the vector field k satisfies the condition \({{\,\mathrm{tr}\,}}K>0,\) we say \(\mathcal {N}\) is a Null Cone.
In general relativity the Einstein tensor G is coupled to the stress-energy tensor of matter as modelled by a spacetime (M, g). A somewhat weak consequence of the physical assumption of a non-negative energy density distribution within (M, g) is the so-called null convergence condition
This condition gives rise to Null Cone structures in (M, g). Under fairly generic assumptions on \(\mathcal {N}\), we support this claim with the following well known result:
Lemma 4.2
Suppose \(\Lambda _+=\infty \), specifically \(\mathcal {N}\cong (\Lambda _-,\infty )\times \mathbb {S}^2\), and satisfies the null convergence condition. Then \({{\,\mathrm{tr}\,}}K\ge 0\). If, in addition, the set \(E:=\{p\in \mathcal {N}|{{\,\mathrm{tr}\,}}K(p)>0\}\) admits a surjection \(\pi :E\rightarrow \Sigma _0\), then \(\mathcal {N}=E\).
Proof
If we assume for a contradiction that \({{\,\mathrm{tr}\,}}K(p)<0\) for some \(p\in \mathcal {N}\), then taking the geodesic \(\beta _p(\lambda )\) associated to k, and applying Lemma 3.2 to the case (giving \(\kappa \equiv 0\)) we observe
as long as \({{\,\mathrm{tr}\,}}K(\lambda )<0\). We conclude \(\tfrac{1}{{{\,\mathrm{tr}\,}}K}(\lambda )\ge \tfrac{1}{2} \lambda +\tfrac{1}{{{\,\mathrm{tr}\,}}K}(p)\), so that \(\tfrac{1}{{{\,\mathrm{tr}\,}}K}(\lambda )\rightarrow 0\) as \(\lambda \rightarrow \lambda _\star ^-\) for some \(\lambda _\star ^{-}>0\). Consequently, \({{\,\mathrm{tr}\,}}K(\lambda )\rightarrow -\infty \) as \(\lambda \rightarrow \lambda _\star ^-\) contradicting the smoothness assumption of \(\mathcal {N}\) under \(\Lambda _+ = \infty \). It follows that \({{\,\mathrm{tr}\,}}K\ge 0\) throughout \(\mathcal {N}\). If we take \(p\in E\), we have for \(\lambda \ge 0\)
which implies \({{\,\mathrm{tr}\,}}K(\lambda )>0\). Alternatively, for \(\lambda \le 0\)
again implies \({{\,\mathrm{tr}\,}}K(\lambda )>0\). Since every \(q\in \mathcal {N}\) admits a unique geodesic along k intersecting \(\Sigma _0\), we conclude the same geodesic intersects the set E under our second hypothesis giving \({{\,\mathrm{tr}\,}}K(q)>0\). \(\square \)
A consequence of the above result is that any 2-sphere \(\Sigma \subset M\) satisfying the outer un-trapped condition to the timelike past
for \(k\in \Gamma (T^\perp \Sigma )\) a past-pointing null vector field, forms a Null Cone geometry if the congruence of null geodesics along k extend infinitely. Moreover, by the first variation of area formula, the variation of the area form dA on \(\Sigma \) is
It follows that a Null Cone is foliated by 2-spheres with pointwise expanding area form along k, hence the name Null Cone. In physical spacetimes we observe that any infinite and shear-free Null Cone, i.e. satisfying \(\hat{K}\equiv 0\), satisfies (1.5) as a consequence of the null convergence condition. We note that in the shear-free case also \({\hat{\alpha }}\) vanishes, see Lemma 3.2. Consequently, the mean curvature flow can be initiated from any outer un-trapped surface irrespective of it’s proximity to \(\Sigma _0\) within a shear-free Null Cone.
4.1 Proof of Theorem 1.2
Our goal is to show the existence of a vector field satisfying the gauge condition of Theorem 1.1. This translates into showing the existence of \(a\in C^\infty (\mathcal {C})\), \(a>0\), for the region \(\mathcal {C}\) bounded by \(\Sigma _0\), and \(\Sigma _{\omega _{0}}\) satisfying the gauge conditions of Theorem 1.1, and such that the integral curves along
cover all of \(\mathcal {C}\). For convenience, we will denote \(\beta :=\tfrac{1}{2}{{\,\mathrm{tr}\,}}K\), and for a function f, \(f':=df(k)\).
We start, for some \(v_0\in C^\infty (\Sigma _0)\), \(0<v_0<1\), by solving the ODEs
From standard existence results, and a phase space analysis we observe:
in-fact,
Combining \(0<v<1\) with (1.5) and then using Lemma 3.2 we have
giving
We claim that our desired \(a(\lambda ,p)\) is given by solving the family of ODEs
The differential inequality above combined with Lemma 3.2 then gives
Multiplying throughout by \(2a^2\) and simplifying, we finally observe
![](http://media.springernature.com/lw394/springer-static/image/art%3A10.1007%2Fs00220-022-04326-9/MediaObjects/220_2022_4326_Equ151_HTML.png)
since \(\kappa = a'\), and , we’ve satisfied the gauge condition of Theorem 1.1. We also observe from the fact that \(\infty >a(\lambda ,p)\ge 1\) throughout \(\mathcal {C}\), that
is globally defined throughout.
5 Existence of a Global Outer Un-trapped Foliation
In physical applications, where \(\Omega \) admits an infinite asymptotically flat region, for example the study of the Penrose inequality [24] or mass in spacetimes [7], one observes a foliation of \(\Omega \) by future un-trapped surfaces in a neighbourhood of infinity. In-fact, such foliations are plentiful in a neighbourhood of infinity (see for example, [21]). For \(\Omega \) also admitting an outermost MOTS \(\Sigma _{out}\), it is physically reasonable to also expect this future un-trapped foliation to extend all the way up-to \(\Sigma _{out}\subset \Omega \) (see, for example [27]). More specifically, if \(\Sigma _{out} := \{s=\omega (0,z)\}\), and \(\sigma > 0\), we expect:
In this section, we assume the existence of an un-trapped foliation in a neighbourhood of \(\Lambda _+\) (note here \(\Lambda _+ = \infty \) is a possibility) and apply Theorem 1.1 to show the existence of a global future un-trapped foliation to the timelike past of the MOTS of convergence. Moreover, also denoted \(\Sigma _{out}\subset \Omega \), we show that this MOTS is indeed outermost.
Assuming the existence of a future un-trapped cross-section, we reparametrise our global coordinate chart on \(\Omega \) so that a leaf \(\Sigma _{\Lambda }\), for some \(\Lambda \in (0,\Lambda _+)\), corresponds with this cross-section. We now also assume that all \(\{\Sigma _s\}_{\Lambda \le s<\Lambda _+}\) are future un-trapped, in addition to the hypotheses of Theorem 1.1. Thus we may initiate mean curvature flow at \(\tilde{\omega }(0,z) = \Lambda \) obtaining the smooth solution \(\tilde{\omega }(t,z)\) for \(t>0\). Here \(\tilde{\omega }\) arises from the solution \(\omega \) of (2.6), which arose from fixing the gauge according to the hypotheses of Theorem 1.1. It suffices therefore to show that the two families \(\{\Sigma _s\}_{s> \Lambda }\) and \(\{\Sigma _{\tilde{\omega }_t}\}_{t>0}\) can be ‘glued and smoothed’ at the boundary \(\Sigma _\Lambda \) to form a global future un-trapped foliation. We achieve this is by smoothing the continuous function
In order to do so, we adapt a standard mollifying procedure that we will now outline. With C chosen so that \(\int \eta (s)ds = 1\), we start with the mollifier
and define \(\eta _\epsilon (s):=\tfrac{1}{\epsilon }\eta \left( \tfrac{s}{\epsilon }\right) .\) We mollify \(v(\lambda ,z)\):
It follows that
for any multi-index \(\alpha \), and both functions above are smooth. Since
is continuous, standard results imply \(\partial _z^\alpha v_\epsilon \rightarrow \partial _z^\alpha v\) uniformly as \(\epsilon \rightarrow 0\) on \(\mathcal {U}:=(\Lambda -\delta ,\Lambda +\delta )\times \mathbb {S}^2\) for some \(\delta >0\). From our constraints on \(\Omega \), we observe
for some \(c>0\) throughout \(\bar{\mathcal {U}}\). Define the partition of unity \(\{\zeta _i\}_{1\le i\le 3}\) for \(\mathbb {R}\),
We may therefore construct the smooth function
and we observe that \(\partial _z^\alpha \tilde{\omega }_\epsilon \rightarrow \partial _z^\alpha v\) uniformly on \(\bar{\mathcal {U}}\) as \(\epsilon \rightarrow 0\). From (3.2), we observe that \({{\,\mathrm{tr}\,}}\chi _{\tilde{\omega }}\) depends only upon \(\partial _z^\alpha \tilde{\omega }_\epsilon \) for \(|\alpha |\le 2\). Consequently,
uniformly as \(\epsilon \rightarrow 0\) throughout \(\bar{\mathcal {U}}\). We therefore conclude that \(\epsilon _0>0\) exists such that \( {{\,\mathrm{tr}\,}}\chi _{\tilde{\omega }_{\epsilon }}(\lambda ,z)>c\) throughout \(\bar{\mathcal {U}}\) for \(\epsilon \le \epsilon _0\),
on \(\lambda \le \Lambda -\delta \) and
on \(\lambda \ge \Lambda +\delta \). Finally, we wish to show \(\partial _\lambda \tilde{\omega }_\epsilon >0\) for sufficiently small \(\epsilon \). From the fact that
for \(\lambda \le \Lambda -\delta \), and \(\tilde{\omega }_\epsilon \equiv \lambda \) for \(\lambda \ge \Lambda +\delta \) it will suffice to show \(\partial _\lambda \tilde{\omega }_\epsilon >0\) on \(\bar{\mathcal {U}}\) for sufficiently small \(\epsilon \). From a simple integration by parts:
leaving us only the sets
to consider. On \(\mathcal {U}_-\), we know \(\zeta _1'+\zeta _2'\equiv 0\), so taking \(\epsilon <\frac{1}{2}\delta \) we observe:
We conclude
uniformly as \(\epsilon \rightarrow 0\). Moreover,
giving \(\partial _\lambda \tilde{\omega }_{\epsilon }>c\) for some \(\epsilon <\min (\epsilon _0,\frac{1}{2}\delta )\). A similar argument shows \(\partial _\lambda \tilde{\omega }_\epsilon \rightarrow 1\) uniformly as \(\epsilon \rightarrow 0\) on the set \(\mathcal {U}_+\). We conclude with some \(\epsilon _1\), \(\omega _{\epsilon _1}\) satisfies
on \(\Omega \), \(\tilde{\omega }_{\epsilon _1}(\lambda ,z)= \tilde{\omega }(\Lambda -\lambda ,z)\) in a neighbourhood outside the MOTS of convergence for the mean curvature flow, and \(\tilde{\omega }_{\epsilon _1}(\lambda ,z)= \lambda \) near \(\Lambda _+\).
Definition 5.1
We say a cross-section \(\Sigma _{out}\subset \Omega \) is a strict outermost MOTS if \(\Sigma _{out}:=\{s=\omega _{out}(z)\}\) is a MOTS, and given any MOTS, \(\Sigma :=\{s=\omega (z)\}\), it follows that \(\omega _{out}\ge \omega \).
5.1 Completion of the proof of Theorem 1.4
Having established the existence of a global foliation by future un-trapped surfaces, we again for convenience reparametrise \(\Omega \) so that the region
consists of future un-trapped leaves \(\Sigma _s\), whereby \(\Sigma _{out}:=\Sigma _0\) corresponds to the MOTS to which the mean curvature flow converges. From (3.2), we recall the quasi-linear elliptic equation for \({{\,\mathrm{tr}\,}}\chi _\omega \) associated to any graph \(\Sigma _\omega :=\{s=\omega (z)\}\). From the fact that \({{\,\mathrm{tr}\,}}\chi _s>0\) for all \(s> 0\), we conclude by the strong maximum principle that no graph \(\Sigma _\omega \) can satisfy both \(\omega (p) = \max {\omega }>0\) and \({{\,\mathrm{tr}\,}}\chi _\omega (p)=0\). Consequently, \(\Sigma _{out}\) is a strict outermost MOTS.
References
Andrews, B.: Non-collapsing in mean-convex mean curvature flow. Geom. Top. 16, 1413–1418 (2012)
Andrews, B., Baker, C.: Mean curvature flow of pinched submanifolds to spheres. J. Differ. Geom. 85(3), 357–395 (2010)
Baker, C., The Nguyen, H.: Codimension two surfaces pinched by normal curvature evolving by mean curvature flow. Ann. I. H. Poincare (C) Non Linear Anal. 34(6), 1599–1610 (2017)
Bourni, T., Langford, M., Tinaglia, G.: The atomic structure of ancient grain boundaries, p. 07. arXiv:2006.16338 (2020)
Bourni, T., Moore, K.: Null mean curvature flow and outermost MOTS. J. Differ. Geom. 111(2), 191–239 (2019)
Brendle, S.: An inscribed radius estimate for mean curvature flow in Riemannian manifolds. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 16(4), 1447–1472 (2016)
Chruściel, P., Paetz, T.-T.: The mass of light-cones. Class. Quantum Grav. 31(10), art. 102001 (2014)
Ecker, K.: Interior estimates and longtime solutions for mean curvature flow of noncompact spacelike hypersurfaces in Minkowski space. J. Differ. Geom. 46(3), 481–498 (1997)
Ecker, K., Huisken, G.: Mean curvature evolution of entire graphs. Ann. Math. 130(3), 453–471 (1989)
Ecker, K., Huisken, G.: Parabolic methods for the construction of spacelike slices of prescribed mean curvature in cosmological spacetimes. Commun. Math. Phys. 135, 595–613 (1991)
Eichmair, M.: The Plateau problem for marginally outer trapped surfaces. J. Differ. Geom. 83(3), 551–583 (2009)
Gerhardt, C.: Curvature Problems, Series in Geometry and Topology, vol. 39. International Press of Boston Inc., Sommerville (2006)
Hamilton, R.: Harnack estimate for the mean curvature flow. J. Differ. Geom. 41(1), 215–226 (1995)
Huisken, G.: Flow by mean curvature of convex surfaces into spheres. J. Differ. Geom. 20(1), 237–266 (1984)
Huisken, G., Ilmanen, T.: The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differ. Geom. 59(3), 353–437 (2001)
Huisken, G., Sinestrari, C.: Mean curvature flow with surgeries of two-convex hypersurfaces. Invent. Math. 175, 137–221 (2009)
Lambert, B., Lotay, J.: Spacelike mean curvature flow. J. Geom. Anal. 31(2), 1291–1359 (2021)
Lambert, B., Scheuer, J.: Isoperimetric problems for spacelike domains in generalized Robertson–Walker spaces. J. Evol. Equ. 21(1), 377–389 (2021)
Langford, M.: A general pinching principle for mean curvature flow and applications. Calc. Var. Partial Differ. Equ. 56(4), 107 (2017)
Lieberman, G.: Second Order Parabolic Differential Equations. World Scientific, Singapore (1998)
Mars, M., Soria, A.: The asymptotic behaviour of the Hawking energy along null asymptotically flat hypersurfaces. Class. Quantum Grav. 32(18), art. 185020 (2015)
Moore, K.: On the evolution of hypersurfaces by their inverse null mean curvature. J. Differ. Geom. 98(3), 425–466 (2014)
O’Neill, B.: Semi-Riemannian Geometry with Applications to Relativity, Pure and Applied Mathematics, vol. 103. Academic Press, San Diego (1983)
Penrose, R.: Naked singularities. Ann. N. Y. Acad. Sci. 224(1), 125–134 (1973)
Roesch, H.: Proof of a null Penrose conjecture using a new quasi-local mass, to appear in Commun. Anal. Geom. arXiv:1609.02875 (2016)
Roesch, H.: Proof of a null Penrose conjecture using a new quasi-local mass. Ph.D. thesis, Duke University (2017)
Sauter, J.: Foliations of null hypersurfaces and the Penrose inequality. Ph.D. thesis, ETH Zürich (2008)
Schoen, R., Yau, S.-T.: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 65(1), 45–76 (1979)
Schoen, R., Yau, S.-T.: Proof of the positive mass theorem. II. Commun. Math. Phys. 79(2), 231–260 (1981)
Tod, P.: Looking for marginally trapped surfaces. Class. Quantum Grav. 8(5), 115–118 (1991)
White, B.: The size of the singular set in mean curvature flow of mean-convex sets. J. Am. Math. Soc. 13(3), 665–695 (2000)
Acknowledgements
This work was made possible through a research scholarship JS received from the DFG and which was carried out at Columbia University in New York. JS would like to thank the DFG, Columbia University and especially Prof. Simon Brendle for their support. HR would like to acknowledge the support of the National Science Foundation under award No. 1703184.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P. Chrusciel.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Funded by the “Deutsche Forschungsgemeinschaft” (DFG, German research foundation); Project “Quermassintegral preserving local curvature flows”; No. SCHE 1879/3-1. Funded by the National Science Foundation under award DMS-1703184.
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
Roesch, H., Scheuer, J. Mean Curvature Flow in Null Hypersurfaces and the Detection of MOTS. Commun. Math. Phys. 390, 1149–1173 (2022). https://doi.org/10.1007/s00220-022-04326-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04326-9