Geometry/Differential Geometry/Basic Curves
The differential geometry of curves is usual starting point of students in field of differential geometry which is the field concerned with studying curves, surfaces, etc. with the use of the concept of derivatives in calculus. Thus, implicit in the discussion, we assume that the defining functions are sufficiently differentiable, i.e., they have no corners or cusps, etc. Curves are usually studied as subsets of an ambient space with a notion of equivalence. For example, one may study curves in the plane, the usual three dimensional space, curves on a sphere, etc. The most common notion of equivalence is that of rigid or Euclidean motion where two curves may be brought into alignment by a rotation and a translation. There are other interesting notions, however. In particular, in affine differential geometry of curves, two curves are equivalent if the may be brought into alignment through a rotation and a linear transformation. Special affine differential geometry considers two curves equivalent if they may be brought into alignment with a translation and linear transformation of determinant one. All ellipses in the plane are equivalent in affine geometry and are equivalent in special affine geometry if their interior has the same area. We will concentrate on the equivalence under Euclidean motions. In all these notions of equivalency, the ambient space is equipped with some additional structure. In the case of Euclidean motion equivalency, the additional structure is the inner or dot product of vectors.
Plane curves: Curves may defined parametrically, say or as the level set of a function , e.g., . These, of course, both define the circle of radius one. The third method of defining curves is that of a graph, . We will find the parametrically formulation usually easier to work with. Any graph type curve has the parametrization . For the most part, we will not concern ourselves with the "speed" of curve, i.e., the actual parametrization of the curve. For example, the map defines a curve that traverses the same path only twice as quickly.
Given a plane curve , one may consider its velocity which is simply the component-wise derivative, . If one considers a rather simple reparametrization , one can quickly obtain derivatives which become quite ugly and unwieldy even starting with "easy" curves such as the circle. Thus recognizing that one is dealing with a circle might not be obvious if one looks at these derivatives.
Given a curve with a specific parametrization, there is a special reparametrization (almost unique) that eliminates this freedom that causes our headaches. Again, let be our curve. We want to be the reparametrization so that the new curve has speed one, i.e., the magnitude of the vector velocity . One may determine the function with the chain rule. In order for the curve to have unit speed, by the chain rule, we need
The later is a differential equation, which, for all intents and purposes, cannot be solved explicitly except in very special circumstances. It will, by the standard theory of differential equations, have a solution away from points where the velocity vanishes. We will develop the theory assuming that this equation has been solved but then show how to work in other, non-unit-speed, parameterizations.
Thus, we assume that . With this parametrization, we have is a unit vector, the tangent unit vector. Let us call this vector , i.e., . We define unit normal vector be the unit vector obtained by rotating by 90° counter clockwise:
Because we are in the plane, all vectors that are perpendicular to the vector are necessarily some scalar multiple of . We use this observation as follows: The scalar function of given by is constant (equal to one). Thus, its derivative vanishes:
Thus, the vector valued function is perpendicular to , and thus by the above observation, we may write:
for some function . The function is intrinsic and may be understood as the amount that the unit vector swings into the unit normal direction.
An example: We consider a circle of radius centered around the origin. This may be parametrized by . One can solve the differential equation defining in this case and the unit speed parametrization is given by . (This may have guessed as well.) The unit tangent and normal is given by . One then has:
with being the constant function . This gives another interpretation of the function as the reciprocal of the radius of the best fitting or osculating circle.
The function characterizes curves up Euclidean motion with the following result:
Theorem: If two curves and have the same curvature function then necessarily there exists a rigid motion involving a rotation and translation taking the curve to .