Professional Documents
Culture Documents
journal of
physics
32.60.+i
1. Introduction
The quadratic Zeeman eect observed for the hydrogen atom has evoked much
interest during the last few decades. Despite a large number of advances made
during this period, a complete understanding of even the classical problem is still
lacking. The reason for the great diculty encountered in analytically solving the
967
968
12
2
+ 2 + V (|r2 r1 |),
2m1
2m2
(1)
1
2 + 1 (
2 + V (r)
(
p + e0 A)
p + e0 A)
2m1
2m2
(2)
that describes the movement in relative coordinates. The reduced function can also
be written as
Hred =
p2
(3)
where L (=e0 B/2 ) is the Larmor frequency that needs to be dened in terms of
= r
, Lz is the z-component of the orbital angular momentum (L
p ), and are
two dierent reduced masses dened as = m1 m2 /M and = m1 m2 /(m1 m2 ),
= , where q = (/ )e0 ,
and L = (2 /2 1)1/2 L . If one notes r = p q A
one can write
Hred =
L2 2
2
+
(x + y 2 ) + V (r).
2
2
(4)
red and
We now take into account the angular motion. To do so, we use p = H
L and z = kz
where k is the unit vector along the z-axis, and nd
dene
L = k
=
+ 2Lr z,
L
L L
L = (L2 + L2 )1/2 = e0 B/2.
(5)
969
L2 2
(x + y 2 ) V (r).
2
(6)
One may introduce the rotating coordinate system (x = x cos L t + y sin L t, y =
x sin L t + y cos L t, z = z such that r = r) to rewrite the Lagrangian as
L =
2 2
r (x + y 2 ) V (r ),
2
2
(7)
p2
+ (x2 + y 2 ) + V (r ).
2
2
(8)
= r
p with Lx = Lx cos L t+Ly sin L t, Ly = Lx sin L t+
One also observes L
Ly cos L t, and Lz = Lz such that L = L and Lz is a constant of motion.
The dimensionality of the Hamiltonian function H is still equal to three, and it
can be reduced by using the spherical polar coordinates (r , , ) in the rotating
frame. One obtains
2
L =
(9)
In the above, pr = r , p = r2 , and p = r2 sin2 Lz . Since the centrifugal force is in the radial direction, and the Coriolis force is in the (r , r ) plane,
the motion remains conned to the same plane. Thus, without loss of generality,
one can make the choice = /2 such that = 0, p = 0, and p = 0. This
yields a two-dimensional motion that is represented by the functions
2
z
2
H =
pr + 2 + r2 + V (r ),
2
r
2
L =
(10)
where
Lz = p = r2 .
(11)
3. Equation of motion
3
Hamiltons equations show pr = L2
z /r r dV /dr and p = 0. One can
easily obtain the equation of motion
970
2
r =
1/2
L2
1 2
z
V r
.
E
2r2
2
(12)
The total energy E appears as the constant of integration. Combining (11) with
(12), one obtains the working equation
1/2
dr
L2
1 2
z
2 2
r
=
r
.
E
d
L2
2r2
2
z
(13)
For the Zeeman problem, one needs to solve eq. (13) with V (r ) = /r where
= e20 .
4. Special cases
We seek bound state solutions of (13), and exact solutions are known in special
cases as reviewed below.
Circular orbits. Circular orbits are always possible. These are obtained by treating
r as independent of , and imposing the condition dE /dr = 0 for stability. The
results are
E = + r2 ,
2r
(14)
Lz = [(r + r4 )]1/2 .
Bertrands theorem species that stable (that is, E is conserved) and closed noncircular orbits are possible only when > 0, = 0 (the Kepler limit with zero
magnetic eld) or = 0, > 0 (the Hooke limit with no r1 potential).
Kepler case ( = 0). In this case, eq. (13) can be readily integrated to obtain
a stable elliptical orbit (written with double primed quantities) for e < 1 and
E < 0:
1
1
(1 + e cos ).
=
r
a (1 e2 )
(15)
The orbit is necessarily closed. The quantities E = /2a (<0 and Lz =
[a (1 e2 )]1/2 completely describe the movement. For E > 0, one obtains
two stable but unbound hyperbolic trajectories with e > 1,
1
1
(1 e cos ),
= 2
r
a (e 1)
(16)
where the plus and minus signs are valid for the ranges cos1 (1/e )
2 cos1 (1/e ) and cos1 (1/e ) 2 cos1 (1/e ) respectively.
The corresponding energy and angular momentum are E = /2a and Lz =
[a (e2 1)]1/2 .
Hooke case ( = 0). In this case, the integration is again straight-forward and it
results in the elliptical path
Pramana J. Phys., Vol. 68, No. 6, June 2007
971
(17)
In this case, E = (2 e2 )a2 /2 (> 0 for > 0) and Lz = [(1 e2 )]1/2 a2 .
Stable unbound solutions are not possible here with real Lz . The harmonic force
restricts r to remain nite for a nite energy.
The reversal of the sign of total energy complicates the issue when both and
are non-zero and positive quantities.
5. The bound state Zeeman problem
We now proceed to solve the general case with > 0 and > 0 that corresponds
to the classical Zeeman eect. Note that dr /d = 0 when either r = 0 (trivial
solution) or
r4 2E r2 2r + L2
z / = 0.
(18)
Equation (18) has four roots such that (a) all four are real, two are positive and two
are negative, (b) only two are real, both positive or both negative, and the other
two are complex conjugates or (c) they are two pairs of complex conjugates. For a
bound orbit (that is not necessarily closed), there should be at least two real positive
roots, say, r1 and r2 . For the same value of r , the absolute magnitude of dr /d is
the same. Therefore, there is one minimum (r = r1 ) and one maximum (r = r2 ),
and r = f ( ) is symmetric around both the minimum and the maximum. We get
+ (r12 + r22 ),
+ r2
2
1/2
r1 r2
2 2
Lz = 2
+ r1 r2
.
r1 + r2
2
E =
r1
1/2
1
8
2
r3,4 =
(r1 + r2 ) (r2 r1 )
.
2
(r1 + r2 )
(19)
(20)
These are indeed either real negative or complex conjugates with a negative real
part, and represent spurious solutions. The orbit r = f ( ) is bound as r varies
in the range r1 r r2 . Yet, by Bertrands theorem, it is open when both and
are positive quantities. A fourth-order RungeKutta solution of the equations of
motion (12) and (13) is shown in gure 1. This discussion settles the qualitative
nature of the trajectory.
6. Solution in terms of the image ellipse
We are interested in nding out an analytical solution of the problem above, with
a special view to identify any possible constant of motion besides E and Lz . To
achieve this end, we make the substitution
972
Figure 1. Numerical solution of the trajectory from eqs (12) and (13) for
= 1, = 2 and L = 0.1. The initial point is (r = 1.0083555, = 0.0) for
t = 0.0, and the nal point (r = 1.8926403, = 14.775701) is obtained at
t = 48.0. The dashed line shows the image ellipse for a = 2 and e = 0.5.
t
2
r
t
2
r
= 2L ,
(21)
where r and r are the corresponding displacements. This gives, in terms of the
coordinates (r , ) and time t , the following quantities:
2
(r + r2 2 ) + ,
2
r
1
L2
z
2
H =
pr + 2 ,
2
r
r
L =
(22)
The solution is an image ellipse of the form of (15). The corresponding E and
Lz have been quoted right after the same equation. The minimum (for r = r2 )
corresponds to the minimum (for r = r2 = a (1 + e )), and the maximum
(for r = r1 ) corresponds to the maximum (for r = r1 = a (1 e )).
But the distances r and r are dierent as time variables t and t are, that is, the
maxima and minima for the open trajectory and the image ellipse occur at dierent
distances and dierent instants of time. The image ellipse for the parameters chosen
for gure 1 is shown by the dashed line in the same gure.
From eq. (21) and the denitions of Lz and Lz , we get the relationship between
the corresponding displacements,
r4 =
4
L2
z r
.
4
L2
z + r
(23)
Also,
Pramana J. Phys., Vol. 68, No. 6, June 2007
973
r1
r2
Lz
E
0.00
0.01
0.10
1.00
10.0
a
1.66667
1.66516
1.54790
1.03722
1.00040
1.00000
1.50000
1.50031
1.52521
1.66979
1.68441
1.68457
2.50000
2.49825
2.36087
1.73195
1.68509
1.68457
1.93649
1.93781
2.05549
6.07084
56.7971
0.50000
0.24924
0.17833
5.49388
567.378
a Limit
behavior.
r2 = r1
(24)
4
4
L2
z /a (1 e ) +
4
4
L2
z /a (1 + e ) +
1/4
.
(25)
Besides,
L2
1
z
+ r12 ,
2r12
2
r1
22 1
2
4
(1 + )r1 + r1 .
Lz =
1+ 2
E =
(26)
(27)
Equations (23)(27) give complete solutions for and r1 , and hence r , E and Lz
in terms of the parameters a and e of the image ellipse.
For a given and , a unique set of parameters (a , e ) denes a unique set of
values (E , Lz ) and an initial condition (such as r = a (1 e ) and = 0 at
t = 0) leads to a unique elliptical path. If one also species a non-zero L , one
obtains a unique set of values (E , Lz ). A given starting point (such as r = r1 and
= 0 at t = 0) leads to a unique trajectory [r (t ), (t )]. Table 1 contains a few
prototype results for dierent magnetic eld strengths.
The ratio can again be expressed as
=
1 + e
1 e
3
1/4
.
(28)
1 + e
a3 e (1 + e2 )
2
1 e
(1 e )2
(29a)
as a3 / 0, and
=1+2
e (1 + e2 )
a3 (1 e2 )3
(29b)
as /a3 0. Thus decreases from (1 + e )/(1 e ) to 1 as the magnetic eld
strength increases from 0 to . The orbit becomes increasingly circular. This can
be clearly seen by comparing gure 1 with gure 2.
(30)
= cos1
cos e
1 e cos
,
(32)
975
Figure 3. The image circle (dashed line) for (a) the Kepler ellipse and (b)
the Hooke ellipse.
and the time period for the repeat of the minimum r (or the maximum distance)
as
T = 2(a3 /)1/2 .
(33)
The angle is the angle on the image circle of the image ellipse as shown in gure
3a with a = 2 and e = 0.25. Figure 3a completely denes r , and t . The
image circle for the Hooke solution is shown in gure 3b. A numerical solution of
as a function of t can be obtained from (31), and the solution is illustrated in
gure 4.
The image circle for the Hooke solution is more familiar. One writes
r = a [1 e2 cos2 ]1/2
(34)
to get
1/2
=
t ,
= sin1
(35)
sin
1 e2 cos2
,
T = (/)1/2 .
where a = 2 and e = 0.25.
One can similarly create an image circle description for the Zeeman bound state
trajectory given by (12) by writing
r = a (1 e cos ),
(36)
a
976
a (1 e cos )d
1
1/2 = 1/2 dt .
2
2
2
+ a {(2 e cos ) e }
Pramana J. Phys., Vol. 68, No. 6, June 2007
(37)
Figure 4. Variation of time t with the image circle angle for a Kepler
ellipse with a = 2 and e = 0.25. We have also taken = 1 and = 2. For
the Hooke ellipse, the image circle angle varies linearly with time.
a2
(38)
e2
+
4
a2 .
a
2
(39)
and
One nds
1/2
(2n 1)!!(2e )n
e sin +
t =a
n!
n=1
n
(1)m
n
m
m+1
{e
I
(
)
e
I
(
)}
,
m+n
m+n+1
m
22m
(40)
m=0
where
Ip ( ) =
d cosp =
0
(p1)/2
q=0
Ip ( ) =
1
2p1
1
+ p
2
p
q
p/21
q=0
p
p/2
p
q
1
2p1
sin(p 2q)
(p 2q)
(for p = odd),
sin(p 2q)
(p 2q)
(for p = even).
(41)
977
n
(2n 1)!!(e )n (e )m
n
T = 2a
1+
3m
m
n!
2
n=1
m=0
m+n
m+n,2[(m+n)/2]
(m + n)/2
e
m+n+1
(42)
m+n+1,2[(m+n+1)/2] .
2 (m + n + 1)/2
It is easy to verify that the Kepler and Hooke time periods are indeed retrieved in
the limits a3 / 0 and /a3 0 (with e 0), respectively.
The fth order term in (42) has a factor 5 e6 . For e = 0.25, e < 0.25 and a
fourth-order expansion is sucient to ensure a six-digit accuracy. Calculated time
periods for = 2, = 1, a = 2 and e = 0.25 are given in table 2 for various L .
This still leaves to be calculated. This is accomplished by combining (36) and
(37) with the denition of Lz . We get
(2n 1)!!(2e )n
Lz
=
)
+
2
F(
1/2
n!
a ()
n=1
n
m
e
n
m+n ( ) ,
(43)
m
4
m=0
d
=
+
eq Iq ( )
F( ) =
1 e cos
0
q=1
and
p ( ) =
1
2
0
1 q
cosp
d
=
e Ip+q ( ).
1 e cos
2 q=0
(44)
(45)
(46)
and
0 (2) = 1
e
2p
2p1 (2) = 2p
p
2
2 2
2
e
e
(2p + 1)
(2p + 1)(2p + 3)
1+
+
+ ,
2
(p + 1)
2
(p + 1)(p + 2)
(47)
(2n 1)!!(2e )n
1
2Lz
c =
+
n!
a ()1/2
1 e2 n=1
n
m
e
n
(48)
m+n (2) .
m
4
m=0
Again, for e = 1/4, a six-digit accuracy is obtained from the fourth-order expansion
(table 2).
That c is found between and 2 leads to a precession of cycles. The precession
frequency P can be written as P = (c 2)/T , the negative sign implying that
the direction of precession (clockwise) is opposite to the direction of rotation (anticlockwise) around the Coulomb center (as shown in gure 1). A typical precession
is selected for illustration in gure 5 where the orbit more or less closes after 9 cycles
accompanied by a precession through 2. The trajectory in gure 5 is based on
the same set of parameters used for gure 1 ( = 1, = 2, L = 0.1, a = 2.0 and
e = 0.5), but the total time used is in excess of 155.4 unit. The same diagram
can be generated from eqs (36) and (43). For the chosen parameters, the values
calculated from eqs (42) and (48) are indeed T = 17.2657 and c = 1.77668 so
that P = 0.0406346 per unit time. Since c is almost equal to 16/9, the orbit
almost closes after 9 cycles and at a time gap of 155.391 unit. After nine cycles
of rotation, the orbit angle covered deviates from 16 by less than 0.01, and the
deviation of the trajectory from the original one becomes visible only after several
complete cycles of precession. The rate of precession increases with the increase in
magnetic eld, and at a very high eld approaches L (table 2). This can also be
seen by comparing gure 2 (for L = 1.0) with gure 5 (for L = 0.1).
8. Results and discussion
Equation (21) has been the critical step in our derivation, and it leads to a dilation
of spacetime. The Zeeman trajectory can be obtained from any image ellipse
specied by a and e . A unique set (E , Lz ) and another unique set (r1 , r2 ) are
obtained for a specic L . The values r1 and r2 give a and e , and a unique r can be
obtained as a function of the circular angle . The time t and the angle can be
calculated by numerically integrating eqs (12) and (13) respectively. Alternatively,
time and angle can be determined from the power series expansions (40) and (43)
respectively.
Tables 1 and 2 are based on the image ellipse of eccentricity 0.25, whereas for
gures 1, 2 and 5, the image eccentricity used is 0.5. The quadratic Zeeman orbit
always lies in the annular belt dened by r1 r r2 .
For E < 0, the trajectory is more like a distorted Kepler ellipse, but for E > 0
the orbit is mainly Hooke-like. The quadratic term leads to topologically distinct
Pramana J. Phys., Vol. 68, No. 6, June 2007
979
kinds of dynamics in a quantum mechanical treatment [5,9]. In the classical situation, the transition from a Kepler-type motion to a Hooke-like one is not sharp. It
is approximately characterized by the crossover point E = 0 that occurs when
3 + 2 +
(1 + e )
= 1.
a3 (1 e )3
(49)
1 e
1 + e
4
.
(50)
For e = 0.25, the crossover is found at 0 = 1.37808. The important ratio is /a at zero energy, that is found to be 1.65183 for e = 0.25. For
a = 2, = 1 and = 2 as used in table 1, the following quantities are obtained:
= 0.07567, L = 0.19452, r1 = 1.56506, r2 = 2.15679, and Lz = 2.31349. For a
more realistic situation in atomic physics, we choose the atomic units e0 = 1, = 1
and = 1 such that c = 1 , being the ne structure constant. For a = x2 a0
where a0 is the unit of length, we nd L = 0.778068x3 in atomic unit. The
normalized magnetic eld given by = L /Ry where Ry stands for one Rydberg
or half of atomic unit of energy turns out to be 1.55614x3 . For instance, if x =
2, then = 0.194517. In the quantum mechanical case, many level crossings occur
and the energy values of all states barring the 1s become positive in the region
0 < < 1 [3].
The nature of the roots of eq. (18) discussed in 5 precludes the possibility of
any stable unbound solution of the quadratic Zeeman problem as the real positive
roots always occur in pairs and are nite. This is again the outcome of the presence
of the harmonic potential. If one starts from a Kepler hyperbola (with E > 0 and
= 0) and ascribes a small positive value to , eq. (12) yields a rapidly decreasing
980
c /
T /
0.00
0.01
0.10
1.00
10.0
a
2.00000
1.99538
1.70629
1.03644
1.00039
1.00000
8.00000
7.96967
6.06905
0.987534
0.0999869
1
L
0.000000
0.000580
0.048393
0.975720
9.99739
L
a Limit
behavior.
r as r increases. The result is that the arms of the hyperbolic trajectory bend
towards the major axis and leads to the formation of the open stable trajectory
with E > 0.
The main feature of the quadratic Zeeman eect is presented here as the dilated
spacetime. The angle variable and the time variable are especially contracted. A
unique correspondence is observed between (E , Lz ) and (E , Lz ) for a given L in
the classical Zeeman eect. The implication of this correspondence in the quantum
mechanical situation remains to be explored [12]. The best analytical solution
of the quantum Zeeman problem was derived by Praddude [3] who observed a
one-to-one correspondence between the Zeeman wave functions (characterized by
four quantum numbers) at zero magnetic eld and the standard hydrogen atom
wave functions (characterized by three quantum numbers). Praddude mixed radial
functions and expanded the mixed function in an innite series, and therefore had
to solve an innite set of linear algebraic equations. This eluded the derivation of
eigenfunctions and eigenvalues in closed forms.
Acknowledgment
SND is grateful to CSIR for nancial support.
References
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
981
982