1 Fundamentals of arc length

1.1 Arc length for parameterized curves

For a smooth curve in Euclidean space given by a parameterization \(r(t)\), the arc length measures the physical distance traveled along the curve from a reference point. The differential arc length element is \[

ds=\|r'(t)\|\,dt,

\] so the total arc length from \(t_0\) to \(t\) is \[

s(t)=\int_{t_0}^{t}\|r'(u)\|\,du.

\] Arc length is intrinsic to the curve: it depends on the geometric path, not on how the curve is parametrized.

1.2 Regular curves and speed

A curve is called regular (in the sense used here) when its velocity never vanishes: \(r'(t)\neq 0\) on the parameter interval. The quantity \[

v(t)=\|r'(t)\|

\] is the speed, describing how quickly the parameter \(t\) moves along the curve. When \(v(t)\) is positive and continuous, the arc length function \(s(t)\) is strictly increasing, enabling reparameterization by arc length.

1.3 Reparameterization and intrinsic variables

If \(s\) denotes arc length, one may treat the curve as \(r(s)\), a reparameterization that uses distance as the independent variable. Reparameterization replaces a potentially inconvenient parameter \(t\) with the intrinsic coordinate \(s\). In that setting, many expressions simplify because derivatives with respect to arc length correspond directly to geometric change per unit distance along the curve.

2 Differentiation with respect to arc length

2.1 Chain rule for arc-length differentiation

2.1.1 Deriving \(\frac{d}{ds}\) from \(\frac{d}{dt}\)

Let a scalar or vector quantity along the curve be expressed as \(F(t)=F(r(t))\). Since \(s=s(t)\), \[ \frac{dF}{ds}=\frac{1}{\frac{ds}{dt}}\frac{dF}{dt}. \]

Using \( \frac{ds}{dt}=\|r'(t)\| \) yields the conversion rule

\[

\boxed{\frac{d}{ds}=\frac{1}{\|r'(t)\|}\frac{d}{dt}}

\]

for derivatives along the curve, provided the curve is regular so \(\|r'(t)\|>0\).

2.1.2 Relating \(s(t)\) and \(t(s)\)

When \(s(t)\) is strictly increasing, it admits a local inverse \(t=t(s)\). Then \(F(t(s))\) can be differentiated directly with respect to \(s\), and the same chain rule becomes \[ \frac{dF}{ds}=\frac{dF}{dt}\frac{dt}{ds}. \]

Because \(ds/dt=\|r'(t)\|\), one has

\[

\frac{dt}{ds}=\frac{1}{\|r'(t)\|},

\] recovering the conversion formula above. This perspective is useful when working in a neighborhood where the inverse exists.

2.2 Basic properties of \(\frac{d}{ds}\)

2.2.1 Linearity and product/quotient rules

As an ordinary derivative operator acting along the curve, \(\frac{d}{ds}\) inherits the standard calculus rules. For functions \(F\) and \(G\) depending on the curve, \[ \frac{d}{ds}(F+G)=\frac{dF}{ds}+\frac{dG}{ds}, \] and for products, \[ \frac{d}{ds}(FG)=\frac{dF}{ds}\,G+F\,\frac{dG}{ds}. \] If \(G\neq 0\), \[ \frac{d}{ds}\!\left(\frac{F}{G}\right)=\frac{G\frac{dF}{ds}-F\frac{dG}{ds}}{G^2}. \] For vector-valued functions, these rules apply componentwise, and the same algebraic structure holds for dot and cross products via the usual product rules.

2.2.2 Higher-order differentiation with respect to \(s\)

Higher derivatives follow by repeating the operator. Using \(\frac{d}{ds}=(1/v)\frac{d}{dt}\) with \(v=\|r'(t)\|\), one can express second derivatives in terms of \(t\)-derivatives:

\[ \frac{d^2F}{ds^2}=\frac{d}{ds}\left(\frac{1}{v}\frac{dF}{dt}\right) =\frac{1}{v}\frac{d}{dt}\left(\frac{1}{v}\frac{dF}{dt}\right). \] Expanding gives a form that exposes the role of how the speed changes along the curve: \[ \frac{d^2F}{ds^2}=\frac{1}{v^2}\frac{d^2F}{dt^2}-\frac{v'}{v^3}\frac{dF}{dt}, \] where \(v'=\frac{dv}{dt}\). This identity is central when converting curvature and related quantities computed from non–arc-length parametrizations.

2.3 Examples and worked computations

2.3.1 Arc length parameterization of simple curves

Consider a line segment parameterized by \(r(t)=a+bt\) with \(b\neq 0\). Then \(r'(t)=b\), so \(\|r'(t)\|=\|b\|\) is constant and

\[

s(t)=\int_{t_0}^{t}\|b\|\,du=\|b\|(t-t_0).

\]

Inverting gives \(t=t_0+s/\|b\|\), and substituting yields the arc-length form

\[

r(s)=a+b\left(t_0+\frac{s}{\|b\|}\right),

\]

which differs from a translation and scaling by a constant factor. Because speed is constant, differentiation with respect to \(s\) agrees with differentiation with respect to \(t\) up to the factor \(1/\|b\|\).

2.3.2 Changing variables inside derivatives

Let \(F(t)\) be a quantity computed from a parametrization, and suppose the curve has speed \(v(t)\). Then \[ \frac{dF}{ds}=\frac{1}{v(t)}\frac{dF}{dt}. \]

For instance, if \(F(t)=\|r'(t)\|=v(t)\), then

\[ \frac{dv}{ds}=\frac{1}{v}\frac{dv}{dt}. \] This kind of conversion appears frequently when translating curvature formulas from a general parameter to an arc-length parameter, especially in problems where the chosen parameter simplifies the algebra even if it is not intrinsic.

3 Geometric consequences for curves

3.1 Tangent direction and unit tangent

A key reason arc length is preferred is that differentiation with respect to \(s\) naturally produces the unit tangent vector. Given a regular curve \(r(t)\), define the unit tangent \[

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

\] If the curve is treated as \(r(s)\), then by definition \(ds\) is the distance element, and one obtains \[ \boxed{\frac{dr}{ds}=T.} \] Thus, \(\frac{d}{ds}\) converts parametrized motion into purely geometric change with respect to distance along the curve.

3.2 Velocity versus speed in the \(s\)-parameter

In a general parameter \(t\), the derivative \(r'(t)\) represents velocity: both direction and speed along the curve. When reparameterized by arc length \(s\), the derivative is the unit tangent, so the “velocity” becomes normalized: \[

\frac{dr}{ds}=T,\qquad \left\|\frac{dr}{ds}\right\|=1.

\] Consequently, derivatives with respect to \(s\) track how the direction changes per unit length, rather than mixing direction and traversal rate.

3.3 Tangent and normal components of derivatives

Because \(T\) is a unit vector, its derivative with respect to \(s\) is orthogonal to \(T\). Indeed, \[ \frac{d}{ds}\left(T\cdot T\right)=2T\cdot \frac{dT}{ds}=0 \] since \(T\cdot T=1\). Therefore \[ T\cdot \frac{dT}{ds}=0, \] meaning \(\frac{dT}{ds}\) lies in the normal direction to the curve. This orthogonality motivates decompositions into tangent and normal components, with the tangent component vanishing for \(dT/ds\).

4.1 Definition of curvature via arc length

Curvature quantifies how rapidly the unit tangent turns as one moves along the curve. The standard arc-length definition is \[

\boxed{\kappa(s)=\left\|\frac{dT}{ds}\right\|.}

\] When \(\kappa\) is nonzero, the principal normal \(N\) is defined by \[ \frac{dT}{ds}=\kappa N, \] so curvature is the magnitude of the normal change of the tangent vector per unit arc length.

4.2 Curvature computation using \(\frac{d}{ds}\)

If \(T=T(s)\), then one can compute \(dT/ds\) directly (for example, in an arc-length parametrization) and take its norm. In practice, many problems start with a parameter \(t\), so one uses the conversion operator: \[

\frac{dT}{ds}=\frac{1}{\|r'(t)\|}\frac{dT}{dt},

\qquad

\kappa=\left\|\frac{dT}{ds}\right\|.

\] This approach emphasizes a consistent procedure: compute \(T\), differentiate, then convert to arc-length differentiation before taking the norm.

4.3 Radius of curvature and geometric interpretation

The radius of curvature is defined as the reciprocal of curvature (where \(\kappa>0\)): \[ \rho(s)=\frac{1}{\kappa(s)}. \] Geometrically, \(\rho\) is the radius of the osculating circle at that point: a circle that best approximates the curve near the given location. Large \(\rho\) (small \(\kappa\)) corresponds to gentle turning, while small \(\rho\) indicates tighter bending.

5 Differential geometry of planar and space curves (arc-length viewpoint)

5.1 Frenet-type derivatives in terms of \(s\)

For a sufficiently smooth space curve (in Euclidean space) with nonvanishing curvature, the Frenet frame \((T,N,B)\) can be differentiated with respect to arc length. The central relations are \[ \frac{dT}{ds}=\kappa N,\qquad \frac{dN}{ds}=-\kappa T+\tau B,\qquad \frac{dB}{ds}=-\tau N, \] where \(\tau\) denotes torsion. In planar curves, torsion is zero and the frame reduces to the tangent-normal description, with the binormal being constant or irrelevant to the plane geometry.

5.2 Torsion (for space curves) and arc-length differentiation

Torsion measures the rate at which the curve departs from its osculating plane. In the Frenet framework, it appears as the coefficient of \(B\) in \(dN/ds\) (or equivalently as the effect on \(B\) through \(dB/ds\)). Because these relations are written in terms of arc-length differentiation, \(\tau\) is intrinsic: it captures geometric twisting per unit distance along the curve, independent of the chosen traversal speed.

5.3 Practical workflows: from parametric form to \(s\)-form

A typical workflow begins with a parametrization \(r(t)\). One computes:

1. The speed \(v(t)=\|r'(t)\|\) and the arc length \(s(t)\).
  1. The unit tangent \(T(t)=r'(t)/v(t)\).
  2. The derivative \(dT/dt\), then converts to arc-length differentiation via \(dT/ds=(1/v)\,dT/dt\).
4. The curvature \(\kappa=\|dT/ds\|\), and, when needed in space, constructs \(N\) and proceeds to \(B\) and torsion using Frenet-type relations.

This method avoids the need to explicitly solve for \(t\) as a function of \(s\); arc-length differentiation can be handled through the operator conversion.

6 Common reference identities and simplification strategies

6.1 Derivatives of unit vectors with respect to \(s\)

Unit vectors along the curve often satisfy orthogonality constraints. For any unit vector field \(U(s)\) with \(U\cdot U=1\), \[ \frac{d}{ds}(U\cdot U)=2U\cdot \frac{dU}{ds}=0 \] implies \(U\cdot \frac{dU}{ds}=0\). When \(U\) is the unit tangent \(T\), this yields \(T\cdot dT/ds=0\), which in turn helps simplify dot products appearing in curvature computations.

6.2 Expressing curvature using parameter derivatives

If the goal is curvature but the curve is given by a non-arc-length parameter \(t\), one can express geometric quantities using \(t\)-derivatives combined with the speed factor. A common simplification begins with \[

T=\frac{r'}{\|r'\|},

\qquad

\frac{dT}{ds}=\frac{1}{\|r'\|}\frac{dT}{dt},

\qquad

\kappa=\left\|\frac{dT}{ds}\right\|.

\]

Careful algebra then replaces nested quotients with forms involving \(r'\), \(r''\), and \(\|r'\|\), while repeatedly using that \(\|r'\|\) is the conversion factor between \(d/dt\) and \(d/ds\).

6.3 Avoiding algebra pitfalls in arc-length conversions

Arc-length conversions frequently introduce errors from missed factors of \(\|r'(t)\|\). Typical safeguards include:
  • Treating \(\frac{d}{ds}\) as the operator \((1/v)\frac{d}{dt}\) consistently, rather than converting parts of an expression ad hoc.
  • Remembering that second derivatives require differentiating the factor \(1/v\), not just differentiating the numerator.
  • Checking orthogonality conditions: for example, \(T\cdot dT/ds=0\) serves as a diagnostic for mistakes in computations.