chapter 3
chapter 3
Applications to
basic differential geometry of curves. (Reading: Anton §13)
In §2 we discussed the parametric form of a line in 3-D. In this section we extend the discussion
to more general parametric curves.
0 r(t)h P
r(t1 )
The components x(t), y(t), z(t) are real-valued (scalar) functions of the real variable t. So, a
vector-valued function r(t) may be interpreted as a triple of real-valued functions. As t varies,
the point P traces out a curve C.
Example 1: If a and l are constant vectors then r(t) = a + tl represents the equation of a
straight line, L say.
As t varies from −∞ to +∞, P traces out the straight line in direction of l, through A.
Example 2: (Circular helix)
z
C
a y
33
Let
Note that then x2 + y 2 = a2 , and therefore the curve C lies on this cylinder x2 + y 2 = a2 but
increases in z with t. The resulting curve C is called a circular helix. 2
We are going to define differentiation of vector functions in the obvious way, but first we need
to know what a limit is.
kr(t) − r0 k → 0 as t → t0 .
(Recall that the latter means that for all positive ε there exists δ > 0 such that kr(t) − r0 k < ε
as long as |t − t0 | < δ.)
If we write r(t) = (x(t), y(t), z(t)) and r0 = (x0 , y 0 , z 0 ) then obviously r(t) → r0 as t → t0
iff
x(t) → x0 , y(t) → y 0 , z(t) → z 0 .
Here we use the fact that a vector valued function is a triple of real valued scalar functions, and
we know how to take the limits of real functions.
Definition 3.2 (Continuity) We say that r(t) is continuous if for all t0 , r(t) → r(t0 ) as
t → t0 . Obviously, r(t) is continuous if and only if all its components x(t), y(t) and z(t) are
continuous.
34
It follows that, provided the scalar derivatives x′ (t), y ′ (t) and z ′ (t) all exist,
so we differentiate the components. From now on, we assume that all r(t) we consider are “good
enough” for the derivatives to exist. We then say r(t) is differentiable.
dr d
Notation: r′ (t), r′ , , r(t) are equivalent.
dt dt
Geometrical interpretation of derivative:
(See a diagram in the lectures:) As t varies r traces out the curve C. Now if P and Q are
the end points of the position vectors r(t) and r(t + h) respectively,
−−→
r(t + h) − r(t) PQ
=
h h
r(t + h) − r(t)
and so, if h → 0, Q → P , and tends to a vector in the direction of the tangent
h
to C at P . Hence,
Definition 3.4 Assuming r′ (t) 6= 0, r′ (t) is called a tangent vector to the curve C at point
P . Also the tangent points in the direction of increasing t.
Rules of differentiation
Let r(t), r1 (t), r2 (t) be differentiable vector-valued functions, λ(t) a differentiable real-valued
function, and c a constant vector.
Then:
d
1. (c) = 0
dt
d d d
2. r1 (t) + r2 (t) = r1 (t) + r2 (t)
dt dt dt
d d d
3. λ(t)r(t) = λ(t) r(t) + λ(t) r(t)
dt dt dt
d dr1 dr2
4. For the dot product: r1 . r2 = . r2 + r1 .
dt dt dt
d dr1 dr2
5. For the vector product, r1 ∧ r2 = ∧ r2 + r1 ∧ (N.B. Keep correct ordering)
dt dt dt
35
Thus the usual rules of differentiation apply. Proofs of (1) - (5) directly follow from definition
(3.1), or component form (3.2).
(See Examples 1 and 2 in the lectures.)
For a position vector r(t), kr(t)k is a scalar function of t.
Example 1: Show that for r 6= 0
d 1
krk = r . r′
dt krk
Deduce that r.r′ = 0 if krk = constant.
Solution: (i) Recall, krk2 = r.r. Differentiate both sides with respect to t
d 2 d
krk = (r . r)
dt dt
d dr dr dr
∴ 2krk krk = .r + r = 2 r.
dt dt dt dt
d 1
∴ krk = r.r′ . (3.3)
dt krk
We use this result often.
d
(ii) If krk = constant ∴ krk = 0
dt
d
∴ r.r′ = krk krk = 0 2
|dt {z }
=0
36
where c is a constant vector (analogous to the constant of integration). Therefore,
Z
r′ (t)dt = ct + d,
r(t) = tc + d, ∀t ∈ R,
which is the equation of a straight line through arbitrary point d in an arbitrary direction c, as
required. 2
37
C
Q
t+h
t1 P
t0 P0
ds dr
= = kr′ k (3.5)
dt dt
(Here τ is a dummy variable of integration which, strictly speaking, could be anything but t
which is the upper limit; we nevertheless often use in similar context t also as the integration
variable, for notational simplicity.)
See an example in lectures on the arc length for a circular helix; see also the example in the
end of the next subsection.
Warning! In general
dr d
6= kr(t)k .
dt dt
(The length of a derivative is generally different from the derivative of a length.)
We have seen that r′ (t) is a vector tangent to C at r(t), assuming r′ (t) 6= 0. We apply the usual
recipe to construct a vector of unit length pointing in the tangent direction:
38
If we choose the arc length s as the parameter for the curve C, then using the Chain Rule and
(3.6)
dr dr ds dr ′
r′ = = = r ∴ from (3.6)
dt ds dt ds
dr
T̂ = (3.7)
ds
dr
Note that = 1.
ds
We have
kT̂k = 1 ∴ kT̂k2 = T̂ · T̂ ≡ 1
dT̂
and differentiating the latter, T̂ · =0
dt
dT̂
Thus is orthogonal to the tangent vector T̂ and so is normal to the curve C (see the
dt
diagram in lectures).
dT̂
Definition 3.6 Assume T̂′ := 6= 0, then
dt
T̂′
N̂ := (3.8)
kT̂′ k
(The word “principal” means that this is “the” unit normal to C pointing in the direction in
which the curve actually curves, or in other words lying in the plane “best approximating”
the curve C near the considered point P . More precise statements would require use of more
advanced Analysis.)
ds
In the s-parametrisation, replacing in (3.8) t by s (and recalling that dt > 0)
dT̂
N̂ = ds ,
dT̂
ds
or, re-arranging,
dT̂ dT̂
= κ N̂, κ := . (3.9)
ds ds
39
dT̂
Definition 3.7 The length of vector is called the curvature of curve C at the given point
ds
t.
dT̂ dT̂ ds kT̂′ (t)k
κ = = = (3.10)
ds dt dt kr′ (t)k
So
ds p
= kr′ k = a2 + c2
dt
Take our start point as t = 0 i.e. r(0) = (a, 0, 0).
Rt √
(1) The arc length from (a, 0, 0) to r(t) is s(t) = kr′ kdt = a2 + c2 t.
0
40