Professional Documents
Culture Documents
Mathematics 246
Institute of Mathematics
University of the Philippines-Diliman
1 / 110
Overview
6 Surfaces of Revolution
7 Ruled Surfaces
8 Minimal Surfaces
2 / 110
3.1 The First Fundamental Form
In this section, our goal is to measure length, angle, and area on a surface
patch without having to re-write everything in the ambient space R3 .
For each point p ∈ S, the first fundamental form Ip (·, ·) is defined only
on the tangent space Tp S. That is, Ip (·, ·) : Tp S × Tp S → R.
There exists a unique matrix that represents Ip (·, ·) with respect to the
standard basis on Tp S. This matrix has entries which are functions that
depend on the point p ∈ S.
If around p, the surface S can be parametrized by X with p = X (q), then
a natural basis for Tp S is {Xu (q), Xv (q)}. Hence, we can express the first
fundamental form in terms of these basis vectors.
4 / 110
3.1 The First Fundamental Form
~a = a1 Xu (q) + a2 Xv (q)
~b = b1 Xu (q) + b2 Xv (q)
~a ·~b =
¡ ¢ ¡ ¢
a1 Xu (q) + a2 Xv (q) · b1 Xu (q) + b2 Xv (q)
= a1 b1 Xu (q) · Xu (q) + a1 b2 Xu (q) · Xv (q)
+a2 b1 Xv (q) · Xu (q) + a2 b2 Xv (q) · Xv (q)
à !à !
Xu (q) · Xu (q) Xu (q) · Xv (q) b1
= (a1 a2 ) .
Xv (q) · Xu (q) Xv (q) · Xv (q) b2
5 / 110
3.1 The First Fundamental Form
Proposition 3.1.2
Let Ip (·, ·) : Tp S × Tp S → R be the first fundamental form at a point P on a
regular surface S. Given a regular parametrization X : U → R3 of a
neighborhood of p, the matrix associated with the first fundamental form
with respect to the basis {Xu , Xv } is
µ ¶
g11 g12
g= ,
g21 g22
where
g11 = Xu · Xu and g12 = Xu · Xv
g21 = Xv · Xu and g22 = Xv · Xv
If p = X (q), then the first fundamental form Ip (·, ·) at the point p can be
expressed as the bilinear form
Ip (~a,~b) =~aT g(q)~b ,
for all~a,~b ∈ Tp S.
6 / 110
3.1 The First Fundamental Form
The matrix g of the first fundamental form is symmetric since for any
differentiable function X : U → R3 ,
g12 = Xu · Xv = Xv · Xu = g21 .
Observation: We see that the first fundamental forms of the xy-plane and
the unit circular cylinder are equal although they are not the same surfaces.
We shall see later (in the next sections) that because of this, the cylinder
and the plane share several geometric properties.
8 / 110
3.1 The First Fundamental Form
Example 3.1.6. [Torus] Let 0 < b < a. Consider the torus parametrized by
X (u, v) = ((a + b cos u) cos v, (a + b cos u) sin v, b sin u) ,
where (u, v) ∈ (0, 2π) × (0, 2π). The matrix of the first fundamental form is
à ! à 2 !
Xu · Xu Xu · Xv b 0
g= = .
Xv · Xu Xv · Xv 0 (a + b cos u)2
9 / 110
3.1 The First Fundamental Form
Theorem 3.1.9
Let U and U 0 be open subsets of R2 . Suppose S is a regular surface that is
parametrized by X : U → R3 whose first fundamental form at p = X (q) has
associated matrix g. Let F : U 0 → U be a diffeomorphism so that Y = X ◦ F is
a reparametrization of X with p = Y (q 0 ). Then the matrix g̃ of the first
fundamental form at the point p ∈ S with respect to Y is
¡ ¢T ¡ ¢
g̃ = dFq 0 g dFq 0 .
11 / 110
3.1 The First Fundamental Form
2
What is the geometric relevance of the first fundamental form ?
The first fundamental form allows us to do geometry on a regular surface
without having to step out of the surface. In particular, with the knowledge
of the first fundamental form of a surface at any point on the surface, we
can compute
lengths of curves on the surface,
angles between curves on the surface, and
areas of patches.
12 / 110
3.1 The First Fundamental Form
Proposition 3.1.10
Let S be a regular surface with a coordinate neighborhood parametrized by
X : U → R3 , where U is an open subset of R2 . Consider a curve on S given by
γ(t) = X (α(t)), where α(t) = (u(t), v(t)) is a differentiable parametrized plane
curve in U. The length of the arc on γ on the interval [a, b] is given by
Z bq
s= g11 (α(t))u 0 (t)2 + 2g12 (α(t))u 0 (t)v 0 (t) + g22 (α(t))v 0 (t)2 dt.
a
domain U so that γ(t) = X (α(t)) is an arc on the helicoid. Find the length of
the arc γ.
13 / 110
3.1 The First Fundamental Form
14 / 110
3.1 The First Fundamental Form
Proposition 3.1.12
Let S be a regular surface with a coordinate neighborhood parametrized by
X : U → R3 , where U is an open subset of R2 . Consider two curves that lie on
S given by γ1 (t) = X (α1 (t)) and γ2 (t) = X (α2 (t)), where α1 (t) = (u1 (t), v1 (t))
and α2 (t) = (u2 (t), v2 (t)) are differentiable parametrized plane curves in U.
If the two curves intersect at the point p = X (q) = X (α1 (t1 )) = X (α2 (t2 )), then
angle θ at which they intersect satisfies
A
cos θ = ,
BC
where
A = g11 u01 (t1 )u02 (t2 ) + g12 u01 (t1 )v20 (t2 ) + u02 (t1 )v10 (t2 ) + g22 v10 (t1 )v20 (t2 )
¡ ¢
q
B = g11 (u01 (t1 ))2 + 2g12 u01 (t1 )v10 (t1 ) + g22 (v10 (t1 ))2
q
C = g11 (u02 (t2 ))2 + 2g12 u02 (t2 )v20 (t2 ) + g22 (v20 (t2 ))2
15 / 110
3.1 The First Fundamental Form
Proposition 3.1.14
Let S be a regular surface parametrized by X : U → R3 . The u-coordinate
lines and v-coordinate lines are orthogonal if and only if g12 = 0 for all
(u, v) ∈ U. In such a case, we call X an orthogonal parametrization.
Corollary 3.1.15
Let f : U → R be a differentiable function for some open subset U of R2 . The
coordinate lines of the graph of f are orthogonal if and only if fu = 0 or fv = 0.
16 / 110
3.1 The First Fundamental Form
If f = 1, the surface integral gives the area of the patch R. That is,
Ï p
A(R) = detg dudv .
Q
We can see that detg > 0, which means that g is always a positive
definite matrix. That is, Ip (~a,~b) > 0 for any nonzero~a,~b ∈ Tp S. 17 / 110
3.1 The First Fundamental Form
Example 3.1.17. Let a, b ∈ R+ with b < a. Find the area of the torus
X (u, v) = ((a + b cos u) cos v, (a + b cos u) sin v, b sin u) ,
where (u, v) ∈ [0, 2π] × [0, 2π].
Solution. We have seen from Example 3.1.6 that the first fundamental form
of this torus is given by the matrix
à 2 !
b 0
g= .
0 (a + b cos u)2
So, p
detg = b |a + b cos u|
= b (a + b cos u), since a + b cos u ≥ a − b > 0.
Therefore, the area of the torus is
Z 2π Z 2π
A(R) = b (a + b cos u) du dv = 4π2 ab.
0 0
18 / 110
3.2 The Gauss Map
Example 3.2.2. At every point on a plane, the tangent plane is the plane
itself. Thus, an orientation of a plane can be defined by a constant normal
vector field n. Hence the Gauss map sends all the points on the plane to a
fixed point on S2 .
Example 3.2.3. Consider a sphere S in R3 centered at c = (c1 , c2 , c3 ) of radius
a and equipped with an orientation n, with unit normal vectors pointing
away from the center of the sphere. Let~x = (x, y, z). Then the sphere can be
viewed as the set of solutions to the equation
k~x − ck = a2 .
If γ(t) is any curve on the sphere, then
γ 0 (t) · γ(t) − c = 0.
¡ ¢
The tangent plane to the sphere S at a point p consists of all vectors γ0 (t0 ),
where γ(t) is any curve on S with γ(t0 ) = p. Therefore, there are two options
for unit normal vectors:
p−c p−c
or − .
kp − ck kp − ck
20 / 110
3.2 The Gauss Map
Furthermore, if S is the unit sphere centered at the origin, then the Gauss
map is the identity function.
Proposition 3.2.4
Let S be a regular surface in R3 , and let X : U → R3 be a parametrization of a
coordinate patch V = X (U), where U is an open subset of R2 . Define the
vector function
Xu × Xv
N= .
kXu × Xv k
If X is of class C r , then N is of class C r−1 .
21 / 110
3.2 The Gauss Map
23 / 110
3.2 The Gauss Map
Using coordinate lines X (t, v0 ) and X (u0 , t) for the curve α in Definition
3.2.5, it can be seen that
dnp (Xu ) = Nu and dnp (Xv ) = Nv .
The linear map −dnp is called the shape operator or Weingarten map
of S at p.
Let S be a regular oriented surface of class C 2 with orientation n, and let
X : U → R3 be a positively oriented parametrization of a neigborhood V of a
point p ∈ S. Since N satisfies
N · Xi = 0 for i = 1, 2,
then by differentiating with respect to another variable, we have
Nj · Xi + N · Xij = 0 for i, j = 1, 2.
But since Xij = Xji , we conclude that
Ni · Xj = −N · Xij = Nj · Xi . (?) 24 / 110
3.2 The Gauss Map
Proposition 3.2.6
The linear map dnp is a self-adjoint operator with respect to the first
fundamental form.
The second fundamental form provides a measure of how much the normal
vector changes if one travels away from p in a particular direction~v ∈ Tp S.
Recall from linear algebra that every quadratic form Q on a vector space V
of dimension n is of the form Q(~v) =~vT M~v, for some n × n matrix M. Define
the functions Lij : U → R by
à !
T
L11 (q) L12 (q)
IIp (~v) =~v ~v,
L21 (q) L22 (q)
Lij = N · Xij .
27 / 110
3.3 The Second Fundamental Form
−a sin2 v 0
à !
¡ ¢
Lij = .
0 −a
29 / 110
3.3 The Second Fundamental Form
30 / 110
3.3 The Second Fundamental Form
This means
Since N is orthogonal both to Xu and Xv , the dot product of each side with
N(q) gives
1£
X (u, v) − X (q) · N(q) ≈ N(q) · Xuu (q)(u − u0 )2 + N(q) · Xuv (q)(u − u0 )(v − v0 )
¡ ¢
2
+ N(q) · Xvv (q)(v − v0 )2 .
¤
33 / 110
3.3 The Second Fundamental Form
Definition 3.3.8
Let S be a regular orientable surface of class C 2 . A point p ∈ S is called
¡ ¢
elliptic if det Lij > 0;
¡ ¢
hyperbolic if det Lij < 0;
¡ ¢
parabolic if det Lij = 0 but not all Lij = 0; and,
planar if Lij = 0, for all i, j.
34 / 110
3.3 The Second Fundamental Form
Remark 3.3.9.
1 Every point on a plane is planar.
2 Every point on a circular cylinder is parabolic.
3 Every point on a sphere is elliptic.
4 Every point on a catenoid is hyperbolic.
5 Every point on a helicoid is hyperbolic.
35 / 110
3.3 The Second Fundamental Form
π 3π
¡ ¢
det Lij < 0 if 2 <u< 2 .
37 / 110
3.3 The Second Fundamental Form
Therefore,
the elliptic points on the torus are points where − π2 < u < π2 ,
the parabolic points are where u = − π2 or u = π2 , and
π 3π
the hyperbolic points are where 2 <u< 2 .
38 / 110
3.3 The Second Fundamental Form
Remark 3.3.11. The only quadratic surface possessing at least one planar
point is a plane. However, on a general surface S, existence of a planar point
does not imply that S is a plane. Existence of a planar point merely implies
that the third-order behavior, as opposed to the second-order, governs the
local geometry of the surface with respect to the normal vector.
Example 3.3.12. As an illustration, consider the monkey saddle which is
parametrized by
X (u, v) = u, v, u3 − 3uv2 .
¡ ¢
40 / 110
3.3 The Second Fundamental Form
41 / 110
3.3 The Second Fundamental Form
Proposition 3.3.13
Let S be a regular surface of class C 2 .
1 If p ∈ S is an elliptic point, then there exists a neighborhood V of p
such that Tp S does not intersect V − {p}.
2 If p ∈ S is a hyperbolic point, then Tp S intersect every neighborhood
V − {p} of p.
42 / 110
3.3 The Second Fundamental Form
So far, we have seen that the first fundamental form (metric tensor) is given
by the matrix à !
Xu · Xu Xu · Xv
g=
Xv · Xu Xv · Xv
while the second fundamentalÃform has matrix!
N · Xuu N · Xuv
L= .
N · Xvu N · Xvv
It is now possible to calculate explicitly the matrix representation of the
differential of the Gauss map , dnp : Tp S → Tp S, in terms of the basis {Xu , Xv }.
Since Nu and Nv are in Tp S, there exist scalar functions aji (u, v) such that
Nu = a11 Xu + a12 Xv
Nv = a21 Xu + a22 Xv .
In terms of numerical indices, we have
2
aji Xi .
X
Nj =
i=1 43 / 110
3.3 The Second Fundamental Form
dnp (~
w) = w1 N1 + w2 N2
= a11 w1 + a21 w2 X1 + a12 w1 + a22 w2 X2
¡ ¢ ¡ ¢
à 1
a1 a21 w1
!Ã !
= .
a12 a22 w2
−Lij = Ni · Xj
à !
2
aik Xk · Xj
X
=
k=1
2
aik gkj .
X
=
k=1
44 / 110
3.3 The Second Fundamental Form
45 / 110
3.3 The Second Fundamental Form
We have seen from the previous section that one way to analyze the shape
of an orientable regular surface S near a point p is to consider the best
quadratic surface approximation of S near p and classify the point p as
either elliptic, hyperbolic, parabolic, or planar.
In this section, we analyze the shape of S near a point p by considering
curves on S through p and taking the normal component of their principal
normal vector.
Definition 3.4.1. Normal Curvature
Let S be a regular surface of class C 2 , and let γ : I → R3 be a parametrization
of class C 2 for a curve that lies on S. The normal curvature of S along C is
the function
1
κn (t) = 0 T 0 · N = κ (P · N) = κ cos θ,
s
where T and P are, respectively, the unit tangent and principal normal
vector to γ ; N is the unit normal vector of S; and θ is the angle between P
and N.
47 / 110
3.4 Normal and Principal Curvatures
Since N(t) = N (u(t), v(t)), then N 0 (t) = Nu (α(t)) u 0 (t) + Nv (α(t)) v 0 (t).
In particular,
N 0 (0) = Nu (α(0)) u 0 (0) + Nv (α(0)) v 0 (0)
= dnp Xu (α(0)) u 0 (0) + Xv (α(0)) v 0 (0)
¡ ¢
= dnp γ 0 (0)
¡ ¢
Corollary 3.4.3
The normal curvature of S at a point p is the same along all curves on S
through p with unit tangent vector ~
w ∈ Tp S.
Moreover, the unit normal vector to S at p is N = (0, 0, 1). Thus, the matrix of
the second fundamental form at p is
à !
2 0
L= .
0 4
Let ~
w = aXu (0, 0) + bXv (0, 0) ∈ Tp S, with k~wk = 1. We can see that with the
computed partial derivatives at (0, 0), a + b2 = 1. Then by Theorem 3.4.2,
2
κn = IIp (~
w)
à !à !
2 0 a
= (a b)
0 4 b
= 2a2 + 4b2 .
51 / 110
3.4 Normal and Principal Curvatures
By the method of Lagrange multiplier, these optimal values may occur only
at solutions of the system
4a = 2λa
8b = 2λb
a2 + b2 = 1,
for some real number λ. It can be shown that the system has four solutions:
à ! à ! à ! à !
0 0 1 −1
, , , and .
1 −1 0 0
We now conclude that, at the origin,
the maximum
à ! normal
à ! curvature is 4 which occurs along the tangent
0 0
vectors and ; and
1 −1
the minimum à ! curvature is 2 which occurs along the tangent
à ! normal
1 −1
vectors and .
0 0 52 / 110
3.4 Normal and Principal Curvatures
2 We have already found in (1) the matrix L for the second fundamental
form at the origin. With the first derivatives of X at the origin, we can
see that the metric tensor is given by g = Id2×2 . Hence,
à !
¡ ¢ −1
−2 0
dnp = −g L = −L = ,
0 −4
Proposition 3.4.5
Let S be a regular surface and let p be a point on S. The maximum and
minimum normal curvatures κ1 and κ2 of S at p are the negatives of the
¡ ¢
eigenvalues of dnp . Furthermore, there exists an orthonormal basis
{e1 , e2 } of Tp S such that dnp (e1 ) = −κ1 e1 and dnp (e2 ) = −κ2 e2 .
53 / 110
3.4 Normal and Principal Curvatures
Proof. Set ~
w = aXu + bXv ∈ Tp S with k~
wk = 1. We optimize
Using the method of Lagrange multiplers, there exists λ ∈ R such that the
optimization problem is solved when
(
L11 a + L12 b = λ g11 a + g12 b
¡ ¢
¢ , (??)
L21 a + L22 b = λ g21 a + g22 b
¡
or in matrix form
à !à ! à !à !
L11 L12 a g11 g12 a
=λ .
L21 L22 b g21 g22 b
54 / 110
3.4 Normal and Principal Curvatures
à 0! à !à ! à 0! à 0!
a g11 g12 a a a
Setting = , we have Lg −1
=λ 0 .
b0 g21 g22 b b0 b
= λIp ~ w = λ.
¡ ¢
w,~
55 / 110
3.4 Normal and Principal Curvatures
Remark 3.4.7
1 If the principal curvatures are not equal, the principal directions are
perpendicular.
2 The principal curvatures depend on the orientation of the surface.
Thus, if under a parametrization X with orientation n the principal
curvatures are κ1 and κ2 , then under a reparametrization X̃ with
orientation −n, the principal curvatures are −κ1 and −κ2 .
3 All normal curvatures, and hence the principal curvatures, to a plane
are zero.
56 / 110
3.4 Normal and Principal Curvatures
Proposition 3.4.8
Let S be an oriented regular surface of class C 2 . Then, a point p on S is
elliptic if κ1 and κ2 have the same sign;
hyperbolic if κ1 and κ2 have opposite signs;
parabolic if exactly one of κ1 and κ2 is zero; and,
planar if κ1 = κ2 = 0.
Remark 3.4.10.
1 At every point on a curvature line, the following equation holds:
¢ ¡ ¢2 ¡ ¢ ¡ ¢2
L11 g21 − L21 g11 u 0 + L11 g22 − L22 g11 u 0 v 0 + L12 g22 − L22 g12 v 0 = 0.
¡ ¢ ¡
Proposition 3.4.12
Let S be a regular oriented surface. A point p on S is an umbilical point if
and only if the principal curvatures at p are equal.
Proof. We first recall that Ip (·, ·) is positive definite and dnp is self-adjoint
¡ ¢
with respect to Ip . By Spectral Theorem, the matrix dnp is diagonalizable.
¡ ¢
At a point p on S, the principal curvatures are equal if and only if dnp has
equal eigenvalues λ = −κ1 = −κ2 . Equivalently, there exists an invertible
matrix B such that
λ 0 −1
à !
¡ ¢
dnp = B B ,
0 λ 60 / 110
3.4 Normal and Principal Curvatures
and so,
−g −1 L = dnp = B (λI) B−1 = λBB−1 = λI.
¡ ¢
Recall: In general, the u-coordinate lines and v-coordinate lines may not be
orthogonal. The u-coordinate lines and v-coordinate lines are orthogonal if
and only if g12 = 0 (see Proposition 3.1.14).
In relation to this, the following proposition provides a necessary and
sufficient condition for coordinate lines to be curvature lines.
Proposition 3.4.14
The coordinate lines of a parametrization X of a surface are curvature lines
if and only if g12 = L12 = 0.
61 / 110
3.4 Normal and Principal Curvatures
Proof. Suppose that coordinate lines are curvature lines. Since any two
curvature lines intersect orthogonally, then g12 = 0.
The coordinate lines are given by γ1 (t) = X (u0 , t) or γ2 (t) = X (t, v0 ).
On these coordinate lines, either
u 0 (t) = 0 and v 0 (t) = 1 or u 0 (t) = 1 and v 0 (t) = 0.
By item (1) of Remark 3.4.10, the following must hold:
L11 g21 − L21 g11 = 0 and L12 g22 − L22 g12 = 0.
Since g12 = g21 = 0 then L21 g11 = 0 and L12 g22 = 0. However, since
2
det g = g11 g22 − g12 > 0,
the functions g11 and g22 cannot be both 0. Hence, L12 = L21 = 0.
Conversely, if g12 = L12 = 0, then both matrices g and L are diagonal.
Thus, the matrix (dnp ) is also diagonal, and hence, the standard basis
vectors Xu and Xv of Tp S are eigenvectors of dnp . That is, Xu and Xv are
principal directions. But Xu (u0 , v0 ) = γ2 0 (u0 ) and Xv (u0 , v0 ) = γ1 0 (v0 ), for
any (u0 , v0 ). Hence, coordinate lines are curvarture lines.
2
62 / 110
3.5 Gaussian and Mean Curvatures
Tha Gaussian and mean curvatures are geometric invariants. That is,
they do not depend on the position of S in space and on any particular
63 / 110
3.5 Gaussian and Mean Curvatures
and det A−1 = (det A)−1 , for any square matrices A and B.
Example 3.5.5. [Spheres] We have seen from item (4) of Remark 3.4.7 that
the principal curvatures of the sphere
X (u, v) = (a cos u sin v, a sin u sin v, a cos v) , (u, v) ∈ [0, 2π] × [0, π],
are κ1 (u, v) = κ2 (u, v) = − a1 . Hence,
1 1
K= and H = − .
a2 a 65 / 110
3.5 Gaussian and Mean Curvatures
The first and second fundamental forms (See Examples 3.1.7 and 3.3.5) are
given by
a cosh2 u
à 2 ! à !
0 −a 0
g= and L = .
0 a2 cosh2 u 0 a
Therefore, the Gaussian curvature is
det L 1
K (u, v) = =− .
det g a cosh4 u
2
Furthermore, 1
0
a cosh2 u
dnp = −g −1 L =
¡ ¢
.
1
0 −
a cosh2 u
Hence, H = − 21 Tr dnp = 0.
¡ ¢
66 / 110
3.5 Gaussian and Mean Curvatures
69 / 110
3.5 Gaussian and Mean Curvatures
The Gaussian curvature can be characterized using the basis vectors Xu and
Xv of Tp S and their images Nu and Nv under the Gauss map.
Proposition 3.5.11
Let S be a regular surface of class C 2 , and let V be a neighborhood on S
Xu × Xv
parametrized by X : R2 ⊃ U → R3 . Define the unit vector as N = .
kXu × Xv k
Then for all (u, v) ∈ U, the Gaussian curvature is the unique function K (u, v)
satisfying
Nu × Nv = K (u, v) (Xu × Xv ) .
With this interpretation, we can also show that the Gaussian curvature can
be viewed as follows.
Theorem 3.5.12
Let S be a regular oriented surface of class C 2 with Gauss map n : S → S2 ,
and let p be a point on S. Denote by K (p) the curvature of S at p and
suppose that K (p) 6= 0. Let B² be the ball of radius ² around p and define
V² = B² ∩ S. Then
Area (n(V² ))
|K (p)| = lim .
²→0 Area (V² )
71 / 110
3.5 Gaussian and Mean Curvatures
72 / 110
3.5 Gaussian and Mean Curvatures
By the Mean Value Theorem for double integrals, for every ² > 0, there exist
points (u² , v² ) and (ũ² , ṽ² ) in U² such that
Ï
kXu × Xv k du dv = kXu (u² , v² ) × Xv (u² , v² )k Area(U² ) and
U²
Ï
|K (u, v)| kXu × Xv k du dv = |K (ũ² , ṽ² )| kXu (ũ² , ṽ² ) × Xv (ũ² , ṽ² )k Area(U² ).
U²
Area (n(V² )) |K (ũ² , ṽ² )| kXu (ũ² , ṽ² ) × Xv (ũ² , ṽ² )k Area(U² )
lim = lim
²→0 Area (V² ) ²→0 kXu (u² , v² ) × Xv (u² , v² )k Area(U² )
|K (u0 , v0 )| kXu (u0 , v0 ) × Xv (u0 , v0 )k
=
kXu (u0 , v0 ) × Xv (u0 , v0 )k
= |K (p)|.
2
73 / 110
3.6 Surfaces of Revolution
parametrized by
¡ ¢
X (u, v) = f (u) cos v, f (u) sin v, g(u) ,
1 ¡ 0 0 0
¢
N = q¡ ¢2 ¡ ¢2 −g (u) cos v, −g (u) sin v, f (u) .
f 0 (u) + g 0 (u)
Therefore, the first and second fundamental forms are given by the matrices
q¡ ¢2 ¡ ¢2
f 0 (u) + g 0 (u) 0
g=
¡ ¢2
0 f (u)
75 / 110
3.6 Surfaces of Revolution
Gaussian curvature
f 00 (u)
K = κ1 κ2 = −
f (u)
mean curvature
¢0
f (u)g 0 (u)
µ 00 ¶ ¡
1 f (u) g 0 (u)
H= − 0 + = ¡ ¢0
2 g (u) f (u) f (u)2
77 / 110
3.6 SOR with Constant Gaussian Curvature
79 / 110
3.6 SoR with vanishing Gaussian curvature
80 / 110
3.6 SoR with vanishing Gaussian curvature
81 / 110
3.6 SoR with vanishing Gaussian curvature
82 / 110
3.6 SoR with constant positive Gaussian curvature
p p
For K > 0, f (u) = a cos( K u) + b sin( K u). We can set b = 0 by a translation
of parameters. For (f 0 )2 + (g 0 )2 = 1 to have a real solution g, it is necessary
p
that 0 < a2 K sin2 ( K u) ≤ 1 and consequently,
Z tq p
g(u) = 1 − a2 K sin2 ( K x) dx.
0
83 / 110
3.6 SoR with constant positive Gaussian curvature
1 If a2 K = 1, we get a sphere.
84 / 110
3.6 SoR with constant positive Gaussian curvature
85 / 110
3.6 SoR with constant positive Gaussian curvature
86 / 110
3.6 SoR with constant negative Gaussian curvature
p p
For K < 0, f (u) = a cosh( −K u) + b sinh( −K u).
1 If a2 < b2 , we get a conic type.
87 / 110
3.6 SoR with constant negative Gaussian curvature
88 / 110
3.6 SoR with constant negative Gaussian curvature
89 / 110
3.7 Ruled Surfaces
X (u, v) = α(u) + v~
γ(u),
The lines Lt through α(u) with direction γ(u) are called rulings, and the
curve α is called the directrix of the surface.
Ruled surfaces may not be regular. The definition allows singular
points, that is, points where Xu × Xv =~0. 90 / 110
3.7 Ruled Surfaces
92 / 110
3.7 Ruled Surfaces
as directrix and
γ(u) = (a, b, 2u)
as ruling directions. The parametrization would be
X (u, v) = au + av, bv, u2 + 2uv .
¡ ¢
Alternatively, we can use the same directrix and consider the ruling
directions
γ̃(u) = (a, −b, 2u).
In this case, the parametrization would be
X̃ (u, v) = au + av, −bv, u2 + 2uv .
¡ ¢
x2 y 2
It is easy to verify that both X and X̃ satisfy z = − .
a2 b2
93 / 110
3.7 Ruled Surfaces
Proposition 3.7.6
The Gaussian curvature of a ruled surface is everywhere nonpositive.
Proof. Consider a ruled surface X (u, v) = α(u) + v γ(u). Clearly, Xvv (u, v) =~0.
Hence, L22 = 0, and consequently,
det L (L12 )2
K= =− ≤0
det g det g
since g is positive-definite. 2
94 / 110
3.7 Ruled Surfaces
Remark 3.7.7. The only surfaces of revolution which are also ruled surfaces
are planes, circular cylinders, cones, and hyperboloids (of one sheet).
Corollary 3.7.8
A ruled surface is flat if and only if L12 = 0.
We will prove that there three classes of flat ruled surfaces: generalized
cylinders, generalized cones, and the least obvious but most interesting is
the class of tangent developables.
95 / 110
3.7 Ruled Surfaces
p + v α(u) ,
X (u, v) =~
96 / 110
3.7 Ruled Surfaces
97 / 110
3.7 Ruled Surfaces
Proposition 3.7.10
If S is a generalized cylinder, a generalized cone, or a tangent developable,
then S is flat.
Proof.
Consider a generalized cylinder S parametrized by X (u, v) = α(u) + v~q.
Clearly, Xuv (u, v) = 0, and thus L12 = 0. Hence, S is flat.
p + v α(u). Then
Consider generalized cone S parametrized by X (u, v) =~
Therefore,
v α 0 (u) × α(u)
µ ¶
L12 = · α 0 (u) = 0,
kv α 0 (u) × α(u)k
and hence, S is flat.
99 / 110
3.7 Ruled Surfaces
100 / 110
3.7 Ruled Surfaces
α 0 − α̃ 0 = (w − v)γ 0 .
Hence,
(w − v)γ 0 · γ 0
µ ¶
β − β̃ = (w − v)γ − γ = 0.
kγ 0 k2
2
Theorem 3.7.12
Let α : I → R3 be any directrix of a noncylindrical ruled surface S with unit
ruling directions γ(u). Then there exists a unique function β with β 0 · γ 0 = 0
such that S has reparametrization of the form
X (u, v) = β(u) + v γ(u).
103 / 110
3.7 Ruled Surfaces
Theorem 3.7.13
The curvature of a noncylindrical ruled surface parametrized using unit
ruling directions γ along its striction curve β is
kγ 0 k4 β 0 × γ · γ 0
¡ ¢
K = −¡ ¢2 .
β 0 × γ · γ 0 + v2 kγ 0 k4
Proposition 3.7.14
Let X (u, v) = β(u) + v γ(u), with kγ(u)k = 1, parametrize a flat ruled surface S.
Proof. Parts (1) and (2) immediately follow from Definition 3.7.9, so we just
need to prove (3). Assume β is a unit-speed striction curve of S; that is,
β 0 · γ 0 = 0.
β 0 × γ · γ 0 = 0.
105 / 110
3.8 Minimal Surfaces
Definition 3.8.1
A minimal surface is a parametrized surface of class C 2 that satisfies the
regularity conditon and for which the mean curvature is H = 0.
107 / 110
3.8 Minimal Surfaces
108 / 110
3.8 Minimal Surfaces
109 / 110
3.8 Minimal Surfaces
110 / 110