a strongly perturbed quantum system is a semiclassical system

7
A Strongly Perturbed Quantum System Is a Semiclassical System Author(s): Marco Frasca Source: Proceedings: Mathematical, Physical and Engineering Sciences, Vol. 463, No. 2085 (Sep. 8, 2007), pp. 2195-2200 Published by: The Royal Society Stable URL: http://www.jstor.org/stable/20209306 . Accessed: 12/06/2014 19:29 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. . The Royal Society is collaborating with JSTOR to digitize, preserve and extend access to Proceedings: Mathematical, Physical and Engineering Sciences. http://www.jstor.org This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PM All use subject to JSTOR Terms and Conditions

Upload: marco-frasca

Post on 18-Jan-2017

214 views

Category:

Documents


0 download

TRANSCRIPT

A Strongly Perturbed Quantum System Is a Semiclassical SystemAuthor(s): Marco FrascaSource: Proceedings: Mathematical, Physical and Engineering Sciences, Vol. 463, No. 2085 (Sep.8, 2007), pp. 2195-2200Published by: The Royal SocietyStable URL: http://www.jstor.org/stable/20209306 .

Accessed: 12/06/2014 19:29

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp

.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact [email protected].

.

The Royal Society is collaborating with JSTOR to digitize, preserve and extend access to Proceedings:Mathematical, Physical and Engineering Sciences.

http://www.jstor.org

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions

PROCEEDINGS -OF- A Proc. R. Soc. A (2007) 463, 2195-2200

THE ROYAL?^\ doi:10.1098/rspa.2007.1879 SOCIETY A ?Jb Published online 26 June 2007

A strongly perturbed quantum system is a semiclassical system

By Marco Frasca*

Via Erasmo Gattamelata, 3, 00176 Roma, Italy

We show that a strongly perturbed quantum system, being a semiclassical system characterized by the Wigner-Kirkwood expansion for the propagator, has the same

expansion for the eigenvalues as for the Wentzel-Kramers-Brillouin series. The

perturbation series is rederived by the duality principle in perturbation theory.

Keywords: strong perturbations; Wentzel-Kramers-Brillouin approximation;

Wigner-Kirkwood expansion

1. Introduction

Recently, we proposed a strongly coupled quantum field theory (Frasca 2006a,b). This approach is based on the duality principle in perturbation theory as exposed in Frasca (1998) and applied in quantum mechanics. In the latter paper, we

showed that the dual perturbation series to the Dyson series, which applies to weak perturbations, is obtained through the adiabatic expansion when

reinterpreted as done by Mostafazadeh (1997). This expansion grants a strong coupling expansion having a development parameter formally being the inverse of the parameter of the Dyson series and then holding just in the opposite limit of the perturbation going to infinity.

Owing to the relevance of this approach for quantum field theory, it is of

paramount importance to show how this method is able to perform with an

anharmonic oscillator, as this example has been set as a fundamental playground by Bender & Wu (1969, 1973) in their pioneering works. Besides, it would be helpful to trace the way the eigenvalues are obtained in this case in view of

methods, such as the one of Janke Sz Kleinert (1995) and Kleinert (2004), providing excellent computational tools to this aim.

Indeed, in this paper we show that our method provides a sound solution to the strong coupling computation of the groundstate energy of an harmonic

oscillator, this being given by the well-known semiclassical series for the

eigenvalues in the Wentzel-Kramers-Brillouin (WKB) approximation. The relevance of the result relies on the fact that we obtain this result from the Wigner-Kirkwood (WK) expansion that our method yields. This provides an important conceptual result as, besides showing that the two approaches,

WKB and WK, are equivalent in the strong coupling limit, we will be able to rederive the fact that (Simon 2005) a strongly perturbed quantum system is a

*marcofr [email protected]

Received 4 January 2007

Accepted 24 May 2007 2195 This journal is ? 2007 The Royal Society

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions

2196 M. Frasca

semiclassical system from the duality principle in perturbation theory, demonstrating in this way the soundness of the approach. This fact may be

interesting, for example, in the problem of the measure in quantum mechanics as we have already pointed out in Frasca (2003, 2004) for Quantum Elect roDy namics.

The result is obtained by exploiting the link between the WK expansion and the Thomas-Fermi approximation (Ring & Schuck 1980). Therefore, a

semiclassical approximation relies on the foundation of a many-body approach and is equivalent to the WKB approximation in the strong coupling limit giving the same results for the eigenvalues. Indeed, the Thomas-Fermi approximation is also a semiclassical approximation and this fact is well known, having been

proved by Lieb & Simon (1973, 1977). The interesting aspect here is that such a many-body approach gives back the Bohr-Sommerfeld quantization rule and we

obtain also the higher-order corrections.

2. Method

In order to start our proof, we consider the simple case of a free particle undergoing the effect of a perturbation V(x) in a one-dimensional setting. Thus, the Schr?dinger equation for the propagator U can be written as

where A is an ordering parameter and U(to, t0) = I. The Dyson series for the

propagator can straightforwardly be obtained when the limit A?>0 is considered,

giving back the well-known solution series

[/(Mo) =U0(t,t0)\l-^X^

dt'Uo-'it'^oWWUoit',^)

-^ j* d?'JI at"U0-\t',t0)V{x)U?{t\t?)

XU0-\t",t0)V(x)U0(t",t0)+ (2.2)

Uq being the solution of the equation

2m dx2 dt

given by

h2 d2U0 dU0 l?-r- = 0, (2.3)

U0(t, t0) = m lV2 / /(m(~_~t\2

2mh(t- t0) /./(m(x-x'Y)\\

We recognize the interaction picture working here. At this point, it is interesting to note that the choice of a perturbation is completely arbitrary and one

may ask what meaning could be attached to a series, with A = l, where we take

Proc. R. Soc. A (2007)

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions

Strongly perturbed quantum systems 2197

-(h2/2m)(d2/dx2) instead of V(x) as a perturbation giving the series * h2 d2

K(t, t0) =

K0{t, i0)

_ 1

i +

at'

h dt'KQ-\t',t0) ?

-^K0(t',t0)

dt"K0-\t', t0)^--^K0(tf, t0)K0-\t", t0) ?m ox

h2 d2

K0 being now the solution of the equation

V(x)K0-ih-^ = 0,

being

K0(t,to)=exp[-[-)V(x)(t-t0)

(2.5)

(2.6)

(2.7)

The answer can be immediately obtained when, after reinserting the ordering

parameter A, we recognize that with a rescaling of time t-*Xt and taking the

series

1 1 K =

KQ+-K1+^K2+ (2.8)

we recover the series (2.5), which is a strong coupling expansion. Setting r = Ai, we can write (2.5) as

K(t,t0) = ?o(t,t0) [/ + ~

? d/V(/,

t0)^- ~K0(r',t0)

w ?dr' ? dr"/"?"1 (t'' ro) L h^?(t'' T?^?"l(r"' r?)

X2^^^(T''To)+' (2.9)

We easily recognize that this series is dual to the Dyson series in the sense of

Frasca (1998) having a development parameter that is formally the inverse with

respect to that of the Dyson series. For this reason, we call this dual

representation the free picture. This series is the 1 + O-dimensional solution of

the quantum field theory we presented in Frasca (2006a, 6) and our aim is to get from this the groundstate energy showing that, in this case, we are working with a semiclassical expansion.

For our aims, we need to exploit this strong coupling series to unveil its

nature. We already see from the leading-order solution (2.7) that it coincides

with the leading order of the well-known semiclassical WK series (Ring &; Schuck

1980; Schulman 1981; Janke & Kleinert 1995; Kleinert 2004) as should be expected (Simon 2005). We need to prove this also for higher orders. Indeed, the

Proc. R. Soc. A (2007)

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions

2198 M. Frasca

computation is straightforward and gives, at least for the first correction,

K(r,0) =

K0(r,0)il 1 IT

6mh (d,V)2-r2 -Ld2xv+-i- i 4ra 2mn n2m

+

(2.10)

that is, what one should expect for the WK expansion. Thus, we have obtained the semiclassical WK series out of a dual strong coupling expansion for a

quantum mechanical system by the duality principle in perturbation theory. This in turn means, as already known (Simon 2005), that a strongly perturbed quantum system is a semiclassical system. This is in agreement with the fact that a large mass expansion in quantum mechanics gives rise to a WK expansion out of the WKB expansion (Osborn &; Molzahn 1986). We just point out that a wide application of the WK expansion is seen in statistical mechanics (Schulman 1981) and in this case is obtained with the standard substitution ??? ? ifyS, which

we will use in the following. The WK series appears rather singular depending on ascending power of r and

having terms proportional to gradients of the potential making the dependence on A anomalous at best for such an expansion. But as we will see below, the series for the groundstate energy is well defined and is in agreement with the

corresponding expression for a WKB series in spite of the very singular nature of this expansion. This is easy to prove using techniques of many-body physics that

will permit us to show that the leading order of the WK expansion is the well known Thomas-Fermi approximation.

The next step is to recognize that we can resum all the terms with p2/2m giving finally, after projecting on the momentum eigenstates with a Wigner transformation of the propagator,

C(?) = C0(?)\l-h2X? 1

4m dlV 2mh

2]2/o3 tizXz?< 6m (dxV)2+-\. (2.11)

Now being

q,(0)=exp -

?)+^) ? (2.12)

The density matrix can be obtained by inverse Laplace transforming the series

(2.11) divided by ? (Ring & Schuck 1980), i.e.

p{x,p,E) =

2m

'C+ioo

?*m<*, ? (2.13)

with c>0, giving the expression

Y^! ^2u , ih * ir_\ */i P2 p(x,p,E)=6(E-^-XV(x))-X(^dlV+^dxVp)?f(E-^-XV(x) 1 2m I V4ra 2m I \ 2m

+ %^(dxV)2d"(E-^--XV{x) 1 + 6m v x ' \ 2m w ' (2.14)

Proc. R. Soc. A (2007)

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions

Strongly perturbed quantum systems 2199

and the leading order is just the Thomas-Fermi approximation. This series does not have a clear dependence on A, but this is a strong coupling series that has

meaning in the sense of distributions. We now impose the normalization condition

dpdx , ?v 1 /^ ̂v

-^p(x,p,JE) = n + -, (2.15)

where n=0, 1,2, ..., and this gives the WKB energy levels and their higher-order corrections as we will see in a while. Indeed, we can substitute equation (2.14) into the above normalization condition giving the series (Bender et al. 1977)

L?d^2^-^))"A?? xTl y/2m(E-V(x))

+A h 6tt dE2

'*" (a vix)f 1 ,? , ?,

dx Y x v

'-+-+ --- =

n+-, (2.16) y/2m(E-V(x)) 2' in

xT1 and xT2 being the solutions of the equation E= A V(x) that determine the region where the integral is meaningful. Use has been made of the fact that

jdxVp?'(E ?

{p2 /2m) ?

XV{x))dpdx ? 0. We recognize here the WKB quantiza

tion condition and its higher-order corrections as promised. Our aim now is to apply the above expansion to the computation of the

groundstate energy of a pure quartic oscillator H?p2/2m+Xx7 4. From Janke & Kleinert (1995) and Kleinert (2004), we know that at the leading order one should have E= 0.667986259155777...(A/4)1/3. We know also from (Bender et al.

1977) that this value can be obtained by pushing the series (2.16) to the higher orders. In order to have an idea of what we get, for our example we get the series

^?n-(ci^^-c2^^)^r + ---=n+\, (2.17)

where

7T n V 4V27T ?vW ?n 2

Co

Cl =-y/2K\^-) +2V2E

K and E being the elliptic integrals of first and second kind, respectively, and

En= (En/(X/4:)1^)S'4. The numerical solution is rather satisfactory as we get from the Bohr-Sommerfeld term that EQ

= 0.5462673253, which, as is well

known, has an error of about 20%, while with the first-order correction one has

EQ =

0.7496932075, which improves to 10% already at this order. But, as already shown by Bender et al. (1977), we know that the semiclassical approach is able to

produce the exact value by going to higher orders.

Proc. R. Soc. A (2007)

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions

2200 M. Frasca

3. Conclusion

Thus, we can conclude that the WK series produces eigenvalues through the Bohr-Sommerfeld rule and its higher-order corrections. Besides, our result has been obtained by considering the duality principle in perturbation theory and

applying it to the Dyson series, rederiving by this means the equivalence between

strong coupling perturbation theory and semiclassical expansion, making sound the main result of this paper.

I would like to thank Hagen Kleinert for inviting me to Berlin to discuss with him these questions.

References

Bender, C. M. k Wu, T. T. 1969 Anharmonic oscillator. Phys. Rev. 184, 1231-1260. (doi:10.1103/

PhysRev. 184.1231) Bender, C. M. k Wu, T. T. 1973 Anharmonic oscillator. IL A study of perturbation theory in large

order. Phys. Rev. D7, 1620-1636. (doi:10.1103/PhysRevD.7.1620) Bender, C. M., Olaussen, K. k Wang, P. S. 1977 Numerological analysis of the WKB

approximation in large order. Phys. Rev. D 16, 1740-1748. (doi:10.1103/PhysRevD.16.1740)

Frasca, M. 1998 Duality in perturbation theory and the quantum adiabatic approximation. Phys. Rev. A 58, 3439-3442. (doi:10.1103/PhysRevA.58.3439)

Frasca, M. 2003 A modem review of the two-level approximation. Ann. Phys. 306, 193-208.

(doi:10.1016/S0003-4916(03)00078-2) Frasca, M. 2004 1/iV-expansion for the Dicke model and the decoherence program. Ann. Phys. 313,

26-36. (doi:10.1016/j.aop.2004.04.005) Frasca, M. 2006a Strongly coupled quantum field theory. Phys. Rev. D 73, 027 701. (doi:10.1103/

PhysRevD.73.027701) Frasca, M. 20066 Erratum: strongly coupled quantum field theory. Phys. Rev. D 73, 049 902.

(doi:10.1103/PhysRevD.73.049902) Janke, W. k Kleinert, H. 1995 Convergent strong-coupling expansions from divergent weak

coupling perturbation theory. Phys. Rev. Lett. 75, 2787-2791. (doi:10.1103/PhysRevLett.75.

2787) Kleinert, H. 2004 Path integrals in quantum mechanics, statistics, and polymer physics, and

financial markets. Singapore: World Scientific Publishing.

Lieb, E. H. k Simon, B. 1973 Thomas-Fermi theory revisited. Phys. Rev. Lett. 31, 681-683.

(doi:10.1103/PhysRevLett.31.681) Lieb, E. H. k Simon, B. 1977 The Thomas-Fermi theory of atoms, molecules and solids.

Adv. Math. 23, 22-116. (doi:10.1016/0001-8708(77)90108-6) Mostafazadeh, A. 1997 Quantum adiabatic approximation and the geometric phase. Phys. Rev. A

55, 1653-1664. (doi:10.1103/PhysRevA.55.1653) Osborn, T. A. k Molzahn, F. H. 1986 Structural connections between two semiclassical

approximations: the WKB and Wigner-Kirkwood approximations. Phys. Rev. A 34, 1696-1707. (doi:10.1103/PhysRevA.34.1696)

Ring, P. k Schuck, P. 1980 The nuclear many-body problem. Berlin, Germany: Springer.

Schulman, L. S. 1981 Techniques and applications of path integration. New York, NY: Wiley.

Simon, B. 2005 Functional integration and quantum physics. Providence, RI: American

Mathematical Society.

Proc. R. Soc. A (2007)

This content downloaded from 62.122.79.52 on Thu, 12 Jun 2014 19:29:36 PMAll use subject to JSTOR Terms and Conditions