# Bernstein properties for *α*-complete hypersurfaces

- Ruiwei Xu
^{1}and - Linfen Cao
^{1}Email author

**2014**:159

https://doi.org/10.1186/1029-242X-2014-159

© Xu and Cao; licensee Springer. 2014

**Received: **14 January 2014

**Accepted: **16 April 2014

**Published: **6 May 2014

## Abstract

In the first part of this paper we focus on the Bernstein property of relative surfaces with complete *α*-metric. As a corollary, we give a new Bernstein type theorem for affine maximal surface and relative extremal surface. In the second part, we offer a relative simple proof of the Bernstein theorem for the affine Kähler-Ricci flat graph with complete *α*-metric, which was proved in (Li and Xu in Results Math. 54:329-340, 2009), based on a new observation on *α*-Ricci curvature.

**MSC:**53A15, 35J60, 53C40, 53C42.

## Keywords

## 1 Introduction

In affine differential geometry, there are two famous conjectures about complete affine maximal surfaces, stated by Calabi and Chern, respectively. Chern assumes that the maximal surface is a convex graph on the whole ${R}^{2}$, while Calabi supposes it is complete with respect to the Blaschke metric. Both versions of affine Bernstein problems attracted many mathematicians, and they were solved during the last decade. For Chern’s conjecture, please see related work [1–4] and [5]. For Calabi’s conjecture see [4, 6] and [7]. The two conjectures differ in the assumptions on the completeness of the affine maximal surface considered. On the other hand, Li and Jia in [8] considered the Bernstein problem of an affine maximal hypersurface with complete Calabi metric and proved the following.

**Theorem** *Let* ${x}_{n+1}=f({x}_{1},\dots ,{x}_{n})$ *be a locally strongly convex function defined in a domain* $\mathrm{\Omega}\subset {A}^{n}$. *If* $M=\{(x,f(x))\mid ({x}_{1},\dots ,{x}_{n})\in \mathrm{\Omega}\}$ *is an affine maximal hypersurface*, *and if* *M* *is complete with respect to the Calabi metric* $G=\sum \frac{{\partial}^{2}f}{\partial {x}_{i}\phantom{\rule{0.2em}{0ex}}\partial {x}_{j}}\phantom{\rule{0.2em}{0ex}}d{x}_{i}\phantom{\rule{0.2em}{0ex}}d{x}_{j}$, *then*, *in the case where* $n=2$ *or* $n=3$, *M* *must be an elliptic paraboloid*.

*α*-metric in [9] (or a Li metric in [10] and [11])

*α*is a constant. Obviously, it is a conformal metric to the Blaschke metric ($\alpha =1$) and the Calabi metric ($\alpha =0$). In fact, we study more general surfaces satisfying a fourth order partial differential equation (PDE), which include affine maximal hypersurface equations (see [8]), an

*α*-relative extremal hypersurface equation (see [12]) and the Abreu equation (see [13]),

where *β* is a constant, and the Laplacian Δ and the norm are defined with respect to the Calabi metric. The first result we obtain is as follows.

**Theorem 1.1** *Let* $f({x}_{1},{x}_{2})$ *be a strictly convex function defined on a convex domain* $\mathrm{\Omega}\in {R}^{2}$, *which satisfies the PDE* (1.1). *Assume that the graph surface* $(x,f(x))$ *is complete with respect to the* *α*-*metric*. *Then*, *if* $\alpha +\alpha \beta +2{(\beta +1)}^{2}-1>0$, *f* *must be a quadratic polynomial*.

From Theorem 1.1 we can obtain the following three corollaries.

For affine maximal surfaces (the case $\beta =0$ in Theorem 1.1), we have the following.

**Corollary 1.2** *If an affine maximal surface given by a strictly convex function is complete with respect to* *α*-*metric with* $\alpha >-1$, *then it must be an elliptic paraboloid*.

This is a new result about affine maximal surface, which generalizes the above theorem in [8] in dimension 2.

If *α*-relative extremal hypersurfaces are given by a strictly convex function *f*, then *f* should satisfy the PDE (1.1) with $\beta =\frac{n\alpha -2}{2}$; see [12]. For *α*-relative extremal surfaces, we have the following.

**Corollary 1.3** *Let* $y:M\to {R}^{3}$ *be a locally strongly convex* *α*-*relative extremal surface*, *complete with respect to the* *α*-*metric*, *which is given by a locally strongly convex function*. *Then*, *if* ${\alpha}^{2}>\frac{1}{3}$, *M* *is an elliptic paraboloid*.

In [12] Xu-Xiong-Sheng used an affine blow up analysis to prove the Bernstein theorems for *α*-relative extremal hypersurfaces with complete *α*-metrics. Corollary 1.3 gives a new analytic and relative simple proof of the Bernstein property for *α*-relative extremal surfaces with complete *α*-metric.

In [14], Jia and Li obtained a Bernstein property for the Abreu equation in dimension $n\le 5$ under the assumption of completeness with respect to the Calabi metric. Later Xiong and Sheng used a blow up analysis to prove a Bernstein property for the Abreu equation under the assumption of completeness with respect to the $\frac{n+2}{2}$-metric in [13]. By Theorem 1.1, we get the following.

**Corollary 1.4** *Let* $f({x}_{1},{x}_{2})$ *be a strictly convex function defined on a convex domain* $\mathrm{\Omega}\in {R}^{2}$, *which satisfies the Abreu equation* ($\beta =-3$ *in PDE* (1.1)). *Assume that the graph surface* $(x,f(x))$ *is complete with respect to the* *α*-*metric*. *Then*, *if* $\alpha <\frac{7}{2}$, *f* *must be a quadratic polynomial*.

**Remark**The restriction on

*α*and

*β*is necessary in Theorem 1.1. Namely, there exist some

*α*and

*β*such that the solutions of the PDE (1.1) are not unique. For example, the function

which satisfies the PDE (1.1) with $\beta =-3$. Its graph is complete with respect to the $\alpha =4$ metric.

where ${d}_{0},{d}_{1},\dots ,{d}_{n}$ are real constants. In [15] and [16], Li and the first author have shown that the affine Kähler-Ricci flat graph hypersurface has a rigidity property under different completeness conditions. By deriving a differential inequality for the Laplacian Δ*J* of the relative Pick invariant *J* and combining with estimating the norm of the relative Tchebychev vector Φ and *J* on a geodesic ball, we proved in [15] the following.

**Theorem 1.5**

*Let*

*f*

*be a strictly convex*${C}^{\mathrm{\infty}}$-

*function defined on a convex domain*$\mathrm{\Omega}\subset {\mathbb{R}}^{n}$

*satisfying the PDE*(1.2).

*Define*

*If* $\alpha \ne n+2$ *and* *M* *is complete with respect to the* *α*-*metric* ${G}^{(\alpha )}$ *then* *M* *must be an elliptic paraboloid*.

Here we shall give it a relative simple proof, and do not need to estimate the relative Pick invariant *J* based on a new observation on *α*-Ricci curvature (see (4.8)).

## 2 *α*-Relative geometry

*f*be a strictly convex ${C}^{\mathrm{\infty}}$-function defined on a domain $\mathrm{\Omega}\subset {\mathbb{R}}^{n}$. Again we write

*g*on

*M*, defined by

*Calabi metric*. It is the relative metric with respect to Calabi’s normalization $Y=(0,0,\dots ,1)$. For the position vector $y=({x}_{1},\dots ,{x}_{n},f({x}_{1},\dots ,{x}_{n}))$ we have

*q*be a given function defined on

*M*such that $q>0$ everywhere. Li introduced a relative normalization of graph hypersurface

*M*, given by its conormal vector field ${U}^{(q)}=qU$, where $q={\rho}^{\alpha}$. Then there is a unique transversal vector field ${Y}^{(q)}$ such that

*α*-relative normalization,

*α*-relative mean curvature is

## 3 Proof of Theorem 1.1

In the following we will use the *α*-metric to do the calculations. That is to say, the norms and the Laplacian operator are defined with respect to the *α*-metric. Firstly we will estimate ΔΦ. Using the relationship between conformal metrics and Proposition 3.1 in [2] (see also Proposition 4.5.2 in [4]), we can prove the following.

**Proposition 3.1**

*Let*

*f*

*be a strictly convex function satisfying the PDE*(1.1).

*Then the Laplacian of*Φ

*satisfies the following inequality*:

*In particular*,

*for*$n=2$,

*we have*

*α*-metric. For any positive number

*a*, let ${B}_{a}({p}_{0}):=\{p\in M\mid s({p}_{0},p)\le a\}$. In the following we derive an estimate of Φ in a geodesic ball ${B}_{a}({p}_{0})$. Denote

**Lemma 3.2**

*Let*$f({x}_{1},{x}_{2})$

*be a strictly convex*${C}^{\mathrm{\infty}}$-

*function satisfying the PDE*(1.1).

*If*$\alpha +\alpha \beta +2{(\beta +1)}^{2}-1>0$

*and*${B}_{a}({p}_{0})$

*is compact*,

*then there exists a constant*$C>0$

*depending only on*

*β*

*and*

*α*

*such that*

*Proof*Consider the function

*F*attains its supremum at some interior point ${p}^{\ast}$. We may assume that ${s}^{2}$ is a ${C}^{2}$-function in a neighborhood of ${p}^{\ast}$, and $\mathrm{\Phi}({p}^{\ast})>0$. Choose an orthonormal frame field on

*M*around ${p}^{\ast}$ with respect to the

*α*-metric. Then, at ${p}^{\ast}$,

*α*metric. Inserting (3.1) into (3.4) we get

*α*-metric on ${B}_{{a}^{\ast}}({p}_{0})$ is bounded from below by

*β*and

*α*. By the Laplacian comparison theorem (see [17]), we get

where ${C}_{2}$ is a positive constant depending only on *α* and *β*. □

*Proof of Theorem 1.1*Using Lemma 3.2, at any interior point of ${B}_{a}({p}_{0})$, we obtain

This means that *M* is an affine complete parabolic hypersphere. We apply a result of Calabi (see [17], p.128) and conclude that *M* must be an elliptic paraboloid. This completes the proof of Theorem 1.1. □

## 4 Proof of Theorem 1.5

As before, using the relationship between conformal metrics and Proposition 3.1 in [16], we have the following.

**Proposition 4.1**

*Let*

*f*

*be a strictly convex*${C}^{\mathrm{\infty}}$-

*function satisfying the PDE*(1.2).

*Then the Laplacian of*Φ

*satisfies the following inequality*:

**Lemma 4.2**

*Let*

*f*

*be a strictly convex*${C}^{\mathrm{\infty}}$-

*function satisfying the PDE*(1.2).

*If*$\alpha \ne n+2$

*and*${B}_{a}({p}_{0})$

*is compact*,

*then there exists a constant*$C>0$

*depending only on*

*n*

*such that*

*Proof*Consider the function

*F*attains its supremum at some interior point ${p}^{\ast}$. We may assume that ${s}^{2}$ is a ${C}^{2}$-function in a neighborhood of ${p}^{\ast}$, and $\mathrm{\Phi}({p}^{\ast})>0$. Choose an orthonormal frame field on

*M*around ${p}^{\ast}$ with respect to the

*α*-metric. Then, at ${p}^{\ast}$,

where *ϵ* is a positive constant to be determined later, and ${C}_{1}$ is a positive constant depending only *n*, *α*, and *ϵ*.

*n*and

*α*. Then the Ricci curvature $Ric(M,G)$ with respect to the

*α*-metric on ${B}_{{a}^{\ast}}({p}_{0})$ is bounded from below by

*ϵ*small enough such that $\frac{{(n+2-\alpha )}^{2}}{n-1}-\u03f5>0$. Then

where ${C}_{4}$ is a positive constant depending only on *α* and *n*. □

Using the same method as in the proof of Theorem 1.1, we complete the proof of Theorem 1.5.

## Declarations

### Acknowledgements

The authors would like to express their gratitude to the referees for valuable comments and suggestions. Besides, the first author is supported by grant (Nos. 11101129, 11201318 and 11171091) of NSFC and the second author is supported by grant (No. U1304101) of NSFC and NSF of Henan Province (No. 132300410141).

## Authors’ Affiliations

## References

- Trudinger N, Wang X:
**The Bernstein problem for affine maximal hypersurfaces.***Invent. Math.*2000,**140:**399–422. 10.1007/s002220000059MathSciNetView ArticleGoogle Scholar - Li A, Jia F:
**A Bernstein property of some fourth order partial differential equations.***Results Math.*2009,**56:**109–139. 10.1007/s00025-009-0387-8MathSciNetView ArticleGoogle Scholar - Li A, Jia F:
**Euclidean complete affine surfaces with constant affine mean curvature.***Ann. Glob. Anal. Geom.*2003,**23:**283–304. 10.1023/A:1022835107528MathSciNetView ArticleGoogle Scholar - Li A, Xu R, Simon U, Jia F:
*Affine Bernstein Problems and Monge-Ampère Equations*. World Scientific, Singapore; 2010.View ArticleGoogle Scholar - Li A, Xu R, Simon U, Jia F:
**Notes to Chern’s conjecture on affine maximal surface.***Results Math.*2011,**60:**133–155. 10.1007/s00025-011-0182-1MathSciNetView ArticleGoogle Scholar - Li A, Jia F:
**The Calabi conjecture on affine maximal surfaces.***Results Math.*2001,**40:**256–272.MathSciNetGoogle Scholar - Trudinger N, Wang X:
**Affine complete locally convex hypersurfaces.***Invent. Math.*2002,**150:**45–60. 10.1007/s00222-002-0229-8MathSciNetView ArticleGoogle Scholar - Li A, Jia F:
**A Bernstein property of affine maximal hypersurfaces.***Ann. Glob. Anal. Geom.*2003,**23:**359–372. 10.1023/A:1023059523458MathSciNetView ArticleGoogle Scholar - Xu R:
**Bernstein properties for some relative parabolic affine hyperspheres.***Results Math.*2008,**52:**409–422. 10.1007/s00025-008-0290-8MathSciNetView ArticleGoogle Scholar - Xiong M, Yang B:
**Hyperbolic relative hypersurfaces with Li-normalization.***Results Math.*2011,**59:**545–562. 10.1007/s00025-011-0110-4MathSciNetView ArticleGoogle Scholar - Wu Y, Zhao G:
**Hypersurfaces with Li-normalization and prescribed Gauss-Kronecker curvature.***Results Math.*2011,**59:**563–576. 10.1007/s00025-011-0106-0MathSciNetView ArticleGoogle Scholar - Xu R, Xiong M, Sheng L:
**Bernstein theorems for complete**α**-relative extremal hypersurfaces.***Ann. Glob. Anal. Geom.*2013,**43**(2):143–152. 10.1007/s10455-012-9338-9MathSciNetView ArticleGoogle Scholar - Xiong M, Sheng L:
**A Bernstein theorem for the Abreu equation.***Results Math.*2013,**63:**1195–1207. 10.1007/s00025-012-0262-xMathSciNetView ArticleGoogle Scholar - Jia, F, Li, A: Complete affine Kähler manifolds. Preprint (2007)Google Scholar
- Li A, Xu R:
**A cubic form differential inequality with applications to affine Kähler-Ricci flat manifolds.***Results Math.*2009,**54:**329–340. 10.1007/s00025-009-0366-0MathSciNetView ArticleGoogle Scholar - Li A, Xu R:
**A rigidity theorem for affine Kähler-Ricci flat graph.***Results Math.*2009,**56:**141–164. 10.1007/s00025-009-0398-5MathSciNetView ArticleGoogle Scholar - Li A, Simon U, Zhao G:
*Global Affine Differential Geometry of Hypersurfaces*. de Gruyter, Berlin; 1993.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.