Volume 3 No. 2 Pp. 67-101 (2010) C Iejg
Volume 3 No. 2 Pp. 67-101 (2010) C Iejg
c
Volume 3 No. 2 pp. 67101 (2010)
IEJG
RAFAEL LOPEZ
(Communicated by H.Hilmi HACISALIHOGLU)
Abstract. This is an expository article. It discusses some topics on the theory of constant mean curvature (CMC) surfaces with non-empty boundary.
The paper starts with a simple introduction to the mean curvature of a surface giving different physical and mathematical motivations. Next we analyze
the mean curvature equation giving the Tangency Principle and the Alexandrov reflection method. The main part of the work focuses in surfaces with
non-empty boundary showing how the geometry of the boundary imposes geometrical restrictions to the surface. Finally we discuss the Dirichlet problem
associated with the mean curvature equation and some of the techniques employed in this context.
Contents
1. The mean curvature of a surface
2. CMC surfaces
3. Some special CMC surfaces
4. The constant mean curvature equation
5. The Alexandrov theorem
6. The effect of the boundary in the shape of a CMC surface
7. Some uniqueness results on CMC surfaces
8. Embedded CMC surfaces
9. CMC surfaces with circular boundary
10. Two equations for CMC surfaces
11. The Dirichlet problem of the CMC equation
References
68
72
76
78
81
82
87
89
92
94
97
100
68
RAFAEL LOPEZ
(t) =
f 00 (t)
.
(1 + f 0 (t)2 )3/2
69
H(p) =
RAFAEL LOPEZ
70
1
(v (0) + w (0)).
2
As consequence, one can compute the mean curvature H along two any
orthogonal directions.
(3) As an application, consider a surface given as a graph z = f (x, y) and
we calculate the mean curvature at a point p. After a rigid motion of the
space, we assume that p = (0, 0, 0) and that the tangent plane is horizontal.
Consider the parametrization X(x, y) = (x, y, f (x, y)), with f (0, 0) = 0.
The tangent plane at p is generated by the vectors x X and y X, that is,
(1, 0, fx ) and (0, 1, fy ). Because the tangent plane is horizontal, fx (0, 0) =
fy (0, 0) = 0. Thus the intersection of M wih each one of the coordinate
planes {y = 0} and {x = 0} determine orthogonal curves at p. These curves
are (x, 0, f (x, 0)) and (0, y, f (0, y)) and the curvatures as curves are given
by (1.1):
fxx
(0, 0) = fxx (0, 0),
(1 + fx2 )3/2
fyy
(0, 0) = fyy (0, 0).
(1 + fy2 )3/2
Finally
H(p) =
1
1
fxx (0, 0) + fyy (0, 0) = f (0, 0).
2
2
71
1
trace (dNp ).
2
e=
, f=
, g=
.
2
2
EG F
EG F
EG F 2
Proof. Consider X = X(u, v) a local parametrization of M with the Gauss map
N = (Xu Xv )/|Xu Xv |. If B = {Xu , Xv } is a basis of the tangent plane of M
at X(u, v), we denote the matrix of dNp with respect to B as
a b
dNp
:= A.
c d
On the other hand,
p (w1 , w2 ) = hdNp (w1 ), w2 i = hAw1 , w2 i.
RAFAEL LOPEZ
72
f
g
,
hXu Xv , Xuu i
det(Xu , xv , Xuu )
= e.
=
|Xu Xv |
EG F 2
Then
w1T
e
f
f
g
w2 = (Aw1 )
E
F
F
G
w2 A =
e
f
f
g
E
F
F
G
1
.
We compute the mean curvature H for two spacial surfaces of Euclidean space.
(1) If the surface is the graph of a function z = f (x, y), we take X(x, y) =
(x, y, f (x, y)) as a parametrization. Then (1.2) gives
H(x, y, z)
=
=
(1.3)
f
1
div p
.
2
1 + |f |2
H=
1 + r02 rr00
.
2r(1 + r02 )3/2
2. CMC surfaces
The simplest case of mean curvature function is that H is constant. Does have
any physical meaning the fact that the mean curvature is constant? Surfaces with
constant mean curvature are solutions of a variational problem. We consider a
compact surface M with possible non-empty boundary M . Let x : M R3 be a
isometric immersion. A variation of x is a differentiable map X : M (, ) R3
such that
(1) For each t, Xt : M R3 given by Xt (p) = X(p, t), is an immersion.
(2) X(p, 0) = x(p), that is, X0 = x.
(3) X(p, t) = x(p) for any t (, ) and p M . This means that the
variation preserves the boundary.
We define the area and volume functionals A, V : (, ) R, as
A(t) = area(Xt ),
or
Z
A(t) =
1 dMt ,
M
V (t) = volume(Xt ),
1
V (t) =
3
Z
hXt , Nt i dMt .
M
73
We focus in the variations that preserve the volume, that is, V (t) = V (0) for any
t. We ask for those immersions x, such that A0 (0) = 0.
Theorem 2.1. An immersion of a compact surface in Euclidean space has constant mean curvature (CMC) iff it is a critical point of the area functional for any
preserving volume variation.
General texts on CMC surfaces, with physical interpretation of these surfaces,
are [12, 14, 28]
We show Theorem 2.1 in the case that the surface is a graph. Consider M given
as a graph of a function f defined on D R2 . Consider a variation Mt as graphs
on D where
(1) g : D (, ) R, with Mt = g(M {t}) and g(x, y, 0) = f (x, y). This
means that at t = 0, we have the original graph M .
(2) g(x, y, t) = f (x, y) for any (x, y) D. With this condition, the variation
preserves the boundary of M .
The area of Mt is
Z
Z q
1 + gx2 + gy2 dxdy.
A(t) =
1 dMt =
M
In the last identity we have used the divergence theorem, where ~n is the outer unit
normal vector to D. The first integral vanishes because g(x, y, t) = f (x, y) for any
(x, y) D, and so, gt (x, y, 0) = 0 on D. Then
Z
Z
A0 (0) =
gt divT (f )(x, y, 0) dxdy = (2H)gr (x, y, 0)dxdy.
D
If H = 0, then A0 (0) = 0 for any g. Assume now that A0 (0) = 0 for any preserving
volume variation of M . We consider an appropriate variation g given by:
g(x, y, t) = f (x, y) + tHp(x, y)(x, y),
R
where p(x, y) > 0 on D and p = 0 on D. Then gt = Hp and so, M pH 2 dM = 0
and thus, H = 0. As conclusion we have proved that H = 0 on the surface if and
only if the surface is a critical point of the functional area.
If we Rassume that the variation preserves the volume, we have the constraint
V (t) = D g dxdy = constant. If t = 0 is a critical point of A(t), the theory of
Lagrange multipliers implies the existence of a constant R such that
A0 (0) + V 0 (0) = 0.
RAFAEL LOPEZ
74
Z
gt (x, y, 0) dxdy.
D
Then
A0 (0) =
Z
gt (2H + )(x, y, 0) dxdy.
D
(Laplace)
for each p SLA . Here PL and PA are the pressures in the liquid and air. The
constant is the surface tension coefficient of the liquid and H is the mean curvature
of the interface SLA . The coefficient is determined by chemical and physical
properties of the liquid and it measures the intermolecular forces that exist in the
liquid which are necessary to move the molecules from inside to the SLA interface.
If the pressures in both sides of the interface are constant, then the interface is a
surface with constant mean curvature.
In our system, the only force acting on the interface is the surface tension. This
force is proportional to the area of this interface. Then the energy is proportional
to the area of SLA . We remark that the volume of the drop remains constant. If
we perturb the drop, the liquid tries to reduce its energy (proportional to the area
of SLA ) and when this occurs, this interface has constant mean curvature. Thus we
can say that the shapes of (small) liquid drops are modeled by CMC surfaces. We
suggest the amazing book of de Gennes [7], Nobel Prize in Physics, where shows
75
Xu +
+
Xv + 2HE 2 N = 2HE 2 N.
2E
2G
2G 2G
Thus we have proved
Theorem 2.2. Let X : D R3 an immersion in isothermal coordinates. Then
H = 0 if and only if X is a harmonic map.
This result says us the strong relation between minimal surfaces and harmonic
maps. We can continue as follows. Let write X(u, v) = (x1 (u, v), x2 (u, v), x3 (u, v))
the coordinates functions of a minimal surface and let z = u + iv. We define
: D C C, 1 i 3 as
1 = (x1 )u i(x1 )v ,
2 = (x2 )u i(x2 )v ,
3 = (x3 )u i(x3 )v .
|1 |2 =
3
3
X
X
(xi )2u +
(xi )2v = |Xu |2 + |Xv |2 = 2E.
i=1
i=1
RAFAEL LOPEZ
76
= 2Hr
= 2Hrr0 .
02
3/2
(1 + r )
(1 + r02 )3/2
1 + r02
1 + r02
This writes as
d
r
Hr2
= 0,
ds
1 + r02
and a first integral is
r
Hr2
=c
1 + r02
for an integration constant c. The function r cannot be completely integrated because the ordinary differential equation involves elliptic integrals.
Delaunay discovered that the geometry of the generating curve (r(s), 0, s)
is focus of a conic that rolls on a straight-line, being this line the axis of
revolution: see Figure 4. See also [6].
(3.1)
r0
1
r
s
r
=c
= arc cosh( ) = + , R.
02
2
2
c
c
c
1+r
r c
77
s
r(s) = c cosh( + ).
c
The profile curve is a catenary and the corresponding surface is called a
catenoid. See Figure 6.
Theorem 3.1. Planes and catenoids are the only minimal rotational surfaces.
RAFAEL LOPEZ
78
.
1 + f 02
1 + g 02
Since one side is a function depends on x and the right one depends on y,
there exists a constant c R such that
g 00
f 00
=
= c.
1 + f 02
1 + g 02
A simple integration gives, up constants,
1
1
f (x) = log cos(cx) , g(y) = log cos(cx) ,
c
c
or
!
1
cos(cy)
z(x, y) = log
.
c
cos(cx)
This surface is called a Scherks surface and it appears in Figure 7.
(fx , fy , 1)
N (x, y, f (x, y)) = q
,
1 + fx2 + fy2
79
where the subscripts indicate the correspondent derivatives. We know from (1.3)
that the mean curvature H of S satisfies the following partial differential equation:
(4.2)
RAFAEL LOPEZ
80
The next two results say that CMC surfaces minimize area, at least locally.
Theorem 4.2. Let M be a minimal compact surface with boundary M . If M is
a graph, then M has least area among all graphs with the same boundary than M .
Proof. Let z = f (x, y) a minimal graph, where f is defined in some domain D R2 ,
and the boundary of the surface is the curve C = {(x, y, f (x, y)); (x, y) D}.
Let g other differentiable function on D such that f = g along D and denote
M 0 = graph(g). Consider the Gauss map N on M :
1
(f, 1).
N (x, y, f (x, y))) = p
1 + |f |2
From (1.3), we deduce divT (f ) = 0. Consider W the enclosed domain by M M 0
and define on W R3 the vector field
X(x, y, z) = N (x, y, f (x, y)).
See Figure 9. We compute the divergence (in R3 ) of X, that is,
DIV(X) =
fx
q
1 + fx2 + fy2
+
x
fy
q
1 + fx2 + fy2
1
q
1 + fx2 + fy2
!
= 0.
z
M0
M0
Then
Z
area(M ) =
Z
hNM , NM 0 i
M0
1 = area(M 0 ).
M0
81
eg
if,
2
where {e, f, g} are the coefficients of the second fundamental form. Then
|| =
E2
|1 2 |.
2
This means that the zeroes of agree with the umbilical points. Moreover,
(e g)v
fu = E 2 Hv ,
2
(e g)u
+ fv = E 2 Hu .
2
Then
Theorem 5.2. An immersion X has constant mean curvature iff is holomorphic.
In particular, umbilical points are isolated, or the immersion is umbilical.
The proof of Hopf theorem consists to consider a complex structure on M . Since
M is a topological sphere, M is conformally equivalente to C with its usual analytic
structure. The function defines a holomorphic function on C which is bounded.
Thus = 0, that is, X is umbilical, that is, X(M ) is a round sphere.
In order to study the closed surfaces with constant mean curvature in Euclidean
space, Alexandrov proved in 1956 that any embedded closed CMC surface in R3
must be a round sphere. An embedded surface in R3 is a surface without selfintersections. For longtime, it was an open question if spheres were the only closed
CMC surfaces in R3 . If a such surface would exist, it would be a surface with
self-intersections and higher genus. In 1986, Wente succeeded by constructing an
explicit immersed torus with constant mean curvature [34]. This discovery activated
a great work in the search of new examples of closed CMC surfaces.
We show the Alexandrov result.
Theorem 5.3 (Alexandrov). The sphere is the only CMC closed surface that is
embedded [1].
82
RAFAEL LOPEZ
Figure 10. (left) Wente torus; (right) CMC surfaces with higher
genus and topology.
The proof of this theorem is geometric and it is based on the Maximum Principle of linear elliptic equations. Equation (4.2) may written as
!
f
(5.1)
Q(f ) := div p
= 2H,
1 + |f |2
where div y stand for the divergence and gradient operator respectively. In PDE
theory, this equation is an elliptic equation of divergence type. If two functions f1
and f2 satisfy (5.1), then
Q(f1 ) Q(f2 ) = L(f1 f2 ) = 0,
where L is a linear elliptic operator. For linear equations, the Maximum principle
asserts that the maximum of the function occurs at boundary points. A general
reference in elliptic equations is [8]. This geometrically translates for CMC surfaces
as follows:
Theorem 5.4 (Tangency principle). Let M1 and M2 two surfaces with the same
(constant) mean curvature. Assume that M1 and M2 are tangent at some point p
and both orientations agree at p. If one surface lies in one side of the other one,
then M1 = M2 agree in an open set around p.
See Figure 11. The proof of the Alexandrov theorem uses a method of reflection
that allows us to compare the surface with itself and next, to apply the Tangency
principle. One concludes that the surface has symmetries in each direction: see
Figure 12
83
RAFAEL LOPEZ
84
the bubble perturbs and changes of shape, but when the soap bubble attains a new
position of equilibrium, the surface formed is the original spherical cap again.
After these considerations, it is natural to ask: what is the shape of a mathematical soap bubble with circular boundary?
Surprisedly, and besides the spherical caps, there exist non-spherical mathematical soap bubbles and spanning circular boundaries. These surfaces were obtained in
1991 by Kapouleas founding other examples of CMC surfaces bounded by a circle
[13].
This means that our knowledge about the structure of the space of CMC surfaces
bounded by a circle is really small and only a few particular situations have been
considered. Moreover, the proofs of Hopf and Alexandrov theorems can not carry
to our context of non-empty boundary. This fact, together the lack of examples of
CMC surfaces bounded by a circular circle, says that although the problems in the
non-empty boundary case have the same flavor as in the closed one, the proofs are
more difficult.
The theorems of Hopf and Alexandrov, even the Maximum principle, can see as
results of uniqueness in the family of CMC surfaces. In the case of CMC compact
surfaces with boundary, the simplest result is for graphs, that is, given a value
of H and a boundary curve C, there exists a unique graph bounded by C with
constant mean curvature H. We begin this section obtaining an balancing formula
for CMC compact surfaces of R3 . First, we precise the definition of boundary of
an immersion. Let x : M R3 be an immersion from a compact surface and let
C R3 a closed curve. We say that C is the boundary of x if x|M C is a
diffeomorphism.
We have seen that if C is a circle of radius r, the possible values of mean curvatures H for spherical caps bounded by C lies in the range [1/r, 1/r]. Thus, the
boundary C imposes restrictions to the possible values of mean curvature. This
occurs for a general curved boundary. Consider M a compact CMC surface with
boundary M = C and let Y be a variational field in R3 . The first variation formula
of the area |A| of the surface M along Y gives
Z
Z
Y |A| =
2HhN, Y i dM
hY, i ds,
M
where N is an orientation of M , H is the mean curvature according to N , represents the inward unit vector along M and ds is the arc length element of M . Let
us fix a vector a R3 and consider Y the vector field of translations in the direction
of a. As Y generates isometries of R3 , the first variation of A is 0. Because H is
constant, we have
Z
Z
(6.1)
2H
hN, ai dM +
h, ai ds = 0.
M
The first integral changes into an integral on the boundary as follows. The divergence of the vector field Zp = (p a) N , p M , has div(Z) = 2hN, ai. Here
denotes the cross product of R3 . The divergence theorem, together with (6.1),
yields
Z
Z
(6.2)
h, ai ds + H
h 0 , ai ds = 0,
M
85
the area (the potential) is invariant under the group of translations of Euclidean
space. On the other hand, the formula can be viewed as the physical equilibrium
between the forces of the surface tension of M that act along its boundary with
the exterior pressure forces that act on the bounded domain D by C. See Figure
14. If the boundary C lies in the plane P = {x R3 ; hx, ai = 0}, for |a| = 1, then
ds <
1 ds = length(C),
1 + |f |2
D
D
where ~n is the unit normal vector to D in P . Then,
|H| <
length(C)
.
2 area(D)
Remark 6.2.
(1) Assume that M is a compact surface and x : M R3 an
immersion with non-necessarily with constant mean curvature. In the proof
of balancing formula we have seen
Z
Z
2
hN, ai dM =
h 0 , ai ds.
M
M0
RAFAEL LOPEZ
86
Thus
Z
(6.5)
hNM 0 , ai dM +
2H
M0
h, aids = 0,
M
Theorem 6.1. The only CMC compact surfaces bounded by a circle making a
constant angle with the plane containing the boundary are planar discs and spherical
caps [21].
Proof. After a homothety, we assume the plane P is given by {(x, y, 0) R3 } and
C is a circle of radius 1 with center at the origin. Let M be a compact surface with
constant mean curvature H and with boundary C. If H = 0, M is a minimal surface
and the Maximum Principle concludes the surface is the planar disc bounded by
C. Next suppose that H 6= 0. Since the surface makes constant angle with P along
, the function h, ai is constant, where is the inner conormal along C and a
denotes the vector (0, 0, 1). We choose an orientation on C such that {0 , , N }
and {, 0 , a} are positively oriented orthonormal basis, where x is the immersion
of M in R3 , and 0 is a unit tangent field along C. The boundary M is a line of
curvature, because hN, ai is constant along M . Then
0 = hN 0 , ai (0 , 0 )h0 , ai (0 , )h, ai = (0 , )h, ai.
Therefore (0 , ) = 0 along M . Because the boundary is a circle and {, 0 , a}
is a positive oriented basis of R3 ,
hN, i = h0 , i = h 0 , i = h, ai.
Since 1 = h, i = hN, i2 + h, ai2 , and hN, ai is constant, the function h, ai is
constant too. From (6.2),
Z
Z
h, ai
1+H
1 = 0.
M
87
Corollary 6.1. Let C be a circle of radius r. Then the only compact surfaces with
constant mean curvature |H| = 1/r bounded by C are the halfsphere of radius r [4].
Proof. The balancing formula (6.2) gives
Z
Z
h, ai = H
h 0 , ai = 2Hr2 = 2r.
M
Then
Z
2r =
Z
h, ai
1 = 2r.
Thus |h, ai| 1 along M and so the surface makes constant angle with this plane
along the boundary and the above theorem ends the proof.
7. Some uniqueness results on CMC surfaces
In this section we will obtain a type of control of the shape of a CMC surface
with boundary using the Tangency Principle and the flux formula. We begin with
CMC surfaces included in right-cylinders. The setting is the following. Let R2
be a planar domain included in a plane P . We ask for those CMC surfaces with
boundary and included in R. For example, if the surface is a graph G, we
know that G lies in R. Moreover, it lies in one side of P . We have the following
Theorem 7.1. Let M be an embedded CMC surface bounded by . If M R,
then M is a graph on [26].
Proof. The proof uses the Alexandrov reflection method with horizontal planes.
Let Pt = {x R3 ; hx, ai = t}, with P0 = P and a = (0, 0, 1). Let m > 0 sufficient
big so that the reflection of M with respect to P lies above the plane Pm . Consider
W the interior domain bounded by the closed, non-smooth, surface
M ( [m, 0]) ( {m}).
We begin with planes for t >> 0. After the first intersection point, we go reflecting
the part of M above Pt with respect to this plane until the first time that the
reflection touches the part of M below Pt . If this point is a tangent point, Maximum
Principle assures us that the plane is a plane of symmetry. Since M has boundary,
this occurs only when t = 0, and then M is closed surface: contradiction. Therefore
the Alexandrov method shows that we can arrive until t = 0 and not tangent points
exist, that is, M is a graph on .
Consider now CMC surfaces not necessarily embedded.
Theorem 7.2. Let be a bounded domain in a plane P and let G be a graph on
with constant mean curvature H and bounded by = . Then, up reflections,
G is the only compact surface immersed in Euclidean space with constant mean
curvature H bounded by and included in the cylinder R [26].
Proof. Let M be a compact CMC surface with the same boundary than G and such
that M R. Without loss of generality, assume that H is positive and that
G lies above P . Thus the orientation NG on G points downwards. Denote by NM
the orientation on M . First we prove that G lies above on M unless that M = G.
On the contrary case, if M has points above G, we move up G until it does not
intersect M . This is possible by the compactness of both surfaces. Next we move
down G until the first contact point p with M . Then p is not a boundary point
RAFAEL LOPEZ
88
and the Maximum Principle gets a contradiction because the mean curvature of G
is positive.
Thus we move down G until its original position. If at this moment there exists
a tangent (interior or boundary) point, the Tangency Principle says that M = G.
On the contrary, M lies strictly below G and the slope of M along is strictly
less than the one of G.
We do a similar reasoning with the the reflection G of G with respect to P . As
consequence, either M = G of M = G (and the proof finishes) or M lies in the
domain determined by GG . See Figure 15. Let G , M be the inner conormals of
G and M respectively. Balancing formula (6.2) gives in each one of both surfaces:
Z
Z
hM , ai .
(7.1)
2H area() =
hG , ai,
2H area() =
But along we have the strict inequality |hM , ai| < hG , ai. An integration along
the boundary gives a contradiction with (7.1).
89
Theorem 7.3. Let C be a convex curve and denote de bounded domain bounded
by C. Then there exists H1 > 0 depending only on C such that if |H| < H1 , any
Hildebrandt solution bounded by C and with mean curvature H is a graph.
Proof. Consider H0 the positive number such that for any H, |H| < H0 , there
exists a graph on spanning C. On the other hand, because C is a convex curve,
let R0 > 0 such that if R > R0 , any circle of radius R containing C in its interior,
can roll in such way that the circle touches every point of C. This follows if
R0 = 1/ min , with the curvature of C. Let H1 = min{H0 , R10 }.
Let R1 = 1/H1 . Then R1 R0 and so, C is included in the ball BR1 . Consider
|H| < H1 and R = 1/|H|. Then C is included in BR because BR1 BR . Let M be
the Hildebrandt solution corresponding to (H, BR ). Since the mean curvature of
the sphere BR is |H|, we can move BR in any direction being not possible to have
a tangent point with M , unless that the point lies in the boundary of the surface.
Moreover, the radius of BR is R > 1/H1 R0 . Thus we can place BR such that C
lies in the domain determined by an equator of BR . Then it is possible to roll BR
such that touches each point of C. This shows that M lies in R. Theorem 7.2
proves that M must be a graph.
We end this section with the next result ([3]):
Theorem 7.4. Let M be a compact surface with constant mean curvature H and
bounded by a circle C. If M lies in a ball of radius 1/|H|, then M is a spherical
cap.
Proof. By basic geometry, the radius of C is r, with r 1/|H|. The mean curvature
of the ball B of radius 1/|H| is |H| with the unit normal pointing inside. The
Tangency Principle shows that if we move B in any direction, it can not exist a
tangent point with the surface, unless that M is a spherical cap.
On the contrary, M lies between two small spherical caps (and included en B)
with the same mean curvature as M . Now we apply Theorem 7.2 since there are
graphs (spherical caps): contradiction.
8. Embedded CMC surfaces
We consider embedded surfaces with constant mean curvature and with nonempty boundary C. Assume that C is a planar curve contained in a plane P . Now
we have
Theorem 8.1. Let M be a CMC embedded surface bounded by a circle. If M lies
in one side of P , then M is a spherical cap.
Proof. We use the same technique of Alexandrov as in Theorem 5.3. We attach to
the surface the disc bounded by C, obtaining a domain W . We have to show that M
is rotationally symmetric with respect to the line L orthogonal to P containing the
center of C. Now we take v a orthogonal direction to L. See Figure 16. We consider
the uniparametric family of planes orthogonal to v. Coming from t = , we arrive
to M and we begin with the reflection process until the first time of contact. If
this time is before to arrive to L, then the contact point must be interior, because
the surface lies over P . This is impossible by the Maximum Principle. Thus, we
arrive until the position that the plane contains L. If there is a contact point, then
the plane is a plane of symmetry. On the contrary, we begin from t = . Then
90
RAFAEL LOPEZ
91
Theorem 8.3. Let C be a closed curve included in a plane P and denote D the
domain bounded by C. Assume that M is a CMC embedded surface bounded by C.
If M ext(D) = , then M lies in one side of P [15].
RAFAEL LOPEZ
92
93
Squaring,
4 2 (1 H 2 )
Z
hN, ai
Z
=
R
C
Z
2 hN, ai2
!C
2
1 h, ai
2
C
This implies
umbilical.
2
= 4 2
h, ai2 .
We report here recent results that characterize spherical caps in the family of
CMC surfaces with circular boundary.
Theorem 9.2. Let C be a circle of radius R and let M be a compact surface
spanning C and with constant mean curvature H. Then M is a spherical cap if one
of the following conditions holds:
(1) The surface is embedded and lies over the plane containing C.
(2) The surface is embedded and does not intersect the exterior domain of the
circle in the boundary plane.
(3) The mean curvature satisfies |H| = 1/R.
(4) The surface is included in a closed ball of radius 1/|H|.
(5) The surface is embedded and transverse to the boundary plane along the
boundary.
(6) The surface is a minimizer surface [16].
(7) The surface is stable with free boundary supported in a plane [17].
(8) The surface is a topological disc with area less than the area of the small
spherical cap with mean curvature H and boundary C.
(9) The volume is less than the volume of a hemisphere with the same mean
curvature [26].
(10) The surface is embedded and included in a slab of width 1/|H| [19].
RAFAEL LOPEZ
94
(10.2)
Here 0 is the usual connection on R3 , : Tp M Tp M R is the second fundamental form, A : Tp M Tp M , A = (dN ), is the Weingarten map.
Given a (smooth) function f on M , we define the gradient of f , f , as the vector
field given by
h(f )p , vi = (df )p (v),
v Tp M.
P2
If {e1 , e2 } is an orthonormal basis on Tp M , then (f )p = i=1 (df )p (ei )ei .
If X is a vector field on M , the divergence of X is the function div(X) defined
as
div(X)(p) = trace v 7 v X ,
where is the Levi-Civitta connection on M . Finally, the Laplacian of f is defined
by
f = div(f ).
If we fix M , there exists an orthonormal basis on Tp M , {e1 , e2 } such that
(ei ej )p = 0. Then (ei ej )p is orthogonal to M at p and then
X
X
X
f (p) =
hei , ei f i =
ei hei , f i
h0ei ei , f i
X
X
(10.3)
=
ei hei , f i =
ei (ei (f )).
In this section, we compute the Laplacian of two functions defined in a CMC
surface and we will obtain geometric consequences. For this, we use the Maximum
Principle to the Laplacian operator: if M is a compact surface with M 6= , and
if f 0, then f maxM f .
The next result holds for any immersion independently if H is constant.
Theorem 10.1. Let x : M R3 an immersion of an orientable surface M . If
a R3 , then
(10.4)
Proof. Fix p M and take {e1 , e2 } Tp M such that (ei ej )p = 0. Using (10.1)
and (10.3)
X
X
hx, ai =
ei ei hx, ai =
ei hei , ai
i
X
X
=
h0ei ei , ai =
(ei , ei )hN, ai = 2HhN, ai.
i
95
(10.5)
||2 = 4H 2 2K.
Proof. Using (10.1) and (10.2) and because 2H = trace(A), we know that
X
X
2H =
hAei , ei i =
(ei , ei ) = h0ei N, ei i
is constant. Thus for each j {1, 2},
X
X
X
0 = ej h
0ei N, ei i =
h0ej 0ei N, ei i +
h0ei N, 0ej ei i
i
(10.6)
X
X
h0ei 0ej N, ei i =
ei h0ej N, ei i.
i
hN, ai =
ei h0ei N, ai) =
ei h0ei N, ej iha, ej i =
ei h0ej N, ei iha, ej i
i,j
i,j
XX
X
X
ei h0ej N, ei i ha, ej i +
h0ej N, ei i
ei ha, ej i
X
X
h0ej N, ei i
h0ej N, ei i
X
X
ha, 0ei ej i =
(ei , ej )2 hN, ai
ei ha, ej i
i,j
|| hN, ai.
max(hN, ai 0
Thus
hx, ai
1
hN, ai
.
H
H
RAFAEL LOPEZ
96
Corollary 10.1. Let M be a CMC embedded surface with boundary M included
in a plane P . Then the height of M with respect to P is 2/|H|.
Proof. We use the Alexandrov method with respect to horizontal planes. Because
there is not a contact interior point, in the reflection process we descend until a
height ho with ho h/2, being h the height of M . Moreover, the part of the
surface over the height ho is a graph and its height h ho is less than 1/|H|. Thus
h/2 < 1/|H|.
Using the same idea as in Theorem 9.1, we have the next result on uniqueness
of graphs without the use of the Maximum Principle.
Theorem 10.4. Let M be a compact CMC surface bounded by a round circle C.
If M is a graph, then M is a planar disc or a spherical cap.
Proof. We assume that the radius of the circle is 1 and we use the same notation
as in Theorem 9.1. We apply the divergence theorem in Equation (10.5) and we
get
Z
Z
2
(10.7)
|| hN, ai dM =
hdN , ai ds.
M
We study each side of (10.7) and we begin with the left-hand side. We know that
Z
Z
Z
2H
hN, ai = h, ai = 2H
hN, ai = .
M
2H (0 , 0 ) = 2H + hdN 0 , 0 i
hdN , ai ds 2H 2 .
Finally, from (10.8) and (10.11), we obtain equalities in (10.7) and so ||2 = 2H 2
on M . Then M is an umbilical surface.
97
LhN, ai = 0
and
hN, ai < 0,
where N is the orientation on t and a = (0, 0, 1). Hence, and using the implicit
function theorem for Banach spaces, h is locally invertible. This shows that there
exists a solution ut of (Pt ) for values of t around .
Finally, it remains to be proved that J is closed in [0, 1]. The Schauder theory
reduces the question to establish a priori C 0 and C 1 estimates of each solution ut
of (Pt ) independent of t, that is, it suffices to prove that there exists a constant M
independent of t such that
sup |ut | M, sup |ut | M.
RAFAEL LOPEZ
98
The value of |ut |, that is, the height of t is controlled by a universal constant.
Exactly, the height of t is less than the one of because tH < H: see Corollary
4.3. Finally, the height of is given by Theorem 10.3. Then (putting = 0)
u0 < ut < u1 1/|H|.
Now we seek a priori estimates for |ut |. By the expression of N in terms of
ut , we know
1
.
(11.4)
hN, ai = p
1 + |ut |2
But Equation (11.3) tells us that hN, ai 0 and so, the minimum of hN, ai is
attained at a boundary point of . By combining with (11.4), we conclude
sup |ut | = sup |ut |.
At this moment, and for each particular case of domain , we shall need suitable
surfaces as barriers to compare the slope of the graph of ut along its boundary.
Theorem 11.1. The Dirichlet problem (11.1)-(11.2) for = 0 has a solution if
one can establish C 1 -a priori estimates of a solution along the boundary .
When is a bounded convex domain, the classical result of the existence for
Equation (11.1) is due to Serrin [31]:
If the curvature of with respect to the inner orientation satisfies 0 < 2|H| < , then for an arbitrary smooth function on ,
there exists a unique solution of (11.1) with u = along .
However, if = 0 on , one expects that the range of possible H is bigger, as it
happens when is a round disc: in this case, if the radius is 1, = 1, and there
exist graphs for |H| < 1.
Theorem 11.2. Let be a bounded convex domain. If one of the following assumptions holds, then there is a solution of (11.1) for u = 0 along :
(1) 0 < |H| < , where is the curvature of [21].
(2) is included in a strip of width 1/|H| [22].
In this theorem, pieces of spheres and cylinders are used as barriers since they
fit well with the convexity of the domain .
We explicit the proof for the case (2) in Theorem 11.2. First, we claim: there
exists a number > 0, = (, H), such that if M is a graph on with M = ,
then the height h of M satisfies
1
(11.5)
h<
.
2|H|
Proof of the claim. Because is included in a strip of width 1/|H|, we can put
between two parallel lines L01 L02 such that dist(L01 , L02 ) < 1/|H|. Let M be a
graph on with constant mean curvature H > 0 with the downward orientation.
This means that M P + . Let SH be a half-cylinder of radius 1/(2|H|) such that
SH P + , SH P . Let remark that SH are two parallel lines L1 L2 whose
distance is 1/|H|. Let DH be strip bounded by SH . We place SH such that
L01 L02 DH (and then the four straight-lines are parallel) and dist(L1 , L01 ) =
dist(L2 , L02 ). We prove that it is possible to descend SH until to arrive the position
Li = L0i and the whole surface M lies below SH . For this, we move up SH until
it does not touch M . See Figure 21. Next, we move down. Because M and SH
99
have the same (constant) mean curvature with the downward orientation, it is not
possible to have a contact point until that SH arrives its original position. For the
same reason, we can move down SH until that SH P = L01 L02 . Thus M lies
below SH and so, the height h of M is less than the one of SH in the last position.
Now the height of SH is 1/(2|H|) , where depends only on L01 L02 , that is,
on , and the cylinder SH . We point out that we have not used that is a convex
domain.
100
RAFAEL LOPEZ
References
[1] Alexandrov, A.D.: Uniqueness theorems for surfaces in the large, V. Vestnik Leningrad Univ.,
13, No. 19, A.M.S. (Series 2), 21 (1958), 412416.
[2] Alas, L.J., L
opez, R., Palmer, B.: Stable constant mean curvature surfaces with circular
boundary, Proc. A.M.S. 127 (1999), 11951200.
[3] Barbosa, J. L.: Constant mean curvature surfaces bounded by a planar curve, Matematica
Contemporanea, 1 (1991), 315.
[4] Brito, F., Earp, R.: Geometric configurations of constant mean curvature surfaces with
planar boundary, An. Acad. Bras. Ci. 63 (1991), 519.
[5] Brito, F., Earp, R., Meeks III, W. H., Rosenberg, H.: Structure theorems for constant mean
curvature surfaces bounded by a planar curve, Indiana Univ. Math. J. 40 (1991), 333343.
[6] Eells, J.: The surfaces of delaunay, Math. Intelligencer, 9 (1987), 5357.
[7] de Gennes P. G., Brochard-Wyart F., Qu
er
e D.: Capillarity and wetting phenomena: drops,
bubbles, pearls, waves, Springer Verlag, New York, 2004.
[8] Gilbarg, D., Trudinger, N. S.: Elliptic Partial Differential Equations of Second Order, 2nd
edition, Springer Verlag, Berlin, 1983.
[9] Heinz, H.: On the nonexistence of a surface of constant mean curvature with finite area and
prescribed rectificable boundary, Arch. Rat. Mec. Anal. 35 (1969), 249252.
[10] Hildebrandt, S.: On the Plateau problem for surfaces of constant mean curvature, Comm.
Pure Appl. Math. 23 (1970), 97114.
[11] Hopf, H.: Differential Geometry in the Large, Lecture Notes in Mathematics, 1000, SpringerVerlag, Berlin, 1983.
[12] Isenberg, C.: The Science of Soap Films and Soap Bubbles, Dover, New York, 1992.
[13] Kapouleas, N.: Compact constant mean curvature surfaces in Euclidean three-space, J. Diff.
Geom. 33 (1991), 683715.
[14] Kenmotsu, K.: Surfaces with constant mean curvature, American Math. Soc., Providence,
2003.
[15] Koiso, M.: Symmetry of hypersurfaces of constant mean curvature with symmetric boundary,
Math. Z. 191 (1986), 567574.
[16] Koiso, M.: A generalization of Steiner symmetrization for immersed surfaces and its applications, Manuscripta Math. 87 (1995), 311325.
[17] Koiso, M.: The uniqueness for stable surfaces of constant mean curvature with free boundary,
Bull Kyoto Univ Educ Ser B. 94 (1999), 17.
[18] Liu, H.: Translation surfaces with constant mean curvature in 3-dimensional spaces, J. Geom.
64 (1999), 141149.
[19] L
opez, R.: Surfaces of constant mean curvature bounded by convex curves, Geom. Dedicata
66 (1997), 255263.
[20] L
opez, R. A note on H-surfaces with boundary, J. Geom. 60 (1997), 8084.
[21] L
opez, R.: Constant mean curvature surfaces with boundary in Euclidean three-space,
Tsukuba J. Math., 23 (1999), 2736.
[22] L
opez, R.: Constant mean curvature graphs on unbounded convex domains, J. Diff. Eq., 171
(2001), 5462.
101
[23] L
opez, R.: Wetting phenomena and constant mean curvature surfaces with boundary, Reviews Math. Physics, 17 (2005), 769792.
[24] L
opez, R.: On uniqueness of graphs with constant mean curvature, J. Math. Kyoto Univ.,
46 (2007), 771787.
[25] L
opez, R., Montiel, S.: Constant mean curvature disc with boundary, Proc. Amer. Math.
Soc., 123 (1995), 15551558.
[26] L
opez, R., Montiel, S.: Constant mean curvature surfaces with planar boundary, Duke Math.
J., 85 (1996), 583604.
[27] Meeks III, W.: The topology and geometry of embedded surfaces of constant mean curvature,
J. Diff. Geom. 30 (1989), 465503.
[28] Oprea, J.: The Mathematics of Soap Films: Explorations with Maple, 2000 American Math.
Soc.
[29] Osserman, R.: Minimal Surfaces, Dover, 1969.
[30] Serrin, J.: On surfaces of constant mean curvature which span a given space curve, Math.
Z. 112 (1969), 7788.
[31] Serrin, J.: The problem of Dirichlet for quasilinear elliptics equations with many independent
variables, Phil. Trans. Roy. Soc. London A 264 (1969), 413496.
[32] Steffen, K.: Parametric surfaces of prescribed mean curvature, Lectures Note in Math. vol.
1713, 211265, Springer Verlag, Berlin, 1999.
[33] Struwe, M.: Plateaus Problem and the Calculus of Variations, Mathematical Notes, Princenton University Press, Princenton, 1988.
[34] Wente, H.C.: Counterexample to a conjecture of H. Hopf, Pacific J. Math., 121 (1986),
193243.
Departamento de Geometra y Topologa, Universidad de Granada, Granada, Spain
E-mail address: [email protected]