Abstract
We consider the long-time behaviour of the mean curvature flow of spacelike hypersurfaces in the Lorentzian product manifold \(M\times \mathbb {R}\), where M is asymptotically flat. If the initial hypersurface \(F_0\subset M\times \mathbb {R}\) is uniformly spacelike and asymptotic to \(M\times \left\{ s\right\} \) for some \(s\in \mathbb {R}\) at infinity, we show that a mean curvature flow starting at \(F_0\) exists for all times and converges uniformly to \(M\times \left\{ s\right\} \) as \(t\rightarrow \infty \).
1 Introduction and Main Results
The mean curvature flow is a 1-parameter family \(F_t\) of embedded submanifolds of a semi-Riemannian manifold that evolves in the direction of its mean curvature vector, that is, \(F_t\) satisfies
for all \(x\in M\) and \(t\in [0,T)\) for some \(T>0\). Especially the case of hypersurfaces of Riemannian manifolds has been studied extensively in the literature, see e. g. [2] for a recent survey.
Another interesting case that has been studied less often is the case of hypersurfaces in globally hyperbolic Lorentzian manifolds. In this case, the mean curvature flow is a parabolic equation precisely if the immersion is spacelike. Further, if the ambient space is a product manifold \(M\times \mathbb {R}\), the flow is given entirely in terms of a function \(u:M\times [0,T)\rightarrow \mathbb {R}\), subject to the equation
where \(\sigma \) is the metric on M and the norms and derivative are taken with respect to \(\sigma \). Ecker and Huisken considered the mean curvature flow in cosmological spacetimes satisfying the timelike convergence condition to find hypersurface of prescribed mean curvature [6]. However, they had to assume a structural monotonicity condition for the prescribed mean curvature. The timelike convergence condition and the structural monotonicity condition were later on removed by Gerhardt [7]. Long-time existence of the mean curvature flow in Minkowski space was shown in [4]. In [3], Ecker considered the mean curvature flow in asymptotically flat manifolds and proved long-time existence and convergence to a maximal hypersurface, provided that the spacetime satisfies a weak energy condition.
In this paper, we are considering the asymptotic behaviour of solutions of the mean curvature flow in asymptotically flat manifolds. In contrast to [3], we do not need any energy condition on the spacetime but we assume that the spacetime is of product type. Our main result is as follows:
Theorem 1.1
Let \((M^n,\sigma )\), \(n\ne 2\) be an asymptotically flat Riemannian manifold and let \(M\times \mathbb {R}\) be equipped with the Lorentzian product metric
Furthermore, let \(F_0\subset M\times \mathbb {R}\) be a hypersurface which is the graph of a function \(u_0\in C^{0,1}(M)\) with Lipschitz constant smaller than \(1-\varepsilon \) for some \(\varepsilon >0\) and such that \(u_0(x)\rightarrow s\) for some \(s\in \mathbb {R}\) as \(x\rightarrow \infty \). Then there exists a solution \(F_t\) to the mean curvature flow which starts at \(F_0\) and exists for all times \(t>0\). Further, \(F_t\) is the graph of a function \(u_t:M\rightarrow \mathbb {R}\) for each t and \(u_t\) converges to \(u_{\infty }(x)=s\), uniformly in all derivatives as \(t\rightarrow \infty \).
In this paper, we prove the theorem for manifolds with one Euclidean end but the proof can easily be generalised to the case of multiple ends. Similarly, the result also holds for manifolds which are asymptotically locally Euclidean (ALE).
Our solution of the mean curvature flow is constructed as the limit of solutions of Dirichlet problems on large balls. In spatial dimensions \(n\ge 3\), we construct rotationally symmetric stationary solutions of the mean curvature flow in Minkowski space. In asymptotic coordinates, these solutions serve as barriers in order to guarantee that the limit solution stays asymptotic to \(M\times \{s\}\) for positive times, i. e. the solution can not lift off at spatial infinity in the sense that the function \(|u_t-s|\) becomes eventually bigger than some positive constant on any compact subset. The behaviour of the hypersurfaces at spatial infinity has been raised as an open point in [3, Remark 3.2].
Furthermore, we use these barriers at infinity and a carefully chosen quantity that controls the solution in the interior to prove uniform \(C^1\)-bounds from which we obtain global existence. The convergence behaviour at \(t\rightarrow \infty \) follows from a combination of maximum principle arguments.
We have to exclude the case \(n=2\) because we can neither construct nice barriers at infinity nor use the simple structure of the evolution equation as in the case \(n=1\). Therefore, we get an unsatisfactory gap in the main theorem. However, we conjecture that the assertion of our main result also holds in dimension \(n=2\).
Corollary 1.2
Let \((M\times N,\sigma +\eta )\) be the Riemannian product of an asymptotically flat manifold \((M^n,\sigma )\), \(n\ne 2\), and a Riemannian manifold \((N,\eta )\) of bounded geometry (i.e. with positive injectivity radius, bounded curvature and boundedness of any derivative of curvature) and let \(M\times N\times \mathbb {R}\) be equipped with the Lorentzian product metric
Furthermore, let \(F_0\subset M\times N\times \mathbb {R}\) be a hypersurface which is given by the graph of a bounded function \(u_0\in C^{0,1}(M\times N)\) with Lipschitz constant at most \(1-\varepsilon \) for some \(\varepsilon >0\) and such that \(u_0(x,y)\rightarrow s\) uniformly in \(y\in N\) for some \(s\in \mathbb {R}\) as \(x\rightarrow \infty \). Then there exists a solution \(F_t\) to the mean curvature flow which starts at \(F_0\) and exists for all times \(t>0\). Further, \(F_t\) is the graph of a function \(u_t:M\times N\rightarrow \mathbb {R}\) for each t and \(u_t\) converges to \(u_{\infty }(x)=s\), uniformly in all derivatives as \(t\rightarrow \infty \).
The corollary is a consequence of our main result: Pick an initial function \(v_0:M\rightarrow \mathbb {R}\) satisfying the assumptions of the theorem and that in addition fulfils the inequality \(|u_0(x,y)-s|\le v_0(x)\) for all \((x,y)\in M\times N\). Then the mean curvature flow in \(M\times \mathbb {R}\) starting at \({\text {graph }}(v_0)\) (represented by the function \(v_t\)) can be extended to a mean curvature flow on \(M\times N\times \mathbb {R}\) (by letting \(v_t\) be constant in the N-direction). By adding some \(\varepsilon >0\) and applying a point-picking maximum principle we see that \(v_t\) serves as a barrier for \(u_t\).
Remark 1.3
If \(N=\mathbb {R}^{n-1}\) (equipped with the flat metric) in Corollary 1.2, one obtains the main theorem under weaker assumptions in the case of the Minkowski space:
-
(i)
If M in the main theorem is \(\mathbb {R}^n\) with the flat metric, the assertion also holds for \(u_0\in C^{0,1}(\mathbb {R}^n)\) that does not converge to \(s\in \mathbb {R}\) in all directions but is bounded and satisfies \(u_0(x_1,\ldots ,x_n)\rightarrow s\) uniformly in \(x_2,\ldots ,x_n\) as \(|x_1|\rightarrow \infty \).
-
(ii)
Suppose \(F_0\) is a spacelike hypersurface that converges uniformly in one direction to an arbitrary spacelike hyperplane \(\Sigma \subset \mathbb {R}^{n,1}\) in the following sense: There is an isometry \(A\in \mathrm {Iso}(\mathbb {R}^{n,1})\) such that \(A(\Sigma )=\mathbb {R}^{n}\times \left\{ s\right\} \) and \(A(F_0)=\text {graph }(u_0)\) where \(u_0\) satisfies the assumptions of (i). Then the mean curvature flow starting at \(F_0\) exists for all times and converges to \(\Sigma \) uniformly in all derivatives.
From an analytical viewpoint, it would be very interesting to relax the condition on the Lipschitz constant of \(u_0\) such that we can allow \(|\nabla u_0|\rightarrow 1\) at infinity. Moreover, it would also be interesting to generalise the result from product spacetimes to stationary spacetimes. Both issues are planned to be attacked in the future.
This paper is organised as follows. In Sect. 2, we introduce notation, conventions and setup. In Sect. 3, we construct rotationally symmetric barriers at infinity. In Sect. 4, a general procedure to interpolate between an arbitrary initial data on an asymptotically flat manifold and zero initial data on flat space is elaborated. In Sect. 5, we show that the mean curvature flow can not lift off at infinity due to our assumptions. In Sects. 6 and 7, we prove gradient estimates for the Dirichlet problem at the boundary and in the interior, respectively. In Sect. 8, we conclude with the proof of the main theorem.
2 Preliminaries
2.1 Notation and Conventions
Let \((M,\sigma )\) be an n-dimensional Riemannian manifold. We consider the Lorentzian product manifold
and where \(x^{0}\) is the coordinate on \(\mathbb {R}\). Locally (i. e. with respect to local coordinates \(\{x^k\}\)), the expression for the metric is given by
where we use the Einstein summation convention and the indices \(i,j,k,\dots \) will always run from 1 to \(n{:}{=} \dim M\). Associated to the metric h we have its Levi-Civita connection \(^{h}\nabla \), which splits according to the product structure as

Here, \(^{\sigma }\nabla \) is the Levi–Civita connection with respect to \(\sigma \), with Christoffel symbols given by \(^{\sigma }\!\varGamma _{ij}^k\).
A smooth function \(u:M\rightarrow \mathbb {R}\) naturally defines an embedding into the product manifold \(M\times \mathbb {R}\) via
Then the graph of the map u is the image of F,
The induced metric g on M is defined as
and is locally given by
where \(u_j {:}{=} \frac{\partial u}{\partial x_j}\) denotes the derivatives of the function u with respect to the local coordinates \(\{x^k\}\). The Levi–Civita connection of g will be denoted by \(\nabla \).
For the Ricci curvatures associated to the metrics h and \(\sigma \), we will write \(\text {Ric}_h\) and \(\text {Ric}_{\sigma }\), respectively.
The different norms induced by the metrics will be indicated by an index. For example, we write \(|\cdot |_g\) for the norm induced by the metric g. The gradient associated to a metric will be denoted by the same symbol as the corresponding connection (e. g. \((^{\sigma }\nabla u)^i = \sigma ^{ij} u_j\)). Note that when writing the norm of a derivative, we will use the same metric for the connection and for the norm (unless otherwise stated), e. g. \(|\nabla u|_{\sigma } {:}{=} \left| ^{\sigma }\nabla u\right| _{\sigma }\).
Throughout, we will often use the notation “\(x \lesssim y\)”, which means “there is a universal constant \(C=C(n)>0\) such that \(x\le Cy\)” and “\(x\simeq y\)” means “\(x\lesssim y\) and \(y\lesssim x\)”.
Let us endow \(\mathbb {R}^n\) with its Euclidean metric \(\delta _{ij}\). For the following definition, norms \(|\cdot |\), raising and lowering of indices, and differentiation \(\nabla \) are taken with respect to the Euclidean metric, unless otherwise specified. Moreover, for a function f we denote by \(f_{i}\) or, respectively, \(f_{ij}\) derivatives with respect to the Euclidean metric, i. e. partial derivatives in Cartesian coordinates.
Definition 2.1
A Riemannian manifold \((M,\sigma )\) is called asymptotically flat if there exists a compact set \(K\subset M\), a Euclidean ball \(B_{R_0}(0)\subset \mathbb {R}^n\) such that \(M{\setminus } K\) is diffeomorphic to \(\mathbb {R}^n{\setminus } B_{R_0}(0)\) and there is a bounded function \(\omega :(R_0,\infty )\rightarrow \mathbb {R}_+\) with \(\omega (\xi )\rightarrow 0\) as \(\xi \rightarrow \infty \) such that for all \(r\ge R_0\),
where r is the Euclidean distance to the origin and the diffeomorphism is suppressed in the formulæ.
Remark 2.2
-
(i)
Note that asymptotic flatness implies
$$\begin{aligned} \left| \sigma ^{ij}-\delta ^{ij}\right|&\lesssim \omega (r), \end{aligned}$$(2.3)$$\begin{aligned} \left| ^{\sigma }\!\varGamma ^k_{ij} \right| = \left| \tfrac{1}{2} \sigma ^{kl}(\sigma _{li,j}+\sigma _{lj,i}-\sigma _{ij,l})\right|&\lesssim \frac{\omega (r)}{r}. \end{aligned}$$(2.4) -
(ii)
We use a weaker definition of asymptotically flatness than most other papers where one often assumes that \(\omega (r)=r^{-\tau }\) for some \(\tau >0\) (e.g. in [3]). In this case, one calls \((M,\sigma )\) asymptotically flat of order \(\tau \).
The diffeomorphism \(\varphi :M{\setminus } K\rightarrow \mathbb {R}^n{\setminus } B_{R_0}(0)\) is also called an asymptotic coordinate system and \(\varphi =(x^1,\ldots ,x^n)\) are called asymptotic coordinates. The Riemannian distance function of \(\sigma \) will be denoted by d and metric balls of radius R around \(x\in M\) will be denoted by \(B_R(x)\). If \(R\ge R_0\), we use the notation
We call \(M{\setminus } K_R=\varphi ^{-1}\bigl (\mathbb {R}^n{\setminus } B_{R}(0)\bigr )\) an asymptotic coordinate neighbourhood.
Finally, we call \(u\in C^{0,1}(M)\) uniformly spacelike, if there exists an \(\varepsilon >0\), such that the Lipschitz constant (with respect to \(\sigma \)) is at most \( 1-\varepsilon \). For \(u\in C^1(M)\), this is equivalent to \(|\nabla u|_{\sigma }\le 1-\varepsilon \). The notion of uniform spacelikeness will become clearer in the next subsection.
2.2 Mean Curvature Flow of Spacelike Hypersurfaces in Static Spacetimes
Let \(u:M\times [0,T)\rightarrow \mathbb {R}\) be a family of smooth functions, where we set \(u_t(x){:}{=} u(x,t)\). We say that the family u evolves under the mean curvature flow, if the family of graphs
satisfies the mean curvature flow equation, that is, there exists another family of maps \(F:M\times [0,T)\rightarrow M\times \mathbb {R}\) such that
and \(\text {graph }u_t=F_t(M)\). Here, \(\vec {H}(x,t)\) denotes the mean curvature vector of \(F_t(M)\) at F(x, t). To get a parabolic equation, we have to assume that the hypersurfaces \(F_t(M)\) are spacelike. This is the case if and only if \(|\nabla u|_{\sigma }<1\) everywhere. Under these assumptions, the mean curvature flow system may equivalently be written entirely in terms of u as
Here, \(\mathrm {div}_{\sigma }\) denotes the divergence with respect to the metric \(\sigma \). Using that the inverse metric is given by
we can also write
Lemma 2.3
The evolution equation for u is given by
where \(\frac{d}{dt}\) denotes the total time derivative and \(\Delta \) is the Laplacian with respect to the induced metric \(g\).
Proof
In [7, Lemma 3.5] (using the notation of this paper), we have the formula
for the mean curvature flow
with a prescribed function f in a general Lorentzian manifold. In our setting, \(f=0\). The appearing Christoffel symbols vanish, because \(M\times \mathbb {R}\) is equipped with a product metric. For the same reason, the second fundamental form \(\bar{h}\) of the hypersurfaces \(M\times \left\{ s\right\} \) vanishes. Thus, the whole right-hand side vanishes and we are left with the result of the lemma. \({\square }\)
Let us set
is the unit normal vector of the graph.
Lemma 2.4
Assume that \(\text {graph }u_t\) is strictly spacelike. Then the relations
hold.
Proof
The first relation follows by noting that for all vectors \(w\in TM\) we have
and \(g(w,w)=\sigma (w,w)-(\partial _wu)^2\le \sigma (w,w)\). For the second relation, we note that \(\sigma ^{-1}\le g^{-1}\le v^2 \sigma ^{-1}\) and calculate
For the remaining equality, we calculate
\({\square }\)
3 Construction of a Barrier
For this section we assume \(n\ge 3\). In the cases \(n=1,2\), the graphical maximal surface described below is unbounded. Therefore, these cases are slightly more complicated and will be discussed in separate remarks in later chapters.
We wish to find a rotationally symmetric positive function b defined on \(\mathbb {R}^n {\setminus } B_{r_0}(0)\) (where \(\mathbb {R}^n\) is equipped with an asymptotically flat metric \(\sigma \)) for some \(r_0>0\), such that \(b(x)\gg 1\) for \(|x|=r_0\), \(b(x)\rightarrow 0\) for \(|x|\rightarrow \infty \), and such that b is a static supersolution of (2.7), i. e.
Let us first consider \(\sigma _{ij}(x)=\delta _{ij}\) and the case of equality in (3.1). That is, we consider the equation for maximal spacelike hypersurfaces in Minkowski space. The function corresponding to b in this case we denote by \(\beta \). We choose \(\beta \) to be rotationally symmetric and by abuse of notation we write \(\beta (x)\equiv \beta (r)\). Also setting \(\beta ^i = \beta _k \delta ^{ki}\), (3.1) becomes
Rewriting this equation in the form
makes it easy to integrate it under the condition \(-1<\beta '<0\). We have for any \(c>0\) a solution of (3.2) of the form
We remark that \(\beta '\) is integrable at infinity only for \(n\ge 3\) and a solution with \(\beta (r)\rightarrow 0\) for \(r\rightarrow \infty \) is available only in this case.
Lemma 3.1
There exists \(r_1>0\), depending only on \(\sigma \), such that for any \(r_0 \ge r_1\) there exists a rotationally symmetric function \(b:\mathbb {R}^n{\setminus } B_{r_0}(0) \rightarrow \mathbb {R}\) with the following properties:
-
(i)
\(b(x) \simeq r_0^{n-\frac{3}{2}}\, |x|^{-(n-\frac{5}{2})}\) and
-
(ii)
\(g^{ij}(\sigma ,\nabla b) ^{\sigma }\nabla ^2_{ij}b \le 0\), i. e. b is a static supersolution.
Proof
In order to construct a supersolution, we are going to tweak the exponent of r in (3.3) to make \(\beta \) into a proper supersolution b strong enough to survive a change from the Euclidean metric to \(\sigma \). For \(r_0>0\) (to be chosen later) we consider the rotationally symmetric function b(r) given on \(\mathbb {R}^n{\setminus } B_{r_0}(0)\) by the conditions \(b(r)\rightarrow 0\) for \(r\rightarrow \infty \) and
The second derivative is given by
We will also need
Now, instead of fulfilling (3.2), b is a strict supersolution:
We shall see that the left-hand sides of (3.1) and (3.7) differ by terms of lower order than the right-hand side of (3.7). In this way we will obtain (3.1). Before we continue let us remark the following:
Furthermore we note \(1-\delta ^{kl}b_k b_l \ge \frac{1}{2}\) and by assuming that \(r_0\) is sufficiently large we can infer by (2.1) that \(1-\sigma ^{kl}b_kb_l \ge \frac{1}{3}\). It allows us to estimate in the following way using (2.3) and \(|\nabla b|\le 1\):
It is now straightforward to estimate the error term from \(g^{ij}\):
We can finally compare the operators for the different metrics:
by (3.11), (3.9), (3.8), (2.4), and the fact that \(\left| g^{ij}(\sigma ,\nabla b)\right| \) is bounded (by (2.3) and \(r_0\gg 1\)). Since by (3.7)
we use (3.12) for \(1\ll r_0 \le r\) to conclude the desired result (3.1), i. e. b is a supersolution. As we choose b such that \(b(r)\rightarrow 0\) for \(r\rightarrow \infty \) we find
which finishes the proof. \({\square }\)
For making use of the supersolution b as a barrier, we need to make sure that a solution can not touch b at \(r=r_0\). But this is ensured by the lemma, since b can be made arbitrarily large at \(r=r_0\) as we enlarge \(r_0\).
Corollary 3.2
For any \(h>0\) and for any \(r_1>0\) there exists \(r_0\ge r_1\), depending only on \(\sigma \), and a rotationally symmetric function \(b:\mathbb {R}^n{\setminus } B_{r_0}(0) \rightarrow \mathbb {R}\) with the following properties:
-
(i)
\(b>0\),
-
(ii)
\(b(x)\rightarrow 0\) for \(|x|\rightarrow \infty \),
-
(iii)
\(b(x)\ge h\) for \(|x|=r_0\), and
-
(iv)
\(g^{ij}(\sigma ,\nabla b) ^{\sigma }\nabla ^2_{ij}b \le 0\), i. e. b is a static supersolution.
Remark 3.3
The following observations are crucial:
-
(i)
Because the operator only depends on derivatives, \(b+\varepsilon \) is a supersolution for any \(\varepsilon \in \mathbb {R}\).
-
(ii)
Because of \(g^{ij}(\sigma , -\nabla b)= g^{ij}(\sigma , \nabla b)\), \(-b\) is a subsolution and yields a barrier from below.
4 Interpolation of Initial Data
Proposition 4.1
Let \((M,\sigma )\) be an asymptotically flat Riemannian manifold and \(R_0>0\) so large that we have an asymptotic coordinate system
Let \(u_0\in C^{0,1}(M)\) be uniformly spacelike with Lipschitz constant \(1-\varepsilon \). Then for every \(R_2>R_1\ge R_0\), there exists a metric \(\widetilde{\sigma }\) and a function \(\widetilde{u}_0\) such that
and such that \(\widetilde{u}_0\) is uniformly spacelike with respect to the constant \(\varepsilon >0\) from above.
Proof
For the proof, we may assume that \(u_0\in C^1(M)\) since the Lipschitz case follows immediately from an approximation argument. For notational convenience, set \(S_1{:}{=} R_1\) and \(S_4{:}{=} R_2\). Pick constants \(S_2,S_3\) such that \(S_1<S_2<S_3<S_4\) and choose smooth cutoff functions \(\psi _i:M\rightarrow [0,1]\), \(i=1,2,3\) such that
Now fix \(\lambda > 1\) and let
and
Then we have \( \widetilde{\sigma }_{ij} = \sigma _{ij}\) and \(\widetilde{u}_0 = u_0 \) on \(K_{S_1}\) and \(\widetilde{\sigma }_{ij} = \delta _{ij} \) and \(\widetilde{u}_0 = 0\) outside of \(K_{S_4}\). Because \(\widetilde{u}_0\) vanishes even outside of \(K_{S_3}\), it remains to prove that \(\widetilde{u}_0\) is uniformly spacelike on \(K_{S_3}{\setminus } K_{S_1}\). On \(K_{S_2}{\setminus } K_{S_1}\), we have
and since \(\widehat{\sigma }_{ij} = f \sigma _{ij}\) with a function \(f \ge 1\), we have
in this region. Finally, let us check the region \(K_{S_3}{\setminus } K_{S_2}\). There we have \( \widetilde{\sigma }_{ij} = \lambda \sigma _{ij}\) so that
provided that \(\lambda > 1\) was chosen large enough depending on \(u_0,\varepsilon \) and \(\psi _2\). This finishes the proof. \({\square }\)
Remark 4.2
Note that in this construction the geometry of \(\tilde{\sigma }\) can be chosen uniformly bounded (depending on \(\sup _M |u_0|\), \(\varepsilon \) and the difference \(R_2-R_1\)). Note further that \(\tilde{u}_0(x)\) has the same sign as \(u_0(x)\) for all \(x\in M\) and that \(|\tilde{u}_0|\le |u_0|\).
5 No Lift-Off
In the following (Lemma 5.1 and Remark 5.2) we will show that our constructed solution has no lift-off behaviour at infinity. Because our construction involves approximation by compact problems, the proof is an easy maximum principle argument in this case. On the other hand, excluding lift-off behaviour directly for any given solution needs an additional argument to compensate for the non-compactness and is therefore treated afterwards (Theorem 5.4).
Lemma 5.1
Let \(\sigma \) be an asymptotically flat metric on \(\mathbb {R}^n\) \((n\ge 3)\) and \(u_0\in C^{0,1}(\mathbb {R}^n)\) a function which is uniformly spacelike and satisfies \(|u_0(x)|\rightarrow 0\) as \(|x|\rightarrow \infty \). Let \(R>0\) and \(u_{0,R}\) be a function constructed from \(u_0\) according to Proposition 4.1 that vanishes outside of \(B_R(0)\) and is equal to \(u_0\) on a smaller ball. Finally, let \(T\in (0,\infty ]\) and assume that \(u_R\in C^{2;1}\big (B_R(0)\times (0,T)\big )\cap C^0\big (\overline{B_R(0)}\times [0,T]\big )\) is a solution of the initial boundary value problem
which is extended by zero for \(|x|>R\). Then for every \(\varepsilon >0\), there is a function \(b_\varepsilon :\mathbb {R}^n\rightarrow \mathbb {R}_+\), depending only on \(\sigma \) (through (2.1) and (2.2)), \(\varepsilon \), and \(u_0\), such that
-
(i)
\(|u_R(x,t)| \le b_\varepsilon (x)\) for \((x,t)\in \mathbb {R}^n\times (0,T)\) and
-
(ii)
\(b_\varepsilon (x)\rightarrow \varepsilon \text { for } |x| \rightarrow \infty .\)
Remark 5.2
Let \(b(x){:}{=} \inf _{\varepsilon >0}b_{\varepsilon }(x)\), which depends on \(\sigma \) and \(u_0\). Then
-
(i)
\(|u_R(x,t)| \le b(x)\) for \((x,t)\in \mathbb {R}^n\times (0,T)\) and
-
(ii)
\(b(x)\rightarrow 0 \text { for } |x| \rightarrow \infty .\)
Proof of Lemma 5.1
The maximum principle implies \(\sup _{\mathbb {R}^n\times [0,T)} u_R = \sup _{\mathbb {R}^n} u_{0,R}\). For \(\varepsilon >0\), there exists \(r_1>0\) such that \(|u_0(x)|<\varepsilon \) for \(|x|\ge r_1(\varepsilon )\). Using \(h{:}{=} \sup _{\mathbb {R}^n\times [0,T)}u_R\), Corollary 3.2 gives an \(r_0\ge r_1\) and a function \(b:\mathbb {R}^n{\setminus } B_{r_0}(0)\rightarrow \mathbb {R}_+\) with the properties listed there. Instead of that we will use \(b_\varepsilon {:}{=} b+\varepsilon \) (cf. Remark 3.3). Finally extend \(b_\varepsilon \) to \(B_{r_0}(0)\) by \(h+\varepsilon \). The asserted property (ii) is readily seen.
For \(|x|< r_0\), we have the inequality \(u_R(x,t) \le h\le b_\varepsilon (x)\) and for \(|x|\ge R\), we have \(|u_R(x,t)|=0<b_\varepsilon (x)\), so it only remains to prove assertion (i) in the region \(B_R(0){\setminus } B_{r_0}(0)\) (if non-empty). To achieve this we use the comparison principle. Because of \(r_0 \ge r_1\) we have by assumption \(b_\varepsilon (x)>\varepsilon \ge u_R(x,0)\) in \(B_R(0){\setminus } B_{r_0}(0)\). By the definition of h we have \(b_\varepsilon (x)\ge h+\varepsilon > u_R(x,t)\) for \(|x|=r_0\) and also \(b_\varepsilon (x)>0=u_R(x,t)\) for \(|x|=R\). So we have \(u_R(x,t)< b_{\varepsilon }(x)\) on the parabolic boundary of \(\bigl (B_R(0){\setminus } B_{r_0}(0)\bigr ) \times (0,T)\). Note that \(b_\varepsilon \) is a supersolution in the viscosity sense as a minimum of two supersolutions. Thus, the comparison principle implies \(u_R(x,t)<b_\varepsilon (x)\) on \(B_R(0){\setminus } B_{r_0}(0)\).
An analogous argument shows \(u_R(x,t)>-b_\varepsilon (x)\) on \(B_R(0){\setminus } B_{r_0}(0)\) (cf. Remark 3.3). \({\square }\)
Remark 5.3
The assertions of Lemma 5.1, and therefore of Remark 5.2, also hold when replacing \((\mathbb {R}^n,\sigma )\) by an asymptotically flat manifold and \(B_R(0)\) by \(K_R\). In this case, one uses constant barriers in the interior of the asymptotic neighbourhood.
Later on, we will show that the \(u_R\) converge (for \(R\rightarrow \infty \)) to a solution of the initial value problem on the whole manifold that preserves the asymptotic behaviour. In the following, we will show that this behaviour is preserved for any solution of the initial value problem. Uniqueness of such a solution is shown by using the comparison principle.
Theorem 5.4
Let \(T\in (0,\infty ]\) and let \(\sigma \) be an asymptotically flat metric on \(\mathbb {R}^n\) \((n\ge 3)\). Suppose \(u_0\in C^{0,1}(\mathbb {R}^n)\) is uniformly spacelike and satisfies
Let \(u\in C^{2;1}\bigl (\mathbb {R}^n\times (0,T)\bigr )\cap C^0\bigl (\mathbb {R}^n\times [0,T)\bigr )\) be a solution of (2.7) with \(u(\cdot ,0)=u_0\). Further suppose that the solution is uniformly spacelike, i. e. there exists \(\mu >0\) such that \(|\nabla u|_\sigma ^2\le 1- \mu \). Then for any \(\varepsilon >0\) and any \(t^*\in (0,T)\), there exists \(R>0\), such that
Moreover, this convergence is uniform in t and in u in the following sense. There is a function \(b:\mathbb {R}^n\rightarrow \mathbb {R}_+\), dependent only on \(u_0\) and \(\sigma \), such that
-
(i)
\(|u(x,t)|\le b(x)\) for \((x,t)\in \mathbb {R}^n\times (0,T)\) and
-
(ii)
\(b(x)\rightarrow 0\) for \(|x|\rightarrow \infty \).
Remark 5.5
The exact dependence on \(u_0\) in Theorem 5.4 is given through \(\sup _{\mathbb {R}^n} u_0\) and the function \(r_1(\varepsilon ) {:}{=}\sup \{ |x| : |u_0(x)|>\varepsilon \}\). The dependence on \(\sigma \) is given through (2.1) and (2.2).
Remark 5.6
The barrier construction explained in the proof below also works for dimensions \(n=1,2\). As a consequence, (5.3) also holds in these dimensions but we do not get (i) and (ii) in Theorem 5.4 because Lemma 5.1 and Remark 5.2 cannot be used in these cases.
Proof of Theorem 5.4
The essential part of the proof is to establish (5.3). Once this is shown, we consider \(b_{\varepsilon }\) as defined in the proof of Lemma 5.1. We deduce from (5.3) that for each \(t^*\in (0,T)\) and each \(\zeta \) with \(0<\zeta <\varepsilon \) there exists \(R\ge 1\), such that \(b_{\varepsilon } - u \ge \zeta \) in \(\bigl (\mathbb {R}^n {\setminus } B_R(0) \bigr )\times [0,t^*)\). Hence, we can apply the maximum principle, albeit \(\mathbb {R}^n\) is not compact, and deduce that \(b_{\varepsilon }\ge u\). Then we take the infimum over \(\varepsilon >0\) as in Remark 5.2 and arrive at the second assertion about the barrier function
Now we turn to the technical details. Firstly, we are assuming that we work far out where \(\sigma \) is close to the Euclidean metric. To begin with, by choosing \(\mu >0\), we may assume that
holds in the region we consider. Now we define the barrier function. Let \(\alpha >0\). For \(t_0<-1\) and \(x_0\in \mathbb {R}^n\) we define
where \(\rho \equiv \rho (t_0) \equiv \rho (t_0,\mu ) {:}{=} \sqrt{\frac{2-\mu }{\mu }4n(-t_0)}\). We are now going to prove that the function \(\widehat{b}\) satisfies
Direct calculations yield Eqs. (5.5), (5.6), and (5.7). For the ease of notation we may ignore \(\alpha \) and \(x_0\) (by setting them equal to zero), for it is easy to incorporate these afterwards. Now we address (5.8). We have \(\widehat{b}_i = \frac{x_i}{\widehat{b}}\) and
The inequality (5.9) is shown by
Finally, we derive the estimate (5.10): With \(|x|=\rho \) and \(t\le -t_0\), we get
The action of the parabolic operator on \(\widehat{b}\) can be estimated in the following way:
We may use (5.9), the calculation of (3.11), \(|\widehat{b}_{ij}|\lesssim 1\) for \(-t_0\gg 1\), and (2.4) to conclude
if we are sufficiently far out, i. e. \(|x_0|-\rho (t_0)\) is sufficiently large depending on \(\alpha \), \(\mu \), and \(\sigma \) only.
We have shown that \(\widehat{b}+h\) (\(h\in \mathbb {R}\)) is an upper barrier for u on \(B_\rho (x_0)\times [0,-t_0]\) (\(|x_0|\) large) if \(\widehat{b}+h>u\) holds initially: Because of (5.4) and (5.10) there can not be a first contact point of u and \(\widehat{b}\) at \(\partial B_\rho (x_0)\times (0,-t_0)\). By (5.13) and (2.7), there can not be a first contact in the interior either. For more a more detailed exposition, see Proposition 5.7 below.
To prove (5.3) we show that for any \(t^*\in (0,T)\) and any \(\varepsilon >0\) there is \(R>0\) such that \(u(x,t) < \varepsilon \) for any \(|x|>R\) and any \(t\in (0,t^*]\). So let \(t^*\in (0,T)\) and \(\varepsilon >0\) be given. By (5.2) there is \(R_0\) such that \(u(x,0)<\frac{\varepsilon }{2}\) for \(|x|\ge R_0\). Let us choose \(|t_0|\) so large and \(\alpha \) so small that \(\partial _t \widehat{b}_{x_0,t_0}(x_0,t)<\frac{\varepsilon }{2t^*}\) for all \(t\in [0,t^*]\). After that we fix an arbitrary \(x_0\in \mathbb {R}^n\) with \(|x_0|>R_0+\rho (t_0)\) and \(|x_0|\) being so large that (5.4) and (5.13) hold in \(B_{\rho }(x_0)\times (0,-t_0)\). Recall also (5.10). Then \(\widehat{b}_{x_0,t_0}+h\) with \(h=-\widehat{b}_{x_0,t_0}(x_0,0)+\frac{\varepsilon }{2}\) is an upper barrier for u in \(B_\rho (x_0)\times (0,-t_0)\). We may assume \(t^*<-t_0\). In particular, we obtain for \(t\in (0,t^*)\)
which establishes (5.3). \({\square }\)
To prove a version of this theorem for asymptotically flat manifolds, we apply a comparison principle for barriers with large gradient at the boundary and solutions with bounded gradient. In [1, Lemma 4.1], a similar technique has been used.
Proposition 5.7
Let \(\Omega \) be an open bounded subset of a complete manifold M with \(\partial \Omega \in C^1\) and outer unit normal \(\nu \). Let \(0<T\le \infty \). Let \(u\in C^{2;1}(M\times (0,T))\cap C^0(M\times [0,T))\) be a solution to (2.7) in \(\Omega \times (0,T)\). Let \(b\in C^{2;1}\bigl (\overline{\Omega }\times [0,T)\bigr )\) fulfil
Assume that
Then
Proof
By replacing b by \(b+\varepsilon (1+t)\) and later considering \(\varepsilon \searrow 0\), we may assume without loss of generality that \(\partial _t b> g^{ij}(\sigma ,\nabla b) ^{\sigma } \nabla ^2_{ij}b\) and \(u(\cdot ,0)<b(\cdot ,0)\). It suffices to prove the result for any finite S such that \(0<S<T\). We exhaust \(\Omega \) by compact sets \(K_l\), \(l\in \mathbb N\), such that \(K_l\nearrow \Omega \) and \(\partial K_l\rightarrow \partial \Omega \) in \(C^1\) in a local graph representation. We may assume without loss of generality that l is large enough so that
where \(\nu \) is the outer unit normal to \(\partial K_l\). We fix l and argue by contradiction. Hence, we may assume that there exists a first \((x_0,t_0)\in K_l\times (0,S]\), such that \(u(x_0,t_0)=b(x_0,t_0)\). Now, we distinguish two cases:
-
If \(x_0\in \partial K_l\), we still have \(b-u\ge 0\) in \(K_l\times \{t_0\}\) with equality at \(x_0\) and deduce that \(\langle \nabla (b-u),\nu \rangle \le 0\) at \((x_0,t_0)\). We get \(\langle \nabla b,\nu \rangle \le |\nabla u|\) there. This contradicts (5.14).
-
A first touching of u and b in the interior of \(K_l\), however, is excluded by the maximum principle as we have assumed that b is a strict supersolution.
We obtain \(u<b\) in \(K_l\times [0,S]\). Now, we let \(l\rightarrow \infty \) and \(S\nearrow T\). The claim follows. \({\square }\)
Corollary 5.8
Theorem 5.4 holds for asymptotically flat \((M^n,\sigma )\) with \(n\ge 3\).
Proof
The only case where the proof slightly differs from the proof of Theorem 5.4 is the second last paragraph: In this case one chooses \(|x_0|\) (in an asymptotic neighbourhood) and \(\rho >0\) so large that \(M{\setminus } B_{\rho }(x_0)\) lies in an asymptotic coordinate neighbourhood and such that \(|\nabla b|>\sup _M |\nabla u_0|\) on \(\partial B_{\rho }(x_0)\). Then, \(v+h\) is an upper barrier for u by Proposition 5.7. \({\square }\)
6 Boundary Gradient Estimates
Our goal in this section is to prove boundary gradient estimates for the modified Dirichlet problem for the mean curvature flow.
Proposition 6.1
Let \((M,\sigma )\) be an asymptotically flat manifold and \(u_0\in C^{0,1}(\mathbb {R}^n)\) be a function which is uniformly spacelike and satisfies \(|u_0(x)|\rightarrow 0\) as \(|x|\rightarrow \infty \). Let \(r_0\) (depending on \((M,\sigma )\) and \(u_0\)) be so large that \(\mathbb {R}^n{\setminus } B_{r_0}(0)\) lies in the image of an asymptotic coordinate system and such that there exists a rotationally symmetric static supersolution \(b_{r_0}\) of the mean curvature flow with \(b_{r_0}=\sup u_0+1\) at \(\partial K_{r_0}\). Let \(R>\max \{2,r_0\}\) and let \(u_{0,R}\) be modified initial data and \(\sigma _{R}\) be a modified metric, such that \(u_{0,R}=0\) and \(\sigma _{R}=\delta \) on \(M{\setminus } K_R\) and \(u_{0,R}=u_0\) and \(\sigma _{R}=\sigma \) in \(K_{R-1}\). Finally, let \(T\in (0,\infty ]\) and \(u_R\in C^{2;1}\big (B_{R^4}(0)\times (0,T)\big )\cap C^0\big (\overline{B_{R^4}(0)}\times [0,T)\big )\) be a solution of the initial boundary value problem
Then we obtain
for all \(|x| = R^4\) and \(t \in [0,T)\).
Proof
Let \(b_{R}\) be a rotationally symmetric supersolution constructed in Sect. 3. By Corollary 3.2, it can be chosen such that \(b_{R}|_{\partial K_R}\ge \sup |u_0|+1\). Let \(a_R\) be the value of \(b_{R}\) at \(\partial K_{R^4}\). Then \(a_R\simeq R^{-3n+\frac{17}{2}}<1\) by Lemma 3.1 for \(R\gg 1\). Let \(\tilde{b}_R=b_{R}-a_R\). Then \(\tilde{b}_R\) has the following properties:
where \(x\in M\) is identified with a vector in \(\mathbb {R}^n\) via the asymptotic chart. If \(u_R\) is a solution of the Dirichlet problem of the proposition, we obviously have \(|u_R(x,t)|\le \sup _M |u_0|\) for all times. Therefore,
By construction, \(0=|u_{0,R}|\le \tilde{b}_{R}\) on \(K_{R^4}{\setminus } K_R\). By the maximum principle and because \(b_{R}\) is a static supersolution, we obtain
on \(\bigl (K_{R^4}{\setminus } K_R\bigr )\times [0,T)\) and we have equality on \(\partial K_{R^4}\times [0,T)\). This implies in particular
Since by (3.8) we have
and since \(|\nabla b|=|\nabla {\tilde{b}}|\), and because the derivatives tangential to the boundary vanish, we finally get
for all \(|x| = R^4\) and \(t \in [0,T)\). \({\square }\)
Remark 6.2
In the cases \(n=1,2\), we also get bounds on the derivative at \(|x|=R^4\). The fact that in these cases b is unbounded as \(|x|\rightarrow \infty \) does not play a role in the proof of the above lemma.
7 Derivative Estimates
In this section, we are going to prove uniform derivative estimates for solutions of the modified initial boundary value problem (6.1) for the mean curvature flow. These estimates are crucial as they directly yield long-time existence of the solutions. The key point is to compute an evolution inequality for a good quantity and to apply the maximum principle. Similar ideas were used by Gerhardt [7].
Let u evolve under mean curvature flow (2.6). Recall from [6, Proposition 3.2], that the evolution of the quantity v introduced in (2.8) under the mean curvature flow is given by
where \(\text {Ric}_{h}\) is the Ricci tensor of the metric \(h=\sigma _{ij} \mathrm {d}x^i \mathrm {d}x^j-(\mathrm {d}x^0)^2\), A is the second fundamental form and \(\nu \) is the unit normal of the hypersurface as defined in (2.8). In this section, \(\langle .,.\rangle \), |.|, \(\nabla \) and \(\Delta \) are taken with respect to the induced metric \(g\) on the graph of u unless otherwise specified.
Lemma 7.1
Let \((M,\sigma )\) be a Riemannian manifold of bounded geometry and \(u:M\rightarrow \mathbb {R}\) be a smooth function with spacelike graph in \((M\times \mathbb {R},h)\). Then the Ricci tensor \(\text {Ric}_h\) of the metric h, evaluated on the unit normal \(\nu \) of \(\text {graph }(u)\), satisfies
with some \(C\ge 0\).
Proof
Using the product structure of \(M\times \mathbb {R}\), we can evaluate the Ricci tensor,
where \(^{\sigma }\nabla \) denotes the gradient with respect to \(\sigma \). From the definition of v in Eq. (2.8) we infer \(v^2|\nabla u|^2_{\sigma } = v^2 - 1\). Since M has bounded geometry, its Ricci tensor satisfies \(|\text {Ric}_{\sigma }(w,w)|\le C|w|^2_{\sigma }\) for some \(C\ge 0\) and all w. Thus,
\({\square }\)
In the sequel, we will study a function also considered by Gerhardt [7] (for similar ideas, see also e. g. [6, Proof of Proposition 4.4] or [8, Proof of Theorem 15]).
Lemma 7.2
Let \((M,\sigma )\) be a Riemannian manifold of bounded geometry and let \(u:M\times [0,T)\rightarrow \mathbb {R}\) be a solution of the mean curvature flow in \((M\times \mathbb {R},h)\). Then, the function \(\varphi \) defined by
evolves according to the equation
Proof
For the first derivative of \(\varphi \), we calculate
Further, for the second derivative we get
Taking the trace with respect to \(g\), we obtain
Since the time derivative of \(\varphi \) is given by \(\partial _t \varphi = (\partial _t v) \frac{\varphi }{v} + \mu \lambda \varphi \mathrm {e}^{\lambda u} \partial _t u\), Lemma 2.3 implies that \(\varphi \) evolves according to
The claim now follows from the evolution Eq. (7.1) for v. \({\square }\)
Lemma 7.3
Let \((M,\sigma )\) be a Riemannian manifold of bounded geometry and let \(u:M\rightarrow \mathbb {R}\) be strictly spacelike. Then, the estimate
holds.
Proof
Using the relation \(v^2=1+|\nabla u|^2\) from Lemma 2.4, we calculate
Consequently,
Let \(\pi _{\mathbb {R}}:M\times \mathbb {R}\rightarrow \mathbb {R}\) denote the projection onto the second factor. Then the claim follows from
\({\square }\)
Lemma 7.4
Let \(u_R\) be a solution of the modified initial boundary value problem (6.1). Then \(\sup _{M\times \{t\}}v\le c\) (where v is computed as in (2.8) using \(u_R\) instead of u) for some finite constant \(c\ge 1\) which depends on \(\sigma \) and the initial data, but is independent of \(R\gg 1\).
Proof
Note that as long as the solution exists, we have
by the avoidance principle and the construction of \(u_{0,R}\). After possibly applying a shift to \(u_0\), we further may assume
Using Lemma 7.3 and \(|\nabla u_R|^2\le v^2\) (see Lemma 2.4), we obtain the estimate
for any \(\varepsilon >0\). Together with the Lemmas 7.1 and 7.2, this implies
Now let \(\varepsilon {:}{=}\mathrm {e}^{-\lambda u_R}\), \(\lambda {:}{=} C\) and \(\mu {:}{=} \frac{1}{C}\). Then \(\varepsilon \lambda \mu \mathrm {e}^{\lambda u_R} = 1\), and using \(|\nabla u_R|^2=v^2-1\) we calculate
By the gradient estimates in Proposition 6.1, the function \(\varphi \) is bounded at \(\partial B_{R^4}(0)\) for positive times. We can thus apply the maximum principle to conclude that
which yields the statement of the lemma. \({\square }\)
Lemma 7.5
Let \(R>0\) be large enough, \(T\in (0,\infty ]\) and let \((M^n,\sigma )\), \(n\ge 3\), be an asymptotically flat manifold. Suppose \(u_R\in C^{2;1}\big (K_R\times (0,T)\big )\cap C^0\big (\overline{K_R}\times [0,T)\big )\) is a solution of the modified initial boundary value problem
where \(u_{0,R}\) and \(\sigma _R\) are the modified initial data provided by Proposition 4.1.
We extend \(u_{0,R}\) and \(u_R\) by zero for \(|x|>R\). We additionally assume that we are given \(\varepsilon >0\) and \(r_1>0\) such that \(|u_0(x)|\le \varepsilon \) for \(|x| \ge r_1\).
Then there is a function \(b_\varepsilon :M\rightarrow \mathbb {R}_+\), dependent only on \(\sigma \), \(\varepsilon \), \(r_1\), and \(\sup _{M} u_0\) and a small constant \(\kappa >0\) dependent only on \(\sigma \), \(r_1\), \(\sup _{M}\bigl ( |u_0|+|\nabla u_0|_{\sigma }\bigr )\), such that for all large R
-
(i)
\(|u_R(x,t)| \le b_\varepsilon (x)\) for \((x,t)\in M\times (0,T)\),
-
(ii)
\(b_\varepsilon (x)\rightarrow \varepsilon \text { for } |x| \rightarrow \infty \),
-
(iii)
\(|\nabla u_R(x,t)|_{\sigma } \le 1-\kappa \) for \((x,t)\in M\times (0,T)\).
Consequently, each solution \(u_R\) can be extended for all times and satisfies the estimates (i) and (iii) uniformly for all \(t\in (0,\infty )\).
Proof
Choose \(b_{\varepsilon }\) as in the proof of Lemma 5.1. The estimates (i) and (ii) hold due to Remark 5.3. Part (iii) follows directly from Lemma 7.4. Note that all these estimates are independent of T. Suppose that \(T_{\text {max}}<\infty \) is the maximal time of existence. By standard theory of parabolic equations, we also have bounds on all derivatives of \(u_R\) on \((T_{\text {max}}/2,T_{\text {max}})\) which are uniform up to \(T_{\text {max}}\). Therefore \(u_{t,R}\) converges in all derivatives to some function \(u_{T_{\text {max}},R}\) and we can apply short-time existence to get a smooth extension of \(u_R\) beyond \(T_{\text {max}}\) which contradicts the maximality of \(T_{\text {max}}\). \({\square }\)
Remark 7.6
Suppose \(r_1\) is given as a function of \(\varepsilon \) in the sense that for all \(\varepsilon >0\) \(|u_0(x)|<\varepsilon \) for \(|x|\ge r_1(\varepsilon )\). Here we may take the infimum \(b(x){:}{=} \inf _{\varepsilon >0}b_{\varepsilon }(x)\) which depends on \(\sigma \), \(\sup _{M} u_0\), and the function \(r_1\). With \(\kappa >0\) as above and \(R\gg 1\) large enough, we then have
-
(i)
\(|u_R(x,t)| \le b(x)\) for \((x,t)\in M\times (0,T)\),
-
(ii)
\(b(x)\rightarrow 0 \text { for } |x| \rightarrow \infty \)
-
(iii)
\(|\nabla u_R(x,t)|_{\sigma _R} \le 1-\kappa \) for \((x,t)\in M\times (0,T)\).
8 Long-Time Existence and Convergence
In this section, we are going to prove the main statements of the paper.
Theorem 8.1
Let \((M^n,\sigma )\) be an asymptotically flat manifold with \(n\ge 3\) and \(u_0\in C^{0,1}(M)\) be uniformly spacelike such that
Then there exists a unique uniformly spacelike solution of (2.7) with \(u(\cdot ,0)=u_0\) which exists for all times and satisfies \(u\in C^{2;1}\bigl (M\times (0,\infty ) \bigr )\cap C^0\bigl (M\times [0,\infty )\bigr )\). Moreover, u satisfies
and this convergence is uniform in t. More precisely, there is a function \(b:M\rightarrow \mathbb {R}\) and a constant \(\kappa >0\), both only dependent on \(u_0\) and \(\sigma \), such that
-
(i)
\(|u(x,t)|\le b(x)\) for \((x,t)\in M\times (0,\infty )\),
-
(ii)
\(b(x)\rightarrow 0\) for \(|x|\rightarrow \infty \),
-
(iii)
\(|\nabla u(x,t)|_{\sigma } \le 1-\kappa \) for \((x,t)\in M\times (0,\infty )\).
Proof
By Lemma 7.5, the solutions \(u_R\) exist for all times and are uniformly spacelike in T and R. By standard theory for parabolic equations, we get uniform bounds on higher derivatives on \((\delta ,\infty )\) where the bounds only depend on \(u_0\), \(\sigma \) and \(\delta \) and are in particular independent of R. Therefore, by the Arzelà-Ascoli theorem, the family \(u_R\) subconverges in all derivatives to a solution u of (2.7) with initial data \(u_0\). The estimates (i)–(iii) are consequences of the estimates (i)–(iii) in Lemma 7.5 and Remark 7.6.
To show uniqueness, one uses (8.1) in the following sense: Suppose that v(x, t) is another uniformly spacelike solution of (2.7) which is defined up to a time T. Then by Theorem 5.4, v also satisfies (8.1) for each \(t\in [0,T)\). Therefore, \(u\pm \varepsilon \) can be used as a barrier for v on \(M\times [0,T)\). The maximum principle implies that for each \(\varepsilon >0\), we get \(u-\varepsilon \le v\le u+\varepsilon \). Uniqueness follows from \(\varepsilon \rightarrow 0\). \({\square }\)
Remark 8.2
Statement (8.1) also follows in dimensions \(n=1,2\) but we cannot conclude (i) and (ii) in these cases. These properties are however essential in the proof of the main theorem below. In the case \(n=1\), we give a separate proof that is done in a subsection below.
Theorem 8.3
Let u be the solution in Theorem 8.1. Then \(u\left( \cdot ,t\right) \xrightarrow [t\rightarrow \infty ]{}0\) uniformly in \(C^{l}\) for all \(l\in \mathbb {N}_{0}\). More precisely, for each \(l\in \mathbb {N}_0\), there exists a function \(v_l:[0,T)\rightarrow \mathbb {R}\) with \(v_l(t)\rightarrow 0\) as \(t\rightarrow \infty \) such that
Proof
First we prove the statement for \(l=0\). Since u decays as \(x\rightarrow \infty \) by Theorem 8.1, we can apply the maximum principle to conclude that
is monotonically decreasing. If \(v(t)\rightarrow 0\) for \(t\rightarrow \infty \), the claim follows. Assume that \(v\left( t\right) \xrightarrow [t\rightarrow \infty ]{}\delta >0\). By Theorem 8.1 there exists \(R>0\) such that \(\left| u\left( x,t\right) \right| \le \frac{\delta }{2}\) for all \(\left| x\right| \ge R\) and \(t\ge 0\). Using the strict maximum principle once again in \(\overline{B_{R}\left( 0\right) }\times [0,\infty )\) yields that either v is strictly decreasing or \(u\left( \cdot ,t\right) \) is constant for all \(t\ge T_{0}\) for some \(T_0\ge 0\). In the second case we conclude (again by Theorem 8.1) that \(u\left( \cdot ,t\right) =0\) for all \(t\ge T_{0}\).
Let \(t_{k}\ge 0\) with \(t_{k}\xrightarrow [k\rightarrow \infty ]{}\infty \) be arbitrary. Due to the uniform estimates for u in \(C^{l}\) for \(l\in \mathbb {N}\) it follows by the Arzelà-Ascoli theorem (after choosing a subsequence also labelled \(\left( t_{k}\right) _{k\in \mathbb {N}}\)) that
uniformly and \(\tilde{u}\) is a solution of the same differential equation as u. Due to the uniform convergence we conclude that
for all \(t\ge 0\). Because \(\left| u\left( x,t\right) \right| \xrightarrow [\left| x\right| \rightarrow \infty ]{}0\) uniformly in t the same holds for \(\tilde{u}\). Therefore, \(x\mapsto \tilde{u}(x,t)\) attains a maximum for each \(t\ge 0\). By the strict maximum principle, this is strictly decreasing unless \(\tilde{u}\) is constant, hence identically zero. However, this is a contradiction to (8.2).
For arbitrary \(l\in \mathbb {N}\), the statement follows immediately from the following interpolation inequality
since \(\left\| u\left( \cdot ,t\right) \right\| _{C^{0}\left( M\right) }\xrightarrow [t\rightarrow \infty ]{}0\) and the uniform bounds for the derivatives of u hold. \({\square }\)
8.1 The One-Dimensional Case
For \((M,\sigma )=(\mathbb {R},\delta )\), the mean curvature flow can be written in a particularly simple form which allows us to prove our main result with a different method. To be more precise, for maps \(u:\mathbb {R}\times [0,T)\rightarrow \mathbb {R}\), the graphical mean curvature flow (2.6) may equivalently be written as
From Theorem 8.1 and Remark 8.2, we know already that (8.3) admits uniformly spacelike solutions that exist for all times, provided that the initial data is nice enough. In the following, we will show convergence to 0 for uniformly spacelike \(u_0\) and we will even get a convergence rate if \(u_0\in L^2(\mathbb {R})\).
Lemma 8.4
Let \(u:\mathbb {R}\times (0,T)\rightarrow \infty \) be a smooth solution of (8.3) (which is continuous up to \(t=0\)) with uniformly spacelike initial data \(u_0\in C^{0,1}(\mathbb {R})\cap L^2(\mathbb {R})\). Then \(u_t\in L^2(\mathbb {R})\) and \(\left\| u_t\right\| _{L^2}\le \left\| u_0\right\| _{L^{2}}\).
Proof
Choose a smooth cutoff function \(\psi \) with \(0\le \psi \le 1\),
Let \(\varphi (x)=\psi (x/R)\) where \(R>0\). Then we get
where \(\delta >0\) is fixed below. Also using \(x\ln \frac{1+x}{1-x} \ge x^2\) for \(|x|<1\), we further estimate
where C depends on \(\sup |u'_t|\le 1-\varepsilon \) and \(\delta \in (0,C^{-1})\). Now, define
where \(\varphi _{R,y}(x)=\psi ((x-y)/R)\). Note that A(t, R) is bounded because u is. After integration in time, we get
and taking the supremum over x on the left-hand side yields
and by the Gronwall inequality, we obtain
and the result follows by letting \(R\rightarrow \infty \). \({\square }\)
Now we extend the cutoff argument to get a uniform estimate of the \(H^1\)-norm.
Lemma 8.5
Let \(u:\mathbb {R}\times (0,T)\rightarrow \infty \) be a smooth solution of (8.3) with uniformly spacelike initial data \(u_0\in C^{0,1}(\mathbb {R})\cap L^2(\mathbb {R})\). Then \(u_t\in H^1(\mathbb {R})\) and
for all \(t>0\).
Proof
Let \(\varphi \) be as in the proof of Lemma 8.4. Then
where C depends on \(\sup |u'_t|<1\). Now, pick \(\alpha \in (0,1)\). Then, combining the above estimate with the one from the Lemma 8.4, we obtain for any \(\delta \in (0,(1-\alpha )C^{-1})\)
Analogously to the above, we define
where \(\varphi _{R,y}(x)\) as in the proof of the previous lemma. After integration in time, we get
and taking the supremum over x on the left-hand side yields
By the Gronwall inequality, we obtain
and the result follows from letting \(R\rightarrow \infty \) and then letting \(\alpha \rightarrow 1\). \({\square }\)
Proposition 8.6
Let \(u:\mathbb {R}\times (0,T)\rightarrow \infty \) be a smooth solution of (8.3) with uniformly spacelike initial data \(u_0\in C^{0,1}(\mathbb {R})\cap L^2(\mathbb {R})\). Then \(u_t\rightarrow 0\) for \(t\rightarrow \infty \), uniformly in all derivatives. More precisely,
for some \(C\ge 0\) and for all \(t>0\).
Proof
By the one-dimensional Gagliardo–Nirenberg inequality and Lemma 8.5, we obtain
For higher derivatives, the assertion follows from short-time derivative estimates of the form
which finishes the proof. \({\square }\)
Remark 8.7
The convergence rate in Proposition 8.6 is the same as one gets for solutions of the 1-dimensional heat equation with initial data in \(L^2\). This can be seen as follows: If \(u_0\in L^2(\mathbb {R})\), the solution of the heat equation with initial data \(u_0\) is given by
where K is the 1-dimensional heat kernel. A direct computation proves that the inequality \(\left\| K(\cdot ,t)\right\| _{L^2}\le C\cdot t^{-1/4}\) holds. Finally Young’s inequality for convolutions implies that
which is the estimate we claimed.
Theorem 8.8
Let \(u:\mathbb {R}\times (0,T)\rightarrow \infty \) be a smooth, uniformly spacelike solution of (8.3) with uniformly spacelike initial data \(u_0\in C^{0,1}(\mathbb {R})\) such that \(u_0(x)\rightarrow 0\) as \(|x|\rightarrow \infty \). Then, if \(t\rightarrow \infty \), \(u_t\rightarrow 0\) uniformly in all derivatives. More precisely, there exist functions \(v_k(t)\) with \(v_k(t)\rightarrow 0\) as \(t\rightarrow \infty \) such that
for some \(C\ge 0\) and for all \(t>0\).
Proof
For each \(\varepsilon >0\), pick a compactly supported smooth function \(v_{0,\varepsilon }\) such that
By the maximum principle, the corresponding solutions satisfy
for all times. As \(v_{\varepsilon }\rightarrow 0\), we conclude that \(|u|\le \varepsilon \) for all \(t\ge T(\varepsilon )\) and some large time \(T(\varepsilon )\), and the assertion for u follows for \(k=0\). For the higher derivatives, the claim follows from standard estimates. \({\square }\)
References
Clutterbuck, J., Schnürer, O.C., Schulze, F.: Stability of translating solutions to mean curvature flow. Calc. Var. Part. Differ. Equ. 29(3), 281–293 (2007)
Colding, T., Minicozzi, W., Pedersen, E.: Mean curvature flow. Bull. Am. Math. Soc. 52(2), 297–333 (2015)
Ecker, K.: On mean curvature flow of spacelike hypersurfaces in asymptotically flat spacetimes. J. Austral. Math. Soc. Ser. A 55(1), 41–59 (1993)
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.: Interior estimates for hypersurfaces moving by mean curvature. Invent. Math. 105(1), 547–569 (1991)
Ecker, K., Huisken, G.: Parabolic methods for the construction of spacelike slices of prescribed mean curvature in cosmological spacetimes. Commun. Math. Phys. 135(3), 595–613 (1991)
Gerhardt, C.: Hypersurfaces of prescribed mean curvature in Lorentzian manifolds. Math. Z. 235(1), 83–97 (2000)
Lambert, B.: Construction of maximal hypersurfaces with boundary conditions. Manuscr. Math. 153(3–4), 431–454 (2017)
Acknowledgements
Open Access funding provided by Projekt DEAL. This project was initiated at a winter school about geometric evolution equations in Konstanz in February 2018. The authors thank the priority programme 2026 Geometry at Infinity, funded by the Deutsche Forschungsgemeinschaft, for financial support and for providing an excellent platform for joint research. Klaus Kröncke and Felix Lubbe have carefully connected our different contributions and prepared the present paper. The other authors are very grateful for these diligent efforts.
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.
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
Kröncke, K., Lindblad Petersen, O., Lubbe, F. et al. Mean Curvature Flow in Asymptotically Flat Product Spacetimes. J Geom Anal 31, 5451–5479 (2021). https://doi.org/10.1007/s12220-020-00486-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-020-00486-z
Keywords
- Mean curvature flow
- Asymptotically flat manifolds
- Static spacetimes
Mathematics Subject Classification
- Primary 53E10
- Secondary 53C50
- 58J35