3.I.1: Free Particle (Python Notebook)
- Page ID
- 279722
\( \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}\)Describing the Free Particle
We start by describing a free particle: a particle that is not under the influence of a potential. As any other particle, the state of a Free Particle is described with a wavefunction \(\psi(x)\). In order to learn about this particle (i.e., measure its properties) we must construct Hermitian Operators. For example, what is the momentum operator \(\hat P\)?
The momentum operator most obey the following property (eigenfunction/eigenvalue equation):
\[\hat P \psi_k(x) = \lambda \psi_k(x) \label{1}\]
where \(\lambda\) is an eigenvalue of a Hermitian operator and therefore it is a real number.
In the \(x\) representation, using the momentum operator as \(\hat P =-i\hbar \frac{\partial }{\partial x}\), we can solve Equation \ref{1} by proposing a function to represent \( \psi_k(x) \) as \(\psi_k(x) = c\ e^{ikx}\), where \(k\) is a real number.
Let's see if this functional form for the wavefunction works (i.e., solved Equation \ref{1}):
\[\hat P \psi_k(x) =p \psi_k(x)\]
\[-i\hbar \frac{\partial {c\ e^{ikx}}}{\partial x} =-i\hbar\ c\ ik\ e^{ikx} \]
\[\hbar k\ c\ e^{ikx} = \hbar k\ \psi_k(x) \label{2}\]
with \(p=\hbar k\). Although \(\psi_k(x)\) can not be normalized, since it is not a square-integral function (i.e., the integral of the square of the absolute value is not finite). However, the constant \(c\) is chosen in such a way (see note below) that the function becomes:
\[\large{\psi_k(x) = \frac{1}{\sqrt{2\pi}} e^{ikx}}\]
The normalization of a bra-ket is given by
\[\left<\psi_{k'}(x)|\psi_k(x)\right> = \left<k'|k \right> = \int^{+\infty}_{-\infty} \psi_{k'}^*(x)\psi_k(x) dx = \int^{+\infty}_{-\infty} c^* e^{-ik'x} ce^{ikx} dx = |c|^2 \int^{+\infty}_{-\infty} e^{i(k-k')x} dx = |c|^2 2\pi\ \delta(k-k')\]
Where we used the definition of the Dirac's delta function:
\[\delta(x) = \frac{1}{2\pi} \int^{+\infty}_{-\infty} e^{ivx} dv \nonumber\]
which obeys the following properties:
\[\delta(x-a)=0\ if x \neq a \nonumber\]
\[\int^\infty_{-\infty} f(x)\ \delta(x-a) \ dx =f(a) \nonumber\]
The normalization constant \(c\) is chosen as \(c = \frac{1}{\sqrt{2\pi}}\) in such a way that:
\[\left<\psi_{k'}(x)|\psi_k(x)\right> = \delta(k-k') \nonumber\]
Once we know the normalized eigenfunctions, we can ask some questions:
Questions
- Q1: What is the momentum of a free particle?
- Q2: What are the units of momentum?
- Q3: Is the momentum of a Free Particle quantized?
In SI units, \(k\) has units of \(\frac{1}{m}\) and \(\hbar\) has units of \(J.s =\frac{kg.m^{2}}{s}\), therefore from Equation \ref{2} we can see that \(p=\hbar k\) and the units are \(\frac{J.s}{m} = \frac{Kg.m}{s}\).
To visualize the wavefunction \(\psi_k(x)\) we use Euler relationship
\[e^{i\theta}=\cos(\theta)+i\sin(\theta)\]
and graph separately the Real and Imaginary contributions to the wavefunction (even though the wavefunction is complex, the \(\hat P\) is a Hermitian operator, thus the eigenvalues are measurable and real numbers).
On the other hand, the Probability Density (\(\psi^*_k(x) \psi_k(x)\)) is a constant, since:
\[ \psi^*_k(x) \psi_k(x) = \frac{1}{\sqrt{2 \pi}}e^{-ikx}\frac{1}{\sqrt{2 \pi}}e^{ikx} =\frac{1}{2\pi}\]
You can use the cell below to enter different values for the momentum wavevector \(k\) and the length of space \(x\)
What do we learn from this graphical representaton?: The first plot shows that that the wavefunction is completely delocalized in the x coordinate. However, wherever we look, the value of the probability density (\(|\psi^*_k(x) \psi_k(x) |\)) is the same.
An important question to ask is: what is the probability to find a free particle within a \(\Delta x\) region in space?
This is crucial for measurements, since we would never measure ALL space at the same time, but instead, our instrument will measure a section of \(x\) space
\[\Psi^*_k(x) \Psi_k(x) \Delta x = \left|\Psi_k(x)\right|^2 \Delta x = \left(\frac{1}{\sqrt{2\pi}} e^{ikx}\right)^*\frac{1}{\sqrt{2\pi}} e^{ikx} \Delta x = \frac{1}{2\pi} \Delta x \]
The probability of finding it within a \(\Delta x\), at any place in space, is the same.
Thus when the particle has a well-defined momentum (\(\hbar k\)), the probability of finding it anywhere in space is the same.
Localization of the particle can be obtained by considering not just a single value of momentum (\(\hbar k\)), but a range of values.
Consider the superposition of waves with a range of momenta given by
\[p=p_0 \pm \Delta p \nonumber \]
or
\[\hbar k = \hbar(k_0 \pm \Delta k) \nonumber\]
Since the momentum varies continuously, we use an integration for the superposition of waves, all equally weighted:\[\Psi_{\Delta k}(x) =N\int^{k_o+\Delta k}_{k_o-\Delta k}\ e^{ikx}dk \nonumber\]
\[\Psi_{\Delta k}(x) = \frac{2N\sin(\Delta kx)}{x} e^{ik_ox} \nonumber\]
where \(N\) is a normalization constant and is equal to
\[N=\frac{1}{2\sqrt{\pi\Delta k}} \nonumber\]
To understand this new wavefunction, we plot its Real and Imaginary components separately.
Assuming \(k_o > \Delta k\), the \(\cos(k_o x)\) and \(\sin(k_o x)\) components oscillate with a larger frequency (\(k_o\)) and they are modulated by a sinusoidal component with smaller frequency (\(\Delta k\)).
If \(\Delta k\) is very small, the particle is still delocalized. As \(\Delta k\) increases, the particle becomes more localized in a specific region around \(x = 0\). This leads us to conclude that as the uncertainty in the momentum increases (larger \(\Delta k\)), the uncertainty in the position decreases, and the particle becomes more localized.
The superposition of waves can be accomplished by giving different contributions to different values of momenta.
For example, we can construct the superposition with a Gaussian weighting function. In this case, we modulate the contribution of each k-wave with a value given by a Gaussian distribution (maximum contribution from \(k_o\), with smaller contributions from waves with other \(k\) values).
\[\Psi_{\Delta k}(x) =N\int^{+\infty}_{-\infty}{e^{-\frac{(k-k_o)^2}{2\Delta k^2}} \ e^{ikx}}dk, \nonumber\]
where \(\Delta k\) is related to the width of the Gaussian distribution.
After integration, we obtain:
\[\Psi_{\Delta k}(x) = \sqrt{2\pi}N\Delta k e^{-\frac{1}{2}x^2\Delta k^2} e^{ik_ox} \nonumber\]
where \(N\) is a normalization constant and is equal to
\[N=\frac{1}{\sqrt{2\Delta k\sqrt{\pi^3}}} \nonumber\]
We can compare the effect of the Gaussian distribution with the equally-weigthed \(k\) values:
Questions
- Q1: What do you expect to see for a particle with a momentum (\(k_o\)) with contributions from waves with very different momenta? (large value of \(\Delta_k\))
- Q2: What do you expect to see for a a particel with a momentum (\(k_o\)) with contributions from waves with similar momenta? (small value of \(\Delta_k\))
What can we conclude: From the graphical representation we can learn that for \(\Delta k\) very small compared to \(k_o\) (try plotting for \(k_o = 4\) and \(\Delta k = 0.04\)), the particle is still delocalized. As \(\Delta k\) increases the particle becomes more localized in a specific region around \(x=0\) (i.e \(k_o = 4\) and \(\Delta k = 0.4\)). When \(\Delta k\) is large in comparison to \(k_o\) (i.e. \(k_o = 4\) and \(\Delta k = 16\)), we observe the probability density concentrated around \(x=0\).
This leads us to conclude that as the uncertainty in the momentum increases (larger \(\Delta k\)), the uncertainty in the position decreases, and the particle becomes more localized. This is the exactly the behavior predicted by the Heisenberg's uncertainty principle.
What other properties can we measure?
A Free particle has no potential (no acting force), thus the Hamiltonian only has a Kinetic term. The Schrödinger equation is:
\[-\frac{\hbar^2}{2m} \frac{\partial^2\psi(x)}{\partial x^2} =E\psi(x)\]
Since we already know an eigenfunction of the momentum operator, let's work a bit with commutator properties, and how they can be applied to the Free Particle wavefunction.
One commutator property says that if two Hermitian operators (\(\hat A\) and \(\hat B\)) commute, then they share a common set of eigenfunctions.
Let's now check if the Hamiltonian and the momentum operators commute: is
\(\left[\hat P, \hat H \right] =0\)?.
with \(\hat H =\frac{\hat P^2}{2m}\). This required evaluating
\[\begin{align*} \left[\hat P, \hat H \right] &= \hat P \cdot \hat H - \hat H \cdot \hat P \\[4pt] &=\hat P \cdot \frac{\hat P^2}{2m} - \frac{\hat P^2}{2m}\cdot \hat P \\[4pt] &= \frac {1}{2m}\left(\hat P \cdot \hat P^2-\hat P \cdot \hat P^2 \right) = 0 \end{align*}\]
The two operators commute, leding to the existance of a complete set of eigenfunctions common to both operators. Since we already know the eigenfunctions of $\hat P$, we can try to see if they are also eigenfunctions of \(\hat H\). For \(\left|k\right> = \frac{1}{\sqrt{2\pi}}e^{ikx}\), let's evaluate what is the result of \(\hat H \left|k\right>\):
(note that we switch to a notation where \(\Psi_k(x)= \left|k\right>\)) :
\[\begin{align*} \hat H\left|k\right> &= -\frac{\hbar^2}{2m} \frac{\partial^2\left|k\right>}{\partial x^2} = -\frac{\hbar^2}{2m} \frac{\partial^2}{\partial x^2}\left(\frac{1}{\sqrt{2\pi}}e^{ikx} \right) \\[4pt] &= -\frac{\hbar^2}{2m\sqrt{2\pi}} \frac{\partial^2e^{ikx}}{\partial x^2} = -\frac{\hbar^2}{2m\sqrt{2\pi}} \left(ik\right)^2 e^{ikx} \\[4pt] &= \frac{\hbar^2k^2}{2m} \left(\frac{1}{\sqrt{2\pi}}e^{ikx} \right) = \frac{p^2}{2m}\left|k\right> \end{align*}\]
The first and last terms in this derivation show that the momentum eigenfunctions are also eigenfunctions of the Hamiltonian, with eigenvalues equal to the classical form of the kinetic energy. However, one has to be beware that although the value of the energy might look classical, the behavior of the particles are very different. For the quantum mechanical systems, the particle can never be at rest (if \(\Delta k = 0\) the particle is deloclaized; if the particle is very localized, then its momentum has many different values).
We are now ready to tackle "A Particle in a box with infinite-potential walls"