1. Arc LengthA parametrized curve in Euclidean three-space E is given
by a vector function X(t) = (x1(t), x2(t),
x3(t)) that assigns a vector to every value of a parameter
t in a domain interval a t b. The coordinate functions of the curve are the functions x1(t), x2(t), and x3(t), and in order to apply the techniques of differential calculus, we will assume that these functions have as many derivatives as needed in our constructions.
| |
Curves in Three Dimensions For a curve X(t), we define the first derivative X'(t) to
be the limit of the secant vector from X(t) to X(t+h) divided by h as
h goes to 0, assuming that this limit exists. Thus X'(t) = lim
h->0 [X(t+h) - X(t)]/h. The first derivative vector X'(t) is
tangent to the curve at X(t). If we think of the parameter t as
representing time and we think of X(t) as representing the path of a
moving particle, then X'(t) is called the velocity vector. It
is straightforward to show that the coordinates of the first derivative vector are the derivatives of the coordinate functions, i.e. X'(t) = (x1'(t), x2'(t), x3'(t)).
| |
The arc length of a curve X is defined to be the limit L
of the lengths of polygons inscribed in X as the lengths of the sides
of these polygons tend to zero. By a theorem from calculus, this limit
can be expressed as the integral of the speed |X'(t)| =
xi'(t)2
between the limits a and b, so L =
ab
|X'(t)|dt. For an arbitrary value t between a and b, we may define the distance function s(t) - s(a) = ab|X'(u)|du. Note that s'(t) = |X'(t)|.
| |
The arclength is independent of the parametrization of the curve, in the sense that if v = v(t) with v'(t) 0, then |X'(t)| = |X'(v)|v'(t). If v(a) = a and v(b) = b, then we may use the change of variables formula to express the integral in terms of the parameter v. We have L = ab|X'(t)|dt = ab|X'(v(t))|v'(t)dt = v(a)v(b)|X'(v)|dv.
| |
We can also write this expression in the form of differentials: ds = |X'(t)| dt = |X'(v)| dv. This differential formalism becomes very significant, especially when we use it to study surfaces and higher dimensional objects, so we will reinterpret results that use integration or differentiation in differential notation as we go along. For example, the statement s'(t) = xi'(t)2 can be rewritten as (ds/dt)2 = (dxi/dt)2, and this may be expressed in a form ds2 = dxi2, a form that has the advantage that it is independent of the parameter used to describe the curve.
| |
One of the most useful parametrizations of a curve is by the arclength function. If s = s(t), then s'(t) = |X'(t)| = |X'(s)|s'(t) so |X'(s)| = 1 for all s. Thus the derivative of X with respect to arclength is a unit vector. We may then write L = ds.
| |
The arclength function is characterized by the condition that the derivative is a unit vector, up to the choice of starting point on the curve and up to a multiplication by -1, which has the effect of reversing the direction in which the curve X is traversed. Thus if v is a parameter such that |X'(v)| = 1 for all v, then v = s + c for some constant c.
| |
Exercises | |
Curves in Three Dimensions
| |
| |
| |
Trefoil Demo 1
Trefoil Demo 2
|