Abstract
Different families of generalized coherent states (CS) for one-dimensional systems with general time-dependent 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 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. [1–9]. Despite the fact that there exist a great number of publications devoted to constructing CS of different systems, a 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.Footnote 1 Starting the works [7, 8, 14, 15], CS are defined as eigenvectors of some annihilation operators that are at the same time integrals of motion, see also [16–21, 27]. 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 due to Schrödinger and Glauber CS (see [24, 25]) 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 [25]. 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.
1.2 Basic Equations
Consider quantum motion of a one-dimensional system with the generalized coordinate x on the whole real axis, \(x \in \mathbb {R}=\left (-\infty ,\infty \right )\), supposing that the corresponding quantum Hamiltonian \(\hat {H}_{x}\) is given by a quadratic form of the operator x and the momentum operator \(\hat {p}_{x}=-i\hbar \partial _{x}\),
where r s = r s (t), s = 1,...,6 are some given functions of the time t. We suppose that these functions are real and both \(\hat {H}_{x}\) and \(\hat {p}_{x}\) are self-adjoint on their natural domains \(D_{H_{x}}\) and \(D_{p_{x}}\) respectively, see, e.g., [28, 29].
Quantum states of the system under consideration are described by a wave function Ψ(x,t) which satisfies the Schrödinger equation
In what follows, we restrict ourselves by a physically reasonable case r 1(t)>0. In this case, we introduce dimensionless variables, a coordinate q and a time τ as follows
where l is an arbitrary constant of the dimension of the length. The new momentum operator \(\hat {p}\) and the new wave function ψ(q,τ) read
so that |Ψ(x,t)|2 d x=|ψ(q,τ)|2 d q.
In the new variables, (2) takes the form
where the new Hamiltonian reads
Here, α = α(τ), β = β(τ), ϱ = ϱ(τ), ν = ν(τ) and ε=ε(τ),
are dimensionless real functions on τ if t is expressed via τ by the help of (3). In what follows, we call \(\hat {S}\) the equation operator.
2 Constructing Time-Dependent Generalized CS
2.1 Integrals of Motion Linear in Canonical Operators \(\hat {q}\) and \(\hat {p}\)
First, we construct an integral of motion \(\hat {A}\left (\tau \right )\) linear in \(\hat {q}\) and \(\hat {p}\). The general form of such an integral of motion reads
where f(τ), g(τ), and φ(τ) are some complex functions on τ. The operator \(\hat {A}\left (\tau \right ) \) is an integral of motion if it commutes with equation operator (5),
In the case if the Hamiltonian is self-adjoint, the adjoint operator \(\hat {A}^{\dag }\left (\tau \right ) \) is also an integral of motion, i.e.,
The commutator \(\left [ \hat {A}\left (\tau \right ) ,\hat {A}^{\dag }\left (\tau \right ) \right ] \) reads
Substituting representation (8) into (9), we obtain the following equations for the functions f(τ), g(τ), and φ(τ):
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 (12) imply that δ is a real integral of motion, δ = const. In what follows, we suppose that δ = 1, which means
Any nontrivial solution of the two first equations (12) consists of two nonzero functions f(τ) and g(τ). That is why we can chose arbitrary integration constants in these equations as
In terms of the introduced constants, condition (13) yields
Under the choice δ = 1, operators \(\hat {A}\left (\tau \right ) \) and \(\hat {A}^{\dag }\left (\tau \right ) \) become annihilation and creation operators,
It follows from (8) and (13) that
I We note that the two first (12) 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 ω 2(τ),
If we have an exact solution g(τ) for a given function ω 2(τ), 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
II. In addition, the one-dimensional Schrödinger equation
can be identified with (18) if q → τ, Ψ(q) → g(τ),V(q) − E → ω 2(τ).
III. It should be also noted that the two first equations (12) can be identified with a particular form of the so-called spin equation, see [28],
with
2.2 Time-Dependent Generalized CS
Let us consider eigenvectors |z,τ〉 of the annihilation operator \(\hat {A}\left (\tau \right ) \) corresponding to the eigenvalue z,
In the general case, z is a complex number.
It follows from (17) and (25) that
Using (12), one can easily verify that the functions q(τ) and p(τ) satisfy the Hamilton equations
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 parameterized by the initial data, q 0 = q(0) and p 0 = p(0).
Being written in the q representation, (25) reads
General solution of this equation has the form
where χ(τ) is an arbitrary function on τ.
One can see that the functions \({\Phi }_{z}^{c_{1}c_{2}}\left (q,\tau \right ) \) can be written in terms of the mean values q(τ) and p(τ) given by (26),
where \(\tilde {\chi }\left (\tau \right ) \) is again an arbitrary function on τ.
The functions \({\Phi }_{z}^{c_{1}c_{2}}\) satisfy the following equation
where
If we wish the functions (29) satisfies the Schrödinger equation (5), we have to fix \(\tilde {\chi }\left (\tau \right ) \) from the condition λ(τ) = 0. Thus, we obtain for the function \(\tilde {\chi }\left (\tau \right ) \) the following result:
were N is a normalization constant, which we suppose to be real.
The probability densities generated by the wave functions (29) have the form
Considering the normalization integral, we find the constant N,
Thus, normalized solutions of the Schrödinger equation that at the same time are eigenfunctions of the annihilation operator \(\hat {A}\left (\tau \right ) \) have the form
and the corresponding probability densities read
In what follows, we call the solutions (35) the time-dependent generalized CS.
3 Time-Dependent CS of Quadratic Systems
Using (17) and (25) we can calculate standard deviations σ q (τ), σ p (τ), and the quantity σ q p (τ), in the generalized CS,
One can easily see that the generalized CS (35) minimize the Robertson-Schrödinger uncertainty relation [29, 30],
This means that the generalized CS are squeezed states [8].
Let us analyze the Heisenberg uncertainty relation in the generalized CS taking into account restriction (13),
Then using (37), we find σ q (0)=σ q =|c 2| and σ p (0)=σ p =|c 1|, such that at τ=0, this relation reads
Taking into account (14), we see that if μ 1=μ 2=μ, the left hand side of (39) is minimal, such that
One can see that the constant μ does not enter CS (35). Then, in what follows, we consider generalized CS with the restriction μ 1=μ 2=μ=0. Namely, such states we call simply CS.
Now restriction (13) takes the form \(c_{1} = \left \vert c_{1}\right \vert , c_{2} = \left \vert c_{2}\right \vert ,\ 2c_{1} = c_{2}^{-1}, \) such that
Thus, σ q p =σ q p (0)=i[1/2−g(0)f(0)]=0, which is consistent with (41).
With account taken of (35), (37), and (42), we obtain the following expression for the CS:
In fact, we have a family of CS parameterized 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 are in one to one correspondence with trajectory initial data q 0 and p 0. It follows from (26) that
The probability density that corresponds to the CS (43) reads
One can prove that for any fixed σ q states (43) form an over complete set of functions with the following orthogonality and completeness relations
4 An Exact Solution of Oscillator Equation with Time-Dependent Frequency and Related CS
Let us consider the following function ω 2(τ),
where ω and ω 0 are some positive constants, ω max ≥ ω. The function ω 2(τ) is an even function, which decreases monotonically as |τ| changes from 0 to ∞,
For ω = 1 and ω 0 = 2−1/2, the plot of the function ω(τ) has the form
The general solution of equation (18) can be written as
The restriction (13), (14), and (42) that set the CS from the entire set of generalized CS lead to the following relations for the constants A and B:
Using (49) and (50), we calculate the mean trajectories q(τ) and p(τ) according (26),
For ω min > 0, the mean trajectory q(τ) can be presented as
where functions R(τ) and Θ(τ) and constants R 0 and Θ0 are
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 α=ω 2/2,ν=β=ε=0 such that ω 2(τ) = ω 2. Then,
and z = σ p q 0 + i σ q p 0. Taking all that into account in (43), we obtain the following representation for CS (in the above given definition) of the harmonic oscillator:
For these CS
and the corresponding probability density reads
One has to consider the following three cases:
-
a)
\(\sigma _{q}\sqrt {2\omega }~=~1\), then
$$\begin{array}{@{}rcl@{}} \sigma_{q}\left( \tau\right)&=&\sigma_{q},\ \ \sigma_{p}\left( \tau\right)~=~\sigma_{p},\ \\\sigma_{q}\left( \tau\right) \sigma_{p}\left( \tau\right)&=&\sigma_{q}\sigma_{p}~=~1/2,\ \forall\tau. \end{array} $$ -
b)
\(\sigma _{q}\sqrt {2\omega }~<~1\), then
$$\begin{array}{@{}rcl@{}} \left. \sigma_{q}\left( \tau\right) \right\vert_{\min}&=&\left. \sigma_{q}\left( \tau\right) \right\vert_{\tau=\frac{\pi n}{\omega}} =\sigma_{q}, \\\left. \sigma_{q}\left( \tau\right) \right\vert_{\max}&=&\left. \sigma_{q}\left( \tau\right) \right\vert_{\tau=\frac{2n+1} {2}\frac{\pi}{\omega}}=\frac{1}{2\sigma_{q}\omega},\end{array} $$$$\begin{array}{@{}rcl@{}} \left. \sigma_{p}\left( \tau\right) \right\vert_{\min}&=&\left. \sigma_{p}\left( \tau\right) \right\vert_{\tau=\frac{2n+1}{2}\frac{\pi} {\omega}}=\sigma_{q}\omega,\ \ \\\left.\sigma_{p}\left( \tau\right) \right\vert_{\max} &=&\left. \sigma_{p}\left( \tau\right) \right\vert_{\tau=\frac{\pi n}{\omega}}=\sigma_{p},\\ \left. \sigma_{q}\left( \tau\right) \sigma_{p}\left( \tau\right) \right\vert_{\min}&=&\left. \sigma_{q}\left( \tau\right) \sigma_{p}\left( \tau\right) \right\vert_{\tau=\frac{\pi n}{\omega}}=1/2,\ \\ \left. \sigma_{q}\left( \tau\right) \sigma_{q}\left( \tau\right) \right\vert_{\max}&=&\left. \sigma_{q}\left( \tau\right) \sigma_{q}\left( \tau\right) \right\vert_{\tau=\frac{2n+1}{4}\frac{\pi}{\omega}} \\ &=&\frac{1+4{\sigma_{q}^{4}}\omega^{2}}{8{\sigma_{q}^{2}}\omega},\ \\&& n\in \mathbb{N}=0,1,2,...\ . \end{array} $$ -
c)
\(\sigma _{q}\sqrt {2\omega }~>~1\), then
$$\begin{array}{@{}rcl@{}} \left. \sigma_{q}\left( \tau\right) \right\vert_{\min}&=&\left. \sigma_{q}\left( \tau\right) \right\vert_{\tau=\frac{2n+1}{2}\frac{\pi} {\omega}}=\frac{1}{2\sigma_{q}\omega},\ \\\left. \sigma_{q}\left( \tau\right) \right\vert_{\max} &=&\left. \sigma_{q}\left( \tau\right) \right\vert_{\tau=\frac{n\pi}{\omega}}=\sigma_{q},\\ \left. \sigma_{p}\left( \tau\right) \right\vert_{\min}&=&\left. \sigma_{p}\left( \tau\right) \right\vert_{\tau=\frac{n\pi}{\omega}} =\sigma_{p},\ \\\left. \sigma_{p}\left( \tau\right) \right\vert_{\max}&=&\left. \sigma_{p}\left( \tau\right) \right\vert_{\tau=\frac{2n+1} {2}\frac{\pi}{\omega}}=\sigma_{q}\omega,\\ \left. \sigma_{q}\left( \tau\right) \sigma_{p}\left( \tau\right) \right\vert_{\min}&=&\left. \sigma_{q}\left( \tau\right) \sigma_{p}\left( \tau\right) \right\vert_{\tau=\frac{n}{2}\frac{\pi}{\omega}}=1/2,\\ \left. \sigma_{q}\left( \tau\right) \sigma_{q}\left( \tau\right) \right\vert_{\max}&=&\left. \sigma_{q}\left( \tau\right) \sigma_{q}\left( \tau\right) \right\vert_{\tau=\frac{2n+1}{4}\frac{\pi}{\omega}} \\ &=&\frac{1+4{\sigma_{q}^{4}}\omega^{2}}{8{\sigma_{q}^{2}}\omega},\ \ n\in \mathbb{N}\ . \end{array} $$
We can see that in 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 well-known Schrödinger-Glauber CS [25]. CS with σ q obeying (b) and (c) minimize the Heisenberg uncertainty relation periodically, but the product σ q (τ)σ q (τ) is always restricted by the limits 1/2 and \(\frac {1+4{\sigma _{q}^{4}}\omega ^{2}}{8{\sigma _{q}^{2}}\omega }\).
Setting ω 0 = ω = α = ν = β = ε = 0, and taking into account the limits
we obtain from (43) CS of a free particle studied by us in the [27].
References
J.R. Klauder, E.C. Sudarshan. Fundamentals of Quantum Optics, (Benjamin, 1968)
I.R. Klauder, B.S. Skagerstam. Coherent States, Applications in Physics and Mathematical Physics (World Scientific, Singapore, 1985)
A.M. Perelomov. Generalized Coherent States and their Applications, (Springer-Verlag, 1986)
J.P. Gazeau. Coherent States in Quantum Physics (Wiley-VCH, Berlin, 2009)
M. Nielsen, Chuang I. Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, England, 2000)
I.A. Malkin, V.I. Man’ko. Z. Eksp. Teor. Fiz. 55, 1014 (1968)
I.A. Malkin, V.I. Man’ko. Dynamical Symmetries and Coherent States of Quantum Systems, (Nauka, Moscow, 1979)
V.V. Dodonov, V.I. Man’ko, in Invariants and correlated states of nonstationary quantum systems. In: Invariants and the Evolution of Nonstationary Quantum Systems. Proceedings of Lebedev Physics Institute, 183, ed. by M.A. Markov (Nauka, Moscow, 1987), pp. 71–181
V.V. Dodonov, V.I. Man’ko. Translated by Nova Science, (Commack, New York, 1989), pp. 103–261
R. Gilmore, Geometry of symmetrized states. Ann. Phys. (NY). 74, 391–463 (1972)
A.M. Perelomov, Coherent states for arbitrary Lie groups. Commun. Math. Phys. 26, 222–236 (1972)
A.M. Perelomov. Generalized Coherent States and Their Applications (Springer-Verlag, 1986)
S.T. Ali, J-P. Antoine, J-P. Gazeau. Coherent States, Wavelets and their Generalizations (Berlin, Heidelberg, Springer-Verlag, New York, 2000)
V.V. Dodonov, V.I. Man’ko (eds.), Theory of Nonclassical States of Light (Taylor & Francis Group, London, NY, 2003)
V.G. Bagrov, I.L. Buchbinder, D.M. Gitman, Coherent states of a relativistic particle in an external electromagnetic field. J. Phys. A. 9, 1955–1965 (1976)
J.P. Gazeau, M.C. Baldiotti, D.M. Gitman, Semiclassical and quantum motion on non-commutative plane. Phys. Lett. A. 373(43), 3937–3943 (2009)
V.G. Bagrov, S.P. Gavrilov, D.M. Gitman, D.P. Meira Filho, Coherent states of non-relativistic electron in magnetic–solenoid field. J. Phys. A. 43, 3540169,10 (2010)
V.G. Bagrov, S.P. Gavrilov, D.M. Gitman, D.P. Meira Filho, Coherent and semiclassical states in magnetic field in the presence of the Aharonov-Bohm solenoid. J. Phys. A Math. Theor. 44, 055301 (2011a)
V.G. Bagrov, S.P. Gavrilov, D.M. Gitman, K. Gorska, Completeness for coherent states in magnetic-solenoid field. J. Phys. A. 45, 244008 (2012). 11pp
V.G. Bagrov, J.-P. Gazeau, D. Gitman, A. Levine, Coherent states and related quantizations for unbounded motions. J. Phys. A. 45, 125306 (2012)
V.G. Bagrov, D.M. Gitman, E.S. Macedo, A.S. Pereira, Coherent states of inverse oscillator and related problems. J. Phys. A Math. Theor. 46, 325305 (2013). 13pp
E. Schrödinger, Der stetige Übergang von der Mikro- zur Makro-mechanik. Naturwissenschaften, Bd. 14(H. 28), 664–666 (1926)
R.J. Glauber, The quantum theory of optical coherence. Phys. Rev. 130(6), 2529–2539 (1963)
R.J. Glauber, Coherent and incoherent states of the radiation field. Phys. Rev. 131(6), 2766–2788 (1963a)
V.G. Bagrov, D.M. Gitman, A. Pereira, Coherent and semiclassical states of a free particle. Physics-Uspekhi. 57(9), 891–896 (2014)
V.G. Bagrov, D.M. Gitman. Exact Solutions of Relativistic Wave Equations (Kluwer Acad. Publisher, Boston, 1990)
V.G. Bagrov, D.M. Gitman. Dirac Equation and its Solutions (deGruyter, Boston, 2014). pp. 444
V.G. Bagrov, M.C. Baldiotti, D.M. Gitman, A.D. Levin, Spin equation and its solutions. Ann. der Physik. 14(11-12), 764–789 (2005)
E. Schrödinger, Sitzungsberichte Preus, Academy Wissenschaftliche. Physics-Math. Klasse. 19(296) (1930)
H.P. Robertson. Phys. Rev. 35(667) (1930a)
Acknowledgments
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bagrov, V.G., Gitman, D.M. & Pereira, A.S. Coherent States of Systems with Quadratic Hamiltonians. Braz J Phys 45, 369–375 (2015). https://doi.org/10.1007/s13538-015-0309-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13538-015-0309-z