9.8: The Schrödinger Equation
( \newcommand{\kernel}{\mathrm{null}\,}\)
The Schrödinger equation is the equation of motion for nonrelativistic quantum mechanics. This equation is a linear partial differential equation and in simple situations can be solved using the technique of separation of variables. Luckily, one of the cases that can be solved analytically is the hydrogen atom. It can be argued that the greatest success of classical mechanics was the solution of the Earth-Sun system. Similarly, it can be argued that the greatest success of quantum mechanics was the solution of the electron-proton system. The mathematical solutions of these classical and quantum two-body problems rank among the highest achievements of mankind.
Heuristic Derivation of the Schrödinger Equation
Nature consists of waves and particles. Early in the twentieth century, light was discovered to act as both a wave and a particle, and quantum mechanics assumes that matter can also act in both ways.
In general, waves are described by their wavelength λ and frequency ν, or equivalently their wavenumber k=2π/λ and their angular frequency ω=2πν. The Planck-Einstein relations for light postulated that the energy E and momentum p of a light particle, called a photon, is proportional to the angular frequency ω and wavenumber k of the light wave. The proportionality constant is called “h bar”, denoted as ¯h, and is related to the original Planck’s constant h by ¯h=h/2π. The Planck-Einstein relations are given by E=¯hω,p=¯hk.
De Broglie in 1924 postulated that matter also follows these relations.
A heuristic derivation of the Schrödinger equation for a particle of mass m and momentum p constrained to move in one dimension begins with the classical equation p22m+V(x,t)=E, where p2/2m is the kinetic energy of the mass, V(x,t) is the potential energy, and E is the total energy.
In search of a wave equation, we consider how to write a free wave in one dimension. Using a real function, we could write Ψ=Acos(kx−ωt+ϕ), where A is the amplitude and ϕ is the phase. Or using a complex function, we could write Ψ=Cei(kx−ωt), where C is a complex number containing both amplitude and phase.
We now rewrite the classical energy equation (???) using the Planck-Einstein relations. After multiplying by a wavefunction, we have ¯h22mk2Ψ(x,t)+V(x,t)Ψ(x,t)=¯hωΨ(x,t).
We would like to replace k and ω, which refer to the wave characteristics of the particle, by differential operators acting on the wavefunction Ψ(x,t). If we consider V(x,t)=0 and the free particle wavefunctions given by (???) and (???), it is easy to see that to replace both k2 and ω by derivatives we need to use the complex form of the wavefunction and explicitly introduce the imaginary unit i, that is k2→−∂2∂x2,ω→i∂∂t.
Doing this, we obtain the intrinsically complex equation −¯h22m∂2Ψ∂x2+V(x,t)Ψ=i¯h∂Ψ∂t, which is the one-dimensional Schrödinger equation for a particle of mass m in a potential V=V(x,t). This equation is easily generalized to three dimensions and takes the form −¯h22m∇2Ψ(x,t)+V(x,t)Ψ(x,t)=i¯h∂Ψ(x,t)∂t, where in Cartesian coordinates the Laplacian ∇2 is written as ∇2=∂2∂x2+∂2∂y2+∂2∂z2.
The Born interpretation of the wavefunction states that |Ψ(x,t)|2 is the probability density function of the particle’s location. That is, the spatial integral of |Ψ(x,t)|2 over a volume V gives the probability of finding the particle in V at time t. Since the particle must be somewhere, the wavefunction for a bound particle is usually normalized so that ∫∞−∞∫∞−∞∫∞−∞|Ψ(x,y,z;t)|2dxdydz=1.
The simple requirements that the wavefunction be normalizable as well as single valued admits an analytical solution of the Schrödinger equation for the hydrogen atom.
The Time-Independent Schrödinger Equation
The space and time variables of the time-dependent Schrödinger equation (???) can be separated provided the potential function V(x,t)=V(x) is independent of time. We try Ψ(x,t)=ψ(x)f(t) and obtain −¯h22mf∇2ψ+V(x)ψf=i¯hψf′.
Dividing by ψf, the equation separates as −¯h22m∇2ψψ+V(x)=i¯hf′f.
The left-hand side is independent of t, the right-hand side is independent of x, so both the left- and right-hand sides must be independent of x and t and equal to a constant. We call this separation constant E, thereby reintroducing the total energy into the equation. We now have the two differential equations f′=−iE¯hf,−¯h22m∇2ψ+V(x)ψ=Eψ.
The second equation is called the time-independent Schrödinger equation. The first equation can be easily integrated to obtain f(t)=e−iEt/¯h, which can be multiplied by a arbitrary constant.
Particle in a One-Dimensional Box
We assume that a particle of mass m is able to move freely in only one dimension and is confined to the region defined by 0<x<L. This is perhaps the simplest quantum mechanical problem with quantized energy levels. We take as the potential energy function V(x)={0,0<x<L,∞,otherwise, where we may assume that the particle is forbidden from the region with infinite potential energy. We will simply take as the boundary conditions on the wavefunction ψ(0)=ψ(L)=0.
For this potential, the time-independent Schrödinger equation for 0<x<L reduces to −¯h22md2ψdx2=Eψ, which we write in a familiar form as d2ψdx2+(2mE¯h2)ψ=0.
Equation (???) together with the boundary conditions (???) form an ode eigenvalue problem, which is in fact identical to the problem we solved for the diffusion equation in subsection 9.5.
The general solution to this second-order differential equation is given by ψ(x)=Acos√2mEx¯h+Bsin√2mEx¯h.
The first boundary condition ψ(0)=0 yields A=0. The second boundary condition ψ(L)=0 yields √2mEL¯h=nπ,n=1,2,3,…
The energy levels of the particle are therefore quantized, and the allowed values are given by En=n2π2¯h22mL2.
The corresponding wavefunction is given by ψn=Bsin(nπx/L). We can normalize each wavefunction so that ∫L0|ψn(x)|2dx=1, obtaining B=√2/L. We have therefore obtained ψn(x)={√2LsinnπxL,0<x<L;0,otherwise.
The Simple Harmonic Oscillator
Hooke’s law for a mass on a spring is given by F=−Kx, where K is the spring constant. The potential energy V(x) in classical mechanics satisfies F=−∂V/∂x, so that the potential energy of the spring is given by V(x)=12Kx2.
Recall that the differential equation for a classical mass on a spring is given from Newton’s law by m..x=−Kx, which can be rewritten as ..x+ω2x=0, where ω2=K/m. Following standard notation, we will therefore write the potential energy as V(x)=12mω2x2.
The time-independent Schrödinger equation for the one-dimensional simple harmonic oscillator then becomes −¯h22md2ψdx2+12mω2x2ψ=Eψ.
The relevant boundary conditions are ψ→0 as x→±∞ so that the wavefunction is normalizable.
The Schrödinger equation given by (???) can be made neater by nondimensionalization. We rewrite (???) as d2ψdx2+(2mE¯h2−m2ω2x2¯h2)ψ=0, and observe that the dimension [¯h/m2ω2]=l4, where l is a unit of length. We therefore let x=√¯hmωy,ψ(x)=u(y), and (???) becomes d2udy2+(E−y2)u=0, with the dimensionless energy given by E=2E/¯hω, and boundary conditions limy→±∞u(y)=0.
The dimensionless Schrödinger equation given by (???) together with the boundary conditions (???) forms another ode eigenvalue problem. A nontrivial solution for u=u(y) exists only for discrete values of E, resulting in the quantization of the energy levels. Since the second-order ode given by (???) has a nonconstant coefficient, we can use the techniques of Chapter 6 to find a convergent series solution for u=u(y) that depends on E. However, we will then be faced with the difficult problem of determining the values of E for which u(y) satisfies the boundary conditions (???).
A path to an analytical solution can be discovered if we first consider the behavior of u for large values of y. With y2>>E, (???) reduces to d2udy2−y2u=0.
To determine the behavior of u for large y, we try the ansatz u(y)=eay2.
We have u′(y)=2ayeay2, u″(y)=eay2(2a+4a2y2)≈4a2y2eay2, and substitution into (???) results in (4a2−1)y2=0, yielding a=±1/2. Therefore at large y, u(y) either grows like ey2/2 or decays like e−y2/2. Here, we have neglected a possible polynomial factor in front of the exponential functions. Clearly, the boundary conditions forbid the growing behavior and only allow the decaying behavior.
We proceed further by letting u(y)=H(y)e−y2/2, and determining the differential equation for H(y). After some simple calculation, we have u′(y)=(H′−yH)e−y2/2,u″(y)=(H″−2yH′+(y2−1)H)e−y2/2.
Substitution of the second derivative and the function into (???) results in the differential equation H″−2yH′+(E−1)H=0.
We now solve (???) by a power-series ansatz. We try H(y)=∞∑k=0akyk.
Substitution into (???) and shifting indices as detailed in Chapter 6 results in ∞∑k=0((k+2)(k+1)ak+2+(E−1−2k)ak)yk=0.
We have thus obtained the recursion relation ak+2=(1+2k)−E(k+2)(k+1)ak,k=0,1,2,…
Now recall that apart from a possible multiplicative polynomial factor, u(y)∼ey2/2 or e−y2/2. Therefore, H(y) either goes like a polynomial times ey2 or a polynomial. The function H(y) will be a polynomial only if E takes on specific values which truncate the infinite power series.
Before we jump to this conclusion, I want to show that if the power series does not truncate, then H(y) does indeed grow like ey2 for large y. We first write the Taylor series for ey2:
ey2=1+y2+y42!+y63!+⋯=∞∑k=0bkyk, where bk={1(k/2)!,n even;0,k odd.
For large values of y, the later terms of the power series dominate the earlier terms and the behavior of the function is determined by the large k coefficients. Provided k is even, we have bk+2bk=(k/2)!((k+2)/2)!=1(k/2)+1∼2k.
The ratio of the coefficients would have been the same even if we had multiplied ey2 by a polynomial.
The behavior of the coefficients for large k of our solution to the Schrödinger equation is given by the recursion relation (???), and is ak+2ak=(1+2k)−E(k+2)(k+1)∼2kk2=2k, the same behavior as the Taylor series for ey2. For large y, then, the infinite power series for H(y) will grow as ey2 times a polynomial. Since this does not satisfy the boundary conditions for u(y) at infinity, we must force the power series to truncate, which it does if we set E=En, where En=1+2n,n=0,1,2,…, resulting in quantization of the energy. The dimensional result is En=¯hω(n+12), with the ground state energy level given by E0=¯hω/2. The wavefunctions associated with each En can be determined from the power series and are the so-called Hermite polynomials times the decaying exponential factor. The constant coefficient can be determined by requiring the wavefunctions to integrate to one.
For illustration, the first two energy eigenfunctions, corresponding to the ground state and the first excited state, are given by ψ0(x)=(mωπ¯h)1/4e−mωx2/2¯h,ψ1(x)=(mωπ¯h)1/4√2mω¯hxe−mωx2/2¯h.
Particle in a Three-Dimensional Box
To warm up to the analytical solution of the hydrogen atom, we solve what may be the simplest three-dimensional problem: a particle of mass m able to move freely inside a cube. Here, with three spatial dimensions, the potential is given by V(x,y,z)={0,0<x,y,z<L,∞,otherwise.
We may simply impose the boundary conditions ψ(0,y,z)=ψ(L,y,z)=ψ(x,0,z)=ψ(x,L,z)=ψ(x,y,0)=ψ(x,y,L)=0.
The Schrödinger equation for the particle inside the cube is given by −¯h22m(∂2ψ∂x2+∂2ψ∂y2+∂2ψ∂z2)=Eψ.
We separate this equation by writing ψ(x,y,z)=X(x)Y(y)Z(z), and obtain −¯h22m(X″YZ+XY″Z+XYZ″)=EXYZ.
Dividing by XYZ and isolating the x-dependence first, we obtain −¯h22mX″X=¯h22m(Y″Y+Z″Z)+E.
The left-hand side is independent of y and z and the right-hand side is independent of x so that both sides must be a constant, which we call Ex. Next isolating the y-dependence, we obtain −¯h22m(Y″Y)=¯h22m(Z″Z)+E−Ex.
The left-hand side is independent of x and z and the right-hand side is independent of x and y so that both sides must be a constant, which we call Ey. Finally, we define Ez=E−Ex−Ey. The resulting three differential equations are given by X″+2mEx¯h2X=0,Y″+2mEy¯h2Y=0,Z″+2mEz¯h2Z=0.
These are just three independent one-dimensional box equations so that the energy eigenvalue is given by Enxnynz=(n2x+N2y+n2z)π2¯h22mL2. and the associated wavefunction is given by ψnxnynz={(2L)3/2sinnπxLsinnπyLsinnπzL,0<x,y,z<L;0,otherwise.
The Hydrogen Atom
Hydrogen-like atoms, made up of a single electron and a nucleus, are the atomic two-body problems. As is also true for the classical two-body problem, consisting of say a planet and the Sun, the atomic two-body problem can be reduced to a one-body problem by transforming to center-of-mass coordinates and defining a

reduced mass μ. We will not go into these details here, but will just take as the relevant Schrödinger equation −¯h22μ∇2ψ+V(r)ψ=Eψ, where the potential energy V=V(r) is a function only of the distance r of the reduced mass to the center-of-mass. The explicit form of the potential energy from the electrostatic force between an electron of charge −e and a nucleus of charge +Ze is given by V(r)=−Ze24πϵ0r.
With V=V(r), the Schrödinger equation (???) is separable in spherical coordinates. With reference to Fig. 9.8.1, the radial distance r, polar angle θ and azimuthal angle ϕ are related to the usual cartesian coordinates by x=rsinθcosϕ,y=rsinθsinϕ,z=rcosθ; and by a change-of-coordinates calculation, the Laplacian can be shown to take the form ∇2=1r2∂∂r(r2∂∂r)+1r2sinθ∂∂θ(sinθ∂∂∂θ)+1r2sin2θ∂2∂ϕ2.
The volume differential dτ in spherical coordinates is given by dτ=r2sinθdrdθdϕ.
A complete solution to the hydrogen atom is somewhat involved, but nevertheless is such and important and fundamental problem that I will pursue it here. Our final result will lead us to obtain the three well-known quantum numbers of the hydrogen atom, namely the principle quantum number n, the azimuthal quantum number l, and the magnetic quantum number m.
With ψ=ψ(r,θ,ϕ), we first separate out the angular dependence of the Schrödinger equation by writing ψ(r,θ,ϕ)=R(r)Y(θ,ϕ).
Substitution of (???) into (???) and using the spherical coordinate form for the Laplacian (???) results in −¯h22μ[Yr2ddr(r2dRdr)+Rr2sinθ∂∂θ(sinθ∂Y∂θ)+Rr2sin2θ∂2Y∂ϕ2]+V(r)RY=ERY.
To finish the separation step, we multiply by −2μr2/¯h2RY and isolate the r-dependence on the left-hand side:
1R[ddr(r2dRdr)]+2μr2¯h2(E−V(r))=−1Y[1sinθ∂∂θ(sinθ∂Y∂θ)+1sin2θ∂2Y∂ϕ2].
The left-hand side is independent of θ and ϕ and the right-hand side is independent of r, so that both sides equal a constant, which we will call λ1. The R equation is then obtained after multiplication by R/r2:
1r2ddr(r2dRdr)+{2μ¯h2[E−V(r)]−λ1r2}R=0.
The Y equation is obtained after multiplication by Y:
1sinθ∂∂θ(sinθ∂Y∂θ)+1sin2θ∂2Y∂ϕ2+λ1Y=0.
To further separate the Y equation, we write Y(θ,ϕ)=Θ(θ)Φ(ϕ).
Substitution of (???) into (???) results in Φsinθddθ(sinθdΘdθ)+Θsin2θd2Φdϕ2+λ1ΘΦ=0.
To finish this separation, we multiply by sin2θ/ΘΦ and isolate the θ-dependence on the left-hand side to obtain sinθΘddθ(sinθdΘdθ)+λ1sin2θ=−1Φd2Φdϕ2.
The left-hand side is independent of ϕ and the right-hand side is independent of θ so that both sides equal a constant, which we will call λ2. The Θ equation is obtained after multiplication by Θ/sin2θ:
1sinθddθ(sinθdΘdθ)+(λ1−λ2sin2θ)Θ=0.
The Φ equation is obtained after multiplication by Φ:
d2Φdϕ2+λ2Φ=0.
The three eigenvalue ode equations for R(r),Θ(θ) and Φ(ϕ) are thus given by (???), (???) and (???), with eigenvalues E, λ1 and λ2.
Boundary conditions on the wavefunction determine the allowed values for the eigenvalues. We first solve (???). The relevant boundary condition on Φ=Φ(ϕ) is its single valuedness, and since the azimuthal angle is a periodic variable, we have Φ(ϕ+2π)=Φ(ϕ).
Periodic solutions for Φ(ϕ) are possible only if λ2≥0. We therefore obtain using the complex form the general solutions of (???):
Φ(ϕ)={Aei√λ2ϕ+Be−i√λ2ϕ,λ2=0,C+Dϕ,λ2=0.
The periodic boundary conditions given by (???) requires that √λ2 is an integer and D=0. We therefore define λ2=m2, where m is any integer, and take as our eigenfunction Φm(ϕ)=1√2πeimϕ, where we have normalized Φm so that ∫2π0|Φm(ϕ)|2dϕ=1.
The quantum number m is commonly called the magnetic quantum number because when the atom is placed in an external magnetic field, its energy levels become dependent on m.
To solve the Θ equation (???), we let w=cosθ,P(w)=Θ(θ).
Then sin2θ=1−w2 and dΘdθ=dPdwdwdθ=−sinθdPdw, allowing us the replacement ddθ=−sinθddw.
With these substitutions and λ2=m2, (???) becomes ddw[(1−w2)dPdw]+(λ1−m21−w2)P=0.
To solve (???), we first consider the case m=0. Expanding the derivative, (???) then becomes (1−w2)d2Pdw−2wdPdw+λ1P=0.
Since this is an ode with nonconstant coefficients, we try a power series ansatz of the usual form P(w)=∞∑k=0akwk.
Substitution of (???) into (???) yields ∞∑k=2k(k−1)akwk−2−∞∑k=0k(k−1)akwk−∞∑k=02kakwk+∞∑k=0λ1akwk=0.
Shifting the index in the first expression and combining terms results in ∞∑k=0{(k+2)(k+1)ak+2−[(k(k+1)−λ1]ak}wk=0.
Finally, setting the coefficients of the power series equal to zero results in the recursion relation ak+2=k(k+1)−λ1(k+2)(k+1)ak.
Even and odd coefficients decouple, and the even solution is of the form Peven(w)=∞∑n=0a2nw2n, and the odd solution is of the form Podd(w)=∞∑n=0a2n+1w2n+1.
An application of Gauss’s test for series convergence can show that both the even and the odd solutions diverge when |w|=1 unless the series terminates. Since the wavefunction must be everywhere finite, the series must terminate and we obtain the discrete eigenvalues λ1=l(l+1),for l=0,1,2,….
The quantum number l is commonly called the azimuthal quantum number despite having arisen from the polar angle equation. The resulting eigenfunctions Pl(w) are called the Legendre polynomials. These polynomials are usually normalized such that Pl(1)=1, and the first four Legendre polynomials are given by P0(w)=1,P1(w)=w,P2(w)=12(3w2−1),P3(w)=12(5w3−3w).
With λ1=l(l+1), we now reconsider (???). Expanding the derivative gives (1−w2)d2Pdw2−2wdPdw+(l(l+1)−m21−w2)P=0.
Equation (???) is called the associated Legendre equation. The associated Legendre equation with m=0, (1−w2)d2Pdw2−2wdPdw+l(l+1)P=0, is called the Legendre equation. We now know that the Legendre equation has eigenfunctions given by the Legendre polynomials, Pl(w). Amazingly, the eigenfunctions of the associated Legendre equation can be obtained directly from the Legendre polynomials. For ease of notation, we will assume that m>0. To include the cases m<0, we need only replace m everywhere by |m|.
To see how to obtain the eigenfunctions of the associated Legendre equation, we will first show how to derive the associated Legendre equation from the Legendre equation. We will need to differentiate the Legendre equation (???) m times and to do this we will make use of Leibnitz’s formula for the mth derivative of a product:
dmdxm[f(x)g(x)]=m∑j=0(mj)djfdxjdm−jgdxm−j, where the binomial coefficients are given by (mj)=m!j!(m−j)!.
We first compute dmdwm[(1−w2)d2Pdw2]=m∑j=0(mj)[djdwj(1−w2)][dm−jdwm−jd2Pdw2].
Only the terms j=0,1 and 2 contribute, and using (m0)=1,(m1)=m,(m2)=m(m−1)2, and the more compact notation dnPdwn=P(n)(w), we find dmdwm[(1−w2)P(2)]=(1−w2)P(m+2)−2mwP(m+1)−m(m−1)P(m).
We next compute dmdwm[2wdPdw]=m∑j=0(mj)[dj2wj2w][dm−jdwm−jdPdw].
Here, only the terms j=0 and 1 contribute, and we find dmdwm[2wP(1)]=2wP(m+1)+2mP(m).
Differentiating the Legendre equation (???) m times, using (???) and (???), and defining p(w)=P(m)(w) results in (1−w2)d2Pdw2−2(1+m)wdpdw+[l(l+1)−m(m+1)]p=0.
Finally, we define q(w)=(1−w2)m/2p(w).
Then using dpdw=(1−w2)−m/2(dqdw+mwq1−w2) and d2pdw2=(1−w2)−m/2{d2qdw2+2mw1−w2dqdw+[m(m+2)w2(1−w2)2+m1−w2]q}, we substitute (???) and (???) into (???) and cancel the common factor of (1−w2)−m/2 to obtain (1−w2)d2qdw2−2wdqdw+[l(l+1)−m21−w2]q=0, which is just the associated Legendre equation (???) for q=q(w). We may call the eigenfunctions of the associated Legendre equation Plm(w), and with q(w)=Plm(w), we have determined the following relationship between the eigenfunctions of the associated Legendre equation and the Legendre polynomials:
Plm(w)=(1−w2)|m|/2d|m|dw|m|Pl(w), where we have now replaced m by its absolute value to include the possibility of negative integers. Since Pl(w) is a polynomial of order l, the expression given by (???) is nonzero only when |m|≤l. Sometimes the magnetic quantum number m is written as ml to signify that its range of allowed values depends on the value of l.
At last, we need to solve the eigenvalue ode for R=R(r) given by (???), with V(r) given by (???) and λ1 given by (???). The radial equation is now 1r2ddr(r2dRdr)+{2μ¯h2[E+Ze24πϵ0r]−l(l+1)r2}R=0.
Note that each term in this equation has units of one over length squared times R and that E<0 for a bound state solution.
It is customary to nondimensionalize the length scale so that 2μE/¯h2=−1/4 in dimensionless units. Furthermore, multiplication of R(r) by r can also simplify the derivative term. To these ends, we change variables to ρ=√8μ|E|¯hr,u(ρ)=rR(r), and obtain after multiplication of the entire equation by ρ the simplified equation d2udρ2+{αρ−14−l(l+1)ρ2}u=0, where α now plays the role of a dimensionless eigenvalue, and is given by α=Ze24πϵ0¯h√μ2|E|.
As we saw for the problem of the simple harmonic oscillator, it may be helpful to consider the behavior of u=u(ρ) for large ρ. For large ρ, (???) simplifies to d2udρ2−14u=0, with two independent solutions u(ρ)={eρ/2,e−ρ/2.
Since the relevant boundary condition here must be limρ→∞u(ρ)=0, only the second decaying exponential solution can be allowed.
We can also consider the behavior of (???) for small ρ. Multiplying by ρ2, and neglecting terms proportional to ρ and ρ2 that are not balanced by derivatives, results in the Cauchy-Euler equation ρ2d2udρ2−l(l+u)=0, which can be solved by the ansatz u=ρs. After canceling ρs, we obtain s(s−1)−l(l+1)=0, which has the two solutions s={l+1,−l.
If R=R(r) is finite at r=0, the relevant boundary condition here must be limρ→0u(ρ)=0 so that only the first solution u(ρ)∼ρl+1 can be allowed.
Combining these asymptotic results for large and small ρ, we now try to substitute u(ρ)=ρl+1e−ρ/2F(ρ) into (???). After some algebra, the resulting differential equation for F=F(ρ) is found to be d2Fdρ2+(2(l+1)ρ−1)dFdρ+α−(l+1)ρF=0.
We are now in a position to try a power-series ansatz of the form F(ρ)=∞∑k=0akρk to obtain ∞∑k=2k(k−1)akρk−2+∞∑k=12(l+1)kakρk−2−∞∑k=1kakρk−1+∞∑k=0[α−(l+1]akρk−1=0.
Shifting indices, bringing the lower summations down to zero by including zero terms, and finally combining terms, we obtain ∞∑k=0{[(k+1)(k+2(l+1))]ak+1−(1+l+k−α)ak}ρk−1=0.
Setting the coefficients of this power series equal to zero gives us the recursion relation ak+1=1+l+k−α(k+1)(k+2(l+1))ak.
For large k, we have ak+1/ak→1/k, which has the same behavior as the power series for eρ, resulting in a solution for u=u(ρ) that behaves as u(ρ)=eρ/2 for large ρ. To exclude this solution, we must require the power series to terminate, and we obtain the discrete eigenvalues α=1+l+n′,n′=0,1,2,….
The function F=F(ρ) is then a polynomial of degree n′ and is known as an associated Laguerre polynomial.
The energy levels of the hydrogen-like atoms are determined from the allowed α eigenvalues. Using (???), and defining n=1+l+n′, for the nonnegative integer values of n′ and l, we have En=−μZ2e42(4πϵ0)2¯h2n2,n=1,2,3,….
If we consider a specific energy level En, then the allowed values of the quantum number l are nonnegative and satisfy l=n−n′−1. For fixed n then, the quantum number l can range from 0 (when n′=n−1) to n−1 (when n′=0).
To summarize, there are three integer quantum numbers n,l, and m, with n=1,2,3,…,l=0,1,…,n−1,m=−l,…,l, and for each choice of quantum numbers (n,l,m) there is a corresponding energy eigenvalue En, which depends only on n, and a corresponding energy eigenfunction ψ=ψnlm(r,θ,ϕ), which depends on all three quantum numbers.
For illustration, we exhibit the wavefunctions of the ground state and the first excited states of hydrogen-like atoms. Making use of the volume differential (???), normalization is such that ∫∞0∫π0∫2π0|ψnlm(r,θ,ϕ)|2r2sinθdrdθdϕ=1.
Using the definition of the Bohr radius as a0=4πϵ0¯h2μe2, the ground state wavefunction is given by ψ100=1√π(Za0)3/2e−Zr/a0, and the three degenerate first excited states are given by ψ200=14√2π(Za0)3/2(2−Zra0)e−Zr/2a0,ψ210=14√2π(Za0)3/2Zra0e−Zr/2a0cosθ,ψ21±1=18√π(Za0)3/2Zra0e−Zr/2a0sinθe±iϕ.