◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Arc Length Parametrization

Formulas & Definitions
Core Definition

A space curve r⃗(t)\vec{r}(t)r(t) is said to be parametrized by arc length (or given an intrinsic parametrization) when the governing parameter is the distance sss traversed along the curve rather than an arbitrary parameter such as time ttt. Under this parametrization, denoted r⃗(s)\vec{r}(s)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∥r′(s)∥=​dsdr​​=1
A particle moving along r⃗(s)\vec{r}(s)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 } s1 unit of distance per unit of s).

Concept Explanation

Why Parametrize by Arc Length?

Standard vector-valued functions r⃗(t)\vec{r}(t)r(t) describe where an object is at a particular time ttt. 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}r is expressed as a function of arc length sss:

  1. Unit Tangent Vector is Direct Derivative: T^(s)=dr⃗ds=r⃗′(s)\hat{T}(s) = \frac{d\vec{r}}{ds} = \vec{r}'(s)T^(s)=dsdr​=r′(s) since ∥r⃗′(s)∥=1\|\vec{r}'(s)\| = 1∥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)\|κ(s)=​ds2d2r​​=∥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)\|}N^(s)=∥r′′(s)∥r′′(s)​.

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

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

   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)\|\,dus(t)=∫at​∥r′(u)∥du
  2. Invert s(t)s(t)s(t) to Solve for ttt: Algebraically solve the relation s=s(t)s = s(t)s=s(t) to express ttt in terms of sss, obtaining t=t(s)t = t(s)t=t(s).
  3. Substitute t(s)t(s)t(s) into r⃗(t)\vec{r}(t)r(t): Replace every occurrence of parameter ttt in r⃗(t)\vec{r}(t)r(t) with t(s)t(s)t(s):
    r⃗(s)=r⃗(t(s))\vec{r}(s) = \vec{r}(t(s))r(s)=r(t(s))

Domain Constraints Under Parametrization

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


Engineering Applications

  • Robotic CNC Milling & Additive Manufacturing: Programming motion controllers in terms of spatial distance sss 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)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 sss 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}r(t)=(3t2−7)i^+(−4t2−10)j^​ for 0≤t≤40 \le t \le 40≤t≤4, find the arc length parametrization r⃗(s)\vec{r}(s)r(s).

Solution
  1. Compute Velocity and Speed:
    r⃗′(t)=6ti^−8tj^\vec{r}'(t) = 6t\hat{i} - 8t\hat{j}r′(t)=6ti^−8tj^​
    ∥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)∥r′(t)∥=(6t)2+(−8t)2​=36t2+64t2​=100t2​=10t(t≥0)
  2. Find Arc Length Function s(t)s(t)s(t):
    s(t)=∫0t10u du=[5u2]0t=5t2s(t) = \int_{0}^{t} 10u\,du = [5u^2]_{0}^{t} = 5t^2s(t)=∫0t​10udu=[5u2]0t​=5t2
  3. Invert to Solve for t(s)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}}s=5t2⟹t2=5s​⟹t(s)=5s​​
  4. Substitute t(s)t(s)t(s) into r⃗(t)\vec{r}(t)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}r(s)=(3(5s​​)2−7)i^+(−4(5s​​)2−10)j^​=(53​s−7)i^+(−54​s−10)j^​
    Since t∈[0,4]t \in [0, 4]t∈[0,4], s∈[0,5(4)2]=[0,80]s \in [0, 5(4)^2] = [0, 80]s∈[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}} = 1r′(s)=53​i^−54​j^​⟹∥r′(s)∥=(53​)2+(−54​)2​=259+16​​=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 \rangler(t)=⟨acos(t),asin(t),ct⟩ starting at t=0t = 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 \rangler′(t)=⟨−asin(t),acos(t),c⟩
    ∥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}∥r′(t)∥=a2sin2(t)+a2cos2(t)+c2​=a2+c2​
  2. Find Arc Length Function s(t)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}s(t)=∫0t​a2+c2​du=ta2+c2​
  3. Invert for t(s)t(s)t(s):
    t(s)=sa2+c2t(s) = \frac{s}{\sqrt{a^2 + c^2}}t(s)=a2+c2​s​
  4. Substitute into r⃗(t)\vec{r}(t)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\rangler(s)=⟨acos(a2+c2​s​),asin(a2+c2​s​),a2+c2​cs​⟩

Connections & References

  • Parent Concepts: Arc Length of a Space Curve | Derivatives of Vector-Valued Functions
  • Related Notes: Unit Tangent Vector | Curvature of a Space Curve | Principal Unit Normal Vector
  • Course Sessions: Calc-3 Session 06