PY 451 Notes — April 12-19, 2018 Mcintyre Chap. 7 Notes — Spectrum of Angular Momentum Professor Kenneth Lane1 A. Preliminar
Total Page:16
File Type:pdf, Size:1020Kb
PY 451 Notes | April 12-19, 2018 McIntyre Chap. 7 notes | Spectrum of Angular Momentum Professor Kenneth Lane1 A. Preliminaries 1.) In the following I will use J = (Jx;Jy;Jz) = (J1;J2;J3) for a generic angular momentum, L = r × p for the orbital angular momentum of a particle whose position (operator) is r and momentum is p, and S for the spin operator of the particle. (For a massive particle, its spin is defined as its total angular momentum when it is at rest. The spin is therefore an intrinsic fundamental property of the particle, like its mass, electric charge, and other quantities which are not effected by the particle's motion. Defining the spin for a massless particle like the photon is a little tricky, so we won't be concerned with that here.) For a particle in motion, its total angular momentum (operator) is J = L + S. 2.) As for spin, angular momentum is a hermitian operator and its commutation relations with itself are [Jx;Jy] = i~Jz plus cyclic permutations. They are written compactly using the summation convention of summing over repeated indices: 3 X [Ja;Jb] = i~ abcJc ≡ i~ abcJc; (a; b; c = 1; 2; 3): (1) c=1 Here, abc is the completely antisymmetric Levi-Civita tensor introduced in the Chapter 2 notes. 3.) It is convenient to define ladder operators for angular momentum, y J± = Jx ± iJy = J1 ± iJ2 = J∓: (2) These have the commutation relations (from Eq. (1)) [Jz;J±] = ±~J± ; [J+;J−] = 2~Jz : (3) 4.) The square of the angular momentum operator is 2 2 2 2 1 2 J = JaJa ≡ Jx + Jy + Jz = 2 (J+J− + J−J+) + Jz : (4) This is also hermitian and its possible eigenvalues must be non-negative (≥ 0). It is easy to see 2 1 that [Ja; J ] = 0 for a = 1; 2; 3 (just as it was for spin- 2 ). Summing on repeated indices again and using [A; BC] = B[A; C] + [A; B]C, we have (by the antisymmetry of abc = −acb) 2 [Ja; J ] = [Ja;JbJb] = [Ja;Jb]Jb + Jb[Ja;Jb] = i~ abc(JcJb + JbJc) = 0: (5) 2 Thus, one component of the angular momentum, usually taken to be Jz, and J can be simultaneously 2 diagonalized. Considered by themselves, with no other operators, (Jz; J ) constitute a complete set of commuting observables (CSCO); see the Chapter 2 notes again. 1 c Kenneth Lane, 2018. 1 B. The Spectrum of Angular Momentum 2 1.) We denote by jjmi the simultaneous eigenstates of Jz and J , where j and m are real, dimen- sionless numbers we determine below. They label the total angular momentum and its z-component, respectively. The eigenvalue equations are Jzjjmi = m~jjmi; (6) 2 2 J jjmi = j(j + 1) ~ jjmi: (7) Since J 2 is a positive semi-definite operator, j(j +1) ≥ 0. For simplicity in this derivation, I assume 2 that j ≥ 0. For convenience, I set ~ = 1 in this derivation. As usual, the eigenstates of Jz and J form a complete orthonormal set in the space in which these two operators act: 0 0 hjmjj m i = δjj0 δmm0 ; (8) X jjmihjmj = 1 ; (9) j;m where the sum is over all possible values of j and m. 2.) For fixed (j; m), consider the states obtained by applying the ladder operators J± to jjmi. We 2 act on these states with Jz and J to find their m and j-values. Using the commutation relations in Eqs. (3, 5) (fill in the missing steps yourself!) JzJ±jjmi = (J±Jz + [Jz;J±]) jjmi = (m ± 1)J±jjmi ; (10) 2 J J±jjmi = j(j + 1)J±jjmi: (11) Thus, J±jjmi is a state with total angular momentum j and z-component m + 1: ± J± = cjmjj; m + 1i: (12) Hence the name \ladder operators" for J±. ± 3.) Now determine cjm: ± 2 2 2 jcjmj = hjmjJ∓J±jjmi = hjmjJx + Jy ± i[Jx;Jy]jjmi 2 2 = hjmjJ − Jz ∓ Jzjjmi = j(j + 1) − m(m ± 1): (13) ± 2 Since the squared norm of J±jjmi must be non-negative, jcjmj ≥ 0, we must have (for j ≥ 0): j(j + 1) − m(m + 1) ≥ 0 =) m ≤ j; (14) j(j + 1) − m(m − 1) ≥ 0 =) m ≥ −j: (15) (16) Choosing the positive square root (a simple choice of overall phase), we have ± p p cjm = j(j + 1) − m(m ± 1) = (j ∓ m)(j ± m ± 1): (17) This is a useful and important equation. You should try to memorize it. 4.) Finally: For fixed j ≥ 0, each application of the ladder operator J± to the state jjmi raises or lowers m by one unit until m = j (for J+) or m = −j (for J−). The next application of J+ or J− 2 gives zero: J+jjji = J−jj; −ji = 0. Thus, there are 2j + 1 values of m = −j; −j + 1; : : : ; j − 1; j. But, then 2j + 1 must be a non-negative integer!. (Had we assumed j ≤ −1 so that j(j + 1) is still ≥ 0, this shows that we would have obtained a contradiction.) We have now found the eigenvalue 2 2 spectrum of the Jz and J (or of J and any other component of J): Jzjjmi = m~jjmi; (18) 2 2 J jjmi = j(j + 1) ~ jjmi; (19) 1 3 j = 0; 2 ; 1; 2 ;:::; (20) m = −j; −j + 1; : : : ; j + 1; j: (21) More usually, one writes −j ≤ m ≤ j. A question: Can you prove that there are no states between jjmi and j; m ± 1i? Recall the similar question about the states of the harmonic oscillator. 5.) I hope you have enjoyed this derivation of the spectrum of angular momentum. With the ladder operators, it is somewhat similar to determining the spectrum of the harmonic oscillator and, indeed, many other diagonalization problems (including the hydrogen atom!). So, now we 1 know why the spin operators studied in Chapters 1-3 can describe spin- 2 , 1, etc. Everything is determined by the commutation relations of the operators and the fact that they are hermitian! As you know, the spectrum of orbital angular momentum contains only the integers: l = 0; 1; 2;::: with −l ≤ ml ≤ l. I will explain the reason for that when we discuss orbital angular momentum | which is next. C. Orbital Angular Momentum As discussed in some detail in the discussion section on April 11, the orbital angular momentum operators L = r × p in the r representation are @ @ @ @ @ @ L = −i r × r = −i y − z ; z − x ; x − y ; (22) ~ ~ @z @y @x @z @y @x and they are easily (more easily than in McIntyre!) seen to satisfy the commutation relations of angular momentum: [La;Lb] = i~ abcLc: (23) For spherically symmetric potentials V (r) | which we shall focus on almost exclusively for the rest of the semester | the entire Hamiltonian is spherically symmetric (invariant under rotations), and so, as we have discussed many times now, [H; L] = 0; (24) or, what is the same thing (as we have also discussed repeatedly), orbital angular momentum is 2 conserved: dhL(t)i=dt = 0. Thus, we can simultaneously diagonalize H, Lz and L , and the eigenstates of H, states with a particular energy eigenvalue En` and orbital angular momentum ` will be (2` + 1)-fold degenerate. These states are labeled jn`mi, and Hjn`mi = En` jn`mi; 2 2 L jn`mi = `(` + 1)~ jn`mi (25) Lzjn`mi = m~ jn`mi − ` ≤ m ≤ `: 3 The reason for labeling the energy with both a \principal" quantum number n and the orbital angular momentum ` will become clear presently. (Note: We are ignoring the possibility of spin here. In atoms like the hydrogen atom, spin-effects are small and can be ignored to a good approximation.) Now, it turns out that the only allowed values of ` for orbital angular momentum are ` = 0; 1; 2;::: . 2 Why is that? The usual answer is that the wave function (here the eigenfunction of Lz and L imφ must single-valued, i.e. that the eigenfunction e of Lz = −i~ @=@φ must have the same value at φ = 0 and φ = 2π; one complete revolution by 2π around the z-axis should give us back the same wave function. But, since the overall phase of the wave function has no physical meaning, that 1 3 argument cannot be right! Furthermore, it is not correct for spin 2 , 2 , etc. The real argument is more complicated; I'll merely state the result below. The components of L and L2 in the (θ; φ) representation are: @ @ L = i sin φ + cos φ cot θ ; x ~ @θ @φ @ @ L = i − cos φ + sin φ cot θ ; y ~ @θ @φ @ L = −i ; (26) z ~@φ 1 @ @ 1 @2 L2 = − 2 sin θ + : (27) ~ sin θ @θ @θ sin2 θ @φ2 This expression for L2 should look familiar. It appeared in the energy eigenvalue equation for the Hamiltonian in spherical coordinates on page 7-5 of the notes labeled \Chapter-7-prelims". Using it here with our notation in Eqs. (25), that equation is 2 1 @ @ L2 − ~ r2 + + V (r) (r; θ; φ) = E (r; θ; φ) ; (28) 2µ r2 @r @r 2µr2 n`m n` n`m where n`m(r; θ; φ) = hrjn`mi ≡ hr; θ; φjn`mi. Note the separation of the kinetic energy (derivative) terms into a purely radial piece and a purely orbital piece. This is very important, because the 2 orbital term will now become part of the central potential. Since L jn`mi = `(` + 1)~2jn`mi, Eq. (28) becomes | in the spherical coordinate representation of operators and states: 2 1 @ @ `(` + 1) 2 − ~ r2 + ~ + V (r) (r; θ; φ) = E (r; θ; φ) : (29) 2µ r2 @r @r 2µr2 n`m n` n`m Thus the orbital kinetic energy has become part of an effective central potential called the \cen- trifugal barrier": `(` + 1) 2 V (r) = V (r) + ~ : (30) eff: 2µr2 As we shall see, for ` 6= 0, it is a repulsive potential keeping the particle with reduced mass µ away from r = 0.