Lithuanian Journal of Physics, Vol. 59, No. 3, pp. 121–129 (2019) © Lietuvos mokslų akademija, 2019
Received 18 June 2019; accepted 25 June 2019
The solution of the Liouville equation for the ensemble of free particles is presented and the classical analog to the quantum accelerating Airy wave packet is constructed and discussed. Considering the motion of various classical packets – with an infinite and restricted distribution of velocities of particles – and also the motion of their fronts, we demonstrate in the simplest and most definite way why the packet can display a more sophisticated behaviour (even acceleration) as compared with a free individual particle that moves at a fixed velocity. A comparison of this classical solution with the quantum one in the Wigner representation of quantum mechanics, which provides the closest analogy, is also presented.
Keywords: Liouville equation, accelerating front, density matrix in Wigner representation
Due to dispersion in the Schrödinger equation, wave packets usually spread out during their propagation at a constant velocity in free space. However, almost half a century ago it was shown [1] that there existed a specific solution of that equation expressed in the Airy function which, on the one hand, did not change its form (that is why it is called a coherent state), and, on the other hand, it demonstrated an accelerating motion. These exotic solutions have recently aroused some interest [2] in possible applications towards the description of non-spreading optical beams [3] and the generation and control of plasma in dielectrics [4].
The abovementioned solution is also interesting from a didactic point of view because of an obvious contradiction between the quantum accelerating state and the classical free particle motion corresponding to it. Usually this contradiction is explained on the basis of the wave properties of the packet. In our view the main reason for that is a statistical nature of quantum mechanics. If this is the case, such strange packets should exist in classical mechanics as well if particles were described statistically using the Liouville equation. The aim of this paper is to present solutions of that equation and to discuss the classical analog to the accelerating quantum coherent state corresponding to a free particle. To our mind, this classical problem is much simpler as compared to the quantum one, and consequently it may be helpful in understanding quantum mechanical problems better. In addition, we show that the analogy between the classical and quantum descriptions of the abovementioned sophisticated packets is quite close if the density matrix equation in the Wigner representation of quantum mechanics is used.
The paper is organized as follows. In Section 2 a description of the model is provided, convenient dimensionless variables are introduced, and the Liouville equation for the ensemble of free particles is formulated. A general solution of that equation is given in Section 3. In the following three sections special cases such as an accelerating packet, a single particle and the packet of a restricted velocity distribution are discussed. Section 7 deals with the possible accelerating motion of the sharp front. In Section 8 classical solutions obtained are compared with the quantum ones given in the Wigner representation of quantum mechanics. Our conclusions are presented in Section 9.
The quantum wave packet corresponding to the accelerating quantum particle is described by the following Schrödinger equation:
Here m is the particle mass, a is its acceleration, and ћ is the Planck constant. To make expressions more transparent we rescale time t, coordinate x and velocity v as follows:
After this transformation the initial Eq. (1) can be presented in a simpler dimensionless form:
The dimensional expressions can be easily restored by applying the same transformation in the opposite direction.
As mentioned in the Introduction, Berry and Balazs have shown [1] that the Schrödinger equation for the free particle
has the solution
where the symbol Ai stands for the Airy function [5]. The probability corresponding to this wave function,
is a function of the single argument (x – t2/2) indicating that it is a coherent state related to the accelerating particle.
Now we are switching over to our main purpose, and we shall discuss the classical description of a similar motion. Instead of using Newton’s equations for the individual particle we consider the ensemble of free particles and treat them statistically. The statistical description of classical particles is based on the Liouville theorem [6] which states that the distribution function f(x, v, t) of the particles in the phase space (the density of particles in the (x, v) plane in our case) behaves like an ideal liquid which remains constant when moving along the classical trajectories. This statement leads to the following Liouville equation
for the distribution function of free particles. The solution of this equation enables us to express all properties of the particles via the integrals with the distribution function given above. For instance, the density of the particles as a function of coordinate and time is given as follows:
This statistical technique is considered to be an analog to the solution of Newton’s equations for individual particles.
The simplest way to find the solution of Eq. (7) corresponding to the accelerating motion is to look for a static solution in the accelerating frame {y, w} which is related to the initial laboratory frame {x, v} by the following equations:
In order to obtain the Liouville equation in the new frame it is necessary to make the following substitution of the derivatives in Eq. (7),
which leads to the following equation:
Actually it is the same Liouville equation including the additional force term that appears due to a non-inertial accelerating frame.
According to Courant [7], the first-order partial differential equation can be solved by means of the trajectory method. These trajectories (or characteristic curves) follow from the set of ordinary differential equations which are composed of Eq. (11) coefficients in the following way:
In solving these equations we obtain the trajectories
defined by two constants y0 and w0. Actually they are trajectories of individual particles if one describes them by means of Newton’s equations. According to the abovementioned trajectory method, Eq. (11) means that the derivative of the distribution function along the trajectories (13) is equal to zero. Therefore the distribution function is constant along each of them, and the general solution of the Liouville equation (11) can be given as any function of those two constants characterizing the trajectory:
This expression will be used to obtain and discuss all specific solutions.
Let us start with the accelerating solution which is an analog to the quantum coherent state with the probability given by Eq. (6).
Eliminating time t from Eqs. (13) we obtain the following equation,
which defines a set of fixed trajectories in the (y, w) plane. They are shown in Fig. 1 by dashed parabolas. The constant c0 indicates the rightmost point of the parabola. One of them indicated by a (red online) solid curve corresponds to the c0 = 0 value. Since the solution of the Liouville equation (14) can be chosen as any function of two constants y0 and w0, we choose it as a function of their expression given by Eq. (15),
where the symbol δ(x) stands for the Dirac δ-function. This function corresponds to the case, where all particles are located only on the red (c0 = 0) trajectory with constant density. This distribution can be regarded as a static one only nominally because from a microscopic point of view all particles move along the trajectories in the direction shown by the arrow.
Now by performing transformation (9) we obtain the following distribution function in the laboratory frame:
As time t appeared in the argument of the distribution function, the trajectories in the laboratory frame are no longer fixed. The motion of the trajectory corresponding to function (17) (to the red online trajectory shown in Fig. 1) is illustrated in Fig. 2, where time values are indicated by numbers on the curves. The rightmost points of the moving parabolas are shown by small solid (blue online) circles. They are located on the solid parabola
that is obtained by zeroing both brackets in the argument of function (17). This parabola corresponds to the accelerating particle with
This accelerating motion reveals itself more clearly when the density of particles is calculated by means of integral (8) with distribution function (17), namely,
where the zeroes of the δ-function argument are as follows:
Consequently, the density of particles reads
where the symbol
stands for the Heaviside step function.
We see that the density demonstrates radicaltype singularity that accelerates in the positive direction of the x axis. It is shown in Fig. 3 by a thick solid (blue online) curve as a function of the (x – t2/2) argument. For comparison the quantum mechanical result (6) is indicated by a thin (red online) curve just below the classical one. Within the accuracy of normalization the classical result coincides with the envelope of the asymptote of the squared Airy function [5]
which confirms that the considered classical problem of free particles is an analog to the accelerating coherent quantum state. It leads us to the conclusion that the effect of acceleration is caused by the statistical properties of the classical system, as well as a statistical nature of the quantum system.
Now we shall show that the obtained accelerating state of the ensemble of particles does not contradict to the motion of a free individual particle which maintains its constant velocity.
The motion of an individual particle follows from the general solution of the Liouville equation (7) when the bellow-presented distribution function is chosen:
It corresponds to the particle which at the moment t = 0 is located at the point {x0, v0}.
Using Eqs. (9) and going back to the laboratory frame we obtain the following distribution function,
which shows that the individual particle moves along the trajectory
maintaining its initial velocity v0 indicated in Fig. 2 by a thin horizontal dotted line.
Consequently, the effect of acceleration is a pure statistical property of the ensemble of particles caused by a very specific initial condition when particles with a constant density are located on the infinite (red online) trajectory shown in Fig. 1. This initial distribution includes particles of infinite velocities, which results in nonintegrable density.
The interesting question is whether it is possible to find an experimentally realizable initial condition when the packet demonstrates the accelerating motion. We shall try to answer this question modifying the distribution function (16), and adding some localization of velocities close to some average velocity v0, namely choosing this function as follows:
Here the function Φ(v) stands for some symmetric local distribution of velocities. For instance, the Gaussian distribution
may be chosen.
Going back to the laboratory frame we have
In a sense we can regard this distribution function as an intermediate solution between a nonphysical distribution (17) that demonstrates the accelerating motion and the distribution (26) corresponding to the individual particle that maintains a constant velocity. This distribution can be generated experimentally by injecting particles at the point x = 0 with some retardation depending on the particle velocity. It might be expected that in changing the D value it is possible to change gradually one type of motion to another one.
Let us check that possibility by calculating the mean coordinate of the packet,
where
denotes the initial mean coordinate of the packet.
We see that the real packet of limited velocities demonstrates the motion at a fixed average velocity independently of the width D/4 of the packet. This fact has been noticed [8] before when commenting on the motion of quantum mechanical packets composed of the superposition of the abovementioned Airy functions.
Although we failed to construct the accelerating packet, we show that it is possible to construct the packet with some accelerating parts, for instance, with the accelerating front. In order to illustrate this possibility we consider the packet with a rectangle type distribution of velocities (the constant velocity in the region 0 ≤ w ≤ v0) on the initial (red online) trajectory shown in Fig. 1:
Using Eqs. (9) we go back to the laboratory frame and obtain the following solution of the Liouville equation:
The evolution of this trajectory is shown in Fig. 4. Actually it is a horizontal stripe cut out of Fig. 2, which emerged owing to the restriction of velocities in the packet. Every point of the trajectory, say the one indicated by a (blue online) circle, moves to the right along a thin dotted horizontal line, and the initial (red online) trajectory moves to the right and upwards with its rightmost point {xk, vk} moving along the (green online) parabola xk = v2k/2, as explained in Section 4. The evolution of the coordinate and velocity corresponding to this point is shown in Fig. 5. We see that the acceleration of the front is evident. But it does not last forever. At the moment t0 the rightmost point of the trajectory reaches the limiting velocity v0, and its velocity no longer increases, as seen in Fig. 4. The reason for that is trivial: there are no more particles in the initial distribution with a larger velocity than v0, and the front velocity stabilizes.
In our opinion, this example clearly illustrates the difference between the motion of an individual particle described by an ordinary differential equation and the effects of the ensemble of particles described by a partial derivative equation. The latter one has many more degrees of freedom, and therefore it has many more various solutions, even some exotic ones. In the considered case the acceleration of the front takes place not only because of acceleration of individual particles but also because of their collective motion during which faster particles injected later overtake the slower ones, and consequently, the impression of the accelerating front forms. There are more effects of that type in physics. It is worth mentioning the difference in phase and group velocities of the wave in the dispersive media, or precursors [9] moving faster than the wave packets.
The analogy between the classical solution of the Liouville equation and the accelerating coherent quantum mechanical state that we demonstrated in the previous sections becomes even closer if the quantum state is described by a density matrix. It is known that the quantum mechanical description can be based not only on the wave function Ψ(x, t) which satisfies the Schrödinger equation
but also on the density operator ρ̂ that satisfies the quantum Liouville (or von Neumann) equation
When comparing Eqs. (4) and (35) we see that in our case of dimensionless variables the free particle Hamiltonian reads
In the coordinate representation the density operator is usually presented by the density matrix which in the case of a pure state (in the case where the quantum system is characterized by the wave function) reads
In 1932 Wigner [10] proposed to replace this density matrix with the function
which depends on the mean coordinate x = (x1 + x2)/2, and is the Fourier transform with respect to the relative coordinate ξ = x2 – x1. All other operators of quantum mechanics have to be changed in the same way. It should be noted that we still use the same dimensionless variables. That is why there is no Planck constant in the above transformation, and the velocity v coincides with the dimensionless momentum p → (ћm2a)1/3p. The equations that are obtained in this way are called the Wigner representation of quantum mechanics [11]. Its main advantage is that in this representation quantum symbols and equations are quite similar to their classical counterparts. For instance, the coordinate and momentum operators convert themselves just to the numbers similar to the coordinate x and the momentum v used in classical mechanics. Their mean values are expressed in terms of simple integrals with the Wigner distribution function F(x, v, t):
The density of the particles is also given by the integral similar to its classical counterpart
Some price has to be paid for this simplicity and clearness: the product of two operators and their commutator have more complicated expressions. Hence, if in the Wigner representation the quantum mechanical operators  and B̂ are replaced with the functions a(x, v) and b(x, v), respectively, their product and commutator have to be presented as follows:
These equations are merely mnemonic rules presenting the Taylor expansions of the derivatives, where indexes show which function (a or b) they have to be applied to.
Although the sinus and exponent Taylor expansions are infinite, very often they break off when applied to polynomial-type functions. Such is the free particle Hamiltonian (37) which becomes a quadratic function of the momentum H = v2/2 in the Wigner representation. Due to this the sinus function in Eq. (42b) can be replaced with its argument, and the commutator can be rewritten as follows:
Inserting this expression into Eq. (36) we finally obtain the following quantum Liouville equation in the Wigner representation
which coincides exactly with the classical Eq. (7).
Consequently, in the case of simple systems (that of free particles) the density matrix in the Wigner representation satisfies the classical Liouville equation, and the quantum effects may reveal themselves only due to additional restrictions, such as the boundary or initial conditions, to be satisfied by the density matrix.
In order to understand better the difference between the classical and quantum solution of the Liouville equation we compute the Wigner function (39) in our case of the coherent state described by the wave function of Airy type (5),
where
This integral can be calculated analytically taking advantage of the integral representation of the Airy function
where the contour of integration is shifted up in the complex u plane by small quantity α to insure convergence of the integral. Now denoting P = v–t, a = 21/3 and omitting the integral limits (they are the same as in integral (47)), we write down the Wigner function as follows:
Finally substituting u = (η + P)/a we rewrite this integral as
which according to Eq. (47) lets one to express this Wigner function in terms of the Airy function:
We see that the argument of this function coincides with the argument of the classical distribution function (17) which proves that the Wigner function of the considered pure coherent Airy state can be constructed in the same way as the classical solution of the Liouville equation, namely, as some constant distribution along the classical trajectories. The only difference is that in the quantum case the constants characterizing different trajectories cannot be chosen arbitrary which indicates a well-known fact that the quantum solution is stronger correlated as compared with the classical one. This correlation appears as oscillations, the characteristic period of which, according to Eq. (2), is proportional to ћ2/3. Incidentally, this result illustrates a plain fact that the limiting transition of quantum mechanics to classical one at ћ → 0 is quite complicated: the quantum oscillations disappear due to an increase in their frequency rather than due to a decrease in their amplitude.
Meanwhile the density calculated by the integral (41) with the Wigner function (50) coincides with the one obtained by Eq. (6) that we have checked numerically.
We presented a general solution of the Liouville equation describing an ensemble of free particles. In considering various specific cases we showed that although individual particles moved at a fixed velocity, the packet constructed of them can demonstrate quite a different behaviour. If the packet includes the particles with unrestricted velocities, it can even accelerate, and thus, it can become an analog to the quantum coherent accelerating state described by the Airy function.
The mean coordinate of the packet which is composed of the particles with restricted velocities does not show any acceleration. However, even in this case it is possible either to choose the initial condition or inject particles in a correlated way so that some parts of the packet, say, its front, should accelerate during the finite time interval. The essence of this motion is that the particles which are injected later overtake the slowest ones, and in this way create the image of the accelerating front.
These conclusions are applied in the case of the quantum free particle because the density matrix equation in the Wigner representation for this simple system coincides with the classical Liouville equation.
This research was partly (A. Acus) funded by the European Social Fund under Grant No. 09.3.3-LMTK-712-01-0051. The authors are sincerely grateful to Professor Kęstutis Pyragas for a detailed discussion of the work and his helpful comments.
[1] M.V. Berry and N.L. Balazs, Nonspreading wave packets, Am. J. Phys. 47(3), 264–267 (1979).
[2] V.M. Vyas, Airy wavepackets are Perelomov coherent states, Am. J. Phys. 86(10), 750–754 (2018).
[3] G.A. Siviloglou and D.N. Christodoulides, Accelerating finite energy Airy beams, Opt. Lett. 32(8), 979–981 (2007).
[4] P. Polynkin, M. Kolesnik, J.V. Moloney, G.A. Siviloglou, and D.N. Christodoulides, Curved plasma channel generation using ultraintense Airy beams, Science 324(5924), 229–232 (2009).
[5] M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions, Sec. 10.4 (National Bureau of Standards, Washington, 1972).
[6] H. Goldstein, C. Poole, and J. Safko, Classical Mechanics (Addison Wesley, New York, 2000), p. 419.
[7] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. 2 (John Wiley & Sons, New York, 1989), 5, p. 28.
[8] J. Lekner, Airy wavepacket solutions of the Schrödinger equation, Eur. J. Phys. 30, L43–L46 (2009).
[9] A. Matulis, M. Zarenia, and F.M. Peeters, Wave fronts and packets in 1D models of different meta-materials: Graphene, left-handed media and transmission line, Phys. Status Solidi 10, 2330–2338 (2015).
[10] E. Wigner, On the quantum correction for thermodynamic equilibrium, Phys. Rev. 40, 749–759 (1932).
[11] S.R. Groot and L.G. Suttorp, Foundations of Electrodynamics, Ch. 6 (North-Holland Publishing Company, Amsterdam, 1971).
Santrauka
Pateiktas Liuvilio lygties sprendinys, aprašantis laisvų dalelių ansamblį, ir sukonstruotas bei aptartas klasikinis kvantinio greitėjančio banginio Airy paketo analogas.
Sugretinus įvairius klasikinius begalinio ir riboto dalelių greičių pasiskirstymų paketus, pačiu paprasčiausiu būdu parodyta, kodėl iš laisvųjų dalelių, judančių pastoviu greičiu, sudarytas paketas gali elgtis gana įvairiai (taip pat ir greitėti). Šie klasikinio paketo judėjimo ypatumai palyginti su kvantinę dalelę aprašančiais tankio matricos lygties sprendiniais Vignerio vaizdavime, kur klasikinio bei kvantinio aprašymų analogija yra ryškiausia.