Abstract
We prove that if \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) is a smooth, proper, timelike immersion with vanishing mean curvature, then necessarily \(\phi \) is an embedding, and every compact subset of \(\phi (\mathbb {R}^2)\) is a smooth graph. It follows that if one evolves any smooth, self-intersecting spacelike curve (or any planar spacelike curve whose unit tangent vector spans a closed semi-circle) so as to trace a timelike surface of vanishing mean curvature in \(\mathbb {R}^{1+2}\), then the evolving surface will either fail to remain timelike, or it will fail to remain smooth. We show that, even allowing for null points, such a Cauchy evolution will be \(C^2\) inextendible beyond some singular time. In addition we study the continuity of the unit tangent for the evolution of a self-intersecting curve in isothermal gauge, which defines a well-known evolution beyond singular time.
Similar content being viewed by others
1 Introduction and Statement of Main Results
The study of minimal surfaces in Euclidean space \(\mathbb {R}^3\) has a long history, and many interesting examples of complete minimal surfaces in \(\mathbb {R}^3\) are known. On the other hand, many beautiful theorems have demonstrated that minimal surfaces in \(\mathbb {R}^3\) exhibit a certain rigidity. For example, Bernstein’s theorem states that any complete minimal surface in \(\mathbb {R}^3\) which is a graph, must be a plane. In this article we consider the timelike maximal surfaces in Minkowski space \(\mathbb {R}^{1+2}\), where the picture is quite different.
If \(\phi :M^2 \rightarrow \mathbb {R}^{1+2}\) is a smooth proper timelike immersion, then \(\phi ^0\) is a Morse function and it follows that \(M^2\) is diffeomorphic to either \(\mathbb {R}^2\) or \(S^1 \times \mathbb {R}\). In appropriate coordinates, the mean curvature of \(\phi (M^2)\) is hyperbolic, and by solving a Cauchy problem with sufficiently “small” initial data, it is possible to construct smooth proper timelike maximal immersions \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) such that \(\phi (\mathbb {R}^2)\) is a smooth graph close to a timelike plane (see Lindblad [14]). This clearly contrasts with Bernstein’s theorem in \(\mathbb {R}^3\) (for more stability results in higher dimensions and higher codimensions see Allen et al. [1], Brendle [5], Donninger et al. [8], as well as [14]).
On the other hand, given suitably “large” data, the Cauchy evolution for a timelike maximal surface will develop singularity in finite time (see, e.g. Bellettini et al. [3], Eggers and Hoppe [9], Kibble and Turok [12], and Nguyen and Tian [16]. See also Bahouri et al. [2], Eggers et al. [10] and Wong [19] for results in higher dimensions). Nguyen and Tian proved: there exists no smooth proper timelike immersion \(\phi :S^1\times \mathbb {R}\rightarrow \mathbb {R}^{1+2}\) with vanishing mean curvature [16]. Thus the Cauchy evolution of any closed curve will form singularity in finite time, and every smooth proper timelike maximal immersion in \(\mathbb {R}^{1+2}\) is of the form \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\).
In this article we will be concerned with the geometry of timelike maximal immersions \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) and the corresponding Cauchy evolution for open curves. Our first result is:
Theorem 1.1
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be a smooth, proper, timelike immersion with vanishing mean curvature. Then \(\phi \) is an embedding. Moreover, for each compact subset \(K\subseteq \phi (\mathbb {R}^2)\), there is a timelike plane \(P\subseteq \mathbb {R}^{1+2}\) such that K is a smooth graph over P.
Remark 1.2
The restriction to compact subsets in Theorem 1.1 cannot be relaxed, and there exist examples (see Sect. 3.2) of smooth proper timelike maximal embeddings \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) such that \(\phi (\mathbb {R}^2)\) is not a graph.
Remark 1.3
If \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) is a smooth proper timelike maximal immersion, then in terms of a spacelike unit normal \(N :\phi (\mathbb {R}^2) \rightarrow S^{1+1} = \big \{ (\sinh \varphi , \cos \vartheta \cosh \varphi , \sin \vartheta \cosh \varphi ) :(\vartheta ,\varphi )\in \mathbb {R}^2 \big \}\subseteq \mathbb {R}^{1+2}\) Theorem 1.1 states that for every compact subset \(K \subseteq \phi (\mathbb {R}^2)\), N(K) is contained in an open hemi-hyperboloid \(S^{1+1}_+ = \big \{ (\sinh \varphi , \cos \vartheta \cosh \varphi , \sin \vartheta \cosh \varphi ) :(\vartheta ,\varphi )\in (\vartheta _0-\frac{\pi }{2}, \vartheta _0 + \frac{\pi }{2}) \times \mathbb {R}\big \} \subseteq \mathbb {R}^{1+2}\) for some \(\vartheta _0 \in \mathbb {R}\) (which is a hemi-sphere with respect to the Minkowski metric). This may be compared with the counterpart in the Riemannian setting. For example, it is well known that for a complete minimal surface in \(\mathbb {R}^3\) the image of the unit normal is either a single point, or it omits at most 4 points in the sphere \(S^2\).
Remark 1.4
As a crucial step in the proof of Theorem 1.1, we adapt an argument of Belletini et al. [3] to construct a global system of isothermal coordinates on an immersed timelike maximal surface (another such construction of global isothermal coordinates may be found in [17, Chap. 7]). Theorem 1.1\(\mathbb {R}^{1+2}\)\(\mathbb {R}^{1+1}\). This is a non-trivial result as. In stark contrast with the Riemannian setting, there exist infintely many possible conformal structures of simply connected Lorentzian surfaces (Kulkarni [13]).
The coordinate \(x^0\) on \(\mathbb {R}^{1+2}\) is a time-function, and we now turn to a Cauchy problem for timelike maximal surfaces in \(\mathbb {R}^{1+2}\). Let \(\mathcal {C}:\mathbb {R}\rightarrow \{x^0=0\}\subseteq \mathbb {R}^{1+2}\) be a smooth proper immersion and let V be a smooth future-directed timelike vector field along \(\mathcal {C}\). We say \(\phi :\mathbb {R}\times [-T,T] \rightarrow \mathbb {R}^{1+2}\), \(\phi (s,t)=(t,\gamma ^1(s,t),\gamma ^2(s,t))\), is a smooth timelike Cauchy evolution for \((\mathcal {C},V)\) if \(\phi \) is a smooth proper timelike immersion with vanishing mean curvature such that \(\phi (\cdot , 0)=\mathcal {C}\) and V is tangent to \(\mathrm {Im}(\phi )\) along \(\mathcal {C}\). For a given smooth initial data \((\mathcal {C},V)\) let
It may be shown that \(T_*>0\) under mild assumptions on the initial data \((\mathcal {C},V)\) (see, e.g. Corollary 5.12) and from Theorem 1.1 it may be seen to follow that if the image \(U_0(\mathcal {C})\) of the unit tangent vector \(U_0\) along \(\mathcal {C}\) contains a closed semi-circle (for example, if \(\mathcal {C}\) is a self-intersecting curve), then \(T_*<\infty \). However, our proof of Theorem 1.1 is by contradiction, and thus does not shed any light upon the nature of singularity at time \(T_*\). It is natural to ask whether one can define a smooth, or \(C^k\) for some k, extension of the surface beyond singular time, possibly by allowing for null points.
It is well known that singular behaviour necessarily involves the maximal surface failing to remain timelike at the time \(T_*\) (i.e. the hyperbolicity degenerates), see Jerrard et al. [11, Theorem 3.1]. Eggers and Hoppe [9] studied singularity formation in a self-similar regime, and observed a blow up of curvature of the spatial cross sections at the singular time \(T_*\). Nguyen and Tian observed that, provided the second-order term in a certain Taylor expansion is non-vanishing, then the limit curve at singular time \(T_*\) will look locally like a \(C^{1,\nicefrac {1}{3}}\) graph [16, Remark 2.6]. Since the second-order term is expected to be generically non-vanishing, one thus expects a blow up of curvature at the singular time generically. We prove:
Theorem 1.5
Let \(\varepsilon >0\), \((s_0,t_0)\in \mathbb {R}^2\), and \(\phi :(s_0-\varepsilon ,s_0+\varepsilon ) \times (t_0-\varepsilon , t_0] \rightarrow \mathbb {R}^{1+2}\) be a \(C^1\) immersion of the form \(\phi (s,t)=(t,\gamma ^1(s,t),\gamma ^2(s,t))\), such that \(\phi |_{(s_0-\varepsilon ,s_0+\varepsilon )\times (t_0-\varepsilon , t_0)}\) is \(C^2\) and timelike with bounded mean curvature. Suppose that \(\phi \) is null at the point \((s_0,t_0)\), i.e. \(\mathrm {Im}(\hbox {d}\phi _{(s_0,t_0)})\) is a null plane in \(\mathbb {R}^{1+2}\). Then the curvature of the (planar) curves \(\gamma (\cdot , t)\) blows up as \(t\nearrow t_0\), and \(\phi \) is not \(C^2\).
Remark 1.6
In fact, we deduce Theorem 1.5 from a stronger result which gives the precise rate of curvature blow-up in an \(L^1 L^{\infty }\) norm. Moreover, whilst Theorem 1.5 assumes the case that the limit curve at singularity is \(C^1\), this blow-up rate holds without assuming any structure of the singularity. See Proposition 4.1 for precise details.
Theorem 1.5 rules out (in all cases) the possibility of a \(C^2\) causal extension of the Cauchy evolution beyond singular time. However, one may still ask whether there exists a \(C^1\) causal extension. A complete answer to this question, independent of gauge, is currently out of reach. Nonetheless, we will proceed to consider one well-known extension beyond singular time: by solving the maximal surface equations globally in isothermal gauge (a construction somewhat analogous to the Weierstrass representation for minimal surfaces in \(\mathbb {R}^3\)) [17, Chap. 8], [20, Chap. 7].
Let us briefly recall the method of isothermal gauge. Since we are now concerned with the prospect of less regular maximal surfaces, it is natural to consider less regular initial data \((\mathcal {C},V)\) (other weak notions of solution have been considered by Belletini et al. [4] and Brenier [6]). Let \(\mathcal {C}:\mathbb {R}\rightarrow \{x^0=0\}\subseteq \mathbb {R}^{1+2}\) be a \(C^k\) proper immersion, \(k\ge 1\), and let V be a \(C^{k-1}\) future-directed timelike vector field along \(\mathcal {C}\). One may construct a proper \(C^k\) map \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) of the form \(\phi (s,t)=(t,\gamma (s,t))\), where \(\gamma \) satisfies (in the weak sense if \(k=1\)) the system of equations \(\langle \gamma _s,\gamma _t\rangle =0\), \(|\gamma _s|^2+|\gamma _t|^2=1\), \(\gamma _{tt}-\gamma _{ss}=0\), such that \(\mathrm {Im}(\phi (\cdot ,0))=\mathrm {Im}(\mathcal {C})\) and \(\Sigma =\phi (\mathbb {R}^2)\) is tangent to V along \(\mathcal {C}\). \(\phi \) defines a \(C^k\) timelike maximal immersion on \(\mathbb {R}^2{\setminus }\mathcal {K}_{\mathrm {sing}}\) where \(\mathcal {K}_{\mathrm {sing}}= \{ (s,t) :\gamma _s(s,t)=0\}\) and \(\Sigma \) gives a \(C^k\) timelike maximal surface away from \(\Sigma _{\mathrm {sing}}=\phi (\mathcal {K}_{\mathrm {sing}})\). For every \(p\in \Sigma _{\mathrm {sing}}\) either \(\Sigma \) fails to be a \(C^1\) surface in a neighbourhood of p or \(\Sigma \) is a \(C^1\) surface in a neighbourhood of p but is null at p. See Sect. 5.1 for more details.
From Theorems 1.1 and 1.5 it follows that if \(U_0(\mathcal {C})\) contains a closed semi-circle, then \(\Sigma \) cannot be a \(C^2\) immersed surface (see Corollary 5.6). There are (non-generic) cases however where \(\Sigma \) is \(C^1\) immersed. Indeed, in Example 5.13 we present a curve \(\mathcal {C}\) for which \(U_0(\mathcal {C})\) is exactly a closed semi-circle and show that an evolution by isothermal gauge of \(\mathcal {C}\) yields a \(C^1\) embedded surface which is a smooth timelike maximal surface away from a pair of null half-lines. This surface contains non-graphical compact sets (compare Theorem 1.1). It turns out, however, that the situation of Example 5.13 is borderline. We prove:
Theorem 1.7
Let \(\phi :\mathbb {R}^2\rightarrow \mathbb {R}^{1+2}\), \(\phi (s,t)=(t,\gamma (s,t))\), be a \(C^1\) evolution for a maximal surface by isothermal gauge, as described above, and write \(U_0:\mathbb {R}\rightarrow S^1\) for the unit tangent vector along the initial curve \(\gamma (\cdot ,0)\). Suppose that \(\mathrm {Im}(U_0)\) contains an arc of length \(>\pi \) (for example if \(\gamma (\cdot ,0)\) is self-intersecting). Then there exists a time \(t_*\in \mathbb {R}\) such that: either \(\mathrm {Im}(\gamma (\cdot ,t_*))\) is not a \(C^1\) immersed curve; or \(\mathrm {Im}(\gamma (\cdot ,t_*))\) is a \(C^1\) immersed curve, but the spatial unit tangent \(U(\cdot ,t_*) = \nicefrac {\gamma _s(\cdot ,t_*)}{|\gamma _s(\cdot ,t_*)|}\) (defined only on the set \(\{s :\gamma _s(s,t_*)\ne 0\}\)) admits no extension to a continuous unit tangent vector field along \(\gamma (\cdot ,t_*)\).
In most cases, the discontinuity of the spatial unit tangent corresponds to the curve \(\gamma (\cdot ,t_*)\) failing to be \(C^1\). Eggers and Hoppe [9] introduced the swallowtail singularity, whereby the first singularity is a \(C^{1,\nicefrac {1}{3}}\) curve which immediately splits off into a twin pair of travelling cusps. This picture was shown to be (in some sense) generic, for sufficiently regular initial data, by Nguyen and Tian [16, Sect. 3]. There exist, however, non-generic cases whereby the discontinuity of the unit tangent does not imply a regular cusp, and it is possible that the unit tangent admits no continuous extension along \(\gamma (\cdot ,t_*)\), whilst \(\mathrm {Im}(\gamma (\cdot ,t_*))\) is a \(C^1\) immersed curve, see Example 5.18. Although we have no example where such a degenerate situation occurs whilst the surface \(\phi (\mathbb {R}^2)\) remains \(C^1\), we don’t rule this out.
Finally, we note that Theorem 1.1 fails for timelike maximal surfaces in \(\mathbb {R}^{1+n}\) for \(n\ge 3\). Nguyen and Tian gave an example of a smooth, proper, timelike maximal immersion \(\phi :S^1\times \mathbb {R}\rightarrow \mathbb {R}^{1+3}\) [16, Appendix], and it was conjectured that generic closed curves do not evolve to singularities in higher codimension. This conjecture was confirmed by Jerrard et al. [11] who showed that when \(n\ge 4\), generic closed curves with generic initial velocity will evolve to a globally regular surface, whilst in the borderline case \(n=3\) there are distinct, non-empty open sets of initial data leading to both regular surfaces and singular surfaces, respectively. It is simple to see how the example of [16, Appendix] may be adapted to give a smooth proper self-intersecting timelike maximal immersion \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+3}\) and it would be interesting to obtain similar results to [11] for open curves.
Structure of the Paper In Sect. 2 we introduce the timelike maximal surface equations, and give a construction of global isothermal coordinates on any properly immersed timelike maximal surface (Lemma 2.2). In Sect. 3 we prove Theorem 1.1 and give examples of both graphical and non-graphical timelike maximal surfaces. In Sect. 4 we prove Theorem 1.5, and we discuss in a bit more detail the rate of curvature blow-up (see Proposition 4.1 and Example 4.2). Section 5 is then devoted to analysis in isothermal gauge. In Sect. 5.1 we recall the isothermal gauge construction and gather some known results. In Sect. 5.2 we give further analysis of the solution by isothermal gauge. In particular we present local and global existence results which are notable in that they require no decay on the initial data at infinity (Corollary 5.12 and Remark 5.9) and we give localized singularity statements to complement Theorem 1.1 (Proposition 5.4 and Corollary 5.6). In Sect. 5.3 we give examples illustrating some possible (non-generic) singular behaviours, including \(C^1\) properly embedded surfaces containing non-graphical compact sets which are smooth timelike maximal surfaces away from a pair of null half-lines (Example 5.13), and \(C^1\) properly embedded graphical (but not \(C^1\) graphical) periodic surfaces which are smooth timelike maximal surfaces away from a discrete lattice of null points (Example 5.14). In Sect. 5.4 we give the proof of Theorem 1.7, and we also present some more examples of possible non-generic singular behaviours (Examples 5.17 and 5.18).
2 Preliminaries
In this section we will first give a brief recap of the maximal surface equations. We will then present a straightforward adaptation of the construction of global isothermal coordinates which was given by Belletini et al. [3], for a spatially compact timelike maximal surface, to the spatially non-compact case. We note that another construction of global isothermal coordinates is given in [17, Chap. 7].
2.1 Maximal Surface Equations
Let \(x=(x^0,x^1,x^2)\) denote standard (i.e. inertial) coordinates on \(\mathbb {R}^{1+2}\), so that the Minkowski metric is \(\eta = -(dx^0)^2 + (dx^1)^2 + (dx^2)^2\). Let \(\Omega \subseteq \mathbb {R}^2\) be an open subset and \(\phi :\Omega \rightarrow \mathbb {R}^{1+2}\) be a \(C^1\) immersion. We write \(\phi ^\alpha = x^\alpha \circ \phi \) for the expression of \(\phi \) in coordinates, \(\alpha =0,1,2\), and denote the image of \(\phi \) by \(\Sigma =\mathrm {Im}(\phi )\). The metric g induced by \(\phi \) is the bilinear form \(g_p :T_p\mathbb {R}^2 \times T_p\mathbb {R}^2 \rightarrow \mathbb {R}\) given by \(g_p(X,Y)=\eta (\hbox {d}\phi _p(X), \hbox {d}\phi _p(Y))\).
For each \(p\in \mathbb {R}^2\), recall that \(\phi \) is timelike at p if \(\det (g_p)<0\), \(\phi \) is null at p if \(\det (g_p)=0\), \(\phi \) is spacelike if \(\det (g_p)>0\), and \(\phi \) is causal at p if \(\phi \) is either timelike or null at p. We say that \(\phi \) is timelike (resp. causal) if it is timelike (resp. causal) at every point p. In the case that \(\phi \) is timelike at p, there exists a choice of unit spacelike normal vector N(p), and we have a direct sum decomposition of the tangent space which is orthogonal with respect to \(\eta \),
Let (s, t) denote coordinates on \(\Omega \subseteq \mathbb {R}^2\). For every compact subset \(V\subseteq \Omega \), define the area of \(\phi (V)\) as
The area of \(\phi (V)\) is independent of the choice of coordinates (s, t) on V. The Euler–Lagrange equations associated to the area functional \(\mathcal {A}\) are
having adopted the summation convention. We say that a \(C^1\) immersion \(\phi \) is maximal if it satisfies (1) in the weak sense. When \(\phi \) is a \(C^2\) timelike immersion, (1) is equivalent to \({H}(\phi )=0\), where \({H}\) is the mean-curvature vector of \(\phi (\Omega )\).
(1) is independent of the choice of coordinates, so if \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) is a smooth solution to (1) and \(\psi :\mathbb {R}^2 \rightarrow \mathbb {R}^2\) is a smooth diffeomorphism, then \(\phi '=\phi \circ \psi \) also solves (1). (1) is also invariant under rescaling of \(\mathbb {R}^{1+2}\), as well as the isometries of \(\mathbb {R}^{1+2}\). For a timelike immersion, with respect to a system of isothermal coordinates, (1) reduces to the wave equation
2.2 Construction of Isothermal Coordinates
Lemma 2.1
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be a smooth, proper, timelike immersion. Then there exists a smooth diffeomorphism \(\psi :\mathbb {R}^2 \rightarrow \mathbb {R}^2\) such that \(\phi '=\phi \circ \psi \) is of the form \(\phi '(s,t) = (t, \gamma ^1(s,t), \gamma ^2(s,t))\) where \(\gamma =(\gamma ^1,\gamma ^2)\) satisfies \(|\gamma _s|^2=1\).
Lemma 2.2
(Existence of global isothermal coordinates). Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be a smooth, proper, timelike immersion with vanishing mean curvature. Then there exists a smooth diffeomorphism \(\psi :\mathbb {R}^2 \rightarrow \mathbb {R}^2\) such that \(\phi '=\phi \circ \psi \) is of the form \(\phi '(s,t) = (t, \gamma ^1(s,t), \gamma ^2(s,t))\) where \(\gamma =(\gamma ^1,\gamma ^2)\) satisfies
Proof of Lemma 2.1
The proof is a standard argument exploiting the fact that \(\phi ^0\) is a Morse function. Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be a smooth, proper, timelike immersion. For each \(t\in \mathrm {Im}(\phi ^0)\) write
Since \(\phi \) is timelike, \(\phi ^0\) can have no critical points. Thus \(C_t\) is a smooth submanifold of \(\mathbb {R}^2\) for all \(t\in \mathrm {Im}(\phi ^0)\) by the implicit function theorem.
Let \(g=\phi ^*\eta \) be the induced Lorentzian metric on \(\mathbb {R}^2\), and let \(X=\nabla _g\phi ^0\), which is a smooth, nowhere-vanishing vector field on \(\mathbb {R}^2\). \(\phi (C_t)=\mathrm {Im}(\phi ) \cap \{ x^0=t \}\) is spacelike, so with respect to g, the submanifolds \(C_t\) are spacelike, and thus X is a timelike vector field orthogonal to the submanifolds \(C_t\).
Define \(T = \frac{1}{g(X,X)} X\), and consider the flow of T. Let \(p\in \mathbb {R}^2\), and let \(\xi _p :(a,b) \rightarrow \mathbb {R}^2\), be the smooth, inextendible integral curve of T through p, so \(\frac{\hbox {d} \xi _p}{\hbox {d} s} (s)= T(\xi _p(s))\) and \(\xi _p(0)=p\). Then \(\frac{\hbox {d}}{\hbox {d} s} \left( \phi ^0(\xi _p(s)) \right) = (\hbox {d} \phi ^0 )_{\xi _p(s)}(T(\xi _p(s))) =1\) and so
We claim that \(b=\infty \) and \(a=-\infty \). Indeed, suppose we had \(b<\infty \). Since the curve \(\xi _p\) is timelike, and by (5), then \(\phi (\xi _p([0,b)))\) would lie in the intersection of the time slab \(0\le t \le b\) with the future-directed light cone with vertex at the point \(\phi (p)\), i.e. those points \((x^0,x^1,x^2)\in \mathbb {R}^3\) such that
which is a compact set. Since \(\phi \) is a proper map, it would follow that the curve \(\xi _p([0,b))\) would lie in a compact set. As T is smooth, it would then follow that \(\xi _p\) could then be smoothly extended up to \(s=b\), contradicting inextensibility of \(\xi _p\). So \(b=\infty \) and similarly \(a=-\infty \).
From (5), it is seen that the flow \(p\mapsto \xi _p(t)\) maps \(C_0\) diffeomorphically onto \(C_t\) for each t, thus we have shown \(\mathrm {Im}(\phi ^0)=\mathbb {R}\), and we have a foliation of \(\mathbb {R}^2\) given by smooth curves \(C_t\) for \(t\in \mathbb {R}\). We claim that each \(C_t\) is connected. Indeed, for \(p,q\in C_0\), let \(\omega :[0,1] \rightarrow \mathbb {R}^2\) be a continuous path with \(\omega (0)=p\), \(\omega (1)=q\). Define \(\hat{\omega }(s)=\xi _{\omega (s)}(-\phi ^0(\omega (s)))\), so \(\hat{\omega }(s)\in C_0\) for all \(s\in [0,1]\) by (5), and \(\hat{\omega }\) is a continuous path with \(\hat{\omega }(0)=p\) and \(\hat{\omega }(1)=q\). Thus \(C_0\) and hence each \(C_t\) is connected.
Let \(C_0\) be given some parameterization as \(C_0(s)\) for \(s\in (-\infty , \infty )\), and define \(\psi :\mathbb {R}^2 \rightarrow \mathbb {R}^2\) by
By the group property of the flow, it is seen that \(\psi \) gives a bijection. Standard results on smooth dependence on initial conditions for ODE show that \(\psi \) gives a smooth map, and since T is nowhere vanishing and orthogonal to \(C_0\) we have \(\det (\hbox {d}\psi )(s,0)\ne 0\) and so it follows \(\det (\hbox {d}\psi )(s,t)\ne 0\) for all \((s,t)\in \mathbb {R}^2\), see eg. [7, Chap. 1]. Thus \(\psi \) is a diffeomorphism, and we have \(\phi '=\psi \circ \phi \) satisfies \(\phi '(s,t) = (t, \gamma ^1(s,t), \gamma ^2(s,t))\). Finally, since \(\phi \) is proper, it follows that \(|\gamma (s,t)|^2 \rightarrow \infty \) as \(s \rightarrow \pm \infty \) for each t. Thus we may pass to an arclength reparameterization for each t to ensure the condition \(|\gamma _s(s,t)|^2 =1\). \(\square \)
Proof of Lemma 2.2
By applying Lemma 2.1, we may assume that \(\phi \) is of the form
where \(|\gamma _s|^2=1\). Since \(\phi \) is timelike, we have the bound \(|\gamma _t|^2 <1\).
Now, let \(s'=s'(s,t)\), \(t'=t\) denote a smooth coordinate change, with \(\frac{\partial s'}{\partial s} >0\), and set \(\gamma '(s', t')=\gamma (s,t)\). We will choose these new coordinates so that
By the chain rule:
Substituting expressions (7) and (8), and observing \(|\gamma _s|^2=1\), we see that (6) will be satisfied provided
This is a linear transport equation, and may be solved by the method of characteristics. The solution \(s'\) is constant along characteristic curves (s(t), t), where the s(t) are solutions to
Since the right-hand side of (10) is smooth, and since we have the a-priori bound
smooth solutions to (10) exist for all \(t\in \mathbb {R}\), and for each \((s_0,t_0)\), there exists a unique characteristic through \((s_0,t_0)\) which crosses through the line \(\{t=0\}\) precisely once. Thus for any smooth function \(\rho :\mathbb {R}\rightarrow \mathbb {R}\), there is a unique smooth solution \(s'\) to (9) satisfying the Cauchy data
The choice of Cauchy data \(\rho \) will be fixed later. For now, observe that that the condition \(\frac{\partial s'}{\partial s} > 0\) is equivalent to
and, by the uniform bound on the characteristic speed (11), we have \(s'(s,t) \rightarrow \pm \infty \) as \(s\rightarrow \pm \infty \) for each t provided
as \(s \rightarrow \pm \infty \). A smooth diffeomorphism \(\psi :\mathbb {R}^2 \rightarrow \mathbb {R}^2\) is thus well defined by \(\psi ^{-1}(s,t)=(s'(s,t),t)\) provided \(\rho \) is chosen so that (12) and (13) hold.
We have now verified (6) (which is (2) in the \((s',t')\) coordinates), and we proceed to show that \(\rho \) may be selected satisfying (12) and (13), so as to ensure (3) and (4). From (1), the maximal surface equations read
Since the metric in the new coordinates is
the first of these reads
which is equivalent to \({|\gamma '_{s'}(s',t')|^2}=K(s')^2({1- |\gamma '_{t'}(s',t')|^2})\). Thus the condition
will follow provided \(\rho (s)\) is chosen such that \(|\gamma '_{s'}(s',0)|^2+|\gamma '_{t'}(s',0)|^2=1\) (i.e. \(K(s')^2=1\)). From (7), (8) and (9) we have
which equals 1 provided
Since \(\phi \) is timelike, this ensures (12) and moreover by the bound
we see
as \(s \rightarrow \pm \infty \), which is (13). We have ensured (2) and (3), and as the metric now reads
the equation \(\gamma '_{t't'} -\gamma '_{s's'}=0\) follows from (15). This completes the proof. \(\square \)
3 Embeddedness of Maximal Surfaces
In this section we give the proof of Theorem 1.1, as well as examples of both graphical and non-graphical timelike maximal surfaces. The latter examples show that the restriction to compact subsets in Theorem 1.1 cannot be relaxed in general.
3.1 Proof of Theorem 1.1
In light of Lemma 2.2, consider a smooth, proper, timelike immersion \(\phi :\mathbb {R}^2\rightarrow \mathbb {R}^{1+2}\) of the form
where \(\gamma =(\gamma ^1, \gamma ^2)\) satisfies
Define
so that \(|a_\pm (s)|^2 =1\) by (17), (18). \(a_\pm \) give the spatial directions of the outgoing and incoming null tangent vectors to \(\phi (\mathbb {R}^2)\) along the initial curve \(\phi (\cdot , 0)\). The following Lemma shows that the images of the outgoing and incoming null directions must be disjoint for a smooth, timelike, properly immersed maximal surface.
Lemma 3.1
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be a smooth, proper, timelike immersion of the form (16), where \(\gamma \) satisfies (17)–(19) and define \(a_\pm \) by (20). Then \(a_+(\xi ) \ne a_-(\eta )\) for all \(\xi , \eta \in \mathbb {R}\).
Proof
Since \(\gamma \) satisfies the wave equation (19), we have d’Alembert’s formula
Differentiating gives
Since \(\phi \) is an immersion, \(\gamma _s(s,t)\ne 0\) for all \((s,t)\in \mathbb {R}^2\), and thus \(a_+(\xi )\ne a_-(\eta )\) for all \(\xi ,\eta \in \mathbb {R}\). \(\square \)
Lemma 3.2
Let \(M>0\) and let \(a_\pm :[-M,M] \rightarrow \mathbb {R}^2\) be smooth functions satisfying \(|a_\pm |^2=1\) and \(a_+(\xi )\ne a_-(\eta )\) for all \(\xi ,\eta \in [-M,M]\). Then there exists \(\omega \in \mathbb {R}^2\), \(|\omega |^2=1\), such that
for all \(\xi ,\eta \in [-M,M]\).
Proof
\(A=\mathrm {Im}(a_+)\) is a non-empty, connected, closed, proper subset of \(S^1\), so we may write
Defining \(\omega = (\cos \frac{\alpha _1+\alpha _2}{2}, \sin \frac{\alpha _1+\alpha _2}{2})\), it follows from trigonometry that \(\langle a, \omega \rangle > \langle b, \omega \rangle \) for all \(a\in A\), \(b \in S^1{\setminus } A\). Since it is assumed \(\mathrm {Im}(a_-) \subseteq S^1{\setminus } A\), the claim is proved. \(\square \)
We now have the tools to hand to prove Theorem 1.1.
Proof of Theorem 1.1
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be a smooth, proper, timelike immersion with vanishing mean curvature. By Lemma 2.2, we may take \(\phi \) to be of the form \(\phi (s,t)=(t,\gamma (s,t))\) where \(\gamma \) satisfies (17)–(19).
Let \(M>0\) and define the characteristic diamond
To prove the theorem, we will show that \(\phi |_{D_M}\) is injective and \(\phi (D_M)\) is a smooth graph over a timelike plane \(P_M\). Since M is arbitrary, from this it will follow that \(\phi \) is injective, and thus an embedding. Since \(\phi \) is proper, given any compact subset \(K \subseteq \phi (\mathbb {R}^2)\), we may choose M sufficiently large such that \(K\subseteq \phi (D_M)\), so that K will be a smooth graph over the plane \(P_M\).
Defining \(a_\pm \) as in (20), by Lemma 3.1 we have that \(a_+(\xi )\ne a_-(\eta )\) for all \(\xi , \eta \in \mathbb {R}\). So by Lemma 3.2 there exists \(\omega _M \in \mathbb {R}^2\), \(|\omega _M|^2=1\), such that
for all \(\xi ,\eta \in [-M,M]\). From (22), it follows
for all \((s,t) \in D_M\).
From (25) it is now routine to show that \(\phi |_{D_M}\) is an embedding and there is a timelike plane \(P_M\subseteq \mathbb {R}^{1+2}\) such that \(\phi (D_M)\) is a smooth graph over \(P_M\), but we will go through the argument for completeness. Rotating coordinates on \(\mathbb {R}^{1+2}\) as necessary, we may assume for convenience that \(\omega _M=(1,0)\). Then, in the new coordinates, keeping the same notation for the parameterisation, (25) reads
for all \((s,t) \in D_M\). Let \(P_M\) be the \(x^0\)–\(x^1\) plane in these new coordinates.
Write \(D'_M=\{(t,\gamma ^1(s,t)) :(s,t)\in D_M\}\subseteq \mathbb {R}^2\), and let \(F:D_M \rightarrow D'_M\) be given by \(F(s,t)=(t,\gamma ^1(s,t))\). From (26) it follows by monotonicity that F is bijective, and moreover by the inverse function theorem that F is a smooth diffeomorphism. Inverting F as \(F^{-1}(x^0,x^1)=(s(x^0,x^1), t(x^0,x^1))\) gives
so we have shown \(\phi (D_M)\) is a smooth graph over the \(x^0\)–\(x^1\) plane. Moreover, it follows from (27) that \(\phi \circ F^{-1} :D'_M \rightarrow \mathbb {R}^{1+2}\) is injective, so \(\phi |_{D_M}\) is injective. This completes the proof. \(\square \)
3.2 Examples of Graphical and Non-graphical Smooth Properly Embedded Timelike Maximal Surfaces
Example 3.3
(Smooth, properly embedded, graphical timelike maximal surfaces). Let \(f:\mathbb {R}\rightarrow \mathbb {R}\) be any smooth function, and let \(G=\{(u,f(u)) :u\in \mathbb {R}\} \subseteq \mathbb {R}^2 \) be the graph of f. Let \(c:\mathbb {R}\rightarrow \mathbb {R}^2\) be a smooth parameterization of G by arclength, so that \(\mathrm {Im}(c)=G\) and \(|\dot{c}(s)|=1\). Define \(\gamma (s,t)=\frac{1}{2} \left( c(s+t) + c(s-t) \right) \) and \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) by \(\phi (s,t) = (t, \gamma (s,t))\). It may be checked that \(\phi \) defines a smooth, proper, timelike embedding with vanishing mean curvature, and \(\phi (\mathbb {R}^2)\) is a smooth graph over the \(x^0\)–\(x^1\) plane with \(\phi (\mathbb {R}^2)\cap \{x^0=0\}=G\).
Example 3.4
(Smooth, properly embedded, doubly periodic graphical timelike maximal surfaces). Let \(f:\mathbb {R}\rightarrow \mathbb {R}\) be a smooth function such that \(f(0)=0\), and \(f(u)=f(u+1)\) for all \(u\in \mathbb {R}\) (i.e. f is periodic). As in Example 3.3, let \(c :\mathbb {R}\rightarrow \mathbb {R}^2\) parametrize the graph of f by arclength, and define \(\gamma (s,t)=\frac{1}{2} \left( c(s+t) + c(s-t) \right) \) and \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) by \(\phi (s,t) = (t, \gamma (s,t))\).
Note that \(c(s+L)=c(s)+(1,0)\), where L is the length of one period of f. Necessarily \(L\ge 1\) with equality if and only if \(f\equiv 0\) (i.e. if and only if the graph of f is a straight line). Then observe that \(\phi (s+L,t)=\phi (s,t)+(0,1,0)\), and \(\phi (s,t+L)=\phi (s,t)+(L,0,0)\). Thus defining \(T:\mathbb {R}^{1+2} \rightarrow \mathbb {R}^{1+2}\) by \(T(x^0,x^1,x^2)=(x^0+L, x^1,x^2)\) for a translation in time, and \(R :\mathbb {R}^{1+2} \rightarrow \mathbb {R}^{1+2}\) by \(R(x^0,x^1,x^2)=(x^0,x^1+1,x^2)\) for a translation in space, we see \(\phi (\mathbb {R}^2)\) is invariant under both T and R. Thus \(\phi (\mathbb {R}^2)\) is periodic in the direction (1, 0, 0) with period L, and periodic in the direction (0, 1, 0) with period 1.
By acting on \(\phi (\mathbb {R}^2)\) by a combination of a rescaling and a Lorentz transformation, it may be seen that, for any timelike vector \(V\in \mathbb {R}^{1+2}\), and spacelike vector \(W\in \mathbb {R}^{1+2}\) orthogonal to V, and for any pair of numbers (a, b) with \(a>b\), one may obtain smooth, non-planar, graphical timelike maximal surfaces which are periodic in the direction V with period a, and periodic in the direction W with period b.
Example 3.5
(Smooth, properly embedded, non-graphical timelike maximal surfaces). Let \(c:\mathbb {R}\rightarrow \mathbb {R}^2\) be a parametrisation of a smooth curve by arclength such that the following hold:
-
1.
\(c(s)=(0,-s)\), for \(s\in (-\infty ,-1]\),
-
2.
\(\dot{c}^1(s)>0\) for \(s\in (-1,\infty )\),
-
3.
as \(s\rightarrow \infty \), \(\dot{c}(s) \rightarrow (0,1)\).
See Fig. 1 for a rough illustration of such a curve. Every compact subset K of \(\mathrm {Im}(c)\) is a smooth graph, but \(\mathrm {Im}(c)\) is not a smooth graph.
Define \(\gamma (s,t)=\frac{1}{2} \left( c(s+t) + c(s-t) \right) \) and \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) by \(\phi (s,t) = (t, \gamma (s,t))\). Then \(\phi \) defines a smooth, proper, timelike embedding with vanishing mean curvature. For every compact subset \(K\subseteq \phi (\mathbb {R}^2)\), there is a timelike plane \(P\subseteq \mathbb {R}^{1+2}\) such that K is a smooth graph over P, which is consistent with Theorem 1.1. We now claim that \(\phi (\mathbb {R}^2)\) is not a graph. To see this, observe that \(\phi (s,t)=(t,0,-s)\) for \(s\le -1-|t|\), so \(\phi (\mathbb {R}^2)\) contains a closed quadrant \(\bar{Q}=\{(t,0,-s):s\le -1-|t|\}\) of the plane \(\{x^1=0\}\). For all \(t\in \mathbb {R}\), the curve \(s\mapsto \phi (s,t)\) asymptotes to the plane \(\{x^1=1\}\) as \(s\rightarrow \infty \). It then follows that for every point q in the interior of \(\bar{Q}\), every straight line in \(\mathbb {R}^{1+2}\) through q intersects \(\phi (\mathbb {R}^2)\) at at least 2 distinct points. Thus \(\phi (\mathbb {R}^2)\) is not a graph.
In this example, the image of the unit normal \(N(\phi (\mathbb {R}^2))\) is not contained in any open hemi-hyperboloid, but is contained in the union of an open hemi-hyperboloid with one connected component of its boundary.
4 \(C^2\) Inextendibility: Proof of Theorem 1.5
For the rest of this article, we will be concerned with the question of whether it is possible to relax the notion of a maximal surface, either by allowing for surfaces which are \(C^k\) for some \(k\ge 1\), or by allowing for null points (i.e. degenerate hyperbolicity), in such a way as to continue beyond singular time in a Cauchy evolution.
Our first result in this direction will be that, if the evolution fails to remain timelike, then the maximal surface must fail to be \(C^2\) immersed. In fact, we will deduce this from a broader observation which holds for more general evolutions of surfaces of only bounded mean curvature.
Proposition 4.1
Let \(\Omega \subseteq \mathbb {R}^2\) be an open bounded set such that for some \((s_0,t_0)\in \mathbb {R}^2\) and some \(\varepsilon >0\), one has \(\{s_0\}\times [t_0-\varepsilon ,t_0) \subseteq \Omega \) and \((s_0,t_0)\in \partial \Omega \). Let \(\phi :\bar{\Omega } \rightarrow \mathbb {R}^{1+2}\) be a \(C^1\) map such that \(\phi |_\Omega \) is a \(C^2\) timelike immersion, and such that \(\phi \) is of the form \(\phi (s,t)=(t,\gamma (s,t))\), where \(\gamma \) satisfies \(\langle \gamma _s(s_0,t) ,\gamma _t (s_0,t) \rangle =0\) for \(t\in [t_0-\varepsilon ,t_0)\). Write h for the mean curvature scalar of \(\phi \), and \(k(\cdot ,t)\) for the curvature of the (planar) curves \(\gamma (\cdot , t)\). Suppose \(|h(s,t)|\le C\) for \((s,t)\in \Omega \), and \(|\gamma _t(s_0,t_0)|^2=1\) (so if \(\phi \) is an immersion, then \(\phi \) is null at \((s_0,t_0)\)). Then
In particular, \(\limsup _{t\nearrow t_0}|k(s_0,t)| = \infty \).
Proof
By taking \(\varepsilon \) sufficiently small, we may ensure that \(|\gamma _t(s,t)|^2>0\) for \((s,t)\in \Omega \cap B_\varepsilon (s_0,t_0)\). It may then be seen that a spacelike unit normal vector N to \(\phi (\Omega \cap B_\varepsilon (s_0,t_0))\) is given along \(\{s_0\}\times [t_0-\varepsilon ,t_0)\) by
where
is a unit normal to the planar curve \(\gamma (\cdot ,t)\) at the point \(s=s_0\).
The curvature of the cross sections \(\gamma (\cdot ,t)\) is given at \(s=s_0\) by
Along \(\{s_0\}\times [t_0-\varepsilon ,t_0)\), the components of the first fundamental form \(E(s,t)\hbox {d}s^2+2F(s,t)\hbox {d}s\hbox {d}t+G(s,t)\hbox {d}t^2\) are calculated as
and the components of the second fundamental form \(e(s,t)\hbox {d}s^2+2f(s,t)\hbox {d}s\hbox {d}t+g(s,t)\hbox {d}t^2\) are
The mean curvature scalar is
and rearranging (29) gives the identity
Next we claim that
To show (31), write \(\mu (t)=|\gamma _t(s_0,t)|^2\), so that
We have by assumption \(\mu (t)\nearrow 1\) as \(t\nearrow t_0\), so
from which (31) follows.
As \(|h(s,t)|\le C\), (28) then follows from (30) and (31) and the Proposition is proved. \(\square \)
Example 4.2
(Shrinking circle). Define \(\phi :S^1 \times (-\frac{\pi }{2},\frac{\pi }{2}) \rightarrow \mathbb {R}^{1+2}\) by \(\phi (s,t) = (t, \gamma (s,t))\), where
Then one may compute \(h(s,t)=0\), and \(\phi \) is a timelike maximal immersion. In addition, \(\langle \gamma _s,\gamma _t\rangle =0\) (the parameterization is orthogonal) and \(|\gamma _t(s,t)|^2\nearrow 1\) as \(t\nearrow \frac{\pi }{2}\). Observe \(|k(s,t)|=|\cos t|^{-1}\), and \(\int _0^{\frac{\pi }{2}} |k(s,t)| \hbox {d}t = \infty \) for all s, which is consistent with (28). For this example, we may study the rate of blow-up in more detail. The element of arclength along \(\gamma (\cdot ,t)\) is \(\hbox {d}\sigma (s) = |\cos t| \hbox {d}s \), thus for \(p,q\in (1,\infty )\), one has
and
The shrinking circle is \(C^1\) inextendible beyond the singular time \(\frac{\pi }{2}\) (in fact, the maximal extension of \(\phi \left( (S^1 \times (-\frac{\pi }{2},\frac{\pi }{2})\right) \) to a \(C^0\) submanifold of \(\mathbb {R}^{1+2}\) is given by taking the closure of \(\phi \left( S^1 \times (-\frac{\pi }{2},\frac{\pi }{2})\right) \) i.e. by attaching one point at \(x^0=\frac{\pi }{2}\) and one at \(x^0=-\frac{\pi }{2}\)). In Sect. 5.3, we will see examples where the evolution is \(C^2\) inextendible, but \(C^1\) extendible.
Proof of Theorem 1.5
Let \(\phi :(s_0-\varepsilon , s_0+\varepsilon ) \times (t_0-\varepsilon , t_0] \rightarrow \mathbb {R}^{1+2}\), \(\phi (s,t)=(t, \gamma ^1(s,t), \gamma ^2(s,t))\), be a \(C^1\) immersion which is a \(C^2\) timelike immersion with bounded mean curvature on \((s_0-\varepsilon ,s_0+ \varepsilon ) \times (t_0-\varepsilon , t_0)\), and which is null at the point \((s_0,t_0)\). For a sufficiently small \(\varepsilon _0\in (0,\varepsilon )\), let \(r :[t_0-\varepsilon _0, t_0] \rightarrow \mathbb {R}\) be a solution to the terminal value problem
which satisfies \(|r(t)-s_0|<\frac{\varepsilon }{2}\) for all \(t\in [t_0-\varepsilon _0, t_0]\) (such a solution exists by the Peano existence theorem). We have \(r\in C^2([t_0-\varepsilon _0,t_0)) \cap C^1([t_0-\varepsilon _0,t_0])\).
Define \(\Omega = (-\varepsilon _0,\varepsilon _0) \times (t_0-\varepsilon _0,t_0)\). Let \(\phi ' :\bar{\Omega } \rightarrow \mathbb {R}^{1+2}\), \(\phi '(s',t')=(t',\gamma '^1(s',t'),\gamma '^2(s',t'))\) where \(\gamma '=(\gamma '^1, \gamma '^2)\) is given by \(\gamma '(s',t') = \gamma (r(t')+s',t')\). Then \(\phi '\) is a \(C^1\) immersion which is a \(C^2\) timelike immersion with bounded mean curvature on \(\Omega \), and \(\phi '(0,t_0)=\phi (s_0,t_0)\). By the chain rule,
so by construction we have
for \(t'\in (t_0-\varepsilon _0,t_0)\). As \(\phi '\) is null at \((0,t_0)\), it may be seen that \(|\gamma '_{t'}(0,t_0)|^2=1\). So since \(|h(s',t')|\le C\) for \((s',t')\in \Omega \), we see \(\phi '\) satisfies the conditions for Proposition 4.1, so
where \(k(\cdot ,t')\) is the curvature of the planar cross sections \(\gamma '(\cdot , t')\). Thus the curvatures of the curves \(\gamma (\cdot ,t)\) are not uniformly bounded for \(t\in [t_0-\varepsilon ,t_0]\), so \(\phi \) is not \(C^2\). \(\square \)
5 Evolution Beyond Singular Time by Isothermal Gauge
As is well documented in the physics literature, see, e.g. [20, Chap. 7], one global notion of Cauchy evolution, which defines a timelike maximal surface away from some possible singular set, may be given for arbitrary initial data by solving the maximal surface equations in isothermal gauge. In fact, we have already encountered this construction in Examples 3.3–3.5 and 4.2.
In Sect. 5.1 we will recall how to evolve by isothermal gauge. In Sect. 5.2 we will prove some results on bounds for the singular set, including a criterion (in terms of only the initial curve) for determining whether the singular set is non-empty in some localized patch, as well as a result of short-time existence. In Sect. 5.3, we will present some examples whereby the evolution by isothermal gauge yields \(C^1\) embedded surfaces which are non-graphical (these examples are interesting in light of Theorem 1.1). Finally, in Sect. 5.4, we will address the question of for which initial data sets the isothermal gauge yields a \(C^1\) immersed surface, and prove Theorem 1.7 which demonstrates an obstruction to constructing \(C^1\) immersed surfaces by isothermal gauge which are not embedded.
5.1 Evolution by Isothermal Gauge
Let \(\mathcal {C}:\mathbb {R}\rightarrow \mathbb {R}^{1+2}\), be a \(C^k\), \(k\ge 1\), proper immersion of the form
and let V be a \(C^{k-1}\), future-directed, timelike vector field along \(\mathcal {C}\). We refer to the pair \((\mathcal {C},V)\) as the initial data.
We will construct a surface \(\Sigma \subseteq \mathbb {R}^{1+2}\) containing \(\mathrm {Im}(\mathcal {C})\), with V tangent to \(\Sigma \) along \(\mathrm {Im}(\mathcal {C})\), which is a \(C^k\) immersed timelike maximal surface away from some (possibly empty) singular set.
The prescription of the initial data \((\mathcal {C},V)\) is equivalent to a prescription of a curve \(\mathcal {C}\) and a continuous distribution of timelike tangent planes along \(\mathcal {C}\). By changing basis as necessary, we may thus assume V is of the form
where
(\(c=(c^1,c^2)\), \(v=(v^1,v^2)\)). Since V is timelike implies \(|v(s)|<1\), we may then reparametrize the curve \(\mathcal {C}(s)\) to ensure the additional constraint
holds. The pair \((\dot{\mathcal {C}}(s),V(s))\) gives an orthonormal frame along the initial data, and the timelike planes \(T_{\mathcal {C}(s)}\Sigma =\mathrm {span}\{\dot{\mathcal {C}}(s), V(s)\}\) are spanned by the null vectors
Next, define a \(C^k\) map \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) by \(\phi (s,t)=(t,\gamma ^1(s,t),\gamma ^2(s,t))\) where \(\gamma =(\gamma ^1,\gamma ^2)\) is given by d’Alembert’s formula
(38) implies that
with (39) understood in the weak sense when \(\gamma \) is not \(C^2\). The isothermal gauge conditions
are satisfied for all \((s,t)\in \mathbb {R}^2\) by (38). We will call \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) the evolution of \((\mathcal {C},V)\) by isothermal gauge.
Write
and define the closed (possibly empty) singular set by
so that \(\phi \) gives a \(C^k\) immersion on \(\mathbb {R}^2 {\setminus } \mathcal {K}_{\mathrm {sing}}\). Then from (39), (41), (42) we see that on \(\mathbb {R}^2 {\setminus } \mathcal {K}_{\mathrm {sing}}\), \(\phi \) defines a timelike, maximal immersion. Write
By construction \(\Sigma {\setminus } \Sigma _{\mathrm {sing}}\) gives a \(C^k\) timelike maximal immersed surface containing \(\mathcal {C}\) and tangent to the velocity field V along \(\mathcal {C}\).
The following simple topological result shows that this is indeed a global evolution.
Lemma 5.1
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\), \(\phi (s,t)=(t,\gamma (s,t))\) be an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\), where \(\mathcal {C}=\gamma (\cdot ,0)\) is a proper immersion, so that \(|\gamma (s,0)| \rightarrow \infty \) as \(s\rightarrow \pm \infty \). Then \(|\gamma (s,t)| \rightarrow \infty \) as \(s\rightarrow \infty \) for all t, so that each map \(\gamma (\cdot ,t)\) is proper, and thus \(\phi \) is proper.
Proof
For each \(t\in \mathbb {R}\), since \(|\gamma _t| \le 1\), \(|\gamma (s,t)|\ge |\gamma (s,0)| - \int _0^t |\gamma _t(s,\tilde{t})| \hbox {d}\tilde{t} \ge |\gamma (s,0)| - t \rightarrow \infty \) as \(s\rightarrow \pm \infty \). \(\square \)
Recalling that \(a_\pm (s) = v(s) \pm \dot{c}(s) = \gamma _t(s,0) \pm \gamma _s(s,0)\) give the spatial parts of the null vectors \(A_\pm (s)=(1,a_\pm (s))\) along the initial tangent planes, with \(|a_\pm (s)|^2=1\), from (38) we see
so we have the following characterization of \(\mathcal {K}_{\mathrm {sing}}\)
We will now show that \(\Sigma _{\mathrm {sing}}\) is singular, at least in the sense that it consists of null points. The following result was observed, as part of a broader context, in [11, Theorem 3.1].
Lemma 5.2
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be an evolution by isothermal gauge for a \(C^1 \times C^0\) initial data \((\mathcal {C},V)\), and suppose \(\mathcal {K}_{\mathrm {sing}}\) as defined in (43) is non-empty. Suppose for some neighbourhood U of a point \(q\in \partial \mathcal {K}_{\mathrm {sing}}\) that \(\phi (U)\) is a \(C^1\) embedded surface. Then \(\phi (U)\) is null at \(\phi (q)\).
Proof
Let U be a neighbourhood of \(q\in \partial \mathcal {K}_{\mathrm {sing}}\) such that \(\phi (U)\) is a \(C^1\) embedded surface. For each point \((s,t)\in U{\setminus }\mathcal {K}_{\mathrm {sing}}\), the tangent space \(T_{\phi (s,t)}\phi (U)\) is a timelike plane which intersects the light cone along null directions spanned by the nowhere vanishing null vectors
and
Choose a sequence of points \((s_k,t_k)\in U{\setminus }\mathcal {K}_{\mathrm {sing}}\) with \((s_k,t_k)\rightarrow q=(s_*,t_*)\). Since \(a_+(s_*+t_*)=a_-(s_*-t_*)\), it follows that \(\lim _{(s_k,t_k)\rightarrow (s_*,t_*)}a_+(s_k+t_k)=\lim _{(s_k,t_k)\rightarrow (s_*,t_*)}a_-(s_k-t_k)\), so the null lines along which \(T_{\phi (s_k,t_k)}\phi (U)\) intersects the light cone converge. So \(T_{\phi (s_*,t_*)}\phi (U)=\lim _{(s_k,t_k)\rightarrow (s_*,t_*)} T_{\phi (s_k,t_k)} \phi (U)\) must be a null plane. \(\square \)
5.2 Some Analysis of the Singular Set
Let \(\mathcal {C}:\mathbb {R}\rightarrow \mathbb {R}^{1+2}\), be a \(C^k\) immersion, \(k\ge 1\), of the form \(\mathcal {C}(s)=(0,c(s))\), and let \(V(s)=(1,v(s))\) be a \(C^{k-1}\) timelike vector field along \(\mathcal {C}\) where c, v satisfy (35), (36). Write
for the unit tangent map along \(\mathcal {C}\). Let \(\vartheta :\mathbb {R}\rightarrow \mathbb {R}\) be a lift of \(U_0 :\mathbb {R}\rightarrow S^1\), so that
If \(\mathcal {C}\) is \(C^2\), then \(\vartheta \) may be related to the curvature k of \(\mathcal {C}\) by the formula
where \(\hbox {d}\sigma (s)=|\dot{c}(s)|\hbox {d}s\) is the element of arclength.
By (35), we may define a function \(\mu :\mathbb {R}\rightarrow (-1,1)\) such that
Next recall from (37) that \(a_\pm (s)= v(s) \pm \dot{c}(s)\). By trigonometric identities, it may be seen that the quantities
define a pair of lifts for \(a_\pm \), so that
See Fig. 2.
Remark 5.3
The function \(\mu \) defined by (50) may be given a geometric interpretation as follows. Defining \(\varphi (s) = {{\,\mathrm{arctanh}\,}}\mu (s)\), we see that
defines a spacelike unit normal to \(T_{\mathcal {C}(s)}\Sigma = \mathrm {span}\{ \dot{\mathcal {C}}(s),V(s) \}\). So \((\vartheta , \varphi )\) are longitude-latitude coordinates on the 1-sheeted hyperboloid \(S^{1+1}=\{ (x^0,x^1,x^2)\in \mathbb {R}^{1+2} :-(x^0)^2+(x^1)^2+(x^2)^2 =1\}\).
Denote the characteristic diamond associated to the interval \([s_1,s_2]\) by
Proposition 5.4
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\). Writing \(U_0\) for the unit tangent along \(\mathcal {C}\) as in (47), suppose that \(\mathrm {Im}(U_0)\) contains a closed semi-circle, i.e. suppose there exist \(s_1<s_2\) such that
where \(\vartheta \) is as in (48). Then, with \(\mathcal {K}_{\mathrm {sing}}\) as in (43) and \(D(s_1,s_2)\) as in (53) , it follows
Remark 5.5
The same conclusion cannot be reached if \(\mathrm {Im}(U_0)\) contains only a half-closed semi-circle. Indeed, in Example 3.5, we had \(\mathrm {Im}(\vartheta )=[-\frac{\pi }{2},\frac{\pi }{2})\), whilst \(\mathcal {K}_{\mathrm {sing}}= \emptyset \).
Proof
It follows that \(a_+([s_1,s_2])\) and \(a_-([s_1,s_2])\) cannot form disjoint subsets of \(S^1\). So there exist \(\xi ,\eta \in [s_1,s_2]\) such that \(a_+(\xi )=a_-(\eta )\). Since \(\mathcal {K}_{\mathrm {sing}}\) is characterized by (46), the proposition follows. \(\square \)
We have the following consequence of Propositions 5.4 and 4.1 (compare Theorem 1.1).
Corollary 5.6
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be an evolution by isothermal gauge for a \(C^2\times C^1\) initial data \((\mathcal {C},V)\), and let \(U_0\) be the unit tangent along \(\mathcal {C}\) as in (47). Suppose that \(\mathrm {Im}(U_0)\) contains a closed semi-circle. Then \(\Sigma =\mathrm {Im}(\phi )\) is not a \(C^2\) immersed surface.
Proof
By Proposition 5.4,
By continuity, for some \(\varepsilon >0\) we have
so let \(T\in \left( 0,\frac{s_2-s_1}{2}\right] \) be the largest time such that \(\mathcal {K}_{\mathrm {sing}}\cap D(s_1, s_2) \cap \{(s,t) :|t| <T \} =\emptyset \) holds.
Supposing \((s_0,t_0)\in \mathcal {K}_{\mathrm {sing}}\cap D(s_1, s_2) \cap \{(s,t) :t = T \}\), then the conditions for Proposition 4.1 are satisfied on \(\Omega = D(s_1, s_2) \cap \{(s,t) :|t| <T \}\), so the curvature \(k(\cdot ,t)\) of the cross sections \(\gamma (\cdot ,t)\) satisfies \(\limsup _{t\nearrow t_0} k(s_0,t)=\infty \). For the case \((s_0,t_0)\in \mathcal {K}_{\mathrm {sing}}\cap D(s_1, s_2) \cap \{(s,t) :t = -T \}\), a symmetric argument shows \(\limsup _{t\searrow t_0} k(s_0,t)=\infty \).
If \(\Sigma \) were \(C^2\) immersed, then \(\Sigma \) would be a causal surface, so \(x^0|_\Sigma \) would have no critical points, and by the implicit function theorem the cross sections \(\gamma (\cdot ,t)\) would have locally uniformly bounded curvatures. This would amount to a contradiction, thus \(\Sigma \) is not \(C^2\). \(\square \)
In particular, Proposition 5.4 and Corollary 5.6 apply to the case of a self-intersecting curve \(\mathcal {C}\), thanks to the following elementary result.
Lemma 5.7
Suppose \(c :\mathbb {R}\rightarrow \mathbb {R}^2\) is a \(C^1\) immersion with a point of self-intersection, i.e. there exist \(r_1<r_2\) such that \(c(r_1)=c(r_2)\). Let \(U_0\) denote the unit tangent along c as in (47). Then \(U_0([r_1,r_2])\) contains an arc of length \(>\pi \), i.e. there exist \(s_1,s_2\in [r_1,r_2]\) such that
where \(\vartheta \) denotes the angle swept out between \(U_0\) and the \(x^1\) axis as in (48).
Proof
Since \(c(r_1)=c(r_2)\), for every \(\omega \in \mathbb {R}^2\) we have
But if \(U_0([r_1,r_2])\) is contained in a closed semi-circle, then there exists \(\omega _0\in \mathbb {R}^2\) such that
a contradiction. We conclude that \(U_0([r_1,r_2])\) contains an arc of length \(>\pi \) as claimed. \(\square \)
Proposition 5.4 gives a sufficient condition in terms of \(\vartheta \) for \(\mathcal {K}_{\mathrm {sing}}\cap D(s_1,s_2)\) to be non-empty. We can also give a sufficient condition for no singularity in terms of \(\vartheta \) and the initial velocity v.
Lemma 5.8
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\). Writing \(\vartheta \) as in (48) and v as in (34) and (35), suppose that
Then, with \(\mathcal {K}_{\mathrm {sing}}\) as in (43) and \(D(s_1,s_2)\) as in (53), it follows
Proof
Writing \(a_\pm \) as in (20), it follows easily from (58) and trigonometric identities that \(a_+(\xi )\ne a_-(\eta )\) for \(\xi ,\eta \in [s_1,s_2]\) (see Fig. 2). As \(\mathcal {K}_{\mathrm {sing}}\) is characterized by (46), the claim follows. \(\square \)
Remark 5.9
If the initial data \((\mathcal {C},V)\) satisfies the estimate (58) on \([s_1, s_2]=\mathbb {R}\), then by Lemma 5.8 it follows \(\mathcal {K}_{\mathrm {sing}}= \emptyset \), so the evolution by isothermal gauge \(\phi \) parameterizes a properly immersed timelike maximal surface \(\mathrm {Im}(\phi )\) which contains \(\mathcal {C}\) and is tangent to V along \(\mathcal {C}\). This is a global existence result which does not require any decay of initial data \((\mathcal {C},V)\) at infinity, and may be compared with recent results of [15] and [18].
Corollary 5.10
Let \(\mathcal {C}:\mathbb {R}\rightarrow \mathbb {R}^{1+2}\) be given as \(\mathcal {C}(s)=(0,s,0)\) (i.e. \(\mathrm {Im}(\mathcal {C})\) is a straight line) and let V be any smooth timelike velocity along \(\mathcal {C}\). Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be the evolution of \((\mathcal {C},V)\) by isothermal gauge. Then \(\mathrm {Im}(\phi )\) is a smooth properly immersed timelike maximal surface containing \(\mathrm {Im}(\mathcal {C})\) and tangent to V along \(\mathcal {C}\).
Proof
Since \(\vartheta \equiv 0\) and V is timelike, estimate (59) holds on the interval \([s_1,s_2]=\mathbb {R}\). So \(\mathcal {K}_{\mathrm {sing}}= \emptyset \) by Lemma 5.8 and the claim follows. \(\square \)
Remark 5.11
If \(\mathcal {C}:\mathbb {R}\rightarrow \{x^0=0\} \subseteq \mathbb {R}^{1+2}\) is a smooth proper immersion such that \(\mathrm {Im}(\mathcal {C})\) is not a straight line, then it is easy to find a smooth vector field V along \(\mathcal {C}\) for which the evolution \(\phi \) of \((\mathcal {C},V)\) in isothermal gauge becomes singular in finite time (i.e. \(\mathcal {K}_{\mathrm {sing}}\ne \emptyset \)). Indeed, let \(\mathcal {C}(s)=(0,c(s))\) and \(U_0(s)=\nicefrac {\dot{c}(s)}{|\dot{c}(s)|}\), and choose \(s_1,s_2\in \mathbb {R}\) so that \(U_0(s_1)\ne U_0(s_2)\). Let \(\beta \in (0,2\pi )\) be such that \(U_0(s_2)\) is given by an anti-clockwise rotation of \(U_0(s_1)\) by \(\beta \) degrees, and define \(V(s)=(1,v(s))\) by \(v(s)=\cos \frac{\beta }{2} U_0(s)^\perp \), where \(\perp \) denotes an anti-clockwise rotation by \(\frac{\pi }{2}\) degrees. Writing \(a_\pm (s)=v(s)\pm \sin \frac{\beta }{2} U_0(s)\) for the spatial components of the null vectors \(A_\pm (s)=(1,a_\pm (s))\) which span the tangent plane \(T_{\mathcal {C}(s)}\mathrm {Im}(\phi ) = \mathrm {span}\{ \dot{\mathcal {C}}(s), V(s) \}\), we may compute from the trigonometric identities (51) and (52) that \(a_+(s_2)=a_-(s_1)\). So \(\mathcal {K}_{\mathrm {sing}}\ne \emptyset \) by (46).
From Lemma 5.8 we may obtain the following short-time existence result, which does not require any decay of the initial data at infinity.
Corollary 5.12
(Short-time existence). Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be an evolution by isothermal gauge for a \(C^k\times C^{k-1}\) initial data \((\mathcal {C},V)\), \(k\ge 1\), and let \(U_0\) denote the unit tangent vector along \(\mathcal {C}\) as in (47). Suppose V is uniformly timelike, i.e. with \(V=(1,v)\) we have \(\sup _{s\in \mathbb {R}} |v(s)| < 1\), and suppose \(U_0\) is uniformly continuous. Then there exists \(T>0\) depending only on \(\sup _{s\in \mathbb {R}}\frac{1}{1-|v(s)|}\) and the modulus of continuity of \(U_0\) such that \(\mathrm {Im}(\phi )\cap \{(x^0,x^1,x^2):|x^0|\le T\}\) is a \(C^k\) immersed timelike maximal surface containing \(\mathrm {Im}(\mathcal {C})\) and tangent to V along \(\mathcal {C}\).
Proof
Take \(\varepsilon >0\) so that \(\sup _{s\in \mathbb {R}}|v(s)|^2\le 1-\varepsilon \). Since \(U_0\) is uniformly continuous, there exists \(\delta >0\), depending on \(\varepsilon \) and the modulus of continuity of \(U_0\), such that \(|\vartheta (r_2)-\vartheta (r_1)|^2<\varepsilon \) provided \(|r_1-r_2|\le \delta \). Defining \(s_k=\frac{\delta k}{2}\) for all \(k\in \mathbb {Z}\) gives
so \(\mathcal {K}_{\mathrm {sing}}\cap D(s_k,s_{k+2})=\emptyset \) for all \(k\in \mathbb {Z}\) by Lemma 5.8. With \(T=\frac{\delta }{4}\), the set \(\{(s,t) \in \mathbb {R}^2 :|t|\le T\}\) is contained in \(\cup _{k\in \mathbb {Z}} D(s_k,s_{k+2})\), so \(\mathcal {K}_{\mathrm {sing}}\cap \{(s,t)\in \mathbb {R}^2 :|t|\le T\} = \emptyset \), and the claim follows. \(\square \)
5.3 Examples of \(C^1\) Properly Embedded Surfaces Which are Smooth Timelike Maximal Surfaces Away from Some Null et
We will now give some (non-generic) examples where the Cauchy evolution for a timelike maximal surface becomes singular in finite time, but the evolution in isothermal gauge beyond singular time yields a \(C^1\) embedded surface.
Example 5.13
(\({\textit{\textbf{C}}}^\mathbf{1}\) embedded maximal surfaces which are smooth away from a pair of null lines and contain non-graphical compact sets). Let \(l_1\) and \(l_2\) be the parallel half lines which take their endpoints at \((-\frac{1}{2},0)\) and \((\frac{1}{2},0)\) and which are obtained as left and right translations, respectively, by a distance \(\frac{1}{2}\) of the upper \(x^2\)-axis. Let f be a smooth segment of embedded curve of length \(2L>0\), which smoothly joins \(l_1\) and \(l_2\) at their endpoints, such that the unit tangent along f has non-vanishing \(x^1\) component everywhere except at the endpoints. See Fig. 3a. Let \(c:\mathbb {R}\rightarrow \mathbb {R}^2\) be a parameterization of \(l_1\cup l_2 \cup f\) by arclength,
Writing \(\dot{c}(s)=(\cos \vartheta (s), \sin \vartheta (s))\), and we see \(\mathrm {Im}(\vartheta )=[-\frac{\pi }{2},\frac{\pi }{2}]\). Moreover, \(\vartheta (s)\in (-\frac{\pi }{2},\frac{\pi }{2})\) for \(s\in (-L,L)\).
The evolution of \(\mathcal {C}(s)=(0,c(s))\) with initial velocity \(V=(1,0,0)\) by isothermal gauge is \(\phi (s,t)=(t,\gamma (s,t))\), where \(\gamma (s,t)=\frac{1}{2}\left( c(s+t)+c(s-t)\right) \). By Proposition 5.4, it follows that \(\mathcal {K}_{\mathrm {sing}}\), as defined in (43), is non-empty. We will now compute \(\mathcal {K}_{\mathrm {sing}}\) explicitly. Since \(\dot{c}(s+t)=-\dot{c}(s-t)\) if and only if \(s-t\le -L\) whilst \(s+t\ge L\) or \(s-t\ge L\) whilst \(s+t\le -L\), it follows \(\mathcal {K}_{\mathrm {sing}}=\mathcal {K}_{\mathrm {sing}}^+\cup \mathcal {K}_{\mathrm {sing}}^-\) where
We then see \(\Sigma _{\mathrm {sing}}= \Sigma _{\mathrm {sing}}^+ \cup \Sigma _{\mathrm {sing}}^-\), where
i.e. \(\Sigma _{\mathrm {sing}}\) consists of a pair of null half-lines, one emanating towards the future from the point (L, 0, 0) and one emanating towards the past from the point \((-L,0,0)\). \(\Sigma {\setminus } \Sigma _{\mathrm {sing}}\) is a smooth immersed timelike maximal surface.
Note that the unit tangent \(\dot{c}(s)\) is always confined to a closed semi-circle as \(\dot{c}^1(s)\ge 0\). Writing \(U(s,t)=\frac{\gamma _s(s,t)}{|\gamma _s(s,t)|}=\frac{\dot{c}(s+t)+\dot{c}(s-t)}{|\dot{c}(s+t)+\dot{c}(s-t)|}\) for the spatial unit tangent, defined a priori for \((s,t)\in \mathbb {R}^2{\setminus }\mathcal {K}_{\mathrm {sing}}\), it is seen that \(\lim _{(s,t)\rightarrow \mathcal {K}_{\mathrm {sing}}}U(s,t)=(1,0)\). Thus U(s, t) extends continuously to a unit tangent vector field along \(\gamma (s,t)\). It may then be seen to follow that \(\Sigma \) is a \(C^1\) immersed causal surface. See Fig. 3b.
Applying Proposition 4.1, we see that the curvature of the cross sections \(\gamma (\cdot ,t)\) blows up as \(t\nearrow L\), so \(\Sigma \) is not a \(C^2\)-immersed surface in any neighbourhood of \(\phi (0,L)\). Since \(\gamma (s,t)=\gamma (s,-t)\), we see that \(\Sigma \) is invariant under a reflection through the \(\{x^0 = 0 \}\) plane, and so \(\Sigma \) is not a \(C^2\) immersed surface in any neighbourhood of \(\phi (0,-L)\).
It is easy to find a compact subset \(K\subseteq \Sigma \) which is not a graph. We observe that the image of the spacelike unit normal in this example (defined on \(\Sigma {\setminus } \Sigma _{\mathrm {sing}}\)) is contained in a closed hemi-hyperboloid.
Example 5.14
(\({\textit{\textbf{C}}}^\mathbf{1}\) embedded doubly-periodic maximal surfaces which are smooth away from isolated null points situated on a rectangular lattice, and which are graphs, but not \({\textit{\textbf{C}}}^\mathbf{1}\) graphs). Let \(f=(f^1,f^2):[0,L] \rightarrow \mathbb {R}^2\), parametrize a section of curve by arclength, so that \(f(0)=(-1,0)\), \(f(L)=(1,0)\), \(\dot{f}^1(s)>0\) for \(s\in (0,L)\), \(\dot{f}^1(0)=\dot{f}^1(L)=0\) and \(\frac{d^k f^2}{\hbox {d}s^k}(0)=\frac{d^k f^2}{\hbox {d}s^k}(L)=0\) for \(k\ge 2\). Now extend f periodically to a smooth immersion \(c:\mathbb {R}\rightarrow \mathbb {R}^2\) by
See Fig. 4a. It may be seen that \(\mathrm {Im}(c)\) defines a graph over the \(x^1\) axis, but not a \(C^1\) graph.
As c is parametrized by arclength, the evolution by isothermal gauge \(\phi (s,t)=(t,\gamma (s,t))\) of the curve \(\mathcal {C}(s)=(0,c(s))\) with initial velocity \(V=(1,0,0)\) is given by \(\gamma (s,t)=\frac{1}{2} \left( c(s+t) + c(s-t) \right) \). Note that \((s,t)\in \mathcal {K}_{\mathrm {sing}}\) if \(\frac{s+t}{L}\) is an odd integer and \(\frac{s-t}{L}\) is an even integer or vice versa. From this we deduce that
and since \(c(\frac{nL}{2})=(n-1,0)\) for all \(n\in \mathbb {Z}\), we have
which is a rectangular lattice of isolated points.
\(\Sigma \) is a smooth, timelike immersed surface away from \(\Sigma _{\mathrm {sing}}\), and again we observe that \(\dot{c}^{1}(s)\ge 0\), and so \(\lim _{(s,t)\rightarrow \mathcal {K}_{\mathrm {sing}}}U(s,t)=(1,0)\), and thus \(\Sigma \) is a \(C^1\) immersed surface. By Proposition 4.1 we see that \(\Sigma \) is not a \(C^2\) immersed surface in any neighbourhood of a point in \(\Sigma _{\mathrm {sing}}\). \(\Sigma \) is a graph over the \(x^0\)–\(x^1\) plane, but not a \(C^1\) graph. See Fig. 4b.
5.4 Discontinuity of the Spatial Unit Tangent: Proof of Theorem 1.7
The surfaces constructed by isothermal gauge in Example 5.13 are \(C^1\) embedded, are smooth timelike maximal surfaces away from a pair of null lines, and contain compact subsets which are non-graphical (compare with Theorem 1.1). Note that in Examples 5.13 and 5.14, the image of the tangent vector \(U_0\) along the initial curve \(\mathcal {C}\) is exactly a closed semi-circle.
In this section we will show that the behaviour observed in Example 5.13 is borderline. To be precise, we will prove Theorem 1.7 which states that: if \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) is an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\), and if the image of the unit tangent vector along \(\mathcal {C}\) contains an arc of length \(>\pi \), i.e. if there exist \(s_1, s_2\in \mathbb {R}\) so that
where \(\vartheta \) is as in (48), then the spatial unit tangent (defined along \(\phi |_{\mathbb {R}^2{\setminus } \mathcal {K}_{\mathrm {sing}}}\)) admits no extension to a continuous unit tangent vector field along \(\phi \).
When \(\mathcal {C}\) is a closed curve, the discontinuity of the spatial unit tangent was proved by Nguyen and Tian [16, Prop. 2.9 & Prop. 2.11] (for smooth initial data) and by Jerrard et al. [11, Theorem 5.1] (for \(C^1\times C^0\) initial data). The proof of Theorem 1.7 extends the argument of those authors to the spatially non-compact case (note that if \(\mathcal {C}\) is closed, then there exist \(s_1,s_2\) so that (60) is satisfied by Lemma 5.7).
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\), \(\phi (s,t)=(t,\gamma (s,t))\) be an evolution by isothermal gauge. As in Sect. 5.2, we write
so that \(|a_\pm (s)|^2=1\). Recall from (51), (52) that \(a_\pm (s)=(\cos \alpha _\pm (s) , \sin \alpha _\pm (s))\), where
where \(\vartheta \) and \(\mu \) are defined by (48) and (50).
Let us now introduce
We have
The proof of Theorem 1.7 is via a study of the spatial unit tangent map
which is well defined for \((s,t)\in \mathbb {R}^2 {\setminus } \mathcal {K}_{\mathrm {sing}}\). From (38) one may compute explicitly
where
is a continuous unit vector field along \(\gamma (s,t)\) (note that e(s, t) does not necessarily define a unit tangent vector field along \(\gamma (s,t)\)).
We have \((s,t)\in \mathcal {K}_{\mathrm {sing}}\) precisely when \(\beta (s,t)\in 2\pi \mathbb {Z}\). From formula (63), it is apparent that to study when U becomes discontinuous requires analysis of when \(\sin \left( \frac{\beta }{2}\right) \) changes sign.
Lemma 5.15
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\) be an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\). With \(U_0\) denoting the unit tangent along \(\mathcal {C}\) as in (47), suppose that \(\mathrm {Im}(U_0)\) contains an arc of length \(>\pi \), i.e. suppose there exist \(s_1,s_2\in \mathbb {R}\) such that
where \(\vartheta \) is as in (48). Then, with \(\beta \) as in (61), there exists \((s_0,t_0)\) such that \(\beta (s_0,t_0) \notin [0,2 \pi ]\). Furthermore, if \(\mathcal {C}:\mathbb {R}\rightarrow \{x^0=0\} \subseteq \mathbb {R}^{1+2}\) is a proper immersion, then there exists a time \(t_*\in \mathbb {R}\) such that \(\sin \left( \frac{\beta (\cdot ,t_*)}{2}\right) \) takes both positive and negative values.
Proof
By identities (51) and (52), we have
and so, setting \(s_0=\frac{1}{2}(s_1+s_2)\) and \(t_0=\frac{1}{2}(s_1-s_2)\) gives
It follows that one of \(\beta (s_0,-t_0)>2\pi \) or \(\beta (s_0,t_0)<0\) holds, so \(\beta (s_0,t_0)\notin [0,2\pi ]\) for some \((s_0,t_0)\) as claimed.
Now suppose \(\mathcal {C}\) is proper, and suppose for a contradiction that there exists no time \(t_*\) such that \(\sin \left( \frac{\beta (\cdot ,t_*)}{2}\right) \) takes both positive and negative values. Write \(A=\{ t\in \mathbb {R}:\sin \frac{\beta (s,t)}{2}\ge 0 \text { for all } s\in \mathbb {R}\}\), \(B=\{ t\in \mathbb {R}:\sin \frac{\beta (s,t)}{2}\le 0 \text { for all } s\in \mathbb {R}\}\). Then A and B are closed sets, and we are supposing that \(A \cup B = \mathbb {R}\).
Note that A is non-empty by (62), whilst \(\beta (s_0,t_0)\notin [0,2\pi ]\) implies that B is non-empty, and so by connectedness of \(\mathbb {R}\), \(A\cap B\) must be non-empty. Taking \(t_1\in A\cap B\) gives \(\beta (\cdot ,t_1)\equiv 2 k\pi \), which implies \(\gamma _s(\cdot ,t_1)\equiv 0\) so \(\mathrm {Im}(\gamma (\cdot ,t_1))\) consists of a single point. But since \(\mathcal {C}\) is proper, this contradicts Lemma 5.1. Thus the lemma is proved. \(\square \)
We will deduce Theorem 1.7 from Lemma 5.15 together with the following
Lemma 5.16
Let \(\phi :\mathbb {R}^2 \rightarrow \mathbb {R}^{1+2}\), \(\phi (s,t)=(t,\gamma (s,t))\) be an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\), and let \(\beta \) be as in (61). Suppose there exists \(t_*\in \mathbb {R}\) such that \(\sin \left( \frac{\beta (\cdot ,t_*)}{2}\right) \) takes both positive and negative values on an interval \([s_1,s_2]\). Then for any \(\zeta >0\), there is an open interval \(I\subseteq (t_*-\zeta , t_*+\zeta )\), such that for all \(t\in I\), either \(\gamma ([s_1,s_2],t)\) is not a \(C^1\) immersed curve, or \(\gamma ([s_1,s_2],t)\) is a \(C^1\) immersed curve but \(U(\cdot ,t)=\nicefrac {\gamma _s(\cdot ,t)}{|\gamma _s(\cdot ,t)|}\) admits no continuous extension to a unit tangent vector field along \(\gamma (\cdot ,t)\) on \([s_1,s_2]\).
Proof
We will follow the proof of [11, Theorem 5.1(iii)]. Let us assume that \([s_1,s_2]\) is such that \(\beta (s_1,t_*)<0\) and \(\beta (s_2,t_*)>0\), since all other cases may be treated similarly. By continuity there exists \(\delta _0\in (0,\zeta ]\) such that \(\beta (s_1,t)<0\) and \(\beta (s_2,t)>0\) for all \(t\in (t_*-\delta _0,t_*+\delta _0)\).
Suppose for some \(t_0\in (t_*-\delta _0,t_*+\delta _0)\), we have that \(\gamma ([s_1,s_2],t_0)\) is a \(C^1\) immersed curve and \(U(\cdot ,t_0)\) extends to a continuous unit vector field \(\hat{U}(\cdot ,t_0)\) along \(\gamma (\cdot ,t_0)\) on the interval \([s_1,s_2]\) (we will see such a situation in Example 5.17). Define
then
and \(\beta \) takes both positive and negative values in every neighbourhood of \([r_1,r_2]\) (Fig. 5).
We claim that
To show (67), note that since \(\gamma (s,t_0)=\gamma (r_1,t_0)\) for all \(s\in [r_1,r_2]\), it follows that \(\hat{U}(r_1,t_0)=\hat{U}(r_2,t_0)\). Take sequences \(\{x_n\}\) and \(\{y_n\}\) with \(x_n \rightarrow r_1\), \(\beta (x_n,t_0)<0\), and \(y_n \rightarrow r_2\), \(\beta (y_n,t_0)>0\) (which is possible from the definitions of \(r_1\) and \(r_2\)). Then from (63)
so \(e(r_1,t_*)=-e(r_2,t_*)\) from which (67) follows from (64) and (66).
Geometrically, (66) and (67) amount to the statement that \(\alpha _+(s+t_0)\) and \(\alpha _-(s-t_0)\) (which we recall represent the null directions along the initial curve) are identically equal for \(s\in [r_1,r_2]\), and undergo a rotation by a non-trivial multiple of \(\pi \) as s varies from \(r_1\) to \(r_2\). We will now show that this situation will be lost after a small perturbation of \(t_0\). More precisely, we will show that for any \(\varepsilon >0\), there is an open interval I, either of the form \(I=(t_0,t_0+\delta )\) or \(I=(t_0-\delta ,t_0)\) for some \(\delta >0\), such that for each \(t\in I\), there is an interval \(J=J(t)\subseteq [s_1,s_2]\) such that \(\beta (\cdot ,t)\) takes both positive and negative values on J and \(|\alpha _+(w_1+t)-\alpha _+(w_2+t)|<\varepsilon \) for all \(w_1,w_2\in J\). Taking \(\varepsilon \) smaller than \(\pi \), this will imply that condition (67) with \(t_0\) replaced by t cannot hold for any \(r_1,r_2\in J\), so we will conclude that for each \(t\in I\), the unit tangent \(U(\cdot ,t)\) admits no continuous extension to a unit tangent map, from which the conclusion of the lemma will follow.
Fix \(\varepsilon >0\). By (65) and continuity of \(\alpha _+\) there exists \(r_3\in [s_1,r_1)\) such that \(\beta (r_3,t_0)<0\) and
Take \(\delta >0\) so that
By the uniform continuity of \(\alpha _+\) on compact sets, by refining \(\delta >0\) to a smaller number as necessary, we may ensure
By (67), we can define
We will first treat the case where \(\alpha _+(r_4+t_0)=\alpha _+(r_1+t_0)+\frac{\varepsilon }{4}\). By refining \(\delta >0\) to be smaller as necessary, we may assume that \(\alpha _+(w_2+t_0)>\alpha _+(w_1+t_0)\) provided \(w_1\in [r_1,r_1+\delta ]\) and \(w_2\in [r_4-\delta ,r_4]\). Then for each \(\tau \in (0,\delta ]\), we have
which shows that there exists an \(s(\tau )\in [r_1,r_4-\tau ]\) such that \(\alpha _+(s(\tau )+\tau +t_0)>\alpha _+(s(\tau )+t_0)\). We then see
Then for all \(\tau \in (0,\delta ]\), by (69) and (72) \(\beta (\cdot ,t_0+\frac{\tau }{2})\) takes both positive and negative values on \(J=J(t_0+\frac{\tau }{2}):=[r_3,s(\tau )+\frac{\tau }{2}]\). On the other hand, for all \(\omega _1,\omega _2\in J\) we have
and since the first two terms on the right-hand side of the above inequality are bounded by (70) and each of the last two terms is bounded by (68) and (71), this gives \(|\alpha _+(\omega _1+t_0+\frac{\tau }{2})-\alpha _+(\omega _2+t_0+\frac{\tau }{2})|<\varepsilon \) which is what we set out to show.
Next we treat the case where \(\alpha _+(r_4+t_0)=\alpha _+(r_1+t_0)-\frac{\varepsilon }{4}\) by a similar argument. Choose \(\delta >0\) so that \(\alpha _+(w_1+t_0)>\alpha _+(w_2+t_0)\) provided \(w_1\in [r_1,r_1+\delta ]\) and \(w_2\in [r_4-\delta ,r_4]\). Then, for all \(\tau \in (0,\delta ]\) there exists \(s(\tau )\in [r_1+\tau ,r_4]\) such that \(\alpha _+(s(\tau )-\tau +t_0)>\alpha _+(s(\tau )+t_0)\). In this case,
Then for all \(\tau \in (0, \delta ]\), by (69) and (73) \(\beta (\cdot , t_0-\frac{\tau }{2})\) takes both positive and negative values on \(J=[r_3, s(\tau )-\frac{\tau }{2}]\), whilst for all \(w_1,w_2 \in J\), arguing as above by (68), (70) and (71) we have \(|\alpha _+(w_1+t_0-\frac{\tau }{2})-\alpha _+(w_2+t_0-\frac{\tau }{2})|<\varepsilon \) which is what we set out to show. This completes the proof. \(\square \)
The interval I in Lemma 5.16 may be chosen to be contained in any neighbourhood of the time \(t_*\), but it is not always possible to choose an interval I containing \(t_*\). Indeed, it is possible that \(\sin \left( \frac{\beta (\cdot ,t_*)}{2}\right) \) takes both positive and negative values on an interval \([s_1,s_2]\) whilst \(\gamma ([s_1,s_2],t_*)\) is a \(C^1\) immersed curve and \(U(\cdot ,t_*)\) admits a continuous extension to a unit tangent vector field along \(\gamma (\cdot ,t_*)\), as the following example illustrates.
Example 5.17
(Cusp reversal) Consider the \(C^1\) initial curve defined by
See Fig. 6a. Let \(\phi (s,t)=(t,\gamma (s,t))\) be the evolution by isothermal gauge of the curve \(\mathcal {C}=(0,c)\) with initial velocity \(V=(1,0,0)\). We have \(\beta (s,\frac{\pi }{2})<0\) for \(s\in [\frac{\pi }{2}-\varepsilon ,\frac{\pi }{2})\) and \(\beta (s,\frac{\pi }{2})>0\) for \(s\in (\frac{3\pi }{2},\frac{3\pi }{2}+\varepsilon ]\) for some \(\varepsilon >0\), whilst \(\beta (s,\frac{\pi }{2})=0\) for \(s\in [\frac{\pi }{2},\frac{3\pi }{2}]\). Moreover, \(\lim _{s\rightarrow {\frac{\pi }{2}}^-} U(s,\frac{\pi }{2}) = \lim _{s\rightarrow {\frac{3\pi }{2}}^+} U(s,\frac{\pi }{2}) = (0,1)\). Thus \(\gamma ([\frac{\pi }{2}-\varepsilon ,\frac{3\pi }{2}+\varepsilon ],\frac{\pi }{2})\) is a \(C^1\) immersed curve. See Fig. 6b. The numerical plot reveals some interesting geometry at the time \(t_*=\frac{\pi }{2}\). We see that at this moment in time a cusp instantaneously reverses the direction of its axis, so that the spatial cross section is \(C^1\) at \(\phi (\frac{\pi }{2},\frac{\pi }{2})\). Although the spatial cross section is regular at this point, the surface is not, and looks locally like a cone, with a pair of cusps tracing two “cuts” running down to the vertex. (One should be reminded that in this example \(\frac{\pi }{2}\) is not the first time of singularity for the Cauchy evolution of \((\mathcal {C},V)\)).
Proof of Theorem 1.7
Letting \(\phi (s,t)=(t,\gamma (s,t))\) be an evolution by isothermal gauge for a \(C^1\times C^0\) initial data \((\mathcal {C},V)\), we are supposing that the image of the unit tangent along \(\mathcal {C}\) contains an arc of length \(>\pi \), i.e. there exist \(s_1, s_2\in \mathbb {R}\) for which (60) holds. By Lemma 5.15 there exists a time \(t_*\in \mathbb {R}\) such that \(\sin \frac{\beta (\cdot , t_*)}{2}\) takes both positive and negative values. By Lemma 5.16 there exists an open interval I such that for each \(t\in I\) either \(\mathrm {Im}(\gamma (\cdot ,t))\) is not a \(C^1\) immersed curve or \(\mathrm {Im}(\gamma (\cdot ,t))\) is a \(C^1\) immersed curve but \(U(\cdot ,t)\) does not admit an extension to a continuous unit tangent vector field along \(\gamma (\cdot , t)\). Theorem 1.7 is proved. \(\square \)
We conclude this section with an example where the set \(\gamma ([s_1,s_2],t_*)\) is a \(C^1\) immersed curve, whilst \(U(\cdot ,t_*)\) admits no extension to a continuous unit tangent vector field along \(\gamma (\cdot ,t_*)\) on \([s_1,s_2]\) (thus \(\gamma (\cdot , t_*)\) admits no monotone reparameterization to a \(C^1\) immersion).
Example 5.18
(Degenerate cusp singularities). Consider the \(C^1\) initial curve defined by
See Fig. 7a. Let \(\phi (s,t)=(t,\gamma (s,t))\) be the evolution of \(\mathcal {C}(s)=(0,c(s))\) with initial velocity \(V=(1,0,0)\). It may be seen that the curve \(\gamma (s,\frac{3\pi }{2})=c(s+\frac{3\pi }{2})+c(s-\frac{3\pi }{2})\) will backtrack and retrace its steps twice, so that the map \(s\mapsto U(s,\frac{3\pi }{2})=\nicefrac {\gamma _s(s,\frac{3\pi }{2})}{|\gamma _s(s,\frac{3\pi }{2})|}\) is discontinuous, whilst the image \(\gamma ([\frac{3\pi }{2},\frac{5\pi }{2}],\frac{3\pi }{2})\) is a \(C^1\) curve. This phenomenon is illustrated in Fig. 7b. In this example, the degenerate behaviour is sandwiched between a pair of ordinary cusps which travel along \(t=-s+2\pi , t>\pi \) and \(t=s-\frac{3\pi }{2}, t>\frac{5\pi }{4}\), and the surface \(\Sigma \) is not \(C^1\).
References
Allen, P., Anderson, L., Isenberg, J.: Timelike minimal submanifolds of general co-dimension in Minkowski space time. J. Hyperbolic Differ. Eqns 3, 691–700 (2006)
Bahouri, H., Marachli, A., Perelman, G.: Blow up dynamics for the hyperbolic vanishing mean curvature flow of surfaces asymptotic to simons cone. https://arxiv.org/abs/1902.07027 (2019)
Bellettini, G., Hoppe, J., Novaga, M., Orlandi, G.: Closure and convexity results for closed relativistic strings. Complex Anal. Oper. Theory 4, 473–496 (2010)
Bellettini, G., Novaga, M., Orlandi, G.: Lorentzian varifolds and applications to relativistic strings. Indiana Univ. Math. J. 61(6), 2251–2310 (2012)
Brendle, S.: Hypersurfaces in Minkowski space with vanishing mean curvature. Commun. Pure Appl. Math. 55(10), 1249–1279 (2002)
Brenier, Y.: Non relativistic strings may be approximated by relativistic strings. Methods Appl. Anal. 12(2), 153–168 (2005)
Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill Book Company, New York (1955)
Donninger, R., Krieger, J., Szeftel, J., Wong, W.: Codimension one stability of the catenoid under the vanishing mean curvature flow in Minkowski space. Duke Math. J. 165, 723–791 (2016)
Eggers, J., Hoppe, J.: Singularity formation for time-like extremal hypersurfaces. Phys. Lett. B 680, 274–8 (2009)
Eggers, J., Hoppe, J., Hynek, M., Suramlishvili, N.: Singularities of relativistic membranes. Geom. Flows 1, 17–33 (2015)
Jerrard, R., Novaga, M., Orlandi, G.: On the regularity of timelike extremal surfaces. Commun. Contemp. Math. 17(1), 1450048 (2015)
Kibble, T., Turok, N.: Self intersection of cosmic strings. Phys. Lett. B 116, 141–3 (1982)
Kulkarni, R.S.: An analogue of the Riemann mapping theorem for Lorentz metrics. Proc. R. Soc. Lond. A401, 117–130 (1985)
Lindblad, H.: A remark on global existence for small initial data of the minimal surface equation in Minkowski space time. Proc. Am. Math. Soc. 132, 1095–1102 (2004)
Luli, G.K., Yang, S., Yu, P.: On one-dimension semi-linear wave equations with null conditions. Adv. Math. 329, 174–88 (2018)
Nguyen, L., Tian, G.: On smoothness of timelike maximal cylinders in three-dimensional vacuum spacetimes. Class. Quantum Grav. 30, 165010 (2013)
Weinstein, T.: An Introduction to Lorentz Surfaces. Walter de Gruyter, Berlin (1996)
Wong, W.W.Y.: Global existence for the minimal surface equation on \(\mathbb{R}^{1+1}\). Proc. Am. Math. Soc. Ser. B 4, 47–52 (2017)
Wong, W.W.Y.: Singularities of axially symmetric time-like minimal submanifolds in Minkowski space. J. Hyperbolic Differ. Equ. 15(1), 1–13 (2018)
Zwiebach, B.: A First Course in String Theory. Cambridge University Press, Cambridge (2003)
Acknowledgements
I would like to thank my supervisor, Luc Nguyen, for being so generous with his time, and for many insightful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mihalis Dafermos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was completed with the support of the Engineering and Physical Sciences Research Council [EP/L015811/1].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Paxton, E.A. Embeddedness of Timelike Maximal Surfaces in \((1+2)\)-Minkowski Space. Ann. Henri Poincaré 21, 3035–3068 (2020). https://doi.org/10.1007/s00023-020-00939-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-020-00939-9