1 Introduction

In the kinetic theory of gases one has a picture of little balls bouncing around, a concept of mean free path and related ideas. In more sophisticated theories the balls may become gaussian wave packets and the mean free path not simply given by mean free path\(\equiv \ell =1/n\sigma \), with n the number density of particles and \(\sigma \) the scattering cross section [1]. By contrast in quantum mechanics you have a wave function involving (say) \(10^{23}\) coordinates [2], preferably plane waves (assuming the particles do not interact strongly). And even if you are ready to talk about single particle wave functions, and even if these are gaussians, they inevitably spread. Admittedly the kinetic theory picture is at best semiclassical, but there should also be a way to describe it by quantum mechanics, including the spreading. There is a concept of mean free path in quantum theory [3], but it is a kind of dissipation, leading to viscosity [4] and other effects.

In this article we do not fully solve the problem, but report ideas that lead to a resolution of sorts. In an appendix to a previous paper [5] we assumed the wave function was gaussian and that measurement caused a resumption of localization. In that heuristic treatment the size of a wave packet was on the order of \(\sqrt{\ell \lambda _{\mathrm {th}}}\) where the thermal wavelength is \(\lambda _{\mathrm {th}}=\hbar /\sqrt{mk_{_B}T}\), \(k_{_B}\) is Boltzmann’s constant and T is the temperature. The main assumption was that scattering off another particle would localize a wave function, that is, reset the clock that allowed it to spread. This seemed reasonable in the context of that article in that the body of the article was devoted to a rigorous proof that scattering acted to squeeze the off-diagonal matrix elements and make them quite short, on the order of \(\lambda _{\mathrm {th}}\). In the present treatment there is also a dependence on the range of the potential that does the scattering, although in some sense that range was already present in \(\ell \).

There is a common idea that we here lay to rest. Particles in a gas do not spread indefinitely. Our previous result suggested that a scattering would localize a particle, that spreading of the wave packet ceases. We here confirm that assumption.

As suggested earlier we consider only gases that interact weakly.

2 The Wave Packet is Localized

A single gaussian in 3 dimensions at time-0 can have the form

$$\begin{aligned} \psi ({\varvec{r}},0)= \frac{1}{(2\pi \Delta ^2)^{3/4}} \exp \left( -\frac{({\varvec{r}}-{\varvec{r}}_0)^2}{4\Delta ^2} + \frac{i}{\hbar }{\varvec{p}}({\varvec{r}}-{\varvec{r}}_0) \right) \,. \end{aligned}$$
(1)

It is localized at \({\varvec{r}}_0\) and travels with momentum \({\varvec{p}}\). At a later time, t, if it is freely propagating (with \(H=\frac{{\varvec{p}}^2}{2m}\)) it becomes

$$\begin{aligned} \psi ({\varvec{r}},t)= \left( \frac{\Delta ^4+\left(\frac{\hbar t}{2m}\right)^2}{2\pi \Delta ^2} \right) ^{-3/4} \exp \left( -\frac{({\varvec{r}}-{\varvec{r}}_0-\frac{{\varvec{p}}t}{m})^2}{4\left( \Delta ^2+i\frac{\hbar t}{2m}\right) } + \frac{i}{\hbar }{\varvec{p}}({\varvec{r}}-{\varvec{r}}_0) -\frac{i}{\hbar }\frac{{\varvec{p}}^2}{2m} \right) \,. \end{aligned}$$
(2)

Now consider two such particles and condition on their colliding. Both have spread parameters \(\Delta \) and mass m. They are approximately on a line (so \({\varvec{p}}_1+{\varvec{p}}_2\approx 0\)) and meet approximately at position zero. One begins centered at \(-{\varvec{r}}_0\) and the other at \(+{\varvec{r}}_0\). Thus the initial wave function is

$$\begin{aligned} \psi ({\varvec{r}}_1,{\varvec{r}}_2,0)= & {} \frac{1}{(2\pi \Delta ^2)^{3/2}} \exp \left( -\frac{({\varvec{r}}_1+{\varvec{r}}_0)^2}{4\Delta ^2} + \frac{i}{\hbar }{\varvec{p}}_1({\varvec{r}}_1+{\varvec{r}}_0)\right. \nonumber \\&\left. -\frac{({\varvec{r}}_2-{\varvec{r}}_0)^2}{4\Delta ^2} + \frac{i}{\hbar }{\varvec{p}}_2({\varvec{r}}_2-{\varvec{r}}_0) \right) \,.\end{aligned}$$
(3)

At time-t the wave function becomes

$$\begin{aligned} \psi ({\varvec{r}}_1,{\varvec{r}}_2,t)= & {} \left( \frac{\Delta ^4+(\frac{\hbar t}{2m})^2}{2\pi \Delta ^2} \right) ^{-3/2} \exp \left( -\frac{({\varvec{r}}_1+{\varvec{r}}_0-\frac{{\varvec{p}}_1t}{m})^2}{4\left( \Delta ^2+i\frac{\hbar t}{2m}\right) } + \frac{i}{\hbar }{\varvec{p}}_1({\varvec{r}}_1+{\varvec{r}}_0) -\frac{i}{\hbar }\frac{{\varvec{p}}_1^2 t}{2m} \right) \nonumber \\&\quad \times \exp \left( -\frac{({\varvec{r}}_2-{\varvec{r}}_0-\frac{{\varvec{p}}_2t}{m})^2}{4\left( \Delta ^2+i\frac{\hbar t}{2m}\right) } + \frac{i}{\hbar }{\varvec{p}}_2({\varvec{r}}_2-{\varvec{r}}_0) -\frac{i}{\hbar }\frac{{\varvec{p}}_2^2 t}{2m} \right) \,. \end{aligned}$$
(4)

It is convenient to go to center of mass coordinates

$$\begin{aligned} \begin{array}{lll} &{}{\varvec{R}}=\frac{1}{2}\left( {\varvec{r}}_1+{\varvec{r}}_2\right) &{}\qquad {\varvec{r}}_1={\varvec{R}}+{\scriptstyle \frac{1}{2}} {\varvec{r}}\\ &{}{\varvec{r}}={\varvec{r}}_1-{\varvec{r}}_2&{}\qquad {\varvec{r}}_2={\varvec{R}}-{\scriptstyle \frac{1}{2}}{\varvec{r}}\,. \end{array} \end{aligned}$$
(5)

Similarly

$$\begin{aligned} \begin{array}{lll} &{} {\varvec{P}}={\varvec{p}}_1+{\varvec{p}}_2&{}\qquad {\varvec{p}}_1={\scriptstyle \frac{1}{2}} {\varvec{P}}+{\varvec{p}}\\ &{} {\varvec{p}}=\frac{1}{2}\left( {\varvec{p}}_1-{\varvec{p}}_2\right) &{}\qquad {\varvec{p}}_2={\scriptstyle \frac{1}{2}}{\varvec{P}}-{\varvec{p}}\,. \end{array} \end{aligned}$$
(6)

In these coordinates the argument of the exponential is (the normalization is unchanged)

$$\begin{aligned} -\frac{({\varvec{R}}+\frac{{\varvec{P}}t}{2m})^2}{2\left( \Delta ^2+i\frac{\hbar t}{2m}\right) } -\frac{({\varvec{r}}+2{\varvec{r}}_0+ \frac{{\varvec{p}}t}{m/2})^2}{2\left( 4\Delta ^2+i\frac{\hbar t}{m/2}\right) } - \frac{i}{\hbar }\left( {\varvec{R}}{\varvec{P}}+({\varvec{r}}-2{\varvec{r}}_0){\varvec{p}}\right) -\frac{i}{\hbar }\left( \frac{{\varvec{P}}^2}{4m} + \frac{{\varvec{p}}^2}{m} \right) t \,. \end{aligned}$$
(7)

To find the wave function after the scattering we use the Born approximation, in particular, since we are conditioning on a scattering having occurred, the wave function is \(\int dt \frac{i}{\hbar }V({\varvec{r}})\Psi ({\varvec{R}},{\varvec{r}},t)\). Because of the conditioning we must divide by the appropriate probability in evaluating expectation values. (One can also look at this as a normalization of \(\Psi \) to get correct expectation values.) Since the actual interaction is brief this can be approximated by \(\delta t \frac{i}{\hbar }V({\varvec{r}})\Psi ({\varvec{R}},{\varvec{r}},t)\) for some small \(\delta t\).

For convenience in calculating we take the potential to be a gaussian, of the form \(V({\varvec{r}})=V_0 \exp \left( -\frac{{\varvec{r}}^2}{4a^2} \right) \) with \({\varvec{r}}\) the relative coordinate. This is an assumption, to be discussed in Sect. 3. The quantity that we shall evaluate is the expectation of \((\Delta {\varvec{r}}_1)^2\). Because the absolute value (squared) of the wave function will be used, there is no need to carry the phase terms. Moreover since we have conditioned on the particles’ actually scattering we must divide by the quantity integrated, without the \((\Delta {\varvec{r}}_1)^2\). Thus after the scattering, \(\Psi \) (so \(\Psi \) now has the potential as a factor) can be taken to be (omitting factors that cancel when divided by the conditioning)

$$\begin{aligned} |\Psi |^2= \exp \left( -\frac{{\varvec{r}}^2}{2a^2} -\frac{({\varvec{R}}+\frac{{\varvec{P}}t}{2m})^2}{\left| \Delta ^2+i\frac{\hbar t}{2m}\right| } -\frac{({\varvec{r}}+2{\varvec{r}}_0+ \frac{{\varvec{p}}t}{m/2})^2}{\left| 4\Delta ^2+i\frac{\hbar t}{m/2}\right| } \right) \,. \end{aligned}$$
(8)

The quantity to be calculated is \((\Delta {\varvec{r}}_1)^2=\langle \Delta ({\varvec{R}}+{\varvec{r}}/2)^2\rangle \) but because the integrand is even, cross terms vanish, and we can do separate evaluations, to obtain \((\Delta {\varvec{R}})^2+\frac{1}{4}(\Delta {\varvec{r}})^2\). Finally, we must calculate

$$\begin{aligned} \langle A \rangle =\frac{\int d{\varvec{R}}\, d{\varvec{r}}A|\Psi |^2}{\int d{\varvec{R}}\, d{\varvec{r}}|\Psi |^2} \,, \end{aligned}$$
(9)

for \(A={\varvec{r}}\), \({\varvec{R}}\), \({\varvec{r}}^2\) and \({\varvec{R}}^2\). For convenience we write \(\theta \equiv \frac{\hbar t}{m}\) and

$$\begin{aligned} F\equiv |\Psi |^2= & {} \exp \left( -\frac{{\varvec{r}}^2}{2a^2} -\frac{4\Delta ^2}{4\Delta ^4+\theta ^2}\left( {\varvec{R}}+\frac{{\varvec{P}}t}{2m}\right) ^2 -\frac{\Delta ^2}{4\Delta ^4+\theta ^2}\left( {\varvec{r}}+2{\varvec{r}}_0+ \frac{2{\varvec{p}}t}{m}\right) ^2 \right) \nonumber \\= & {} \exp \Biggl (-\frac{4\Delta ^2}{4\Delta ^4+\theta ^2}\left( {\varvec{R}}+\frac{{\varvec{P}}t}{2m}\right) ^2 \nonumber \\&\quad -\frac{4\Delta ^4+\theta ^2+2\Delta ^2a^2}{2a^2(4\Delta ^4+\theta ^2)} \left( {\varvec{r}}+\frac{2\Delta ^2a^2}{4\Delta ^4+\theta ^2+2\Delta ^2a^2}\left( 2{\varvec{r}}_0+2{\varvec{p}}t/m \right) \right) ^2 \nonumber \\&\quad + \hbox { term that cancels because of normalization} \Biggr ) \,, \end{aligned}$$
(10)

From Eq. (10)    we evaluate (using Eq. (9))

$$\begin{aligned} \langle {\varvec{R}}\rangle= & {} -\frac{Pt}{2m} \,, \end{aligned}$$
(11)
$$\begin{aligned} \langle {\varvec{r}}\rangle= & {} -\frac{2\Delta ^2a^2}{4\Delta ^4+\theta ^2+2\Delta ^2a^2} \left( 2{\varvec{r}}_0+\frac{2{\varvec{p}}t}{m}\right) \,, \end{aligned}$$
(12)

so that

$$\begin{aligned} \langle (\Delta {\varvec{R}})^2 \rangle = \langle {\varvec{R}}^2 \rangle -\langle {\varvec{R}}\rangle ^2=3\, \frac{4\Delta ^4+\theta ^2}{8\Delta ^2} \,, \end{aligned}$$
(13)

and

$$\begin{aligned} \langle (\Delta {\varvec{r}})^2 \rangle = \langle {\varvec{r}}^2\rangle -\langle {\varvec{r}}\rangle ^2 =3\,\frac{a^2(4\Delta ^4+\theta ^2)}{4\Delta ^4+\theta ^2+2\Delta ^2a^2} \,, \end{aligned}$$
(14)

and

$$\begin{aligned} \langle (\Delta {\varvec{r}}_1)^2 \rangle =\frac{3}{4} \left[ \frac{4\Delta ^4+\theta ^2}{2\Delta ^2} +\frac{a^2(4\Delta ^4+\theta ^2)}{4\Delta ^4+\theta ^2+2\Delta ^2a^2} \right] \,. \end{aligned}$$
(15)

By symmetry

$$\begin{aligned} \langle (\Delta {\varvec{r}}_2)^2 \rangle =\langle (\Delta {\varvec{r}}_1)^2 \rangle \,.\end{aligned}$$
(16)

Our final step is to impose a consistency condition. This will give us a value of \(\Delta \) (the spread) that returns to itself after collision. Since the spread has turned out to be finite, and dependent on the initial \(\Delta \) this is possible. Thus we require

$$\begin{aligned} \hbox {initial spread} =3\Delta ^2 = \hbox {final spread} =\frac{3}{8}\left( \frac{4\Delta ^4+\theta ^2}{\Delta ^2}\right) \left( \frac{4\Delta ^4+\theta ^2+4\Delta ^2a^2}{4\Delta ^4+\theta ^2+2\Delta ^2a^2}\right) \,. \end{aligned}$$
(17)

Defining \(x\equiv \Delta ^2\) and using Eq. (17) implies that x satisfies

$$\begin{aligned} 16x^4-4a^2\theta ^2 x - \theta ^4=0 \,, \end{aligned}$$
(18)

with (recall) \(\theta \equiv \frac{\hbar t}{m}\) (note that to a good approximation it is also true that \(\theta =\lambda _{\mathrm {th}}\ell \)). The solution can be approximated by \(\frac{\theta }{2}+\frac{a^2}{4}\).

For dry air at STP, the mean free path is about 68 nm and the number per cubic meter is about 0.025 × 1027, so that \(\Delta \), the width of a wave packet, is about 3.78 Å, while the separation (one over the cube root of the number density) is about 10 times that.

3 Conclusion

Although there are many assumptions in our demonstration, the overall conclusions should be independent of those assumptions. The surprise (to us) was that a scattering caused localization. Such an assumption was plausible but until now not proved.

The assumption of a gaussian wave packet is a reasonable approximation to the “little balls” of kinetic theory. The assumption of a gaussian potential seems to us just a way to give the potential a finite range. It also made things easy to calculate.Footnote 1