1.67: Quantum Tunneling in Coordinate, Momentum and Phase Space
- Page ID
- 156460
\( \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}\)A study of quantum mechanical tunneling brings together the classical and quantum mechanical points of view. In this tutorial the harmonic oscillator will be used to analyze tunneling in coordinate-, momentum- and phase-space. The Appendix provides the position and momentum operators appropriate for these three representations.
The classical equation for the energy of a harmonic oscillator is,
\[
\mathrm{E}=\frac{\mathrm{p}^{2}}{2 \cdot \mu}+\frac{1}{2} \cdot \mathrm{k} \cdot \mathrm{x}^{2}
\nonumber \]
The quantum mechanical counter part is Schrödinger's equation (in atomic units, h = 2 \(\pi\)),
\[
\frac{-1}{2 \cdot \mu} \cdot \frac{\mathrm{d}^{2}}{\mathrm{dx}^{2}} \Psi(\mathrm{x})+\frac{1}{2} \cdot \mathrm{k} \cdot \mathrm{x}^{2} \cdot \Psi(\mathrm{x})=\mathrm{E} \cdot \Psi(\mathrm{x})
\nonumber \]
In atomic units the quantum mechanical wave function in coordinate space for the harmonic oscillator ground state with reduced mass µ and force constant k is given by,
\[
\Psi(\mathrm{x}, \mathrm{k}, \mu) :=\left(\frac{\sqrt{\mathrm{k} \cdot \mu}}{\pi}\right)^{\frac{1}{4}} \cdot \exp \left(-\sqrt{\mathrm{k} \cdot \mu} \cdot \frac{\mathrm{x}^{2}}{2}\right)
\nonumber \]
In the interest of mathematical simplicity and expediency we will use k = µ =1. The normalized ground state wave function under these conditions is,
\[
\Psi(x) :=\left(\frac{1}{\pi}\right)^{\frac{1}{4}} \cdot \exp \left(\frac{-x^{2}}{2}\right) \qquad \int_{-\infty}^{\infty} \Psi(x)^{2} d x=1
\nonumber \]
Solving Schrödinger's equation for this wave function yields a ground state energy of 0.5 in atomic units.
\[
\frac{-1}{2} \cdot \frac{\mathrm{d}^{2}}{\mathrm{dx}^{2}} \Psi(\mathrm{x})+\frac{1}{2} \cdot \mathrm{x}^{2} \cdot \Psi(\mathrm{x})=\mathrm{E} \cdot \Psi(\mathrm{x}) \text { solve, } \mathrm{E} \rightarrow \frac{1}{2}
\nonumber \]
Classically a harmonic oscillator, like a pendulum, has a turning point when kinetic energy is zero and the pendulum bob changes direction. The turning point is calculated as follows using the classical expression for the energy.
\[
\frac{1}{2}=\frac{1}{2} \cdot \mathrm{x}^{2} \text { solve, } \mathrm{x} \rightarrow\left(\begin{array}{c}{1} \\ {-1}\end{array}\right)
\nonumber \]
Thus, the permissible range of position values is between -1 and +1. Position values outside this range are classically forbidden. However, quantum theory permits position values for which the total energy is less than the potential energy. This is referred to as quantum tunneling. The probability that tunneling is occurring is calculated below.
\[
2 \cdot \int_{1}^{\infty} \Psi(x)^{2} d x=0.157
\nonumber \]
Next we move to a similar calculation in momentum space. First the coordinate wave function is Fourier transformed into momentum space and normalization is demonstrated.
\[
\Phi(\mathrm{p}) :=\frac{1}{\sqrt{2 \cdot \pi}} \cdot \int_{-\infty}^{\infty} \exp (-\mathrm{i} \cdot \mathrm{p} \cdot \mathrm{x}) \cdot \Psi(\mathrm{x}) \mathrm{dx} \rightarrow \frac{1}{\pi^{\frac{1}{4}}} \cdot \mathrm{e}^{\frac{-1}{2} \cdot \mathrm{p}^{2}} \qquad \int_{-\infty}^{\infty}(|\Phi(p)|)^{2} d p=1
\nonumber \]
Solving Schrödinger's equation in momentum space naturally gives the same energy eigenvalue.
\[
\frac{\mathrm{p}^{2}}{2} \cdot \Phi(\mathrm{p})-\frac{1}{2} \cdot \frac{\mathrm{d}^{2}}{\mathrm{dp}^{2}} \Phi(\mathrm{p})=\mathrm{E} \cdot \Phi(\mathrm{p}) \text { solve, } \mathrm{E} \rightarrow \frac{1}{2}
\nonumber \]
And we find that the classically permissible range of momentum values is the same given the reduced mass and force constant values used in these calculations.
\[
\frac{1}{2}=\frac{\mathrm{p}^{2}}{2} \text { solve, } \mathrm{p} \rightarrow\left(\begin{array}{c}{1} \\ {-1}\end{array}\right)
\nonumber \]
Next we see that the tunneling probability in momentum space is the same as it is in coordinate space.
\[
2 \cdot \int_{1}^{\infty} \Phi(\mathrm{p})^{2} \mathrm{dp}=0.157
\nonumber \]
Moving to phase space requires a distribution function that depends on both position and momentum. The Wigner function fits these requirements and is generated here using both the coordinate and momentum wave functions. Please see “Examining the Wigner Distribution Using Dirac Notation,” arXiv: 0912.2333 (2009) for further detail.
\[
\mathrm{W}(\mathrm{x}, \mathrm{p}) :=\frac{1}{2 \cdot \pi} \int_{-\infty}^{\infty} \Psi\left(\mathrm{x}+\frac{\mathrm{s}}{2}\right) \cdot \exp (\mathrm{i} \cdot \mathrm{s} \mathrm{p}) \cdot \Psi\left(\mathrm{x}-\frac{\mathrm{s}}{2}\right) \mathrm{ds} \rightarrow \frac{1}{\pi} \cdot \mathrm{e}^{\left(-\mathrm{x}^{2}\right)-\mathrm{p}^{2}}
\nonumber \]
\[
\mathrm{W}(\mathrm{x}, \mathrm{p}) :=\frac{1}{2 \cdot \pi} \int_{-\infty}^{\infty} \Phi\left(\mathrm{p}+\frac{\mathrm{s}}{2}\right) \cdot \exp (-\mathrm{i} \cdot \mathrm{s} \cdot \mathrm{x}) \cdot \Phi\left(\mathrm{p}-\frac{\mathrm{s}}{2}\right) \mathrm{ds} \rightarrow \frac{1}{\pi} \cdot \mathrm{e}^{\left(-\mathrm{x}^{2}\right)-\mathrm{p}^{2}}
\nonumber \]
The Wigner function is normalized over position and momentum, and yields the appropriate energy expectation value for the ground state of the harmonic oscillator.
\[
\int_{-\infty}^{\infty} \int_{-\infty}^{\infty} W(x, p) d x d p=1 \qquad \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}\left(\frac{p^{2}}{2}+\frac{x^{2}}{2}\right) \cdot W(x, p) d x d p=0.5
\nonumber \]
Tunneling probability in phase space is calculated as follows:
\[
\int_{1}^{\infty} \int_{1}^{\infty} \mathrm{W}(\mathrm{x}, \mathrm{p}) \mathrm{dx} \mathrm{dp}=0.025
\nonumber \]
This is in agreement with the separate coordinate and momentum space calculations which gave values of 0.157.
\[
0.157 \cdot 0.157=0.025
\nonumber \]
Appendix
The table lists the forms of the position and momentum operators in the coordinate, momentum and phase space representations. Clearly the multiplicative character of the phase space operators appeals to our classical prejudices and intuition. However, we must remind ourselves that the phase space distribution function on which they "operate" is generated from either the coordinate or momentum wave function. In the coordinate representation the momentum operator is differential; in the momentum representation the coordinate operator is differential. As is shown in other tutorials in this series, the apparent "classical character" of the phase space representation only temporarily hides the underlying quantum weirdness.
\[\begin{pmatrix} \text{Operator} & \text{CoordinateSpace} & \text{MomentumSpace} & \text{PhaseSpace} \\ \text{position} & x \cdot \Box & i \cdot \frac{d}{dp} \Box & x \cdot \Box \\ \text{momentum} & \frac{1}{i} \cdot \frac{d}{dx} \Box & p \cdot \Box & p \cdot \Box \end{pmatrix} \nonumber \]