You are on page 1of 39

The magnetic top of Universe as a model of quantum spin

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


Substitution, conversion and transformation by 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
spin , leading to the Pauli spin Hamiltonian. The
θ , φ use
, χ , Pof, Pcanonical
,P angular momentumalleviates
θ φ χ
the ambiguity in the ordering of the variables in the Hamiltonian. A detailed
sgauge theory of the asimmetric magnetic top is alsou given.
i
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
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
I. Inroduction
References 41
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

2
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)
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
→ →
µ γ⋅s
for quantum spin there exists the linear relation between magnetic

3
→ →
µ s
moment operator and spin angular momentum operator ,whereas, such
a relation does not characterize Rosen's classical2 model in which it is assumed
I⋅ ω →
2 −µ ⋅ B
that Hamiltonian is a sum of kinetic energy and potential
→ energy 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
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

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
M topsv : = gsv ⋅ Σ sv
Σ sv = 1.171 × 10
95
erg ⋅ sec
− 1 0 -1
g sv = 5.166 × 10
4
cm gm sec

(1)
→
M topsv g sv ⋅ Σ sv
erg
M topsv = 6.05 × 1091
stattesla

4
→ erg
g sv ⋅ Σ sv = 6.05 × 10
91

stattesla
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


and
ω whose
:= ω orientation iz the Laboratory frame are three Euler angles
x.sv sv
i :=1 ..1
ei : = 1 . . 1
ω y.sv : = ω sv
ω sv..i : = ω sv
ω z.sv : = ω sv
k := 1 ..1
j :=1 ..1
Isv ⋅  ω sv ⋅ ei =
i
1.171·10 95 gm cm2 sec-1

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


=
3
1.171·10 95 gm cm2 sec-1

2 -1
Σ sv = 1.171 × 10 gm cm sec
95

 I ⋅ ω→  = 1.171 × 1095 gm cm2 sec-1


i, jsv
,k
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 ( χ ) ⋅ θ'

5
ω3 cos ( θ ) ⋅ φ' + χ'
→ →
ω Σ
The
θ:=πkinetic energy T.sv of the free symmetrical top is a simple function of (or )
− 1
Ha := Hb
χ:=π
φ:=π
( 5)
→ 2
 Σ→
2

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

d
φ' := φ
d Ha

d
θ ' := θ
d Ha

 Σ→ 
2

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

 Σ→ 
2

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

 Σ→ 
2

  d    d  2
 d   d 
2

2
 sv 
θ   +  φ  ⋅ sin ( θ ) +   χ  +  φ  ⋅ cos ( θ )  
1
⋅  
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:
Bsv = 6.816 × 10
15
stattesla
( 6)
Vsv −M topsv ⋅ Bsv

Vsv := −M topsv ⋅ Bsv


Vsv = − 4.123 × 1077 gm cm2 sec-2

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

Rgsv

6
 ω→ 
2

 sv  + M 2 -2
topsv ⋅ Bsv = 5.154 ×
77
Isv 10 gm cm sec
2

(Conseqently
7) , the Lagrangian takes the form:

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

→ 2
Isv ⋅  ω sv 
  + M topsv ⋅ Bsv = 2 -2
5.154 × 10 gm cm sec
77
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
  + g ⋅ I ⋅ ω→ ⋅ B
2 sv sv sv sv
→ 2
Isv ⋅  ω sv  →
Lsv :=
  + g sv ⋅ Isv ⋅ ω sv ⋅ Bsv
2
2 -2
Lsv = 5.154 × 77
10 gm cm sec

→ 2
Isv ⋅  ω sv  →
  + g sv ⋅ Isv ⋅ ω sv ⋅ Bsv = 2 -2
5.154 × 10 gm cm sec
77
2

It is important to realize that this Lagrangian is different, in an


M essential way , from
the Lagrangian studied in classical electromagnetism, where is a fixed vector
in:=
α body
90 frame and
γ:=45
θ:=π

d 
Pθ I ⋅  θ + I ⋅ B1 ⋅ Bξ 
β:=130  
dx

− -1
Hb = 1.76 × 10
18
sec

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

 d L
p θ :=   Isv ⋅ θ' + Isv ⋅ g sv ⋅ Bsv
 d θ' 

7
Isv ⋅ θ ' + Isv ⋅ g sv ⋅ Bsv = 2.342 × 1095 gm cm2 sec-1

 d φ + cos ( θ ) ⋅ d χ  + I ⋅ g1B
Pφ 
I⋅  z
 dy dx 
 d d 
Pχ I ⋅  χ + cos ( θ ) ⋅ φ  + I ⋅ g1Bz

 d z d z  
sin ( α )
where
cos ( α )
Bξ Bx ⋅ cos ( φ) + By ⋅ sin ( φ)
 cos ( γ ) sin ( γ ) 0   1 0
  cos ( α ) sin ( α ) 0 
0

R1 :=  − sin ( γ ) cos ( γ ) 0 ⋅ cos ( β ) ⋅


sin ( β ) 
  − sin ( α ) cos ( α ) 0 
0
  
 0 0 0   0 − sin ( β ) cos ( β )   0 0 1 
( ) (
 cos γ sin γ 0   ) 1 0 0 ( ) ( )
  cos α sin α 0   0.044 0.61 − 0.791 
 ⋅ cos ( β ) sin ( β )  ⋅  − sin ( α ) cos ( α ) 0  =  0.554 − 0.674 − 0.489
 − sin ( γ ) cos ( γ ) 0  
0
    
 0 0 0   0 − sin ( β ) cos ( β )   0 0 1   0 0 0 
Bz1 Bx ⋅ sin ( φ) ⋅ sin ( θ ) − By ⋅ cos ( φ) ⋅ sin ( θ ) + Bz ⋅ cos ( θ )

Following general
P P procedures
P we need now to express , , and
θ φ φ
in terms of , and 
 0.044 0.61 − 0.791 
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 P Pit is usefull
Pχ ro express angular velocity through
θ φ
the cannonical moment , and 
sin ( φ) sin ( φ) ⋅ cos ( θ )
Σ sv.x Isv ⋅ ω sv.x cos ( φ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − g sv ⋅ Isv ⋅ Bsv.x
sin ( θ ) sin ( θ )
 cos ( φ) cos ( φ) ⋅ cos ( θ ) 
Σ sv.y  Isv ⋅ ω sv.y sin ( φ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − g sv ⋅ Isv ⋅ Bsv.y 
sin ( θ ) sin ( θ )
ω sv.x : = ω sv 
2 -1
Isv ⋅ ω sv.x = 1.171 × 95
10 gm cm sec

ω sv.y : = ω sv
Pφ : = Isv ⋅ ( φ ' + cos ( θ ) ⋅ χ ' ) + Isv ⋅ g sv ⋅ Bsv

8
π
φ :=
2
π
θ :=
2
Pχ : = Pφ
Bsv.y : = Bsv
Pθ : = Pφ

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


 sv sv.y sin ( φ) ⋅ Pθ + ( ) ⋅ Pχ − ⋅ Pφ − g sv ⋅ Isv ⋅ Bsv.y 
 sin θ sin ( θ ) 
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
( )
sin φ ⋅ Pθ + ⋅ Pχ − 2 -1
⋅ Pφ − g sv ⋅ Isv ⋅ Bsv.y = 0 gm cm sec
sin ( θ ) sin ( θ )
2 -1
Pθ = 2.342 × 10 gm cm sec
95

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


Σ x : = cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − g sv ⋅ Isv ⋅ Bsv
sin ( θ ) sin ( θ )
( 1 1)
cos ( φ ) cos ( φ ) ⋅ cos ( θ )
Σ y : = sin ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ − g sv ⋅ Isv ⋅ Bsv
sin ( θ ) sin ( θ )
Σ z : = Pφ − g sv ⋅ Isv ⋅ Bsv
2 -1
Σ z= 0 gm cm sec

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


s x : = cos ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
2 -1
Σ x= 0 gm cm sec

Σ y= 0 gm cm2 sec-1

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


s y : = sin ( φ ) ⋅ Pθ + ⋅ Pχ − ⋅ Pφ
sin ( θ ) sin ( θ )
s z : = Pφ

sx = 2.342 × 1095 gm cm2 sec-1

2 -1
Isv ⋅ g sv ⋅ Bsv = 2.342 × 95
10 gm cm sec

Isv ⋅ ω sv.y = 1.171 × 1095 gm cm2 sec-1

2 -1
s x − g sv ⋅ Isv ⋅ Bsv = 0 gm cm 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

9

Σ 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 2
L ⋅ m⋅ q + e ⋅ A ⋅ q
2

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

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

 → 2

H θ ⋅ Pθ + φ ⋅ Pφ − I ⋅
 ω  →( ) 
− g1 ⋅ I ⋅ ω ⋅ B  (( ))

2 -1
2 
Pθ : = 3.513 × 10 gm cm sec
95

  →  2 
Pθ  Pφ
 ω sv
  → 
θ⋅ + φ⋅ −  Isv ⋅ − g sv ⋅ Isv ⋅   
ω sv ⋅ Bsv 
   2
sec sec  2 M sv ⋅ c
1.428 × 10
19 2
  →  2 
Pθ Pφ ω sv →
θ⋅ +φ⋅ − I ⋅
      
− gsv⋅Isv⋅  ω sv⋅Bsv  
sec sec  sv 2 
1.428×1019
= 5.293 × 10− 9 cm
-2
1.947 ×
85
10 gm cm sec

10
 →  2
Isv ⋅
 ωsv   − g ⋅ I ⋅   ω→ ⋅ B  
2 sv sv   sv sv  
= −3
 Msv ⋅ c2 
 
 2 
Pθ Pφ
θ ⋅ + φ⋅ = 1.472 × 1096 gm cm2 sec-2
sec sec
θ ⋅ Pθ = 1.104 × 1096 gm cm2 sec-1

π
χ :=
2

After some algebra we obtain


y := a0
−1
( )
− 1
x : = a0
−1
z : = a0
Σ sv
s :=
2
π
θ :=
2
2
s 2 2
− g1 ⋅ s ⋅ B + g1 ⋅ I ⋅ B
2 ⋅I
2
s 2 2
− g1 ⋅ s ⋅ B + g1 ⋅ I ⋅ B
2 ⋅I

H I⋅
→ 2
ω  ( ) (→Σ ) 2

M
2
( s − g1 ⋅ I ⋅ B)
2
s
2
2 2
− g1 ⋅ s ⋅ B + g1 I ⋅ B
2 2 ⋅I 2⋅ I⋅ g1
2 2 ⋅I 2 ⋅I
− 1 0 -1
g sv = 5.166 × 10
4
cm gm sec

2
s 2 2
− g1 ⋅ s ⋅ B + g1 ⋅ I ⋅ B =
2⋅ I
π
φ :=
2

11
  →  2 
  ωsv   
 Isv ⋅ 
2
 
→ 2
 Σ  
  sv  
 2 ⋅ Isv   1.031 × 1077 
   
2 1.031 × 10 77
 M topsv   
 2 = 1.031 × 1077  erg
2 ⋅ Isv ⋅ g sv
   2.319 × 1077 
   
 ( s − gsv ⋅ Isv ⋅ Bsv) 2   1.289 × 1077 
 2⋅I
sv 
 
 2 
2
s 2
− g sv ⋅ s ⋅ Bsv + g sv ⋅ Isv ⋅ Bsv
 2 ⋅ Isv 
 
 5 
2
M topsv
= 1.031 × 1077 gm cm2 sec-2
2
2⋅ Isv ⋅ g sv
− 1 0 -1
g sv = 5.166 × 10
4
cm gm sec

2
s 2 2
− g sv ⋅ s ⋅ Bsv + g sv ⋅ Isv ⋅ Bsv
2⋅ Isv
= 1.031 × 1077 gm cm2 sec-2
6.25

  →  2 
 ωsv  
 Isv ⋅ 
2
 
 → 2 
Σ 
  sv  
 2⋅I
sv

   1.031 × 1077 

 M topsv
2
  1.031 × 10
77

 =
2⋅I
2 1.031 × 10
77
 erg
 sv ⋅ g sv   
   1.031 × 10
77

( s−gsv⋅Isv⋅Bsv) 2 
   1.031 × 10
77

 Isv 
 ( 4.5) 
 2

 s 2
− g sv ⋅ s ⋅ Bsv + g sv ⋅ Isv ⋅ Bsv
2 

 2 ⋅ Isv 
 
 6.25 

12
 .50 ⋅ Isv ⋅ ωsv
2

 
 Σ sv
2 
 .50 ⋅ 
 Isv 
 2

 M topsv  2
.50 ⋅ M sv ⋅ c
 
 Isv ⋅ g sv
2
(
 ) 2
 
 ( s − 1. ⋅ gsv ⋅ Isv ⋅ Bsv ) 2

.50 ⋅
 Isv 
 
 .10 ⋅ s 2 − .20 ⋅ g ⋅ s ⋅ B + .20 ⋅ g 2 ⋅ I ⋅ B 2 
 Isv sv sv sv sv sv 
 4
   1  
 1 2
(
⋅  2 ⋅ g sv ⋅ s ⋅ Bsv + 5 ⋅ M sv ⋅ c + −4 ⋅ g sv ⋅ Bsv ⋅ s +
2 2 2
⋅ g sv ⋅ s ⋅ Bsv ⋅ M sv ⋅ c +
2 2
⋅ M sv ⋅ c
4
)  2  
( )  
20 25
 4 ⋅ g sv ⋅ Bsv
2 2 
  = 
   1   
 1 2 2
(
⋅  2 ⋅ g sv ⋅ s ⋅ Bsv + 5 ⋅ M sv ⋅ c − −4 ⋅ g sv ⋅ Bsv ⋅ s +
2 2
⋅ g sv ⋅ s ⋅ Bsv ⋅ M sv ⋅ c +
2 2
⋅ M sv ⋅ c )
4  2  
( )  
20 25
 ⋅ g sv ⋅ Bsv
2 2

 2
4

Msv ⋅ c
2 -2
= 1.031 × 77
10 gm cm sec
2
Isv
= 1.194
( 5.572 × 10
1 12
⋅ gm ⋅ cm )
2

 Mtopsv 
 
 Σ sv   5.166 × 10− 4 
 =  cm1 gm0 sec-1
  − 5.166 × 10 
− Mtopsv − 4

 Σ sv 
 
2
s 2 2
− g sv ⋅ s ⋅ Bsv + g sv ⋅ Isv ⋅ Bsv
2⋅ Isv
2 -2
= 1.289 × 10 gm cm sec
77
5
2 ⋅π
=6.283

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


2
1   d
me ⋅ c
  d  
2 2 2
 d   d 
⋅   θ   +  φ  ⋅ sin ( θ ) +   χ  +  φ  ⋅ cos ( θ )  
2

2   d x    dz    d z   dy   2

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

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

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

  1 
 1 ( me ⋅ g ⋅ h1)  2

⋅ 2⋅
 me c   1.589 × 10− 9 
  = −9 
0 0
cm sec
  1
  −1.589 × 10 
 −1 ⋅ 2 ⋅ ( me ⋅ g ⋅ h1)
 2

 me c 
 
Ovde dodje tekst − 24
g ⋅ h1 = 1.034 × 10 3 gm cm sec-3
h1 − -1
2⋅ g⋅ = 4.322 × 10
41
gm cm sec
(c 2
⋅ α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 ( θ ) ) + g sv ⋅ Bsv ⋅ Isv ⋅ ( φ' + χ ' ⋅ cos ( θ ) )  ⋅ sec + gsv ⋅ Bsv ⋅ Isv
2 2 2

 2 
Lsv1 = 2.342 × 1095 gm cm2 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 ( θ ) + g sv ⋅ Bsv
Isv

21

φ' ⋅ cos ( θ ) + χ' + g sv ⋅ Bsv ⋅ cos ( θ )
Isv

The third Lagrange equation is a second order differential equation


22

14
d2
θ '' := θ
2
dHa
d d d 2 -2
Lsv − Lsv = 0 gm cm sec
dHa dθ ' dθ

( θ '' + φ ' ⋅ χ ' ⋅ sin( θ ) + g sv ⋅ Bsv ⋅ χ ' ⋅ sin( θ )) ⋅ gm ⋅ cm =


2
0 gm cm2 sec-2

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

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

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

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

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

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

Now
P − P we
χ ( θ ) the remarkable identities
note
⋅ cos φ 2 -1
= 2.342 × 10 gm cm sec
95

sin ( θ )

26 P − P ⋅ cos ( θ )
d χ φ − 1
⋅ sec = 0 gm cm2 sec-1
dθ ' sin ( θ )
Pφ − Pχ ⋅ cos ( θ )
2 -1
= 2.342 × 10 gm cm sec
95

sin ( θ )
2

27 P − P ⋅ cos ( θ )
d χ φ
= 0 gm cm2
dθ ' sin ( θ )
Pχ − Pφ ⋅ cos ( θ )
2 -1
= 2.342 × 10 gm cm sec
95

sin ( θ )
2

With the aid of those identities we transforme equation (25) to any one of following two forms :

15
Pφ − Pχ ⋅ cos ( θ ) Pφ − Pχ ⋅ cos ( θ )
d
θ '' : = ⋅
Isv sin ( θ ) dθ ' Isv sin ( θ )
Pφ − Pχ ⋅ cos ( θ ) Pφ − Pχ ⋅ cos ( θ )
d -1
⋅ = 0 sec
Isv sin( θ ) dθ ' Isv sin( θ )

θ '' = 0 sec-1
Pχ − Pφ ⋅ cos ( θ ) Pχ − Pφ ⋅ cos ( θ )
d
θ '' : = ⋅
Isv sin ( θ ) dθ ' Isv sin ( θ )
Pχ − Pφ ⋅ cos ( θ ) Pχ − Pφ ⋅ cos ( θ )
d -1
⋅ = 0 sec
Isv sin( θ ) dθ ' Isv sin( θ )
θ ' ⋅ dHa 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

= 1.24 × 10− 35 sec-2


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

= 1.24 × 10− 35 sec-2


2
θ' +
 Isv sin( θ ) 
θ '0 : = θ '

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

 Isv sin ( θ ) 
 Pχ − Pφ ⋅ cos ( θ )
2

θ '0 + 
2
= 1.24 × 10− 35 sec-2
 Isv sin( θ ) 
 Pφ − Pχ ⋅ cos ( θ )
2

θ '0 + 
2
= 1.24 × 10− 35 sec-2
 Isv sin( θ ) 
 
1.24 × 10−
2
A = 35
sec-2

 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( θ )  
 

16

−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
(
a + b ⋅ cos θ + c ⋅ cos ( θ )
θ 0:= θ
)
2

θ '0 : = θ
θ=1.571

(θ ) = 1
where
sin

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

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

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

2 ⋅ Pφ ⋅ Pχ
b
2
Isv
φ '0 : = φ '
2 ⋅ Pφ ⋅ Pχ
− 35 -2
= 2.479 × 10 sec
2
Isv

 ( )
b := 2 ⋅ cos θ 0 ⋅  χ' 0 + φ' 0 + g sv ⋅ Bsv
2
( )  + χ' ⋅ ( φ'0 + gsv ⋅ Bsv ) ⋅ ( 1 + cos ( θ ) )
2 2

( )
⋅ cos θ 0 ⋅  χ' 0 + ( φ' 0 + g sv ⋅ Bsv )  + χ' ⋅ ( φ' 0 + g sv ⋅ Bsv ) ⋅ ( 1 + cos ( θ ) ) = 1.518 × 10−
2 2 2 51 -2
2
  sec

33
(
 θ ' 02 ⋅ gm2 ⋅ cm4 ⋅ sec − 2 + Pχ 2 − 2 ⋅ Pχ ⋅ Pφ ⋅ cos ( θ 0) + Pφ 2 
c1 := −   )
 Isv ⋅ sin ( θ 0) 
2 2
 
c1 = − 2.479 × 10− 35
sec-2

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

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

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

∆ : = 4 ⋅ a ⋅ c1 − b

π
T0 2 ⋅
−c
cos ( )
Therefore cos(θ
θ 1 and cos 2 ( ) ) oscillates with the period between the two values
determined by
36
− −∆ − b
cos ( θ 2) :=
2⋅ c1
− −∆ + b
cos ( θ1) :=
2⋅ c1
T0 θ1

θConsequently,
2 θ 2 , T0 , θ 1
oscillates with the same period between the corresponding values and
: depending on the initial
χ( t ) condition.
φ( t)
Now
t := H we are ready to determine and . By integrating the equation (23) we find :
a
t
⌠ P − P ⋅ cos ( θ )
 φ χ
− g sv ⋅ Bsv ⋅ t +  dt
Isv ⋅ sin ( θ )
2

⌡0
θ
⌠ Pφ − Pχ
 1
− g sv ⋅ Bsv ⋅ t +  ⋅ dθ = −2
 Isv ⋅ sin ( θ ) 2
d
θ
 dt
⌡θ
0

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

 Pφ − Pχ A ⋅ Isv ⋅ sin ( θ )
− g sv ⋅ Bsv ⋅ t +  d
 Isv ⋅ sin ( θ )  Pφ − Pχ ⋅ cos ( θ ) 
2 2

⌡θ 1−
0  A ⋅ Isv ⋅ sin ( θ ) 
 
θ0= 1 .5 7 1

18
Pφ − Pχ
A⋅Isv⋅sin( θ )
= 0
2
 Pφ − Pχ 
1 −  
 A ⋅ Isv ⋅ sin ( θ ) 
φ 0:= φ

38 a   Pχ − Pφ   Pχ − Pφ 
− φ 0 − g sv ⋅ Bsv ⋅ t +   asin  ⋅ cos ( θ )  − asin  ⋅ cos ( θ 0)   
  A ⋅ Isv ⋅ sin ( θ )   A ⋅ Isv ⋅ sin ( θ 0) 
38 b   Pχ − Pφ   Pχ − Pφ 
− φ 0 − g sv ⋅ 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
θ 0
are characterised by : sin (t) for any value of t. Such solution exist for initial conditios : 0
Pφ0 Pχ0
φ' 0 + χ' 0 + g sv ⋅ Bsv.
( θ π) , θ' 0
or 0
0
,
Isv Isv
Lagrange equation 20-22 are then equvalent to
: := P
Pφ0 φ
Pχ 0 : = Pχ
φ : = φ '0
χ ' : = χ '0

Pφ0 Pχ0
φ' 0 + χ' 0 + g sv ⋅ Bsv = 1
Isv Isv
Pφ : = Pφ 0

41
Pφ0 Pχ0 Pφ Pχ
φ' + χ' + g sv ⋅ Bsv = 1
Isv Isv Isv Isv

χ ( θ': )= χ 0


0

The solution of the latter equations are :

19
 Pφ 
 − g sv ⋅ Bsv  ⋅ t + φ 0 + χ 0 = 3.142
Isv
 
θ ( t) : = θ 0
π
= 1.571
2
θ
( t) =
1.571

 Pφ 
φ+ χ  I − g sv ⋅ Bsv  ⋅ t + φ0 + χ 0
Σ z  sv 

( χ 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
z
(2) and cannonical (spin) - (12). By virtue of the equations (23) and (24) we find that is a
constant of motion
 Pφ 
Σ z Isv ⋅  − g sv ⋅ Bsv  Pφ − g sv ⋅ Bsv ⋅ Isv Σ z0
 Isv 
41 2 -1
Pφ − g sv ⋅ Bsv ⋅ Isv = 0 gm cm sec
 Pφ 
Isv ⋅  − g sv ⋅ Bsv  = 0 gm cm2 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 ( θ ) 
Σ x Σ y
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

20
t.
 Pχ − Pφ ⋅ cos ( θ 0) 
φ( t ) − ε φ0 − g sv ⋅ Bsv ⋅ t − asin  , θ' 0 > 0
 A ⋅ Isv ⋅ sin ( θ 0) 

 Pχ − Pφ ⋅ cos ( θ 0) 
φ( t) − ε ( φ0 − π − gsv ⋅ Bsv ⋅ t) − asin A ⋅ Isv ⋅ sin ( θ 0) 
, θ' 0 < 0
→  
Σ
Σ x Σ y →
Σ
Cosequently, the dependence of and on tis simple too. The θvector precesses around
s
ωL −g sv ⋅ Bsv
the z-axis with the frequency forming fixed angle with the x-axis.
 Σ x2 ⋅ Σ y 2  A ⋅ Isv
 
θ s atan
 Σz  Pφ − g sv ⋅ 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
s z Σ z Pφ
Pφ = 2.342 × 1095 gm cm2 sec-1
2 -1
sz = 2.342 × 10 gm cm sec
95

  Pχ − Pφ ⋅ cos ( θ 0)  π 
sx Σx ( )
A ⋅ Isv ⋅ cos  φ0 − g sv ⋅ Bsv ⋅ t − asin  − ⋅ ( 1 − sign ( θ 0) ) 
 A ⋅ Isv ⋅ sin ( θ ) 
  2 

44
  Pχ − Pφ ⋅ cos ( θ 0)  π 
sy Σy A ⋅ Isv ⋅ cos  φ0 − g sv ⋅ Bsv ⋅ t − asin 
( ) − ⋅ ( 1 − sign ( θ 0) ) 
 A ⋅ Isv ⋅ sin ( θ ) 
  2 

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φ − g sv ⋅ Bsv ⋅ Isv
sx 0, s 0, s Pφ
y z

− g sv ⋅ Bsv +
Isv
But , at the same time the body rotates around
ω : = z− with
g ⋅ Bthe frequency
L sv sv
which is different from Larmor frequency
As: = we
V − g are
⋅ ω going
⋅ B to prove in the following section, this result reflects the fact that the potential
sv sv
N : = Mtopsv ⋅ Bsv
in the Lagrangian(8) comes from
Σ : = the
I ⋅torqe
ω sv 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.

21
IV .The Torque equation and its
equivalence with Lagrange equation
We are going to demonstrate
2 the
-2 equivalence of the torque equation
M topsv ⋅ Bsv = 77
4.123 × 10 gm cm sec

gsv ⋅ Σ sv ⋅ Bsv = 4.123 × 1077 gm cm2 sec-2

θ'= 0 sec-1

→ →
d
Σ sv N M topsv ⋅ Bsv g sv ⋅ Σ sv ⋅ Bsv
dt
sin ( θ )

wits the Lagrange equation(20,21) and (22) by substituing into the torque equation the
expressions (3)
for the -1components of the vector .sv assuming B=Bk
χ ' = 0 sec
t : = Ha

46
 d cos ( φ ) ⋅ θ ' + sin ( φ ) ⋅ sin ( θ ) ⋅ χ ' g ⋅ B ⋅ ( sin ( φ ) ⋅ θ ' − cos ( φ ) ⋅ sin ( θ ) ⋅ χ ' ) 
  sv sv  
 dt 
Ha = 5.68 × 10
17
sec
-1
φ = 0 sec

47
 sin ( φ ⋅ sec ) ⋅ θ ' + cos ( φ ⋅ sec ) ⋅ sin ( θ ⋅ sec ) ⋅ χ ' − g sv ⋅ Bsv ⋅ ( cos ( φ ) ⋅ θ ' ⋅ sec − sin ( φ ) ⋅ sin ( θ ' ⋅ sec ) ⋅ χ ' ⋅ sec ) 
d
dt  

d48(
φ ' + 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φ − g sv ⋅ 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
Pχ Pφ
χ' ⋅ sin ( θ ) − ⋅ cos ( θ )
Isv Isv
χ
'' :=χ

Differentiation of the latter equation gives :

22
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
d Pθ
H
Isv
(
− g sv ⋅ Bx ⋅ cos ( φ) + By ⋅ sin ( φ) )

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

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


d
χ' H + g sv ⋅  
dPχ Isv ⋅ sin ( θ )
2
 sin ( θ ) 
d  sin ( φ) ⋅ ( Pφ − Pχ ⋅ cos ( θ ) ) 
P'θ − H Pχ ⋅ cos ( θ ) + Pφ ⋅ cos ( θ ) − Pχ ⋅ Pφ ⋅
2 2
( 1 + cos ( θ ) )
2
+  g sv ⋅ Bx ⋅  ...
 dθ sin ( θ )
2
 
 ( cos ( φ) ⋅ Pχ ⋅ cos ( θ ) − Pφ)
 + g sv ⋅ By ⋅
sin ( θ )
2

 2  sin ( φ) ⋅ ( Pφ − Pχ ⋅ cos ( θ ) )  
 Pχ ⋅ cos ( θ ) + Pφ2 ⋅ cos ( θ ) − Pχ ⋅ Pφ ⋅ ( 1 ⋅ gm ⋅ cm2 + cos ( θ ) ) +  gsv ⋅ Bx ⋅  ...
2

 sin ( θ ) 
2
 
 ( cos ( φ) ⋅ Pχ ⋅ cos ( θ ) − Pφ) 
 + ( gsv ) ⋅ By ⋅ 
sin ( θ )
2
 
d
P'φ − H

53b
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 ( θ )
φ' − g sv ⋅ Isv ⋅ Bsv
Isv ⋅ sin( θ )
2

Pφ const
P 'φ 0

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

Pχ co n st
P'χ 0

We see that Hamilton equations for ' and ' are identical with the equations (23) and (24)
which were
P' derived 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 H  ⋅ d Σ  −  d Σ  ⋅  d H  ⋅  d Σ d H Σ , Σ 
d
dt
Σ1 ( Σ i, H)
 dq i   dΣ  dp i  dq i   dΣ   dp 1 dΣ ( i j 
 α   i  α   α   j   α j 
For the Poisson brackets of spin components we after some calculation
( Σ x, Σ y) Σ z + g sv ⋅ Isv ⋅ Bsvz
Σ z + g sv ⋅ Isv ⋅ Bsv = 2.342 × 1095 gm cm2 sec-1

( Σ x, Σ z) −Σ y − g sv ⋅ Isv ⋅ Bsvy

( Σ z, Σ y ) −Σ x − g sv ⋅ 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 (
g sv ⋅ Σ y ⋅ Bx − Σ z ⋅ By )
d
dt
Σy ( )
g sv ⋅ Σ z ⋅ Bx − Σ x ⋅ Bx

58
d
dt
Σz (
g sv ⋅ Σ x ⋅ By − Σ y ⋅ Bx )

24
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α
(
s i − g sv ⋅ Isv ⋅ Bi ) d
dqα
si

60
d
dpα
Σi
d
dpα
(
s i − g sv ⋅ Isv ⋅ Bi ) d
dpα
si

we have the follwing important relations


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

as wellas the dynamical equation for s


58 '
d
s g sv ⋅ 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
( f , g)  f  ⋅ g +  f  ⋅ g
d  d
 dq  dp  dp  dq
is replaced by the Dirac commutator (quantum Poisson bracket)
 ( F , G) 0 ≡ ( i ⋅ h) − 1 ⋅ ( F ⋅ G − G ⋅ F) ≡ ( i ⋅ h) − 1 ⋅ ( 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 )

25
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.
( s i + s j) ε ( i , j , k) ⋅ s k

It follows strainghtforwardly that the commutators of the components of s have to be :


( s i + s j) ( s i ⋅ s j − s j ⋅ s i) (
i ⋅ h ⋅ ε ( i , j , k) ⋅ s k )
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 g sv ⋅ Isv ⋅ Bsv
H − g sv ⋅ s ⋅ Bsv +
2 ⋅ Isv 2
2 2
s
2 g sv ⋅ Isv ⋅ Bsv
2 -2
− g sv ⋅ s ⋅ Bsv + = 2.319 × 10 gm cm sec
77

2⋅ Isv 2

The components of the well known Pauli spin operatpor


σ x := 
0 1 

 1 0
σ z :=  
1 0

 0 −1 
0 −1 
σ y := 
Σ sv 
1 0 

⋅ σx= 
 0 5.855 × 10 
94

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

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
s  
1

 0
−s  
0

 1 2 2
s
2 g sv ⋅ Isv ⋅ Bsv
− g sv ⋅ s ⋅ Bsv +
2⋅ Isv 2

the cotribution of the term 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
69
 Σ sv 
HP −g sv ⋅ s ⋅ Bsv −g sv ⋅   ⋅ σ ⋅ Bsv
 2 
 Σ sv 
 ⋅ σ x ⋅ Bsv = 
0 − 2.062 × 1077 
− g sv ⋅   gm cm2 sec-2
 2   − 2.062 × 1077 0 

26
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

In Schrodinger quantization, with canonical momenta P. ,P. and P. one associates the
operators of canonical momenta P. ,P. ,P.

d
Pθ −i ⋅ Σ sv ⋅

70
d
Pφ −i ⋅ Σ sv ⋅

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.

 − cos ( φ) ⋅  d i ⋅ h  + sin ( φ) ⋅ cos ( θ ) ⋅ d i ⋅ h − sin ( φ) ⋅ d i ⋅ h 


sx    
  dθ  sin ( θ ) dφ sin ( θ ) dχ 
71
 sin ( φ)  d − i ⋅ h  + cos ( φ) ⋅ cos ( θ ) ⋅ d − i ⋅ h − cos ( φ) ⋅ d − i ⋅ h 
sy  ⋅   
  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  d2 2  cot ( θ ) 2
s
2
( 2 2
sx + sy + sz
2 d2 2
2
)
h + cot ( θ ) ⋅  h +
1
⋅
sin ( θ )  dφ
2 2
h + 
2
h  − 2 ⋅ ⋅
sin ( θ ) dχ ⋅ dφ 
d2
2
h
dθ dθ  dχ 
The differential representation of the Hamilton operator (66) reads :
−1  d2 2 d 2  d2 2  d2 2  cot ( θ ) d2 2  d 2
h + cot ( θ ) ⋅  h +
1
H ⋅ ⋅ h + h  − 2 ⋅ ⋅ h   + g sv ⋅ Bsv ⋅ i ⋅  h  ...
2⋅I
sv  dθ
2
d θ sin ( θ )  dφ
2 2 2
 dχ  sin ( θ ) 2
dχ ⋅ dφ    dφ 
2 2
g sv ⋅ 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

27
s 1 
 2 
d
HP −g sv ⋅ 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).
73
Σ Isv ⋅ ω sv P1 ⋅ P2 + P2 ⋅ r2

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 ( θ )

sin ( φ) ⋅ Pθ −
 cos ( φ) ⋅ P + cos ( φ) ⋅ cos ( θ ) ⋅ P 
My Σy  ( ) χ φ
 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
75
M 'M + M' Isv ⋅ ω sv + g sv ⋅ Isv ⋅ Bsv
Isv ⋅ ω sv + g sv ⋅ Isv ⋅ Bsv = 3.513 × 1095 gm cm2 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 sv ⋅ Isv ⋅ Bsv
 H 2 ⋅ I  − gsv ⋅ M ⋅ Bsv + 2
 sv 

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

28
Hamiltonian formalism. Moreover, the analogousdistinction betweein the kinetic momentum mv
and canonical momentum p is 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
 2 Pχ
2

2 cos ( θ )
2 2
g sv ⋅ Bsv Isv
H ⋅ Pθ + + Pφ − 2 ⋅ Pφ ⋅ Pχ ⋅ − g sv ⋅ Bsv ⋅ Pφ +
2 ⋅ Isv  ( ) 2  ( ) 2 2
θ:=π  sin θ  sin θ

2 2
g sv ⋅ Bsv ⋅ Isv
2 -2
g sv ⋅ Bsv ⋅ Pφ + = 1.237 × 10 gm cm sec
78
2
cos ( θ ) −3
2⋅ P ⋅ P ⋅ ⋅ cm = 1.476i × 10271 gm2 cm2 sec-2
φ χ
sin( θ )
2

1
 2 Pχ
2

2
⋅ Pθ + + Pφ = 2.749 × 10109 gm cm2 sec-2
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
d differs from Hamilton operator (66a) by the absence of the terms -

(h^2 /2*I.sv)*cotg. ^
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

With
α  Pauli representation of the spin operators, the associeted quantum states are the spinors
 
 β   1  0
which are linear combinations of two basic states   and  1  , namely the eigenstates
0

of .z
 α 
  α ⋅  0  +  1 
1 0

 β 
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

⋅  cos 
 θ  ⋅  1
  + eI⋅φ B ⋅ sin  θ  ⋅  0
 

2
θ B, φB e
  2   0  2  1 
78
i⋅φ B

θ B, φB e
  θ  sin ⋅   1   + e− i⋅φ B ⋅ cos  θ  ⋅  0  
2
⋅  −
 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.

29
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⋅
i ⋅ e     ⋅
2 2 2 
2 2⋅π⋅ 2

79 a
 φ  +  χ  sin  
θ
u − 1
⋅ ( θ , φ, χ ) i⋅ e 
i⋅
2   2 

 2 
2 2⋅ π⋅ 2
or

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

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

Therefore ,the use of differential operators (71) instead of Pauli operators (67) implies the
description of spin states by probabillity amplitudes u.n and their linear combinations insread by
 1  and 0 
matrices  0   1  and their linear combinations.
Is there any 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 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 
 α   α   
− i⋅ ⋅σx − i⋅ ⋅σ − 1⋅( φ B ) + α   θB  
Rz( α ) ( θ , φ) e   
2 2 x

 − i⋅( φ B+ α ) sin  2  
e e ⋅

e ⋅ 
  θB  
cos  
  2 

30
  θB  
 cos   
 2 
 α   α   
− i⋅ ⋅σx − i⋅ ⋅σ − 1⋅( φ B ) + α   θB  
Rz( α ) ( θ , φ) e   
2 2 x

 − i⋅( φ B+ α ) sin  2  
e e ⋅

e ⋅ 
  θ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 to physically
 1  0
understandthis property. Namely, if one uses for the states  0  and  1  the usual 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( , , )
 θ 
⋅( φ − α + χ ) cos 
1
u1
R ( α) ⋅ ( θ , φ, χ ) i ⋅ e 2

2
z 2 2 ⋅π 2

81
1 sin 
 θ 
−u 1
Rz( α ) ⋅ ( θ , φ, χ ) i⋅ e
2
⋅( φ − α + χ )

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 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 −of18 the
-1 quantized motion of the magnetic top.
− g sv ⋅ Bsv = − 3.521 × 10 sec


g sv ⋅ Bsv + = 7.042 × 10− 18
sec-1
Isv

= 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

31
simple relation (2) betweein the kinetic angular momentum and the angular velocity is
no longer valid. Istead the following relation holds
82
Σ  Ii ⋅ ωi ⋅ ei
i

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
iConsequently
:=1 ..1 , the Lagrangian of the magnetic top in a magnetic field B=Bk reads

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

 ω sv ⋅ Bsv1
L
  2
+ Mtopsv ⋅ Bsv
2  + 
g sv ⋅ Isv ⋅ ω sv ⋅ Bsv  2
+  
 i i i i i 
where B.i are the components of B in body-fixed frame
85
 sin ( θ ) ⋅ sin ( χ ) 
B  ( Bi ⋅ ei) B ⋅  sin ( θ ) ⋅ cos ( χ ) 
i  cos ( θ ) 
and

Bi Ii ⋅ g i ⋅ Bi
2
Isv ⋅ ω sv
 2
+ M topsv ⋅ Bsv = 5.154 × 1077 gm cm2 sec-2

i
Bsv1 : = Isv ⋅ g sv ⋅ Bsv
2
Isv ⋅ ω sv
 2
+  gsv ⋅ Isv ⋅ ω sv ⋅ Bsv = 2 -2
5.154 × 10 gm cm sec
77

i i
2
Isv ⋅ ω sv
 2
+  ω sv ⋅ Bsv1 = 3.217 × 1089 eV

i i

Bohr radius2 by coeficient


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

As in the case of symmetric top, the three coordinates which determine the orientation of the top
in the laboratory frame are :
q1 θ

86

32
q2 φ
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
87
ω C( q ) ⋅ q'
where

 cos ( χ ) sin ( θ ) ⋅ sin ( χ ) 0 


C( q )  −sin ( χ ) sin ( θ ) ⋅ cos ( χ ) 0 
 
 0 cos ( θ ) 1 

88
 φ' 
q'  θ' 
 
 χ' 
Using this notation we write the Lagrangian as
84 a
1   C ⋅ q'  ⋅ B
  
2
L ⋅ Ii ⋅  Cin ( q ) ⋅ q1n  +  im n  i
2     
 i  n  in

Consequently ,the canonical momenta are :


89
Pk
d
d k'k
L  I ⋅ Cin(q) ⋅ q'n ⋅ Cik + Ak
i

90
 g 1 ⋅ I1 ⋅ sin ( θ ) ⋅ cos ( χ ) − g 2 ⋅ I2 ⋅ sin ( θ ) ⋅ sin ( χ ) ⋅ cos ( χ )   Aθ 
 
A B ⋅  g 1 ⋅ I1 ⋅ sin ( θ ) ⋅ sin ( χ ) + g 2 ⋅ I2 ⋅ sin ( θ ) ⋅ cos ( χ ) + g 3 ⋅ I3 ⋅ cos ( θ ) 
2 2 2 2 2
 Aφ 
   A 
 g 3 ⋅ I3 ⋅ cos ( θ )   χ 
 
We shall define the quantity :
π.k  Pk − A k
  
Ii ⋅ Cin ( q ) q'n ⋅ Cin  Cin Ii ⋅ Cik ⋅ q'n 
T

 i n in 
π.k  Cni T
⋅ 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

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

It follows from (91) that
q' C
where
−1 ( T) −
⋅ C
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 
 
 cos ( χ ) sin ( χ ) −sin  χ  ⋅ cos ( θ ) 
   
sin ( θ )  sin ( θ ) 
−1  
( CT )  cos ( χ ) −cos ( χ ) 
 −sin ( χ ) sin ( θ ) sin ( θ )
⋅ cos ( θ ) 
 
 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 −cos ( χ ) ⋅ sin ( χ ) ⋅ cos ( θ )  1
2 2

− 
1
+ ⋅ ⋅
 I I (
sin θ )  I I  sin ( θ ) I
1 2  1 2   1

cos ( χ ) ⋅ sin ( χ )  1  sin ( χ ) 2 cos ( θ ) 2  −cos ( θ )  sin ( χ ) cos ( χ
g C ⋅ (C )
2
−1 T −1  ⋅ − 
1 1
⋅ + ⋅ +
   
 sin ( θ )  I1 I2  sin ( θ )  I1
2 I2
 sin ( θ )
2
 I1 I2

 −cos ( χ ) ⋅ sin ( χ ) ⋅ cos ( θ ) ⋅  1 − 1  −cos ( θ ) ⋅  sin ( χ ) +  cos ( χ )   cos ( θ ) ⋅  sin ( χ ) 2I + cos ( χ ) 
2 2 2 2

 I    I   
sin ( θ )
1
 1 I2  sin ( θ )  I1  2   sin ( θ )  I2
2 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
 I1 
 ⋅ [ ( C ⋅ q')i] 2
H p ⋅ q' − L ( p ⋅ q' − A ⋅ q') −  
 i 2   
  
Using (92) the first two terms take the form
p ⋅ ( q' − A ⋅ q') π ⋅ q' π ⋅ C ⋅ ( C ) ⋅ π .1  ( )
  C T − 1 ⋅ π.j 1 ⋅ π ⋅ C− 1 ⋅ ( CT ) − 1 ⋅ π
2
T −1
 
−1 1 −1
⋅ π.k ⋅ Cki  ⋅
2    i  2
i  k  j
It folows now that
96

34
H
1
⋅  π ⋅ π ⋅ C
−1 ( T ) −    Ii ⋅ ( ω i)
⋅ C
1 2
T
1
⋅ (p − A) ⋅ C
−1 ( T) −
⋅ C
1
⋅ (p − A)
1 
⋅ ( p − A ) ⋅ G ⋅ ( p − A )
2 2 2 2 
i
1 1
H ⋅ (p − A) ⋅ G ⋅ (p − A) ⋅ g ik ⋅ ( 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 ( χ )  cos ( θ ) 2
2 2

H −I ⋅   sin ( χ ) ⋅ I1 +  ( θ θ) ( φ φ) ⋅ ( Pχ − A χ )  ...
2 2 1 2
⋅ P − A + ⋅ P − A +
I2 sin ( θ ) sin ( θ )
2 2
  
cos ( χ ) ⋅ sin ( χ ) I2 − I1
+
1
2⋅I
(
⋅ Pχ − A χ ) 2
+
sin ( θ ) I1 ⋅ I2
⋅ ⋅ ( pθ − Aθ ) ⋅ ( Pφ − Aφ) ...
3
 −cos ( χ ) ⋅ sin( χ ) ⋅ cos ( θ )  I2 − I1  
+
sin ( θ )
⋅
I1 ⋅ I2
⋅ pθ − Aθ ( ) ⋅ ( Pχ − Aχ ) ... 
   
 −cos ( θ )  sin ( χ ) 2 cos ( χ ) 2  
+ ⋅ +( ) ⋅ ( Pχ − Aχ ) 
 ⋅  pφ − A φ
 sin ( θ )  I1 I2
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).
C ⋅ C ⋅ ( C ) ⋅ π
T −1
1 1   1.k 
−1
Σ I ⋅ω ⋅e I ⋅
1 C ⋅ q' ⋅ e
1 I ⋅ ik k 1 ik
i i k i k

Σ ( CT ) − 1
⋅π ( CT ) − 1
⋅P− C ( T) − 1
⋅A
97
 cos ( χ ) sin ( χ ) −sin ( χ ) ⋅ 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
 cos ( χ ) ⋅ P + sin ( χ ) ⋅ P + −sin ( χ ) ⋅ cos ( θ ) ⋅ P 
 θ
sin ( θ )
φ
sin ( θ )
χ 
 
s (C ) ⋅ p 
T −1
−sin ( χ ) ⋅ Pθ +
cos ( χ )
⋅ Pφ +
−cos ( χ )
⋅ cos ( θ ) ⋅ Pχ 
s i ⋅ ei 
 sin ( θ ) sin ( θ )  i
 

 
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)^-

35
1*A)*e.i we shall give the name
( CT ) − 1 ⋅ A .i ⋅ e
a  i
i

Its components in the body frame are :


a1 g 1 ⋅ I1 ⋅ sin( θ ) ⋅ sin( χ )
a2 g 2 ⋅ I2 ⋅ sin ( θ ) ⋅ cos ( χ )
a3 g 3 ⋅ 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
100
δjk Σj
2
( sj −
  Σ j ⋅ Σ k ⋅  ( Cjk ⋅ Cik ) Σj ⋅ Σk ⋅  
1 T −1 1 −1 1 −1 1
H ⋅C ⋅Σ⋅C ⋅Σ ⋅ Cji ⋅ Σ j ⋅ Cik ⋅ Σk ⋅ ⋅
2 2 2 2 Ij 2⋅ Ij 2⋅
jik jk i jk j j

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
1 2
H ⋅g⋅µ
2

Components of the spin vector in the body frame satisfy the folowing equations of motion :
d H ⋅  d Σ  ⋅ d s −  d s  ⋅ d Σ  d H ⋅ Σ ,s
s'j ( H , s )  dΣ   
  dp i   dq i  dp i  dq i   dΣ  ( i i) 
i  i  k   k   k  k  k  i  i 

( Σ i, s i) ( s i − ai, s i) (
− ai , s i )  ε ijn ⋅ s n − ( ai, s j)
n

d  d
( ai, s j) −   dqks i  ⋅ dpks j
k

( s i − ai)
s'j   ij n ( i j)
Ii
⋅ ι ⋅ 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.

36
V −M sv ⋅ R ⋅ g sv

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  2  I1
( )
I3 I3
⋅  ω1 + ω2 + ⋅ ω 3 + M ⋅ cos ( θ )  ⋅ ( θ' + φ' ⋅ sin ( θ ) ) + ⋅ ( χ' + φ' ⋅ cos ( θ ) ) + M ⋅ B ⋅ cos ( θ )
2 2 2 2 2 2
L T−V
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 θ'

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 ( θ ) cos ( θ ) 
2 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
2 2 2
Pθ Pχ Pφ
(
H θ , φ, χ , Pθ , Pφ, Pχ ) ( )
θ' ⋅ Pθ + φ' ⋅ Pφ + χ' ⋅ Pχ − θ , φ, χ , Pθ , Pφ , Pχ + V T+V + + ...
⋅ I1 ⋅ I3 ⋅ I1 ⋅ sin ( θ )
2
2 2 2

Pχ ⋅ cos ( θ )
2 2
cos ( θ )
+ − Pφ ⋅ Pχ ⋅
⋅ I3 ⋅ sin ( θ ) I1 ⋅ sin ( θ )
2 2
2

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

37
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 :
−Pχ ⋅ cos ( θ ) − Pφ ⋅ cos ( θ ) + Pχ ⋅ Pφ ⋅
2
( 1 + cos ( θ ) )
2

+ M ⋅ B ⋅ sin ( θ )
d
−P'θ H
I1 ⋅ sin ( θ )
2

d
−P'φ H

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)
Two immediate first integrals of motion are :
A10a

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

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


2
Pφ Pφ0

Since
A10c the system is conservative the total energy is the third integral o f motion.

I1 I3 Pχ0
E T+ V (
⋅ θ' + φ' ⋅ sin ( θ )
2 2 2
) + ⋅
2
+ M ⋅ B ⋅ cos ( θ )
2 2 I3

Only three additional quadratures are needed to solve the problrm. From the above three integrals
it is possible to express ', ' and ' as functions of ' and constant of motion
A11

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


φ'
I1 ⋅ sin ( θ )
2

A12

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


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

A13
 I1 2 ( Pφ0 − Pχ0 ⋅ cos ( θ ) )  P 
2

 ⋅ θ' +  + M ⋅ B ⋅ cos ( θ ) E − χ0  E'


 2 2I1 ⋅ sin ( θ )
2
 2⋅I 
3
 
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

38
integrable. From (A13) it follows :
A14
 1


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

A15
COS ( θ ) ( 1)
⌠ 1

cos ( θ ) .
2

T

d⋅
 
 2 ⋅ I ⋅ ( 1 − cos ( θ ) 2) ⋅ ( E' − M ⋅ B ⋅ cos ( θ ) ) − P ⋅ −P ⋅ cos ( θ ) 2  dx


⌡COS ( θ ( 0) )  1 ( φ0 χ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.

39

You might also like