Professional Documents
Culture Documents
Faculteit Wetenschappen
Departement Wiskunde
AFDELING MEETKUNDE
Steven Verpoort
23 mei 2008
c 2008 Katholieke Universiteit Leuven — Faculteit Wetenschappen
Geel Huis, Kasteelpark Arenberg 11, 3001 Heverlee, België.
Alle rechten voorbehouden. Niets uit deze uitgave mag worden vermenigvuldigd en/of openbaar gemaakt worden door middel van druk,
fotokopie, mikrofilm, elektronisch of op welke andere wijze ook zonder voorafgaande schriftelijke toestemming van de uitgever.
All rights reserved. No part of the publication may be reproduced in any form by print, photoprint, microfilm or any other means without
written permission from the publisher.
The electronic version of this dissertation is publicly available and can be reached
by browsing the catalogue of the university library at
http://bib.kuleuven.be .
ISBN 978-90-8649-183-4
D/2008/10.705/29
KATHOLIEKE UNIVERSITEIT LEUVEN
Faculteit Wetenschappen
Departement Wiskunde
AFDELING MEETKUNDE
Steven Verpoort
23 mei 2008
PREFACE.
Approach.
i
ii PREFACE.
Acknowledgements.
This thesis contains the results which have been achieved during my term
as doctoral student at the section of geometry at K.U.Leuven, and as such
has been highly enriched by several mathematicians whom I had the op-
portunity to discuss with.
In the first place I wish to thank my colleague dr. S. Haesen
for having suggested the study of a variational problem associated to the
second fundamental form. Moreover, a substantial part of the results have
been obtained in real collaboration with him. For this and for the plenty of
motivating discussions I am very grateful.
I also wish to thank prof. dr. F. Dillen, who helpfully found
the time to share his opinion on certain parts of my work in between his
occupations as head of our section.
I gratefully acknowledge the help of my adviser prof. dr. L.
Verstraelen who has given me considerable freedom, hereby greatly con-
tributing towards the stimulating working atmosphere.
I have also had advantageous discussions with the present and
former members of our section—in particular dr. E. Boeckx, dr. J. Faste-
nakels, mr. D. Kowalczyk and dr. J. Van der Veken—as well as with ms. W.
Goemans.
It has always been a pleasure to discuss with other researchers
on several occasions. In particular, I wish to extend a word of thanks to
prof. dr. U. Abresch, who has sketched the idea of the second proof of theo-
rem 4.1; to prof. dr. J. Guven, with whom I have had instructive discussions
on infinitesimal deformations; to prof. dr. R.D. Kamien, for the pleasant
communication on the variations of the curvature of a surface; and to prof.
dr. A. Romero for various valuable remarks.
In addition, I would like to express my sincerest gratitude to
prof. dr. B.-Y. Chen and prof. dr. em. L. Vanhecke for several useful com-
ments, in particular on the method of power series expansions as applied
in § 5.7.
ii
PREFACE. iii
I cannot forget to mention prof. dr. em. U. Simon for several in-
structive remarks, and in particular for his comments on an earlier version
of the last chapter.
I am also indebted to the K.U.Leuven for having given me the
opportunity to study as doctoral bursary.
I wish to thank all staff members of Arenberg library (K.U.Leu-
ven) for having retrieved numerous journal articles.
My thanks also go to the members of the examination board:
prof. dr. F. Dillen, dr. S. Haesen, prof. dr. I. Van de Woestyne, prof. dr. L.
Verstraelen, prof. dr. W. Veys, and prof. dr. L. Vrancken.
In conclusion of this list I wish to expressly mention my parents
and my brother for their support and understanding.
STEVEN VERPOORT.
iii
iv PREFACE.
iv
TABLE OF CONTENTS.
Preface. i
Table of Contents. v
Summary. xi
2.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . 19
v
vi TABLE OF CONTENTS.
2.3.1. Introduction. . . . . . . . . . . . . . . . . . . . . 23
2.3.2. Some Technical Results. . . . . . . . . . . . . . . . 25
2.3.3. The Gaussian curvature of the Second Fundamental
Form. . . . . . . . . . . . . . . . . . . . . . . . . 28
vi
TABLE OF CONTENTS. vii
4.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . 69
5.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . 87
vii
viii TABLE OF CONTENTS.
viii
TABLE OF CONTENTS. ix
ix
x TABLE OF CONTENTS.
Bibliography. 197
x
SUMMARY.
xi
xii SUMMARY.
— Are the spheres the only ovaloids of which the II-area is stationary with
respect to all deformations under which the enclosed volume
is preserved?
— Are the spheres the only ovaloids of which the II-area is stationary with
respect to all deformations under which the (classical) area is
preserved?
— Are the spheres the only ovaloids of which the II-area is stationary with
respect to all deformations under which the total mean curva-
ture is preserved?
xii
SUMMARY. xiii
As one of the new results which is contained in this chapter, theorem 2.20
on p. 43 could be mentioned. In this theorem a modified Jellett–Minkowski
integral formula is applied in order to provide an affirmative answer to the
last question.
In the two following shorter chapters some further variational
formulae are established.
Namely, in chapter 3 some classical variational formulae, which
hold in an abstract setting, are brought together. As a by-product, some
progress concerning the second problem can be given (p. 67).
In the fourth chapter the problem of how the shape operator
of a hypersurface is altered under deformations of the hypersurface is ad-
dressed. Although some minor applications are considered, this chapter is
mainly a technical preliminary which facilitates a calculation in the fifth
chapter.
In that chapter the geometry of the second fundamental form
is studied more generally for hypersurfaces in an arbitrary semi-Riemannian
manifold. Some of the theorems which will be uncovered in this chapter
extend well-known results for surfaces in the three-dimensional Euclidean
space.
Amongst others, an expression for the scalar curvature of the
second fundamental form is given in this setting.
In the same chapter the area functional associated to the sec-
ond fundamental form of hypersurfaces is studied more closely. The con-
cept of “mean curvature of the second fundamental form,” which was given
originally by E. Glässner for surfaces in the three-dimensional Euclidean
space, will be introduced in this general context.
It turns out that several relations between these curvatures
of the second fundamental form can be satisfied only by extrinsic hyper-
spheres. As such, some new characterisations of extrinsic hyperspheres are
obtained. For example, the extrinsic spheres are the only compact surfaces
in the three-dimensional hyperbolic space endowed with a positive-definite
second fundamental form of constant Gaussian curvature.
In the last section of that chapter, the technique of power se-
ries expansions will be used in order to study the II-areas of small geodesic
hyperspheres in a Riemannian manifold.
xiii
xiv SUMMARY.
xiv
NEDERLANDSTALIGE SAMENVATTING.
xv
xvi NEDERLANDSTALIGE SAMENVATTING.
xvi
NEDERLANDSTALIGE SAMENVATTING. xvii
Eén van de nieuwe resultaten die in dit hoofdstuk bewezen wordt, is stel-
ling 2.20 op blz. 43. In die stelling wordt een gewijzigde Jellett–Minkowski
integraalformule aangewend teneinde de laatste vraag positief te beant-
woorden.
In de twee volgende kortere hoofdstukken worden verdere va-
riatieformules aangetoond.
In hoofdstuk 3 zullen namelijk enkele klassieke variatieformu-
les, die in een abstracte context geldig zijn, samengebracht worden. Als
nevenproduct wordt vooruitgang aangaande het tweede probleem geboekt
(blz. 67).
In het vierde hoofdstuk wordt de vraag, hoe de vorm-operator
(“shape operator”) van een hyperoppervlak verandert onder deformaties
van het hyperoppervlak, behandeld. Hoewel enkele onmiddellijke toepas-
singen vermeld worden is dit hoofdstuk hoofdzakelijk een technische voor-
bereiding die een berekening in het vijfde hoofdstuk zal vergemakkelijken.
In dat hoofdstuk wordt de meetkunde van de tweede funda-
mentaalvorm van hyperoppervlakken meer algemeen in een willekeurige
semi-Riemannse ruimte bestudeerd. Enkele resultaten die in dit hoofdstuk
aan het licht gebracht worden, zijn uitbreidingen van welgekende resulta-
ten voor oppervlakken in de driedimensionale Euclidische ruimte.
Zo wordt ondermeer een formule voor de scalaire kromming
van de tweede fundamentaalvorm gegeven in dit kader.
In hetzelfde hoofdstuk wordt de oppervlaktefunctionaal die
aan de tweede fundamentaalvorm geassocieerd is, onderzocht. Het con-
cept “gemiddelde kromming van de tweede fundamentaalvorm,” dat oor-
spronkelijk door E. Glässner ingevoerd werd voor oppervlakken in de drie-
dimensionale Euclidische ruimte, zal in deze algemenere context geïntro-
duceerd worden.
xvii
xviii NEDERLANDSTALIGE SAMENVATTING.
xviii
Chapter 1.
of the surface. Here it is required that the function µ is smooth and that
µ0 (p) = p for all points p of the original surface M . It should be remarked
that the deforming mapping µ t , which sends the initial surface M onto
the deformed surface
µ t (M ) = µ t (p) | p ∈ M ,
1
2 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
l'4sd
(l'l)
rMr
Figure 1.1: The deformation vector is the initial velocity vector of the trajectory
which is described by a point moving under the deformation.
Thus, this vector is the tangent vector of the trajectory which is traced out
by the point p under the deformation (see figure 1.1). Here the collection
of all vector fields on M which take values in E3 has been denoted by X(M ).
However, should the vector field Z be tangent to the surface in any of its
points, then the deformation will be called a tangent deformation. The
concept of a normal deformation is defined analogously.
We will denote I(µ t ) for the first fundamental form of µ t (M ),
which is the restriction of the Euclidean scalar product 〈· , ·〉 to the tan-
gent spaces of the surface. A similar notation will be adopted for all other
tensors defined on µ t (M ). The unit normal vector field of µ t (M ) will be
2
1.1. DEFORMATIONS OF SURFACES. 1.1. 3
denoted by Nt .
If we are to investigate the way a tensor changes under the
deformation, the way tensors on µ t (M ) shall be compared with tensors on
Ö) by
M has to be laid down. Herefore we define I(µ t
Here X(M ) and F(M ) are defined, respectively, as the set of all vector fields
on the surface M and the set of all functions mapping M in R. Then the
variation of the first fundamental form along the deformation µ is defined
as the tensor, sending a pair (V, W ) of vector fields to the function
∂
Ö)(V, W ) .
I(µ t
∂ t t=0
For all other tensors B which are defined on the set of all surfaces in E3 the
similar convention
×) = µ∗ B(µ )
B(µ t t t
of B can be expressed as
For example, for the co-ordinate coefficient II1 1 of the second fundamental
form, there holds
II1 1 = xuu , N
3
4 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
xu × x v
= xuu ,
kxu × x v k
= F1 1 (x, xu , x v , xuu )
where
4 the real-valued function F1 1 , which is defined on an open domain of
R3 , is given by
w×x
F1 1 : (v, w, x, y) 7→ y, .
kw × xk
Proof of Theorem 1.1. This basically follows from the fact that the varia-
tion of a tensor was constructed as a partial derivative.
For a parametrisation x : R2 → M ⊆ E3 of a surface M , the
composition µ t ◦ x with the deforming mapping gives us a parametrisation
of the deformed surface µ t (M ). For these parametrisations of the surfaces,
the co-ordinates of the varied tensor are nothing but the partial derivatives
4
1.1. DEFORMATIONS OF SURFACES. 1.1. 5
(In the left-hand side, co-ordinate indices with respect to the parametrisa-
tion x of M appear. The co-ordinate indices after the partial derivative in
the right-hand side refer to the parametrisation µ t ◦x of the surface µ t (M ).)
By means of (1.1), this can be re-written as
∂2
where Zuu = ∂ u2
(Z ◦ x) and so forth. The result follows from the above
expression.
Remark. Many further properties of the δ-operator are obvious. For ex-
ample, the Leibniz rule δ (B ⊗ C) = (δB) ⊗ C + B ⊗ (δB) is satisfied.
where D stands for the operation of partial derivation, i.e., the standard
connection of E3 ; that the eigenvalues of the shape operator are called
the principal curvatures λ1 and λ2 ∈ F(M ), whereas the corresponding
eigenvectors, the principal directions, are denoted by e1 and e2 ∈ X(M );
and that the mean curvature H and the Gaussian curvature K are defined
respectively as the arithmetic mean and the product of these principal cur-
vatures.
A first consequence of the above theorem 1.1 is that the vari-
ations of the mean curvature H and the Gaussian curvature K of a surface
along a tangent deformation can simply be expressed as partial derivatives
5
6 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
along the deformation vector field. More generally, the variation of any
tensor B along such a tangent deformation is given by the Lie derivative of
this tensor with respect to the deformation vector field:
δ Z H = Z [H]
δ Z K = Z [K] (Z tangent to M ).
δ Z B = L Z (B)
¬ ¶ ¬ ¶
δI (V, W ) = V, DW Z + DV Z, W .
6
1.1. DEFORMATIONS OF SURFACES. 1.1. 7
1
{
\
Figure 1.2: The unit vector field N is normal to the surfaces µ t (M ) everywhere.
Lemma 1.2.
The
i
. \ linear
.'f
l '! t
t deformation (1.2) satisfies, for every W ∈ X(M ),
'r-J
t , t r t
7
8 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
and clearly extends the inverse of the tangent mapping dµ t . Now choose
a curve α : R 7→ M : s 7→ α(s) which passes with velocity Wp through p for
parameter value 0.
∂
δA (Wp ) = − dµ← Ddµ t (Wp ) N
∂ t t=0 t
∂
= − dµ← D ∂ N
∂ t t=0 t µ (α(s))
∂ s s=0 t
∂ ← ∂
†
= − dµ t Nµ (α(s))
∂ t t=0 ∂ s t
s=0
δA (Wp )
∂ ∂ ∂
† ←
=− dµ N + N
α(s) µ (α(s))
∂ t t
∂ s s=0 ∂ s s=0
t
t=0
y y
q p
Let ∇ stand for the Levi-Civita connection of the surface. The Codazzi
equation expresses that ∇A is a symmetric tensor:
e2 λ1 e1 = λ2 − λ1 ∇e1 e2 ;
(1.6)
e1 λ2 e2 = λ1 − λ2 ∇e2 e1 .
1
The inverse of a bijection f : A → B will be denoted as f ← : B → A .
8
1.1. DEFORMATIONS OF SURFACES. 1.1. 9
e2 λ 1 ¬
¨ «
¬ ¶ ¶ ¬ ¶
δA (e1 ) = De1 De1 Z, N +
De2 Z, N − 2λ1 De1 Z, e1 e1
λ2 − λ 1
e2 λ 1 ¬
¨
¶ ¬ ¶
+ De1 Z, N + De1 De2 Z, N
λ1 − λ2
«
¬ ¶ ¬ ¶
− λ1 De2 Z, e1 + De1 Z, e2 e2 . (1.7)
←
2 (µ t ) = d(µ t ) e2 (µ t ) ∈ X(M ) ,
eØ
can be expanded in the basis e1 , e2 :
(µ ) = e1 + tζ1 e2 + O (t 2 ) ;
eØ
1 t
2 (µ t ) = tζ2 e1 + e2 + O (t ) ,
eØ
2
δA (e1 ) = δλ1 e1 + λ1 − λ2 ζ1 e2 .
e2 λ 1 ¬
¬ ¶ ¶ ¬ ¶
δλ1 = De1 De1 Z, N + De2 Z, N − 2λ1 De1 Z, e1 ;
λ2 − λ1
e2 λ 1 ¬
¶ ¬ ¶
λ1 − λ2 ζ 1 = De1 Z, N + De1 De2 Z, N
λ1 − λ2
¬ ¶ ¬ ¶
−λ1 De2 Z, e1 + De1 Z, e2 .
9
10 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
t n
Let now vp and vp stand for the tangent and the normal part of a
vector vp ∈ T p M . If the deformation vector field is decomposed as Z =
f N + Z t , the first equation can be rewritten as
2
δλ1 = Hess f (e1 , e1 ) + f λ1 + Z t [λ1 ] .
(1.8)
10
1.1. DEFORMATIONS OF SURFACES. 1.1. 11
flow of the vector field X on the surface M . Since any of these mappings
µ t (at least for small |t|) is a diffeomorphism of M onto M , equation (1.9)
gives
∂
Z
0= Area µ t (M ) = div X dΩ .
∂ t t=0
Corollary 1.5.
Let a compact surface M ⊆ E3 and a vector field X ∈ X(M ) be given.
There holds
Z
¬ ¶ ¬ ¶
λ2 ∇e1 X , e1 + λ1 ∇e2 X , e2 dΩ = 0 . (1.11)
R
Proof of Corollary 1.5. The formula expresses that 0 = div A(X ) dΩ.
Remark. Hence it can be concluded R from theorem 1.3 and corollary 1.5
that the total Gaussian curvature K dΩ does not alter under deforma-
tions. This fact was already noticed by Poisson prior to the discovery of the
Gauss–Bonnet theorem.
11
12 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
Theorem 1.6.
Let F : (u, v) 7→ F (u, v) be a function of two variables. Let a defor-
mation µ of a compact surface M in E3 withRdeformation vector field
Z = Z t + f N be given. The first variation of F (H, K) dΩ is given by
Z Z ¨
1
δ F (H, K) dΩ = ∆ Fu (H, K) + Fu (H, K) 2H 2 − K
f
2
«
+ 2 H K F v (H, K) − 2 F (H, K) H dΩ .
〈−N , P〉 : M → R
12
1.2. APPLICATIONS TO I NTEGRAL FORMULAE. . . 1.2. 13
which gives the signed distance of the tangent plane to the origin is called
the support function (see figure 1.3).
δArea(M ) = 2 Area(M ) .
13
14 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
|r)
=
HJ
UI
+-
^
tt
I
/
I
r'
l-
otr
E
4.
V
a
I
I
I
a-
^
-
l
',
'l
JI
\
\
I
t'
:
F
The first integral formula is a consequence of these two lastR equalities. The
second integral inequality similarly follows if the fact that H dΩ is homo-
geneous of the first order with respect to homothetic deformations is taken
into account.
14
1.2. APPLICATIONS TO I NTEGRAL FORMULAE. . . 1.2. 15
tion, since Vol(M ) will actually stand for the volume of the set M which
is bounded by M . The first formula (1.12) is obtained by an investigation
of the behaviour of these quantities under the unit normal deformation,
which is the linear deformation determined by the unit normal vector field.
This deformation sends the original surface into equidistant surfaces. Now
the first formula expresses that
Z
δN 〈−N , P〉 dΩ = δN (3 Vol(M )) .
M
15
16 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
Corollary 1.14.
The spheres are the only ovaloids in E3 which
R are a critical point of
the total squared mean curvature functional H 2 dΩ.
16
1.2. APPLICATIONS TO I NTEGRAL FORMULAE. . . 1.2. 17
ItRshould
be remarked
that the above functional is variationally
equivalent to H 2 − K dΩ. Since a point is umbilical if and only if the
local quadratic approximation of the surface is rotationally symmetric, this
functional can be seen as a measure for the global lack of local rotational
symmetry. The corollary gives us that the only totally umbilical surface is the
R p 2
only critical point of this “total umbilicity deficiency.” But H − K dΩ
can be ascribed to measure this deficiency as well, and the corresponding
result still holds.
Corollary 1.15.
The spheres are the only ovaloids in E3 which are a critical point of
R p 2
the functional H − K dΩ.
Bibliographical Notes for Chapter 1. The formulae for δH and δK are already described
in, e.g., [Blaschke 1923] § 117 and [Voss 1956]. With respect to theorem 1.6, see also,
e.g., [Reilly 1973] and [Nitsche 1993] and [Rosso–Virga 1999]. See also, e.g., [Minkowski
1901, Minkowski 1903, Osserman 1990] for the integral formulae. A theorem much more
general than corollary 1.8 was proved in [Christoffel 1865] (see also [Liebmann 1899b]).
17
18 1. VARIATIONAL FORMULAE FOR SURFACES IN E3 . 1.
For corollaries 1.8–1.10 see [Jellett 1853, Liebmann 1899a, Hilbert 1901, Amur 1971,
Nakajima 1926, Chern 1945]. For textbooks on the present topic, see, e.g., [Blaschke 1923,
Klingenberg 1978] and [Montiel–Ros 2005].
18
Chapter 2.
T H E G E O M E T RY O F T H E S E C O N D
FUNDAMENTAL FORM OF AN OVALOID IN
T H E T H R E E -D I M E N S I O N A L E U C L I D E A N
SPACE.
2.1. Introduction.
The second fundamental form is a traditional object of study in the classical
differential geometry of surfaces in the Euclidean space E3 . Less traditional
is the study of this form from the metrical point of view: the second funda-
mental form can be regarded as a Riemannian metric on an ovaloid.
The corresponding geometry deviates from the usual geometry
in the sense that the length of a tangent vector should be multiplied with
the square root of the normal curvature in the corresponding direction. The
present chapter focusses on the geometry which arises in this way.
In the first § 2.2, we recall how the second fundamental form
is involved in several common descriptions of the shape of a surface in E3 .
In the subsequent part of this chapter, the second fundamental
form will be seen as an abstract metrical tensor on an ovaloid, and the
corresponding geometry is the actual object of study.
In analogy with the classical study of the geometry of surfaces,
a distinction can be made here between the “intrinsic geometry of the sec-
ond fundamental form,” which is determined by measurements of II-lengths
19
20 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
on the ovaloid only, and the “extrinsic geometry of the second fundamental
form,” which is constituted of all measurements in which the geometry of
the second fundamental form is compared with the corresponding geome-
try of nearby surfaces.
The chief invariant of the intrinsic geometry of the second fun-
damental form is its Gaussian curvature.
As for the extrinsic geometry of the second fundamental form,
we will mainly devote our attention to the comparison of the areas of neigh-
bouring surfaces, as measured by means of their second fundamental form.
∂
® ¸
II V(γ(0)) , W(γ(0)) = −
N(γ(t)) , W(γ(0)) .
∂ t t=0
Hence this form records the twisting of the tangent plane along
different directions which are tangent to the surface.
According to Meusnier’s theorem, the second fundamental
form describes the normal component of curvature vectors of curves which
are situated entirely on the surface. Thus, as is indicated in figure 2.2, for
an arcwise parametrised curve γ : R → M ⊆ E3 , the normal component of
the curvature vector k = Dγ0 γ0 of this curve as seen in E3 is given by
n
k = II(γ0 , γ0 ) N .
20
2.2. FOUR GEOMETRICAL INTERPRETATIONS OF THE SECOND. . . 2.2. 21
,/t
-l
I
v
f
MsEg
Figure 2.2: The second fundamental form describes the normal components of
curvature vectors. N,1,
21
an(fr)
t4sE3
PlgE'
22 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
PlgE'
4 \
Tfll
Figure 2.3: The second fundamental form describes the deviation of the surface
from its tangent surface.
negative if the shortest connection lies on the opposite side of the tangent
plane from the unit normal.) Then, up to the sign, the restriction of the
Hessian of ψ to T p M × T p M is (for every p ∈ M ) the second fundamental
form of M at p. (A generalisation of this assertion is proved on page 77.)
This can also be stated in a slightly different way. For every
vector vp ∈ T p M (where the tangent plane T p M is seen as a plane in E3 ),
2
there holds ψ(svp ) = − s2 II(vp , vp ) + O (s3 ). This can be summarised by
saying that the deviation of the surface from its tangent plane is described
by the second fundamental form (see figure 2.3).
Finally, the second fundamental form describes the difference
between the first fundamental form of the surface and that of an equidis-
tant surface at a short distance t. Namely, the variation of the first fun-
MsE,
damental form under the unit normal deformation (see figure 2.4), which
arises if each point of the surface evolves along its unit normal vector, is
given by
δN I = −2 II.
22
,/ttl*4;
2.3. THE SECOND FUNDAMENTAL FORM AS A METRIC . . . 2.3. 23
MsE,
,/ttl*4;
Figure 2.4: The second fundamental form as the unit normal variation of the first
fundamental form.
2.3.1. Introduction.
We will now turn our attention to compact surfaces in the Euclidean space
with a positive-definite second fundamental form. Such surfaces will be
called ovaloids. This condition means that the Gaussian curvature is strictly
positive and that the unit normal vector is chosen so as to make both prin-
cipal curvatures positive. (It should be noted that we need to choose the
interior unit normal vector field on an ovaloid in order to make the second
fundamental form positive-definite.)
This condition implies that the surface is strictly convex in the
sense that it meets every of its tangent planes only in one point. (This is not
a characterisation, since a strictly convex surface may have planar points.
Consider for example the surface given by x 6 + y 6 + z 6 = 1.)
23
24 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
p
The area of this rectangle is K and this implies that the area element
p
determined by the second fundamental form is given by dΩII = K dΩ.
Furthermore, V1 = p1 e1 and V2 = p1 e2 provide us with a II-
λ1 λ2
orthonormal frame field on M (at least, if umbilics are omitted). Similarly,
W1 = λ1 e1 and W2 = λ1 e2 form a III-orthonormal frame field on M . Here
1 2
the third fundamental form is defined by III(V, W ) = 〈A(V ) , A(W )〉.
The connections of the second and the third fundamental form
are given by
←
∇V W = A ∇V (A(W )) ;
III
(2.1)
1
∇IIV W = 2
∇V W + ∇IIIV W ,
where V and W are tangent vector fields on M . These facts were found by
Weingarten (see, e.g., [Bianchi 1894], § 85). A convenient way to establish
the above relation is to verify that the mappings sending the pair (V, W )
to the right-hand side of the above equations satisfy the five conditions
24
2.3. THE SECOND FUNDAMENTAL FORM AS A METRIC . . . 2.3. 25
1
W Wi =
∇III
∇ e
K ei i
.
i
Lemma 2.1.
A function f ∈ F(M ) on an ovaloid M satisfies
A gradII f = grad f .
for all V, W, Z ∈ X(M ). The following notation will be adopted for the
different traces of the tensor L:
traceL = trace {V 7→ L(V, ·)} ∈ Λ(M ) ;
trII L = trII {(V, W ) 7→ L(V, W )} ∈ X(M ) ;
tr L = tr {(V, W ) 7→ L(V, W )} ∈ X(M ) .
25
26 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Here Λ(M ) stands for the collection of all differential forms (of first order)
on the surface. The natural logarithm (with base e) will be denoted as log.
The trace of an operator X : X(M ) 7→ X(M ) will be denoted by trace X in
this work, whereas a metric contraction of a tensor Y will be denoted by
tr Y or trII Y (depending on which metric is involved in the contraction).
Lemma 2.2.
The traces of the difference tensor L are given by
1
traceL = d log K ;
2
1
trII L = gradII log K ;
2
trL = gradII H .
Proof of Lemma 2.2. The third expression follows from the fact that every
tangent vector field X on M satisfies
¬ ¶ ¬ ¶
2 II (tr L, X ) = ∇e1 A e1 , X + ∇e2 A e2 , X
¬ ¶ ¬ ¶
= e1 , ∇e1 A X + e2 , ∇e2 A X
= e1 , ∇X A e1 + e2 , ∇X A e2
= e1 , ∇X A e1 − A(∇X e1 ) + e2 , ∇X A e2 − A(∇X e2 )
= X [λ1 ] + X [λ2 ]
= 2 II(X , gradII H) .
Lemma 2.3.
Every vector field X ∈ X(M ) satisfies
26
2.3. THE SECOND FUNDAMENTAL FORM AS A METRIC . . . 2.3. 27
Lemma 2.4.
Assume a function F : E3 → R is given. Let f stand for the restriction
of F to a surface M ⊆ E3 . On X(M ) × X(M ) there holds
27
28 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Lemma 2.5.
The shape operator satisfies
div A = 2 grad H ;
Lemma 2.6.
For a function f ∈ F(M ), defined on an ovaloid M ⊆ E3 , there holds
28
2.3. THE SECOND FUNDAMENTAL FORM AS A METRIC . . . 2.3. 29
1 1
KII = H + II(L, L) − II(gradII K, gradII K) , (2.2)
2 8K 2
or alternatively
1 λ2 λ1
=H+ e1 [λ2 ] e1 log + e2 [λ1 ] e2 log ,
4K λ1 λ2
or yet
2
K H H KX eı e
=H− II gradII , gradII +
L , .
λı λ
2 K K 2 ı
II
29
30 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
p
Thus C ¾ K and hence
Z Z Z
p
4π = KII dΩII = C K dΩ ¾ K dΩ = 4π .
p
This is only possible if C = K which implies that M is a sphere.
30
2.4. THE EXTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 2.4. 31
and this property is characteristic to the function H. Thus the mean curva-
ture of a surface in the Euclidean space can be described as a measure for
the rate of area growth under deformations of the surface.
In this section, the notion of mean curvature will be tailored to
the second fundamental form. Since we are studying surfaces the second
fundamental form of which is a Riemannian metric, areas can be measured
with respect to the second fundamental form as well, and we can associate
to any such surface M its area, as surveyed in the geometry of the second
fundamental form. This area is related to the classical area element dΩ by
Z
p
AreaII (M ) = K dΩ .
Now the “mean curvature of the second fundamental form” (HII ) will be in-
troduced as a measure for the rate at which this total II-area changes under
a deformation: Z
δAreaII (M ) = − f HII dΩII . (2.4)
Theorem 2.8.
Let M be an ovaloid in E3 . The derivative of the area functional of the
second fundamental form along a deformation µ with deformation
vector field Z = Z t + f N is given by
Z
1
δAreaII (M ) = − f H + ∆II (log K) dΩII .
4
31
32 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
2
X 1
trII Hess(log K) = Hessϕ( 1
) (ei , ei )
i=1
λi p
2 K
2
1 1
X
= ∇ei grad(ϕ( p )) , ei
λ
i=1 i 2 K
2
1 p 1
X
= ∇ei −4( K) grad( p ) , ei .
λ
i=1 i 2 K
Consequently, we have
2
p X 1
trII Hess(log K) = −4( K) Hess( p1 ) (ei , ei ) (2.5)
λ
i=1 i
2 K
1
+ II gradII (log K), gradII (log K) .
2
On the other hand, lemma 2.2 and lemma 2.6 give
1
∆II (log K) = trII Hess(log K) − II gradII (log K), gradII (log K) .
(2.6)
2
In consequence of (2.5) and (2.6), we obtain
−4
∆II (log K) = p λ2 Hess( p1 ) (e1 , e1 ) + λ1 Hess( p1 ) (e2 , e2 ) .
K 2 K 2 K
A substitution of the above equation in the first equation of this proof gives
the desired result.
32
2.4. THE EXTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 2.4. 33
Definition 2.9.
Let M be an ovaloid. The mean curvature of the second fundamen-
tal form HII is defined by
1
HII = H + ∆II (log K) .
4
If HII = 0, the surface will be called II-minimal.
1
fII =
H HII .
φ
33
34 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
are valid for deformations of the given ovaloid with deformation vector
field Z = f N . However, since the divergence proof was applied in the proof
of theorem 2.8, it is not true that δ dΩII and −HII f dΩII are identical.
A classical result, due to Beltrami, states that the mean curvature of a sur-
face M ⊆ E3 can be expressed by means of the Laplacian of the position
vector field P. This Laplacian of the position vector field is defined by
〈∆P, X 〉 = ∆〈P, X 〉 for every constant (i.e., absolutely parallel) vector field
X ∈ X(E3 ). Thus ∆ is the Laplacian of the first fundamental form of the
surface acting on the vector field P. We ask whether a similar result holds
for the Laplacian of the second fundamental form. Therefore, we define
the II-Laplacian of the position vector field similarly by the requirement
that 〈∆II P, X 〉 = ∆II 〈P, X 〉 for every constant vector field X ∈ X(E3 ).
∆P = 2H N .
34
2.4. THE EXTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 2.4. 35
•
∆P, u1 = ∆ P, u1 = ∆x = tr Hess x = tr HessX = 0 ;
• ¦ ©
∆P, u3 = ∆ P, u3 = ∆z = tr Hessz = tr Hess Z + II = 2H ,
0 = ∆ 〈P , P〉 dΩ = ∆
P , ui P , ui dΩ .
i=1
35
36 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
= − gradII log K, u1 .
2
•
Similarly, by making use of grad z = 0 and lemma 2.4, one finds
•
∆II P, u3 = ∆II P, u3 = ∆II z = trII Hessz = trII II = 2 .
− II gradII H, gradII log K +
2
grad K, grad K
4 8K
1 1 1
δN KII = H KII − ∆ log K + ∆II H −
2
grad K, grad K .
4 2 8K
(2.8)
36
2.5. THE EXTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 2.5. 37
Proof of Theorem 2.12. The unit normal variation of the second funda-
mental form is equal to δN II = −III. The variation tensor of the Levi-Civita
connection of the second fundamental form, which will be denoted by X II ,
satisfies the equation (cf. page 64)
4II X II (W, Z), V = −2 ∇IIZ III (W, V ) − 2 ∇IIW III (Z, V ) + 2 ∇IIV III (W, Z)
which can be rewritten if the Weingarten formula for the connection of the
second fundamental form is used:
It can easily be deduced from this expression that every vector field Z ∈
X(M ) satisfies
In agreement with lemma 2.1 and theorems 3.1–3.2, a fixed function f and
a fixed tensor of type (0, 2) satisfy
(
(δ gradII ) f = grad f ;
(δ trII )B = tr B .
and the variation of the II-Laplacian of the function log K, which varies
under the deformation as well, can be expressed as
δ(∆II log K) = trII δ HessIIlog K + tr HessIIlog K +∆II δ log K .
The first term on the right-hand side can be reduced with help of equa-
tions (2.10) and (2.9); the second term can be rewritten by means of an
obvious adaption of lemma 2.6; and the last term can be simplified if the
expression δN K = 2 K H for the normal variation of the Gaussian curvature
37
38 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
38
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 39
0 ¶ HII − KII
∆II K II(gradII K, gradII K) 1
= − − II(L, L)
4K 8K 2 2
∆II K
¶ .
4K
But the achieved inequality 0 ¶ ∆II K implies that K is constant. This is only
possible if M is a sphere.
39
40 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Theorem 2.15.
If M ⊆ E3 is an ovaloid, then there holds
Z Z
HII dΩ ¾ HdΩ
Theorem 2.16.
Let M ⊆ E3 be an ovaloid. Then the chain of inequalities
Z Z
4π ¶ HII dΩII ¶ H 2 dΩ
40
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 41
Consequently, M is a sphere.
The case where HII ¾ KII is covered by theorem 2.14.
Proof of Theorem 2.18 (First Version). The integral equality can be ob-
tained by the rescaling principle which has already been applied in the first
version of the proof of theorem 1.7.
41
42 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Theorem 2.19.
p
Let M ⊆ E3 be an ovaloid which satisfies HII = C K for some constant
C. Then M is a sphere.
Proof of Theorem 2.19. To prove this theorem, we observe that the con-
stant C is of necessity greater or equal than unity:
Z Z Z
p
C K dΩ = C K dΩII = HII dΩII
Z Z Z
p
= H dΩII = H K dΩ ¾ K dΩ .
Remark. The fact that C ¾ 1 can also be deduced from theorem 2.15:
Z Z Z Z
p
C H dΩ ¾ C K dΩ = HII dΩ ¾ H dΩ .
Or yet, it follows from the fact that a point p where ∆II log K (p) ¾ 0
satisfies
p 1
C H(p) ¾ C K(p) = HII (p) = H(p) + ∆II log K (p) ¾ H(p) .
4
On the other hand, an application of formula (2.11) and of an earlier-
mentioned integral formula gives
Z Z Z
p
K dΩ = AreaII (M ) = HII 〈−N , P〉 dΩII = C K〈−N , P〉 dΩ
42
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 43
Z Z Z
p
= C H dΩ ¾ H dΩ ¾ K dΩ .
Theorem 2.21.
The spheres are the only ovaloids M ⊆ E3 such that HII = C KII for
some C ∈ R.
43
44 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
The following inequalities are valid at a point p• where K achieves its max-
imal value:
• 1
0 ¾ ∆II log K = HII − H = C KII − H
4
• C
= (C − 1) H + II(L, L) ¾ (C − 1) H .
2
This only possible if C = 1, such that equality occurs in (2.12). This finishes
the proof.
Proof of Theorem 2.22. Since both members of the inequality behave ho-
mogeneously of the third degree with respect to homotheties, it is sufficient
44
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 45
to establish the theorem for ovaloids enclosing the same volume as the unit
sphere. For such an ovaloid, consider the function
Z
1
τ
+
f : , 2 → R : τ 7→ K 2 dΩ .
2 M
Z
1 2 τ
This is a convex function, for f 00 (τ) = log K K 2 dΩ ¾ 0. According
4
to the equiaffine isoperimetric inequality, f ( 12 ) ¶ 4π with equality if and
only if M is an ellipsoid. Furthermore, f (2) = 4π. This gives already that
AreaII (M ) = f (1) ¶ 4π. Moreover, equality is only possible if f ≡ 4π,
which implies that log K = 0, i.e., M is the unit sphere.
Theorem 2.23.
An ovaloid M ⊆ E3 satisfies
2
AreaII (M ) ¶ 4π Area(M ) ,
45
46 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
but it is not known whether the speres are the only ovaloids satisfying this
equation. (Theorem 2.22 gives us that the spheres are the only absolute
maximum of the constrained functional.)
A similar question is: “Are the spheres the only critical points of
the II-area functional under area constraint?” Critical points of this varia-
tional problem need to satisfy the relation
p
HII K = C H (C ∈ R) . (2.14)
(The above theorem states that the spheres are the only absolute maximum
of the constrained functional.)
However, in both cases it can be concluded that an operator-
valued equation, which is stronger than the above equations, is satisfied.
This is discussed on p. 166 and p. 67 ff, respectively.
Theorem 2.24.
Let M be an ovaloid in E3 . The variation of the functional (2.15)
along a deformation µ with deformation vector field Z = Z t + f N is
given by
46
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 47
τ ∆II K
τ
+ K 2 dΩ . (2.16)
4 K
47
48 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Theorem 2.25.
Let an ovaloid M ⊆ E3 be given. There holds:
48
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 49
Z Z
1 1 II(gradII K, gradII K)
(τ = −1) p dΩ = 〈−N , P〉 H +
K 2 K2
1 ∆II K 1
− p dΩ ;
4 K K
Z Z
(τ = 0) dΩ = 〈−N , P〉 H dΩ ;
Z Z
(τ = 1) dΩII = 〈−N , P〉 HII dΩII ;
Z Z
1 II(gradII K, gradII K)
(τ = 2) K dΩ = 〈−N , P〉 H −
4 K2
1 ∆II K
+ K dΩ ;
2 K
3 ∆II K
Z Z
3 3
(τ = 3) K dΩ =
2 〈−N , P〉 H + K 2 dΩ ;
4 K
Z Z
1 II(gradII K, gradII K)
2
(τ = 4) K dΩ = 〈−N , P〉 H +
2 K2
∆II K
+ K 2 dΩ .
K
Theorem 2.26.
Let an ovaloid M ⊆ E3 be given. There holds:
49
50 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Z Z
1 II(gradII K, gradII K)
log K dΩ = 〈−N , P〉 H log K −
4 K2
1
+ ∆II log K dΩ .
2
∂
Proof of Theorem 2.26. This is obtained by taking ∂ τ τ=0
of both sides
of (2.17).
Theorem 2.27.
An ovaloid satisfies
p
4
1¶K and HII + KII ¶ 2 H (1 − log K)
Combined with the integral equality of the previous theorem, this gives
Z
0¶ log K dΩ
Z
1
= 〈−N , P〉 H log K + 2(HII − H) + 2 KII − H − II(L, L) dΩ .
2
¶ 0.
50
2.5. SOME CHARACTERISATIONS OF EUCLIDEAN SPHERES. . . 2.5. 51
Theorem 2.28.
An ovaloid is a sphere if and only if
HII + KII ¾ 2H .
or from calculating the normal variation of both sides of the integral for-
mula for the II-area, which was previously obtained. The result can accord-
ingly be seen as an extension of the second integral formula of Jellett–
Minkowski to the geometry of the second fundamental form. Unfortu-
nately, the result is rather technical, and I was not able to concoct an appli-
cation of the formula to a unicity result for the sphere.
+ ∆II log H +
grad log H, grad log K dΩII .
2 4
R p
Proof of Theorem 2.29 (First Version). Since the integral H K dΩ
is invariant under rescalings, equation (2.18) immediately follows from
51
52 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Proof of Theorem 2.29 (Second Version). The integral equality can also
be obtained by a evalating the effect of the operator δN on both sides of
equation (2.11) on page 41. In this way, the formula becomes an applica-
tion of the first formula of theorem 2.12.
Remark.
R I was not able to establish the result starting from the fact that
0 = divII AP t dΩII .
52
2.6. CALCULATION OF THE CURVATURES FOR SOME SURFACES. . . 2.6. 53
5fr
f-
I
..r
I
I
I
^) 2,/l
I
I
I
I
I
-
I
'C\,,--l/
f-.s------
iJ
-
I
:LN
ss)
-\
o!
NI
Irl
-
I
F
-
.u
o$1'
-
-
\
F
--J
I
t ,,
I
/
of the curve z = f (x) around the x-axis (as in figure 2.5), the following
expressions for the curvatures are valid with respect to the interior unit
normal vector field:
− f 00
K = ;
f (1 + f 02 )2
1 + f 02 − f f 00
H = 3
;
2 f (1 + f 02 ) 2
2 f 00 + f 00 f 02 − f f 0 f 000
KII = p
4 f f 00 1 + f 02
p
1 + f 02 00 02 0 000
f 00 (−1 + f 02 )
− f f + f f f + ;
4 f 2 f 002 3
2(1 + f 02 ) 2
p
1 + f 02
HII = 2 003
6 f f 003 − 2 f f 0 f 00 f 000
8f f
53
54 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Figure 2.6: The ellipsoid of revolution of the last example (on page 55) together
with its generating function.
02 002 2 0002 2 00 0000
−f f + 3f f − 2f f f
f 0 f 000 f 00 − 2 f 00 f 02
+ p + 3
.
2 f 00 1 + f 02 2(1 + f 02 ) 2
(Here the left-hand side has to be evaluated at a point (x, y, z) of the sur-
face, while the value x has to be substituted in the right-hand side.)
54
2.6. CALCULATION OF THE CURVATURES FOR SOME SURFACES. . . 2.6. 55
p
Figure 2.7: The functions K (thin line) and H (thick line) drawn along the
parameter x for the ellipsoid (2.20).
4x + 2 4x − 2
H= 3
; HII = 3
. z
(4x + 1) 2 (4x + 1) 2
48 12 p1x
K= p ; KII = p ;
x(16 x + 9)2 3
(16 x + 9) 2
32 + 24 p1x 32
H= p 3
; HII = p 3
. z
(16 x + 9) 2 (16 x + 9) 2
Remark. It can be seen that the surfaces originating from the graph of
f (x) = x a (for some a ∈ ]0, 1[ ) satisfy H = HII + 2KII .
Example. The curvatures of the ellipsoid of revolution (see also figure 2.6)
55
56 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Figure 2.8: The functions KII (thin line) and HII (thick line) drawn along the pa-
rameter x for the ellipsoid (2.20).
are given by
1 9x 4 − 6x 2 + 5
K= ; KII = ;
(3x 2 + 1)2 3
4(3x 2 + 1) 2
3x 2 + 5 18x 4 + 39x 2 − 1
H= 3
; HII = 3
.
4(3x 2 + 1) 2 4(3x 2 + 1) 2
(See also figures 2.7–2.8.) Notice that the graphs of HII and KII intersect,
as they have to do by virtue of theorem 2.17. For every point p of the el-
lipsoid there has been placed a dot with co-ordinates (K(p), KII (p)) in the
figure 2.9, which may be called the (K, KII )–curvature diagram. Here it
should be remarked that according to a theorem of [Simon 1976] KII could
impossibly have been a decreasing function of K. This is indeed what we
56
2.7. INFINITESIMAL DEFORMATIONS OF SURFACES IN E3 . 2.7. 57
observe. z
1
Although it cannot be said that the study of infinitesimal deformations coincides with
the study of linear deformations. This claim is substantiated already by contrasting the pres-
ence of non-trivial isometric infinitesimal deformations of a plane with the non-existence
of non-trivial isometric linear deformations of a plane.
57
58 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
µ t = ν t + O (t 2 )
for all V ∈ X(M ). This can be seen as the analogue of the Darboux vector
field which describes the instantaneous rotation of the Frenet frame along
a curve. The infinitesimal isometric deformation is trivial if and only if Y is
a constant vector field.
Now assume Z is the deformation vector field of an infinitesi-
mal isometric deformation of a surface M of non-vanishing Gaussian cur-
vature. Let Y = Y t + ωN stand for the corresponding rotation vector field.
If equation (2.21) is substituted in the equality
DV DW Z − DW DV Z = D[V,W ] Z
(which holds for all vector fields V, W ∈ X(M )), the following integrability
conditions on the rotation vector field Y are obtained:
¨
gradII (ω) = −Y t ;
div(Y t ) = 2 H ω .
58
2.7. INFINITESIMAL DEFORMATIONS OF SURFACES IN E3 . 2.7. 59
1
∆II ω = div gradII ω + II gradII ω, gradII log |K|
2
1
= −2 H ω + II gradII ω, gradII log |K| .
(2.22)
2
This equation is equivalent with Weingarten’s characteristic equation (e.g.,
as given in [Bianchi 1922] Vol I, p. 9, eq. (I∗ )) for the function ω.
It is not clear why an equation appears in which the second
fundamental form plays such a decisive rôle. The above equation simplifies
considerably if M is either the unit sphere or a minimal surface, and a proof
of the infinitesimal rigidity of the sphere and a theorem of Lie results.
59
60 2. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF M ⊆ E3 . 2.
Theorem 2.32.
A simply connected surface with nowhere vanishing Gaussian curva-
ture is minimal if and only if the unit normal vector field is the rotation
vector field of an infinitesimal isometric deformation.
Proof of Theorem 2.32. If the unit normal vector field is such a rotation
vector field, ω = 1 is a solution of (2.22), and this is obviously only possi-
ble if the surface is minimal.
Bibliographical Note for Chapter 2. See also [Efimow 1957] in relation with § 2.7.
60
Chapter 3.
61
62 3. VARIATIONAL FORMULAE FOR ABSTRACT. . . 3.
where X , Y, Z ∈ X(M ) and ∇ is the Levi-Civita connection. The Ricci (0, 2)-
tensor is the trace of the curvature tensor. For vector fields X , Y ∈ X(M ),
there holds
m
X
Ric(X , Y ) = g R(X , ei )Y, ei "i ,
i=1
g (t) = g + t h + O (t 2 ) , (3.2)
62
3.1. DEFORMATIONS OF METRICS. 3.1. 63
∂
B (t) .
∂ t t=0
∂
grad(t) f .
δ grad f =
∂ t t=0
Theorem 3.1.
For any function f ∈ F(M ), there holds
δ grad f = −σ(grad f ) .
63
64 3. VARIATIONAL FORMULAE FOR ABSTRACT. . . 3.
Theorem 3.2.
If B is a (0, 2)–tensor, there holds
δ tr B = −g(h, B) .
∂
(t)
X : X(M ) × X(M ) → X(M ) : (V, W ) 7→ X (V, W ) = ∇V W .
∂ t t=0
Theorem 3.3.
For all V, W, Z ∈ X(M ), there holds
1
g(X (V, W ), Z) = ∇V h (W, Z) + ∇W h (V, Z) − ∇ Z h (V, W ) .
2
(3.3)
Theorem 3.4.
For all V, W, Z ∈ X(M ), there holds
64
3.1. DEFORMATIONS OF METRICS. 3.1. 65
Theorem 3.5.
For all U, V ∈ X(M ), there holds
−1 1
δRic(U, V ) = (∆h)(U, V ) + (d∗ div h)(U, V ) −
Hess(tr h) (U, V )
2 2
1
− tr (P, Q) 7→ R(P, V ) · h (Q, U) + R(P, U) · h (Q, V ) .
2
Theorem 3.6.
The variation of the scalar curvature is given by
65
66 3. VARIATIONAL FORMULAE FOR ABSTRACT. . . 3.
Theorem 3.7.
The variation of the volume element is given by
1
δdΩ = (trace σ) dΩ .
2
will be adopted.
Remark. Since the Weyl embedding problem has been solved by Weyl,
Lewy, et al (see the literature overview on p. 175), an abstract ovaloid is
actually not so abstract. More precisely, for every abstract ovaloid (MABS , g)
an ovaloid M ⊆ E3 can be found which is isometric with (MABS , g). More-
over, the congruence theorem of Cohn-Vossen (see the literature overview
on p. 169) gives us that M is unique up to a congruence of E3 .
66
3.2. VARIATIONAL PROBLEMS FOR ABSTRACT OVALOIDS. 3.2. 67
It has been asked already whether the spheres are the only critical points of
the II-area functional if an area constraint is imposed (p. 46). This question
will now be posed in the abstract setting.
If f : M → R is a real-valued function on an abstract ovaloid,
the Hessian operator of f , which is the operator which is metrically equiv-
alent with the Hessian of f , will be denoted by Hs f . It is straightforward
to show that
trace Hs f ◦ σ = div σ(grad f ) − div f div h + f div (div h) .
λ1 e1 , Q(e1 ) + λ2 e2 , Q(e2 )
p
can be formulated as (2.14), i.e., HII K = C H.
Although the above (operator-valued) equation contains more
information than the previous equation (2.14), I was not able to verify
67
68 3. VARIATIONAL FORMULAE FOR ABSTRACT. . . 3.
whether the sphere is the only ovaloid satisfying (3.4). (In this respect,
a future application of the results of [Kühnel 1988] could provide further
information.)
Bibliographical Notes for Chapter 3. Equation (3.3), which is sometimes called the Pala-
tini equation, as well as related information, can be found in, e.g., [Yano 1949] eq. (2.58),
[Lichnerowicz 1961] eq. (17.5), [Besse 1987] § 1.K, [Kühnel 2002] lemma 8.5.
68
Chapter 4.
4.1. Introduction.
The formula which expresses the first-order change of the shape operator
of a hypersurface under a deformation is a key result for various applica-
tions of the calculus of variation within the framework of semi-Riemannian
geometry.
Two proofs of this well-known formula will be given. The first
proof is based on a comparison between the given deformation of the hy-
persurface with the unit normal deformation, which deforms the hyper-
surface in equidistant hypersurfaces. The second proof makes use of the
interpretation of the second fundamental form as the Hessian of the dis-
tance function.
This chapter will be concluded with two applications of the
established formula. First of all, the generalisation of theorem 1.3 for sur-
faces in a semi-Riemannian manifold of dimension three is written down.
Secondly, the generalisation of Bonnet’s theorem on equidistant surfaces
will be treated for surfaces in space forms.
But the main reason why a chapter has been devoted to the
derivation of this formula is its application in a variational problem asso-
69
70 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
ciated to the geometry of the second fundamental form. This has been
included in the next chapter.
70
4.2. HYPERSURFACES IN A SEMI -R IEMANNIAN MANIFOLD. 4.2. 71
71
72 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
(ii). there exists a compact set M ⊆ M such that for all p ∈ M \ M and
all t ∈ ]−", "[ there holds µ t (p) = p ,
The variation of the shape operator is then defined as the partial derivative
∂
δA(X ) := ×)(X )
A(µ t (X ∈ X(M )) .
∂ t t=0
We will adopt a similar convention for all other tensors which are defined
on the class of all hypersurfaces of (M , g). It is clear that theorem 1.1 on
p. 4 remains valid.
72
4.3. THE VARIATION OF THE SHAPE OPERATOR. 4.3. 73
73
74 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
µ
µ = dµ t (X p )
X ∈ X(M )
Xµ
t (p)
through the equations
ξ
X ξ ∈ X(M ) X ξ (p) = dξs (X p ) .
s
Lemma 4.2.
Let X ∈ X(M ). Then, for all p ∈ M and all t ∈ ]−", "[,
µ ξ
= t X p f Uµ t (p) + X µ (p) .
Xµ
t (p) t
74
4.3. THE VARIATION OF THE SHAPE OPERATOR. 4.3. 75
ω : R → T⊥ M : x 7→ t f (γ(x)) Nγ(x) .
Λ : T⊥ M → R × M : λNq 7→ (λ, q)
with inverse
Γ : R × M → T⊥ M : (λ, q) 7→ λNq .
75
76 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
∂
= t vp [ f ] exp (t f (p) + x)Np
∂ x x=0
∂
+ exp(t f (p)N(γ(x)) )
∂ x x=0
= t vp [ f ]Uµ t (p) + dξs (vp ) .
Lemma 4.3.
If a vector field W ∈ X(M ) is everywhere tangent to the deformed
hypersurfaces µ t (M ), there holds for every p ∈ M and for every θ
∂
dµθ d(µ← ) Wµ (p) = f U, W .
∂ t t=θ
t t
µ (p) θ
∂
dΨ←
t (W ) = f U, W
∂ t t=0
where Ψ
t stands for the flow of the vector field f U. In particular, the Lie
bracket f U, X µ vanishes on M for all X ∈ X(M ).
Let us conclude these preparations by providing a proof of the
generalisation of two earlier-mentioned characteristic properties for the
second fundamental form.
76
4.3. THE VARIATION OF THE SHAPE OPERATOR. 4.3. 77
∂
δI(V, W ) = g dµ t (V ), dµ t (W ) .
∂ t t=0
= ∇ Z g(V µ , W µ )
= g(∇ Z V µ , W µ ) + g(V µ , ∇ Z W µ )
= g(∇V µ Z, W µ ) + g(V µ , ∇W µ Z)
= g(∇V ( f N ), W ) + g(V, ∇W ( f N ))
= − f g(A(V ), W ) − f g(V, A(W )) .
ψ : M → R : exp(s Np ) 7→ s.
Hessψ = 0 on T p M × T⊥
pM.
77
78 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
Proof of Theorem 4.1 (First Version). We remark that lemma 4.3 implies
that
∂
←
)(W ) = + f (p) A(Wp ) − Wp f Np (4.4)
d(µ µ (p) ∇ f N W (p)
∂t
t=0
t t
78
4.3. THE VARIATION OF THE SHAPE OPERATOR. 4.3. 79
= ∇ f N (S(X µ )) + f (p) A2 (X p ) − (A(X p )) f Np
(p)
= −∇ f U ∇X µ N + ∇X µ ∇ f U N − ∇X µ ∇ f U N
2
+ f A (X ) − α II(X , grad f ) N
(p)
= −R(X , f U)N − X f ∇N N − f ∇X ∇N N
+ f A2 (X ) − α II(X , grad f ) N .
(p)
∂
ψ t (q) = − f (q) (for q ∈ M .) (4.7)
∂ t t=0
To see this, we fix a point q = µ t 0 (p) ∈ M . (It will be assumed that t 0 > 0.)
Let γ be the geodesic joining p and q:
For every t, let β(t) be the end point of the shortest geodesic from q to
µ t (M ). Since β(t) ∈ µ t (M ), a point ζ(t) ∈ M can be chosen such that
79
80 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
Let d denote the distance function of the ambient manifold (M , g). (Since
γ is not a null geodesic, the same holds true for the geodesics connecting q
to β(t) and β(t) to ζ(t), at least for small values of |t|. Consequently, this
function d is well-defined and smooth in the regions under consideration.)
It is a straightforward
consequence of the definition of β(0)
∂
that the quantity ∂ t d(ζ(t), q) vanishes, and consequently there holds
t=0
∂ ∂
ψ t (q) = d(β(t), q)
∂ t t=0 ∂ t t=0
∂ ∂
= d(γ(t), q) + d(ζ(t), q) = − f (q).
∂ t
t=0 ∂ t
t=0
Consequently, (4.7) is proven. Since ψ0 = s, there holds
80
4.4. APPLICATIONS OF THE FORMULA. . . 4.4. 81
From this, the variation of the second fundamental form can be computed:
∂
µ µ
δII(X p , Yp ) = − H(t)(X µ (p) , Yµ (p) )
∂ t t=0 t t
= − ∇ f (p)Up H (X p , Yp ) − H(∇ f (p)Up X µ , Yp ) − H(X p , ∇ f (p)Up Y µ )
= − f (p) ∇Up Hesss (X p , Yp ) + Hess f (X p , Yp )
Finally, this can be rewritten as the second equation of the theorem. The
formula for the variation of the shape operator follows by means of propo-
sition 4.4.
81
82 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
Theorem 4.6.
The variations of the curvatures of a Riemannian surface M in a three-
dimensional semi-Riemannian manifold (M , g) along a deformation
with variational vector field f N are given by
Proof of Theorem 4.6. The first two formulae follow immediately from
the expression for the variation of the shape operator. A short calculation
suffices to establish the third formula. The last formula follows from the
contracted Gauss equation H2 = α(K − K), but can be derived alternatively
from theorem 3.7.
82
4.4. APPLICATIONS OF THE FORMULA. . . 4.4. 83
Theorem 4.7.
Let M be a Riemannian surface in S31 with constant mean curvature
H satisfying H 2 > 1. If s = −arccotanh(H), the equidistant sur-
face ξs (M ) is a branched surface of constant mean curvature −H.
−arccotanh(H)
If s = 2
, the branched surface ξs (M ) has constant Gauss–
Kronecker curvature
1
p 2 .
−H + H 2 − 1
83
84 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
d 2
λ
Ø (ξ
i s ) = −1 + λØ (ξ
i s ) (i = 1, 2)
ds
λi − (tanh s)
λ
Ø
i (ξs ) = (i = 1, 2) .
1 − (tanh s)λi
This implies
(tanh s) + (1 + (tanh s)2 )H + (tanh s)H2
H(ξ
×
s ) = ;
1 + 2(tanh s)H + (tanh s)2 H2
(4.9)
(tanh s)2 + 2(tanh s)H + H2
2 (ξs ) =
HÙ .
1 + 2(tanh s)H + (tanh s)2 H2
is satisfied.
84
4.4. APPLICATIONS OF THE FORMULA. . . 4.4. 85
Theorem 4.8.
A branched surface, equidistant to a surface in S31 of type (a), (b) or
(c), is of the same type.
Proof of Theorem 4.8. As can be seen from equation (4.9), the Bon-
net transformations act on the (H, H2 )–curvature diagram D as a one-
parameter family of projective transformations, which means that straight
lines in D are mapped onto straight lines in D. The infinitesimal projec-
tive vector field on D which generates this action vanishes at exactly three
points. The conclusion is that the action of any Bonnet transform on a
straight line passing through such a zero is a straight line passing through
the same zero. See also figure 4.3.
ξs : M → S31 : p 7→ exp(s Np )
λ1 = cotanh s or λ2 = cotanh s .
It follows that this set is “small” under “mild conditions.” For example, if
neither of both principal curvatures is constant, the set has measure zero.
85
86 4. THE VARIATION OF THE SHAPE OPERATOR OF A HYPERSURFACE. . . 4.
Figure 4.3: The (H, H2 )–curvature diagram D for surfaces in the de Sitter space
is depicted above. Along the horizontal axis, the mean curvature H is measured;
along the vertical axis, the Gauss–Kronecker curvature H2 . (Only the domain H2 ¶
( H )2 , bounded by above by the black parabola, is of importance.) The Bonnet
transformations act on D as a one-parameter family of projective transformations
and the corresponding projective vector field has been displayed. The three zeroes
of this vector field have been indicated by black dots.
86
Chapter 5.
T H E G E O M E T RY O F T H E S E C O N D
FUNDAMENTAL FORM OF A HYPERSURFACE
IN A SEMI -R IEMANNIAN M ANIFOLD .
5.1. Introduction.
In this chapter, some of the results of the second chapter will be gener-
alised for hypersurfaces in an enveloping space which can be curved. Thus
we shall be concerned with semi-Riemannian hypersurfaces of a semi-Rie-
mannian manifold, of which the second fundamental form II is a semi-Rie-
mannian metrical tensor. In analogy with the second chapter, the geometry
of such a hypersurface can be explored with respect to either the first or
the second fundamental form.
Some technical results, which should be compared with those
of § 2.3.2, are gathered in the initiating § 5.2. The four subsequent parts of
this chapter have been organised in a manner similar to the second chapter:
§ 5.3–§ 5.6 are devoted respectively to the intrinsic geometry of the second
fundamental form; the extrinsic geometry of the second fundamental form;
characterisations of extrinsic hyperspheres by means of the curvatures as-
sociated to the second fundamental form; and explicit examples. In the last
§ 5.7 the area functional of the second fundamental form is investigated for
sufficiently small geodesic hyperspheres in a Riemannian manifold.
87
88 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
|*4st'4
/l
/i
I
I
I
I
I
I
I
l
l
I
I
I
I
I
I
I
I
I
I
I
1r'4
Figure 5.1: The second fundamental form describes the distance function between
the hypersurface and its osculating geodesic umbrella.
88
5.2. SOME TECHNICAL RESULTS. 5.2. 89
89
90 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Lemma 5.1.
Every function f ∈ F(M ) satisfies
α A gradII f = grad f .
90
5.2. SOME TECHNICAL RESULTS. 5.2. 91
Proof of Lemma 5.2. The Koszul formula for the second fundamental form
reads (for X , Y, Z ∈ X(M ))
2 II ∇IIY X , Z = Y [II(X , Z)] + X [II(Z, Y )] − Z [II(Y, X )]
− II (Y, ¹X , Zº) + II (X , ¹Z, Y º) + II (Z, ¹Y, X º)
= α Y g(X , AZ) + α X g(Z, AY ) − α Z g(Y, AX )
− α g(AY, ∇X Z) + α g(AY, ∇ Z X )
+ α g(AX , ∇ Z Y ) − α g(AX , ∇Y Z)
+ α g(AZ, ∇Y X ) − α g(AZ, ∇X Y ) .
If some terms of the right-hand side are collected, this can be written as
§ ª
= α g(Y, (∇X A)Z) + g X , (∇Y A)Z − (∇ Z A)Y
+ 2 II(∇Y X , Z) .
91
92 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
1 n o 1
L(V, W ) = A← (∇V A)W − B(V, W ) . (5.3)
2 2
Lemma 5.3.
The difference tensor L satisfies the following symmetry formula:
92
5.2. SOME TECHNICAL RESULTS. 5.2. 93
Lemma 5.4.
The traces of the difference tensor L are given by
1
traceL = d log |det A| ;
2
1
trII L =
gradII log |det A| − Z ;
2
m § t ª
tr L = gradII H − A←
Rc N .
2
Proof of Lemma 5.4. With help of the expression (5.3), we deduce (for
X ∈ X(M ))
m
X
(traceL)(X ) = II(L(X , Vi ), Vi ) κi
i=1
m m
1X n o αX
= II A← (∇X A)Vi , Vi κi − g R(X , N )Vi , Vi κi .
2 i=1 2 i=1
The second sum vanishes by means of the symmetries of R. The first trace
can be written alternatively by means of Jacobi’s formula for the derivative
of the determinant.
1
= trace A← ◦ (∇X A)
2
93
94 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
1 X [det A]
= .
2 det A
The second formula follows from the above calculation and the symmetry
property of the difference tensor:
m
X
II trII L, X = II(L(Vi , Vi ), X ) κi
i=1
m §
X ª
= II(L(Vi , X ), Vi ) − αg R(Vi , N )Vi , X κi
i=1
Lemma 5.5.
If the dimension of the hypersurface M is equal to m = 2, then
2 II(Z , Z ) = II(B, B) .
II B(V2 , V2 ) , V2 = 0 ,
94
5.2. SOME TECHNICAL RESULTS. 5.2. 95
B(V , V )
2
X
= ı ı II
ı
X 2
= II B(Vı , Vı ), V)
ı
X 2
= g R(Vı , N )Vı , V .
ı
Lemma 5.6.
Every vector field X ∈ X(M ) satisfies
Lemma 5.7.
For a function f ∈ F(M ) there holds
95
96 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
There holds
1
trace ` =
II gradII log |det A| , Z . (5.4)
2
In the sequel of this chapter we will rely on the following lemma (see also
[Hicks 1965, Thm. 7; Simon 1972] and [Gardner 1972a, Cor. 13]).
Lemma 5.8.
Let M be a compact hypersurface of a semi-Riemannian manifold
(M , g). Suppose that both the first and the second fundamental form
are positive-definite and that these metrical tensors induce the same
Levi-Civita connection. Furthermore, assume that (M , I) has either
strictly positive or strictly negative sectional curvature. Then M is an
extrinsic hypersphere.
96
5.2. SOME TECHNICAL RESULTS. 5.2. 97
!
α λ j I R(ei , e j )ei , e j
=
λi λ j
(p)
α
= K(ei (p), e j (p)) .
λi (p)
Since the above equation remains valid if the rôle of i and j is interchanged
and K(ei (p), e j (p)) 6= 0, it follows that M is totally umbilical. This means
that II = ρ I for a function ρ : M → R. Furthermore, for all X , Y, Z ∈ X(M ),
0 = ∇IIX II (Y, Z) = ∇X II (Y, Z) = X [ρ] I(Y, Z) .
and in particular,
97
98 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
The crucial remark which has to be made is that the functions ξk+1 , . . . , ξm
do not enter in these equations because of (5.5), whence a system of first-
order differential equations in the functions ξ1 , . . . , ξk with initial condi-
tions ξ1 (0) = 0, . . . , ξk (0) = 0 is obtained. The conclusion is that ξ1 ≡
· · · ≡ ξk ≡ 0.
It has thus been shown that the action of the local holonomy
group leaves the subspace span ek+1 (p), . . . , em (p) of T p M invariant.
98
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 99
Q 2 (X , Y )Z = L X , L(Y, Z) − L Y, L(X , Z) .
RII (X , Y )Z = R(X , Y )Z + Q 1 (X , Y )Z + Q 2 (X , Y )Z .
The tensors Q
f1 and Q
f2 are obtained from Q 1 and Q 2 by taking the trace:
Q 1 (X , Y ) = trace{Z 7→ Q 1 (X , Z)Y } ;
f
f2 (X , Y ) = trace{Z 7→ Q 2 (X , Z)Y } .
Q
Since also Ric and RicII are obtained from R and RII as a trace
Ric(X , Y ) = trace{Z 7→ R(X , Z)Y } ;
RicII (X , Y ) = Ric(X , Y ) + Q
f1 (X , Y ) + Q
f2 (X , Y ) .
Lemma 5.9.
The II-trace of the tensor Q
f1 is given by
f1 = − divII Z .
trII Q
99
100 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
X X
= II ∇IIV L (Vi , Vi ) , Vj κi κ j − II ∇IIV L (Vj , Vi ) , Vj κi κ j
j i
ij ij
If the above expression is expanded so that lemma 5.3 can be applied, there
results
¨
X h t i t
= Vj −g R(Vi , N )Vi , Vj − αg R(Vi , N ) ∇IIV Vj , Vi
j
ij
«
t t
− αg R(∇IIV Vj , N )Vi , Vj − αg R(Vj , N )Vi , ∇IIV Vj κi κ j α ,
i i
= − divII Z .
Lemma 5.10.
The II-trace of the tensor Q
f2 satisfies
1
f2 = II(L, L) − II(trII L, trII L) − trace ` − II(B, B) + II(Z , Z ) .
trII Q
2
Proof of Lemma 5.10. The different definitions give us, together with the
symmetry of L, that
m
X
f2 =
trII Q II Q 2 (Vi , Vj )Vi , Vj κi κ j
i j=1
m
X
= II L(Vi , L(Vj , Vi )) , Vi − II L(Vj , L(Vi , Vi )) , Vj κi κ j
i j=1
Xm
= II L(Vi , Vj ) , L(Vj , Vi ) − α g R(Vi , N )L(Vj , Vi ) , Vj
i j=1
− II L(Vj , Vj ) , L(Vi , Vi ) + α g R(Vj , N )L(Vi , Vi ) , Vj κi κ j
100
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 101
m
X
+α g R(Vi , N )Vj , L(Vj , Vi ) − g R(Vj , N )Vj , L(Vi , Vi ) κi κ j .
i j=1
Proof of Theorem 5.11. This is an easy consequence of the last two lem-
mata.
101
102 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
It has been noticed already in [Aledo–Romero 2003] that many of the char-
acterisations of Euclidean spheres among ovaloids, in which the curvatures
of their second fundamental form are involved, can be generalised to sur-
faces in the de Sitter space. As an application of the formula for the scalar
curvature of the second fundamental form, these theorems will be adapted
similarly to surfaces in the three-dimensional hyperbolic space H3 . In this
way, some new theorems are obtained (see also [Verpoort 0000b]).
As can be inferred from the contracted Gauss equation det A =
K + 1, a unit normal vector field can always globally be chosen on a sur-
face in H3 with strictly positive Gaussian curvature, in such a way that the
second fundamental form becomes positive-definite. This will implicitly be
assumed for surfaces satisfying K > 0.
Further, the expression for the Gaussian curvature of the sec-
ond fundamental form reduces to
HK 1 II gradII K , gradII K
KII = + II(L, L) − .
K +1 2 8(K + 1)2
102
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 103
λ2 λ1
HK 1
KII = + e1 [λ2 ] e1 log + e2 [λ1 ] e2 log .
K +1 4(K + 1) λ1 λ2
We also remark that Erard’s formula (Q) of page 29 can be adapted for
surfaces in H3 with a positive-definite second fundamental form:
H2 H2
det A 1
II gradII , gradII H − I grad , grad det A (Q)
2 det A 4 det A
HK
= 2H KII − (H 2 − det A) .
det A
Theorem 5.12.
Every compact surface in H3 with constant Gaussian curvature is an
extrinsic sphere.
HK 1 HK K
KII = + II(L, L) ¾ ¾p .
det A 2 det A det A
103
104 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
This is only possible if KII = p K , and this clearly implies that the differ-
det A
ence tensor L vanishes. Lemma 5.8 finishes the proof.
Theorem 5.13.
Let M be a compact surface in the hyperbolic space H3 , and assume
that the second fundamental form of M is positive-definite. The
Gaussian curvature of the second fundamental form is constant if and
only if M is an extrinsic sphere.
Proof of Theorem 5.13. The proof proceeds along similar lines as the
proof we gave for Schneider’s theorem. If a surface in H3 is given, which
satisfies the mentioned conditions and most notably has a second funda-
mental form of constant curvature KII , choose a point p+ where K attains
its maximal value. In particular, K|(p+ ) is strictly positive, such that every
q ∈ M satisfies
H K K K
KII (q) = KII (p ) ¾ p p ¾ p ¾ p
+
det A K + 1 K +1 det A
(p+ ) (p+ ) (q)
K
This is only possible if the equality KII = p1+K is satisfied on M . In partic-
ular, K is constant, and the result follows from the previous theorem.
Conversely, it is plain that the function KII is constant for every
extrinsic sphere.
104
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 105
Theorem 5.14.
Assume M ⊆ H3 is a compact surface in the hyperbolic space which
has strictly positive Gaussian curvature. Then C K = KII (for some
C ∈ R) if and only if M is an extrinsic sphere.
105
106 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Lemma 5.15.
Let M ⊆ H3 be a compact surface with positive-definite second funda-
mental form. If a point p can be found where KII has a global mini-
mum while K has a global maximum, then M is an extrinsic sphere.
H K K K
KII (q) ¾ KII (p) ¾ p
p ¾ p ¾ p .
det A K + 1 (p) K + 1 (p) K + 1 (q)
Theorem 5.16.
Let M ⊆ H3 be a compact surface with a positive-definite second fun-
damental form. Assume that the condition F (K, KII ) = 0 is fulfilled
on M for a function F : R2 → R : (u, v) 7→ F (u, v) which satisfies the
following requirements:
¨ ¨
Fu > 0 ; Fu ¾ 0 ;
or
Fv ¾ 0 , Fv > 0 .
106
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 107
This is clearly a contradiction. The case in which the second set of condi-
tions is satisfied is similar.
The following result, which is similar to [Koutroufiotis 1974], also follows
from prop. 14 of [Haesen 2007].
Theorem 5.17.
A compact surface M ⊆ H3 with strictly positive Gaussian curvature is
K
either an extrinsic sphere, or the function KII − p changes sign.
det A
Proof of Theorem 5.17. (First Version). Assume that this function does
not change sign on a compact surface M (with K > 0) in the hyperbolic
K
space. Then there obviously holds KII = p . Let the function ϕ be
det A
defined as
H
ϕ : M → R : p 7→ p −1 . (5.9)
K +1 (p)
107
108 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
K
Our assumption KII = p implies that
det A
p p
EG KII = EG K . (5.11)
If first the Codazzi equations (5.12) and the definition (5.9) of ϕ are used,
and then a combination of (5.10) and (5.11), it follows that
∂ ∂v E ∂ ∂u G
p ϕ + p ϕ
∂v EG ∂u EG
« ¨ «
∂ ∂v E ∂ ∂u G ∂ ∂v E ∂ ∂u G
¨
=− p + p + p + p
∂v EG ∂u EG ∂v EG ∂u EG
= 0.
2 E G K ϕ = (∂ v E) ∂ v ϕ + (∂u G) ∂u ϕ .
The left-hand side of the above equality is strictly positive at the point p+ ,
whereas the right-hand side disappears. This contradiction establishes that
M cannot have non-umbilical points.
108
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 109
The same assumptions on the point p+ as in the previous proof, imply that
the right-hand side is strictly negative.
Corollary 5.18.
A compact surface M ⊆ H3 with strictly positive Gaussian curvature is
a sphere as soon as any of the following conditions is satisfied:
K
(i.) KII ¾ p ;
K +1
K
(ii.) KII ¶ p ;
K +1
(iii.) K ¶ K .
II
H
Theorem 5.19.
Let M ⊆ H3 be a compact surface with strictly positive Gaussian cur-
vature. Assume real numbers C, r and s can be found, subject to the
conditions 0 ¶ s ¶ 1, r ¶ 1, and 2r + s ¶ 1, such that the equation
KII = C H s K r
109
110 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
x 1−r
ϕ : ] 0 , +∞ [ → R : x 7→ s+1
.
(1 + x) 2
s−1
Since s − 1 ¶ 0, it follows that (K + 1) 2 ¾ H s−1 . Consequently,
1
s−1
C (K + 1) 2 K r−1
¾ CH s−1
K r−1
(p+ )
¾
(p+ ) K +1 (p+ )
(In the last step we needed s ¾ 0.) The theorem follows by virtue of corol-
lary 5.18.
110
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 111
Lemma 5.20.
Assume a surface M ⊆ H3 has positive-definite second fundamental
HK
form. If p ∈ M is a critical point of H, then KII (p) ¾
.
det A (p)
Proof of Lemma 5.20. Let thepoint pbe such as in the lemma and suppose
HK
that the inequality KII (p) < holds. Since the gradient of H
det A (p)
vanishes at the point p, formula (Q) implies the following at the point p:
H2
¨ «
0 ¶ I grad det A, grad det A
4(det A)2 (p)
H K
= 2 H (H 2 − det A) KII − .
det A (p)
Furthermore, 2 H (H 2
− det A) is non-negative. The above inequality
can
only be valid if H (p) = det A|(p) , and consequently grad det A (p) vanishes.
2
Thus, we deduce the following contradiction:
HK 1 HK
KII (p) = + II(L, L) ¾ .
det A 2 det A
(p) (p)
Theorem 5.21.
Let M ⊆ H3 be a compact surface with strictly positive Gaussian cur-
vature. Assume real numbers C, r and s can be found, subject to the
condition −1 ¶ r ¶ −1
2
, such that the equation
KII = C H s (K + 1) r K
1 ¶ C H s+2r+1 . (5.13)
111
112 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
and hence
¦ ©
1 ¶ C H s−1 (K + 1)1+r (p )
−
¦ ©
s−1+2+2r s+2r+1
¶ C H (p )
¶ C H (q)
.
−
and hence
¦ ©
1 ¶ C H s−1 (K + 1)1+r (p )
+
¦ ©
s−1+2+2r s+2r+1
¶ C H (p )
¶ C H (q)
.
+
Lemma 5.22.
Let M ⊆ H3 be a surface with positive-definite second fundamental
112
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 113
H
form. If p• ∈ M is a critical point of det A
, there holds
HK
KII (p ) ¾ .
• det A
(p• )
H
Proof of Lemma 5.22. Since p• is a critical point of det A
, the formula
H2
• H
gradII = gradII H
det A det A
•
and similar ones are valid. (The symbol = indicates that both sides of an
equation should be evaluated at the point p• .) In this way, formula (Q) can
be rewritten as follows at the point p• :
1 HK
←
•
2
I grad H , {2Hid − A} ◦ {A } grad H = 2H H − det A KII −
.
4 det A
Since both operators between curly brackets in the above formula are positive-
definite, we deduce
HK
•
2
0 ¶ 2H H − det A KII − .
det A
•
HK
Assume first that the inequality KII ¾ det A
is not satisfied. In regard of
•
the above inequality, this can only be the case if H 2 = det A. But now the
• •
rewritten formula (Q) reveals that grad H = 0 and hence also gradII det A =
0. Consequently,
• HK 1 • HK
KII = + II(L, L) ¾ ,
det A 2 det A
which is in contradiction with our assumption. This finishes the proof.
113
114 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Theorem 5.23.
Let M ⊆ H3 be a compact surface with strictly positive Gaussian cur-
vature. If the equality
KII = C H s (K + 1) r K
−1
is satisfied for real numbers C, s and r, subject to the condition 2
¶
r + s ¶ 0, then is M an extrinsic sphere.
H
Proof of Theorem 5.23. We first remark that, for a critical point p• of det A
,
• H −1−s−2r
there holds 1 ¶ C det A . Namely, an application of the previous
lemma gives that
• • HK
C H s (K + 1) r K = KII ¾
K +1
and hence
•
1 ¶ C H s−1 (K + 1) r+1
•
= C H s−1 (K + 1) r+1+(s+r) (K + 1)−(s+r)
•
¶ C H s−1−2(s+r) (K + 1) r+1+(s+r)
•
= C H −1−s−2r (K + 1)1+s+2r
−1−s−2r
H
•
= C .
K +1
It is now an easy consequence that the equality
−1−s−2r
H
1¶C (5.14)
det A
holds on the entire surface M .
H
1. First Case: 1 + s + 2r ¶ 0. Let now p− be a point where det A
assumes
its minimum. There holds, for every point q ∈ M ,
−1−s−2r −1−s−2r
H H
1¶C ¶C .
K + 1 (p− ) K + 1 (q)
114
5.3. THE INTRINSIC GEOMETRY OF THE SECOND FUNDAMENTAL. . . 5.3. 115
H
2. Second Case: 1+s+2r ¾ 0. Let now p+ be a point where det A
assumes
its maximum. There holds, for every point q ∈ M ,
−1−s−2r −1−s−2r
H H
1¶C ¶C .
K +1 (p+ ) K +1 (q)
K ¶ C H −1−s−2r (K + 1)1+s+2r K
1
p
= C H s (K + 1) r K H −1−2s−2r (K + 1) 2 +s+r K +1
2 − 1 −s−r
H 2 p
= KII K +1
det A
p
¶ KII K + 1 .
Lemma 5.24.
K
Let p be a point of a compact surface M ⊆ H3 with K > 0 where KII
H
achieves its absolute minimum and det A
achieves its absolute maxi-
mum. Then M is an extrinsic sphere.
Theorem 5.25.
Let M ⊆ H3 be a compact surface with strictly positive Gaussian cur-
H K
vature. Assume that the condition F ( det , II ) = 0 is fulfilled for a
A K
115
116 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Theorem 5.26.
The second fundamental form of a minimal surface in the hyperbolic
space (with K < −1) is a locally flat Lorentzian metric.
Proof of Theorem 5.26. This follows at once from the adaption of Cartan’s
formula, which remains valid if the second fundamental form is Lorentz-
ian.
We now generalise the setting, in the sense that the enveloping space is not
assumed to be a space form any more. The following theorem agrees with
theorem 4.1. of [Aledo–Haesen–Romero 2007].
Theorem 5.27.
Let M be a compact Riemannian surface in a three-dimensional semi-
116
5.4. THE EXTRINSIC GEOMETRY OF THE SECOND. . . 5.4. 117
Proof of Theorem 5.27. Assume first that the integral inequality is satis-
fied for K > 0. It can be seen by means of formula (5.8) on page 102 that
this integral inequality has the following consequence:
Z Z
HK 1
KII dΩII = + II(L, L) − II trII L, trII L − trace `
dΩII
det A 2
Z Z Z Z
H K K
¾ p p dΩII ¾ p dΩII = K dΩ = KII dΩII .
det A det A det A
This is only possible if M is totally umbilical.
p
Similarly, if K < 0, the fact H ¾ det A implies that H K ¶
p
K det A. In this way, it can be concluded from the above integral inequality
that
Z Z Z Z
H K K
KII dΩII ¶ p p dΩII ¶ p dΩII = K dΩ .
det A det A det A
Thus M is totally umbilical.
Conversely, if M is totally umbilical, the result follows from
Z
HK
0= KII − dΩII
K +1
Z
1 n o
= II(L, L) − II(trII L , trII L) − trace ` dΩII .
2
117
118 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
(As such, some of the results which are described below are
contained in [Haesen–Verpoort 0000] and [Haesen–Verpoort–Verstraelen
0000].)
118
5.4. THE EXTRINSIC GEOMETRY OF THE SECOND. . . 5.4. 119
Theorem 5.28.
Let M be a hypersurface in a semi-Riemannian manifold (M , g) of
which the first as well as the second fundamental form are semi-Rie-
mannian metrical tensors. Let µ be a deformation of M through hy-
persurfaces which all belong to the class E . Assume that the deforma-
tion vector field has normal component f N . The variation of the area
functional associated to the second fundamental form is given by
Z m
1 X
δAreaII (M ) = −α f · m H − g R(Vi , N )Vi , N κi
2 i=1
α
+ ∆II log |det A| − α divII Z dΩII .
2
p
Proof of Theorem 5.28. The variation of det A along the given deforma-
tion can be calculated by means of theorem 4.1 on p. 72:
p 1
δ det A = p δ (det A)
2 det A
1p
= det A trace (δA ◦ A← ) .
2
119
120 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
)
+ α trII Hess f .
An application of lemmata 5.7 and 5.4, together with the divergence theo-
rem, concludes the proof.
Definition 5.29.
Let M be an m-dimensional hypersurface in a semi-Riemannian man-
ifold (M , g), of which both the first and the second fundamental form
are semi-Riemannian metrical tensors. The mean curvature of the
second fundamental form HII is defined by
m
1 X α
HII = m H − g(R(Vi , N )Vi , N ) κi + ∆II log |det A| − α divII Z .
2 i=1
2
(5.15)
If HII = 0, the hypersurface will be called II-minimal.
∂
Z
AreaII (µ t (M )) = −α f HII dΩII .
∂ t t=0
120
5.5. SOME CHARACTERISATIONS OF EXTRINSIC HYPERSPHERES. . . 5.5. 121
¦ ©
• the I-orthonormal basis e1 (p), . . . , em (p) of T p M is composed of
eigenvectors of the shape operator (principal directions) at p:
¦ ©
• the II-orthonormal basis V1 (p), . . . , Vm (p) of T p M consists of the
rescaled principal directions at p:
1
Vi (p) = p ei (p) (i = 1, . . . m) .
|λi (p)|
The following expression for the mean curvature of the second fundamen-
tal form holds at the point p:
(
m
m 1X 1
(p) = K(ei , N )
HII H− (5.16)
2 2 i=1
λi
α α
«
+ ∆II log |det A| − divII Z .
4 2 (p)
Remark. With help of the contracted Gauss equation (4.2), yet another
expression for the mean curvature of the second fundamental form can be
derived:
α
¨
HII = − trII Ric − trII Ric + α(m2 − 2m)H (5.17)
2
«
1
− ∆II log |det A| + divII Z .
2
121
122 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
m+1
We shall denote M 1 (C) for the following Lorentzian manifolds of dimen-
sion m + 1:
Lemma 5.30.
Let M be a compact semi-Riemannian hypersurface in a semi-Rie-
122
5.5. SOME CHARACTERISATIONS OF EXTRINSIC HYPERSPHERES. . . 5.5. 123
Proof of Lemma 5.30. The following expressions are valid for the curva-
tures which are involved in the above inequality:
1 α ∆II det A
HII = α trace A − C trace A← +
2 4 det A
α II(gradII det A, gradII det A)
− ;
4 (det A)2
SII = α(m − 1) α trace A + C trace A← + II(L, L)
1 II(gradII det A, gradII det A)
− .
4 (det A)2
The above inequality (5.18) is equivalent with
123
124 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Theorem 5.31.
Let M be a compact Riemannian hypersurface in the space form
m+1
M e (C), with m ¾ 2. Assume that the second fundamental form
of M is positive-definite. The inequality
SII ¶ 2α(m − 1) HII + CtrA← (5.19)
Theorem 5.32.
Let (M , g) be a Riemannian Einstein manifold of dimension m + 1
124
5.5. SOME CHARACTERISATIONS OF EXTRINSIC HYPERSPHERES. . . 5.5. 125
S
Proof of Theorem 5.32. Since Ric = m+1
g, we deduce that trII Ric =
S
m+1
trA← . Define β and ρ by
r È
m−2 S
β= S and ρ= .
m+1 (m − 2)(m + 1)
Z m
ρ λi
Z
X
trII Ric dΩII = 2HII + β + dΩII
i=1
λ i ρ
Z Z
¾ 2 HII + mβ dΩII ¾ trII Ric dΩII .
This is only possible if all principal curvatures are equal to ρ. That HII = ρ
follows immediately from equation (5.15).
125
126 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
HK α α α
HII = α − trII Ric + ∆II log |det A| − divII Z . (5.21)
det A 2 4 2
α
K −2C
HII = H + ∆II log K − C . (5.22)
K−C 4
Theorem 5.33.
Let M be a compact surface in a three-dimensional semi-Riemannian
manifold, such that the Gaussian curvature K of M is strictly positive.
Assume both the first and the second fundamental form are positive-
definite metrical tensors. If HII is constant, then
Z
1
α HII AreaII (M ) + trII Ric dΩII ¾ 4π ,
2
Proof of Theorem 5.33. This result is easily deduced once the expression
(5.21) is integrated, with the following result:
Z
HK 1
α HII AreaII (M ) = − trII Ric dΩII .
det A 2
126
5.5. SOME CHARACTERISATIONS OF EXTRINSIC HYPERSPHERES. . . 5.5. 127
Theorem 5.34.
Let M be a compact surface in a three-dimensional semi-Riemann-
ian manifold (M , g) and suppose that the first as well as the second
fundamental form of M is positive-definite. Suppose that the Gaussian
curvature K of M is nowhere zero. M is totally umbilical if and only
if
1 1
KII ¾ α HII + trII Ric − ∆II log det A (if K > 0);
2 4
(5.23)
KII ¶ ······ (if K < 0).
Theorem 5.35.
Let M be a compact surface in a three-dimensional semi-Riemannian
manifold (M , g) and suppose that the first as well as the second funda-
mental form of M is positive-definite. Assume the Gaussian curvature
K of M is strictly positive. M is an extrinsic sphere if and only if
1
KII ¾ α HII + trII Ric . (5.24)
2
127
128 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Z
1 K p
= −α HII + KII − trII Ric + H− det A dΩII .
2 det A
Theorem 5.36.
3
Let M be a compact Riemannian surface in the space form M 0 (C)
(with C ∈ R) or the de Sitter space. Assume that the second funda-
mental form of M is positive-definite and that the Gaussian curvature
of (M , g) is strictly positive. Then either
CH
HII − αKII + 2 (5.25)
K−C
changes sign or M is an extrinsic sphere.
Proof of Theorem 5.36. Assume that the function, given in (5.25), does
not change sign. It will be shown that M is an extrinsic sphere. First we
remark that 2 C H = α2 trII Ric.
K−C
A first possibility would be that
1
KII − trII Ric ¾ α HII ,
2
but it can be immediately concluded from theorem 5.35 that M is an ex-
trinsic sphere.
128
5.5. SOME CHARACTERISATIONS OF EXTRINSIC HYPERSPHERES. . . 5.5. 129
1
KII − trII Ric ¶ α HII ,
2
γ : ]a, b[ → (M , g) : s 7→ γ(s)
129
130 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
130
5.5. SOME CHARACTERISATIONS OF EXTRINSIC HYPERSPHERES. . . 5.5. 131
1
Figure 5.3: A II-minimal curve in E2 . Its curvature function is κ(s) = s2 +1
.
131
132 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
Theorem 5.37.
A simple closed plane curve with strictly positive curvature is a circle
p
if and only if HII = C κ for some constant C.
Proof of theorem 5.37. This follows immediately from the reasoning be-
low, in which some straightforward modifications of formulae from the
second chapter to plane curves have been applied:
Z
π Length ¶ HII ds Length
Z Z
p
=C κ ds Length = C dsII Length
Z
= C LengthII Length = C LengthII κ 〈−N , P〉 ds
Z Z
p
= LengthII C κ 〈−N , P〉 dsII = LengthII HII 〈−N , P〉 dsII
Z 2
1 2 1 p
= LengthII = κ ds
2 2
Z Z
1
¶ κ ds ds
2
= π Length .
132
5.6. CALCULATION OF THE CURVATURES FOR SOME SPECIAL. . . 5.6. 133
−1
K= ; KII = 0 ;
(cosh x)4
1
H = 0; HII = .
(cosh x)2
p
In particular, we notice that HII is proportional to |K|. Thus to the
catenoid, which was characterised already variationally as the only mini-
mal surface of revolution, can be attributed the additional property of being
133
134 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
−1 2x 2 + 3 x 2
K= 2 ; KII = 3 ;
1 + 2x 2 2x 2 + 1 2
x2 4x 4 + 3x 2 + 2
H= 3 ; HII = 3 . z
2x 2 + 1 2 2x 2 + 1 2
We will study certain surfaces which are invariant under the one-parameter
group of isometries
s2 2
1+ 2
− s2 s
Ω(s) = s2 2
1 − s2
s
2
s −s 1
134
5.6. CALCULATION OF THE CURVATURES FOR SOME SPECIAL. . . 5.6. 135
`1 = p12 u0 − p1
2
u1 ;
`2 = u2 .
The surface can be described implicitly as the set of points in the Minkowski
space which satisfy
y2
v = f (w) + (with w > 0) .
2w
1 p
Nµ(a,s) = p s2 − f 0 , 1, 2 s .
−2 a f 0
135
136 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
− f 00
K = ;
4a f 02
f 00 1
H = p 3
+ p p ;
4 2(− f 0 ) 2 2 2a − f 0
n o
2 f 02 f 00 + 2a f 02 f 000 + a f 0 f 002 + a2 f 0 f 00 f 000 − 2a2 f 003
KII = p 3
;
4 2 a2 (− f 0 ) 2 f 002
1
HII = p 3
− 2a f 02 f 00 f 000 − f 02 f 002 + 3a2 f 02 f 0002
4 2 a2 (− f 0 ) 2 f 003
2 0 002 000 2 02 00 0000 2 004
+ 2a f f f − 2a f f f − 3a f .
(Here the left-hand side has to be evaluated at a point µ(a, s) of the surface,
while the value a has to be substituted in the derivatives of the functions f
which appear in the right-hand side.)
1
Example. If we specify f by f (a) = 2a , the above surface is an open part
¦ ©
of the hyperbolic plane H = ξ ∈ E1 | g(ξ, ξ) = −1 and we recover the
2 3
Example. For f (a) = −a3 we obtain a minimal surface, which shares with
136
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 137
the catenoid the property of being a critical point for the II-area under total
mean curvature constraint:
1
K= 4; KII = 0 ;
6a
1
H = 0; HII = p . z
6a2
Remark. It can be seen that the surfaces originating from the function
f (a) = W a t (where the constants W and t satisfy t 6= 1 and W t < 0)
satisfy −H = KII = t−3
4
HII .
137
138 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
138
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 139
h−1 k
X r k
Wγ(r) = ∇ξ···ξ W y + O (r h) .
k=0
k! (γ(r))
139
140 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
!!
m
X
x exp j
t ej = (t 0 , . . . , t m ) . (5.27)
s=0
Tensor indices which refer to this co-ordinate system will be denoted with a
bar. The coefficients of the Riemann–Christoffel curvature tensor of (M , g)
are determined by
Rı u v e = g(R(∂ ı , ∂ u )∂ v , ∂ e ) (ı, u, v, e = 0, . . . , m) .
The letter r will designate also the distance function with respect to the
point n which has been chosen as origin of the normal co-ordinate system.
140
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 141
m
X
Wα1 ··· αr = Wα1 ··· αr (n) + ∇ı Wα1 ... αr (n) x ı
ı= 0
!
m m Xr
1 X 2 1 X
+ ∇ı Wα1 ... αr − Rı αa s Wα1 ··· αa−1 s αa+1 ··· αr xıx
2 ı =0 3 s=0 a=1 (n)
m m X
r
1 X 3
X
+ ∇ı p Wα1 ... αr − Rı αa s ∇ p Wα1 ··· αa−1 s αa+1 ···αr
6 ı p=0 s=0 a=1
!
m X r
1X
xı x xp
− ∇ı R αa p s Wα1 ··· αa−1 s αa+1 ··· αr
2 s=0 a=1
(n)
m
1 X 4
+ ∇ı p q Wα1 ··· αr
24 ı p q=0
m X
X r 2
−2 Rı αa s ∇ p q Wα1 ··· αa−1 s αa+1 ··· αr
s=0 a=1
m X
X r
−2 ∇ı R αa p s ∇q Wα1 ··· αa−1 s αa+1 ··· αr
s=0 a=1
m X r
3 X 2
− ∇ı R p αa q s Wα1 ··· αa−1 s αa+1 ··· αr
5 s=0 a=1
m X r
1 X
+ Rı αa s R p s q u Wα1 ··· αa−1 u αa+1 ··· αr
5 s u=0 a=1
m X
r
2 X
+ Rı αa s R p αc q u Wα1 ... αa−1 s αa+1 ... αc−1 u αc+1 ··· αr
3 s u=0 a c=1
a<c
!
x ı x x p x q + O (r 5 ) .
(n)
141
142 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
δN A = A2 + R(N , ·)N .
Lemma 5.41.
Let h : Em+1 → Tn M be a homothety with factor r, which sends the
origin of Em+1 to the origin of Tn M . Let the area elements of (M , g),
of the geodesic hypersphere Gn (r), and of the Euclidean hypersphere
Sm be written as dΩ = ω dx 0 · · · dx m , dΩ, and dΩSm , respectively. Let
f : Gn (r) → R be any function whatsoever. There holds:
Z Z
f dΩ = r m
f ◦ exp ◦ h ω ◦ exp ◦ h dΩSm .
Gn (r) Sm
142
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 143
The last two results reduce the determination of AreaII (Gn (r))
to the problem of integrating a power series, in which quantities of a tenso-
rial character at the point n occur, over the unit hypersphere of Tn M . The
formulae, as given in [Gray 1973, Gray–Vanhecke 1979, Chen–Vanhecke
1981], which express how such an integration of tensors on the unit hy-
persphere of the tangent space can be performed, are of a purely algebraic
character in the sense that they can be presented for linear tensors on the
(m + 1)-dimensional Euclidean vector space Em+1 endowed with the stan-
dard scalar product.
Lemma 5.42.
Let Q be a linear tensor of type (0, k) on the Euclidean vector space
Em+1 . The integral of the function Sm → R : ξ 7→ Q(ξ , · · · , ξ) is given
by the following formula:
0 (k odd) ;
αm
(k = 2) ;
tr Q
Z
(m + 1)
Q(ξ , · · · , ξ) dΩ =
Sm
tr12 tr34 Q
αm
+ tr tr Q
(k = 4) .
(m + 1)(m + 3)
13 24
+ tr14 tr23 Q
(The indices in the last expression refer to the slots on which the trace
should be taken.)
Historical Remark. The above formula most naturally finds its application
within classical differential geometry, if the second fundamental form of a
surface M ⊆ E3 is substituted for the tensor Q (which now becomes a tensor
on a tangent plane of the surface). Let us recall that the normal curvature
assigns to a unit vector ξ ∈ S1 ⊆ Tn M , tangent to the surface at a point
n, the curvature of the normal section determined by ξ and the normal Nn
to the surface. By an application of the above formula, the important fact
143
144 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
that the mean value of this normal curvature function ρ is exactly the mean
curvature H, is easily recovered.
This fact also immediately follows from Euler’s well-known
formula, although the concept of mean curvature was only introduced by
Poisson and Germain after Euler’s death.
Further, it seems that Dupin was the first to notice that the sum
of the normal curvatures of two orthogonal normal sections is independent
of the choice of these. This theorem has then been extended by Babinet to
k normal sections which are separated by equal angles:
1
ρ(θ1 ) + · · · + ρ(θk ) = H
k
By letting k → ∞ we obtain the aforementioned fact. See [Reich 1973, p.
287].
be the geodesic satisfying γ(0) = n and γ0 (0) = e0 , such that the relation
x(γ(r)) = (r, 0, . . . , 0) holds true.
Our first purpose is to determine the first few terms in the
power series expansion (in the variable r > 0) for the value HII (γ(r)) which
the mean curvature of the second fundamental form of the geodesic hyper-
sphere Gn (r) assumes at the point γ(r). It will be supposed throughout that
r > 0 is sufficiently small, in order that everything below is well-defined.
144
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 145
Figure 5.4: A simplified drawing for the co-ordinate systems x and x. The co-
ordinate grid on (M , g) of x is displayed in gray.
xj
∂j = ∂ j − ∂0,
x0
and in particular, there holds ∂ j = ∂ j along γ. (See also figure 5.4.) Over-
lined tensor indices will refer to the co-ordinate system x, whereas ordi-
nary tensor indices refer to the co-ordinate system x of the geodesic hyper-
145
146 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
1 r r2
H (γ(r)) = − Ric0 0 (n) − ∇0 Ric0 0 (n)
r 3m 4m !
3 m
r 1 2 1 X 2
+ − ∇0 0 Ric0 0 − R0 a 0 e + O (r 4 ) .
m 10 45 a e=0
(n)
Theorem 5.43.
The locally flat spaces are the only Riemannian manifolds of which all
geodesic hyperspheres have a constant mean curvature which is equal
to the inverse of their radius.
r2 r3
gı (γ(r))
= δı − R0 ı 0 (n) − ∇0 R0 ı 0 (n)
3 6 !
m
r4 2 16 X
+ −6∇0 0 R0 ı 0 + R0 ı 0 s R0 0 s + O (r 5 ) .
120 3 s=0
(n)
146
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 147
−1 −1
2 3
log det A (γ(r)) + m log(r) = r +r
Ric0 0 ∇0 Ric0 0
3 (n) 4 (n)
!
n
−7 X 2 1 2
+r 4 R0 a 0 c − ∇ Ric0 0 + O (r 5 ) . (5.29)
90 a c=0 10 0 0
(n)
Theorem 5.44.
The locally flat spaces are the only Riemannian manifolds of which
all geodesic hyperspheres have a constant Gauss–Kronecker curvature
which is equal to the inverse of the m-th power of their radius.
147
148 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
r3
+ ∇0 R0 ı 0 (n) + O (r 4 ) .
6
Remark. According to the Gauss lemma, the matrix (g ı ) has the following
structure at the point γ(r):
1 0 ··· 0 1 0 ··· 0
0 g1 1 · · · g1 m 0 g1 1 · · · g1 m
(g ı )(γ(r)) = = .
.. ..
.. ..
0 . . 0 . .
0 g m 1 · · · g m m (γ(r)) 0 g m 1 · · · g m m (γ(r))
Consequently, the same holds for the inverse matrix. This means that (for
ı, = 1, . . . , m) formula (5.31) gives also the inverse components
g ı (γ(r)) = g ı (γ(r))
s
Consequently, there holds 1r δı s + Γ0 ı = Ası at the point γ(r). In this way,
we obtain the following expression for the shape operator of Gn (r) at γ(r):
(ı, = 1, . . . , m)
1 r r2
Ası (γ(r)) = δı s − R0 ı 0 s (n) − ∇0 R0 ı 0 s (n) (5.32)
r 3 4
148
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 149
!
m
3
−1 2 1 X
+r ∇0 0 R0 ı 0 s − R0 ı 0 w R0 w 0 s + O (r 4 ) .
10 45 w=0
(n)
The above equation is only valid at the single point γ(r) = exp(r e0 ) of
Gn (r), and hence needs to be rewritten in order to compute the leading
term of IIı |e at γ(r). A more general expression for IIı , which is valid at
any point p = exp(rξ) with co-ordinates (x 0 , . . . , x m ) (for a unit vector
ξ ∈ Tn M , as in figure 5.4), is obtained by
xı
∂ı (γ(r)) ∂ = ∂ − ∂
0
ı (p) ı
(p) x0 (p)
substitution of ∂ ı by ∂
− xı
∂
(n) ı x 0 0
(n) (n)
Pm
e0 ξ = 1r a=0 x a ea
1 xıx 2 Xm 2 X m xı
IIı = δı + − R a ı c (n) x a c
x + R a c
a 0 c (n) 0 x x
r (x 0 )2 3 a c=0 3 a c=0 x
x xı x a c
!
m m
2 X 2 X
+ a c
Ra ı c 0 (n) 0 x x − Ra 0 c 0 (n) 0 2 x x + O (r 2 ) ,
3 a c=0 x 3 a c=0 (x )
149
150 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
In this way, we obtain an expression for the leading term of the Christoffel
symbols of the second fundamental form at γ(r) with respect to the co-
ordinate system x of the geodesic hyperspheres (ı, , s = 1, . . . , m):
2r
ΓII sı = Rs ı 0 + R0 ı s (n) + O (r 2 ) . (5.35)
(γ(r)) 3
After some work, it can be concluded from the foregoing equations (5.29),
(5.33) and (5.35) that
−2r
∆II log det A(γ(r)) = S − (m + 1)Ric0 0 (n)
3
3
2
+r −S |0 + (m + 2)∇0 Ric0 0
4 (n)
m
−16 X
+r 3 R0 v 0 w Ric v w
45 v w=0
m
14 X 2
+ (3 + m) R0 v 0 w
45 v w=0
m
7 X 2 3
− Rı v 0 w − Hess(S)0 0
15 ı v w=0 5
m
(6 + 2m) 2 22 X 2
+ ∇0 0 Ric0 0 + Ric0 v
5 45 v=0
4 2 1
− Ric0 0 − ∆ Ric0 0 + O (r 4 ) .
9 5 (n)
We will not give the details of the further calculations which can be ob-
tained in a similar way. The II-divergence of the vector field Z is given
by:
divII Z (γ(r)) = r (m + 1) Ric0 0 − S (n)
3
2
+r (m + 2)∇0 Ric0 0 − S |0
2 (n)
n
(m + 3) 2
−1 X
+r 3 R0 ı 0 Ricı + ∇0 0 Ric0 0
3 ı =0 2
m 2 (m + 3) X m
2X 2
+ Ric0 v + R0 ı 0
3 v=1 3 ı =0
150
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 151
m
1 X 2
−Hess(S)0 0 − Ra c e 0 + O (r 4 ) .
2 a c e=0 (n)
151
152 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
1 2 1
+ Ric0 0 − ∆ Ric0 0 + O (r 4 ) .
90 20 (n)
Theorem 5.45.
A Riemannian manifold (of dimension m + 1) is locally flat if and
only if the mean curvature of the second fundamental form of every
m
geodesic hypersphere is equal to the constant 2r (where r stands for
the radius of the geodesic hypersphere).
gives that M is Ricci flat. The fact that the coefficient of r 3 vanishes, implies
that for each point n ∈ M and for each unit vector ξ ∈ Tn M , there holds
m m
(20 + 4m) X 2 2 X 2
Rξ ı ξ = Ra c e ξ .
45 ı =0
15 a c e=0
Both sides of the above equation can be integrated over the unit hyper-
sphere of Tn M with help of lemma 5.42. By means of the resulting equa-
tion, it can be concluded that R vanishes.
152
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 153
m
4
1 1 1 X 2
+r (S)2 + Ricı
(m + 1)(m + 3) 18 15 ı =0
m
1 X 2 3
− Ra c e s − ∆S + O (r 5 ) .
15 a c e s=0 20 (n)
Theorem 5.46.
Let (M , g) be a Riemannian manifold of dimension m + 1, and sup-
pose that the area of every geodesic hypersphere of M , as seen in the
m
geometry of its second fundamental form, is equal to r 2 αm (where r
stands for the radius of the geodesic hypersphere). Then there holds
¨
S = 0;
(5.38)
kRk2 = kRick2 .
(i) dim M ¶ 5;
Proof of Theorem 5.46. The first part of the theorem follows immediately
from the given power series expansion (5.37). Assume (5.38) is satisfied.
(i) Suppose that M has dimension ¶ 5 (i.e., m ¶ 4). The trivial case
153
154 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
0 ¶ kWk2
4 2 2
= kRk2 − kRick2 + S
m−1 m(m − 1)
m−5
= kRk2 ¶ 0 ,
m−1
and consequently, 0 = R.
(ii) The case where dim M ¶ 5 has already been proved. So assume
M is a conformally flat Riemannian manifold which satisfies (5.38),
dim M ¾ 7 (i.e., m ¾ 6) and 0 6= kRk. The fact that 0 = kWk2 implies
(iv) and (v) can be proved similarly to the two previous cases by an analy-
sis of the squared norm of the Bochner curvature tensor. (vi) can be proved
in the same way as in [Gray–Vanhecke 1979].
holds. It can indeed be checked that the first terms in the power series
expansion of both functions agree.
154
5.7. GEODESIC HYPERSPHERES IN A RIEMANNIAN MANIFOLD 5.7. 155
Bibliographical Notes for § 5.7. Although theorem 5.39 is straightforward, the result is
seldom mentioned in a text on differential geometry. Notable exceptions are, e.g., [Her-
mann 1968, lemma 23.5 p. 310 ; Chen–Vanhecke 1981, lemma 4.1].
In [Kowalski–Vanhecke 1986] another expression for the shape operator of
the Gn (r) is given. We also refer to [Gray 2004].
155
156 5. THE GEOMETRY OF THE SECOND FUNDAMENTAL FORM OF A . . . 5.
156
Chapter 6.
6.1. Introduction.
157
158 6. A LITERATURE OVERVIEW. . . 6.
6.2.1. Surfaces in E3 .
On the very first pages of this dissertation, the definition of the first fun-
damental form, the shape operator, the Gaussian and the mean curvature
158
6.3. THE SECOND FUNDAMENTAL FORM AS A METRICAL TENSOR. 6.3. 159
R(X , Y )Z = ∇[X ,Y ] Z − ∇X ∇Y Z + ∇Y ∇X Z .
159
160 6. A LITERATURE OVERVIEW. . . 6.
will be denoted by KII . Several formulae for this curvature KII (or, more
generally, the scalar curvature of the second fundamental form of a
hypersurface in a semi-Riemannian space with a non-degenerate second
fundamental form) can be found in, a.o., [Cartan 1943, Rozet 1946a,
Rozet 1946b, Grove 1957, Hicks 1965, Wolf 1966, Erard 1968, Gardner
1972a, Schneider 1972, Glässner–Simon 1973, Klotz 1975, Baikoussis–
Koufogiorgos 1987a, Aledo–Romero 2003, Aledo–Haesen–Romero 2007,
Haesen 2007]. (See also p. 28 ff and p. 98 ff.)
The critical points of the area functional of the second funda-
mental form are precisely the surfaces for which the the mean curvature of
the second fundamental form HII vanishes [Glässner–Simon 1973, Gläss-
ner 1974]. The corresponding variational problem has been studied more
generally for semi-Riemannian hypersurfaces [Sodsiri 2005, Dillen–Sodsiri
2005a, Haesen–Verpoort–Verstraelen 0000, Haesen–Verpoort 0000]. (See
also [Arroyo–Garay–Mencía 2003] for a variational study of this functional
for curves in the unit sphere.) (See also p. 30 ff and p. 118 ff.)
The classical relations
1
∇II = ∇ + ∇III ∇IIIV W = A← ∇V (AW )
and (6.1)
2
for the connections of the fundamental forms are named after Wein-
garten [Bianchi 1894], § 85. They remain valid for hypersurfaces in space
forms. (See also [Hicks 1965, Simon 1972] and lemma 5.2.)
For the connection and curvature of the third fundamental
form of a hypersurface in a space form, see also [Baikoussis–Koufogiorgos
1988a], formula (3) and [Liu–Simon–Verstraelen–Wang 1999].
The I-geodesics on a hypersurface agree with the II-geodesics
(as unparametrised curves) on a hypersurface in a Riemannian space form
with positive-definite second fundamental form if and only if M is to-
tally umbilical [Hicks 1965, Simon 1972]. Similarly, the I-geodesic hyper-
spheres agree with the II-geodesic hyperspheres on a hypersurface M if and
only if M is totally umbilical.
As is known, the Gauss map G : (M , I) → (S2 , η) of a surface
in E with K 6= 0 is conformal if and only if the surface is minimal or part
3
160
6.3. THE SECOND FUNDAMENTAL FORM AS A METRICAL TENSOR. 6.3. 161
161
162 6. A LITERATURE OVERVIEW. . . 6.
162
6.4. RELATIVE DIFFERENTIAL GEOMETRY. 6.4. 163
163
164 6. A LITERATURE OVERVIEW. . . 6.
In this text, it will always be supposed that the relative normal field y
satisfies the additional regularity condition that h( y) is a semi-Riemannian
metrical tensor, the so-called relative metric.
The relative normal field y defines a volume form dΩ( y) =
y ù Det which is parallel with respect to the connection ∇( y) .
A (regular) relative co-normal field Y along M ⊆ A3 is a
field of one-forms of the surrounding affine space, Y ∈ Λ(M ), satisfying
Ker(Yp ) = T p M for all p ∈ M , as well as an additional regularity condition.
A symmetric bilinear field is now determined by
| {z } | {z }
tangent to Im(Y ) proportional to Y
(In the above equation, the relative co-normal field is seen as a mapping
∗
Y : M → A3 of M in the dual space, and D also denotes the standard
connection on the dual space.)
A pair Y, y of a relative co-normal field and a relative normal
field is called a relative normalisation if Y ( y) = 1. In this case it follows
that G(Y ) = −h( y) .
All connections on X(M ) which have been introduced, can be
extended to a connection on one-forms in the standard manner. These will
be denoted with the same symbol.
164
6.4. RELATIVE DIFFERENTIAL GEOMETRY. 6.4. 165
1 ( y) (Y )
( y)
∇(h( y) ) = ∇ + ∇(Y )
and ∇V W = Φ← ∇V (ΦW ) .
2
Here ∇(h( y) ) stands for the Levi-Civita connection of the semi-Riemannian
metric h( y) .
The relative area of M is defined as
Z
Area( y) (M ) = dΩ( y) .
M
If y is constructed from the gauge ovaloid M , this relative area will also be
written as AreaM (M ). In [Minkowski 1903] this relative area is denoted
as 3 V (M , M , M ). (This relative area can also be seen as an anisotropic
area.) The critical points of the area functional relative to a gauge ovaloid
M are exactly the surfaces of which the relative mean curvature vanishes.
All what has been said is straightforward for the Euclidean
normalisation {〈N , ·〉 , N } of a surface M ⊆ E3 . In this case, h(N ) is the
second fundamental form.
The study of the area of the second fundamental form is also
related with the relative differential geometry stemming from another rel-
ative normalisation, according to the following result.
165
166 6. A LITERATURE OVERVIEW. . . 6.
166
6.6. THE CONFORMAL GEOMETRY OF THE SECOND. . . 6.6. 167
167
168 6. A LITERATURE OVERVIEW. . . 6.
det II
det I = intrinsic (Gaussian) curvature of (M , I) ;
∇II is totally symmetric;
168
6.7. CONGRUENCE THEOREMS. 6.7. 169
Remark. We shall say that the first fundamental form is preserved un-
der a mapping µ : M → M e if for all vector fields V, W on M , there holds
eI(dµ(V ), dµ(W )) = I(V, W ). The same convention applies to all other ten-
sors.
169
170 6. A LITERATURE OVERVIEW. . . 6.
170
6.7. CONGRUENCE THEOREMS. 6.7. 171
(a) H;
10
[Chern 1967] p. 36, [Ros 1988] p. 216.
11
See also [Glässner–Simon 1973] for a generalisation of this theorem.
171
172 6. A LITERATURE OVERVIEW. . . 6.
(b) H/K;
(c) K;
(d) (λ1 2 +λ2 2 ), where λ1 and λ2 are the principal curvatures;
(e) (R1 2 + R2 2 ), where R1 and R2 are the radii of principal
curvature.
[Erard 1968] p. 34; [Voss 1970]. A surface with strictly positive constant
Gaussian curvature, free of ombilical points, belongs to a one-
parameter family of surfaces all of which have the same second
fundamental form and the same principal curvatures.
172
6.7. CONGRUENCE THEOREMS. 6.7. 173
See [Christoffel 1865] and also, e.g., [Hurwitz 1902, Blaschke 1923, Walden–Wegner
13
173
174 6. A LITERATURE OVERVIEW. . . 6.
174
6.7. CONGRUENCE THEOREMS. 6.7. 175
Weyl posed the question whether an ovaloid can be constructed for any
given metric [Weyl 1916].
Pogorelov 1973].
175
176 6. A LITERATURE OVERVIEW. . . 6.
176
6.8. INFINITESIMAL DEFORMATIONS. 6.8. 177
[Erard 1968] p. 63. Let a surface M ⊆ E3 be given which either has non-
zero constant Gaussian curvature or is a surface of revolution
satisfying K(H 2 − K) 6= 0. There exist locally non-trivial in-
finitesimal deformations under which
δII = 0 , δH = 0 and δK = 0 .
177
178 6. A LITERATURE OVERVIEW. . . 6.
(a) δH ≡ 0;
(b) δ(H/K) ≡ 0;
(c) δK ≡ 0;
(d) δ(λ1 2 + λ2 2 ) ≡ 0;
(e) δ(R1 2 + R2 2 ) ≡ 0, where R1 and R2 are the radii of prin-
cipal curvature.
Of course, the flow of a tangent vector field with a support which is com-
posed of umbilical points, is an infinitesimal deformation which preserves
the shape operator.
178
6.9. ON THE GLOBAL GEOMETRY OF OVALOIDS. 6.9. 179
179
180 6. A LITERATURE OVERVIEW. . . 6.
180
6.10. CHARACTERISATIONS OF SPHERES OR . . . 6.10. 181
Theorem of Poincaré (1905). (27 ) Every ovaloid has at least three closed
geodesics.
26
See also Spivak, Vol 3, Ch. 4.
27
See [Poincaré 1905], and also, e.g., [Blaschke 1923], § 97. Also Birkhoff, Herglotz,
Lyusternik, Schnirelmann, Klingenberg et al have worked on similar theorems.
181
182 6. A LITERATURE OVERVIEW. . . 6.
182
6.10. CHARACTERISATIONS OF SPHERES OR . . . 6.10. 183
Corollary of Hilbert’s Lemma. (30 ) The spheres are the only ovaloids
which satisfy λ1 = f (λ2 ) for a decreasing function f .
Corollary of Weyl’s Lemma. The spheres are the only ovaloids which sat-
isfy F (H, K) = 0 for a function F : R+ × R+ → R which is
increasing in both variables and strictly increasing in at least
one of its variables.
In this sense the articles [Hilbert 1901, Chern 1945] have had
considerable influence on the results which will be described in this section.
For example, in the articles [Simon 1976] and [Baikoussis–Koufogiorgos
1987a], adaptions of these results to curvatures, associated to the second
fundamental form, have been employed. (Compare also with § 5.3.2.)
Theorem of Jellett–Liebmann (1899). (31 ) The spheres are the only oval-
oids in E3 with constant mean curvature.
Aleksandrov’s Sphere Theorem (∼1950). (32 ) The spheres are the only
compact surfaces in E3 of constant mean curvature. (As else-
where in this text, a surface cannot have self-intersections.)
29
The lemma follows from the fact that a point p where the mean curvature of a sur-
face M ⊆ E3 with strictlypositiveGaussian curvature achieves a local maximum, satis-
∆K
2
fies the inequality H(p) ¶ K− 4K
. See [Weyl 1916], [Chern 1945], [Efimow 1957],
(p)
[Hopf 1983] p. 126.
30
[Chern 1945], [Hopf 1983] p. 126.
31
[Liebmann 1899a] p. 52; see also [Jellett 1853, Bonnet 1853, Liebmann 1900].
32
[Aleksandrov 1962]; see also [Reilly 1973, Reilly 1977, Reilly 1982, Hopf 1983,
Li 1983, Ros 1987, Ros 1988] and others.
183
184 6. A LITERATURE OVERVIEW. . . 6.
Theorem of Hopf (∼1950). (33 ) The only constant mean curvature im-
mersion of the sphere in E3 is the round sphere.
• Three Unicity Results For the Sphere.—We mention only briefly the
following three unicity results for the sphere:
aK + bH + c = 0 ,
184
6.10. CHARACTERISATIONS OF SPHERES OR . . . 6.10. 185
[Grove 1957]. (36 ) The spheres are the only ovaloids satisfying KII = H.
The spheres are the only ovaloids which satisfy F (H, KII ) = 0.
The spheres are the only ovaloids which satisfy F (H, KII ) = 0.
185
186 6. A LITERATURE OVERVIEW. . . 6.
• HII = H f (K) ;
• HII = H + f (K) ;
• r(s − 1) > 0 ;
• 2r + s − 1 = 0 and s < 1 .
Then M is a sphere.
• F (HII − H, K) = 0 ;
37
See also [Saban 1982].
186
6.10. CHARACTERISATIONS OF SPHERES OR . . . 6.10. 187
H
• F ( HII , K) = 0 ;
• F (HII − KII , K) = 0 ;
H
• F ( K II , K) = 0 and KII > 0 .
II
∂F ∂F F
0¶ and ¶ (on R+ +
0 × R0 ),
∂u ∂v 2v
and x 7→ F (x, x 2 ) is monotonic. The spheres are the only oval-
oids satisfying KII = F (H, K).
∂F F
0¶ ¶ (on R+ +
0 × R0 ),
∂u u
and x 7→ F (x, x 2 ) is monotonic. The spheres are the only oval-
oids satisfying KII = F (H, K).
Theorem 2.19 on p. 42. The spheres are the only ovaloids satisfying HII =
p
C K for some C ∈ R.
Theorem 2.21 on p. 43. The spheres are the only ovaloids satisfying HII =
C KII for some C ∈ R.
187
188 6. A LITERATURE OVERVIEW. . . 6.
p
[Koutroufiotis 1974]. On an ovaloid M ⊆ E3 either KII − K changes sign
or M is a sphere.
[Singley 1975]. The spheres are the only ovaloids satisfying KII − H ¾ 0.
Liebmann’s theorem (1899). (38 ) The hyperspheres are the only com-
pact hypersurfaces in Em+1 with constant Gauss-Kronecker cur-
vature.
[Süss 1929b, Hsiung 1954]. The hyperspheres are the only hyperoval-
oids M ⊆ Em+1 with constant s-th mean curvature (1 ¶ s ¶
m).
188
6.10. CHARACTERISATIONS OF SPHERES OR . . . 6.10. 189
189
190 6. A LITERATURE OVERVIEW. . . 6.
• K is constant;
• KII is constant;
• F (K, KII ) = 0 for a function F : R × R → R which is in-
creasing in both variables (strictly monotonic in at least
one of them);
• M is an extrinsic sphere.
190
6.10. CHARACTERISATIONS OF SPHERES OR . . . 6.10. 191
191
192 6. A LITERATURE OVERVIEW. . . 6.
6.11.1. Convexity.
T p M × T p M → R : (vp , w p ) 7→ 〈II(vp , w p ), a p 〉
192
6.11. MISCELLANEOUS RELATED TOPICS. 6.11. 193
193
194 6. A LITERATURE OVERVIEW. . . 6.
“The Blaschke Selection Theorem.” (47 ) Let the space of all compact, con-
vex subsets in En+1 be endowed with the Hausdorff metric.
Then each bounded sequence contains a convergent subse-
quence.
In conclusion of this work, ten open problems which are related with the
second fundamental form of a surface in the three-dimensional Euclidean
space, are stated.
5. Are the spheres the only critical points (among ovaloids in E3 ) of the
II-area functional under volume constraint?
6. Are the spheres the only critical points (among ovaloids in E3 ) of the
II-area functional under area constraint?
194
6.12. TEN INTERESTING OPEN PROBLEMS. 6.12. 195
195
196 6. A LITERATURE OVERVIEW. . . 6.
196
BIBLIOGRAPHY.
197
198 BIBLIOGRAPHY.
198
BIBLIOGRAPHY. 199
199
200 BIBLIOGRAPHY.
[Cartan 1942] E. Cartan, Sur les couples de surfaces applicables avec conservation des cour-
bières principles, Bulletin des Sciences Mathématiques (2e série) 66 (1942), 55–85.
[Cartan 1943] E. Cartan, Les surfaces qui admettent une seconde forme fondamentale don-
née, Bulletin des Sciences Mathématiques (2e série) 67 (1943), 8–32.
[Cauchy 1813] A. Cauchy, Sur les polygones et les polyèdres, Journal de l’École Polytech-
nique 16 (1813), 87–98.
[Chen 1973] B.-Y. Chen, On a variational problem of hypersurfaces, Journal of the London
Mathematical Society. Second Series 6 (1973), 321–325.
[Chen–Vanhecke 1981] B.-Y. Chen and L. Vanhecke, Differential Geometry of Geodesic
Spheres, Journal für die Reine und Angewändte Mathematik (Crelle’s Journal) 325
(1981), 28–67.
[Chen–Yano 1978] B.-Y. Chen and K. Yano, On the theory of normal variations, Journal of
Differential Geometry 13 (1978) 1, 1–10.
[Chen 1991] Fuliang Chen, On infinitesimal II-isometry of convex surfaces (Chinese), Jour-
nal of Jiangxi Normal University. Natural Sciences Edition 15 (1991) 1, 16–21.
[Cheng–Ishikawa 1998] Q.M. Cheng and S. Ishikawa, Spacelike hypersurfaces with constant
scalar curvature, manuscripta mathematica 95 (1998), 499–505.
[Cheng–Yau 1977] S.Y. Cheng and S.T. Yau, Hypersurfaces with constant scalar curvature,
Mathematische Annalen 225 (1997) 3, 195–204.
[Chern 1945] S.S. Chern, Some new characterizations of the Euclidean sphere, Duke Math-
ematical Journal 12 (1945), 279–290.
[Chern 1959] S.S. Chern, Integral Formulas for hypersurfaces in Euclidean space and their
applications to uniqueness theorems, Journal of Mathematics and Mechanics 8 (1959)
6, 947–955.
[Chern 1967] S.S. Chern, Curves and Surfaces in Euclidean Space, in: S.S. Chern (ed.),
Studies in Global Geometry and Analysis, Studies in Mathematics 4, The Mathematical
Association of America, Englewood Cliffs, N.J., Prentice-Hall, 1967.
[Chern 1985] S.S. Chern, Deformation of surfaces preserving principal curvatures. In: I.
Chavel and H. M. Farkas, Differential geometry and complex analysis (A volume dedi-
cated to the memory of Harry Ernest Rauch), Springer, Berlin 1985.
[Chern–do Carmo–Kobayashi 1970] S.S. Chern, M. do Carmo and S. Kobayashi, Minimal
submanifolds of a Sphere with Second Fundamental Form of Constant Length, pp. 59–75
in: F. Browder (editor), Functional Analysis and Related Fields, Springer-Verlag, Berlin
1970.
[Christoffel 1865] E.B. Christoffel, Über die Bestimmung der Gestalt einer krummen Ober-
fläche durch lokale Messungen auf derselben, Journal für die reine und angewandte
Mathematik (Crelle’s Journal) 64 (1865), 193–209.
[Christoffel 1867] E.B. Christoffel, Über einige allgemeine Eigenschaften der Minimums-
flächen, Journal für die reine und angewandte Mathematik (Crelle’s Journal) 67
(1867), 218–228.
[Coghlan–Itokawa 1990] L. Coghlan and Y. Itokawa, On the Sectional Curvature of Compact
Hypersurfaces, Proceedings of the American Mathematical Society 109 (1990) 1, 215–
221.
[Cohn-Vossen 1927] S. Cohn-Vossen, Zwei Sätze über die Starrheit der Eiflächen,
Nachrichten der Akademie der Wissenschaften in Göttingen. Mathematisch-
Physikalische Klasse 1 (1927), 125–134.
200
BIBLIOGRAPHY. 201
201
202 BIBLIOGRAPHY.
202
BIBLIOGRAPHY. 203
48
Continued as Journal of the Australian Mathematical Society.
203
204 BIBLIOGRAPHY.
[Hopf 1951] H. Hopf, Über Flächen mit einer Relation zwischen den Haupt-Krümmungen,
Mathematische Nachrichten 4 (1951), 232–249.
[Hopf 1983] H. Hopf, Differential Geometry in the Large, Lecture Notes in Mathematics
1000, Springer-Verlag, Berlin 1983.
[Hopf–Samuelson 1938] H. Hopf und H. Samelson, Zum Beweis des Kongruenzsatzes für
Eiflächen, Mathematische Zeitschrift 43 (1938) 1, 749–766.
[Hou 1997] Zhong Hua Hou, Hypersurfaces in a Sphere with Constant Mean Curvature,
Proceedings of the American Mathematical Society 125 (1997) 4, 1193–1196.
[Hsiang–Teng–Yu 1982] W.-Y. Hsiang, Z.-H. Teng and W.-C. Yu, Examples of constant mean
curvature immersions of the 3-sphere into Euclidean 4-space, Proceedings of the Na-
tional Academy of Sciences of the United States of America 79 (1982) 3931–3932.
[Hsiung 1954] C.C. Hsiung, Some integral formulas for closed hypersurfaces, Mathematica
Scandinavica 2 (1954), 286–294.
[Hsiung–Liu 1977] C.C. Hsiung and J.D. Liu, A Generalization of the Rigidity Theorem of
Cohn-Vossen, Journal of the London Mathematical Society (Second Series) 15 (1977),
557–565.
[Hsü 1960] Chin-shui Hsü, Generalization of Cohn-Vossen’s theorem, Proceedings of the
American Mathematical Society 11 (1960), 845–846.
[Huck et al 1973] H. Huck, R. Roitzsch, U. Simon, W. Vortisch, R. Walden, B. Wegner and
W. Wendland, Beweismethoden der Differentialgeometrie im Großen, Lecture Notes in
Mathematics 335, Springer-Verlag, Berlin 1973.
[Hurwitz 1902] A. Hurwitz, Sur quelques applications géometriques des séries de Fourier,
Annales scientifiques de l’École normale supérieure (Paris) 3 (1902) 19, 357–408.
[Inoguchi–Toda 2004] J. Inoguchi and M. Toda, Timelike Minimal Surfaces via Loop
Groups, Acta Applicandae Mathematicae 83 3 (II) (2004), 313–355.
[Jellett 1853] J.-H. Jellett, Sur la surface dont la courbure moyenne est constante, Journal
de Mathématiques Pures et Appliquées, Sér. I 18 (1853), 163-167.
[Kim–Yoon 2004] Y.H. Kim and D.W. Yoon, Classification of ruled surfaces in Minkowski
3-space, Journal of Geometry and Physics 49 (2004), 37–44.
[Kim–Yoon 2006] Nam Gil Kim and Dae Won Yoon, Mean curvature of non-degenerate sec-
ond fundamental form of ruled surfaces, Honam Mathematical Journal 28 (2006) 4,
549–558.
[Kim–Yoon 2007] Young Ho Kim and Dae Won Yoon, On non-developable ruled surfaces in
Lorentz–Minkowski 3-spaces, Taiwanese Journal of Mathematics 11 (2007) 1, 197–
214.
[Klingenberg 1978] W. Klingenberg, A Course on Differential Geometry, Graduate Texts in
Mathematics 51, Springer-Verlag, New York-Heidelberg, 1978.
[Klotz 1963a] T. Klotz (Milnor), Some uses of the second conformal structures on strictly
convex surfaces, Proceedings of the American Mathematical Society 14 (1963), 793–
799.
[Klotz 1963b] T. Klotz (Milnor), Some geometric consequences of conformal structure, Trans-
actions of the American Mathematical Society 108 (1963), 38–53.
[Klotz 1963c] T. Klotz (Milnor), Another conformal structure on immersed surfaces of nega-
tive curvature, Pacific Journal of Mathematics 13 (1963), 1281–1288.
[Klotz 1975] T. Klotz (Milnor), The curvature of αI + βII + γIII on a surface in a 3-manifold
of constant curvature, The Michigan Mathematical Journal 22 (1975) 3, 247–255.
204
BIBLIOGRAPHY. 205
[Klotz 1977] T. Klotz (Milnor), The curvatures of some skew fundamental forms. Proceed-
ings of the American Mathematical Society 62 (1977) 2, 323–329.
[Klotz 1980] T. Klotz (Milnor), Abstract Weingarten surfaces, Journal of Differential Geom-
etry 15 (1980) 3, 365–380.
[Klotz 1981] T. Klotz (Milnor), Codazzi Pairs on Surfaces. In: I. Bivens, J.-P. Bourguignon,
A. Derdziński, D. Ferus, O. Kowalski, T. Klotz (Milnor), V. Oliker, U. Simon, W.
Strübing, K. Voss, Discussion on Codazzi-tensors. In: Global differential geometry and
global analysis (Berlin, 1979), Lecture Notes in Mathematics 838, Springer, Berlin-
New York, 1981.
[Klotz 1983] T. Klotz (Milnor), Surfaces in Minkowski 3-space on which H and K are linearly
related, The Michigan Mathematical Journal 30 (1983), 309–315.
[Koh 1998] S.E. Koh, A characterization of round spheres, Proceedings of the American
Mathematical Society 126 (1998) 12, 3657–3660.
[Koufogiorgos 1979] T. Koufogiorgos, Some characteristic properties of the sphere related
to the curvature of the second fundamental form, Revue Roumaine de Mathématiques
Pures et Appliquées 24 (1979) 4, 611–614.
[Koufogiorgos–Hasanis 1977] T. Koufogiorgos and T. Hasanis, A Characteristic Property of
the Sphere, Proceedings of the American Mathematical Society 67 (1977) 2, 303–305.
[Koutroufiotis 1973] T. Koutroufiotis, On a conjectured characterization of the Sphere,
Mathematische Annalen 205 (1973), 211–217.
[Koutroufiotis 1974] T. Koutroufiotis, Two Characteristic Properties of the Sphere, Proceed-
ings of the American Mathematical Society 44 (1974), 176–178.
[Kowalski–Vanhecke 1986] O. Kowalski and L. Vanhecke, A new formula for the shape op-
erator of a geodesic sphere and its applications, Mathematische Zeitschrift 192 (1986)
4, 613–625.
[Kühnel 1981] W. Kühnel, Zur inneren Krümmung der zweiten Grundfurm, Monatshefte für
Mathematik 91 (1981), 241–251.
[Kühnel 1988] W. Kühnel, Conformal Transformations betwwen Einstein Spaces, pp. 105–
146 in: R.S. Kulkarni and U. Pinkall (Editors), Conformal Geometry (Aspects of Math-
emtaics: E 12), Vieweg, Wiesbaden, 1988.
[Kühnel 2002] W. Kühnel, Differential geometry (Curves—surfaces—manifolds), Student
Mathematical Library, 16. American Mathematical Society, Providence, RI 2002.
[Kühnel–Steller 2005] W. Kühnel and M. Steller, On Closed Weingarten Surfaces, Monats-
hefte für Mathematik 146 (2005), 113–126.
[Lafontaine 1982] J. Lafontaine, Courbure de Ricci et fonctionnelles critiques, Comptes Ren-
dus de l’Académie des Sciences. Série I. Mathématique 295 (1982) 12, 687–690.
[Lawson 1969] H.B. Lawson Jr., Local rigidity theorems for minimal hypersurfaces, Annals
of Mathematics 89 (1969), 187-197.
[Leichtweiß 1991] K. Leichtweiß, On the History of the Affine Surface Area for Convex Bod-
ies, Results in Mathematics 20 (1991), 650–656.
[Leichtweiß 1993] K. Leichtweiß, Convexity and differential geometry, in: P.M. Gruber and
J.M. Wills, Handbook of convex Geometry, Elsevier, Amsterdam, 1993.
[Levy 1926] H. Levy, Tensors determined by a hypersurface in Riemann space, Transactions
of the American Mathematical Society 28 (1926) 4, 671–694.
[Lewy 1938a] H. Lewy, On differential Geometry in the large, I (Minkowski’s problem),
Transactions of the Amerian Mathematical Society 43 (1938), 258–270.
205
206 BIBLIOGRAPHY.
[Lewy 1938b] H. Lewy, On the existence of a closed convex surface realizing a given Riemann-
ian metric, Proceedings of the National Academy of Sciences of the United States of
America 24 (2) (1938), 104–106.
[Li 1983] An-Min Li, Some integral Formulas for hypersurfaces and a generalization of the
Hilbert-Liebmann theorem, Proceedings of the American Mathematical Society 88
(1983) 2, 326–329.
[Li 1997] H. Li, Global Rigidity Theorems for hypersurfaces, Arkiv för Matematik 35 (1997),
327–351.
[Lichnerowicz 1961] A. Lichnerowicz, Propagateurs et commutateurs en relativité générale,
Institut des Hautes Études Scientifiques. Publications Mathématiques 10 (1961),
293–344.
[Liebmann 1899a] H. Liebmann, Eine neue Eigenschaft der Kugel, Gött. Nachr. (Kgl. Ges. d.
Wiss. Nachrichten. Math.-phys.) 1899, 44–55.
[Liebmann 1899b] H. Liebmann, Beweis zweier Sätze über die Bestimmung von Ovaloï-
den durch das Krümmungsmaß oder die mittlere Krümmung für jede Normalrichtung,
Nachrichten von der Königlicher Gesellschaft der Wissenschaften zu Göttingen 1899,
134–142.
[Liebmann 1900] H. Liebmann, Über die Verbiegung der geschlossenen Flächen positiver
Krümmung, Mathematische Annalen 53 (1900) 1-2, 81–112.
[Liebmann 1901] H. Liebmann, Neuer Beweis des Satzes, dass eine geschlossene convexe
Fläche sich nicht verbiegen lässt, Mathematische Annalen 54 (1901) 4, 505–517.
[Liebmann 1903] H. Liebmann, Neuer Beweis des Mindingschen Satzes, Jahresbericht der
Deutschen Mathematiker-Vereinigung (1903), 540–555.
[Liebmann 1919a] H. Liebmann, Die Verbiegung von geschlossenen und offenen Flächen pos-
itiver Krümmung, Münchener Berichte (1919), 267–291.
[Liebmann 1919b] H. Liebmann, Die Verbiegung analytischer Eiflächen, Mathematische
Zeitschrift 5 (1919) 1-2, 132–136. (1922).
[Liu–Simon–Verstraelen–Wang 1999] H.L. Liu, U. Simon, L. Verstraelen and C.P. Wang,
The third fundamental form metric for hypersurfaces in nonflat space forms, Journal of
Geometry 65 (1999), 130–142.
[Manhart 1982] F. Manhart, Die II-Minimalregelflächen, Anzeiger der Österreichische
Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse 119
(1982), 157–160.
[Manhart 1983] F. Manhart, Zur Differentialgeometrie der 2. Grundform, Second Austrian
geometry colloquium in Rein (Rein, 1983), Ber. No. 219, 7 pp.
[Manhart 1989a] F. Manhart, Relativgeometrische Kennzeichnungen euklidischer Hyper-
sphären, Geometriae Dedicata, 29 (1989) 2, 193–207.
[Manhart 1989b] F. Manhart, Kennzeichnungen Euklidischer Hypersphären durch
isoperimetrische Ungleichungen, Glasnik Matematički. Serija III 24 (44) (1989)
4, 541–555.
[Minding 1838a] F. Minding, Über die Biegung gewisser Flächen, Journal für die reine und
angewandte Mathematik (Crelle’s Journal) 18 (1838), 297–302.
[Minding 1838b] F. Minding, Über die Biegung krummer Flächen, Journal für die reine und
angewandte Mathematik (Crelle’s Journal) 18 (1838), 365–368.
[Minkowski 1901] H. Minkowski, Sur les surfaces convexes fermées, Comptes Rendus Heb-
domadaires des Séances de l’Académie des Sciences (Paris) 132 (1901) 21–24.
206
BIBLIOGRAPHY. 207
207
208 BIBLIOGRAPHY.
208
BIBLIOGRAPHY. 209
[Rozet 1946a] O. Rozet, Sur certaines formes différentielles d’une surface. Bulletin de la So-
ciété Royale des Sciences de Liège 15 (1946), 117–119.
[Rozet 1946b] O. Rozet, Sur certaines formes différentielles d’une surface. II, Bulletin de la
Société Royale des Sciences de Liège 15 (1946), 188–191.
[Ruh–Vilms 1970] E. Ruh and J. Vilms, The tension field of the Gauss map, Transactions of
the American Mathematical Society 149 (1970), 567–573.
[Saban 1982] G. Saban, A Characteristic Property of the Sphere, Proceedings of the Ameri-
can Mathematical Society 86 (1982) 1, 123–125.
[Sacksteder 1962] R. Sacksteder, The Rigidity of Hypersurfaces, Journal of Mathematics
and Mechanics 11 (1962), 929–939.
[Scherrer 1940] W. Scherrer, Eine Kennzeichnung der Kugel, Vierteljahresschrift der natur-
forschenden Gesellschaft in Zurich, Beiblatt (Festschrift Rudolf Feuter) 89 (1940) 3,
40–463.
[Schneider 1967a] R. Schneider, Zur affinen Differentialgeometrie im Großen. I, Mathema-
tische Zeitschrift 101 (1967), 375–406.
[Schneider 1967b] R. Schneider, Zur affinen Differentialgeometrie im Großen. II. Über eine
Abschätzung der Pickschen Invariante auf Affinsphären, Mathematische Zeitschrift 102
(1967), 1–8.
[Schneider 1972] R. Schneider, Closed convex hypersurfaces with second fundamental form
of constant curvature, Proceedings of the American Mathematical Society 35 (1972)
230–233.
[Shiohama 1982] K. Shiohama, Convexity in Riemannian Geometry, in: S.S. Chern and Wu
Wen-Tsün, Proceedings of the 1980 Beijing Symposium on Differential Geometry and
Differential Equations, vol 3, Science Press, Beijing, China 1982.
[Simon 1967] U. Simon, Minkowskische Integralformeln und ihre Anwendungen in der Dif-
ferentialgeometrie im Großen, Mathematische Annalen 173 (1967), 307–321.
[Simon 1968] U. Simon, Kennzeichnungen von Sphären, Mathematische Annalen 175
(1968), 81–88.
[Simon 1971] U. Simon, II-Verbiegungen von Eiflächen, Archiv der Mathematik 23 (1971),
319–324.
[Simon 1972] U. Simon, On the inner geometry of the second fundamental form, The Michi-
gan Mathematical Journal 19 (1972), 129–132.
[Simon 1973] U. Simon, Characterization of Relative Spheres and Ellipsoids, Archiv der
Mathematik 24 (1973) 1, 100–104.
[Simon 1976] U. Simon, Characterizations of the sphere by the curvature of the second fun-
damental form, Proceedings of the American Mathematical Society 55 (1976), 382–
384.
[Simon–Schwenk-Schellschmidt–Viesel 1991] U. Simon, A. Schwenk-Schellschmidt and
H. Viesel, Introduction to the Affine Differential Geometry of Hypersurfaces, Lecture
Notes, Science University of Tokyo, 1991.
[Simon–Vrancken–Wang–Wiehe 2000] U. Simon, L. Vrancken, Changping Wang and M.
Wiehe, Intrinsic and extrinsic geometry of ovaloids and rigidity, in: W. H. Chen, C. P.
Wang, A.-M. Li, U. Simon, M. Wiehe and L. Verstraelen, Geometry and topology of
submanifolds, X, World Scientific Publishing, River Edge, N.J., 2000.
[Simon–Voss–Vrancken–Wiehe 2002] U. Simon, K. Voss, L. Vrancken and M. Wiehe, Sur-
faces with prescribed Weingarten operator, in: PDEs, submanifolds and affine differential
geometry (Warsaw, 2000), p. 171–178, Banach Center Publications 57, Polish Acad.
Sci., Warsaw, 2002.
209
210 BIBLIOGRAPHY.
210
BIBLIOGRAPHY. 211
[Süss 1932] W. Süss, Ein Satz von P. Urysohn über mehrdimensionale Eikörper, the Tôhoku
Mathematical Journal 35 (1932), 326–328.
[Süss 1933] W. Süss, Bestimmung einer geschlossenen konvexen Flächen durch die Summe
ihrer Hauptkrümmungsradien, Mathematische Annalen 108 (1933) 1, 143–148.
[Süss 1937] W. Süss, Relative Minimalflächen und Parallelismus der affinen Flächentheorie,
the Tôhoku Mathematical Journal 43 (1937), 233–235.
[Süss 1948] W. Süss, Eine Kennzeichnung der Kugel, Archiv der Mathematik 1 (1948), 190–
191.
[Süss 1950] W. Süss, Bestimmung einer Fläche durch die dritte Grundform und die Summe
der Hauptkrümmungsradien, Archiv der Mathematik 2 (1950), 103–104.
[Süss 1953] W. Süss, Eine elementare kennzeichnende Eigenschaft des Ellipsoids,
Mathematisch-Physikalische Semesterberichte 3 (1953), 57–58.
[Süss 1957] W. Süss, Eindeutige Bestimmung von Eihyperflächen durch die Summe ihrer
Hauptkrümmungsradien, Archiv der Mathematik 8 (1957), 352–354.
[Švec 1975] A. Švec, Several new Characterizations of the Sphere, Czechoslovak Mathemat-
ical Journal 25 (100) (1975).
[Švec 1976] A. Švec, Several Characterizations of the Sphere, Periodica Mathematica Hun-
garica 7 (1976) 3-4, 313–317.
[Švec 1977] A Švec, Contributions to the Global Differential Geometry of Surfaces,
Rozpravy Československé Akad. Věd Řada Mat. Přírod. Rozpravy Československé
Akademie Věd Řada Matematických a Přírodních Věd 87 (1977), no. 1.
[Švec 1978] A. Švec Contributions to the Theory of Infinitesimal II-isometries, Mathematis-
che Nachrichten 83 (1978) 1, 73–82.
[Švec 1981] A. Švec, Global Differential Geometry of Surfaces, D. Reidel Publishing Com-
pany, Dordrecht 1981.
[Terng 1987] C.-L. Terng, Submanifolds with flat Normal Bundle, Mathematische Annalen
277 (1987), 95–111.
[Toda 2002] M. Toda, Weierstrass-type Representation of Weakly Regular Pseudospherical
Surfaces in Euclidean Space, Balkan Journal of Geometry and Its Applications 7 (2002)
2, 87–136.
[Toda 2005] M. Toda, Initial Value Problems of the Sine-Gordon Equations and Geometric
Solutions, arXiv:math/0307270 .
[Veeravalli 2000] A.R. Veeravalli, On a characterization of geodesic spheres, Indian Journal
of Pure and Applied Mathematics 31 (2000) 8, 979–982.
[Verpoort 0000a] S. Verpoort, The Mean Curvature of the Second Fundamental Form of an
Ovaloid, pre-print K.U.Leuven 2007. arXiv:0709.1644 .
[Verpoort 0000b] S. Verpoort, On the Inner Curvature of the Second Fundamental Form of a
Surface in the Hyperbolic Space, pre-print K.U.Leuven 2008. arXiv:0804.0271 .
[Vlachos 1997] T. Vlachos, A characterization for geodesic spheres in space forms, Geome-
triae Dedicata 68 (1997) 1, 73–78.
[Vortisch–Walden 1970] W. Vortisch und R. Walden, Ein Kongruenzsatz für Eiflächen,
Manuscripta Mathematica 3 (1970), 315–319.
[Voss 1956] K. Voss, Einige differentialgeometrische Kongruenzsätze für geschlossene Flächen
und Hyperflächen, Mathematische Annalen 131 (1956), 73.
211
212 BIBLIOGRAPHY.
[Voss 1970] K. Voss, Isometrie von Flächen bezüglich der zweiten Fundamentalform,
Nachrichten Der Österreichischen Mathematischen Gesellschaft, Sonderheft Nr. 91
(1970), 78–78.
[Voss 2001] K. Voss, On the shape operator of surfaces in space forms, Results in Mathemat-
ics 40 (2001) 1-4, 310–320.
[Walden 1971] R. Walden, Eindeutigkeitssätze für II-isometrische Eiflächen, Mathematische
Zeitschrift 120 (1971), 143–147.
[Walden–Wegner 1972] R. Walden and B. Wegner, Eine Bemerkung zur Integralformelmeth-
ode, Archiv der Mathematik (Basel) 23 (1972), 324–328.
[Walter 1985] R. Walter, Compact hypersurfaces with a constant higher mean curvature func-
tion, Mathematische Annalen 270 (1985) 1, 125–145.
[Weiner 1978] J. Weiner, On a problem of Chen, Willmore, et al, Indiana University Mathe-
matics Journal 27 (1978), no. 1, 19–35.
[Weingarten 1887] J. Weingarten 1887, Ueber die Deformationen einer biegsamen unaus-
dehnbaren Fläche, Journal für die Reine und Angewändte Mathematik (Crelle’s Jour-
nal) 100 (1887), 296–310.
[Wente 1986] H.C. Wente, Counterexample to a conjecture of H. Hopf, Pacific Journal of
Mathematics 121 (1986) 1, 193–243.
[Weyl 1916] H. Weyl, Über die Bestimmung einer geschlossenen konvexen Fläche durch ihr
Linienelement, Vierteljahresschrift der naturforschenden Gesellschaft 61 (1916), 40–
72.
[Weyl 1917] H. Weyl, Über die Starrheit der Eiflächen und konvexe Polyeder, Königlich
Preussische Akademie des Wissenschaften zu Berlin, Sitzungsberichte (1917), 250–
266.
[Weyl 1939] H. Weyl, On the Volume of Tubes, American Journal of Mathematics 61 (1939)
2, 461–472.
[Wiehe 1998] M. Wiehe, Deformations in Affine Hypersurface Theory, PhD. Thesis, TU
Berlin 1998; Shaker Verlag, Aachen 1999.
[Willmore–Jhaveri 1972] T.J. Willmore and C.S. Jhaveri, An extension of a result by Bang-
Yen Chen, The Quarterly Journal of Mathematics. Oxford. Second Series 23 (1972),
319–323.
[Wolf 1966] J.A. Wolf, Exotic metrics on immersed surfaces, Proceedings of the American
Mathematical Society 17 (1966), 871–877.
[Ximin 2001] L. Ximin, Space-like Hypersurfaces in the de Sitter Spaces, Journal of Mathe-
matical Physics 42 (2001) 8, 3965–3972.
[Yang 1989] Wenmao Yang, On infinitesimal Bonnet II-isometric deformations of surfaces in
E3 (Chinese), Journal of Mathematics. Wuhan University 9 (1989) 2, 217–228.
[Yano 1949] K. Yano, Sur la théorie des déformations infinitésimales, Journal of the Faculty
of Sciences of the University of Tokyo. Section 1 6 (1949), 1–75.
[Yano 1970] K. Yano, Integral Formulas in Riemannian geometry, Pure and applied mathe-
matics 1, Dekker, New York 1970.
[Yano 1978] K. Yano, Infinitesimal Variations of Submanifolds, Kodai Mathematical Journal
1 (1978), 30–44.
[Yoon 2006a] Dae Woon Yoon, Ruled surfaces whose mean curvature vector is an eigenvector
of the Laplacian of the second fundamental form, International Mathematical Forum.
Journal for Theory and Applications 1 (2006) 33-36, 1783–1788.
212
BIBLIOGRAPHY. 213
[Yoon 2006b] Dae Woon Yoon, Ruled surfaces in Lorentz-Minkowski 3-spaces with non-
degenerate second fundamental form, Acta Mathematica Academiae Paedagogicae
Nyíregyháziensis. New Series 22 (2006) 3, 275–284.
[Zheng 1996] Y. Zheng, Space-like hypersurfaces with constant scalar curvature in the de
Sitter spaces, Differential Geometry and its Applications 6 (1996) 1, 51–54.
[Zheng 1995a] Y. Zheng, On space-like hypersurfaces in the de Sitter space, Annals of Global
Analysis and Geometry 13 (1995), 317–321.
[Zhou 1987] Jia Zhu Zhou, On infinitesimal II-isometry of closed convex surfaces, Journal of
Mathematics. Shuxue Zazhi (Wuhan) 7 (1987) 2, 181–188.
[Zhou 1990] Jia Zhu Zhou, Some results of infinitesimal II-isometry of closed surfaces, Acta
Mathematica Sinica. New Series 6 (1990) 4, 327–333.
213
214 BIBLIOGRAPHY.
214
NOTATION INDEX.
(The numbers refer to the page where the corresponding symbol has been
introduced.)
End of a proof.
z End of an example.
End of a remark or a bibliographical note.
×) = µ∗ B(µ ) .
3 B(µ t t t
5 D = standard connection of E3 .
5 ei = principal direction.
5 λi = principal curvature.
215
216 NOTATION INDEX.
5 A = shape operator.
5 H = mean curvature.
5 K = Gaussian curvature.
8 f ← = inverse of a bijection f : A → B.
8 ∇ = Levi-Civita connection.
t
10 vp = tangent part of the vector vp .
n
10 vp = normal part of the vector vp .
216
NOTATION INDEX. 217
62 Rc = Ricci operator.
62 S = scalar curvature.
67 Hs f = Hessian operator of f .
217
218 NOTATION INDEX.
72 µ = (arbitrary) deformation.
76 ¹· , ·º = Lie bracket.
90 Z = trII B .
96 ` =ZùL.
218
NOTATION INDEX. 219
139 Z(n) y = extension of a tensor Z(n) along a geodesic by means of
parallel translation.
140 x = normal co-ordinate system on (M , g).
219
220 NOTATION INDEX.
220
AUTHOR AND SUBJECT INDEX.
(This index does not refer to authors of articles which are mentioned in foot-
notes or the bibliography.)
221
222 AUTHOR AND SUBJECT INDEX.
222
AUTHOR AND SUBJECT INDEX. 223
223
224 AUTHOR AND SUBJECT INDEX.
S. Tabachnikov, 170
B. Taylor, 139
tensor
224