scispace - formally typeset
Journal ArticleDOI

Curves of Constant Precession

Paul David Scofield
- 01 Jun 1995 - 
- Vol. 102, Iss: 6, pp 531-537
Reads0
Chats0
TLDR
In this paper, an arclength-parametrized closed-form solution of the natural equations for curves of constant precession was obtained through direct geometric analysis. But it is not a necessary condition that integral curves be closed.
Abstract
1. INTRODUCTION. Given initial position and direction, the flight-path of a ship in Euclidean space is completely determined by how much it turns and how much it twists at each odometer reading. This is an intuitive interpretation of the Fundamental Theorem for Space Curves, which states that curvature K and torsion , as functions of arclength s, determine a space curve uniquely up to rigid motion. This statement of the Fundamental Theorem ([14], §1-8) should be tempered with the reservations expressed by Nomizu [12] and Wong & Lai [15]. Given a parametric space curve, there are well-known formulae for the arclength, curvature, and torsion (as functions of the parameter). Given two functions of one parameter (potentially curvature and torsion parametrized by arc-length) one might like to find a parametrized space curve for which the two functions are the curvature and torsion. This activity, called "solving natural equations" ([14], §1-10), is generally achieved by solving Riccati equations like dw/ds = -iz/2 iKW + i7W /2. Although the solution generally exists, it usually cannot be obtained explicitly. Euler [6] found explicit integral formulae for plane curves (where z - O) through direct geometric analysis. Hoppe [9] developed a general method for solving the natural equations for space curves by solving Riccati equations through a complicated sequence of integral transformations. He digressed to obtain formulae for the tangent, normal, and binormal indicatrices for general helices and essentially for curves of constant precession. Enneper [5] obtained explicit closed-form solutions for helices on revolved conic sections through direct geometric analysis. A curve of constant precession is defined by the property that as the curve is traversed with unit speed, its centrode revolves about a fixed axis with constant angle and constant speed. In this paper we obtain an arclength-parametrized closed-form solution of the natural equations for curves of constant precession through direct geometric analysis. As part of this analysis, we obtain a new theorem for curves of constant precession analogous with Lancret's Theorem for general helices. We provide the first rendering of a curve of constant precession. We also note for the first time that curves of constant precession lie on circular hyperboloids of one sheet and have closure conditions that are simply related to their arclength, curvature, and torsion. These are 3-type curves, except one family of closed 2-type curves (when Z = 4,u; see [2], [3], and [1]). Given a closed C3 curve in space, it is rather obvious that the curvature and torsion functions will be periodic functions of the arclength, with period equal the total arclength. This is a necessary condition but, as the circular helices (K and z both constant) show, not a sufficient condition that integral curves be closed. Efimov [4] and Fenchel [7] independently formulated The Closed Curve Problem. Find (explicit) necessary and sufficient conditions that determine when, given two periodic functions K(S) and z(s) with the same period L, the integral curve is closed.

read more

Citations
More filters
Journal ArticleDOI

General helices and a theorem of Lancret

TL;DR: In this article, a theorem of Lancret for general helices in a 3-dimensional real-space-form is presented, which gives a relevant difference between hyperbolic and spherical geometries.
Journal ArticleDOI

On slant helix and its spherical indicatrix

TL;DR: It is obtained that the spherical images are spherical helices and it is shown that a curve of constant precession is a slant helix.
Journal ArticleDOI

A new version of Bishop frame and an application to spherical images

TL;DR: In this paper, a new version of Bishop frame using a common vector field as binormal vector field of a regular curve was introduced, which is called Type-2 Bishop Frame.

Special Smarandache Curves in the Euclidean Space

Ahmad T. Ali, +1 more
TL;DR: In this article, the authors introduce some special Smarandache curves in the Euclidean space and study Frenet-Serret invariants of a special case of the special case.
Journal ArticleDOI

A new approach on curves of constant precession

TL;DR: This paper investigates a curve whose spherical images are spherical slant helices and called it as a C - slant helix, obtaining the axis of the curve and Theorem 3.5 via the alternative moving frame and the Sabban frame, respectively.
References
More filters
Journal ArticleDOI

On the differential geometry of closed space curves

TL;DR: In this paper, the authors present a survey of the differential geometry of space curves with respect to the assumption that the curve is closed, and the results are often comparatively elementary and seem to be isolated.
Journal ArticleDOI

A differential-geometric criterion for a space curve to be closed

Abstract: In the present paper the author gives a necessary and sufficient condition to be satisfied by the curvature and torsion of a space curve in order to guarantee this curve to be closed (periodic). In the lectures delivered by Professor Shiing-Shen Chem at the Institute of Mathematics of Academia Sinica when he visited Peking in June of 1978, he raised the following question: What is the necessary and sufficient condition to be satisfied by the curvature and torsion, so that a space curve be a closed one? The aim of the present paper is to give an answer. Let s denote the arc length of a space curve (C) measured from a fixed point; and let k(s) > 0 and a(s) be the curvature and torsion of (C) respectively; let [eg,, edenote an orthonormal basis in the Euclidean space E3 of 3 dimensions, and we use X = x Iel + x2e2 + x3e3 to denote the position vector of a generic point. Let w be the total length of (C). When (C) is a closed curve, the position vector x(s) must be a periodic function of period w. Here "period" is understood in the usual sense. Then from the formulas Curvature k(s) = , Torsion a(s) = k-2(', x", x"') (x' = dx/&ds, etc.) we find k(s) and a(s) are also periodic of the same period. However, periodicity of k(s) and a(s) are not sufficient to guarantee a space curve to be closed. For instance, the circular helix provides a counterexample. In the following both k(s) and a(s) are assumed to be continuous and periodic of period w, the vector function xi(s) is therefore assumed of class C3 . Let (, ij, g denote the unit tangent, principal normal, and binormal vectors respectively at a generic point on the space curve (C). Then we have the classical Frenet-Serret formulas (1) d /ds =kr, dij-/ds= -kt +a, d s/dv=-q. Writing (, i1, g in coordinate form as 3 = , ij = i 1 7 = we find (4I, ml, t,), (2, 112, 2), (3, -3, T3) are three independent solutions of the following system of differential equations: (2) dqgl/d = kq2, dp2/ds = -k1 + up3, dqP3/dy =-OP2Received by the editors August 13, 1980 and, in revised form, December 23, 1980. 1980 Mathematics Subject Classification. Primary 53C40. O 1981 American Mathematical Society 0002-9939/81 /0000-0479/$02.25 357 This content downloaded from 207.46.13.128 on Wed, 07 Sep 2016 05:27:04 UTC All use subject to http://about.jstor.org/terms 358 HWANG CHENG-CHUNG Obviously, (2) is a special case of the general equations (3) dpi /dt = aiI(t)q91 + a12(t)qi2 + * * * +ain(t)qOn (i = 1, 2,... , n) where aij(t) are assumed to be continuous and periodic of period w. Let the initial conditions be q)(O) = X. For brevity, we write tF)2 [ al1 a12 . . . al 1 q)= , b(t)= a2I a22 -a2n . ~~~~an I an2 . . . a., 9)n Then ?D(t) is a continuous periodic matrix function of period w. Let us make the conventions fJ ?(X) dT = (f'aij(T) dT), an n x n matrix, and 1 zPl~~~IT(t, A) np2(t, X) Then the equation (3) may be abbreviated to the form dp/dt = I(t)q, qp(O) = X. (4) The equations (4) are equivalent to the integral equation T(t) = X + f'1(T)(T) dT, (5) for which both existence and uniqueness of solution are well known (for instance, see E. A. Coddington and N. Levinson, Theory of ordinary differential equations, McGraw-Hill, New York, 1955, p. 11), because continuity of ?D(t) has been assumed. Periodicity of q(t, X) may be represented by qT(t+ wX)=q(tX) (O 1, (E (n),)( t) f'J(T)( ,(n -1)?I)(T) dT. 0 Then ul(t) = {E + E (>(t)}X (E = unit matrix), u2(t) = {E + E AI(t) + (2)?(t))X un(t) = {E + E AI(t) + E(2)h(t) + + (n)(D(t)}X Letn +co.ThenT(t,X)= {E+ E?(F(t) + +&e(n) (t)+* }X, andhence f(F(t)qi(t, X) dt = ( f?(t) dt + f ((t)6E(t) dt + } {E f((c) + e(2)4(W() + .. . + (n+1)4(W() + ... where the matrix M(t) is defined by M(t) = ? (F(t) + e(2) I(t) + + f(n) )(t) REMARK. In the special case that 1' commutes with CO (for example, when ?'(t) is a constant matrix), the solution of the differential equation dp/dt = ?(t)T, T(O) = X can be written explicitly as (t) [exp(PAD)(t) ]X = [exp( (?(T) dT) [see, e.g., W. Hurewicz, Ordinary differential equations, M.I.T. Press, Cambridge, Mass., 1958, pp. 38-40]. In particular, the matrix M(t) is given by M(t) = (exp '(I(T) d) E This content downloaded from 207.46.13.128 on Wed, 07 Sep 2016 05:27:04 UTC All use subject to http://about.jstor.org/terms 360 HWANG CHENG-CHUNG (E = identity matrix).-This remark was added according to the suggestion of the referee, to whom the author wishes to express his deep gratitude. Applying our lemma, we obtain THEOREM I. The equations d / dt = (I(t)qT possess a nonvanishing periodic solution of period w, if and only if det(M(w)) = 0. In particular, in order that the equations dp/Idt = (F(t)qT possess n linearly independent periodic solutions of period co, the necessary and sufficient condition is that M(w) be a zero matrix. Now applying our Theorem I to the equations (2), then F 0 k(s) 0 ?J(s)= -k(s) 0 a(s) , O -a(s) 0 O k(t) dt O LE (s) = k(t) dt 0 fa(t) dt