[Math] Curvature of a space curve: how do we get from the conceptual definition to K = |dT/ds|

calculuscurvature

(Context, calculus 3)

The definition of curvature I get: "How fast a curve is changing direction at a point" (Source)

But the precise definition(s) I don't understand. My book has a particularly awful definition and does not define what a "unit tangent vector" is and simply assumes you can figure it out; Forgive me if I'm missing some supporting material.

The definitions I've seen:

$$K = \| \frac{dT}{ds} \|$$

$$K = \frac{ \| T'(t) \| }{ \| r'(t) \|} $$

I'll take a stab at illustrating my confusion with each.

First: Seems to be the "rate of the change of the tangent unit vector with respect to the arc length". I suppose this one makes a sort of sense, since you can get an "average" tangent vector by making a secant line between [a,b] over some arc length s and then taking the limit to get an "instantaneous curvature". But search me why the magnitude of this would be a measurement of curvature.

Second: Seems to be "the magnitude of the derivative of the tangent vector function (r(s(t)) divided by the derivative of the of the vector equation (r(t))" for some reason. This one I have no idea on.

Wikipedia has a nice writeup and uses circles to define it (which my book does not), it's definition here is particularly helpful:

Given any curve C and a point P on it, there is a unique circle or line which most closely approximates the curve near P, the osculating circle at P. The curvature of C at P is then defined to be the curvature of that circle or line. The radius of curvature is defined as the reciprocal of the curvature.

But then fails to define how this definition leads into the above definitions.

There's one similar post here on stackexchange, but the answer is very confusing:

I won't attempt further diagrams, but now think in 2-dimensions – you will need two different sized circles at every point in order to describe the curvature of the surface at that point.

How and why would you possible need "two different sized circles" to describe curvature? The figure they use is nearly identical to the wikipedia article and only uses one circle per point, but also fails to describe how we get from there to the definitions above.

For the answer I'd like to request: diagrams using the circle approach, as seen above. Thank you.

Edit:

Thanks very much to help from whacka in explaining his answer, chatroom log here. I chose the answer I got from UC Davis as it explains the solution clearly and concisely with a minimum of extra experience required to understand. I did however give whacka's answer an upvote, since it appears to be popular; I assume because it's a good answer for those with more experience than I have, I'm not fit to judge.

Best Answer

(1) If you're driving and you turn the wheel, the direction that you're facing will change. Indeed, the harder you turn, the faster the direction that you're facing changes. Equally true, your resulting trajectory will be bent in a tighter curve. Thus the rate of change of direction-facing measures curvature of your path.


(2) The curvature of a curve should be independent of one's parametrization of it. The most natural way to parametrize a curve is with the natural parametrization - that is why $\kappa:=\|{\bf T}_s\|$. But how do you compute curvature if you're working with a different parametrization? Why, with the chain rule of course:

$$\frac{{\rm d}{\bf T}}{{\rm d}s}=\frac{{\rm d}{\bf T}/{\rm d}t}{{\rm d}s/{\rm d}t} $$

$\large($Technically the chain rule is $\displaystyle\frac{{\rm d}{\bf T}}{{\rm d}t}=\frac{{\rm d}{\bf T}}{{\rm d}s}\frac{{\rm d}s}{{\rm d}t}$, but just divide that by $\displaystyle\frac{{\rm d}s}{{\rm d}t}$ to isolate the $\displaystyle\frac{{\rm d}{\bf T}}{{\rm d}s}$ we want.$\large)$

Note that $\displaystyle\frac{{\rm d}s}{{\rm d}t}=\left\|\frac{{\rm d}{\bf r}}{{\rm d}t}\right\|$.


(3) At every point on a curve there is a unique tangent line. This line is the best local approximation of the curve to the first order. But a line can be thought of as a generalized circle, one of infinite radius and whose center exists "at infinity," so perhaps consider all circles that are tangent to the curve at a point - which is the best fit? Which approximates it best to the second order?

Without loss of generality, we can apply an affine transformation (translation and rotation of the plane) to move the point on the curve to the origin so that the tangent vector there is on the positive $x$-axis; this greatly simplifies the upcoming algebra. The tangent line, i.e. the $x$-axis itself, interpreted as the graph of a (constant) function, already shares the same first derivative as the curve at the origin. We need to find a circular arc (we only consider the arc of a whole circle so that technically we are talking about a function, at least near the origin) that shares the same second derivative as the curve.

Without loss of generality, suppose the curve, interpreted locally as a graph of $y=f(x)$ near $(0,0)$, has a positive second derivative $f''(0)>0$. Now place a circle on the plane of radius $R$ tangent to the $x$-axis at the origin whose center is above the $x$-axis. The center must be at $(0,R)$. Any small enough arc of this circle through the origin is the graph of the function $g(x)=R-\sqrt{R^2-x^2}$. Compute $g''(0)=R^{-1}$. In order for $f$ and $g$ to have the same second derivative at $0$, we must have $f''(0)=R^{-1}$.

Lo and behold... Parametrize ${\bf r}(t)=(t,f(t))$ so that $\left\|\frac{{\rm d}{\bf r}}{{\rm d}t}\right\|=\sqrt{1+f'(t)^2}$. A tangent vector is given by $(1,f'(t))$, which we can normalize to ${\bf T}(t)=(1+f'(t)^2)^{-1/2}(1,f'(t))$ . Compute

$$\frac{{\rm d}{\bf T}}{{\rm d}t}=-\frac{1}{2}(1+f'(t)^2)^{-3/2}(2f'(t)f''(t))~(1,f'(t))+(1+f'(t)^2)^{-1/2}~(0,f''(t))$$

by the product rule (which works on a scalar function times a vector function) and therefore we have $\|{\bf T}_t(0)\|=f''(0)$, but since $\|{\bf r}_t(0)\|=1$ also we obtain $\|{\bf T}_s\|=\|{\bf T}_t\|/\|{\bf r}_t\|=f''(0)$ at the origin.

Thus we have a verification that $\|{\bf T}_s\|=R^{-1}$.


(4) The question and answer you're linking to is about the curvature of a surface, not of a curve. Granted, the answer begins by explaining the curvature of plane curves, but quickly segues into talking about the Gaussian curvature of surfaces that exist in three-dimensional space. You need to get acquainted with the curvature of a plane curve before you venture into visualizing the curvature of a surface. In fact the quote you give has a typo: it should say you need to think in three dimensions.


Here's another perspective. Consider a circle of radius $R$. First off, if you're driving in a circle at a constant speed, the radius is inversely proportional to how tightly you're turning. The prototypical function of $R$ which is inversely proportional to $R$ is the reciprocal function $R^{-1}$, so it makes sense to make this a definition of the circle's curvature $\kappa$.

Now say we wanted to compute $R^{-1}$ using only local data of the circle near a point. For instance, if we're in a vehicle and we can measure small changes in speed and direction but this is the only information we have at our disposal. Without loss of generality suppose the center of the circle is the origin, so that it has natural parametrization ${\bf r}(s)=(R\cos\frac{s}{R},R\sin\frac{s}{R})$. Then ${\bf T}(s)=(-\sin\frac{s}{R},\cos\frac{s}{R})$ and $\|{\bf T}_s\|=R^{-1}$.

Heuristically, then, in order to find $R^{-1}$ where $R$ is the radius of the circle that "best-fits" a curve at a point, simply pretend the curve is a circle at that point and compute $\|{\bf T}_s\|$!