Fact-checked by Grok 2 weeks ago

Differentiable curve

In mathematics, particularly in differential geometry, a differentiable curve is defined as a parametric curve given by a differentiable map \alpha: I \to \mathbb{R}^n, where I \subset \mathbb{R} is an open interval and n is typically 2 or 3, with the components of \alpha(t) = (x_1(t), \dots, x_n(t)) being differentiable functions of the parameter t.^[1]^[2] A curve is often required to be regular, meaning its derivative \alpha'(t) \neq 0 for all t \in I, ensuring a well-defined tangent vector at every point and avoiding singular points where the curve may cusp or stop.^[1]^[2] Differentiable curves form the foundational objects in the study of differential geometry of curves, allowing the analysis of local properties such as the tangent line, curvature, and torsion through derivatives of the parametrization.^[1] The arc length of a curve, an intrinsic geometric invariant independent of the parametrization, is computed as s(t) = \int_{t_0}^t \|\alpha'(\tau)\| \, d\tau, and reparametrizing by arc length s simplifies many computations, yielding \|\alpha'(s)\| = 1.^[1] For plane curves (n=2), the curvature \kappa(s) measures how sharply the curve bends and is given by \kappa(s) = \|\alpha''(s)\| in arc-length parametrization; in space curves (n=3), torsion \tau(s) additionally quantifies the twisting out of the osculating plane.^[1]^[2] A cornerstone result is the fundamental theorem of space curves, which asserts that given continuous functions \kappa(s) > 0 and \tau(s) on an interval, there exists a unique (up to rigid motion) regular curve \alpha: I \to \mathbb{R}^3 parametrized by arc length with those curvature and torsion functions.^[1]^[2] This theorem highlights how intrinsic properties like curvature and torsion fully determine the curve's shape, underscoring the role of differentiable curves in classifying geometric objects and their applications in physics, computer graphics, and robotics.^[1]

Fundamental Definitions

Definition of a Differentiable Curve

In differential geometry, a differentiable curve is a mapping \gamma: I \to \mathbb{R}^n, where I is an interval in \mathbb{R} and \gamma is differentiable as a vector-valued function, meaning each component \gamma_i: I \to \mathbb{R} is differentiable.^[1] This definition allows the curve to be analyzed using calculus tools, such as derivatives, to study its local behavior in Euclidean space.^[3] Typically, the interval I is open or half-open to facilitate differentiability at endpoints, and the mapping is often assumed to be C^1 (continuously differentiable) for smoothness in geometric applications.^[4] Representative examples illustrate this concept clearly. A straight line in \mathbb{R}^n can be parametrized as \gamma(t) = \mathbf{a} + t \mathbf{v}, where \mathbf{a}, \mathbf{v} \in \mathbb{R}^n with \mathbf{v} the direction vector, yielding a constant derivative \gamma'(t) = \mathbf{v}.^[3] In \mathbb{R}^2, a circle of radius 1 centered at the origin is given by \gamma(t) = (\cos t, \sin t) for

t \in [0, 2\pi)&#36;, with derivative

\gamma'(t) = (-\sin t, \cos t).[1] For space curves in \mathbb{R}^3, a helix provides an example: \gamma(t) = (a \cos t, a \sin t, b t)for constantsa > 0andb \neq 0, where the derivative \gamma'(t) = (-a \sin t, a \cos t, b)$ traces a helical path.^[1] The parametrized curve \gamma must be distinguished from the geometric curve, which is the image set \gamma(I) \subset \mathbb{R}^n traced by the mapping; the former encodes the traversal speed and direction via the parameter, while the latter describes only the set of points without parametrization details.^[3] For geometric analysis, the curve often requires additional structure: it is an immersion if \gamma'(t) \neq \mathbf{0} everywhere in I, ensuring a well-defined tangent, and an embedding if additionally injective, preventing self-intersections; these serve as prerequisites for regularity conditions that enable meaningful differential properties.^[5]

Regularity Conditions

A regular curve is a parametrized differentiable curve \gamma: I \to \mathbb{R}^n, where I is an interval, such that the derivative \gamma'(t) \neq 0 for all t \in I.^[6] This condition ensures that the curve has a non-zero speed at every point, preventing instantaneous stops or reversals in the parametrization. Without this non-vanishing derivative, the curve may exhibit singularities where geometric properties like the tangent direction become undefined.^[6] The regularity condition distinguishes immersed curves from embedded curves. An immersed curve arises from a regular parametrization, where the map is locally injective in terms of its differential but may allow global self-intersections, such as a figure-eight shape.^[7] In contrast, an embedded curve requires the parametrization to be not only regular but also globally injective, ensuring the image is a simple arc without self-intersections and homeomorphic to the parameter interval.^[7] This global injectivity is crucial for applications where the curve's topology must match that of its domain. A key consequence of regularity is the existence of a well-defined unit tangent vector T(t) = \frac{\gamma'(t)}{\|\gamma'(t)\|}, which provides a consistent direction along the curve at every point.^[6] This vector enables the analysis of local geometry, such as orientation and infinitesimal displacement, without ambiguity. Non-regular curves, where \gamma'(t_0) = 0 at some t_0 \in I, often feature problematic singularities like cusps. For example, the curve \gamma(t) = (t^3, t^2) for t \in [-1, 1] has \gamma'(t) = (3t^2, 2t), which vanishes at t = 0, resulting in a cusp at the origin where the curve abruptly reverses direction without a defined tangent.^[6] Such points disrupt geometric computations, as the unit tangent cannot be normalized, leading to ill-defined notions of curvature or length in the vicinity.^[6]

Parametrization Techniques

Reparametrization and Equivalence

A reparametrization of a differentiable curve \gamma: I \to \mathbb{R}^n, where I is an interval, is obtained by composing \gamma with a diffeomorphism \phi: J \to I, yielding a new curve \tilde{\gamma} = \gamma \circ \phi: J \to \mathbb{R}^n.^[8]^[9] Here, \phi is a smooth bijection with a smooth inverse, ensuring that \tilde{\gamma} traces the same geometric path as \gamma but potentially at a different pace or starting point.^[10] Two differentiable curves are equivalent if one is a reparametrization of the other, establishing an equivalence relation that groups parametrized curves sharing the same image in \mathbb{R}^n.^[9]^[1] This equivalence underscores that the intrinsic geometry of the curve is independent of the choice of parameter, focusing instead on the curve's trace.^[8] Under reparametrization, the tangent vector's direction is preserved up to sign, meaning the unit tangent points along the same line but may reverse orientation, while the speed—given by the magnitude of the tangent vector—generally changes unless \phi is chosen specifically to maintain it.^[8]^[9] Specifically, if \tilde{\gamma}'(s) = \gamma'(\phi(s)) \cdot \phi'(s), the scaling factor \phi'(s) alters the magnitude, but for regular curves (where \gamma' is nowhere zero), the direction aligns with \gamma' when \phi' > 0 and opposes it when \phi' < 0.^[10] Reparametrizations are classified as orientation-preserving if \phi' > 0 throughout J, maintaining the direction of traversal, or orientation-reversing if \phi' < 0, which flips the curve's direction.^[8]^[9] This distinction is crucial for analyzing properties like curvature, which depend on the oriented tangent. For instance, consider the unit circle parametrized uniformly by \gamma(t) = (\cos t, \sin t) for t \in [0, 2\pi), which traces the circle at constant speed 1.^[1] An arc-length reparametrization, where the parameter is proportional to the distance traveled, coincides with this uniform parametrization since the speed is already 1, but for a circle of radius a > 1, the uniform parametrization \gamma(t) = (a \cos t, a \sin t) has speed a, while an arc-length version slows it to unit speed by adjusting the parameter via \phi(s) = s/a.^[9] This illustrates how reparametrization alters speed without changing the underlying circle.

Arc-Length Parametrization

An arc-length parametrization of a differentiable curve \gamma: I \to \mathbb{R}^n, where I is an interval, is a reparametrization \tilde{\gamma}: J \to \mathbb{R}^n such that the parameter s \in J represents the arc length along the curve and satisfies \|\tilde{\gamma}'(s)\| = 1 for all s \in J.^[8] This unit-speed condition ensures that the derivative \tilde{\gamma}'(s) is precisely the unit tangent vector T(s) at each point, providing a canonical representation independent of the original parametrization's speed variations.^[11] For a regular curve, where \|\gamma'(t)\| > 0 for all t \in I, an arc-length parametrization exists locally around any point. This is achieved by defining the arc-length function s(t) = \int_{t_0}^t \|\gamma'(u)\| \, du and solving the differential equation \frac{ds}{dt} = \|\gamma'(t)\| for the inverse t(s), which yields the reparametrization \tilde{\gamma}(s) = \gamma(t(s)).^[8] The existence follows from the regularity condition and the inverse function theorem, ensuring t(s) is differentiable and strictly increasing.^[12] Such a parametrization is unique up to a choice of starting point (translation in s) and orientation (direction of traversal along the curve).^[8] This uniqueness makes arc-length parametrization a preferred canonical form, as it simplifies computations of geometric invariants by normalizing the speed to 1, directly identifying the tangent vector without normalization.^[11] As a special case of general reparametrization, it highlights the equivalence of curves under diffeomorphisms preserving regularity.^[12] A representative example is the unit circle in \mathbb{R}^2, originally parametrized as \gamma(t) = (\cos t, \sin t) for t \in [0, 2\pi). Its arc-length parametrization is \tilde{\gamma}(s) = (\cos s, \sin s) for s \in [0, 2\pi), where the radius is 1, confirming \|\tilde{\gamma}'(s)\| = \|(-\sin s, \cos s)\| = 1. For a circle of radius r > 0, the form generalizes to \tilde{\gamma}(s) = (r \cos(s/r), r \sin(s/r)).^[11]^[8]

Geometric Invariants

Curve Length

The arc length of a differentiable curve \gamma: [a, b] \to \mathbb{R}^n is defined as the integral

L(\gamma) = \int_a^b \|\gamma'(t)\| \, dt,

where \|\cdot\| denotes the Euclidean norm and \gamma' is the derivative of \gamma.^[13] This formula arises from approximating the curve by polygonal paths and taking the limit, providing a measure of the curve's extent that generalizes the straight-line distance.^[14] This length is invariant under reparametrization. Suppose \beta: [c, d] \to \mathbb{R}^n is a reparametrization of \gamma via a differentiable bijection \phi: [c, d] \to [a, b] with \phi' nowhere zero, so \beta = \gamma \circ \phi. Then,

L(\beta) = \int_c^d \|\beta'(u)\| \, du = \int_c^d \| \gamma'(\phi(u)) \phi'(u) \| \, du = \int_a^b \| \gamma'(t) \| \, dt = L(\gamma),

by the change of variables t = \phi(u) and the property \| \mathbf{v} \lambda \| = |\lambda| \| \mathbf{v} \| for scalar \lambda = \phi'(u).^[15] Thus, the arc length depends only on the image of the curve, not its parametrization, making it an intrinsic geometric invariant.^[13] For a closed curve, such as one parametrized on [a, b] with \gamma(a) = \gamma(b), the total length is simply L(\gamma), often computed over one period for periodic parametrizations.^[14] For curves extending to infinity, like \gamma: [a, \infty) \to \mathbb{R}^n, the length is the improper integral \lim_{b \to \infty} \int_a^b \|\gamma'(t)\| \, dt, which may be finite or infinite depending on the curve's behavior at infinity.^[16] A curve is rectifiable if its arc length is finite; otherwise, it is non-rectifiable.^[14] Differentiable curves satisfying mild regularity conditions, such as \gamma' being continuous, are always rectifiable on compact intervals.^[13] Examples illustrate these concepts. For a straight line segment parametrized as \gamma(t) = \mathbf{p} + t (\mathbf{q} - \mathbf{p}) for t \in [0, 1], where \mathbf{p}, \mathbf{q} \in \mathbb{R}^n, the length is \|\mathbf{q} - \mathbf{p}\|, independent of the interval length in the parametrization.^[13] For a circle of radius r parametrized by \gamma(t) = (r \cos t, r \sin t) on [0, 2\pi], the length is $2\pi r.^[3] The helix \gamma(t) = (a \cos t, a \sin t, b t) for t \in [0, \theta] has length \theta \sqrt{a^2 + b^2}, reflecting both circumferential and axial contributions.^[3]

Natural Parametrization Properties

The natural parametrization of a differentiable curve, also known as arc-length parametrization, is a reparametrization where the parameter s directly corresponds to the distance traveled along the curve from a fixed initial point. This makes it "natural" because the parameter value equals the arc length, providing an intrinsic measure independent of the original parametrization's speed variations.^[13]^[17] A key property of a curve \gamma(s) under natural parametrization is that the tangent vector satisfies \|\gamma'(s)\| = 1 for all s, ensuring constant unit speed. Additionally, the second derivative \gamma''(s) is perpendicular to \gamma'(s), as their dot product is zero: \gamma'(s) \cdot \gamma''(s) = 0, which follows from differentiating \|\gamma'(s)\|^2 = 1. These properties hold locally wherever the curve is regular and can be extended globally for piecewise regular curves by accumulating arc lengths across smooth segments, though discontinuities may require separate parametrizations at junctions.^[13]^[17] Natural parametrization exhibits invariance under rigid motions, such as translations and rotations, since these transformations preserve distances and thus the arc-length parameter unchanged. This invariance underscores its role in intrinsic geometry, where, for example, a curve can be "straightened" by reparametrizing to arc length, effectively mapping it to a straight line segment in a parameter space that reflects only the curve's length without extrinsic embedding details.^[13]^[17]

Frenet-Serret Framework

Frenet Frame Construction

The Frenet frame for a differentiable curve in Euclidean space \mathbb{R}^n is an adapted, orthonormal, positively oriented moving frame \{e_1, e_2, \dots, e_n\} along the curve, where e_1 is the unit tangent vector T, e_2 is the principal normal vector N, e_3 is the binormal vector B (in dimensions up to 3), and higher vectors e_k (for k \geq 4) complete the basis up to the ambient dimension.^[18] This frame is uniquely determined (up to sign conventions) and spans the osculating spaces of increasing order at each point on the curve, providing a canonical way to describe the curve's local differential structure.^[18] The frame was introduced independently by the French mathematicians Jean Frédéric Frenet in his 1847 doctoral thesis and Joseph Alfred Serret in his 1851 paper on curves of double curvature.^[19] To construct the Frenet frame, begin with a regular curve \gamma: I \to \mathbb{R}^n that is at least n times continuously differentiable. The unit tangent vector is given by

T = e_1 = \frac{\gamma'}{\|\gamma'\|},

where \gamma' denotes the first derivative with respect to the parameter (often arc-length s for simplicity, in which case \| \gamma' \| = 1 and T = \gamma').^[18] Assuming non-vanishing curvature \kappa = \| T' \| > 0, the principal normal is

N = e_2 = \frac{T'}{\| T' \|}.

^[18] In \mathbb{R}^3, the binormal follows as B = e_3 = T \times N. For higher dimensions, the remaining vectors e_k ( $3 \leq k \leq n ) are constructed via a Gram-Schmidt-like orthogonalization process on the higher-order derivatives \gamma^{(k)}: each e_k is the normalization of the component of \gamma^{(k)} orthogonal to the span of \{e_1, \dots, e_{k-1}\} within the k-th osculating space, chosen to ensure positive orientation (e.g., e_n as the cross product of the previous vectors).^[18] The construction applies to regular curves (\gamma' \neq 0) with non-vanishing successive curvatures up to the order n-1, ensuring the osculating spaces have dimensions 1 through n-1 at every point.^[18] Singularities occur where any higher curvature vanishes, rendering the frame undefined or non-unique at those points (e.g., straight segments where \kappa = 0).^[20]

Frenet-Serret Formulas in 2D and 3D

The Frenet-Serret formulas describe the infinitesimal variation of the Frenet frame along a curve parametrized by arc length s, originally derived in the context of space curves with double curvature.^[21]^[22] In matrix form, if E(s) denotes the orthonormal frame matrix whose columns are the frame vectors and \Omega(s) is the skew-symmetric matrix encoding the geometric invariants (with curvatures and torsion on the superdiagonal), the evolution is given by

\frac{dE}{ds} = E \Omega,

where \Omega is structured such that its entries reflect the rates of rotation between frame vectors.^[23] For plane curves in 2D, where torsion vanishes, the Frenet frame consists of the unit tangent vector T and the principal normal N, satisfying

\frac{dT}{ds} = \kappa N, \quad \frac{dN}{ds} = -\kappa T,

with \kappa denoting the curvature.^[24] This system captures the oscillation between T and N as the curve bends in the plane. In 3D, the full Frenet frame includes the binormal B = T \times N, and the formulas extend to

\frac{dT}{ds} = \kappa N, \quad \frac{dN}{ds} = -\kappa T + \tau B, \quad \frac{dB}{ds} = -\tau N,

where \tau is the torsion measuring out-of-plane twisting; in matrix form,

\begin{pmatrix} T' \\ N' \\ B' \end{pmatrix} = \begin{pmatrix} 0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0 \end{pmatrix} \begin{pmatrix} T \\ N \\ B \end{pmatrix}.[](http://galileo.math.siu.edu/Courses/251/S11/torsion.pdf)[](https://www.math.ucla.edu/~mikehill/Teaching/Math231/FS.pdf) These equations arise from differentiating the unit [tangent](/page/Tangent) $T = \gamma'(s)$ (where $\gamma$ is the [curve](/page/Curve)) and decomposing the result into the [frame](/page/Frame) basis: since $T'$ is [perpendicular](/page/Perpendicular) to $T$ and lies in the [direction](/page/Direction) of $N$ by definition of [curvature](/page/Curvature), the projection yields $T' = \kappa N$. Differentiating $B = T \times N$ and using the frame's [orthonormality](/page/Orthonormality) similarly produces $B' = -\tau N$, with the equation for $N'$ following from $N = B \times T$.[](https://www.math.ucla.edu/~mikehill/Teaching/Math231/FS.pdf) A classic example is the circle of radius $r$ in the plane, parametrized as $\gamma(s) = (r \cos(s/r), r \sin(s/r))$, which has constant curvature $\kappa = 1/r$ and $\tau = 0$; the formulas simplify to the 2D case, with $T = (-\sin(s/r), \cos(s/r))$ and $N = (-\cos(s/r), -\sin(s/r))$.[](http://www.sci.brooklyn.cuny.edu/~mate/misc/frenet_serret.pdf) For the circular helix $\gamma(s) = (a \cos(s/c), a \sin(s/c), b s/c)$ with $c = \sqrt{a^2 + b^2}$, both $\kappa = a/c^2$ and $\tau = b/c^2$ are constant, yielding a frame that rotates uniformly around the helix axis.[](http://www.sci.brooklyn.cuny.edu/~mate/misc/frenet_serret.pdf) ## Curvature Measures ### Tangent and Principal Normal Vectors In the Frenet-Serret framework, the unit [tangent vector](/page/Tangent_vector) $\mathbf{T}$ to a regular differentiable curve $\gamma: I \to \mathbb{R}^n$ parametrized by $t \in I$ is given by $\mathbf{T}(t) = \frac{\gamma'(t)}{\|\gamma'(t)\|}$, where $\gamma'(t)$ is the velocity vector and $\|\cdot\|$ denotes the Euclidean norm, assuming $\|\gamma'(t)\| \neq 0$.[](https://tutorial.math.lamar.edu/classes/calciii/TangentNormalVectors.aspx) This vector has unit length and points in the direction of the curve's instantaneous motion at $\gamma(t)$.[](https://www.math.miami.edu/~galloway/IntroDGnotes.pdf) The direction of $\mathbf{T}$ is invariant under reparametrization of the [curve](/page/Curve) by a monotonically increasing [differentiable function](/page/Differentiable_function), as any such change scales $\gamma'(t)$ by a positive [factor](/page/Factor) but preserves the unit direction after [normalization](/page/Normalization).[](https://math.franklin.uga.edu/sites/default/files/inline-files/ShifrinDiffGeo.pdf) For a [curve](/page/Curve) parametrized by [arc length](/page/Arc_length) $s$, where $\|\gamma'(s)\| = 1$, so $\mathbf{T}(s) = \gamma'(s)$, the principal normal vector $\mathbf{N}(s)$ is defined as $\mathbf{N}(s) = \frac{\mathbf{T}'(s)}{\|\mathbf{T}'(s)\|}$, provided $\mathbf{T}'(s) \neq 0$.[](https://www.math.miami.edu/~galloway/IntroDGnotes.pdf) This [unit vector](/page/Unit_vector) is orthogonal to $\mathbf{T}(s)$, since $\mathbf{T} \cdot \mathbf{T} = 1$ implies $\mathbf{T} \cdot \mathbf{T}' = 0$.[](https://math.franklin.uga.edu/sites/default/files/inline-files/ShifrinDiffGeo.pdf) Geometrically, $\mathbf{T}$ indicates the direction along which the curve is traversing, while $\mathbf{N}$ points toward [the center](/page/The_Center) of the [osculating circle](/page/Osculating_circle) at the point, representing the side toward which the curve is bending.[](https://www.math.brown.edu/tbanchof/stanton/stanton.html) In a general parametrization by $t$, the principal normal is $\mathbf{N}(t) = \frac{\mathbf{T}'(t)}{\|\mathbf{T}'(t)\|}$, where the [derivative](/page/Derivative) is with respect to $t$; this aligns with the arc-length version because $\frac{d\mathbf{T}}{ds} = \frac{\mathbf{T}'(t)}{\|\gamma'(t)\|}$, so normalization yields the same direction after accounting for the speed $\|\gamma'(t)\|$.[](https://tutorial.math.lamar.edu/classes/calciii/TangentNormalVectors.aspx) Consider the parabola $\gamma(t) = (t, t^2/2)$ in $\mathbb{R}^2$. At the vertex $t=0$, $\gamma'(0) = (1, 0)$, so $\mathbf{T}(0) = (1, 0)$, pointing horizontally along the x-axis. The principal normal is $\mathbf{N}(0) = (0, 1)$, pointing upward toward the concave side of the parabola.[](https://math.umd.edu/~jcooper/math241/accel.pdf) ### Curvature and Torsion In differential geometry, the curvature $\kappa$ of a differentiable curve $\gamma: I \to \mathbb{R}^3$ parametrized by arc length $s$ is defined as the magnitude of the derivative of the unit tangent vector $\mathbf{T}(s)$ with respect to $s$, given by $\kappa(s) = \|\frac{d\mathbf{T}}{ds}\| = \|\gamma''(s)\|$.[](https://www.math.uci.edu/~ndonalds/math162a/curves.pdf) This scalar quantity measures the instantaneous rate at which the curve deviates from being a straight line, quantifying its bending at each point.[](https://www.cis.upenn.edu/~cis6100/gma-v2-chap19.pdf) Geometrically, $\kappa$ is the reciprocal of the radius of curvature $\rho = 1/\kappa$, which represents the radius of the osculating circle that best approximates the curve locally.[](https://math.gmu.edu/~rsachs/math215/textbook/Math215Ch2Sec3.pdf) For a general parametrization $\gamma(t)$ where $t$ is not necessarily arc length, the curvature is expressed using the cross product of the first and second derivatives: $\kappa(t) = \frac{\|\gamma'(t) \times \gamma''(t)\|}{\|\gamma'(t)\|^3}$.[](https://www.cis.upenn.edu/~cis6100/gma-v2-chap19.pdf) This formula arises from the chain rule applied to the arc-length case and remains invariant under reparametrization.[](https://www.math.uci.edu/~ndonalds/math162a/curves.pdf) The torsion $\tau$ extends the analysis to three dimensions, measuring the rate at which the curve twists out of the osculating plane. For an arc-length parametrized curve, $\tau(s) = -\mathbf{B}(s) \cdot \frac{d\mathbf{N}}{ds}$, where $\mathbf{N}$ is the principal normal vector and $\mathbf{B}$ is the binormal vector.[](https://www.cis.upenn.edu/~cis6100/gma-v2-chap19.pdf) Equivalently, in general parametrization, $\tau(t)$ can be computed via the triple scalar product: $\tau(t) = \frac{(\gamma'(t) \times \gamma''(t)) \cdot \gamma'''(t)}{\|\gamma'(t) \times \gamma''(t)\|^2}$.[](https://www.math.uci.edu/~ndonalds/math162a/curves.pdf) Torsion quantifies the helical twisting of the curve, representing the rate of change of the binormal vector perpendicular to the osculating plane; zero torsion indicates a planar curve.[](https://math.gmu.edu/~rsachs/math215/textbook/Math215Ch2Sec3.pdf) These invariants are illustrated by standard examples. A straight line has $\kappa = 0$ and $\tau = 0$, reflecting no bending or twisting.[](https://www.cis.upenn.edu/~cis6100/gma-v2-chap19.pdf) A [circle](/page/Circle) of [radius](/page/Radius) $r$ exhibits constant [curvature](/page/Curvature) $\kappa = 1/r$ and $\tau = 0$, as it lies in a [plane](/page/Plane).[](https://www.math.uci.edu/~ndonalds/math162a/curves.pdf) A circular [helix](/page/Helix), such as $\gamma(s) = (a \cos(s/c), a \sin(s/c), b s/c)$ with $c = \sqrt{a^2 + b^2}$, has constant nonzero $\kappa = a/c^2$ and $\tau = b/c^2$, demonstrating uniform bending and twisting.[](https://math.gmu.edu/~rsachs/math215/textbook/Math215Ch2Sec3.pdf) ## Advanced Properties ### Higher-Dimensional Generalizations The Frenet [frame](/page/Frame) for a [regular](/page/Regular) [curve](/page/Curve) in $\mathbb{R}^n$ ($n > 3$), parametrized by [arc length](/page/Arc_length) $s$, generalizes the 3D case by constructing an orthonormal $n$-[frame](/page/Frame) consisting of the unit [tangent vector](/page/Tangent_vector) $T(s)$ and $n-1$ principal [normal](/page/Normal) vectors $N_1(s), N_2(s), \dots, N_{n-1}(s)$. These vectors are obtained via successive Gram-Schmidt orthogonalization applied to the first $n$ derivatives of the [curve](/page/Curve), assuming [linear independence](/page/Linear_independence) of these derivatives at each point. The [frame](/page/Frame) is accompanied by $n-1$ [scalar curvature](/page/Scalar_curvature) functions $\kappa_1(s), \kappa_2(s), \dots, \kappa_{n-1}(s)$, where $\kappa_1$ corresponds to the classical [curvature](/page/Curvature) $\kappa$, $\kappa_2$ to the torsion $\tau$, and higher $\kappa_i$ (for $i \geq 3$) measure additional osculating behaviors in [extra dimensions](/page/Extra_dimensions).[](https://www.reed.edu/physics/faculty/wheeler/documents/Miscellaneous%20Math/N-dimensional%20Frenet-Serret.pdf)[](https://www.sciencedirect.com/science/article/pii/S0024379519300618) The evolution of this frame along the curve is governed by the generalized Frenet-Serret formulas, which express the derivatives of the frame vectors as linear combinations thereof: \[ \begin{align*} \frac{dT}{ds} &= \kappa_1 N_1, \\ \frac{dN_1}{ds} &= -\kappa_1 T + \kappa_2 N_2, \\ \frac{dN_2}{ds} &= -\kappa_2 N_1 + \kappa_3 N_3, \\ &\vdots \\ \frac{dN_{n-2}}{ds} &= -\kappa_{n-2} N_{n-3} + \kappa_{n-1} N_{n-1}, \\ \frac{dN_{n-1}}{ds} &= -\kappa_{n-1} N_{n-2}. \end{align*}

These equations form a skew-symmetric system, ensuring orthonormality is preserved, and can be compactly written in matrix form as \frac{dE}{ds} = E K, where E is the matrix with columns T, N_1, \dots, N_{n-1}, and K is the tridiagonal matrix with \kappa_i on the superdiagonal and -\kappa_i on the subdiagonal.^[25]^[26]^[27] The higher-order curvatures are defined as \kappa_i(s) = \left\| \frac{dN_{i-1}}{ds} \right\| for i \geq 2, with signs determined by the orientation of the frame to maintain the skew-symmetry; specifically, \kappa_i > 0 ensures a consistent right-handed structure. These \kappa_i quantify the rate at which the (i-1)-th normal deviates from the osculating hyperplane spanned by the previous frame vectors. The existence of a well-defined Frenet frame requires that all lower-order curvatures \kappa_1, \dots, \kappa_{i-1} are non-zero at points of interest; vanishing of any \kappa_j (for j < i) leads to linear dependence among derivatives, causing singularities in the frame construction and restricting the curve to a lower-dimensional subspace.^[25]^[26] For example, consider a curve in \mathbb{R}^4 that is not confined to a 3D hyperplane, such as a generalized helix with twisting in multiple orthogonal planes; if its first three curvatures \kappa_1 > 0, \kappa_2 > 0, and \kappa_3 > 0 are all non-zero, the full tetrad frame \{T, N_1, N_2, N_3\} exists, capturing bending (\kappa_1), 3D twisting (\kappa_2), and additional 4D oscillation (\kappa_3). Such curves arise in applications like particle trajectories in higher-dimensional spaces or embeddings of lower-dimensional helices.^[27]

Bertrand Curves

In differential geometry, a Bertrand curve is defined as a unit-speed space curve \gamma: I \to \mathbb{R}^3 for which there exists another unit-speed curve \beta: I \to \mathbb{R}^3, called the Bertrand mate, satisfying \beta(s) = \gamma(s) + a \mathbf{N}(s) for some constant distance a \neq 0, where \mathbf{N}(s) is the principal normal vector of \gamma, and the tangent vectors coincide such that \beta'(s) = \gamma'(s).^[28] This condition implies that \gamma and \beta share the same principal normal lines at corresponding points, with the curves positioned at a fixed offset along these normals.^[28] A curve \gamma admits such a Bertrand mate if and only if its torsion \tau and curvature \kappa satisfy the linear relation \tau / \kappa = c for some constant c.^[28] This characterization links the twisting and bending of the curve in a proportional manner, distinguishing Bertrand curves from general space curves.^[28] The only curves satisfying this condition are helices, including straight lines (as degenerate helices with \kappa = 0) and circles (as planar helices with \tau = 0).^[29] Thus, Bertrand curves form a specific class where the ratio of torsion to curvature remains invariant along the curve.^[29] Bertrand curves are named after the French mathematician Joseph Bertrand, who introduced them in the 1850s while studying the envelopes formed by families of normals to space curves.^[29] Bertrand's work highlighted their geometric significance in classical differential geometry.^[29] A representative example is the circular helix \gamma(s) = (r \cos(s/c), r \sin(s/c), b s/c), where c = \sqrt{r^2 + b^2}, which admits its cylindrical axis (adjusted by the appropriate constant offset a = r) as a Bertrand mate, demonstrating the shared principal normals and coincident tangents.^[30]

References

[1]
[PDF] Differential Geometry of Curves
4. A function is differentiable if it has, at all points, derivatives of all orders. Page 5. Parameterized Curves.
[2]
[PDF] DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
In general, given any arclength-parametrized curve ˛ lying on M, we defined its normal curvature at the end of Section 2. Instead of using the Frenet frame ...<|control11|><|separator|>
[3]
[PDF] Math 162A - Introduction to Differential Geometry
A twice-differentiable curve x(t) has the property that its second derivative x′′(t) is identically zero. What can be said about x? 2. Find the unique curve ...
[4]
Differentiable Curve - an overview | ScienceDirect Topics
A differentiable curve is defined as a continuously differentiable path in a manifold, which can be represented by a curve in the context of the solution to a ...
[5]
[PDF] 3 Immersions and Embeddings - UCSD Math
Definition: (Embeddings) An immersion ϕ : M → N of differentiable mani- folds is an embedding if ϕ is a homeomorphism of M onto its image ϕ(M) ⊂ N, where ϕ(M) ...
[6]
[PDF] 2 Regular curves in Rn - Durham University
Differential Geometry III, Term 1 (Section 2) ... The curve α is singular at α(u) if α/(u) = 0. (e) If α is a regular curve, we define the unit tangent vector.
[7]
[PDF] DISCRETE DIFFERENTIAL GEOMETRY - Keenan Crane
Regular Curve / Immersion. •A parameterized curve is regular (or immersed) if the differential is nonzero everywhere, i.e., if the curve “never slows to zero”.
[8]
None
Below is a merged summary of Chapter 1 on Reparametrization of Curves from *Differential Geometry of Curves and Surfaces* by Do Carmo. To retain all information from the provided summaries in a dense and organized manner, I will use a combination of narrative text and a table in CSV format for detailed examples and key points. This ensures comprehensive coverage while maintaining clarity and avoiding redundancy.
[9]
[PDF] Introduction to Differential Geometry
These are the types of maps that will arise most frequently in our study, for example. 1) F : R → R3: parameterized curve in space, F(t) = (x(t),y(t),z(t)),.
[10]
[PDF] math 147a: introduction to differential geometry
Definition 1.1. Let f : D ⊂ R2 → R. A level curve in R2 is a set of points. C = {(x, y) ∈ R2 | f(x, y) = c}. Example 1.1. The unit circle x2 + y2 = 1.<|control11|><|separator|>
[11]
Natural Parametric Equations -- from Wolfram MathWorld
The natural parametric equations of a curve are parametric equations that represent the curve in terms of a coordinate-independent parameter, generally arc ...
[12]
[PDF] Differential Geometry of Curves and Surfaces by Do Carmo.
If two regular curves have same image, they are related by reparametrization, since regular curves have a unique canonical reparametrization. Arc length ...
[13]
[PDF] DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
distance it travels along the ground is equal to the length of the circular arc subtended by the angle through which it has turned. That is, if the radius ...
[14]
[PDF] Lecture Notes 1 - 1 Curves
Aug 21, 2025 · Exercise 16 (Reparametrization by arclength). Show that every regu- lar curve α: [a, b] → Rn, may be reparametrized by arclength ( Hint: Define.
[15]
[PDF] THE LENGTH OF A PATH IN Rn IS INDEPENDENT OF ITS ...
Proposition 1. Show that the length of a differentiable curve in Rn is independent of its parameterization. The easiest way to argue this is simply to say ...Missing: invariance | Show results with:invariance
[16]
[PDF] Differential Geometry of Curves and Surfaces - UCSD Math
A continuous curve γ is called rectifiable if sup σ∈ (γ ) l(σ) <. ∞. Definition 1.4.2. The length of a rectifiable curve γ is defined as the least up- per ...
[17]
[PDF] Sharipov RA Course of Differential Geometry: the textbook
This book is a textbook for the basic course of differential geometry. It is recommended as an introductory material for this subject.
[18]
[PDF] The Fundamental Theorem for Curves in the n-Dimensional ...
The Frenet frame of a curve in En is a canonically defined equivariant lift of the curve in the Euclidean space to a curve in the group space allowing to apply ...
[19]
[PDF] Differential Geometry from the Frenet Point of View: Boundary ...
Frenet (in 1847) and, independently Serret (in 1851), introduced the idea of adapting a coordinate frame directly to a curve, rather than using extrinsic.<|control11|><|separator|>
[20]
[PDF] Parallel Transport Approach to Curve Framing 1 Introduction
Jan 11, 1995 · The Frenet frame, unfortunately, has the property that it is undefined when the curve is even momen- tarily straight (has vanishing curvature), ...<|control11|><|separator|>
[21]
Sur quelques formules relatives à la théorie des courbes ... - Numdam
Série 1 : Tome 16 (1851) · p. 193-207 · Suivant. Sur quelques formules relatives à la théorie des courbes à double courbure. Serret, J.-A. Journal de ...Missing: Mémoire géométrie
[22]
[PDF] F. FRENET - Sur les courbes à double courbure - Numdam
... 1847. J i. En un point M d'une courbe à double courbure on peut considérer trois droites, qui sont: la tangente, la normale principale, c'est-à-dire celle ...Missing: Essai théorie
[23]
[PDF] Frenet-Serret formulas and Torsion - Michael Sullivan
The three equations in the box below are called the Frenet-Serret formulas. dT ds. = κN. dN ds. = −κT + τB. dB ds. = −τN. Sometimes they are expressed in matrix ...
[24]
[PDF] The Frenet-Serret Formulas
The Frenet-Serret Formulas. September 13, 2006. We start with the formula we know by the definition: dT ds. = κN. We also defined. B = T × N. We know that B ...
[25]
[PDF] The Frenet–Serret formulas∗ - Brooklyn College
Jan 19, 2017 · The derivation of the Frenet–Serret formulas (14) shows the theoretical usefulness of arc-length parametrization. Re-parametrizing a curve with ...
[26]
Calculus III - Tangent, Normal and Binormal Vectors
Nov 16, 2022 · The unit normal vector is defined to be, →N(t)= →T′(t)∥∥→T′(t)∥∥ The unit normal is orthogonal (or normal, or perpendicular) to the unit tangent vector.Missing: differentiable | Show results with:differentiable
[27]
Differential Geometry - Brown Math
We choose a second vector, the Principal Normal Vector, by P(t) = T'(t)/|T'(t)|. Note that this is perpendicular to T(t) because T(t) was a vector of ...
[28]
[PDF] notes on acceleration and curvature - UMD MATH
When we normalize the velocity, we obtain the unit tangent vector in the same direction: ... parabola y = x 2 2. We shall use the parameterization t (t t 2 2).
[29]
[PDF] Basics of the Differential Geometry of Curves - UPenn CIS
In this chapter we consider parametric curves, and we introduce two important in- variants, curvature and torsion (in the case of a 3D curve).<|control11|><|separator|>
[30]
[PDF] 2.3 Geometry of curves: arclength, curvature, torsion
Curvature measures how rapidly a curve bends, while torsion describes how much it wobbling out of a plane. Curvature is the rate of tangent change along ...Missing: differentiable | Show results with:differentiable
[31]
None
### Summary of N-dimensional Frenet-Serret Frame
[32]
Geometry of curves in Rn from the local singular value decomposition
Jun 15, 2019 · The Frenet-Serret frame is given by the application of the Gram-Schmidt orthogonalization procedure to the derivatives of the curve γ ( t ) ∈ R ...
[33]
Higher Curvatures of Curves in Euclidean Space
Feb 5, 2018 · https://doi.org/10.1080/00029890.1966.11970818 · Citations · Metrics · Reprints & Permissions · View PDF (open in a new window) PDF (open ...
[34]
[PDF] Bertrand Curves Math 473 Introduction to Differential Geometry ...
Definition (1): Let α ∶ I ↦ R3 be unit speed curve. Let the curvature κ(t) > 0 and the torsion τ(t) ≠ 0 for all t ∈ I.The Curve α is called a Bertrand Curve ...
[35]
Bertrand curve - MATHCURVE.COM
Bertrand curves are the 3D curves the curvature and torsion of which are linked by an affine non linear relation.
[36]
[PDF] ON THE NATURAL LIFT CURVE AND THE BERTRAND MATE
Mar 30, 2018 · So, a circular helix is a Bertrand curve. Bertrand mates represent particular examples of offset curves [7], which are used in computer-aided.