Skip to main content
Physics LibreTexts

3.4: The Simple Harmonic Oscillator

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

    Einstein’s Solution of the Specific Heat Puzzle

    The simple harmonic oscillator, a nonrelativistic particle in a potential \(\frac{1}{2}kx^2\), is an excellent model for a wide range of systems in nature. In fact, not long after Planck’s discovery that the black body radiation spectrum could be explained by assuming energy to be exchanged in quanta, Einstein applied the same principle to the simple harmonic oscillator, thereby solving a long-standing puzzle in solid state physics—the mysterious drop in specific heat of all solids at low temperatures. Classical thermodynamics, a very successful theory in many ways, predicted no such drop -- with the standard equipartition of energy, \(kT\) in each mode (potential plus kinetic), the specific heat should remain more or less constant as the temperature was lowered (assuming no phase change).

    To explain the anomalous low temperature behavior, Einstein assumed each atom to be an independent (quantum) simple harmonic oscillator, and, just as for black body radiation, he assumed the oscillators could only absorb or emit energy in quanta. Consequently, at low enough temperatures there is rarely sufficient energy in the ambient thermal excitations to excite the oscillators, and they freeze out, just as blue oscillators do in low temperature black body radiation. Einstein’s picture was later somewhat refined -- the basic set of oscillators was taken to be standing sound wave oscillations in the solid rather than individual atoms (making the picture even more like black body radiation in a cavity) but the main conclusion -- the drop off in specific heat at low temperatures -- was not affected.

    The Classical Simple Harmonic Oscillator

    The classical equation of motion for a one-dimensional simple harmonic oscillator with a particle of mass \(m\) attached to a spring having spring constant \(k\) is \[ m\frac{d^2x}{dt^2}=-kx. \label{3.4.1}\]

    The solution is \[ x=x_0\sin(\omega t+\delta),\;\; \omega=\sqrt{\frac{k}{m}}, \label{3.4.2}\]

    and the momentum \(p=mv\) has time dependence \[ p=mx_0\omega\cos(\omega t+\delta). \label{3.4.3}\]

    The total energy \[ (1/2m)(p^2+m^2\omega^2x^2)=E \label{3.4.4}\]

    is clearly constant in time.

    It is often useful to picture the time-development of a system in phase space, in this case a two-dimensional plot with position on the x -axis, momentum on the y -axis. Actually, to have \((x,y)\) coordinates with the same dimensions, we use \((m\omega x,p)\).

    It is evident from the above expression for the total energy that in these variables the point representing the system in phase space moves clockwise around a circle of radius \(\sqrt{2mE}\) centered at the origin.

    Note that in the classical problem we could choose any point \((m\omega x,p)\), place the system there and it would then move in a circle about the origin. In the quantum problem, on the other hand, we cannot specify the initial coordinates \((m\omega x,p)\) precisely, because of the uncertainly principle. The best we can do is to place the system initially in a small cell in phase space, of size \(\Delta x\cdot \Delta p=\hbar/2\). In fact, we shall find that in quantum mechanics phase space is always divided into cells of essentially this size for each pair of variables.

    Schrödinger’s Equation and the Ground State Wavefunction

    From the classical expression for total energy given above, the Schrödinger equation for the quantum oscillator follows in standard fashion: \[ -\frac{\hbar^2}{2m}\frac{d^2\psi(x)}{dx^2}+\frac{1}{2}m\omega^2x^2\psi(x)=E\psi(x). \label{3.4.5}\]

    What will the solutions to this Schrödinger equation look like? Since the potential \(\frac{1}{2}m\omega^2x^2\) increases without limit on going away from \(x=0\), it follows that no matter how much kinetic energy the particle has, for sufficiently large \(x\) the potential energy dominates, and the (bound state) wavefunction decays with increasing rapidity for further increase in \(x\). (Obviously, for a real physical oscillator there is a limit on the height of the potential—we will assume that limit is much greater than the energies of interest in our problem.)

    We know that when a particle penetrates a barrier of constant height \(V_0\) (greater than the particle’s kinetic energy) the wavefunction decreases exponentially into the barrier, as \(e^{-\alpha x}\), where

    \[\alpha=\sqrt{2m(V_0-E)/\hbar^2}.\]

    In contrast to this constant height barrier, the “height” of the simple harmonic oscillator potential continues to increase as the particle penetrates to larger \(x\). Obviously, in this situation the decay will be faster than exponential. If we (rather naïvely) assume it is more or less locally exponential, but with a local \(\alpha\) varying with \(V_0\), neglecting \(E\) relative to \(V_0\) in the expression for \(\alpha\) suggests that \alpha itself is proportional to \(x\) (since the potential is proportional to \(x^2\), and \(\alpha\propto \sqrt{V}\) ) so maybe the wavefunction decays as \(e^{-(constant)x^2}\)?

    To check this idea, we insert \(\psi(x)=e^{-  x^2/2b^2}\) in the Schrödinger equation, using

    \[ \frac{d^2\psi}{dx^2}=-\frac{1}{b^2}\psi+\frac{x^2}{b^4}\psi \label{3.4.6}\]

    to find

    \[ -\frac{\hbar^2}{2m}\left( -\frac{1}{b^2}+\frac{x^2}{b^4}\right) \psi(x)+\frac{1}{2}m\omega^2x^2\psi(x)=E\psi(x). \label{3.4.7}\]

    The \(\psi(x)\) is just a factor here, and it is never zero, so can be cancelled out. This leaves a quadratic expression which must have the same coefficients of \(x^0\), \(x^2\) on the two sides, that is, the coefficient of \(x^2\) on the left hand side must be zero: \[ \frac{\hbar^2}{2mb^4}=\frac{m\omega^2}{2}, so b=\sqrt{\frac{\hbar}{m\omega}}. \label{3.4.8}\]

    This fixes the wavefunction. Equating the constant terms fixes the energy:

    \[ E=\frac{\hbar^2}{2mb^2}=\frac{1}{2}\hbar\omega.\label{3.4.9}\]

    So the conjectured form for the wavefunction is in fact the exact solution for the lowest energy state! (It’s the lowest state because it has no nodes.)

    Also note that even in this ground state the energy is nonzero, just as it was for the square well. The central part of the wavefunction must have some curvature to join together the decreasing wavefunction on the left to that on the right. This “zero point energy” is sufficient in one physical case to melt the lattice -- helium is liquid even down to absolute zero temperature (checked down to microkelvins!) because the wavefunction spread destabilizes the solid lattice that will form with sufficient external pressure.

    Higher Energy States

    It is clear from the above discussion of the ground state that \(b=\sqrt{\frac{\hbar}{m\omega}}\) is the natural unit of length in this problem, and \(\hbar\omega\) that of energy, so to investigate higher energy states we reformulate in dimensionless variables, \[ \xi=\frac{x}{b}=x\sqrt{\frac{m\omega}{\hbar}},\;\; \varepsilon=\frac{E\hbar}{\omega}. \label{3.4.10}\]

    Schrödinger’s equation becomes \[ \frac{d^2\psi(\xi)}{d\xi^2}=(\xi^2-2\varepsilon)\psi(\xi). \label{3.4.11}\]

    Deep in the barrier, the \(\varepsilon\) term will become negligible, and just as for the ground state wavefunction, higher bound state wavefunctions will have \(e^{-\xi^2/2}\) behavior, multiplied by some more slowly varying factor (it turns out to be a polynomial).

    Exercise: find the relative contributions to the second derivative from the two terms in \(x^ne^{-x^2/2}\). For given \(n\), when do the contributions involving the first term become small? Define “small”.

    The standard approach to solving the general problem is to factor out the \(e^{-\xi^2/2}\) term, \[ \psi(\xi)=h(\xi)e^{-\xi^2/2} \label{3.4.12}\]

    giving a differential equation for \(h(\xi)\): \[ \frac{d^2h}{d\xi^2}-2\xi\frac{dh}{d\xi}+(2\varepsilon-1)h=0 \label{3.4.13}\]

    We try solving this with a power series in \(\xi\): \[ h(\xi)=h_0+h_1\xi+h_2\xi^2=... .\label{3.4.14}\]

    Inserting this in the differential equation, and requiring that the coefficient of each power \(\xi^n\) vanish identically, leads to a recurrence formula for the coefficients \(h_n\): \[ h_{n+2}=\frac{(2n+1-2\varepsilon)}{(n+1)(n+2)}h_n. \label{3.4.15}\]

    Evidently, the series of odd powers and that of even powers are independent solutions to Schrödinger’s equation. (Actually this isn’t surprising: the potential is even in \(x\), so the parity operator P commutes with the Hamiltonian. Therefore, unless states are degenerate in energy, the wavefunctions will be even or odd in \(x\). ) For large \(n\), the recurrence relation simplifies to \[ h_{n+2}\approx \frac{2}{n}h_n,\;\; n\gg \varepsilon. \label{3.4.16}\]

    The series therefore tends to \[ \sum \frac{2n\xi^{2n}}{(2n-2)(2n-4)...2}=2\xi^2\sum \frac{\xi^{2(n-1)}}{(n-1)!}= e^{\xi^2}. \label{3.4.17}\]

    Multiply this by the \(e^{-\xi^2/2}\) factor to recover the full wavefunction, we find \(\psi\) diverges for large \(\xi\) as \(e^{+\xi^2/2}\).

    Actually we should have expected this -- for a general value of the energy, the Schrödinger equation has the solution \(\approx Ae^{+\xi^2/2}+Be^{-\xi^2/2}\) at large distances, and only at certain energies does the coefficient \(A\) vanish to give a normalizable bound state wavefunction.

    So how do we find the nondiverging solutions? It is clear that the infinite power series must be stopped! The key is in the recurrence relation.

    If the energy satisfies

    \[ 2\varepsilon=2n+1,\;\; n\; an\; integer, \label{3.4.18}\]

    then \(h_{n+2}\) and all higher coefficients vanish.

    This requirement in fact completely determines the polynomial (except for an overall constant) because with \(2\varepsilon=2n+1\) the coefficients hm for \(m<n\) are determined by \[ h_{m+2}=\frac{(2m+1-2\varepsilon)}{(m+1)(m+2)}h_m=\frac{(2m+1-(2n+1))}{(m+1)(m+2)}h_m. \label{3.4.19}\]

    This \(n^{th}\) order polynomial is called a Hermite polynomial and written \(H_n(\xi)\). The standard normalization of the Hermite polynomials \(H_n(\xi)\) is to take the coefficient of the highest power \(\xi^n\) to be \(2^n\). The other coefficients then follow using the recurrence relation above, giving:

    \[ H_0(\xi)=1,\;\; H_1(\xi)=2\xi,\;\; H_2(\xi)=4\xi^2-2,\;\; H_3(\xi)=8\xi^3-\frac{1}{2}\xi,\;\; etc. \label{3.4.20}\]

    So the bottom line is that the wavefunction for the nth excited state, having energy \(\varepsilon=n+\frac{1}{2}\), is \(\psi_n(\xi)=C_nH_n(\xi)e^{-\xi^2/2}\), where \(C_n\) is a normalization constant to be determined in the next section.

    It can be shown (see exercises at the end of this lecture) that \(H_n′(\xi)=2nH_{n-1}(\xi)\). Using this, beginning with the ground state, one can easily convince oneself that the successive energy eigenstates each have one more node -- the \(n^{th}\) state has \(n\) nodes. This is also evident from numerical solution using the spreadsheet, watching how the wavefunction behaves at large \(x\) as the energy is cranked up.

    The spreadsheet can also be used to plot the wavefunction for large \(n\), say \(n=200\). It is instructive to compare the probability distribution with that for a classical pendulum, one oscillating with fixed amplitude and observed many times at random intervals. For the pendulum, the probability peaks at the end of the swing, where the pendulum is slowest and therefore spends most time. The \(n=200\) distribution amplitude follows this pattern, but of course oscillates. However, in the large \(n\) limit these oscillations take place over undetectably small intervals.

    The classical pendulum when not at rest clearly has a time-dependent probability distribution -- it swings backwards and forwards. This means it cannot be in an eigenstate of the energy. In fact, the quantum state most like the classical is a coherent state built up of neighboring energy eigenstates. We shall discuss coherent states later in the course.

    Operator Approach to the Simple Harmonic Oscillator (Ladder Operators)

    Having scaled the position coordinate \(x\) to the dimensionless \(\xi\) defined as

    \[\xi=x/b=x\sqrt{m\omega/\hbar}\]

    and let us also scale the momentum from \(p\) to \(\pi=-i d/d\xi\), so

    \[\pi=\dfrac{bp}{\hbar}=p/\sqrt{\hbar m\omega}.\]

    The Hamiltonian is then

    \[ H=\frac{p^2+m^2\omega^2x^2}{2m}=\frac{\hbar\omega}{2}(\pi^2+\xi^2). \label{3.4.21}\]

    Dirac had the brilliant idea of factorizing this expression: the obvious thought \((\xi^2+\pi^2)=(\xi+i\pi)(\xi-i\pi)\) isn’t quite right, because it fails to take account of the noncommutativity of the operators, but the symmetrical version \[ H=\frac{\hbar\omega}{4}[(\xi+i\pi)(\xi-i\pi)+(\xi-i\pi)(\xi+i\pi)] \label{3.4.22}\]

    is fine, and we shall soon see that it leads to a very easy way of finding the eigenvalues and operator matrix elements for the oscillator, far simpler than using the wavefunctions we found above. Interestingly, Dirac’s factorization here of a second-order differential operator into a product of first-order operators is close to the idea that led to his most famous achievement, the Dirac equation, the basis of the relativistic theory of electrons, protons, etc.

    To continue, we define new operators \(a\), \(a^{\dagger}\) by

    \[ a=\xi+i\pi2√=\frac{1}{\sqrt{2\hbar m\omega}}(m\omega x+ip),\;\; a^{\dagger}=\frac{\xi-i\pi}{\sqrt{2}}=\frac{1}{\sqrt{2\hbar m\omega}}(m\omega x-ip). \label{3.4.23}\]

    (We’ve expressed a in terms of the original variables \(x\), \(p\) for later use.)

    From the commutation relation \( [i\pi,\xi]=1\) it follows that \[ [a,a^{\dagger}]=1. \label{3.4.24}\]

    Therefore the Hamiltonian can be written: \[ H=\hbar\omega(a^{\dagger}a+\frac{1}{2})=\hbar\omega(N+\frac{1}{2}),\;\; where\;\; N=a^{\dagger}a. \label{3.4.25}\]

    Note that the operator \(N\) can only have non-negative eigenvalues, since

    \[ \langle \psi|N|\psi\rangle=\langle \psi|a^{\dagger}a|\psi\rangle=\langle \psi_a|\psi_a\rangle \ge  0. \label{3..26}\]

    Now

    \[\begin{align} [N,a^{\dagger}] &=a^{\dagger}aa^{\dagger}-a^{\dagger}a^{\dagger}a \\[5pt] &=a^{\dagger}[a,a^{\dagger}] \\[5pt] &=a^{\dagger} \label{3.4.27} \end{align}\]

    Suppose \(N\) has an eigenfunction \(|\nu\rangle\) with eigenvalue \(\nu\),

    \[ N|\nu\rangle =ν|\nu\rangle. \label{3.4.28}\]

    From the two equations above

    \[ Na^{\dagger}|\nu\rangle = a^{\dagger}N|\nu\rangle+a^{\dagger}|\nu\rangle =(\nu+1)a^{\dagger}|\nu\rangle \label{3.4.29}\]

    so \(a^{\dagger}|\nu\rangle\) is an eigenfunction of \(N\) with eigenvalue \(\nu+1\). Operating with \(a^{\dagger}\) again and again, we climb an infinite ladder of eigenstates equally spaced in energy.

    \(a^{\dagger}\) is often termed a creation operator, since the quantum of energy \(\hbar\omega\) added each time it operates is equivalent to an added photon in black body radiation (electromagnetic oscillations in a cavity).

    It is easy to check that the state \(a|\nu\rangle\) is an eigenstate with eigenvalue \(\nu-1\), provided it is nonzero, so the operator a takes us down the ladder. However, this cannot go on indefinitely -- we have established that \(N\) cannot have negative eigenvalues. We must eventually reach a state \(|\nu\rangle\) for which \(a|\nu\rangle =0\), the operator \(a\) annihilates the state. (At each step down, \(a\) annihilates one quantum of energy -- so \(a\) is often called an annihilation or destruction operator.)

    Since the norm squared of \(a|\nu\rangle\), \(|a|\nu\rangle|^2=\langle\nu|a^{\dagger}a|\nu\rangle =\langle\nu|N|\nu\rangle =\nu\langle\nu|\nu\rangle\), and since \(\langle\nu|\nu\rangle  >  0\) for any nonvanishing state, it must be that the lowest eigenstate (the \(|\nu\rangle\) for which \(a|\nu\rangle =0\) ) has \(ν=0\). It follows that the \(\nu\) ’s on the ladder are the positive integers, so from this point on we relabel the eigenstates with \(n\) in place of \(\nu\).

    That is to say, we have proved that the only possible eigenvalues of \(N\) are zero and the positive integers: 0, 1, 2, 3… .

    \(N\) is called the number operator: it measures the number of quanta of energy in the oscillator above the irreducible ground state energy (that is, above the “zero-point energy” arising from the wave-like nature of the particle).

    Since from above the Hamiltonian

    \[ H=\hbar\omega(a^{\dagger}a+\frac{1}{2})=\hbar\omega(N+\frac{1}{2}) \label{3.4.30}\]

    the energy eigenvalues are \[ H|n\rangle=(n+\frac{1}{2})\hbar\omega|n\rangle. \label{3.4.31}\]

    It is important to appreciate that Dirac’s factorization trick and very little effort has given us all the eigenvalues of the Hamiltonian \[ H=\frac{\hbar\omega}{2}(\pi^2+\xi^2). \label{3.4.32}\]

    Contrast the work needed in this section with that in the standard Schrödinger approach. We have also established that the lowest energy state \(|0\rangle\), having energy \(\frac{1}{2}\hbar\omega\), must satisfy the first-order differential equation \(a|0\rangle=0\), that is, \[ (\xi+i\pi)∣0> =(\xi+\frac{d}{d\xi})\psi_0(\xi)=0. \label{3.4.33}\]

    The solution, unnormalized, is \[ \psi_0(\xi)=Ce^{-\xi^2/2}.\label{3.4.34}\]

    (In fact, we’ve seen this equation and its solution before: this was the condition for the “least uncertain” wavefunction in the discussion of the Generalized Uncertainty Principle.)

    We denote the normalized set of eigenstates \(|0\rangle,|1\rangle,|2\rangle,…|n\rangle…\) with \(\langle n|n\rangle =1\). Now \(a^{\dagger}|n\rangle =C_n|n+1\rangle\), and \(C_n\) is easily found: \[ ∣C_n∣^2 = ∣Cn∣^2\langle n+1|n+1\rangle = \langle n|aa^{\dagger}|n\rangle =(n+1), \label{3.4.35}\]

    and \[ a^{\dagger}|n\rangle=\sqrt{n+1}|n+1\rangle. \label{3.4.36}\]

    Therefore, if we take the set of orthonormal states \(|0\rangle,|1\rangle,|2\rangle,…|n\rangle…\) as the basis in the Hilbert space, the only nonzero matrix elements of \(a^{\dagger}\) are \(\langle n+1|a^{\dagger}|n\rangle =\sqrt{n+1}\). That is to say,

    \[ a^{\dagger}=\begin{pmatrix} 0&0&0&0&\dots\\ \sqrt{1}&0&0&0&\dots\\ 0&\sqrt{2}&0&0&\dots\\ 0&0&\sqrt{3}&0&\dots\\ \vdots&\vdots&\vdots&\vdots&\ddots \end{pmatrix}. \label{3.4.37}\]

    (The column vectors in the space this matrix operates on have an infinite number of elements: the lowest energy, the ground state component, is the entry at the top of the infinite vector -- so up the energy ladder is down the vector!)

    The adjoint

    \[ a=\begin{pmatrix} 0&\sqrt{1}&0&0&\dots\\ 0&0&\sqrt{2}&0&\dots\\ 0&0&0&\sqrt{3}&\dots\\ 0&0&0&0&\dots\\ \vdots&\vdots&\vdots&\vdots&\ddots \end{pmatrix}. \label{3.4.38}\]

    So

    \[ a|n\rangle =\sqrt{n}|n-1\rangle. \label{3.4.39}\]

    For practical computations, we need to find the matrix elements of the position and momentum variables between the normalized eigenstates. Now

    \[ x=\sqrt{\hbar/2m\omega} (a^{\dagger}+a),\;\; p=i\sqrt{m\omega\hbar/2} (a^{\dagger}-a) \label{3.4.40}\]

    so

    \[x=\sqrt{\hbar/2m\omega}\begin{pmatrix} 0&\sqrt{1}&0&0&\dots\\ \sqrt{1}&0&\sqrt{2}&0&\dots\\ 0&\sqrt{2}&0&\sqrt{3}&\dots\\ 0&0&\sqrt{3}&0&\dots\\ \vdots&\vdots&\vdots&\vdots&\ddots \end{pmatrix},\;\; p=i\sqrt{m\omega\hbar/2}\begin{pmatrix} 0&-\sqrt{1}&0&0&\dots\\ \sqrt{1}&0&-\sqrt{2}&0&\dots\\ 0&\sqrt{2}&0&-\sqrt{3}&\dots\\ 0&0&\sqrt{3}&0&\dots\\ \vdots&\vdots&\vdots&\vdots&\ddots \end{pmatrix} \label{3.4.41}\]

    These matrices are, of course, Hermitian (not forgetting the \(i\) factor in \(p\). )

    To find the matrix elements between eigenstates of any product of \(x\) ’s and \(p\) ’s, express all the \(x\) ’s and \(p\) ’s in terms of \(a\) ’s and \(a^{\dagger}\) ’s, to give a sum of products of \(a\) ’s and \(a^{\dagger}\) ’s. Each product in this sum can be evaluated sequentially from the right, because each \(a\) or \(a^{\dagger}\) has only one nonzero matrix element when the product operates on one eigenstate.

    Normalizing the Eigenstates in x-space

    The normalized ground state wavefunction is

    \[ \psi_0(\xi)=Ce^{-\xi^2/2}=\left( \frac{m\omega}{\pi\hbar}\right)^{1/4}e^{-m\omega x^2/2\hbar}, \label{3.4.42}\]

    where we have gone back to the \(x\) variable, and normalized using \(\int_{-\infty}^{\infty}e^{-ax^2}dx=\sqrt{\pi/a}\).

    To find the normalized wavefunctions for the higher states, they are first constructed formally by applying the creation operator \(a^{\dagger}\) repeatedly on the ground state \(|0\rangle\). Next, the result is translated into \(x\) -space (actually \(\xi=x/b\) ) by writing \(a^{\dagger}\) as a differential operator, acting on \(\psi_0(\xi)\).

    Using \(\langle n|a^{\dagger}|n-1\rangle =\sqrt{n}\),

    \[ |n\rangle =\frac{a^{\dagger}}{\sqrt{n}}|n-1\rangle =\cdots=\frac{(a^{\dagger})^n}{\sqrt{n!}}|0\rangle. \label{3.4.43}\]

    Now

    \[ a^{\dagger}=(1/\sqrt{2})(\xi-i\pi)=(1/\sqrt{2})(\xi-d/d\xi), \label{3.4.44}\]

    so

    \[ \psi_n(\xi)=\frac{(a^{\dagger})^n}{\sqrt{n!}}|0\rangle=\frac{1}{\sqrt{n!}}\left( \frac{1}{\sqrt{2}}(\xi-\frac{d}{d\xi})\right)^n\left( \frac{m\omega}{\pi\hbar}\right)^{1/4}e^{-\xi^2/2}. \label{3.4.45}\]

    We need to check that this expression is indeed the same as the Hermite polynomial wavefunction derived earlier, and to do that we need some further properties of the Hermite polynomials.

    Some Properties of Hermite Polynomials

    The mathematicians define the Hermite polynomials by:

    \[ H_n(\xi)=(-)^ne^{\xi^2}\frac{d^n}{d\xi^n}e^{-\xi^2} \label{3.4.46}\]

    so

    \[ H_0(\xi)=1,\;\; H_1(\xi)=2\xi,\;\; H_2(\xi)=4\xi^2-2,\;\; H_3(\xi)=8\xi^3-\frac{1}{2}\xi,\;\; etc. \label{3.4.47}\]

    It follows immediately from the definition that the coefficient of the leading power is \(2^n\).

    It is a straightforward exercise to check that \(H_n\) is a solution of the differential equation

    \[ \left( \frac{d^2}{d\xi^2}-2\xi\frac{d}{d\xi}+2n\right) H_n(\xi)=0, \label{3.4.48}\]

    so these are indeed the same polynomials we found by the series solution of Schrödinger’s equation earlier (recall the equation for the polynomial component of the wavefunction was \[ \frac{d^2h}{d\xi^2}-2\xi\frac{dh}{d\xi}+(2\varepsilon-1)h=0, \label{3.4.49}\]

    with

    \[2\varepsilon=2n+1.\]

    We have found \(\psi_n(\xi)\) in the form

    \[ \psi_n(\xi)=\frac{1}{\sqrt{n!}}(\frac{1}{\sqrt{2}}\left( \xi-\frac{d}{d\xi})\right)^n\left( \frac{m\omega}{\pi\hbar}\right)^{1/4}e^{-\xi^2/2}. \label{3.4.49b}\]

    We shall now prove that the polynomial component is exactly equivalent to the Hermite polynomial as defined at the beginning of this section.

    We begin with the operator identity:

    \[ (\xi-\frac{d}{d\xi})=-e^{\xi^2/2}\frac{d}{d\xi}e^{-\xi^2/2} \label{3.4.50}\]

    Both sides of this expression are to be regarded as operators, that is, it is assumed that both are operating on some function \(f(\xi)\).

    Now take the \(n^{th}\) power of both sides: on the right, we find, for example, \[ (-e^{\xi^2/2}\frac{d}{d\xi}e^{-\xi^2/2})^3=(-)^3e^{\xi^2/2}\frac{d}{d\xi}e^{-\xi^2/2}e^{\xi^2/2}\frac{d}{d\xi}e^{-\xi^2/2}e^{\xi^2/2}\frac{d}{d\xi}e^{-\xi^2/2}=(-)^3e^{\xi^2/2}\frac{d^3}{d\xi^3}e^{-\xi^2/2} \label{3.4.51}\]

    since the intermediate exponential terms cancel against each other.

    So

    \[ (\xi-\frac{d}{d\xi})n=(-)^ne^{\xi^2/2}\frac{d^n}{d\xi^n}e^{-\xi^2/2} \label{3.4.52}\]

    and substituting this into the expression for \(\psi_n(\xi)\) above,

    \[ \begin{matrix} \psi_n(\xi)=\frac{1}{\sqrt{2^nn!}}(-)^n(e^{\xi^2/2}\frac{d^n}{d\xi^n}e^{-\xi^2/2})\left( \frac{m\omega}{\pi\hbar}\right)^{1/4}e^{-\xi^2/2}\\ =\frac{1}{\sqrt{2^nn!}}(-)^n\left( \frac{m\omega}{\pi\hbar}\right)^{1/4}e^{-\xi^2/2}(e^{\xi^2}\frac{d^n}{d\xi^n}e^{-\xi^2})\\ =\frac{1}{\sqrt{2^nn!}}\left( \frac{m\omega}{\pi\hbar}\right)^{1/4}H_n(\xi)e^{-\xi^2/2},\;\; with\;\; \xi=\sqrt{\frac{m\omega}{\hbar}}x. \end{matrix} \label{3.4.53}\]

    This established the equivalence of the two approaches to Schrödinger’s equation for the simple harmonic oscillator, and provides us with the overall normalization constants without doing integrals. (The expression for \(\psi_n(\xi)\) above satisfies \(\int |\psi_n|^2dx=1\).)

    Exercise \(\PageIndex{1}\)

    Exercises:

    Use \(H_n(\xi)=(-)^ne^{\xi^2}\frac{d^n}{d\xi^n}e^{-\xi^2}\) to prove:

    1. the coefficient of \(\xi_n\) is \(2^n\).
    2. \(H_n′(\xi)=2nH_{n-1}(\xi)\)
    3. \(H_{n+1}(\xi)=2\xi H_n(\xi)-2nH_{n-1}(\xi)\)
    4. \(\int_{-\infty}^{\infty}e^{-\xi^2}H^2_n(\xi) d\xi=2^nn!\sqrt{\pi}\) (Hint: rewrite as \(\int_{-\infty}^{\infty}H_n(\xi)(-)^n\frac{d^n}{d\xi^n}e^{-\xi^2 }d\xi\), then integrate by parts \(n\) times, and use (a).)
    5. \(\int_{-\infty}^{\infty}e^{-\xi^2}H_n(\xi) H_m(\xi)d\xi=0\), for \(m\neq n\).

    It’s worth doing these exercises to become more familiar with the Hermite polynomials, but in evaluating matrix elements (and indeed in establishing some of these results) it is almost always far simpler to work with the creation and annihilation operators.

    Exercise \(\PageIndex{2}\)

    Use the creation and annihilation operators to find \(\langle n|x^4|n\rangle\). This matrix element is useful in estimating the energy change arising on adding a small nonharmonic potential energy term to a harmonic oscillator.

    Time-Dependent Wavefunctions

    The set of normalized eigenstates \(|0\rangle,|1\rangle,|2\rangle,\dots|n\rangle\dots\) discussed above are of course solutions to the time-independent Schrödinger equation, or in ket notation eigenstates of the Hamiltonian \(H|n\rangle=(n+\frac{1}{2})\hbar\omega|n\rangle\). Putting in the time-dependence explicitly,

    \[|n,t\rangle=e^{-iHt/\hbar}|n,t=0\rangle=e^{-i(n+\frac{1}{2})\omega t}|n\rangle.\]

    It is necessary to include the time dependence when dealing with a state which is a superposition of states of different energies, such as \((1/\sqrt{2})(|0\rangle+|1\rangle)\), which then becomes

    \[(1/\sqrt{2})(e^{-i\omega t/2}|0\rangle+e^{-3i\omega t/2}|1\rangle).\]

    Expectation values of combinations of position and/or momentum operators in such states are best evaluated by expressing everything in terms of annihilation and creation operators.

    Solving Schrödinger’s Equation in Momentum Space

    In the lecture on Function Spaces, we established that the basis of \(|x\rangle\) states (eigenstates of the position operator) and that of \(|k\rangle\) states (eigenstates of the momentum operator) were both complete bases in Hilbert space (physicist’s definition) so we could work equally well with either from a formal point of view. Why then do we almost always work in \(x\) -space? Well, probably because we live in \(x\) -space, but there’s another reason. The momentum operator in the \(x\) -space representation is \(p=-i\hbar d/dx\), so Schrödinger’s equation, written \((p^2/2m+V(x))\psi(x)=E\psi(x)\), with \(p\) in operator form, is a second-order differential equation. Now consider what happens to Schrödinger’s equation if we work in \(p\) -space. Since the operator identity \([x,p]=i\hbar\) is true regardless of representation, we must have \(x=i\hbar d/dp\). So for a particle in a potential \(V(x)\), writing Schrödinger’s equation in \(p\) -space we are confronted with the nasty looking operator \(V(i\hbar d/dp)\)! This will produce a differential equation in general a lot harder to solve than the standard \(x\) -space equation -- so we stay in \(x\) -space.

    But there are two potentials that can be handled in momentum space: first, for a linear potential \(V(x)=-Fx\), the momentum space analysis is actually easier -- it’s just a first-order equation. Second, for a particle in a quadratic potential -- a simple harmonic oscillator -- the two approaches yield the same differential equation. That means that the eigenfunctions in momentum space (scaled appropriately) must be identical to those in position space -- the simple harmonic eigenfunctions are their own Fourier transforms!


    This page titled 3.4: The Simple Harmonic Oscillator is shared under a not declared license and was authored, remixed, and/or curated by Michael Fowler via source content that was edited to the style and standards of the LibreTexts platform.