51 Causality and the Kramers-Krönig Relations

    Michael Fowler, UVa

(Jackson 7.10)

Causality: Polarization as a Response to a Field

The frequency dependence of  ε ω  reflects the time lag in the response of material polarization to an imposed field: recall D =ε E = ε 0 E + P .  The ε 0  term indicates an instantaneous local response (really more of a change in notation than a physical transformation) but the contribution to D  from the polarization P  takes a finite time, because it's response of a material to a force: even electronic oscillators take time to respond fully when a driving force is switched on.

This is not so evident in frequency space, where we write

D x ,ω =ε ω E x ,ω ,  

but that equation describes the material response to a monochromatic field, therefore one that has been oscillating forever. 

To analyze response to a field that's switched on in time, we need to go to the Fourier transforms, summing over frequencies to get the appropriate time dependence:

D x ,t = 1 2π D x ,ω e iωt dω, D x ,ω = D x ,t e iωt dt,  

D x ,t = 1 2π D x ,ω e iωt dω = 1 2π ε ω E x ,ω e iωt dω = 1 2π ε ω t E x , t e iω t e iωt d t dω .

Notation: We use the standard physics normalization of Fourier transforms, writing dω/2π  and dt.  In this section (7.10) Jackson uses the mathematician’s convention, dω/ 2π ,dt/ 2π ,  even though he used the physics normalization earlier, for example in equations 6.33, 6.34.)

This is from Jackson, but we've made one slight change: this section is headed causality, the equation describes how the electric field at time t  at point x  generates polarization that contributes to the field at the same point x  at a later time t.  Think of it as a local damped oscillator at x  that has been subject to a time-varying driving force E x , t ,  and we're now finding its phase and amplitude at time t.  

Obviously, this can only depend on the driving force at earlier times, so we integrate d t  up to t,  not to infinity. It's convenient to introduce the time difference variable, t t =τ.  This gives d t =dτ,  but the range of integration goes from ,t  to ,0  which we then switch to 0,  giving a second minus sign.

Finally, writing  ε ω =1+ χ e ω ,  (from lecture 29),

D x ,t = 1 2π ε ω 0 E x ,tτ e iωτ dτdω , = ε 0 2π 1+ χ e ω 0 E x ,tτ e iωτ dτdω . .

  Actually, we should have treated this term separately from the start: it's the instant vacuum response of D  to E ,  and by (unnecessarily) incorporating it in the integral we've made things slightly awkward, the dω 2π e iωt  integral  gives δ τ  and we end the integral at τ=0,  we need τ= 0  to make sense.  Maybe this is why Jackson went to infinity, but I think doing that obscures the causal nature of the equation. 

Having dealt with the first term in D = ε 0 E + P ,  let's focus on the less trivial second term.

We'll define the Green's function

G τ = 1 2π ε ω / ε 0 1 e iωτ dω, = 1 2π χ e ω e iωτ dω  

assuming with Jackson that the reversal of order of integrations is OK.

Note:  We’re assuming throughout that the response at x  does not depend on the earlier field at some different point x :  that is, we’re assuming nonlocality in time, but locality in space. This works well for dielectrics including in the visible range, but breaks down for metals if the mean free path of electrons between collisions exceeds the scale of field variation (for example, skin depth). In practice, this only occurs with very pure metals at very low (helium) temperatures, and very high frequencies (GHz). it’s called the anomalous skin effect. 

Simple Model for G τ

To illustrate the technique, we'll assume initially that there is only one resonant frequency:

ε ω ε 0 1= ω p 2 ω 0 2 ω 2 iγω ,  

so

G τ = ω p 2 2π e iωτ ω 0 2 ω 2 iγω dω.  

(In fact, not a bad approximation in the region near that frequency.)

 We can evaluate this by contour integration.  Notice that for positive τ,  the e iωτ  term diverges in the upper half plane, so we must complete the contour along the real axis with a large semicircle in the lower half plane.  

For negative τ,  we must complete the contour with a semicircle in the upper half plane. 

The only singularities in the integrand are the two poles at the roots of the equation ω 0 2 ω 2 iγω=0.  

They are poles in the lower half plane at ω 1,2 = 1 2 iγ± ν 0 , ν 0 2 = ω 0 2 1 4 γ 2 .  

Hence, for τ>0,  

G τ = ω p 2 e γτ/2 sin ν 0 τ ν 0 θ τ ,  

and (reassuringly!) for τ<0,G τ =0.  

The analyticity of G ω  in the upper half complex plane is equivalent to causality.

(From quantum mechanics, the width of a spectral line ( γ  ) is the inverse of the lifetime of the excited state, so the Green’s function decays in a time of order the lifetime of the state, of order microseconds to nanoseconds.)

Causality and Analyticity of ε ω  

We have established that

D x ,t = ε 0 E x ,t + 0 G τ E x ,tτ dτ .  

Now these are real values of fields at some instant in time, not frequency components that could have phase lags, so the Green's function G τ  is real.

Recalling its definition as the Fourier transform of χ e ω ,  

G τ = 1 2π ε ω / ε 0 1 e iωτ dω,  

we can Fourier transform back to find,

ε ω ε 0 =1+ 0 G τ e iωτ dτ .  

Since G τ  is real, it follows that

ε ω ε 0 = ε ω ε 0 .  

It is apparent from the formula for ε ω  in terms of G τ  that ε ω  is analytic in the upper half plane, and if we can assume G τ  is finite and goes to zero at infinite time, then this is also true down to the real axis. 

(Note: This doesn't work for conductors:  recall ε ω = ε b +i σ/ω ,  there is a pole at the origin. To understand what this does to the Green's function, we must go back to G τ = 1 2π ε ω / ε 0 1 e iωτ dω .  The integrand will now include a term iσ/ω ε 0 ,  and the integral over the whole real line must include a small semicircle in the upper half plane around the origin, the formula is 1/ω=P/ωiπδ ω .  This pole gives a time-independent contribution σ/ ε 0  to G τ ,  the other terms are from oscillators with finite damping, and die away for long times.)

Kramers-Krönig Relations

Since ε ω / ε 0  is analytic in the upper half plane, we can use Cauchy's theorem to relate the real and imaginary parts.  The real part ε ω / ε 0  is the square of the refractive index, the imaginary part is the absorption.  Note that if a medium has a refractive index different from that of the vacuum (as all do!) then there must be nonzero absorption in some frequency range.

For any z  in the upper half plane, the only singularity in the integrand below is at ω =z,  a simple pole, so for a contour encircling the upper half plane, 

ε z ε 0 1= 1 2πi C ε ω / ε 0 1 ω z d ω  .

Since we know ε ω / ε 0 1 ω 2  at infinity, we can neglect the contribution from the large semicircle, leaving

ε z ε 0 =1+ 1 2πi ε ω / ε 0 1 ω z d ω  

We now take the point in the upper half plane to be infinitesimally above the real axis,

ε ω ε 0 =1+ 1 2πi ε ω / ε 0 1 ω ωiδ d ω  

and now use the identity

1 ω ωiδ = P ω ω +iπδ ω ω  

to find

ε ω / ε 0 =1+ 1 π P ε ω / ε 0 ω ω d ω , ε ω / ε 0 = 1 π P ε ω / ε 0 1 ω ω d ω ,

Remember now that ε ω = ε ω ,  so ε ω  is even, ε ω  is odd and we can put positive and negative frequencies together, 

ε ω / ε 0 =1+ 2 π P 0 ω ε ω / ε 0 ω 2 ω 2 d ω , ε ω / ε 0 = 2ω π P 0 ε ω / ε 0 1 ω 2 ω 2 d ω .

that can be added.)

It's worth relating these equations to our model of the dielectric in terms of a set of oscillators. Think about the complex function ε z  in the neighborhood of one of the poles, it's proportional to

ε z 1 z z 0 = 1 ω ν 0 i 1 2 γ .

How does this function vary on going along the real axis past the pole?  There is a peak in the imaginary part, its width of order γ  and its height 2/γ .  The contribution from this pole to the real part of ε ω  changes sign and essentially cancels.   

Physical Significance of the Kramers-Krönig Equations

The function ε ω / ε 0  is just the square of the refractive index n ω .  The first equation tells us that the refractive index of a material for light at a given frequency depends entirely on the rate of absorption of radiation, suitably weighted, summed over all frequencies.  The refractive index would be unity (no refraction) if the material didn't absorb at some frequency.

And, the reason we can write these equations at all is that ε ω  is analytic as a function of a complex variable in the upper half plane.

The analyticity follows directly from causality: the Fourier transform of ε ω ,G τ  measures the response of the medium to an imposed field at a given time, and can only be nonzero at later times.

But that's true for all physical processes, in particular the response of an atom, a nucleus or an elementary particle to an ingoing wave. And any of these systems can be modeled in terms of oscillators. The scattering of one elementary particle off another is described in terms of a scattering matrix: a matrix rather than a simple function because there are multiple outcomes possible. Each possible outcome is a scattering matrix element, just a function of energy (and possible angular momentum) and these functions obey Kramers-Krönig equations. They have similar behavior to that shown above, and resonances correspond to excited states of the particle, that is, unstable heavier particles.  For particle scattering, the analogue of the refractive index is the phase shift of the wave function, so measuring these phase shifts can indicate the presence of resonances, other particles, at different energies.

Sum Rules

We’ve already met a sum rule: recall in lecture 47 we generalized the permittivity from a single oscillator

ε ω ε 0 =1+ N e 2 ε 0 m ω 0 2 ω 2 iγω

to a collection of similar oscillators, to find

ε ω ε 0 =1+ N e 2 ε 0 m j f j ω j 2 ω 2 i γ j ω

where f j  is the number of electrons in a molecule with parameters ω j , γ j ,  and now N  is the number of molecules in unit volume.  Generally, these oscillations are lightly damped, γ j  is small, so ε ω  has a very small imaginary part except very close to one of the ω j  's.

The oscillator strengths satisfy a sum rule, j f j =1.  (Derived from the knowledge that at high frequencies ε pl ω ε 0 1 ω pl 2 ω 2 , ω pl 2 = n e e 2 ε 0 m ,  all the electrons are essentially free.)

Suppose now we take the first of the Kramers-Krönig equations

ε ω / ε 0 =1+ 2 π P 0 ω ε ω / ε 0 ω 2 ω 2 d ω

in the limit ω,  to find ( P  is now irrelevant)

1 ω pl 2 ω 2 =1+ 2 π ω 2 ε 0 0 ω ε ω d ω ,

or

ω pl 2 =+ 2 π ε 0 0 ω ε ω d ω .

This means that the sum rule found for oscillators is still true for more general functions, but the reality of G τ  means these functions have the same reality/symmetry constraints, so the complex ε z  can be represented by an if necessary infinite number of oscillators for example, a cut in the complex plane is equivalent within that plane to an infinite number of infinitesimal poles, etc.

Jackson presents a second sum rule, that the average value of ε ω / ε 0  over all frequencies is unity. Looking at the expression (and the graph) for a single oscillator, it is clearly true in that case. Adding many oscillators, with strengths obeying the sum rule, it is again the case. As argued above, any ε z  (with the required symmetry and reality conditions) can be approximated as a sum over oscillators, so the result follows.

Jackson 7.11: Arrival of a Signal After Propagation through a Dispersive Medium

This is a depreciated version of the treatment in the Second Edition of Jackson. Jackson evidently thinks it’s not as important as he once did, so we’ll just mention it here.  If you find it interesting, look in the Second Edition. The first point is that the signal cannot arrive faster than light in a vacuum, this follows from very general analyticity properties of the permittivity. Next comes a discussion of precursors, work done around 1914 by Sommerfeld and Brillouin. A signal having a sharp leading edge is sent into a dielectric, and subsequently detected. The first precursor (Sommerfeld) is a weak high frequency signal. This is perhaps not surprising: the required sharp initial edge needed high frequency components, and presumably they will outrun the others? The second precursor is more interesting, the Brillouin precursor. This is low frequency, and quite strong, and chirps.  A proper mathematical treatment takes a substantial amount of work, and we just don’t have time here.  However, this subject is of more than academic interest googling Brillouin precursor reveals fairly extensive discussion of possible related problems in 5G communications.