Table of Contents
Fetching ...

Generalized Curvatures of Curves in $\mathbb{R}^n$

Lee-Peng Teo

TL;DR

This work develops an explicit, parameterization-robust method to compute the generalized curvatures $\\kappa_1,...,\\kappa_{n-1}$ of a curve $\\boldsymbol{\\gamma}:I\\to\\mathbb{R}^n$ of order $n-1$. It introduces the canonical matrix $\\mathbf{A}(t)$ and the Gram-Schmidt/QR perspective via $\\mathbf{A}(t)=\\mathbf{F}(t)\\mathbf{R}(t)$, then expresses the curvatures purely in terms of leading principal minors of $\\mathbf{B}(t)=\\mathbf{A}(t)^T\\mathbf{A}(t)$. The main result yields closed-form formulas: $\\kappa_1(t)=\\frac{\\sqrt{\\det\\mathbf{M}_2(t)}}{\\|\\boldsymbol{\\gamma}'(t)\\|^3}$, $\\kappa_i(t)=\\frac{\\sqrt{\\det\\mathbf{M}_{i+1}(t)\\det\\mathbf{M}_{i-1}(t)}}{\\|\\boldsymbol{\\gamma}'(t)\\|\\det\\mathbf{M}_i(t)}$ for $2\\le i\\le n-2$, and $\\kappa_{n-1}(t)=\\frac{\\det\\mathbf{A}(t)}{\\|\\boldsymbol{\\gamma}'(t)\\|\\det\\mathbf{M}_{n-1}(t)}\\sqrt{\\det\\mathbf{M}_{n-2}(t)}$, with sign information encoded by $\\det\\mathbf{A}(t)$. This provides an efficient, algebraic computation of curvatures from derivatives $\\boldsymbol{\\gamma}'(t),\\ldots,\\boldsymbol{\\gamma}^{(n)}(t)$ without performing Gram-Schmidt, and extends to piecewise-regular segments for general order. The results connect to classical 3D curvature and torsion as a special case and offer practical tools for high-dimensional curve analysis.

Abstract

For a curve $\boldsymbolγ:I\to\mathbb{R}^n$ of order $n-1$, we prove that the generalized curvatures $κ_1, \ldots, κ_{n-1}$ can be expressed in terms of the leading principal minors of the matrix $\mathbf{A}(t)^T\mathbf{A}(t)$, where $\mathbf{A}(t)$ is the $n\times n$ matrix whose $i$-th column is $\boldsymbolγ^{(i)}(t)$. This gives an efficient algorithm to calculate the curvatures.

Generalized Curvatures of Curves in $\mathbb{R}^n$

TL;DR

This work develops an explicit, parameterization-robust method to compute the generalized curvatures of a curve of order . It introduces the canonical matrix and the Gram-Schmidt/QR perspective via , then expresses the curvatures purely in terms of leading principal minors of . The main result yields closed-form formulas: , for , and , with sign information encoded by . This provides an efficient, algebraic computation of curvatures from derivatives without performing Gram-Schmidt, and extends to piecewise-regular segments for general order. The results connect to classical 3D curvature and torsion as a special case and offer practical tools for high-dimensional curve analysis.

Abstract

For a curve of order , we prove that the generalized curvatures can be expressed in terms of the leading principal minors of the matrix , where is the matrix whose -th column is . This gives an efficient algorithm to calculate the curvatures.

Paper Structure

This paper contains 4 sections, 14 theorems, 109 equations.

Key Result

Proposition 2.2

Let $n\geq 2$ and let $\mathbf{v}_1$, $\ldots$, $\mathbf{v}_{n-1}$ be vectors in $\mathbb{R}^n$. Then the generalized cross product $\mathscr{P}(\mathbf{v}_1, \ldots, \mathbf{v}_{n-1})$ is zero if and only if the set $\{\mathbf{v}_1, \ldots, \mathbf{v}_{n-1}\}$ is linearly dependent.

Theorems & Definitions (24)

  • Definition 2.1: Generalized Cross Product
  • Proposition 2.2
  • Proposition 2.3
  • Corollary 2.4
  • Corollary 2.5
  • Proposition 2.6
  • proof
  • Corollary 2.7
  • Corollary 2.8
  • Definition 2.9: The Canonical Matrix
  • ...and 14 more