* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Creation and Destruction Operators and Coherent States
X-ray photoelectron spectroscopy wikipedia , lookup
Aharonov–Bohm effect wikipedia , lookup
Casimir effect wikipedia , lookup
Two-body Dirac equations wikipedia , lookup
Lattice Boltzmann methods wikipedia , lookup
Hydrogen atom wikipedia , lookup
Dirac equation wikipedia , lookup
Self-adjoint operator wikipedia , lookup
Schrödinger equation wikipedia , lookup
Bohr–Einstein debates wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Second quantization wikipedia , lookup
Renormalization group wikipedia , lookup
Quantum state wikipedia , lookup
Wave function wikipedia , lookup
Compact operator on Hilbert space wikipedia , lookup
Tight binding wikipedia , lookup
Particle in a box wikipedia , lookup
Path integral formulation wikipedia , lookup
Density matrix wikipedia , lookup
Perturbation theory (quantum mechanics) wikipedia , lookup
Matter wave wikipedia , lookup
Wave–particle duality wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Molecular Hamiltonian wikipedia , lookup
Coupled cluster wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
Canonical quantization wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Creation and Destruction Operators and Coherent States WKB Method for Ground State Wave Function We first rewrite the ground state harmonic oscillator wave function, < x|0 >= ( mω 1/4 mωx2a ) exp(− ) πh̄ 2h̄ (1) In the notes on imaginary time path integrals, we obtained this formula from the imaginary time propagator for the harmonic oscillator. Before introducing creation and destruction operators, let us explore the exponential factor in the ground state wave functions. The method used is called the WKB (for Wentzel, Kramers, and Brillouin) method and involves a quantity closely related to the action used in the path integral discussion. We start by assuming the following form for a bound state wave function, Ψ = exp(− W (x) ). h̄ (2) Note that W has the same dimensions as h̄ and the action S. Then we have ∂x Ψ = − and ∂x W Ψ, h̄ [ ∂x2 Ψ ] ∂x W 2 ∂x2 W = ( ) − Ψ h̄ h̄ Let us use this formula in the Schrödinger equation, allowing an arbitrary potential for the moment. From ( ) h̄2 2 − ∂ + V (x) Ψ = EΨ, 2m x we obtain ( (∂x W )2 ∂ 2W − + V (x) + h̄ x 2m 2m ) Ψ = EΨ (3) Note that the first two terms on the left side are independent of h̄. The method we are using is semiclassical in which case it makes sense to try to solve the equation order by order in h̄. Now consider the eigenvalue E, in particular, suppose we are looking for the ground state of the system. For an oscillator the classical lowest energy is zero, and the actual ground state is h̄ω/2. Let us follow this suggestion and assume for other potentials as well that for the ground state E ∼ O(h̄). Then if we make the terms independent of h̄ cancel, we get (∂x W )2 = V (x), 2m or √ ∂x W = 2mV (x) which implies that ∫ x W (x) = √ dx′ 2mV (x′ ) x0 The choice of x0 is not completely specified. However, if we are looking for the ground state of the system, it makes sense to choose x0 at the minimum of V (x). Returning to the oscillator, we obtain ∫ W (x) = x √ dx′ 2mV (x′ ) = ∫ 0 0 x 1 dx′ mωx′ = mωx2 , 2 which when substituted in Eq.(2) gives the correct form of the oscillator ground state wave function. If we go further and match the O(h̄) terms in Eq.(3), assuming E is proportional to h̄, we get ∂ 2W h̄ x = E. 2m Using W (x) = mωx, this gives h̄ω E= , 2 which is the correct answer for the oscillator. This general method can be applied to other smooth potentials, but it is only exact for the oscillator. We will not pause to study the function W (x) further. The relation of W to the action S is basically that one trades the time t for the energy E, by making a so-called Legendre transform. More on this can be found in “Classical Mechanics”, by H. Goldstein. There is also much more to the WKB method than we have discussed here. It is more typical to use it for highly excited states of a particle moving in a smooth potential. In that case the particle can be in both the classically allowed region and the classically forbidden region. For the classically allowed region the form Ψ = exp(i W ) h̄ is the appropriate one to use, and the factor of i in the exponent is replacedd by -1 when x moves into the classically forbidden region. For more on WKB and semiclassical quantum mechanics in general see Shankar, sec. 16.2, Gottfried and Yan, sec.2.8 and Chapter VII of “Quantum Mechanics,” by Landau and Lifshitz. Creation and Destruction Operators Now let us turn to the creation and destruction operators using our solutions of the Heisenberg equations of motion. Rewriting our previous results, P X(t) = X cos ω0 t + sin ω0 t, (4) mω0 and P (t) = P cos ω0 t + mω0 X sin ω0 t. (5) By taking matrix elements of these equations between eigenstates, we found by matching time dependence on both sides, < n − 1|X(t)|n >= exp(−iωt) < n − 1|(X + i < n − 1|(X − i P )|n >, n ≥ 1 mω P )|n >= 0, all n, mω and < n + 1|X(t)|n >= exp(iωt) < n + 1|(X − i P )|n ≥ 0, mω P )|n >= 0, all n, mω and further there is a set of states with energies h̄ω(n + 1/2), n = 0, 1, 2, . . . . It is clear from these results that the operator < n − 1|(X + i (X + i P ) mω can only lead to |n − 1 > when acting on |n >, while (X − i P ) mω can only lead to |n+1 > when acting on |n > . Further since all states must have positive energy, we must have P (X + i )|0 >= 0 mω Let us multiply these operators. We have (X − i P P P2 1 )(X + i ) = X2 + − [P X − XP ] 2 mω mω (mω) mω Multiplying by mω 2 /2 and using [P X − XP ] = −ih̄, we have 1 P P 1 mω 2 (X − i )(X + i ) = H − h̄ω 2 mω mω 2 Dividing by h̄ω, we have 1 mω P P H = + (X − i )(X + i ) h̄ω 2 2h̄ mω mω The right hand side is dimensionless. We now define √ a≡ P mω (X + i ), 2h̄ mω and √ mω P (X − i ). 2h̄ mω The commutator of a with a† follows from the X, P commutator. We have † a ≡ [a, a† ] = mω P P i [(X + i ), (X − i )] = [P, X] = 1. 2h̄ mω mω h̄ The harmonic oscillator Hamiltonian in terms of a and a† is 1 H = h̄ω(a† a + ) 2 Rearranging Eqs.(4) and (5), we have [ ] 1 P P X(t) = (X − i ) exp(iωt) + (X + i ) exp(−iωt) , 2 mω mω or using the definitions of a and a† , we have √ X(t) = ] h̄ [ a exp(−iωt) + a† exp(iωt) 2mω (6) Writing this equation one more time, √ X(t) = so we have ] h̄ [ a(t) + a† (t) , 2mω a(t) = a exp(−iωt), a† (t) = a† exp(iωt), where a(t) and a† (t) are the Heisenberg operators corresponding to the Schrödinger operators a and a† . The corresponding expressions for P (t) follow from these, √ ] dX h̄ω [ P (t) = m = −i a exp(−iωt) − a† exp(iωt) dt 2m (7) Expressions like Eqs.(6) and (7) occur in many more general problems, basically any problem that can be expanded in harmonic oscillators. Examples are photons, phonons, and the so-called “vector mesons” of particle physics, such as the W and Z particles. Let us now find the matrix elements of a and a† . Using 1 En = h̄ω(n + ), 2 we have < n|(H − h̄ω )|n >= h̄ωn. 2 But H − h̄ω so we have 1 = h̄ω(a† a), 2 h̄ωn = h̄ω < n|a† a|n > Now from our results above, we know that acting on |n > a must lead exclusively to |n − 1 > so |n − 1 > is the only intermediate state that can be reached when we sandwich the identity between a† and a. Cancelling the factor of h̄ω, we have n =< n|a† |n − 1 >< n − 1|a|n >= | < n − 1|a|n > |2 , which gives n = | < n − 1|a|n > |2 . Choosing the possible phase factor to be 1, we have √ < n − 1|a|n >= n =< n|a† |n − 1 > Rewriting these, we have a|n >= √ n|n − 1 >, a† |n >= which gives √ (n + 1)|n + 1 > . a† a|n >= n|n > so a† a is a number (of excitations) operator. Let us show how to construct the states |n > using a† . Writing out the first few states, we have a† |0 > = √|1 > † a |1 > = √2|2 > a† |2 > = 3|3 > .. .. . . √ † n + 1|n + 1 > a |n > = Using these equations to express everything in terms of |0 >, we have 1 |n >= √ (a† )n |0 > n! We can use this last equation to find the wave functions for all the states. Using † a = we have or √ mω P (X − i ), 2h̄ mω 1 mω n/2 P < x|n >= √ ( ) < x|(X − i )|0 >, mω n! 2h̄ 1 mω n/2 h̄ < x|n >= √ ( ) (x − ∂x ) < x|0 > . mω n! 2h̄ This formula will generate the explicit form for < x|n > for any n. Coherent States Coherent states are an important class of states that can be realized by any system which can be represented in terms of a harmonic oscillator, or sums of harmonic oscillators. They are the answer to the question, what is the state of a quantum oscillator when it is behaving as classically as possible? As a practical example,the state of photons in a laser is quantum mechanical, but also behaves classically in many ways. Coherent states are relevant to this situation. The definition of a coherent state |α > is that it is an eigenstate of a, the destruction operator, a|α >= α|α >, with < α|α >= 1. From its definition, a is certainly not a self-adjoint operator, so it if has eigenstates at all, the eigenvalues need not be real, and in fact the value of α is any complex number. Minimum Uncertainty It is easy to show that coherent states exist, but let us first note one of their most characteristic properties, namely they have minimum Heisenberg uncertainty. Let us first express X and P in terms of a and a† . We have X = x0 (a + a† ) P = −ip0 (a − a† ) where √ x0 = √ p0 = h̄ 2mω h̄mω 2 Now consider various expected values, < α|X|α >, < α|X 2 |α >, < α|P |α >, and < α|P 2 |α >. First note that < α|a|α > = α < α|α > < α|a† |α > = (< α|a|α >)∗ = α∗ < α|α > . Finally, using < α|α >= 1, we have < α|X|α > = x0 (α + α∗ ) < α|P |α > = −ip0 (α − α∗ ) In calculating < α|X 2 |α > and < α|P 2 |α >, the order of operators must treated with some care. We present the details for < α|X 2 |α >. We have < α|X 2 |α >= x20 < α|(a + a† )(a + a† )|α >= x20 < α|(aa + aa† + a† a + a† a† )|α > Most of these evaluate directly. For example, < α|aa|α >= α2 < α|α >, < α|a† a|α >= α < α|a† |α >= αα∗ < α|α >, and < α|a† a† |α >= (< α|aa|α >)∗ = (α∗ )2 < α|α > . For < α|aa† |α >, we use the commutator [a, a† ] = 1 and rewrite it as < α|(a† a + 1)|α >= (αα∗ + 1) < α|α > . Finally, using < α|α >= 1, we have ( ) < α|XX|α >= x20 (αα + 2αα∗ + α∗ α∗ + 1) = x20 (α + α∗ )2 + 1 From the results so far, we have (∆X)2 =< α|XX|α > −(< α|X|α >)2 = x20 . Entirely similar steps give (∆P )2 =< α|P |α > −(< α|P |α >)2 = p20 . Putting these together, we have (∆X)(∆P ) = x0 p0 = h̄ 2 which is the statement of minimum Heisenberg uncertainty. The steps just carried out have been done in the Schrödinger representation at t = 0. They go through equally well if we consider the uncertainties in X and P at an arbitrary time. This would be done by using Heisenberg opererators X(t) and P (t) in the above equations, which simply replace a by a exp(−iωt) and a† by a† exp(iωt). The uncertainties in X(t) and P (t) remain x0 and p0 , so minimum uncertainty continues to hold. Existence To demonstrate that coherent states exist, we first expand them in energy eigenstates of the harmonic oscillator, |α >= ∑ |n >< n|α > . n √ Using a|α >= α|α > and a|n >= n|n − 1 >, we have ∑ ∑√ ∑√ α|n >< n|α >= n|n − 1 >< n|α >= n + 1|n >< n + 1|α > . n n Matching the coefficient of |n > on both sides gives √ α < n|α >= n + 1 < n + 1|α > Applying this equation for n = 0, 1, 2, . . . we have < 1|α > < 2|α > < 3|α > .. . = α < 0|α >√ √ = α < 1|α > /√2 = α2 < 0|α > √ / 2 = α < 2|α > / 3 = α3 < 0|α > / 3 · 2 .. .. = . = . The general result is then αn < n|α >= √ < 0|α > n! Demanding normalization, we have 1 =< α|α >= ∑ | < n|α > |2 = n ∑ (|α|2 )n n n! | < 0|α > |2 , or 1 = exp(|α|2 )| < 0|α > |2 . Choosing a phase, we can set < 0|α >= exp(−|α|2 /2). We now have |α >= exp(− |α|2 ∑ αn √ |n > ) 2 n! n This is a concrete formula for |α > . Another, very convenient version is to make use of one of our previous formulas expressing |n > in terms of repeated applications of a† . This gives |α >= exp(− |α|2 ∑ αn † n |α|2 ) (a ) |0 >= exp(− ) exp(αa† )|0 > 2 2 n n! Level of Excitation Given a coherent state, we may ask how the level of excitation and average energy are related to α. Define the number operator N = a† a. When acting on an energy eigenstate, we have N |n >= n|n > . Taking the expected value of N in a coherent state, we obtain < N >=< α|N |α >=< α|a† a|α >= α < α|a† |α >= αα∗ This allows us to express α as α =< N > exp(iϕ), where ϕ is a phase angle. Now for the expected value of the Hamiltonian, we have 1 1 < H >=< α|H|α >= h̄ω(< N > + ) = h̄ω(αα∗ + ) 2 2 So given a certain average energy, the modulus of α is determined. To get insight into the meaning of the phase, consider the expected value of X(t) in a coherent state. We have < α|X(t)|α >= x0 (α exp(−iωt) + α∗ exp(iωt) = x0 |α|(exp(−i(ωt − ϕ)) + exp(i(ωt − ϕ)), so < X(t) >= x0 |α|2 cos(ωt − ϕ). From this we can see that if ϕ = 0, the oscillator expected value is that of a classical oscillator started at maximum displacement with zero velocity, while if ϕ = π/2, the expected value is that of a classical operator started at zero displacement with maximum velocity. So far we see that in a coherent state, the value of |α| is in one-one correspondence with < N > or < H > . However, a coherent state is certainly not anywhere near an energy eigenstate. There is considerable spread around the n-value determined by < H > . To quantify this consider Pn , the probability of a coherent state being found in the n-th eigenstate of the oscillator. We can write Pn = | < n|α > |2 = (|α|2 )n exp(−|α|2 ) n! Recalling that < N >= |α|2 , we may write Pn as Pn = < N >n exp(− < N >), n! which is a Poisson distribution. A well-known property of a Poisson distribution is that (∆N )2 =< N 2 > − < N >2 is < N > . So there is considerable spread about < N >, but for large < N >, the average energy and level of excitation will appear to be well-defined. For example if < N >= 100, then ∆N = 10. Thus an oscillator in a coherent state with a reasonably large |α|, will appear to have a well-defined energy to a classical observer. Nevertheless many states of excitation near the one defined by < N > are occupied.