Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Physics LibreTexts

2.2: Free Particle- Wave Packets

( \newcommand{\kernel}{\mathrm{null}\,}\)

Let us start our discussion of particular problems with the free 1D motion, i.e. with U(x,t)=0. From Eq. (1.29), it is evident that in the 1D case, a similar "fundamental" (i.e. a particular but the most important) solution of the Schrödinger equation (1) is a sinusoidal ("monochromatic") wave Ψ0(x,t)= const ×exp{i(k0xω0t)}. According to Eqs. (1.32), it describes a particle with definite momentum 2p0=k0 and energy E0=ω0 =2k20/2m. However, for this wavefunction, the product ΨΨ does not depend on either x or t, so that the particle is completely delocalized, i.e. the probability to find it the same along all axis x, at all times.

In order to describe a space-localized state, let us form, at the initial moment of time (t=0), a wave packet of the type shown in Fig. 1.6, by multiplying the sinusoidal waveform (15) by some smooth envelope function A(x). As the most important particular example, consider the Gaussian wave packet Ψ(x,0)=A(x)eik0x, with A(x)=1(2π)1/4(δx)1/2exp{x2(2δx)2} (By the way, Fig. 1.6a shows exactly such a packet.) The pre-exponential factor in this envelope function has been selected in the way to have the initial probability density, w(x,0)Ψ(x,0)Ψ(x,0)=A(x)A(x)=1(2π)1/2δxexp{x22(δx)2} normalized as in Eq. (3), for any parameters δx and k03

To explore the evolution of this wave packet in time, we could try to solve Eq. (1) with the initial condition (16) directly, but in the spirit of the discussion in Sec. 1.5, it is easier to proceed differently. Let us first represent the initial wavefunction (16) as a sum (1.67) of the eigenfunctions ψk(x) of the corresponding stationary 1D Schrödinger equation (1.60), in our current case 22md2ψkdx2=Ekψk, with Ek2k22m, which are simply monochromatic waves, ψk=akeikx. Since (as was discussed in Sec. 1.7) at the unconstrained motion the spectrum of possible wave numbers k is continuous, the sum (1.67) should be replaced with an integral: 4 Ψ(x,0)=akeikxdk Now let us notice that from the point of view of mathematics, Eq. (20) is just the usual Fourier transform from the variable k to the "conjugate" variable x, and we can use the well-known formula of the reciprocal Fourier transform to write ak=12πΨ(x,0)eikxdx=12π1(2π)1/4(δx)1/2exp{x2(2δx)2i˜kx}dx, where ˜kkk0. This Gaussian integral may be worked out by the following standard method, which will be used many times in this course. Let us complement the exponent to the full square of a linear combination of x and k, adding a compensating term independent of x : x2(2δx)2i˜kx1(2δx)2[x+2i(δx)2˜k]2˜k2(δx)2. Since the integration in the right-hand side of Eq. (21) should be performed at constant ˜k, in the infinite limits of x, its result would not change if we replace dx by dxd[x+2i(δx)2˜k]. As a result, we get: 5 ak=12π1(2π)1/4(δx)1/2exp{˜k2(δx)2}exp{x2(2δx)2}dx=(12π)1/21(2π)1/4(δk)1/2exp{˜k2(2δk)2} so that ak also has a Gaussian distribution, now along the k-axis, centered to the value k0 (Fig. 1.6b), with the constant δk defined as δk1/2δx. Thus we may represent the initial wave packet (16) as Ψ(x,0)=(12π)1/21(2π)1/4(δk)1/2exp{(kk0)2(2δk)2}eikxdk. From the comparison of this formula with Eq. (16), it is evident that the r.m.s. uncertainty of the wave number k in this packet is indeed equal to δk defined by Eq. (24), thus justifying the notation. The comparison of the last relation with Eq. (1.35) shows that the Gaussian packet represents the ultimate case in which the product δxδp=δx(δ) has the lowest possible value (/2); for any other envelope’s shape, the uncertainty product may only be larger. We could of course get the same result for δk from Eq. (16) using the definitions (1.23), (1.33), and (1.34); the real advantage of Eq. (25) is that it can be readily generalized to t>0. Indeed, we already know that the time evolution of the wavefunction is always given by Eq. (1.69), for our current case 6 Ψ(x,t)=(12π)1/21(2π)1/4(δk)1/2exp{(kk0)2(2δk)2}eikxexp{ik22mt}dk

Screen Shot 2022-01-15 at 12.33.35 AM 1.png
Fig. 1 shows several snapshots of the real part of the wavefunction (26), for a particular case δk=0.1k0.
Screen Shot 2022-01-15 at 12.34.37 AM.png
Fig. 2.1. Typical time evolution of a 1D wave packet on (a) smaller and (b) larger time scales. The dashed lines show the packet envelopes, i.e. ±|Ψ|.

The plots clearly show the following effects:

(i) the wave packet as a whole (as characterized by its envelope) moves along the x-axis with a certain group velocity vgr,

(ii) the "carrier" quasi-sinusoidal wave inside the packet moves with a different, phase velocity vph, which may be defined as the velocity of the spatial points where the wave’s phase φ(x,t)argΨ takes a certain fixed value (say, φ=π/2, where ReΨ vanishes), and

(iii) the wave packet’s spatial width gradually increases with time - the packet spreads.

All these effects are common for waves of any physical nature. 7 Indeed, let us consider a 1D wave packet of the type (26), but more general: Ψ(x,t)=akei(kxωt)dk, propagating in a medium with an arbitrary (but smooth!) dispersion relation ω(k), and assume that the wave number distribution ak is narrow: δk<kk0 see Fig. 1.6b. Then we may expand the function ω(k) into the Taylor series near the central wave number k0, and keep only three of its leading terms: ω(k)ω0+dωdk˜k+12d2ωdk2˜k2, where ˜kkk0,ω0ω(k0), where both derivatives have to be evaluated at the point k=k0. In this approximation, 8 the expression in the parentheses on the right-hand side of Eq. (27) may be rewritten as kxω(k)tk0x+˜kx(ω0+dωdk˜k+12d2ωdk2˜k2)t(k0xω0t)+˜k(xdωdkt)12d2ωdk2˜k2t so that Eq. (27) becomes Ψ(x,t)ei(k0xω0t)akexp{i[˜k(xdωdkt)12d2ωdk2˜k2t]}d˜k First, let neglect the last term in square brackets (which is much smaller than the first term if the dispersion relation is smooth enough and/or the time interval t is sufficiently small), and compare the result with the initial form of the wave packet (27): Ψ(x,0)=akeikxdk=A(x)eik0x, with A(x)akei˜kxd˜k The comparison shows that in this approximation, Eq. (30) is reduced to Ψ(x,t)=A(xvgrt)eik0(xvpht), where vgr and vph are two constants with the dimension of velocity: vgrdωdk|k=k0,vphωk|k=k0 Clearly, Eq. (32) describes the effects (i) and (ii) listed above. For the particular case of the de Broglie waves, whose dispersion law is given by Eq. (1.30), vgrdωdk|k=k0=k0mv0,vphωk|k=k0=k02m=vgr2. We see that (very fortunately :-) the velocity of the wave packet’s envelope is equal to v0 - the classical velocity of the same particle.

Next, the last term in the square brackets of Eq. (30) describes the effect (iii), the wave packet’s spread. It may be readily evaluated if the packet (27) is initially Gaussian, as in our example (25): ak= const ×exp{˜k2(2δk)2} In this case the integral (30) is Gaussian, and may be worked out exactly as the integral (21), i.e. by representing the merged exponents under the integral as a full square of a linear combination of x and k : ˜k2(2δk)2+i˜k(xvgrt)i2d2ωdk2˜k2tΔ(t)(˜k+ixvgrt2Δ(t))2(xvgrt)24Δ(t)+ik0xi2d2ωdk2k20t, where I have introduced the following complex function of time: Δ(t)14(δk)2+i2d2ωdk2t=(δx)2+i2d2ωdk2t and used Eq. (24). Now integrating over ˜k, we get Ψ(x,t)exp{(xvgrt)24Δ(t)+i(k0x12d2ωdk2k20t)}. The imaginary part of the ratio 1/Δ(t) in this exponent gives just an additional contribution to the wave’s phase and does not affect the resulting probability distribution w(x,t)=ΨΨexp{(xvgrt)22Re1Δ(t)}. This is again a Gaussian distribution over axis x, centered to point x=vgr t, with the r.m.s. width (δx)2{Re[1Δ(t)]}1=(δx)2+(12d2ωdk2t)21(δx)2. In the particular case of de Broglie waves, d2ω/dk2=/m, so that (δx)2=(δx)2+(t2m)21(δx)2. The physics of the packet spreading is very simple: if d2ω/dk20, the group velocity dω/dk of each small group dk of the monochromatic components of the wave is different, resulting in the gradual (eventually, linear) accumulation of the differences of the distances traveled by the groups. The most curious feature of Eq. (39) is that the packet width at t>0 depends on its initial width δx(0)=δx in a non-monotonic way, tending to infinity at both δx0 and δx. Because of that, for a given time interval t, there is an optimal value of δx that minimizes δx ’: (δx)min=2(δx)opt=(tm)1/2. This expression may be used for estimates of the spreading effect. Due to the smallness of the Planck constant on the human scale of things, for macroscopic bodies this effect is extremely small even for very long time intervals; however, for light particles it may be very noticeable: for an electron (m=me 1030 kg ), and t=1 s, Eq. (40) yields (δx)min1 cm.

Note also that for any t0, the wave packet retains its Gaussian envelope, but the ultimate relation (24) is not satisfied, δxδp>/2 - due to a gradually accumulated phase shift between the component monochromatic waves. The last remark on this topic: in quantum mechanics, the wave packet spreading is not a ubiquitous effect! For example, in Chapter 5 we will see that in a quantum oscillator, the spatial width of a Gaussian packet (for that system, called the Glauber state of the oscillator) does not grow monotonically but rather either stays constant or oscillates in time.

Now let us briefly discuss the case when the initial wave packet is not Gaussian but is described by an arbitrary initial wavefunction. To make the forthcoming result more aesthetically pleasing, it is beneficial to generalize our calculations to an arbitrary initial time t0; it is evident that if U does not depend on time explicitly, it is sufficient to replace t with (tt0) in all above formulas. With this replacement, Eq. (27) becomes Ψ(x,t)=akei[kxω(tt0)]dk and the reciprocal transform (21) reads ak=12πΨ(x,t0)eikxdx. If we want to express these two formulas with one relation, i.e. plug Eq. (42) into Eq. (41), we should give the integration variable x some other name, e.g., x0. (Such notation is appropriate because this variable describes the coordinate argument in the initial wave packet.) The result is Ψ(x,t)=12πdkdx0Ψ(x0,t0)ei[k(xx0)ω(tt0)]. Changing the order of integration, this expression may be rewritten in the following general form: Ψ(x,t)=G(x,t;x0,t0)Ψ(x0,t0)dx0, where the function G, usually called kernel in mathematics, in quantum mechanics is called the propagator. 9 Its physical sense may be understood by considering the following special initial condition: 10 Ψ(x0,t0)=δ(x0x), where x ’ is a certain point within the domain of particle’s motion. In this particular case, Eq. (44) gives Ψ(x,t)=G(x,t;x,t0). Hence, the propagator, considered as a function of its arguments x and t only, is just the wavefunction of the particle, at the δ-functional initial conditions (45). Thus just as Eq. (41) may be understood as a mathematical expression of the linear superposition principle in the momentum (i.e., reciprocal) space domain, Eq. (44) is an expression of this principle in the direct space domain: the system’s "response" Ψ(x,t) to an arbitrary initial condition Ψ(x0,t0) is just a sum of its responses to its elementary spatial "slices" of this initial function, with the propagator G(x,t;x0,t0) representing the weight of each slice in the final sum.

According to Eqs. (43) and (44), in the particular case of a free particle the propagator is equal to G(x,t;x0,t0)=12πei[k(xx0)ω(tt0)]dk, Calculating this integral, one should remember that here ω is not a constant but a function of k, given by the dispersion relation for the partial waves. In particular, for the de Broglie waves, with ω=2k2/2m, G(x,t;x0,t0)12πexp{i[k(xx0)k22m(tt0)]}dk This is a Gaussian integral again, and may be readily calculated just it was done (twice) above, by completing the exponent to the full square. The result is G(x,t;x0,t0)=(m2πi(tt0))1/2exp{m(xx0)22i(tt0)}. Please note the following features of this complex function (plotted in Fig. 2):

(i) It depends only on the differences (xx0) and (tt0). This is natural because the free-particle propagation problem is translation-invariant both in space and time.

(ii) The function’s shape does not depend on its arguments - they just rescale the same function: its snapshot (Fig. 2), if plotted as a function of un-normalized x, just becomes broader and lower with time. It is curious that the spatial broadening scales as (tt0)1/2 just as at the classical diffusion, as a result of a deep mathematical analogy between quantum mechanics and classical statistics - to be discussed further in Chapter 7.

(iii) In accordance with the uncertainty relation, the ultimately compressed wave packet (45) has an infinite width of momentum distribution, and the quasi-sinusoidal tails of the free-particle propagator, clearly visible in Fig. 2, are the results of the free propagation of the fastest (highestmomentum) components of that distribution, in both directions from the packet center.

Screen Shot 2022-01-15 at 12.43.12 AM.pngFig. 2.2. The real (solid line) and imaginary (dotted line) parts of the 1D free particle’s propagator (49).

In the following sections, I will mostly focus on monochromatic wavefunctions (that, for unconfined motion, may be interpreted as wave packets of a very large spatial width δx ), and only rarely discuss wave packets. My best excuse is the linear superposition principle, i.e. our conceptual ability to restore the general solution from that of monochromatic waves of all possible energies. However, the reader should not forget that, as the above discussion has illustrated, mathematically such restoration is not always trivial.


2 From this point on to the end of this chapter, I will drop the index x in the x-components of the vectors k and p.

3 This fact may be readily proven using the well-known integral of the Gaussian function (17), in infinite limits see, e.g., MA Eq. (6.9b). It is also straightforward to use MA Eq. (6.9c) to prove that for the wave packet (16), the parameter δx is indeed the r.m.s. uncertainty (1.34) of the coordinate x, thus justifying its notation.

4 For the notation brevity, from this point on the infinite limit signs will be dropped in all 1D integrals.

5 The fact that the argument’s shift is imaginary is not important. Indeed, since the function under the integral tends to zero at Re xRex±, the difference between infinite integrals of this function along axes of x and x is equal to its contour integral around the rectangular area xImzx ’. Since the function is also analytical, it obeys the Cauchy theorem MA Eq. (15.1), which says that this contour integral equals zero.

6 Note that Eq. (26) differs from Eq. (16) only by an exponent of a purely imaginary number, and hence this wavefunction is also properly normalized to 1 - see Eq. (3). Hence the wave packet introduction offers a natural solution to the problem of traveling de Broglie wave’s normalization, which was mentioned in Sec. 1.2.

7 See, e.g., brief discussions in CM Sec. 6.3 and EM Sec. 7.2.

8 By the way, in the particular case of de Broglie waves described by the dispersion relation (1.30), Eq. (28) is exact, because ω=E/ is a quadratic function of k=p/, and all higher derivatives of ω over k vanish for any k0.

9 Its standard notation by letter G stems from the fact that the propagator is essentially the spatial-temporal Green’s function, defined very similarly to Green’s functions of other ordinary and partial differential equations describing various physics systems - see, e.g., CM Sec. 5.1 and/or EM Sec. 2.7 and 7.3.

10 Note that such initial condition is mathematically not equivalent to a δ-functional initial probability density (3).


This page titled 2.2: Free Particle- Wave Packets is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Konstantin K. Likharev via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?