7.1: Schrödinger's Equation in 3-Dimensions
- Page ID
- 95745
\( \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}\)Adding Degrees of Freedom
When we extend our work on quantum mechanics in one dimension to three dimensions, we have to take into account what happens to how we describe quantum states. The main difference that arises is that we still need to get to a single number (probability) from three times as many dimensions as before. Instead of describing the wave function in terms of a single number \(x\), we require three numbers, \(x\), \(y\), and \(z\). For cases when we want to remain ambiguous about the coordinate system in use, we will replace explicit use of variables like \(\left(x,y,z\right)\) with the more generic position vector \(\vec r\).
\[\Psi\left(x,y,z,t\right)\rightarrow\Psi\left(\vec r,t\right)\]
As before, the magnitude-squared of the wave function is a probability density, but in three dimensions, this becomes a volume density instead of a line density. Computations of probabilities in three dimensions requires integration over a three dimensional space:
\[ \text{probability that particle is found in a tiny volume}~dV~\text{located at position}~\vec r = \left|\Psi\left(\vec r,t\right)\right|^2dV \]
The tiny volume element \(dV\) takes on different forms depending upon the coordinate system used. In this class, we will only be using Cartesian and spherical coordinates:
\[ \begin{array}{c} & & \text{Cartesian} & & \text{spherical} \\ dV & = & dx\;dy\;dz & & r^2\;dr\;\sin\theta \;d\theta \;d\phi \end{array} \]
Naturally the normalization condition is:
\[\int \limits_{all\;space} \left|\Psi\left(\vec r,t\right)\right|^2dV = 1\]
Written out explicitly for Cartesian and spherical coordinates, this is:
\[ \begin{array}{l} \int \limits_{-\infty}^\infty dx \int \limits_{-\infty}^\infty dy \int \limits_{-\infty}^\infty dz\; \left|\Psi\left(x,y,z,t\right)\right|^2 = 1 \\ \\ \int \limits_0^\infty r^2\;dr \int \limits_0^{\pi} \sin\theta \; d\theta \int \limits_0^{2\pi} d\phi\; \left|\Psi\left(r,\theta,\phi,t\right)\right|^2 = 1 \end{array}\]
As before, we can use eigenstates of momentum (plane waves) as our "unit vectors," and the relationship between the \(y\) and \(z\) components of momentum with the \(y\) and \(z\) coordinates is exactly the same as it was for the case of \(x\) in one dimension, which means that position space and momentum space wave functions are related through a Fourier transform, which now must be performed in all three directions.
One interesting effect arises from the extension to three dimensions. In the case of one dimension, the stationary-state wave function was completely defined by a single number \(x\), the position along the one dimension. The wave function also contained all of the information about the stationary state, namely the energy. This is also reversible – if we know the energy of the particle (say we know that a particle-in-a-box is in its ground state), then we also have its full wave function and all of the information about its state.
When we get to three dimensions, however, knowing the wave function requires knowing the three numbers that define position. These three numbers will provide all the information about the particle's state, including its energy, but this time it is not reversible – knowing the energy (a single number) cannot possibly tell us everything about the state of the particle. There has to be two other such numbers. If the particle is bound, these numbers will – like the energy – be quantized, and we will label them with integers as we already do with the energy. These integer labels are called quantum numbers, and are frequently used to label eigenstates in the same way that \(n\) labeled the energy eigenstates in one dimension.
Schrödinger's Equation
Schrödinger's equation is easy to expand to three dimensions. All that is required is to use the kinetic and potential energy operators in three dimensions in the Hamiltonian. In Cartesian coordinates, we have:
\[ \widehat H = \frac{1}{2m}\left(\widehat p_x^2+\widehat p_y^2+\widehat p_z^2\right) + \widehat V = -\dfrac{\hbar^2}{2m}\left(\dfrac{\partial^2}{\partial x^2} + \dfrac{\partial^2}{\partial y^2} + \dfrac{\partial^2}{\partial z^2}\right) + V\left(x,y,z\right)\]
We can write this without reference to a choice of coordinate system by replacing the set of second derivatives with the Laplacian operator (which we can look up for whatever coordinate system we like):
\[ \widehat H = -\dfrac{\hbar^2}{2m}\nabla^2 + V\left(\overrightarrow r\right) \]
Once again, we are faced with a partial differential equation, this time in four variables. Just as before, we can use the separation of variables method to select-out the stationary-state subset of solutions:
\[ \Psi\left(\vec r,t\right) = \psi\left(\vec r\right)e^{-i\omega t},\;\;\;\;\; where:\;\;\; -\frac{\hbar^2}{2m}\nabla^2\psi\left(\vec r\right) + V\left(\vec r\right)\psi\left(\vec r\right)=E\;\psi\left(\vec r\right),\;\;\; \omega=\dfrac{E}{\hbar} \]
Okay, now we have a differential equation with three variables to solve. If the separation of variables trick is so effective, why not just use it again? Not so fast! Unlike separating the time variable from the spatial variables, separating the spatial variables from each other is trickier business, because we can choose any set of coordinates we like. That is, there is nothing about the Schrödinger equation written above in Cartesian coordinates that is any more "correct" than if it is written in spherical coordinates, so how do we know whether we can (or should) do a separation of variables in Cartesian coordinates?
The answer is utility – we trust that like the case of separation of the time variable, we will be able to construct more general solutions from linear combinations of whatever solutions we arrive at after separating variables, so we are free to try the separation in any coordinate system. The system we choose should be the one that is easiest to work with for the physical situation given. If the potential is easy to work with in a specific coordinate system (typically due to some spatial symmetry inherent in the potential), then that is the one to use. Ultimately whatever separation we choose will lead to its own set of three quantum numbers, as we will see with our two cases of Cartesian and spherical coordinates.
Separation of Variables in Cartesian Coordinates
Potentials with particular properties encourage us to separate variables in the Cartesian coordinate system, so let's look at how this works. We seek solutions to the stationary-state Schrödinger equation that admit wave functions which can be written as a product of three functions of single variables:
\[ \psi\left(x,y,z\right) = X\left(x\right)Y\left(y\right)Z\left(z\right) \]
Plugging this into the stationary-state Schrödinger equation, and dividing the whole equation by the wave function separates it into terms that are functions of only \(x\), \(y\), and \(z\), along with a potential that so far we have not restricted:
\[ -\dfrac{\hbar^2}{2m}\left(\dfrac{\partial^2}{\partial x^2} + \dfrac{\partial^2}{\partial y^2} + \dfrac{\partial^2}{\partial z^2}\right)X\left(x\right)Y\left(y\right)Z\left(z\right) + V\left(x,y,z\right)X\left(x\right)Y\left(y\right)Z\left(z\right)= E\;X\left(x\right)Y\left(y\right)Z\left(z\right) \\ \Rightarrow \;\;\; \dfrac{1}{X}\dfrac{\partial^2X}{\partial x^2} + \dfrac{1}{Y}\dfrac{\partial^2Y}{\partial y^2} +\dfrac{1}{Z}\dfrac{\partial^2Z}{\partial z^2} -\dfrac{2m}{\hbar^2}V\left(x,y,z\right) = -\dfrac{2mE}{\hbar^2} \]
For this method to be useful, we need to be able to separate the entire equation into a sum of terms that are exclusively functions of one variable at a time (\(x\), \(y\), or \(z\)). To see how this works, consider the following:
\[ f\left(x\right) + g\left(y\right) + h\left(z\right) = constant \]
We can plug any \(x\) value we like into \(f\left(x\right)\), without changing any of the \(y\) or \(z\) values. For this equation to remain correct, it must mean that \(f\left(x\right)\) is the same constant value for all choices of \(x\). The same argument can be made for \(g\left(y\right)\) and \(h\left(z\right)\). This gives us three separate equations, each in a single variable.
The first three terms are already separated into \(x\), \(y\), and \(z\), but the potential function poses a problem. This method is only really effective in two cases: When the potential is a constant (universally, or piecewise), or when it splits up into a sum of functions of single variables. We will look at examples of each of these cases, starting with the simplest – where there is essentially no potential function at all.
Free Particle
If the potential is universally constant, then the particle is obviously free. As with the one-dimensional free particle, the stationary-state Schrödinger's equation gives us wave functions of energy eigenstates, but we can filter-out the momentum eigenstates (plane waves) if we wish. Plugging zero in for the potential allows us to separate the equation into three differential equations in single variables. The choices for the form of the constants below will become quickly apparent:
\[ \dfrac{1}{X}\dfrac{d^2X}{dx^2}=-k_x^2,\;\;\;\;\;\dfrac{1}{Y}\dfrac{d^2Y}{dy^2}=-k_y^2,\;\;\;\;\dfrac{1}{Z}\dfrac{d^2Z}{dz^2}=-k_z^2,\;\;\;\;\; k_x^2+k_y^2+k_z^2=\dfrac{2mE}{\hbar^2} \]
The plane wave solutions of each of the separate differential equations are:
\[ X\left(x\right)=A_xe^{ik_x x},\;\;\;\;\; Y\left(y\right)=A_ye^{ik_y y},\;\;\;\;\; Z\left(z\right)=A_ze^{ik_z z} \]
Reconstructing the full momentum eigenstate wave function, we get:
\[ \psi\left(x,y,z\right) = X\left(x\right)Y\left(y\right)Z\left(z\right) = Ae^{i\left(k_x x + k_y y + k_z z\right)}\]
If we define the momentum vector \(\vec p\) in terms of a wave vector \(\vec k = k_x \widehat i + k_y \widehat j + k_z \widehat k\), we get the rather compact plane wave solution moving in a specific direction:
\[ \psi\left(\vec r\right) = Ae^{i\vec k \cdot \vec r},\;\;\;\;\;\;\;\; \vec k = \dfrac{\vec p}{\hbar},\;\;\;\;\;\;\;\; E=\dfrac{p^2}{2m}=\dfrac{\hbar^2}{2m}\left(\vec k \cdot \vec k\right) \]
This plane wave is also an energy eigenstate, so the full time-dependent wave function can also be written:
\[ \psi\left(\vec r, t\right) = Ae^{i\left(\vec k \cdot \vec r - \omega t\right)},\;\;\;\;\;\;\;\; \omega = \dfrac{E}{\hbar} \]