Académique Documents
Professionnel Documents
Culture Documents
1993
b?
NPS-MA-93-013
THE CURVATURE OF
PLANE ELASTIC CURVES
by
Guido Brunnett
//
January 1993
Approved
FedDocs
D 208.14/2
NPS-MA-93-013
March 1993
r:
93943
Harrison Shull
Superintendent
Provost
in
Reproduction of
all
is
authorized.
^classified
CURiTY CLASS.f'CA'iQN OF THIS
PAGE
Form Approved
OMB No 0704-0188
lb
RESTRICTIVE
MARKINGS
Jnclassified
SECURITY CLASSIFICATION AUTHORITY
3.
DECLASSIFICATION
/DOWNGRADING SCHEDULE
NPS-MA-93-013
6b OFFICE
(If
laval
Postgraduate School
ADDRESS
{City, State,
and
SYMBOL
7a
applicable)
MA
ZIP Code)
7b
bnterey, CA 9 39 A3
ADDRESS
State,
(City.
Washington, DC
JPS-MA-93-013
i
8b OFFICE
ORGANIZATION
(If
SYMBOL
applicable)
MA
10
bnterey, CA 93943
PROGRAM
PROJECT
TASK
ELEMENT NO
NO
NO
vVORK UNIT
ACCESSION NO
uido Brunnett
a
TYPE OF REPORT
13b
TIME
COVERED
om 1-9 3
ndividual
14
to
3-93
DATE OF REPORT
Year.
Month. Day)
15
PAGE CO^NT
1L
93 Mar 17
SUPPLEMENTARY NOTATION
COSATi CODES
FIELD
GROUP
18
SUBJECT TERMS
Continue on reverse
if
necessary
and
identify by block
number)
SUB-GROUP
if
In this paper plane elastic curves are revisited from a viewpoint that emphasizes
urvature properties of these curves. The family of elastic curves is considered in
ependence of a tension parameter a and the squared golbal curvature maximum K.
It
s shown that for any elastic curve K is bigger than the tension parameter <T.
A
urvature analysis of the fundamental forms of the elastic curves is presented. A
ormula is established that gives the maximum turning angle of an elastica as a function
epending on K^ and a
Finally, it is shown that an elastic curve can be represented
s a linear combination of its curvature, arc length and energy function and that any
urve with this property is an elastica.
.
21
DTIC USERS
Unclassified
22b TELEPHONE (include Area Code)
22c
408-656-2758
1
S/N 0102-LF-014-6603
OFFICE
SYMBOl
MalEg
SECURITY CLASSIFICATION OF
^S
AG
The Curvature
Guido Brunnett
Department of Mathematics
Naval Postgraduate School
March
1993
25,
Abstract
In this paper plane elastic curves are revisited from a viewpoint
The family of
parameter a and
is
k^
is
maximum k^.
It is
shown that
formula
is
maximum
k^ and
a.
is
for
any
curvature
presented.
turning angle of an
Finally,
it
shown
is
curvature, arc length and energy function and that any curve with
this property
1
The
is
an elastica.
Introduction
search for Smoothing Algorithms in
CAGD
meaning.
The
classical
elastic materials.
example are
elastica
(critical
k (s)
cr
ds
min
Jo
The
in the
plane
considered to be variable.
is
the set of
all
C curves
cr is
set of
is
total length
x and
The
of i
constant.
[6])
satisfies
k"{s)
+ ^k 3 (s) + Kk{s) =
is
KeR.
0,
(1)
We will then
show that
any elastica the square of the curvature function has a global maximum
is bigger than the tension parameter a. The fundamental forms of
elastic curves first described by Euler are characterized by the values of the
parameters /c^ and a. A curvature analysis of these curves is presented.
for
k^ which
k^ and a
formula
for the
maximum
As the main
7r.
function E(s)
explicit
f k (s)
and can be used
elastica
The
turning
than
maximum
depending on K m and a.
its
elastica has a
ds.
for
elastica.
The curvature
of plane elastica
and two unit vectors
TpR 2 ,W
TqR
M :={x: [0,L]-+R
<E
*(0)
We
R + ,i
=
V,
x\L)
P, x{L)
*'(0)
Q,
for s
[0,1],
= W).
E + vL:=
K (s)
<rds
Jo
among
all
curves of
M where k
x.
The
integral
E=
2
/ k {s) ds
is
ergy of x on
The
[0, L).
total length
For x G
T(s)
given by
is
(cos(tf(s)), sin(*(s)))
s
where the function ^ with ty(s) := f k(s) ds gives the turning angle of
Using this notation the variational problem can be written as
x.
rL
min
W^s) + a
ds
*C~[0,L]./o
0,
$(L)
ty
G C[0,
cos
problem
is
some constants
A,/i
(see e.g. in
[3], [6]).
#' 2 (s)
R,
\K( 5 )
W'
(T
Acosty(s)
/isinty(s),
i.e.
By introducing
A
we
sin
V>,
F{y,V,s) =
for
'
with
ip
CS
<(s)
\s\n*(s)J
Jo
2a cos
the constants
4>
fi
2a
sin
<f>
V" =
Multiplying
(3)
where
k'
= -asm{V-<f>).
2acos(*
-<}>)
(4)
we
(3)
<j,
(2)
in
F((L),'(L),L) -
[7]).
of the curve
is
is
[2],
Thus,
*"(/,)
Comparing
(5)
k (L)
A cos Vf(L)
ft
sin
*(I) +
a.
(5)
A=
a.
Definition 1
tion k
some
An
where
ty
= 2acos(* -
+o
4>)
in [6] that
Theorem
2 If k
some constants
= 2acos($ -
^ and a
a,
(i)
if
<f>)
We
will
now show
that
0-
and only
+ \k 3 - \vk =
k"
Proof:
/c.
S
and $(s) := / K{s)ds, then
C 2 (R)
k
holds for
(6)
differential
(3).
for
is
if
a,(^ER
k
(1)
parameter a,
is
if
0.
(7)
k"
obtain
(ii)
= acos(ty
<p) in
4>)k.
we
(7).
be integrated to the
first
oder differential
equation
(K')
= C-(\/4)a 2
-(\/4)(K 2
it is
-a) 2
necessary that
:=C-(l/4)<7 2
>0
(8)
and
("
~ Y
<
2
1.
4a
The
function 6 defined by
:=(-l) n arccos(- 5?
with n
>
for '
and n
=
k
It
is
2 for
<
/c'
<J
+ a.
2\a\cos0
an integral of
(9)
k.
2
(8) together with the definition of a and (9) implies
(*')
Since sin
is
positive (negative)
a sin
if k' is
0.
negative (positive),
we obtain
K'=-\a\sm6.
Differentiating (9)
and substituting
k'
0'
Since
<a
^ and
<t>.
For
Lemma
2
/c
is
a constant
4>
such that
2|a|cos(^
<)
<7
(9).
K.
holds because of
even
vp
mum,
(10)
is
function
2
/c
If k is a solution of (7)
real line.
3
Proof: Since the function (1/2)(k an) is of the class C ] (R) the solutions of (7) can be extended to the whole real line.
To show that k 2 has a global maximum we observe first that (3) implies
the existence of a local extremum of k. This is because the assumption
for all s
means that ty is convex or concave and
k'(s) = ^"(s) /
therefore unbounded while according to (6) k' has no zeros only if ty is
bounded. Furthermore from (3) and (4) it is obvious that any local extremum
of k
is
a global extremum of k 2
We
*($)=
K{s)ds
V{s min )
'*min
yields that
ty
is
in
sumption because
is
maxima
for k
if
is
unbounded.
We now
a and express k
tension parameter
Theorem
a global
(i)
maximum
C 2 (R)
4 Let k
2
maximum
k^
=fi
in
terms of
k 2^ of k 2 and the
elliptic functions.
2
of k on R. Then the following statements hold:
l >
k has a zero
(ii)
if
k(s)
and only
= Km
if
k^ > 2a.
2
cn(y/(K m
In this case k
is
given by
-a)/2(s - sm ) k 2 )
(11)
(Hi)
2a k 2^ < K 2
<
k{s)
Proof: As a global
k 2^ for k 2^
<
= K m dn(K m {s - s m )/2
maximum point s m
of k
is
).
is
given by
(12)
C=-K m - -CK m
4
Hence
form
(*')'
= j(m"
)(
4 -2^).
(13)
As
(
all
Km ~
2
*
(i)
any k 2
that k ^
>
To express k
case that
2
/c
< 2a
while for k^
2<r
in
terms of
> 2a we
+ Km
2
term
2a) has
some
we procede
elliptic functions
substitute z 2
for
(/c^
2<r
5 implies
2n
as follows. In the
M^Jod-.rXl-z'Xl-fcV)
(14)
where
2
(14)
is
ment u
2-^)-
= -J^i^
a)s (see
z*(s)
The
relation k
2
= nm
{\
2
)
/(Kl
We
therefore obtain
-c)/2(s-3 n )\k 2 ).
then gives
(15)
is
2
In the case that K m
and obtain
sn
114).
2
= K 2m cn 2 (J(K m
-a)/2(s - s n )
k (s)
(see [8],p.l6). Since k
[l],p.
< 2a we
substitute z
(/c^
k 2 )/2(k 2ti
a)
in (14)
(*T = 1,4(1 -
- IV)
z')(l
where
2(K 2m
J_
k
'
a)
-2
*m
Hence
z
The
2
(
5)
sn (K m (s-s m )/2|/
2
).
relation
= K 2m (l-l 2 Z 2
yields
K
(see [8],p.l6)
(s)
= K m2 dn 2 (K m (s-s m )/2\l 2
differentiability of n.
Theorem
to
lemniscate function (a
is
an element of
If
[0,1].
only non-
With a
0) to a constant (a
1).
classification of the
[5], [7]).
Figure
a=
1.
0; /c(s)
1C
Figure
2.
-10
0.3; *(*)
= (^ coslemn(/cm (5 - s m )/2).
12
= Km cnfv/^ -
ct)/2(*
- sm )
Figure
Figure
4.
3.
3.
k2 )
Figure
-15
3.
-10
15
-1C
-15
-10
4.
-5
5.
-J
= * m cn^/c^ -
0.49; #c()
-5
Figure
Figure
10
10
= Km sech(/cm
15
0.62; (s)
Figure
^ dn(*m
(5
1;
k(s)
10
- s m )/2).
- 5m )/2 ).
JO
6.
- m )
I!
0.5; *(s)
a)/2(*
k^.
k 7 ).
In order to avoid
First
elastica
k (s m )
f"
k^ the
^.
i?
is
/ k
(cosV>,sinV0.
Theorem
maximum
global
Furthermore
C(rp)
[0,
L]
R2
is
an
extension of k on R,
2
on
ty
L)
and
[0,
of k
and
s m is a
number with
is
<p
(s) ds.
the angle in
[0,2tt[
with x'(0)
C{ti).
the fol-
(i)
= -}(!&-
a) sin(* -tp),
(ii)
K 2 (s)
(K m
-o)cOs(*(s)-v) +
(iii)
k(s)
(0)
= -|(i -
(iv) E(s)
= (4 -
Proof: Without
From lemma
a the
<
a)
a)
<
C'(<p
r?),
*), *(a)
x(0)
C(y>
loss of generality
2
maximum
occurs
iff
Cr,
>
x(0) >.
-ras,
a global
cos(ty(s m
<j>)
2a
x(s)
maximum
1, it
in (4)
is
positive.
follows that
= K 2m -a
and
<
K '(s)
= --{n 2m -
(i)
(r)(sin(tf
tf(s m )
and
t?)
+ 2*?r.
(ii).
To obtain
cos(<^
<&)
(iii)
cos(tf
we
rewrite
(i)
+ d) sin(v? +
as
d))
To
verify (iv)
K 2 (s)
(n m
we
write
(cos(*(5)),sin(*(s))).
(ii)
in
ti)
<r)(cos(tf
the form
cos(y?
and integrate.
11
t?)
sin(*
d) sm(ip
#))
<r
wave while dn
is
Theorem
3 has the
symmetry properties
is
bounded in the inflectional case a < ^ac^ and unbounded otherwise. Formula
(ii) of Theorem 3 can be used to determine the maximum turning angle of
an inflectional elastic curve.
Ji
*ma X = 2arccos(
2
Ifa> \K m
/
for any
a
-).
(16)
a k2
then
|*(<
be a zero of
k.
:r)-*(t)|
27r
/R.
Proof: Let
Then
symmetry prop-
it
rao+T/4
*mar
2|
R(s) ds\
2\V (s
T/4)
(l)|.
J so
With
(ii)
we
get
Vmax = 2 arccos
and therefore
-\-ip- arccos(
is
tp\
= sm
(16).
elliptic integral of
the
first
T=
kind. For
one obtains
|*(s m
T)
tf (s ro )|
dn(u|/
2
)
du
4arcsin(sn(/0)
2*.
Jo
the absolute value of the oriented angle between x'(0) and x'(L)
than
is
bigger
a and
7T.
Corollary 7 For an
inflectional elastica x
2<*k<l
cos(rp/2)
12
Proof: It follows from (16) that a turning angle bigger than tt can only
happen for positive a. The inflectional nature of x implies therefore the left
The
inequality.
or equal
<P mar
which
from the
fact that
has to be
%l>
less
given by (16).
is
D
As the main
result of this
Theorem
If x is
an
\p
Proof:
(kI
a)/(K 2n
d)
sin(y>
+ t?)A
a) and sin
\p
^ k^
parameter a
{) ~ Kl-*\-cos(<p +
where cos
its
E(s)
2k' I{k
2
ti
then
J+'WVn
as
a).
x(s)-x(0)
['
C(V{s)-
if
<p
tf)
ds
Jo
C{<p
d) I cos(*(s)
- ip) ds
Jo
C'Up
+ ti)
[* sm( V(s)-<p)ds
Jo
Applying
(iii)
and
(iv) of
Theorem
x(s)
x(0)
which
is
equivalent to (17).
The formulas
Formula
of
its
curve
Km"*
for
(p
follow from
if
k 2^
a.
Finally
(i)
and
(ii)
for 6
-r
*)2(k(s)
/c(0)))
0.
curvature function
is
3 yields
we show
/c^
=a
the elastic
Theorem
2
13
is
(2k',
if
-f
i?
a),
tt/2
x"
if
x'
and only
= ( - of -
(k
(2k", 2kk').
1, i.e.
a)
(18)
2k k"
Therefore either k
satisfies
k'k(k
(7)
or
If
If
k satisfies (7)
is
we
is
k
,
x")
zero,
0.
For an
constant.
is
[x
a)
is
curvature. Here
hence x
is
arc
length
we have
according
[X,X
The
K.
One
is
extremely useful
is
for
that (17)
Therefore (17) is
less expensive to evaluate. Furthermore (17) can be used to find piecewise
polynomial approximations of elastic curves based on a spline approximation
of the curvature function.
(cos
ty,
sin ^).
which approximate the curvature functions of plane elastica with high accuracy. Using these piecewise polynomial curvature functions together with
the
new representation
the elastica
itself.
References
[1]
Boehm,
Leipzig, 1910.
14
[2]
und Amelang,
Leipzig, 1949.
[3]
in prepa-
ration.
[5]
Euler, L.,
lineas
Lausanne, 1744.
[6]
SIAM
[7]
Review,
Love A.
E.,
Publications,
[8]
15, 1975,
New
Milne-Thompson,
lications,
120-133.
New
York, 1944.
L.
York, 1950.
15
DISTRIBUTION LIST
Director
(2)
Cameron
Station
Alexandria,
VA
22314
Research Office
(1)
Code 81
Naval Postgraduate School
Monterey, CA 93943
Library
(2)
Code 52
Naval Postgraduate School
Monterey, CA 93943
Professor Richard Franke
(1)
Department of Mathematics
Naval Postgraduate School
Monterey, CA 93943
Dr. Neil L. Gerr
(1)
Arlington,
(1)
Arlington,
Guido Brunnett
Department of Mathematics
Naval Postgraduate School
Monterey, CA 93943
(15)
3 2768 00336644 4