###

DIFFERENTIAL GEOMETRY COURSE

2.* ARC LENGTH*

*Definition 10:* A curve is the range of a mapping I→ℜ^{3}, where I is an interval on the real axis.
We always silently suppose that the mapping is as often continuously differentiable as is necessary in order to have our assertions hold.

We denote the image of t as *x*(t) = (x_{1}(t),x_{2}(t),x_{3}(t)).

Note that distinct mappings distinct parametrisations) may define the same curve. For example, the circle is given by
(cos(t),sin(t),0) and by (sin(2t),cos(2t),0).

*Example 11:*

1) straight line: *x*(t) = *s* + t *v*;

2) circular helix: *x*(t) = (a.cos(t),a.sin(t),bt), intersection of a circular cylinder x_{1}^{2}+x_{2}^{2}=a^{2}
and a wave plate cylinder x_{2}=a.sin(x_{3}/b);

3) cubic parabola: *x*(t) = (t, t^{2}, t^{3}), intersection of a parabolical cylinder x_{2}=x_{1}^{2} and the
cubic cylinder x_{3}=x_{1}^{3}.

*Definition 12:* a singular point of a curve with parametrisation *x*(t) is a point *x*(t_{0}) where *x'*(t_{0})=*0*.
A point that is not singular is called regular. See also problem 13.

Suppose that *x*(t_{1}) is a regular point. Then *x*(t) = *x*(t_{1}) + (t-t_{1})*x'*(t_{1}) +
O((t-t_{1})^{2}). We call the straight line with parametrisation *x*(t_{1}) + λ*x'*(t_{1}) tangent in *x*(t_{1})
to the curve *x*(t), and the direction vector *x'*(t_{1}) tangent vector.

We can also explain this in a geometrical way:

The connecting line has direction vector (*x*(t_{1}+Δt)-*x*(t_{1}))/Δt.

When Δt→0, the connecting line becomes the tangent and the direction vector becomes *x'*(t_{1}).

*Problem 13:* Substitute t=u^{3} in example 11 3). Show that we get the same curve, but that with this parametrisation it has a singular point.

*Problem 14:* In the examples 11 2) and 11 3), determine the point of intersection of the tangent in *x*(t_{1}) and the plane x_{1}=0. For which t_{1} is
this intersection point a point at infinity?

*Definition 15:* We approximate the length along the curve *x*(t) between t_{0} and t by taking between t_{0} and t a number of points t_{k} and
calculating Σ ||*x*(t_{k+1})-*x*(t_{k})||.

This sum is equal to Σ ||*x*'(τ_{k})(t_{k+1}-t_{k})||, where τ_{k} lies between t_{k} and t_{k+1}.

When we take the limit we get the following definition of the arc length from *x*(t_{0}) to *x*(t):

s(t) = _{t0}∫^{t} ||*x'*(τ)|| dτ =
_{t0}∫^{t} √(x_{1}'(τ)^{2}+x_{2}'(τ)^{2}+x_{3}'(τ)^{2}) dτ.

According to the pricipal proposition of the integral calculus we find ds/dt = ||*x'*(τ)||, and hence ||d/ds *x*(s)|| = ||*x*'(t)|| dt/ds = 1.

Henceforth we will write *x* ^{.}(s) instead of d/ds *x*(s), so we show by the little dot that we mean the derivative with respect to arc length.

According to definition 12, the tangent in *x*(s_{1}) is *x*(s_{1})+λ*x*** **^{.}(s_{1}), where the tangent vector
*x* ^{.}(s_{1}) has length 1.

*Problem 16:* Give a parametrisation of the circular helix with arc length as parameter. Give the tangent vector, too.

*Problem 17:* Give a parametrisation of the planar curve y=x^{3/2}, with arc length as parameter.

*Problem 18:* Calculate the arc length of the cycloid a(t-sin(t),1-cos(t)), and draw this curve.

Show that it gives the traject of a point P on a circle rolling over a straight line.

*Problem19:* Determine f(t) such that angle between the curve *x*(t) = f(t)(cos(t),sin(t),1) on the cone x_{1}^{2}+x_{2}^{2}=x_{3}^{2}
and the straight lines on this cone is the same in all points of intersection.

*Problem 20:* A curve is given by two parametrisations with parameters t and s respectively, so that *x*(s) = *x*(t(s)) and
*x*(t) = *x*(s(t)).

Let *x*'' be the second derivative with respect to t, and *x*** **^{..} the second derivative with respect to s.

Express ||*x*** **^{..}|| in *x*' and *x*''.

(*Answer * ||*x* ^{..}|| = ||*x*'⊗*x*''||/||*x*'||^{3}. This answer is important for the calculation of
the curvature, which we will describe in the next section.)

answers

HOME