The azimuthal angle operator for angular momentum and phase operators of oscillators

The azimuthal angle operator for angular momentum and phase operators of oscillators

6 November & *H -_ 1995 __ PHYSICS LETTERS A El!3 ELSEWIER Physics Letters A 207 (1995) 243-249 The azimuthal angle operator for angular mome...

475KB Sizes 0 Downloads 9 Views

6 November

& *H -_

1995

__

PHYSICS

LETTERS

A

El!3 ELSEWIER

Physics Letters A 207 (1995) 243-249

The azimuthal angle operator for angular momentum and phase operators of oscillators Tapan K. Kar, Debajyoti Bhaumik Theoretical

Received

Physics Group. Saha Institure

of Nuciear

Physics. I / AF, Bidhannagar.

’ Calculra

16 June 1995; revised manuscript received 24 August 1995: accepted for publication Communicated by P.R. Holland

700 064, India 5 September

1995

Abstract

We discuss the relationship between the azimuthal angle operators corresponding to a quantum mechanical angular momentum “vector” and the phase operators associated with the two oscillators from which one can compose the angular momentum operators 21la Schwinger.

Proper quantization of classical phase has been the subject of many recent investigations [ 1,2]. Attempts have been made to find a Hermitian phase operator for the quantum harmonic oscillator (or a single mode of the electromagnetic field) - a delicate problem since the phases of harmonic oscillators depend both on coordinates and momenta. Recently Pegg and Barnet! (PB) [2] were able to construct a Hermitian phase operator 4, and a unitary exponential phase operator exp(i+), in a truncated state space with a finite number of oscillator quanta. The PB prescription consists in evaluating all relevant physical quantities in the finite dimensional space before taking the dimensionality of the state space to infinity to arrive at the results obtainable in ordinary quantum mechanics. Similar to the notion of a phase, we frequently encounter another quantity, the angle variable which also has the periodicity 27r. However, in trying to define a Hermitian angle operator corresponding to these angle variables not much difficulty is faced, basically because the angles specifying the orientation in space of a rotating body are periodic variables that are fully determined by generalized coordinates. Nienhuis and van Enk [3] have discussed the quantum operators corresponding to the spherical angles of an angular momentum operator i Two angles (polar and azimuthal) are necessary to describe the orientation of a vector in the spherical polar system of coordinates. Since the three components of angular momentum (J,, J,, JZ> do not commute with one another, it is expected that the operators representing polar and azimuthal angles should be non-commuting. The z-component of the angular momentum operator & is uniquely related to the operator 6 for the polar angle of the vector J by the defining relation cos 8 = j,/ \15^2(p rovided we assign its eigenvalues to the interval [0, n-1). The standard angular momentum basis states 1j, m), which are the simultaneous

’ E-mail: [email protected]. 0375-9601/95/$09.50

0 1995 Elsevier Science B.V. All rights reserved

SSDI 0375-9601(95)00684-2

144

T. K. Kar, D. Bhaumik/

Physics Letfers A 207 f 1995) 2-13-249

eigenstates of j2 and 1, belonging to the eigenvalues j( j + 1) and m respectively, are also the eigenstates of & (repres_ented by 10,)) with corresponding eigenvalues 0, = arccos[ m/ \ij(j+1>]. The azimuthal angle operator @, on the other hand, was defined by Nienhuis and van Enk in such a way that the action of exp(i&) changed I j, m) to I j, m + 1) and was made Hermitian by allowing its action on the state I j, j) to map it onto I j, -j), and consequently the eigenstates of @ were found to be 1Qr,> corresponding to the discrete eigenvalues Gr = @a + 27rr/(2 j + 11, @,, being a constant and r = 0, 1,. . . ,2 j. In the present article we discuss the relationship of the unitary azimuthal angle operator ei6 with the phase operators corresponding to the oscillators from which we can construct the SU(2) generators of the rotation group. Following Schwinger 141, the bosonic operators 8, and 2: (r = + , - >, representing two oscillators, and obeying the commutation relations

may be employed

to construct

4+=$+&,

the angular momentum

operators through the bilinears

2z = @+a+-a+;_),

~_=i;+_~+,

(14

which satisfy the Lie algebra for the rotation group, and the corresponding

p=;(

+ ii++ii++ at_ii_ + )i

Casimir operator may be written as

81 ii +ii+_ii_ 2

(lb)

+1. 1

It is well known that the angular momentum states I j, m) may be built out of the “vacuum” of the boson creation operators iit+ and tit_, namely,

(a++)““(a+->‘-” 10

Ijm)= [(

j+m)!(j-m)!]l’*

o_)=

+’

In+,

n_=2j-n

> +



by the operation

(2)

where, in writing Eq. (2), we have used n++ n_ -=. 2

II+-- nj7

(3)

2=m.

In view of the above description of the angular momentum operators in terms of two bosonic oscillators it is natural to look for a relationship between the PB phases of the two oscillators and the azimuthal angle operator may be considered to represent the two modes of electromagnetic e i@. These two oscillators, incidentally, radiation and hence the following discussion applies equally well to the relevant combination of the PB phases of two electromagnetic waves. We can write the annihilation operators for the oscillators d, and a_ in the polar decomposition as . 2_=ei4A_ , a+=e i&+J I\j c 9 d h with N, the number operators $*a, for the two oscillators and 0 + are the corresponding the two oscillators. Their action on the number states I n + ) of the oscillators are fi* In,>

=n+

In,>,

e’&* In,)

= In*--

1).

(4) phase operators for

(5)

For the construction of the Hermitian phase operators $* of the individual oscillators, following PB, the infinite dimensional space of the number states of each individual oscillator is truncated to a finite dimension.

T.K. Kar, D. Bhaumik/Physics

Letters A 207 (1995) 243-249

245

However, as we are interested only in the azimuthal angle operator associated with the angular momentum operator (in the context of a state specified by j), and since there is nothing to distinguish between the two oscillators so far as the generators of the angular momentum are concerned, the dimensionality of the state space for both the oscillators has to be the same, namely 2j + 1, with j = 0, 1, 2, . . . . Also it will suffice to focus our attention on a particular j value. In terms of the 2 j + 1 number states the “truncated” exponential phase operators ei6* for each individual oscillator have the following unitary representation, 2j- 1

,i&*=

C 1n*)(n,+

1 I +ei(2j+1)+o* I n*=2j)(O,

(6)

I.

Here 4,, correspond

to an arbitrary reference phase angle. It is necessary to note here that the “truncated” phase operators differ from those in the Pegg-Barnett formalism in that the dimension of the underlying truncated Hilbert space is not made arbitrarily large for the calculation of physical quantities such as expectation values. These “truncated” unitary phase operators have eigenstates 14, f >,

with corresponding

eigenvalues

&,,, given by

27rm,

m*=O, 1, 2 ,...,

h,*= #Jo*+-2j+l’ The Hermitian

phase operator

4*

2j.

can thus be expressed

(7b) in terms of the “truncated

phase states”

I +, f > as

3j

6*=

c

(8)

4%* I #J,*wrn* 1.

m*=O

We can also write C$+ in terms of the number states I n * > using (7a). It is clear from (2) that while constructing angular momentum states with a particular j value we need to choose out of all the possible product states I rz,, II_ ) in the (2j + 1) X (2 j + 1) dimensional space only those states which obey the restrictions (3), namely n, + n_ = 2 j. This can be achieved easily through a projection operator &j, $SjE

E

n+=o

l n,, 2j-n+)(n+,

2j--n+

I,

(9)

whose action on a general product state I II,, n_ > will select only such states that correspond to angular momentum j. It may also be noticed here that if we confine our calculation within the 2 j + 1 states of angular momentum j and deal with operators which act only on these 2 j + 1 states, then &j is unitary (in fact it is then the identity operator 13. The necessity of introducing such a projection operator will become clear when one writes 3, in (la) using (4) as

where a different notation
246

T.K. Kar, D. Bhaumik/

Physics Letters A 207 (1995) 243-249

are identical in the two cases. Expressing subspace{I j, terms of the product states of the oscillators 1II,, n_ > one obtains m>l,=

exp[

-j.,,,,j

_i(E+-

‘E’ 111++ 1, n_>(n+,

&)I =

n-+

exp[ - i<$+ - & )] with the help of (6) in

l I

n,, fl_=O

exp[ -i(2j

+

2j-

+

+ I)(+,+-

40_)]IO,, 2jWj,

O_ I

I

C

In++

1,2j)(n

+, O_ I exp[i(2j

+

1)&l

n+=O 2j+

1

C

IO,, n_)Qj,

n_+

1 I exp[ -i(2j+

l)&,+]

(11)

n_=O

It is now manifest that the third and fourth term in (11) involves states which are outside the 2 j + 1 dimensional space of angular momentum states 1j, m) under consideration. Since .?+ is an operator whose action on the I j, m) states keeps them within the 2 j + 1 dimensional space of angular momentum it is necessary to select that part of exp[ - i( 4, - & >] which confines its action within this space only. It ca? easily be verified that the operator [&. exp[ - i(J+ - c$_)]&~] would satisfy this requirement. Incidentally yj commutes with N,, N_ and exp[ - ii$+ - $_>I as can be checked using the definition of &j in (9). Thus J, when written in terms of phase operators 0 * using (10) has the form

The operator represented /(j - m)( j operator has

sj first projects only the I j, m) states from all possible states ((2 j + 1) X (2 j + 1) in number) by I n,, n_ > and then !+ acts on them raising them to I j, m + 1) with a factor f m + 1) . Denoting exp[-i($+$_)]gj by ei’ we can at once see from (11) that this unitary a representation in terms of oscillators as Zj-

I

eib = ,,;, +

1n++ 1, n_=2j-n+-

l)(n+,

2j-n,

I+e-i(2j+1x~o+-90-)IO+,

2j)(2j,

O_ I.

(13)

Since $o+- (be_ is the difference of the reference phases for the (-t > and (-1 oscillators and is a constant, expression (13) is the same as that obtained by Nienhuis _and van Enk [3]. That & represents the azimuthal phase operator of the angzar momentum raising operator J, can be seen with a little manipulation using (13) as the representation of e , ~+=~ei~~=2’~1&7i~~In,+l,2j-.+_1~(~+,2j-fr+l n+=O I C In++1,2j-n+-l)(n+,2j-n+l n+=O 2j-

=dm = /m(ei” = \im

-

exp[ -i(2j+

l)(+o+-

$,_)I

IO+, 2j)(2jV

O- I>

ei’.

The azimuthal angle operator thus defined is similar to the phase difference operattr discussed by Luis and Sanchez-Soto [5]. Since the operator ei’ commutes with the total number of quanta N++ g_ preserving the j value by virtue of (3), it was not necessary to invoke the limiting procedure prescribed by Pegg and Barnett for

T.K. Kar, D. Bhumik /

Physics

Letters

A 207 (1995)

243-249

247

the dimensionality of the state space of the individual oscillators to obtain physical results. Indeed this azimuthal angle operator does reproduce all the standard results regarding the spherical representation of the J. We have thus established the relationship between the oscillator phase operators and the azimuthal angle operator. The azimuthal angle operator e” thus defined has eigenstates 1‘jp,) given by

with corresponding Qr=Qo+-

eigenvalues 25-r

r=O,

2jfl’

1,2 ,...,

2j,

where we have written (2 ’ + l)(&+$e_) = (2j + l)@,. n The connection of e’ I with the phase difference operator exp[ -X4+ - $_)I in the truncated space is indicative of the possibility that the states 1Qr,> can be expressed in terms of the “truncated” phase states ) 4,,,+) and 1$,,_) of the individual oscillators with appropriate Clebsch-Gordan coefficients. Indeed inverting Eq. (7a) to express I n, ) and I n_ > in terms of I +,+ > and 1&,_ > and substituting in (14a) we have

l@J =

d

1

E g exp[in+(@, (2j + 1)3 ,1+=0 m*=O

;i&

=

t

m,

r-

1 (2j+

1)

exp( -2ijL)I

4,+3 +m-)

exp(-W+m+-r) I k+, 4m+-r) r 1

exP(

C +

- +*++ $,_)I

-2ij~2j+m+-m_+,)I~m+)

(‘5)

hj+l+m+-r).

nl,=o

Thus if we write

with r an integer modulo 2j + 1, then the Clebsch-Gordan C:I + .m_= CL+,,+-,=

coefficients

1 Jm

exp( - 2ij+,+

-r)

1 =C~~+,(2j+l)+m+-r=

gipT

exP(-2ij~((2j+l)+m+-r)

CL+ ,m_ have the following for 2 j 2 m, 2 r,

for r-

1 >m+>O.

values, ( 16a)

( ‘6b)

The phase state I Gr) as defined in (14a) are 2 j + 1 in number having discrete eigenvalues (14b); and are similar to the standard angular momentum states 1j, m). This similarity may be extended to the angular momentum coherent states as discussed by Radcliffe 161 in 1971 if we can construct [7] a coherent superposition of 1Qr) states. To this end let us construct creation and annihilation operators of the “phase quanta” of angles 6’ and 6 such that & = &$,

( ‘7)

T. K. Kar. D. Bhaumik/

248

Physics Letters A 207 (I 9951 243-249

and whose action on 1Gr) is as follows, 4’ IGr,,> = fir+,

lGr+,>,

WJ

= @.I@~_,>.

(18)

These operators satisfy the commutator relations simjlar t,” the $_and have the following explicit expressions in terms of N,, N_ and @,

4’

= &)I/2

exp ji(N’+-ii_+Zj)& i

= z 1

8, of the single mode operators.

I +KI@lJ)(@?j

#IcP,><@r-i

1.

r=l

They

(19)

The phase creation and annihilation operators are not Hermitian and hence they themselves are not observables. Nevertheless they offer instructive and calculational advantage in their use for description of the phase states of the harmonic oscillator. To construct a unique coherent state superposing 1Dr,> states, let us choose @a = 0 so that ~0~= 2rrr/ (2j+ 11, r=O, 1,2 ,... ,2 j. This will then ensure that

In fact it can be easily seen that for k = 1,. . . ,2j. We can now construct the coherent state I j, cy) superposing different operating eaJ+ on 1G0 = 0), CYbeing a continuous parameter

(47mT)n

*j

Ij,a)=Nea2J+l@o)=_N~

fi

n=O

I~) n

I Gr,>states in the usual manner [6,7,81

(2’)

7

where J1”=

(lal/wpF-iy)2n fz.1 ( n=0

l/2

5

I

.

This coherent state is analogous to the Radcliffe state [6] for the angular momentum. One can easily calculate the expectation values of the angular momentum operators and take the appropriate classical limit. The probability of finding the azimuthal angle cD~= 2rrm/(2 j + 1) in the state I j, Q > is given by

P(Qm) = I(QmI j, a>l’=

[ I a l@qgTiy2m/m! Ego[ I crl~~]*“/n!

*

(22)

In the limit of large j and m the distribution corresponds to the classical results. To conclude we have used the projection operator technique to discuss the quantum operators for the spherical angles of a three dimensional angular momentum vector J^ constructed out of the phase operators of two single mode oscillators. For a given quantum number j the dimensionality of the number state space of the two oscillators required to construct the spherical angle operators was 2 j + I. Thus our result shows how a quantum version of the spherical angle operator for angular momentum can be constructed out of the operators for the “constituent” oscillators.

T. K. Kar, D. Bhoumik / Physics Letters A 207 (1995) 243-249

The authors would like to thank Professor reading of the manuscript.

Binayak

Dutta-Roy

for helpful

249

discussions

and for a critical

References [I] L. Susskind and J. Glogower, Physics I (1964) 49; P. Carruthers and M.M. Nieto, Rev. Mod. Phys. 40 (1968) 441; M.M. Nieto, Phys. Ser. T48 (1993) 5; Le-Man Kuang and Xi Chen, Phys. Rev. A 50 (1994) 4228. [2] D.T. Pegg and S.M. Barnett Phys. Rev. A 39 (1989) 1665; 43 (1991) 2579; S.M. Bamett and D.T. Pegg, Phys. Rev. A 41 (1990) 3427; D. Ellinas, J. Math. Phys. 32 (1991) 135; A. Luis and L.L. Sanchez-Soto. Phys. Rev. A 47 (1993) 1492. [3] G. Nienhuis and S.J. van Enk, Phys. Ser. T48 (1993) 87. [4] J. Schwinger. Quantum theory of angular momentum, eds. L.C. Biedenharn and H. van Dam (Academic 229-279. [S] A. Luis and L.L. Sanchez-Soto, Phys. Rev. A 48 (1993) 4702; D.T. Pegg and J.A. Vaccaro, Phys. Rev. A 51 (1995) 859; A. LUIS and L.L. Sanchez-Soto. Phys. Rev. A 51 (1995) 861. [6] J.M. Radcliffe, J. Phys. A 4 (1971) 313. [7] V. Buzek, A.D. Wilson-Gordon, P.L. Knight and W.K. Lai, Phys. Rev. A 45 (1992) 8079. [8] D. Bhaumik. T. Nag and B. Dutta-Roy, J. Phys. A 8 (1975) 1868.

Press, New York, 1965) pp.