Minimal curves of constant torsion

Abstract

The Griffiths formalism is applied find constant torsion curves which are extremal for arclength with respect variations preserving torsion, fixing the endpoints and the binormals at the endpoints. The critical curves are elastic rods of constant torsion, which are shown not realize certain boundary conditions. In the calculus of variations under nonholonomic constraints, one tries find the least energy trajectory among solutions of a given differential equation. The subject has its roots in the investigations of such classical questions as Pappus' problem and the Delaunay problem [6]. It is a standard part of optimal control theory, where such problems are investigated using the Pontrjagin maximum principle [12]. In recent years, the subject has come the attention of geometers again, with the investigations of sub-Riemannian geometry [13], but also with the arrival of a beautiful reformulation, due Griffiths and his collaborators [3, 9, 10], of the criticality conditions in coordinate-free form. The stated aim in Griffiths' 1983 book [9] is to get out for critical curves. In this note, we carry this out for the problem of length minimization among curves in ]R 3 of a fixed nonzero constant torsion. This is among the problems which Hsu [10] applied the Griffiths formalism, but here we go further, giving complete formulas for critical curves, and are able extract more information about what boundary values can and cannot be achieved. This is due the observation that the critical curves for this problem coincide exactly with the subset of Kirchhoff elastic rod centerlines having constant torsion, and the detailed description of these centerlines by Langer and Singer [11]. The constant torsion constraint is arrived at by considering the general case. Suppose we adapt an oriented orthornormal frame (T, U, V) along an oriented curve -y in R3, parametrized by arclength s, such that T is the unit tangent. The frame will satisfy generalized Frenet equations ds (V ) ( prO(V) If these vectors are regarded as attached a rigid object moving along -y, the functions p, r, y may be visualized as pitch, roll, and yaw, respectively. Received by the editors September 2, 1998. 2000 Mathematics Subject Classification. Primary 49K15, 53A04; Secondary 58A17, 58A30, 73C02.