# 2.11: Evolution of Wave-Packets

- Page ID
- 16026

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

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

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

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

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We have seen, in Equation ([e2.45]), how to write the wavefunction of a particle that is initially localized in \(x\)-space. Let us examine how this wavefunction evolves in time. According to Equation ([e2.42]), we have \[\label{e2.56} \psi(x,t) = \int_{-\infty}^{\infty} \bar{\psi}(k)\,{\rm e}^{\,{\rm i}\,\phi(k)}\,dk,\] where \[\phi(k) = k\,x - \omega(k)\,t.\] The function \(\bar{\psi}(k)\) is obtained by Fourier transforming the wavefunction at \(t=0\). [See Equations ([e2.42a]) and ([e2.51]).] According to Equation ([e2.53]), \(|\bar{\psi}(k)|\) is strongly peaked around \(k=k_0\). Thus, it is a reasonable approximation to Taylor expand \(\phi(k)\) about \(k_0\). Keeping terms up to second order in \(k-k_0\), we obtain \[\psi(x,t)\propto \int_{-\infty}^{\infty} \bar{\psi}(k)\, \exp\!\left[\,{\rm i}\left\{\phi_0+ \phi_0'\,(k-k_0) + \frac{1}{2}\,\phi_0''\,(k-k_0)^{\,2}\right\}\right],\] where \[\begin{aligned} \phi_0 &= \phi(k_0) = k_0\,x-\omega_0\,t,\\[0.5ex] \phi_0'&= \frac{d\phi(k_0)}{dk} = x - v_g\,t,\\[0.5ex] \phi_0''&=\frac{d^{\,2}\phi(k_0)}{dk^{\,2}} = - \alpha\,t,\end{aligned}\] with \[\begin{aligned} \omega_0 &= \omega(k_0),\\[0.5ex] v_g &= \frac{d\omega(k_0)}{dk},\\[0.5ex] \alpha &= \frac{d^{\,2}\omega(k_0)}{dk^{\,2}}.\label{e2.64}\end{aligned}\] Substituting from Equation ([e2.51]), rearranging, and then changing the variable of integration to \(y=(k-k_0)/(2\,{\mit\Delta}k)\), we get \[\psi(x,t)\propto {\rm e}^{\,{\rm i}\,(k_0\,x-\omega_0\,t)} \int_{-\infty}^{\infty}{\rm e}^{\, {\rm i}\,\beta_1\,y-(1+{\rm i}\,\beta_2)\,y^{\,2}}\,dy,\] where \[\begin{aligned} \beta_1 &= 2\,{\mit\Delta}k\,(x-x_0-v_g\,t),\\[0.5ex] \beta_2&= 2\,\alpha\,({\mit\Delta}k)^{\,2}\,t.\end{aligned}\] Incidentally, \({\mit\Delta k}=1/(2\,{\mit\Delta}x)\), where \({\mit\Delta}x\) is the initial width of the wave-packet. The previous expression can be rearranged to give \[\label{e2.69} \psi(x,t)\propto {\rm e}^{\,{\rm i}\,(k_0\,x-\omega_0\,t)-(1+{\rm i}\,\beta_2)\,\beta^{\,2}/4}\int_{-\infty}^\infty {\rm e}^{-(1+{\rm i}\,\beta_2)\,(y-y_0)^{\,2}}\,dy,\] where \(y_0={\rm i}\,\beta/2\) and \(\beta=\beta_1/(1+{\rm i}\,\beta_2)\). Again changing the variable of integration to \(z=(1+{\rm i}\,\beta_2)^{1/2}\,(y-y_0)\), we get \[\psi(x,t)\propto (1+{\rm i}\,\beta_2)^{-1/2}\,{\rm e}^{\,{\rm i}\,(k_0\,x-\omega_0\,t)-(1+{\rm i}\,\beta_2)\,\beta^{\,2}/4}\int_{-\infty}^\infty {\rm e}^{-z^{\,2}}\,dz.\] The integral now just reduces to a number. Hence, we obtain \[\label{exxx} \psi(x,t)\propto\frac{\exp\left[\,{\rm i}\,(k_0\,x-\omega_0\,t) - (x-x_0-v_g\,t)^{\,2}\,\{1-{\rm i}\,2\,\alpha\,({\mit\Delta}k)^{\,2}\,t\}/(4\,\sigma^{\,2})\right]}{\left[1+{\rm i}\,2\,\alpha\,({\mit\Delta}k)^{\,2}\,t\right]^{1/2}},\] where \[\label{e2.70} \sigma^{\,2}(t) = ({\mit\Delta}x)^{\,2} + \frac{\alpha^{\,2}\,t^{\,2}}{4\,({\mit\Delta}x)^{\,2}}.\] Note that the previous wavefunction is identical to our original wavefunction ([e2.45]) at \(t=0\). This justifies the approximation that we made earlier by Taylor expanding the phase factor \(\phi(k)\) about \(k=k_0\).

According to Equation ([exxx]), the probability density of our particle as a function of time is written \[|\psi(x,t)|^{\,2} \propto \sigma^{\,-1}(t)\exp\left[-\frac{(x-x_0-v_g\,t)^{\,2}}{2\,\sigma^{\,2}(t)}\right].\] Hence, the probability distribution is a Gaussian, of characteristic width \(\sigma(t)\), that peaks at \(x=x_0+v_g\,t\). The most likely position of our particle coincides with the peak of the distribution function. Thus, the particle’s most likely position is given by \[x = x_0+v_g\,t.\] It can be seen that the particle effectively moves at the uniform velocity \[v_g = \frac{d\omega}{dk},\] which is known as the *group-velocity*. In other words, a plane-wave travels at the phase-velocity, \(v_p=\omega/k\), whereas a wave-packet travels at the group-velocity, \(v_g=d\omega/dt\). It follows from the dispersion relation ([e2.38]) for particle waves that \[v_g = \frac{p}{m}.\] However, it can be seen from Equation ([e2.31]) that this is identical to the classical particle velocity. Hence, the dispersion relation ([e2.38]) turns out to be consistent with classical physics, after all, as soon as we realize that individual particles must be identified with wave-packets rather than plane-waves. In fact, a plane-wave is usually interpreted as a continuous stream of particles propagating in the same direction as the wave.

According to Equation ([e2.70]), the width of our wave-packet grows as time progresses. Indeed, it follows from Equations ([e2.38]) and ([e2.64]) that the characteristic time for a wave-packet of original width \({\mit\Delta} x\) to double in spatial extent is \[t_2 \sim \frac{m\,({\mit\Delta}x)^{\,2}}{\hbar}.\] For instance, if an electron is originally localized in a region of atomic scale (i.e., \({\mit\Delta} x\sim 10^{-10}\,{\rm m}\)) then the doubling time is only about \(10^{-16}\,{\rm s}\). Evidently, particle wave-packets (for freely-moving particles) spread very rapidly.

Note, from the previous analysis, that the rate of spreading of a wave-packet is ultimately governed by the second derivative of \(\omega(k)\) with respect to \(k\). [See Equations ([e2.64]) and ([e2.70]).] This explains why a functional relationship between \(\omega\) and \(k\) is generally known as a dispersion relation—it governs how fast wave-packets disperse as time progresses. However, for the special case where \(\omega\) is a linear function of \(k\), the second derivative of \(\omega\) with respect to \(k\) is zero, and, hence, there is no dispersion of wave-packets: that is, wave-packets propagate without changing shape. The dispersion relation ([e2.7]) for light-waves is linear in \(k\). It follows that light pulses propagate through a vacuum without spreading. Another property of linear dispersion relations is that the phase-velocity, \(v_p=\omega/k\), and the group-velocity, \(v_g=d\omega/dk\), are identical. Thus, plane light-waves and light pulses both propagate through a vacuum at the characteristic speed \(c=3\times 10^8\,{\rm m/s}\). Of course, the dispersion relation ([e2.38]) for particle waves is not linear in \(k\). Hence, particle plane-waves and particle wave-packets propagate at different velocities, and particle wave-packets also gradually disperse as time progresses.

## Heisenberg’s Uncertainty Principle

According to the analysis contained in the previous two sections, a particle wave-packet that is initially localized in \(x\)-space with characteristic width \({\mit\Delta}x\) is also localized in \(k\)-space with characteristic width \({\mit\Delta}k= 1/(2\,{\mit\Delta} x)\). However, as time progresses, the width of the wave-packet in \(x\)-space increases, while that of the wave-packet in \(k\)-space stays the same. [After all, our previous analysis obtained \(\psi(x,t)\) from Equation ([e2.56]), but assumed that \(\bar{\psi}(k)\) was given by Equation ([e2.51]) at all times.] Hence, in general, we can say that \begin{equation}\Delta x \Delta k \gtrsim \frac{1}{2}\end{equation} Furthermore, we can think of \({\mit\Delta}x\) and \({\mit\Delta} k\) as characterizing our uncertainty regarding the values of the particle’s position and wavenumber, respectively.

A measurement of a particle’s wavenumber, \(k\), is equivalent to a measurement of its momentum, \(p\), because \(p=\hbar \,k\). Hence, an uncertainty in \(k\) of order \({\mit\Delta} k\) translates to an uncertainty in \(p\) of order \({\mit\Delta}p=\hbar\,{\mit\Delta}k\). It follows from the previous inequality that \begin{equation}\Delta x \Delta p \gtrsim \frac{\hbar}{2}\end{equation} This is the famous *Heisenberg uncertainty principle*, first proposed by Werner Heisenberg in 1927 . According to this principle, it is impossible to simultaneously measure the position and momentum of a particle (exactly). Indeed, a good knowledge of the particle’s position implies a poor knowledge of its momentum, and vice versa. Note that the uncertainty principle is a direct consequence of representing particles as waves.

It can be seen from Equations ([e2.38]), ([e2.64]), and ([e2.70]) that, at large \(t\), a particle wavefunction of original width \({\mit\Delta} x\) (at \(t=0\)) spreads out such that its spatial extent becomes \[\label{espread} \sigma\sim \frac{\hbar\,t}{m\,{\mit\Delta}x}.\] It is easily demonstrated that this spreading is a consequence of the uncertainty principle. Because the initial uncertainty in the particle’s position is \({\mit\Delta}x\), it follows that the uncertainty in its momentum is of order \(\hbar/{\mit\Delta}x\). This translates to an uncertainty in velocity of \({\mit\Delta}v = \hbar/(m\,{\mit\Delta}x)\). Thus, if we imagine that parts of the wavefunction propagate at \(v_0+ {\mit\Delta}v/2\), and others at \(v_0-{\mit\Delta}v/2\), where \(v_0\) is the mean propagation velocity, then the wavefunction will spread as time progresses. Indeed, at large \(t\), we expect the width of the wavefunction to be \[\sigma \sim {\mit\Delta}v\,t \sim \frac{\hbar\,t}{m\,{\mit\Delta}x},\] which is identical to Equation ([espread]). Evidently, the spreading of a particle wavefunction must be interpreted as an increase in our uncertainty regarding the particle’s position, rather than an increase in the spatial extent of the particle itself.

**Figure 8:** *Heisenberg's microscope.*

Figure [fh] illustrates a famous thought experiment known as *Heisenberg’s microscope*. Suppose that we try to image an electron using a simple optical system in which the objective lens is of diameter \(D\) and focal-length \(f\). (In practice, this would only be possible using extremely short-wavelength light.) It is a well-known result in optics that such a system has a minimum angular resolving power of \(\lambda/D\), where \(\lambda\) is the wavelength of the light illuminating the electron . If the electron is placed at the focus of the lens, which is where the minimum resolving power is achieved, then this translates to a uncertainty in the electron’s transverse position of \[{\mit\Delta}x \simeq f\,\frac{\lambda}{D}.\] However, \[\tan\alpha = \frac{D/2}{f},\] where \(\alpha\) is the half-angle subtended by the lens at the electron. Assuming that \(\alpha\) is small, we can write \[\alpha\simeq \frac{D}{2\,f},\] so \[{\mit\Delta} x\simeq \frac{\lambda}{2\,\alpha}.\] It follows that we can reduce the uncertainty in the electron’s position by minimizing the ratio \(\lambda/\alpha\): that is, by employing short-wavelength radiation, and a wide-angle lens.

Let us now examine Heisenberg’s microscope from a quantum-mechanical point of view. According to quantum mechanics, the electron is imaged when it scatters an incoming photon towards the objective lens. Let the wavevector of the incoming photon have the \((x,y)\) components \((k,0)\). See Figure [fh]. If the scattered photon subtends an angle \(\theta\) with the center-line of the optical system, as shown in the figure, then its wavevector is written \((k\,\sin\theta, k\cos\theta)\). Here, we are ignoring any shift in wavelength of the photon on scattering—in other words, the magnitude of the \({\bf k}\)-vector is assumed to be the same before and after scattering. Thus, the change in the \(x\)-component of the photon’s wavevector is \({\mit\Delta}k_x= k\,(\sin\theta-1)\). This translates to a change in the photon’s \(x\)-component of momentum of \({\mit\Delta}p_x = \hbar\,k\,(\sin\theta-1)\). By momentum conservation, the electron’s \(x\)-momentum will change by an equal and opposite amount. However, \(\theta\) can range all the way from \(-\alpha\) to \(+\alpha\), and the scattered photon will still be collected by the imaging system. It follows that the uncertainty in the electron’s momentum is \[{\mit\Delta} p \simeq 2\,\hbar\,k\,\sin\alpha\simeq \frac{4\pi\,\hbar\,\alpha}{\lambda}.\] Note that in order to reduce the uncertainty in the momentum we need to maximize the ratio \(\lambda/\alpha\). This is exactly the opposite of what we need to do to reduce the uncertainty in the position. Multiplying the previous two equations, we obtain \[{\mit\Delta x}\,{\mit\Delta} p\sim h,\] which is essentially the uncertainty principle.

According to Heisenberg’s microscope, the uncertainty principle follows from two facts. First, it is impossible to measure any property of a microscopic dynamical system without disturbing the system somewhat. Second, particle and light energy and momentum are quantized. Hence, there is a limit to how small we can make the aforementioned disturbance. Thus, there is an irreducible uncertainty in certain measurements that is a consequence of the act of measurement itself.

## Contributors and Attributions

Richard Fitzpatrick (Professor of Physics, The University of Texas at Austin)

\( \newcommand {\ltapp} {\stackrel {_{\normalsize<}}{_{\normalsize \sim}}}\) \(\newcommand {\gtapp} {\stackrel {_{\normalsize>}}{_{\normalsize \sim}}}\) \(\newcommand {\btau}{\mbox{\boldmath$\tau$}}\) \(\newcommand {\bmu}{\mbox{\boldmath$\mu$}}\) \(\newcommand {\bsigma}{\mbox{\boldmath$\sigma$}}\) \(\newcommand {\bOmega}{\mbox{\boldmath$\Omega$}}\) \(\newcommand {\bomega}{\mbox{\boldmath$\omega$}}\) \(\newcommand {\bepsilon}{\mbox{\boldmath$\epsilon$}}\)