Darboux vector

Darboux vector

In differential geometry, especially the theory of space curves, the Darboux vector is the areal velocity vector of the Frenet frame of a space curve. It is named after Gaston Darboux who discovered it. It is also called angular momentum vector, because it is directly proportional to angular momentum.

In terms of the Frenet-Serret apparatus, the Darboux vector ω can be expressed as

 \boldsymbol{\omega} = \tau \mathbf{T} + \kappa \mathbf{B} \qquad \qquad (1)

and it has the following symmetrical properties:

 \boldsymbol{\omega} \times \mathbf{T} = \mathbf{T'},
 \boldsymbol{\omega} \times \mathbf{N} = \mathbf{N'},
 \boldsymbol{\omega} \times \mathbf{B} = \mathbf{B'},

which can be derived from Equation (1) by means of the Frenet-Serret theorem (or vice versa).

Let a rigid object move along a regular curve described parametrically by β(t). This object has its own intrinsic coordinate system. As the object moves along the curve, let its intrinsic coordinate system keep itself aligned with the curve's Frenet frame. As it does so, the object's motion will be described by two vectors: a translation vector, and a rotation vector ω, which is an areal velocity vector: the Darboux vector.

Note that this rotation is kinematic, rather than physical, because usually when a rigid object moves freely in space its rotation is independent of its translation. The exception would be if the object's rotation is physically constrained to align itself with the object's translation, as is the case with the cart of a roller coaster.

Consider the rigid object moving smoothly along the regular curve. Once the translation is "factored out", the object is seen to rotate the same way as its Frenet frame. The total rotation of the Frenet frame is the combination of the rotations of each of the three Frenet vectors:

 \boldsymbol{\omega} = \boldsymbol{\omega}_\mathbf{T} + \boldsymbol{\omega}_\mathbf{N} + \boldsymbol{\omega}_\mathbf{B}.

Each Frenet vector moves about an "origin" which is the centre of the rigid object (pick some point within the object and call it its centre). The areal velocity of the tangent vector is:

 \boldsymbol{\omega}_\mathbf{T} = \lim_{\Delta t \rightarrow 0} {\mathbf{T}(t) \times \mathbf{T}(t + \Delta t) \over 2 \, \Delta t}
 = {\mathbf{T}(t) \times \mathbf{T'}(t) \over 2}.


 \boldsymbol{\omega}_\mathbf{N} = {1 \over 2} \ \mathbf{N}(t) \times \mathbf{N'}(t),
 \boldsymbol{\omega}_\mathbf{B} = {1 \over 2} \ \mathbf{B}(t) \times \mathbf{B'}(t).

Now apply the Frenet-Serret theorem to find the areal velocity components:

 \boldsymbol{\omega}_\mathbf{T} = {1\over 2} \mathbf{T} \times \mathbf{T'} = {1\over 2}\kappa \mathbf{T} \times \mathbf{N} = {1\over 2}\kappa \mathbf{B}
 \boldsymbol{\omega}_\mathbf{N} = {1\over 2}\mathbf{N} \times \mathbf{N'} = {1\over 2}(-\kappa \mathbf{N} \times \mathbf{T} + \tau \mathbf{N} \times \mathbf{B}) = {1\over 2}(\kappa \mathbf{B} + \tau \mathbf{T})
 \boldsymbol{\omega}_\mathbf{B} = {1\over 2}\mathbf{B} \times \mathbf{B'} = -{1\over 2}\tau \mathbf{B} \times \mathbf{N} = {1\over 2}\tau \mathbf{T}

so that

 \boldsymbol{\omega} = {1\over 2}\kappa \mathbf{B} + {1\over 2}(\kappa \mathbf{B} + \tau \mathbf{T}) + {1\over 2}\tau \mathbf{T} = \kappa \mathbf{B} + \tau \mathbf{T},

as claimed.

The Darboux vector provides a concise way of interpreting curvature κ and torsion τ geometrically: curvature is the measure of the rotation of the Frenet frame about the binormal unit vector, whereas torsion is the measure of the rotation of the Frenet frame about the tangent unit vector.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Darboux frame — In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non umbilic point of a surface …   Wikipedia

  • Darboux derivative — The Darboux derivative of a map between a manifold and a Lie group is a variant of the standard derivative. In a certain sense, it is arguably a more natural generalization of the single variable derivative. It allows a generalization of the… …   Wikipedia

  • Darboux basis — A Darboux basis may refer either to: A Darboux basis of a symplectic vector space In differential geometry, a Darboux frame on a surface. A Darboux tangent in the dovetail joint. This disambiguation page lists articles associated with the same… …   Wikipedia

  • Jean Gaston Darboux — Born August 14, 1842(1842 08 14 …   Wikipedia

  • Jean Gaston Darboux — Nacimiento 14 de agosto de …   Wikipedia Español

  • Time dependent vector field — In mathematics, a time dependent vector field is a construction in vector calculus which generalizes the concept of vector fields. It can be thought of as a vector field which moves as time passes. For every instant of time, it associates a… …   Wikipedia

  • Symplectic vector space — In mathematics, a symplectic vector space is a vector space V equipped with a nondegenerate, skew symmetric, bilinear form omega; called the symplectic form. Explicitly, a symplectic form is a bilinear form omega; : V times; V rarr; R which is *… …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia