Geodesics of Surface of Revolution
Geodesics of Surface of Revolution
CSUSB ScholarWorks
2011
Recommended Citation
Chang, Wenli, "Geodesics of surface of revolution" (2011). Theses Digitization Project. 3321.
https://scholarworks.lib.csusb.edu/etd-project/3321
This Thesis is brought to you for free and open access by the John M. Pfau Library at CSUSB ScholarWorks. It has
been accepted for inclusion in Theses Digitization Project by an authorized administrator of CSUSB ScholarWorks.
For more information, please contact [email protected].
Geodesics of Surface of revolution
A Thesis
Presented to the
Faculty of
San Bernardino
In Partial Fulfillment
Master of Arts
in
Mathematics
by
Wenli Chang
September 2011
Geodesics of Surface of revolution
A Thesis
Presented to the
Faculty of
San Bernardino
by
Wenli Chang
September 2011
Approved by:
Abstract
In this thesis, I study the differential geometry of curves and surfaces in three-
dimensional Euclidean space. Some important concepts such as, Curvature, Fundamental
Form, Second Fundamental Form, Christoffel symbols, and Geodesic Curvature and equa
tions are explored.
I then investigate the geodesics on a surface of revolution through solving dif
ferential equations of geodesic. Main result are stated in Theorem (8.1).
iv
Acknowledgements
Table of Contents
Abstract iii
Acknowledgements iv
1 Introduction 1
2 Curves 2
2.1 What Is a Curve................................................................................................ 2
2.2 Arc Length.......................................................................................................... 5
2.3 Tangent, Normal and Osculation Plane........................................................... 7
2.4 Curvature............................................................................................................. 8
7 A Surface of Revolution 41
7.1 The Parametric Representation of a Surface of Revolution ...................... 41
7.2 First and Second Fundamental Form of a Surface of Revolution................ 42
7.2.1 The First Fundamental Form of a Surface of Revolution................ 42
7.2.2 The Second Fundamental Form of a Surface of Revolution............. 43
vi
Bibliography 53
vii
List of Figures
2.1 Helix...................................................................................................................... 3
2.2 Folium Descartes................................................................................................ 4
2.3 LimaQon................................................................................................................ 4
2.4 Tangent, Normal and Binormal Vector........................................................... 7
2.5 Cylinder Circular................................................................................................ 12
Chapter 1
Introduction
The study of geodesics is one of the main subjects in differential geometry. The
shortest path on a surface joining two arbitrary points is represented by a geodesic. In
this project, I focus on the study of geodesics on a surface of revolution. I first introduce
some of the key concepts in differential geometry in the first 6 chapters. In chapter 7, I
derive the differential equations for a curve being a geodesic.
A theorem on geodesics of a surface of revolution is proved in chapter 8.
2
Chapter 2
Curves
where xi,X2, X3 are the Euclidean coordinate functions of X, and t is called the parameter
of the curve X. X(t) can be considered as the position vector of a moving point on the
image set X(I) of the curve X.
where
a = (01,02,03), b = (61,62,63).
Example 3: Helix
Helix raise at a constant rate on the cylinder x2 + x2 = r2, and it is said right winding,
if b < 0, then the helix is said to be left winding; and the A?3-axis is called the axis.
Note that X has a self-intersection at the origin in the sense that X(t) = 0 for t —
and for t =
Note that: X' (t) is the tangent vector of the curve and s(t) is a differentiable
function of t.
|XZ(t)| = l (2.10)
ds = ix'ldt,
ds ds
dt ds ’
when t=s is the arc length.
|x'(t)| = i =>
ds
dt = ’
6
Thus,
to-
Let
to = 0,
as
t_dPx
X ds2
x’ = 4
d
dt
d2X
X dt2 ’
I
Example 1: For the circular helix as in (2.5):
then
and therefore
S(t) = ty/(r2 + c2)
Let
I
7
Then,
X(S) = (rcos(s/w) rsin(r/w)' cs/w).
Definition 2.5. Let C be an arbitrary curve in the space R3, and X(s) be a parametric
representation of C with arc length s as parameter. The vector
(2-12)
is called the unit tangent vector of the curve C at the'point -Y(s). This vector is a unit
8
vector, because
dX dX
\t\2 = t-t = X-X = (2-13)
ds ds
Definition 2.6. All the vectors pass through a point P of C and orthogonal to the cor
responding unit tangent vector lie in a plane. This plane is called the normal plane to C
at P. I
Definition 2.7. The plane determined by the unit tarigent t(s) and X(s) is called the
osculating plane of the curve C at P.
Definition 2.8. The intersection of the osculating plane with the corresponding normal
plane is called the principal normal. 1
2.4 Curvature
Curvature is a very important concept of a curve. Curvature measures that how
curved a curve is. ,
Let X(s) represent a curve C with arc length s as parameter.
Since s is the arc length, then by (2.10) : ;
iy(5)i = i
i.e
X(s)-X(s) = 1. I
X(s) • X(s) = 0
thus
X(s)±X(s) |
I
If X(s) f 0, Y(s) is orthogonal to the unit tangent vector X(s) and lies in the normal
plane to C. ;
X(s)
(2-14)
is called the unit principal normal vector to the curve C at the point X(s).
9
Definition 2.10. :
X — Xq T as
k = |X(s)| = 0
a = X(s)
ads = as + Xq
It is a straight line. □
Note that:
i=X
fc(s) = |t(s)|
P(s) =
l^(s)l
txt = XxX = tx kP
then,
|X x X| = |t x kP\ = k\t x P\
Now, since t and P are unit and orthogonal, |t x P\ = 1 then we obtain that:
k = \Xx X|.
ds
dX dt
dt ds
dX
ds
d dX dt.
ds'' dt ds
d dX dt dt
dt dt ds ds
d2X dt dX d2t dt
dt2 ds + dt ds2 ds
dPX (dt\2 ! dX d2t dt
then
dX dt\ (d2X /dt\2 dX d2t dt
dt ds) X y dt2 yds) dt ds2 ds
dt\2 dX /dXdtV
ds J dt \ dt ds J
That is
k= |XxX| = |X' xX"|
ds3 — dX ■ dX • dX.
11
k= |X X X| = |X' X x"| (A
i.e
, \X'xX"\ ,dX
(2-17)
k= irp (ir = x)
(a x b) • (c x d) = (a • c)(b • d) — (a • d)(b • c)
It is equivalent to
, V{(X' • X')(X" • X") - (X7 • X")2}
/v ■ ■ 1 Q (2-18)
(X7 .X')2
In particular t = s, (2.17) reduces to the form (2.15).
then
X' = (—rsint, rcost, 0), X" = (—rcost, —rsint, 0).
By (2.17),
t y/{(r2 sin21 + r2 cos21) • (r2 cos21 + r2 sin21) — (r2 sin t cos t — r2 sin t cos t)
fV 2
(r2 sin21 + r2 cos21) 2
, {(r2 sin21 + r2 cos2t + c2) • (r2 cos2t + r2 sin21) — (r2 sin t cos t — r2 sin t cos t)
•V
(r2 sin21 + r2 cos2t + c2) 2
k = yc^ + c2)^2)
(r2 + c2)t
Thus,
k_ r
r2 _|_ c2
And,
X" — (a cosh t, a sinh t, 0),
Then,
X' x X" = (—a2 sinht, a2 cosht, —a2),
k =------
2a cosh t
14
Chapter 3
Definition 3.1. Let D C R2 is a open domain, (u,v) represent the points in R2. There
is 1-1 map: r : Z) —> R3, if (xx,X2,x3) represent the Cartesian coordinate of the points
on R3, then the map can be presented as:
f
a?i = xffu, v)
< X2 = X2(u, v) (u,v)&D
k x3 = x3(u,v)
and xffu,v), X2(u,v),x3(u,v) are all differentiable functions respect to u,v, under this
map, the image of D form a surface S in R3. (u, v) is called the parameters of surface S
and the vector parametric function of S is
geometric problems of X(u, v) with respect to u, v. The following assumptions are made:
/ 9x1 dxi \
J= dx2,
du dv
dx3
dv J
is of rank 2 in D.
It means the Jacobins JX1, JX2i Jx3 are not all simultaneously zero,i.e.,
and the derivatives of X^, X2 and X3 with respect to u and v are continuous.
_ d(x2,x3)
Jx\
d(u, v)
= d(x3,x1)
Jx2
d(u, v)
= d(x1}X2)
Jx3
d(u, v)
Where,
dx^ dx3
d(x2,x3) _ du du
d(u,v) dx% dx3
dv dv
dxi dx2
3(^1, ^2) du du
5(u, v) d^ dx2
dv dv
dx3 dxi
d(X3,X!) du du
d(u, v) dx3 dxi
dv dv
16
Remark: Rank J = 2 is equivalent to the condition that and are linearly inde
pendent.
Examples of surface
Example 1: A sphere of radius r with center at X = (0,0,0)
A sphere is the set of points of R3 that are a fixed distance(the radius) from
a fixed point(its center). So the sphere of radius r with center at X = (0,0,0) can be
represent as:
2,2,2 2
x±+ x% + x$ = r
that is,
xi = r cos v cos u
X2 = r cos v sin u
X3 = r sin v
X(a;i,a:2) = c, X3 = 0
Then the cylinder lS'(Figure(3.2)) generated by the fine L perpendicule to the aji^-plane
along the curve C is given by
X(X!,X2) = c. (3-3)
17
If C is not a closed curve, and H(u) = (hi (u), /12(a), 0) is a parametrization of C, then
Thus,
X(u, v) = (acosu, asinu, v) (3.5)
is a representation of the cylinder of revolution which has radius a and the #3 axis as axis
of revolution.
The corresponding matrix
—asinu 0
J = acosu 0
is of rank 2.
Example 3: A cone of revolution with apex at X = (0,0,0) and with #3-axis as axis of
revolution can be represented as:
The curves u = const are circles parallel to the #i#2 — plane while the curves
v = const are the generating straight lines of the cone.
X = X(u(t),v(t))
dX du dXdv
du dt "I” dv dt (3.7)
dt
—X vvu ' ,
vuu' + -X. tvu —
(A vv —
,X ).
Definition 3.2. The vectors Xu, Xv in (3.7) spans a plane E(P) called the tangent plane
at P to the surface S. E(JP) contains the tangent to any curve on S at P passing through
the point P.
Remark: There is a only one tangent direction pass a point at a curve, but there are
infinite tangent directions pass a point on a surface, these tangent vectors form the tangent
plane.
Definition 3.3.
Xu x Xy
(3-8)
X X-u|
is called an unit normal vector to S at D, where Xu = and Xv =
19
and 0 < u < 2ir, —oo < v < oo, its tangent vector is:
X2 = XV = (0,0,1)
Xu x Xv . .
11 = IY v Yl = (C0S Sm U’ 0)
|-A^ X |
Example 2: Catenary
then
Xi x Xv = (— cosh u cos v, — cosh it sin v, 0)
and,
X^t x Xv 1
n= (— cos v, — sin v, sinh
| Xi x XJ coshiz
20
u = u(t),v = v(t)
/ dX dX du dX dv , /
dX = (Xu^+Xv^)dt
at at
i.e;
dX = Xudu + Xvdv.
thus,
ds2 = XuXu(du)2 + 2XuXvdudv + XvXv(dv)2. (3.9)
We set
Xu • Xu — gn (3.10)
Xu • Xu = 922 (3.13)
3.14 is called the First Fundamental Form of the surface S. It is also expressed as
That is:
Xu ' Xu — gn — E,
Xu • Xu — Xv • Xu — 512 — 521 — F,
Xv ■ Xv — 522 = G
Example 1: Plane
X =(u,v,0)
then
X -dx-1 x _ dX - i
— —- — 1
u ~ du ~ ’ av
Xu • Xu = 1 = E, Xu • Xu = 1 = G
then
Xu = (—a sin u, a cos u, 0)
Then
E = Xu ■ Xu = a2 + b2 + 4v2
F = Xu • Xv - a2 — b2 + 4uv
G = Xv • Xv — a2 + b2 + 4u2
Example j: Sphere
then
= a2
9 9
= a cos u
Xu • Xv — 0.
Example 5: Catenary
and,
F = Xu • Xv = 0
Chapter 4
cos
cos 7 = p • n
since, p = *. = *, we have
A: cos 7 = X • n.
By chain rule
dX du dx dv „ . .
X = ————|- — — = Xuu + Xvv (4.1)
du ds dv ds
and
-X" — Xuuuu “H X^^uv 4” X^^vu “I- X'yyVv X^u d- X^v. (4-2)
25
dX dX
Xu -
du ’
d2X „ d2X
XUV —
dvdu’ vu dvdu
d2X „ d2X
^UU — ■^VV — 11
dudv’ avav
Let n be the unit normal vector of the surface, then n is orthogonal to both Xu
and Xv.
Xu • n = 0, Xv • n = 0
since,
thus,
fei2 = &21
and
X • n = fen(u)2 + 2b12uv + b22(v)2
i.e
d2X
n = fen (4-3)
ds2
We get :
d2X • n = fen (du)2 + 2b\2dudv + b22(dv)2.
(4.4) is called the the Second fundamental form of the surface S. We are going to rewrite
it as:
L(du)2 + 2Mdudv + N(dv)2 (4.5)
Where
5ii — E — • n,
Case l:Plane
From previous chapter we have:
Xv = (0,0,1)
xu = 1, xv = 1
so,
Xuu xvv = 0
Xv = (0,0,1)
E = a2, F = 0, G= 1
Xvv = 0
27
n = (cos u, sin u, 0)
and,
L — luu ' n — ct
M=0 N = 0.
—ad2u
Case 3: Catenary
X(u, u) = (cosh u cos v, cosh u sin v, 1)
E = cosh2 u
G = cosh2 u
F=0
Now,
Xuu = (cosh u cos v, cosh u sin v, 0)
M = Xvv • n = 0
N = Xuv • n = 1
—d2u + d2v
28
v d2X v d2X
■^UU -- O Q ) -^-uv --- o Q
OU0U OUOV
v d2x v d2x
— q a >
ovou
-A-vv — o o
ovov
of the vectors Xu and Xv.
Theorem 4.1.
(4-6)
(4-7)
(4-8)
Where
Taking the dot product of each above equation with the unit normal vector n,
we have
Xuu • n = • n + (tyXu • n + a3n • n,
similarly,
M'=/?3, N = 73
Recall that L, M and N are the coefficient of Second Fundamental Form, now, taking
dot product of 4.9,4.10,4.11 with Xu, Xv,
= Eai + Fa% + 0
and
Xuu ’ xv — Faq T Gcx2
(4-12)
Therefore, we have
30
&=r?2 =
EGU - FEv
2(EG - F2)
2GFV - GGU - FGV
71 1722 2(EG - F2)
The coefficient ai,a2) A,/?2>7i and 72 here are called Christoffel symbols T**,
! GEV—FGU
12 2(EG - F2)
2 _ EGU — FEv
12 _ 2 (EG - F2)
1 2GFV - GGU - FGV
22 2(EG - F2)
2 _ EGv - 2FFV + FGU
22 2(EG - F2)
□
31
Chapter 5
Definition 5.1. The scalars nn and Kg in equation 6.1 are called the normal curvature
and the geodesic curvature of C, respectively.
nn = X • n, (5-2)
, = X ■ (n x X), (5-3)
Kn = K COS </>, (5-4)
ng = ±/s sin (f> (5-5)
Where k is the curvature of C and </> is the angle between n and the unit principal normal
p of C.
Thus,
Xu X X-y
n = T—-----—-
Xu X Xy — yfgn,
Xv x Xu yfgxi,
33
Where, G = EG — F2 since
Xu x Xu = 0 Xv x X v = 0
nx n=0 n•n=1
Xu x Xy = fgn Xv x Xu — fgn
then
then,
now, since
Xy X Xy = 0, Xy X Xy = 0
Xy x Xy = yfgn, Xv X Xu = ^gn
X x X = y/gnuu + ^/t7nur22?w
+A/5n'iir2iV?i + y/gnuT^vv — y/gnvT^uu
—y/gnir^QU^ ~~ i/gnvr21vu — y/gnvT^^
nxn=0
35
so in above expression, all terms cross multify with n become zero. Thus,
since
p2 __p2 pl __pl
1 12 — 1 21 > 1 12 ~ 1 21
then,
k9 = (X x X) -n
so
Thus, Kg is only depend on the first fundamental form since the Christoffel
Ge
36
Chapter 6
X(s) =p + sq
Kg =0
X ±X, X -X = 0.
37
X = nnn.
Kg = (X x X) • n = 0.
Let
X — Xuu T Xvv
then
X = -^(Xuu + Xvv)
Xuv = Tj2-^-u + + Mn
Recall that
L — 6ii = Xuu * ri
Then
= fiXu + f2Xv + f • n
38
where
then
X x X = (uXu + vXy) x (JiXu + f2Xv + /n)
now,
Kg = (X x X) -n
and recall
XuxXu = 0, Xv xXv = 0
(Xu x n) • n = 0
(Xv x n) • n = 0
Xu X Xv — y/gri
Xu x Xu — yfgn..
Kg = (X x X) • n
= («/2-i/i)[(XuXX,)-n].
uf2 - vfi = 0
39
thus
Ufa = vfl
Now, considering X • X
then
= fi(X-X)
= fl
thus
X-X = l
«(x • x) = A
similarly,
v(X-X) = /2
therefore,
/ts = 0
<=>
ufz = vfi
40
fi=u(X-X)
h = v(X • X)
Since,
X-X = 0
so
Kg = 0 fi = 0 and f2 = 0
i,e.,
Chapter 7
A Surface of Revolution
Definition 7.1. : A surface S generated by a given plane curve C rotating about a fixed
straight line A is called a surface of revolution. A is called the axis of S.C is called the
profile curve.
is a parametrization of the profile curve containing q, then q is out of the form (see figure)
where
E —■ Xu • Xu, F = Xy • Xy,
let
X(u, v) = (/(v) cos u, /(v) sin u, h(v)) (7.1)
be a surface of revolution.
Then
Xu = (—/sin u,f cosu, 0)
43
dh(y)
Xv = (f' cos u, f' sin u, h')
dv
Where f' denoting
=f
and,
F = Xu • Xv = (—f sin u cos u + f sin u cos u + 0) = 0
So, for a surface of revolution, the first fundamental form has coefficients:
E = f\
F = 0, (7.2)
G = f'2 + h'2
where,
44
and,
i j k
Xy X Xy — —/sinu f cosu 0
f cos u f sin u f
We assume that f(v) > 0 and that the profile curves i—> (f(v), 0, h(v)) is unit speed, i.e.
/'2 + = L Then
X —
= y/f2h'2 + (ff)2
= fVf2 + h’2
=f
= ~fh'.
Samilaly,
M = Xuv • n = (—f sin u, f' cos u, 0) • (Ji cos v, li sin v, f')
= f'h'1 - f"h'
thus
(/ h — f h )du2 + fh'dv2
note that the Christoffel symbols only depend on the coefficients of the first fundamental
form. For a surface of revolution, the coefficients of first fundamental form are the
following:
E = f2, F = 0, G = f'2 + h'2 = 1
Replace these first fundamental form of surface of revolution into the previous Christoffel
symbols formula:
46
! _o-o+o
111- 2/2
ri _ (Z2)/ _ 1
12 2/2 f
ri -Q-o-O
X22- 2/2
-o
0 —/22/— 0
1 11 - 2^2 ”
•n2
p2 /2(0 T 26 h") —0 + 0 = h'h"
J- 22
1 9' —
2/2
r?2 = o
thus
r?2 = o
Chapter 8
Geodesic of a Surface of
Revolution
In this chapter, we are going to study the following question: what are the
geodesics on a surface of revolution.
Recall that a surface of revolution obtained by revolving a curve C in XZ—plane
about Zaxis can be parametrized by an equation X(u,v) = (f(v) cosu, f(v) sinu,g(y)),
where (f(v),g(v)) is the parametric equation for the curve C in xz — plane.
In the following, we will assume that C is given by a function of x in xz —plane,
namely Z = h(x).
Then, the parametric equation for the surface can be written as X(u,v) =
(v cos u, v sin u, h(y)).
We find out
E = v2, F = 0, G = 1 + h"
—vh' -h"
M=0
48
r]i = o, r]2 = i
^22 = 0, = —v,
p2 k>
22 1 + 7/2
u+0+2• •v+0=0
v • (u)2
1 + h'2 + 1 + 7/2 = 0
•• 2 ..
u H—uv = 0 (8.1)
v
v • (u)2 tililv)2
=0 (8-2)
we have,
X-X = 1
where
X — Xuu -|- Xvv
49
therefore,
X • X = (Xuu + Xvv)(Xuu + Xvv)
recall that
are the coefficients of the first fundamental form of a surface of revolution, And, for the
surface of revolution,
that is
(1 + 6'2)(v)2 = (v)2 + (v)2 ■ K2 = 1
v + h h v + h 2v = 0
or
15(1 + h'2) + h'h"v = 0. (8-5)
v ■ (u)2 h’h"(y)2
=0
50
h'h"(v)2
v—0+ =0
1 + h'2
Bibliography
[Opr97] John Oprea. Differential Geometry and its Applications. Prentice-Hall Inc, New
Jersey, 1997.
[PrelO] Andrew Pressley. Elementary Differential Geometry. Springer, New York, 2010.