You are on page 1of 45

The magnetic top of Universe as a model of

quantum spin
Source file of A.O. Barut, M. Bozic and Z. Maric

Substitution of Dusan Stosic

Abstract
The magnetic top is defined by the property that the external magnetic field B coupled to the angular
velocity ω , as distinct from the top fhose magnetic moment is independent of angular velocity.
This allows one to
construct a "gauge" theory of the top where the caninical angular momentum of the ooint particle
and the B field plays the role of the gauge potential. Magnetic top has four constants of motion so
that Lagrange equations for Euler angles θ,φ,χ (wich define the orientation of the top) are
solvable, and are solved here. Although the Euk=ler angles have comlicated motion.,the
canonical angular momentum s, interpreted
s as spin , obeys precisely a simple precession
i
equation. The Poisson brackets of allow us further to make an unambiguous quantization of
θ , use
spin , leading to the Pauli spin Hamiltonian. The φ , χof, canonical
P , P , angular
θ φ P χ
momentumalleviates
the ambiguity in the ordering of the variables in the Hamiltonian. A
sdetailed
i
gauge theory of the asimmetric magnetic top is alsou given.

Euler angles - The xyz (fixed) system is shown in blue, the XYZ (rotated) system
is shown in red. The line of nodes, labelled N, is shown in green.
Contents
page

1
3
Introduction
I.
II . Lagrangian and Hamiltonian of the symmetric magnetic top 6
III. Lagrange equation for the magnetic topand their solutions for
constant magnetic field1 10
IV. The torque equation and its equivalence with the Lagrange
equations 17
V. Hamilton's equations for the magnetic top 18
VI. Quantum magnetic top 21
VII. The states of the quantum magnetic top 26
VIII. The Asymmetric Magnetic top 29
Appendix A.Top with magnetic moment fixed in the body frame 36
References 41
I. Inroduction
Whereas the coordinates and momenta of quantum particles have a classical origin
or a classical
counterpart,the spin is generally thought to have no classical origin. It is, in Pauli
words,"a calassicay non
-explanable two-valuedness"{1} .Thus, the spin and coordinates are not on the same
footing as far as the
picture of the particles is concerned.
In atomic physics the role of spin is enormous due to the Pauli-principle and spin
statistics connection,althougt the numerical values of spin orbit terms are small.
In nuclear and particle physics and in very high energy physics, there spin hyperfine
terms turned out to play an essential role, whose theoretical understandig is still
lacking (2). Even in the interpretation and foundations of quantum theory, the nature
of spin seems to be rather crucial, and a need for a classical model of spin has long
been felt (3).
Our knowledge about the importance of spin in all these areas comes from the
widespread and succesfull applicability of Pauli and Dirac matrices and spin
representation of Galillei and Poincare groups. Although there is no mystery is
actually some mystery in the physical origin and in the visualization of spin.
(It cocerns the spin 1/2 as well as the higher spins). Because of all those reasons
there has been in the past many attempts to identify internal spin variables and to main
clssical models of spin, both of Pauli (4-12) as well as of Dirac spin (13-18)

But , none ofthe nonrelativistic spin models has been generally accepted, either
because none of the propsed models is without shorthcomings and difficulties or
because the prevailling attitude of physicists towards internal spin variables is, in
Schulman's words: a general unconfortablenes at the mention of internal spin variables
and a reliance on the more formal, but nevertheless completely adequate, spinor
wave functions which are labelled basis vectors for a representation of so*3)
but are endowed with no further properties"(10)
In this paper, we shall consider the nonrelativistic Pauli spin, and a minimal
classical model - in the sense of the smallest possible phase space dimension
- underlying the Pauli equation. Our classical model of quantum spin is based
on magnetic top , wich we define as a top whose mafnetic moment is
proportional to the angular velocity(Chapter II) By solving the classical
equation of motion of the magnetic top we shall show that it has, by virtue
of the special coupling to the magnetic field, a unique property that the motion
of its magnetic moment is one dimensional (i.e ptecessio around the magnetic field)

2
whereas the top itself performs a complicated three-dimensional motion
(Chapters III and IV).
The motion of the magnetic moment of the magnetic top is different in an essential
way from the motion of the top which carries magnetic moment fixed in the body
frame. Namely, a magnetic moment which is fixed to the top preform a
three-dimensional motion (precession with nutation) since it shares the motion
of the body to which it is attached (Apendix A). This distinction is the consecuence
of the differnce in the form of the two Lagrangian. The potential in the Lagrangian
of magnetic top (Chapter II) is angular velocity
dependent whereas the potential of the top which carries magnetic moment is velocity
indeoendent (Apendix A). Also, Hamiltonian of the latter top is simple sum of kinetic
and angular velocity independent potential wheras Hamiltonian of magnetic top is
not of this form(Chapter II).
It is necessery to relize those differences in order to understand the difference
between our work and previous works (8,9,10( on the classical models of spin
which were also based on the top.
In Rosen work, classical model of spin is in fact the top with angular velocity
independent potential (8). In our oppinion this model is unsatisfactory because


for quantum spin there exists the linear relation µ
γ ⋅ s between magnetic
→ →
moment operator µand spin angular momentum operator s,whereas, such
a relation does not characterize Rosen's classical model
2 in which it is assumed
I⋅ ω →
that Hamiltonian is a sum of kinetic energy 2 and potential energy − µ ⋅ B is

independent of angular velocity. But this is possible only if µis independent
of spin angular momentum.

The Lagrangian of the magnetic top is identical with the Lagrangian of the Bopp
and Haag (9) model of spin. But the procedure of the construction of the Hamiltonian
and subsequent quantization procedures differ in our and in the Bopp and Haag
aproach (Chapter VI).
Certain authors have arged in the past that the top is not an appropriate model
of spin, because its configuration space (which is three dimensional ) is larger
than it is necessert. Namely, in Nielsen and Rohrlich words (11) "quantum-mechanical
perticle of definite spin is essentially one-dimension (since it is completelt by
the eigenstates of one coordinate) so Schulman's formulation seems over complicated".
It follous from our analysis that this remark is not applicable to the magnetic top
because although its configuration space is three-dimensional, the magnetic moment
of magnetic top precesses around constant magnetic field (Chapter III). Moreover, in
the light of this result it becomes understadable why Pauli theory of the spin motion in
a magnetic field has been so succseful despite the fact that it avoids to answer the
question as to what the internal spin variables are and what the variables conjugate
to spin are. The explanation is simple. It is a satisfactory theory for those phenomena
for which only thr motion of magnetic moment is relevant. But, are there phenomena

3
determined by the motion of the magnetic top itself. Our answer is positive. One
example is the phase change of spinors in magnetic fields (Chapter VII).

II Lagrangian and Hamiltonian of the symetric


magnetic top of Universe

As stated in the Inroduction we shell use the word"top" to denote the mechanical
object whose orientation in the reference frame is discribed by Euler angles θ,φ,χ.

Magnetic top by definition has a magnetic moment proportional to its angular
momentum __ Σ
Mtopsv : = gsv ⋅ Σ sv
erg
Mtopsv = 6.05 × 10 91
stattesla
Σ sv = 1.171 × 1095 erg ⋅ sec

gsv = 5.166 × 10− 4 cm1 gm0 se c-1

(1)
→
Mtopsv gsv ⋅ Σ sv
erg
Mtopsv = 6.05 × 10 91
stattesla
→
gsv ⋅ Σ sv = 6.05 × 10 91 gm0 cm3 sec-2
The angular momentum Σ itself is proportional to the vector of angular velocity ω
(2)
→ →
Σ sv Isv ⋅ ω sv Isv ⋅
 ω sv..i ⋅ ei (
Isv ⋅ ω x.sv ⋅ i + ω y.sv ⋅ j + ω z.sv ⋅ k )
ei i
are unit vectors of the coordinates system attached to the body
ωandx.sv : = orientation
whose ω sv iz the Laboratory frame are three Euler angles

i:= 1..1
ei : = 1 . . 1
ω y.sv : = ω sv

4
ω sv..i : = ω sv
ω z.sv : = ω sv
k: = 1. .1
j:= 1.
.1
Isv ⋅
 ω sv ⋅ ei =
i
1.171·10 95 2 -1
gmcm sec

 Isv ⋅ ( ω x.sv ⋅ i + ω y.sv ⋅ j + ω z.sv ⋅ k ) 


=
3
1.171·10 95 2 -1
gmcm sec

Σ sv = 1.171 × 1095 gmcm2 sec-1

→
I ⋅ ω  = 1.171 × 1095 gmcm2 sec-1
i ,j ,k
sv sv 
θφ
, ,χ


are unit vectors along the axis of the Laboratory reference
frame. The components of ωin the Laboratory frame are :

ωx cos ( φ ) ⋅ θ' + sin ( φ ) ⋅ sin ( θ ) ⋅ χ '


( 3)

ωy sin ( φ ) ⋅ θ' − cos ( φ ) ⋅ sin ( θ ) ⋅ χ '


ωz φ' + cos ( θ ) ⋅ χ '

The components of ω in the body-fixsed frame, on the other hand are:

ω1 sin ( θ ) ⋅ sin ( χ ) + cos ( χ ) ⋅ θ'


( 4)

ω2 sin ( θ ) ⋅ cos ( χ ) ⋅ φ' − sin ( χ ) ⋅ θ'


ω3 cos ( θ ) ⋅ φ' + χ '
→→
The kinetic energy T.sv of the free symmetrical top is a simple function of ω(or Σ)
θ:=π

5
− 1
Ha : = Hb
χ:=π
φ:=π
( 5)

→
 Σ→ 
2 2
 
Isv ⋅  ω sv   sv  1
⋅  ( θ')  + ( φ') ⋅ sin ( θ ) +  ( χ') + ( φ') ⋅ cos ( θ )  
2 2 2 2
Tsv
2 2 ⋅ Isv 2
d
χ ' := χ
dHa
d
φ ' := φ
dHa
d
θ ' := θ
dHa

 Σ→ 
2

 sv
= 1.031 × 1077 gmcm2 sec-2
2 ⋅ Isv
gm ⋅ cm 2
⋅   ( θ ')  + ( φ ') ⋅ sin ( θ ) +  ( χ ') + ( φ ') ⋅ cos ( θ )   = 0 gmcm sec
2 2 2 2 2 -2
2

 Σ→ 
2
2
gm ⋅ cm  sv 
⋅  ( θ')  + ( φ') ⋅ sin ( θ ) +  ( χ ') + ( φ') ⋅ cos ( θ )   +
2 2 2 2
= 1.031 × 10 77 gmcm
2 2 ⋅ Isv

 Σ→ 
2

1   d   d 
2 2
d  d   
2
 sv
φ  ⋅ sin( θ ) +   χ  +  φ  ⋅ cos ( θ )  
2
⋅   θ  +
2   dx    dz    dz   dy    2 ⋅ Isv
→ 2

Isv ⋅ ω sv

 
Tsv :=
2
According to classical electrodynamics the potential energy of the magnetic moment M
in a magnetic field B −is:15
Bsv = 6.816 × 10 stattesla
( 6)

Vsv −Mtopsv ⋅ Bsv

6
Vsv := −Mtopsv ⋅ Bsv
Vsv = − 4.123 × 1077 gmcm2 se c-2

Conseqently
2 , the Lagrangian takes the form:
G ⋅ Msv
77 2 -2
= 2.062 × 10 gmcm sec
Rgsv

 ω→ 
2

 sv  2 -2
Isv + Mtopsv ⋅ Bsv = 5.154 × 10 77 gmcm sec
2
(Conseqently
7) , the Lagrangian takes the form:

→ 2
 
Isv ⋅  ω sv 
Lsv Tsv − Vsv + Mtopsv ⋅ Bsv
2
Tsv − Vsv = 5.154 × 10 77 gmcm2 sec-2

→ 2
 
Isv ⋅  ω sv 
+ Mtopsv ⋅ Bsv = 5.154 × 10 77 gmcm2 sec-2
2
But , for our magnetic top we assume that the relation(1) is valid. By incorporating
this relation into the Lagrangian we get:
→ 2

Isv ⋅ ω sv
 →
 
L + gsv ⋅ Isv ⋅ ω sv ⋅ Bsv
2
→ 2

Isv ⋅ ω sv
 →
 
Lsv := + gsv ⋅ Isv ⋅ ω sv ⋅ Bsv
2
2 -2
Lsv = 5.154 × 1077 gmcm se c

→ 2

Isv ⋅ ω sv
 →
 
+ gsv ⋅ Isv ⋅ ω sv ⋅ Bsv = 5.154 × 10 77 gmcm2 sec-2
2
It is important to realize that this Lagrangian is different, in anM
essential way , from
the Lagrangian studied in classical electromagnetism, where is a fixed vector
α :=90frame and
in body

γ:=45

7
θ:=π

d 
Pθ I ⋅  θ + I ⋅ B1 ⋅ Bξ 
β:=130  dx 
Hb = 1.76 × 10 − 18
sec
-1

− 1
Ha : = Hb
d
θ ' := θ
dHa

d 
pθ :=  L Isv ⋅ θ' + Isv ⋅ gsv ⋅ Bsv
 dθ' 
Isv ⋅ θ ' + Isv ⋅ gsv ⋅ Bsv = 2.342 × 10 95 gmcm2 sec-1

d d 
Pφ I⋅ φ + cos ( θ ) ⋅ χ  + I ⋅ g1Bz
 dy dx 
 d d  
Pχ I ⋅  χ + cos ( θ ) ⋅ φ  + I ⋅ g1Bz
 dz dz  

where
sin )
cos ( α )
Bξ Bx ⋅ cos ( φ ) + By ⋅ sin ( φ )
 cos( γ ) sin( γ ) 0   1   cos( α ) sin( α )
0 0 0 
R1 :=  − sin ( γ ) cos ( γ ) 0  ⋅  0 cos ( β ) sin ( β )  ⋅  − sin( α ) cos ( α ) 0 
    
0   0 − sin( β ) cos ( β )  

 0 0 0 0 1 
 cos ( γ ) sin ( γ ) 0   1 0 0   cos ( α ) sin ( α ) 0   0.044 0.61
 − sin ( γ ) cos ( γ ) 0  ⋅  0 cos ( β ) sin ( β )  ⋅  − sin ( α ) cos ( α ) 0  =  0.554 − 0.67
      
 0 0 0   0 − sin ( β ) cos ( β )   0 0 1   0 0

Bz1 Bx ⋅ sin ( φ ) ⋅ sin ( θ ) − By ⋅ cos ( φ ) ⋅ sin ( θ ) + Bz ⋅ cos ( θ )


Following general procedures we need now to express θ,φ, and χ

8
Pθ Pφ Pφ
in terms of , and
 0.044 − 0.791 
0.61
R1 =  0.554 − 0.674 − 0.489 
 
 0 0 0 

d  Pθ 
θ   − g1 ⋅ Bξ
dx  I 
d  Pφ − Pχ ⋅ cos( θ ) − I ⋅ g1 ⋅ ( Bz − cos( θ ⋅ Bz) ) 
φ
I ⋅ sin( θ )
2
dy

d  Pχ − Pφ ⋅ cos( θ ) − I ⋅ g1 ⋅ Bz1 − cos θ ⋅ Bz  ( ( ))


χ
I ⋅ sin( θ )
2
dz

(ω) (→ω )
Bicause the dependence→of the Lagrangian on θ, φ, and χ is

trough angular velocity it is usefull ro express angular velocity through


Pθ Pφ Pχ
the cannonical moment , and

sin ( φ ) sin ( φ ) ⋅ cos ( θ )


Σ sv.x Isv ⋅ ω sv.x cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv.x
sin ( φ )
( θ )
sin ( φ ) ⋅ cos ( θ )
sin sin ( θ )
cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv.x =
sin ( θ ) sin ( θ )

 cos ( φ ) cos ( φ ) ⋅ cos ( θ ) 


Σ sv.y  Isv ⋅ ω sv.y sin( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv.y 
ω sv.x : = ω sv sin( θ ) sin( θ ) 
2 -1
Isv ⋅ ω sv.x = 1.171 × 10 95 gmcm sec
ω sv.y : = ω sv
Pφ : = Isv ⋅ ( φ ' + cos ( θ ) ⋅ χ ') + Isv ⋅ gsv ⋅ Bsv
π
φ :=
2
π
θ :=
2
P χ : = Pφ
Bsv.y : = Bsv

9

Pθ : =
2
P χ : = Pθ

 cos ( φ ) cos ( φ ) ⋅ cos ( θ ) 


 Isv ⋅ ω sv.y sin( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv.y 
 sin( θ ) sin( θ ) 
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
sin ( φ ) ⋅ Pθ + 95 2 -1
⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv = − 1.171 × 10 gmcm sec
sin ( θ ) sin ( θ )
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
sin ( φ ) ⋅ Pθ +
2 -1
⋅ Pχ − ⋅ Pφ = 1.171 × 10 95 gmcm sec
sin ( θ ) sin ( θ )
gsv ⋅ Isv ⋅ Bsv
= 2
Σ sv

Pθ = 1.171 × 1095 gmcm2 sec-1


sin ( φ ) sin ( φ ) ⋅ cos ( θ )
Σ x : = cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv
sin ( θ ) sin ( θ )
( 11)
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
Σ y : = sin ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv
sin ( θ ) sin ( θ )
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
sin ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − gsv ⋅ Isv ⋅ Bsv
sin ( θ ) sin ( θ )
= −1
Σ sv
Σ z : = Pφ − gsv ⋅ Isv ⋅ Bsv

Σ z = 0 gmcm2 sec -1
sin ( φ ) sin ( φ ) ⋅ cos ( θ )
sx : = cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
Σ x = − 1.171 × 1095 gmcm2 sec-1

Σ y = − 1.171 × 1095 gmcm2 sec-1


cos ( φ ) cos ( φ ) ⋅ cos ( θ )
sy : = sin ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
sz : = Pφ

10
sx = 1.171 × 1095 gmcm2 sec-1

Isv ⋅ gsv ⋅ Bsv = 2.342 × 1095 gmcm2 sec-1

Isv ⋅ ω sv.y = 1.171 × 10 95 gmcm2 sec-1


2 -1
sx − gsv ⋅ Isv ⋅ Bsv = − 1.171 × 10 95 gmcm sec

Σz I⋅ ωx Pφ − g1 ⋅ IBz
We shallnow define a new vector quantity - cannonical angular
momentum s, by
sin ( φ ) sin ( φ ) ⋅ cos ( θ )
sx cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
sy sin ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
sz Pφ
It is seen ...take the form

Σ s − g1 ⋅ I ⋅ B
The latter relation is analogous to the relation between the
kinetic momentum in the electromagnetic field of the vector potential A
1
L ⋅ m ⋅ q2 + e ⋅ A ⋅ q
2

π1 m ⋅ q1
P d
L
1 dq1
m⋅q p− e⋅A π
p m⋅q+ e⋅A

11
m ⋅ q + exp( 1) ⋅ A
Now we are ready to write the Hamiltonian of the magnetic top
π to
according
φ :=
2
θ:=π
2 -1
Pφ = 2.342 × 1095 gmcm sec

  → 2
θ ⋅ Pθ + φ ⋅ Pφ −  I ⋅
( )
ω  →
− g1 ⋅ I ⋅ ω ⋅ B (( ))

H 
95
 2 -12 
Pθ : = 3.513 × 10 gmcm sec

  →  2 
Pθ Pφ   ω  → 
 sv     
θ⋅ +φ⋅ − I ⋅ − gsv ⋅ Isv ⋅   ω sv ⋅ Bsv   Msv ⋅ c 2
sec sec  sv 2 
1.428 × 10 19 2
  →  2 
Pθ Pφ   ω  → 
 sv      
θ⋅ +φ⋅ − I ⋅ − gsv ⋅ Isv ⋅ ω sv ⋅ Bsv 
sec sec  sv 2   2 -2
19
= 1.03 × 10 77 gmcm sec
1.428 × 10
Pθ Pφ
  →  2 
θ⋅ +φ⋅   ω  → 
sec sec  sv      
−  Isv ⋅ − gsv ⋅ Isv ⋅   ω sv ⋅ Bsv   
1.428 × 10 19  2 
=4
M sv⋅c2
2

12
2
Msv ⋅ c
2 -2
= 1.031 × 1077 gmcm sec
2
Pθ Pφ
θ ⋅ +φ ⋅
sec sec
= 1.03 × 10 77 gmcm2 sec-2
1.428 × 10 19

  →  2 
  ω  → 
 sv      
− Isv ⋅ − gsv ⋅ Isv ⋅ ω sv ⋅ Bsv 
 2  
= 3.001
Pθ Pφ
θ⋅ +φ ⋅
sec sec
1.428 ×10 19

 →  2
 ω  →
 sv   ω 
Isv ⋅ − gsv ⋅ Isv ⋅ ⋅ B
2   sv sv 
= −3
 Msv ⋅ c 2 
 
 2 
Pθ Pφ
2 -2
θ ⋅ + φ ⋅ = 1.472 × 10 96 gmcm sec
sec sec
θ ⋅ Pθ = 1.104 × 1096 gmcm2 sec-1
π
χ :=
2

( )
y : = a0 − 1
After some algebra we obtain

x := a0 − 1

z := a0 − 1

π
θ :=
2

H I⋅
ω ( )
 → 2 (→Σ ) 2
M
2
( s − g1 ⋅ I ⋅ B)
2
s
2
2
− g1 ⋅ s ⋅ B + g1 I ⋅ B
2
2 2⋅I 2 ⋅ I ⋅ g1
2 2⋅I 2⋅I
s : = Σ sv

13
π
φ :=
2
2
Mtopsv
= 1.031 × 10 77 gmcm2 sec-2
2
2 ⋅ Isv ⋅ gsv

gsv = 5.166 × 10− 4 cm gm se c


1 0 -1

 Mtopsv 
 
 Σ sv   5.166 × 10 − 4  1 0 -1
 = −4
 cm gm sec
 − M topsv   − 5.166 × 10 
 Σ sv 
 
2
s 2 2
− gsv ⋅ s ⋅ Bsv + gsv ⋅ Isv ⋅ Bsv
2 ⋅ Isv
= 1.031 × 10 77 gmcm2 sec -2
5
2⋅
π =
6.283

So ,again the form of the Hamiltonian ......


2
1   d    d 
2 2
     
2
 me ⋅ c
⋅   θ   +  φ  ⋅ sin( θ ) +   χ  +  φ  ⋅ cos( θ )  
2 d d
2   dx    dz    dz   dy    2

1
⋅ ( p − e ⋅ A) 2
(→Σ ) 2

2 ⋅ me 2⋅I
1
H ⋅ ( p − e ⋅ A) 2
2⋅m
 me ⋅ ( c ⋅ α 1 )
2 2
gm    d  2 d 
2
2 d  d  
2
⋅   θ   +  φ  ⋅ sin ( θ ) +   χ  +  φ  ⋅ cos ( θ )   + = 2.18 × 10 − 11 erg
2 ⋅ sec    dx          
2 2
dz dz dy

2
1 2 ( s − g1 ⋅ I ⋅ B)
⋅ ( p − e ⋅ A)
2 ⋅ me 2I
1 2
L ⋅ me ⋅ q + e ⋅ A ⋅ q
2

14
 1 

 1 ⋅ ( me ⋅ g ⋅ h1)  2  

2⋅
 me c   1.589 × 10 − 9  0 0
 =  cm sec
  1    −1.589 × 10 − 9 
 −1 ( me ⋅ g ⋅ h1)  2  
 m ⋅ 2⋅
c 
 e 
g ⋅ h1 = 1.034 × 10− 24 gmcm sec
Ovde dodje tekst 3 -3
h1
2⋅ g⋅ = 4.322 × 10 − 41 gmcmsec-1
( 2
c ⋅ α1
2
)
III . Lagrange equations for the magnetic top and their
solutions for constant magnetic fields
We shell now write and solve Lagrange equations of motion for magnetic top in a constant
magnetic field, assumed to be directed along the z-axis of the space-fixed reference frame.
This assumption does not reduce the generality of our solution, since the orientation of the
Laboratory frame may be chosen convenniently. With this assumption the Lagrangian (8) takes
the form :
18  Isv 
Lsv1 :=  ⋅ ( θ ' + χ ' + φ ' + 2 ⋅ χ ' ⋅ φ ' ⋅ cos ( θ ) ) + gsv ⋅ Bsv ⋅ Isv ⋅ ( φ ' + χ ' ⋅ cos ( θ ) )  ⋅ sec
2 2 2
 2 
Lsv1 = 2.342 × 1095 gmcm2 sec-1
Pφ Pχ
Because this Lagrangian does not depende on f and c the momenta and are integrals
of motions :
d d d d
Lsv1 − Lsv1 Pφ ⋅ sec
dHa dφ' dφ dHa
19
d d d d
Lsv1 − Lsv1 Pχ ⋅ sec
dHa dχ' dχ dHa
Hence the corresponding two Lagrange equations reduce to two first order differential equations :
20

φ' + χ' ⋅ cos ( θ ) + gsv ⋅ Bsv
Isv
21

15

φ' ⋅ cos ( θ ) + χ' + gsv ⋅ Bsv ⋅ cos ( θ )
Isv
The third Lagrange equation is a second order differential equation
22
d2
θ '' := θ
dHa 2
d d d 2 -2
Lsv − Lsv = 0 gmcm sec
dHa dθ ' dθ

( θ '' + φ ' ⋅ χ ' ⋅ sin ( θ ) + gsv ⋅ Bsv ⋅ χ ' ⋅ sin ( θ )) 2


⋅ gm ⋅ cm = 0 gmcm sec
2 -2

In order to solve the latter equation we shall substitute into it the following expressions
23 Pφ − Pχ ⋅ cos ( θ )
φ 1' := − gsv ⋅ Bsv
Isv ⋅ sin( θ )
2

φ − Pχ ⋅ cos ( θ )
24
P
-1
− gsv ⋅ Bsv = 0 sec
Isv ⋅ sin( θ )
2

Pχ − Pχ ⋅ cos ( θ )
χ 1' :=
Isv ⋅ sin ( θ )
2

Pχ − Pχ ⋅ cos ( θ )
= 1.76 × 10− 18 -1
sec
Isv ⋅ sin( θ )
2

obtained
P − P from
φ (θ) P
eqs.(20)
⋅ cos
χ χ − Pφ ⋅ cos ( θ )
⋅ = 6.199 × 10 − 36
sec
-2
Isv ⋅ sin ( θ )
2 Isv ⋅ sin ( θ )

25 Pφ − Pχ ⋅ cos ( θ ) Pχ − Pφ ⋅ cos ( θ )
= 6.199 × 10 − 36 -2
θ '' + ⋅ sec
Isv ⋅ sin ( θ )
2 Isv ⋅ sin ( θ )

Now
P − we the( remarkable
⋅ cos
P note θ) identities
χ φ 2 -1
= 1.171 × 10 95 gmcm sec
sin( θ )

26

16
Pχ − Pφ ⋅ cos ( θ )
d −1 2 -1
⋅ sec = 0 gmcm sec
dθ ' sin( θ )
Pφ − Pχ ⋅ cos ( θ )
2 -1
= 2.342 × 10 95 gmcm sec
sin( θ )
2

27
d Pχ − Pφ ⋅ cos ( θ )
= 0 gmcm2
dθ ' sin( θ )
Pχ − Pφ ⋅ cos ( θ )
2 -1
= 1.171 × 10 95 gmcm sec
sin( θ )
2

With thePaid−ofPthose
φ ⋅ cos ( θ ) we transforme
identities
χ cos ( θ ) (25) to any one of following two forms :
P − P ⋅equation
d φ χ
θ '' := ⋅
Isv sin ( θ ) dθ ' Isv sin ( θ )
Pφ − Pχ ⋅ cos ( θ ) Pφ − Pχ ⋅ cos ( θ )
d
⋅ = 0 sec-1
Isv sin( θ ) dθ ' Isv sin( θ )
-1
θ '' = 0 sec
Pχ − Pφ ⋅ cos ( θ ) Pχ − Pφ ⋅ cos ( θ )
d
θ '' := ⋅
Isv sin ( θ ) dθ ' Isv sin ( θ )
Pχ − Pφ ⋅ cos ( θ ) d Pχ − Pφ ⋅ cos ( θ )
⋅ = 0 sec-1
Isv sin( θ ) dθ ' Isv sin( θ )
θ ' ⋅ dH a dθ
Now multiplying bots equations with = we find
 Pχ − Pφ ⋅ cos ( θ ) 
2

dθ '2 :=

 Isv sin ( θ ) 

 Pφ − Pχ ⋅ cos ( θ ) 
2

dθ '2 :=

 Isv sin ( θ ) 

 Pφ − Pχ ⋅ cos ( θ ) 
2

10 − 35 sec
-2
= 1.24 ×

 I sv sin( θ ) 

17
 Pχ − Pφ ⋅ cos ( θ )
2

3.099 × 10 − 36 sec
2 -2
θ' + =

 Isv sin( θ ) 

θ '0 : = θ '

 Pχ − Pφ ⋅ cos ( θ ) 
2
2
A := θ' +

 Isv sin ( θ ) 

 χP − P φ ⋅ cos ( θ ) 
2

θ '0 +  = 3.099 × 10 − 36 sec-2


2

 Isv sin( θ ) 

 Pφ − Pχ ⋅ cos ( θ ) 
2

= 1.24 × 10 − 35 sec
2 -2
θ '0 +

 Isv sin( θ ) 

A = 3.099 × 10 −
2 36 -2
sec

 Pφ − Pχ ⋅ cos ( θ )
2

B :=

 Isv sin ( θ ) 

So, we found two other integrals of motion. In order to find θ(t). It is sufficient to use of them

A ⋅ dt
  Pχ − Pφ ⋅ cos ( θ )
2
 
1−
  A ⋅ Isv ⋅ sin( θ ) 
 

−A ⋅ dt
  Pχ − Pφ ⋅ cos( θ )
2
 
1−
  A ⋅ Isv ⋅ sin ( θ ) 
 
or
After some algebraic operations we recognize on the left hand site an integrable function ;x=sin(
θ)
32
dcos ( θ )
dt
( ( )
θ 0a : += bθ ⋅ cos θ + c ⋅ cos θ
2
)
θ '0 : = θ

18
θ=1.571

(θ ) = 1
where
sin

2 ( )
 Pφ 2 + Pχ 2 ⋅ cos( θ ) 2 − 2 ⋅ ( Pφ ) ⋅ Pχ ⋅ cos( θ ) 
0 0 
a θ'0 +
( )2
Isv ⋅ sin θ 0

( ) ( )
 Pφ 2 + Pχ 2 ⋅ cos( θ ) 2 − 2 ⋅ ( Pφ ) ⋅ Pχ ⋅ cos( θ ) 
0 0 
a := θ'0 ⋅ gmcm2 sec -2 +
2

χ '0 : = χ '
( )2
Isv ⋅ sin θ 0

2 ⋅ Pφ ⋅ Pχ
b
2
I
φ '0 : = φ ' sv
2 ⋅ Pφ ⋅ Pχ
= 1.24 × 10− 35
se c
-2
2
Isv

( ) 2 2
( ) (
b := 2 ⋅ cos θ 0 ⋅  χ '0 + φ'0 + gsv ⋅ Bsv  + χ ' ⋅ φ'0 + gsv ⋅ Bsv ⋅ 1 + cos ( θ )
2
) ( )
2 ⋅ cos ( θ 0) ⋅  χ '0 + ( φ '0 + gsv ⋅ Bsv)  + χ ' ⋅ ( φ '0 + gsv ⋅ Bsv) ⋅ ( 1 + cos ( θ ) ) = 1.518 × 10
2 2 2 − 51 -2
sec
 
33
 θ ' 2 ⋅ gm2 ⋅ cm4 ⋅ sec− 2 + ( Pχ 2 − 2 ⋅ Pχ ⋅ Pφ ⋅ cos( θ ) + Pφ 2) 
c1 := −  
0 0
 Isv ⋅ sin( θ 0) 
2 2
 
c1 = − 1.55 × 10 − 35 -2
sec

33
−  θ'0 ⋅ sec
2 −2
(
+ φ'0 + gsv ⋅ Bsv ) 2 + χ '0 2 + 2 ⋅ cos ( θ ) ⋅ χ '0 ⋅ ( φ'0 + gsv ⋅ Bsv)  = − 2.467 sec-2
b := b ⋅ gm ⋅ cm
The solution reads
∆ : = 4 ⋅ a ⋅ c1 − b 2

−∆  2 ⋅ c ⋅ cos θ 0 + b  b ( )
cos ( θ ) := ( )
⋅ sin −c ⋅ t + asin −
2⋅c  −∆  2⋅c
34

19
− −∆  2 ⋅ c ⋅ cos θ 0 + b  b ( )
cos ( θ ) := ⋅ sin ( −c) ⋅ t + asin −
2⋅c  −∆  2⋅c
where
35
2

4 2
( )2 
2
( )2 ( )4 2
( ) 2  
4 ⋅ a ⋅ c1 − b := − 4 ⋅  θ '0 + θ '0 ⋅ sin θ 0 ⋅  χ '0 + φ '0 + gsv ⋅ Bsv + sin θ 0 ⋅ χ '0 ⋅ φ '0 + gsv ⋅ Bsv
∆ : = 4 ⋅ a ⋅ c1 − b 2

π
Therefore cos(θ ) oscillates with the period T0 2⋅ between the two values
( )
cos θ 1 andcos θ 2 ( ) −c
determined by
36
− −∆ − b
cos ( θ 2) :=
2 ⋅ c1
− −∆ + b
cos ( θ 1) :=
2 ⋅ c1
T0
Consequently, θ oscillates with the same period between the corresponding
θ1 θ 2 θ 2 , T0 , θ 1
values and : depending on the initial condition.
χ( t) φ( t)
t :Now
= Hawe are ready to determine and . By integrating the equation (23) we find :

t
⌠ P − P ⋅ cos ( θ )
 φ χ
− gsv ⋅ Bsv ⋅ t +  dt
 Isv ⋅ sin ( θ ) 2

⌡0
Rgsv
tsv : =
c
tsv = 5.68 × 1017 sec
2
⌠ P − 2P
 φ χ 1
− gsv ⋅ Bsv ⋅ tsv +  ⋅ dθ = − 2
(
 Isv ⋅ sin θ ) 2
d
θ
 d t sv
⌡0
− gsv ⋅ Bsv ⋅ tsv = − 2

37

20
Pφ − Pχ
θ ⋅ cos ( θ )

 Pφ − Pχ A ⋅ Isv ⋅ sin( θ )
− gsv ⋅ Bsv ⋅ t +  d
Isv ⋅ sin( θ )  Pφ − Pχ ⋅ cos( θ )
2 2
 
⌡θ 1−
0  A ⋅ Isv ⋅ sin( θ ) 
 
θ 0 = 1.571
Pφ − Pχ
A⋅Isv⋅sin( θ )
= − 4.745i × 10 7
2
 Pφ − Pχ 
1− 
 A ⋅ Isv ⋅ sin( θ ) 
φ 0 := φ

38 a   Pχ − Pφ   Pχ − Pφ 
− φ 0 − gsv ⋅ Bsv ⋅ t +   asin ⋅ cos ( θ )  − asin ⋅ cos ( θ 0)   
  A ⋅ Isv ⋅ sin( θ )   A ⋅ Isv ⋅ sin( θ 0) 
38 b   Pχ − Pφ   Pχ − Pφ 
− φ 0 − gsv ⋅ Bsv ⋅ t +   asin ⋅ cos ( θ )  − asin ⋅ cos θ 0   
( ) ( )
  A ⋅ Isv ⋅ sin( θ )   A ⋅ Isv ⋅ sin θ 0 
In an analogous way we obtain
39 a   Pχ − Pφ   Pχ − Pφ 
χ 0 −  asin ( )
⋅ cos θ  − asin ⋅ cos ( θ 0)  
  A ⋅ Isv ⋅ sin( θ )   A ⋅ Isv ⋅ sin( θ 0) 
39 b   Pχ − Pφ   Pχ − Pφ 
χ 0 −  asin ( )
⋅ cos θ  − asin ⋅ cos ( θ 0)  
  A ⋅ Isv ⋅ sin( θ )   A ⋅ Isv ⋅ sin( θ 0) 
Bsv
Not that only φ(t) depends on the magnetic field
Implicit assumption that sin(θ )=0 , there exist particular solution of Lagrange equation, which
are characterised by : sinθ(t) for any value of t. Such solution exist for initial conditios :
Pφ0 Pχ0
θ0 0 or θ 0( )
π , θ'0 0,
Isv Isv
φ'0 + χ'0 + gsv ⋅ Bsv. Lagrange

equation 20-22
are then equvalent to :

21
Pφ 0 : = Pφ
Pχ 0 : = Pχ
φ : = φ '0
χ ' : = χ '0

Pφ0 Pχ0
φ'0 + χ'0 + gsv ⋅ Bsv = 0
I I
Pφsv: = Pφ 0sv

41
Pφ0 Pχ0 Pφ Pχ
φ' + χ' + gsv ⋅ Bsv =0
Isv Isv Isv Isv
χ ( θ': )= χ 0
0

The  equations are :


Pφsolution of the latter
 − gsv ⋅ Bsv ⋅ t + φ 0 + χ 0 = 3.142
 Isv 
θ ( t) : = θ 0
π
= 1.571
2
θ
( t) =
1.571

 Pφ 
φ+χ  − gsv ⋅ Bsv  ⋅ t + φ 0 + χ 0
Σ z  Isv 

(χ 0 ⋅ Isv − χ ⋅ Isv + t ⋅ Pφ − t ⋅ gsv ⋅ Bsv ⋅ Isv + φ 0 ⋅ Isv )


= 1.571
Isv

The fact that for those initial conditions the equations give only the dependence of (φ+χ)
on t and do not give the dependence on t of each angle separately is understandable. When
the z-axis of the body frame coincides with the z-axis of laboratory frame the rotation
described by φ(t) and χ(t) are rotations about the same axis (z-axis) and consequently
the angles φ(t) and χ(t) do not appear separately but together in a sum.
Having determined the solution of Lagrange equations of motion we may now determine
the time dependence of the most important quantity for our purpouse, i.e. kinetic angular
momentum (2) and cannonical (spin) - (12). By virtue of the equations (23) and (24) we

22
Σ z
find that is a constant of motion
 Pφ 
Σz Isv ⋅  − gsv ⋅ Bsv  Pφ − gsv ⋅ Bsv ⋅ Isv Σ z0
 Isv 
41 2 -1
Pφ − gsv ⋅ Bsv ⋅ Isv = 0 gmcm sec
 Pφ 
Isv ⋅  − gsv ⋅ Bsv = 0 gmcm2 sec-1
 Isv 
Σ z0

Further, taking into account the relation (24) and (30) and introducing the angle such that :
θ' A ⋅ cos ( ε )
χ' sin ( θ ) A ⋅ sin ( ε )
 Pχ − Pφ ⋅ cos ( θ ) 
ε π − asin , θ' < 0
 A ⋅ Isv ⋅ sin ( θ ) 
 
 Pχ − Pφ ⋅ cos ( θ ) 
ε asin , θ' > 0
 A ⋅ Isv ⋅ sin ( θ ) 
 Σ Σ y 
x
we can write and in the form
Σx A ⋅ Isv ⋅ cos ( φ − ε )
Σy A ⋅ Isv ⋅ sin ( φ − ε )
φ( t)
Taking into account the solution given in (37) we obtain a simple dependence of φ-ε on t.
( ) 
 Pχ − Pφ ⋅ cos θ 0
φ ( t) − ε φ 0 − gsv ⋅ Bsv ⋅ t − asin  , θ'0 > 0
 ( ) 
 A ⋅ Isv ⋅ sin θ 0 
 Pχ − Pφ ⋅ cos ( θ 0) 
φ ( t) − ε ( φ 0 − π − gsv ⋅ Bsv ⋅ t) − asin  A ⋅ I ⋅ sin ( θ )  , θ'0 < 0
→  sv 0 
Σ
Σ x Σ y →
Cosequently, the dependence of and on tis simple too. The vector Σprecesses
θs
around the z-axis with the frequency ω L −gsv ⋅ Bsv forming fixed angle with the x-
axis.

23
 Σ 2⋅Σ 2 A ⋅ Isv
 x y 
θs atan 
Σz Pφ − gsv ⋅ Bsv ⋅ Isv
 
Taking into account the relation (13) between Σ and s we find that the canonical angular
momentum also precesses around time-independent magnetic field B Bk
sz Σ z Pφ
Pφ = 2.342 × 1095 gmcm2 sec-1
2 -1
sz = 2.342 × 1095 gmcm sec

  Pχ − Pφ ⋅ cos( θ 0)  π 
sx Σx A ⋅ Isv ⋅ cos  φ 0 − gsv ⋅ Bsv ⋅ t − asin
( ) − ⋅ ( 1 − sign( θ 0) ) 
 A ⋅ Isv ⋅ sin( θ ) 
   2 
 
44
  Pχ − Pφ ⋅ cos( θ 0)  π 
A ⋅ Isv ⋅ cos ( φ 0) − gsv ⋅ Bsv ⋅ t − asin
 2 (
sy Σy − ⋅ 1 − sign( θ 0) )
  A ⋅ Isv ⋅ sin( θ ) 
   
In the case of motion described by the solution (40a ) neither Σ nor s precess because
for sin ( θ 0) and θ' ( t) 0
we have:
41

Σx 0,Σ y 0,Σ z Pφ − gsv ⋅ Bsv ⋅ Isv


sx 0 , sy 0 , sz Pφ

− gsv ⋅ Bsv +
But , at the same time the body rotates around z with the frequency Isv
ω L : = − gsv ⋅ Bsv
which is different from Larmor frequency
V to: = prove
As we are going − g in ⋅the
sv ω following
⋅ B section, this result reflects the fact tha
sv
t the potential
N : = Mtopsv ⋅ Bsv
in the Lagrangian(8) comes from the torqe
Σ : = Isv ⋅ ω sv
which governs the motion of
according to the well known torqe equation. In fact we shall prove that the Lagrange equations
are equivalent to differential equations for θ(t) ,φ(t ) and χ(t) resulting from the torqe equation,
an give two other proofs of the spin precession equation.
IV .The Torque equation and its
equivalence with Lagrange equation

24
We are going to demonstrate the equivalence of the torque equation
Mtopsv ⋅ Bsv = 4.123 × 10 77 gmcm2 sec-2

gsv ⋅ Σ sv ⋅ Bsv = 4.123 × 10 77 gmcm2 sec-2


-1
θ ' = 0 sec
→ →
d
Σ N Mtopsv ⋅ Bsv gsv ⋅ Σ sv ⋅ Bsv
dt ( sv)
sin θ
wits the Lagrange equation(20,21) and (22) by substituing into the torque equation the expressions (3)
for the components
-1 of the vector ω.sv ( assuming B=Bk
χ ' = 0 sec
t : = Ha

46d 
  cos( φ ) ⋅ θ ' + sin( φ ) ⋅ sin( θ ) ⋅ χ ' gsv ⋅ Bsv ⋅ ( sin( φ ) ⋅ θ ' − cos ( φ ) ⋅ sin( θ ) ⋅ χ ')  
 dt 
Ha = 5.68 × 1017 sec
-1
φ = 0 sec
47
 sin( φ ⋅ sec) ⋅ θ ' + cos( φ ⋅ sec) ⋅ sin( θ ⋅ sec) ⋅ χ ' − gsv ⋅ Bsv ⋅ ( cos ( φ ) ⋅ θ ' ⋅ sec − sin( φ ) ⋅ sin
d
dt 
d
48
( φ ' + cos ( θ ) ⋅ χ ')
dt

From eq.(48) we obtains immediately one of the integral of motion


49
Σz Σ x0
( φ' + cos ( θ ) ) ⋅ χ'
Isv Isv
But , this equation is equvalent to the Lagrange equation (20) , the relation between the
constants being :
50
Σz Pφ − gsv ⋅ Bsv ⋅ Isv
Next , by multiplying the equation (46) and (47) by cos(φ) and sin(φ) respectively, and
summing the resultant expression, we find the Lagrange (22).The third equvalence between
the Lagrange and torque equations may be established after the following operations. First,
we multiply (20) with -cos(θ ) and sum with (21).This given :
51

25
Pχ Pφ
χ' ⋅ sin ( θ ) − ⋅ cos ( θ )
Isv Isv
χ
'' :=χ

Differentiation of the latter equation gives :


52 Pφ
χ '' ⋅ sin ( θ ) + 2 ⋅ cos ( θ ) ⋅ θ'⋅ χ'− ⋅ θ'
Isv

On obtains the same equation by multiplaying Eqs. (46) and (47) with cos(φ) and -sin(φ),
respectively and then summing the resultant expression. Hence the equvalence is proved.
V. Hamilton's equations for the magnetic top
From (16) we eassily derive Hamilton's equations for the magnetic top

θ'
d
dPθ
H
Isv
(
− gsv ⋅ Bx ⋅ cos ( φ ) + By ⋅ sin ( φ ) )
Pφ − Pχ ⋅ cos ( θ ) ( Bx ⋅ sin ( φ ) − By ⋅ cos ( φ ) )
⋅ cos ( θ ) − Bz
d
φ' H + gsv ⋅
dPφ Isv ⋅ sin ( θ )
2 sin ( θ )
53a

Pχ − Pφ ⋅ cos ( θ )  Bx ⋅ sin( φ ) − By ⋅ cos( φ ) 


d
χ' H + gsv ⋅  
dPχ Isv ⋅ sin( θ )
2
 sin ( θ ) 
d   sin( φ ) ⋅
Pχ ⋅ cos ( θ ) + Pφ ⋅ cos ( θ ) − Pχ ⋅ Pφ ⋅ ( 1 + cos ( θ ) ) +  gsv ⋅ Bx ⋅
2
− H
2 2
P'θ
 dθ 
 ( cos( φ ) ⋅ Pχ ⋅ cos( θ ) − Pφ )
 + gsv ⋅ By ⋅
sin( θ )
2

 2  sin ( φ ) ⋅ ( Pφ −
( ) ( ) ( ( ) 2
)
 Pχ ⋅ cos θ + Pφ ⋅ cos θ − Pχ ⋅ Pφ ⋅ 1 ⋅ gm ⋅ cm + cos θ +  gsv ⋅ Bx ⋅
2 2

  sin (
 ( cos ( φ ) ⋅ Pχ ⋅ cos ( θ ) − Pφ )
 + ( gsv) ⋅ By ⋅
sin ( θ )
2

d
P'φ − H

53b

26
d
P'χ − H

By taking B along z axis, we obtain the simpler equations

θ'
Isv
( Pχ − Pφ ⋅ cos( θ ) ) ⋅ Pχ ⋅ cos( θ ) − Pφ
P'θ
Isv ⋅ sin( θ )
2

Pφ − Pχ ⋅ cos ( θ )
φ' − gsv ⋅ Isv ⋅ Bsv
Isv ⋅ sin ( θ )
2

Pφ const
P'φ 0
Pχ − Pφ ⋅ cos ( θ )
χ'
Isv ⋅ sin ( θ )
2

Pχ const
P'χ 0
We see that Hamilton equations for φ' and χ' are identical with the equations (23) and (24)
which were derived
P' form the Lagrange equations (20) and (21). By combining the equations
θ
for θ' and through
P'θ
θ''
Isv
we find the Lagrange equations (25).
Now we shall show that Hamilton's formalisme for magnetic top leads also to the torque equation
for the motion of spin Σ for this purpose we shall use the Poisson-bracket formalism.
By applying the general dynamical for any quantity u{q.a,p.a) in phase space (q,a,p,a) for
the equations of motion of the angular momentum Σ we find :

 d  d  d  d  d  d
d
Σ
dt 1
( Σ i , H)  dq Σ i  ⋅ 

H ⋅
dp
Σ i − 
dq
Σ i ⋅ 

H ⋅ 
dp
Σ1
d
dΣ j
H
 α   i  α   α   j   α
For the Poisson brackets of spin components we after some calculation
( Σ x , Σ y) Σ z + gsv ⋅ Isv ⋅ Bsvz
Σ z + gsv ⋅ Isv ⋅ Bsv = 2.342 × 10 95 gmcm2 sec-1

27
( Σ x , Σ z) −Σ y − gsv ⋅ Isv ⋅ Bsvy

( Σ z , Σ y) −Σ x − gsv ⋅ Isv ⋅ Bsv.x


We have also from(16)
56
Σx
d
H
dΣ x Isv

Σy
d
H
dΣ y Isv

Σz
d
H
dΣ z Isv
By supstitution (56) and (57) into (55) we find again the torque equation (45), i.e.
57
d
Σ
dt x
(
gsv ⋅ Σ y ⋅ Bx − Σ z ⋅ By )
d
Σ
dt y
(
gsv ⋅ Σ z ⋅ Bx − Σ x ⋅ Bx )
58
d
Σ
dt z
(
gsv ⋅ Σ x ⋅ By − Σ y ⋅ Bx )
2
Σ
It is well known that it follows from (58) that is a constant of motion
59
d 2
Σ 0
dt
Before we start to quantiye this system let us note that due to the equalities
d
Σ
dqα i
d
dqα
(
si − gsv ⋅ Isv ⋅ Bi ) d
dqα
si

60
d
Σ
dpα i
d
dpα
(
si − gsv ⋅ Isv ⋅ Bi ) d
dpα
si

we have the follwing important relations


61
( Σ i , Σ j) ( si , sj)
Taking this relation into account we find the Poisson brackest of the components of the canonical
angular momentum or spin vector s.

28
62
( si , sj) ε ( i , j , k ) , sk
as wellas the dynamical equation for s
58 '
d
s gsv ⋅ s ⋅ Bsv
dt
VI. Quantum magnetic top
In order to quantze the motion, we shall aply two standard quantization procedures.1) Cannonical
quantization and 2) Schrodinger quantization. The third form of quantization, the path integral
formalism, will be discussed separately.
1) Canonical quantization

It is well known that in the framework of this formalism one passes from the classical to
the quantum case by replacing the classical dynamical variables f(p,q) , g(p,q), etc. by operators
F,G, etc.in some Hilbert space of states, in such a way that the Lie product in the space of classical
functions, defined as a Poisson bracket :
d  d d  d
( f , g)  f ⋅ g +  f ⋅ g
 dq  dp  dp  dq
is replaced by the Dirac commutator (quantum Poisson bracket)
 ( F , G) ≡ ( i ⋅ h) −1 −1
⋅ ( F ⋅ G − G ⋅ F)  ≡ ( i ⋅ h)
0
⋅ ( F , G)
which now plays the role of the Lie product in the space of operators.The Dirac Lie product
conserves the structure of Lie algebra of classical functions with Poisson bracket as
the Lie product. The equation of motion for a dynamical variable F now reads
d 1 Q
F ⋅ ( F , H) ( F , H)
dt i⋅h
where H is Hamilton operator associeted with the classical Hamiltonian H(p,q).
The basic quantity of the magnetic top is cannonical angular momentum s. Taking into
account the Poisson bracket (62 )
of the components of s and the requirement that the quantum Poisson bracket (s.i,s.j)^0 have
to conserve the structure of the classical Lie algebra we may immediatly write the Dirac bracket
of the components s.i of the operator of cannonical angular momentum s.
( si + sj) ε ( i , j , k ) ⋅ sk
It follows strainghtforwardly that the commutators of the components of s have to be :
( si + sj) ( si ⋅ sj − sj ⋅ si) (
i ⋅ h ⋅ ε ( i , j , k ) ⋅ sk )
One further step leads now to Hamilton operator of the quantum magnetic top.
Inthe classical Hamiltonian (16) canonical angular momentum s has to be
substituted by the operator s.
2 2
s
2 gsv ⋅ Isv ⋅ Bsv
H − gsv ⋅ s ⋅ Bsv +
2 ⋅ Isv 2
2 2
s2 gsv ⋅ Isv ⋅ Bsv
2 -2
− gsv ⋅ s ⋅ Bsv + = 1.031 × 10 77 gmcm sec
2 ⋅ Isv 2

The components of the well known Pauli spin operatpor

29
 0 1 
σ x :=  
 1 0 
 0 −1 
σ y :=  
 1 0 

1 0 
σ z :=  

0 −1 
Σ sv  0 5.855 × 10 94  2 -1
⋅σx=   gmcm sec
2 10 94
 5.855 × 0 
Σ sv  0 − 5.855 × 10 94  2 -1
⋅σy=   gmcm sec
2 10 94
 5.855 × 0 
Σ sv  5.855 × 10 94 0  2 -1
⋅σz=   gmcm sec
2 − 5.855 × 10 94 
 0

satisfy the commutation relations (65) and therefore Pauli operators represent one
possible representation of quantum canonical angular momentum operators. But of cource
there are many other bigher dimensional representationss.
In the two-dimensional spin space spanned by two eigenstates of s.z
 1 
s  
 0 
 0 
−s  
 1  2 2
s2 gsv ⋅ Isv ⋅ Bsv
− gsv ⋅ s ⋅ Bsv +
the cotribution of the term 2 ⋅ Isv 2 to the eigenstates is

constant (independent of the state) and we argue that those two terms in the quantum
Hamiltonian give a constant energy shift. In this way we conclude that Pauli Hamiltonian
 Σ sv 
HP −gsv ⋅ s ⋅ Bsv −gsv ⋅   ⋅ σ ⋅ Bsv
 2 
69
 Σ sv   0 − 2.062 × 10 77 
− gsv ⋅   ⋅ σ x ⋅ Bsv =   gmcm
2
sec
-2
 2   − 2.062 × 10 77
0 
is the dynamical part of the Hamiltonan and one of the quantum representation of the
magnetic quantum top
One shorthcoming of this representation is that it does not contain quantum analogues
of θ ,φ, χ and p.θ, p.φ and p.χ . But this shorthcoming may be removed by applyng
the Schrodinger quantization (22).

ii^0) Schrodinger quantization

30
In Schrodinger quantization, with canonical momenta P.θ,P.φ and P.χ one associates
the operators of canonical momenta P.θ,P.φ,P.χ

d
Pθ −i ⋅ Σ sv ⋅

d
Pφ −i ⋅ Σ sv ⋅

70
d
Pχ −i ⋅ Σ sv ⋅

By substituing into (12) the canonical momenta P.θ,P.φ,P.χ in terms of the above
operators, we find the differential representation of the s.x,s.y,s.z.

  d  cos ( θ ) d sin( φ ) d 
sx  − cos( φ ) ⋅  i ⋅ h  + sin( φ ) ⋅ ⋅ i⋅h − ⋅ i ⋅ h 
  dθ  sin( θ ) dφ sin( θ ) dχ 
71
 ( )  d  cos ( θ ) d cos ( φ ) d 
sy  sin φ ⋅  − i ⋅ h  + cos ( φ ) ⋅ ⋅ −i ⋅ h − ⋅ − i ⋅ h 
  dθ  sin( θ ) dφ sin( θ ) dχ 
d
sz −i ⋅ h

It is eqsy to see that commutators of the above differential operators sartisfy the commutation
relations (65) . By squaring the operators (71) and by summing the resultant expression we
obtain the differential representation of the operator s^2.
d 2  d2 2  
s 2
( 2 2
sx + sy + sz 2
) d2 2 ( )
h + cot θ ⋅  h +
1
2 
⋅ h +
d2
h 2  − 2 ⋅
cot
sin(
sin( θ )
2 2 2
dθ dθ  dφ  dχ 
The differential representation of the Hamilton operator (66) reads :
−1  d2 2 d 2 1  d2  d2 2  cot ( θ )
H ⋅ ( )
h + cot θ ⋅  h + 2 
⋅ h +
2
h  − 2 ⋅ ⋅
d
2⋅I sv  dθ 2
dθ sin ( θ )  dφ
2
 dχ
2
 sin ( θ ) dχ ⋅
2 2
gsv ⋅ Isv ⋅ Bsv
+
2
As in the case of Pauli representation, in the subspace spanned by the eigenstates of s^2
associated with the eigenvalue s*(s+1), the contribution of the first two terms to energy
eigenvalues is independent of the states. Thr ramaininig term is another possible representation
of the Pauli Hamiltonian
Bsv Bsv ⋅ k
s 1
 
 2

31
d
HP −gsv ⋅ i ⋅ h ⋅ Bsv ⋅

We want to stress here that s is quantum analogue of the canonical angular momentum s and
not of the kinetic angular momentum Σ. In the absence of the field the angular momentum Σ
coincides with the canonical angular momentum s. In the works of Bopp and Haag (9) and
Dahl (13) the operators (71) and (72) have been derived starting form the free top and from
the angular momentum Σ=I.sv*ω.sv expressed trough the momenta P.1 and P.2 of two point
particles at point with radius vectors r.1 and r.2 (with constant mutual angle u).
Σ Isv ⋅ ω sv P1 ⋅ P2 + P2 ⋅ r2
73
Judd (23) associetedthe same differential operators with Σ=I.sv*ω.sv of the free top using
the corresondence rule (70). Rosen also uses those differential operators (8).
The subsequent procedure of Bopp and Haag in the presence of the field consists
in the following steps : Yhey substituted the expressions (9) for P.θ,P.φ,P.χ valid in
the presence of the field into the following relation between angular momentum
components Σ.x,Σ.y,Σ.z (denoted in their paper by M= (m.x,M.y,M.z)) and
canonical momenta P.θ,P.φ,P.χ
sin ( φ ) sin ( φ ) ⋅ cos ( θ )
Mx Σx cos ( φ ) ⋅ Pθ − ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
 cos ( φ ) cos ( φ ) ⋅ cos ( θ ) 
My Σy sin( φ ) ⋅ Pθ −  ⋅ Pχ + ⋅ Pφ 
sin( θ )
 sin( θ ) 
74
Mz Σz Pφ
But , as it is seen from (11) this latter relation is valid in the absence of the field.
In this way Bopp and Haag obtained the relation
M 'M + M' Isv ⋅ ω sv + gsv ⋅ Isv ⋅ Bsv
75
Isv ⋅ ω sv + gsv ⋅ Isv ⋅ Bsv = 3.513 × 10 95 gmcm2 sec-1

which they substitued into H expressed through θ,φ,χ,θ',φ',χ' (H=I.sv*ω.sv^2/2)


In this way they found
76
2 2
 M 
2 g ⋅I ⋅B
sv sv sv
H  − gsv ⋅ M ⋅ Bsv +
2 ⋅ Isv  2

In the next step Bopp and Haag claim that the quantum analogue of M is the operator (71)
In the above reasoning the justification of the use of the relation (74) in the presence of the field is
missing. Consequently, the theoretical meaning of the relation (75) (the relation (36) in Bopp and Haag
paper) is missing too. In our reasoning, which strictly follows the standard procedure for the construction
of the Hamiltonian (which has to be considered as a function in phase space θ,φ,χ,P.θ,P.φ,P.χ and not as a
function of θ,φ,χ,θ',φ',χ') we obtain the relation (11) which takes the place of Bopp and Haag relation (360.
But , then we define in (12) a new quantity s and we look for the quantum analogue of this quantity. In this
way we make a clear distinction between angular momentum Σ.sv=I.sv*ω.sv and canonical angular
momentum s and this distinction is theoretically justified in the framework of Hamiltonian formalism.
Moreover, the analogousdistinction betweein the kinetic momentum mv and canonical momentum p is

32
standard in the gauge theory of point particles. On the other hand, theoretical status of Bopp and Haag
quantity M,M' and'M has not been established.
The quantization based on the form (66) of the Hamiltonian has one more advantage. One discovers
this advantage if one tries to quantize on the basis of the Hamiltonian expressed through phase space
variables θ,φ,χ,P.θ',P.φ',P.χ' .

1  Pχ
2
 cos θ ( ) gsv
2 2
⋅ Bsv Isv
H ⋅ Pθ 2 + + Pφ 2 − 2 ⋅ Pφ ⋅ Pχ ⋅ − gsv ⋅ Bsv ⋅ Pφ +
2⋅I sv   2
sin( θ )
 2
sin( θ ) 2
θ:=π 
2 2
gsv ⋅ Bsv ⋅ Isv
gsv ⋅ Bsv ⋅ Pφ + = 1.237 × 10 78 gmcm2 sec -2
2
cos( θ )
2 ⋅ Pφ ⋅ P χ ⋅ ⋅ cm − 3
= 6.603i × 10 270 gm2 cm2 sec-2
sin ( θ )
2

 Pχ
2

1 2 2 2 -2
⋅ P + + Pφ = 6.874 × 10 108 gmcm sec
2 ⋅ Isv  θ sin ( θ )
2 
 
The direct substitution of the phase space variables by operators (70) into the above form of H leads
to the operator which ddiffers from Hamilton operator (66a) by the absence of the terms

-(h^2 /2*I.sv)*cotg.θ^ dθ

This difference is due to the ambiguity in the ordering of θ,φ,χ,P.θ,P.φ,P.χ in (16') It seems
that the use of canonical angular momentum implicitly alleviates this ambiguity and
provides the correct ordering
VII The states of the quantum magnetic top
1
s
2
 α operators,
With Pauli representation of the spin  the associeted
 
quantum states are the spinors  β  which are linear combinations of two

 1   0 
   
basic states  0  and  1  , namely the eigenstates of σ.z

 α   1   0 
  α ⋅ + 
 β   0   1 
The two eigenstates of the Pauli Hamiltonian are very often written in terms
of the polar (θ.B) and asimuthal (φ.B) angle of the vector B.
− I⋅φ B
  θ   1   I⋅φ B θ  0 
⋅  cos  ⋅  ⋅ sin  ⋅ 
2
θB , φB e  + e 
  2   0  2  1 

33
78
⋅ B

 θ  1   − i⋅φ B θ  0 
θB , φB e 2
⋅  −
 sin ⋅    + e ⋅ cos   ⋅  
 2  0  2  1 
In this way of writting one stresses the fact that the eigenstates of the spin Hamiltonian
in a magnetic field are the eigenstates of the component s.B of the spin operator s.
As is well known, the differential operators (71) and (72) can act on larger spaces
of states than the space of Pauli spinors and these spaces are richer in informations
than are Pauli states. The operator s^2 has the eigenvalues s*(s+1) where s takes
all integer and half integer values. In the corresponding subspaces D^s thetwo-valued
representations of the Rotation group are realized (9).
In the case of s=2/2, which is of interest to us here, the basic states of D^1/2 are
usually chosen to be the eigenstates of s.z which are the following functions
ofθ,φ,χ, (9,13)

 φ   χ  cos  θ 
u1 i⋅  +   2
⋅ ( θ , φ , χ) i ⋅ e     ⋅
2 2
2 2⋅π ⋅ 2
79 a

 φ   χ  sin  θ 

u−1 i⋅  +  
2 
⋅ ( θ , φ , χ) i ⋅ e     ⋅
2 2
2 2⋅π ⋅ 2
or

 φ   χ  cos  θ 
u1 i⋅  +   2
⋅ ( θ , φ , χ) −i ⋅ e  2   2  ⋅
2 2⋅π ⋅ 2
79 b

 − φ   χ  cos  θ 

u1 i⋅  +   2 
⋅ ( θ , φ , χ) i ⋅ e 
2   2 

2 2⋅π ⋅ 2
Therefore ,the use of differential operators (71) instead of Pauli operators (67) implies the description of
   
spin states by1 probabillity 0amplitudes u.n and their linear combinations insread by
  and  
matrices  0   1  and

their linear combinations.


 any
Is there α advantage of using wave functions U.n(θ,φ,χ,) to describe spin states rather than Pauli
 
spinor  β  ?

The first advantage is that with u.n(θ,φ,χ),the spin is no longer a strange and abstruse quantum-
mechanical object fitted into the general quantum-mechanical framework. From this
advantage follows the second one. It is telated to the understanding of the law of transformation

34
of spin states under rotation. α 
 
The property of spinors  β  to change sign under 2*π rotation which is a cocequence of the

law of transformation of spinor under rotation for an arbitrary angle α


  θB  
 cos   
  2  
α  α 
Rz ( α ) ( θ , φ )
− i⋅ ⋅σ 
 2 x
− i⋅ ⋅σ 
 2 x ( )
− 1⋅ φ B + α 
⋅
 θB  
e e e sin  
 e − i⋅( φ B+ α ) ⋅  2  
  θB  
 cos   
  2  
  θB  
 cos   
  2  
α  α 
Rz ( α ) ( θ , φ )
− i⋅ ⋅σ 
 2 x
− i⋅ ⋅σ 
 2 x ( )
− 1⋅ φ B + α 
⋅
 θB  
e e e sin  
 e − i⋅( φ B+ α ) ⋅  2  
  θB  
 cos   
  2  
has been the subject of studies (both theoretically and experimentally), discussions and

controversies (25-31). The source of controversies lies in the difficulties
1 
to physically
0  
   
understandthis property. Namely, if one uses for the states  0  and  1  the usua

l physical picture of the spin vector alongz-axis, one can hardly understand what is the
physical reason for the phase changes by -π and π under 2π rotation (32,33).
It seems that these difficuilties are removed if one interpretes the spin property
as a modification of the interaction between a magnetic field and magnetic top such
that u.n(θ,φ,χ) is the probability amplitude of the angles θ,φ,χ under this motion.
The effect ofR.z(α) on U.n(θ,φ,χ)
θ
u1
1
⋅( φ − α + χ ) cos 
2
Rz ( α ) ⋅ ( θ , φ , χ) 2
i⋅e ⋅
2 2⋅π 2
81
θ
−u1
1
⋅( φ − α + χ ) sin
2
Rz ( α ) ⋅ ( θ , φ , χ) i⋅e 2

2 2⋅π 2
is seen to be due to the change of the angle φ by -α
In our study of the classical magnetic top we saw that to the simple precession of spin with
frequency -g.sv*B.sv corresponds a more complicated motion of the magnetic top, in which

35
the angles φ and χ a very complicated functions of time. In the absence of precession of spin
(when spin is along the z-axis) the body rotates with frequency -g.sv*B.sv+P.φ/I.sv wich is
different from Larmor frequecy ω.L=-g.sv*B.sv. Consequently, when the azimuthal angle φ(t)-ε(t)
of spin vector changes by -α (or does not change at all) the orientation angles θ,φ,χ,change
by 2π (or zero) ∆θ,∆φ,∆χ do not necessarlly leads to the initial orientation.
We expect that those differeces in the motion of the angular momentum and of the body,
in the classical case, have their counerparts in the quantized motions. They might explain
the strange transformation properties of spinors under rotation. But, the full understanding

requires more detailed study of the quantized motion of the magnetic top.
− 18 -1
gsv ⋅ Bsv + = 7.042 × 10 sec
Isv

− gsv ⋅ Bsv = − 3.521 × 10− 18 -1


sec

= 3.521 × 10 − 18 sec -1
Isv

VIII. The Asymmetric Magnetic Top


It seems worthwhile to generalize the above study to the case of an asymmetric top for which the
simple relation (2) betweein the kinetic angular momentum Σ and the angular velocity ω is no longer
valid. Istead the following relation holds
Σ
 Ii ⋅ ω i ⋅ ei
i
82
where e.i are unit vectors along the body fixed frame for which the moment inertia tensor is
diagonal. In addition we shall assume, insread of relation (1), the more general relation between
the kinetic angular momentum and magnetic momentum
M
 gi ⋅ Σ i ⋅ ei  gi ⋅ Ii ⋅ ω i ⋅ ei
i i
83
:= 1..1 , the Lagrangian of the magnetic top in a magnetic field B=Bk reads
iConsequently

84
 Isv ⋅ ω sv
2
Isv ⋅ ω sv
2
Isv ⋅ ω

L
  2
+ Mtopsv ⋅ Bsv
 2
+
 gsv ⋅ Isv ⋅ ω sv ⋅ Bsv
 2
 i i i i
 Isv ⋅ ω sv
2
Isv ⋅ ω sv
2
Isv ⋅ ω sv
2

  2
+ Mtopsv ⋅ Bsv
 2
+
 gsv ⋅ Isv ⋅ ω sv ⋅ Bsv  2
 i i i i
where B.i are the components of B in body-fixed frame
85

36
 sin( θ ) ⋅ sin( χ ) 
 
B
 ( Bi ⋅ ei) B ⋅  sin( θ ) ⋅ cos( χ )



and
i  cos( θ ) 

Bi Ii ⋅ gi ⋅ Bi
2
Isv ⋅ ω sv
 2
+ Mtopsv ⋅ Bsv = 5.154 × 10 77 gmcm2 sec -2
i
Bsv1 : = Isv ⋅ gsv ⋅ Bsv
2
Isv ⋅ ω sv
 
2 -2
+ gsv ⋅ Isv ⋅ ω sv ⋅ Bsv = 5.154 × 10 77 gmcm sec
2
i i
2
Isv ⋅ ω sv
  ω sv ⋅ Bsv1 = 3.217 × 10
89
+ eV
2
i i

Bohr radius by coeficient


2
Isv ⋅ ω sv
 2
+
 ω sv ⋅ Bsv1
i i
= 5.292 × 10 − 9 cm
-2
9.74 × 10 85 gmcmsec

As in the case of symmetric top, the three coordinates which determine the orientation of the top
in the laboratory frame are :
q1 θ
q2 φ
86
q3 χ
Since the components of angular velocity ω are linear functions, eq.(4), of the time derivative of the
angles, it
is appropriate to write the set of relations (4) in matrix form
ω C ( q) ⋅ q'
where
87

37
 cos( χ ) sin( θ ) ⋅ sin( χ ) 0 
 
C ( q)  −sin( χ ) sin( θ ) ⋅ cos( χ ) 0 
 cos( θ )

 0 1 
88
 φ' 
 
q'  θ' 
 χ' 
 
Using this notation we write the Lagrangian as
84 a
1   C ⋅ q'  ⋅ B
  
2
L ⋅ Ii ⋅  Cin ( q) ⋅ q1n  +  im 
2
    n  i
 i  n  in
Consequently ,the canonical momenta are :
89
d
Pk
dk'k
L
 I ⋅ Cin(q) ⋅ q'n ⋅ Cik + Ak
i
90
 g1 ⋅ I1 ⋅ sin( θ ) ⋅ cos ( χ ) − g2 ⋅ I2 ⋅ sin( θ ) ⋅ sin( χ ) ⋅ cos ( χ )   Aθ
  
B ⋅  g1 ⋅ I1 ⋅ sin( θ ) ⋅ sin( χ ) + g2 ⋅ I2 ⋅ sin( θ ) ⋅ cos ( χ ) + g3 ⋅ I3 ⋅ cos ( θ ) 
2 2 2 2 2
A  Aφ
   A

 g3 ⋅ I3 ⋅ cos ( θ ) 
  χ
We shall define the quantity :
P − A Cin Ii ⋅ Cik ⋅ q'n 
  
T
π .k Ii ⋅ Cin ( q) q'n ⋅ Cin
 k k 
 i n in 

T
π .k Cni ⋅ Cik ⋅ q'n
ni
or in matrix form
T
π C ⋅ C ⋅ q'n
where
Cij Ii ⋅ Cij
and
T
C
is the transposed matrix of C

38
 I1 ⋅ cos( χ ) I1 ⋅ sin( θ ) ⋅ sin( χ ) 0 
C  −I ⋅ sin( χ ) I ⋅ sin( θ ) ⋅ cos( χ ) 0 
 2 2 

 0 I3 ⋅ cos( θ ) I3 
It follows from (91) that

q' C
where
−1 ( )
⋅ C
T −1
⋅π

 cos( χ ) −sin( χ ) 
 I1 I2
0 
 
−1
 sin( χ ) cos ( χ ) 
C  I1 ⋅ sin( θ ) I2 ⋅ sin( 0θ
0 
 
 −sin( χ ) ⋅ cos( θ ) −cos( χ ) ⋅ cos( θ ) 1 
 
 I1 ⋅ sin( θ ) I2 ⋅ sin( θ ) I3

 sin ( χ )  χ  
 cos( χ ) −sin  ⋅ cos( θ ) 
sin ( θ )  sin ( θ ) 
−1  
(C ) 
T
cos ( χ ) −cos( χ ) 
 − sin ( χ ) ⋅ cos( θ ) 
sin( θ ) sin( θ )
 
 0 0 1 
In order to express q'.1^α in terms of π'.1^α we need the product C^-1*(C^T)^-1 wich reads :
 cos ( χ ) sin( χ ) cos ( χ ⋅ sin( χ ) )  1
2 2
1
 + ⋅ −
 I1 I2 sin( θ )  I1 I2

cos ( χ ) ⋅ sin( χ )  1  sin( χ ) 2 cos ( θ
g C− 1 ⋅ C( T) − 1  ⋅ −
1 

1
⋅ +
 sin( θ ) I
 1 I 2 sin( θ )
2
 I1 I2

 −cos( χ ) ⋅ sin( χ ) ⋅ cos ( θ )  1 1  −cos ( θ )  sin ( χ )
2
 cos ( χ
 ⋅  −  ⋅  +  I
 sin ( θ )  I 1 I 2  sin ( θ ) 2
 I1  2
94
with the aid of matrix elements g.ik, the relation (92) read
q'k
 gki ⋅ π .i  gki ⋅ ( Pi − Ai)
i i
Having expressed velocities q'.k in terms of momenta P.i we are now ready in construct the Hamiltonian of
the asymmetric top starting from the general relation

39
 I1  
H p ⋅ q' − L ( p ⋅ q' − A ⋅ q') −  
  2
 ⋅ [ ( C ⋅ q')i] 2 
 
 i  
Using (92) the first two terms take the form

 ( )
− 1 ( T)
−1 2
  1  T
p ⋅ ( q' − A ⋅ q') π ⋅ q' π ⋅ C ⋅ C ⋅ π .1
 2  ⋅ π .k ⋅ Cki− 1  ⋅

  Ci

i  k  j
It folows now that
96

− 1 ( T)  Ii
H
1 
⋅ π ⋅ π ⋅ C ⋅ C
− 1
   ⋅ ( ω i) 2 T
1
⋅ ( p − A) ⋅ C
−1 (⋅ C T) − 1 ⋅ ( p − A)
2 2 2
i
1 1
H ⋅ ( p − A) ⋅ G ⋅ ( p − A) ⋅ gik ⋅ ( q) ⋅ ( p − A) .i ⋅ ( p − A) .k
2 2
Eqs. (92a) and (96) suggest to interpret g.ik(q) as the metric tensor in the space of the kinetic momenta
The more explicit form of H reads ;
 cos χ  ( )
2
1 cos θ
2
( )
( )
H −I ⋅   sin χ ⋅ I1 +
2
 ⋅ Pθ − Aθ + (2
)
⋅ Pφ − Aφ +
2
( ) (
⋅ Pχ − A
I sin ( θ ) sin ( θ )
2 2
 2 
1 cos ( χ ) ⋅ sin ( χ ) I2 − I1
+
2 ⋅ I3
(
⋅ Pχ − Aχ +
2
) sin ( θ )

I1 ⋅ I2
⋅ pθ − Aθ ⋅ ( ) ( Pφ − Aφ ) ...

 −cos ( χ ) ⋅ sin ( χ ) ⋅ cos ( θ )  I2 − I1  


+
sin ( θ )
⋅
I ⋅ I
(
⋅ pθ − Aθ ⋅ Pχ − Aχ ) ( )  ... 
  1 2  
 −cos ( θ )  sin ( χ ) 2
cos ( χ ) 
2

+ ⋅ + (
 ⋅  pφ − Aφ ⋅ Pχ − Aχ ) ( )  
 sin ( θ )  I I
2
1 2  
For the symmetric top (I.1=I.2=I.3) and for g.1=g.2=g.3=g, the above Hamiltonian reduces to the form
given in (18').
Hamilton and Lagrange equations follow directly from the above expressions for Hamiltonian and
Lagrangian.
Canonical angular momentum
Let us now express the canonical angular momentum s through the canonical momenta P.θ,P.φ,P.χ . For
this purpose we shall substitute the relations (87) and (92a) into (82).

Σ
 I1 ⋅ ω 1 ⋅ e1
  I1 ⋅ Cik ⋅ q'k ⋅ e1
 I1.k ⋅


Cik ⋅ C − 1 ⋅ C ( T) − 1 ⋅ π
i i k i k

Σ (C ) T −1
⋅π (C ) −
T 1
⋅P− C ( ) T −1
⋅A
97

40
 sin( χ ) −sin( χ ) 
 cos ( χ ) ⋅ cos ( θ )   P − A 
sin( θ ) sin( θ ) θ θ
   
Σ  cos ( χ ) −cos ( χ )  ⋅  Pφ − Aφ 
 −sin( χ ) sin( θ ) sin( θ )
⋅ cos ( θ )  
P − Aχ

   χ 
 0 0 0 
If we compare the latter relation with the relation (12) and (13) we conclude that in the phase space
expressios of Σ for asymmetric top the first term is the same function of phase space variables as is the
function s defined in (12). So,we shall call the quantity
 sin( χ ) −sin( χ ) 
cos( χ ) ⋅ Pθ + ⋅ Pφ + ⋅ cos( θ ) ⋅ Pχ
 sin( θ ) sin( θ ) 
s ( C T) − 1 ⋅ p  cos( χ ) −cos( χ ) 
 s i ⋅ ei
 −sin( χ ) ⋅ Pθ + ⋅ Pφ + ⋅ cos( θ ) ⋅ Pχ 
 sin ( θ ) sin ( θ )  i
 Pχ 
 
the canonical angular momentum, or simply spin of the asymmetric top. The components of s in the
laboratory frame are identical with the ones given in (12). To the quantity Σ.i((C^T)^-1*A)*e.i we shall give
the name
( T) −1 
a
 C ⋅ A .i ⋅ ei
i
Its components in the body frame are :
a1 g1 ⋅ I1 ⋅ sin ( θ ) ⋅ sin ( χ )
a2 g2 ⋅ I2 ⋅ sin ( θ ) ⋅ cos ( χ )
a3 g3 ⋅ I3 ⋅ cos ( θ )
The relation (97) turns into :
Σ s−a
Now it is matter of simple algebra to express the Hamiltonian of the asymmetric magnetic top in terms of
its spin

 Σ j ⋅ Σ k ⋅  ( Cjk ⋅ Cik )
1 1 1
2
T −1 −1 −1
H ⋅C ⋅Σ ⋅C ⋅Σ ⋅ Cji ⋅ Σ j ⋅ Cik ⋅Σk ⋅
2 2
jik jk i
100
A remarkable simplification occurs if we choose the constants g.1 that we introduces in (83) to satisfy
g.1^2 =g^2/I.1. Then the Lagrangian and Hamiltonian become
1 2
L ⋅µ +µ⋅B
2
2⋅g
101

41
1 2
H ⋅g⋅µ
2
Components of the spin vector in the body frame satisfy the folowing equations of motion :
d    d  d d  d  d 
H ⋅ ( Σ
s'j ( H , s)
  H ⋅
 dΣ i 
  dp Σ i  ⋅  dq si −  dp si  ⋅ dq Σ i 
 k   k  k  k 
 
 dΣ i 
i k  i
( Σ i , si) ( si − ai , si) (
− ai , si )  ε ijn ⋅ sn − ( ai , sj)
n
d  d
( ai , sj) −
  dq si  ⋅ dp sj
k  k  k
( si − ai)
s'j
  ij n
Ii
⋅
i j ι (
⋅ s − −a , s )
i n
Appendix A: Top with magnetic moment fixed in the body frame
A top is fully characterized and specified by its coupling. In this paper we have defined and studied
magnetic top characterized by a velocity dependent magnetic moment. In order to make more clear our
argumentation that the magnetic top is the more appropriate classical model of spin we shall present here
a theory of the top which carries the magnetic moment M attached to the body. That implies that the
magnetic moment M is independent of the angular velocity (for if M were dependent on angular velocity ω
it could not be constant in the body frame).
Consequently, the coupling with magnetic field B is velocity independent.
V −M ⋅ B
This potential has the smae form as the potential top (with mass M.sv and center of mass coordinate R) in
the gravitational field g.
V −Msv ⋅ R ⋅ gsv
M being analogous to M.0*R playing the role of gravitationald field g.
We shall deal here with the axialy symmetric top (I.1=I.2) and shall assume that M is along the body z-
axis, i.e. M=M.z. Then, making B along the z-axis of the laboratory frame (B=Bk), wich does not reduce thr
generality of our results,we write the ineraction potential V in the form
A3
V − M ⋅ B ⋅ cos ( θ )
The Lagrangian is differnce of kinetic and potential energy terms
A4
I1  
( )
I3 I1 I3
L T− V ⋅  ω1 + ω2 +
2 2
⋅ ω 3 + M ⋅ cos ( θ ) 
2
(
⋅ θ' + φ' ⋅ sin( θ )
2 2 2
)+ ⋅(
2  2  2 2
In order to construct the Hamiltonian we folow the usual procedure. Canonocal momenta are the following
functions of θ,φ and χ
d
Pθ L I1 ⋅ θ'
dθ'

42
I1 ⋅ sin ( θ ) ⋅ φ' + I3 ⋅ ( χ' + φ' ⋅ cos ( θ ) ) ⋅ cos ( θ )
d 2
Pφ L
dφ'

I3 ⋅ ( χ' + cos ( θ ) ⋅ φ'


d
Pχ L
dχ'
Now one express velocities θ,φ, and χ' in the terms of canonical momenta
 Pθ 
θ'  
 I.1 
( Pφ − Pχ ⋅ cos ( θ ) )
φ'
I1 ⋅ sin ( θ )
2

Pχ cos ( θ )
χ' (
− Pφ − Pχ ⋅ cos ( θ ) ⋅ )
I3 I2 ⋅ sin ( θ )
2

By substituting the latter expression into T and


p⋅q θ' ⋅ Pθ + φ' ⋅ Pφ + χ ' ⋅ Pχ
one obtain
 Pθ 2 Pχ ⋅ cos ( θ ) 
2
cos ( θ ) 
2 2 2
Pχ Pφ
p⋅q 2⋅T 2⋅
 + + + − Pφ ⋅ Pχ ⋅
 2 ⋅ I1 2 ⋅ I3 2 ⋅ I ⋅ sin( θ ) 2 2 ⋅ I ⋅ sin( θ ) 2 I1 ⋅ sin( θ ) 
2
 1 3
and consequently

(
H θ , φ , χ , Pθ , Pφ , Pχ ) (
θ' ⋅ Pθ + φ' ⋅ Pφ + χ' ⋅ Pχ − θ , φ , χ , Pθ , Pφ , Pχ + V ) T+ V

Therefore , in agreement with the general theory, to the Lagrangian with velocity independent potential
there corresponds a Hamiltonian which is a simple sum of kinetic and potential energy terms. The
Hamiltonian (16) of the magnetic top does not have this property, again in agreement with the general
theory, since the interaction term in The Lagrangian (7) is dependent on velocities θ',φ', and χ'
Hamilton's equations of motion
The first three Hamilton1s equations are the eqs.(A6) .The remaining three read :
2 (
−Pχ ⋅ cos ( θ ) − Pφ ⋅ cos ( θ ) + Pχ ⋅ Pφ ⋅ 1 + cos ( θ )
2
)
+ M ⋅ B ⋅ sin ( θ )
d
−P'θ H
I1 ⋅ sin ( θ )
2

d
−P'φ H

43
A9
d
−P' χ H

Comparing the equations (A6) and (A9) with Hamilton's equations (54) of the magnetic top we find that
equations for θ',P'.φ and P'.χ in both sets are the same whereas the equations for φ',χ', and P'.χ are
different. Since the Hamiltonian of the top with velocity independent magnetic moment is identical to the
gravitational top, the corresponding Hamilton's equation are to be found in literature (24). Here we shall
review the well known qualitative analysis (19)
A10a
Two immediate first integrals of motion are :

A10b
(
Pχ I3 ⋅ χ ' + φ' ⋅ cos ( θ ) I3 ⋅ ω 3 Pχ 0

I1 ⋅ sin( θ ) ⋅ φ' + I3 ⋅ χ ' + I3 ⋅ ( χ ' + φ' ⋅ cos ( θ ) )


2
Pφ Pφ0
A10c
Since the system is conservative the total energy is the third integral o f motion.

I1 I3 Pχ0
E T+ V
2
(
⋅ θ' + φ' ⋅ sin ( θ )
2 2 2
)+ 2
⋅ 2
+ M ⋅ B ⋅ cos ( θ )
I3
Only three additional quadratures are needed to solve the problrm. From the above three integrals it is
possible to express φ',χ'
A11 and θ' as functions of θ' and constant of motion

Pφ0 − Pχ0 ⋅ cos ( θ )


φ'
I1 ⋅ sin ( θ )
2
A12

Pχ0 Pφ0 − Pχ0 ⋅ cos ( θ )


χ' ( )
− cos θ ⋅
I3 I1 ⋅ sin ( θ )
2

A13

 ⋅ θ' 2 + ( φ0 χ0
 I1 P − P ⋅ cos ( θ ) ) Pχ0 
2
 
 + M ⋅ B ⋅ cos ( θ ) E− E'
 2 2I ⋅ sin ( θ ) 2  2 ⋅ I3 
 1  
The equation (A13) differs from the corresponding equation (31) of the magnetic top by presence of the
term M*B*cos(θ). As we are going to see, due to the presence of this term the equation (A13) leads to an
eltptic integral (with cubic polynomial under the integral sign) On the other hand the equation (30) leads to
the equation (32) with square polynomial and therefore is integrable. From (A13) it follows :
A14
 1

θ' ⋅ I1 ⋅ sin( θ )

(
 sin( θ ) ⋅ 2 ⋅ I1 ⋅ ( E' − M ⋅ B ⋅ cos ( θ ) ) − Pφ0 − Pχ0 ⋅ cos( θ )
2 2 2
)
A15

44
COS ( θ ) ( 1)
⌠ 1

cos ( θ ) .
2
  
d⋅
( )
T
2 

  2 ⋅ I 1 ⋅ 1 (
− cos ( θ ) 2
⋅ ()E' − M ⋅ B ⋅ cos ( θ ) ) − P φ0 ⋅ − Pχ0 ⋅ cos ( θ ) 
⌡COS ( θ ( 0) )
Since the solution of the equation (A15) cannot be writwn in an analytic form, the sme is valid for the
solution of equation (A11) and (A12). But, the qualitative featrures of the solution θ(t) of the equation *A13)
are known (19). They are pictured on Fig.3 in which the possible shapes for the locus of the body axis on
the unit sphere are indicated. Recalling that M was assumed to be along e.x. this figure presents also the
motion of the magnetic moment M fixed with the body. Therefore, M follows the motion of the body, quite
different from M and µ of the magnetic top wich move with respect to the body. So, M performs a
complicated motion (precession with nutation) whereas µ and M simpli precess.
Acknowlegments

One of the authors (M.B) would like to thank Professor Abdus Salam, the International Centre for
Theoretical Physics, Trieste.

45

You might also like