🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Arc Length Parametrization

Arc Length Parametrization

Core Definition

A space curve r⃗(t)\vec{r}(t) is said to be parametrized by arc length (or given an intrinsic parametrization) when the governing parameter is the distance ss traversed along the curve rather than an arbitrary parameter such as time tt. Under this parametrization, denoted r⃗(s)\vec{r}(s), the magnitude of the velocity vector is identically unity:

∥r⃗′(s)∥=∥dr⃗ds∥=1\|\vec{r}'(s)\| = \left\|\frac{d\vec{r}}{ds}\right\| = 1
A particle moving along r⃗(s)\vec{r}(s) traverses the trajectory at a constant unit speed (1 unit of distance per unit of s1\text{ unit of distance per unit of } s).

Concept Explanation

Why Parametrize by Arc Length?

Standard vector-valued functions r⃗(t)\vec{r}(t) describe where an object is at a particular time tt. However, many physical and geometric properties of a curve—such as its intrinsic sharpness (curvature κ\kappa), total length, or normal vectors—depend only on the curve's spatial geometry, not on how fast an object traverses it.

When r⃗\vec{r} is expressed as a function of arc length ss:

  1. Unit Tangent Vector is Direct Derivative: T^(s)=dr⃗ds=r⃗′(s)\hat{T}(s) = \frac{d\vec{r}}{ds} = \vec{r}'(s) since ∥r⃗′(s)∥=1\|\vec{r}'(s)\| = 1.
  2. Curvature is Second Derivative Magnitude: κ(s)=∥d2r⃗ds2∥=∥r⃗′′(s)∥\kappa(s) = \left\|\frac{d^2\vec{r}}{ds^2}\right\| = \|\vec{r}''(s)\|.
  3. Frenet-Serret Simplification: The principal normal vector simplifies to N^(s)=r⃗′′(s)∥r⃗′′(s)∥\hat{N}(s) = \frac{\vec{r}''(s)}{\|\vec{r}''(s)\|}.

3-Step Algorithm to Find r⃗(s)\vec{r}(s)

To reparametrize a given smooth curve r⃗(t)\vec{r}(t) in terms of arc length ss:

   r(t)  ---[ Step 1: Integrate Speed ]--->  s(t) = ∫ ||r'(u)|| du
                                                   |
                                                   v
   r(s)  <---[ Step 3: Substitute t(s) ]---  t(s) = s^(-1)(s) [Step 2: Invert]
  1. Calculate the Arc Length Function:
    s(t)=∫at∥r⃗′(u)∥ dus(t) = \int_{a}^{t} \|\vec{r}'(u)\|\,du
  2. Invert s(t)s(t) to Solve for tt: Algebraically solve the relation s=s(t)s = s(t) to express tt in terms of ss, obtaining t=t(s)t = t(s).
  3. Substitute t(s)t(s) into r⃗(t)\vec{r}(t): Replace every occurrence of parameter tt in r⃗(t)\vec{r}(t) with t(s)t(s):
    r⃗(s)=r⃗(t(s))\vec{r}(s) = \vec{r}(t(s))

Domain Constraints Under Parametrization

If the original curve r⃗(t)\vec{r}(t) is restricted to a closed interval a≤t≤ba \le t \le b, the arc length parameter ss is strictly constrained to the interval 0≤s≤s(b)0 \le s \le s(b), where s(b)=∫ab∥r⃗′(u)∥ dus(b) = \int_a^b \|\vec{r}'(u)\|\,du.


Engineering Applications

  • Robotic CNC Milling & Additive Manufacturing: Programming motion controllers in terms of spatial distance ss to ensure constant laser/cutter feed rate across sharp contours, preventing uneven thermal melt pools or material gouging.
  • Autonomous Vehicle Path Tracking: Expressing highway lane centerlines as r⃗(s)\vec{r}(s) so navigation systems can index vehicle station points and curvature profiles directly from odometer logs.
  • Pipeline and Infrastructure Inspection: Tagging ultrasonic thickness measurements to linear distance ss from an access hatch rather than variable pig transit times.

Example Problems

Example 1: Reparametrizing a Line Segment

Given r⃗(t)=(3t2−7)i^+(−4t2−10)j^\vec{r}(t) = (3t^2 - 7)\hat{i} + (-4t^2 - 10)\hat{j} for 0≤t≤40 \le t \le 4, find the arc length parametrization r⃗(s)\vec{r}(s).

Solution
  1. Compute Velocity and Speed:
    r⃗′(t)=6ti^−8tj^\vec{r}'(t) = 6t\hat{i} - 8t\hat{j}
    ∥r⃗′(t)∥=(6t)2+(−8t)2=36t2+64t2=100t2=10t(t≥0)\|\vec{r}'(t)\| = \sqrt{(6t)^2 + (-8t)^2} = \sqrt{36t^2 + 64t^2} = \sqrt{100t^2} = 10t \quad (t \ge 0)
  2. Find Arc Length Function s(t)s(t):
    s(t)=∫0t10u du=[5u2]0t=5t2s(t) = \int_{0}^{t} 10u\,du = [5u^2]_{0}^{t} = 5t^2
  3. Invert to Solve for t(s)t(s):
    s=5t2  ⟹  t2=s5  ⟹  t(s)=s5s = 5t^2 \implies t^2 = \frac{s}{5} \implies t(s) = \sqrt{\frac{s}{5}}
  4. Substitute t(s)t(s) into r⃗(t)\vec{r}(t):
    r⃗(s)=(3(s5)2−7)i^+(−4(s5)2−10)j^=(35s−7)i^+(−45s−10)j^\vec{r}(s) = \left(3\left(\sqrt{\frac{s}{5}}\right)^2 - 7\right)\hat{i} + \left(-4\left(\sqrt{\frac{s}{5}}\right)^2 - 10\right)\hat{j} = \left(\frac{3}{5}s - 7\right)\hat{i} + \left(-\frac{4}{5}s - 10\right)\hat{j}
    Since t∈[0,4]t \in [0, 4], s∈[0,5(4)2]=[0,80]s \in [0, 5(4)^2] = [0, 80].
  5. Unit Speed Check:
    r⃗′(s)=35i^−45j^  ⟹  ∥r⃗′(s)∥=(35)2+(−45)2=9+1625=1\vec{r}'(s) = \frac{3}{5}\hat{i} - \frac{4}{5}\hat{j} \implies \|\vec{r}'(s)\| = \sqrt{\left(\frac{3}{5}\right)^2 + \left(-\frac{4}{5}\right)^2} = \sqrt{\frac{9+16}{25}} = 1

Example 2: Reparametrizing a Circular Helix

Find the arc length parametrization of r⃗(t)=⟨acos⁡(t),asin⁡(t),ct⟩\vec{r}(t) = \langle a\cos(t), a\sin(t), ct \rangle starting at t=0t = 0.

Solution
  1. Compute Velocity and Speed:
    r⃗′(t)=⟨−asin⁡(t),acos⁡(t),c⟩\vec{r}'(t) = \langle -a\sin(t), a\cos(t), c \rangle
    ∥r⃗′(t)∥=a2sin⁡2(t)+a2cos⁡2(t)+c2=a2+c2\|\vec{r}'(t)\| = \sqrt{a^2\sin^2(t) + a^2\cos^2(t) + c^2} = \sqrt{a^2 + c^2}
  2. Find Arc Length Function s(t)s(t):
    s(t)=∫0ta2+c2 du=ta2+c2s(t) = \int_{0}^{t} \sqrt{a^2 + c^2}\,du = t\sqrt{a^2 + c^2}
  3. Invert for t(s)t(s):
    t(s)=sa2+c2t(s) = \frac{s}{\sqrt{a^2 + c^2}}
  4. Substitute into r⃗(t)\vec{r}(t):
    r⃗(s)=⟨acos⁡(sa2+c2),asin⁡(sa2+c2),csa2+c2⟩\vec{r}(s) = \left\langle a\cos\left(\frac{s}{\sqrt{a^2 + c^2}}\right), a\sin\left(\frac{s}{\sqrt{a^2 + c^2}}\right), \frac{cs}{\sqrt{a^2 + c^2}} \right\rangle

Connections & References