Heinz-type mean curvature estimates in Lorentz-Minkowski space

We provide a unified description of Heinz-type mean curvature estimates under an assumption on the gradient bound for space-like graphs and time-like graphs in the Lorentz-Minkowski space. As a corollary, we give a unified vanishing theorem of mean curvature for these entire graphs of constant mean curvature.


Introduction
The celebrated theorem of Bernstein [6] (as for a simple proof, see [23]), stating that the only entire minimal graph in the Euclidean 3-space R 3 is a plane, has played a seminal role in the evolution of surface theory. For instance, by using this theorem, we can show the uniqueness theorem for an entire graph of constant mean curvature in R 3 . Indeed Heinz [15] proved that if ϕ(u 1 , u 2 ) is a C 2 -differentiable function defined on the open disk B 2 (R) with center at the origin and radius R(> 0) in the (u 1 , u 2 )-plane, and the mean curvature H of the graph Γ ϕ := {(u 1 , u 2 , ϕ(u 1 , u 2 )) ∈ R 3 ; (u 1 , u 2 ) ∈ B 2 (R)} of ϕ satisfies |H| ≥ α > 0, where α is constant, then R ≤ 1/α. As a corollary, we have a vanishing theorem of mean curvature for entire graphs of constant mean curvature, that is, if Γ ψ is an entire graph of constant mean curvature, then H ≡ 0. Combining these results, we obtain that the only entire graph of constant mean curvature in R 3 is a plane (see [18,Section 2.1]). The Heinz result was extended to the case of graphic hypersurfaces in the Euclidean (n + 1)-space R n+1 by Chern [11] and Flanders [14].
We will study this subject for graphic hypersurfaces in the Lorentz-Minkowski space. Here we recall some basic definitions and fundamental facts. We denote by R n+1 1 = (R n+1 , , L ) the Lorentz-Minkowski (n + 1)-space with the Lorentz metric (x 1 , . . . , x n , x n+1 ), (y 1 , . . . , y n , y n+1 ) L := x 1 y 1 + · · · + x n y n − x n+1 y n+1 , where (x 1 , . . . , x n , x n+1 ), (y 1 , . . . , y n , y n+1 ) ∈ R n+1 . Let M n be a smooth orientable n-manifold. An immersion f : M n → R n+1 space-like (resp. time-like) immersion of constant mean curvature is called a space-like (resp. time-like) constant mean curvature immersion. In particular, a space-like immersion with vanishing mean curvature is called a space-like maximal immersion and a time-like immersion with vanishing mean curvature is called a time-like minimal immersion.
On the other hand, for entire space-like constant mean curvature graphs, the uniqueness theorem does not hold in general. In fact, the graph of the function is an entire space-like constant mean curvature H graph which is not a hyperplane. This graph is a hyperboloid. Many other entire space-like constant mean curvature graphs are constructed by Treibergs [27]. Hence the following questions naturally arise. What are the situations where Heinz-type mean curvature estimate and Bernstein-type uniqueness theorem hold for space-like graphs in R n+1

1
? What are these situations for time-like graphs in R n+1 1 ?
In this paper, we perform a systematic study for these questions. In particular, we give a unified description of Heinz-type mean curvature estimates under an assumption on the gradient bound for space-like graphs and time-like graphs in R n+1 1 (Theorem 2.1). As a corollary, we obtain a unified vanishing theorem of mean curvature for entire graphs of constant mean curvature with a gradient bound (Corollary 2.4). In Section 3, by applying these results, we answer the questions mentioned above. Moreover we give a short commentary about the recent study by the authors for entire constant mean curvature graphs in R n+1 Finally, the authors gratefully acknowledge the useful comments from Shintaro Akamine and Atsushi Kasue during the preparation of this paper.

Main results
The main theorem is stated as follows: be the open n-ball with center at the origin and radius R(> 0) in R n , and ψ(u 1 , . . . , u n ) a C 2 -differentiable function on B n (R). Suppose that there exist constants M > 0 and k ∈ R such that where α is constant, then the following inequality holds: Proof. Let ω be the (n − 1)-form given by where du i means that du i is omitted from the wedge product. Then we can obtain dω = nH du 1 ∧· · ·∧du n by (1) and (2). Take any positive number R ′ satisfying 0 < R ′ < R.
The Stokes theorem yields the following equality: We may assume H ≥ α > 0 by changing the direction of the normal vector if necessary. Let V n be the volume of the unit closed n-ball B n (1) and A n−1 the volume of the unit (n − 1)-sphere ∂B n (1). Then, by radial integration, nV n = A n−1 holds. The absolute value of the left-hand side of (7) becomes On the other hand, by using the Cauchy-Schwarz inequality, the absolute value of the right-hand side of (7) becomes We thus obtain nα( From the above argument, we give the following generalization of the result which was obtained by Salavessa [26, Theorem 1.5] for space-like graphs in R n+1 Then, for the mean curvature H of Γ ψ , we have . Here V (D) (resp. A(∂D) ) is the volume of D (resp. ∂D). Indeed, from the Stokes theorem for the (n − 1)-form ω given by (6), we obtain Then the absolute value of the left-hand side of (9) becomes Since the function t/ √ 1 − t 2 is monotone increasing on 0 < t < 1 and t/ √ We have thus proved the inequality (8).
As a corollary of Theorem 2.1, we give the following unified vanishing theorem of mean curvature for entire space-like graphs and time-like graphs of constant mean curvature in R n+1 1 . Corollary 2.4. Assume that Γ ψ is an entire space-like or time-like graph of a C 2differentiable function ψ(u 1 , . . . , u n ) in R n+1 1 . If the entire graph Γ ψ has constant mean curvature and there exist constants M > 0 and ε > 0 such that (1/2)−ε on R n , then its mean curvature must vanish everywhere.
Proof. By Theorem 2.1, the mean curvature H of Γ ψ satisfies |H| ≤ M R 2ε on B n (R). We obtain H ≡ 0 by letting R → +∞.
By virtue of Fact 1.1 and Corollary 2.4, we obtain the following Bernstein-type theorem for entire space-like constant mean curvature graphs in R n+1 1 . Corollary 3.2. If an entire space-like graph Γ ψ of a C 2 -differentiable function ψ(u 1 , . . . , u n ) in R n+1 1 has constant mean curvature and there exist constants M > 0 and ε > 0 such that (14) sinh θ ≤ M (u 1 ) 2 + · · · + (u n ) 2 (1/2)−ε on R n , then it must be a space-like hyperplane. Here θ is the hyperbolic angle between ν and e n+1 .
Corollary 3.2 is optimal because there exists an example which is not congruent to a space-like hyperplane and satisfies (14) for ε = 0. In fact, the function ψ given by (3) is not linear and its graph has constant mean curvature. Moreover it satisfies sinh θ = H (u 1 ) 2 + · · · + (u n ) 2 , which is the equality in (14) for ε = 0.
From the case where ε = 1/2 in Corollary 3.2, we obtain the following Liouville-type result.
Corollary 3.3. Let Γ ψ be an entire space-like constant mean curvature graph of a C 2 -differentiable function ψ(u 1 , . . . , u n ) in R n+1 1 and θ the hyperbolic angle between ν and e n+1 . If sinh θ is bounded on R n , then Γ ψ must be a space-like hyperplane.
The following result is equivalent to Corollary 3.3.

Corollary 3.4. [4, Corollary 9.5]
If an entire space-like graph Γ ψ of a C 2 -differentiable function ψ(u 1 , . . . , u n ) in R n+1 1 has constant mean curvature and there exists some constant C(< 1) such that |∇ψ| ≤ C on R n , then it must be a space-like hyperplane.
Indeed, if |∇ψ| ≤ C holds on R n , then we obtain on R n , that is, sinh θ is bounded because the function t/ √ 1 − t 2 is monotone increasing on 0 < t < 1. By the same argument, the converse also holds, that is, if sinh θ is bounded on R n , then there exists some constant C(< 1) such that |∇ψ| ≤ C on R n .
As described in [4, Section 9.3], Corollary 3.4 is a case of nonparametric form of the following value-distribution-theoretical property of the Gauss map. In fact, every entire space-like constant mean curvature graph in R n+1 1 is complete (see [10], note that the converse statement is also true, that is, every complete space-like hypersurface in R n+1 1 is an entire graph ( [5])) and the image ν(R n ) is contained in a geodesic ball in H n (−1) if and only if 1 − |∇ψ| 2 is bounded away from zero on R n . However the proof of Fact 3.5 is not as simple as our argument in this paper because it is obtained via an application of the Omori-Yau maximum principle ( [9], [25], [30]). See the book [4] for details.
Corollary 3.6. If an entire space-like graph Γ ψ of a C 2 -differentiable function ψ(u 1 , . . . , u n ) in R n+1 1 has constant mean curvature and there exist constants M > 0 and ε > 0 such that (1/2)−ε on R n , then it must be a space-like hyperplane.
From Corollary 3.6, we can show the following proposition which was given by Dong.
Remark 3.8. In [12], Dong showed a generalization of this result for an entire spacelike graph of parallel mean curvature in the pseudo-Euclidean (m + n)-space R m+n n of index n.

3.2.
Time-like case. Then |∇ψ| > 1 holds. By Theorem 2.1, we obtain the following Heinz-type estimate for the mean curvature of time-like graphs in R n+1 1 . Corollary 3.9. Let Γ ψ be a time-like graph of a C 2 -differentiable function ψ(u 1 , . . . , u n ) on B n (R) in R n+1 1 . Suppose that there exist constants M > 0 and k ∈ R such that where α is constant, then the following inequality holds: Moreover, we obtain the following result from Corollary 2.4.
We note that there exist many entire time-like minimal graphs in R n+1 1 . In fact, for a C 2 -differentiable function h(t) of one variable which satisfies h ′ (t) > 0 for all t ∈ R, ψ(u 1 , · · · , u n ) := u n + h(u 1 ) gives an entire time-like minimal graph Γ ψ in R n+1 1 .
We do not know whether Corollary 3.10 is optimal or not. However, for example, from the case where ε = 1/2 and n = 2 in Corollary 3.10, we provide the following result.
Corollary 3.11. Let Γ ψ be an entire time-like constant mean curvature graph of a C 2differentiable function ψ(u 1 , u 2 ) in R 3 1 . If |∇ψ|/ |∇ψ| 2 − 1 is bounded on R 2 , then Γ ψ is a translation surface, that is, ψ(u 1 , The latter half of the statement of Corollary 3.11 follows from the following fact. Fact 3.12 ( [19,20]). Every entire time-like minimal graph in R 3 1 is a translation surface.
3.3. Closing Remark. This paper is focused on the study of entire space-like graphs and time-like graphs in R n+1 1 . Here we explain the recent development of the study of entire constant mean curvature graphs in R n+1 1 . The following definitions are given in [3]. Let ψ : Ω → R be a C 2 -differentiable function defined on a domain Ω in R n . A point where |∇ψ| < 1 (resp. |∇ψ| > 1, |∇ψ| = 1) is called a space-like (resp. time-like, light-like) point of Γ ψ . If Ω contains only space-like (resp. time-like) points, then Γ ψ is space-like (resp. time-like). We remark that the first fundamental form g of the graph Γ ψ in R n+1 1 is degenerate at each light-like point. If Ω contains both space-like points and time-like points, then Γ ψ is called of mixed type. Akamine, the first author, Umehara and Yamada proved the following fact. See [3] (also [28]) for the precise definition of constant mean curvature graph which does not depend on its causal type. By Fact 3.13, we know that there exists no entire real analytic constant mean curvature graph in R n+1 1 which has both space-like points and light-like points although there exist many nontrivial examples of entire space-like constant mean curvature graphs. Moreover, the first and third authors, Kokubu, Umehara and Yamada [16,Remark 2.2] showed that there does not exist any real analytic nonzero constant mean curvature graph of mixed type in R n+1 1 . Remark 3.14. Several entire zero mean curvature graphs of mixed type in R 3 1 were found in recent years. A systematic construction of this class is given in [13]. See [17] for details about mixed type surfaces in Lorentzian 3-manifolds.