Extremal surface with the light-like line in Minkowski space R
           
            1
            +
            (
            1
            +
            1
            )
           
          
         
        
        $R^{1+(1+1)}$

Ruihua Gao; Faxing Wang; Xiaodan Zhang; Yuguang Wang

doi:10.1186/s13661-017-0786-9

Impact Factor 0.819

Research

Open Access

Extremal surface with the light-like line in Minkowski space $R^{1+(1+1)}$

Ruihua Gao¹,
Faxing Wang²,
Xiaodan Zhang³ and
Yuguang Wang⁴Email author View ORCID ID profile

Boundary Value Problems20172017:58

https://doi.org/10.1186/s13661-017-0786-9

Received: 10 December 2016

Accepted: 4 April 2017

Published: 20 April 2017

Abstract

In this paper, firstly we will give the global construction of the mixed type extremal surface in Minkowski space along the analytic light-like line. Furthermore, we construct simply the local existence of extremal surface along a single light-like line.

Keywords

classical solution extremal surface mixed type equation

MSC

35M10 35B65

1 Introduction

It is important to study the extremal surfaces in the theory of elementary particle physics, and it has also drawn attentions by mathematicians in geometrical analysis. In Minkowski space, the extremal surfaces include space-like type, time-like type, light-like type and mixed type. For time-like case, Milnor gave entire time-like minimal surfaces in the three-dimensional Minkowski space via a kind of Weierstrass representation [1]. Barbashov et al. studied the nonlinear differential equations describing in differential geometry the minimal surfaces in the pseudo-Euclidean space [2]. Kong et al. studied the equation of the relativistic string moving and the equation for the time-like extremal surfaces in the Minkowski space $R^{1+n}$ [3, 4]. Liu and Zhou also gave the classical solutions to the initial boundary problem of time-like extremal surface [5, 6]. The time-like surfaces with vanishing mean curvature are constructed by [7, 8]. For the case of space-like extremal surfaces, we can see the classical papers of Calabi [9] and Cheng and Yau [10]. There are also important results for the purely space-like maximal surfaces [11, 12]. For the case of extremal surfaces of mixed type, we can also see the papers [12–15]. In addition, for the multidimensional cases, we refer to the papers by Lindblad [16], and Chae and Huh [17].

In this paper, firstly we consider the following mixed type extremal surface in Minkowski space:

$$ \bigl(1+\phi^{2}_{x}\bigr)\phi_{tt} - 2\phi_{t}\phi_{x}\phi_{tx} - \bigl(1- \phi^{2}_{t}\bigr)\phi_{xx} = 0. $$

(1)

We will give a sketch on constructing mixed extremal surfaces in 3-dimensional Minkowski space. The whole surface is presented with explicit formulas, starting from a plane analytic function of the arc length. Thus such surfaces are determined by a positive real analytic function.

In the next section we will discuss the characteristic of extremal surface along a light-like line. We denote by $y = \phi(x, t)$ the surface in Minkowski space $R^{1+(1+1)}$. Many examples of space-like maximal surfaces containing singular curves have been constructed [18–20]. In particular, if one gives a generic regular light-like curve, then there exists a zero mean curvature surface which changes its causal type across this curve from a space-like maximal surface to a time-like minimal surface [12, 21–23]. This can be constructed by Weierstrass-type representation formula. However, if L is a light-like line, the construction fails since the isothermal coordinates break down along the light-like singular points. Locally, such surfaces are the graph of a function $y = \phi(x, t)$ satisfying (1). We call this and its graph the zero mean curvature equation and zero mean curvature surface, respectively. Gu [12] and Klyachin [24] gave several fundamental results on zero mean curvature surfaces which might change type.

2 The properties and representations of extremal surface

2.1 The general formulas and analytic function

Extremal surfaces (1) in Minkowski space are defined as surfaces with vanishing mean curvature $H = 0$. And the surface is a graph $y = \phi(t, x)$, we can rewrite the equation as the following type:

$$ \bigl(1-p^{2}\bigr)h + 2pqs - \bigl(1+q^{2} \bigr)r = 0, $$

(2)

where

$$ p=\phi_{t},\qquad q=\phi_{x},\qquad r= \phi_{tt},\qquad s=\phi_{tx},\qquad h=\phi_{xx} . $$

(3)

Equation (2) can be obtained by the variation problem

$$ \delta \int\sqrt{\bigl|1+\phi_{x}^{2}- \phi_{t}^{2}\bigr|}\, dx\, dt. $$

(4)

When $1+q^{2}-p^{2}<0$ (>0), the surface is called time-like (space-like).

By the Legendre transformation, we have

$$ z=pt+qx-\varphi(p,q), \qquad t=\varphi_{p}, \qquad x= \varphi_{q}. $$

(5)

Then we can get the linear dual equation of φ

$$ \bigl(1-p^{2}\bigr)\varphi_{pp}- 2pq \varphi_{pq} - \bigl(1+q^{2}\bigr)\varphi_{qq} = 0, $$

(6)

which is hyperbolic (elliptic) when $1+q^{2}-p^{2}<0$ ($1+q^{2}-p^{2}>0$).

It can be easily checked that the function

$$ \Phi(u,v,w)=-w\varphi\biggl(-\frac{u}{w},-\frac{v}{w} \biggr) $$

(7)

is a positively homogeneous harmonic function in $(u,v,w)$ of degree 1. If $w\neq0$, Φ satisfies the linear wave equation

$$ \Phi_{vv}+\Phi_{ww}-\Phi_{uu}=0. $$

(8)

From the Legendre transformation, the extremal surfaces can be written in a parameter form:

$$ t=\Phi_{u},\qquad x=\Phi_{v},\qquad z= \Phi_{w}. $$

(9)

If $w\neq0$, t, x, z are functions of p, q and satisfy the mixed equation [25]

$$ \bigl(1-p^{2}\bigr)\psi_{pp}-2pq \psi_{pq}-\bigl(1+q^{2}\bigr)\psi_{qq}-2p \psi_{p}-2q\psi_{q}=0. $$

(10)

In the following, we can give the parametric expression of extremal surfaces. If $1+q^{2}-p^{2}>0$, $|q|>|p|$, then let

$$\rho=\sqrt{q^{2}-p^{2}} , \qquad \theta=\operatorname{arcth} \frac{p}{q} $$

and let $\lambda=\theta+\ln(\frac{1}{\rho}+\sqrt{1+\frac{1}{\rho^{2}}})$, $\mu =\theta-\ln(\frac{1}{\rho}+\sqrt{1+\frac{1}{\rho^{2}}})$, we obtain the parametric expression of extremal surfaces

$$\begin{aligned}& x=- \int f(\lambda)\operatorname{ch}\lambda\, d\lambda+ \int g(\mu)\operatorname{ch}\mu\, d\mu, \\& t= \int f(\lambda)\operatorname{sh}\lambda\, d\lambda- \int g(\mu)\operatorname{sh}\mu \, d\mu, \\& z= \int f(\lambda)\, d\lambda+ \int g(\mu)\, d\mu. \end{aligned}$$

(11)

If $1+q^{2}-p^{2}>0$, $|q|<|p|$, we denote $\rho=\sqrt{p^{2}-q^{2}} $, $\theta=\operatorname{arcth}\frac{q}{p}$ and $\lambda=\theta+\operatorname{ch}^{-1}\frac{1}{\rho}$, $\mu=\theta-\operatorname{ch}^{-1}\frac {1}{\rho}$, we can get the parametric expression of extremal surfaces as follows:

$$\begin{aligned}& x= \int f(\lambda)\operatorname{ch}\lambda\, d\lambda- \int g(\mu)\operatorname{ch}\mu\, d\mu, \\& t= \int-f(\lambda)\operatorname{sh}\lambda\, d\lambda- \int g(\mu)\operatorname{sh}\mu\, d\mu, \\& z= \int f(\lambda)\, d\lambda+ \int g(\mu)\, d\mu. \end{aligned}$$

(12)

On the other hand, if $1+q^{2}-p^{2}<0$, we denote $\rho=\sqrt {p^{2}-q^{2}} $, $\theta=\operatorname{arcth}\frac{q}{p}$ and let

$$\lambda=\theta+i\cos^{-1}\frac{1}{\rho},\qquad \mu=\theta-i \cos^{-1}\frac{1}{\rho}. $$

We can also get the parametric expression of extremal surfaces

$$ t=\operatorname{Re} \int\bigl(-\tilde{f}(\lambda)\bigr)\operatorname{sh}\lambda\, d\lambda, \qquad x=\operatorname{Re} \int \tilde{f}(\lambda)\operatorname{ch}\lambda \, d\lambda,\qquad z= \operatorname{Re} \int\tilde {f}(\lambda)\, d\lambda. $$

(13)

Here $f(\lambda)$ and $g(\mu)$ are $C^{1}$ functions with $f(\lambda )\neq0$, $g(\mu)\neq0$ and $\tilde{f}(\lambda)$ is an analytic function. Thus we have (under the condition $|q|<|p|$) the following.

Theorem 1

The general expression of regular and dually regular time-like or space-like extremal surface in $R^{1+(1+1)}$ is (12) or (13), respectively. If these two pieces can be matched regularly along the arc $\rho=1$, $a<\theta<b$, then the surface is analytic not only in the space-like part but also in the region $a<\mu\leq\lambda<b$.

Remark 2.1

Under the assumption that $|q|<|p|$, we can easily get the pieces of surfaces (12) and (13) connected regularly along arc $\rho=1$, $a<\theta<b$. Then $\tilde{f}(\theta)$ must be a real analytic function and

$$f(\theta)=\tilde{f}(\theta),\qquad g(\theta)=0 . $$

2.2 Global construction of extremal surfaces

We are interested in the construction of whole mixed extremal surfaces. First we assume $|q|<|p|$, it is convenient to start with a borderline of the space-like part and time-like part. The curve should be an analytic curve of null length

$$ t= \int-f(\theta)\operatorname{sh}\theta\, d\theta, \qquad x= \int f(\theta)\operatorname{ch}\theta\, d\theta,\qquad y= \int f(\theta)\, d\theta\quad \bigl(f(\theta)\neq0\bigr). $$

We construct the curve in the following way.

Let L be an analytic plane curve

$$ t = \alpha(s), \qquad x = \beta(s) \quad (a < s < b). $$

(14)

We assume that the radius of curvature is always positive. Let τ be the angle between the tangent of L and x-axis. s can be expressed as an analytic function of τ in $(a,b)$ with $\frac{ds}{d\tau}>0$. Then the borderline is

$$ t = \alpha\bigl(s(\tau)\bigr),\qquad x = \beta\bigl(s(\tau)\bigr), \qquad y=s(\tau), $$

(15)

and we have

$$ \frac{dt}{d\tau}=-s'(\tau)\operatorname{sh}\tau, \qquad \frac{dx}{d\tau}=s'(\tau)\operatorname{ch}\tau , \qquad \frac{dy}{d\tau}=s'(\tau). $$

(16)

Actually, the curve is determined by the function $s=s(\tau)$. Then the time-like surface extension from the borderline is

$$\begin{aligned}& x=\frac{1}{2}\bigl[\beta\bigl(s(\theta-\sigma)\bigr) + \beta\bigl(s( \theta+\sigma)\bigr)\bigr], \\& t=\frac{1}{2}\bigl[\alpha\bigl(s(\theta-\sigma)\bigr) + \alpha\bigl(s( \theta+\sigma)\bigr)\bigr], \\& y=\frac{1}{2}\bigl[s(\theta-\sigma)+s(\theta+\sigma)\bigr] \end{aligned}$$

(17)

with $\sigma=\operatorname{ch}^{-1}\frac{1}{\rho}$, $\rho<1$. Using similar procedures, we can get the biggest extension. In particular, if s is an integral function such that $s' \neq0$, the extension is valid for all $\rho<1$ except for $\rho=0$.

The surface can be extended further so that σ will be valued in $(\frac{\pi}{2},\pi)$. When $\sigma\rightarrow\pi$, we can obtain a curve

$$\begin{aligned}& t=\frac{1}{2}\bigl[\alpha\bigl(s(\theta-\pi)\bigr)+ \alpha\bigl(s(\theta+ \pi)\bigr)\bigr], \\& x=\frac{1}{2}\bigl[\beta\bigl(s(\theta-\pi)\bigr) + \beta\bigl(s(\theta+ \pi)\bigr)\bigr], \\& y=\frac{1}{2}\bigl[s(\theta-\pi)+s(\theta+\pi)\bigr]. \end{aligned}$$

(18)

This is another borderline on the surface or the surface is not of $C^{2}$.

The space-like extension through the first borderline is

$$ y = \operatorname{Re} \bigl[s(\theta+i\sigma)\bigr], \qquad t = \operatorname{Re} \bigl[a\bigl(s(\theta+i\sigma)\bigr)\bigr],\qquad x= \operatorname{Re}\bigl[ b\bigl(s(\theta+i\sigma)\bigr)\bigr] $$

(19)

with $\sigma= \arccos\frac{1}{\rho}$, $\rho>1$. The extension can reach $\sigma=\frac{\pi}{2}$ ($\rho\rightarrow\infty$), and the corresponding planes are parallel to the y-axis.

Then we can construct the extension through the second borderline in a similar way.

3 Extremal surface along a light-like line

Suppose that $y = \phi(x,t) \in C^{\infty}$ is a solution of the extremal surface equation (1), and its graph contains a singular light-like line L. Without loss of generality, we can assume that L is included in $\{(t, 0, t), t\in R\}$ and

$$ \phi(x, t) = t + \frac{\alpha(t)}{2}x^{2} + \beta(t,x)x^{3}, $$

(20)

where $\alpha(t)$ and $\beta(x, t)$ are $C^{\infty}$-functions. Denote

$$ A=\bigl(1+\phi^{2}_{x}\bigr) \phi_{tt}- 2\phi_{t}\phi_{x}\phi_{tx} - \bigl(1-\phi^{2}_{t}\bigr)\phi _{xx}, \qquad B=1+ \phi^{2}_{x} - \phi_{t}^{2}. $$

(21)

Note that $B > 0$ (resp. $B < 0$) if and only if the graph is space-like (resp. time-like). Then we can get

$$\begin{aligned}& A|_{x=0} = A_{x}|_{x=0} = 0, \qquad A_{xx}|_{x=0} = \frac{d^{2}\alpha}{dt^{2}} - 2\alpha \frac{d\alpha}{dt}, \end{aligned}$$

(22)

$$\begin{aligned}& B|_{x=0} = B_{x}|_{x=0} = 0, \qquad B_{xx}|_{x=0} = -2\frac{d\alpha}{dt} +2\alpha^{2}. \end{aligned}$$

(23)

Noting the definition of extremal surface, we have $A_{xx}|_{x=0} = 0$. Then there exists a constant $\mu\in R$ such that

$$ \frac{d\alpha}{dt} - \alpha^{2} = \mu. $$

(24)

Then $B_{xx}|_{x=0} =-2\mu$. Using the Taylor extension, we can get the following.

Proposition 3.1

If $\mu> 0$ ($\mu< 0$), then the graph of $y = \phi(x, t)$ is time-like (space-like) on both sides of L.

In particular, the graph might change type across L from space-like to time-like only if the constant μ vanishes. However, even in this case, the graph might not change type. We can normalize the constant μ to be −1, 0, 1. We can also get the general solutions to (24) and local existence of extremal surfaces with a light-like line.

Theorem 2

For the following three cases of μ and the arbitrary constant C, we have

$$\begin{aligned}& \mu= 1\mbox{:}\quad \alpha= \tan(t + C), \\& \mu= 0\mbox{:}\quad \alpha=0\quad \textit{or} \quad \alpha= -\frac{1}{t+C} \quad (C\in R), \\& \mu=-1\mbox{:}\quad \alpha= \operatorname{tanh}(t+C), \qquad \alpha= \operatorname{tanh}(t+C),\qquad \alpha_{III}^{-}:= 1\textit{ or }-1. \end{aligned}$$

Then there exists a real analytic extremal surface in $R^{1+(1+1)}$ locally containing a light-like line $(t, 0, t)$.

Lastly, we will give the solutions of extremal surface equations (1) with the following form:

$$ \phi(x,t)=b_{0}(t)+\sum_{k=1}^{\infty} \frac{b_{k}(t)}{k}x^{k}, $$

(25)

where $b_{k}(t)$ ($k=1,2,\ldots$) are $C^{\infty}$-functions. Without loss of generality, we assume that $b_{0}(t)=t $, $b_{1}(t)=0$. Using the same procedures as above, we have that there exists a real constant μ such that $b_{2}(t)$ satisfies

$$ b_{2}(t)^{2}-b_{2}'(t)+ \mu=0. $$

(26)

Next we will derive the ordinary differential equations of $b_{k}(t)$ for $k\geq3$. We denote

$$ Y:=\phi_{t}-1,\qquad \bar{p}:=2(Y\phi_{xx}- \phi_{x}\phi_{xt}),\qquad Q:=Y^{2} \phi_{xx}-2\phi _{x}\phi_{xt}Y,\qquad R:= \phi_{x}^{2}\phi_{tt}. $$

Then we can obtain

$$\begin{aligned}& \bar{p}=-b_{2}b_{2}'x^{2}- \frac{4}{3}b_{2}b_{3}'x^{3}- \sum_{k=4}^{\infty}\biggl(P_{k}+ \frac {2(k-1)}{k}b_{2}b_{k}'+(3-k)b_{2}'b_{k} \biggr)x^{k}, \\& Q=-\sum_{k=4}^{\infty}Q_{k}x^{k} , \qquad R=\sum_{k=4}^{\infty }R_{k}x^{k} , \end{aligned}$$

where

$$\begin{aligned}& P_{k}:=\sum_{m=3}^{k-1} \frac{2(k-2m+3)}{k-m+2}b_{m}b_{k-m+2}', \\& Q_{k}:=\sum_{m=2}^{k-2}\sum _{n=2}^{k-m}\frac {3n-k+m-1}{mn}b_{m}'b_{n}'b_{k-m-n+2}, \\& R_{k}:=\sum_{m=2}^{k-2}\sum _{n=2}^{k-m}\frac {b_{m}'b_{n}'b_{k-m-n+2}}{k-m-n+2}, \end{aligned}$$

(27)

for $k\geq4$, and equation (1) can be rewritten as

$$\sum_{k=2}^{\infty}\frac{b_{k}''}{k}x^{k}= \phi_{tt}=-(\bar{p} + Q + R). $$

By comparing the coefficients of $x^{k}$, we can get that each $b_{k}$ ($k\geq3$) satisfies the following ordinary differential equation:

$$ b_{k}''(t)+2(k-1)b_{2}(t)b_{k}'(t)+k(3-k)b_{2}'(t)b_{k}(t)=k(P_{k}+Q_{k}-R_{k}), $$

(28)

where $P_{3}=Q_{3}=R_{3}=0$ and $P_{k}$, $Q_{k}$ and $R_{k}$ are as in (27) for $k\geq4$. Note that $P_{k}$, $Q_{k}$ and $R_{k}$ are written in the terms of $b_{j}$ ($j=1,2,\ldots,k-1$) and their derivatives.

Finally, we consider the case that $1+\phi_{x}^{2}-\phi_{t}^{2}$ changes sign across the light-like line $\{t=t,x=0\}$. This case occurs only when $\mu= 0$ as in (26). We can set $b_{2}(t)=0$ ($t\in R$). Then

$$ b_{0}(t)=t,\qquad b_{1}(t)=0, \qquad b_{2}(t)=0,\qquad b_{3}(t)=3ct, $$

(29)

where c is a non-zero constant. Therefore, we have

$$ \phi(x,t)=t+3ctx^{3}+\sum_{k=4}^{\infty} \frac{b_{k}(t)}{k}x^{k}. $$

(30)

In this situation, we will find a solution satisfying

$$ b_{k}(0)=b_{k}'(0)=0 \quad (k \geq4). $$

(31)

Then (28) reduces to

$$\begin{aligned}& b_{k}''(t)=k(P_{k}+Q_{k}-R_{k}), \qquad b_{k}(0)=b_{k}'(0)=0 \quad (k=4, 5, \ldots), \end{aligned}$$

(32)

$$\begin{aligned}& P_{k}:=\sum_{m=3}^{k-1} \frac{2(k-2m+3)}{k-m+2}b_{m}(t)b_{k-m+2}'(t) \quad (k \geq4), \end{aligned}$$

(33)

$$\begin{aligned}& Q_{k}:=\sum_{m=3}^{k-4} \sum_{n=3}^{k-m-1}\frac {3n-k+m-1}{mn}b_{m}'(t)b_{n}'(t)b_{k-m-n+2}(t) \quad (k\geq7), \end{aligned}$$

(34)

$$\begin{aligned}& R_{k}:=\sum_{m=3}^{k-4} \sum_{n=3}^{k-m-1}\frac {b_{m}(t)'b_{n}'(t)b_{k-m-n+2}(t)}{k-m-n+2} \quad (k \geq7) \end{aligned}$$

(35)

and $Q_{k}=R_{k}=0$ for $4\leq k\leq6$, where the fact that $b_{2}(t)=0$ has been extensively used. For example,

$$\begin{aligned}& b_{0}=t,\qquad b_{1}=b_{2}=0, \qquad b_{3}=3ct,\qquad b_{4}=4c^{2}t^{3}, \qquad b_{5}=9c^{3}t^{5}, \\& b_{6}=24c^{4}t^{7}, \qquad b_{7}=14c^{3}t^{3}-70c^{5}t^{9}, \qquad \ldots. \end{aligned}$$

Then we can get the following result.

Theorem 3

For each positive number c, the formal power series solution $\phi (x,t)$ uniquely determined by (32), (33), (34) and (35) gives a real analytic extremal surface on a neighborhood of $(x,t)=(0,0)$. In particular, there exists a non-trivial 1-parameter family of real analytic extremal surfaces, each of which changes type across a light-like line.

To prove Theorem 3, it is sufficient to show that for arbitrary positive constants $c>0$ and $\delta>0$, there exist positive constants $n_{0}$, $\theta_{0}$, and C such that

$$ \bigl\vert b_{k}(t) \bigr\vert \leq \theta_{0}C^{k} \quad \bigl( \vert t \vert \leq\delta \bigr) $$

(36)

holds for $k\geq n_{0}$. In fact, if (36) holds, then the series (30) converges uniformly over the rectangle $[-C^{-1},C^{-1}]\times[-\delta,\delta]$. The key assertion to prove (36) is the following.

Proposition 3.2

For each $c>0$ and $\delta>0$, we set

$$ M:=3\max\bigl\{ 144c\tau|\delta|^{3/2}, \sqrt[4]{192c^{2}\tau}\bigr\} , $$

(37)

where τ is the positive constant such that

$$ z \int_{z}^{1-z}\frac{du}{u^{2}(1-u)^{2}}\leq\tau \quad \biggl(0< z< \frac{1}{2}\biggr). $$

(38)

Then the function $\{b_{l}(t)\} _{l\geq3}$ formally determined by the recursive formulas (32)-(35) satisfies the inequalities:

$$\begin{aligned}& \bigl\vert b_{l}''(t) \bigr\vert \leq c|t|^{l^{*}}M^{l-3}, \end{aligned}$$

(39)

$$\begin{aligned}& \bigl\vert b_{l}'(t) \bigr\vert \leq \frac{3c|t|^{l^{*}+1}}{l^{*}+2}M^{l-3}, \end{aligned}$$

(40)

$$\begin{aligned}& \bigl\vert b_{l}''(t) \bigr\vert \leq\frac{3c|t|^{l^{*}+2}}{(l^{*}+2)^{2}}M^{l-3} \end{aligned}$$

(41)

for any $t\in[-\delta,\delta]$, where

$$ l^{*}:=\frac{1}{2}(l-1)-2 \quad (l=3,4,\ldots). $$

We prove the proposition using induction on the number $l\geq3$. If $l=3$, then

$$\begin{aligned}& \bigl\vert b_{3}''(t) \bigr\vert =0\leq \frac{c}{|t|}=c|t|^{3^{*}}M^{0}, \qquad \bigl\vert b_{3}'(t) \bigr\vert =3c=\frac{3c|t|^{3^{*}+1}}{3^{*}+2}M^{0}, \\& \bigl\vert b_{3}(t) \bigr\vert =3c|y|= \frac{3c|t|^{3^{*}+2}}{(3^{*}+2)^{2}}M^{0} \end{aligned}$$

hold, using that $b_{3}(t)=3ct$, $M^{0}=1$, and $3^{*}=-1$. So we prove the assertion for $l\geq4$. Since (40), (41) follow from (39) by integration, it is sufficient to show that (39) holds for each $l\geq4$. (In fact, the most delicate case is $l=4$. In this case $l^{*}=-1/2$, and we can use the fact that $\int_{0}^{t_{0}}1/\sqrt {t} \, dt$ for $t_{0}>0$ converges.) From inequality (39) it follows that for each $k\geq4$,

$$ |kP_{k}|,|kQ_{k}|,|kR_{k}|\leq \frac{c}{3}|t|^{k^{*}}M^{k-3} \quad \bigl( \vert t \vert \leq\delta\bigr) $$

(42)

under the assumption that (39), (40) and (41) hold for all $3\leq l\leq k-1$ (see in [26]). In fact, if (42) holds, (39) for $l=k$ follows immediately. Then, by the initial condition (32) (cf. (31)), we have (40) and (41) for $l=k$ by integration. Then we obtain the proof of Proposition 3.2.

In conclusion, we have finished the proof of Theorem 3 and given the local existence of extremal surfaces that change type beside a light-like line.

Declarations

Acknowledgements

The authors would like to thank Prof. Jianli Liu for his suggestions. The third author was partially supported by Doctoral Fund of Ministry of Education of People’s Republic of China (20133108120002).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

Department of Information Engineering, Henan College of Finance and Taxation

(2)

TongDa College, Nanjing University of Posts and Telecommunications

(3)

Department of Mathematics, Shanghai University

(4)

School of Mathematics and Statistics, Ningxia University

References

Milnor, TK: Entire timelike minimal surfaces in $E^{3, 1} $. Mich. Math. J. 37, 163-177 (1990) MathSciNetView ArticleMATHGoogle Scholar
Barbashov, BM, Nesterenko, VV, Chervyakov, AM: General solutions of nonlinear equations in the geometric theory of the relativistic string. Commun. Math. Phys. 84, 471-481 (1982) MathSciNetView ArticleMATHGoogle Scholar
Kong, DX, Sun, QY, Zhou, Y: The equation for time-like extremal surfaces in Minkowski space $R^{n+2}$. J. Math. Phys. 47, 013503 (2006) MathSciNetView ArticleMATHGoogle Scholar
Kong, DX, Zhang, Q, Zhou, Q: The dynamics of relativistic strings moving in the Minkowski space $R^{1+n}$. Commun. Math. Phys. 269, 153-174 (2007) MathSciNetView ArticleMATHGoogle Scholar
Liu, JL, Zhou, Y: Initial-boundary value problem for the equation of timelike extremal surfaces in Minkowski space. J. Math. Phys. 49, 043507 (2008) MathSciNetView ArticleMATHGoogle Scholar
Liu, JL, Zhou, Y: The initial-boundary value problem on a strip for the equation of timelike extremal surfaces. Discrete Contin. Dyn. Syst. 23(1-2), 381-397 (2009) MathSciNetMATHGoogle Scholar
Hua, LK: A speech on partial differential equations of mixed type. J. China Univ. Sci. Technol., 1-27 (1965) Google Scholar
Busemann, A: Infinitesimale Kegelige uberschall-stromungenn. Schr. Dtsch. Akad. Luftfahrtforsch. 7B, 105-122 (1943) Google Scholar
Calabi, E: Examples of Bernstein problems for some nonlinear equations. Proc. Symp. Pure Math. 15, 223-230 (1970) MathSciNetView ArticleMATHGoogle Scholar
Cheng, SY, Yau, ST: Maximal space-like hypersurfaces in the Lorentz-Minkowski spaces. Ann. Math. 104, 407-419 (1976) MathSciNetView ArticleMATHGoogle Scholar
Courant, R, Hilbert, D: Methods of Mathematical Physics, vol. II. Interscience, New York (1962) MATHGoogle Scholar
Gu, CH: The extremal surface in the 3-dimensional Minkowski space. Acta Math. Sin. New Ser. 1, 173-180 (1985) MathSciNetView ArticleMATHGoogle Scholar
Gu, CH: Complete extremal surfaces of mixed type in 3-dimensional Minkowski space. Chin. Ann. Math. 15, 385-400 (1994) MathSciNetMATHGoogle Scholar
Gu, CH: Extremal surfaces of mixed type in Minkowski space $R^{n+1}$. In: Variational Methods, pp. 283-296. Birkhäuser, Boston (1990) View ArticleGoogle Scholar
Gu, CH: A global study of extremal surfaces in 3-dimensional Minkowski space. In: Differential Geometry and Differential Equations, pp. 26-33. Springer, Berlin (1987) View ArticleGoogle Scholar
Lindblad, H: A remark on global existence for small initial data of the minimal surface equation in Minkowskian space time. Proc. Am. Math. Soc. 132, 1095-1102 (2004) MathSciNetView ArticleMATHGoogle Scholar
Chae, D, Huh, H: Global existence for small initial data in the Born-Infeld equations. J. Math. Phys. 44, 6132-6139 (2003) MathSciNetView ArticleMATHGoogle Scholar
Estudillo, FJM, Romero, A: Generalized maximal surfaces in Lorentz-Minkowski space $L^{3}$. Math. Proc. Camb. Philos. Soc. 111, 515-524 (1992) MathSciNetView ArticleMATHGoogle Scholar
Kim, Y, Yang, SD: A family of maximal surfaces in Lorentz-Minkowski three-space. Proc. Am. Math. Soc. 134, 3379-3390 (2006) MathSciNetView ArticleMATHGoogle Scholar
Umehara, M, Yamada, K: Maximal surfaces with singularities in Minkowski space. Hokkaido Math. J. 35, 13-40 (2006) MathSciNetView ArticleMATHGoogle Scholar
Fujimori, S, Kim, YW, Koh, S-E, Rossman, W, Shin, H, Umehara, M, Yamada, K, Yang, S-D: Zero mean curvature surfaces in Lorentz-Minkowski 3-space which change type across a light-like line (2012). arXiv:1211.4912
Kim, YW, Yang, SD: Prescribing singularities of maximal surfaces via a singular Björling representation formula. J. Geom. Phys. 57, 2167-2177 (2007) MathSciNetView ArticleMATHGoogle Scholar
Kim, Y-W, Koh, S-E, Shin, H-Y, Yang, S-D: Spacelike maximal surfaces, timelike minimal surfaces, and Björling representation formulae. J. Korean Math. Soc. 48, 1083-1100 (2011) MathSciNetView ArticleMATHGoogle Scholar
Klyachin, V: Zero mean curvature surfaces of mixed type in Minkowski space. Izv. Math. 67, 209-224 (2003) MathSciNetView ArticleMATHGoogle Scholar
Yuan, ZX: Born-Infeld equation and extremal surface. Acta Math. Sin. 2, 121-125 (1990) (in Chinese) MathSciNetGoogle Scholar
Fujimori, S, Kim, YW, Koh, S-E, Rossman, W, Shin, H, Takahashi, H, Umehara, M, Yamada, K, Yang, S-D: Zero mean curvature surfaces in $L^{3}$ containing a light-like line. C. R. Math. 350, 975-978 (2012) MathSciNetView ArticleMATHGoogle Scholar

Boundary Value Problems

Extremal surface with the light-like line in Minkowski space \(R^{1+(1+1)}\)