Sie sind auf Seite 1von 20

Helicity and the Calugareanu Invariant

Author(s): H. K. Moffatt and Renzo L. Ricca


Source: Proceedings: Mathematical and Physical Sciences, Vol. 439, No. 1906 (Nov. 9, 1992), pp.
411-429
Published by: The Royal Society
Stable URL: http://www.jstor.org/stable/52228
Accessed: 04-08-2015 16:58 UTC

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://www.jstor.org/page/
info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content
in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship.
For more information about JSTOR, please contact support@jstor.org.

The Royal Society is collaborating with JSTOR to digitize, preserve and extend access to Proceedings: Mathematical and
Physical Sciences.

http://www.jstor.org

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

Helicity and the Calugareanu invariantt


BY H. K. MOFFATT AND RENZO L. RICCAt
DepartmentofApplied Mathematicsand TheoreticalPhysics, Silver Street,
CambridgeCB3 9EW, U.K.

The helicityof a localized solenoidal vector field(i.e. the integratedscalar product of


the fieldand its vector potential) is known to be a conserved quantity under 'frozen
field' distortionofthe ambient medium. In this paper we presenta numberofresults
concerningthe helicityof linked and knotted fluxtubes, particularlyas regards the
topological interpretationof helicityin terms of the Gauss linkingnumber and its
limitingform(the CMalugareanu
invariant). The helicityof a single knotted fluxtube
is shown to be intimatelyrelated to the CMalugareanu
invariant and a new and direct
derivation of this topological invariant from the invariance of helicity is given.
Helicity is decomposed into writheand twist contributions,the writhecontribution
involving the Gauss integral (for definition,see equation (4.8)), which admits
interpretationin terms of the sum of signed crossingsof the knot, averaged over all
projections. Part of the twist contributionis shown to be associated with the torsion
of the knot and part with what may be described as 'intrinsictwist' of the fieldlines
in the flux tube around the knot (see equations (5.13) and (5.15)). The generic
behaviour associated with the deformationof the knot througha configurationwith
points of inflexion(points at which the curvaturevanishes) is analysed and the role
ofthe twistparameteris discussed. The derivationofthe CMalugareanu
invariantfrom
firstprinciplesof fluidmechanics provides a good demonstrationof the relevance of
fluiddynamical techniques to topological problems.

1. Introduction
The purpose of this paper is to gather togethera number of results concerningthe
heticityX#of an arbitrarysolenoidal vector fieldB(x) confinedto knotted or linked
tube-like structures, particularly as regards its topological interpretation. This
when the fieldB is confinedto two linked oriented
interpretationis straightforward
fluxtubes carryingfluxes01 and 02: provided each tube is unknottedand the field
lines withineach tube are unlinkedclosed curves circulatingonce parallel to the tube
axis, the helicityis given by

Ye = 2n0>l 02,

where n (an integer,positive, negative or zero) is the (Gauss) linkingnumber of the


two tubes (Moreau 1961; Moffatt1969). If, however,B is confinedto a singleknotted
t This paper was accepted as a rapid communication.
I Presentaddress: Departmentof Mathematics,UniversityCollegeLondon, GowerStreet,London WClE
6BT, U.K.
Proc. R. Soc. Lond. A (1992) 439, 411-429
Printedin GreatBritain

( 1992 The Royal Society


411

16

Vol. 439. A

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

H. K. Moffattand R. L. Ricca

412

fluxtube with flux0, then the helicityis related to the topology ofthe knot in a more
subtle way. On purely dimensional grounds, a result of the form
XY = h02,

((1.2)

where h is a real number determinedpartly by the topology of the knot and partly
by the twist of the fieldB within the knot tube, is to be expected. Since this twist
can be arbitrarilyprescribed(equivalent to an arbitrary'framing' of the knot), the
number h can take any value, positive or negative. Nevertheless,the fact that h is
then invariant under topological deformationof the knot tube and the fieldwithin
it, does carry some importantinformationabout the knot itself.
This type of problem appears to have been firstaddressed by Calugareanu (1959,
1961; hereafter referred to as C59 and C61). Calugareanu considered two
neighbouringclosed curves C, C* formingthe boundaries of a (possibly knotted)
ribbon of small spanwise width e, and showed that the linkingnumbern of C and C*
can be expressed in the form
n = 0" + !7 + X
(1.3)
(this equation is given at the end of p. 613 of C61), where f and Y are respectively
the writheand the normalized total torsion of C (fordefinitionof these quantities,
see (4.8) and (5.13) below), and X is an integerrepresentingthe numberof rotations
of the unit spanwise vector N on the ribbon relative to the Frenet pair (n,b) (unit
principal normal and unit binormal) in one passage round C. For the moment,we
simply note that Y and X are well definedonly if C has no point of inflexion(i.e.
no point at which the curvaturevanishes). If C is continuouslydeformedthroughan
inflexionalconfiguration(i.e. througha state that does contain a point of inflexion)
then, as will be shown in ?6 below, S is discontinuous by ? 1, but X is
simultaneouslydiscontinuousby an equal and opposite amount 411 as a resultofthe
discontinuous behaviour of the Frenet pair (n, b) in going throughthe inflexion,so
that the sum 7 ?+X does vary continuously.
The difficulty
associated with inflexionpoints was recognizedby Calugareanu (see
the long footnote on p. 8 of C59) and was to some extent resolved through
consideration of a particular example of deformation through an inflexional
configurationin C61 (pp. 616-617). Deformations of this type were described as
'degenerate' by Pohl (1968, p. 83); in fact,as pointed out by Ricca & Moffatt(1992),
any deformationwhose projection on any plane involves a type I Reidemeistermove
(see, forexample, Kauffman 1991,p. 16) must involve passage throughan inflexional
configuration.General deformations(or 'ambient isotopies') do thereforetypically
involve such passage and consideration of the associated behaviour of Y and X
cannot be avoided.
The concept of the self-linkingnumberSL of a closed curve C having no points of
vanishing curvaturewas introducedby Pohl (1968). SL is definedas half the sum of
the indices of the cross-tangentsof C (i.e. the tangents of C which intersectC in a
point distinctfromthe point of tangency). Pohl showed that SL is an integer,and
he proved that
SL = Ir +,7.
(1.4)
Under regular isotopy (i.e. continuous deformationof C not passing through any
inflexionalconfiguration),SL is invariantso that Pohl's resultprovidesan alternative
proof of the invariance under regular isotopy of # +?F, as proved in C59. Pohl's
work was extended to higher dimensions by White (1969), who again restricted
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

Heticityand theCaltugareanutnvartant

413

consideration to regular isotopy (which he described (p. 179) as 'non-degenerate


isotopy').
A third strand of inquiry was introduced by Fuller (1971) who definedthe total
twist number Tw for a ribbon by

Tw -2

(N' xN) tds,

(1.5)

where N' - dN/ds. It is easy to show (see ?5 below) that

Tw =J' + X,

(1.6)

(a result nowhere actually stated by Fuller). Fuller then definesthe writhe f'through
IF =
(1.7)
n-Tw,
wheren is the linkingnumberof the curves C, C* bounding the ribbon,but nowhere
does he prove that this F is the same as that definedby the Gauss integral(equation
(4.8) below). This identificationis however established by Ca]ugareanu's result (1.3)
in conjunction with (1.6). The definition(1.5) of Tw provides a quantity which
evidently varies continuouslyunder all continuous deformationsof the ribbon (i.e.
under ambient isotopy).
Curiously, Fuller (1972), in a paper dedicated to Calugareanu (on his 70th
?+ Tw, although this
anniversary),gives White (1969) the creditforthe resultn =
result (with Tw = Y + X ) can be found clearlystated, and coupled with a tentative
discussion of the role of inflexionpoints, in C61. White's achievement was to place
this result in the wider context of differentiablemanifoldsof arbitrarydimension;
but the theoremin the form(1.3), or in the equivalent form
n =K+Tw

(1.8)

should surely be described as Calugareanu's theorem.


We feel it necessary to emphasize this point because in some more recent papers
and text books, Calugareanu is given less than due creditforhis achievement.Thus,
for example, Pohl (1980) describes (1.8) as 'White's formula', and only rather
grudgingly states that 'White's formula was actually put forward by Georges
Calugareanu (1961), originally,for curves C having nowhere vanishing curvature.
This proofwas very complicated and his formulationconfusing...'. We question this
judgement and would simply reiteratethat Calugareanu (1961) explicitlyconsiders
the zero curvature,or inflexional,problem,whereas White (1969) explicitlyexcludes
such considerations.A general misunderstandingof Calugareanu's contributionhas
gradually led people to referto equation (1.8) as 'White's theorem', so that even in
text books (e.g. Kauffman 1987, p. 18; 1991, p. 489), referencesto C59 and C61 have
gradually disappeared.
Our aim in the present paper is to show that all of these results can be obtained
in a straightforwardmanner starting from the helicity invariant of classical fluid
dynamics. The link between helicityand the Calugareanu invariantwas conjectured
by Moffatt(1981) and was developed on the basis ofthe result (1.8) by Berger & Field
(1984). However, a direct derivation of (1.8) fromthe invariance of helicityhas not
previouslybeen given. We provide such a directproof in ??2-6 of this paper. First,
in ? 2, basic resultsconcerningthe helicityof linked fluxtubes are stated. Then in ? 3,
it is shown that fora knotted fluxtube constructedin such a way that the fieldlines
are closed satellites of C, each pair of fieldlines having linkingnumbern, the helicity
Proc. R. Soc. Lond. A (1992)
16-2

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

414

H. K. Moffattand R. L. Ricca

is given by JX = nO2 (the proofwas given by Ricca & Moffatt(1992), but is repeated
here for completeness). In ?4, the helicity is decomposed into writhe and twist
contributions,the writhe contributioninvolving the Gauss integral (4.8), which
admits interpretationin termsof the sum of signed crossingsof C averaged over all
projections. In ?5, the twist contributionis considered,part of this being associated
with torsionof C and part withwhat may be describedas 'intrinsictwist' of the field
lines in the flux tube around C. In ? 6 the generic behaviour associated with
inflexionalconfigurationsis analysed and the role of the twistparameteris discussed
in ? 7. Finally in ? 8 we summarize the conclusions. Our hope is that the alternative
proofpresentedin this paper and the associated discussion may help to demonstrate
the relevance of fluiddynamical techniques to topological problems.

2. The helicityof linked fluxtubes


Consider an arbitrarysolenoidal vector fieldB(x) = V x A(x) of compact support
in DR.We suppose that n B = 0 on 8Q, the boundary of 9. The helicity X of B
is then the pseudo-scalar quantity definedby
9

= {A

(2.1)

.BdV,

where dV is the volume element d3x. Note immediatelythat X does not depend on
the gauge of A; forif A is replaced by A + V#f
, then X' is unchanged since

{B

V#dV-

n B#fdS= 0.

(2.2)

If we adopt the Coulomb gauge for A (i.e. V A = 0) and impose the further
condition A = O(1XL-3) as lxi-X 00, then A(x) is given by the Biot-Savart law:
A(x)

dVJB(x)x (x-x*)dV*

(2.3)

so that, from(2.1),

x
1= JJ[B(x)
(x x ) ddv*
-II ~ B(x*)]
~ ~~~ddV.(2.4)
Consider now the special situation in which B is zero except in two fluxfilaments
centredon two unknottedorientedclosed curves C1, C2 which may be linked (figure
1). We may suppose that the cross sections of the filamentsare small, and that they
carryfluxes601, 602* We suppose furtherthat, withineach filament,the B-lines are
themselvesunlinked curves which close on themselvesafterjust one passage round
the filament,running 'parallel' to C,, C2 respectively. In these circumstances,
X# may be evaluated directly from (2.1): integratingfirstover the cross section,

BdV ->5601dx1,02 dx2on CQ,C2 respectively,


so that
X

= 6(if

A dxl?+602f A dx2.
C1

Now

(2.5)

C2

A dx1 = fBndS,

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(2.6)

Heticityand theCalugareanu tnvartant

415

Figure 1. Linked, orientedand unknottedfluxtubes withno internalcontributionto helicity.In


this case X~= 2ncA102' wheren is the (Gauss) linkingnumberof the two tube axes. (a) n = + 1;
(b) n = -2; (c) n-O0.
C2
~ ~
~
~

(b)

-2;

(e)

n= 0./

--

Figure 2

Figure 3

Figure 2. Two linked orientedflux tubes, each one of which is made up of a large numberof
filamentsof small crosssection.Each pair of filaments(one fromeach tube) makes a contribution
2n601 6q2 to the total helicity,and the total helicityis 2n(Pl )2
Figure 3. Knotted fluxtube whose tube axis is a trefoilknot.

where D1 is the open disc surface spanning Cl. Moreover

B ndS = n602,

(2.7)

where n is the (Gauss) linkingnumber of {1, C2}, i.e. the algebraic number of times
that C2 crosses D1 (allowing fordirectionof crossing).Three examples are shown in
figure1. Similarly,

A dx2=n6'01,

(2.8)

C2

and hence, from(2.5),

X? = 2n601 602l

(2.9)

Thus V is determinedsolely by the two fluxes and the linkingnumber of the two
filaments.
In this derivation, it is essential that each flux tube should by itselfhave zero
helicityand this is ensured by the above assumption that the B-lines within either
tube on its own are unlinked closed curves. In these circumstancesalso, the value of
n is given from(2.4) by integratingover the two cross sections: allowing forthe fact
with
that we may have x E Cl, x*e C2 orx E C2,x* e Cl, we findagain V =2n 6q1
062
n

I=4fr

(dx

x dx*)

xx*)

This is the well-knownGauss formulaforn.


Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(2.10)

416

H. K. Moffatt
and R. L. Ricca

The restrictionto small cross sections of the two filamentsis easily lifted.In the
situation indicated by figure2 in which B is confinedto two fluxtubes, in each one
of which the B-lines are again unlinked closed curves passing once (the long way)
round the torus, we may regard each flux tube as made up of a large number of
filamentsof small cross section. Each pair of filaments(one fromeach tube) make a
contribution2n b1 6012 to the total helicity,so that summingover all such pairs, this
is now given by
2nPP2
(2.11)

3. The helicityof a sirigleknottedfluxtube


If a fluxtube is knotted (as forexample in figure3) then its axis C is necessarily
a twisted closed curve in R', and we cannot avoid consideration of the twist of B
within the tube itself (which, as will become clear, may change as the flux tube is
continuously deformed). It is useful firstto define a standard procedure for the
constructionof a fluxtube of prescribedhelicityaround any given knot K. Here we
adopt the procedure of Moffatt(1990).
Suppose we deformthe knot continuouslyto lie entirelyin the (x,y) plane except
at crossing points (the knot being viewed in projection) where we must allow
indentations into z > 0 or z < 0 (figure 4). The crossings are labelled + or according as the overpass must be rotated anticlockwiseor clockwiseto bringit into
coincidence (completewith arrow)withthe underpass. By a finitenumberof crossing
switches (i.e. reflectionsof indentations), it is always possible to convertK to the
unknot Ko which may then be continuouslydeformedto the circle CO: x2+ y2= R2.
Conversely,the circleCo may be convertedto K by simplyreversingthese steps (i.e.
deformationto Ko followedby appropriate crossingswitches).
Suppose then that we start with the circle Co and place around this a tubular
neighbourhoodof small cross section
T0: (r-R)2 + z2 < (_R)2,
wherer =
a field

(X2 +

y2)2.

Within To,we now definein cylindricalpolar coordinates (r,0, z),


Bo = (0, 2tr(i/V,0),

(3.1)

where V = 2i2e2R3is the volume of To,and 0 (as may be easily verified)is the fluxof
Bo throughany section of the tube. The fieldlines ofBo are thus unlinkedcirclesnear
r = R. The helicityof the fieldis clearly zero.
We may now inject helicity(figure5) by 'Dehn surgery',i.e. by cuttingthe tube
at a section 0 = const., twisting the free ends through a relative angle 2rrh,and
reconneeting. We may suppose that the resulting twist is uniformlydistributed
round the tube. If h is an integerno say, then each B-line in the new flux tube is a
elosed curve in the formof a helix with axis the circler = R, and each pair of B-lines
has linkingnumber no. The helicitythus generated is given by
o{

2no0 do =no

02,

(3.2)

since we may build up the tube by incrementsdo, the incrementin helicityat each
stage being 2no0qdo, from(2.1:1).
We now propose to distortCo to the curve Ko definedabove, carryingthe tube To
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

417

Helicity and theCalngadreanutnvartant


0 =

const.

K
C

*/)

Figure 4

Figure 5

Figure4. Orientedtrefoilknotin a projectionplane: at crossingpointswe mustallow indentations


into z > 0 (as at the point (a) in the figure)or z < 0 (as at points (b) and (c) in the figure).
Figure 5. Dehn surgery:'cut' the tube at a section 0 = const., 'twist' the freeends througha
relativeangle 2mhand then 'reconnect'.

Figure 6. Each negative (positive)switchis equivalent to the insertionof a small loop of flux0
annihilatingfluxon one side of the crossingand creatingfluxon the otherside. In the figurethe

net increment of helicity is + 20.2

withit. To do this we must specifythe isotopy that acts upon the fieldBo. We picture
the fieldas embedded in an incompressiblefluidmedium which moves with velocity
u(x, t) (whereV u = 0) carryingB(x, t) withit accordingto the 'frozenfield' equation
dB/at= V x (u x B).

(3.3)

It is well known that the fluxof B throughany material surfaceis conserved under
this evolution, and that the helicity of the field is also conserved (Woltjer 1958;
Moffatt 1969). We choose a velocity field u(x, t), te (-to, to), that brings CO into
coincidencewith Ko and that carries To into a tubular neighbourhoodTo of Ko. The
flux in this tu-beis then still ( and its helicityis still nO 02.
We now convert Ko to K by appropriate crossing switches. Suppose that N+
positive switches (i.e. switches which create positive crossings) and N_ negative
switchesare needed to effectthis transformation.Each positive switchis equivalent
to the insertionof a small loop of flux P annihilatingfluxon one side of the crossing
and creating flux on the other side (figure6). The net incrementof helicityis 202.
Similarly a negative switch gives a net increment of helicity -20 2. Hence the
helicityof the fieldin the new tubular neighbourhoodT around K is
X

=No2,

N= no+2(N+-N_).

(3.4)

By this construction,the B-lines within T are still clearly closed curves, all
satellites of K, and each pair of B-lines having the same linkingnumber n, since the
crossingswitches treat all pairs in the same way. Following the argument of Ricca
& Moffatt(1992), n is in fact equal to N; for suppose we divide the flux tube into
m (> 1) sub-tubes,each sub-tube carryingfluxOm = 0/m (figure7). The helicityof a
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

418

H. K. Moffatt
and R. L. Ricca

Figure 7. Subdivisionof the fluxtube into m(> 1) sub-tubes.

since _ is quadratically related to the flux(Pm.


sub-tube in isolationis
=/m2,
The total helicityis thereforemY6mplus the sum of the interactionhelicitiesdue to
linkage of pairs of sub-tubes with linkingnumber n, i.e.
2ni

=
X

mY+rm(m-l)

Y/m + (m-t ) n12/m,

whence

(3)
(3.6)

n0P2,

so that n = N as asserted.
It is obvious now that the linkingnumber n may be given any desired value by
suitable (retrospective)choice of no:
nO =

(3.7)

n-2(N+-P_).

In particular,the choice nO -2(N+ -N_) makes n = 0, so that the linkingnumber


of everypair of B-lines in the knottedfluxtube is zero. Considerationof the example
of figure1c shows that this does not in general imply that the B-lines are unlinked!

4. The writhecontributionto helicity


Suppose now that the knot K is in the formof a curve C which has no inflexion
points (i.e. points of zero curvature).Let s be are lengthon C fromsome origin0, and
let the parametric equations of C be x = X(s), where X(s) is periodic with period L,
the lengthof C. The unit tangent vector is t = dX/ds, and the unit principal normal
n and binormal b = t x n then satisfythe Frenet equations
dt/ds = cn, dn/ds = -ct +Tb,

db/ds = -Tin,

(4.1)

where c(s) is the curvatureand T(s) the torsionof C at position s. (Note that n, b and
T would not be definedat an inflexionpoint where c = 0; problems associated with
deformationthroughinflexionalconfigurationwill be treated in ?6 below.)
We now seek to obtain an alternative expression forthe helicityin the flux tube
T constructedaround K, directlyfromthe formula (2.1) by consideringits limiting
behaviour as the crosssection of T tends to zero. The fieldB may be decomposed into
the sum of two parts:
B-Ba + Bm,
(4.2)
where Ba is the axial fieldparallel to the tube axis and Bm is the meridionalfieldin
meridian planes perpendicularto the tube axis. When the cross section of the tube
is small, we may adopt a local cylindricalcoordinatesystem(r,0, z) and suppose that
Ba = (0O,,B(r)),

Bm = (O,B0(r),0).

Proc. R. Soc.Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(4.3)

Helicityand theCalugareanu invariant

419

Evidently V Ba = 0 and V Bm = 0, so that we may introduce separate vector


potentials:
(4.4)
Ba=VxAa,
Bm=VxAm,
with V Aa = 0 and V Am = 0. The lines of forceof the Bm-fieldare unlinked circles,
so that
(4.5)

BmdV0=.

fTAm

Hence the total fieldhelicityis given by


dr=
=

Aa

BaVtAa

Am

Bmd+

ad

fT

fT

Aa-BadV+2 AaBmdV

(4.6)

(using integrationby parts and the divergence theorem) the integrals in each case
being over the tube T.
A
=
Aa Ba dV. Here we may use the
Consider firstthe axial contribution
Biot-Savart expression (2.3) in the limitingform

A(x) = i fdX*(x

*)

(4.7)

Althoughthis expressiondivergeswhen x E C, its axial componentdoes not diverge,


and the limitingexpression
=1

2((
jj

(dx xdx*) .(x -x*)(48


=[xp2

(4.8)

say, is finite.The quantity W' is called the writhingnumber(Fuller 1971) or simplythe


writheof C, and bears a formalsimilarityto the Gauss integral (2.10). However, it is
importantto recognizethat W' is not a topological invariant of C; in fact it changes
continuously(in general) under continuous deformationof C.
The physical meaningof the writheis as follows.Suppose we view the closed curve
C projected on a plane with unit normal v. We then see a number n?(v) of positive
crossingsand n_(v) of negative crossings.Then
W' = <n+(v)-n_(v)>,

(4.9)

where the angular brackets denote averaging over all directionsv of projection. This
fact is evident fromconsiderationof the diagram of figure8. The elements dx, dx*
where
will intersectin projection if and only if n is parallel to + (r + Adx -a
,dx*)
r = x-x*, 0 < A < 1 and 0 < I < 1, i.e. only if v lies within a solid angle
dzu = 2(dxxdx*)

r/4icr3

(4.10)

(the factor2 allowing forthe + possibilitiesabove). Thus when we average over all
directionsof v, take account of crossing signs and then integrate over all pairs of
elements dx, dx*, we obtain
<

=Affi+

(dxx dx*) r= <n+(v)-n_(v)>,

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(4.11)

420

H. K. Moffatt
and R. L. Ricca

r-x

<-d~~~x
Figure 8. Contribution to the solid angle by elements dx, dx* on the curve C. The v-direction
indicates a line of apparent intersection of dx, dx*.

(b)

(a)

(C)

Figure 9. Values of the writhe for a number of flattened configurations. (a) 2


(b) W' = -2; (c) 'f =0.

= + 1;

as stated. The geometricinterpretationof 1P in terms of solid angle was originally


discussed in C59 and later, in terms of spherical area, by Fuller (1978); its
interpretationin termsof average numberof apparent crossingswas given by Fuller
(1971). The same type of argumentleads to Freedman & He's (1991) expressionfor
the crossingnumber
1 CC(dx
4TKj+(
-

x dx*)
3 ) -rI

=n?(v)+nj(v)>.
<

(4.12)

When the knot K is flattenedonto the (x,y) plane except forindentationsat the
crossings,the writhemay be easily computed fromthe formula (4.1 1), since in this
case n+(v) and n_(v) are independent of the viewing direction v except for a
vanishinglysmall solid angle of directionsnearlyparallel to the (x,y) plane. Thus the
writhein this limitingsituation is simply given by
W' - (n+ - n_),
(4.13)
and is an integer.Values of the writhefor a number of flattenedconfigurationsare
shown in figure9.
We note also that the fieldAa provides a familyof Seifertsurfacesforthe knot, as
noted by Akhmet'ev & Ruzmaikin (1992). A Seifertsurfaceis a non-self-intersecting
orientedopen surfacebounded by the knot K. Let the cross section of the knot tube
T tend to zero. Outside T, V x Aa = 0 so thereexists a scalar field(not single-valued)
such that
Aa = VVa
(4.14)
near
0
where
is
the
azimuth
used
above.
Thus
the
and,
K, V'a (2'r)-100
angle
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

Helicityand theCadlugadreanu
tnvartant

421

surfaces W,a= const. are all bounded by the knot, and since VW,ais single valued the
knot does not intersectsuch a surface at any other point. Any surface Tfa= const.
is thereforea Seifertsurface.

5. Torsion and twistcontributionsto helicity


Consider now the second contributionin equation (4.6),
J*m=2f AaJBmdV= 2

Ao(r)Bo(r)dV,

(5.1)

arising fromthe meridional component of the fieldBm. Note that fromthe firstof
(4.3) and the firstof (4.4), Aa = (O,A(r),O) where
Id
(rA0) = Bz(r).
r dr

(5.2)

Let us considerthe change in X. under a virtual displacement 64(s) of the fluxtube


due to instantaneous changes 6c(s), 6T(S) in curvature and torsion of C. With plane
polar coordinates (r,0) in the cross-sectionalplane at any section s of the tube T
(figure10), with 0 measured fromthe directionof the principal normal n, let

53

=re^r =r(neosO+bsinO)}
eo =-n sin0+ b cos0,
so that, assuming 64 to be the same for all (r,0),
64 = rcos06n+rsin06b,

and so

64

(5.4)

= (r cos0) d 6n+(rsin0)id

(5.5)

b.

Since it is only the variation of 64 with arc lengths that contributesto distortionof
the field,we may suppose that at s = sl, 64(sj) = 0, i.e. 6n(sl) = 6b(sj) = 0. Then,
fromthe Frenet relations (4.1), we have
d

-6fn

dsI

dd

-6b
ds/

= -6ct+6Tb

I
I

= -6Tn

at

s = s8.

(5.6)

Now under the assumed virtual displacement64(s), the axial fieldBa (and so A0(r))
is unchanged, but the meridional fieldBm at s = sj is changed by an amount
6Bm = (Ba V)6> = Bz(r)+d
&

(5.7)

due to the variation of 6& with arc length (this is the process that in
magnetohydrodynamicsis known as 'generation of toroidal field by differential
rotation' (see Moffatt1978). Hence, at s = s,
6BI3= Bz(r) d 6)

= Bz(r)L

srnc.R.Sds

(ds 6)

J+ cosb

(dsds6]

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(5.8)

H. K. Moffattand R. L. Ricca

422

Figure 10. Cross sectionof the fluxtube withplane polar coordinates(r,0).

Substitutingfrom(5.5) and (5.6), we have


at s = sj.
6BJ3
(5.9)
=B,(r)r6T(s)
Since the same argument may be used at any section, (5.9) gives the field
perturbationdue to the virtual displacement for all sj, and the resultingchange in
the dm is therefore
2

6m=

Af(r) 6B1(r)dV

= 2 fAo(r) B,(r) r 6T(s) dV.

(5.10)

If we integratefirstover the cross section, using (5.2) and the result


-+

(rAo) r 2trdr

then from(5.10)

'[(rA0)2]0 =2xt1

(p-)'

(5.12)

m=

where

g=2=

(5.11)

T(s)ds

(5.13)

is the total torsion of C, normalized by the factor (2t)-'.


It is easy to show how the total twist number Tw definedby (1.5) is related to the
normalized total torsion. For this, let us take N = ncos & + b sin & as the unit
spanwise vector on the ribbon relative to the Frenet pair (n,b). By the Frenet
equations (4.1), we have
N' = dN/ds
where eS =-nsin&+bcos&.
given by
TW =

27

(5.14)
J.,
By (1.5), the total twist number for a ribbon is thus
=

-c cos

(T+ d/ds)

Ot+

(N
xN) tds CJc
CJc2

ds =
ds /27c S+

[O]C

(5.15)

and we identify(1/2i) []c9]=X.


As was pointed out by Banchoff& White (1975),
the total twist number Tw depends on the choice of the vector fieldN.
Now, if we consider a time-dependentdeformationof C which does not pass
throughany inflexionalconfiguration,then (5.12) may be written
=
dYm41/dt

dg/dt,

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(5.16)

Helicity and theCailugacreanu


tnvartant
or equivalently

m=

423
(5.17)

0)

where E0 is a constant. In fact E0 = X; however,to establish this point, we have to


consider the behaviour when C does pass throughan inflexionalconfiguration.

6. Generic behaviour associated with inflexionpoints


If a curve x = X(s) has an inflexionpoint at s = sc, then t'
at s = s., so that near s = s, we have the Taylor expansions
t(s)

dt/ds = d2X/ds2

(6.1)

(S-SC)2t?,+

te+

X(s) = X? + (s-sC) t?+ 6(S-s0)3t+?....

(6.2)

Moreover,sinceItI= 1,
(t" t)

dst22

=0,

(6.3)

so that t"eis perpendicularto t,. We may thereforechoose originat the inflexionpoint


(Xc = 0, sc = 0) and axes Oxyz with Ox parallel to t, and Oz parallel to t''. The form
of the curve near the inflexionpoint is then given by
X(s) = (s, 0, oxs3),

where oc=

(6.4)

ttt,i.e. it is the plane cubic curve y = 0, z = ocx3.By simple rescaling,we

may take oc= 1.

We now wish to consider a time-dependentcurve x = X(s, t) passing throughthe


inflexionalconfiguration(6.4) at t = 0, but having at/as # 0 when t # 0. Since
t' t = I a(t2)/a3 = 0,
(6.5)
we may always, by rigid rotation,ensure that at s = 0, t remains parallel to Ox and
t' remains parallel to Oy. These conditions are satisfied by the time-dependent
twisted cubic
X(s, t) = (s-3ts3,ts2,s ),
(6.6)
t = ax/as= (I-2t2s2,2ts,3s2)
(6.7)
forwhich

and

ItI=

(6.8)

1+0(s4),

so that, near s = 0, t is indeed the unit tangent vector. Figure 11 shows this family
of curves and their projections on the three coordinate planes.
From (6.7), to leading order in Itland Isi,
at/as

2(0, t,3s),

c(s,t) = 1dt/sl- 2(t2?9s2)1

so that

tat

n(s, t) = -as

and

(0,t,3s)

((2?92)

(6.9)
(6.10)
(6.11)

Note here that for very small t, n rotates through an angle Zt about the direction
te = (1,0,0) as s increases from -so to +so where so > Itl;and that this rotation
is clockwise (right-handed)fort < 0, and anticlockwise (left-handed)fort > 0; thus
the number of rotations of the pair (n,b) about the tangent direction t in
the anticlockwise sense increases by + 1 as t increases throughzero (at the instant
t= 0, this number is undefined).
Now the binormal is given by b = t x n, and the torsionis obtained from(4.1): for
Itiand IsIsmall,
(6.12)
T(5,t)
3t/(t2 9s2).
+

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

424

H. K. Moffattand R. L. Ricca

/ t=O

tzO

=~zol

/\t<O

Figure 11l. The twistedcubic (6.6) for -1 ? s ? 1 and forvarious values of t. The curve
A point at (i) s
containsan inflexion
when t = 0. Plane projectionsare shownbelow.

As expected, c vanishes only at t =s = 0, and T is singularat this inflexion.However,


the singularityis integrable; the contributionto the normalizedtotal torsionY from
any small interval [- sO,801is
2t

0(s,t)ds=

IT

tO20

ds=2arctan(3t?)'

(613)

and, irrespectiveof the value s6


of , this jumps from
-a
to vau
as t increases through
zero, i.e. as the curve passes through the inflexional configuration Hence
is
l
discontinuous as C passes throughthe inflexion,with discontinuityLY =. +1o. The
reverse passage (or equivalently replacement of t-n
by t in (6.6)) gives a jump
-1. This behaviour, recognized by C -lugareanu(1961) for a particular
[S1
example, appears to be generic.

7. Role of the twistparameter


We have seen from??4 and 5 above that the helicityof a twisted flux tube with
axis C can be expressed in the form
p2
X 02h02(*

+ g- +

!J0).

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

(7.1)

Helicityand theCalugareanu tnvartant

425

(a)
(b)

<

Figure 12. (a) Writhe,(b) torsionand (c) twist contributionsof a ribbon to the CaIugareanu
invariant.If a coiled ribbonis stretchedso that its centre-linebecomesstraight,then the initial
torsionof the centre-lineis convertedto the finaltwistof the ribbonabout its centre-line.

(t(s)

XL

C'

Figure 13. Mapping of closed curvesC to theirimages C' on the unit sphere.

Under continuous deformationof the flux tube,

is conserved and hence

h-=

const.
(7.2)
/+!+o=
The writhe YP definedby (4.8) varies continuouslyas C is deformedcontinuously;
however, if C passes through an inflexionalconfiguration,then ! jumps by + 1.
Hence, as ! jumps by ? 1, the term !F must jump by a compensatingamount + 1,
to maintain the overridinginvariance of helicity.
The equal and opposite jumps in (I ? Y) and E0 may be understood with
referenceto the simple example illustratedin figure12. If a coiled ribbonis stretched
so that its centre-linebecomes straight(at which stage dt/ds 0
O on the centre-line!),
then the initial writheof the centre-lineis convertedto the finaltwist of the ribbon
about its centre-line.This example is not genericsince it involves the appearance of
a continuumofinflexionpoints. However, it captures the essence of the nature ofthe
interchangebetween (YV+ ! ) and 50: X0 representsthe intrinsictwist of the ribbon
about its centre-line,and this in general jumps by T 1 when the centre-lineis
deformedthroughan isolated inflexionpoint.
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

H. K. Moffattand R. L. Ricca

426

CC

rc

Figure14.MappingofthecurveCcon a 'critical'torusto itsimageCcon theunitsphere.At the


criticalvalue r0 = R/m2,inflexionpointsappear on Cc and theyare mapped to the m cusps on the

unitsphere(m= 6 in thecase illustrated).

There is a furtherusefulway ofpicturingthis inflexionalbehaviour (see figure13);


the set of unit vectors t(s) on a closed curve C trace out a correspondingclosed curve
C' on the unit sphere. For example a circle C correspondsto an equatorial circle C';
a helix wound around a fat torus correspondsto an epicycliccurve with a numberof
double points, and so on. If C is continuously deformed, then its image C' is
continuouslydeformedalso, and the number of double points of C' may change. In
fact this does happen when C is deformedthrough an inflexion(at s = s, say) at
which dt/ds = 0. When C has an inflexion,C' has a cusp at the correspondingpoint
on the sphere.
The case of a helix wound around a torus,

X(s) = [(R +

rO cos mq)

cos 0, (R +

rO cos mS)

sin 0, rosinmv],

(7.3)
(where m is an integer) is particularly interestingin this respect (figure 14). If
ro = 0, this is a circle, the principal normal n = nO pointing towards its centre. For
very small values of ro,the directionof n simply oscillates about the position no as
we move round C. As roincreasesfurtherthe amplitude ofthese oscillationsincreases,
until at a criticalvalue r,(= R/m2)inflexionpoints appear on C at the points where
cos mq =-1; forrO > r, the principal normal n makes m complete rotations around
the axis of the torus in one passage round C.
If we now place a fluxtube of cross-sectionalradius e < r, around C, and consider
a time-dependentdeformationin which ro= ro(t)decreases throughthe criticalvalue
rc, then [1] = -m, [!1] = +m in going through the critical point, i.e. torsional
helicity is instantaneously converted to twist helicity, the total helicity being of
course conserved.
The fact that 70 jumps by +1 whenever C passes through a single inflexion
suggeststhe interpretationthat it represents,in some sense, the numberof rotations
of the flux tube (or of the associated set of ribbons) about its axis in one passage
around C. This concept is, however,quite elusive, because one must specifycarefully
the frame of referencewith respect to which the flux tube rotates. There is no
difficultyin this when C is not in an inflexionalconfiguration,forthen we may use
the Frenet frame(t,n, b). Let C, C* be two neighbouringB-lines in the fluxtube (the
boundaries of a ribbon), and, as before,let N(s) be the spanwise vector fromC to C*
on this ribbon. Let X4/'be the (integer) number of rotations of N(s) about t with
respect to the Frenet frame (as definedin ?5). We shall show that in fact 90 = X.
Under arbitrarycontinuous deformationsof the fluxtube, N(s, t) is a continuous
vector functionof (s, t), and its componentswith respect to a fixed cartesian frame
ofreferenceare also continuous.However, ifC passes throughan inflexionat sc, then,
as we have seen in ? 6, the number of rotations of the Frenet pair (n,b) about the
tangent vector t in one passage round C changes by ? 1; hence the number X of
rotations of N(s, t) relative to the Frenet frame changes by + 1.
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

Helicityand theCaOlngadreann
tnvartant

427

Figure 15. A plane projectionof a knot may always be arrangedso to have no inflexionpoints.
withno inflexion
Here the figure-of-eight
knot,withtwo inflexions,is isotopedto a configuration
points.

The knot K and its associated fluxtube may always be deformedto lie nearly in
the (x, y) plane (as in ?3) so that the write #Vis (in the limit) an integer (n+-n_).
We may also always arrange that this plane projection ofK has no inflexionpoints;
forexample the figure-of-eight,
containingtwo prototypeinflexions,can be isotoped
(figure15) to a curve ofnon-vanishingcurvature.In such a 'standard' configuration,
the torsionT(s) is zero everywhereexcept in the small indentationswhere it is small;
hence in the plane limit, ! = 0. In this configurationthereforethe helicityis given
by
(7.4)
X = n2 = (n+-n)) I2+ g p2

n-(n+- n_)
1!0F n

so that

(7 5)

is an integer.Considerationof the special case of a circle (n+ = n_= 0) shows that !F


is indeed the numberoftwistsofthe ribbon (unambiguous in the plane configuration)
about its centre-line.We thus identify!F and X in this standard configuration,and
hence in every configurationof the knot.

8. Summary
In this paper we have discussed several properties of the helicity of linked and
knotted fluxtubes. Differentcontributionsto helicityhave been analysed in terms
of the Gauss linkingnumber (?2) and in termsof the Calugareanu invariant (1.3). If
the fieldlines in a single knotted fluxtube are twisted closed curves which close on
themselves after one passage around the tube, then the helicityof the flux tube is
given by

Xy=

ABdV=n2,

(8.1)

where Pis the fluxassociated with the tube (? 3). The integern is an invariant under
frozenfielddistortionof the tube, and is identifiedwith the Calugareanu invariant
(1.3). We have demonstratedthis invariance by startingfromthe known invariance
ofhelicity.The helicityhas been decomposed into writheand twistcontributions,the
writhe contributioninvolving the Gauss integral, which admits interpretationin
terms of the sum of signed crossingsof the knot averaged over all projections (?4).
Part of the twist contributionis shown to be associated with the torsionof the knot
and part with what may be described as 'intrinsictwist' of the fieldlines in the flux
tube around the knot (? 5). The genericbehaviour associated with the deformationof
the knot through a configurationwith points of inflexion (points at which the
curvature vanishes) has been analysed (?6) and the role of the twist parameter has
been discussed (? 7).
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

428

H. K. Moffattand R. L. Ricca

In derivingthe relation
X, =

n02

<

,Al') 02,

(8.2)

where the writhe Y/ is definedby equation (4.8), the normalized total torsion Y is
definedby equation (5.13) and l = X0 is the twist parameter,we have shown that
(generically) (/f ?+ ) jumps discontinuouslythrough + I as C passes through an
there is then a
inflexionalconfigurationand that by virtue of the invariance of XV9,
compensatingjump of T I in X. This behaviour has been previouslyrecognizedby
Ricca & Moffatt(1992) and is associated with the classical type I Reidemeistermove
of ambient isotopies.
The CAlughreanuinvariant is fundamental in relation to many problems that
involve continuous deformationof tube-like structures.Examples in the literature
range from the theory of dynamical systems (Uezu 1990) to the biochemistryof
excitable media (Winfree1990), fromthe quantum fieldtheoryof string-likeobjects
(Tze & Nam 1989) to studies of DNA coiling (Tsuru & Wadati 1986), fromthe theory
of propagation of spinningparticles (Jaroszewicz & Kurzepa 1991) to the general
problem of protein folding(De Santis et al. 1986). Fundamental topological aspects
of these phenomena can be successfully described in terms of the Chlugareanu
invariant. In this paper we hope that the direct derivation of the CMlugareanu
invariant fromfirstprinciplesof fluidmechanics togetherwith the discussion of the
genericbehaviour associated with inflexionalconfigurations,which are ubiquitous in
many processes of continuous deformation of field structures,provides a good
demonstration of the relevance of fluid dynamical techniques to topological
problems.
We thank Dr J. S. Langer, Directorof the InstituteforTheoreticalPhysics at UCSB (whichis
supportedby NSF GrantPHY89-04035), forhis kindhospitalityat the Institute,wherethiswork
was initiated.One of us (R. L. R.) acknowledgesthe financialsupportfromAssociazioneSviluppo
Scientificoe Tecnologicodel Piemonte (Turin,Italy).

References
In Topologicalaspectsof the
Akhmet'ev,P. & Ruzmaikin,A. 1992 Borromeanismand bordismn.
dynamicsoffluidsand plasmas (ed. H.K. Moffattetat.) pp. 249-264. Dordrecht:Kluwer.
numberof
Banchoff,T. F. & White,J. H. 1975 The behaviourofthe total twistand self-linking
a closed space curve underinversions.Math. Scand. 36, 254-262.
Berger,M. A. & Field, G. B. 1984 The topologicalpropertiesof magnetichelicity.J. Fluid JMech.
147, 133-148.
Calugareanu,G. 1959 L'int6gralde Gauss et l'analyse des noeuds tridimensionnels.
Rev. lvath.
pures appl. 4, 5-20. (C59 in text.)
et leurs invariants.
Calugareanu,G. 1961 Sur les classes d'isotopie des noeuds tridimensionnels
Math. J. 11, 588-625. (C61 in text.)
Czechoslovak
De Santis, P., Palleschi,A. & Chiavarini,S. 1986 Topological approach to proteinfolding.Gazz.
Chim.It. 116, 561-567.
Freedman, M. H. & He, Z.-X. 1991 Divergence-freefields: Energy and asymptoticcrossing
number.Ann. Math. 134, 189-229.
Fuller, F. B. 1971 The writhingnumber of a space curve. Proc. natn. Acad. Sci. U.S.A. 68,
815-819.
Fuller,F. B. 1972 How the writhingnumberof a curvedependson the curve.Rev. Roum.Math.
pures appl. 17, 1329-1334.
Fuller, F. B. 1978 Decompositionof the linkingof a closed ribbon: a problemfrommolecular
biology.Proc. natn.Acad. Sci. U.S.A. 75, 3557-3561.
Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

Helicityand theCalugyareanuinvariant

429

Jaroszewicz,T. & Kurzepa, P. S. 1991 Spin, statisticsand geometryofrandomwalks.Ann. Phys.


210, 255-322.
Kauffinan,L. H. 1987 On knots.PrincetonUniversityPress.
Kauffman,L. H. 1991 Knotsand physics.World ScientificPublishing.
H. K. 1969 The degreeofknottednessoftangledvortexlines.J. Fluid Mech.35, 117-129.
Moffatt,
Moffatt,
H. K. 1978 Magneticfield
in electrically
conducting
fluids.CambridgeUniversity
generation
Press.
Moffatt,H. K. 1981 Some developmentsin the theoryofturbulence.J. Fluid Mech. 106, 27-47.
Moffatt,H. K. 1990 The energyspectrumof knots and links.Nature,Lond. 347, 367-369.
Moreau, J. J. 1961 Constantesd'un ilot tourbillonnaireen fluidparfait barotrope. C.r. hebd.
Seanc. Acad. Sci., Paris 252, 2810-2812.
Pohl, W. F. 1968 The self-linking
numberof a closed space curve. J. Math.Mech. 17, 975-985.
Pohl, W. F. 1980 DNA and differential
geometry.Math. Intelliyencer
3, 20-27.
Ricca, R. L. & Moffatt,H. K. 1992 The helicityof a knottedvortex filament.In Topological
aspectsof thedynamicsoffluidsand plasmas (ed. H. K. Moffattet al.) pp. 225-236. Dordrecht:
Kluwer.
Tsuru, H. & Wadati, M. 1986 Elastic model of highly supercoiled DNA. Biopolymers25,
2083-2096.
Tze, C.-H. & Nam, S. 1989 Topological phase entanglementsof membranesolitonsin division
algebra sigma models with a Hopf term.Ann. Phys. 193, 419-471.
Uezu, T. 1990 Topological structurein flowsystems.Proy. theor.Phys. 83, 850-874.
White,J. H. 1969 Self-linking
and theGauss integralinhigherdimensions.Am.J.Math.91, 693-728.
Winfree,A. T. 1990 Stable particle-likesolutions to the nonlinearwave equations of threedimensionalexcitable media. SIAM Rev. 32, 1-53.
Woltjer, L. 1958 A theoremon force-freemagnetic fields.Proc. natn. Acad. Sci. U.S.A. 44,
489-491.
Received20 July1992; accepted24 August1992

Proc. R. Soc. Lond. A (1992)

This content downloaded from 193.147.59.3 on Tue, 04 Aug 2015 16:58:38 UTC
All use subject to JSTOR Terms and Conditions

Das könnte Ihnen auch gefallen