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.

44. Natural Line Width, Long-Time Behavior and the Lamb Shift

Introduction

Let us return to the Kramers-Heisenberg formula. For simplicity we consider the case of elastic scattering, A+γ→A+γ′A+\gamma \to A+\gamma', in which the state AA is the ground state. The cross is

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

where

M=ϵ^⋅ϵ^′†+1mℏ∑I≠A[⟨A∣(p⋅ϵ^′†)∣I⟩⟨I∣(p⋅ϵ^)∣A⟩ω−ωIA−⟨A∣(p⋅ϵ^)∣I⟩⟨I∣(p⋅ϵ^′†)∣A⟩ω+ωIA],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],

which are (46) and (47). The first term under the sum, which corresponds to the Feynman diagram in Figure 1, is resonant when ω=ωIA\omega=\omega_{IA} for some intermediate state II, that is, the denominator goes to zero at this frequency and the cross nominally becomes infinite. Note that there is a sum over intermediate states I≠AI\ne A, so states II must be excited states, and when ω=ωIA\omega=\omega_{IA} it means that the incident photon has the right energy to lift the system into the excited state II. Only one state II (or a collection of degenerate states) can be resonant for a given incident photon frequency ω\omega; when ω\omega is near ωIA\omega_{IA} for some intermediate state II, then that one term in the sum in the Kramers-Heisenberg formula dominates and we can approximate the amplitude by neglecting the others.

Feynman diagram for the first term under the sum in Eq. , which is resonant when \omega=\omega_{IA} for some intermediate state I. At resonance, energy is conserved at the lower vertex (circled).

Figure 1:Feynman diagram for the first term under the sum in Eq. (2), which is resonant when ω=ωIA\omega=\omega_{IA} for some intermediate state II. At resonance, energy is conserved at the lower vertex (circled).

The resonant divergence of the scattering cross is nonphysical, so a number of questions are raised. First, what is wrong with our derivation of the Kramers-Heisenberg formula, that we obtain non-physical divergences, and how do we correct them? Next, how close to ω=ωIA\omega=\omega_{IA} can we come before the Kramers-Heisenberg formula (47) breaks down? And finally, since we know the cross cannot really be infinite at resonance ω=ωIA\omega=\omega_{IA}, how high does it go? Recall that for non-resonant frequencies, that is, ω\omega that are not close to ωIA\omega_{IA} for any intermediate state II, the Kramers-Heisenberg cross is of order re2=α4a02r_e^2 = \alpha^4 a_0^2. That is, it is of order α4∼10−9\alpha^4\sim 10^{-9} in atomic units, which is very small by atomic standards. It is of interest to see by what factor this small cross is enhanced at resonance.

To see some of the qualitative features of the divergences in the Kramers-Heisenberg formula, consider the Feynman diagram of Figure 1. A question that arises is whether energy is conserved at the vertices of the diagram, for example, at the lower vertex (circled), where the energy of the initial state is EA+ℏωE_A+\hbar\omega and that of the intermediate state is EIE_I. The answer depends on the photon energy ℏω\hbar\omega but for most values of this parameter energy is not conserved. There is no reason why it should be, since the intermediate states originate in a resolution of the identity, which is a sum over all states, regardless of their energy. Nevertheless, the Feynman diagram suggests that somehow the initial state is transformed into the intermediate state at a certain time, which later transforms into the final state. In quantum mechanics energy is only precisely defined in processes that take an infinite amount of time, while for a process that takes time Δt\Delta t the energy is uncertain by an amount ΔE∼ℏ/Δt\Delta E \sim \hbar/\Delta t. In fact, intermediate states in Feynman diagrams only survive for a limited amount of time, or at least this is an interpretation that can be given to the machinery of the Dyson series developed in 34. Time-Dependent Perturbation Theory. Such a state is called virtual. For the lower vertex of the Feynman diagram in question, note that ΔE=EI−EA−ℏω\Delta E= E_I-E_A-\hbar\omega, so that ΔE\Delta E is proportional to the resonant denominator we see in the Kramers-Heisenberg formula. The whole amplitude is proportional to 1/ΔE1/\Delta E, that is, it is proportional to the amount of time that the intermediate state is allowed to survive.

If ω\omega is not near any resonant frequency ωIA\omega_{IA} for any intermediate state II, then ΔE\Delta E is of order unity in atomic units, so any given intermediate state II survives only for a time of order unity before disappearing again. This means that the contribution of the state II to the transition amplitude, which is computed in the Dyson series as an integral over time, can only accumulate to a small value before the virtual state disappears. The time integral in question is the one over t′′t'' in (38); the integrand has the phase factor eiωkit′′e^{i\omega_{ki}t''}, which in the context of the Kramers-Heisenberg formula is

ei(EI−EA−ℏω)t′′/ℏ=eiΔEt′′/ℏ.e^{i(E_I-E_A-\hbar\omega)t''/\hbar} =e^{i\Delta E t''/\hbar}.

If ω\omega is not resonant, then the contribution to the transition amplitude just oscillates with a frequency ΔE/ℏ\Delta E/\hbar and remains small.

If however we let ω\omega approach a resonant frequency ωIA\omega_{IA} for some intermediate state II, then ΔE\Delta E gets smaller, the virtual state lives for a longer time, and the transition amplitude accumulates. This is reflected by the fact that the denominator gets smaller. As ΔE→0\Delta E\to 0, it would appear that the virtual state could live for an arbitrarily long time, which would mean that it is becoming a real state.

But the intermediate state II in question must be an excited state, since we are assuming that AA is the ground state, so it cannot live forever, rather it will eventually undergo the spontaneous emission of a photon and drop into a lower state. This will become a significant process when ΔE\Delta E is comparable to Γ=ℏ/τ\Gamma=\hbar/\tau, where τ\tau is the lifetime of the excited state II. Γ\Gamma is the usual symbol used for the decay rate of an excited state, measured in energy units. Thus we can expect that the predictions of the Dyson series and the Kramers-Heisenberg formula, as derived in 43. Scattering of Radiation by Matter, will break down when

∣ΔE∣=∣EI−EA−ℏω∣<≈Γ.|\Delta E| = |E_I-E_A-\hbar\omega| <\approx \Gamma.

As explained in 42. Emission and Absorption of Radiation, for E1 transitions Γ\Gamma is of order α3∼10−6\alpha^3 \sim 10^{-6} in atomic units, so the fraction of the ω\omega axis over which the breakdown occurs is very small. For M1 and higher order transitions Γ\Gamma is even smaller. In other applications (nuclear physics, particle physics) Γ\Gamma may be relatively much larger (that is, broad resonances exist).

Time-dependent perturbation theory, as we have presented it in 34. Time-Dependent Perturbation Theory, is based on the method of successive approximations, in which a lower order approximation is substituted back into the Schr"odinger equation in the interaction picture and integrated to get the next approximation. It does not take into account the depletion of probability from the initial state due to the perturbation, so its validity is limited to short times, that is, t≪ℏ/Γt\ll \hbar/\Gamma. To cure the divergences in the Kramers-Heisenberg formula we need a theory capable of handling the long-time behavior of the system, that is, one that is valid for times t>≈ℏ/Γt>\approx \hbar/\Gamma.

Decay of an Excited State; the Decay Rate Γ\Gamma

To analyze the long-time behavior of quantum systems, we will take a model problem, that of the decay of an atom in an excited state BB. We outline the problem in this , which contains a slight rephrasing of some of the material given in Spontaneous Emission. For the rest of this analysis we set ℏ=1\hbar=1 except that we restore ℏ\hbar’s selectively when it makes final formulas look more familiar.

An atom in excited state B emits a photon and drops into a lower state, of which there may be more than one (A, A', etc).

Figure 2:An atom in excited state BB emits a photon and drops into a lower state, of which there may be more than one (AA, A′A', etc).

We assume the atom is initially in an excited state BB with no photons in the field, and that it subsequently makes a transition to a lower state AA with the emission of a photon. There may be more than one lower energy state to which a transition can be made, A′A', A′′A'', etc., as illustrated in Figure 2. As in 42. Emission and Absorption of Radiation{} we let the initial state be ∣B0⟩=∣B⟩∣0⟩\ket{B0}=\ket{B}\ket{0}, where ∣0⟩\ket{0} is the vacuum state of the field, and we let the final state be ∣Aλ⟩=∣A⟩aλ†∣0⟩\ket{A\lambda}=\ket{A}a_\lambda^\dagger\ket{0}, that is, the state in which the atom is in state ∣A⟩\ket{A} and there is one photon in the field of mode λ=(k,μ)\lambda=(\kvec,\mu). We take the Hamiltonian to be

K=K0+K1+K2=K0+K′,K=K_0 + K_1 + K_2 = K_0+K',

where K0K_0, K1K_1 and K2K_2 are given by (5) and where we set K′=K1+K2K'=K_1+K_2 as it is convenient to have a symbol for the entire perturbation.

According to first-order time-dependent perturbation theory, the transition amplitude in the interaction picture to find the system in state ∣Aλ⟩\ket{A\lambda} at time tt is

cAλ(t)=−2i eiωnit/2 sin⁡(ωnit/2)ωni ⟨Aλ∣K′∣B0⟩,c_{A\lambda}(t) = -2i\, e^{i\omega_{ni}t/2}\, {\sin(\omega_{ni}t/2)\over \omega_{ni}}\, \matrixelement{A\lambda}{K'}{B0},

where ωni\omega_{ni} is interpreted as

ωni=EB−EA−ℏωℏ=ωBA−ω.\omega_{ni} = {E_B - E_A -\hbar\omega \over \hbar} = \omega_{BA}-\omega.

See (40) and (12). We note that K1K_1 can only change the number of photons by ±1\pm1 while K2K_2 can change them only by 0 or ±2\pm2, so K′K' in (6) can be replaced by K1K_1.

Squaring the transition amplitude to get a probability we have

PAλ(t)=2πt Δt(ωBA−ω) ∣⟨Aλ∣K1∣B0⟩∣2,P_{A\lambda}(t) = 2\pi t \,\Delta_t(\omega_{BA}-\omega) \,|\matrixelement{A\lambda}{K_1}{B0}|^2,

where Δt\Delta_t is the usual symbol we have used for an approximate δ\delta-function, as defined by (51). Dividing this by tt and summing over final states gives us the transition rate, according to first-order time-dependent perturbation theory. If we want the total rate of decay, we must sum not only over all photon states λ\lambda but all atomic states AA. This gives

Γ=2π∑Aλ∣⟨Aλ∣K1∣B0⟩∣2 δ(ωBA−ω),\Gamma = 2\pi \sum_{A\lambda} |\matrixelement{A\lambda}{K_1}{B0}|^2 \, \delta(\omega_{BA}-\omega),

where we have taken tt long enough to replace the function Δt\Delta_t by a genuine δ\delta-function. There is no harm in summing over all states AA, including those higher in energy than BB, since for those the δ\delta-function will give zero.

A δ\delta-function is only meaningful under an integral, so when interpreting formulas such as (9) it must be understood that the sum on photon modes λ\lambda includes a sum on wavevectors k\kvec of the photon, which in the infinite volume limit can be written as an integral over the frequency ω\omega of the photon,

∑k→V(2π)3∫dΩk1c3∫0∞ω2 dω.\sum_{\kvec} \to {V\over (2\pi)^3} \int d\Omega_k {1\over c^3} \int_0^\infty \omega^2 \, d\omega.

The volume factor VV will cancel when we compute the matrix element.

As noted in 42. Emission and Absorption of Radiation, this calculation of the decay rate really gives the slope of the decay curve at t=0t=0. See Fig.~\figr\radnmatt.1, in which the decay rate is denoted AEA_E (the Einstein AA-coefficient) rather than Γ\Gamma. (The notation AEA_E is appropriate for the decay rate to a specific final state, while Γ\Gamma is the decay rate to all possible final states.) First-order time-dependent perturbation theory is giving the probability of remaining in the initial state ∣B0⟩\ket{B0} as

PB0(t)=1−Γt,P_{B0}(t) = 1-\Gamma t,

which is correct for t≪1/Γt\ll 1/\Gamma but absurd for longer times. For longer times we might expect an exponential decay law PB0(t)=e−ΓtP_{B0}(t) = e^{-\Gamma t} but that is not proven by first-order time-dependent perturbation theory. We do have the first term in the Taylor expansion of the exponential,

e−Γt=1−Γt+…,e^{-\Gamma t} = 1-\Gamma t + \ldots,

but we haven’t proven that the higher order terms are the right ones.

To access the long-time behavior of the system it won’t help to go to higher order in time-dependent perturbation theory. These higher order terms will generate powers of tt, that is, a Taylor series expansion of the probability in time about t=0t=0. This is a poor way to understand the long-time behavior.

An Approach Based on Laplace Transforms and Green’s Functions

Let us return to the formalism of time-dependent perturbation theory in the general notation used in 34. Time-Dependent Perturbation Theory. We write the Hamiltonian as H=H0+H1H=H_0+H_1, and we let the initial state be

∣ψ(0)⟩=∣i⟩,\ket{\psi(0)}=\ket{i},

where ∣i⟩\ket{i} is an eigenstate of H0H_0,

H0∣i⟩=Ei∣i⟩.H_0 \ket{i} = E_i \ket{i}.

The state of the system at a later time is

∣ψ(t)⟩=U(t)∣i⟩=∑nan(t)∣n⟩,\ket{\psi(t)} = U(t)\ket{i} = \sum_n a_n(t) \ket{n},

where we have expanded ∣ψ(t)⟩\ket{\psi(t)} as a linear combination of eigenstates of H0H_0, H0∣n⟩=En∣n⟩H_0\ket{n} = E_n\ket{n}, for simplicity assumed to be discrete. The expansion coefficients an(t)a_n(t) are the transition amplitudes in the Schr"odinger picture,

an(t)=⟨n∣U(t)∣i⟩.a_n(t) = \matrixelement{n}{U(t)}{i}.

In this analysis we will work in the Schr"odinger picture, but for reference the transition amplitudes in the interaction picture, which we denote by cn(t)c_n(t) as in 34. Time-Dependent Perturbation Theory, are related to those of the Schr"odinger picture by

cn(t)=eiEnt an(t).c_n(t) = e^{iE_n t}\,a_n(t).

See (30). The two amplitudes differ by a phase factor, so the transition probability, which is the square of the amplitudes, is the same in both pictures. Differentiating (16) with respect to time we obtain an evolution equation for the transition amplitudes in the Schr"odinger picture,

ia˙n=⟨n∣i∂U∂t∣i⟩=⟨n∣(H0+H1)U(t)∣i⟩,i{\dot a}_n = \matrixelement{n}{i\frac{\partial U}{\partial t}}{i} = \matrixelement{n}{(H_0+H_1)U(t)}{i},

or,

ia˙n=Enan+∑k⟨n∣H1∣k⟩ak.i{\dot a}_n = E_n a_n + \sum_k \matrixelement{n}{H_1}{k} a_k.

This is really just a version of the Schr"odinger equation and it is exact.

We will solve (19) by means of Laplace transforms. A Laplace transform is essentially a one-sided Fourier transform, that is, the range of integration only goes from 0 to ∞\infty instead of −∞-\infty to +∞+\infty. (In comparison to the usual definition of the Laplace transform there is also the question of a deformation of the contour of integration in the complex plane, which we gloss over, the main point being that we will be using a one-sided Fourier transform.) The one-sided transform is necessary in our applications since we are interested in decay processes that go to zero as t→∞t\to\infty but which diverge as t→−∞t\to-\infty (and in any case we are only interested in t≥0t\ge 0). The variable conjugate to tt is an energy-like variable, so we want to consider transforms like

∫0∞dt eiEt an(t)=∫0∞dt eiEt ⟨n∣U(t)∣i⟩.\int_0^\infty dt \, e^{iEt} \, a_n(t) = \int_0^\infty dt \, e^{iEt} \, \matrixelement{n}{U(t)}{i}.

The essence of this integral is

∫0∞dt eiEt U(t).\int_0^\infty dt \, e^{iEt}\, U(t).

However, as discussed in The Outgoing Energy-Dependent Green’s Operator, this integral does not converge at the upper limit. To fix this we push EE into the upper half complex energy plane, making the replacement E→z=E+iϵE\to z=E+i\epsilon, where zz is a complex energy. Then the integral (21) gives the Green’s operator, to within constant factors. To get these right, we define the “Laplace transform” for our purposes as the integral operator

−i∫0∞dt eizt,-i \int_0^\infty dt \, e^{izt},

for Im⁡z>0\Im z>0. Then we have

−i∫0∞dt eizt an(t)=−i∫0∞dt eizt ⟨n∣U(t)∣i⟩=⟨n∣G(z)∣i⟩=a~n(z),-i\int_0^\infty dt \, e^{izt}\, a_n(t) = -i\int_0^\infty dt \, e^{izt} \, \matrixelement{n}{U(t)}{i} = \matrixelement{n}{G(z)}{i} = {\tilde a}_n(z),

where G(z)G(z) is the Green’s operator as defined by (58) (with ℏ=1\hbar=1), and where we denote the Laplace transform of an(t)a_n(t) by a~n(z){\tilde a}_n(z).

The advantage of Laplace transforms is that they convert differential equations into algebraic equations, which are easier to solve, and they also deal nicely with initial conditions and transients. This is like the method of complex impedances when analyzing an electrical circuit, which is much easier than solving coupled differential equations for the currents and charges in the circuit elements.

Applying the Laplace transform to the left-hand side of the Schr"odinger equation (19) and integrating by parts we obtain

−i∫0∞dt eizt ia˙n(t)=eizt an(t)∣0∞−iz∫0∞dt eizt an(t)=−an(0)+za~n(z).-i\int_0^\infty dt\,e^{izt} \, i{\dot a}_n(t) = \left. e^{izt}\,a_n(t)\right|_0^\infty -iz\int_0^\infty dt \, e^{izt}\, a_n(t) = -a_n(0)+ z{\tilde a}_n(z).

Note that an(0)=δnia_n(0)=\delta_{ni}. Applying the Laplace transform also to the right-hand side of (19) we obtain

(z−En)a~n(z)=δni+∑k⟨n∣H1∣k⟩a~k(z).(z-E_n) {\tilde a}_n(z) = \delta_{ni} + \sum_k \matrixelement{n}{H_1}{k} {\tilde a}_k(z).

This is an algebraic equation for the Laplace transforms of the transition amplitudes that is equivalent to the Schr"odinger equation and is still exact.

We can obtain the same result by noting that

G(z)=1z−H=1z−H0−H1,G(z) = {1\over z-H} = {1\over z-H_0-H_1},

so that

(z−H0−H1)G(z)=1.(z-H_0-H_1)G(z) = 1.

Now sandwiching this by ⟨n∣\bra{n} on the left and ∣i⟩\ket{i} on the right, we obtain

⟨n∣(z−H0−H1)G(z)∣i⟩=(z−En)a~n(z)−∑k⟨n∣H1∣k⟩a~k(z)=δni,\matrixelement{n}{(z-H_0-H_1)G(z)}{i} = (z-E_n){\tilde a}_n(z) - \sum_k \matrixelement{n}{H_1}{k} {\tilde a}_k(z) = \delta_{ni},

which is the same as (25).

Solving for the Transition Amplitudes

We now apply these results to the decay problem described in \secrnlw-2, making the identifications ∣i⟩→∣B0⟩\ket{i}\to\ket{B0}, Ei=EBE_i = E_B, H0=K0H_0=K_0, and H1=K′=K1+K2H_1=K'=K_1+K_2. Also, we make the approximation of working on the subspace of the ket space spanned by ∣B0⟩\ket{B0} and ∣Aλ⟩\ket{A\lambda}, ignoring all states with two or more photons. This means that we interpret the resolution of the identity as

∑k∣k⟩⟨k∣→∣B0⟩⟨B0∣+∑Aλ∣Aλ⟩⟨Aλ∣.\sum_k \ketbra{k}{k} \to \ketbra{B0}{B0} + \sum_{A\lambda} \ketbra{A\lambda}{A\lambda}.

We can enlarge this space to get a better approximation, at the expense of solving a more complicated system of equations.

We specialize (25) to the case n=in=i, which for our decay problem means that the final state is the same as the initial state ∣B0⟩\ket{B0}. The corresponding amplitude is aB0(t)a_{B0}(t), the amplitude to remain in the initial state. Making the replacement (29) for this case we obtain

(z−EB)a~B0(z)=1+⟨B0∣K′∣B0⟩ a~B0(z)+∑Aλ⟨B0∣K′∣Aλ⟩ a~Aλ(z).(z-E_B){\tilde a}_{B0}(z) = 1 + \matrixelement{B0}{K'}{B0}\,{\tilde a}_{B0}(z) + \sum_{A\lambda} \matrixelement{B0}{K'}{A\lambda}\, {\tilde a}_{A\lambda}(z).

Taking into account the numbers of photons that K1K_1 and K2K_2 can create or destroy, we can write this as

(z−EB)a~B0(z)=1+⟨B0∣K2∣B0⟩ a~B0(z)+∑Aλ⟨B0∣K1∣Aλ⟩ a~Aλ(z).(z-E_B){\tilde a}_{B0}(z) = 1 + \matrixelement{B0}{K_2}{B0}\,{\tilde a}_{B0}(z) + \sum_{A\lambda} \matrixelement{B0}{K_1}{A\lambda}\, {\tilde a}_{A\lambda}(z).

Similarly, taking the case n≠in\ne i and identifying ∣n⟩\ket{n} with ∣Aλ⟩\ket{A\lambda}, so that En=EA+ωE_n=E_A+\omega, we can write (25) as

(z−EA−ω)a~Aλ(z)=⟨Aλ∣K1∣B0⟩ a~B0(z)+∑A′λ′⟨Aλ∣K2∣A′λ′⟩ a~A′λ′(z),(z-E_A-\omega){\tilde a}_{A\lambda}(z) = \matrixelement{A\lambda}{K_1}{B0} \,{\tilde a}_{B0}(z) + \sum_{A'\lambda'} \matrixelement{A\lambda}{K_2}{A'\lambda'}\, {\tilde a}_{A'\lambda'}(z),

where we have restricted the resolution of the identity as in (29).

Equations~(31) and (32) are algebraic equations for the Laplace transforms of the transition amplitudes, a~B0(z){\tilde a}_{B0}(z) and a~Aλ(z){\tilde a}_{A\lambda}(z). The various terms can be assigned an order in the perturbation K1+K2K_1+K_2, where we count K2K_2 as of order K12K_1^2. The amplitude a~B0(z){\tilde a}_{B0}(z) is of order unity in the perturbation, since it is non-zero even when K1=K2=0K_1=K_2=0, as shown by (31). Then since the matrix element ⟨Aλ∣K1∣B0⟩\matrixelement{A\lambda}{K_1}{B0} is of order K1K_1, we see from (32) that the amplitude a~Aλ(z){\tilde a}_{A\lambda}(z) is also of order K1K_1. This also follows from the fact that transitions to the states AλA\lambda are induced by K1K_1. From this it follows that the final term in (32) is of order K13K_1^3. As for (31), its terms are of at most second order in K1K_1.

We will work to second order in the perturbation, neglecting the final, third order term in (32) (the final sum). This allows us to solve for the amplitude a~Aλ(z){\tilde a}_{A\lambda}(z) in terms of a~B0(z){\tilde a}_{B0}(z),

a~Aλ(z)=⟨Aλ∣K1∣B0⟩z−EA−ω a~B0(z).{\tilde a}_{A\lambda}(z) = {\matrixelement{A\lambda}{K_1}{B0} \over z-E_A-\omega} \, {\tilde a}_{B0}(z).

We substitute this back into (31), which allows us to solve for the amplitude a~B0(z){\tilde a}_{B0}(z),

a~B0(z)=1D(z),{\tilde a}_{B0}(z) = {1\over D(z)},

where we define

D(z)=z−EB−⟨B0∣K2∣B0⟩−∑Aλ∣⟨Aλ∣K1∣B0⟩∣2z−EA−ω.D(z) = z-E_B - \matrixelement{B0}{K_2}{B0} - \sum_{A\lambda} {|\matrixelement{A\lambda}{K_1}{B0}|^2 \over z-E_A-\omega}.

The symbol DD stands for “denominator.” Finally, we can substitute this back into (33) to obtain

a~Aλ(z)=⟨Aλ∣K1∣B0⟩(z−EA−ω)D(z).{\tilde a}_{A\lambda}(z) = {\matrixelement{A\lambda}{K_1}{B0}\over (z-E_A-\omega)D(z)}.

Equations~(34) and (36) are explicit solutions for the Laplace transforms of the transition amplitudes aB0(t)a_{B0}(t) and aAλ(t)a_{A\lambda}(t). We must now carry out the inverse Laplace transform to get the amplitudes themselves.

Inverting the Laplace Transform

Let us revert to a general notation, denoting transition amplitudes by an(t)a_n(t) and their Laplace transforms by a~n(z){\tilde a}_n(z). To carry out the inverse Laplace transform we consider the integral

−12πi∫C+dz e−izt a~n(z)=−12πi∫C+dz e−izt ⟨n∣G(z)∣i⟩,{-1 \over 2\pi i} \int_{C_+} dz \, e^{-izt}\, {\tilde a}_n(z)= {-1 \over 2\pi i} \int_{C_+} dz \, e^{-izt}\, \matrixelement{n}{G(z)}{i},

where C+C_+ is a contour that runs just above the real axis in the complex energy plane, as illustrated in Figure 3. The essence of this integral is

−12πi∫C+dz e−izt G(z).{-1 \over 2\pi i} \int_{C_+} dz \, e^{-izt}\, G(z).

If t<0t<0 then the integrand is exponentially damped in the upper half plane, and the contour can be closed by a semicircle at infinity which does not contribute to the integral, as illustrated in Figure 4. This contour encloses no singularities since G(z)G(z) is analytic in the upper half plane, so the value of the integral is zero.

The contour C_+, used in the inverse Laplace transfrom, runs just above the real energy axis.

Figure 3:The contour C+C_+, used in the inverse Laplace transfrom, runs just above the real energy axis.

For negative times t<0 the contour C_+ can be closed in the upper half-plane.

Figure 4:For negative times t<0t<0 the contour C+C_+ can be closed in the upper half-plane.

For positive times t>0t>0 the integrand diverges exponentially in the upper half-plane so we cannot close the contour there. Nor can we close it in the lower half-plane, since that would involve crossing the real energy axis where G(z)G(z) has singularities (poles and branch cuts). To evaluate the integral (38) for positive times we consider a different integral,

−12πi∫C−dz e−izt G(z),{-1 \over 2\pi i} \int_{C_-} dz \, e^{-izt}\, G(z),

where C−C_- runs just below the real energy axis, as illustrated in Figure 5. For positive times t>0t>0 the integrand damps exponentially in the lower half-plane, so the contour can be closed as in Figure 6. But since G(z)G(z) is also analytic in the lower half-plane, the integral (39) vanishes for t>0t>0.

The contour C_- runs just below the real energy axis.

Figure 5:The contour C−C_- runs just below the real energy axis.

For positive times t>0 the contour C_- can be closed in the lower half-plane.

Figure 6:For positive times t>0t>0 the contour C−C_- can be closed in the lower half-plane.

To return to the integral (38) for positive times, we can subtract the integral (39) without changing the value since the latter is zero. That is, for t>0t>0 we have

−12πi∫C+dz e−izt G(z)=−12πi∫C+−C−dz e−izt G(z)=−12πi∫−∞+∞dE e−iEt lim⁡ϵ→0[G(E+iϵ)−G(E−iϵ)],\begin{aligned} {-1 \over 2\pi i} \int_{C_+} dz \, e^{-izt}\, G(z)&= {-1 \over 2\pi i} \int_{C_+-C_-} dz \, e^{-izt}\, G(z) \\ &={-1 \over 2\pi i} \int_{-\infty}^{+\infty} dE \, e^{-iEt}\, \lim_{\epsilon\to0} [G(E+i\epsilon)-G(E-i\epsilon)], \\ \end{aligned}

where as the contours C+C_+ and C−C_- are pushed toward the real axis we get an integral running over the real axis itself, in which the integrand contains the difference in G(z)G(z) just above and just below the real axis. But this is the discontinuity in the Green’s operator across the real axis, which is −2πi δ(E−H)-2\pi i\,\delta(E-H). See (73) and (77). Thus the integral (40) becomes

∫−∞+∞dE e−iEt δ(E−H)=e−iHt=U(t).\int_{-\infty}^{+\infty} dE \, e^{-iEt} \, \delta(E-H) = e^{-iHt} = U(t).

Altogether, we have

−12πi∫C+dz e−izt G(z)={0t<0,U(t)t>0,\begin{aligned} {-1 \over 2\pi i} \int_{C_+} dz \, e^{-izt}\, G(z) = \begin{cases} 0 & t<0, \\ U(t) & t>0,\\\end{cases} \end{aligned}

and the inverse Laplace transform of the transition amplitude is

an(t)=−12πi∫C+dz e−izt a~n(z),textt>0.a_n(t) = {-1\over 2\pi i} \int_{C_+} dz \, e^{-izt} \, {\tilde a}_n(z), \qquad \\text{t>0}.

Transition Amplitude aB0(t)a_{B0}(t) in the Unperturbed System

Now we apply the inverse Laplace transform to the amplitudes a~B0(z){\tilde a}_{B0}(z) and a~Aλ(z){\tilde a}_{A\lambda}(z), given by (34) and (36). We start with the amplitude to remain in the initial state ∣B0⟩\ket{B0},

aB0(t)=−12πi∫C+dz e−iztD(z).a_{B0}(t) = {-1\over 2\pi i} \int_{C_+} dz \, {e^{-izt} \over D(z)}.

Before doing this in full detail, let us neglect the terms of D(z)D(z) seen in (35) that involve the perturbing Hamiltonians K1K_1 and K2K_2, in order to see the evolution due to the unperturbed system. We do this to gain some experience and confidence with the formalism.

Complex plane for the inverse Laplace transform for the unperturbed approximation to a_{B0}(t). The integrand has a simple pole on the real axis at z=E_B.

Figure 7:Complex plane for the inverse Laplace transform for the unperturbed approximation to aB0(t)a_{B0}(t). The integrand has a simple pole on the real axis at z=EBz=E_B.

The contour of  can be closed in the lower half-plane and contracted around the pole.

Figure 8:The contour of Figure 7 can be closed in the lower half-plane and contracted around the pole.

In that case D(z)D(z) becomes simply z−EBz-E_B, and we have

aB0(t)=−12πi∫C+dz e−iztz−EB.a_{B0}(t) = {-1\over 2\pi i} \int_{C_+} dz \, {e^{-izt} \over z-E_B}.

The integrand has a pole on the real axis at z=EBz=E_B and no other singularities. For t>0t>0 the contour C+C_+ can be closed with a semicircle in the lower half-plane and can then be contracted into a small circle running in the clockwise (negative) direction around the pole. See Figs.~Figure 7 and Figure 8. Then by the residue theorem we have

aB0(t)=e−iEBt,a_{B0}(t) = e^{-iE_B t},

which is exactly the time evolution we expect for the amplitude to remain in the initial state when there is no perturbation. We see that the time dependence of the amplitude depends on the location of the poles of the integrand of the inverse Laplace transform.

Denominator D(z)D(z) on the Real Axis

To handle the full expression (35) for D(z)D(z) let us first set z=E+iϵz=E+i\epsilon for a point on the contour C+C_+,

D(E+iϵ)=E+iϵ−⟨B0∣K2∣B0⟩+∑Aλ∣⟨Aλ∣K1∣B0⟩∣2EA+ω−E−iϵ,D(E+i\epsilon) = E+i\epsilon -\matrixelement{B0}{K_2}{B0} + \sum_{A\lambda} {|\matrixelement{A\lambda}{K_1}{B0}|^2 \over E_A+\omega - E - i\epsilon},

where we have changed the sign of the denominator of the last term and compensated with the overall sign of that term. We remember that ∑λ\sum_\lambda actually implies the integral (10) over ω\omega.

We want to let ϵ→0\epsilon\to0 in this expression to get D(z)D(z) on the real axis, but the final term is tricky. It looks like we could just set ϵ=0\epsilon=0 in this term and we would obtain a quantity that was purely real, but this is incorrect. In fact, if we just set ϵ=0\epsilon=0 we get an integral that has the mathematical form

∫abdx f(x)x−x0,\int_a^b dx \, {f(x) \over x-x_0},

where f(x)f(x) is a smooth function and where the interval [a,b][a,b] straddles the singularity at x0x_0. (The variable xx in the integral (48) is like ω\omega in the integral (47).) The problem is that the integral (48) is not defined. The part of the integral from x=ax=a to x=x0x=x_0 diverges with one sign and the part from x=x0x=x_0 to x=bx=b diverges with the opposite sign. Thus the integral has the form ∞−∞\infty-\infty, and is not defined.

We cannot just set ϵ=0\epsilon=0 in an expression like (47), instead we must take the limit ϵ→0\epsilon\to0. That is, we have something of the form

lim⁡ϵ→0∫abdx f(x)x−x0−iϵ.\lim_{\epsilon\to0} \int_a^b dx\, {f(x) \over x-x_0 -i\epsilon}.

Assuming ff is real, the real and imaginary parts of this integrand are obtained from

1x−x0−iϵ=x−x0(x−x0)2+ϵ2+iϵ(x−x0)2+ϵ2.{1\over x-x_0-i\epsilon} = {x-x_0 \over (x-x_0)^2 + \epsilon^2} + {i\epsilon \over (x-x_0)^2 + \epsilon^2}.

As for the imaginary part, as ϵ→0\epsilon\to0 we get a representation of the δ\delta-function,

lim⁡ϵ→0ϵ(x−x0)2+ϵ2=π δ(x−x0),\lim_{\epsilon\to0} {\epsilon \over (x-x_0)^2 + \epsilon^2} = \pi\,\delta(x-x_0),

so the imaginary part of the final sum in (47) is nonzero as ϵ→0\epsilon\to0 and is given by

π∑Aλ∣⟨Aλ∣K1∣B0⟩∣2 δ(EA+ω−E).\pi\sum_{A\lambda}|\matrixelement{A\lambda}{K_1}{B0}|^2 \, \delta(E_A + \omega -E).

A bare formula like (51) is not meaningful if interpreted as the limit of a function, since the so-called “δ\delta-function” is not a real function. It does not make sense to say that the δ\delta-function is zero everywhere except at one point where it is infinite, and that its integral is unity. Instead a formula like (49) must be understood as being used under an integral sign, in which the left-hand side is integrated against a smooth function f(x)f(x) and the limit is taken. The “δ\delta-function” is an example of what is called a distribution, something that can be regarded as the limit of a family of functions used under an integral.

There are other distributions besides the δ\delta-function, in fact, the real part of (50) is another example which is denoted

P(1x−x0)=lim⁡ϵ→0x−x0(x−x0)2+ϵ2.P\Bigl({1\over x-x_0}\Bigr)=\lim_{\epsilon\to0} {x-x_0 \over (x-x_0)^2 + \epsilon^2}.

This is called the “principal value” of 1/(x−x0)1/(x-x_0). This equation is a “bare” formula like (51). Its real meaning is

P∫dx f(x)x−x0=lim⁡ϵ→0∫dx x−x0(x−x0)2+ϵ2 f(x).P\int dx\, {f(x)\over x-x_0} = \lim_{\epsilon\to0} \int dx\, {x-x_0 \over (x-x_0)^2 + \epsilon^2}\, f(x).

Without the PP the left-hand side of this equation would not be defined, as explained above.

Now we can take the limit ϵ→0\epsilon\to0 to push D(z)D(z) down onto the real axis. We write

D(E)=lim⁡ϵ→0D(E+iϵ)=E−EB−⟨B0∣K2∣B0⟩+f1(E)+if2(E),D(E) = \lim_{\epsilon\to0} D(E+i\epsilon) = E - E_B - \matrixelement{B0}{K_2}{B0} +f_1(E) + if_2(E),

where

f1(E)=P∑Aλ∣⟨Aλ∣K1∣B0⟩∣2EA+ω−E,f2(E)=π∑Aλ∣⟨Aλ∣K1∣B0⟩∣2 δ(EA+ω−E).f_1(E)=P\sum_{A\lambda} {|\matrixelement{A\lambda}{K_1}{B0}|^2 \over E_A+\omega-E}, \qquad f_2(E)= \pi \sum_{A\lambda} |\matrixelement{A\lambda}{K_1}{B0}|^2 \, \delta(E_A+\omega-E).

The Zero of D(z)D(z) and the Complex Energy of State BB

The zero of D(z)D(z) is the pole of the integrand of the inverse Laplace transform (44) and is important for evaluating that integral. It also turns out to be a kind of complex energy of the state BB, once the perturbation is turned on. In the unperturbed system D(z)D(z) has a zero on the real axis at z=EBz=E_B but when the perturbation is turned on D(E)D(E) is nonzero everywhere on the real axis because the imaginary part is positive there. Thus the zero must have moved to some complex location nearby. We denote the zero by zBz_B, so that D(zB)=0D(z_B)=0. We write zB=EB+δzz_B=E_B+\delta z so that δz\delta z is the shift in the zero of D(z)D(z) due to the perturbation. To find δz\delta z we write

D(zB)=D(EB+δz)=δz−⟨B0∣K2∣B0⟩+f1(EB+δz)+if2(EB+δz)=0.D(z_B) = D(E_B +\delta z) = \delta z -\matrixelement{B0}{K_2}{B0} +f_1(E_B+\delta z) + if_2(E_B+\delta z)=0.

Assuming δz\delta z is small we neglect it in the last two terms which are already small, finding

δz=⟨B0∣K2∣B0⟩−f1(EB)−if2(EB)=0,\delta z = \matrixelement{B0}{K_2}{B0} -f_1(E_B) - if_2(E_B)=0,

or,

zB=EB+⟨B0∣K2∣B0⟩+P∑Aλ∣⟨Aλ∣K1∣B0⟩∣2EB−EA−ω−iπ∑Aλ∣⟨Aλ∣K1∣B0⟩∣2 δ(EA+ω−EB),z_B = E_B + \matrixelement{B0}{K_2}{B0} + P\sum_{A\lambda} {|\matrixelement{A\lambda}{K_1}{B0}|^2 \over E_B-E_A-\omega} -i\pi \sum_{A\lambda} |\matrixelement{A\lambda}{K_1}{B0}|^2 \, \delta(E_A+\omega-E_B),

where we have rearranged signs in the third term. We see that the zero of D(z)D(z) has moved off the real axis into the lower half plane. As for its imaginary part, a comparison with (9) shows that it is −ΓB/2-\Gamma_B/2, where ΓB/ℏ\Gamma_B/\hbar is the decay rate of state BB.

The real part of δz\delta z bears a close relationship to the energy shifts of bound state perturbation theory, as explained in 23. Bound-State Perturbation Theory. The state ∣B0⟩\ket{B0} is a bound (normalizable) eigenstate of K0K_0 with energy EBE_B. It is an eigenstate of the unperturbed system, that is, the atom with the interactions with the electromagnetic field switched off. Of course, in reality we cannot switch off those interactions; do they lead to shifts in atomic energy levels?

To answer this question we consider using bound state perturbation theory to compute the shift in level EBE_B due to the perturbation K′=K1+K2K'=K_1+K_2. According to (26), there is a first order shift

ΔEB(1)=⟨B0∣K′∣B0⟩=⟨B0∣K2∣B0⟩,\Delta E^{(1)}_B = \matrixelement{B0}{K'}{B0} =\matrixelement{B0}{K_2}{B0},

where K1K_1 does not contribute. Also, according to (27) the nominal second order shift is

ΔEB(2)=∑k≠B0∣⟨k∣K′∣B0⟩∣2EB−Ek.\Delta E^{(2)}_B = \sum_{k\ne B0} {|\matrixelement{k}{K'}{B0}|^2 \over E_B-E_k}.

If we replace K′K' by K1K_1 to get the lowest order contribution, then the only states kk that we need sum over are the single photon states ∣Aλ⟩\ket{A\lambda}, and we obtain

ΔEB(2)=∑Aλ∣⟨Aλ∣K1∣B0⟩∣2EB−EA−ω.\Delta E^{(2)}_B = \sum_{A\lambda} {|\matrixelement{A\lambda}{K_1}{B0}|^2 \over E_B-E_A-\omega}.

This is almost the third term on the right in (59), missing only the principal value sign.

Actually, without the principal value ΔEB(2)\Delta E^{(2)}_B in (62) is not defined, nor is it justified to use bound state perturbation theory to find the energy shift in the state ∣B0⟩\ket{B0} due to the interaction with the electromagnetic field. Bound state perturbation theory applies when we have discrete energy levels that are separated from one another, and in this system the state ∣B0⟩\ket{B0} is a discrete state imbedded in the continuum. Nevertheless, our search for the zero of D(z)D(z) has led to expressions that are obviously related to the energy shifts of bound state perturbation theory, except that the answers are well defined and the energy shift includes an imaginary part. Let us therefore simply define ΔEB(2)\Delta E^{(2)}_B to be the third term on the right in (59) (that is, by (62) but with a principal value sign), so that

zB=EB+ΔEB(1)+ΔEB(2)−iΓB/2=E~B−iΓB/2,z_B = E_B + \Delta E^{(1)}_B + \Delta E^{(2)}_B - i\Gamma_B/2 = {\tilde E}_B - i\Gamma_B/2,

where

E~B=EB+ΔEB(1)+ΔEB(2).{\tilde E}_B = E_B + \Delta E^{(1)}_B + \Delta E^{(2)}_B.

Then E~B{\tilde E}_B is the real part of the energy of atomic state BB, corrected for interactions with the field, while the imaginary part is −ΓB/2-\Gamma_B/2.

The Transition Amplitude aB0(t)a_{B0}(t) and the Exponential Decay Law

We return to the integral (44) for the transition amplitude aB0(t)a_{B0}(t). The integrand has a pole at z=zBz=z_B, located near and below the energy EBE_B of the unperturbed state ∣B0⟩\ket{B0}, as illustrated in Figure 9. The contour can be closed with a semicircle in the lower half plane and can then be contracted into a small circle around the pole at zBz_B in the lower half plane.

Complex plane for the inverse Laplace transform for a_{B0}(t), Eq. . The integrand has a simple pole at z=z_B, near and below the unperturbed energy E_B.

Figure 9:Complex plane for the inverse Laplace transform for aB0(t)a_{B0}(t), Eq. (44). The integrand has a simple pole at z=zBz=z_B, near and below the unperturbed energy EBE_B.

The contour of  can be closed in the lower half-plane and contracted around the pole at z=z_B.

Figure 10:The contour of Figure 9 can be closed in the lower half-plane and contracted around the pole at z=zBz=z_B.

Near z=zBz=z_B we can expand D(z)D(z),

D(z)=D(zB)+(z−zB)D′(zB)+….D(z)= D(z_B)+(z-z_B)D'(z_B)+\ldots.

But the first term vanishes and by (35) we have D′(z)=1+O(K12)D'(z) = 1 + O(K_1^2). Therefore to lowest order,

D(z)=z−zBD(z) = z-z_B

when zz is near zBz_B. The contour in Figure 10 can be contracted arbitrarily close to the pole at zBz_B so the integral (44) can be written

aB0(t)=−12πi∮dz e−iztz−zB=e−izBt,a_{B0}(t) = {-1\over 2\pi i}\oint dz\, {e^{-izt} \over z-z_B} = e^{-iz_B t},

where the circle is traversed in a clockwise (negative) direction. We can also write this as

aB0(t)=e−i(E~B−iΓB/2)t=e−iE~Bt e−ΓBt/2.a_{B0}(t) = e^{-i({\tilde E}_B -i\Gamma_B/2)t} =e^{-i{\tilde E}_B t}\, e^{-\Gamma_B t/2}.

This shows that the amplitude to remain in the initial state evolves with a real phase factor indicating an energy E~B{\tilde E}_B, that is, one corrected for the interactions with the field, but with an exponential decay factor. The probability to remain in the initial state is the square of the amplitude,

PB0(t)=e−ΓBt,P_{B0}(t) = e^{-\Gamma_B t},

which shows the exponential decay law.

We see that the exponential decay law is not a rigorous consequence of the Schr"odinger equation, but rather it follows from a series of nontrivial approximations. In fact, it is known that there are deviations from the exponential decay law for long times.

The unperturbed system has a genuine bound state at E=EBE=E_B but when the perturbation is turned on there is only a continuous spectrum in the neighborhood of E=EBE=E_B. The discrete state has “dissolved into the continuum,” and become a resonance. A similar mechanism explains the resonances associated with the doubly excited states in helium, as discussed in The Doubly Excited States.

This derivation has been based on a model of an atom, but it applies in its essence to the decay of any excited state of a system, including radioactive decays of nuclei and decays of unstable particles. The derivation looks complicted, but that is because the exponential law is not exact. The usual “simple” derivations of the exponential decay law rely on a type of statistical assumption of the Markov type, which means that the transition probability for a system depends only on the present state and not the previous history. This is what we usually assume about radioactive decay. For example, if a nucleus has not decayed after ten times its average lifetime, the probability that it will decay in the next second is the same as it always was. The nucleus does not try to “hurry up and decay” because it has failed to do so for so long. At least this is what we usually assume. But studying the decay by solving the Schr"odinger equation, we find that the exponential decay law is only approximate. Various aspects of this situation are discussed in an appendix to the first edition of Sakurai’s book, Modern Quantum Mechanics.

The Transition Amplitude aAλ(t)a_{A\lambda}(t)

We can also get the amplitude to make a transition from the initial state ∣B0⟩\ket{B0} to some specific final state ∣Aλ⟩\ket{A\lambda}. According to (36) this is

aAλ(t)=−12πi∫C+dz e−izt(z−EA−ω)D(z)⟨Aλ∣K1∣B0⟩.a_{A\lambda}(t) = {-1\over 2\pi i} \int_{C_+} dz\, {e^{-izt} \over (z-E_A-\omega)D(z)} \matrixelement{A\lambda}{K_1}{B0}.

The matrix element is independent of zz and can be taken out of the integral. As for the rest of the integrand, it has poles at z=EA+ωz=E_A+\omega and at z=zBz=z_B, as illustrated in Figure 11. The figure is drawn for the case EA<EBE_A < E_B, as required if there is to be a transition ∣B0⟩→∣Aλ⟩\ket{B0} \to \ket{A\lambda}.

Complex plane for the inverse Laplace transform for a_{A\lambda}(t), Eq. . The integrand has poles at z=E_A+\omega and at z=z_B.

Figure 11:Complex plane for the inverse Laplace transform for aAλ(t)a_{A\lambda}(t), Eq. (70). The integrand has poles at z=EA+ωz=E_A+\omega and at z=zBz=z_B.

The contour of  can be closed in the lower half-plane and contracted to two small circles around the poles at z=E_A+\omega and z=z_B.

Figure 12:The contour of Figure 11 can be closed in the lower half-plane and contracted to two small circles around the poles at z=EA+ωz=E_A+\omega and z=zBz=z_B.

Evaluation of the integral by the residue theorem gives two terms, one for each pole,

aAλ(t)=⟨Aλ∣K1∣B0⟩[e−i(EA+ω)tD(EA+ω)+e−izBtzB−EA−ω].a_{A\lambda}(t) = \matrixelement{A\lambda}{K_1}{B0} \Bigl[{e^{-i(E_A+\omega)t}\over D(E_A+\omega)} + {e^{-iz_B t} \over z_B-E_A-\omega}\Bigr].

This is valid for any final state ∣Aλ⟩\ket{A\lambda} but the amplitude will be small unless energy is approximately conserved, which means that EA+ωE_A+\omega is near to EBE_B, and therefore near to zBz_B. If this is the case then (66) gives

D(EA+ω)=EA+ω−zB=EA+ω−E~B+iΓB/2=ω−ω~BA+iΓB/2,D(E_A+\omega) = E_A+\omega-z_B= E_A+\omega - {\tilde E}_B + i\Gamma_B/2 = \omega-{\tilde\omega}_{BA} + i\Gamma_B/2,

where we define

ω~BA=E~B−EA.{\tilde\omega}_{BA} = {\tilde E}_B - E_A.

Then the two denominators in (71) are the same to within a sign and the result can be written

aAλ(t)=⟨Aλ∣K1∣B0⟩ e−i(EA+ω)t[1−ei(ω−ω~BA)t e−ΓBt/2ω−ω~BA+iΓB/2].a_{A\lambda}(t) = \matrixelement{A\lambda}{K_1}{B0}\, e^{-i(E_A+\omega)t} \Bigl[{1-e^{i(\omega-{\tilde\omega}_{BA})t} \, e^{-\Gamma_Bt/2} \over \omega-{\tilde\omega}_{BA} + i\Gamma_B/2}\Bigr].

Amplitude and Probability as t→∞t\to\infty

The long-time behavior of the system is of interest but as t→∞t\to\infty the amplitude aAλ(t)a_{A\lambda}(t) oscillates and does not approach a limit due to the phase factor e−i(EA+ω)te^{-i(E_A+\omega)t}. This factor is due to the evolution under the unperturbed Hamiltonian H0H_0, which is all that matters at long times because the photon will have left the atom behind and is no longer interacting with it. A similar situation holds in scattering theory, in which a wave packet directed at a target evolves according to the free particle Hamiltonian at large negative and large positive times. See the discussion in The SS-Matrix.

If we switch to the interaction picture this time evolution is stripped off, and the amplitude is

cAλ(t)=⟨Aλ∣K1∣B0⟩[1−ei(ω−ω~BA)t e−ΓBt/2ω−ω~BA+iΓB/2].c_{A\lambda}(t) = \matrixelement{A\lambda}{K_1}{B0} \Bigl[{1-e^{i(\omega-{\tilde\omega}_{BA})t} \, e^{-\Gamma_Bt/2} \over \omega-{\tilde\omega}_{BA} + i\Gamma_B/2}\Bigr].

This is the same result we got with time-dependent perturbation theory, see (6) and (7), except that ω−ωBA\omega-\omega_{BA} is replaced by ω−ω~BA+iΓB/2\omega-{\tilde\omega}_{BA} + i\Gamma_B/2. The transition amplitude in the interaction picture does have a long-time limit,

lim⁡t→∞cAλ(t)=⟨Aλ∣K1∣B0⟩ω−ω~BA+iΓB/2,\lim_{t\to\infty} c_{A\lambda}(t) = {\matrixelement{A\lambda}{K_1}{B0} \over \omega-{\tilde\omega}_{BA} + i\Gamma_B/2},

whose square gives the long-time probability,

lim⁡t→∞PAλ(t)=∣⟨Aλ∣K1∣B0⟩∣2(ω−ω~BA)2+ΓB2/4.\lim_{t\to\infty} P_{A\lambda}(t)= {|\matrixelement{A\lambda}{K_1}{B0}|^2 \over (\omega-{\tilde\omega}_{BA})^2 + \Gamma_B^2/4}.
The transition probability has a Lorentzian dependence on the frequency. The peak is centered at the resonance frequency \omega={\tilde\omega}_{BA} and its full width at half maximum is \Gamma_B/\hbar. ure is not to scale.

Figure 13:The transition probability has a Lorentzian dependence on the frequency. The peak is centered at the resonance frequency ω=ω~BA\omega={\tilde\omega}_{BA} and its full width at half maximum is ΓB/ℏ\Gamma_B/\hbar. ure is not to scale.

The correction term ΓB2/4\Gamma_B^2/4 in the denominator does not matter much if ∣ω−ω~BA∣≫ΓB|\omega-{\tilde\omega}_{BA}|\gg \Gamma_B, but when ∣ω−ω~BA∣∼ΓB|\omega-{\tilde\omega}_{BA}|\sim \Gamma_B the transition probability varies rapidly in ω\omega. The matrix element may also depend on ω\omega but is nearly constant over the small range of order ΓB\Gamma_B about resonance. Overall the dependence of the transition probability has the Lorentzian shape, with a full width at half maximum (FWHM) of ΓB\Gamma_B. See Figure 13.

The Lorentzian replaces the energy-conserving δ\delta-function that we had with time-dependent perturbation theory. The photons emitted in the transition B→AB\to A do not all have the same energy, but rather there is a spread of order ΓB\Gamma_B. Note the scales in the figure. In a typical atomic problem ω~BA{\tilde\omega}_{BA} is of order unity in atomic units, while for E1 transitions ΓB\Gamma_B is of order α3∼10−6\alpha^3\sim 10^{-6}.

The width ΓB/ℏ\Gamma_B/\hbar is what is called the natural line width of the spectral line B→AB\to A. Other effects also contribute to the broadening of the spectral line, for example, Doppler shifts if the source is a gas. Doppler shifts broaden the spectral line with a Gaussian profile, because of the Maxwellian distribution of particle velocities. If the density of the gas is above a certain amount there will also be pressure broadening, caused by the fact that before the atom has a chance to decay it has a collision with another atom. This effectively resets the clock in the evolution of the state of the atom. With pressure broadening the width of the spectral line can still be written Δω∼1/τ\Delta\omega\sim 1/\tau, except that now τ\tau is the collision time instead of the lifetime for spontaneous emission. The natural line width is the minimum line width obtained when all other sources of broadening are eliminated.

You may wonder why in the formula (73) for ω~BA{\tilde\omega}_{BA} we correct the energy EBE_B for interactions with the field but not EAE_A. Actually we should correct both energies but our formalism has not done this since we have restricted the ket space to states with at most one photon. Notice that if AA is the ground state its lifetime is infinite so ΓA=0\Gamma_A=0, but AA could be an excited state lying between BB and the ground state, as illustrated in Figure 2. We would need a more sophisticated model to take into account the decay of both states BB and such a excited state AA. This is required, for example, in problems of optical pumping or photon cascades. If AA is also an excited state then the line shape of the transition B→AB\to A is a Lorentzian with FWHM given by ΓA+ΓB\Gamma_A+\Gamma_B.

As t→∞t\to\infty the atom drops into the state AA with 100%100\% probability, so the sum of all the probabilities (77) should add to 1. We can see that it does if we make the replacement,

1(ω−ω~BA)2+ΓB2/4→2πΓBδ(ω−ω~BA),{1\over (\omega-{\tilde\omega}_{BA})^2 + \Gamma_B^2/4} \to {2\pi\over \Gamma_B} \delta(\omega-{\tilde\omega}_{BA}),

which follows from the representation (51) of the δ\delta-function and the fact that the matrix element is slowly varying over the energy range ΓB\Gamma_B. This gives

∑AλPAλ(∞)=2πΓB∑Aλ∣⟨Aλ∣K1∣B0⟩∣2 δ(ω−ω~BA)=1,\sum_{A\lambda} P_{A\lambda}(\infty) = {2\pi\over \Gamma_B} \sum_{A\lambda} |\matrixelement{A\lambda}{K_1}{B0}|^2 \, \delta(\omega-{\tilde\omega}_{BA}) =1,

as follows from (9).

Fixing the Kramers-Heisenberg Formula

Now we can see how to fix the singularities in the Kramers-Heisenberg formula. As noted in \secrnlw-1, the vanishing denominators arise from the time integrals in the Dyson series. For the resonant terms in question, the phase factor that is integrated is given by (3), which we write here as

(e−iEIt)∗ e−i(EA+ω)t,(e^{-iE_It})^* \, e^{-i(E_A+\omega)t},

dropping the primes on tt and setting ℏ=1\hbar=1. The two time-dependent exponential factors shown came from a matrix element which in the case of the Kramers-Heisenberg formula can be written

⟨I∣U0(t)†K1U0(t)∣Aλ⟩,\matrixelement{I}{U_0(t)^\dagger K_1 U_0(t)}{A\lambda},

where the factors of U0U_0 represent the switch from the interaction picture to the Schr"odiner picture. From another point of view they also represent the time evolution of the states of the system at a lower order approximation that is being substituted back into the Schr"odinger equation and integrated over time to get the next order approximation.

Based on what we have done with the long-time behavior of quantum systems, however, it would be more accurate to use the time evolution of states II and AA corrected for the interactions with the field, that is, to replace the factor (80) by

[e−i(E~I−iΓI/2)t]∗ e−i(E~A+ω)t,[e^{-i({\tilde E}_I -i\Gamma_I/2)t}]^* \, e^{-i(\tilde E_A+\omega)t},

where

E~I=EI+ΔEI(1)+ΔEI(2),E~A=EA+ΔEA(1)+ΔEA(2),\begin{aligned} {\tilde E}_I & = E_I + \Delta E^{(1)}_I + \Delta E^{(2)}_I, \\ {\tilde E}_A & = E_A + \Delta E^{(1)}_A + \Delta E^{(2)}_A, \\ \end{aligned}

as in (64). We do not include a term ΓA\Gamma_A because in our outline of the problem in \secrnlw-1 we assumed that AA was the ground state of the atom.

If we do this, then the denominator ωIA−ω\omega_{IA}-\omega of the Kramers-Heisenberg formula (1) is replaced by

ω~IA−ω−iΓI/2.{\tilde\omega}_{IA} - \omega - i\Gamma_I/2.

where

ω~IA=E~I−E~A{\tilde\omega}_{IA} = {\tilde E}_I - {\tilde E}_A

(like (73) but with both energies corrected). It is logical that the resonance frequency ωIA\omega_{IA} should be corrected in this manner, because the real resonance occurs at ω~IA{\tilde\omega}_{IA}, not ωIA\omega_{IA}. Also, the denominator now has an imaginary part and does not vanish at ω=ω~IA\omega={\tilde\omega}_{IA}. We see, as suspected in \secrnlw-1, that the nominal Kramers-Heisenberg formula breaks down when ∣ω−ω~IA∣<≈ΓI/ℏ|\omega-{\tilde\omega}_{IA}| <\approx \Gamma_I/\hbar. Near such frequencies the amplitude sum (2) is dominated by a single term, and

M≈1mℏ⟨A∣(p⋅ϵ^′ ∗)∣I⟩⟨I∣(p⋅ϵ^)∣A⟩ω~IA−iΓI/2.M \approx {1\over m\hbar} {\matrixelement{A}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\,*})}{I} \matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A} \over {\tilde\omega}_{IA} - i\Gamma_I/2}.

The cross is given by

dσdΩ′=re21m2ℏ2∣⟨A∣(p⋅ϵ^′ ∗)∣I⟩∣2∣⟨I∣(p⋅ϵ^)∣A⟩∣2(ω−ω~IA)2+ΓI2/4.\dod{\sigma}{\Omega'} = r_e^2 {1\over m^2\hbar^2} {|\matrixelement{A}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}}^{\prime\,*})}{I}|^2 |\matrixelement{I}{(\pvec\cdot{\hat{\boldsymbol{\epsilon}}})}{A}|^2 \over (\omega-{\tilde\omega}_{IA})^2 + \Gamma_I^2/4}.

If the transition I→AI\to A is allowed as an E1 transition, then ΓI\Gamma_I is of order α3\alpha^3 in atomic units, so that at resonance the cross saturates at a value that is of order α−6∼1013\alpha^{-6} \sim 10^{13} times larger than it is out in the “desert” where ω\omega is not close to any ω~IA{\tilde\omega}_{IA}. In terms of powers of the fine structure constant, the cross is of order α−2a02∼104 a02\alpha^{-2} a_0^2 \sim 10^4 \,a_0^2 at resonance, which is quite large by atomic standards. This is of the order of the square of the wavelength, which is characteristic of resonant cross s in general.

Thus the cross as a function of frequency has the Lorentzian shape in the neighborhood of a resonance, much like the sketch in Figure 13. The width of the resonance is of order ΓI/ℏ\Gamma_I/\hbar and the height is of order 1/ΓI21/\Gamma_I^2, so if a gas is subjected to broad band radiation then by far the majority of the scattering is resonant, at least until the beam is depleted of resonant photons. This is the reason for the dark Fraunhoffer lines in the solar spectrum; as light from the sun passes through the cooler, outer layers of the atmosphere of the sun, the resonant photons are scattered into random directions and removed from the direct sunlight. In this process, the Doppler shift from the motion of the atoms causes the dark lines to be broadened considerably in comparison to the natural line width.

It was realized by the mid-nineteenth century that the dark Fraunhoffer lines in the spectrum of the sun or other stars occur at the same frequencies as the emission spectra of various elements, and so can be used to determine the chemical composition of stellar atmospheres. The element helium was first discovered in this way in the sun’s atmosphere, before it was known on earth (hence the name, from Greek “helios” meaning “sun”).