Sochi, Taha - Introduction To Differential Geometry of Space Curves and Surfaces-CreateSpace Independent Publishing Platform (2017)
Sochi, Taha - Introduction To Differential Geometry of Space Curves and Surfaces-CreateSpace Independent Publishing Platform (2017)
The helicoid (Fig. 11↓) is a ruled surface (see § 6.3↓) with the
property that for each point P on the surface there is a helix
passing through P and contained entirely in the surface. It can
be defined parametrically by:
(33) x = a ξ cosθ
(34) y = a ξ sinθ
(35) z = b θ
where a, b are non-zero real constants and ξ, θ are real
parameters with − ∞ ≤ ξ ≤ + ∞ and − ∞ ≤ θ < + ∞.
Figure 11 Helicoid.
1.4.2 Functions
2.3.1 Curvature
2.3.2 Torsion
̃
where b̃ and b are the determinants of the surface covariant
curvature tensor in the barred and unbarred systems
respectively and J ( = |∂u ⁄ ∂ũ|) is the Jacobian of the
transformation between the two surface coordinate systems.
The surface covariant curvature tensor is given in matrix form
by:
(222)
where e, f, g are the coefficients of the second fundamental
form of the surface (refer to § 3.6↓). This is a symmetric
matrix as indicated earlier and as seen in the last part of the
equation.
The mixed form of the surface curvature tensor bα β is given
by:
(223)
where E, F, G, e, f, g are the coefficients of the first and second
fundamental forms and a = EG − F2 is the determinant of the
surface covariant metric tensor. As seen, the coefficients of bαβ
depend on the coefficients of both the first and second
fundamental forms. The mixed form bαβ = bαγaγβ is the
transpose of the above form.
The contravariant form of the surface curvature tensor is given
by:
(224)
where
A = eG2 − 2fFG + gF2
B = fEG − eFG − gEF + fF2
C = fEG − eFG − gEF + fF2
D = gE2 − 2fEF + eF2.
Like the covariant form, the contravariant form is a symmetric
tensor as indicated before and as seen above.
As we will see, the trace of the surface mixed curvature tensor
bαβ is twice the mean curvature H (see § 4.6↓), while its
determinant is the Gaussian curvature K (see § 4.5↓), that is:
(225)
H = tr(bαβ) ⁄ 2
K = det(bαβ)
Because the trace and the determinant of a tensor are its main
two invariants under permissible coordinate transformations
(refer to similarity transformations of linear algebra), then H
and K are invariant, as will be established later in the book.
The surface covariant curvature tensor of a Monge patch of the
form r(u, v) = (u, v, f(u, v)) is given by:
(226)
where the subscripts u and v stand for partial derivatives of f
with respect to these surface coordinates. Since fuv = fvu, the
tensor is symmetric as it should be. The equality: fuv = fvu is
based on the well known continuity condition which is fully
explained in any standard textbook on calculus.
The covariant curvature tensor of a surface and the Riemann-
Christoffel curvature tensor of the first kind are linked by the
following relation:
(227) Rαβγδ = bαγbβδ − bαδbβγ
This relation may also be given in terms of the Riemann-
Christoffel curvature tensor of the second kind using the index
raising operator for the surface, that is:
(228) aαωRωβγδ = Rαβγδ = bαγbβδ − bαδbβγ
From Eqs. 88↑ and 227↑, it can be concluded that the surface
covariant curvature tensor and the surface Christoffel symbols
of the first and second kind are related by:
(229) bαγbβδ − bαδbβγ = (∂[βδ, α] ⁄ ∂γ) − (∂[βγ, α] ⁄ ∂δ) + [αδ,
ω]Γωβγ − [αγ, ω]Γωβδ
Similarly, from Eqs. 89↑ and 228↑, it can be concluded that the
surface curvature tensor and the surface Christoffel symbols of
the second kind are related by:
(230) bαγbβδ − bαδbβγ = (∂Γαβδ ⁄ ∂γ) − (∂Γαβγ ⁄ ∂δ) + ΓωβδΓαωγ −
ΓωβγΓαωδ
Considering the fact that the 2D Riemann-Christoffel curvature
tensor has only one degree of freedom (see § 1.4.10↑) and
hence it possesses a single independent non-vanishing
component which is represented by R1212, we see that Eq. 227↑
has only one independent component which is given by:
(231) R1212 = b11b22 − b12b21 = b
where b is the determinant of the surface covariant curvature
tensor.
Equation 227↑ also shows that each one of the following
provisions:
(232)
Rαβγδ = 0
and
bαβ = 0
(α, β, γ, δ = 1, 2) if satisfied identically is a sufficient and
necessary condition for having a flat 2D space. However, for a
plane surface all the coefficients of the Riemann-Christoffel
curvature tensor and the coefficients of the surface curvature
tensor vanish identically throughout the surface, but for a
surface which is isometric to plane the coefficients of the
Riemann-Christoffel curvature tensor vanish identically but not
necessarily the coefficients of the surface curvature tensor.
This is based on the fact that having a zero determinant does
not imply having a zero tensor (see Eq. 231↑). So, as stated
previously, the provision Rαβγδ = 0 is a sufficient and necessary
condition for having an intrinsically flat space, while the
provision bαβ = 0 is a sufficient and necessary condition for
having an extrinsically flat space. Having an extrinsically flat
space implies having an intrinsically flat space since a
curvature that cannot be observed from outside the space
cannot be seen from inside the space.
From Eqs. 88↑ and 227↑, we see that the Riemann-Christoffel
curvature tensor can be expressed in terms of the coefficients
of the surface curvature tensor as well as in terms of the
coefficients of the surface metric tensor where the two sets of
coefficients are linked through Eq. 229↑. This does not mean
that Riemann-Christoffel curvature is an extrinsic property but
it means that some intrinsic properties can also be defined in
terms of extrinsic parameters. It should be noticed that the sign
of the surface curvature tensor (i.e. the sign of its coefficients)
is dependent on the choice of the direction of the unit normal
vector to the surface, n, and hence the sign of the coefficients
will be reversed if the direction of n is reversed. This can be
seen, for example, from Eq. 214↑.
3.5 First Fundamental Form
As indicated previously, the first fundamental form, which is
based on the metric, encompasses all the intrinsic information
about the surface that a 2D inhabitant of the surface can obtain
from measurements performed on the surface without
appealing to an external dimension. In the old books, the first
fundamental form may be labeled as the first fundamental
quadratic form.
The first fundamental form IS of the length of an element of arc
of a curve on a surface is a quadratic expression given by:
(233)
IS =
(ds)2 =
dr⋅dr =
(∂r ⁄ ∂uα)⋅(∂r ⁄ ∂uβ)duαduβ =
Eα⋅Eβ duαduβ =
aαβ duαduβ =
E(du1)2 + 2F du1du2 + G(du2)2
where E, F, G, which in general are continuous variable
functions of the surface coordinates u1 and u2, are given by:
(234)
E=
a11 =
E1⋅ E1 =
(∂r ⁄ ∂u1)⋅(∂ r ⁄ ∂u1) =
gij(∂xi ⁄ ∂u1)(∂xj ⁄ ∂u1)
(235)
F=
a12 =
E1⋅ E2 =
(∂r ⁄ ∂u1)⋅(∂ r ⁄ ∂u2) =
gij(∂xi ⁄ ∂u1)(∂xj ⁄ ∂u2) =
E2⋅ E1 = a21
(236)
G=
a22 =
E2⋅ E2 =
(∂r ⁄ ∂u2)⋅(∂ r ⁄ ∂u2) =
gij(∂xi ⁄ ∂u2)(∂xj ⁄ ∂u2)
where the indexed a are the elements of the surface covariant
metric tensor, the indexed x are the general coordinates of the
enveloping space and gij is its covariant metric tensor.
For a flat space with a Cartesian coordinate system xi, the
space metric is gij = δij and hence the above equations become:
(237) E = (∂xi ⁄ ∂u1)(∂xi ⁄ ∂u1)
(238) F = (∂xi ⁄ ∂u1)(∂xi ⁄ ∂u2)
(239) G = (∂xi ⁄ ∂u2)(∂xi ⁄ ∂u2)
The first fundamental form can be cast in the following matrix
form:
(240)
where v is a direction vector, vT is its transpose, and IS is the
first fundamental form tensor which is equal to the surface
covariant metric tensor. Hence, the matrix associated with the
first fundamental form is the covariant metric tensor of the
surface. We remark that the notation regarding the dot product
operation between two matrices in the first line of Eq. 240↑
may not be a standard one. We also note that while the
coefficients of the first fundamental form depend on the
position on the surface and hence they are functions of the
surface coordinates but not the direction, the first fundamental
form is a function of both position and direction.
The first fundamental form is not a unique characteristic of the
surface and hence two geometrically different surfaces as seen
from the enveloping space, such as plane and cylinder, can
have the same first fundamental form. Such surfaces are
different extrinsically as seen from the embedding space
although they are identical intrinsically as viewed internally
from the surface by a 2D inhabitant.
The first fundamental form is positive definite at regular points
of 2D surfaces; hence its coefficients are subject to the
following conditions:
(241)
E>0
and
det(IS) = EG − F2 > 0
As indicated earlier, the above conditions imply G > 0 since
these coefficients are real. It is noteworthy that the condition of
positive definiteness may be amended to allow for metrics
based on coordinate systems with imaginary coordinates as it is
the case in the coordinate systems of the Minkowski space (see
§ 1.4.7↑), but this is out of the scope of the present book whose
focus is the geometry of space curves and surfaces in a static
sense and hence all metrics considered in this book are positive
definite.
As indicated above, the first fundamental form encompasses
the intrinsic properties of the surface geometry. Hence, as seen
in § 3.3↑, the first fundamental form is used to define and
quantify things like arc length, area and angle between curves
on a surface based on its qualification as a metric. For
example, Eq. 204↑ shows that the length of a curve segment on
a surface is obtained by integrating the square root of the first
fundamental form of the surface along the segment.
If a surface S1 can be mapped isometrically (see § 3.1↑ and §
6.5↓) onto another surface S2, then the two surfaces have
identical first fundamental forms and identical first
fundamental form coefficients at their corresponding points,
that is (see Footnote 13 in § 8↓):
(242)
E1 = E2
F1 = F2
G1 = G2
where the subscripts are labels for the two surfaces. Based on
Eq. 201↑, for a Monge patch of the form r(u, v) = (u, v, f(u, v)),
the first fundamental form is given by:
(243) IS = (1 + fu2)dudu + 2fufvdudv + (1 + fv2)dvdv
where the subscripts u and v stand for partial derivatives of f
with respect to these surface coordinates.
3.6 Second Fundamental Form
The mathematical entity that characterizes the extrinsic
geometry of a surface is the normal vector to the surface. This
entity can only be observed externally from outside the surface
by an observer in a reference frame in the space that envelops
the surface. Hence, the normal vector and all its subsidiaries
are strange to a 2D inhabitant to the surface who can only
access the intrinsic attributes of the surface as represented by
and contained in the first fundamental form. In brief, the 2D
inhabitant has no notion of the extra dimension which
embraces the normal vector. As a consequence, the variation of
the normal vector as it moves around the surface can be used
as an indicator to characterize the surface shape from an
external point of view and that is how this indicator is
exploited in the second fundamental form to represent the
extrinsic geometry of the surface as will be seen from the
forthcoming formulations of the second fundamental form.
The second fundamental form IIS of a surface, which in the old
books may be labeled as the second fundamental quadratic
form, is defined by the following quadratic expression:
(244)
IIS =
− dr⋅dn =
− [(∂r ⁄ ∂uα)duα]⋅[(∂n ⁄ ∂uβ)duβ] =
− [(∂r ⁄ ∂u1)du1 + (∂ r ⁄ ∂u2)du2]⋅[(∂ n ⁄ ∂u1)du1 + (∂ n ⁄
∂u2)du2] =
e(du1)2 + 2f du1du2 + g(du2)2
where the coefficients of the second fundamental form e, f, g
are given by:
(245)
e=
− (∂r ⁄ ∂u1)⋅(∂ n ⁄ ∂u1) =
− E1⋅(∂ n ⁄ ∂u1)
(246)
f=
− [(∂r ⁄ ∂u1)⋅(∂ n ⁄ ∂u2) + (∂ r ⁄ ∂u2)⋅(∂ n ⁄ ∂u1)] ⁄ 2 =
− [E1⋅(∂ n ⁄ ∂u2) + E2⋅(∂ n ⁄ ∂u1)] ⁄ 2
(247)
g=
− (∂r ⁄ ∂u2)⋅(∂ n ⁄ ∂u2) =
− E2⋅(∂ n ⁄ ∂u2)
In the above equations, r(u1, u2) denotes the spatial
representation of the surface, n(u1, u2) is the unit normal vector
to the surface and α, β = 1, 2.
The second fundamental form may also be given by:
(248)
where d2 r is the second order differential of the position
vector r of an arbitrary point on the surface in the direction
(du1, du2). As a result, the coefficients of the second
fundamental form can also be given by the following
alternative expressions:
(249)
e=
n⋅(∂E1 ⁄ ∂u1) =
− (∂n ⁄ ∂u1)⋅ E1
(250)
f=
n⋅(∂E1 ⁄ ∂u2) =
n⋅(∂E2 ⁄ ∂u1) =
− (∂n ⁄ ∂u2)⋅ E1 =
− (∂n ⁄ ∂u1)⋅ E2
(251)
g=
n⋅(∂E2 ⁄ ∂u2) =
− (∂n ⁄ ∂u2)⋅ E2
The two forms of each formula in the last equations are based
on the fact that n⋅Eα = 0, since n is perpendicular to the surface
basis vectors, plus the product rule of differentiation, that is:
(252) ∂(n⋅Eα) ⁄ ∂uβ = ∂(0) ⁄ ∂uβ = n⋅(∂Eα ⁄ ∂uβ) + (∂n ⁄ ∂uβ)⋅Eα
=0 ⇒ n⋅(∂Eα ⁄ ∂uβ) = − (∂n ⁄ ∂uβ)⋅Eα
The equality:
n⋅(∂2 E1) = n⋅(∂1 E2)
which is seen in Eq. 250↑ is based on the equality:
∂αEβ = ∂βEα
as stated before (see Eq. 217↑).
From Eqs. 249↑-251↑ plus Eq. 168↑, we can see that the
coefficients of the second fundamental form may also be given
by the following expressions:
(253) e = [(E1 × E2)⋅(∂ E1 ⁄ ∂u1)] ⁄ √(a)
(254) f = [(E1 × E2)⋅(∂ E1 ⁄ ∂u2)] ⁄ √(a)
(255) g = [(E1 × E2)⋅(∂ E2 ⁄ ∂u2)] ⁄ √(a)
where a ( = a11a22 − a12a21 = EG − F2) is the determinant of
the surface covariant metric tensor. Like the coefficients of the
first fundamental form, the coefficients of the second
fundamental form are, in general, continuous variable
functions of the surface coordinates u1 and u2.
The second fundamental form can also be cast in the following
matrix form:
(256)
where v is a direction vector, vT is its transpose, and IIS is the
second fundamental form tensor. As indicated before, the
notation regarding the dot product operation may not be
standard in the commonly employed matrix notation. Also,
although the coefficients of the second fundamental form
depend on the position but not the direction, the second
fundamental form depends on both.
As seen before, the coefficients of the second fundamental
form satisfy the following relations:
(257)
e = b11
f = b12 = b21
g = b22
Hence, the second fundamental form tensor IIS is the same as
the surface covariant curvature tensor b, that is:
(258)
As a consequence of the previous statements, we see that the
second fundamental form can also be given in a compact
tensor notation form by:
(259) IIS = bαβ duα duβ
where the indexed b are the elements of the surface covariant
curvature tensor and α, β = 1, 2.
The second fundamental form of the surface at a given point
and in a given direction can also be expressed in terms of the
first fundamental form IS and the normal curvature κn of the
surface at that point and in that direction (see § 4.2↓) as:
(260) IIS = κnIS = κn(ds)2
Based on Eqs. 259↑ and 226↑, for a Monge patch of the form
r(u, v) = (u, v, f(u, v)), the second fundamental form is given
by:
(261) IIS = (fuududu + 2fuvdudv + fvvdvdv) ⁄ √(1 + fu2 + fv2)
where the subscripts u and v stand for partial derivatives of f
with respect to these surface coordinates.
While the first fundamental form is invariant under isometric
transformations, the second fundamental form is invariant
under rigid motion transformations. The second fundamental
form is also invariant (considering spatially-fixed directions)
under permissible surface re-parameterizations that maintain
the sense of the normal vector to the surface, n. However, the
second fundamental form changes its sign if the sense of n is
reversed. As indicated earlier, while the first fundamental form
encompasses the intrinsic geometry of the surface, the second
fundamental form encompasses its extrinsic geometry.
Consequently, the first fundamental form is associated with the
surface covariant metric tensor, while the second fundamental
form is associated with the surface covariant curvature tensor.
A major difference between the two fundamental forms is that
while the first fundamental form is positive definite, as stated
previously, the second fundamental form is not necessarily
positive or definite.
Unlike space curves which are completely defined by specified
curvature and torsion, κ and τ, providing arbitrary first and
second fundamental forms is not a sufficient condition for the
existence and determination of a surface with these forms. This
is due to the fact that the first and second fundamental forms
when independently defined do not provide acceptable
determination for the surface unless they satisfy extra
compatibility conditions to ensure the consistency of these
forms and secure the existence of a surface associated with
these forms. In more technical terms, defining six functions E,
F, G, e, f, g of class C3 on a subset of ℝ2 where these functions
satisfy the conditions for the coefficients of the first and
second fundamental forms (in particular E, G > 0 and EG − F2
> 0) does not guarantee the existence of a surface over the
given subset with a first fundamental form:
E(du1)2 + 2Fdu1du2 + G(du2)2
and a second fundamental form:
e(du1)2 + 2fdu1du2 + g(du2)2.
Further compatibility conditions relating the first and second
fundamental forms are required to fully identify the surface
and secure its existence.
The above difference between curves and surfaces may be
linked to the fact that the conditions for the curves are
established based on the existence theorem for ordinary
differential equations where these equations generally have a
solution, while the conditions for the surfaces are established
based on the existence theorem for partial differential
equations which have solutions only when they meet additional
integrability conditions. The details should be sought in more
extensive books on differential geometry.
Following the statements in the last paragraphs, the required
compatibility conditions for the existence of a surface with
predefined first and second fundamental forms are given by the
Codazzi-Mainardi equations (Eqs. 294↓-295↓) plus the
following equation:
(262) eg − f2 = F(∂uΓ222 − ∂vΓ212 + Γ122Γ211 − Γ112Γ212) +
E(∂uΓ122 − ∂vΓ112 + Γ122Γ111 + Γ222Γ112 − Γ112Γ112 − Γ212Γ122)
where all the symbols are as defined previously and the
Christoffel symbols belong to the surface.
From the above statements, the fundamental theorem of space
surfaces in differential geometry, which is the equivalent of the
fundamental theorem of curves (see § 2.3↑), emerges. The
theorem states that: given six sufficiently smooth functions E,
F, G, e, f, g on a subset of ℝ2 satisfying the following
conditions:
1. E, G > 0 and EG − F2 > 0, and
2. E, F, G, e, f, g satisfy Eqs. 262↑ and 294↓-295↓,
then there is a unique surface with E, F, G as its first
fundamental form coefficients and e, f, g as its second
fundamental form coefficients. Hence, if two surfaces meet all
these conditions, then they are identical within a rigid motion
transformation in space. As a result, the fundamental theorem
of surfaces, like the fundamental theorem of curves, provides
the existence and uniqueness conditions for surfaces.
On the other hand, according to one of the theorems of Bonnet,
if there are two surfaces of class C3, S1:Ω → ℝ3 and S2:Ω →
⊆
ℝ3, which are defined over a connected set Ω ℝ2 and they
have identical first and second fundamental forms, then the
two surfaces can be mapped on each other by a purely rigid
motion transformation. The existence of these surfaces
guarantees the compatibility of their first and second
fundamental forms and hence they are identical within a rigid
motion transformation according to the fundamental theorem
of surfaces.
It is noteworthy that two surfaces having identical first
fundamental forms but different second fundamental forms
may be described as applicable. An example of applicable
surfaces is plane and cylinder. Although all applicable
surfaces, according to this definition, are isometric since they
have identical first fundamental forms, not all isometric
surfaces are applicable since two isometric surfaces may also
have identical second fundamental forms as it is the case of
two planes.
It should be remarked that some authors use L, M, N instead of
e, f, g to symbolize the coefficients of the second fundamental
form. However, the use of e, f, g is advantageous since they
correspond nicely to the coefficients of the first fundamental
form E, F, G making the formulae involving the first and
second fundamental forms more symmetric and memorable.
On the other hand, the use of L, M, N is also advantageous
when reciting formulae especially if the formulae contain the
coefficients of both fundamental forms; moreover, it is less
susceptible to errors in the writing and typing of these
formulae.
Another remark is that the coefficient g of the second
fundamental form should not be confused with the symbol g of
the determinant of the space covariant metric tensor which is
commonly used in the literature of tensor calculus and
differential geometry but we do not use it in the present book.
The coefficient f of the second fundamental form should also
be distinguished easily from the symbol f which is widely used
in the mathematical literature to symbolize mathematical
functions and hence we kept its use in this book for the sake of
readability while making some effort to avoid potential
confusion.
where the first sum is over the curves while the second sum is
over the corners, κg is the geodesic curvature of the curves Cj
as a function of their coordinates, φk are the exterior angles of
the corners and K is the Gaussian curvature of D as a function
of the coordinates over D. The geodesic and Gaussian
curvatures in the above formulation should be continuous and
finite over their domain. As indicated previously, the term
∬ DKdσ, which represents the area integral of the Gaussian
curvature over the region D of the above-described surface, is
called the total curvature Kt of D.
We note that the corners indicated in the last paragraph can be
defined as the points of discontinuity of the tangents of the
boundary curves. The angles of these corners are therefore
defined as the angles between the tangent vectors at the points
of discontinuity when traversing the boundary curves in a
predefined sense. As indicated above, these angles are exterior
to the region surrounded by the curves. Sometimes, “artificial
corners” at regular points are introduced for convenience to
establish an argument; in which case the exterior angle is zero.
Several examples related to artificial corners will be given in
the forthcoming parts of the book.
It should be remarked that the form of the Gauss-Bonnet
theorem given by Eq. 386↑ may be labeled as a local variant of
the theorem although its locality may not be obvious.
However, it can be justified by its application in principle to a
part of the surface in comparison to the forthcoming global
variant of the theorem which applies to the whole surface and
involves the Euler characteristic and the genus of the surface
which are global features of the surface. Anyway, these labels
are not of crucial importance as long as the theorem and its
significance are understood and appreciated.
Some examples for the application of the above form of the
Gauss-Bonnet theorem are given below:
1. A disc in a plane with radius R where Eq. 386↑ becomes:
(387)
(1 ⁄ R)2πR + 0 + 0 =
2π + 0 + 0 ≡ 2π
which is an identity.
2. A semi-circular disc in a plane with radius R where Eq. 386↑
becomes:
(388)
[(1 ⁄ R)πR + 0 × 2R] + 2(π ⁄ 2) + 0 =
π + π + 0 ≡ 2π
which is an identity again.
3. A spherical triangle (Fig. 39↓) on a sphere of radius R whose
sides are two half meridians connecting a pole to the equator
and one quarter of an equatorial parallel and all of its three
corners are right angles where Eq. 386↑ becomes:
(389)
[0(3{πR ⁄ 2})] + 3(π ⁄ 2) + (1 ⁄ R2)(4πR2 ⁄ 8) =
0 + (3π ⁄ 2) + (π ⁄ 2) ≡ 2π
4. The upper half of a sphere (or a hemisphere in general) of
radius R where Eq. 386↑ becomes:
(390)
0(2πR) + 0 + (1 ⁄ R2)2πR2 =
0 + 0 + 2π ≡ 2π
Figure 39 A spherical triangle with three right angles on the
surface of a sphere. The three sides of this spherical triangle
are arcs of great circles.
The fact that the sum of the interior angles of a planar triangle
is equal to π can also be regarded as an instance of the Gauss-
Bonnet theorem since for a planar triangle Eq. 386↑ becomes:
(391)
0 + Σ3i = 1 (π − θi) + 0 =
3π − Σ3i = 1 θi = 2π
where θi are the interior angles of the triangle and hence Σ3i =
1θi = π as it should be.
By a similar argument, we can obtain the sum of the interior
angles of a planar polygon of n sides (n > 2) using the Gauss-
Bonnet theorem, that is:
(392)
0 + Σni = 1 (π − θi) + 0 =
nπ − Σni = 1 θi = 2π
where θi are the interior angles of the n-polygon and hence Σni
= 1θi = (n − 2)π as it should be.
The fact that the perimeter of a planar circle of radius R is 2πR
can be regarded as another instance of the Gauss-Bonnet
theorem since for such a planar circle Eq. 386↑ becomes:
(393) (1 ⁄ R)L + 0 + 0 = 2π
where L is the length of the circle perimeter and hence L = 2πR
which is the required result.
As a result of the Gauss-Bonnet theorem, the sum θs of the
interior angles of a geodesic triangle on a surface with
Gaussian curvature of constant sign is:
1. θs < π iff K < 0.
2. θs = π iff K = 0.
3. θs > π iff K > 0.
Figure 40 Geodesic triangles on a surface with negative
Gaussian curvature (left frame), a surface with zero Gaussian
curvature (middle frame), and a surface with positive Gaussian
curvature (right frame).
These cases are depicted in Fig. 40↑. This shows that the total
curvature provides the excess over π for the sum when K > 0
on the surface and the deficit when K < 0. The vanishing total
curvature in the case of K = 0 is the intermediate case where
the total curvature term has no contribution to the sum. This
can be seen from Eq. 386↑ which, for a geodesic triangle, will
reduce to:
∬
(394) 0 + (3π − θs) + DKdσ = 2π ⇒ ∬
θs = π + DKdσ
We remark that “geodesic triangle” is a triangle with geodesic
sides and hence κg = 0 identically over its boundary (see §
5.7↓). Also, “triangle” here and in the spherical triangle
example related to Fig. 39↑ is more general than a three-side
planar polygon with three straight segments as it can be on a
curved surface with curved non-planar sides.
As a consequence of the findings in the last paragraph, two
geodesic curves on a simply connected patch of a surface with
negative Gaussian curvature cannot intersect at two points
because on introducing a vertex at a regular point on one curve
we will have an artificial corner with zero exterior angle and
hence π interior angle. We will then have a geodesic triangle
with θs > π on a surface over which K < 0, in violation of the
above-stated condition. By a similar argument to the argument
in the previous paragraph, the area of a geodesic polygon on a
surface with constant non-zero Gaussian curvature is
determined by the sum of the polygon interior angles θs. This
can also be seen from Eq. 386↑ which in this case will be
reduced to:
∬
(395) 0 + (nπ − θs) + K Ddσ = 2π ⇒ ∬ Ddσ = [θs + (2
− n)π] ⁄ K
where n > 2 is the number of sides of the polygon. As for
geodesic triangle, “geodesic polygon” is a polygon with
geodesic sides and hence κg = 0 identically over its boundary.
Again, “polygon” here is general and hence it includes
curvilinear polygon on curved surface with curved non-planar
sides.
It is worth noting that because the geodesic curvature is an
intrinsic property, as discussed in § 4.3↑, the Gauss-Bonnet
theorem, as given by Eq. 386↑, is another indication to the fact
that the Gaussian curvature (as well as the total curvature) is an
intrinsic property and hence it is another demonstration of
Theorema Egregium (see § 4.7↑).
The Gauss-Bonnet theorem has also a global variant which
links the Euler characteristic χ, which is a topological invariant
of the surface, to the Gaussian curvature K, which is a
geometric invariant of the surface. This global form of the
Gauss-Bonnet theorem states that: on a compact orientable
surface S of class C3 these two invariants are linked through
the following equation:
∬
(396) S Kdσ = 2πχ
Now, since χ is a topological invariant of the surface, Eq. 396↑
reveals that the total curvature is also a topological invariant of
the surface.
The global Gauss-Bonnet theorem can be used to determine the
total curvature Kt of a surface. For example, the Euler
characteristic of a sphere is 2 and hence from Eq. 396↑ it can
be concluded that its total curvature is Kt = 4π with no need for
evaluating the area integral. Similarly, the Euler characteristic
of a torus is 0 and hence it can be concluded immediately that
its total curvature is Kt = 0 with no need for evaluating the
integral. The Euler characteristics of the sphere and torus in
these examples can be obtained easily by polygonal
decomposition, as described in § 1.4.1↑. For example, the
Euler characteristic of the sphere can be calculated by dividing
the surface of the sphere to 4 curved polygonal faces with 4
vertices and 6 edges and hence the Euler characteristic is:
(397) χ = V + ℱ − ℰ = 4 + 4 − 6 = 2
as seen in Fig. 16↑.
The global Gauss-Bonnet theorem can also be used in the
opposite direction, that is it may be used for determining the
Euler characteristic of a surface knowing its Gaussian, and
hence total, curvature although in most cases this may be of
little use practically. For instance, the Gaussian curvature of a
sphere of radius R is (1 ⁄ R2) at every point on the sphere and
hence its total curvature is
Kt = Kσ = (1 ⁄ R2)4πR2 = 4π,
therefore from Eq. 396↑ its Euler characteristic is
χ = (4π) ⁄ (2π) = 2.
The Gauss-Bonnet theorem can also be used to find the total
curvature of a smooth surface which is topologically-
equivalent (i.e. homeomorphic) to another surface with known
total curvature without need for any calculation. For example,
the ellipsoid (Fig. 4↑) is homeomorphic to the sphere and
hence they have the same Euler characteristic. Therefore,
according to Eq. 396↑ they have the same total curvature
which is 4π as known from the aforementioned sphere
example. As a consequence, the total curvature Kt of a smooth
surface with a complex shape can be obtained from the Gauss-
Bonnet theorem by reducing the surface to a topologically-
equivalent simpler surface whose total curvature can be
evaluated promptly.
As seen before (refer to § 1.4.1↑), for an orientable surface of
genus g the Euler characteristic is given by:
χ = 2(1 − g),
and hence its total curvature is given by:
(398) Kt = 2πχ = 4π(1 − g)
So, for a compact orientable complexly-shaped surface which
can be reduced to a sphere with 2 handles the total curvature is
Kt = 4π(1 − 2) = − 4π.
Similarly, the genus of a torus is g = 1 and hence its total
curvature is
Kt = 4π(1 − 1) = 0,
as found earlier by another method. Hence, the total curvature
of any complexly-shaped surface that can be reduced to a torus
is zero.
The important and obvious implication of the global variant of
the Gauss-Bonnet theorem that can be concluded from the
previous discussion is that the total curvature of a closed
surface is dependent on its genus and Euler characteristic and
not on its geometric shape and hence it is a topological
parameter of the surface as stated before.
4.9 Local Shape of Surface
Using the principal curvatures, κ1 and κ2, a point P on a
surface is classified according to the shape of the surface in the
close proximity of P as:
1. Flat when κ1 = κ2 = 0, and hence K = H = 0 (see Eqs. 355↑
and 382↑).
2. Parabolic when either κ1 = 0 and κ2 ≠ 0 or κ2 = 0 and κ1 ≠ 0,
and hence K = 0 and H ≠ 0.
3. Elliptic when either κ1 > 0 and κ2 > 0 or κ1 < 0 and κ2 < 0,
and hence K > 0.
4. Hyperbolic when κ1 > 0 and κ2 < 0, and hence K < 0.
These constraints on κ1 and κ2, and hence on K and H, are
sufficient and necessary conditions for determining the type of
the surface point as described above.
The following are some examples for the above classification:
1. The points of plane are flat.
2. The points of cone (excluding the apex) and the points of
cylinder are parabolic.
3. The points of ellipsoid (Fig. 4↑) are elliptic.
4. The points of catenoid (Fig. 10↑) are hyperbolic.
Surfaces normally contain points of different shapes. For
example, the torus has elliptic points on its outside half,
parabolic points on its top and bottom parallels (see Footnote
23 in § 8↓), and hyperbolic points on its inside half, as seen in
Fig. 38↑. However, there are some types of surface whose all
points are of the same shape; e.g. all points of planes are flat,
all points of spheres are elliptic, all points of catenoids are
hyperbolic, and all points of cylinders are parabolic.
The above classification regarding the local shape can also be
based on the determinant b of the covariant curvature tensor
and the coefficients e, f, g of the second fundamental form of
the surface where:
1. b = eg − f2 = 0 and e = f = g = 0 for flat points.
2. b = eg − f2 = 0 and e2 + f2 + g2 ≠ 0 for parabolic points.
3. b = eg − f2 > 0 for elliptic points.
4. b = eg − f2 < 0 for hyperbolic points.
Considering Eqs. 356↑ and 383↑ plus the fact that the first
fundamental form is positive definite and hence a > 0, this
classification which is based on b and e, f, g is equivalent to the
previous classification which is based on K and H.
The above classification of the shape of a surface in the
immediate neighborhood of a point (i.e. being flat, parabolic,
elliptic or hyperbolic) is an invariant property with respect to
permissible coordinate transformations. This can be concluded
from the dependence of the classification on the sign of b as
explained above, plus Eq. 221↑ where the square of the
Jacobian (which is real) is positive and hence the sign of b and
b̃ is the same. The classification is also independent of the
representation and parameterization of the surface since these
point types are real geometric properties of the surface in their
local definitions.
The invariance of the shape type of the surface points, as
explained in the previous statements, holds true even for the
transformations that reverse the direction of the normal vector
to the surface, n, because the classification depends on the
Gaussian curvature which is invariant even under this type of
transformations (refer to § 4.5↑). Regarding the distinction
between the flat and parabolic points which involves H as well,
the distinction is not affected since it depends on the
magnitude of H (i.e. being zero or not) and not on its sign and
the magnitude is not affected by such transformations.
In the immediate neighborhood of an elliptic point P of a
surface S, the surface lies completely on one side of the tangent
plane to S at P (Fig. 41↓), while at a hyperbolic point the
tangent plane cuts through S and hence some parts of S are on
one side of the tangent plane while other parts are on the other
side (Fig. 42↓). In the neighborhood of a parabolic point, the
surface lies entirely on one side of the tangent plane except for
some points on a curve which lies in the tangent plane itself
(Fig. 43↓) (see Footnote 24 in § 8↓). As for planar points, the
neighborhood of the point lies in the tangent plane.
Figure 41 Tangent plane at an elliptic point.
Figure 42 Tangent plane at a hyperbolic point.
Figure 43 Tangent plane at a parabolic point.
where k is a constant.
The case of dependence on only the v coordinate variable can
be obtained by re-labeling the coordinate variables and
coefficients. The second of the above statements may be
generalized by saying: on a surface with orthogonal coordinate
curves, the curves of constant uα are geodesics iff aββ (β ≠ α) is
a function of uβ only.
As indicated before, geodesics in curved spaces represent a
generalization of straight lines in flat spaces. Hence, geodesics
may be described as the straightest curves in the space. In fact,
geodesic curves on a developable surface become straight lines
when the surface is developed into a plane by unrolling. This
may be demonstrated by the perception of a 2D inhabitant of
the surface who will fail to observe any difference to the
geodesic curve when the surface is developed into a plane and
the geodesic curve necessarily becomes a straight line on the
plane. More generally, a geodesic curve will be mapped onto a
geodesic curve by any isometric transformation due to the
invariance of the geodesic curvature under this type of
transformations since geodesic curvature is an intrinsic
property. Therefore, isometric surfaces possess identical
geodesic equations.
Another sufficient and necessary condition for a surface curve
to be geodesic is being a tangent to a parallel vector field. A
vector attained by parallel propagation (see § 2.7↑) of a tangent
vector to a geodesic curve stays always tangent to the geodesic
curve. As a result, a vector field attained by parallel
propagation along a geodesic makes a constant angle with the
geodesic.
5.8 Line of Curvature
A “line of curvature” is a curve C on a surface S defined on an
⊆
interval I ℝ as C:I → S with the condition that the tangent
of C at each point on C is collinear with one of the principal
directions (see § 4.4↑) of the surface at that point. We note that
“line” here does not mean straight. Since the definition of the
line of curvature is seemingly based on the existence of distinct
principal directions, umbilical points (see § 4.10↑) may be
excluded from the above definition of the line of curvature due
to the absence of distinct principal directions at these points
although there seems to be no harm in including isolated
umbilical points (at least) over the path of the line of curvature
(see Footnote 29 in § 8↓). Referring to Eq. 134↑, on a line of
curvature either sinθ = 0 or cosθ = 0 and hence the lines of
curvature are characterized by having identically vanishing
geodesic torsion (i.e. τg = 0).
The condition that should be satisfied by a line of curvature is
usually given by the following relation:
(422) (a12b11 − a11b12)du1du1 + (a22b11 − a11b22)du1du2 +
(a22b12 − a12b22)du2du2 = 0
where the indexed a and b are the coefficients of the surface
covariant metric and covariant curvature tensors respectively.
In fact, this is the same as the condition given by Eq. 350↑ for
the principal directions, which is consistent with the fact that
the line of curvature is aligned along a principal direction at
each of its points. The condition that should be satisfied by a
line of curvature on a surface may be given in tensor notation
by:
(423) εγδ aαγ bβδ duα duβ = 0
where εγδ is the 2D absolute permutation tensor.
Examples of lines of curvature are meridians and parallels of
surface of revolution of class C2. For a developable surface,
the lines of curvature consist of its generators and their
orthogonal trajectories. On a sufficiently smooth surface, any
geodesic which is a plane curve is a line of curvature.
Similarly, on a sufficiently smooth surface, if a geodesic curve
C is a line of curvature then C is a plane curve. The lines of
intersection of each pair of a triply orthogonal system are also
lines of curvature. We remark that three families of surfaces in
a subset V of a 3D space form a triply orthogonal system if at
each point P of V there is a single surface of each family
passing through P such that each pair of these surfaces
intersect orthogonally at their curve of intersection.
At a non-umbilical point P on a sufficiently smooth surface S,
the u1 and u2 coordinate curves are aligned with the principal
directions iff f = F = 0 at P. The “if” part can be seen, for
example, from Eq. 350↑ which in this case (i.e. f = F = 0) will
reduce to (gE − eG)du1du2 = 0 and hence it will be satisfied on
the coordinate curves, since du2 will vanish on the u1
coordinate curve while du1 will vanish on the u2 coordinate
curve, and these curves become aligned with the principal
directions. The “only if” part can also be seen from Eq. 350↑
because if the coordinate curves are aligned with the principal
directions then this equation should be satisfied where it
becomes (fE − eF)du1du1 = 0 for the u1 coordinate curve and
(gF − fG)du2du2 = 0 for the u2 coordinate curve and both of
these equations imply f = F = 0 since du1 ≠ 0 on the u1
coordinate curve and du2 ≠ 0 on the u2 coordinate curve. We
note that by considering the stated conditions and the
definitions of the coefficients of the first and second
fundamental forms as well as the Rodrigues curvature formula
(see § 4.4↑), it can be concluded that the coefficients E, e and
g, G cannot vanish.
As a consequence of the last paragraph, the coordinate curves
on the surface S, excluding the umbilical points, are lines of
curvature iff f = F = 0 over the entire surface. This may also be
stated by saying that on a smooth surface, excluding planes and
spheres (whose all points are umbilical), if the lines of
curvature are selected as the net of coordinate curves then a12
= b12 = 0 over the entire surface excluding the umbilical
points. We remark that when the u and v coordinate curves of a
surface patch are lines of curvature, the principal curvatures, κ1
and κ2, over the entire patch will be given by:
(424)
κ1 = e ⁄ E
κ2 = g ⁄ G
where E, G, e, g are the coefficients of the first and second
fundamental forms at the points of the patch. The reader is
referred to § 4.4↑ for justification (see Eq. 354↑ and related
text).
On a surface of class C3, there are two perpendicular families
of lines of curvature in the neighborhood of any non-umbilical
point. If the curve of intersection of two surfaces is a line of
curvature for one surface then it is a line of curvature for the
other surface when the two surfaces are intersecting each other
at a constant angle.
The lines of curvature form a real orthogonal grid over the
surface. A curve is a line of curvature iff the tangent to the
curve and the tangent to its spherical image (see § 3.10↑) at
their corresponding points are parallel. The lines of curvature
on a surface, which is not a sphere or minimal surface (see §
6.7↓), are represented by an orthogonal net on its spherical
image.
As indicated above, in the neighborhood of a non-umbilical
point on a sufficiently smooth surface there are two orthogonal
families of lines of curvature. Hence, at each point P on such a
surface a coordinate patch including P can be introduced in the
neighborhood of P where the coordinate curves at P are
aligned with the principal directions. On a surface patch where
the Gaussian curvature does not vanish, the angles between the
asymptotic lines (see § 5.9↓) are bisected by the lines of
curvature.
5.9 Asymptotic Line
An asymptotic direction of a surface at a given point P is a
direction for which the normal curvature vanishes, i.e. κn = 0.
Hence, in an asymptotic direction at a point on a surface we
have (see Eq. 307↑):
(425) K = Kg = κgu
As a consequence of Eq. 316↑, κn is zero in the directions for
which the second fundamental form is zero. Hence, the
necessary and sufficient condition for the asymptotic directions
is that:
(426) bαβduαduβ = b11(du1)2 + 2b12du1du2 + b22(du2)2 = 0
We note that asymptotic directions are defined only at points
for which the Gaussian curvature is non-positive (K ≤ 0) and
hence it is not defined at elliptic points (see § 4.9↑) where K >
0. This is because at elliptic points either κ1 > 0 and κ2 > 0 or
κ1 < 0 and κ2 < 0 and hence κn cannot take the value zero at
these points.
As a result, the number of asymptotic directions at elliptic,
parabolic and hyperbolic points is 0, 1 and 2 respectively,
while at flat points all directions are asymptotic. The two
asymptotic directions of a hyperbolic point separate the
directions of positive normal curvature from the directions of
negative normal curvature. The sign of the normal curvature at
elliptic and parabolic points is the same in all directions,
excluding the asymptotic direction of the parabolic point.
Similarly, at flat points the normal curvature is zero in all
directions.
⊆
A t-parameterized surface curve C(t):I → S, where I ℝ is an
open interval and S represents the surface, is described as an
∈
asymptotic line if at each point t I the vector T, which is the
tangent to the curve, is collinear with an asymptotic direction
at that point. It should be remarked that “line” here is not
required to be straight; hence asymptotic lines are also called
asymptotic curves.
From the above statements, it can be seen that the asymptotic
lines are characterized by the following features:
1. The normal component of the curvature vector is zero at
each point on the curve, that is Kn = 0 identically. This is based
on the definition of asymptotic line as stated above.
2. The tangent plane to the surface at each point of the curve
coincides with the osculating plane of the curve at that point.
This is a consequence of having identically vanishing normal
curvature, since the curvature vector will then have only a
tangential component and hence the osculating plane at each
point of an asymptotic line becomes tangent to the surface at
that point.
The differential equation representing asymptotic lines can be
obtained from the condition that the normal curvature vanishes
identically over the line, that is:
(427) e(du1 ⁄ ds)2 + 2f(du1 ⁄ ds)(du2 ⁄ ds) + g(du2 ⁄ ds)2 = 0
which is based on Eqs. 316↑ and 233↑ or on Eq. 318↑. The
necessary and sufficient condition for the u1 and u2 coordinate
curves to become asymptotic lines is that e = 0 identically on
the u1 coordinate curve and g = 0 identically on the u2
coordinate curve (see Footnote 30 in § 8↓). This is based on
Eqs. 319↑ and 320↑ which are fully justified there.
According to Eq. 308↑, κn = n⋅K where n and K are
respectively the normal vector to the surface and the curve
curvature vector. Hence, a curve on a sufficiently smooth
surface is an asymptotic line iff n⋅K = 0 identically. Now, since
the vector n cannot vanish on the regular points of the surface,
then this condition is realized if at each point on the curve
either K = 0 or K and n are orthogonal vectors. In the former
case the point is an inflection point while in the latter case the
osculating plane is tangent to the surface at the point.
Therefore, all points on an asymptotic line should be one of
these types or the other. The reverse is also true, i.e. a curve
whose all points are one of these types or the other is an
asymptotic line. As a result of the last statements, any straight
line on a surface is an asymptotic line since the curve curvature
vector K vanishes identically on such a line.
According to the theorem of Beltrami-Enneper, along an
asymptotic non-straight line on a sufficiently smooth surface
the square of the torsion τ is equal to the negative of the
Gaussian curvature K, that is:
(428) τ2 = − K
where τ and K are evaluated at each individual point along the
curve. Since asymptotic directions are defined only at points
for which K ≤ 0, the square of the torsion in the above equation
is equal to the absolute value of the Gaussian curvature at the
point, that is: τ2 = |K| and hence τ is real as it should be. The
torsions of two asymptotic lines passing through a given point
on a sufficiently smooth surface are equal in magnitude and
opposite in sign.
As we will see (refer to § 5.10↓), asymptotic directions are
self-conjugate. In fact, some authors take self-conjugation as
the defining characteristic for being asymptotic. From the
definition of the asymptotic direction plus the Euler equation
(Eq. 341↑), we see that the angle θ which an asymptotic
direction makes with the principal direction of κ1 at a given
non-umbilical point P on a sufficiently smooth surface S is
given by:
(429) tan2θ = − κ1 ⁄ κ2
where κ1 and κ2 are the principal curvatures of S at P. When
κ2 = 0, the reciprocal of this relation should be taken. Again,
tanθ is real since at points with K < 0, the two kappas should
have opposite signs (see Eq. 355↑). The situation is similar
when κ1 = 0 and κ2 < 0. However, when κ1 > 0 and κ2 = 0 the
reciprocal will be taken and the cotangent will be real. The
possibility of κ1 = κ2 = 0 is already excluded by the non-
umbilical condition since a point with κ1 = κ2 = 0 is a flat
umbilic.
Because Eq. 426↑ is quadratic, it possesses two solutions
which are real and distinct, or real and coincident, or conjugate
imaginary depending on its discriminant Δ which is opposite in
sign to the determinant b of the surface covariant curvature
tensor (see Footnote 31 in § 8↓). Hence, the asymptotic
directions at a given point on a surface can be classified
according to the determinant b at the point as:
1. Real and distinct for Δ > 0 and hence b < 0.
2. Real and coincident for Δ = 0 and hence b = 0.
3. Conjugate imaginary for Δ < 0 and hence b > 0.
This is inline with the above statement that the number of
asymptotic directions at elliptic, parabolic and hyperbolic
points is 0, 1 and 2 respectively because, as seen in § 4.9↑, the
local shape of a surface at a given point is determined by the
sign of b at the point where b < 0 at hyperbolic point, b = 0 at
parabolic and flat points, and b > 0 at elliptic point. We also
remark that from Eq. 356↑ we can see that the sign of the
Gaussian curvature K is the same as the sign of b due to the
fact that a > 0 since the first fundamental form is positive
definite, as established earlier. Hence, the above-described
classification of the asymptotic directions can also be based on
K, as stated for b in the previous points. Again, as seen in §
4.9↑, the sign of K is used to determine the local shape at a
point, and hence the number of the asymptotic directions is
determined accordingly.
It is worth noting that on a sufficiently smooth surface with
orthogonal families of asymptotic lines the mean curvature H
is zero. This can be seen from Eq. 383↑ where by aligning the
coordinate curves along the asymptotic directions with a
proper labeling, we will get: F = 0 since the coordinate curves
are orthogonal, and e = g = 0 according to the above condition
which we stated after Eq. 427↑, and hence H = 0. Now since H
is invariant, then this will remain valid under permissible
transformations to other surface coordinates. Another note is
that the principal directions at a given point on a smooth
surface bisect the asymptotic directions at the point, as
indicated before. Also, on a smooth surface of class C3, there
are two distinct families of asymptotic directions in the
neighborhood of any hyperbolic point.
As seen before, any straight line contained in a surface is an
asymptotic line. As well as the previously stated explanation,
this may also be justified by the fact that such a line is wholly
contained in a plane, which is the tangent space of each of its
points, and hence the line is an asymptotic line with an
identically vanishing normal curvature.
5.10 Conjugate Direction
A direction (δv ⁄ δu) at a point on a sufficiently smooth surface
is described as conjugate to the direction (dv ⁄ du) iff the
following relation holds true (see Footnote 32 in § 8↓):
(430) dr⋅δn = 0
where:
(431)
dr = E1du + E2dv
δn = ∂unδu + ∂vnδv
From Eq. 244↑, it can be seen that the condition given by Eq.
430↑ is equivalent to the following condition:
(432) e duδu + f (duδv + dvδu) + g dvδv = 0
The last equation may also be obtained directly by substituting
from Eq. 431↑ into Eq. 430↑ and performing the dot product
with the use of Eqs. 249↑-251↑ to obtain the coefficients e, f, g.
Due to the symmetry in the above relations, (dv ⁄ du) is also
conjugate to (δv ⁄ δu), and hence the two directions are
described as conjugate directions. At a hyperbolic or an elliptic
point on a sufficiently smooth surface, each direction has a
unique conjugate direction. As stated earlier, an asymptotic
direction is a self-conjugate direction.
Two families of curves on a sufficiently smooth surface are
described as conjugate families if the directions of their
tangents at each intersection point of the curves are conjugate
directions. The u and v coordinate curves on a smooth surface
are conjugate families of curves iff f, which is the coefficient of
the second fundamental form, vanishes identically. This can be
seen from Eq. 432↑ where by a proper labeling of the u and v
coordinates in the two directions to make duδu = dvδv = 0 on
the coordinate curves the first and last terms of Eq. 432↑ will
vanish on the coordinate curves and hence the curves will be
conjugate families by satisfying the reduced condition f(duδv
+ dvδu) = 0 which leads to the condition f = 0 since duδv +
dvδu ≠ 0 according to this labeling. Similarly, if f = 0 then the
coordinate curves will satisfy the reduced condition f(duδv +
dvδu) = 0 and hence they are conjugate families.
5.11 Exercises
Exercise 1. State two criteria for a space curve to be straight.
Exercise 2. Prove that a curve represented by r(t) is a straight
line if r and r are linearly dependent over the whole curve.
Exercise 3. Show that a space curve whose all tangent lines are
parallel is a straight line.
Exercise 4. Correct, if necessary, the following statement: “All
straight lines on a surface are geodesic curves and vice versa”.
Exercise 5. What is the characteristic feature of plane curves?
From this, explain why the torsion of plane curves is
identically zero.
Exercise 6. Prove that a curve is a plane curve if its osculating
planes have a common intersection point.
Exercise 7. Show that a space curve represented by r(t) is a
plane curve iff
r⋅(r × r)
vanishes identically.
Exercise 8. Prove that having an identically vanishing torsion
is a necessary and sufficient condition for a curve to be a plane
curve.
Exercise 9. Show that two curves are plane curves if they have
the same binormal lines at each pair of their corresponding
points.
Exercise 10. Define, rigorously, involute and evolute curves
making a simple plot to outline their relation. Also explain the
role of the tangent surface of the evolute in this context.
Exercise 11. Explain all the symbols used in the following
equation which is related to involute curves:
ri = re + (c − s)Te.
Make sense of this equation using your plot in the previous
exercise.
Exercise 12. Outline the visual demonstration which is
commonly used to explain the relation between an involute and
its evolute. Use the plot mentioned in the last two questions in
your explanation.
Exercise 13. Show that the tangent line of a curve and the
principal normal line of its evolute are parallel at their
corresponding points.
Exercise 14. Prove that the evolutes of plane curves are
helices.
Exercise 15. Prove that for a plane curve C the locus of the
centers of curvature of C is an evolute of C.
Exercise 16. Derive the parametric equation of the involute of
a circle represented by:
r(θ) = (5cosθ, 5sinθ)
where 0 ≤ θ < 2π.
Exercise 17. Prove that any two involutes of a plane curve are
associated Bertrand curves.
Exercise 18. How many involutes a given curve can have?
How these involutes are related to each other through the
constant c (see Eq. 407↑)?
Exercise 19. How many evolutes a given curve can have? How
these evolutes are related to each other through the constant c
(see Eq. 407↑)?
Exercise 20. Justify the fact that the involutes of a circle are
congruent with a clear explanation of how these involutes are
related to each other.
Exercise 21. Define Bertrand curves outlining two of their
main characteristic features.
Exercise 22. Show that a helix has an infinite number of
Bertrand associates and identify these associates.
Exercise 23. Prove that on a pair of Bertrand curves, the angle
between their tangents at corresponding points is constant.
Exercise 24. State a sufficient and necessary condition for a
curve to be a Bertrand curve by having an associate Bertrand
curve.
Exercise 25. Show that a plane curve has always a Bertrand
associate.
Exercise 26. Prove that the product of torsions at the
corresponding points of a pair of associated Bertrand curves is
constant (see Eq. 408↑ and related text for explanation).
Exercise 27. Prove that on a pair of Bertrand curves, the
distance between their corresponding points is constant.
Exercise 28. Give a brief definition of spherical indicatrix with
a simple sketch of the spherical normal indicatrix C̃N of a
space curve to illustrate this concept.
Exercise 29. Prove the following equation (Eq. 410↑):
(κT)2 = (κ2 + τ2) ⁄ κ2.
Exercise 30. Discuss the similarities and differences between
Gauss mapping (see § 3.10↑) and spherical indicatrix mapping.
Exercise 31. Justify, using a simple fact about helices, that the
spherical images of T, N, B of a helix rotating around the z-
axis are circles centered around the z-axis.
Exercise 32. Justify the following statement: “The binormal
indicatrix is a single point for a plane curve, and the tangent
indicatrix is a single point for a straight line”.
Exercise 33. Prove, rigorously, that the tangent indicatrix of a
helix is a circle.
Exercise 34. Prove that the tangent to the spherical indicatrix
of the tangent to a given space curve C and the principal
normal of C are parallel.
Exercise 35. Write down the mathematical formula for the
torsion of the spherical binormal indicatrix of a space curve
explaining all the symbols used in the formula.
Exercise 36. What “spherical curve” means? give a common
example of a spherical curve.
Exercise 37. State, mathematically, the sufficient and
necessary condition for a curve to be a spherical curve
explaining all the symbols involved.
Exercise 38. Investigate if the curve represented parametrically
by:
r(t) = (5cost, 5cost sint, 5sin2t)
is a spherical curve or not.
Exercise 39. Show that the spherical image of a curve C(t) is a
closed curve when the vector that generates the spherical
image is a periodic function of t although C may not be
periodic. Discuss in this context the helix as an example.
Exercise 40. What is the characteristic feature of geodesic
curves?
Exercise 41. Give a rigorous mathematical definition of
geodesic curve.
Exercise 42. Give examples of geodesic curves on the
following surfaces: plane, sphere and cylinder.
Exercise 43. On a surface of revolution, what type of curve is
necessarily geodesic and what type is potentially geodesic?
Exercise 44. Define geodesic curve variationally using the
concepts of calculus of variations.
Exercise 45. Show that any helix on a circular cylinder is a
geodesic curve.
Exercise 46. Outline the relation between the concept of
geodesic curve and the concept of curve of shortest distance
between two points.
Exercise 47. Prove that Eq. 418↑ is a sufficient and necessary
condition for a curve to be geodesic.
Exercise 48. Find an analytical expression representing the
geodesic curves on a circular cone using one of its parametric
representations.
Exercise 49. Outline the concept of geodesic curve on a
surface as perceived by a 2D inhabitant of the surface.
Exercise 50. Prove that all the geodesic curves on a plane are
straight lines.
Exercise 51. Does a geodesic curve necessarily exist between
two given points on a space surface, and if it does exist is the
geodesic curve necessarily unique? Support your answer with
illustrating examples for both cases.
Exercise 52. Discuss the following statement and its
implications: “Being a shortest path is a sufficient but not
necessary condition for being a geodesic curve”.
Exercise 53. Correct, if necessary, the following statement: “In
the neighborhood of a given point P on a surface, there is
exactly one geodesic curve that passes through P”.
Exercise 54. Write down, with full explanation, the differential
equations which provide the necessary and sufficient
conditions for a naturally parameterized curve on a surface to
be geodesic.
Exercise 55. Correct the following relations which represent
the geodesic differential equations for a Monge patch of the
form r(u, v) = (u, v, f(u, v)):
(1 + fu2 + fv2)u’ + fufuu(u’)2 + 2fufuvu’v’ + fufvv(v’)2 = 0
(1 + fu2 + fv2)v’’ + fvfu(u’)2 + 2fvfuvu’v’ + fvfvv(v’)2 = 0
Exercise 56. Why the normal vector to the surface at any point
on a geodesic curve should be contained in the osculating
plane of the curve at that point? Give a clear technical
justification.
Exercise 57. Using Gauss-Bonnet theorem, explain why a
surface with negative Gaussian curvature cannot have a
geodesic that intersects itself.
Exercise 58. Using Eq. 418↑, prove that all meridians of a
surface of revolution are geodesic curves.
Exercise 59. Discuss the following statement in the context of
the perception of geodesic curves by a 2D inhabitant:
“Geodesic curves on a developable surface become straight
lines when the surface is developed into a plane”.
Exercise 60. Give an example of a surface curve whose normal
curvature and geodesic curvature are identically zero over the
whole curve.
Exercise 61. What is the relation between a line of curvature
on a surface and the principal directions at the points of the
curve?
Exercise 62. Prove that if a plane and a surface are intersecting
at a constant angle then their curve of intersection is a line of
curvature.
Exercise 63. Repeat the previous exercise replacing plane with
sphere.
Exercise 64. Can a line of curvature include umbilical points?
Discuss this issue considering the question of allowing more
than two principal directions at a point or not.
Exercise 65. Prove that for any sufficiently smooth surface of
revolution, the parallels and meridians are lines of curvature.
Exercise 66. Show that for a given non-umbilical point P on a
sufficiently smooth surface there is a patch that contains P
where the directions of the coordinate curves at P are principal
directions.
Exercise 67. Prove Hilbert lemma using the proposal that the
coordinate curves on a patch can coincide with the lines of
curvature in the neighborhood of a non-umbilical point.
Exercise 68. Prove that if the curve of intersection of two
surfaces is a line of curvature for one surface then it is a line of
curvature for the other surface when the two surfaces are
intersecting each other at a constant angle.
Exercise 69. Outline the role of geodesic torsion in
characterizing the line of curvature employing a mathematical
formulation in this context.
Exercise 70. Give two examples for the line of curvature on
specific types of surface discussing in each case why the
described curve should be a line of curvature.
Exercise 71. Give the formulae for the principal curvatures, κ1
and κ2, when the u1 and u2 coordinate curves of a surface patch
are lines of curvature.
Exercise 72. Using tensor notation, state the mathematical
condition that should be met by a line of curvature on a space
surface with full explanations of all the symbols involved.
Exercise 73. Which types of surface should be excluded from
the following statement: “The lines of curvature on a surface
are represented by an orthogonal net on its spherical image”?
Exercise 74. Prove that on a Monge patch of the form r(u, v)
= (u, v, f(u, v)), the coordinate curves are orthogonal family iff
fufv = 0 identically.
Exercise 75. Give a mathematical condition for a direction on
a surface at a given point to be asymptotic.
Exercise 76. Prove that the asymptotic directions are bisected
by the lines of curvature.
Exercise 77. Give a rigorous technical definition of asymptotic
line.
Exercise 78. Why the second fundamental form at a point of a
surface should vanish in the asymptotic direction?
Exercise 79. Prove Beltrami-Enneper theorem (see Eq. 428↑
and surrounding text).
Exercise 80. One of the characteristic features of asymptotic
line is that the tangent plane to the surface at each point of the
line coincides with the osculating plane of the line at that point.
Why?
Exercise 81. Show that on a smooth surface with orthogonal
families of asymptotic lines the mean curvature is zero.
Exercise 82. Justify the following statement: “The necessary
and sufficient condition for the u1 and u2 coordinate curves to
be asymptotic lines is that e = 0 identically on the u1
coordinate curves and g = 0 identically on the u2 coordinate
curves”.
Exercise 83. Using Eq. 426↑, prove that the generators of a
circular cylinder are asymptotic lines.
Exercise 84. According to the theorem of Beltrami-Enneper
we have: τ2 = − K where τ and K stand for torsion and
Gaussian curvature. Does this mean that τ is imaginary? Fully
justify your answer.
Exercise 85. The angle θ which an asymptotic direction makes
with the principal direction of κ1 is given by:
tan2θ = − (κ1 ⁄ κ2)
where κ1 and κ2 are the principal curvatures. Derive this
equation.
Exercise 86. Classify the asymptotic directions at a given point
on a surface as real and distinct, or real and coincident, or
conjugate imaginary according to the determinant of the
surface covariant curvature tensor at that point.
Exercise 87. Why the classification in the previous question
can also be based on the Gaussian curvature of the point?
Exercise 88. The classification in the two previous questions is
related to the number of asymptotic directions at elliptic,
hyperbolic and parabolic points. How?
Exercise 89. Justify the following statement: “A straight line
contained in a surface is an asymptotic line”.
Exercise 90. State a mathematical condition for two directions
at a given point on a surface to be conjugate directions
explaining all the symbols used.
Exercise 91. What “conjugate families of curves on a surface”
means?
Exercise 92. Show that at hyperbolic and elliptic points each
direction has a unique conjugate direction.
Exercise 93. Show that on a surface represented by:
r = r1(u) + r2(v)
the coordinate curves are conjugate families of curves.
Exercise 94. What is the necessary and sufficient condition for
the u1 and u2 coordinate curves on a smooth surface to be
conjugate families?
Chapter 6
Special Surfaces
There are many classifications to surfaces in 3D spaces
depending on their properties and relations. A few of these
classifications are briefly investigated in the following sections
of this chapter.
6.1 Plane Surface
Planes are simple, ruled, connected, elementary surfaces. The
following statements apply to planes:
1. All the coefficients of the surface curvature tensor vanish
identically throughout plane surfaces.
2. The Riemann-Christoffel curvature tensor vanishes
identically over plane surfaces.
3. The Gaussian curvature K and the mean curvature H vanish
identically over planes.
4. Planes are minimal surfaces (see § 6.7↓).
5. All points on planes are flat umbilical.
6. At any point on a plane surface, κ1 = κ2 = 0 and hence all the
directions are principal directions (or there is no principal
direction).
7. At any point on a plane surface, all the directions are
asymptotic.
8. A sufficient and necessary condition for a surface to be
plane is having an identically vanishing surface curvature
tensor.
9. A sufficient and necessary condition for a surface to be
isometric with the plane is having an identically vanishing
Riemann-Christoffel curvature tensor. The same applies for
identically vanishing Gaussian curvature.
6.2 Quadratic Surface
Quadratic surfaces are defined by the following quadratic
equation:
(433) Aij xi xj + Bi xi + C = 0
where i, j = 1, 2, 3, the coefficients Aij and Bi are real-valued
tensors of rank-2 and rank-1 respectively and C is a real scalar.
There are many degenerate and non-degenerate types of
quadratic surface. However, we consider here only six non-
degenerate types which are probably the most commonly
occurring in differential geometry. These six types are:
ellipsoid, hyperboloid of one sheet, hyperboloid of two sheets,
elliptic paraboloid, hyperbolic paraboloid, and quadric cone.
The first five of these quadratic surfaces have been defined in §
1.4.1↑ using parametric forms.
By rigid motion transformations, consisting of translation and
rotation of coordinate system, whose purpose is to put the
center of symmetry or vertex of these surfaces at the origin of
coordinates and orient their axes and planes of symmetry with
the coordinate lines and coordinate planes, these types can be
given in the following canonical forms where we assume a
Euclidean 3D space with a rectangular Cartesian coordinate
system:
1. Ellipsoid (Fig. 51↓ a):
(434) (x2 ⁄ a2) + (y2 ⁄ b2) + (z2 ⁄ c2) = 1
2. Hyperboloid of one sheet (Fig. 51↓ b):
(435) (x2 ⁄ a2) + (y2 ⁄ b2) − (z2 ⁄ c2) = 1
3. Hyperboloid of two sheets (Fig. 51↓ c):
(436) (x2 ⁄ a2) − (y2 ⁄ b2) − (z2 ⁄ c2) = 1
4. Elliptic paraboloid (Fig. 51↓ d):
(437) (x2 ⁄ a2) + (y2 ⁄ b2) − z = 0
5. Hyperbolic paraboloid (Fig. 51↓ e):
(438) (x2 ⁄ a2) − (y2 ⁄ b2) − z = 0
6. Quadric cone (Fig. 51↓ f):
(439) (x2 ⁄ a2) + (y2 ⁄ b2) − (z2 ⁄ c2) = 0
We note that in the above equations a, b, c are real parameters
(see Footnote 33 in § 8↓), and for convenience we use x, y, z
for x1, x2, x3 respectively. Also, for the first three of these
surfaces the origin of coordinates is not a valid surface point,
as seen from their equations.
Figure 51 Quadratic surfaces (from upper row to lower row
left to right): ellipsoid, hyperboloid of one sheet, hyperboloid
of two sheets, elliptic paraboloid, hyperbolic paraboloid, and
quadric cone.
6.3 Ruled Surface
A “ruled surface”, or “scroll”, is a surface generated by a
continuous translational-rotational motion of a straight line in
space. Hence, at each point of the surface there is a straight
line passing through the point and lying entirely in the surface.
Planes, cones, cylinders and Mobius strips (Fig. 1↑) are
common examples of ruled surface. The parabolic cylinder
(Fig. 52↓) is another example of ruled surface. The different
perspectives of the generating line along its movement are
described as the rulings of the surface. A ruled surface that can
be generated by two different families of lines is called doubly-
ruled surface. Examples of doubly-ruled surface are hyperbolic
paraboloids (Fig. 53↓) and hyperboloids of one sheet (Fig.
54↓). At any point of a regular ruled surface, the Gaussian
curvature is non-positive (K ≤ 0).
Figure 52 Parabolic cylinder as a ruled surface.
Figure 53 Hyperbolic paraboloid as a doubly-ruled surface
where the grid demonstrates the two sets of straight line
rulings.
Figure 54 Hyperboloid of one sheet as a doubly-ruled surface
where the two frames demonstrate the two sets of straight line
rulings.