<ph f="cmr"> </ph><ph f="cmcsc">On two-dimensional immersions of prescribed mean curvature in </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <msup> <mrow> <mo mathvariant="double-struck">R</mo> </mrow> <mrow> <mi>n</mi> </mrow> </msup> </math>

Matthias Bergner, Steffen Frohlich

27. November 2006

Zusammenfassung
[c][2cm][l]12cm We consider two-dimensional immersions of disc-type in R n .   We focus well known classical concepts and study the nonlinear elliptic systems of such mappings. Using an Osserman-type condition we give a priori-estimates of the principle curvatures for certain graphs in R 4   with prescribed mean curvature.
MSC 2000: 35J60, 53A07, 53A10 Introduction In 1917, S. Bernstein proved the following theorem:
If the twice continuously differentiable function f : R 2 R   represents a graph of a complete minimal surface in R 3 ,   then f   is linear, i.e. the minimal surface is a plane.
This result indicates the difference between linear partial differential equations and the non-linear minimal surface equation. Over the years much work has been devoted in finding new proofs and generalizations.
One method which goes back to works of E. Heinz and F. Sauvigny will be used in the paper at hand: Using isothermal parameters, a minimal surface
X   and its unit normal mapping N   in R 3   satisfy the nonlinear elliptic systems X = 0 , N = 2 K W N .   Here, K   denotes the Gaussian curvature and W   the surface area element of the immersion X .   If one can establish certain bounds on the size of X   and N ,   the gradient estimates in [3ensure upper bounds for the first and second derivatives of X   in terms of given a priori-data. A Harnack-type inequality for pseudo-holomorphic functions gives lower bounds for W .   Altogether, this gives estimates for the principle curvatures of the immersion, namely in such a way that if the surface growths to become complete, the principle curvatures vanish identically.
This method generalizes to various variational problems if the differential systems satisfy a structure condition of the form
| Z | const | Z | 2 .   For example, the mean curvature system X = 2 H W N   and the above system for N   satisfy this assumption. Some problems arise in higher codimension.
In 1964, Osserman
[5proved that a complete two-dimensional minimal surface in R n   is a plane if all of its normal vectors make a certain positive angle with a fixed axis in space. The assumption that all normals make an acute angle with some fixed direction makes the difference to the Bernstein theorem in R 3   where it is sufficient to assume that the normal of the immersion omits a certain neighbourhood of some point of the unit sphere.
Osserman's method is based essentially on results of complex analysis due to the fact that the components of a minimal surface are harmonic functions.
Although it is rather difficult to realize Osserman's condition, it is an important fact that any condition of this type is necessary for curvature estimates.
In this paper we want to examine how to apply the methods developed in
[3and [6to establish certain a priori-estimates for the principle curvatures of graphs with prescribed mean curvature.
In the first part, we concentrate on some geometric basics of two-dimensional immersion in
R n   which are motivated from [2, and we will derive nonlinear elliptic differential systems to describe the surfaces analytically. The second part contains the mentioned estimates.

1. Surfaces in R n  

The essential principles of the following are motivated from [1, [2, [5, and [10.
Let
B : = { ( u , v ) R 2 : u 2 + v 2 < 1 }   denote the open unit disc, B ¯ R 2   its topological closure. For integer n 3   we consider immersions
X = X ( u , v ) C 2 + α ( B , R n ) C 0 ( B ¯ , R n ) , α ( 0 , 1 ) ,
X ( u , v ) = ( x 1 ( u , v ) , x 2 ( u , v ) , , x n ( u , v ) ) ,
with the property rank X ( u , v ) rank ( x u 1 ( u , v ) x v 1 ( u , v ) . . . . . . x u n ( u , v ) x v n ( u , v ) ) = 2 for all ( u , v ) B .   This means that X u = X u ( u , v )   and X v = X v ( u , v )   are linearly independent at every point ( u , v ) B   and, therefore, span the two-dimensional tangent plane T X ( w ) : = Span { X u ( w ) , X v ( w ) } at w B .   There exists a normal space N X ( w )   spanned by n 2   linearly independent vectors N 1 , N 2 , , N n 2   which can be assumed to satisfy the orthonormality relations N Σ N Θ t = δ Σ Θ : = { 1 if Σ = Θ 0 if Σ Θ for all Σ , Θ { 1 , 2 , , n 2 } .   Here, by the upper t   we denote the transposed vector.
The choice of the normal vectors
N Σ ( w ) ,   Σ = 1 , , n 2 ,   is not unique.
Example 1 : The unit vectors
N 1 : = 1 1 + | φ 1 | 2 ( φ 1 , x , φ 1 , y , 1 , 0 , , 0 ) ,
N 2 : = 1 1 + | φ 2 | 2 ( φ 2 , x , φ 2 , y , 0 , 1 , , 0 ) ,
are normal to the graph X ( x , y ) = ( x , y , φ 1 ( x , y ) , , φ n ( x , y ) ) .  
Assumption: There exists an orthonormal basis N 1 ( w ) , N 2 ( w ) , , N n 2 ( w )   of the normal space N X ( w )   such that N Σ C 1 + α ( B , S n 1 ) .   In the following we will use such regular bases.

1..1 Differential geometric foundations

We consider surfaces X = X ( u , v )   immersed into the Euclidean space R n .   Inserting X = X ( u , v )   into the element d s 2 : = ( d x 1 ) 2 + + ( d x n ) 2   yields d s 2 = h 11 d u 2 + 2 h 12 d u d v + h 22 d v 2 = h i j d u i d u j   (note the summation convention in the last term) with the first fundamental form I : = ( h i j ) i , j = 1 , 2 ( X u i X u j t ) i , j = 1 , 2 R 2 × 2 .   Using conformal parameters ( u , v ) B ,   the first fundamental form appears as h 11 = W = h 22 , h 12 = 0 in B   with the surface area element W : = h 11 h 22 h 12 2 .   The second fundamental form I I Σ = ( L Σ , i j ) i , j = 1 , 2   w.r.t. the unit normal N Σ   is defined as L Σ , i j : = X u i N Σ , u j t = X u i u j N Σ t , i , j = 1 , 2 .   Consider the form ( L Σ , i k ) i , k = 1 , 2 : = ( L Σ , i j h j k ) i , k = 1 , 2 R 2 × 2   with the coefficients h i j   of the inverse of the first fundamental form, i.e. h i j h j k = δ i k   with the Kronecker symbol δ i k .  
Definition 1 : The mean curvature H Σ   in direction N Σ   is defined as H Σ : = 1 2 trace ( L Σ , i k ) i , k = 1 , 2 = L Σ , 11 h 11 2 L Σ , 12 h 12 + L Σ , 22 h 22 2 ( h 11 h 22 h 12 2 ) .  
Besides the mean curvature we introduce the Gaussian curvature w.r.t. to N Σ   as K Σ : = det ( L Σ , i k ) i , k = 1 , 2 = L Σ , 11 L Σ , 22 L Σ , 12 2 h 11 h 22 h 12 2 .   The principle curvatures κ Σ , 1 ,   κ Σ , 2   w.r.t. N Σ   are the eigenvalues of the form ( L Σ , i k ) i , k = 1 , 2 ,   that is H Σ = κ Σ , 1 + κ Σ , 2 2 , K Σ = κ Σ , 1 κ Σ , 2 .  

1..2 The differential equations

Let N Σ ,   Σ = 1 , , n 2 ,   be an orthonormal basis of the normal space. We rewrite the derivatives N Σ , u i   and X u i u j   for and i , j = 1 , 2   in terms of the moving frame X u , X v , N 1 , , N n 2 .   The following is discussed more detailed in [2.
Proposition 1 : Let N Σ ,   Σ = 1 , , n 2 ,   be an orthonormal basis of the normal space. Then N Σ , u i = L Σ , i j h j k X u k t + σ Σ , i Θ N Θ , i = 1 , 2 , Σ = 1 , 2 , , n 2 ,   with the torsion coefficients σ Σ , i Θ : = { N Σ , u i N Θ t if Σ Θ 0 if Σ = Θ ,   as well as X u i u j = Γ i j k X u k + Σ = 1 n 2 L Σ , i j N Σ   with the Christoffel symbols Γ i j k : = 1 2 h k l ( h j l , i + h l i , j h i j , l ) ,   h i j , k : = h i j , u k .  

1..3 An elliptic system for X  

Let ( u , v ) B   be conformal parameters. Then, there hold Γ 11 1 + Γ 22 1 = 0 ,   Γ 11 2 + Γ 22 2 = 0 .   Thus, the Gauss equations from Proposition 1 yield X = ( Γ 11 1 + Γ 22 1 ) X u + ( Γ 11 2 + Γ 22 2 ) X v + Σ = 1 n 2 ( L Σ , 11 + L Σ , 22 ) N Σ = 2 Σ = 1 n 2 H Σ W N Σ .   This system is called the mean curvature system.
Let | H 1 | + | H 2 | + + | H n 2 | h 0   with a real constant h 0 ( 0 , + ) .   We estimate | X | 2 h 0 | X u | | X v | h 0 | X | 2   due to W = h 11 h 22 = | X u | | X v | .   Note the quadratic growth of the gradient on the right hand side.
Elliptic systems of this structure are the matter of investigations in
[3.

2. A priori-estimates for graphs in R 4  

In this part we consider immersions
X = X ( u , v ) C 2 + α ( B , R 4 ) C 0 ( B ¯ , R 4 ) , α ( 0 , 1 ) ,
X ( u , v ) = ( x 1 ( u , v ) , , x 4 ( u , v ) ) .
Let a function ¯ ( X ) : R 4 R 4   be given. We define a scalar function ( X , Z ) : R 4 × S 3 R   by ( X , Z ) : = ¯ ( X ) Z t for X R 4 , Z S 3 .   We now consider surfaces of prescribed mean curvature = ( X , Z )   in the following sense.
Definition 2 : A surface X = X ( u , v )   is called a (conformally parametrized) surface of prescribed mean curvature : R 4 × S 3 R   if it satisfies the system
X = 2 ( X , N 1 ) W N 1 + 2 ( X , N 2 ) W N 2 ,
| X u | 2 = W = | X v | 2 , X u X v t = 0 in B
for an orthonormal basis N 1 , N 2   of the normal space.
Remarks:
Our main result is the following.
Theorem 1 :
Assumptions: Let X C 2 + α ( B , R 4 ) C 0 ( B ¯ , R 4 ) ,   α ( 0 , 1 ) ,   be a surface of prescribed mean curvature ( X , Z ) C 0 ( R 4 × S 3 , R )   with the following properties:
  • (A1) The immersion X = X ( u , v )   is a positively oriented conformal reparametrization of a graph of the form X ( x , y ) = ( x , y , φ ( x , y ) , ψ ( x , y ) ) , ( x , y ) B ¯ R ,   where B R : = { ( x , y ) R 2 : x 2 + y 2 < R 2 } ,   and φ , ψ C 2 + α ( B ¯ R , R ) .  
  • (A2) The mean curvature = ( X , Z )   satisfies | ( X , Z ) | h 0 2 for all X R 4 , Z S 3 ,   as well as | ( X 1 , Z 1 ) ( X 2 , Z 2 ) | h 1 | X 1 X 2 | α + h 2 | Z 1 Z 2 | for all X 1 , X 2 R 4 , Z 1 , Z 2 S 3   with constants h 0 , h 1 , h 2 [ 0 , + ) .  
  • (A3) The surface represents a geodesic disc of radius r > 0   and with center X ( 0 , 0 ) = ( 0 , 0 , 0 , 0 ) .  
  • (A4) With a real constant d 0 > 0 ,   the Dirichlet energy can be estimated by D [ X ] : = B | X ( u , v ) | 2 d u d v d 0 r 2 .  
  • (A5) At every point w B ,   each normal vector of the immersion makes an angle of at least ω > 0   with the x 1   -axis.
Statement: Then, for orthonormal vectors N 1   and N 2   spanning the normal space at the point X ( 0 , 0 ) ,   there exists a constant Θ = Θ ( h 0 r , h 1 r 1 + α , h 2 r , d 0 , sin ω , α ) ( 0 , + )   such that holds κ Σ , 1 ( 0 , 0 ) 2 + κ Σ , 2 ( 0 , 0 ) 2 1 r 2 { ( h 0 r ) 2 + Θ }   for the principle curvatures κ Σ , 1   and κ Σ , 2   in direction N Σ .  
Proof: The proof follows [6, § 2. It holds
κ Σ , 1 ( 0 , 0 ) 2 + κ Σ , 2 ( 0 , 0 ) 2 = 4 H Σ ( 0 , 0 ) 2 2 K Σ ( 0 , 0 ) h 0 2 + 2 | K Σ ( 0 , 0 ) |
= 1 r 2 { ( h 0 r ) 2 + r 2 | K Σ ( 0 , 0 ) | }
for Σ = 1 , 2 .   The desired estimate follows from K Σ ( 0 , 0 ) = ( X u u N Σ ) ( X v v N Σ ) ( X u v N Σ ) 2 W 2 | ( 0 , 0 )   w.r.t. a normal basis { N 1 , N 2 } .   Thus, our proof consists of two steps: First, we have to find a lower bound for the surface area element, and then an upper bound for the second derivatives of the immersion.
Remarks:
In the case of minimal surfaces, i.e. 0   , the proof yields a result of Bernstein type since the a priori constant Θ   does not depend on r   any more. For r   we obtain the
Corollary 1 : A complete minimal graph X ( x , y ) = ( x , y , φ ( x , y ) , ψ ( x , y ) )   which satisfies assumptions (A4) and (A5) is an affine plane.
Our results are motivated from [5, where curvature estimates and a Bernstein-type result for minimal immersions in R n   are proved.
Literatur

  1. Blaschke, W.; Leichtweiss, K.: Elementare Differentialgeometrie. Grundlehren der mathematischen Wissenschaften 1, Springer, 1973.
  2. Brauner, H.: Differentialgeometrie. Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig, 1981.
  3. Heinz, E.: On certain nonlinear differential equations and univalent mappings. Journal d'Analyse Math. 5, 197-272, 1956.
  4. Lawson, H.B.: Lectures on minimal submanifolds. Vol. I, Mathematics Lecture Series 9, Publish or Perish, Inc., 1980.
  5. Osserman, R.: Global properties of minimal surfaces in E 3   and E n .   Ann. Math. 80, 340-364, 1964.
  6. Sauvigny, F.: A-priori-Abschätzungen der Hauptkrümmungen für Immersionen vom Mittleren-Krümmungs-Typ mittels Uniformisierung und Sätze vom Bernstein-Typ. Habilitationsschrift, Göttingen 1988.
  7. Sauvigny, F.: Introduction of isothermal parameters into a Riemannian metric by the continuity method. Analysis 19, No. 3, 235-243, 1999.
  8. Sauvigny, F.: Partielle Differentialgleichungen der Geometrie und der Physik. Springer-Verlag, 2004.
  9. Schulz, F.: Regularity theory for quasilinear elliptic systems and Monge-Ampère equations in two dimensions. Lecture Notes in Mathematics 1445, Springer-Verlag, 1990.
  10. Weyl, H.: Zur Infinitesimalgeometrie: p   -dimensionale Flächen im n   -dimensionalen Raum. Math. Z. 12, 154-160, 1922.

Matthias Bergner, Steffen Fröhlich Technische Universität Darmstadt Fachbereich Mathematik, AG 4 Schloßgartenstraße 7D-64289 Darmstadt Germany e-mail: bergner@mathematik.tu-darmstadt.de sfroehlich@mathematik.tu-darmstadt.de