Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

43. Scattering of Radiation by Matter

Introduction

In the previous set of notes we treated the emission and absorption of radiation by matter. In these notes we turn to the scattering of radiation by matter. As before, the material system in question can be almost anything (atom, molecule, nucleus, etc), but when it is necessary to be specific we shall for simplicity assume that it is a single-electron atom. The formalism is easily extended to other types of material systems.

We shall see that in a certain sense the emission and absorption of radiation are special cases of the scattering of radiation, in which the frequency of the initial photon is close to a resonance frequency of the material system (the Einstein frequency connecting two energy eigenstates). In such cases it is partly a matter of preference how one should view the process, but in some respects the scattering point of view is more fundamental and elegant.

Applications

The applications of the theory developed in these notes are very broad. Almost any situation in which radiation passes through a gas affords an example of the physics we shall describe here. For example, in infrared and Raman scattering experiments radiation is passed through a molecular gas and the absorption spectrum or scattering cross is measured, providing a primary source of information about the structure of molecules.

Another example involves radiation passing through the Earth’s atmosphere. The atmosphere is mostly transparent to sunlight, but there is some scattering, especially at the higher (blue) frequencies. This is Rayleigh scattering, which is discussed in 12. The higher frequencies are more strongly scattered because they are closer to certain resonances in the ultraviolet. As we shall see, the cross for scattering rises rapidly as a function of frequency as we approach a resonance. This is the reason the sky is blue: When we look at a part of the sky away from the sun, the blue light we see is sunlight scattered by the air along our line of sight.

The Earth in turn radiates thermal radiation in the infrared that must pass through the atmosphere to reach outer space where it escapes. This radiation has a frequency range that covers the vibrational transitions of most simple molecules, so it is strongly scattered by several types of molecules such as the greenhouse gases CO2CO_2, H2OH_2O and CH4CH_4. Thus an infrared photon leaving the Earth’s surface must diffuse through the atmosphere in a random walk, a process that is much slower than passing straight through. The greenhouse gases act like a blanket, keeping the Earth warm. Notice that the atmosphere makes it easy for radiation to get in at optical frequencies, and difficult to get back out at infrared frequencies.

There are many examples in astrophysics where the scattering or absorption of radiation by matter is important. For example, sunlight passing through the cooler outer layers of the sun’s atmosphere produces an absorption spectrum (the dark Fraunhoffer lines) that give information about the chemical species occurring in the sun and the physical conditions in its atmosphere. Similar information is available for other stars. For another example, transport of energy by radiation is important in the interior of stars, in which photons undergo repeated scattering by free electrons in the plasma and by bound electrons in atoms (if the atoms are not completely stripped, it depends on circumstances) and slowly diffuse upward toward the surface. In many stars such as the sun this radiative transport dominates the energy transport at certain radii, while at other radii convective transport is dominant.

The interaction of photons with matter is also important in nuclear physics. In the M"ossbauer effect, for example, gamma ray photons emitted in the decay of a nucleus are used to excite other nuclei, lifting them from their ground state into an excited state. See The 57Fe\ironfiftyseven Nucleus and the M"ossbauer Effect. The resonance is very narrow, however, and the photon can be shifted out of resonance by a Doppler shift involving only small velocities. The M"ossbauer effect provided the first clear experimental demonstration of the red shift that photons suffer on climbing out of a gravitational field. This effect implies that clocks run at different rates in different regions of a gravitational field. It is one of the conceptual corner stones of general relativity.

The Scattering Problem

We shall consider the reaction

A+γ→B+γ′,A + \gamma \to B + \gamma',

in which an atom in state AA interacts with an incident photon γ\gamma, which leaves the atom in state BB and produces the scattered photon γ′\gamma'. We will write λ=(kμ)\lambda=(\kvec\mu), λ′=(k′μ′)\lambda'=(\kvec'\mu') for the modes of the incident and scattered photons, where μ\mu is a polarization index, as described in The Mode Expansion. We will assume that λ≠λ′\lambda \ne \lambda', since otherwise there is no scattering. If A=BA=B, the scattering is elastic (the initial and final atomic states are the same), and by conservation of energy we have ω=ω′\omega = \omega', where ω\omega and ω′\omega' are the frequencies of the photons with modes λ\lambda and λ′\lambda'. If A≠BA \ne B, the scattering is inelastic, and we have ω≠ω′\omega \ne \omega'. In this case the final atomic state BB may either be higher or lower in energy than the initial state AA, depending on circumstances. We will use box normalization in our analysis, so the indices λ\lambda, λ′\lambda', etc are discrete. With a few changes, the states ∣A⟩\ket{A} and ∣B⟩\ket{B} can be interpreted as belonging to a molecule, nucleus, or other material system, rather than an atom.

We shall treat the scattering reaction (1) by means of time-dependent perturbation theory, developed in 34. Time-Dependent Perturbation Theory. As we shall see, we will have to make some extensions of that theory for the application at hand. Our earlier presentation of time-dependent perturbation theory was stated in a general notation, in which ∣i⟩\ket{i} is an initial state, ∣n⟩\ket{n} is a variable final state that we must sum over to get useful transition probabilities, and ∣k⟩\ket{k} is an intermediate state. These initial, final and intermediate states will be identified with particular states in our atom-field system, so we will switch back and forth between the general notation and the one specific to our problem.

Specifically, we have one photon in both our initial and final states. We will write these states in a variety of ways,

∣i⟩=∣A⟩aλ†∣0⟩=∣A⟩∣λ⟩=∣Aλ⟩,∣n⟩=∣B⟩aλ′†∣0⟩=∣B⟩∣λ′⟩=∣Bλ′⟩.\begin{aligned} \ket{i} &= \ket{A} a^\hc_\lambda \ket{0} = \ket{A}\ket{\lambda} = \ket{A\lambda}, \\ \ket{n} &= \ket{B} a^\hc_{\lambda'} \ket{0} = \ket{B}\ket{\lambda'} = \ket{B\lambda'}. \end{aligned}

The energies of these states are

Ei=EA+ℏω,En=EB+ℏω′,\begin{aligned} E_i &= E_A + \hbar\omega, \\ E_n &= E_B + \hbar\omega', \\ \end{aligned}

where EAE_A and EBE_B are the energies of the two atomic states. The Einstein frequency connecting the initial and final states is

ωni=En−Eiℏ=ωBA+ω′−ω,\omega_{ni} = {E_n - E_i \over \hbar} = \omega_{BA} + \omega' - \omega,

where ωBA=(EB−EA)/ℏ\omega_{BA} =(E_B-E_A)/\hbar.

The problem will be to compute the differential cross dσ/dΩ′d\sigma/d\Omega', where Ω′\Omega' refers to the direction of the outgoing photon (in mode λ′\lambda'). The differential cross is a function of the mode of the initial photon λ\lambda, the two atomic states AA and BB, and of the polarization and direction of the final photon, whose mode is λ′\lambda'. The energy of the final photon is determined by conservation of energy.

The Transition Amplitude Vanishes at First Order in A\Avec

We will take the Hamiltonian for the interaction of the matter with the radiation to be K=K0+K1+K2K=K_0 + K_1 + K_2, where

K0=p22m+U(r)+∑λℏωλ aλ†aλ,\begin{aligned} K_0 &= {\pvec^2 \over 2m} + U(r) + \sum_\lambda \hbar\omega_\lambda \, a^\hc_\lambda a_\lambda, \end{aligned}
K1=emc[p⋅A(x)+S⋅B(x)],\begin{aligned} K_1 &= {e\over mc}[ \pvec \cdot \Avec(\xvec) + \Svec\cdot\Bvec(\xvec)], \end{aligned}
K2=e22mc2A(x)2.\begin{aligned} K_2 &= {e^2 \over 2m c^2} \Avec(\xvec)^2. \end{aligned}

We write our Hamiltonian as KK so as not to confuse it with the Hamiltonian H=H0+H1H=H_0+H_1 that is used in the general theory of time-dependent perturbation theory. We will have to identify H0H_0 with K0K_0 for our particular problem, and H1H_1 with K1+K2K_1+K_2. Although we have written K0K_0 as a single-electron system, very little of the following analysis depends on this and our results, as mentioned, will be valid also for molecules, nuclei, and other systems.

The Hamiltonian KK is ordered in powers of the vector potential A\Avec, which represents physically the amplitude of the light wave. That is, K0K_0 is O(1)O(1), K1K_1 is O(A)O(\Avec), including the term S⋅B\Svec\cdot\Bvec since B=∇×A\Bvec=\del\cross\Avec, and K2K_2 is O(A2)O(\Avec^2).

The transition amplitude in first order time-dependent perturbation theory is given by (40), which we reproduce here:

cn(1)(t)=2iℏeiωnit/2(sin⁡ωnit/2ωni)⟨n∣H1∣i⟩.c_n^{(1)}(t) = {2\over i\hbar} e^{i\omega_{ni} t/2} \Bigl( {\sin \omega_{ni}t/2 \over \omega_{ni}}\Bigr) \matrixelement{n}{H_1}{i}.

For our application we must replace H1H_1 by K1+K2K_1+K_2, but if we only wish to work to first order in A\Avec we can ignore K2K_2 compared to K1K_1. Thus we make the replacement,

⟨n∣H1∣i⟩→⟨n∣K1∣i⟩=emc⟨Bλ′∣[p⋅A(x)+S⋅B(x)]∣Aλ⟩,\matrixelement{n}{H_1}{i} \to \matrixelement{n}{K_1}{i}= {e\over mc} \matrixelement{B\lambda'} {[\pvec\cdot\Avec(\xvec) + \Svec\cdot\Bvec(\xvec)]} {A\lambda},

in (8). The fields A\Avec and B\Bvec have Fourier series (22) and (24) in terms of the modes of the field. If we write out these series, suppressing all factors except the creation and annihilation operators, then they have the structure,

A,B=∑λ1(aλ1…aλ1†),\Avec,\Bvec = \sum_{\lambda_1} \bigl( a_{\lambda_1} \ldots a^\hc_{\lambda_1}\bigr),

where we are careful to use the index λ1\lambda_1 as a dummy variable of summation, so as not to confuse it with the indices λ\lambda and λ′\lambda' of the incident and scattered photons.

Now focusing on the field part of the matrix element (9), we see that the annihilation operator aλ1a_{\lambda_1} does not contribute to the transition amplitude, because it acts on a state with a single photon, ∣Aλ⟩\ket{A\lambda}, and either produces a state with zero photons (if λ1=λ\lambda_1 = \lambda) or annihilates it (if λ1≠λ)\lambda_1 \ne \lambda). In either case, the resulting state is orthogonal to the state ∣Bλ′⟩\ket{B\lambda'}, and gives zero when the scalar product is taken. Similarly, the creation operator aλ1†a^\hc_{\lambda_1} in the Fourier series (10) acts on the single photon state ∣Aλ⟩\ket{A\lambda} and produces a two-photon state, which is necessarily orthogonal to any one-photon state such as ∣Bλ′⟩\ket{B\lambda'}. Again, the field part of the scalar product vanishes. Thus we find

⟨n∣K1∣i⟩=0,\matrixelement{n}{K_1}{i}=0,

and there is no contribution to the scattering amplitude at first order in A\Avec.

More generally, in any vacuum expectation value of a product of creation and annihilation operators, something like

⟨0∣textproductofa′sanda†s∣0⟩,\matrixelement{0}{\\text{product of a's and a^\dagger s}}{0},

the answer vanishes unless the number of aa’s and the number of a†a^\dagger’s are equal. In particular, the answer vanishes if the total number of aa’s and a†a^\dagger’s is odd.

We see that for our problem, we must go to second order in A\Avec to find a nonvanishing contribution; this will involve second order perturbation theory.

Second-Order Time-Dependent Perturbation Theory

This is the first time we have had an application of second-order time-dependent perturbation theory, so we shall return to the formalism of 34. Time-Dependent Perturbation Theory\ and develop the theory at second order, using the notation of those notes. In particular, the Hamiltonian is H=H0+H1H=H_0 + H_1. The second-order contribution to the transition amplitude cn(t)c_n(t) in the interaction picture is given by (38) in the general case in which H1H_1 in the Schr"odinger picture is allowed to depend on time. For our scattering application, H1H_1 is time-independent, so we can do the time integrations appearing in (33). The integral in the first order term in (33) was done already in The Case that H1H_1 is Time-independent, with the result shown in (40) and reproduced above in (8). As for the integrals in the second order term in (34), we first do the t′′t'' integration, finding,

cn(2)(t)=1(iℏ)2∫0tdt′ ∑keiωnkt′(eiωkit′−1iωki)⟨n∣H1∣k⟩⟨k∣H1∣i⟩.c^{(2)}_n(t) = {1\over (i\hbar)^2} \int_0^t dt' \, \sum_k e^{i\omega_{nk}t'} \Bigl( {e^{i\omega_{ki}t'} -1 \over i\omega_{ki}}\Bigr) \matrixelement{n}{H_1}{k} \matrixelement{k}{H_1}{i}.

Recall that the sum on kk is a sum over “intermediate states” that came from the insertion of a resolution of the identity between the two Hamiltonian factors in (34). We combine the phase factors in (13), using the identity,

ωnk+ωki=ωni,\omega_{nk} + \omega_{ki} = \omega_{ni},

and then we do the t′t' integration,

cn(2)(t)=1(iℏ)2∫0tdt′ ∑k1iωki(eiωnit′−eiωnkt′)⟨n∣H1∣k⟩⟨k∣H1∣i⟩\begin{aligned} c^{(2)}_n(t) &= {1\over (i\hbar)^2} \int_0^t dt' \, \sum_k {1\over i\omega_{ki}} (e^{i\omega_{ni}t'} - e^{i\omega_{nk}t'}) \matrixelement{n}{H_1}{k} \matrixelement{k}{H_1}{i} \end{aligned}
=1(iℏ)2∑k1iωki[(eiωnit−1iωni)−(eiωnkt−1iωnk)]⟨n∣H1∣k⟩⟨k∣H1∣i⟩.\begin{aligned} &= {1\over (i\hbar)^2} \sum_k {1\over i\omega_{ki}} \Bigl[ \Bigl( {e^{i\omega_{ni}t} -1 \over i\omega_{ni}}\Bigr) -\Bigl({e^{i\omega_{nk}t}-1\over i\omega_{nk}}\Bigr) \Bigr]\matrixelement{n}{H_1}{k} \matrixelement{k}{H_1}{i}. \end{aligned}

Of the two major time-dependent factors in the square brackets in (16), the first one,

eiωnit−1iωni=2eiωnit/2 sin⁡ωnit/2ωni,{e^{i\omega_{ni}t} -1 \over i\omega_{ni}} = 2 e^{i\omega_{ni}t/2} \, {\sin \omega_{ni}t/2 \over \omega_{ni}},

is the same time-dependent factor that appears in the first order term cn(1)(t)c^{(1)}_n(t) shown in (8). Notice that this factor is independent of kk and can be taken out of the sum in (16). When squared to produce a probability, this factor produces a quantity proportional to time multiplied times a function of frequency that gets narrower as time gets longer,

sin⁡2ωt/2ω2=π2 t Δt(ω),{\sin^2 \omega t/2 \over \omega^2} = {\pi\over 2} \, t\, \Delta_t(\omega),

where

lim⁡t→∞Δt(ω)=δ(ω).\lim_{t\to\infty} \Delta_t(\omega) = \delta(\omega).

See (51) and (52). The fact that the result is proportional to time is essential for getting a transition rate (a probability per unit time), and the emerging δ\delta-function in the limit t→∞t\to\infty is necessary for energy conservation, as explained in 34. Time-Dependent Perturbation Theory. In fact, as explained in Short-Time Behavior, we do not really have to take tt to ∞\infty, it need only be long enough for certain initial transients to die away. These transients are related to the artificiality of the initial conditions, and are nonphysical.

The initial conditions for the scattering problem considered in these notes contain an artificial element, as did the initial conditions in the potential scattering problem considered in Application: Potential Scattering. That is, we are assuming that at t=0t=0 the atom is known to be in the state AA and the field consists of a single photon in mode λ\lambda. This mode is a plane wave that fills up all of space, including the region occupied by the atom. It would be impossible to set up such initial conditions experimentally, since there is no way for a light wave to get into the region occupied by the atom without interacting with it. A more realistic set of initial conditions would be a wave packet made up out of single photon states that initially is remote from the atom and not interacting with it. To treat such wave packets, however, would require a more sophisticated formalism than we are using here, so we will stick with the initial conditions we have chosen. The price we pay, however, is the appearance of initial transients without physical significance.

The second major time-dependent term inside the square brackets in (16) is just such a transient. This term, when squared, does not produce something proportional to time, but rather just gives bounded oscillations that go to zero in the limit t→∞t\to\infty after we divide by time. Thus, they do not contribute to the transition rate. This is because the frequency ωnk\omega_{nk} occurring in that term is not independent of kk. The same is true for the cross terms that arise when the sum of the two major time-dependent terms in (16) is squared. Thus, if all we are interested in is the transition rate and not the initial transients, we can drop the second major time-dependent term in (16).

The result is an effective transition amplitude at second order that is proportional to the time-dependent factor (17), the same factor that occurs at first order. Combining the first and second order terms, we obtain an effective transition amplitude,

ceffn(t)=2iℏeiωnit/2(sin⁡ωnit/2ωni)[⟨n∣H1∣i⟩+∑k⟨n∣H1∣k⟩⟨k∣H1∣i⟩Ei−Ek],c^eff_n(t) = {2\over i\hbar} e^{i\omega_{ni} t/2} \Bigl( {\sin \omega_{ni}t/2 \over \omega_{ni}}\Bigr) \biggl[\matrixelement{n}{H_1}{i} + \sum_k {\matrixelement{n}{H_1}{k} \matrixelement{k}{H_1}{i} \over E_i - E_k} \biggr],

where we have taken the denominator ωki\omega_{ki} appearing in (16) and written it as −(Ei−Ek)/ℏ-(E_i-E_k)/\hbar. The result is the “energy denominator” seen in the second order contribution in (20). Recall that we had such energy denominators also in second-order bound state perturbation theory (see 23. Bound-State Perturbation Theory). We drop the zeroth order contribution δni\delta_{ni} to the transition amplitude since for our scattering problem n≠in \ne i (since λ≠λ′\lambda \ne \lambda').

The Photon Scattering Amplitude at Order A2\Avec^2

For our application H1H_1 in (20) must be replaced by K1+K2K_1+K_2. At first order of perturbation theory, this gives the matrix element

⟨n∣K1+K2∣i⟩.\matrixelement{n}{K_1+K_2}{i}.

As we have just seen, however, the contribution to this matrix element from K1K_1 vanishes. But at second order in A\Avec we must keep the term ⟨n∣K2∣i⟩\matrixelement{n}{K_2}{i}. This is the second-order Hamiltonian K2K_2 taken in first-order perturbation theory. Likewise, in the second order term of the general expression (20), we can simply replace H1H_1 by K1K_1, ignoring K2K_2, if we wish to work to second order in A\Avec. That is, we take the first-order Hamiltonian K1K_1 at second order perturbation theory. Altogether, the effective transition amplitude for our scattering problem, valid through order A2\Avec^2, is

ceffn(t)=2iℏeiωnit/2(sin⁡ωnit/2ωni)[⟨n∣K2∣i⟩+∑k⟨n∣K1∣k⟩⟨k∣K1∣i⟩Ei−Ek],c^eff_n(t) = {2\over i\hbar} e^{i\omega_{ni} t/2} \Bigl( {\sin \omega_{ni}t/2 \over \omega_{ni}}\Bigr) \Bigl[\matrixelement{n}{K_2}{i} + \sum_k {\matrixelement{n}{K_1}{k} \matrixelement{k}{K_1}{i} \over E_i - E_k} \Bigr],

where K1K_1 and K2K_2 are given by (5) and states ∣i⟩\ket{i} and ∣n⟩\ket{n} are given by (2).

K2K_2 in First-Order Perturbation Theory

We begin with the term

⟨n∣K2∣i⟩=e22mc2⟨Bλ′∣A(x)2∣Aλ⟩.\matrixelement{n}{K_2}{i} ={e^2\over 2mc^2} \matrixelement{B\lambda'}{\Avec(\xvec)^2}{A\lambda}.

Squaring the Fourier series (22) for A\Avec, we obtain a product series with the structure,

A(x)2∼∑λ1λ2(aλ1…aλ1†)⋅(aλ2…aλ2†),\Avec(\xvec)^2 \sim \sum_{\lambda_1 \lambda_2} (a_{\lambda_1} \ldots a^\hc_{\lambda_1}) \cdot (a_{\lambda_2} \ldots a^\hc_{\lambda_2}),

where we suppress all factors except the creation and annihilation operators. This allows us to concentrate on the photon part of the matrix element (23). We see that there are four types of products of creation and annihilation operators that occur in A2\Avec^2. The product of the two annihilation operators aλ1aλ2a_{\lambda_1} a_{\lambda_2} does not contribute to the transition amplitude, since it acts on the single photon state ∣Aλ⟩\ket{A\lambda} producing zero. Likewise, the product of the two creation operators aλ1†aλ2†a^\hc_{\lambda_1} a^\hc_{\lambda_2} does not contribute, since it acts on ∣Aλ⟩\ket{A\lambda} creating a three-photon state that is orthogonal to the one-photon state ∣Bλ′⟩\ket{B\lambda'}. The product of the annihilation operator times the creation operator, aλ1aλ2†a_{\lambda_1} a^\hc_{\lambda_2}, does contribute, however, as long as λ1=λ\lambda_1 = \lambda and λ2=λ′\lambda_2 = \lambda'. That is, the photon destroyed by aλ1a_{\lambda_1} must be the incident photon, and the one created by aλ2†a^\hc_{\lambda_2} must be the scattered photon. Taking into account the other factors in the Fourier series, this product of operators corresponds to the product of polarization vectors ϵ^λ⋅ϵ^λ′†{\hat{\boldsymbol{\epsilon}}}_{\lambda} \cdot {\hat{\boldsymbol{\epsilon}}}^\cc_{\lambda'} and the product of phase factors eik⋅x−ik′⋅xe^{i\kvec\cdot\xvec-i\kvec'\cdot\xvec}. Similarly, the product of the creation operator times the annihilation operator aλ1†aλ2a^\hc_{\lambda_1} a_{\lambda_2} contributes as long at λ1=λ′\lambda_1=\lambda' and λ2=λ\lambda_2 = \lambda, and in this case the product of polarization vectors is ϵ^λ′†⋅ϵ^λ{\hat{\boldsymbol{\epsilon}}}^\cc_{\lambda'} \cdot {\hat{\boldsymbol{\epsilon}}}_\lambda and the product of phase factors is e−ik′⋅x+ik⋅xe^{-i\kvec'\cdot\xvec + i\kvec\cdot\xvec}. The terms that contribute are those that have a total of two annihilation and two creation operators between the vacuum bra and vacuum ket.

Thus out of the double infinite series (24) for A2\Avec^2, only two terms contribute to the transition amplitude, and both have the same product of polarization vectors and the same phase factors. The contributions of these two terms are equal. It is now easy to do the photon part of the matrix element, leaving only an atomic matrix element. The result is

⟨n∣K2∣i⟩=2×e22mc22πℏc2V1ωω′(ϵ^⋅ϵ^′†) ⟨B∣ei(k−k′)⋅x∣A⟩,\matrixelement{n}{K_2}{i} = 2 \times {e^2 \over 2mc^2} {2\pi\hbar c^2 \over V} {1\over \sqrt{\omega \omega'}} ({\hat{\boldsymbol{\epsilon}}} \cdot {\hat{\boldsymbol{\epsilon}}}^{\prime\cc}) \, \matrixelement{B}{e^{i(\kvec-\kvec')\cdot\xvec}}{A},

where the leading factor of 2 comes from the fact that we have two identical terms, and where we have made the abbreviations, ϵ^=ϵ^λ{\hat{\boldsymbol{\epsilon}}} = {\hat{\boldsymbol{\epsilon}}}_{\lambda}, ϵ^′=ϵ^λ′{\hat{\boldsymbol{\epsilon}}}' = {\hat{\boldsymbol{\epsilon}}}_{\lambda'}.

In the following we shall use the dipole approximation, in which ei(k−k′)⋅x=1e^{i(\kvec-\kvec')\cdot\xvec} = 1. As explained in 42. Emission and Absorption of Radiation, this approximation is equivalent to a/λ≪1a/\lambda \ll 1, where aa is the size of the atom and λ\lambda is the wave length of the radiation. This is an excellent approximation for atoms at optical frequencies, where the ratio a/λa/\lambda is less than 10-3. This causes the atomic matrix element in (25) to become simply ⟨B∣A⟩=δBA\braket{B}{A} = \delta_{BA}. We see that the K2K_2-term only contributes to elastic scattering. Altogether, the matrix element becomes

⟨n∣K2∣i⟩=(e2mc2)(2πℏc2V)1ωω′(ϵ^⋅ϵ^′†) δBA.\matrixelement{n}{K_2}{i} = \Bigl({e^2\over mc^2}\Bigr) \Bigl({2\pi\hbar c^2\over V}\Bigr) {1\over \sqrt{\omega\omega'}} ({\hat{\boldsymbol{\epsilon}}}\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}) \, \delta_{BA}.

Feynman Diagrams

Before proceeding to the K12K_1^2 term, we show how the terms of the perturbation series are associated with Feynman diagrams. A Feynman diagram is basically a space-time diagram showing the interactions of the particles. The diagrams correspond to terms in the transition amplitude; thus, each diagram is a complex number.

The time sequence of particle interaction in a Feynman diagram comes from the Dyson series in time-dependent perturbation theory. The Dyson series is given by (27), reproduced here:

∣ψI(t)⟩=∣i⟩+1iℏ∫0tdt′ H1I(t′)∣i⟩+1(iℏ)2∫0tdt′ ∫0t′dt′′ H1I(t′)H1I(t′′)∣i⟩+….\ket{\psi_I(t)} = \ket{i}+ {1\over i\hbar} \int_0^t dt' \, H_{1I}(t')\ket{i} +{1\over (i\hbar)^2} \int_0^t dt' \, \int_0^{t'} dt'' \, H_{1I}(t') H_{1I}(t'')\ket{i} + \ldots.

This is a power series in H1H_1, a solution of the time-dependent Schr"odinger equation in the interaction picture with initial condition ∣ψI(0)⟩=∣i⟩\ket{\psi_I(0)}=\ket{i}. The Hamiltonian H1IH_{1I} is in the interaction picture; it is time-dependent even when H1H_1 (in the Schr"odinger picture) is not, hence H1IH_{1I} at different times do not commute.

We will use the second order term of the Dyson series to illustrate the time ordering. In this term the various times satisfy

t≥t′≥t′′≥0,t\ge t' \ge t'' \ge 0,

where the initial time is 0, t′t' and t′′t'' are a pair of sequenced intermediate times, and tt is the final time. This leads to a language for describing the second order term of the Dyson series: we say that the initial state ∣i⟩\ket{i} is unchanged until time t′′t'' when it is acted upon by H1I(t′′)H_{1I}(t''), after which it is unchanged until time t′t' when it is acted upon by H1I(t′)H_{1I}(t'), after which it is unchanged until the final time tt. The second order contribution to the transition amplitude is the sum (that is, the integral) of all such contributions, for all possible (ordered) values of t′t' and t′′t''.

Similarly, the first order term involves interacting with H1IH_{1I} at one intermediate time t′t', and the zeroth order term involves no interaction. The pattern is clear for terms of any order.

The seagull diagram. The four-point vertex describes the action of K_{2I} at intermediate time t', which annihilates the incident photon in mode \lambda, creates the scattered photon in mode \lambda, and connects initial atomic state A with final state B. Time runs from bottom to top in the diagram, with the time sequence 0\le t' \le t.

Figure 1:The seagull diagram. The four-point vertex describes the action of K2IK_{2I} at intermediate time t′t', which annihilates the incident photon in mode λ\lambda, creates the scattered photon in mode λ\lambda, and connects initial atomic state AA with final state BB. Time runs from bottom to top in the diagram, with the time sequence 0≤t′≤t0\le t' \le t.

To return to our problem, the term ⟨n∣K2∣i⟩\matrixelement{n}{K_2}{i} involves the second order Hamiltonian, but comes from the first order term in the Dyson series. Thus there is one interaction with K2K_2 at one intermediate time. This interaction destroys the incident photon λ\lambda and creates the final photon λ′\lambda', and connects the initial atomic state AA with the final atomic state BB. The Feynman diagram is shown in Figure 1; it is called a “seagull” diagram. In the diagram time increases from bottom to top. The atom lines are straight lines, and the photon lines are curvy. The single interaction with K2K_2 is an example of a 4-point vertex, that is, an interof four lines. Four-point vertices are created by the term A2\Avec^2 in the Hamiltonian, because of the structure of the product of the two Fourier series discussed above.

The term K12K_1^2 in Second Order Perturbation Theory

Now we turn to the second order term in the transition amplitude, extracted from (22):

∑k⟨n∣K1∣k⟩⟨k∣K1∣i⟩Ei−Ek,\sum_k {\matrixelement{n}{K_1}{k} \matrixelement{k}{K_1}{i} \over E_i-E_k},

where we use the general notation for the initial state ∣i⟩\ket{i}, the final state ∣n⟩\ket{n}, and the intermediate state ∣k⟩\ket{k}. In our problem kk runs over a complete set of state of the matter plus field system, and in particular, it must include states of any number of photons. But ∣i⟩=∣Aλ⟩\ket{i}=\ket{A\lambda} and ∣n⟩=∣Bλ′⟩\ket{n}=\ket{B\lambda'} contain only one photon, and K1K_1 can create or destroy only one photon, so the only intermediate states that give nonvanishing matrix elements are those with either zero or two photons. Thus there are two cases.

In case I, the incident photon is destroyed before the final photon is created. There are zero photons in the intermediate state.

Figure 2:In case I, the incident photon is destroyed before the final photon is created. There are zero photons in the intermediate state.

In case II, the final photon is created before the incident photon is destroyed. There are two photons in the intermediate state.

Figure 3:In case II, the final photon is created before the incident photon is destroyed. There are two photons in the intermediate state.

In case I, the intermediate state contains zero photons. The first application of K1K_1 (at the first intermediate time, t′′t'' in our notation) annihilates the incident photon λ\lambda, and the second application of K1K_1 (at the second intermediate time, t′t' in our notation) creates the final photon λ\lambda. In case II, the intermediate state contains two photons, which must be in modes λ\lambda and λ′\lambda'. The first application of K1K_1 creates the final photon λ′\lambda' and the second (later) application of K1K_1 destroys the incident photon λ\lambda. Thus we have

∣k⟩={∣I⟩∣0⟩≡∣I⟩,CaseI∣I⟩aλ†aλ′†∣0⟩≡∣Iλλ′⟩,CaseII\begin{aligned} \ket{k} = \begin{cases}\ket{I}\ket{0} \equiv \ket{I}, & Case I\\ \ket{I}a_\lambda^\dagger a_{\lambda'}^\dagger\ket{0} \equiv \ket{I\lambda\lambda'}, & Case II\\\end{cases} \end{aligned}

where II refers to an intermediate atomic state. The Feynman diagrams for cases I and II are given in Figs.~Figure 2 and Figure 3.

We may now evaluate the contributions of cases~I and II to the sum (29). The initial and final energies EiE_i and EnE_n, in the general notation, are translated into the notation of this problem by (3). In case~I, the energy of the intermediate state, EkE_k in the general notation, becomes EIE_I, the energy of the intermediate atomic state, in the notation of this problem. Thus, in case~I, the energy denominator in the sum (29) becomes

Ei−Ek→EA+ℏω−EI=ℏ(ω−ωIA),E_i-E_k \to E_A+\hbar\omega - E_I = \hbar(\omega-\omega_{IA}),

where ωIA=(EI−EA)/ℏ\omega_{IA} = (E_I-E_A)/\hbar. Also, the second matrix element in (29) is interpreted as

⟨k∣K1∣i⟩=⟨I∣K1∣Aλ⟩=emc2πℏc2V1ω⟨I∣p⋅ϵ^∣A⟩,\matrixelement{k}{K_1}{i} = \matrixelement{I}{K_1}{A\lambda} = {e\over mc}\sqrt{2\pi\hbar c^2\over\ds V} {1\over\sqrt{\omega}} \matrixelement{I} {\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A},

after using (6) for K1K_1 and evaluating the field part of the matrix elements. We have dropped the term involving S⋅B\Svec\cdot\Bvec, since it is of order α\alpha compared to the term p⋅A\pvec\cdot\Avec (this is equivalent to the dipole approximation, in which we set eik⋅x=1e^{i\kvec\cdot\xvec}=1). What is left is a purely atomic matrix element. Similarly, the first matrix element in (29) is interpreted as

⟨n∣K1∣k⟩=⟨Bλ′∣K1∣I⟩=emc2πℏc2V1ω′⟨B∣p⋅ϵ^′†∣I⟩.\matrixelement{n}{K_1}{k} = \matrixelement{B\lambda'}{K_1}{I} = {e\over mc}\sqrt{2\pi\hbar c^2\over \ds V} {1\over\sqrt{\omega'}} \matrixelement{B}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}} {I}.

Altogether, the contribution of case~I, that is, the Feynman diagram in Figure 2, to the sum (29) is

(e2mc2)(2πℏc2V)1ωω′1mℏ∑I⟨B∣(p⋅ϵ^′†)∣I⟩⟨I∣(p⋅ϵ^)∣A⟩ω−ωIA.\Bigl({e^2\over m c^2}\Bigr) \Bigl({2\pi\hbar c^2\over V}\Bigr) {1\over\sqrt{\omega\omega'}} {1\over m\hbar}\sum_I {\matrixelement{B}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A} \over \omega-\omega_{IA}}.

Similarly, we find the contribution of case~II, that is, the Feynman diagram in Figure 3. It works out to be

(e2mc2)(2πℏc2V)1ωω′1mℏ∑I⟨B∣(p⋅ϵ^)∣I⟩⟨I∣(p⋅ϵ^′†)∣A⟩−ω′−ωIA.\Bigl({e^2\over m c^2}\Bigr) \Bigl({2\pi\hbar c^2\over V}\Bigr) {1\over\sqrt{\omega\omega'}} {1\over m\hbar}\sum_I {\matrixelement{B}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{A} \over -\omega'-\omega_{IA}}.

Putting the pieces together, the total transition amplitude (22) becomes

ceffn(t)=2iℏeiωnit/2(sin⁡ωnit/2ωni)(e2mc2)(2πℏc2V)1ωω′M,c^eff_n(t) = {2\over i\hbar} e^{i\omega_{ni} t/2} \Bigl( {\sin \omega_{ni}t/2 \over \omega_{ni}}\Bigr) \Bigl({e^2\over mc^2}\Bigr)\Bigl({2\pi\hbar c^2\over V}\Bigr) {1\over\sqrt{\omega\omega'}} M,

where MM is an abbreviation,

M=ϵ^⋅ϵ^′† δBA+1mℏ∑I[⟨B∣(p⋅ϵ^′†)∣I⟩⟨I∣(p⋅ϵ^)∣A⟩ω−ωIA−⟨B∣(p⋅ϵ^)∣I⟩⟨I∣(p⋅ϵ^′†)∣A⟩ω′+ωIA].M={\hat{\boldsymbol{\epsilon}}}\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc} \, \delta_{BA} + {1\over m\hbar}\sum_I \left[ {\matrixelement{B}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A} \over \omega-\omega_{IA}} - {\matrixelement{B}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{A} \over \omega'+\omega_{IA}}\right].

Note that MM is dimensionless. Note also that the sum over intermediate atomic states II must include states of the continuum; for these, the notation ∑I\sum_I is an abbreviation for an integral over the continuous quantum numbers, as well as a sum over the discrete ones.

The Kramers-Heisenberg Formula

Let us fix the mode λ\lambda of the incident photon, the initial and final atomic states AA and BB, and the polarization μ′\mu' of the outgoing photon. Then the final state is ∣n⟩=∣Bλ′⟩\ket{n}=\ket{B\lambda'}, in which only the final wave vector k′\kvec' of the outgoing photon is variable. We must sum the transition probabilities over a collection of final states to obtain the differential cross , exactly as we did in the simpler scattering problems considered in 34. Time-Dependent Perturbation Theory.

Let n^f{\hat{\mathbf{n}}}_f be a chosen direction for the outgoing photon, and let us construct a small cone of solid angle ΔΩ′\Delta\Omega' about this direction, as in Fig.~\figr\tdpt.5. The prime on Ω′\Omega' means that it is a solid angle referring to the outgoing photon. Let us also define kf′k'_f as the magnitude of k′\kvec' as determined by conservation of energy, that is,

kf′=ω′c=ω−ωBAc,k'_f = {\omega'\over c} = {\omega-\omega_{BA}\over c},

which follows from ωni=0\omega_{ni}=0 [see (4)].

The differential cross dσ/dΩ′d\sigma/d\Omega', for fixed values of λ=(k,μ)\lambda=(\kvec,\mu), AA, BB and μ′\mu', is the transition probability per unit time per unit solid angle Ω′\Omega' of the outgoing photon per unit incident flux of the incoming photon for transitions in which k′\kvec' lies in the small cone just described, in the limit that time is long enough for the initial transients to die away. We also take V→∞V\to\infty to get rid of the box and to obtain physical results. That is, we can write

dσdΩ′=lim⁡t→∞lim⁡V→∞1Jinc1ΔΩ′1t∑k′∈cone∣ceffBλ′(t)∣2.{d\sigma\over d\Omega'} = \lim_{t\to\infty} \lim_{V\to\infty} {1\over J_inc} {1\over \Delta\Omega'} {1\over t} \sum_{\kvec'\in cone} |c^eff_{B\lambda'}(t)|^2.

As we have done in 34. Time-Dependent Perturbation Theory, we sum over all wave vectors k′\kvec' in the small cone, and do not try to enforce energy conservation by hand. Taking the factors in (39) one at a time, the incident flux of photons is Jinc=c/VJ_inc=c/V, since there is one incident photon in the box travelling at the speed of light. The sum over final photon states k′\kvec' becomes an integral in the limit V→∞V\to\infty,

∑k′in cone→V(2π)3∫coned3k′=V(2π)3ΔΩ′∫0∞k′2 dk′=V(2π)3ΔΩ′c3∫0∞ω′2 dω′.\sum_{\kvec'\text{in cone}} \to {V\over (2\pi)^3} \int_cone d^3\kvec' = {V\over (2\pi)^3} \Delta\Omega' \int_0^\infty k^{\prime 2}\,dk' = {V\over (2\pi)^3} {\Delta\Omega'\over c^3} \int_0^\infty \omega^{\prime 2}\,d\omega'.

Finally, the square of the transition amplitude (36) becomes

∣ceffBλ′(t)∣2=2πtℏ2 Δt(ωBA+ω′−ω)(e2m)2(2πℏV)21ωω′∣M∣2.|c^eff_{B\lambda'}(t)|^2 = {2\pi t\over\hbar^2} \,\Delta_t (\omega_{BA}+\omega'-\omega) \Bigl({e^2\over m}\Bigr)^2 \Bigl({2\pi\hbar\over V}\Bigr)^2 {1\over\omega\omega'} |M|^2.

where we have used (51). The matrix element MM depends on k′\kvec' because it contains the polarization vectors ϵ′=ϵλ′=ϵk′μ′\epsilon' =\epsilon_{\lambda'} =\epsilon_{\kvec'\mu'}. The direction of k′\kvec' is determined by the cone, that is, the choice of n^f{\hat{\mathbf{n}}}_f.

Putting the pieces together, we find

dσdΩ′=1c4∫0∞ω′2 dω′ 1ℏ2 δ(ωBA+ω′−ω) 1ωω′e4ℏ2m2∣M∣2,{d\sigma\over d\Omega'} = {1\over c^4} \int_0^\infty \omega^{\prime 2}\,d\omega'\, {1\over\hbar^2} \,\delta(\omega_{BA}+\omega'-\omega)\, {1\over \omega\omega'}{e^4\hbar^2\over m^2} |M|^2,

or, upon doing the integral,

dσdΩ′=re2 ω′ω∣M∣2,{d\sigma\over d\Omega'}=r_e^2 \,{\omega'\over\omega} |M|^2,

where

re=e2mc2=2.82×10−13cmr_e={e^2\over mc^2} = 2.82\times 10^{-13}cm

and where in the final expression it is understood that k′=kf′n^f\kvec'=k'_f {\hat{\mathbf{n}}}_f, since the direction of k′\kvec' is fixed by the small cone and the magnitude by the energy-conserving δ\delta-function. Also, ω′=ω−ωBA\omega'=\omega-\omega_{BA} is determined by energy conservation. (43), with MM given by (37), is the Kramers-Heisenberg formula. It was first derived by methods of the old quantum theory, and is important historically because the calculation led Heisenberg to realize that a fundamental difference between classical mechanics and quantum mechanics is that in quantum mechanics classical observables are replaced by noncommuting operators. (Heisenberg thought of these operators as matrices, hence the name “matrix mechanics” for the first version of quantum mechanics).

The quantity rer_e is called the classical radius of the electron. It is called “classical” because the expression does not involve ℏ\hbar and because it has a classical interpretation: it is the radius outside of which the integrated energy in the electric field of the electron, ∫E2/8π\int E^2/8\pi, is equal to the rest-mass-energy E=mc2E=mc^2 of the electron (apart from constants of order unity). At one point physicists were playing with the idea that the observed mass of the electron might be purely energy in the field. This idea was not very successful, however, and later developments in quantum electrodynamics showed that it was rather naive. However, the general idea points to a paradox of classical electromagnetism, namely, the total integrated energy of the electric field of a point particle, if it is carried all the way to r=0r=0 and if Coulomb’s law is valid all the way to r=0r=0, is infinite. As we shall see when we study the Lamb shift, the quantum theory also leads (nominally) to an infinite mass of the electron. In addition to the infinite zero-point energy, it is one of the infinities that appear in quantum field theory.

In any case, the cross-(43) is proportional to

re2=α4a02,r_e^2= \alpha^4 a_0^2,

where a0a_0 is the Bohr-radius. Since α4≈3×10−9\alpha^4\approx 3\times 10^{-9} this is a very small area by atomic standards. The geometrical cross of the atom is roughly πa02\pi a_0^2, and this is roughly the cross for the scattering of electrons of several eV of energy by an atom. But quantity re2r_e^2, which sets the scale for photon scattering, is much smaller.

Can the dimensionless quantity ∣M∣2|M|^2 enhance the cross for photon scattering? One can see from the definition (37) that all quantities appearing there are of order unity in atomic units, if the states ∣A⟩\ket{A} and ∣B⟩\ket{B} have reasonably small quantum numbers. If, however, one of the denominators should be small, then MM can be large and lead to an enhancement. In fact, the denominator in the first term in (37) is small if ω≈ωIA\omega\approx\omega_{IA}, that is, if the incident photon has the right energy to raise the atom from its initial state ∣A⟩\ket{A} to an intermediate state ∣I⟩\ket{I}. This intermediate state must be higher in energy, since ω>0\omega>0. If this is the case, the incident photon is in resonance with one of the excitation frequencies of the atom. Similar interpretations can be given to the second term, although in that term the outgoing photon is emitted before the incident photon is absorbed, as indicated by the Feynman diagram in Figure 3.

If ω\omega is chosen so that there are no resonances (none of the denominators in (37) is small) then the cross-for atom-photon scattering is comparable to re2r_e^2, and is very small by atomic standards. This is why ordinary gases are transparent to radiation at optical frequencies, unless very thick.

We will now examine the Kramers-Heisenberg formula in various special and limiting cases.

Elastic Scattering

First we examine elastic scattering, in which the final atomic state is the same as the initial, that is, B=AB=A. This means that ω′=ω\omega'=\omega (the final photon energy is the same as the initial photon energy), so the Kramers-Heisenberg formula simplifies a little,

dσdΩ′=re2∣M∣2,\dod{\sigma}{\Omega'} = r_e^2 |M|^2,

where now

M=ϵ^⋅ϵ^′†+1mℏ∑I≠A[⟨A∣(p⋅ϵ^′†)∣I⟩⟨I∣(p⋅ϵ^)∣A⟩ω−ωIA−⟨A∣(p⋅ϵ^)∣I⟩⟨I∣(p⋅ϵ^′†)∣A⟩ω+ωIA](elastic).M={\hat{\boldsymbol{\epsilon}}}\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc} + {1\over m\hbar}\sum_{I\ne A} \left[ {\matrixelement{A}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A} \over \omega-\omega_{IA}} - {\matrixelement{A}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{A} \over \omega+\omega_{IA}}\right] \quad (elastic).

We have excluded the term I=AI=A from the sum because it vanishes anyway.

In this case it is possible to combine the first (seagull) term with the other two terms. This involves some reverse engineering or unsimplifying to make the first term look like the others. In the first step we use the identity, δij=(1/iℏ)(xipj−pjxi)\delta_{ij} = (1/i\hbar)(x_ip_j-p_jx_i) to write the first term of (47) as

ϵ^⋅ϵ^′†=∑ij⟨A∣ϵiϵj′† δij∣A⟩=1iℏ∑ij⟨A∣ϵiϵj′†(xipj−pjxi)∣A⟩=1iℏ[⟨A∣(x⋅ϵ^)(p⋅ϵ^′†)∣A⟩−⟨A∣(p⋅ϵ^′†)(x⋅ϵ^)∣A⟩]=1iℏ∑I≠A[⟨A∣x⋅ϵ^∣I⟩⟨I∣p⋅ϵ^′†∣A⟩−⟨A∣p⋅ϵ^′†∣I⟩⟨I∣x⋅ϵ^∣A⟩],\begin{aligned} {\hat{\boldsymbol{\epsilon}}}\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc} &= \sum_{ij} \matrixelement{A}{\epsilon_i \epsilon^{\prime\cc}_j \, \delta_{ij}}{A}= {1\over i\hbar}\sum_{ij} \matrixelement{A}{\epsilon_i\epsilon^{\prime\cc}_j( x_ip_j - p_jx_i)}{A} \\ &={1\over i\hbar}\bigl[\matrixelement{A}{(\xvec\cdot{\hat{\boldsymbol{\epsilon}}}) (\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{A} -\matrixelement{A}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}) (\xvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A}\bigr] \\ &={1\over i\hbar}\sum_{I\ne A}\bigl[ \matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A} -\matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A}\bigr], \\ \end{aligned}

where in the last step we have introduced a resolution of the identity and excluded the term I=AI=A since it vanishes anyway. Next we use the identity,

p=miℏ[x,K0],\pvec={m\over i\hbar}[\xvec,K_0],

where K0K_0 is given by (5) and only the atomic part is relevant. This is essentially the Heisenberg equation of motion for x\xvec, using K0K_0 as the Hamiltonian, and it allows us to convert matrix elements in p\pvec to those in x\xvec or vice versa, as we did in Decomposition of MBAM_{BA} into Multipoles. In the present problem it allows us to write

⟨A∣x⋅ϵ^∣I⟩=⟨A∣(xK0−K0x)⋅ϵ^∣I⟩EI−EA=im⟨A∣p⋅ϵ^∣I⟩ωIA,\matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} = {\matrixelement{A}{(\xvec K_0-K_0\xvec)\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \over E_I-E_A}= {i\over m} {\matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I}\over \omega_{IA}},

where we have used the fact that ∣A⟩\ket{A} and ∣I⟩\ket{I} are eigenstates of K0K_0. Similarly we have

⟨I∣x⋅ϵ^∣A⟩=−im⟨I∣p⋅ϵ∣A⟩ωIA,\matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A} = -{i\over m} {\matrixelement{I}{\pvec\cdot\epsilonvec}{A} \over \omega_{IA}},

obtained by swapping the labels AA and II.

Combining (50) and (51) with (48), we obtain

ϵ^⋅ϵ^′†=1mℏ∑I≠A[⟨A∣p⋅ϵ^′†∣I⟩⟨I∣p⋅ϵ^∣A⟩ωIA+⟨A∣p⋅ϵ^∣I⟩⟨I∣p⋅ϵ^′†∣A⟩ωIA].{\hat{\boldsymbol{\epsilon}}}\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}= {1\over m\hbar}\sum_{I\ne A} \left[ {\matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A} \over \omega_{IA}} +{\matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A} \over \omega_{IA}} \right].

This allows us to combine the terms in (47) to obtain

M=ωmℏ∑I≠A1ωIA[⟨A∣p⋅ϵ^′†∣I⟩⟨I∣p⋅ϵ^∣A⟩ω−ωIA+⟨A∣p⋅ϵ^∣I⟩⟨I∣p⋅ϵ^′†∣A⟩ω+ωIA](elastic).M = {\omega\over m\hbar}\sum_{I\ne A}{1\over\omega_{IA}} \left[{\matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A} \over \omega-\omega_{IA}} + {\matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A} \over \omega+\omega_{IA}}\right]\quad (elastic).

Finally, let us use the commutator (49) convert matrix elements in p\pvec into matrix elements in x\xvec. The conversions

⟨A∣p⋅ϵ^∣I⟩=−im ωIA⟨A∣x⋅ϵ^∣I⟩,⟨A∣p⋅ϵ^′†∣I⟩=−im ωIA⟨A∣x⋅ϵ^′†∣I⟩,⟨I∣p⋅ϵ^′†∣A⟩=im ωIA⟨I∣x⋅ϵ^′†∣A⟩,⟨I∣p⋅ϵ^∣A⟩=im ωIA⟨I∣x⋅ϵ^∣A⟩.\begin{aligned} \matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} &= -im\,\omega_{IA} \matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I}, \qquad \matrixelement{A}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} = -im\,\omega_{IA} \matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I},\\ \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A} &= im\,\omega_{IA} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A}, \qquad \matrixelement{I}{\pvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A} = im\,\omega_{IA} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A}.\\ \end{aligned}

With these, (53) becomes

M=mωℏ∑I≠AωIA[⟨A∣x⋅ϵ^′†∣I⟩⟨I∣x⋅ϵ^∣A⟩ω−ωIA+⟨A∣x⋅ϵ^∣I⟩⟨I∣x⋅ϵ^′†∣A⟩ω+ωIA](elastic).M={m\omega\over\hbar}\sum_{I\ne A}\omega_{IA}\left[ {\matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A} \over \omega-\omega_{IA}} + {\matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A} \over \omega+\omega_{IA}}\right] \quad (elastic).

Low Frequency Elastic Scattering

So far we have transformed the quantity MM for elastic scattering without approximation. Now, however, let us consider the case in which the frequency of the incident photon is small compared to any resonance frequency ωIA\omega_{IA}. For example, if ∣A⟩\ket{A} is the ground state of the atom, this means that ℏω\hbar\omega is small compared to the energy needed to raise the atom into the first excited state. Then we can expand the the quantity MM in (55) in powers of ω/ωIA\omega/\omega_{IA}. The ω\omega-dependent terms in (55) are

ωIAω±ωIA≈±1−ωωIA.{\omega_{IA}\over\omega\pm\omega_{IA}} \approx \pm 1- {\omega\over\omega_{IA}}.

The contribution of the constant term in this expansion to the sum (55) is

∑I≠A[−⟨A∣x⋅ϵ^∣I⟩⟨I∣x⋅ϵ^′†∣A⟩+⟨A∣x⋅ϵ^′†∣I⟩⟨I∣x⋅ϵ^∣A⟩].\sum_{I\ne A} \bigl[-\matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A} +\matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A}\bigr].

We can restore the term I=AI=A into this sum since it vanishes anyway and obtain a resolution of the identity ∑∣I⟩⟨I∣\sum\ketbra{I}{I} over atomic states. Thus the sum (57) becomes

−⟨A∣(x⋅ϵ^)(x⋅ϵ^′†)∣A⟩+⟨A∣(x⋅ϵ^′†)(x⋅ϵ^)∣A⟩=0.-\matrixelement{A}{(\xvec\cdot{\hat{\boldsymbol{\epsilon}}}) (\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc})}{A} +\matrixelement{A}{(\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}) (\xvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A}=0.

The constant term in the expansion (56) vanishes when used in the sum. Going to next order in ω/ωIA\omega/\omega_{IA} we have

M=mω2ℏ∑I≠A1ωIA[⟨A∣x⋅ϵ^∣I⟩⟨I∣x⋅ϵ^′†∣A⟩+⟨A∣x⋅ϵ^′†∣I⟩⟨I∣x⋅ϵ^∣A⟩]textelastic,ω≪ωIA.M={m\omega^2\over\hbar}\sum_{I\ne A}{1\over\omega_{IA}} \bigl[ \matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{A}+ \matrixelement{A}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}}{I} \matrixelement{I}{\xvec\cdot{\hat{\boldsymbol{\epsilon}}}}{A} \bigr] \quad \\text{elastic, \omega\ll\omega_{IA}}.

In this form we can see the induced dipole moment tensor of the atom in the presence of the light wave. See (32) for the polarizability of hydrogen in the presence of a static (DC) electric field (that is, in the Stark effect). The physics is that the incident light wave produces an induced electric dipole moment in the atom, oscillating at the same frequency as the wave, which radiates the scattered wave. In fact, much of the process can be understood classically.

For now the important fact is that the amplitude MM is proportional to ω2\omega^2, so the cross is proportional to ω4\omega^4. This dependence of the cross on frequency was first derived by Raleigh in his study of light scattering by small particles, so the process is called Rayleigh scattering. When sunlight passes through the atmosphere the higher frequency blue light is more strongly scattered than the longer wavelengths, which explains why the sky is blue. It also explains why sunsets are red, since the sunlight passing through thick layers of atmosphere has its higher frequencies depleted by Raleigh scattering and mainly the red light gets through.

Thomson Scattering

Let us now consider the opposite limit, in which ω\omega is much larger than any atomic transition frequency. This may look absurd since we sum over all intermediate states II going out to arbitrarily high energies. However, the matrix elements in (37) are small when the intermediate state II has large quantum numbers compared to those of the states AA and BB (which we assume are small). In this limit both terms in the sum in (37) have large denominators and become negligible compared to the first (seagull) term. Specializing to elastic scattering, in this limit the Kramers-Heisenberg formula becomes simply

dσdΩ′=re2 ∣ϵ^⋅ϵ^′†∣2.\dod{\sigma}{\Omega'} = r_e^2\, |{\hat{\boldsymbol{\epsilon}}}\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\cc}|^2.

The physics here is that if the energy of the incident photon is much higher than the binding energy of the electron, then the electron behaves as if it were free and not attached to the atom at all. In fact, the cross-(60) applies to the scattering of photons by free electrons, which is called Thomson scattering. The area re2r_e^2 is the characteristic size of the Thomson cross-.

However, our derivation is limited by the fact that we are using nonrelativistic quantum mechanics, so the validity of the Thomson cross-is limited by ℏω≪mc2\hbar\omega \ll mc^2, where mm is the electron mass. If the photon is relativistic in the sense ℏω\hbar\omega is comparable to or greater than mc2mc^2, then the process is called Compton scattering and the cross-, which is more complicated than the Thomson formula (60), is called the Klein-Nishina cross-.

Notice that the Thomson cross does not depend on the spin of the electron. That is because we used the electrostatic model in its derivation, as well as the dipole approximation (ignoring spin-dependent terms etc). In the Klein-Nishina formula there is a dependence on the electron spin.

An interesting feature of Thomson scattering is that even if the incident photon is unpolarized, the scattered photon has a net polarization. In fact, for certain scattering angles, it is in a pure polarization state.

Raman Scattering

Raman scattering is an example of inelastic scattering, which we describe in broad terms.

A typical example consists of passing optical radiation, for example, a laser beam, through a molecular gas. A detector collects photons scattered by the beam at various angles. If the frequency of the optical radiation is ω\omega, then most of the scattered photons also have frequency ω\omega, that is, the scattering is elastic. But typically one also detects a smaller number of photons that have been downshifted or upshifted in frequency by some amount Δω\Delta\omega. If the scattered photon has a lower frequency than the incident photons, it means the photon has given up some energy to the molecule, typically raising it into a higher vibrational state; conversely, if scattered photon is upshifted in frequency then it has gained energy from the molecule, which has made a transition to a lower vibrational state. If the vibrational mode in question is approximated by a harmonic oscillator, then Δω\Delta\omega is the vibrational frequency and ℏΔω\hbar\Delta\omega is the change in vibrational energy when the quantum number nn of the harmonic oscillator changes by 1. If the molecule is a diatomic then it has only one vibrational mode, as explained in Diatomic Molecules, but polyatomic molecules have more than one vibrational mode. Section Diatomic Molecules also explaines that vibrational frequencies are typically down by a factor of roughly 100 in comparison to optical frequencies, so this is a measure of Δω/ω\Delta\omega/\omega in such experiments. In this way the frequency shifts of the scattered photons give direct experimental information on the vibrational energy levels of the molecule.

The spectral lines that are shifted down from the incident frequency ω\omega are called Stokes lines, and those that are shifted up are called anti-Stokes lines. In practice Stokes lines tend to be stronger than anti-Stokes lines because the Boltzmann factor suppresses the populations of higher vibrational states. For example, if the gas is at a low enough temperature that almost all the vibrational modes are in the ground state, then one will see only Stokes lines.

Problems

Problem 1.

This is a variation on Sakurai, {\it Advanced Quantum Mechanics}, problem 2-6, p.~72.

Consider the 2s→1s2s \to 1s transition in hydrogen. The matrix elements for single photon emission are very small, so ignore them, and consider the emission of two photons. This in fact is the dominant mechanism for the 2s→1s2s \to 1s decay. It is sufficient to use the electrostatic model (ignore the spin of the electron, the fine structure, etc), so the atomic states are ∣nℓm∗⟩\ket{n\ell m*}. Use the Hamiltonian K=K0+K1+K2K=K_0+K_1+K_2, given by (5), with U(r)=−e2/rU(r)=-e^2/r so that it applies to hydrogen, and drop the spin-dependent term in K1K_1. Also use the dipole approximation, so eik⋅x=1e^{i\kvec\cdot\xvec}=1. See (20) for the effective transition amplitude in second order time-dependent perturbation theory. Remember that H1H_1 in must be identified with K1+K2K_1 + K_2 in our application. Let BB stand for the 2s2s state, AA for the 1s1s state, and II for an intermediate state. Obtain an expression for the differential transition rate,

dwdω dΩ dΩ′,{ dw \over d\omega \,d\Omega \, d\Omega'},

defined by saying that

dwdω dΩ dΩ′Δω ΔΩ ΔΩ′{ dw \over d\omega \,d\Omega \, d\Omega'} \Delta \omega \, \Delta \Omega \, \Delta \Omega'

is the probability per unit time for two photons to be emitted with frequencies ω\omega, ω′\omega', with ω+ω′=ωBA=(EB−EA)/ℏ\omega+\omega'=\omega_{BA} = (E_B-E_A)/\hbar, with 0≤ω≤ωBA/20 \le \omega \le \omega_{BA}/2, with ω\omega lying in a small interval Δω\Delta \omega, and with wave vectors k\kvec, k′\kvec' lying in two small cones of solid angles ΔΩ\Delta \Omega and ΔΩ′\Delta \Omega'. You can write your answer in the style we used for the Kramers-Heisenberg formula, (43), with the cross proportional to the square of a certain amplitude, which you should define. The answer is a function of ω\omega and the directions and polarizations of the two outgoing photons. Good advice is to use atomic units (it is much easier).

Indicate which intermediate states contribute to the sum. Simplify the expression as far as you can. This is a challenge to see how far you can go with the simplification. Hint: if you simplify enough, then it is easy to sum over polarizations and integrate over the solid angles of both photons, leaving behind only an integral over ω\omega to get the total transition rate. This problem is relatively simple for a two-photon process, since the initial and final atomic states are rotationally invariant.

Problem 2.

In Sec.~\secr\cn.13 we derived the Thomson cross section for the scattering of photons by free electrons as a limit of the Kramers-Heisenberg formula when ℏω\hbar\omega is much greater than atomic energy scales (but much less than mc2mc^2). Unfortunately, that derivation disguises the fact that the Thomson cross section is valid also for low energy photons. Make a direct derivation of the Thomson cross section, working with free electrons. Work in the center of mass frame of the electron-photon system. Show that one Feynman diagram is larger than the others, which are smaller by a factor of v/c≪1v/c\ll 1. Neglect these. Because we are using nonrelativistic quantum mechanics for the electron, we must assume that the photon energy satisfies ℏω≪mc2\hbar\omega\ll mc^2. Be careful, you cannot make the dipole approximation because there is no atom to refer the photon wavelength to. However, you may ignore the term S⋅B\Svec\cdot\Bvec, which is higher order in α\alpha (the fine structure constant) than the term p⋅A\pvec\cdot\Avec.

Problem 3.

When we direct photons at an atom, we can choose the frequency of the incident photon ω\omega to be anything we want. Depending on the atomic states ∣A⟩\ket{A} and ∣B⟩\ket{B} and the frequency ω\omega, we may have a resonance in one or the other of the two terms in the sum in Eq.~(\eqr\cn.34).

(a) Show that if the first term is resonant, then the intermediate state }II must be higher in energy than both states ∣A⟩\ket{A} and ∣B⟩\ket{B}. Show that if ω\omega is resonant with an atomic transition, then so is ω′\omega'. Is there any necessary relation between EAE_A and EBE_B (must one be higher than the other, or vice versa)? What states AA and BB would you choose and what frequency ω\omega if you wanted to guarantee that the first term could not be resonant for any II?

(b) Show that if the second term is resonant, then the intermediate state II must be lower in energy than both states ∣A⟩\ket{A} and ∣B⟩\ket{B}. Show that if the second term is resonant for some ω\omega, AA and BB, then both ω\omega and ω′\omega' are resonant with some atomic transition. Is there any necessary relation between EAE_A and EBE_B (must one be higher than the other, or vice versa)? What states AA and BB would you choose and what frequency ω\omega if you wanted to guarantee that the second term in (37) could not be resonant for any II?