We can instead solve the problem algebraically by introducing up and down ladder operators b + and b

Transcription

1 Physics 17c: Statistical Mechanics Second Quantization Ladder Operators in the SHO It is useful to first review the use of ladder operators in the simple harmonic oscillator. Here I present the bare bones review your favorite Quantum textbook for more details. The Hamiltonian for the SHO is H = 1 m p + 1 Kx. (1) For this section only, I will scale variables so that m = 1,K = 1,and also h = 1, to save writing. So the Hamiltonian is H = 1 p + 1 x () and using p = i / x (remember h = 1) Schrodinger s equation Hψ = Eψ gives eigenstates ψ n and energy eigenvalues ε n 1 d dx ψ n(x) + 1 x ψ n (x) = ε n ψ(x). (3) This differential equation can be solved with all the technology of orthogonal polynomials to find the eigenvalues ε n = n + 1, etc. We can instead solve the problem algebraically by introducing up and down ladder operators b + and b b = 1 (p ix) (4) b + = (b) + = 1 (p + ix) (5) where the + superscript denotes the Hermitian conjugate. We know that the commutator [x,p] [xp px] = i (6) is equivalent to the coordinate representation p i / x, and so it is natural to look at the commutation properties of b, b + : [b, b + ] = 1 [p ix,p + ix] (7) = i[x,p] = 1. (8) The Hamiltonian is H = b + b + 1, (9) and we are led to look at [b, b + b] = bb + b b + bb (10) = [b, b + ]b = b, (11) and [b +,b + b] = b + b + b b + bb + (1) = b + [b, b + ] = b +. (13) 1

2 Collecting the results: [b, b + ] = 1, (14a) [b, b + b] = b, (14b) [b +,b + b] = b +. (14c) Since H is the sum of squares, the eigenvalues must be positive, and so there is lowest energy ε 0 and corresponding normalized eigenfunction ψ 0. Let s consider the state bψ 0, and ask how the Hamiltonian acts on this state using the commutation rules to transfer the action of H onto ψ 0 : H(bψ 0 ) = (b + b + 1 )bψ 0 (15) = [b(b + b + 1 ) b]ψ 0 (16) = (ε 0 1)(bψ 0 ). (17) This suggests that bψ 0 is an eigenfunction with energy ε 0 1, but since ε 0 was defined as the lowest energy this is not possible, and the only way out is bψ 0 = 0. (18) Thus the ground state eigenfunction is defined by the action of the down ladder operator b giving zero. Similarly H(b + ψ 0 ) = (ε 0 + 1)(b + ψ 0 ) (19) so that b + ψ 0 is an eigenfunction with energy ε Continuing in this way we find a ladder of eigenstates ψ n = (b + ) n ψ 0 with energy ε n = n + 1. (0) We can argue that this generates the complete set of states, etc., etc. (see your Quantum text book). Note that b + bψ n = nψ n (1) so the operator b + b acts as a level counter. We have not addressed the normalization of the ψ n created in this way. The normalization of the ψ n can be related: ψ n ψ n = ψ n 1 bb + ψ n 1 = ψn 1 b + b + 1 ψ n 1 = n ψn 1 ψ n 1. () Since ψ 0 is normalized, this gives ψ n ψ n = n!. Then the functions u n = (n!) 1/ ψ n (3) are normalized eigenfunctions, u n u n = 1. Rewriting the effect of the ladder operators on ψ n in terms of the normalized states u n gives b + u n = n + 1u n+1 (4) bu n = nu n 1 (5) b + bu n = nu n. (6) Remembering that the level n can be thought of as n bosons in the single particle state of energy 1 we therefore have the following dictionary. We have introduced a raising operator or boson creation operator b +, and a lowering operator or boson annihilation operator b. The operator b + b = n counts the level or the

3 number of bosons. The Hamiltonian is just b + b plus a constant. (Going back to unscaled units, it would be b + b times the harmonic oscillator energy hω, plus a constant.) The lowering or annihilation operator gives zero when acting on the lowest or zero particle state. The analysis in terms of ode theory has been replaced by an analysis in terms of the algebra of the b, b + operators, a considerable simplification. Other expectation values can also be calculated e.g. u0 x 1 u 0 = u0 (b + b)(b + b) u 0 (7) = 1 u0 (b + b + b + b bb + + bb u 0 (8) = 1 u0 (bb + 1 u 0 = (9) where b u 0 = 0 = u 0 b + has been used. Again this is considerably easier than integrating over the Gaussian form of u 0 (x). Many Particle Systems Occupation number representation For a many particle system we choose as the basis any symmetrized (bosons) or antisymmetrized (fermions) product of complete orthonormal set of single particle states φ i. Often these will be chosen as momentum states, position states, or eigenstates of the noninteracting Hamiltonian. Bosons: The N particle basis state is ψ B ( r 1, r... r N ) = C P φ 1 (P r 1 )φ 1 (P r )...φ 1 (P r n1 )...φ Q (P r N ) (30) where φ q,q = 1...Q occurs n q times ( n q particles in the state φ q ). The sum runs over N! permutations P and the normalization constant is C = (N!n 1!n!...n Q!) 1/. (31) Last term we introduced the occupation number representation where this state is represented ψ B = n1 n...n Q... (3) where all the n q are zero for the empty states q > Q. We define boson creation operator b q + and annihilation operator b q that adds or subtracts one particle from the single particle state φ q b q + n 1 n...n q...n Q = (nq + 1) 1/ n 1 n...(n q + 1)...n Q, (33a) b q n 1 n...n q...n Q = (nq ) 1/ n 1 n...(n q 1)...n Q. (33b) The prefactors are motivated by the ladder-operator results, and can be checked to preserve the normalization. Of course if n q = 0, the second result is just zero, consistent with the action of b on a zero particle state. It is easy to check that b, b + satisfy [b r,b s + ] = δ rs, (34) [b r,b s ] = [b r +,b+ s ] = 0. (35) 3

4 Fermions The antisymmetrized Fermi basis state is the Slater determinant ψ F ( r 1, r... r N ) = C P ( 1) P φ 1 (P r 1 )φ (P r )...φ N (P r N ) (36) where now all the φ i have to be different for a nonzero wave function (equivalent to the Pauli exclusion principle). The normalization constant is The occupation number representation is C = (N!) 1/. (37) ψ F = n 1 n... (38) where each n i is one if the state appears in the Slater determinant and zero otherwise. Note that the order of the states affects the overall sign through the ( 1) P, so we must have some convention for ordering the list of one particle states. What are the appropriate creation and annihilation operators? First consider the single particle state. Possible occupation numbers are 0, 1, i.e. the states 0 and 1. Define creation operator a + and annihilation operator a such that a + 0 = 1 a + 1 = 0 a 0 = 0 a 1 = 0. (39) (Take care of the difference between 0 and 0.) It is easy to check that a,a + satisfy anticommutation rules a,a + } = 1 (40a) a,a} = 0 = a +,a +} (40b) where A, B} = AB + BA. (41) For a multiparticle system ( 1) a s n 1 n...n s... = S n 1 n...0 s... if n s = 1 0 ifn s = 0 a s + n 0 ifn 1n...n s... = s = 1 ( 1) S n 1 n...1 s... if n s = 0 (4a) (4b) where S = n 1 + n + n s 1 (43) is to keep track of the ordering convention. The full algebra is then } ar,a s + = δrs, (44a) a r,a s } = 0 = } a r +,a+ s. (44b) Note, for example that a + 1 a+ 0, 0,... = a+ a+ 1 0, 0,... (45) consistent with the definition in terms of Slater determinants. 4

5 In either case the number operator that counts the number of particles is the same b + n s = s b s BOSONS a s + a s FERMIONS (46) and has eigenvalues corresponding to the possible occupation numbers of the state s (0, 1 for Fermions, 0, 1,...for Bosons). It follows from the commutation or anticommutation rules that in either case [n s,n r ] = 0 (47) so that the set n r } are simultaneously diagonalizable, as we expect from the definition of occupation number states. A general many particle wave function ψ can be expressed as a linear combination of the occupation number basis states. The expectation value ψ n s ψ may then be nonintegral. We have replaced complicated symmetric product or determinant wave functions by states in the simpler occupation number representation, and have developed the algebra of operators connecting these states. Any occupation number state can be generated by acting on the no-particle state 0 (the vacuum state ) with appropriate combinations of creation operators c +. This notation is called second quantization as opposed to the original first quantization notation. It is the notation of quantum field theory. The next task is to write physical operators in terms of these elementary operators. Physical Operators We are usually interested in few-body operators, i.e. those involving a few particle coordinates in the usual first quantization notation, such as the kinetic energy T = h m i i or the potential energy V = i<j u( r i r j ). For a one body operator O 1 = f i the second quantized expression is O 1 = r,s φ r f φ s c + r c s (48) where φ r f φ s is the matrix element φ r f φ s = d 3 rφ r ( r)f( r)φ s( r) (49) and c represents a for Fermions and b for Bosons. For a two body operator O = ij f( r i, r j ) the second quantized form is O = pqrs f pqrs c + p c+ q c sc r (50) with f pqrs = d 3 rd 3 r φ p ( r)φ q ( r )f ( r, r )φ r ( r)φ s ( r ). (51) Note carefully for Fermions the ordering of the c operators in Eq. (50) this ordering does not matter for bosons because the operators commute. These expressions are the same for both Bosons and Fermions. We will prove these results for the more difficult Fermion case, first the one particle operator. In first quantized notation we consider R = s f( r s )A[φ 1 ( r 1 )φ ( r )...φ N ( r N )] (5) 5

6 with A the antisymmetrization operation. Since f is unchanged by particle permutation we can put it inside the A operation. We then use completeness of the φ s f( r)φ s ( r) = r φ r f φ s φ r ( r) (53) so that R becomes the sum, with weights φ r f φ s, of antisymmetrized products in which the sth basis state φ s is replaced by φ r. This is the content of the second quantized expression, since c + r c s has precisely this effect. For a two particle operator the analogous result holds, i.e. we replace basis functions r, s with basis functions p, q with weight f pqrs. The ordering of the c operators arises because (c + p c+ q c sc r )(c + r c+ s ) 0 = c+ p c+ q 0 (54) which is the required transformation (check from the (anti)commutation rules). Examples A common choice of basis is plane wave states in a volume = L 3 φk ( r) = 1 e i k r, k = π (l, m, n). (55) L (If there is spin, as must be the case for Fermions, we would use plane wave states for each spin state, i.e. φkσ, and the sums over k below would be enlarged to sums over k and σ.) The kinetic energy is T = k, k T k k c+ k c k with giving T k k = 1 T = k d 3 re i k r ( h m ) e i k r ε k c + k c k with ε k = h k (56) m. (57) The potential energy involves the matrix element Vk 1 k k 3 k 4 = 1 d 3 rd 3 r e i k 1 r e i k r u( r r )e i k 3 r e i k 4 r = 1 d 3 re i( k 1 k + k 3 + k 4 ) r d 3 Re i( k + k 4 ) R u( R) (58a) (58b) = 1 δ k 1 k + k 3 + k 4 ũ( k k 4 ) (58c) writing R = r r and in the last expression ũ( q) = d 3 Ru( R)e q r. (59) This gives for the second quantized operator V = 1 ũ( q)c + k+ q c+ k c q k c k. (60) k, k, q In the case of spins, we usually are concerned with a spin-independent interaction, and then V = 1 ũ( q)c + k+ q,σ c+ k q,σ c k,σ c k,σ. (61) k, k, q σ,σ 6

7 Another common choice is the position basis, e.g. for the ith particle to be at position r φ( r i ) = δ( r i r). (6) With this basis, the creation and annihilation operators are usually written ψ + ( r) and ψ( r). They satisfy the algebras: Bosons: [ψ( r),ψ + ( r )] = δ( r r ) [ψ( r),ψ( r )] = 0 = [ψ + ( r),ψ + ( r )] (63a) (63b) Fermions: ψ( r),ψ + ( r ) } = δ( r r ) (64a) ψ( r),ψ( r ) } = 0 = ψ + ( r),ψ + ( r ) } (64b) The kinetic and potential energies are T = d 3 rψ + ( r) ( h ) m ψ( r) V = 1 d 3 rd 3 r u( r r )ψ + ( r)ψ + ( r )ψ( r )ψ( r) or with spin (and spin independent interaction) T = ( d 3 rψ σ + ( r) h ) m ψ σ ( r) σ V = 1 d 3 rd 3 r u( r r )ψ σ + ( r)ψ+ σ ( r )ψ σ ( r )ψ σ ( r) σ,σ These two choices of creation and annihilation operators are related by ψ( r) = 1 e i q r c q, and the inverse ψ + ( r) = 1 e i q r c + q, c q = 1 c + q = 1 q q d 3 re i q r ψ( r), d 3 re i q r ψ + ( r), (65a) (65b) (66a) (66b) (67a) (67b) (68a) (68b) as can be verified by constructing the plane wave state c + q 0. Further Reading Consult your favorite Quantum textbook for harmonic oscillator ladder operators. Pathria 10.1 discusses the formalism of second quantization, as do a number of the books on reserve for the class. 7