# 12.4: Curvature and Normal Vectors of a Curve

- Page ID
- 8252

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)For a parametrically defined curve we had the definition of arc length. Since vector valued functions are parametrically defined curves in disguise, we have the same definition. We have the added benefit of notation with vector valued functions in that the square root of the sum of the squares of the derivatives is just the magnitude of the velocity vector.

Let

\[ \textbf{r}(t) = x(t) \, \hat{\textbf{i}} + y(t) \, \hat{\textbf{j}} + z(t) \, \hat{\textbf{k}} \nonumber \]

be a differentiable vector valued function on [a,b]. Then the arc length \(s\) is defined by

\[ s=\int_{a}^{b}\sqrt{ \left(\frac{dx}{dt}\right)^2+\left(\frac{dy}{dt}\right)^2+\left(\frac{dz}{dt}\right)^2}\, dt = \int _a^b \left|v(t)\right| \,dt .\nonumber \]

Suppose that

\[ \textbf{r}(t) = 3t\,\hat{\textbf{i}} + 2\,\hat{\textbf{j}} + t^2\,\hat{\textbf{k}} \nonumber \]

Set up the integral that defines the arc length of the curve from 2 to 3. Then use a calculator or computer to approximate the arc length.

###### Solution

We use the arc length formula

\[ s = \int _2^3 \sqrt{9 + 0 + 4t^2} \, dt = \int_2^3 \sqrt{9+4t^2} \, dt .\nonumber \]

Notice that we could do this integral by hand by letting \(t = 9/2 \tan\, q\), however the question only asked us to use a machine to approximate the integral:

\[ s = 5.8386 .\nonumber \]

## Parameterization by Arc Length

Recall that like parametric equations, vector valued function describe not just the path of the particle, but also how the particle is moving. Among all representations of a curve there is a "simplest" one. If the particle travels at the constant rate of one unit per second, then we say that the curve is *parameterized by arc length*. We have seen this concept before in the definition of radians. On a unit circle one radian is one unit of arc length around the circle. When we say "simplest" we in no way mean that the equations are simple to find, but rather that the dynamics of the particle are simple. To aid us in parameterizing by arc length, we define the arc length function.

If \(\textbf{r}(t)\) is a differentiable vector valued function, then the *arc length function *is defined by

\[ s(t) = \int _0^t || \textbf{v}(u) || \, du. \nonumber \]

**Remark:** By the **second fundamental theorem of calculus**, we have

\[ s'(t) = ||v(t)|| .\nonumber \]

If a vector valued function is parameterized by arc length, then

\[ s(t) = t .\nonumber \]

If we have a vector valued function\(r(t)\) with arc length s(t), then we can introduce a new variable

\[ s = s^{-1}(t) .\nonumber \]

So that the vector valued function \(r(s)\) will have arc length equal to

\[ s\left(s^{-1}(t)\right) = t .\nonumber \]

and \(r(s)\) will be parameterized by arc length. Unfortunately, this process is usually impossible for two reasons.

- The integral that defines arc length involves a square root in the integrand; this integral is usually impossible to determine.
- Even if the integral is possible to evaluate, finding the inverse of a function is often impossible. There are a few special curves that can be parameterized by arc length and one is demonstrated below.

Find the arc length parameterization of the helix defined by

\[ \textbf{r}(t) = \cos\, t \hat{\textbf{i}} + \sin\,t \hat{\textbf{j}} + t \hat{\textbf{k}} .\nonumber \]

###### Solution

First find the arc length function

\[ s(t) = \int_0^t \sqrt{\sin^2 u + \cos^2u + 1}\, dt = \int_0^t \sqrt{2}\,dt = \sqrt{2}\, t .\nonumber \]

Solving for \(t\) gives

\[ t= \dfrac{s}{\sqrt2} .\nonumber \]

Now substitute back into the position equation to get

\[ \textbf{r}(s) = \cos \dfrac{s}{\sqrt2} \, \hat{\textbf{i}} + \sin \dfrac {s}{\sqrt2} \, \hat{\textbf{j}} + \dfrac{s}{\sqrt2} \, \hat{\textbf{k}} .\nonumber \]

## Concepts: Curvature and Normal Vector

Consider a car driving along a curvy road. The tighter the curve, the more difficult the driving is. In math we have a number, the *curvature*, that describes this "tightness". If the curvature is zero then the curve looks like a line near this point. While if the curvature is a large number, then the curve has a sharp bend.

Before learning what curvature of a curve is and how to find the value of that curvature, we must first learn about *unit tangent vector*. As the name suggests, unit tangent vectors are unit vectors (vectors with length of 1) that are tangent to the curve at certain points. Because tangent lines at certain point of a curve are defined as lines that barely touch the curve at the given point, we can deduce that tangent lines or vectors have slopes equivalent to the instantaneous slope of a curve at the given point. In other words,

\[ \mathbf {T} = \frac{d \mathbf{r}}{dt}\mathrm{,}\nonumber \]

which means

\[ \mathbf{\hat{T}} = \frac{\mathbf{T}}{\left | \mathbf{T} \right |}= \frac{d\mathbf{r}/dt}{\left | d\mathbf{r}/dt \right|} .\nonumber \]

Based on what we learned previosuly, we know that \(\frac{d\mathbf{r}}{dt} = \mathbf{v} \), where \(\mathbf{v} \) is the velocity at which a point is moving at a given time. Furthermore, the absolute value of the velocity vector is the speed vector of the curve, meaning \(\left | \frac{d\mathbf{r}}{dt} \right | = \frac{ds}{dt} \). So the formula for unit tangent vector can be simplified to:

\[\mathbf{\hat{T}} = \frac{\mathrm{velocity}}{\mathrm{speed}} = \frac{d\mathbf{r}/dt}{ds/dt} .\nonumber \]

And now, let's think about the unit tangent vector when the curve is explained in terms of arc length, that is, \(r(s)\) instead of \(r(t)\). This means:

\[\mathbf{T} = \frac{d\mathbf{r}}{ds}\nonumber \]

\[\text{and }\mathbf{\hat{T}} = \frac{d\mathbf{r}/ds}{ds/ds} = \frac{d\mathbf{r}}{ds} .\nonumber \]

With this information, we will be learning what curvature really is and how we can calculate the curvature, denoted as \(\kappa\).

## Curvature of a Curve

Curvature is a measure of how much the curve deviates from a straight line. In other words, the curvature of a curve at a point is a measure of how much the change in a curve at a point is changing, meaning the curvature is the magnitude of the second derivative of the curve at given point (let's assume that the curve is defined in terms of the arc length \(s\) to make things easier). This means:

\[k= \left | \frac{d^2\mathbf{r}}{ds^2} \right | .\nonumber \]

Since we know that \(\mathbf{\hat{T}} = d\mathbf{r} / ds\), we can formulate an equation for \(\kappa\) in terms of \(\mathbf{\hat{T}}\):

\[k= \left | \frac{d\mathbf{\hat{T}}}{ds} \right | .\nonumber \]

Never the less, we know that most curves are written in parametric equations in terms of some dummy variable, most commonly \(t\). So let's assume that the curve is in terms of \(t\), such that \(\mathbf{r}(t)\) is a curve. In such case, we must formulate another equation to find the curvature without taking derivatives in terms of \(s\).

First, we know that

\[ k= \left | \frac{d\mathbf{\hat{T}}}{ds} \right | \nonumber \]

Using Chain Rule, we get

\[ \begin{align*} k &= \left | \frac {d\mathbf{\hat{T}}}{dt} \cdot \frac{dt}{ds} \right | \\[4pt] &= \frac{1}{\left | ds/dt \right |} \left |\frac{d\mathbf{\hat{T}}}{dt} \right | \end{align*} \nonumber \]

therefore

\[k= \frac{1}{\left | \mathbf{v} \right |} \left | \frac{d\mathbf{\hat{T}}}{dt} \right |. \nonumber \]

### Definition of Curvature (repeat)

More formally, if \(\textbf{T}(t)\) is the *unit tangent vector* function then the curvature, \(k\), is defined at the rate at which the *unit tangent vector* changes with respect to arc length.

\[ k = ||\dfrac{d}{ds} (\textbf{T}(t)) || = ||\textbf{r}''(s)||\nonumber \]

As stated previously, this is not a practical definition, since parameterizing by arc length is typically impossible. Instead we use the chain rule to get

\[ ||\dfrac{d}{ds} (\textbf{T}(t)) || = ||\textbf{T}'(t) \dfrac{dt}{ds}|| \nonumber \]

\[ \dfrac{||\textbf{T}'(t)|| }{ ||\dfrac{ds}{dt}|| } = \dfrac{ ||\textbf{T}'(t)||}{ ||\textbf{r}'(t)||}. \nonumber \]

This formula is more practical to use, but still cumbersome. \(\textbf{T}'(t)\) is typically a mess. Instead we can borrow from the formula for the normal vector to get the curvature

\[ K(t) = \dfrac{ ||r'(t) \times r''(t)||}{||r'(t)||^3}. \nonumber \]

### Normal Vector of a Curve

A unit normal vector of a curve, by its definition, is perpendicular to the curve at given point. This means a normal vector of a curve at a given point is perpendicular to the tangent vector at the same point. Furthermore, a normal vector points towards the center of curvature, and the derivative of tangent vector also points towards the center of curvature. In summary, normal vector of a curve is the derivative of tangent vector of a curve.

\[\mathbf{N} = \frac{d\mathbf{\hat{T}}}{ds}\mathrm{ or } \frac{d\mathbf{\hat{T}}}{dt}\nonumber \]

To find the unit normal vector, we simply divide the normal vector by its magnitude:

\[\mathbf{\hat{N}} = \frac{d\mathbf{\hat{T}}/ds}{\left | d\mathbf{\hat{T}}/ds\right |}\mathrm{ or } \frac{d\mathbf{\hat{T}}/dt}{\left | d\mathbf{\hat{T}}/dt \right |} .\nonumber \]

Notice that \( \left | d\mathbf{\hat{T}}/ds\right | \) can be replaced with \( \kappa \), such that:

\[\mathbf{\hat{N}} = \frac{1}{\kappa} \frac{d\mathbf{\hat{T}}}{ds} \nonumber \]

\[\therefore \mathbf{\hat{N}} = \frac{1}{\kappa} \frac{d\mathbf{\hat{T}}}{ds} \mathrm{ or } \frac{d\mathbf{\hat{T}}/dt}{\left | d\mathbf{\hat{T}}/dt \right |} .\nonumber \]

Find the curvature at \(t=\frac{\pi}{2}\) if

\[ r(t) = \cos \,t\, \hat{\textbf{i}} - \frac{1}{t} \hat{\textbf{j}} + \sin\, t\, \hat{\textbf{k}} .\nonumber \]

###### Solution

We take derivatives

\[ \textbf{r}'(t) = -\sin\, t\, \hat{\textbf{i}} + \frac{1}{t^2}\, \hat{\textbf{j}} + \cos\, t \, \hat{\textbf{k}} \nonumber \]

\[ \textbf{r}''(t) = -\cos\, t \,\hat{\textbf{i}} - \frac{2}{t^3}\, \hat{\textbf{j}} - \sin\, t\, \hat{\textbf{k}} . \nonumber \]

Plugging in \(t=\frac{\pi}{2}\) gives

\[\begin{align*} \textbf{r}' \left(\frac{\pi}{2} \right) &= -\hat{\textbf{i}} + \dfrac{4}{\pi^2} \,\hat{\textbf{j}} \\ &= -\dfrac{16}{\pi^3}\, \hat{\textbf{j}} - \hat{\textbf{k}} \end{align*} \]

\[ \textbf{r}''\left(\frac{\pi}{2}\right) .\nonumber \]

Now take the cross product to get

\[ \textbf{r}'(\pi/2) \times \textbf{r}''(\pi/2) = -\dfrac{4}{\pi^2} \, \hat{\textbf{i}} -\hat{\textbf{j}} + \dfrac{16}{\pi^3} \, \hat{\textbf{k}} \nonumber \]

Finally, we plug this information into the curvature formula to get

\[ \dfrac{\sqrt{\dfrac{16}{\pi^4}+1+\dfrac{256}{\pi^6}}}{\left(\sqrt{1+\dfrac{16}{\pi^4}}\right)^3} \approx 0.952 . \nonumber \]

### Curvature of a Plane Curve

If a curve resides only in the xy-plane and is defined by the function \(y = f(t)\) then there is an easier formula for the curvature. We can parameterize the curve by

\[ \textbf{r}(t) = t \, \hat{\textbf{i}} + f(t)\, \hat{\textbf{j}} .\nonumber \]

We have

\[ \textbf{r}'(t) = \hat{\textbf{i}} + f '(t) \, \hat{\textbf{j}} \nonumber \]

\[ \textbf{r}''(t) = f ''(t) \, \hat{\textbf{j}} .\nonumber \]

Their cross product is just

\[r'(t) \times r''(t) = f''(t) \hat{\textbf{k}} \nonumber \]

which has magnitude

\[ ||\textbf{r}'(t) \times r''(t)|| = |f''(t)| . \nonumber \]

The curvature formula gives

\[ K(t) = \dfrac{|f''(t)|}{ \left[1+\left(f'(t) \right)^2 \right]^{3/2}}. \nonumber \]

Find the curvature for the curve \[ y = \sin\, x \nonumber \].

###### Solution

We have

\[ f '(x) = \cos \, x \nonumber \] \[ f ''(x) = -\sin \, x .\nonumber \]

Plugging into the curvature formula gives \[ K(t) = \dfrac{|-\sin\, t|}{[1+\cos^2t]^{3/2}}\nonumber \]

### The Osculating Circle

In first year calculus, we saw how to approximate a curve with a line, parabola, etc. Instead we can find the best fitting *circle *at the point on the curve. If \(P\) is a point on the curve, then the best fitting circle will have the same curvature as the curve and will pass through the point \(P\). We will see that the curvature of a circle is a constant \(1/r\), where \(r\) is the radius of the circle. The center of the osculating circle will be on the line containing the normal vector to the circle. In particular the center can be found by adding

\[ OP + 1/K N . \nonumber \]

## The Normal Component of Acceleration Revisited

How is the normal component of acceleration related to the curvature. If you remember, the normal component the acceleration tells us how fast the particle is changing direction. If a curve has a sharp bend (high curvature) then the directional change will be faster. We now show that there is a definite relationship between the normal component of acceleration and curvature.

\[ \textbf{a}(t) = a_{\textbf{T}}\textbf{T}(t) + a_{\textbf{N}}\textbf{N}(t) \nonumber \]

We have

\[ \begin{align*} \textbf{a}(t) &= \textbf{r}''(t) \\[4pt] &= \dfrac{d}{dt} (\textbf{r}'(t)) \\[4pt] &= \dfrac{d}{dt} \left(||\textbf{r}'(t)||\textbf{T}(t)\right) \\[4pt] &= \dfrac{d}{dt} \left(||r'(t)||)\textbf{T}(t) + ||r'(t)|| \textbf{T}'(t) \right) \\[4pt] &= s''(t)\textbf{T}(t) + s'\textbf{T}'(t) \\[4pt] &= s''(t)\textbf{T}(t) + s'||\textbf{T}'(t)||\textbf{N}(t) = s''(t)\textbf{T}(t) + ks'^2 \textbf{N}(t) .\end{align*} \]

So that the tangential component of the acceleration is \(s''(t)\) and the normal component is \(k(t)s'^2(t)\).

Find the tangential and normal components of \( \textbf{r}(t) = t\, \hat{\textbf{i}}- 2t\, \hat{\textbf{j}} + t^2 \,\hat{\textbf{k}} \).

## Contributors and Attributions

- Larry Green (Lake Tahoe Community College)
- Joseph Sanghun Lee (UCD)
Integrated by Justin Marshall.