arxiv: v1 [quant-ph] 10 Feb 2015

Transcription

1 Coherent states of systems with quadratic Hamiltonians V.G. Bagrov, D. M. Gitman, and A. S. Pereira March 5, 08 arxiv: v [quant-ph 0 Feb 05 Abstract Different families of generalized CS for one-dimensional systems with general timedependent quadratic Hamiltonian are constructed. In principle, all known CS of systems with quadratic Hamiltonian are members of these families. Some of the constructed generalized CS are close enough to the well-known due to Schrödinger and Glauber CS of a harmonic oscillator, we call them simply CS. However, even among these CS there exist different families of complete sets of CS. These families differ by values of standard deviations at the initial time instant. According to the values of these initial standard deviations one can identify some of the families with semiclassical CS. We discuss properties of the constructed CS, in particular, completeness relations, minimization of uncertainty relations and so on. As a unknown application of the general construction, we consider different CS of an oscillator with a time dependent frequency. Keywords: Coherent states, quadratic systems Introduction. General Coherent states (CS) play an important role in modern quantum theory as states that provide a natural relation between quantum mechanical and classical descriptions. They have a number of useful properties and as a consequence a wide range of applications, e.g. in semiclassical description of quantum systems, in quantization theory, in condensed matter physics, in radiation theory, in quantum computations, in loop quantum gravity, and so on, see, e.g. Refs. [, 3,, 4. Despite the fact that there exist a great number of publications devoted to constructing CS of different systems, an universal definition of CS and a constructive scheme of their constructing for arbitrary physical system is not known. However, it seems that for systems with quadratic Hamiltonians there exist at present a common point of view on this problem. Starting the works [3, 4, 9, 0 CS are defined as eigenvectors of some annihilation operators that are at the same time integrals of motion, see also [,, 3, 4, 5, 6. Of course such defined CS have to satisfy the corresponding Schrödinger equation. In the frame of such a definition one can in principle construct CS for a general quadratic system. This construction is based on solutions of some classical equations, their analysis represent a nontrivial part of the CS construction. In this article we, following, the integral of motion method, construct different families of generalized CS for one-dimensional systems with general time-dependent quadratic Hamiltonian. Analyzing these families, we see that some of them are more close to the well-known Department of Physics, Tomsk State University, Russia; Institute of High Current Electronics, SB RAS, Tomsk, Russia; bagrov@phys.tsu.ru Tomsk State University, Russia; P.N. Lebedev Physical Institute, Russia; Institute of Physics, University of São Paulo, Brazil; gitman@if.usp.br Institute of Physics, University of São Paulo, Brazil; apereira@if.usp.br In this article we do not discuss the so-called generalized CS [5, 6, 7, 8.

2 due to Schrödinger and Glauber CS (see [7) of a harmonic oscillator, we call them simply CS. However, among the latter CS there exist still different families of complete sets of CS. These families differ by values of standard deviations at the initial time instant. According to the values of these initial standard deviations one can identify some of the families with semiclassical CS, as was demonstrated by us in the free particle case [8. We discuss properties of the constructed CS, in particular, completeness relations, minimization of uncertainty relations and so on. As an application of the general construction, we consider CS of an oscillator with a time dependent frequency.. Basic equations Consider quantum motion of a one-dimensional system with the generalized coordinate x on the whole real axis, x R = (, ), supposing that the corresponding quantum Hamiltonian Ĥx is given by a quadratic form of the operator x and the momentum operator ˆp x = i x, Ĥ x = r ˆp x +r x +r 3 (xˆp x + ˆp x x)+r 4 x+r 5ˆp x +r 6, () where r s = r s (t), s =,...,6 are some given functions of the time t. We suppose that these functions are real and both Ĥx and ˆp x are self-adjoint on their natural domains D Hx and D px respectively, see e.g. [9. Quantum states of the system under consideration are described by a wave function Ψ(x, t) which satisfies the Schrödinger equation i t Ψ(x,t) = ĤxΨ(x,t). () In what follows, we restrict ourselves by a physically reasonable case r (t) > 0. In this case, we introduce dimensionless variables, a coordinate q and a time τ as follows q = xl, τ = t 0 ds T (s) = l t 0 r (s)ds, T (t) = l r (t), (3) wherel isanarbitraryconstantofthedimensionofthelength. Thenewmomentumoperator ˆp and the new wave function ψ(q,τ) read ˆp = ˆp l x = i q, ψ(q,τ) = ) lψ (lq, ml τ, (4) so that Ψ(x,t) dx = ψ(q,τ) dq. In the new variables, equation () takes the form where the new Hamiltonian reads Ŝψ(q,τ) = 0, Ŝ = i τ Ĥ, (5) Ĥ = ˆp +αˆq +β(ˆqˆp+ ˆpˆq)+ ˆq +νˆp+ε. (6) Here α = α(τ), β = β(τ), = (τ), ν = ν(τ) and ε = ε(τ), α(τ) = l4 r (t) l r 3 (t) l3 r 4 (t), β(τ) =, (τ) = r (t) r (t) r (t), ν(τ) = l r 5 (t) l r 6 (t), ε(τ) = r (t) r (t), (7) are dimensionless real functions on τ if t is expressed via τ by the help of eqs. (3). In what follows, we call Ŝ the equation operator.

3 Constructing time-dependent generalized CS. Integrals of motion linear in canonical operators ˆq and ˆp First we construct an integral of motion Â(τ) linear in ˆq and ˆp. The general form of such an integral of motion reads Â(τ) = f (τ) ˆq +ig(τ) ˆp+ϕ(τ), (8) where f (τ), g(τ) and ϕ(τ) are some complex functions on τ. The operator Â(τ) is an integral of motion if it commutes with equation operator (5), [Ŝ, Â(τ) = 0. (9) In the case if the Hamiltonian is self-adjoint, the adjoint operator  (τ) is also an integral of motion, i.e., [Ŝ,  (τ) = 0. (0) The commutator [Â(τ),  (τ) reads [Â(τ),  (τ) = δ = Re[g (τ)f (τ). () Substituting representation (8) into (9), we obtain the following equations for the functions f (τ), g(τ), and ϕ(τ): f (τ)+β(τ)f (τ) iα(τ)g(τ) = 0, ġ(τ) if (τ) β(τ)g(τ) = 0, ϕ(τ)+ν(τ)f (τ) i (τ)g(τ) = 0. () It is enough to find the functions f (τ) and g(τ), then the function ϕ(τ) can be found by a simple integration. In addition, without loss of the generality we can set ϕ(0) = 0. Equations () imply that δ is a real integral of motion, δ = const. In what follows we suppose that δ =, which means Re[g (τ)f (τ) = Re[g (0)f (0) = /. (3) Any nontrivial solution of two first equations () consists of two nonzero functions f (τ) and g(τ). That is why we can chose arbitrary integration constants in these equations as f (0) = c = c e iµ, g(0) = c = c e iµ, c = 0, c = 0. (4) In terms of the introduced constants, condition (3) yields c c cos(µ µ ) = /. (5) Under the choice δ =, operators Â(τ) and  (τ) become annihilation and creation operators, [Â(τ),  (τ) =. (6) It follows from eq. (8) and (3) that ˆq = g (τ) [Â(τ) ϕ(τ) iˆp = f (τ) +g(τ)[â (τ) ϕ (τ) [Â(τ) ϕ(τ) f (τ)[â (τ) ϕ (τ),. (7) 3

4 I. We note that the two first equations () can be reduced to a one second-order differential equation for the function g(τ), such an equation has the form of the oscillator equation with a time-dependent frequency (τ), g(τ)+ (τ)g(τ) = 0, (τ) = α 4β β. (8) If we have an exact solution g(τ) for a given function (τ), then the function f (τ) can be found via the function g(τ) as One can chose the functions α(τ) and β(τ) such that For example, if we chose then we are dealing with Hamiltonian of the form f (τ) = iβ(τ)g(τ) iġ(τ). (9) (τ) = α(τ) 4β (τ) β(τ). (0) α(τ) = (τ), β = = ν = ε = 0, () II. In addition, the one-dimensional Schrödinger equation Ĥ = ˆp + (τ) q. () d qψ(q)+v (q)ψ(q) = EΨ(q), (3) can be identified with eq. (8) if q τ, Ψ(q) g(τ), V (q) E (τ). III.It shouldbe alsonotedthattwofirstequations()canbeidentified withaparticular form of the so-called spin equation, see [0, ( ) i V f = (σf)v, V =, (4) g with F(τ) = (α+,i(α ),4iβ).. Time-dependent generalized CS Let us consider eigenvectors z,τ of the annihilation operator Â(τ) corresponding to the eigenvalue z, Â(τ) z,τ = z z,τ. (5) In the general case z is a complex number. It follows from eqs. (7) and (5) that q(τ) z,τ ˆq z,τ = g (τ)[z ϕ(τ)+g(τ)[z ϕ (τ), ip(τ) z,τ ˆp z,τ = f (τ)[z ϕ(τ) f (τ)[z ϕ (τ), z = f (τ)q(τ)+ig(τ)p(τ)+ϕ(τ). (6) Using (), one can easily verify that the functions q(τ) and p(τ) satisfy the Hamilton equations q(τ) = H, ṗ(τ) = H p q, 4

5 where H = H(q,p) is the classical Hamiltonian that corresponds to the quantum Hamiltonian (6). Thus, the pair q(τ) and p(τ) represents a classical trajectory in the phase space of the system under consideration. All such trajectories can be parametrized by the initial data, q 0 = q(0) and p 0 = p(0). Being written in the q-representation, eq. (5) reads [f (τ)q +g(τ) q +ϕ(τ) q z,τ = z q z,τ. (7) General solution of this equation has the form [ q z,τ = Φ cc z (q,τ) = exp f (τ) g(τ) q + z ϕ(τ) g(τ) q +χ(τ), (8) where χ(τ) is an arbitrary function on τ. One can see that the functions Φ cc z (q,τ) can be written in terms of the mean values q(τ) and p(τ) given by eqs. (6), Φ cc z (q,τ) = exp ip(τ)q f (τ) } g(τ) [q q(τ) + χ(τ). (9) where χ(τ) is again an arbitrary function on τ. The functions Φ cc z satisfy the following equation where ŜΦ cc z λ(τ) = i τ χ(τ)+αq (τ) (q,τ) = λ(τ)φ cc z (q,τ), (30) [ p (τ)+ f iνp(τ) β iε. (3) g If we wish the functions (9) satisfies the Schrödinger equation (5), we have to fix χ(τ) from the condition λ(τ) = 0. Thus, we obtain for the function χ(τ) the following result: χ(τ) = φ(τ)+lnn, φ(τ) = τ 0 iαq (τ) i [ p (τ)+ f } iνp(τ) β iε dτ, (3) g were N is a normalization constant, which we suppose to be real. The probability densities generated by the wave functions (9) have the form } ρ cc z (q,τ) = Φ cc z (q,τ) = N [q q(τ) exp g(τ) +Reφ(τ). (33) Considering the normalization integral, we find the constant N, ρ cc z (q,τ)dq = N = exp( Reφ(τ)) π g(τ). (34) Thus, normalized solutions of the Schrödinger equation that at the same time are eigenfunctions of the annihilation operator Â(τ) have the form } Φ cc z (q,τ) = π g(τ) exp ip(τ)q f (τ) [q q(τ) +iimφ(τ) (35) g(τ) and the corresponding probability densities read ρ cc z (q,τ) = π g(τ) exp } [q q(τ) g(τ). (36) In what follows we call the solutions (35) the time-dependent generalized CS. 5

6 3 Time-dependent CS of quadratic systems Usingeqs. (7)and(5)wecancalculatestandarddeviationsσ q (τ), σ p (τ), andthequantity σ qp (τ), in the generalized CS, σ q (τ) = (ˆq q ) = q q = g(τ), σ p (τ) = (ˆp p ) = p p = f (τ), σ qp (τ) = (ˆq q )(ˆp p )+(ˆp p )(ˆq q ) = i[/ g(τ)f (τ). (37) One can easily see that the generalized CS (35) minimize the Robertson-Schrödinger uncertainty relation [, σ q (τ)σ p σ qp(τ) = /4. (38) This means that the generalized CS are squeezed states [4. Let us analyze the Heisenberg uncertainty relation in the generalized CS taking into account restriction (3), σ q (τ)σ p (τ) Re(c c ) = +4(Im(gf )). (39) Then using (37), we find σ q (0) = σ q = c and σ p (0) = σ p = c, such that at τ = 0 this relation reads σ q σ p Re(c c ) = 4 +[ c c sin(µ µ ). (40) Taking into account eqs. (4), we see that if µ = µ = µ the left hand side of (39) is minimal, such that σ q σ p = /, σ qp = 0. (4) One can see that the constant µ does not enter CS (35). Then, in what follows we consider generalized CS with the restriction µ = µ = µ = 0. Namely, such states we call simply CS. Now restriction (3) takes the form c = c, c = c, c = c, such that g(0) = c = σ q, f (0) = c = σ p = σ q. (4) Thus, σ qp = σ qp (0) = i[/ g(0)f (0) = 0, which is consistent with eqs. (4). With account taken of eqs. (35), (37) and (4), we obtain the following expression for the CS: Φ σq z (q,τ) = φ(τ) = τ 0 πσq exp (τ) ip(τ)q f (τ) g(τ) } [q q(τ) +iimφ(τ), iαq (τ) i [ p (τ)+ f (τ) } iνp(τ) β iε dτ. (43) g(τ) In fact, we have a family of CS parametrized by one real parameter-the initial standard deviation σ q > 0. Each set of CS in the family has its specific initial standard deviations σ q. Different CS from a family with a given σ q have different quantum numbers z, which 6

7 are in one to one correspondence with trajectory initial data q 0 and p 0. It follows from eq. (6) that z = q 0 +iσ q p 0, q 0 = σ q Rez, p 0 = Imz. (44) σ q σ q The probability density that corresponds to the CS (43) reads } ρ σq z (q,τ) = πσq (τ) exp [q q(τ) σq (τ). (45) One can prove that for any fixed σ q states (43) form an over complete set of functions with the following orthogonality and completeness relations ( ) Φ σq z (q,τ)φσq z (q,τ)dq = exp z z z + z, τ, Φz σq (q,τ)φσq z (q,τ)d z = πδ(q q ), d z = drez dimz, τ. (46) 4 An exact solution of oscillator equation with timedependent frequency and related CS Let us consider the following function (τ), (τ) = + 0 cosh 0 τ, (τ) max, (± ) =, (47) where and 0 are some positive constants, max. The function (τ) is an even function, which decreases monotonically as τ changes from 0 to, (± ) =, (0) = max = + 0. (48) For = and 0 = /, the plot of the function (τ) has the form.0 Ω Τ Τ The general solution of equation (8) can be written as [ [ ia0 tanh( 0 τ) ia sin(τ) g(τ) = +0 +B cos(τ)+ +0 B 0 tanh( 0 τ). (49) 7

8 The restriction (3), (4), and (4) that set the CS from the entire set of generalized CS lead to the following relations for the constants A and B: B = g(0) = g(0) = σ q, A = f(0) = f (0) = /σ q. (50) Using eqs. (49) and (50) we calculate the mean trajectories q(τ) and p(τ) according eqs. (6), q(τ) = Re[g(τ)z = g(τ) A= Ā, B= B, p(τ) = ġ(τ) A= Ā, B= B = q(τ), A = σ q Imz, B = σ q Rez. (5) For min > 0 the mean trajectory q(τ) can be presented as q(τ) = R 0 R(τ)sin[τ +Θ(τ)+Θ 0, (5) where functions R(τ) and Θ(τ) and constants R 0 and Θ 0 are R(τ) = + 0 tanh 0 τ, R(τ) < +0 ; [ 0 ( Θ(τ) = arctan tanh 0 ) 0τ, < Θ(τ) <, = arctan ; p R 0 = 0 +q0 ( +0 )4 ( +0, sinθ 0 = q 0 p 0, cosθ 0 = ) R 0 R 0 ( +0. (53) ) Thus, we deal with a quasiharmonic motion with the frequency and an amplitude that is changing in time in finite limits and with a time-dependent phase that is slowly changing in also finite limits. Let us derive the case of a harmonic oscillator with a fixed frequency > 0 from the above formulas. To this end we have to set 0 = 0 and α = /, ν = β = ε = 0 such that (τ) =. Then g(τ) = σ q cosτ + isinτ cosτ, f (τ) = +iσ q sinτ, σ q σ q q(τ) = q 0 cosτ + p 0 sinτ, p(τ) = p 0cosτ q 0 sinτ, (54) and z = σ p q 0 + iσ q p 0. Taking all that into account in Eq. (43), we obtain the following representation for CS (in the above given definition) of the harmonic oscillator: Φ σq z (q,τ) = πg(τ) exp [ f (τ) q z } + f (τ) z g(τ) f (τ) f (τ) z. (55) For these CS σ q (τ) = σ q + ( 4σ 4 q ) 4σ 4 q and the corresponding probability density reads ρ σq z (q,τ) = sin τ, σ p (τ) = σ p ( 4σ 4 q ) sin τ, (56) πσq (τ) exp One has to consider the following three cases: } [q q(τ) σq. (57) (τ) 8

9 a) σ q =, then b) σ q <, then σ q (τ) = σ q, σ p (τ) = σ p, σ q (τ)σ p (τ) = σ q σ p = /, τ. σ q (τ) min = σ q (τ) τ= πn σ p (τ) min = σ p (τ) τ= n+ π σ q (τ)σ p (τ) min = σ q (τ)σ p (τ) τ= πn σ q (τ)σ q (τ) max = σ q (τ)σ q (τ) τ= n+ π 4 c) σ q >, then σ q (τ) min = σ q (τ) τ= n+ π σ p (τ) min = σ p (τ) τ= nπ σ q (τ)σ p (τ) min = σ q (τ)σ p (τ) τ= n π = σ q, σ q (τ) max = σ q (τ) τ= n+ π σ q (τ)σ q (τ) max = σ q (τ)σ q (τ) τ= n+ π 4 = σ q, σ p (τ) max = σ p (τ) τ= πn = /, = σ q, = σ p, = +4σ4 q 8σ q, n N = 0,,,.... = σ q, σ q(τ) max = σ q (τ) τ= nπ = σ p, σ p (τ) max = σ p (τ) τ= n+ π = /, = σ q, = σ q, = +4σ4 q 8σq, n N. We can see that in the case a) the Heisenberg uncertainty relation is minimized in the CS (55). In the same case these CS coincide (up to a phase factor) with the wellknown Schrödinger-GlauberCS [7. CS with σ q obeying b) and c) minimize the Heisenberg uncertainty relation periodically, but the product σ q (τ)σ q (τ) is always restricted by the limits / and +4σ4 q 8σ q. Setting 0 = = α = ν = β = ε = 0, and taking into account the limits lim 0 0 g(τ) = Bcos(τ)+ ia lim g(τ) = 0 (ia B 0 τ)tanh( 0τ) +B, 0 sin(τ), lim g(τ) = B +iaτ, 0, 0 we obtain from (43) CS of a free particle studied by us in the Ref. [8. Acknowledgements Bagrov thanks FAPESP for support and IF USP for hospitality; Gitman thanks CNPq and FAPESP for permanent support; The work of Bagrov and Gitman is also partially supported by Tomsk State University A. S. Competitiveness Improvement Program; Pereira thanks FAPESP for support. References [ Klauder J R, Sudarshan E C, Fundamentals of Quantum Optics, (Benjamin, 968); Klauder I R, Skagerstam B S, Coherent States, Applications in Physics and Mathematical Physics, (World Scientific, Singapore, 985); Perelomov A M, Generalized Coherent 9

10 States and Their Applications, (Springer-Verlag, 986); Gazeau J P, Coherent States in Quantum Physics, (Wiley-VCH, Berlin, 009); Nielsen M, Chuang I, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, England, 000) [ Malkin I A and Man ko V I 968 Zh. Eksp. Teor. Fiz [3 Malkin I A, Man ko V I, Dynamical Symmetries and Coherent States of Quantum Systems, (Nauka, Moscow, 979) [4 V.V. Dodonov, V.I. Man ko, Invariants and correlated states of nonstationary quantum systems. In: Invariants and the Evolution of Nonstationary Quantum Systems. Proceedings of Lebedev Physics Institute, 83,M.A. Markov, ed.(nauka, Moscow 987) 7-8, [translated by Nova Science, Commack, New York, 989, pp [5 R. Gilmore, Geometry of symmetrized states, Ann. Phys. (NY) (97). [6 A. M. Perelomov, Coherent states for arbitrary Lie groups, Commun. Math. Phys (97). [7 A.M.Perelomov, Generalized Coherent States and Their Applications, Springer-Verlag, 986. [8 S.T. Ali, J-P. Antoine, and J-P. Gazeau, Coherent States, Wavelets and Their Generalizations, Springer-Verlag, New York, Berlin, Heidelberg, 000. [9 Theory of Nonclassical States of Light, Edited by V. V. Dodonov and V. I. Man ko (Taylor & Francis Group, London, NY 003) [0 V.G. Bagrov, I.L. Buchbinder and D.M. Gitman, Coherent states of a relativistic particle in an external electromagnetic field, Journ. Phys. A 9 (976) [ J.P. Gazeau, M.C. Baldiotti, and D.M. Gitman, Semiclassical and quantum motion on non-commutative plane, Physics Letters A, 373, (43) (009) [ V.G. Bagrov, S.P. Gavrilov, D.M. Gitman, and D. P. Meira Filho, Coherent states of non-relativistic electron in magnetic solenoid field, Journ. Physics. A43 (00) (0 pages); Coherent and semiclassical states in magnetic field in the presence of the Aharonov-Bohm solenoid, J. Phys. A: Math. Theor. 44 (0) [3 V.G. Bagrov, S.P. Gavrilov, D.M. Gitman, and K. Gorska, Completeness for coherent states in magnetic-solenoid field, Journ. Phys. A 45 (0) (pp) [4 V.G. Bagrov, J.-P. Gazeau, D. Gitman, and A. Levine, Coherent states and related quantizations for unbounded motions, Journ. Phys. A 45 (0) 5306 [5 V.G. Bagrov,D. M. Gitman, E.S. Macedo, and A. S. Pereira,Coherent states of inverse oscillator and related problems, Journ. Phys. A: Math. Theor. 46 (03) 35305(3pp); [6 V.G. Bagrov, D.M. Gitman, A. Pereira, Coherent and semiclassical states of a free particle, Uspekhi Fizicheskikh Nauk 84 (9) (04) , Physics-Uspekhi 57 (9) (04) [7 E. Schrödinger, Der stetige Übergang von der Mikro- zur Makro-mechanik, Naturwissenschaften, Bd. 4, H. 8 (96) ; R.J. Glauber, The quantum theory of optical coherence, Phys. Rev. 30 No. 6 (963) ; Coherent and incoherent states of the radiation field, Phys. Rev. 3 No. 6 (963)

11 [8 V.G. Bagrov, D.M. Gitman, A. Pereira, Coherent and semiclassical states of a free particle, Physics-Uspekhi 57 (9) (04) [9 Bagrov V G, Gitman D M, Exact Solutions of Relativistic Wave Equations (Kluwer Acad. Publisher, Boston 990); Dirac Equation and its Solutions (de Gruyter, Boston, 04) pp. 444 [0 V.G. Bagrov, M.C. Baldiotti, D.M. Gitman, A.D. Levin, Spin equation and its solutions, Ann. der Physik 4 [- (005) [ Schrödinger E, Sitzungsberichte Preus. Acad. Wiss., Phys.-Math. Klasse, 9 96(Berlin 930) ; Robertson H P, Phys. Rev (930)