EHU-FT/16 Asymptotic behviour of the probbility density in one dimension J. A. Dmborene, 1, I. L. Egusquiz, 1 nd J. G. Mug 1 Fisik Teorikoren Sil, Euskl Herriko Unibertsitte, 644 P.K., 488 Bilbo, Spin Deprtmento de Químic-Físic, Universidd del Pís Vsco, Apdo. 644, Bilbo, Spin We demonstrte tht the probbility density of quntum stte moving freely in one dimension my decy fster thn t 1. t nd t 3 dependences re illustrted with nlyticlly solvble exmples. Decys fster thn t 1 llow the existence of dwell times nd dely times. PACS numbers: 3.65.-w rxiv:qunt-ph/19151v1 8 Sep 1 The study of the symptotic, long-time behviour of wve pckets, nd relted quntities such s decy nd survivl probbilities hs long history. Recently Unnikrishnn 1, hs proposed severl exmples of decy of the wvefunction which re slower thn the t 1/ decy tht follows from strightforwrd dimensionl nlysis. In prticulr, Unnikrishnn hs put forwrd behviours of the type t 1/+µ, µ < 1/4 nd t 1/ lnt. In this pper we complement this study by giving exmples of decys which re fster thn those considered in Refs.1,. We give procedure for obtining systemticlly different kinds of fster decys, which we illustrte with two explicit exmples, nd then discuss the filure of the rguments tht suggest tht only the t 1/ (or slower) decy cn tke plce. An importnt consequence of the existence of fster decys is the possibility to define dwell times, 3,4 τ D (, b) dt dx ψ(x, t), (1) nd dely times for one dimensionl motion, the lter being defined s the difference between the dwell time with nd without n interction potentil. 5 The clssicl counterprt of (1) is 6 τ D (, b) clssicl = dt dx (x, t), () where (x, t) is the probbility density of n ensemble of independent prticles. τ D (, b) clssicl is the verge over the ensemble of the time tht ech prticle trjectory spends between nd b. In other words, this is n verge dwell or sojourn time in the selected region. Even though the interprettion of (1) is not s strightforwrd, since the individul member of the quntum ensemble is not ssocited with trjectory in the stndrd interprettion, the quntum dwell time is in ny cse recognized s n importnt chrcteristic quntity of the wve pcket. 7 Similrly, the dely time is, together with the trnsmittnce, one of the bsic quntities tht summrize the essentil spects of wve pcket scttering, lso in the sttionry limit. τ D cn be written in severl wys, in prticulr s τ D (, b) = dt P b (t) = ψ(t = ) T D ψ(t = ), (3) where P b (t) = dx ψ(x, t), T D is the sojourn time opertor, T D = Ĥ is the Hmiltonin, nd D(, b) is the projector onto the selected spce region, dt e iĥt/ h D(, b)e iĥt/ h, (4) D(, b) = dx x x. (5) Unless P b (t) decys fster thn t 1, the dwell time will diverge. The existence of potentil function leds genericlly to n symptotic decy t 3, s discussed in Ref. 8 (see lso Ref. 9 nd references therein). The sitution is however Emil: qfpmufrj@lg.ehu.es
rther different for the cse of free motion, with Hmiltonin Ĥ, for which the sojourn time opertor (4) tkes in momentum representtion the form T D,H = α=± dp mh p p p D αp αp. (6) Note the presence of p 1 fctor tht will mke the dwell time divergent unless the stte vnishes t p =. The fct tht genericlly the dwell time for free motion will diverge lso follows from the dependence on t 1/ of the corresponding propgtor, x e iĥt/ h x = ( m ) 1/ e im(x x ) / ht, (7) iht since this leds to t 1 dependence of the probbility density ψ(x, t) in generic cse. There exists n equivlent scling rgument to understnd this fct: in the generic free motion cse there re no dimensionl mgnitudes other thn h nd m present, nd therefore no relevnt mgnitude with dimensions of time cn exist. Since P b (t) is, dimensionlly speking, n inverse time, it hs to scle with t 1 in the bsence of such quntity. In the cse of interction, the interction length l comes into ply, thus modifying this generic scling, since the mgnitude ml / h is chrcteristic interction time. On the other hnd, if the initil dt is such tht chrcteristic length or chrcteristic momentum exists, nd it cnnot be eliminted by trnsltions or Glilen boosts, it is likely tht the lrge time symptotics will be modified. An lterntive wy of looking into this possibility is by noticing tht, using Eq. (7), n integrl over x is required to obtin ψ(x, t), which entils tht the symptotic t 1/ dependence of the wvefunctions is not gurnteed in ll cses: the limit t nd the integrl do not necessrily commute. In prticulr, Unnikrishnn hs found exmples of slower decy,,1 nd we shll justify nd illustrte decys fster thn t 1 when the momentum mplitude p ψ vnishes t p =. The lrge time symptotics of ψ(x, t) will depend on the behvior ner the criticl point 1 p =, ψ(x, t) = x ψ(t) = dp x p e ip t/m h p ψ(), (8) wheres lrger moment re responsible of the short time behviour, s hppens when considering clssicl ensemble too. To determine the lrge time behvior we shll ssume tht p ψ() my be expnded round the origin (this is not the cse for the Cuchy stte chosen by Unnikrishnn to show slow decy,1 - in fct, this stte presents logritmic singulrity t the origin of moment). Let us ssume in prticulr tht the stte belongs to the subspce of positive moment, nd tht it vnishes t p =. Without loss of generlity we set x =, Now mke the chnge of vribles ψ(, t) h 1/ dp e ipt/m h [p + bp +...]. (9) u p/f, f (1 i) (m h/t). (1) On deforming the contour to the steepest descent pth in the fourth qudrnt (where u is rel), we obtin x = ψ(t) h 1/ f du e u [fu + b(fu) +...], (11) which leds to lrge time dependence ψ(x =, t) = O[t ] for, or O[t 3 ] for =, b. An exmple of the lter cse is given by the stte 11 p ψ() = C(1 e αp / h )e δ (p p ) / h ipx / h Θ(p), (1) for which =, nd b. (C is the normliztion constnt nd Θ is the Heviside function.) The time dependence my be obtined explicitly from (8), Ch1/ x ψ(t) = 4π 1/ e k δ { w( ig/a 1/ ) w[ ig/(a + } α)1/ ]. (13) A 1/ (A + α) 1/
3 3 d ln ψ(x) / d ln t 1 1 3 1 1 3 5 7 9 11 ln t FIG. 1: d ln x ψ(t) /d lnt versus d ln t for two different wve pckets: one of them is given by (1), (solid line), nd the other one is Gussin wve pcket, p ψ() = C e δ (p p ) / h ipx / h (dshed line), where C is the normliztion constnt. The prmeters re p = 1, x = 1, α =.5, δ = 1, x =, m = 1 (ll quntities in tomic units). Note the symptotic dependences of the probbility densities: t 3 nd t 1 respectively. Here w(z) = e z erfc( iz), k = p / h, A = δ +i ht/(m), nd g = i(x x )+k δ. From the symptotic properties of the w function, see the ppendix, it follows tht ψ(x, t) = O[t 3 ] s illustrted in Figure 1, where we hve lso depicted the t 1 decy corresponding to minimum-uncertinty product stte. The intermedite decy t in the probbility density is obtined for exmple for the initil wvefunction ψ(x, ) = N (x + iα), where α is rel nd positive, nd N = α 3 /π is the normliztion fctor. As mtter of fct, this is direct counterexmple to the sttement of Unnikrishnn tht sptil decy fster thn x 1 necessrily entils temporl decy of the form t 1/ for the wvefunction. The Fourier trnsform of this initil wve pcket is ( ᾱ ) 3/ ψ(p, ) = Θ(p)pe αp/ h, h from which it is strightforwrd to conclude the decying behviour mentioned bove. The explicit expression for ll times cn be computed in terms of 1 F hypergeometric functions. Another exmple with t 1 decy in the wvefunction is given by considering the following initil wvefunction in momentum representtion: ψ(p, ) = π 1/4 Θ(p)pe p /β. β3/4 The solution of Schrödinger s eqution with this initil condition, now written in coordinte spce, is ψ(x, t) = mβ1/4 1/ 1/ h [ ] 1 + iπ 1/ ξw(ξ), π 3/4 (iβt + m h) where ξ = ( h x 1 β + it m h ).
Agin using the series expnsion of the w function, one cn esily check the symptotic behviour mentioned bove. In fct, in this prticulr exmple it is esy to derive n explicit expression for d ln x ψ(, t) /d lnt, which results in /(1 + m h /β t ). In conclusion, we hve shown tht the symptotic, lrge time decy lws of the free-motion one-dimensionl wvefunction described by Unnikrishnn 1, (s t 1/ or slower) re not exhustive. Fster decys (t 1 nd t 3/ ) hve been demonstrted with nlyticlly solvble exmples nd my be expected for wve pckets tht vnish t zero momentum. These fster decys led to finite dwell times nd llow to give mening to the lifetime (dely time) mtrix of Smith 5 in one dimension in terms of the difference of dwell times with nd without interction potentil. 13 4 Acknowledgments This work hs been supported by Ministerio de Cienci y Tecnologí (Grnts BFM-816-C3-3 nd AEN99-315), The University of the Bsque Country (Grnt UPV 63.31-EB187/98), nd the Bsque Government (PI-1999-8). J.A.D. cknowledges studentship of The Bsque Government. * APPENDIX A: PROPERTIES OF w-functions The w function is n entire function defined in terms of the complementry error function s 1 w(z) = e z erfc( iz). Its integrl expression is w(z) = 1 e iπ Γ u u z du, (A1) where Γ goes from to pssing below the pole t z. From (A1) two importnt properties re deduced, nd w( z) = e z w(z) w(z ) = [w( z)]. (A) (A3) The derivtive of the w-function cn be expressed in terms of the w-function itself, w (z) = zw(z) + i π. (A4) Finlly, w(z) hs the series expnsion w(z) = (iz) n Γ( n + 1). (A5) 1. K. Unnikrishnn, An exhustive nlysis of the symptotic time dependence of wve pckets in one dimension, Am. J. Phys. 66, 63-633 (1998).. K. Unnikrishnn, On the symptotic decy for wve pckets in free spce, Am. J. Phys. 65, 56-57 (1997). 3. M. Büttiker, Lrmor precession nd the trversl time for tunneling, Phys. Rev. B 7, 6178-6188 1983. 4. H. M. Nussenzveig, Averge dwell time nd tunneling Phys.Rev. A 6, 417 (). 5. F. T. Smith, Lifetime mtrix in collision theory Phys. Rev. 118, 349-356 (196). 6. J. G. Mug, S. Brourd, nd R. Sl, Trnsmission nd reflection tunneling times Phys. Lett. A 167, 4-8 (199). 7. H. Mizut nd T.Tnoue, The Physics nd Applictions of Resonnt Tunnelling Diodes (Cmbridge University Press, 1995).
8. J. G. Mug, V. Delgdo, nd R. F. Snider, Dwell time nd symptotic behvior of the probbility density Phys. Rev. 5, 16381-16384 (1995). 9. W. O. Amrein, Controversy bout time decy (1), qunt-ph/1449. 1. N. Bleistein nd R. A. Hndelsmnn, Asymptotic expnsions of integrls (Dover, New York, 1986), p. 84. 11. J. G. Mug, J. P. Plo, nd C. R. Levens, Arrivl time distributions nd perfect bsorption in clssicl nd quntum mechnics, Phys. Lett. A 53, 1-7 (1999), qunt-ph/98387. 1. M. Abrmowitz nd I. Stegun, Hndbook of Mthemticl Functions (Dover, New York, 197), p. 97. 13. J. G. Mug, Chrcteristic times in scttering theory, in Time in Quntum Mechnics, edited by J. G. Mug, R. Sl Myto nd I. L. Egusquiz (Springer-Verlg, Berlin, ), Chp., to pper. 5