* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Angular Momentum 23.1 Classical Description
Perturbation theory wikipedia , lookup
Quantum key distribution wikipedia , lookup
Quantum teleportation wikipedia , lookup
History of quantum field theory wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
Wave function wikipedia , lookup
Second quantization wikipedia , lookup
EPR paradox wikipedia , lookup
Dirac equation wikipedia , lookup
Hidden variable theory wikipedia , lookup
Path integral formulation wikipedia , lookup
Noether's theorem wikipedia , lookup
Probability amplitude wikipedia , lookup
Spin (physics) wikipedia , lookup
Coupled cluster wikipedia , lookup
Rigid rotor wikipedia , lookup
Particle in a box wikipedia , lookup
Dirac bracket wikipedia , lookup
Scalar field theory wikipedia , lookup
Renormalization group wikipedia , lookup
Spherical harmonics wikipedia , lookup
Perturbation theory (quantum mechanics) wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Bra–ket notation wikipedia , lookup
Quantum state wikipedia , lookup
Density matrix wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Self-adjoint operator wikipedia , lookup
Coherent states wikipedia , lookup
Molecular Hamiltonian wikipedia , lookup
Hydrogen atom wikipedia , lookup
Compact operator on Hilbert space wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Physics 342 Lecture 23 Angular Momentum Lecture 23 Physics 342 Quantum Mechanics I Monday, March 31st, 2008 We know how to obtain the energy of Hydrogen using the Hamiltonian operator – but given a particular En , there is degeneracy – many ψn`m (r, θ, φ) have the same energy. What we would like is a set of operators that allow us to determine ` and m. The angular momentum operator L̂, and in particular the combination L2 and Lz provide precisely the additional Hermitian observables we need. 23.1 Classical Description Going back to our Hamiltonian for a central potential, we have H= p·p + U (r). 2m (23.1) It is clear from the dependence of U on the radial distance only, that angular momentum should be conserved in this setting. Remember the definition: L = r × p, (23.2) and we can write this in indexed notation which is slightly easier to work with using the Levi-Civita symbol, defined as (in three dimensions) for (ijk) an even permutation of (123). 1 −1 for an odd permutation ijk = (23.3) 0 otherwise Then we can write Li = 3 X 3 X ijk rj pk = ijk rj pk j=1 k=1 1 of 9 (23.4) 23.2. QUANTUM COMMUTATORS Lecture 23 where the sum over j and k is implied in the second equality (this is Einstein summation notation). There are three numbers here, Li for i = 1, 2, 3, we associate with Lx , Ly , and Lz , the individual components of angular momentum about the three spatial axes. To see that this is a conserved vector of quantities, we calculate the classical Poisson bracket: [H, Li ] = ∂H ∂Li ∂H ∂Li − ∂rj ∂pj ∂pj ∂rj = pj dU ∂r ikj rk − ijk pk dr ∂rj 2m (23.5) r ∂r = rj , we have the first term in the and pj pk ijk = 01 . Noting that ∂r j bracket above proportional to ijk rj rk , and this is zero as well. So we learn i that along the dynamical trajectory, dL dt = 0. The vanishing of the classical Poisson bracket suggests that we take a look at the quantum commutator of the operator form L̂ and the Hamiltonian operator Ĥ. If these did commute, then we know that the eigenvectors of L̂ can be shared by Ĥ. 23.2 Quantum Commutators Consider the quantum operator: L̂ = r × ~ ∇ i (23.7) which, again, we can write in indexed form: L̂i = ijk rj ~ ∂k . i (23.8) We have seen that the replacement [ , ]P B −→ [ i ,~ ] leads from the Poisson bracket to the commutator, and so it is reasonable to ask how L̂i commutes with Ĥ – we expect, from the classical consideration, that [Ĥ, L̂i ] = 0 for i = 1, 2, 3. To see that this is indeed the case, let’s use a test function f (rn ) (shorthand for f (x, y, z)), and consider the commutator directly: [Ĥ, L̂i ] f (rn ) = Ĥ L̂i f (rn ) − L̂i Ĥ f (rn ). 1 (23.9) the object pj pk is unchanged under j ↔ k, while ijk flips sign ijk pj pk = ijk pk pj = ikj pk pj = −ijk pk pj = −ijk pj pk , and then we must have ijk pj pk = 0 since it is equal to its own negative. 2 of 9 (23.6) 23.2. QUANTUM COMMUTATORS Lecture 23 The first term, written out, is i ~2 Ĥ L̂i f (rn ) = − ∂q ∂q + U (r) (ijk rj ∂k f (rn )) ~ 2m ~2 =− ∂q (ijk δjq ∂k f (rn ) + ijk rj ∂q ∂k f (rn )) + U (r) (ijk rj ∂k f (rn )) 2m ~2 =− (iqk ∂q ∂k f (rn ) + ijk δjq ∂q ∂k (f (rn )) + ijk rj ∂q ∂q ∂k f (rn )) 2m + U (r) (ijk rj ∂k f (rn )) (23.10) and note that the first two terms involving second derivatives are automatically zero. Then, in vector notation, we can write: ~2 ~ Ĥ L̂ f (rn ) = − r × ∇ (∇2 f ) + U (r) r × ∇ f . (23.11) i 2m Now consider the other direction, ~2 i L̂i Ĥ f (rn ) = ijk rj ∂k − ∂q ∂q f (rn ) + U (r) f (rn ) ~ 2m 2 ~ ∂U ∂r =− ijk rj ∂k ∂q ∂q f (rn ) + ijk rj f (rn ) + U (r) ∂k f (rn ) 2m ∂r ∂rk (23.12) ∂r where, once again, ∂r ∼ r so the term involving the derivative of U will k k vanish, leaving us with ~2 ~ − r × ∇ (∇2 f ) + U (r) r × ∇ f . (23.13) L̂ Ĥ f (rn ) = i 2m So it is, indeed, the case that [Ĥ, L̂i ] = 0. 23.2.1 L̂i Commutators Before exploring the implications of the shared eigenfunctions of Ĥ and L̂i , let’s calculate the commutators of the components of L̂i with themselves. Consider, for example − 1 L̂i L̂j f (rn ) = ipq rp ∂q (juv ru ∂v f (rn )) ~2 = ipq rp jqv ∂v f (rn ) + ipq rp juv ru ∂q ∂v f (rn ) 3 of 9 (23.14) 23.2. QUANTUM COMMUTATORS Lecture 23 and the other direction, obtained by interchanging i ↔ j: − 1 L̂j L̂i f (rn ) = jpq rp iqv ∂v f (rn ) + jpq rp iuv ru ∂q ∂v f (rn ), (23.15) ~2 then the commutator is 1 − 2 [L̂i , L̂j ] f (rn ) = ipq rp jqv ∂v f (rn ) − jpq rp iqv ∂v f (rn ). ~ (23.16) Using the identity qip qjv = δij δpv − δiv δpj , we can rearrange − 1 [L̂i , L̂j ] f (rn ) = (δiv δpj − δjv δpi )] rp ∂v f (rn ) ~2 = −(δip δjv − δiv δjp ) ∂v f (rn ) = −`ij `pv rp ∂v f (rn ) i = − `ij L̂` , ~ (23.17) or, finally [L̂i , L̂j ] = i ~ `ij L̂` . (23.18) We learn that, for example, [L̂x , L̂y ] = i ~ Lz . This tells us that it is impossible to find eigenfunctions of Lx that are simultaneously eigenfunctions of Ly and/or Lz . So returning to the issue of [Ĥ, L̂i ] = 0, we can, evidently, choose any one of the angular momentum operators, and have shared eigenfunctions of Ĥ and L̂i , but we cannot also have these eigenfunctions for L̂j . That may seem strange – after all, if a vector is an eigenvector of Ĥ and L̂x , and we can also make an eigenvector that is shared between Ĥ and L̂z , then surely there is an eigenvector shared by all three? The above says that this is not true, and we shall see some explicit examples next time. For now, let’s look for combinations of angular momentum operators that simultaneously commute with Ĥ and L̂z , for example (we are preferentially treating L̂z as the operator that shares its eigenstates with Ĥ, but this is purely a matter of choice). The most obvious potential operator is L̂2 : [L̂2 , L̂z ] = [(L2x + L2y + L2z ), Lz ] = Lx [Lx , Lz ] − i ~ Ly Lx + Ly [Ly , Lz ] + i ~ Lx Ly + 0 = Lx (−i ~Ly ) + Ly (i ~ Lx ) − i ~ Ly Lx + i ~ Lx Ly =0 (23.19) and the same is true for and y ]. In addition, it is the case that [L̂2 , Ĥ] = 0, clearly, since the individual operators do. [L̂2 , L̂x ] [L̂2 , L̂ 4 of 9 23.3. RAISING AND LOWERING OPERATORS 23.3 Lecture 23 Raising and Lowering Operators We can make a particular algebraic combination of L̂x and L̂y that plays a role similar to the a± operators from the harmonic oscillator example. Take L± ≡ Lx ± i Ly , (23.20) then the commutator of these with Lz is [L± , Lz ] = [Lx , Lz ] ± i [Ly , Lz ] = −i ~ Ly ∓ ~Lx = ∓~ (Lx ± i Ly ) = ∓~ L± . (23.21) For an eigenfunction of Lz , call it f such that Lz f = α f , the operator L+ acting on f is also an eigenfunction, but with eigenvalue: Lz (L± f ) = (L± Lz ± ~ L± ) f = (α ± ~) (L± f ) (23.22) so acting on f with L± increases (or decreases) the eigenvalue by ~. Similarly, if we take the function f to be simultaneously an eigenfunction of L2 (which we know can be done), the L± f is still an eigenfunction, with2 L2 (L± f ) = L± L2 f = β L± f (23.23) for eigenvalue β – in other words, L± f is an eigenfunction of L2 with the same eigenvalue as f itself. The last observation we need is that there must be a minimal and maximal state for the L± operators – since the state L± f has the same L2 eigenvalue as f does, while its eigenvalue w.r.t. Lz is going up or down, there will be a point at which the eigenvalue (result of measurement) of Lz is greater than the total magnitude of the eigenvalue w.r.t. L2 (the result of a measurement of total angular momentum) – so we demand the existence of a “top” L+ ft = 0 and, for the same reasons, a “bottom” L− fb = 0 So what? So remember that for the harmonic oscillator, we wrote H in terms of the products a± a∓ , and that allowed us to build a lowest energy state from which we could define |0i as a wavefunction. The same type of game applies here, we will write L2 in terms of L± L∓ : L± L∓ = (L2x ∓i Lx Ly ± i Ly Lx +L2y ) = L2x + L2y ± ~ Lz | {z } (23.24) =∓i [Lx ,Ly ] 2 I’m going to do a commutator down here – too many in the main portion gets boring. Since [L2 , Li ] = 0, we have [L2 , Lx ± iLy ] = 0. 5 of 9 23.4. EIGENSTATES OF L2 Lecture 23 so that we can write L2 = L± L∓ + L2z ∓ ~ Lz . (23.25) Our first goal is to relate the spectrum of L2 to that of Lz – consider the top state ft with eigenvalue Lz ft = ~ ` ft (the ~ is in there just to make the eigenvalue under lowering a bit nicer), and L2 ft = α ft . Now from the above factorization of L2 (23.25), we have L2 ft = (L− L+ + L2z + ~ Lz ) f = (0 + ~2 `2 + ~2 `) f = α f (23.26) so the maximum eigenvalue for Lz is related to the eigenvalue α via α = ~2 ` (` + 1). Similarly, if we take the minimum eigenvalue for Lz corresponding to the state fb : Lz fb = ~ `¯fb , then we use the other factorization and get α = ~ ` (` − 1), which tells us that `¯ = −`. So L+ takes us from fb with eigenvalue −` to ft with eigenvalue ` – it does so in integer steps, since Lz (L+ fb ) = ~ (` + 1) L+ fb , so ` itself must either be an integer, or, potentially, a half-integer. We have described the eigenstates of L2 and Lz , then, in terms of two numbers: ` = 0, 12 , 1, 23 , 2, . . . and m which, for each ` takes integer values m ∈ [−`, `]. The states can be labelled f`m , and, if we are lucky, these will be the simultaneous eigenstates of H. . . 23.4 Eigenstates of L2 To find the eigenstates of L2 , let’s first work out, carefully, the classical value – then we will attempt to make scalar operators which will be easy to write down in spherical coordinates: L2 = (ijk rj pk ) (imn rm pn ) = (δjm δkn − δjn δkm ) rj pk rm pn = rj pk rj pk − rj pk rk pj . (23.27) There are some obvious simplifications here, but remember that while it is true, classically, that rj pk = rk pj , this is not true when we move to operators, so let’s keep the ordering as above, and input pk −→ ~i ∂k etc. We will introduce the test function f to keep track: L2 f = −~2 [(rj ∂k ) (rj ∂k f ) − (rj ∂k ) (rk ∂j f )] = −~2 [rj δjk ∂k f + rj rj ∂k ∂k f − (rj ∂k ) (∂j (rk f ) − δjk f )] (23.28) = −~2 r · ∇ f + r2 ∇2 f − (rj ∂j ∂k (rk f ) − rk ∂k f ) = −~2 r · ∇ f + r2 ∇2 f − (r · ∇ (3 f + r · ∇ f ) − r · ∇ f ) , 6 of 9 23.5. EIGENSTATES OF LZ Lecture 23 and combining terms, the final scalar form can be written: L2 f = −~2 r2 ∇2 f − r · ∇ f − (r · ∇) (r · ∇ f ) . (23.29) Now, think of the operator r · ∇ f in spherical coordinates, that’s just r ∂f ∂r and we know the ∇2 operator, so in spherical coordinates, we can write the above trivially: 1 ∂ ∂f 1 ∂2f ∂f ∂f ∂ 2 ∂f 2 2 ∂ r + sin θ + r −r −r L f = −~ ∂r ∂r sin θ ∂θ ∂θ ∂r ∂r ∂r sin2 θ ∂φ2 2 1 ∂ ∂f 1 ∂ f = −~2 . sin θ + sin θ ∂θ ∂θ sin2 θ ∂φ2 (23.30) But this is precisely the angular portion of the Laplacian itself – and we know the solutions to this that have “separation constant” ` (` + 1), they are precisely the spherical harmonics, conveniently indexed appropriately. We have (23.31) L2 Y`m = ~2 ` (` + 1) Y`m . 23.5 Eigenstates of Lz The fastest route to the operator expression for Lz comes from the observation that classically, if we had a constant angular momentum pointing along the ẑ axis, then we have counter-clockwise rotation in the x − y plane. If we use cylindrical coordinates (with x = s cos φ, y = s sin φ), then the only “motion” is in the φ̂ direction. We might mimic this on the operator side by considering a test function that depends on φ only. Then ~ ∂f ∂φ ∂f ∂φ Lz f (φ)=(r ˙ x py − ry px ) f (φ) = r cos φ − r sin φ (23.32) i ∂φ ∂x ∂φ ∂y and from φ = tan−1 (y/x), we have Lz f (φ) = ∂φ ∂x = − sinr φ and ∂φ ∂y ∂f ~ cos2 φ + sin2 φ i ∂φ = cos φ r , then (23.33) or, to be blunt, Lz = ~ ∂ . i ∂φ 7 of 9 (23.34) 23.5. EIGENSTATES OF LZ Lecture 23 The eigenstates of Lz are defined by Lz f = ~ m f for integer m (now m is an integer aside from any periodicity concerns, it comes to us as an integer from the algebraic approach). The solution is f = ei m φ , and of course, this is the φ-dependent portion of the spherical harmonics, Lz Y`m ~ ∂ m m imφ = A` P` (cos θ) e = m ~ Y`m i ∂φ (23.35) where we have written the ugly normalization as Am ` . In the end, the Y`m (θ, φ) are eigenstates of both the L2 and Lz operators. In addition, to the extent that they form the angular part of the full Hamiltonian, ψn`m ∼ Rn (r) Y`m (θ, φ) is an eigenstate of H: Hψn`m = En ψn`m , and of course, the angular momentum operators do not see the radial function at all (there being no radial derivatives in L2 or Lz ), so L2 ψn`m = ~2 `(` + 1) ψ Lz ψn`m = ~ m ψn`m , (23.36) and these separated wavefunctions (spherical infinite well, Hydrogen, etc.) are eigenstates of all three H, L2 and Lz . Homework Reading: Griffiths, pp. 160–170. Problem 23.1 Using only the commutator for position and momentum: [rj , pk ] = i ~ δjk and the definition of angular momentum in terms of the Levi-Civita symbol: Li = ijk rj pk : a. Show that [Li , Lj ] = i ~ kij Lk b. (23.37) Show that the components of L commute with L2 : [Li , L2 ] = 0 for i = 1, 2, 3. 8 of 9 (23.38) 23.5. EIGENSTATES OF LZ Lecture 23 Problem 23.2 Griffiths 4.20. Here you will explore the classical correspondence of torque and angular momentum. 9 of 9