1. Introduction
The existence of oscillator motion and the wave propagation mode are the necessary conditions for signal transmission, and consequently, information transfer. In a realistic quantum operation, the dissipation of a signal appears due to the loss of energy from a quantum system, for example, a single atom coupled to a single mode of electromagnetic radiation undergoes spontaneous emission [
1]. This may happen in an ion trap quantum computation, as proposed by Cirac and Zoller [
2]. Similarly, in spin-wave interconnects, spin-wave memories, or spin-wave transducers, and the attenuation reduces the efficiency, the lossy spin-wave propagation leads to fundamental limitations [
3]. In the construction of quantum computers and further quantum information systems, the qubits are responsible for information transfer. A single electron on a solid neon surface provides the experimental realization of a new qubit platform [
4]. In this realization, the limited coherent time is due to the energy and phase loss originating from the material surface deficiency and the noise of the environment.
These experiments and their theoretical discussions suggest the deeper understanding of dissipation of a single quantum package. The key to wave propagation is the oscillator; thus, it is worth dealing with the description of the quantized damped oscillator. The idea of quantizing the damped oscillator and the description of non-conserving energy subsystems coincide with the birth of quantum theory itself [
5,
6]. Based on their original idea of quantum dissipation, the description has been strongly developed [
7]. In other research, the explicit time-dependent formulation can also provide a successful deduction of the dissipative oscillator [
8,
9]. However, the uncertainty principle is incompatible with the time-dependent mathematical structure [
10]. The dissipative quantum systems can be modeled by the sets of decoupled harmonic oscillators in a reservoir [
11,
12,
13]. The considered systems have a statistical behavior, so the observed dynamics differ from the motion of a single damped quantum oscillator.
Generally, the lack of success of the solution was due to several stumbling blocks in the construction. The first difficulty was immediately in the formulation of the Lagrangian; consequently, it was not possible to deduce the canonical variables, the Hamiltonian, and the Poission bracket expressions. Thus, the commutation rules, required for the quantization procedure, could not be formulated at all.
The problem of the missing Lagrangian structure of the dissipative systems was much older than the elaboration of the quantization procedure of conservative systems; it went back to Rayleigh [
14]. The equation of motion (EOM) of the harmonic oscillator
is deduced from the Lagrangian of
where the related Euler–Lagrange equation is
To describe the damped oscillator, Rayleigh introduced the so-called dissipation potential—pertaining to the drag force
—
by which the EOM could be recovered in the following way:
It is easy to check that the correct EOM appears:
However, it can be proven that the added term on the right side in Equation (5) is not from the least action principle, and the related variational calculus, i.e., the Lagrangian frame is lost. Much later Bateman [
15] suggested a mirror image description in which a complementary equation appears due to the introduced function
y. Here, the variation problem is
In addition to the damped oscillator equation, the mirror image equation is
While the equation of
x relates to the damping solution, the equation of
y pertains to an exponentially increasing amplitude motion. The calculated Hamiltonian includes both of these functions at the same time. It may cause a cumbersome explanation and elaboration of canonical variable pairs. A few years ago, Bagarello et al. proved that the canonical quantization for the damped harmonic oscillator using the Bateman Lagrangian did not work [
16]. Similarly, Morse and Feshbach [
17] used the variable duplication method for the diffusion problem. In this case, the diffusion variable was considered a complex quantity, and its complex conjugate pair was the duplicated variable. Here, interpretation was cumbersome, due to the complex diffusion functions and the related canonical formulation.
The application of the complex absorbing potentials—firstly used for the description of scattering processes [
18,
19,
20,
21,
22,
23,
24,
25,
26]—may provide an opportunity for the description of dissipation and ireversibility in quantum theory. The method is that the Schrődinger equation is formulated by a complex potential
, where
represents the conservative potential, and
pertains to the damping. Therefore, the EOM for this system is
The deduced balance equation for
is
where just the complex part of the potential remains, generating the loss of the system. An obvious choice is to describe the motion of the quantum damped oscillator by the complex harmonic potential introduced by real-valued angular frequencies
and
[
26]
The solution can be obtained by the application of the Feynman path integral method [
27,
28,
29,
30], as it was shown previously [
26]. We see that this method stands on the complex generalization of the acting potential, and the dissipation appears as a consequence of this non-hermitian potential. However, we miss the direct—introduced by an “equation-level”—formulation of the dissipation.
An explicit time-dependent Lagrangian method using the WKB approximation in the quantization procedure was developed by Serhan et al. [
31,
32]. Despite the exponentially decreasing time-dependence of the wave function, it describes a standing solution in space.
A path integral method with a dynamical friction term was suggested for quantum dissipative systems by El-Nabulsi [
33]. Here, Stokes’ drag force introduced the loss. However, the equation did not contain the velocity-dependent term. It contrasts with the standard EOM, which yields the usual exponential relaxation in time.
Presently, we apply the canonical quantization method for the damped harmonic oscillator. We point out this classically developed procedure works in dissipative cases not only with conservative potentials. We start from the EOM, and we formulate the Lagrangian and the Hamiltonian of the problem in general in
Section 2. As a particular case, the Hamiltonian of the underdamped oscillator is expressed in
Section 3. The canonical quantization procedure is described in
Section 4, and the damping wave function is calculated by the path integral method in
Section 5. The results are summarized in a short conclusion in
Section 6.
The present technique has multiple advantages compared to the previous approaches. (i) The canonical expressions and the quantization steps are similar to the usual procedure. Thus, the developed description can be considered a generalization. (ii) The solving methods, such as the path integral method, can be applied without radical changes. (iii) The required necessary difference in the interpretation of the damped wave function can be interpreted.
2. The Lagrangian and Hamiltonian of a Damped Harmonic Oscillator
The quantization procedure requires the formulation of the complete Lagrangian–Hamiltonian frame first. To achieve this aim, we begin our examination with the EOM for the damped harmonic oscillator
where
m is the mass,
is a specific damping factor, and
is the angular frequency. For the measurable quantity
x, we define a generator potential
q characterizing the underlying degrees of freedom, i.e., the definition equation can be obtained as in [
34,
35,
36],
A suitable Lagrangian can be formulated by the potential
The equations of motion can be calculated from a Lagrangian of the general form
denotes the
nth order time derivative) [
37,
38]:
This method results in the EOM of the harmonic oscillator for the potential as the Euler–Lagrange equation. In general, Hamiltonian formalism requires canonical coordinate and momentum pairs
where
. The Hamiltonian can be deduced from the abovementioned general Lagrangian as
For the present particular case,
and
, we obtain the relevant coordinates as
and
Moreover, the general expression for the momentum
is
by which we calculate the particular case as
Similarly, we formulate the momentum
i.e.,
The Hamiltonian can be calculated by Equation (18). As a first step, we obtain it by the potential function
qThe following step is to substitute the potential function with the coordinates and the momenta. We arrive at the canonical formulation of the Hamiltonian as
To preserve the energy-like unit of the Hamiltonian, we transform the coordinates and the momenta. The transformation means a simple product by
,
, and
. Thus, we obtain new coordinates,
and
, and new momenta,
and
.
The meaning of the canonical moment
and the canonical coordinate
is the same as the mechanical momentum and the spatial coordinate. Moreover, the Hamiltonian,
, is obtained
The units of the quantities are denoted by the bracket
. Finally, the Hamiltonian of the damped oscillator is
Before we turn to the quantization procedure, it is worth examining a further property of this Hamiltonian. Since this Hamiltonian pertains to a dissipative process, we expect that this is a non-hermitian operator. The reason is that the probability does not conserve during dissipation. We will see later that the operators that belong to the first three terms are hermitian, but the fourth term is not. The fourth term operator will generate the dissipation in the description. Furthermore, the appearance of in the term similarly shows this fact.
3. The Devil Is in the Details
Since the formulation of the Lagrangian does not contain explicit time dependence, the Hamiltonian must be a constant value, i.e., the Hamiltonian expresses a conservation law. At this point, there is an open question of what the Hamiltonian exactly means. Here, we try to clarify the role of the Hamiltonian in this theory.
We focus just on the solutions that pertain to the underdamped and overdamped cases. As was shown previously by Szegleti et al. [
34], the
solution holds
where
. The last two terms are proportional to the exponentially increasing
, so they have non-physical meaning. Consequently, they could not have a role in the measurable
. After the fit of the initial conditions for the measurable quantities, the position, and the velocity,
and
, keeping the physical solutions, the relevant potential is
Now, we are ready to substitute this generator’s potential function into the expression of the Hamiltonian in Equation (25). The mathematical calculation results in
and similarly,
by Equation (32). Since there is no explicit time dependence in the Lagrangian, the Hamiltonian must be constant. Generally, the Hamiltonian is the energy of the oscillating mass point. However, now the energy of the damped oscillator dissipates during the vibration. So, the non-zero energy cannot be the constant of motion. This strange result means that this zero value Hamiltonian is the conserved quantity of the damped oscillator. We may say there is no contradiction in the theory. However, the Hamiltonian loses the meaning of the “total energy of the system”. Despite this situation, we consider the Hamiltonian as an energy-like quantity. We will see that this zero value Hamiltonian in Equation (50) (see below) enables us to elaborate on the quantization formulation of the dissipative oscillator.
4. The Quantization Procedure
To achieve the state equation of the quantized damped oscillator, we need to identify the canonical momenta in the Hamiltonian,
, in Equation (32). In the case of the canonical pair
from Equations (27) and (28), we introduce into the transformed space the spatial coordinate
yThe momentum
and the coordinate
are the usual canonically conjugated pairs. The construction of the momentum
and the coordinate
are based on Equations (29) and (30) and a comparison with the momentum
and the coordinate
in Equation (37). The appearing time factor in Equations (29) and (30) can be associated with Fourier transformed pairs, i.e.,
The terms of the Hamiltonian can be expressed in the operator formulation applying the above rules. The calculation of
and
proceeds as is usual.
Applying the above Fourier formulations, we can obtain the commutation rules
We take
from Equation (37) and the first Fourier transform in Equation (39); then, we obtain
The second term includes the
product. Now, we consider
from Equation (37) and
from Equation (38); then, we apply the third Fourier transform in Equation (39). The detailed steps are shown one by one
by which we obtain the second term of the Hamiltonian in the operator formalism
We continue with the
term. We take
from Equation (38) and
from Equation (37), and we apply the second and fourth Fourier transform, i.e.,
The last term of the Hamiltonian includes the
product. The relevant substitutions come from Equation (37), and we consider the fourth Fourier transform
by which we write
Taking the Hamiltonian in Equation (32), the fact that
in Equation (36), and substituting these expressions into it, the quantized state equation of the damped oscillator can be formulated as
Now, we can recognize the importance of the zero-valued Hamiltonian. Similar to the complex absorbing potential in Equation (11), a non-hermitian term appears in the state equation. Its role is the same as the term that generates dissipation in the motion. However, the deduction of the damped state equation comes from a consequent calculation; the complex part of the potential in Equation (11) is an ad hoc assumption. We can divide the equation into the undamped quantum harmonic oscillator and the damping part. The damping term also includes the quantum action factor ℏ.
5. Solution of Damping Wave Equation
The oscillation starts from a normalized Gaussian shape initial wave function, which is the eigenfunction of the lowest-lying energy level of the frictionless case:
with its center position
. The movement of the undamped oscillator (the frictionless part of Equation (50)) can be calculated by the Feynman path integral method [
27,
28,
29,
30]. Souriau pointed out a correction that is necessary beyond the first half-period of motion in the integration formula of Feynman [
39]. However, a further detailed study was to refine the oscillator wave packet motion. Naqvi and Waldenstrøm [
40] introduced a
parameter by which the width of the Gaussian wave packet changes periodically in time around the origin (see Figure 2 in Ref. [
26])
where
ensures the width change.
The first two terms in Equation (50) do not depend on the time, and since the third term includes a first-order time derivative, the damping effect can be extracted from the third and fourth terms (see
Appendix A), i.e.,
The solution to this equation can be expressed as
Finally, we obtain the exact solution of the quantum dissipative oscillator Equation (
50) as
The time evolution of
is presented in
Figure 1, as it is similarly experienced from the complex potential approximations in the description of dissipative quantum systems [
18,
26]. However, in the present quantization procedure, the damped oscillator frequency is identical to the frequency of the undamped oscillator. In contrast to the classic case, the damping does not modify the eigenfrequency
, i.e., the damping pertains to the energy and information loss. This fact suggests that the well-known Lorentz distribution in the scattering process does not relate to a frequency shift due to the damping effect on a quantum level. On the other hand, this result is in line with the second quantized solution in Ref. [
41]. In this reference, Equation (A4.21) clearly shows that there is no frequency shift in the case of a damped quantum oscillator but just amplitude damping. The experimental and theoretical motivations for the quantum dissipation can be found in the early Refs. [
42,
43].
A time series of
with parameters set as
,
,
, and
is shown in
Figure 1 in which the evolution can be easily followed in one time period.
The damping of the quantum dissipative oscillator arises from the smooth function , so the graph is similar for higher values.