The bending of space curves into piecewise helical curves

advertisement
Pacific Journal of
Mathematics
THE BENDING OF SPACE CURVES INTO PIECEWISE
HELICAL CURVES
JAMES M C L EAN S LOSS
Vol. 32, No. 1
January 1970
PACIFIC JOURNAL OF MATHEMATICS
Vol. 32, No. 1, 1970
THE BENDING OF SPACE CURVES INTO
PIECEWISE HELICAL CURVES
JAMES M. SLOSS
It is the purpose of this paper to show that a regular C3
space curve Γ in a Euclidean 3-space, whose curvature /c Φ 0,
can be bent into a piecewise helix (i.e., a curve that is a helix
but for a finite number of corners) in such a way that the
piecewise helix remains within a tubular region about C of
arbitrarily small preassigned radius. Moreover, we shall show
that the bending can be carried out in such a way that either
(a) the piecewise helix is circular or (b) the piecewise helix
has the same curvature as Γ at corresponding points except
possibly at corners, of (c) if the torsion of Γ is nowhere zero,
then the piecewise helix has the same torsion as Γ at corresponding points except possibly at corners.
Also we shall show that if, in addition, Γ has a bounded fourth
derivative, then an explicit formula can be given for a sufficient number
n of helices that make up the piecewise helix, where n depends on Γ
and the radius of the tubular region about Γ. In this case, we shall
also show how the determination of the piecewise helix can be reduced
to a problem in simple integration.
1*
Bendability*
DEFINITION 1. A curve is called a piecewise helix if it consists
of a finite number of segments, each of which is a helix (i.e., a curve
whose tangent makes a constant angle with a fixed direction). A point
at which two consecutive helices meet will be called a corner of the
piecewise helix.
If, in particular, between corners the helix is a circular
helix, then the piecewise helix will be called a piecewise circular helix.
REMARK.
THEOREM 1. Let Γ: r(s), s — arc length, 0 ^ s ^ I, he a regular
C3[0, I]1 curve whose curvature κ(s) is nowhere zero. Then for any
given e > 0
(a) there exists a piecewise circular helix Γ*: fef(s), s — arc length,
0 ^ s ^ ϊ, such that:
\r(s) - h*(s)\ < ε ,
1
3
0^ s ^ I
(I.e., r(s) can be extended to lie in C on some open set containing 0 ^ s 5Ξ I.)
231
232
JAMES M. SLOSS
(b) there exists
0 ^ s <Ξ; I, such that:
a
piecewise
helix
Γf: h*(s), s = arc
length,
0^ s ^ ί
\r(s) - h*(s)\ < ε ,
ami JΓ2* Λαs £/&e same curvature as Γ at corresponding points, except
possibly at the corners of hf(s)\
(c) provided the torsion τ(s) is nowhere zero, there exists a
piecewise helix Γ*: hf(s), s = arc length, 0 <ί s ^ I, such that:
\r(s) - /&3*(s)| < e ,
and Γ} has the same torsion as Γ at corresponding
possibly at corners of ht(s).
REMARK.
0
^s^l
points,
except
In each case the curve Γ is "bent" into a piecewise
helix.
Proof. We shall prove (b) and indicate what minor modifications
are necessary to prove (a) and (c). Let κ{s) and τ(s) be the curvature
and torsion respectively of Γ.
Then φ) e C^O, I] and τ(s) e C°[0, I]
since r(s) e C3[0, £]. By hypothesis, rc(s) Φ 0; therefore,
is continuous and thus uniformly continuous on [0, I].
(1.1)
I κ(έ) I ^ κmκ
Let
on 0 ^ s
and
(1.2)
and choose d(ε) > 0 such that
(1.3)
|/(s 2 )
provided | s2 — s t | ^ d, where
a = </cmax?V6 exp {i* m «i/2(l + /Lx)})" 1 .
(1.4)
Let
n — n(ε) = smallest integer ^ —
δ
and
Jo = {s: 0 ^ s ^ d}
(1.4.1)
/,- = {s: iδ < s ^ (i + 1)3} ,
J,_! = {s: (TO - l)δ < s ^ 1} .
i = 1, 2,
,» - 2
PIECEWISE HELICAL CURVES
233
Then 7,(0 ^ j <Ξ n — 1) form a disjoint covering of [0,1], each of length
Let
(1.5)
τ,(β) = fjφ),
β e J, ,
i = 0,1,
,n - 1
where
f
=
J/IO" + 1)«] for i - 0,1, .. , n - 2 .
for j = n — 1
By the fundamental theorem for space curves there exists a unique
curve hj(s), s e /,-, for which:
( i ) its curvature and torsion are respectively κ(s) and TS(S) as
denned by (1.5), and
(ii) its position h3(s), tangent ί3 (s), principal normal %(s) and
binomial bj(s) satisfy the initial conditions:
(1.6)
= φ'δ)
htfδ) = r(jd), tj(jδ) = eAJ8), ns(j8) = e»(jδ),
where ejβ), ez(s) and e3(s) are the tangent, principal normal and binormal
of r(s) respectively, and s is the arc length parameter of hs.
Moreover, if
0
(1.7)
Φs(s) =
1
Λ(«)J
1
0
0
/,
-/,
oj
then Φj(s) satisfies the differential equation:
(1.8)
Φ'M) = KWAJΦM
.
Also, because TJ(S)/K(S) = f} = constant on 7 i( hj(s) is a helix on JΓ, .
By the Frenet formulae for Γ, we have:
ψ'(s) = /c(e)A(e)y(e),
(1.9)
0
where
(1.10)
Ψ(8) =
Φ)
, A(8) =
0
-1
.0
1
0
-/(«)
0
f(s)
0.
Considering both (1.8) and (1.9) as differential equations on Is, we
obtain:
(1.11)
Φj(s) =
Φj(j
58
i = 0,1,
,n - 1
234
JAMES M. SLOSS
and
(1.12)
*® =
¥
H
^
j = 0,1,
••-,%-!
Since by (1.6) Φj(jδ) = Ψ(jδ), we see that if
II(C«)II = / Σ ^ - ,
then
| | f ( s ) - Φ,(s)|| ^
(1 18)
'
|/c(ί)| | | A ( ί ) - A , | |
+V
J jδ
\\¥(t)\\dt
£ί
But by (1.7), (1.10), and (1.3)
11 A(ί) - A, 11 = l/2[/(ί) - / 3 ]2 < i/2αe
for ί e /,-
Also we have
l|y(ί)|| = VΎ
and by (1.7)
11 A, 11 = 1/2(1 + /)) ^ 1/2(1 + /Lx)
Thus
(1.14)
|| ¥(s) - 0,(8) || < ilίδeα: + ivΓ || Ψ(t) - Φf(t) || d ί ,
Ji'δ
where
N = κm
Let
C = sup||?Γ(ί)-Φi(ί)||,
telj
then by (1.14)
(1.15)
|| ¥(s) - Φd(s)\\ < Mδεa + NC(s - jδ)
from which we see upon combining (1.14) and (1.15) that
β e /,
PIECEWISE HELICAL CURVES
235
l|y(β)-0,(8)11
< AfδeαΓl + N(s - jδ)
(1.16)
, (s -
+N
2!
jδ)k+1
k ( s
~
m
Mdsae
Mlεaem
by the definition (1.4) of a.
If we let
Φ*(β) =
t(s) n(s)
, s e I*,
i = o , l , ••-,% = l ,
then Φ*(s) is piecewise continuous on [0, I] with discontinuities possibly
at
j = 0,1, 2
s = jδ ,
, n — 1,
and by (1.16) since /,• is a cover of [0, I],
(1.17)
|| y(β) - Φ*(β) || < e/ί
for 0 ^ s ^ {.
Let
(1.18)
h*(s) = r(0) + [t(σ)dσ ,
for 0 ^ s ^ I .
Jo
Then A*(s) is a piecewise helix Γξ for which
for s e Iit j = 0,1, . , n - 1 .
h*'(s) = h'ά{s) ,
Thus for 0 g s ^ Z:
I »•(«) — Λ*(β) I ^ Γ I ^(β) —
Jo
^
Jo
l|y(8)-0*(8)||d8
<ε
by (1.17).
Next we note that s is the arc length of h*(s) since
for s e / , .
Moreover on the interior of I5:
I h*"(s) I = I h'/(s) I = curvature = φ)
JAMES M. SLOSS
236
by construction of hj(s).
This completes the proof of part (b). For the proof of part (a)
and part (c), only obvious slight modifications are necessary. In part
(a), we need only the additional fact that a helix is circular if the
curvature and torsion are both constant.
2* Explicit results*
derivative we have:
If we allow r(s) to have one more bounded
THEOREM 2. // in addition to the assumptions of Theorem 1, we
also assume that r(s) has a bounded fourth derivative on [0, I], then
we can choose n(ε) in part 2 to be
a*l
n(ε) — smallest integer > ——
(2.1)
as
where
(2.2)
a = <<£maxZV 6 exp {k max l/2(l + fL*
r' jr" x r"") _ 3[r"' r"][r' (r" x r'")]
<g*,
O ^ s ^ l
,
(2.3)
REMARK.
A similar result holds for parts (a) and (c).
Proof. Since
\*V — i
\ /
V /J
and
_ r '.(r» x r "')
the expression in the first inequality in (2.3) is simply the derivative of
Thus
g*[s2
If we choose
(2.4)
δ =
aε
-
PIECEWISE HELICAL CURVES
237
where a is given by (2.2) = (1.4), then
\f(s2) - / ( * ) !
whenever |s 2 - sλ\ < δ.
gives the result since
<aε
This, by the proof of part (b) of Theorem 1,
a*l
I
n(e) = smallest integer > — — = — .
aε
o
THEOREM 3. Let Γ: r(s), s = arc length, 0 <: s ^ I, be a regular
space curve with bounded fourth derivative and nowhere-zero curvature. Denote the curvature, torsion, tangent, principal normal and
binormal of Γ by /c(s), τ(s), e^s), e2(s) and β8(s). For any given ε > 0,
let n(ε), δ, and I5 (j = 0, 1,
, n) be given by (2.1), (2.4) and (1.4.1),
respectively.
Put
tj(s) = ^ - { [ / | + cos (gd(s)™>)]ei(jδ) + [m sin (gj(s)m)]e2(jδ)
m2
/ y [ - cos
where
)<?]}, m= + Vl + f'U gό{s) = \ fc(σ)dσ
and let
t(s) = tj(s), s e Iά, j = 0, 1,
,n .
Then the curve
Γ*: h*(s) = r(0) + I t(σ)dσ, s = arc length, 0 <; s ^ I ,
Jo
is α piecewise helix such that
\r(8)-h*(8)\<
and Γ* has the same curvature
possibly at the corners.
Proof.
e,0^s^l,
as Γ at corresponding
From (1.7)
nd(s)
satisfies the system of differential equations
points
except
JAMES M. SLOSS
238
Φ's{8) =
(1.8)
where A3- is given by (1.7).
Ψ(jδ) is given by
on I, ,
φ)AjΦj(s)
The solution of (1.8) for which Φ3-(Jδ) =
Φ3-(s) = egi{s)Aiψ{jδ)
.
The eigenvalues of A3 are 0, ίm and — ίm and the corresponding
eigenvectors are:
Γ 1
1
0
ίm
1
_ -ΛJ
— im
Also the matrix T = {TX1 T2y T3) has the inverse
"2/y
0
1
—im
—/y
1
ίm
—/,-_
2m 2
2
Thus
where
0
0
0 "
0
im
0
0
0
-im
and
| + c o s ^ (s)m, m sin ^
m
From this it follows that
'tj(s)'
nά{s)
"[/? + cos gj&mfaijδ)
+ [m sin g3 (s)m]e2{jδ)
x
which gives (2.5) and the theorem is proved.
- cos g3 (s)m]ez(jδ)'
PIECEWISE HELICAL CURVES
239
By using the definition of torsion as given by Hartman
and Wintner [1], p. 771, [3] p. 202, the continuity requirement of
Theorem 1 can be relaxed from C3 to C2. A question of further interest would be to consider the bending of normal curves, see for example, Nomizu [2] and Wong and Lai [4].
REMARKS.
BIBLIOGRAPHY
1. P. Hartman and A. Wintner, On the fundamental equations of differential geometry
Amer. J. Math. 72 (1950), 757-774.
2. K. Nomizu, On Frenet equations for curves of class C°°, Tohoku J. Math. 11 (1959),
106-112.
3. A. Wintner, On the infinitesimal geometry of curves, Amer. J. Math. 75 (1953).
4. Y. C. Wong and H. F. Lai, A critical examination of the theory of curves in three
dimensional differential geometry, Tohoku J. Math. 19 (1967), 1-31.
Received March 17, 1969, and revised form June 13, 1969. The author wishes to
acknowledge support for this research by the National Aeronautics Space Administration, NASA Grant NGR 05-010-008.
UNIVERSITY OF CALIFORNIA
SANTA BARBARA, CALIFORNIA
PACIFIC JOURNAL OF MATHEMATICS
EDITORS
H. SAMELSON
J. DUGUNDJI
Department of Mathematics
University of Southern California
Los Angeles, California 90007
Stanford University
Stanford, California 94305
RICHARD P I E R C E
BASIL GORDON*
University of Washington
Seattle, Washington 98105
University of California
Los Angeles, California 90024
ASSOCIATE EDITORS
E. F. BECKENBACH
B. H. NEUMANN
F. WOLF
K. YOSHIDA
SUPPORTING INSTITUTIONS
UNIVERSITY OF BRITISH COLUMBIA
CALIFORNIA INSTITUTE OF TECHNOLOGY
UNIVERSITY OF CALIFORNIA
MONTANA STATE UNIVERSITY
UNIVERSITY OF NEVADA
NEW MEXICO STATE UNIVERSITY
OREGON STATE UNIVERSITY
UNIVERSITY OF OREGON
OSAKA UNIVERSITY
UNIVERSITY OF SOUTHERN CALIFORNIA
STANFORD UNIVERSITY
UNIVERSITY OF TOKYO
UNIVERSITY OF UTAH
WASHINGTON STATE UNIVERSITY
UNIVERSITY OF WASHINGTON
*
*
*
AMERICAN MATHEMATICAL SOCIETY
CHEVRON RESEARCH CORPORATION
TRW SYSTEMS
NAVAL WEAPONS CENTER
Printed in Japan by International Academic Printing Co., Ltd., Tokyo, Japan
Pacific Journal of Mathematics
Vol. 32, No. 1
January, 1970
Robert Alexander Adams, Compact Sobolev imbeddings for unbounded
domains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bernhard Amberg, Groups with maximum conditions . . . . . . . . . . . . . . . . . . . . .
Tom M. (Mike) Apostol, Möbius functions of order k . . . . . . . . . . . . . . . . . . . . .
Stefan Bergman, On an initial value problem in the theory of
two-dimensional transonic flow patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Geoffrey David Downs Creede, Concerning semi-stratifiable spaces . . . . . . .
Edmond Dale Dixon, Matric polynomials which are higher
commutators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R. L. Duncan, Some continuity properties of the Schnirelmann density.
II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Peter Larkin Duren and Allen Lowell Shields, Coefficient multipliers of H p
and B p spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hector O. Fattorini, On a class of differential equations for vector-valued
distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Charles Hallahan, Stability theorems for Lie algebras of derivations. . . . . . . .
Heinz Helfenstein, Local isometries of flat tori . . . . . . . . . . . . . . . . . . . . . . . . . . .
Gerald J. Janusz, Some remarks on Clifford’s theorem and the Schur
index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Joe W. Jenkins, Symmetry and nonsymmetry in the group algebras of
discrete groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Herbert Frederick Kreimer, Jr., Outer Galois theory for separable
algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
D. G. Larman and P. Mani, On visual hulls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
R. Robert Laxton, On groups of linear recurrences. II. Elements of finite
order . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Dong Hoon Lee, The adjoint group of Lie groups . . . . . . . . . . . . . . . . . . . . . . . .
James B. Lucke, Commutativity in locally compact rings . . . . . . . . . . . . . . . . .
Charles Harris Scanlon, Rings of functions with certain Lipschitz
properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Binyamin Schwarz, Totally positive differential systems . . . . . . . . . . . . . . . . . . .
James McLean Sloss, The bending of space curves into piecewise helical
curves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
James D. Stafney, Analytic interpolation of certain multiplier spaces . . . . . . .
Patrick Noble Stewart, Semi-simple radical classes . . . . . . . . . . . . . . . . . . . . . . .
Hiroyuki Tachikawa, On left QF − 3 rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Glenn Francis Webb, Product integral representation of time dependent
nonlinear evolution equations in Banach spaces . . . . . . . . . . . . . . . . . . . . .
1
9
21
29
47
55
65
69
79
105
113
119
131
147
157
173
181
187
197
203
231
241
249
255
269
Download