Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Physics LibreTexts

5.6: Revisiting Spherically-symmetric Problems

( \newcommand{\kernel}{\mathrm{null}\,}\)

One more blank spot to fill has been left by our study, in Sec. 3.6, of wave mechanics of particle motion in spherically-symmetric 3D potentials. Indeed, while the azimuthal components of the eigenfunctions (the spherical harmonics) of such systems are very simple, ψm=(2π)1/2eimφ, with m=0,±1,±2,, their polar components include the associated Legendre functions Pml(cosθ), which may be expressed via elementary functions only indirectly - see Eqs. (3.165) and (3.168). This makes all the calculations less than transparent and, in particular, does not allow a clear insight into the origin of the very simple energy spectrum of such systems - see, e.g., Eq. (3.163). The bra-ket formalism, applied to the angular momentum operator, not only enables such insight and produces a very convenient tool for many calculations involving spherically-symmetric potentials, but also opens a clear way toward the unification of the orbital momentum with the particle’s spin - the latter task to be addressed in the next section.

Let us start by using the correspondence principle to spell out the quantum-mechanical vector operator of the orbital angular momentum Lr×p of a point particle: ˆLˆr׈p=|nxnynzˆr1ˆr2ˆr3ˆp1ˆp2ˆp3|, i.e. ˆLj3j=1ˆrjˆpjεjj, where each of the indices j,j, and j ’" may take values 1,2 , and 3 (with jj,j ’), and εjj ", is the LeviCivita permutation symbol, which we have already used in Sec. 4.5, and also in Sec. 1 of this chapter, in similar expressions (17)-(18). From this definition, we can readily calculate the commutation relations for all Cartesian components of operators ˆL,ˆr, and ˆp; for example, [ˆLj,ˆrj]=[3k=1ˆrkˆpjεjkj,ˆrj]3k=1ˆrk[ˆrj,ˆpj]εjkj=i3k=1ˆrkδjjεjkji3k=1ˆrkεjjkiˆrjεjjj, The summary of all these calculations may be represented in similar compact forms: [ˆLj,ˆrj]=iˆrjεjjj,[ˆLj,ˆpj]=iˆpjεjj,[ˆLj,ˆLj]=iˆLjεjjj; the last of them shows that the commutator of two different Cartesian components of the vector-operator ˆL is proportional to its complementary component.

Also introducing, in a natural way, the (scalar!) operator of the observable L2|L|2, ˆL2ˆL2x+ˆL2y+ˆL2z3j=1L2j, it is straightforward to check that this operator commutes with each of the Cartesian components: [ˆL2,ˆLj]=0 This result, at the first sight, may seem to contradict the last of Eqs. (149). Indeed, haven’t we learned in Sec. 4.5 that commuting operators (e.g., ˆL2 and any of ˆLj ) share their eigenstate sets? If yes, shouldn’t this set has to be common for all four angular momentum operators? The resolution in this paradox may be found in the condition that was mentioned just after Eq. (4.138), but (sorry!) was not sufficiently emphasized there. According to that relation, if an operator has degenerate eigenstates (i.e. if some Aj= Aj ’ even for jj ), they should not be necessarily all shared by another compatible operator.

This is exactly the situation with the orbital angular momentum operators, which may be schematically shown on a Venn diagram (Fig. 10):45 the eigenstates of the operator ˆL2 are highly degenerate 46 and their set is broader than those of any component operator ˆLj (that, as will be shown below, are non-degenerate - until we consider particle’s spin).

Screen Shot 2022-01-24 at 5.16.20 PM.png
Fig. 5.10. The Venn diagram showing the partitioning of the set of eigenstates of the operator ˆL2. Each inner sector corresponds to the states shared with one of the Cartesian component operators ˆLj, while the outer (shaded) ring represents the eigenstates of ˆL2 that are not shared with either of ˆLj - for example, all linear combinations of the eigenstates of different component operators.

Let us focus on just one of these three joint sets of eigenstates - by tradition, of the operators ˆL2 and ˆLz. (This tradition stems from the canonical form of the spherical coordinates, in which the polar angle is measure from the z-axis. Indeed, in the coordinate representation we may write ˆLzˆxpyˆypx=x(iy)y(ix)=iφ. Writing the standard eigenproblem for the operator in this representation, ˆLzψm=Lzψm, we see that it is satisfied by the eigenfunctions (146), with eigenvalues Lz=m which was already conjectured in Sec. 3.5.) More specifically, let us consider a set of eigenstates {l,m} corresponding to a certain degenerate eigenvalue of the operator ˆL2, and all possible eigenvalues of the operator ˆLz, i.e. all possible quantum numbers m. (At this point, l is just some label of the eigenvalue of the operator ˆL2; it will be defined more explicitly in a minute.) To analyze this set, it is instrumental to introduce the socalled ladder (also called, respectively, "raising" and "lowering") operators 47

Ladder operators

 ˆL±ˆLx±iˆLy.

It is simple (and hence left for the reader’s exercise) to use this definition and the last of Eqs. (149) to calculate the following commutators: [ˆL+,ˆL]=2ˆLz, and [ˆLz,ˆL±]=±ˆL±, and also to use Eqs. (149)-(150) to prove two other important operator relations: ˆL2=ˆL2z+ˆL+ˆLˆLz,ˆL2=ˆL2z+ˆLˆL++ˆLz. Now let us rewrite the last of Eqs. (154) as ˆLzˆL±=ˆL±ˆLz±ˆL±, and act by its both sides upon the ket-vector |l,m of an arbitrary common eigenstate: ˆLzˆL±|l,m=ˆL±ˆLz|l,m±ˆL±|l,m. Since the eigenvalues of the operator ˆLz are equal to m, in the first term of the right-hand side of Eq. (157) we may write ˆLz|l,m=m|l,m. With that, Eq. (157) may be recast as ˆLz(ˆL±|l,m)=(m±1)(ˆL±|l,m). In a spectacular similarity with Eqs. (78)-(79) for the harmonic oscillator, Eq. (159) means that the states ˆL±|l,m are also eigenstates of the operator ˆLz, corresponding to eigenvalues (m±1). Thus the ladder operators act exactly as the creation and annihilation operators of a harmonic oscillator, moving the system up or down a ladder of eigenstates - see Fig. 11 .

Screen Shot 2022-01-24 at 5.17.22 PM.png
Fig. 5.11. The ladder diagram of the common eigenstates of the operators ˆL2 and ˆLz.

The most significant difference is that now the state ladder must end in both directions, because an infinite increase of |m|, with whichever sign of m, would cause the expectation values of the operator ˆL2x+ˆL2yˆL2ˆL2z, which corresponds to a non-negative observable, to become negative. Hence there have to be two states at both ends of the ladder, with such ket-vectors |l,mmax and |l,mmin that ˆL+|l,mmax=0,ˆL|l,mmin=0. Due to the symmetry of the whole problem with respect to the replacement mm, we should have mmin=mmax. This mmax is exactly the quantum number traditionally called l, so that lm+l. Evidently, this relation of quantum numbers m and l is semi-quantitatively compatible with the classical image of the angular momentum vector L, of the same length L, pointing in various directions, thus affecting the value of its component Lz. In this classical picture, however, L2 would be equal to the square of (Lz)max, i.e. to (l)2; however, in quantum mechanics, this is not so. Indeed, applying both parts of the second of the operator equalities (155) to the top state’s vector |l,mmax|l,l, we get ˆL2|l,l=ˆLz|l,l+ˆL2z|l,l+ˆLˆL+|l,l=2l|l,l+2l2|l,l+02l(l+1)|l,l. Since by our initial assumption, all eigenvectors |l,m correspond to the same eigenvalue of ˆL2, this result means that all these eigenvalues are equal to 2l(l+1). Just as in the case of the spin- 1/2 vector operators discussed in Sec.4.5, the deviation of this result from 2l2 may be interpreted as the result of unavoidable uncertainties ("fluctuations") of the x - and y-components of the angular momentum, which give non-zero positive contributions to Lx2 and Ly2, and hence to L2, even if the angular momentum vector is aligned with the z-axis in the best possible way.

(For various applications of the ladder operators (153), one more relation is convenient: ˆL±|l,m=[l(l+1)m(m±1)]1/2|l,m±1. This equality, valid to the multiplier eiφ with an arbitrary real phase φ, may be readily proved from the above relations in the same way as the parallel Eqs. (89) for the harmonic-oscillator operators (65) were proved in Sec. 4; due to this similarity, the proof is also left for the reader’s exercise. 48 )

Now let us compare our results with those of Sec. 3.6. Using the expression of Cartesian coordinates via the spherical ones exactly as this was done in Eq. (152), we get the following expressions for the ladder operators (153) in the coordinate representation:

Now plugging this relation, together with Eq. (152), into any of Eqs. (155), we get ˆL2=2[1sinθθ(sinθθ)+1sin2θ2φ2]. But this is exactly the operator (besides its division by the constant parameter 2mR2 ) that stands on the left-hand side of Eq. (3.156). Hence that equation, which was explored by the "brute-force" (wavemechanical) approach in Sec. 3.6, may be understood as the eigenproblem for the operator ˆL2 in the coordinate representation, with the eigenfunctions Yml(θ,φ) corresponding to the eigenkets |l,m, and the eigenvalues L2=2mR2E. As a reminder, the main result of that, rather involved analysis was expressed by Eq. (3.163), which now may be rewritten as L2l2mR2El=2l(l+1), in full agreement with Eq. (163), which was obtained by much more efficient means based on the braket formalism. In particular, it is fascinating to see how easy it is to operate with the eigenvectors |l,m, while the coordinate representations of these ket-vectors, the spherical harmonics Yml(θ,φ), may be only expressed by rather complicated functions - please have one more look at Eq. (3.171) and Fig. 3.20.

Note that all relations discussed in this section are not conditioned by any particular Hamiltonian of the system under analysis, though they (as well as those discussed in the next section) are especially important for particles moving in spherically-symmetric potentials.


45 This is just a particular example of the Venn diagrams (introduced in the 1880s by John Venn) that show possible relations (such as intersections, unions, complements, etc.) between various sets of objects, and are very useful tool in the general set theory.

46 Note that this particular result is consistent with the classical picture of the angular momentum vector: even when its length is fixed, the vector may be oriented in various directions, corresponding to different values of its Cartesian components. However, in the classical picture, all these components may be fixed simultaneously, while in the quantum picture this is not true.

47 Note a substantial similarity between this definition and Eqs. (65) for the creation/annihilation operators.

48 The reader is also challenged to use the commutation relations discussed above to prove one more important property of the common eigenstates of ˆLz and ˆL2 : l,m|ˆrj|l,m=0, unless l=l±1 and m= either m±1 or m This property gives the selection rule for the orbital electric-dipole quantum transitions, to be discussed later in the course, especially in Sec. 9.3. (The final selection rules at these transitions may be affected by the particle’s spin - see the next section.)


This page titled 5.6: Revisiting Spherically-symmetric Problems 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.

Support Center

How can we help?