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. [19]. 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 [1621, 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}\),

$$ \hat{H}_{x}=r_{1}\hat{p}_{x}^{2}+r_{2}x^{2}+r_{3}(x\hat{p}_{x}+\hat{p} _{x}x)+r_{4}x+r_{5}\hat{p}_{x}+r_{6}, $$
(1)

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

$$ i\hbar\partial_{t}{\Psi}\left(x,t\right) =\hat{H}_{x}{\Psi}\left( x,t\right). $$
(2)

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

$$\begin{array}{@{}rcl@{}} q&=&{xl}^{-1},\tau={{\int}_{0}^{t}}\frac{ds}{T\left(s\right)} =\frac{2\hbar}{l^{2}}{{\int}_{0}^{t}}r_{1}\left(s\right) ds,\\ T\left(t\right)&=&\frac{l^{2}}{2\hbar r_{1}\left(t\right)}, \end{array} $$
(3)

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

$$ \hat{p}=\frac{l}{\hbar}\hat{p}_{x}=-i\partial_{q},\ \ \psi\left( q,\tau\right) =\sqrt{l}{\Psi}\left(lq,\frac{ml^{2}}{\hbar}\tau\right), $$
(4)

so that |Ψ(x,t)|2 d x=|ψ(q,τ)|2 d q.

In the new variables, (2) takes the form

$$ \hat{S}\psi\left( q,\tau\right)=0,\, \hat{S}=i\partial_{\tau} -\hat{H}, $$
(5)

where the new Hamiltonian reads

$$ \hat{H}=\frac{\hat{p}^{2}}{2}+\alpha\hat{q}^{2}+\beta\left( \hat{q}\hat {p}+\hat{p}\hat{q}\right) +\varrho\hat{q}+\nu\hat{p}+\varepsilon\,. $$
(6)

Here, α = α(τ), β = β(τ), ϱ = ϱ(τ), ν = ν(τ) and ε=ε(τ),

$$\begin{array}{@{}rcl@{}} \alpha\left( \tau\right) &=&\frac{l^{4}}{2\hbar^{2}}\frac{r_{2}\left( t\right)} {r_{1}\left( t\right)} ,\ \beta\left( \tau\right) =\frac{l^{2}} {2\hbar}\frac{r_{3}\left( t\right)} {r_{1}\left( t\right)} ,\ \ \varrho\left( \tau\right) =\frac{l^{3}}{2\hbar^{2}}\frac{r_{4}\left( t\right)} {r_{1}\left( t\right)} ,\\ \nu\left( \tau\right) &=&\frac{l}{2\hbar}\frac{r_{5}\left( t\right)} {r_{1}\left( t\right)} ,\ \ \varepsilon(\tau)=\frac{l^{2}}{2\hbar^{2}} \frac{r_{6}\left( t\right)} {r_{1}\left( t\right)} \,, \end{array} $$
(7)

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

$$ \hat{A}\left(\tau\right) =f\left( \tau\right) \hat{q}+ig\left( \tau\right) \hat{p}+\varphi\left( \tau\right) , $$
(8)

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),

$$ \left[\hat{S},\hat{A}\left( \tau\right) \right] =0. $$
(9)

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.,

$$ \left[ \hat{S},\hat{A}^{\dag}\left( \tau\right) \right] =0. $$
(10)

The commutator \(\left [ \hat {A}\left (\tau \right ) ,\hat {A}^{\dag }\left (\tau \right ) \right ] \) reads

$$ \left[ \hat{A}\left( \tau\right) ,\hat{A}^{\dag}\left( \tau\right) \right] =\delta=2\operatorname{Re}\left[ g^{\ast}\left( \tau\right) f\left( \tau\right) \right] . $$
(11)

Substituting representation (8) into (9), we obtain the following equations for the functions f(τ), g(τ), and φ(τ):

$$\begin{array}{@{}rcl@{}} && \dot{f}\left( \tau\right) +2\beta\left( \tau\right) f\left( \tau\right) -2i\alpha\left( \tau\right) g\left( \tau\right) =0,\\ && \dot{g}\left( \tau\right) -if\left( \tau\right) -2\beta\left( \tau\right) g\left( \tau\right) =0,\\ && \dot{\varphi}\left( \tau\right) +\nu\left( \tau\right) f\left( \tau\right) -i\varrho\left( \tau\right) g\left( \tau\right) =0. \end{array} $$
(12)

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

$$ \operatorname{Re}\left[ g^{\ast}\left( \tau\right) f\left( \tau\right) \right] =\operatorname{Re}\left[ g^{\ast}\left( 0\right) f\left( 0\right) \right] =1/2. $$
(13)

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

$$\begin{array}{@{}rcl@{}} f\left( 0\right) &=&c_{1}=\left\vert c_{1}\right\vert e^{i\mu_{1}},\\ g\left( 0\right) &=&c_{2}=\left\vert c_{2}\right\vert e^{i\mu_{2}} ,\ \ \left\vert c_{2}\right\vert \neq0,\ \ \left\vert c_{1}\right\vert \neq0. \end{array} $$
(14)

In terms of the introduced constants, condition (13) yields

$$ \left\vert c_{2}\right\vert \left\vert c_{1}\right\vert \cos\left( \mu_{1}-\mu_{2}\right) =1/2. $$
(15)

Under the choice δ = 1, operators \(\hat {A}\left (\tau \right ) \) and \(\hat {A}^{\dag }\left (\tau \right ) \) become annihilation and creation operators,

$$ \left[\hat{A}\left( \tau\right) ,\hat{A}^{\dag}\left( \tau\right) \right] =1. $$
(16)

It follows from (8) and (13) that

$$\begin{array}{@{}rcl@{}} \hat{q}&=&g^{\ast}\left( \tau\right) \left[ \hat{A}\left( \tau\right) -\varphi\left( \tau\right) \right] +g\left( \tau\right) \left[ \hat {A}^{\dag}\left( \tau\right) -\varphi^{\ast}\left( \tau\right) \right],\\ i\hat{p}&=&f^{\ast}\left( \tau\right) \left[ \hat{A}\left( \tau\right) -\varphi\left( \tau\right) \right] -f\left( \tau\right) \left[ \hat {A}^{\dag}\left( \tau\right) -\varphi^{\ast}\left( \tau\right) \right].\\ \end{array} $$
(17)

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(τ),

$$ \ddot{g}\left(\tau\right) +\omega^{2}\left( \tau\right) g\left( \tau\right) =0,\, \omega^{2}\left( \tau\right) =2\alpha-4\beta^{2}-2\dot{\beta}. $$
(18)

If we have an exact solution g(τ) for a given function ω 2(τ), then the function f(τ) can be found via the function g(τ) as

$$ f\left(\tau\right) =2i\beta\left(\tau\right) g\left(\tau\right)-i\dot{g}\left(\tau\right). $$
(19)

One can chose the functions α(τ) and β(τ) such that

$$ \omega^{2}\left( \tau\right) =2\alpha\left( \tau\right) -4\beta^{2}\left( \tau\right) -2\dot{\beta}\left( \tau\right) . $$
(20)

For example, if we chose

$$ \alpha\left( \tau\right) =\frac{1}{2}\omega^{2}\left( \tau\right) ,\ \beta=\varrho=\nu=\varepsilon=0, $$
(21)

then we are dealing with Hamiltonian of the form

$$ \hat{H}=\frac{\hat{p}^{2}}{2}+\frac{\omega^{2}\left( \tau\right)} {2}q^{2}. $$
(22)

II. In addition, the one-dimensional Schrödinger equation

$$ -{d_{q}^{2}}{\Psi}\left( q\right) +V\left( q\right) {\Psi}\left( q\right) =E{\Psi}\left( q\right) , $$
(23)

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],

$$ i\dot{V}=\left(\boldsymbol{\sigma}\mathbf{F}\right) V,\ \ V=\left( \begin{array} [c]{c} f\\ g \end{array} \right) , $$
(24)

with

$$\mathbf{F}\left( \tau\right)~=~-\frac{1}{2}\left( 2\alpha~+~1,i\left( 2\alpha~-~1\right) ,4i\beta\right) . $$

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,

$$ \hat{A}\left( \tau\right) \left\vert z,\tau\right\rangle =z\left\vert z,\tau\right\rangle . $$
(25)

In the general case, z is a complex number.

It follows from (17) and (25) that

$$\begin{array}{@{}rcl@{}} q\left( \tau\right)&\equiv&\left\langle z,\tau\left\vert \hat {q}\right\vert z,\tau\right\rangle =g^{\ast}\left( \tau\right) \left[ z-\varphi\left( \tau\right) \right] +g\left( \tau\right) \left[ z^{\ast} -\varphi^{\ast}\left( \tau\right) \right] ,\\ ip\left( \tau\right)&\equiv&\left\langle z,\tau\left\vert \hat {p}\right\vert z,\tau\right\rangle =f^{\ast}\left( \tau\right) \left[ z-\varphi\left( \tau\right) \right] -f\left( \tau\right) \left[ z^{\ast} -\varphi^{\ast}\left( \tau\right) \right] ,\\ z&=&f\left( \tau\right) q\left( \tau\right) +ig\left( \tau\right) p\left( \tau\right) +\varphi\left( \tau\right) . \end{array} $$
(26)

Using (12), one can easily verify that the functions q(τ) and p(τ) satisfy the Hamilton equations

$$\dot{q}\left( \tau\right) =\frac{\partial H}{\partial p},\quad\dot{p}\left( \tau\right) =-\frac{\partial H}{\partial q}\,, $$

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

$$ \left[ f\left( \tau\right) q+g\left( \tau\right) \partial_{q} +\varphi\left( \tau\right) \right] \langle q\left\vert z,\tau\right\rangle =z\langle q\left\vert z,\tau\right\rangle . $$
(27)

General solution of this equation has the form

$$ \langle q\left\vert z,\tau\right\rangle ={\Phi}_{z}^{c_{1}c_{2}}\left( q,\tau\right) =\exp\left[ -\frac{f\left( \tau\right)} {g\left( \tau\right)} \frac{q^{2}}{2}+\frac{z-\varphi\left( \tau\right)} {g\left( \tau\right)} q+\chi\left( \tau\right) \right] , $$
(28)

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),

$$ {\Phi}_{z}^{c_{1}c_{2}}\left( q,\tau\right) =\exp\left\{ ip\left( \tau\right) q-\frac{f\left( \tau\right)} {2g\left( \tau\right)} \left[ q-q\left( \tau\right) \right]^{2}+\tilde{\chi}\left( \tau\right) \right\} . $$
(29)

where \(\tilde {\chi }\left (\tau \right ) \) is again an arbitrary function on τ.

The functions \({\Phi }_{z}^{c_{1}c_{2}}\) satisfy the following equation

$$ \hat{S}{\Phi}_{z}^{c_{1}c_{2}}\left( q,\tau\right) =\lambda\left( \tau\right) {\Phi}_{z}^{c_{1}c_{2}}\left( q,\tau\right), $$
(30)

where

$$\begin{array}{@{}rcl@{}} \lambda\left( \tau\right) &=&i\partial_{\tau}\tilde{\chi}\left( \tau\right) +\alpha q^{2}\left( \tau\right) -\frac{1}{2}\left[ p^{2}\left( \tau\right) +\frac{f}{g}\right] -i\nu p\left( \tau\right) \\ &&-\beta -i\varepsilon. \end{array} $$
(31)

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:

$$\begin{array}{@{}rcl@{}} \tilde{\chi}\left( \tau\right) & =&\phi\left( \tau\right) +\ln N,\\ \phi\left( \tau\right) & =&{\int}_{0}^{\tau}\left\{ i\alpha q^{2}\left( \tau\right) -\frac{i}{2}\left[\vphantom{\frac{\prod}{}} p^{2}\left( \tau\right)\right.\right.\\ &&+\left.\left.\frac{f} {g}\right] -i\nu p\left( \tau\right) -\beta-i\varepsilon\right\} d\tau, \end{array} $$
(32)

were N is a normalization constant, which we suppose to be real.

The probability densities generated by the wave functions (29) have the form

$$\begin{array}{@{}rcl@{}} \rho_{z}^{c_{1}c_{2}}\left( q,\tau\right)& =&\left\vert {\Phi}_{z}^{c_{1}c_{2}} \left( q,\tau\right) \right\vert^{2}\\ &=&N^{2}\exp\left\{ -\frac{\left[ q-q\left( \tau\right) \right]^{2}}{2\left\vert g\left( \tau\right) \right\vert^{2}}+2\operatorname{Re}\phi\left( \tau\right) \right\} . \end{array} $$
(33)

Considering the normalization integral, we find the constant N,

$$ {\int}_{-\infty}^{\infty}\rho_{z}^{c_{1}c_{2}}\left( q,\tau\right) dq=1\Rightarrow N=\frac{\exp\left( -\operatorname{Re}\phi\left( \tau\right) \right)} {\sqrt{\sqrt{2\pi}\left\vert g\left( \tau\right) \right\vert} }. $$
(34)

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

$$\begin{array}{@{}rcl@{}} {\Phi}_{z}^{c_{1}c_{2}}\left( q,\tau\right)&=&\frac{1}{\sqrt{\sqrt{2\pi} \left\vert g\left( \tau\right) \right\vert} }\\ &\exp&\left\{ ip\left( \tau\right) q-\frac{f\left( \tau\right)} {g\left( \tau\right)} \frac{\left[ q-q\left( \tau\right)\right]^{2}}{2}+i\operatorname{Im} \phi\left( \tau\right) \right\} \\ \end{array} $$
(35)

and the corresponding probability densities read

$$ \rho_{z}^{c_{1}c_{2}}\left( q,\tau\right) =\frac{1}{\sqrt{2\pi}\left\vert g\left( \tau\right) \right\vert} \exp\left\{ -\frac{\left[ q-q\left( \tau\right) \right]^{2}}{2\left\vert g\left( \tau\right) \right\vert^{2}}\right\} . $$
(36)

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,

$$\begin{array}{@{}rcl@{}} \sigma_{q}\left( \tau\right) &=&\sqrt{\langle\left( \hat{q}-\left\langle q\right\rangle \right) ^{2}\rangle}=\sqrt{\left\langle q^{2}\right\rangle -\left\langle q\right\rangle^{2}}=\left\vert g\left( \tau\right) \right\vert ,\\ \sigma_{p}\left( \tau\right) &=&\sqrt{\langle\left( \hat{p}-\left\langle p\right\rangle \right) ^{2}\rangle}=\sqrt{\left\langle p^{2}\right\rangle -\left\langle p\right\rangle^{2}}=\left\vert f\left( \tau\right) \right\vert ,\\ \sigma_{qp}\left( \tau\right)& =&\frac{1}{2}\left\langle \left( \hat {q}-\left\langle q\right\rangle \right) \left( \hat{p}-\left\langle p\right\rangle \right) +\left( \hat{p}-\left\langle p\right\rangle \right) \left( \hat{q}-\left\langle q\right\rangle \right) \right\rangle \\ &=&i\left[ 1/2-g\left( \tau\right) f^{\ast}\left( \tau\right) \right] . \end{array} $$
(37)

One can easily see that the generalized CS (35) minimize the Robertson-Schrödinger uncertainty relation [29, 30],

$$ {\sigma_{q}^{2}}\left( \tau\right) {\sigma_{p}^{2}}-\sigma_{qp}^{2}\left( \tau\right) =1/4. $$
(38)

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),

$$ \left.\sigma_{q}\left( \tau\right) \sigma_{p}\left( \tau\right) \right\vert_{2\operatorname{Re}\left( c_{1}^{\ast}c_{2}\right)} =\frac {1}{2}\sqrt{1+4\left( \operatorname{Im}\left( gf^{\ast}\right) \right) ^{2}}\geq\frac{1}{2}. $$
(39)

Then using (37), we find σ q (0)=σ q =|c 2| and σ p (0)=σ p =|c 1|, such that at τ=0, this relation reads

$$ \left. \sigma_{q}\sigma_{p}\right\vert_{2\operatorname{Re}\left( c_{1}^{\ast}c_{2}\right)} =\sqrt{\frac{1}{4}+\left[ \left\vert c_{2}\right\vert \left\vert c_{1}\right\vert \sin\left( \mu_{2}-\mu_{1}\right) \right]^{2}}. $$
(40)

Taking into account (14), we see that if μ 1=μ 2=μ, the left hand side of (39) is minimal, such that

$$ \sigma_{q}\sigma_{p}=1/2,\ \ \sigma_{qp}=0. $$
(41)

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

$$ g\left( 0\right) =\left\vert c_{2}\right\vert =\sigma_{q},\ \ f\left( 0\right) =\left\vert c_{1}\right\vert =\sigma_{p}=\frac{1}{2\sigma_{q}}. $$
(42)

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:

$$\begin{array}{@{}rcl@{}} {\Phi}_{z}^{\sigma_{q}}\left( q,\tau\right)& =&\frac{1}{\sqrt{\sqrt{2\pi} \sigma_{q}\left( \tau\right)} }\\ &\exp&\left\{ ip\left(\tau\right) q-\frac{f\left( \tau\right)} {g\left(\tau\right)} \frac{\left[ q-q\left(\tau\right) \right] ^{2}}{2}+i\operatorname{Im}\phi\left( \tau\right)\right\},\\ \phi\left(\tau\right) &=&{\int}_{0}^{\tau}i\left\{\alpha q^{2}\left(\tau\right) -\frac{i}{2}\left[p^{2}\left(\tau\right)\right.\right.\\ &&+\left.\left.\frac{f\left(\tau\right)}{g\left(\tau\right)}\right]-i\nu p\left(\tau\right)-\beta-i\varepsilon \right\}d\tau. \end{array} $$
(43)

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

$$ z=\frac{q_{0}}{2\sigma_{q}}+i\sigma_{q}p_{0},\, q_{0}=2\sigma_{q} \operatorname{Re}z, \,p_{0}=\frac{\operatorname{Im}z}{\sigma_{q}}\ . $$
(44)

The probability density that corresponds to the CS (43) reads

$$ \rho_{z}^{\sigma_{q}}\left( q,\tau\right) =\frac{1}{\sqrt{2\pi}\sigma_{q}\left( \tau\right)} \exp\left\{ -\frac{\left[q-q\left( \tau\right) \right]^{2}}{2{\sigma_{q}^{2}}\left( \tau\right)}\right\}. $$
(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

$$\begin{array}{@{}rcl@{}} &&\int\overline{{\Phi}_{z^{\prime}}^{\sigma_{q}}\left( q,\tau\right)} {\Phi}_{z}^{\sigma_{q}}\left( q,\tau\right) dq=\exp\left( z^{\prime\ast} z-\frac{\left\vert z^{\prime}\right\vert^{2}+\left\vert z\right\vert^{2}} {2}\right),\ \ \forall\tau,\\ &&\int\int{\Phi}_{z}^{\sigma_{q}}\left( q,\tau\right) \overline{{\Phi}_{z}^{\sigma_{q}}\left(q^{\prime},\tau\right)} d^{2}z=\pi\delta\left( q-q^{\prime}\right), \\ &&d^{2}z=d\operatorname{Re}z\ d\operatorname{Im} z, \forall\tau. \end{array} $$
(46)

4 An Exact Solution of Oscillator Equation with Time-Dependent Frequency and Related CS

Let us consider the following function ω 2(τ),

$$\begin{array}{@{}rcl@{}} \omega^{2}\left( \tau\right)&=&\omega^{2}+\frac{2{\omega_{0}^{2}}}{\cosh^{2}\omega_{0}\tau}, \omega^{2}\leq\omega^{2}\left( \tau\right) \\ &\leq&\omega_{\max}^{2}, \omega\left(\pm\infty\right) =\omega^{2}, \end{array} $$
(47)

where ω and ω 0 are some positive constants, ω maxω. The function ω 2(τ) is an even function, which decreases monotonically as |τ| changes from 0 to ,

$$ \omega^{2}\left(\pm\infty\right) =\omega^{2},\ \ \omega^{2}\left( 0\right) =\omega_{\max}^{2}=\omega^{2}+2{\omega_{0}^{2}}.\ $$
(48)

For ω = 1 and ω 0 = 2−1/2, the plot of the function ω(τ) has the form

figure a

The general solution of equation (18) can be written as

$$\begin{array}{@{}rcl@{}} g(\tau)&=&\left[ \frac{iA\,\omega_{0}\tanh(\omega_{0}\tau)}{\omega^{2} +{\omega_{0}^{2}}}+B\right] \cos(\omega\tau)\\ &&+\left[ \frac{iA\,\omega^{2}} {\omega^{2}+{\omega_{0}^{2}}}-B\,\omega_{0}\tanh(\omega_{0}\tau)\right] \frac{\sin(\omega\tau)}{\omega}. \end{array} $$
(49)

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:

$$\begin{array}{@{}rcl@{}} B&=&g\left( 0\right) =\left\vert g\left( 0\right) \right\vert =\sigma_{q},\ \\ A&=&f(0)=\left\vert f\left( 0\right) \right\vert =1/2\sigma_{q}. \end{array} $$
(50)

Using (49) and (50), we calculate the mean trajectories q(τ) and p(τ) according (26),

$$\begin{array}{@{}rcl@{}} q(\tau)&=&2\operatorname{Re}\left[ g\left( \tau\right) z^{\ast}\right] =\left. g\left( \tau\right) \right\vert_{A=\bar{A},\ B=\bar{B}}, \\ p(\tau)&=&\left. \dot{g}\left( \tau\right) \right\vert_{A=\bar {A},\ B=\bar{B}}=\dot{q}(\tau)\,,\\ \ \overline{A}&=&-\sigma_{q}^{-1} \operatorname{Im}z, \,\overline{B}=2\sigma_{q}\operatorname{Re}z\,. \end{array} $$
(51)

For ω min > 0, the mean trajectory q(τ) can be presented as

$$ q(\tau)=R_{0}R(\tau)\sin[\omega\tau+{\Theta}(\tau)+{\Theta}_{0}]\,, $$
(52)

where functions R(τ) and Θ(τ) and constants R 0 and Θ0 are

$$\begin{array}{@{}rcl@{}} R(\tau)&=&\sqrt{1+\frac{{\omega_{0}^{2}}}{\omega^{2}}\tanh^{2}\omega_{0}\tau} \,,\ \ 1\leqslant R(\tau)<\omega^{-1}\sqrt{\omega^{2}+{\omega_{0}^{2}}} \,;\\ {\Theta}(\tau)&=&\arctan\left[ \frac{\omega_{0}}{\omega}\tanh\omega_{0} \tau\right] ,\ \ -{\Delta}<{\Theta}(\tau)<{\Delta}\,,\ \ \\ {\Delta}&=&\arctan\left( \frac{\omega_{0}}{\omega}\right) \,;\\ R_{0}&=&\frac{\sqrt{{p_{0}^{2}}\omega^{2}+{q_{0}^{2}}(\omega^{2}+\omega_{0} ^{2})^{4}}}{(\omega^{2}+{\omega_{0}^{2}})^{2}},\ \ \sin{\Theta}_{0}=\frac{q_{0}} {R_{0}},\\ \cos{\Theta}_{0}&=&\frac{p_{0}\,\omega}{R_{0}(\omega^{2}+\omega_{0}^{2})^{2}}\,. \end{array} $$
(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 α=ω 2/2,ν=β=ε=0 such that ω 2(τ) = ω 2. Then,

$$\begin{array}{@{}rcl@{}} g\left(\tau\right)&=&\sigma_{q}\cos\omega\tau+\frac{i\sin\omega\tau} {2\sigma_{q}\omega},\ \\\ f\left( \tau\right) &=&\frac{\cos\omega\tau} {2\sigma_{q}}+i\sigma_{q}\omega\sin\omega\tau,\\ q(\tau) &=&q_{0}\cos\omega\tau+\frac{p_{0}}{\omega}\sin\omega\tau ,\\ p(\tau)&=&p_{0}\cos\omega\tau-\omega q_{0}\sin\omega\tau, \end{array} $$
(54)

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:

$$\begin{array}{@{}rcl@{}} {\Phi}_{z}^{\sigma_{q}}\left( q,\tau\right)&=&\frac{1}{\sqrt{\sqrt{2\pi} g\left( \tau\right)} }\exp\left\{ -\frac{1}{2}\frac{f\left( \tau\right)} {g\left( \tau\right)} \left[ q-\frac{z}{f\left( \tau\right)} \right] ^{2}\right.\\ &&+\left.\frac{f^{\ast}\left( \tau\right)} {f\left( \tau\right)} \frac{z^{2}} {2}-\frac{\left\vert z\right\vert^{2}}{2}\right\} . \end{array} $$
(55)

For these CS

$$\begin{array}{@{}rcl@{}} \sigma_{q}\left( \tau\right)& =&\sigma_{q}\sqrt{1+\frac{\left( 1-4\sigma_{q}^{4}\omega^{2}\right)} {4{\sigma_{q}^{4}}\omega^{2}}\sin^{2}\omega\tau},\ \ \\ \sigma_{p}\left( \tau\right)&=&\sigma_{p}\sqrt{1-\left( 1-4\sigma _{q}^{4}\omega^{2}\right) \sin^{2}\omega\tau}, \end{array} $$
(56)

and the corresponding probability density reads

$$ \rho_{z}^{\sigma_{q}}\left( q,\tau\right) =\frac{1}{\sqrt{2\pi}\sigma_{q}\left( \tau\right)} \exp\left\{ -\frac{\left[ q-q\left( \tau\right) \right]^{2}}{2{\sigma_{q}^{2}}\left( \tau\right)} \right\} . $$
(57)

One has to consider the following three cases:

  1. 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} $$
  2. 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} $$
  3. 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

$$\begin{array}{@{}rcl@{}} \lim\limits_{\omega_{0}\rightarrow0}g\left( \tau\right) &=&B\cos\left( \omega\tau\right) +\frac{iA}{\omega}\sin\left( \omega\tau\right) ,\ \\ &&\lim\limits_{\omega_{0},\omega\rightarrow0}g\left( \tau\right) =B+iA\tau,\\ \lim\limits_{\omega\rightarrow0}g\left( \tau\right) &=&(iA-B{\omega_{0}^{2}} \tau)\frac{\tanh(\omega_{0}\tau)}{\omega_{0}}+B, \end{array} $$

we obtain from (43) CS of a free particle studied by us in the [27].