Here we use the extended phase space formulation of quantum statistical mechanics proposed in an earlier work to define an extended lagrangian for Wigner's functions (WFs). The extended action defined by this lagrangian is a function of ordinary phase space variables. The reality condition of WFs is employed to quantize the extended action. The energy quantization is obtained as a direct consequence of the quantized action. The technique is applied to find the energy states of harmonic oscillator, particle in the box, and hydrogen atom as the illustrative examples.
1. Introduction
Among different methods proposed for the quantum statistical mechanics, one may employ the phase space distribution functions to calculate the average quantities. Wigner [1] pioneered in this direction. Based on the quantum state functions he proposed distribution functions with interesting properties and wide range of applicability. Since then many authors have examined Wigner’s distribution functions, and an amazingly large amount of literature has been amassed. Wigner himself used them to make quantum corrections for thermodynamic equilibrium. Moyal [2] and Husimi [3] developed Wigner’s technique extensively. They also showed that averaging by WFs is equivalent, in quantum mechanics, by an averaging in which noncommutating functions of operators p̂ and q̂ are ordered according to Weyl’s ordering rule [4]. Further improvements were made by Margenau and Hill [5], Glauber [6], Mehta [7], O’Connell and Wigner [8], Hillery et al. [9], and Agarwal [10]. Another way of studying the quantum statistical mechanics is proposed by Sobouti and Nasiri [11, 12] by generalizing the principle of least action in configuration space to one in phase space. In this method the phase space coordinates are treated as independent variables on the virtual system point trajectories in phase space. This further permits a definition of extended phase space (EPS), extended lagrangians and hamiltonians. A subsequent canonical quantization procedure or using the path integral technique [13] through these extended entities gives a formulation for quantum statistical mechanics. To demonstrate the simplicity and advantages of the EPS formulation, the technique is applied to solve a few problems. Treatment of Bloch’s theory, partition functions for simple harmonic, and linear potentials are worked out by Nasiri et al. [12]. Obtaining a unique expression for conductivity of a dissipative system of charged particles in different gauges is done using EPS technique by Khademi and Nasiri [14]. Considerable assistance of the EPS technique for studying the dissipative quantum systems is shown by Nasiri and Safari [15] and Razavy [16]. Here we use the later method to obtain an extended hamiltonian governing the evolution of WFs by an appropriate canonical transformation in EPS. An arbitrary extended lagrangian is then obtained by Legender’s transformation. The extended action obtained by this lagrangian is quantized upon the reality condition of WFs that directly yields the quantization of energy. The layout of the paper is as follows. In Section 2, a brief review of the EPS formalism is introduced. In Section 3 the extended hamiltonian and lagrangian are introduced for WFs, and the quantization of extended action and energy are illustrated by a few examples. Section 4 is devoted to conclusions.
2. Background
In this paper we use a direct approach to quantum statistical mechanics that are proposed by extending the conventional phase space and by applying the canonical quantization procedure to the extended quantities in this space (the EPS formalism).
2.1. EPS Formalism
In this formalism an extended lagrangian is introduced as follows [11]:
ℒ(p,q,ṗ,q̇)=-ṗq-q̇p+Lp(p,ṗ)+Lq(q,q̇),
whereLp(p,ṗ)and Lq(q,q̇)are lagrangians in p and q space, and p={pi},q={qi} are the collection of generalized momenta and coordinates specifying a system, respectively. Assuming the phase space coordinates p and q to be independent variables on the virtual trajectories allows one to define momenta πp and πq, conjugate to p and q, as follows:
πp=∂ℒ∂ṗ=∂Lp∂ṗ-q,πq=∂ℒ∂q̇=∂Lq∂q̇-p.
Then, using these extended momenta, one may define an extended hamiltonian as follows:
ℋ(p,q,πp,πq)=πpṗ+πqq̇-ℒ(p,q,ṗ,q̇)=H(p+πq,q)-H(p,q+πp).
Using the quantization rule [11], one gets the following dynamical equation:
iℏ∂χ∂t=ℋχ={H(p-iℏ∂∂q,q)-H(p,q-iℏ∂∂p)}χ=∑n=1(iℏ)nn!{∂nH∂pn∂n∂qn-∂nH∂qn∂n∂pn}χ,
where χ(p,q,t)=ψ(q,t)φ*(p,t)e-(ipq/ℏ) is distribution function in EPS where ψ(q,t)=(1/2πℏ)∫dpφ(p,t)eipq/ℏ, πp=-iℏ(∂/∂p), and πq=-iℏ(∂/∂q). The averaging rule for an observableO(p,q), a c-number operator in this formalism specified by antistandard ordering rule, is
〈O(p,q)〉=∫O(p,q)χ*(p,q)dpdq.
For more details, one may consult Hillery et al. [9] and Sobouti and Nasiri [11].
2.2. The Extended Canonical Transformation and WFs
The quantization procedure of Section 2 assumes p and q as c-numbers, similar to Hamilton’s formulation of classical mechanics. Therefore, the rules of linear canonical transformations in classical mechanics are directly applicable to EPS quantities. These linear canonical transformations correspond to the unitary transformations in quantum mechanics [17].
A simple infinitesimal extended canonical transformation on p,q,πp,and πq gives WFs and the corresponding evolution equation. Let
p→p+δλπq,πp→πp,q→q+δλπp,πq→πq,
where δλ≪1, the generator of this infinitesimal transformation is
G=πpπq.
The corresponding unitary transformation for finiteλ is
U=eiλG/ℏ=eiλℏ∂2/∂p∂q,UU+=1.
The above transformation, forλ=-1/2, transforms the distribution χ(p,q,t), to those of the Wigner [1]. That is,
W(p,q,t)=Uχ(p,q,t)=∫ψ(q+12ℏτ)ψ*(q-12ℏτ)eipτdτ,
and the evolution equation (4) changes into the Wigner equation:
∂W∂t=-p∂W∂q+∑n=01(2n+1)!(ℏ2i)2n∂2n+1V∂q2n+1∂2n+1W∂p2n+1.
A similar technique could be used to obtain other distribution functions and their corresponding ordering rules [18–20].
3. The Extended Hamiltonian and Extended Lagrangian for WFs
By transformation (8) the extended hamiltonian of (3) becomes
ℋw(p,q,πp,πq)=H(p+12πq,q-12πp)-H(p-12πq,q+12πp).
The subscript wdenotes the quantities for WFs. For H=p2/2m+V(q) (11) gives
ℋw=12m(p+12πq)2+V(q-12πp)-12m(p-12πq)2-V(q+12πp).
The extended lagrangian, ℒw, for WFs may be defined by the following Legendre transformation:
ℋw(p,q,∂ℒw∂ṗ,∂ℒw∂q̇)=ṗ∂ℒw∂ṗ+q̇∂ℒw∂q̇-ℒw(p,q,ṗ,q̇).
Equation (13) serves as a differential equation to determine ℒw. Note that the extended lagrangians are not unique and they just serve to obtain the correct equations of motion through the Euler-Lagrange equations for configuration and momentum spaces.
The solutions of the Schrödinger equation can be written as [21]
ψ(q,t)=Rq(q,t)eiSq(q)/ℏ,
where Sq(q) is the ordinary action in q space defined by
Sq(q)=∫Lq(q,q̇,t)dt.
By the same manner one may do in p space:
φ(p,t)=Rp(p,t)e-(iSp(p)/ℏ),
where
Sp(p)=∫Lp(p,ṗ,t)dt
is the action in p space. Substituting for ψ and φ, from (14) and (16) in the expression given for χ, one gets
χ=ψφ*e-(ipq/ℏ)=RqRpei(Sq+Sp-pq)/ℏ.
Now, let the extended action be defined as
Sχ(p,q)=∫ℒ(p,q,ṗ,q̇,t)dt.
Using (1), (15), and (17) one gets
Sχ(p,q)=Sq+Sp-pq,
which is the same as appeared in the phase of (18). Hence,
χ=RχeiSχ(p,q)/ℏ,
whereRχ(p,q,t)=Rp(p,t)Rq(q,t). Therefore, in general, any phase space distribution function,ρ(p,q,t) can be written in the form of an amplitude multiplied by a phase factor [13] as follows:
ρ(p,q,t)=Rρ(p,q,t)eiSρ(p,q)/ℏ,
whereRρ(p,q,t)is the amplitude, and Sρ(p,q)is the corresponding extended action of ρ(p,q,t). Both of Rρ and Sρ are real functions. In the same manner for WFs, as a possible distribution functions in the phase space, we formally have
W(p,q,t)=Rw(p,q,t)eiSw(p,q)/ℏ,
where
Sw(p,q)=∫ℒw(p,q,ṗ,q,̇t)dt,
and ℒwis given by (13). However, it is well known that the WFs are real functions of the phase space variables. Thus, the phase Sw(p,q)in (23) must satisfy the following constraint:
sin{Sw(p,q)ℏ}=0,
or
Sw(p,q)=nπℏ,n=0,1,2,….
Equation (26) shows the quantization of extended action. As will be shown later, due to the uncertainty principle, the values of nmust be correctly chosen for a given problem. Note that the extended action in EPS is a function of phase space variables and is basically different from ordinary action Sq(q)defined in configuration space. As an interesting result, one has cos{Sw(p,q)/ℏ}=cos(nπ)=(-1)n. Thus, the well known negativity of WFs, w(p,q,t)=(-1)nRw(p,q,t), seems to have a quantum origin [22].
3.1. Energy Quantization
In this section we show that the quantization of the extended action of (26) is directly related to the quantization of energy. To see this we consider a few examples.
3.1.1. Harmonic Oscillator
For harmonic potential, H=p2/2m+(1/2)mω2q2 (12) gives
ℋw(p,q,πp,πq)=pmπq-mω2qπp.
By (13) one gets
pm∂ℒw∂q̇-mω2q∂ℒw∂ṗ=ṗ∂ℒw∂ṗ+q̇∂ℒw∂q̇-ℒw(p,q,ṗ,q̇).
The extended lagrangian as the solution of differential equation (28) may be obtained as
ℒw(p,q,ṗ,q̇)=πω(pmṗ+mω2qq̇).
It can be shown that ℒw satisfies the Euler-Lagrange equations in both configuration and momentum space. Using (24) and (29) one obtains
Sw(p,q)=πω(p22m+12mω2q2)=πω(H-12ℏω),
where H is the quantum mechanical Hamiltonian assuming the uncertainty principle, implicitly [23]. Equations (26) and (30) give
En(p,q)=(n+12)ℏω,n=0,1,2,3,…,
as the quantization of energy of a harmonic oscillator.
3.1.2. Particle in the Box
For a particle in a one dimensional box of side L located at the right side of origin, one has
V(q)={∞,q<0,0,0<q<L,∞,q>L.
For H=p2/2m one gets the following from (12):
ℋw(p,q,πp,πq)=pmπq.
By legendre’s transformation on the above extended hamiltonian, one gets for an arbitrary extended lagrangian;
ℒw(p,q,ṗ,q̇)=Lṗ.
Using (24) and (34) the extended action becomes
Sw(p,q)=Lp=L(2mH)1/2.
Then, by (26) and squaring (35) one gets
En=n2π2ℏ22mL2,n=1,2,…,
where n cannot assume zero due to the uncertainty principle. Equation (36) shows the energy levels of a particle in the box.
3.1.3. Hydrogen Atom
For the electron in the hydrogen-like atom, as a bound system with Z protons, the hamiltonian is pr2/2m+l2/2mr2-(ze2/r) [24]. By (12) one gets
ℋw(pr,r,πpr,πr)=prmπr+2ℓ2rπpr+2mZe2r2πpr+(mze2/2)πpr32m(r-(1/2)πpr)2(r+(1/2)πpr)2.
A suitable extended lagrangian can be obtained by (25) to be
ℒw(pr,r,pṙ,ṙ)=mZ22πe2(prmṗr-ℓ2ṙmr3+e2ṙr2)×(pr22m+ℓ22mr2-ze2r)-3/2.
The extended action becomes
Sw(pr,r)=m2πZe2H-1/2.
Then, by (37) and squaring (39) one gets
|En|=mZ2e42ℏ2n2=Z2e22a0n2,n=1,2,…,
where a0 is the Bohr radius, and (40) gives the energy levels of the hydrogen atom. The same as the previous case n starts from 1 due to the uncertainty principle.
4. Conclusion
The EPS formulation of quantum statistical mechanics permits the definition of extended hamiltonians and extended lagrangians. A canonical quantization in EPS gives a dynamical equation for the phase space distribution functions. Wigner’s distribution functions and their corresponding evolution equation can be obtained by a simple extended canonical transformation in EPS. The extended hamiltonian through Legendre’s transformation provides a differential equation for the corresponding extended lagrangian. Having the extended lagrangian one may define the extended action as a function of ordinary phase space variables. Applying the reality condition of the WFs yields the quantization of the extended action which in turn gives the energy quantization. The energy levels of the harmonic oscillator, the particle in the box and the hydrogen atom are worked out as a few illustrative examples.
WignerE. P.On the quantum correction for thermodynamic equilibrium193240574975910.1103/PhysRev.40.749MoyalJ. E.Quantum mechanics as a statistical theory19494519912410.1017/S0305004100000487HusimiK.Some formal properties of the density matrix194022264314WeylH.Quantenmechanik und gruppentheorie [The theory of groups and quantum mechanics]1927461-214610.1007/BF02055756MargenauH.HillR. N.Correction between measurements in quantum theory196126572273810.1143/PTP.26.722GlauberR. J.The quantum theory of optical coherence196313062529253910.1103/PhysRev.130.2529MehtaC. L.Phase-space formulation of the dynamics of canonical variables19645567768610.1063/1.1704163O'ConnellR. F.WignerE. P.Quantum-mechanical distribution functions: conditions for uniqueness198183414514810.1016/0375-9601(81)90870-7HilleryM.O'ConnellR. F.ScullyM. O.WignerE. P.Distribution functions in physics: fundamentals1984106312116710.1016/0370-1573(84)90160-1AgarwalG. S.Wigner function description of quantum noise in interferometers1987346-790992110.1080/09500348714550831SoboutiY.NasiriS.A phase space formulation of quantum state functions19937183255327210.1142/S0217979293003218NasiriS.SoboutiY.TaatiF.Phase space quantum mechanics-direct20064791509210610.1063/1.2345109NasiriS.A path integral formulation of quantum state functions199519183190KhademiS.NasiriS.Gauge invariant quantization of dissipative systems of charged particles in extended phase space2002261171179NasiriS.SafariH.A symmetric treatment of damped harmonic oscillator in extended phase space200243645651RazavyM.2005London, UKImperial Collage PressMerzbacherE.19702ndNew York, NY, USAJohn Wiley & SonsNasiriS.KhademiS.BahramiS.TaatiF.A generalized rule for non-commuting operators in extended phase space4Proceedings of the 4th International Symposium on Quantum Theory and Symmetries (QTS '05)August 2005Varna, Bulgaria820826NasiriS.Quantum potential and symmetries in extended phase space200626274KhademiS.NasiriS.Operator gage symmetry in QED200621320HollandP. R.1993Cambridge, UKCambridge University PressKenfackA.ZyczkowskiK.Negativity of the Wigner function as an indicator of non-classicality200461039640410.1088/1464-4266/6/10/003SakuraiJ. J.1993New Delhi, IndiaPearson EducationGoldsteinH.PooleC.SafkoJ.20023rdReading, Mass, USAAddison-Wesley