Motion in Space

Curvature

Terminology

Before we start discussing curvature, there are some important vectors and concepts we need to be at least aware of.

The unit tangent vector

In the differentiation section of this chapter, we discussed the derivatives of a vector function. We know that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{v}(t)=\mathbf{r}'(t)} at $t=t_{0}$ is tangent to the curve $\mathbf {r} (t)$ at $t=t_{0}$. $\mathbf {r} '(t)$ is called the tangent vector. The unit tangent vector, however, eliminates the aspect of magnitude because it is defined as:

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

As we can see, the magnitude of the unit tangent vector is always $1$. We can imagine that $\mathbf {r} (t)$ as the displacement of a particle with respect to time. So, the unit tangent vector can be perceived as the direction of the velocity of the particle with respect to time. It can also be perceived as the direction of the tangential acceleration of the particle with respect to time. We will discuss motion in space in the next section, but this is a useful method to intuitively understand some vectors.

The unit normal vector

The unit normal vector is defined as

$\mathbf {N} (t)={\frac {\mathbf {T} '(t)}{|\mathbf {T} '(t)|}}$

The unit normal is orthogonal to the unit tangent because since $|\mathbf {T} (t)|=1$, we can get that:

${\frac {d}{dt}}|\mathbf {T} (t)|^{2}=0={\frac {d}{dt}}[\mathbf {T} (t)\cdot \mathbf {T} (t)]=2\mathbf {T} '(t)\cdot \mathbf {T} (t)$

$\Leftrightarrow \mathbf {T} '(t)\cdot \mathbf {T} (t)=0$

This means that $\mathbf {T} '(t)$ is orthogonal to $\mathbf {T} (t)$. Therefore, $\mathbf {N} (t)$ is orthogonal to $\mathbf {T} (t)$. We can imagine that the unit normal vector is the direction of the normal acceleration of the particle with respect to time.

The binormal vector

The binormal vector is defined as

$\mathbf {B} (t)=\mathbf {T} (t)\times \mathbf {N} (t)$

The binormal vector is perpendicular to both the unit tangent and the unit normal because of the properties of the cross product. The magnitude of the binormal is always 1 because

$|\mathbf {B} (t)|=|\mathbf {T} (t)||\mathbf {N} (t)|\sin \theta =1$

The normal plane, osculating plane, and the osculating circle

• The normal plane is the plane determined by the normal and binormal vectors $\mathbf {N} {\text{ and }}\mathbf {B}$. The normal plane consists of all lines that are orthogonal to the tangent vector $\mathbf {T}$.
• The osculating plane is the plane determined by the unit tangent and unit normal $\mathbf {T} {\text{ and }}\mathbf {N}$. It is the plane that comes closest to containing the part of the curve near a point where $t=t_{0}$.
• The osculating circle is the circle that lies in the osculating plane towards the direction of $\mathbf {N}$ with a radius $r={\frac {1}{\kappa }}$ (the inverse of the curvature, which we will immediately discuss after this). It best describes how the curve behaves near the point where $t=t_{0}$ because it shares the same tangent, normal, and curvature at that point.

These concepts are very important in the branch of differential geometry and in its applications to the motion of spacecraft.

Curvature

The curvature of a curve at a given point is a measure of how quickly the curve changes direction at that point. We define it to be the magnitude of the rate of change of the unit tangent with respect to arc length. We use arc length so that the curvature will be independent of parametrization.

Suppose that a space curve has vector function $\mathbf {r}$, unit tangent vector $\mathbf {T}$, and arc length $s$. The curvature of this curve is: $\kappa ={\biggl |}{\frac {d\mathbf {T} (s)}{ds}}{\biggr |}$.

There are two other ways to express the curvature. We can express curvature in terms of $t$ instead of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} by utilizing the chain rule (recall that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dL}{dt}=|\mathbf{r}'(t)|} ):

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa=\biggl|\frac{d\mathbf{T}}{ds}\biggr|=\Biggl|\frac{\frac{d\mathbf{T}}{ds}\frac{ds}{dt}}{\frac{ds}{dt}}\Biggr|=\Biggl|\frac{\frac{d\mathbf{T}(t)}{dt}}{\frac{ds}{dt}}\Biggr|=\frac{|\mathbf{T}'(t)|}{|\mathbf{r}'(t)|}}

The third way is more complicated to deduce, but it is often more convenient to apply because it only requires Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}(t)} and its derivatives.

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa(t)=\frac{|\mathbf{r}'(t)\times\mathbf{r}''(t)|}{|\mathbf{r}'(t)|^3}}

And now for the proof for this theorem:

According to the definition of the unit tangent vector, we know that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}'=|\mathbf{r}'|\mathbf{T}} . So the second derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}} should be:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mathbf{r}'' & = (|\mathbf{r}'|\ \mathbf{T})' \\ & = |\mathbf{r}''|\ \mathbf{T}+|\mathbf{r}'|\ \mathbf{T}' \quad\text{the product rule}\\ \end{align}}

Now we calculate Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}'\times\mathbf{r}''} .

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mathbf{r}'\times\mathbf{r}'' & = \bigl(|\mathbf{r}'|\mathbf{T}\bigr)\times\bigl(|\mathbf{r}''|\ \mathbf{T}+|\mathbf{r}'|\ \mathbf{T}' \bigr)\quad\text{substitution} \\ & = \bigl(|\mathbf{r}'|\mathbf{T}\times|\mathbf{r}''|\mathbf{T}\bigr)+\bigl(|\mathbf{r}'|\mathbf{T}\times|\mathbf{r}'|\mathbf{T}'\bigr)\quad\text{distribution} \\ & = |\mathbf{r}'||\mathbf{r}''|(\mathbf{T}\times\mathbf{T})+|\mathbf{r}'|^2(\mathbf{T}\times\mathbf{T}')\quad\text{rearrangement} \\ & = |\mathbf{r}'|^2(\mathbf{T}\times\mathbf{T}') \quad\text{realizing that }\mathbf{T}\times\mathbf{T}=0 \\ \end{align}}

And then we calculate Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbf{r}'\times\mathbf{r}''|} .

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} |\mathbf{r}'\times\mathbf{r}''| & = |\mathbf{r}'|^2|\mathbf{T}\times\mathbf{T}'|\quad\text{substitution} \\ & = |\mathbf{r}'|^2|\mathbf{T}||\mathbf{T}'|\sin\theta \quad\text{the magnitude for the cross product} \\ & = |\mathbf{r}'|^2|\mathbf{T}'| \quad\text{when you realize }|\mathbf{T}|=1\text{ and }\mathbf{T}\perp\mathbf{T}' \\ \end{align}}

We rearrange the equation into:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbf{T}'|=\frac{|\mathbf{r}'\times\mathbf{r}''|}{|\mathbf{r}'|^2}}

Since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa=\frac{|\mathbf{T}'|}{|\mathbf{r}'|}} , we can substitute Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbf{T}'|} with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{|\mathbf{r}'\times\mathbf{r}''|}{|\mathbf{r}'|^2}} and get: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa=\frac{|\mathbf{r}'\times\mathbf{r}''|}{|\mathbf{r}'|^3}}

Here is a little summary on ways to calculate the curvature.

Definition	With parametrization with respect to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{t}}	In terms of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}(t)} and its derivatives
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa=\biggl|\frac{d\mathbf{T}}{ds}\biggr|}	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa=\frac{|\mathbf{T}'|}{|\mathbf{r}'|}}	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa=\frac{|\mathbf{r}'\times\mathbf{r}''|}{|\mathbf{r}'|^3}}

Resources

• Motion in Space, OpenStax