curvature (plane curve)

1 Basic Intuition

The curvature of a plane curve is a quantity which measures the amount by which the curve differs from being a straight line. It measures the rate at which the direction of a tangent to the curve changes.

2 Arclength Parameterization

The simplest way to introduce the curvature is by first parameterizing the curve with respect to arclength. Suppose that $s$ denotes arclength and that the curve is specified by two functions $f$ and $g$ of this parameter. In other words, a typical point of the curve is $(f(s),g(s))$, where $s$ must lie in some specified range. Recall that the condition that $s$ be the arclength is that ${(f^{\prime })}^2+{(g^{\prime })}^2=1$.

Let $\theta$ denote the angle which the tangent vector makes with the $x$ axis. Because of the arclength condition mentioned above, we have

$f^{\prime }(s)$ $=$ $\cos \theta$

$g^{\prime }(s)$ $=$ $\sin \theta .$

The curvature is simply the derivative of this angle with respect to arclength:

$$\kappa =\frac{d\theta }{ds}$$

It is convenient to re-express the curvature in terms of $f$ and $g$. To do this, we differentiate the previous equation:

$f^{\prime \prime }$ $=$ ${\displaystyle \frac{d}{ds}}\cos \theta =-\sin \theta {\displaystyle \frac{d\theta }{ds}}=-\kappa \sin \theta$

$g^{\prime \prime }$ $=$ ${\displaystyle \frac{d}{ds}}\sin \theta =\cos \theta {\displaystyle \frac{d\theta }{ds}}=\kappa \cos \theta$

By eliminating $\theta$, we obtain the following formulae for the curvature:

$\kappa$ $=$ $-f^{\prime \prime }/g^{\prime }$

$\kappa$ $=$ $g^{\prime \prime }/f^{\prime }$

Because of the condition ${(f^{\prime })}^2+{(g^{\prime })}^2=1$, both $f^{\prime }$ and $g^{\prime }$ cannot simultaneously be zero, so at least one of the above formulae must be valid at any point on the curve.

At first, it may seem odd that we have obtained two different formulae for the same quantity. The reason for this is simple. Differentiating the arclength condition

$${(f^{\prime })}^2+{(g^{\prime })}^2=1$$

gives

$$f^{\prime \prime }{f}^{\prime }+g^{\prime \prime }{g}^{\prime }=0$$

or, dividing out,

$$g^{\prime \prime }/f^{\prime }=-f^{\prime \prime }/g^{\prime }.$$

which explains why the two formulae for the curvature must agree. In fact, one can easily derive several other formulae for the curvature by using this identity.

3 Rotation-Invariant Formula

For instance, one might want to obtain a formula which is explicitly invariant under rotation. Consider the following determinant:

On the one hand, this is clearly invariant under rotation. On the other hand, we have

$$f^{\prime }{g}^{\prime \prime }-f^{\prime \prime }{g}^{\prime }=\kappa {(f^{\prime })}^2+\kappa {(g^{\prime })}^2=\kappa \left({(f^{\prime })}^2+{(g^{\prime })}^2\right)=\kappa ,$$

hence we have the explicitly rotation-invariant formula

4 Arbitrary Parameterization

Typically, when one is given a curve, it is not specified in terms of a parameterization by arclength. Since reparameterizing a curve by arclength is not always easy, it is useful to have a formula for curvature which is invariant under reparameterization since one could use such a formula with any parameterization. Such a formula can be obtained by a slight modification of the rotation-invariant formula given above.

To obtain this formula, first let us inquire into how the determinant transforms under change of parameterization. If we apply a change of parameter $\sigma =\varphi (s)$ then, by the chain rule,

$$\frac{df}{ds}=\frac{df}{d\sigma }\frac{d\sigma }{ds}={\varphi }^{\prime }(s)\frac{df}{d\sigma }$$

$$\frac{dg}{ds}={\varphi }^{\prime }(s)\frac{dg}{d\sigma }$$

$$\frac{d^{2}f}{d{s}^2}=\frac{d}{ds}\left({\varphi }^{\prime }(s)\frac{df}{d\sigma }\right)={\varphi }^{\prime \prime }(s)\frac{df}{d\sigma }+{\varphi }^{\prime }(s)\frac{d\sigma }{ds}\frac{d^{2}f}{d{\sigma }^2}={\varphi }^{\prime \prime }(s)\frac{df}{d\sigma }+{\left({\varphi }^{\prime }(s)\right)}^2\frac{d^{2}f}{d{\sigma }^2}$$

$$\frac{d^{2}g}{d{s}^2}={\varphi }^{\prime \prime }(s)\frac{dg}{d\sigma }+{\left({\varphi }^{\prime }(s)\right)}^2\frac{d^{2}g}{d{\sigma }^2}$$

Thus, we have the following transformation for the determinant:

Likewise, one has the following transform:

$${\left(\frac{df}{ds}\right)}^2+{\left(\frac{dg}{ds}\right)}^2={\left({\varphi }^{\prime }(s)\right)}^2\left({\left(\frac{df}{d\sigma }\right)}^2+{\left(\frac{dg}{d\sigma }\right)}^2\right)$$

Therefore, the following quantity is invariant under both rotation and reparameterization:

In the particular case where $\sigma =s$, this equals the curvature; hence, by invariance, it equals the curvature for all choices of parameterization:

5 Alternative Characterizations

One special case is especially worth noting. Suppose that the curve is given as the graph of a function. That is equivalent to choosing one of $f$ or $g$ to be the identity function. Then the formula reduces to the following:

$$\kappa =\frac{f^{\prime \prime }}{{\left(1+{(f^{\prime })}^2\right)}^{3/2}}$$

It is worth noting that, at points where $f^{\prime }=0$ (i.e. where the tangent to the curve is horizontal) the curvature simply equals the second derivative. This observation leads to another characterization of the curvature — the curvature of a curve at a point can be obtained by setting up a coordinate system whose abscissa is the tangent to the curve at that point, expressing the curve as the graph of a function in this coordinate system, then taking the second derivative of this function at said point. It might also be worth pointing out the curvature of a curve at a point equals the reciprocal of the radius of the osculating circle to the curve at that point.

Title	curvature (plane curve)
Canonical name	CurvatureplaneCurve
Date of creation	2013-03-22 15:31:19
Last modified on	2013-03-22 15:31:19
Owner	rspuzio (6075)
Last modified by	rspuzio (6075)
Numerical id	15
Author	rspuzio (6075)
Entry type	Topic
Classification	msc 53A04
Related topic	CurvatureDeterminesTheCurve