[ Background required: rudimentary vector calculus. ]
The aforementioned definition of curvature is practical but a little aesthetically displeasing. Specifically, one seeks a definition which is independent of the parametrization of the curve. The advantage of such a definition is not merely conceptual clarity, but also the ease at which we can generalise to higher dimensions.
Suppose the curve is given by , where all vectorial values are given in boldface. One imagines this as a particle travelling along the curve such that at time t, its position is at x(t). Recall that the velocity of the particle is then given by which is parallel to the gradient of the curve at x(t).
Thus the speed of the particle is the magnitude of its velocity, , from which it’s clear that the distance travelled by the particle during a time interval [a,b] is given by:
Example: consider the parabola parametrized via . The arc length of the curve from (0,0) to (1,1) is given by which is , i.e. around 1.479, which is only slightly longer than the straight line joining the two points.
Exercise: find the length of the curve from (0,0) to (1,1).
Exercise: for the curve in polar coordinates , find the formula of the arc-length.
Now we’re ready to state our definition of curvature “intrinsically” (i.e. without reference to external coordinates or parametrization). At each point of time t, take the unit tangent vector at the curve, i.e. let T(t) be the unit vector along . Since regardless of parametrization, is always parallel to the tangent at the curve at x(t), we see that T(t) depends only on the point x(t) and not on the parametrization t. [ E.g. if we let t = 2u, then the new parametrization x(u) would be “twice as fast”: from u=0 to u=1, the particle would have traversed the path from t=0 to t=2. ]
Next, we fix a standard parametrization of the curve: namely via the arc length s, i.e. we assume that the particle is travelling along the curve at unit speed.
Example. Consider the semi-circle in the upper-half plane . Let’s calculate its parametrization by arc-length s, via the hard way. [ The easy way is via polar coordinates. ] Starting from the point (-5, 0), the arc-length to the point is given by:
This gives the parametrization , , where . This is consistent with our intuition that the arc-length is a linear function of the angle θ.
Exercise. Take the curve . Parametrize the curve by arc-length, starting from the origin (0, 0).
Exercise. Take the curve defined by the polar equation and parametrize it by arc-length, starting from .
Exercise. (*) Prove that if is parametrized by arc-length, then . [ Note: if your concept is right, this should be a 2-line proof. We will need this result later. ]
Now we’re ready to unveil the new definition of curvature.
Intrinsic Definition of Curvature. Let be the unit tangent vector of the curve , parametrized by arc-length. The curvature of a curve is defined by .
While we’re at it, we also define the curvature vector to be .
Our most pressing need is to check that this definition of curvature is consistent with our last. To be specific, for a function we need to show that after parametrizing by arc-length that:
To do that, first rotate and translate the figure so that the graph is tangent to the x-axis at the origin (i.e. ). The RHS remains unchanged thanks to the way we derived it. The LHS is intrinsically defined, so it has nothing to do with orientation. Now we have:
At x=0, we thus have and it suffices to compute . To do that, note that the vector is parallel to the tangent of the curve at the point , so we can express the unit tangent vector in terms of x :
Now just differentiate both sides wrt x and put x=0: we get . So our definition is consistent with the earlier one. Notice that the curvature vector is perpendicular to tangent vector (x-axis). This always holds.
Armed with this, we can generalise the definition of curvature to a curve in arbitrary dimensions. Let be a curve in n-space, with components . Everything follows as before:
- The velocity vector is .
- The unit tangent vector of the curve at a point is .
- The arc-length along is , or .
So naturally, we also define the curvature vector to be and the curvature to be its length. This definition is consistent with all our earlier definitions of curvature (for n=2 case).
Example. Consider the helix given by .
Then the velocity vector is , so the tangent vector is . To compute the curvature vector, we apply:
And . Hence, the curvature vector is given by . and the curvature is 1/5. In other words, the helix has constant curvature, which is consistent with our geometric figure.
Exercise. Take the curve . Compute the curvature and curvature vector at a general point on the curve.
Application. Take a cylinder with base radius R and height H. A strake is a curved strip which bends around the cylinder, following the shape of its contour:
(Image from britannica.com)
What should the radius r be for the strip to wrap around the cylinder effectively? The correct answer is that the curvature must match that of the strake. The graph of the helix is given by: , where and . Hence:
- so ;
- so curvature vector is and the scalar curvature is .
So the correct radius for r is where .
Reblogged this on Rayna's Blog and commented:
A follow-up of an earlier article, this post looks at “curvature” using concepts of path and velocity. The last question on helix and strakes is very interesting.