4.4. a. Write down the operator L+?in matrix fory for l=1 using the basis function Yl? b. Find [L2,L+?]
4.2 Orbital Angular Momentum, The orbital angular momentum of a particle of momentum p is L=r×p. The corresponding quantal operator in the x-representation is L=?i?r×?. Choos ? ing thas the unit of angular momentum we shall write ?L=r×p so that the orbital angular momentum operator L=?ir×? is dimensionless. This leads to a Z-component operator L=?i(x?y???y?x??) and to similar expressions for the other components of L. The commutation relations (3.4?15) now become, independent of the representation used, [Lx?,Ly?]=tLz?, etc., or L×L=tL while the commutator [L3,L2?]=0 obviously remains the same. For analyzing the motion under central forces it is more convenient to use spherical coordinates r,?,?(Fig.4.2?1) instead of the rectangular coordinates x,y,z. The relation between the two sets is given by x=rsin?cos?,y=rsin?sin?,z=rcos?. Introducing the above change of variables into (4.2-2), we obtain Lx?=i(sin?????+cot?cos?????)Ly?=i(?cos?????+cot?sin?????)Lz?=?i????.? We shall now discuss the properties of these operators. Let us designate an eigenket of L2? by ?m?, where m is the corresponding ei genvalue; then Lz??m?=m?m?. Using the x-representation and noting that, according to (4,2?6), the representation of ?m? must depend only on ?, we can write ?r?m?=3n?(?). Fig. 4,2-1 Spherical coor- Hence, the operational equation dinates. corresponding to Lz? in the x-representation has the form Lz?g^?n?=??d?m?/d?=m???n?, the solution of which is ?a?(?)=Aexpim?. Obviously ? and ?+2? correspond to the same point in space. Therefore it seems reasonable to require that q??n?(?) be a singlevalued function, and hence that ???(?)=?a?(?+2?). This in turn imposes the condition that exp?2?m=1, or that m must be a pos itive or negative integer. Thus the only possible values of the Zcomponent of the orbital angular momentum are m=0,±1,±2,:…. It should be noted that the assumption of single-valuedness for ?n?(?) is not an essential requirement of the theory as it has been developed so far. Since the eigenfunctions are not, in themselves, observable quantities, we do not have to impose the condition that they be single-valued; only the observable probability density A?z????n?, must be single-valued. Unfortunately, the singlevaluedness of ?m???z? does not lead in this case to a condition on m. The result (4,2?7) and the consequent single-valuedness of ?2?(?), are, nevertheless, true as will be shown in a more rigorous way in Section 6,2. The constant A is found from the normalization condition,
?02??L?i??z?d?=?02??A?e?1a?A?e1a?d?d=?A?2?02??d?=2??A?a=1 giving A=(1/2??)e18. In general, however, we can assume that the phase ? is zero, in which case the normalized eigenfunctions for one of the components of the orbital angular momentum can be written simply as ?n?(?)=(1/2??)exptm?. (4,2?8) The result (4,2?7) is significant because it shows that the component of orbital angular momentum along the Z direction (or about any direction, since the Z-axis has been chosen arbitrarily) can take on only certain quantized values. This is equivalent to saying that a nonvanishing vector angular momentum can have only certain observable directions in space, all others being for bidden. This space quantization, as it is called, has a number of interesting physical implications, some of which will be examined later on. Having found the eigenvalues and functions corresponding to a component of the orbital angular momentum, we next investigate the eigenvalues of its magnitude, defined by L3=Lx2?+Ly2?+Lx?2?. We shall designate the eigenvalues of this operator by h. . Keeping in ? mind that L3 and LI? commute and therefore have a common set of kets ??m?, , which we label by the eigenvalues to which they belong, we may write L2??m?=???m? as the eigenvalue equation for L2. Evidently, ? must be a positive number. In addition we must have L2???m?=m??m?. Using (4.2?4),(4.2?5) and (4.2?6), we can rewrite the operator L2 in spherical coordinates as L2=?{sin?1?????(sin?????)+sin3?1???2?2?} or L3=?{sin?1?????(sin?????)=sin3?1?L23?}, which clearly shows that La and L2? commute and thus that both operators have eigenfuctions with the same dependence on ?. Of course the eigenfunctions of L3 depend on ? and ? but not on r. Hence the common eigenfunctions of L3 and Lz? are of the type ?r??m?=Y?=?(?,?)=P?s?(?)???s?(?), where ???a?(?) is given by (4,2?8). Making this substitution in the eigenvalue equation [which now reads L2Y?,s?(?,?)=?Y?,z?(?,?)] and
sin?d?d?(sin?d?dP?a??)+(?sin2??m2)Pla?=0 If we substitute ?=cos?, then this goes over into (1??2)P?n??2?P?s?+[??(m2/1??3)]Pln?=0,(4,2?11)dd? where we have designated by primes the derivatives with respect to ?. To solve this equation we proceed as in the case of the harmonic oscillator, trying for P?a?(?) a series development of the torm Phn?(?)=(1??2)1=1/2(a0?+a1??+a2??2+?),(4,2?12) and obtaining for the coefficients ak?, the recurrence equation, (?+1)(k+2)ak+2?=[(k+?m?+1)(k+?m?)??]ak??(4,2?13) Since it relates ak? and ak+2?, the series for P?=?(?) contains only alternate coefficients, either all even or all odd. An analysis of the convergence of the infinite series (4,2?12) with coefficients related by (4.2?13) shows that it diverges at the extremes of the interval of variation of ?(?=±1). Therefore the series mustterminate and the solution P?? must be a polynomial in ?. Let us a 5 sume that a2? is the last term, so that the polynomial is of degree h; then ak+2?=0 and ?=(h+?m?)(h+?m?+1). If we define i^=k+?m?= positive integer k, then we find that the only possible values for the square of the orbital angular momentum a.re ?L2?=?=1(1+1),{1=0,1,2,…= positive integer }. For large values of l one has approximately ?L??1. From this definition of 1 , we see that l??m?, a natural result, since the magnitude of the angular momentum, givenby I cannot be sma ller than that of its components, given by m. Therefore, for a given l, m=0,±1,±2,…,±(1?1),±1,(4,2?15) indicating that the angular momentum vector can have only 2z+1 possible orientations. Since there are 21+1 values of m for each value of l, and therefore 2l+1 different eigenfunctions, the angular momentum states corresponding to a given I have a deg eneracy of order 21+1. For reasons to be seen later (Section 4.11) spectroscopists have assigned letters to the different angular momentum states as follows: I=0,1,2,3,4,5,… symbol; s, p, d, f, g, h, ... This is consistent with the condition (?m?L2?Lz2???m)=??m2?0.
The degeneracy of the eigenvalues of L2 with respect to m has geometrical interpretation. It is obviously possible to change the Z-component of a vector without changing its magnitude, by simply changing the orientation of the vector. However this degeneracy is, in a quantal sense, a direct consequence of the theorem stated in Problem 3.4-4. The fact that L3 commutes with Lx?,Ly? and Lz?, but that these operators do not commute among themselves, requires that the eigenvalues of Lz be degenerate. The solutions of (4,2?11) with ?=I(I+1) are called associated Legendre functions, (1) and are designated P1n?(4). They can be expressed in the closed form (see Appendix C. 2) P1z?(?)=(1??2)a/ad?P1?(?)/d?a(0?m?1)(4,2?16) where P1?(?)=211!1?d?d1?(?3?1)1 is called a Legendre polynomial of degree 1 . It contains only terms with powers 1,1?2,1?4,…,1 or 0 . Combining (4,2?16) and (4,2?17) and remembering that ?=cos?, we can write the alternative expression P1s?(cos?)=211!(?)1?sin2?d(cos?)1+zd1+?(sin31?)?(0?m?1). This form may now be used to extend the definition of P1? to the region ?1?m?0. Since (4,2?11 ) depends only on m2, its regular ( at ?=±1 ) solutions, P1n? and Pt=n?, must be linearly related, i. e., P1a?=CP1a?. The constant C may be evaluated directly by equating the highest powers of P1s? and P1??? as defined by (4,2?18). The properly normalized solutions of (4,2?11) are designated by ?1n?, and are called normalized associated Legendre-funetions. They may be written as P1?(u)=N1a?P1u?(?) where N1? is the norma lization constant, N1?=221+1?(1+m)!(1?m)!?? obtained by requiring ??1+1?[?1n?(?)]3d?=1. (4.2?19)
Note that since the polynomial appearing in (4.2=16) is of degree 1?m and contains only alternate powers of ?, it follows that ?1a?(??)=(?)1???1??(?). It may be verified from their definitions that the normalized functions satisfy the condition (see also Problem 4.2-7) ?1,?±?(?)=(?)n?1?(?). Whiththese results we may write the common eigenfunctions of L2 and Lz? as Y1a?(?,?)=(1/2??)?1±?(cos?)expim?. The functions defined by Eq. (4,2?23) are called the normalized spherical harmonics. The spherical harmonics for l=0,1 and 2 are given in Table 4,2?1. Table 4.2-1 Angular Functions Corresponding to L2 and Lv?? Some properties of these functions are: L2Y1?,(?,?)=I(1+1)Y1??(?,?)(4.2?24)Lz?Y1n?(?,?)=mY1z?(?,?)(4.2?25)Y1a??(?,?)=(?)±F1?s?(?,?)(4,2?26)?1±?(???,?+?)?(?)2Y1:?(?,?)(4.2?27)Y10?(?,?)=(2l+1/4?)21?P2?(cos?)(4,2?28)YL??(0,?)=?2I+1/4?????I?(4,2?29)?Y1s?(?,?)Y1?11(?,?)sin?d?d?=?116??=1.(4,2?30)? The result (4,2?27) is obtained by combining (4.2?21) with the relation exptm(?+?))=(?)?exptm?. Equation (4.2?30) is the nor -
The parity operation P, that is the replacement of r by ?r, is equivalent in polar coordinates to replacing r,?,? by r,?=?, ?+?, Hence, making use of (4.2?27)PYLa?(?,?)=Y1??(???,?+?)=(?)1YI?(?,?). The result shows that the angular momentum states have a welldefined parity determined solely by 1 . The states are even or odd according to whether l is even or odd completely independent of m. That the angular momentum states have a well-defined parity is not surprising, Observe that the P operation which changes r into ?r, also changes p into ?p or ? into ??, But this means that AL=r×P is invariant to the P ope ration, i.e.,PL== LP or [L,P]=0. Vectors with this property are called axial vectors, Hence, the eigenfunctions of L3 are also eigenfunctions of P and have well-defined parity For future reference we list here some additional useful relations: ??1+1?P1?(?)P1?(?)d?=2?11?1/(21+1)??1+1??1?(?)?1?11?(?)d?=?111??sin?e1?Y1n??=?[(21+1)(21+3)(1+m+1)(1+m+2)?]21?Y1+1,o+1?++[(21+1)(21?1)(1?m)(1?m?1)?]81?Y1?1,n+1?sinse?1?Y1s?=[(21+1)(2l+3)(1?m+1)(1?m+2)?]21?Y1+1,=?1??[(21+1)(2)?1)(1+m)(2+m?1)?]21?Y1?19m?1?cos?YLs?=[(21+1)(21+3)(1+m+1)(1?m+1)?]YL+1,a2?+[(21+1)(21?1)(1+m)(1?m)?]Y1?1?,m(4,2?35) Defining the operators L+?=Lx?+iLy?=e12t(z/??+tcot??/??)(4.2?36)L??=Lx??iLy???e?1?(?/???icot?//??),?
one can verify that L±?Y1a?=[(1?m)(2±m+1)]22?V1±1?? so that the operators L±?carry one from the function Y1a? to a function proportional to F1?±1?. These operators and relations arespecial cases of more general ones to be discussed in Chapter VI. From (4,2?26), we see that ?YLn??8=?Y1=e??andicating that the spatial distribution for a given l is the same for either +m or ?m. This is due to the fact that only m2 appears in Eq. (4.2?11), or equiva lently because L2 depends only on Lx2?. Physically this result arises from the impossibility of distinguishing between the directions +Z and ?Z in an isolated system. It follows in such cases that we can equally well use any linea r combination aY1s?+bY1?z? as an eigenfunction of L2, the most convenient being the real functions Y100?=Y10,??11=1?(+)=(1/2?)[Y1n?+(?)2Y1?n?}=(1/??)?10?(cos?)cosm?2??1?=1?(?)=(1/t2?][?1?=?(?)nV2?s?]=(4,2?39) Selected in this ? not of L2? in this way the ?1??t are eigenfunctions of L2 and Lz8? but ject to some of hotd be noted, however, that if the system is subject to 8 ome external action that distinguishes between +Z and ?Z, such as a magnetic or electric field, then we, in general, cannot use such eigenfuentions as (4.2?39) and must instead return to those in (4.2?23).