1.5: A Compendium of Curve Formula

In the following \(\vecs{r} (t)=\big(x(t)\,,\,y(t)\,,\,z(t)\big)\) is a parametrization of some curve. The vectors \(\hat{\textbf{T}}(t),\ \hat{\textbf{N}}(t),\ \) and \(\\hat{\textbf{B}}\ \) are the unit tangent, normal and binormal vectors, respectively, at \(\vecs{r} (t)\text{.}\) The tangent vector points in the direction of travel (i.e. direction of increasing \(t\)) and the normal vector points toward the centre of curvature. The arc length from time \(0\) to time \(t\) is denoted \(s(t)\text{.}\) The binormal \(\ \hat{\textbf{B}}(t)=\hat{\textbf{T}} (t)\times \hat{\textbf{N}}\ \) is perpendicular to the plane that fits the curve best at \(\vecs{r} (t)\text{.}\) Some formulae use an arc length parametrization, which is denoted \(\vecs{r} (s)\text{.}\)

the velocity	\(\displaystyle \vecs{v} (t)=\dfrac{d\vecs{r} }{dt}(t)=\dfrac{ds}{dt}(t)\,\hat{\textbf{T}}(t)\)
the unit tangent vector	\(\hat{\textbf{T}}(t)=\frac{\vecs{v} (t)}{|\vecs{v} (t)|}\) (general parametrization) \(\hat{\textbf{T}}(s)=\dfrac{d\vecs{r} }{ds}(s)\) (arc length parametrization)
the acceleration	\(\displaystyle \textbf{a}(t)=\frac{\mathrm{d}^{2}\vecs{r}}{\mathrm{d}t^{2}}(t)=\frac{\mathrm{d}^{2}s}{\mathrm{d}t^{2}}(t)\,\hat{\textbf{T}}(t) +\kappa(t)\big(\dfrac{ds}{dt}(t)\big)^2\hat{\textbf{N}}(t)\)
the speed	\(\displaystyle \dfrac{ds}{dt}(t) = |\vecs{v} (t)| = \big|\dfrac{d\vecs{r} }{dt}(t)\big|\)
the arc length	\(\displaystyle s(T) = \int_0^T\! \dfrac{ds}{dt}(t)\,\text{d}t = \int_0^T\! \sqrt{x'(t)^2\!+\!y'(t)^2\!+\!z'(t)^2}\,\text{d}t\)
the curvature	\(\kappa(t) = \big|\dfrac{d\hat{\textbf{T}}}{dt}(t)\big|/\dfrac{ds}{dt}(t) =\displaystyle{ \frac{|\vecs{v} (t)\times\textbf{a}(t)|}{(\dfrac{ds}{dt}(t))^3} }\) \(\kappa(s) = \big|\dfrac{d\phi}{ds}(s)\big| = \big|\dfrac{d\hat{\textbf{T}}}{ds}(s)\big|\)
the unit normal vector	\(\displaystyle \hat{\textbf{N}}(t) = \dfrac{d\hat{\textbf{T}}}{dt}(t)/\big|\dfrac{d\hat{\textbf{T}}}{dt}(t)\big| \qquad \hat{\textbf{N}}(s) = \dfrac{d\hat{\textbf{T}}}{ds}(s)/\kappa(s)\)
the radius of curvature	\(\displaystyle \rho(t)=\frac{1}{\kappa(t)}\)
the centre of curvature	\(\displaystyle \vecs{r} (t)+\rho(t)\hat{\textbf{N}}(t)\)
the torsion	\(\displaystyle \displaystyle \tau(t)=\frac{\big(\vecs{v} (t)\times\textbf{a}(t)\big) \cdot \dfrac{d\textbf{a}}{dt}(t)} {|\vecs{v} (t)\times\textbf{a}(t)|^2}\)
the binormal	\(\displaystyle \displaystyle \hat{\textbf{B}}(t)=\hat{\textbf{T}}(t)\times \hat{\textbf{N}}(t)=\frac{\vecs{v} (t)\times\textbf{a}(t)}{|\vecs{v} (t)\times\textbf{a}(t)|}\)

Under arclength parametrization (i.e. if \(t=s\)) we have \(\hat{\textbf{T}}(s)=\frac{d\vecs{r} }{ds}(s)\) and the Frenet-Serret formulae

\[\begin{align*} \dfrac{d\hat{\textbf{T}}}{ds}(s)&=\phantom{-}\kappa(s)\ \hat{\textbf{N}}(s)\cr \dfrac{d\hat{\textbf{N}}}{ds}(s)&=\phantom{-}\tau(s)\ \hat{\textbf{B}}(s)-\kappa(s)\ \hat{\textbf{T}} (s)\cr \dfrac{d\hat{\textbf{B}}}{ds}(s)&=-\tau(s)\ \hat{\textbf{N}}(s)\cr \end{align*}\]

which in matrix form is

\[\begin{align*} \dfrac{d}{ds} \left[ \begin{matrix}\hat{\textbf{T}}(s) \\ \hat{\textbf{N}}(s)\\ \hat{\textbf{B}}(s)\end{matrix} \right] =\left[\begin{matrix} 0 & \kappa(s) & 0 \\ -\kappa(s) & 0 &\tau(s) \\ 0 &-\tau(s) & 0 \end{matrix}\right] \left[\begin{matrix}\hat{\textbf{T}} (s) \\ \hat{\textbf{N}}(s)\\ \hat{\textbf{B}}(s)\end{matrix}\right] \end{align*}\]

When the curve lies entirely in the \(xy\)-plane the curvature is given by

\[\begin{gather*} \kappa(t) =\frac{\big| \dfrac{dx}{dt}(t)\ \frac{\mathrm{d}^{2}y}{\mathrm{d}t^{2}}(t)-\dfrac{dy}{dt}(t)\ \frac{\mathrm{d}^{2}x}{\mathrm{d}t^{2}}(t) \big|}{\Big[\big(\dfrac{dx}{dt}(t)\big)^2 +\big(\dfrac{dy}{dt}(t)\big)^2\Big]^{3/2}} \end{gather*}\]

When the curve lies entirely in the \(xy\)-plane and the \(y\)-coordinate is given as a function, \(y(x)\text{,}\) of the \(x\)-coordinate, the curvature is

\[\begin{gather*} \kappa(x) =\frac{\big|\frac{\mathrm{d}^{2}y}{\mathrm{d}t^{2}}(x)\big|} {\Big[1+\big(\dfrac{dy}{dx}(x)\big)^2\Big]^{3/2}} \end{gather*}\]

Notice that this follows from the previous formula since \(\dfrac{dx}{dx}=1\) and \(\frac{\mathrm{d}^{2}x}{\mathrm{d}x^{2}}=0\text{.}\)

---