Abstract
An erratum to Lemma 2.1 in Do Carmo and Zhou (2000) is presented.
Riemannian manifold; eigenvalue; hypersurface; mean curvature
Erratum to "Bernstein-type Theorems in Hypersurfaces with Constant Mean Curvature" [An Acad Bras Cienc 72(2000): 301-310]
MANFREDO P. DO CARMO1 and DETANG ZHOU2, 3
1IMPA, Estrada Dona Castorina, 110-Jardim Botanico 22460-320 Rio de Janeiro, Brazil,
2Department of Mathematics, Shandong University, Jinan, Shandong 250100, China
3Departamento de Geometria, Universidade Federal Fluminense (UFF), 24020-140 Niterói, RJ, Brazil
Manuscript received on July 24, 2001; accepted for publication on August 1, 2001.
ABSTRACT
An erratum to Lemma 2.1 in Do Carmo and Zhou (2000) is presented.
Key words: Riemannian manifold, eigenvalue, hypersurface, mean curvature.
ERRATUM
Replace Section 2 in Do Carmo and Zhou (2000) by the following. The resulting change in the lemma will not affect the rest of the paper.
2. A RESULT ON NODAL DOMAINS
In this section we prove a result on the nodal domains of || which will be needed in our proof of main theorems. We first need to recall the definition of nodal domains.
DEFINITION. An open domain D is called the nodal domain of a function f if f (x) 0 for x int D and vanishes on the boundary of D. We denote by N(f ) the number of disjoint bounded nodal domains of f.
Now we have the following lemma which follows directly from Proposition 2.2 below. We want to thank the referee who provided the clearer proof of Proposition 2.2.
LEMMA 2.1. Let M be a hypersurface in Rn + 1 with constant mean curvature H. Then
(
(2.1)
PROOF. Let N = N(||) and D1, D2, ... , DNbe the N nodal domains of || and let
j(u) = u2 + Hu - nH2.
Then from (1.5) and Proposition 2.2 below we have functions f1, f2, ... , fN with supports in D1, D2, ... , DN respectively such that
I(fi, fi) = (|fi|2 - j(u)fi2) < 0.
Denote W the linear subspace spanned by f1, f2, ... , fN. Since they have disjoint supports, they are orthogonal and thus the dimension of W is N. The index form I( . , . ) is negative definite on W so the Morse index is greater than or equal to N.
PROPOSITION 2.2. Let (M, g) be Riemannian manifold and u ³ 0 be a continuous function satisfying the following inequality of Simons' type in the distribution sense
(2.2)
where a > 0 is a constant and is a continuous function on R. If u has a relatively compact nodal domain D, then there exists a function fD with support in D such that
(|f|2 - j(u)f2) < 0.
PROOF. Suppose that u admits a relatively compact nodal domain D. Write q : = (u) and u: = log u on D. Thus (2.2) can be written as
Then for any Lipschitz function f with support in D and vanishing at D, we have
(|f|2 - qf2) £ - a
f2|u|2 + |f - fu|2.Let f =u, for some function to be determined. We obtain
(|f|2 - qf2) £ - a
2|u|2 + u2||2.For all b such that U/2b
U, where U : = u, set b(x) =Denote D+ (resp. D_ ) the set of points in D with u(x) ³ b (resp. u(x)b). A simple calculation leads to:
(|f|2 - qf2)
u2|u|2 - |u|2.When b goes to U, the first term of right hand side tends to 0 (because |u|2 is integrable), while the second term is fixed. It follows that (|f|2 - qf2) < 0 for all functions f = bu, when b is close to U. The conclusion is proved.
E-mail: manfredo@impa.br / zhou@impa.br
- DO CARMO MP AND ZHOU D. 2000. Bernstein-type Theorems in Hypersurfaces with Constant Mean Curvature. An Acad Bras Cienc 72: 301-310.
Publication Dates
-
Publication in this collection
08 Oct 2001 -
Date of issue
Sept 2001
History
-
Received
24 July 2001 -
Accepted
01 Aug 2001