Mathematics of Physics and Engineering

(coco) #1
30 Curves in Space

If the curve is smooth, then ds/dt > 0 and s is a monotone function of t so
that t is a well-defined function of s. Hence, r(t(s)) is a function of s, and
is called the canonical parametrization of the smooth curve by the arc
length. By the rules of differentiation,
dr _ dr dt _ dr 1 r'(t) _ _
ds ~ ~dt ds ~ ~dt ds/dt = \\r'(t)\\ ~ U^''
EXERCISE 1.3.8.C Consider the right-handed circular helix

r(t) = acosti + asintj+tH, a > 0. (1.3.13)

Re-write the equation of this curve using the arc length s as the parameter.

1.3.3 Frenet's Formulas

In certain frames, called inertial, the Second Law of Newton postulates the
following relation between the force F = F(t) acting on the point mass m
and the point's trajectory C, defined by a curve r = r(t):

mfgl=F(t). (1.3.14)

A detailed discussion of inertial frames and Newton's Laws is below on page


  1. When F(t) is given, the solution of the differential equation (1.3.14)
    is the trajectory r(t). However, to get a unique solution of (2.1.1), we
    must start at some time to and provide two initial conditions r'(to) and
    r(to) to determine a specific path. In other words, r(to) and r'(io) are
    reference vectors for the motion. At every time t > to, the vectors r(t) and
    r '(t) have a well-defined geometric orientation relative to the initial vectors
    r(to), r'(to). The three Frenet formulas provide a complete description of
    this orientation. In what follows, we assume that the curve C is smooth,
    that is, the unit tangent vector u exists at every point of the curve.
    To write the formulas, we need several new notions: curvature, principal
    unit normal vector, unit binormal vector, and torsion. We will use the
    canonical parametrization of the curve by the arc length s measured from
    some reference point Po on the curve.
    Let u = u(s) be the unit tangent vector at P, where the parameter s is
    the arc length from Po to P. By Lemma 1.1 on page 26, the derivative u'(s)
    of u(s) with respect to s is orthogonal to u. By definition, the curvature
    K(S) at P is


«(*) = ||tt'(a)||;
Free download pdf