Skip to main content
Physics LibreTexts

1.7: Space Dependence

  • Page ID
    57623
  • \( \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}\)

    In contrast to the simple and universal time dependence (62) of the stationary states, the spatial distributions of their wavefunction \(\psi_{n}(\mathbf{r})\) need to be calculated from the problem-specific stationary Schrödinger equation (65). The solution of this equation for various particular cases is a major focus of the next two chapters. For now, let us consider just the simplest example, which nevertheless will be the basis for our discussion of more complex problems: let a particle be confined inside a rectangular hardwall box. Such confinement may be described by the following potential energy profile: \({ }^{54}\) \[U(\mathbf{r})= \begin{cases}0, & \text { for } 0<x<a_{x}, \quad 0<y<a_{y}, \quad \text { and } 0<z<a_{z} \\ +\infty, & \text { otherwise }\end{cases}\] The only way to keep the product \(U(\mathbf{r}) \psi_{n}\) in Eq. (65) finite outside the box, is to have \(\psi=0\) in these regions. Also, the function has to be continuous everywhere, to avoid the divergence of the kinetic-energy term \(\left(-\hbar^{2} / 2 m\right) \nabla^{2} \psi_{n}\). Hence, in this case we may solve the stationary Schrödinger equation (60) just inside the box, i.e. with \(U=0\), so that it takes a simple form \[-\frac{\hbar^{2}}{2 m} \nabla^{2} \psi_{n}=E_{n} \psi_{n},\] with zero boundary conditions on all the walls. \({ }^{55}\) For our particular geometry, it is natural to express the Laplace operator in the Cartesian coordinates \(\{x, y, z\}\) aligned with the box sides, with the origin at one of the corners of its rectangular \(a_{x} \times a_{y} \times a_{z}\) volume, so that our boundary problem becomes: \[\begin{gathered} -\frac{\hbar^{2}}{2 m}\left(\frac{\partial^{2}}{\partial x^{2}}+\frac{\partial^{2}}{\partial y^{2}}+\frac{\partial^{2}}{\partial z^{2}}\right) \psi_{n}=E_{n} \psi_{n}, \text { for } 0<x<a_{x}, \quad 0<y<a_{y}, \quad \text { and } 0<z<a_{z}, \\ \text { with } \psi_{n}=0 \text { for }: x=0 \text { and } a_{x} ; \quad y=0 \text { and } a_{y} ; \quad z=0 \text { and } a_{z} . \end{gathered}\] This problem may be readily solved using the same variable separation method as was used in Sec. 5 - now to separate the Cartesian spatial variables from each other, by looking for a partial solution of Eq. (78) in the form \[\psi(\mathbf{r})=X(x) Y(y) Z(z) .\] (Let us postpone assigning function indices for a minute.) Plugging this expression into Eq. (78b) and dividing all terms by the product \(X Y Z\), we get \[-\frac{\hbar^{2}}{2 m} \frac{1}{X} \frac{d^{2} X}{d x^{2}}-\frac{\hbar^{2}}{2 m} \frac{1}{Y} \frac{d^{2} Y}{d y^{2}}-\frac{\hbar^{2}}{2 m} \frac{1}{Z} \frac{d^{2} Z}{d z^{2}}=E .\] Now let us repeat the standard argumentation of the variable separation method: since each term on the left-hand side of this equation may be only a function of the corresponding argument, the equality is possible only if each of them is a constant - in our case, with the dimensionality of energy. Calling these constants \(E_{x}\), etc., we get three similar 1D equations \[-\frac{\hbar^{2}}{2 m} \frac{1}{X} \frac{d^{2} X}{d x^{2}}=E_{x}, \quad-\frac{\hbar^{2}}{2 m} \frac{1}{Y} \frac{d^{2} Y}{d y^{2}}=E_{y}, \quad-\frac{\hbar^{2}}{2 m} \frac{1}{Z} \frac{d^{2} Z}{d x^{2}}=E_{z},\] with Eq. (80) turning into the following energy-matching condition: \[E_{x}+E_{y}+E_{z}=E \text {. }\] All three ordinary differential equations (81), and their solutions, are similar. For example, for \(X(x)\), we have the following 1D Helmholtz equation \[\frac{d^{2} X}{d x^{2}}+k_{x}^{2} X=0, \quad \text { with } k_{x}^{2} \equiv \frac{2 m E_{x}}{\hbar^{2}},\] and simple boundary conditions: \(X(0)=X\left(a_{x}\right)=0\). Let me hope that the reader knows how to solve this well-known 1D boundary problem - describing, for example, the usual mechanical waves on a guitar string. The problem allows an infinite number of sinusoidal standing-wave eigenfunctions, \({ }^{56}\) \[X \propto \sin k_{x} x, \quad \text { with } k_{x}=\frac{\pi n_{x}}{a_{x}}, \quad \text { so that } X=\left(\frac{2}{a_{x}}\right)^{1 / 2} \sin \frac{\pi n_{x} x}{a_{x}}, \quad \text { with } n_{x}=1,2, \ldots,\] corresponding to the following eigenenergies: \[E_{x}=\frac{\hbar^{2}}{2 m} k_{x}^{2}=\frac{\pi^{2} \hbar^{2}}{2 m a_{x}^{2}} n_{x}^{2} \equiv E_{x 1} n_{x}^{2} .\] Figure 8 shows these simple results, using a somewhat odd but very graphic and common representation, in that the eigenenergy values (frequently called the energy levels) are used as horizontal axes for plotting the eigenfunctions - despite their completely different dimensionality.

    Screen Shot 2022-01-14 at 11.29.05 PM.png
    Fig. 1.8. The lowest eigenfunctions (solid lines) and eigenvalues (dashed lines) of Eq. (83) for a potential well of length \(a_{x}\). Solid black lines show the effective potential energy profile for this \(1 \mathrm{D}\) eigenproblem.

    Due to the similarity of all Eqs. (81), \(Y(y)\) and \(Z(z)\) are absolutely similar functions of their arguments, and may also be numbered by integers (say, \(n_{y}\) and \(n_{z}\) ) independent of \(n_{x}\), so that the spectrum of values of the total energy (82) is \[E_{n_{x}, n_{y}, n_{z}}=\frac{\pi^{2} \hbar^{2}}{2 m}\left(\frac{n_{x}^{2}}{a_{x}^{2}}+\frac{n_{y}^{2}}{a_{y}^{2}}+\frac{n_{z}^{2}}{a_{z}^{2}}\right)\] Thus, in this 3D problem, the role of the index \(n\) in the general Eq. (69) is played by a set of three independent integers \(\left\{n_{x}, n_{y}, n_{z}\right\}\). In quantum mechanics, such integers play a key role and thus have a special name, the quantum numbers. Using them, that general solution, for our current simple problem may be represented as the sum \[\Psi(\mathbf{r}, t)=\sum_{n_{x}, n_{y}, n_{z}=1}^{\infty} c_{n_{x}, n_{y}, n_{z}} \sin \frac{\pi n_{x} x}{a_{x}} \sin \frac{\pi n_{y} y}{a_{y}} \sin \frac{\pi n_{z} z}{a_{z}} \exp \left\{-i \frac{E_{n_{x}, n_{y}, n_{z}}}{\hbar} t\right\},\] with the front coefficients that may be readily calculated from the initial wavefunction \(\Psi(\mathbf{r}, 0)\), using Eq. (68) - again with the replacement \(n \rightarrow\left\{n_{x}, n_{y}, n_{z}\right\}\).

    This simplest problem is a good illustration of typical results the wave mechanics gives for spatially-confined motion, including the discrete energy spectrum, and (in this case, evidently) orthogonal eigenfunctions. Perhaps most importantly, its solution shows that the lowest value of the particle’s kinetic energy (86), reached in the so-called ground state (in our case, the state with \(n_{x}=n_{y}=\) \(n_{z}=1\) ) is above zero for any finite size of the confining box. An example of the opposite case of a continuous spectrum for the unconfined motion of a free particle is given by the plane waves (29). With the account of relations \(E=\hbar \omega\) and \(\mathbf{p}=\hbar \mathbf{k}\), such wavefunction may be viewed as the product of the time-dependent factor (62) by the eigenfunction, \[\psi_{\mathbf{k}}=a_{\mathbf{k}} \exp \{i \mathbf{k} \cdot \mathbf{r}\},\] which is the solution of the stationary Schrödinger equation (78a) if it is valid in the whole space. \({ }^{57}\) The reader should not be worried too much by the fact that the fundamental solution (86) in free space is a traveling wave (having, in particular, a non-zero value of the probability current \(\mathbf{j}\) ), while those inside a quantum box are standing waves, with \(\mathbf{j}=0\), even though the free space may be legitimately considered as the ultimate limit of a quantum box with volume \(V=a_{x} \times a_{y} \times a_{z} \rightarrow \infty\). Indeed, due to the linearity of wave mechanics, two traveling-wave solutions (88) with equal and opposite values of the momentum (and hence with the same energy) may be readily combined to give a standing-wave solution, \({ }^{58}\) for example, \(\exp \{i \mathbf{k} \cdot \mathbf{r}\}+\exp \{-i \mathbf{k} \cdot \mathbf{r}\}=2 \cos (\mathbf{k} \cdot \mathbf{r})\), with the net current \(\mathbf{j}=0\). Thus, depending on the convenience for a particular problem, we may represent its general solution as a sum of either travelingwave or standing-wave eigenfunctions. Since in the unlimited free space, there are no boundary conditions to satisfy, the Cartesian components of the wave vector \(\mathbf{k}\) in Eq. (88) can take any real values. (This is why it is more convenient to label these wavefunctions, and the corresponding eigenenergies, \[E_{\mathbf{k}}=\frac{\hbar^{2} k^{2}}{2 m} \geq 0\] with their wave vector \(\mathbf{k}\) rather than an integer index.)However, one aspect of continuous-spectrum systems requires a bit more caution with mathematics: the summation (69) should be replaced by the integration over a continuous index or indices - in our current case, the three Cartesian components of the vector \(\mathbf{k}\). The main rule of such replacement may be readily extracted from Eq. (84): according to this relation, for standing-wave solutions, the eigenvalues of \(k_{x}\) are equidistant, i.e. separated by equal intervals \(\Delta k_{x}=\pi / a_{x}\), with similar relations for other two Cartesian components of vector \(\mathbf{k}\). Hence the number of different eigenvalues of the standing-wave vector \(\mathbf{k}\) (with \(k_{x}, k_{y}, k_{z} \geq 0\) ), within a volume \(d^{3} k \gg 1 / V\) of the \(\mathbf{k}\) space is \(d N=\) \(d^{3} k /\left(\Delta k_{x} \Delta k_{x} \Delta k_{x}\right)=\left(V / \pi^{3}\right) d^{3} k\). Frequently, it is more convenient to work with traveling waves (88); in this case we should take into account that, as was just discussed, there are two different traveling wave numbers (say, \(+k_{x}\) and \(-k_{x}\) ) corresponding to each standing wave vector’s \(k_{x}>0\). Hence the same number of physically different states corresponds to a \(2^{3}=8\)-fold larger \(\mathbf{k}\) space or, equivalently, to an 8-fold smaller number of states per unit volume \(d^{3} k\) : \[d N=\frac{V}{(2 \pi)^{3}} d^{3} k\] For \(d N \gg>1\), this expression is independent of the boundary conditions, and is frequently represented as the following summation rule \[\lim _{k^{3} V \rightarrow \infty} \sum_{\mathbf{k}} f(\mathbf{k})=\int f(\mathbf{k}) d N=\frac{V}{(2 \pi)^{3}} \int f(\mathbf{k}) d^{3} k,\] where \(f(\mathbf{k})\) is an arbitrary function of \(\mathbf{k}\). Note that if the same wave vector \(\mathbf{k}\) corresponds to several internal quantum states (such as spin - see Chapter 4), the right-hand side of Eq. (91) requires its multiplication by the corresponding degeneracy factor of orbital states. \({ }^{59}\)


    \({ }^{54}\) Another common name for such potentials, especially of lower dimensionality, is the potential well, in our current case "rectangular" one: with a flat "bottom" and vertical, infinitely high "walls". Note that sometimes, very unfortunately, such potential profiles are called "quantum wells". (This term seems to imply that the particle’s confinement in such a well is a phenomenon specific for quantum mechanics. However, as we will repeatedly see in this course, the opposite is true: quantum effects do as much as they only can to overcome the particle’s confinement in a potential well, letting it partly penetrate in the "classically forbidden" regions beyond the well’s walls.)

    \({ }^{55}\) Rewritten as \(\nabla^{2} f+k^{2} f=0\), Eq. (78a) is just the Helmholtz equation, which describes waves of any nature (with the wave vector \(\mathbf{k}\) ) in a uniform, isotropic, linear medium - see, e.g., EM Secs. 7.5-7.9 and 8.5.

    \({ }^{56}\) The front coefficient in the last expression for \(X\) ensures the (ortho)normality condition (66).

    \({ }^{57}\) In some systems (e.g., a particle interacting with a potential well of a finite depth), a discrete energy spectrum within a certain energy interval may coexist with a continuous spectrum in a complementary interval. However, the conceptual philosophy of eigenfunctions and eigenvalues remains the same even in this case.

    \({ }^{58}\) This is, of course, the general property of waves of any physical nature, propagating in a linear medium - see, e.g., CM Sec. \(6.5\) and/or EM Sec. \(7.3\).

    \({ }^{59}\) Such factor is similar to the front factor 2 in Eq. (1) for the number of electromagnetic wave modes, in that case describing two different polarizations of the waves with the same wave vector.


    This page titled 1.7: Space Dependence is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Konstantin K. Likharev via source content that was edited to the style and standards of the LibreTexts platform.