|
|
(7 intermediate revisions by the same user not shown) |
Line 1: |
Line 1: |
| {{Quantum Mechanics A}} | | {{Quantum Mechanics A}} |
| The radial part of the [[Schrödinger equation]] for a particle of mass M in an isotropic [[Harmonic oscillator spectrum and eigenstates|harmonic oscillator]] potential <math>V(r)=\frac{1}{2}Mw^{2}r^2</math> is given by:
| | We now solve the isotropic harmonic oscillator using the formalism that we have just developed. While it is possible to solve it in Cartesian coordinates, we gain additional insight by solving it in spherical coordinates, and it is easier to determine the degeneracy of each energy level. |
|
| |
|
| :<math>-\frac{\hbar^2}{2M}\frac{\partial^2u_{nl}(r)}{\partial r^2}+\left(\frac{\hbar^2}{2M}\frac{l(l+1)}{r^2} + \frac{1}{2}Mw^{2}r^2\right)u_{nl}(r)=Eu_{nl}(r)</math>
| | The radial part of the [[Schrödinger Equation|Schrödinger equation]] for a particle of mass <math>M\!</math> in an isotropic [[Harmonic Oscillator Spectrum and Eigenstates|harmonic oscillator]] potential <math>V(r)=\frac{1}{2}M\omega^{2}r^2</math> is given by: |
|
| |
|
| We look at the solutions <math>u_{nl}\!</math> in the asymptotic limits of <math> r\!</math>.
| | <math>-\frac{\hbar^2}{2M}\frac{d^2u_{nl}}{dr^2}+\left(\frac{\hbar^2}{2M}\frac{l(l+1)}{r^2} + \frac{1}{2}M\omega^{2}r^2\right)u_{nl}=Eu_{nl}.</math> |
| | |
| | Let us begin by looking at the solutions <math>u_{nl}\!</math> in the limits of small and large <math>r.\!</math> |
|
| |
|
| As <math>r\rightarrow 0\!</math>, the equation reduces to | | As <math>r\rightarrow 0\!</math>, the equation reduces to |
| :<math>-\frac{\hbar^2}{2M}\frac{\partial^2u_{l}(r)}{\partial r^2}+\frac{\hbar^2}{2M}\frac{l(l+1)}{r^2}u_{l}(r)=Eu_{l}(r)</math>
| |
| whose nondivergent solution is given by <math>u_l(r)\simeq r^{^{l+1}}</math>.
| |
|
| |
|
| On the otherhand, as <math> r\rightarrow \infty</math>, the equation becomes
| | <math>-\frac{\hbar^2}{2M}\frac{d^2u_{nl}}{dr^2}+\frac{\hbar^2}{2M}\frac{l(l+1)}{r^2}u_{nl}=Eu_{nl}.</math> |
| :<math>-\frac{\hbar^2}{2M}\frac{\partial^2u(r)}{\partial r^2}+\frac{1}{2}Mw^{2}r^2u(r)=Eu(r)</math>
| | |
| whose solution is given by <math>u(r)\simeq e^-{\frac{Mwr^2}{2\hbar}}</math>. | | The only solution of this equation that does not diverge as <math>r\rightarrow 0</math> is <math>u_{nl}(r)\simeq r^{l+1}.</math> |
| | |
| | In the limit as <math>r\rightarrow \infty,</math> on the other hand, the equation becomes |
| | |
| | <math>-\frac{\hbar^2}{2M}\frac{d^2u_{nl}}{dr^2}+\frac{1}{2}M\omega^{2}r^2u_{nl}=Eu_{nl}</math> |
| | |
| | whose solution is given by <math>u_{nl}(r)\simeq e^{-M\omega r^2/2\hbar}.</math> |
| | |
| | We may now assume that the general solution to the equation is given by |
| | |
| | <math>u_{nl}(r)=r^{l+1}e^{-M\omega r^2/2\hbar}f_{nl}(r).</math> |
| | |
| | Substituting this expression into the original equation, we obtain |
|
| |
|
| Combining the asymptotic limit solutions we choose the general solution to the equation as
| | <math>\frac{d^2f_{nl}}{dr^2}+2\left(\frac{l+1}{r}-\frac{M\omega}{\hbar}r\right)\frac{df_{nl}}{dr}+\left[\frac{2ME}{\hbar^2}-(2l+3)\frac{M\omega}{\hbar}\right]f_{nl}=0.</math> |
| :<math>u_l(r)=f_l(r)r^{l+1}e^-\frac{Mwr^2}{2\hbar}</math>
| |
|
| |
|
| Substituting this expression into the original equation,
| | We now use a series solution for this equation: |
| :<math>\frac{\partial^2f_l(r) }{\partial r^2}+2\left(\frac{l+1}{r}-\frac{Mw}{\hbar}r\right)\frac{\partial f_l(r) }{\partial r}+\left[\frac{2ME}{\hbar^2}-(2l+3)\frac{Mw}{\hbar}\right]f_l(r) =0</math> | |
|
| |
|
| Now we try the power series solution
| | <math>f_{nl}(r)=\sum_{n=0}^{\infty}a_{n}r^n= a_{0}+a_{1}r+a_{2}r^2+a_{3}r^3+\ldots +a_{n}r^n+\ldots</math> |
| :<math>f_l(r)=\sum_{n=0}^{\infty}a_{n}r^n= a_{0}+a_{1}r+a_{2}r^2+a_{3}r^3+. . . +a_{n}r^n+...</math>
| |
| | | |
| Substituting this solution into the reduced form of the equation, | | Substituting this solution into the reduced form of the equation, we obtain |
| :<math>
| | |
| | <math> |
| \sum_{n=0}^{\infty} \left[n(n-1)a_{n}r^{n-2}+2 \left( \frac{l+1}{r}- | | \sum_{n=0}^{\infty} \left[n(n-1)a_{n}r^{n-2}+2 \left( \frac{l+1}{r}- |
| \frac{Mw}{\hbar} \right) na_nr^{n-1} + \left[\frac{2ME}{\hbar^2} - (2l+3)\frac{Mw}{\hbar}\right] a_n r^n\right]=0 | | \frac{M\omega}{\hbar}r\right) na_nr^{n-1} + \left[\frac{2ME}{\hbar^2} - (2l+3)\frac{M\omega}{\hbar}\right] a_n r^n\right]=0, |
| </math>
| |
| which reduces to the equation
| |
| :<math>\sum_{n=0}^{\infty}\left[n(n+2l+1)a_{n}r^{n-2}+\left(-\frac{2Mw}{\hbar}n+\frac{2ME}{\hbar^2}-(2l+3)\frac{Mw}{\hbar}\right)a_nr^n\right]=0
| |
| </math> | | </math> |
|
| |
|
| For this equation to hold, the coefficients of each of the powers of r must vanish seperately.
| | which reduces to |
|
| |
|
| So,when <math> n =0 \!</math> the coefficient of <math> r^{-2} \!</math> is zero, <math>0.(2l+1)a_0=0</math> implying that <math>a_0\!</math> need not be zero.
| | <math>\frac{2(l+1)}{r}a_1+\sum_{n=0}^{\infty}\left[(n+2)(n+2l+3)a_{n+2}+\left(-\frac{2M\omega}{\hbar}n+\frac{2ME}{\hbar^2}-(2l+3)\frac{M\omega}{\hbar}\right)a_n\right]r^n=0. |
| | </math> |
|
| |
|
| Equating the coefficient of <math> r^{-1} \!</math>to be zero, <math>1.(2l+2)a_1=0\!</math> implying that <math>a_1\!</math> must be zero.
| | For this equation to hold, the coefficients of each of the powers of <math>r\!</math> must vanish seperately. Doing this for the positive powers of <math>r\!</math> yields the following recursion relation: |
| | |
| Equating the coefficient of <math> r^{-n}\!</math> to be zero, we get the recursion relation which is:
| |
| | | |
| :<math>\sum_{n=0}^{\infty}(n+2)(n+2l+3)a_{n+2}=\left[-\frac{2ME}{\hbar^2}+(2n+2l+3)\frac{Mw}{\hbar}\right]a_n</math>
| | <math>(n+2)(n+2l+3)a_{n+2}=\left[-\frac{2ME}{\hbar^2}+(2n+2l+3)\frac{M\omega}{\hbar}\right]a_n</math> |
|
| |
|
| | In addition, we have an <math>r^{-1}\!</math> term; for it to vanish, we must set <math>a_1=0.\!</math> This, combined with the above recursion relation, means that the function <math>f_{nl}(r)\!</math> contains only even powers of <math>r.\!</math> In other words, |
|
| |
|
| The function <math>f_l(r)\!</math> contains only even powers in n and is given by:
| | <math>f_{nl}(r)=\sum_{n=0,2,4,\ldots}^{\infty}a_{n}r^{n}=\sum_{n'=0}^{\infty}a_{n'}r^{n'}.</math> |
| :<math>f_l(r)=\sum_{n=0}^{\infty }a_{2n}r^{2n}=\sum_{n^{'}=0,2,4}^{\infty }a_{n^{'}}r^{n^{'}}</math>
| |
|
| |
|
| Now as <math> n\rightarrow \infty\!</math> , <math>f_l(r)\!</math> diverges so that for finite solution, the series should stop after <math>r^{n^{'}+2}\!</math> leading to the quantization condition:
| | By a similar argument as the one that we employed for the [[Analytical Method for Solving the Simple Harmonic Oscillator|one-dimensional harmonic oscillator]], we find that, unless the series for <math>f_{nl}(r)\!</math> terminates, the resulting full wave function will diverge as <math>r\rightarrow\infty.</math> Because the series must only contain even powers of <math>r,\!</math> the resulting quantization condition on the energy is |
| | | |
| :<math>\frac{2M}{\hbar^2}E_{n^{'}l}-\frac{Mw}{\hbar}(2n^{'}+2l+3)=0</math>
| | <math>\frac{2M}{\hbar^2}E_{n'l}-\frac{M\omega}{\hbar}(4n'+2l+3)=0,\,n'=0,1,2,3,\ldots,</math> |
| | |
| | or |
| | | |
| :<math>E_{n^{'}l}=\left(n^{'}+l+\frac{3}{2}\right)\hbar w, n^{'}=0,1,2,3,...</math>
| | <math>E_{nl}=\left(n+\frac{3}{2}\right)\hbar\omega,\,n=0,1,2,3,\ldots,</math> |
|
| |
|
| As a result, the energy of the isotropic harmonic oscillator is given by:
| | where <math>n=2n'+l.\!</math> |
|
| |
| :<math>E_{n}=\left(n+\frac{3}{2}\right)\hbar w, n=0,1,2,3,... </math> with <math> n=n^{'}+l\!</math>
| |
|
| |
|
| The degeneracy corresponding to the nth level is: | | The degeneracy corresponding to the <math>n^{\text{th}}\!</math> level may be found to be <math>\tfrac{1}{2}(n+1)(n+2).</math> We see that energy levels with even <math>n\!</math> correspond to even values of <math>l,\!</math> while those with odd <math>n\!</math> have odd values of <math>l.\!</math> |
|
| |
| :<math>g=\frac{1}{2}(n+1)(n+2)</math>
| |
|
| |
|
| The total wavefunction of the isotropic Harmonic Oscillator is given by: | | The total wave function of the isotropic harmonic oscillator is thus given by |
| | | |
| :<math>\psi_{nlm}(r,\theta ,\phi )=r^{l+1}f_l(r)Y_{lm}(\theta ,\phi)e^-\frac{Mw}{2\hbar}r^2=R_{nl}(r)Y_{lm}(\theta ,\phi )</math>
| | <math>\psi_{nlm}(r,\theta,\phi )=r^{l+1}e^{-M\omega r^2/2\hbar}f_{nl}(r)Y_{lm}(\theta,\phi)=R_{nl}(r)Y_{lm}(\theta ,\phi ).</math> |
| | |
| | One may show that, in fact, <math>f_{nl}(r)\!</math> is an [http://mathworld.wolfram.com/AssociatedLaguerrePolynomial.html associated Laguerre polynomial] in <math>\frac{M\omega}{\hbar}r^2.</math> |
We now solve the isotropic harmonic oscillator using the formalism that we have just developed. While it is possible to solve it in Cartesian coordinates, we gain additional insight by solving it in spherical coordinates, and it is easier to determine the degeneracy of each energy level.
The radial part of the Schrödinger equation for a particle of mass
in an isotropic harmonic oscillator potential
is given by:
Let us begin by looking at the solutions
in the limits of small and large
As
, the equation reduces to
The only solution of this equation that does not diverge as
is
In the limit as
on the other hand, the equation becomes
whose solution is given by
We may now assume that the general solution to the equation is given by
Substituting this expression into the original equation, we obtain
We now use a series solution for this equation:
Substituting this solution into the reduced form of the equation, we obtain
which reduces to
For this equation to hold, the coefficients of each of the powers of
must vanish seperately. Doing this for the positive powers of
yields the following recursion relation:
In addition, we have an
term; for it to vanish, we must set
This, combined with the above recursion relation, means that the function
contains only even powers of
In other words,
By a similar argument as the one that we employed for the one-dimensional harmonic oscillator, we find that, unless the series for
terminates, the resulting full wave function will diverge as
Because the series must only contain even powers of
the resulting quantization condition on the energy is
or
where
The degeneracy corresponding to the
level may be found to be
We see that energy levels with even
correspond to even values of
while those with odd
have odd values of
The total wave function of the isotropic harmonic oscillator is thus given by
One may show that, in fact,
is an associated Laguerre polynomial in