1 Intrinsic parameter and arc length

1.1 Definition of intrinsic parametrization

An intrinsic parameter is a choice of coordinate along a curve that is determined solely by the curve’s own geometric properties. Rather than encoding how the curve is described externally (for example, by an arbitrary time-like variable), an intrinsic parameter aligns the parameter values with measurable features inherent to the curve itself.

A standard intrinsic choice is an arc-length coordinate, constructed from the cumulative distance traveled along the curve. With this parameter, statements about tangency, bending, and related geometric quantities take a form that depends only on the shape of the curve.

1.2 Arc length as a coordinate

Given a regular curve written as a mapping \( \mathbf{r}(t) \), the arc length from a starting parameter value to \(t\) is obtained by integrating the speed: \[

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

\] The arc-length coordinate \(s\) then serves as the parameter itself, so the curve can be re-expressed as \( \mathbf{r}(s) \).

When the curve is parameterized by arc length, the parameter measures distance along the curve, turning geometric quantities into derivatives with respect to a physically meaningful measure.

1.2.1 Signed vs unsigned arc length

Arc length is often introduced as a nonnegative quantity by using the unsigned speed \(\|\mathbf{r}'(t)\|\). In that case, \(s\) increases monotonically with \(t\) for regular curves but does not record direction.
A signed arc length can be defined by incorporating orientation. For example, one may set \(s(t)=\pm\int_{t_0}^{t}\|\mathbf{r}'(u)\|\,du\) to reflect whether the parameter is traversed forward or backward along the curve. In signed formulations, the sign of \(ds/dt\) encodes the chosen direction.

1.2.2 Parameter domain and orientation

The arc-length parameter typically runs over an interval \([0,L]\), where \(L\) is the total length of the curve segment under consideration. If only a sub-interval of the original parameter is relevant, the corresponding arc-length interval is \([s(t_a), s(t_b)]\).

Orientation is determined by how the initial point and traversal direction are selected. Reversing the curve switches the orientation while preserving the same geometric locus, with frame vectors such as the tangent reflecting the change.

1.3 Conditions for arc-length parametrization

1.3.1 Regular curves and nonzero speed

To use arc length as a coordinate, the construction requires the speed \(\|\mathbf{r}'(t)\|\) to be defined and nonzero on the interval so that the curve is not stationary there. If \(\|\mathbf{r}'(t)\|=0\) at some point, then arc length can still be defined locally, but the mapping between \(t\) and \(s\) may fail to be smooth or invertible at that location.

Thus, the standard assumptions for clean arc-length parametrization include regularity and nonvanishing speed on the domain of interest.

1.3.2 Reparametrization assumptions

Arc-length parametrization implicitly assumes that the mapping \(t \mapsto s(t)\) is monotone and sufficiently smooth to be inverted, at least on the segment where one intends to work. Under these conditions, derivatives with respect to \(s\) are well defined and transform predictably from derivatives with respect to \(t\).

If the curve has self-intersections, this does not prevent arc length from being used; the parameterization is still along the traversal path. The main obstacles are degeneracies where speed vanishes or where inversion of \(s(t)\) becomes problematic.

2 Reparametrization mechanics

2.1 From an arbitrary parameter to arc length

2.1.1 Computing arc length function s(t)

Starting from a general parameter \(t\), one computes \(s(t)\) through \[

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

\] This function acts as a change-of-variables tool: it converts the original parameter into a cumulative geometric distance.

In practice, the integral may be evaluated analytically or numerically. Once \(s(t)\) is known, the arc-length form of the curve can be constructed.

2.1.2 Inverting s(t) to obtain t(s)

To express the curve as \( \mathbf{r}(s) \), one needs \(t\) as a function of \(s\), at least locally. When \(\|\mathbf{r}'(t)\|>0\) and \(s(t)\) is monotone, inversion is feasible:

\[ t=t(s),\quad \mathbf{r}(s)=\mathbf{r}(t(s)). \] The inversion may produce multiple branches if the original parameter covers the same arc-length values more than once; one typically restricts to an interval where the relation is one-to-one.

2.1.3 Transforming derivatives under reparametrization

Let \( \mathbf{r}(t) \) be reparametrized by \(s\). The chain rule gives \[ \frac{d\mathbf{r}}{ds}=\frac{d\mathbf{r}}{dt}\frac{dt}{ds}. \]

Since \( ds/dt=\|\mathbf{r}'(t)\| \), it follows that

\[

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

\] so \[

\frac{d\mathbf{r}}{ds}=\frac{\mathbf{r}'(t)}{\|\mathbf{r}'(t)\|}.

\] This identity is the gateway to arc-length simplifications: the derivative with respect to \(s\) is normalized automatically.

Higher derivatives can be obtained similarly, though they involve additional terms reflecting how \( \|\mathbf{r}'(t)\| \) changes with \(t\). These extra terms vanish or simplify considerably in the arc-length coordinate.

2.2 From arc length back to geometric quantities

2.2.1 Unit tangent from the position derivative

In arc-length parametrization, the unit tangent vector is given directly by the first derivative: \[ \mathbf{T}(s)=\frac{d\mathbf{r}}{ds}. \]

Its magnitude satisfies \(\|\mathbf{T}(s)\|=1\) by construction. For curves described in other coordinates, the unit tangent is obtained by normalizing the velocity; arc length effectively performs that normalization automatically.

2.2.2 Relationship between velocity magnitude and arc length

If time \(t\) is not used as the parameter, but one considers a traversal \( \mathbf{r}(s) \) where \(s\) is the coordinate along the curve, then the “speed” with respect to \(s\) is fixed: \[

\left\|\frac{d\mathbf{r}}{ds}\right\|=1.

\] This is the core computational advantage of arc length. Many expressions in curvature and frame derivatives depend on speed factors; choosing \(s\) eliminates them.

3 Frenet–Serret framework with arc length

3.1 Unit tangent vector T(s)

The Frenet–Serret formalism uses an orthonormal moving frame built from the curve’s geometry. In arc-length coordinates, the unit tangent is \[ \mathbf{T}(s)=\mathbf{r}'(s), \] and it remains a unit vector along the curve where the construction is valid.

The tangent encodes the instantaneous direction of the curve’s motion through space (or, more abstractly, through the ambient manifold where the curve resides).

3.2 Curvature κ(s)

3.2.1 Deriving curvature using arc length

Curvature measures how rapidly the tangent direction changes as one moves along the curve. With arc length as parameter, \[

\kappa(s)=\left\|\frac{d\mathbf{T}}{ds}\right\|.

\] Equivalently, the derivative of the unit tangent can be decomposed as \[ \frac{d\mathbf{T}}{ds}=\kappa(s)\,\mathbf{N}(s), \] where \(\mathbf{N}(s)\) is the principal normal (introduced below). This form shows that curvature is the magnitude of the tangential frame’s rotation rate with respect to distance along the curve.

3.2.2 Geometric interpretation of κ

Geometrically, \(\kappa(s)\) describes the local “bending intensity.” Large curvature corresponds to rapid turning over small arc-length intervals, while small curvature indicates nearly straight behavior.

In planar settings, curvature at a point corresponds to the reciprocal of the radius of the osculating circle. In space curves, curvature still reflects bending but must be paired with torsion to capture fully the spatial twisting.

3.3 Principal normal N(s) and binormal B(s)

The principal normal is defined where \(\kappa(s)\neq 0\) by \[ \mathbf{N}(s)=\frac{1}{\kappa(s)}\frac{d\mathbf{T}}{ds}. \] It points in the direction in which the tangent vector is changing.

For space curves, the binormal is obtained via the cross product: \[ \mathbf{B}(s)=\mathbf{T}(s)\times \mathbf{N}(s). \] The triple \((\mathbf{T},\mathbf{N},\mathbf{B})\) forms a right-handed orthonormal frame along the curve segment where curvature is nonzero and torsion is defined (in the standard sense below).

3.4 Torsion τ(s) (when in 3D)

3.4.1 Deriving torsion from derivatives of the frame

Torsion measures the rate at which the osculating plane rotates as one advances along the curve. In the arc-length Frenet–Serret system, torsion appears through the derivative of the binormal: \[ \frac{d\mathbf{B}}{ds}=-\tau(s)\,\mathbf{N}(s), \] and equivalently through the derivative of the principal normal: \[ \frac{d\mathbf{N}}{ds}=-\kappa(s)\,\mathbf{T}(s)+\tau(s)\,\mathbf{B}(s). \] These relations show that curvature and torsion together govern the evolution of the moving orthonormal frame.

4 Derivative identities in arc-length coordinates

4.1 First derivatives of geometric vectors

Because \(\mathbf{T}(s)\) is a unit vector, its derivative must be orthogonal to itself: \[ \mathbf{T}(s)\cdot \frac{d\mathbf{T}}{ds}=0. \] In the Frenet–Serret framework, this orthogonality aligns with the normal direction, yielding \[ \frac{d\mathbf{T}}{ds}=\kappa(s)\mathbf{N}(s). \] This identity is a primary reason arc length simplifies the geometry: it separates unit-length constraints from scaling factors that otherwise appear.

4.1.1 dT/ds and curvature relations

The magnitude relation \(\left\|\frac{d\mathbf{T}}{ds}\right\|=\kappa(s)\) follows immediately from the definition of curvature. In differential geometry terms, it expresses curvature as the norm of the covariant derivative of the unit tangent (in Euclidean space, this reduces to the ordinary derivative).

4.2 Second and higher derivatives of the curve

4.2.1 Normal and tangential components

With arc-length parametrization, derivatives of the curve can be organized into components along the frame directions. For example, since \[ \mathbf{r}'(s)=\mathbf{T}(s), \] the second derivative is \[ \mathbf{r}''(s)=\frac{d\mathbf{T}}{ds}=\kappa(s)\mathbf{N}(s), \] which is purely normal. The third derivative mixes frame components through curvature variation and torsion: \[ \mathbf{r}'''(s)=\kappa'(s)\mathbf{N}(s)+\kappa(s)\frac{d\mathbf{N}}{ds} =\kappa'(s)\mathbf{N}(s)+\kappa(s)\big(-\kappa(s)\mathbf{T}(s)+\tau(s)\mathbf{B}(s)\big). \] Such decompositions are useful because they translate high-order derivatives into familiar scalar functions \(\kappa,\tau\) and their derivatives.

4.3 Smoothness requirements and singular points

4.3.1 Points where curvature may fail to be defined

Curvature defined as \(\kappa(s)=\|d\mathbf{T}/ds\|\) requires a differentiable unit tangent. If \(\mathbf{r}\) is not sufficiently smooth, or if \(\kappa(s)=0\), the principal normal may become ambiguous because \(\mathbf{N}(s)\) is defined using division by \(\kappa(s)\).

More generally, if the curve has corners or cusps (so derivatives are not continuous in the classical sense), the Frenet–Serret frame is not available in the usual differentiable way. In those regions, curvature is either undefined or must be treated using generalized notions.

5 Applications and typical use-cases

Arc-length coordinates streamline formulas in which curvature appears. Since the speed relative to the coordinate is fixed at 1, many factors that arise from normalization in non-intrinsic parameterizations disappear.

As a result, expressions for the tangent, curvature, and frame derivatives become direct: curvature is the norm of \(d\mathbf{T}/ds\), and the Frenet–Serret equations take a clean scalar-coefficient form.

5.2 Motion along a curve: kinematics viewpoint

Although arc length is a geometric parameter, it often interfaces with mechanics and kinematics by relating spatial shape to motion. If a point moves along a curve and the arc-length coordinate \(s\) is used to measure where it is along the path, derivatives with respect to \(s\) characterize how direction changes with distance.

This is particularly helpful when separating the role of the path’s geometry from the role of timing or speed along the path.

5.2.1 Relating time derivatives to s-derivatives

If a particle’s position is \(\mathbf{r}(s(t))\), then by the chain rule, \[ \frac{d\mathbf{r}}{dt}=\frac{d\mathbf{r}}{ds}\frac{ds}{dt}=\mathbf{T}(s)\,\frac{ds}{dt}. \] Thus, the velocity vector is aligned with the tangent, scaled by the rate of change of arc length. Similarly, acceleration involves both \(d^2s/dt^2\) and derivatives of \(\mathbf{T}\), linking curvature to how the direction of motion changes.

5.3 Geometry of planar and space curves

5.3.1 Special cases: straight lines and circles

For a straight line segment, the tangent direction is constant, so \(d\mathbf{T}/ds=0\) and \(\kappa=0\). In that case, the Frenet frame degenerates in the sense that the principal normal is not uniquely determined.

For a circle of radius \(R\), curvature is constant and equals \(1/R\). The tangent rotates uniformly with arc length, reflecting the uniform bending of the curve. In space, a planar circle has zero torsion, since the osculating plane does not twist out of the plane of the curve.

6 Examples and worked demonstrations

6.1 Arc-length parametrization of a line

Consider a line segment in Euclidean space: \[ \mathbf{r}(t)=\mathbf{a}+t\mathbf{v}, \]

where \(\mathbf{v}\neq 0\). Then \(\mathbf{r}'(t)=\mathbf{v}\) and \(\|\mathbf{r}'(t)\|=\|\mathbf{v}\|\). The arc length from \(t_0\) is

\[

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

\]

Inverting gives \(t=t_0+s/\|\mathbf{v}\|\). Substituting yields

\[

\mathbf{r}(s)=\mathbf{a}+\left(t_0+\frac{s}{\|\mathbf{v}\|}\right)\mathbf{v}.

\]

Differentiating with respect to \(s\) gives \(d\mathbf{r}/ds=\mathbf{v}/\|\mathbf{v}\|\), a constant unit tangent, so \(\kappa(s)=0\).

6.2 Arc-length parametrization of a circle

Let a circle of radius \(R\) in the plane be given by \[ \mathbf{r}(\theta)=(R\cos\theta,\;R\sin\theta). \] Then \[

\mathbf{r}'(\theta)=(-R\sin\theta,\;R\cos\theta),\quad \|\mathbf{r}'(\theta)\|=R.

\] Arc length from \(\theta_0\) is \[ s(\theta)=\int_{\theta_0}^{\theta}R\,d\phi=R(\theta-\theta_0). \] Hence \(\theta=\theta_0+s/R\), and \[ \mathbf{r}(s)=\big(R\cos(\theta_0+s/R),\;R\sin(\theta_0+s/R)\big). \] With this parametrization, \(d\mathbf{r}/ds\) has unit magnitude, and curvature becomes \[

\kappa=\left\|\frac{d\mathbf{T}}{ds}\right\|=\frac{1}{R},

\] a constant.

6.3 A sample curve conversion: arbitrary parameter to s

Take the curve \[ \mathbf{r}(t)=(t,\;t^2), \] for \(t\) in some interval where it is smooth and nondegenerate. Compute speed: \[

\mathbf{r}'(t)=(1,\;2t),\quad \|\mathbf{r}'(t)\|=\sqrt{1+4t^2}.

\] Arc length from \(0\) to \(t\) is \[ s(t)=\int_{0}^{t}\sqrt{1+4u^2}\,du. \] This integral can be expressed in elementary terms using standard forms, producing an explicit or semi-explicit formula for \(s(t)\). One then inverts \(t=t(s)\) (often requiring a closed-form inverse or numerical inversion) and substitutes into \(\mathbf{r}(t)\) to obtain \(\mathbf{r}(s)\).

Once \(\mathbf{r}(s)\) is available, the unit tangent follows from \(d\mathbf{r}/ds\), and curvature is computed via \(\kappa(s)=\|d\mathbf{T}/ds\|\). Even when inversion is numerical, the method remains conceptually direct.

6.4 Computing κ(s) for a chosen example curve

Consider again a curve whose arc-length parametrization is obtainable. A clean choice is the circle of radius \(R\) from the previous example. Using the arc-length form \(\theta=\theta_0+s/R\), the tangent vector can be written as \[ \mathbf{T}(s)=\frac{d\mathbf{r}}{ds}=\left(-\sin(\theta_0+s/R),\;\cos(\theta_0+s/R)\right). \] Differentiate with respect to \(s\): \[ \frac{d\mathbf{T}}{ds}=\left(-\frac{1}{R}\cos(\theta_0+s/R),\;-\frac{1}{R}\sin(\theta_0+s/R)\right). \] Its magnitude is \[

\left\|\frac{d\mathbf{T}}{ds}\right\|

=\frac{1}{R}\sqrt{\cos^2(\theta_0+s/R)+\sin^2(\theta_0+s/R)} =\frac{1}{R}. \] Therefore, \[ \kappa(s)=\frac{1}{R}, \] confirming that curvature is constant for a circle when parameterized by arc length.