Radiation

AST1440: Electromagnetic Waves, Cold-Plasma Dispersion, and Pulse Delays — RL §§2.1–2.3, §8.1, and Problems 2.2, 8.1, 8.2

AST1440 电磁波、冷等离子体色散与脉冲延迟:RL §2.1–2.3、§8.1 及习题 2.2、8.1、8.2 详解

AI-translated edition. Equations and notation are preserved. Refer to the Chinese original for authoritative wording.

A systematic derivation of cold-plasma dispersion, phase and group velocities, pulsar dispersion delays, complex refractive index, and absorption, beginning with Maxwell's equations and plane electromagnetic waves, with detailed solutions to RL Problems 2.2, 8.1, and 8.2.

32 min readAST1440Electromagnetic wavesCold plasmaDispersionExercises
On this page

Course: AST1440 — Radiation; this session covers Electromagnetic Waves and Dispersion in a Cold Plasma. Textbook: Rybicki & Lightman, Radiative Processes in Astrophysics (RL), §§2.1–2.3, printed pp. 51–61; §8.1, printed pp. 224–228; Problem 2.2, printed pp. 74–75; Problems 8.1–8.2, printed p. 236. Compiled: September 28, 2026. These notes integrate the assigned reading, pre-class problems, and every follow-up question from discussion in their physical order of dependency: the physical meaning of Maxwell's equations, how the vacuum wave equation is derived, why ∂t→−iω\partial_t\rightarrow-i\omega, why vph=ω/kv_{\rm ph}=\omega/k, why a short pulse has a broad spectrum, the connection between classical Fourier waves and quantum mechanics, how the electron current is absorbed into the dielectric constant, why an ideal cold plasma is dispersive but nondissipative, the distinction between phase and group velocity, the origin of the pulsar-dispersion constant 4.15 ms4.15\,\mathrm{ms}, how a complex refractive index produces spatial attenuation, and why dϕ1=dϕ2d\phi_1=d\phi_2 at a refracting interface. Each assigned problem includes a step-by-step derivation and an assignment-ready English solution.

Contents

  1. Preparation Requirements and Logical Road Map
  2. Notation, Units, Complex-Exponential Convention, and Assumptions
  3. Physical Meaning of Maxwell's Equations and the Vacuum Wave Equation
  4. Plane Electromagnetic Waves, Transverse Structure, and Phase Velocity
  5. Finite Pulses, Fourier Spectra, and Their Connection to Quantum Mechanics
  6. Free-Electron Response, Current, and the Effective Dielectric Constant
  7. Cold-Plasma Dispersion Relation, Cutoff, and Nondissipative Response
  8. Phase Velocity, Group Velocity, and Signal Propagation
  9. Pulsar Dispersion, DM, and the Numerical Coefficient 4.15 ms
  10. Problem 2.2: Conducting Media, Complex Refractive Index, and Absorption
  11. Problem 8.1: Why Iν/nr2I_\nu/n_r^2 Is Conserved Along a Ray
  12. Problem 8.2: Why the Wave-Packet Centroid Moves at the Group Velocity
  13. English assignment-ready solutions
  14. Review Checklist, Dimensional Checks, and Common Confusions
  15. References and Citations

1. Preparation Requirements and Logical Road Map

1.1 Reading and Problem Scope

This class shifts from radiative transfer to the propagation of electromagnetic waves through a plasma. The preparation has three layers:

  1. The essential reading is RL §8.1, on dispersion in a cold, isotropic plasma.
  2. RL §§2.1–2.3 provide the electromagnetic background: Maxwell's equations, plane electromagnetic waves, and radiation spectra. If your undergraduate electromagnetism is rusty, review these sections carefully rather than merely scanning the results.
  3. The assigned textbook problems are RL 8.1 and 2.2; RL 8.2 is an optional extension if time permits.

These textbook exercises are distinct from the formal Problem Set 1. This article treats only the three textbook problems listed above, not the formal problem set.

1.2 The Physical Chain of Cause and Effect

This material is not about memorizing the plasma frequency in isolation. It answers a physical question: why do free electrons change the propagation of an electromagnetic wave?

The complete logic is

Maxwell’s equations⟶vacuum plane wave⟶electric field drives free electrons⟶electron current feeds back into Maxwell’s equations\boxed{ \text{Maxwell's equations} \longrightarrow \text{vacuum plane wave} \longrightarrow \text{electric field drives free electrons} \longrightarrow \text{electron current feeds back into Maxwell's equations} } ⟶ϵ(ω)⟶ω2=ωp2+c2k2⟶cutoff, group velocity, and pulse delay.\boxed{ \longrightarrow \epsilon(\omega) \longrightarrow \omega^2=\omega_p^2+c^2k^2 \longrightarrow \text{cutoff, group velocity, and pulse delay} }.

The five most important results of this lesson are

ωp2=4πnee2me(Gaussian-cgs),\boxed{ \omega_p^2=\frac{4\pi n_e e^2}{m_e} } \qquad\text{(Gaussian-cgs)}, ϵ(ω)=1−ωp2ω2,\boxed{ \epsilon(\omega)=1-\frac{\omega_p^2}{\omega^2} }, ω2=ωp2+c2k2,\boxed{ \omega^2=\omega_p^2+c^2k^2 }, vph=ωk,vg=dωdk,\boxed{ v_{\rm ph}=\frac{\omega}{k}, \qquad v_g=\frac{d\omega}{dk} },

and

Δt∝DMν2,DM=∫ne ds.\boxed{ \Delta t\propto\frac{\mathrm{DM}}{\nu^2}, \qquad \mathrm{DM}=\int n_e\,ds }.

2. Notation, Units, Complex-Exponential Convention, and Assumptions

2.1 Table of Symbols

SymbolMeaningNotes
E,B\mathbf E,\mathbf BElectric and magnetic fieldsRL uses Gaussian-cgs units
D,H\mathbf D,\mathbf HElectric displacement and magnetic-field strengthD=ϵE\mathbf D=\epsilon\mathbf E, B=μH\mathbf B=\mu\mathbf H
ρ,j\rho,\mathbf jCharge density and current densityIn a source-free vacuum propagation region, ρ=0,j=0\rho=0,\mathbf j=0
k,k\mathbf k,kWave vector and its magnitudek=2π/λk=2\pi/\lambda; its direction is the direction of phase propagation
ω,ν\omega,\nuAngular frequency and ordinary frequencyω=2πν\omega=2\pi\nu
nen_eFree-electron number densityDo not confuse it with refractive index
nrn_rReal refractive indexIn §8.1, nr=ck/ω=ϵn_r=ck/\omega=\sqrt\epsilon
mem_eElectron mass9.1094×10−28 g9.1094\times10^{-28}\,\mathrm{g}
mmComplex refractive index in Problem 2.2Not the electron mass; sometimes written here as m=mR+imIm=m_R+i m_I
ωp\omega_pElectron plasma frequencyωp2=4πnee2/me\omega_p^2=4\pi n_e e^2/m_e
vphv_{\rm ph}Phase velocityVelocity of a fixed phase or wave crest, ω/k\omega/k
vgv_gGroup velocityEnvelope velocity of a narrow wave packet, dω/dkd\omega/dk
IνI_\nuSpecific intensityEnergy flux per unit area, time, frequency, and solid angle
DM\mathrm{DM}dispersion measureFree-electron column density, ∫neds\int n_e ds
σ\sigmaConductivity in Problem 2.2Do not confuse it with a scattering cross section
αν\alpha_\nuIntensity absorption coefficientIν(s)=Iν(0)e−ανsI_\nu(s)=I_\nu(0)e^{-\alpha_\nu s}

2.2 Unit Convention

The main text of RL uses Gaussian-cgs units. Consequently, Maxwell's equations contain 4π4\pi and 1/c1/c rather than the SI quantities ϵ0\epsilon_0 and μ0\mu_0.

In Gaussian-cgs units,

ωp2=4πnee2me.\omega_p^2=\frac{4\pi n_e e^2}{m_e}.

In SI units, the same physical quantity is written

ωp2=nee2meϵ0.\omega_p^2=\frac{n_e e^2}{m_e\epsilon_0}.

The two equations describe the same physics; the 4π4\pi from one system must not be mixed with the ϵ0\epsilon_0 from the other.

2.3 Complex-Exponential Convention

Throughout, we use the textbook convention

ei(k⋅r−ωt).\boxed{ e^{i(\mathbf k\cdot\mathbf r-\omega t)} }.

Therefore,

∇→ik,∂∂t→−iω.\boxed{ \nabla\rightarrow i\mathbf k, \qquad \frac{\partial}{\partial t}\rightarrow-i\omega }.

This is not a quantum-mechanical assumption; it follows from differentiating a complex exponential:

∂∂tei(k⋅r−ωt)=−iωei(k⋅r−ωt).\frac{\partial}{\partial t} e^{i(\mathbf k\cdot\mathbf r-\omega t)} =-i\omega e^{i(\mathbf k\cdot\mathbf r-\omega t)}.

If one instead uses ei(ωt−k⋅r)e^{i(\omega t-\mathbf k\cdot\mathbf r)}, the signs of several imaginary parts change together. As long as a single convention is used consistently, the physical attenuation rate is unchanged.

2.4 Assumptions of §8.1

  • The plasma consists of electrons and ions that maintain overall charge neutrality.
  • Because the ions are massive and move slowly over the frequency range of interest, their contribution to the high-frequency current is neglected.
  • There is no imposed magnetic field, so the medium is isotropic; Faraday rotation belongs to the later §8.2.
  • “Cold” means that corrections to the dispersion relation from thermal motions and pressure gradients are neglected.
  • The electrons are nonrelativistic, and the magnetic Lorentz force is lower than the electric force by one order in v/cv/c, so it is neglected in the basic derivation.
  • Collisions and radiation damping are neglected, so the idealized model has no net dissipation.
  • The medium is locally uniform; the geometric-optics approximation is used when the medium varies slowly.

3. Physical Meaning of Maxwell's Equations and the Vacuum Wave Equation

3.1 The Lorentz Force and How Fields Do Work on Matter

A charged particle experiences

F=q(E+vc×B).\boxed{ \mathbf F=q\left(\mathbf E+\frac{\mathbf v}{c}\times\mathbf B\right) }.

Taking the dot product with the velocity gives

v⋅F=qv⋅E+qcv⋅(v×B).\mathbf v\cdot\mathbf F =q\mathbf v\cdot\mathbf E +\frac{q}{c}\mathbf v\cdot(\mathbf v\times\mathbf B).

because

v⋅(v×B)=0,\mathbf v\cdot(\mathbf v\times\mathbf B)=0,

Thus the magnetic force changes the direction of a particle's motion but does not directly change its kinetic energy; work done by the field comes from the electric field:

v⋅F=qv⋅E.\boxed{ \mathbf v\cdot\mathbf F=q\mathbf v\cdot\mathbf E }.

In a continuous medium, the rate of change of mechanical energy per unit volume is j⋅E\mathbf j\cdot\mathbf E. This fact will be decisive when distinguishing dispersion from dissipation.

3.2 Physical Meaning of the Four Maxwell Equations

In Gaussian-cgs units, Maxwell's equations in a general medium are

∇⋅D=4πρ,∇⋅B=0,\nabla\cdot\mathbf D=4\pi\rho, \qquad \nabla\cdot\mathbf B=0, ∇×E=−1c∂B∂t,\nabla\times\mathbf E =-\frac{1}{c}\frac{\partial\mathbf B}{\partial t}, ∇×H=4πcj+1c∂D∂t.\nabla\times\mathbf H =\frac{4\pi}{c}\mathbf j +\frac{1}{c}\frac{\partial\mathbf D}{\partial t}.

They state, respectively:

  1. Electric charge is a source or sink of electric flux.
  2. There are no isolated magnetic monopoles; magnetic-field lines form closed loops.
  3. A time-varying magnetic field produces a rotational electric field: Faraday induction.
  4. Both a real current and a time-varying electric field produce a rotational magnetic field.

The displacement-current term in the fourth equation,

1c∂D∂t\frac{1}{c}\frac{\partial\mathbf D}{\partial t}

allows a changing electric field to generate a magnetic field even where no real conduction current exists. It both guarantees charge conservation and makes electromagnetic waves in vacuum possible.

3.3 Charge Conservation

Take the divergence of the Ampère–Maxwell equation and use the fact that the divergence of any curl vanishes:

∇⋅(∇×H)=0.\nabla\cdot(\nabla\times\mathbf H)=0.

Hence

0=4πc∇⋅j+1c∂∂t(∇⋅D).0=\frac{4\pi}{c}\nabla\cdot\mathbf j +\frac{1}{c}\frac{\partial}{\partial t}(\nabla\cdot\mathbf D).

Then use ∇⋅D=4πρ\nabla\cdot\mathbf D=4\pi\rho:

∇⋅j+∂ρ∂t=0.\boxed{ \nabla\cdot\mathbf j+\frac{\partial\rho}{\partial t}=0 }.

This is local charge conservation.

3.4 The Poynting Theorem and Energy Flux

The electromagnetic energy density and energy flux are

ufield=18π(ϵE2+B2μ),u_{\rm field} =\frac{1}{8\pi} \left( \epsilon E^2+\frac{B^2}{\mu} \right),

The simple expression for energy density here assumes that ϵ\epsilon and μ\mu do not depend on frequency or time. For the dispersive plasma considered later, where ϵ(ω)\epsilon(\omega), the stored energy of the medium must be calculated together with the electron kinetic energy; one cannot mechanically substitute ϵ(ω)\epsilon(\omega) into this static-medium formula.

S=c4πE×H.\boxed{ \mathbf S=\frac{c}{4\pi}\mathbf E\times\mathbf H }.

The Poynting theorem can be written

∂ufield∂t+∇⋅S=−j⋅E.\frac{\partial u_{\rm field}}{\partial t} +\nabla\cdot\mathbf S =-\mathbf j\cdot\mathbf E.

The right-hand side shows that the field energy lost enters the mechanical or thermal energy of matter, while S\mathbf S describes the rate at which electromagnetic energy flows through unit area.

3.5 A Source-Free Vacuum Region Does Not Mean the Fields Vanish

In a vacuum propagation region, take

ρ=0,j=0,ϵ=μ=1.\rho=0, \qquad \mathbf j=0, \qquad \epsilon=\mu=1.

This means only that there are no local charge or current sources; it does not mean E=B=0\mathbf E=\mathbf B=0. Light may be produced by a distant astronomical object or antenna and then pass through a locally source-free region.

Maxwell's equations reduce to

∇⋅E=0,∇⋅B=0,\nabla\cdot\mathbf E=0, \qquad \nabla\cdot\mathbf B=0, ∇×E=−1c∂B∂t,∇×B=1c∂E∂t.\nabla\times\mathbf E =-\frac{1}{c}\frac{\partial\mathbf B}{\partial t}, \qquad \nabla\times\mathbf B =\frac{1}{c}\frac{\partial\mathbf E}{\partial t}.

Zero divergence only means that the fields have no local sources; a transverse wave can satisfy this condition perfectly well.

3.6 Deriving the Electric-Field Wave Equation

Begin with Faraday's law:

∇×E=−1c∂B∂t.\nabla\times\mathbf E =-\frac{1}{c}\frac{\partial\mathbf B}{\partial t}.

Take the curl of both sides:

∇×(∇×E)=−1c∂∂t(∇×B).\nabla\times(\nabla\times\mathbf E) =-\frac{1}{c} \frac{\partial}{\partial t} (\nabla\times\mathbf B).

Substitute the vacuum Ampère–Maxwell law:

∇×(∇×E)=−1c2∂2E∂t2.\nabla\times(\nabla\times\mathbf E) =-\frac{1}{c^2} \frac{\partial^2\mathbf E}{\partial t^2}.

Use the vector identity

∇×(∇×E)=∇(∇⋅E)−∇2E.\nabla\times(\nabla\times\mathbf E) =\nabla(\nabla\cdot\mathbf E)-\nabla^2\mathbf E.

In a source-free vacuum region, ∇⋅E=0\nabla\cdot\mathbf E=0, so

−∇2E=−1c2∂2E∂t2.-\nabla^2\mathbf E =-\frac{1}{c^2} \frac{\partial^2\mathbf E}{\partial t^2}.

The result is

∇2E−1c2∂2E∂t2=0.\boxed{ \nabla^2\mathbf E -\frac{1}{c^2} \frac{\partial^2\mathbf E}{\partial t^2}=0 }.

Starting in the same way from the Ampère–Maxwell law gives

∇2B−1c2∂2B∂t2=0.\boxed{ \nabla^2\mathbf B -\frac{1}{c^2} \frac{\partial^2\mathbf B}{\partial t^2}=0 }.

These two equations show that changing electric and magnetic fields are mutually coupled and propagate at speed cc. Their energy comes from the source that originally generated the wave and is carried outward by the Poynting flux; it is not created from nothing as the fields propagate.


4. Plane Electromagnetic Waves, Transverse Structure, and Phase Velocity

4.1 Plane Waves and Differential Operators

Take

E=e^1E0ei(k⋅r−ωt),\mathbf E =\hat{\mathbf e}_1 E_0 e^{i(\mathbf k\cdot\mathbf r-\omega t)}, B=e^2B0ei(k⋅r−ωt).\mathbf B =\hat{\mathbf e}_2 B_0 e^{i(\mathbf k\cdot\mathbf r-\omega t)}.

Only the real part of the complex exponential is the physical field. The advantage of complex notation is that differentiation becomes multiplication by a constant:

∇E=ikE,∂E∂t=−iωE.\nabla\mathbf E=i\mathbf k\mathbf E, \qquad \frac{\partial\mathbf E}{\partial t}=-i\omega\mathbf E.

Differentiation rotates the phase of a sinusoidal oscillation by 90∘90^\circ; multiplication by the complex factor ii records exactly this phase difference.

4.2 Why Electromagnetic Waves Are Transverse

The vacuum Gauss laws give

ik⋅E=0,ik⋅B=0.i\mathbf k\cdot\mathbf E=0, \qquad i\mathbf k\cdot\mathbf B=0.

Therefore,

k⋅E=0,k⋅B=0.\boxed{ \mathbf k\cdot\mathbf E=0, \qquad \mathbf k\cdot\mathbf B=0 }.

Faraday's law further gives

k×E=ωcB.\mathbf k\times\mathbf E =\frac{\omega}{c}\mathbf B.

Thus E\mathbf E, B\mathbf B, and k\mathbf k are mutually perpendicular and form a right-handed triad:

E⊥B⊥k.\boxed{ \mathbf E\perp\mathbf B\perp\mathbf k }.

4.3 The Vacuum Dispersion Relation

Substitute the plane wave into the wave equation:

∇2E=−k2E,∂2E∂t2=−ω2E.\nabla^2\mathbf E=-k^2\mathbf E, \qquad \frac{\partial^2\mathbf E}{\partial t^2} =-\omega^2\mathbf E.

Therefore,

−k2E+ω2c2E=0.-k^2\mathbf E +\frac{\omega^2}{c^2}\mathbf E=0.

A nonzero solution requires

ω2=c2k2,\boxed{ \omega^2=c^2k^2 },

Taking positive frequency and positive wavenumber gives

ω=ck.\boxed{ \omega=ck }.

In Gaussian units, one also obtains

E0=B0.\boxed{E_0=B_0}.

In SI units this becomes E0=cB0E_0=cB_0; the difference is purely one of unit definitions.

4.4 Why the Phase Velocity Is ω/k\omega/k

The phase of a one-dimensional wave is

Φ(x,t)=kx−ωt.\Phi(x,t)=kx-\omega t.

Following a wave crest means holding the phase fixed:

kx−ωt=constant.kx-\omega t=\mathrm{constant}.

Differentiate with respect to time:

kdxdt−ω=0.k\frac{dx}{dt}-\omega=0.

Thus the speed of a fixed phase is

vph=dxdt=ωk.\boxed{ v_{\rm ph}=\frac{dx}{dt}=\frac{\omega}{k} }.

The same result follows from k=2π/λk=2\pi/\lambda and ω=2π/T\omega=2\pi/T:

ωk=λT=λν.\frac{\omega}{k}=\frac{\lambda}{T}=\lambda\nu.

In vacuum, ω=ck\omega=ck, so

vph=c.\boxed{v_{\rm ph}=c}.

4.5 Time-Averaged Energy Flux and Energy Density

For a monochromatic plane wave, the textbook uses complex amplitudes to calculate the time average:

⟨S⟩=c8πRe⁡(E0×B0∗).\langle\mathbf S\rangle =\frac{c}{8\pi} \operatorname{Re}(\mathbf E_0\times\mathbf B_0^*).

In vacuum, E0=B0E_0=B_0, so

⟨S⟩=c8π∣E0∣2=c8π∣B0∣2.\langle S\rangle =\frac{c}{8\pi}|E_0|^2 =\frac{c}{8\pi}|B_0|^2.

The mean energy density is

⟨u⟩=18π∣E0∣2,\langle u\rangle =\frac{1}{8\pi}|E_0|^2,

Therefore,

⟨S⟩⟨u⟩=c.\frac{\langle S\rangle}{\langle u\rangle}=c.

In vacuum, the energy-transport speed, phase velocity, and the group velocity defined below all equal cc.


5. Finite Pulses, Fourier Spectra, and Their Connection to Quantum Mechanics

5.1 A Finite Pulse Must Contain Multiple Frequencies

A strictly monochromatic wave

E(t)=E0cos⁡ω0tE(t)=E_0\cos\omega_0t

oscillates from t=−∞t=-\infty to t=+∞t=+\infty. It has an exact frequency but no finite duration.

A finite pulse must be written as a superposition of many Fourier modes:

E(t)=∫−∞∞E~(ω)e−iωt dω.\boxed{ E(t)=\int_{-\infty}^{\infty} \widetilde E(\omega)e^{-i\omega t}\,d\omega }.

where E~(ω)\widetilde E(\omega) gives the complex amplitude of each frequency component.

5.2 Why a Short Pulse Has a Broad Spectrum

Consider a single-frequency oscillation that exists only over −T/2<t<T/2-T/2<t<T/2:

E(t)={e−iω0t,∣t∣<T/2,0,∣t∣>T/2.E(t)= \begin{cases} e^{-i\omega_0t}, & |t|<T/2,\\ 0, & |t|>T/2. \end{cases}

Its Fourier transform is

E~(ω)∝∫−T/2T/2ei(ω−ω0)t dt=2sin⁡[(ω−ω0)T/2]ω−ω0.\widetilde E(\omega) \propto \int_{-T/2}^{T/2} e^{i(\omega-\omega_0)t}\,dt = \frac{2\sin[(\omega-\omega_0)T/2]} {\omega-\omega_0}.

The first zero satisfies

∣ω−ω0∣=2πT.|\omega-\omega_0|=\frac{2\pi}{T}.

so the order of magnitude of the spectral width is

Δω∼1T,\boxed{ \Delta\omega\sim\frac{1}{T} },

that is,

Δω Δt≳1.\boxed{ \Delta\omega\,\Delta t\gtrsim1 }.

Physically, two nearby frequencies accumulate a phase difference over a time TT equal to

ΔΦ=Δω T.\Delta\Phi=\Delta\omega\,T.

If ΔωT≪1\Delta\omega T\ll1, the two cannot be resolved within the finite observing time. A shorter observation gives poorer frequency resolution; likewise, localizing a wave into a short pulse requires a broader range of frequencies to interfere.

∂t→−iω\partial_t\rightarrow-i\omega and ∇→ik\nabla\rightarrow i\mathbf k are first of all results of classical Fourier analysis, not quantum assumptions. Quantum mechanics additionally uses

E=ℏω,p=ℏk.\boxed{E=\hbar\omega}, \qquad \boxed{\mathbf p=\hbar\mathbf k}.

Therefore, for a quantum plane wave

ψ∝ei(k⋅r−ωt),\psi\propto e^{i(\mathbf k\cdot\mathbf r-\omega t)},

we have

iℏ∂ψ∂t=Eψ,−iℏ∇ψ=pψ.i\hbar\frac{\partial\psi}{\partial t}=E\psi, \qquad -i\hbar\nabla\psi=\mathbf p\psi.

which gives the quantum energy and momentum operators

E^=iℏ∂t,p^=−iℏ∇.\hat E=i\hbar\partial_t, \qquad \hat{\mathbf p}=-i\hbar\nabla.

The classical Fourier relation

Δx Δk≥12\Delta x\,\Delta k\geq\frac12

combined with p=ℏkp=\hbar k becomes

Δx Δp≥ℏ2.\Delta x\,\Delta p\geq\frac{\hbar}{2}.

But the physical interpretations differ: for a classical electromagnetic field, ∣E∣2|E|^2 is related to energy density or intensity, whereas for a quantum wavefunction, ∣ψ∣2|\psi|^2 is a probability density. The plasma derivation in RL §8.1 remains classical electromagnetism; it merely shares the mathematical basis of Fourier modes with quantum mechanics.

5.4 Why This Material Is Necessary for Plasma Propagation

A short pulsar or FRB pulse naturally contains a range of frequencies. If the medium makes vgv_g frequency-dependent, different Fourier components arrive at different times and the original pulse is stretched. Dispersion delay is therefore the direct consequence of a finite pulse plus a frequency-dependent group velocity.


6. Free-Electron Response, Current, and the Effective Dielectric Constant

6.1 How Electrons Respond to an Electric Field

An electron has charge −e-e. Neglecting the magnetic force, collisions, and thermal pressure, its equation of motion is

mev˙=−eE.\boxed{ m_e\dot{\mathbf v}=-e\mathbf E }.

Using ei(k⋅r−ωt)e^{i(\mathbf k\cdot\mathbf r-\omega t)} gives v˙=−iωv\dot{\mathbf v}=-i\omega\mathbf v, so

−iωmev=−eE.-i\omega m_e\mathbf v=-e\mathbf E.

Solving gives

v=eiωmeE=−ieωmeE.\boxed{ \mathbf v=\frac{e}{i\omega m_e}\mathbf E =-\frac{i e}{\omega m_e}\mathbf E }.

The electron current density is

j=−neev,\mathbf j=-n_e e\mathbf v,

Therefore,

j=inee2ωmeE.\boxed{ \mathbf j =\frac{i n_e e^2}{\omega m_e}\mathbf E }.

If we write j=σE\mathbf j=\sigma\mathbf E, the effective conductivity is

σ=inee2ωme.\boxed{ \sigma=\frac{i n_e e^2}{\omega m_e} }.

It is purely imaginary, showing that the current and electric field differ in phase by 90∘90^\circ.

6.2 Substituting the Electron Current Back into Maxwell's Equations

The Ampère–Maxwell equation including the electron current is

∇×B=4πcj+1c∂E∂t.\nabla\times\mathbf B =\frac{4\pi}{c}\mathbf j +\frac{1}{c}\frac{\partial\mathbf E}{\partial t}.

For a plane wave,

ik×B=4πcj−iωcE.i\mathbf k\times\mathbf B =\frac{4\pi}{c}\mathbf j -\frac{i\omega}{c}\mathbf E.

Substitute j=σE\mathbf j=\sigma\mathbf E:

ik×B=1c(4πσ−iω)E.i\mathbf k\times\mathbf B =\frac{1}{c}(4\pi\sigma-i\omega)\mathbf E.

We want to write this in the ordinary-medium form

ik×B=−iωcϵ(ω)E.i\mathbf k\times\mathbf B =-\frac{i\omega}{c}\epsilon(\omega)\mathbf E.

Comparing coefficients gives

−iωϵ=4πσ−iω,-i\omega\epsilon=4\pi\sigma-i\omega,

so

ϵ=1−4πσiω.\epsilon =1-\frac{4\pi\sigma}{i\omega}.

Substituting σ=inee2/(ωme)\sigma=i n_e e^2/(\omega m_e) then gives

ϵ(ω)=1−4πnee2meω2.\boxed{ \epsilon(\omega) =1-\frac{4\pi n_e e^2}{m_e\omega^2} }.

Define

ωp2≡4πnee2me,\boxed{ \omega_p^2\equiv\frac{4\pi n_e e^2}{m_e} },

and obtain

ϵ(ω)=1−ωp2ω2.\boxed{ \epsilon(\omega)=1-\frac{\omega_p^2}{\omega^2} }.

This step is only a bookkeeping change: instead of writing the electron current explicitly, we absorb the linear electron response into a frequency-dependent dielectric constant.

6.3 Obtaining the Same Result from Polarization

Let the electron displacement be x\mathbf x. The equation of motion

mex¨=−eEm_e\ddot{\mathbf x}=-e\mathbf E

gives, for harmonic motion,

−meω2x=−eE,-m_e\omega^2\mathbf x=-e\mathbf E,

so

x=emeω2E.\mathbf x=\frac{e}{m_e\omega^2}\mathbf E.

The dipole moment of each electron is

p=−ex=−e2meω2E.\mathbf p=-e\mathbf x =-\frac{e^2}{m_e\omega^2}\mathbf E.

Therefore the polarization is

P=nep=−nee2meω2E.\mathbf P=n_e\mathbf p =-\frac{n_e e^2}{m_e\omega^2}\mathbf E.

In Gaussian-cgs units,

D=E+4πP,\mathbf D=\mathbf E+4\pi\mathbf P,

Thus,

D=(1−4πnee2meω2)E=ϵ(ω)E.\mathbf D =\left( 1-\frac{4\pi n_e e^2}{m_e\omega^2} \right)\mathbf E =\epsilon(\omega)\mathbf E.

The polarization current is

∂P∂t=−iωP=inee2meωE\frac{\partial\mathbf P}{\partial t} =-i\omega\mathbf P =\frac{i n_e e^2}{m_e\omega}\mathbf E

which is exactly the j\mathbf j obtained above. The two derivations are completely equivalent.

6.4 Physical Meaning of the Minus Sign

Because electrons are negatively charged, the induced polarization opposes the applied electric field:

P∥−E.\mathbf P\parallel-\mathbf E.

The electron response partially screens the external field, making ϵ<1\epsilon<1. Moreover, because

∣x∣∝1ω2,|\mathbf x|\propto\frac{1}{\omega^2},

at high frequency the electrons cannot move appreciably, so ϵ→1\epsilon\rightarrow1; at low frequency the response is stronger, and ϵ\epsilon differs substantially from unity.


7. Cold-Plasma Dispersion Relation, Cutoff, and Nondissipative Response

7.1 dispersion relation

Write Maxwell's equations as

ik×E=iωcB,i\mathbf k\times\mathbf E =i\frac{\omega}{c}\mathbf B, ik×B=−iωcϵE.i\mathbf k\times\mathbf B =-i\frac{\omega}{c}\epsilon\mathbf E.

Take k×\mathbf k\times of the first equation and use the transverse-wave condition k⋅E=0\mathbf k\cdot\mathbf E=0:

k×(k×E)=−k2E.\mathbf k\times(\mathbf k\times\mathbf E) =-k^2\mathbf E.

Eliminating B\mathbf B gives

c2k2=ϵω2.c^2k^2=\epsilon\omega^2.

Substitute ϵ=1−ωp2/ω2\epsilon=1-\omega_p^2/\omega^2:

c2k2=ω2−ωp2.c^2k^2 =\omega^2-\omega_p^2.

Therefore,

ω2=ωp2+c2k2.\boxed{ \omega^2=\omega_p^2+c^2k^2 }.

This nonlinear relation between ω(k)\omega(k) is the origin of dispersion and of the difference between phase and group velocity.

7.2 Numerical Value of the Plasma Frequency

If nen_e is measured in cm−3\mathrm{cm^{-3}}, then

ωp=5.63×104necm−3 s−1.\boxed{ \omega_p =5.63\times10^4 \sqrt{\frac{n_e}{\mathrm{cm^{-3}}}} \ \mathrm{s^{-1}} }.

The ordinary frequency is

νp=ωp2π=8.98 kHznecm−3.\boxed{ \nu_p=\frac{\omega_p}{2\pi} =8.98\,\mathrm{kHz} \sqrt{\frac{n_e}{\mathrm{cm^{-3}}}} }.

7.3 Why a Cutoff Appears

From

k2=ω2−ωp2c2k^2=\frac{\omega^2-\omega_p^2}{c^2}

we see that:

  • if ω>ωp\omega>\omega_p, then kk is real and a propagating wave exists;
  • if ω<ωp\omega<\omega_p, then kk is purely imaginary and there is no normally propagating transverse electromagnetic wave.

Let

k=iκ,κ=1cωp2−ω2.k=i\kappa, \qquad \kappa=\frac{1}{c}\sqrt{\omega_p^2-\omega^2}.

The spatial factor becomes

eikr=e−κr,e^{ikr}=e^{-\kappa r},

an evanescent field. In the ideal collisionless model, this usually corresponds to reflection and a finite penetration depth rather than conversion of energy into heat.

7.4 Why the Medium Is Dispersive but Has No Ordinary Resistive Dissipation

Write the real electric field as

E(t)=E0cos⁡ωt.\mathbf E(t)=\mathbf E_0\cos\omega t.

The electron motion gives

v(t)=−eE0meωsin⁡ωt,\mathbf v(t) =-\frac{e\mathbf E_0}{m_e\omega}\sin\omega t,

Therefore,

j(t)=nee2E0meωsin⁡ωt.\mathbf j(t) =\frac{n_e e^2\mathbf E_0}{m_e\omega}\sin\omega t.

j\mathbf j and E\mathbf E differ in phase by 90∘90^\circ. The instantaneous power per unit volume is

j⋅E∝sin⁡ωtcos⁡ωt=12sin⁡2ωt.\mathbf j\cdot\mathbf E \propto\sin\omega t\cos\omega t =\frac12\sin2\omega t.

Averaging over one period gives

⟨j⋅E⟩=0.\boxed{ \langle\mathbf j\cdot\mathbf E\rangle=0 }.

During part of each cycle, the electrons take energy from the field; during another part they return their kinetic energy to it. The complex conductivity

σ=inee2ωme\sigma=\frac{i n_e e^2}{\omega m_e}

has only an imaginary part, while the average Joule power

⟨P⟩=12Re⁡(σ)∣E0∣2\langle P\rangle =\frac12\operatorname{Re}(\sigma)|E_0|^2

vanishes. The response is therefore like an ideal inductor or capacitor: it is reactive, changing phase and propagation speed without producing net thermal dissipation.

If a collision frequency νcoll\nu_{\rm coll} is included, the equation of motion becomes

me(v˙+νcollv)=−eE.m_e(\dot{\mathbf v}+\nu_{\rm coll}\mathbf v) =-e\mathbf E.

Then Re⁡(σ)>0\operatorname{Re}(\sigma)>0, and coherent electron oscillation is converted into random thermal motion, so the medium genuinely absorbs electromagnetic energy.


8. Phase Velocity, Group Velocity, and Signal Propagation

8.1 The Two Definitions Track Different Objects

The phase velocity

vph=ωk\boxed{ v_{\rm ph}=\frac{\omega}{k} }

tracks a single wave crest or surface of constant phase.

The group velocity

vg=dωdk\boxed{ v_g=\frac{d\omega}{dk} }

tracks the envelope of a narrow packet made from nearby wavenumbers. In a transparent, weakly absorbing medium with normal dispersion, it is also the propagation speed of the pulse centroid, energy, and modulation.

8.2 Seeing Group Velocity from Two Nearby Waves

Take

E1=cos⁡(k1x−ω1t),E2=cos⁡(k2x−ω2t).E_1=\cos(k_1x-\omega_1t), \qquad E_2=\cos(k_2x-\omega_2t).

Add them and use a trigonometric identity:

E1+E2=2cos⁡(Δk2x−Δω2t)cos⁡(kˉx−ωˉt).E_1+E_2 =2\cos\left( \frac{\Delta k}{2}x -\frac{\Delta\omega}{2}t \right) \cos(\bar kx-\bar\omega t).

The fast carrier has phase velocity approximately ωˉ/kˉ\bar\omega/\bar k; the slow envelope moves at

ΔωΔk.\frac{\Delta\omega}{\Delta k}.

When Δk→0\Delta k\rightarrow0,

vg=dωdk.\boxed{ v_g=\frac{d\omega}{dk} }.

8.3 Phase Velocity in a Cold Plasma

From

k=ωc1−ωp2ω2,k=\frac{\omega}{c} \sqrt{1-\frac{\omega_p^2}{\omega^2}},

the refractive index is

nr≡ckω=1−ωp2ω2.\boxed{ n_r\equiv\frac{ck}{\omega} =\sqrt{1-\frac{\omega_p^2}{\omega^2}} }.

Therefore,

vph=ωk=cnr=c1−ωp2/ω2>c.\boxed{ v_{\rm ph} =\frac{\omega}{k} =\frac{c}{n_r} =\frac{c}{\sqrt{1-\omega_p^2/\omega^2}} >c }.

8.4 Group Velocity in a Cold Plasma

For

ω2=ωp2+c2k2\omega^2=\omega_p^2+c^2k^2

differentiate with respect to kk:

2ωdωdk=2c2k.2\omega\frac{d\omega}{dk}=2c^2k.

Thus,

vg=dωdk=c2kω=c1−ωp2ω2=cnr<c.\boxed{ v_g =\frac{d\omega}{dk} =\frac{c^2k}{\omega} =c\sqrt{1-\frac{\omega_p^2}{\omega^2}} =cn_r<c }.

The two velocities satisfy

vphvg=c2.\boxed{ v_{\rm ph}v_g=c^2 }.

8.5 Why vph>cv_{\rm ph}>c Does Not Violate Relativity

A wave crest is an interference pattern, not an independent object carrying energy and information. As the wave propagates, one crest can disappear at the back of the envelope while another forms at the front. A superluminal phase pattern does not imply superluminal transmission of new information.

Strictly speaking, the causal speed is the wave-front velocity. In the ideal collisionless cold plasma of this lesson, energy and a finite pulse propagate at vg<cv_g<c.

When ω→ωp+\omega\rightarrow\omega_p^+, k→0k\rightarrow0, so

vph→∞,vg→0.v_{\rm ph}\rightarrow\infty, \qquad v_g\rightarrow0.

This does not mean that energy propagates infinitely fast. It means that the phase has an extremely large spatial scale while the wave packet can transport almost no energy forward.


9. Pulsar Dispersion, DM, and the Numerical Coefficient 4.15 ms

9.1 High-Frequency Expansion

The group velocity in a cold plasma is

vg=c1−ωp2ω2.v_g=c\sqrt{1-\frac{\omega_p^2}{\omega^2}}.

An interstellar plasma usually satisfies ω≫ωp\omega\gg\omega_p. Let x=ωp2/ω2≪1x=\omega_p^2/\omega^2\ll1 and use

(1−x)−1/2≃1+x2,(1-x)^{-1/2}\simeq1+\frac{x}{2},

to obtain

1vg≃1c(1+12ωp2ω2).\frac{1}{v_g} \simeq \frac{1}{c} \left( 1+\frac12\frac{\omega_p^2}{\omega^2} \right).

The propagation time is

tp(ω)=∫0ddsvg.t_p(\omega)=\int_0^d\frac{ds}{v_g}.

Therefore,

tp(ω)≃dc+12cω2∫0dωp2(s) ds.t_p(\omega) \simeq \frac{d}{c} +\frac{1}{2c\omega^2} \int_0^d\omega_p^2(s)\,ds.

The first term is the vacuum propagation time and the second is the additional plasma delay.

9.2 dispersion measure

Substituting

ωp2=4πnee2me,ω=2πν,\omega_p^2=\frac{4\pi n_e e^2}{m_e}, \qquad \omega=2\pi\nu,

gives

Δtplasma(ν)=e22πmec1ν2∫0dne(s) ds.\Delta t_{\rm plasma}(\nu) =\frac{e^2}{2\pi m_ec} \frac{1}{\nu^2} \int_0^d n_e(s)\,ds.

Define

DM≡∫0dne(s) ds,\boxed{ \mathrm{DM}\equiv\int_0^d n_e(s)\,ds },

Then,

Δtplasma(ν)=e22πmecDMν2.\boxed{ \Delta t_{\rm plasma}(\nu) =\frac{e^2}{2\pi m_ec} \frac{\mathrm{DM}}{\nu^2} }.

DM is an electron column density, not a distance. A Galactic electron-density model must additionally be adopted before DM can be used to estimate distance.

9.3 Delay Between Two Frequencies

The difference in arrival time between a low and a high frequency is

Δt=e22πmecDM(1νlow2−1νhigh2).\Delta t =\frac{e^2}{2\pi m_ec} \mathrm{DM} \left( \frac{1}{\nu_{\rm low}^2} -\frac{1}{\nu_{\rm high}^2} \right).

Because νlow−2>νhigh−2\nu_{\rm low}^{-2}>\nu_{\rm high}^{-2}, the lower-frequency component arrives later.

9.4 Why the Numerical Coefficient Is 4.15

In Gaussian-cgs units,

e=4.8032×10−10 statC,e=4.8032\times10^{-10}\,\mathrm{statC}, me=9.1094×10−28 g,c=2.9979×1010 cm s−1.m_e=9.1094\times10^{-28}\,\mathrm{g}, \qquad c=2.9979\times10^{10}\,\mathrm{cm\,s^{-1}}.

Therefore,

e22πmec=1.3445×10−3 cm2 s−1.\frac{e^2}{2\pi m_ec} =1.3445\times10^{-3}\,\mathrm{cm^2\,s^{-1}}.

Also,

1 pc=3.0857×1018 cm,1\,\mathrm{pc}=3.0857\times10^{18}\,\mathrm{cm}, 1 pc cm−3=3.0857×1018 cm−2,1\,\mathrm{pc\,cm^{-3}} =3.0857\times10^{18}\,\mathrm{cm^{-2}},

and

(1 GHz)−2=10−18 s2.(1\,\mathrm{GHz})^{-2}=10^{-18}\,\mathrm{s^2}.

so

(1.3445×10−3)(3.0857×1018)(10−18)=4.1488×10−3 s.\left(1.3445\times10^{-3}\right) \left(3.0857\times10^{18}\right) \left(10^{-18}\right) =4.1488\times10^{-3}\,\mathrm{s}.

that is,

4.1488 ms≃4.15 ms.\boxed{4.1488\,\mathrm{ms}\simeq4.15\,\mathrm{ms}}.

The commonly used final expression is

Δt≃4.15 ms(DMpc cm−3)[(νlowGHz)−2−(νhighGHz)−2].\boxed{ \Delta t \simeq 4.15\,\mathrm{ms} \left( \frac{\mathrm{DM}}{\mathrm{pc\,cm^{-3}}} \right) \left[ \left( \frac{\nu_{\rm low}}{\mathrm{GHz}} \right)^{-2} - \left( \frac{\nu_{\rm high}}{\mathrm{GHz}} \right)^{-2} \right] }.

4.154.15 is not a new fundamental constant; it is the result of combining ee, mem_e, and cc with the unit conversions for pc, GHz, and ms.

9.5 An Order-of-Magnitude Example

Suppose

DM=30 pc cm−3,\mathrm{DM}=30\,\mathrm{pc\,cm^{-3}},

Comparing 0.4 GHz0.4\,\mathrm{GHz} with 0.8 GHz0.8\,\mathrm{GHz} gives

Δt=4.15 ms×30(0.4−2−0.8−2)≃0.58 s.\Delta t =4.15\,\mathrm{ms}\times30 \left(0.4^{-2}-0.8^{-2}\right) \simeq0.58\,\mathrm{s}.

The low-frequency delay can be very pronounced at radio wavelengths, making pulsars and FRBs useful probes of electron column density.


10. Problem 2.2: Conducting Media, Complex Refractive Index, and Absorption

10.1 Objective

A conducting medium obeys

j=σE.\mathbf j=\sigma\mathbf E.

The problem asks us to prove

k2=ω2m2c2,\boxed{ k^2=\frac{\omega^2m^2}{c^2} },

where the textbook uses mm for the complex refractive index:

m2=μϵ(1+4πiσωϵ).\boxed{ m^2 =\mu\epsilon \left( 1+\frac{4\pi i\sigma}{\omega\epsilon} \right) }.

It then asks us to prove that the intensity absorption coefficient is

αν=2ωcIm⁡(m).\boxed{ \alpha_\nu =\frac{2\omega}{c}\operatorname{Im}(m) }.

10.2 Maxwell's Equations in Fourier Form

Use D=ϵE\mathbf D=\epsilon\mathbf E and B=μH\mathbf B=\mu\mathbf H:

∇×E=−1c∂B∂t,\nabla\times\mathbf E =-\frac{1}{c}\frac{\partial\mathbf B}{\partial t}, ∇×H=4πcj+1c∂D∂t.\nabla\times\mathbf H =\frac{4\pi}{c}\mathbf j +\frac{1}{c}\frac{\partial\mathbf D}{\partial t}.

Substitute the plane wave and j=σE\mathbf j=\sigma\mathbf E:

k×E=ωμcH,(10.1)\mathbf k\times\mathbf E =\frac{\omega\mu}{c}\mathbf H, \tag{10.1} k×H=−1c(ωϵ+i4πσ)E.(10.2)\mathbf k\times\mathbf H =-\frac{1}{c} (\omega\epsilon+i4\pi\sigma) \mathbf E. \tag{10.2}

Take k×\mathbf k\times of equation (10.1):

k×(k×E)=ωμck×H.\mathbf k\times(\mathbf k\times\mathbf E) =\frac{\omega\mu}{c} \mathbf k\times\mathbf H.

For the transverse branch, k⋅E=0\mathbf k\cdot\mathbf E=0, so the left-hand side is −k2E-k^2\mathbf E. Substituting equation (10.2) gives

−k2E=−ωμc2(ωϵ+i4πσ)E.-k^2\mathbf E =-\frac{\omega\mu}{c^2} (\omega\epsilon+i4\pi\sigma) \mathbf E.

Therefore,

k2=ω2μϵc2(1+4πiσωϵ).k^2 =\frac{\omega^2\mu\epsilon}{c^2} \left( 1+\frac{4\pi i\sigma}{\omega\epsilon} \right).

Define

m2=μϵ(1+4πiσωϵ),m^2 =\mu\epsilon \left( 1+\frac{4\pi i\sigma}{\omega\epsilon} \right),

and obtain

k=ωcm.\boxed{k=\frac{\omega}{c}m}.

10.3 What “the Spatial Part of the Wave” Means

The full plane wave can be separated as

E(r,t)=E0eikr⏟spatial dependencee−iωt⏟temporal dependence.E(r,t)=E_0 \underbrace{e^{ikr}}_{\text{spatial dependence}} \underbrace{e^{-i\omega t}}_{\text{temporal dependence}}.

At a fixed time, eikre^{ikr} determines the spatial oscillation; at a fixed position, e−iωte^{-i\omega t} determines the temporal oscillation. Only together do they constitute a propagating wave.

10.4 Why a Complex Refractive Index Produces Spatial Attenuation

Let

m=mR+imI,k=ωc(mR+imI).m=m_R+i m_I, \qquad k=\frac{\omega}{c}(m_R+i m_I).

The spatial factor is

eikr=exp⁡[iωc(mR+imI)r].e^{ikr} =\exp\left[ i\frac{\omega}{c}(m_R+i m_I)r \right].

Because i2=−1i^2=-1,

eikr=e−ωmIr/ceiωmRr/c.e^{ikr} =e^{-\omega m_Ir/c} e^{i\omega m_Rr/c}.

we have

∣E(r)∣=∣E0∣e−ωmIr/c.\boxed{ |E(r)|=|E_0|e^{-\omega m_Ir/c} }.

mRm_R controls phase and wavelength, whereas mI>0m_I>0 controls the attenuation of amplitude with distance. Under the ei(kr−ωt)e^{i(kr-\omega t)} convention used here, the physical solution has mI>0m_I>0, preventing exponential growth in a passive medium.

Intensity is proportional to the square of the amplitude:

Iν(r)=Iν(0)e−2ωmIr/c.I_\nu(r) =I_\nu(0)e^{-2\omega m_Ir/c}.

Comparing this with

Iν(r)=Iν(0)e−ανrI_\nu(r)=I_\nu(0)e^{-\alpha_\nu r}

gives

αν=2ωcmI=2ωcIm⁡(m).\boxed{ \alpha_\nu =\frac{2\omega}{c}m_I =\frac{2\omega}{c}\operatorname{Im}(m) }.

The factor of two appears because intensity is the square of the field amplitude.

10.5 Physical Meaning and the SI Version

If a conducting medium has Re⁡(σ)>0\operatorname{Re}(\sigma)>0, then

⟨j⋅E⟩>0.\langle\mathbf j\cdot\mathbf E\rangle>0.

electromagnetic energy is irreversibly converted into Joule heat, appearing as a positive imaginary part of the complex refractive index and as attenuation of the intensity.

In SI units, the safest intermediate equation, avoiding the cgs factor 4π4\pi, is

k2=ω2μϵ+iωμσ.\boxed{ k^2=\omega^2\mu\epsilon+i\omega\mu\sigma }.

where ϵ\epsilon and μ\mu are the SI absolute permittivity and permeability.


11. Problem 8.1: Why Iν/nr2I_\nu/n_r^2 Is Conserved Along a Ray

11.1 Problem and Assumptions

The problem asks us to prove, in a refracting medium, that

Iνnr2=constant along a ray.\boxed{ \frac{I_\nu}{n_r^2} =\mathrm{constant\ along\ a\ ray} }.

Here nrn_r is the refractive index. Assume a stationary, locally planar interface, isotropic media on both sides, and no absorption, emission, or reflection loss.

11.2 Conservation of Energy Flux Across the Interface

For a small interface area dAdA, the normal energy flux carried by a beam in the frequency interval dνd\nu and solid angle dΩd\Omega is

dP=Iνcos⁡θ dA dΩ dν.dP =I_\nu\cos\theta\,dA\,d\Omega\,d\nu.

Therefore, on the two sides of the interface,

Iν,1cos⁡θ1 dΩ1=Iν,2cos⁡θ2 dΩ2.(11.1)I_{\nu,1}\cos\theta_1\,d\Omega_1 =I_{\nu,2}\cos\theta_2\,d\Omega_2. \tag{11.1}

11.3 Why dϕ1=dϕ2d\phi_1=d\phi_2

Take the interface normal as the zz axis and write the ray direction as

k^=(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ).\hat{\mathbf k} =(\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta).

A planar interface requires conservation of the component of the wave vector parallel to the interface:

k1,∥=k2,∥.\mathbf k_{1,\parallel}=\mathbf k_{2,\parallel}.

that is,

k1sin⁡θ1(cos⁡ϕ1,sin⁡ϕ1)=k2sin⁡θ2(cos⁡ϕ2,sin⁡ϕ2).k_1\sin\theta_1 (\cos\phi_1,\sin\phi_1) =k_2\sin\theta_2 (\cos\phi_2,\sin\phi_2).

Equality of the magnitudes gives Snell's law, while equality of the directions requires

ϕ2=ϕ1.\boxed{\phi_2=\phi_1}.

The azimuthal separation between two neighboring rays is therefore also unchanged:

dϕ2=dϕ1.\boxed{d\phi_2=d\phi_1}.

Geometrically, refraction changes the inclination angle θ\theta toward or away from the normal, but it does not make a ray rotate around the normal without cause; the incident ray, refracted ray, and normal remain in the same plane of incidence.

11.4 How the Solid Angle Changes

In spherical coordinates, the solid-angle element is

dΩ=sin⁡θ dθ dϕ.d\Omega=\sin\theta\,d\theta\,d\phi.

Snell's law is

n1sin⁡θ1=n2sin⁡θ2.(11.2)n_1\sin\theta_1=n_2\sin\theta_2. \tag{11.2}

Differentiating it gives

n1cos⁡θ1 dθ1=n2cos⁡θ2 dθ2.(11.3)n_1\cos\theta_1\,d\theta_1 =n_2\cos\theta_2\,d\theta_2. \tag{11.3}

Using dϕ2=dϕ1d\phi_2=d\phi_1,

dΩ2dΩ1=sin⁡θ2 dθ2sin⁡θ1 dθ1.\frac{d\Omega_2}{d\Omega_1} =\frac{\sin\theta_2\,d\theta_2} {\sin\theta_1\,d\theta_1}.

Equations (11.2) and (11.3), respectively, give

sin⁡θ2sin⁡θ1=n1n2,\frac{\sin\theta_2}{\sin\theta_1} =\frac{n_1}{n_2}, dθ2dθ1=n1cos⁡θ1n2cos⁡θ2.\frac{d\theta_2}{d\theta_1} =\frac{n_1\cos\theta_1} {n_2\cos\theta_2}.

Therefore,

dΩ2dΩ1=n12n22cos⁡θ1cos⁡θ2.\boxed{ \frac{d\Omega_2}{d\Omega_1} =\frac{n_1^2}{n_2^2} \frac{\cos\theta_1}{\cos\theta_2} }.

11.5 Obtaining the Invariant

Substitute into the flux-conservation equation (11.1):

Iν,1cos⁡θ1dΩ1=Iν,2cos⁡θ2(n12n22cos⁡θ1cos⁡θ2dΩ1).I_{\nu,1}\cos\theta_1d\Omega_1 =I_{\nu,2}\cos\theta_2 \left( \frac{n_1^2}{n_2^2} \frac{\cos\theta_1}{\cos\theta_2} d\Omega_1 \right).

Cancel the common factors:

Iν,1=Iν,2n12n22.I_{\nu,1} =I_{\nu,2}\frac{n_1^2}{n_2^2}.

Thus,

Iν,1n12=Iν,2n22.\boxed{ \frac{I_{\nu,1}}{n_1^2} =\frac{I_{\nu,2}}{n_2^2} }.

Treating a continuously varying medium as a sequence of infinitesimally thin interfaces shows that Iν/nr2I_\nu/n_r^2 is conserved along a ray.

11.6 Physical Interpretation

Refraction compresses or expands the solid angle occupied by a beam in direction space. A change in IνI_\nu need not mean that energy has been created or destroyed; the same energy may simply have been redistributed over a different-sized dΩd\Omega.

This is also a manifestation of conservation of optical étendue and of Liouville's theorem in a refracting medium. In vacuum, where nr=1n_r=1, it reduces to the familiar conservation of IνI_\nu along a source-free ray.


12. Problem 8.2: Why the Wave-Packet Centroid Moves at the Group Velocity

12.1 Problem

A one-dimensional wave packet is

ψ(r,t)=∫−∞∞A(k)ei[kr−ω(k)t] dk.\psi(r,t) =\int_{-\infty}^{\infty} A(k)e^{i[kr-\omega(k)t]}\,dk.

Define its centroid by

⟨r(t)⟩=∫r∣ψ(r,t)∣2dr∫∣ψ(r,t)∣2dr.\langle r(t)\rangle =\frac{\int r|\psi(r,t)|^2dr} {\int|\psi(r,t)|^2dr}.

We must prove

ddt⟨r(t)⟩=∫(dω/dk)∣A(k)∣2dk∫∣A(k)∣2dk.\boxed{ \frac{d}{dt}\langle r(t)\rangle = \frac{ \int (d\omega/dk)|A(k)|^2dk }{ \int |A(k)|^2dk } }.

12.2 Putting the Time Evolution into the Fourier Amplitude

Define

ϕ(k,t)=A(k)e−iω(k)t.\phi(k,t)=A(k)e^{-i\omega(k)t}.

Then,

ψ(r,t)=∫ϕ(k,t)eikr dk.\psi(r,t)=\int\phi(k,t)e^{ikr}\,dk.

By Parseval's relation,

∫∣ψ∣2dr=2π∫∣ϕ∣2dk=2π∫∣A(k)∣2dk.\int|\psi|^2dr =2\pi\int|\phi|^2dk =2\pi\int|A(k)|^2dk.

Because ω(k)\omega(k) is real, ∣e−iωt∣=1|e^{-i\omega t}|=1, so the denominator is independent of time.

12.3 The Role of Position in kk Space

From

reikr=1i∂∂keikr=−i∂∂keikr,r e^{ikr} =\frac{1}{i}\frac{\partial}{\partial k}e^{ikr} =-i\frac{\partial}{\partial k}e^{ikr},

and assuming that A(k)A(k) tends to zero sufficiently rapidly at the integration boundaries, integration by parts gives

⟨r(t)⟩=∫ϕ∗(k,t)i∂kϕ(k,t) dk∫∣ϕ(k,t)∣2dk.\langle r(t)\rangle =\frac{ \int\phi^*(k,t) i\partial_k\phi(k,t)\,dk }{ \int|\phi(k,t)|^2dk }.

Evaluate the derivative:

i∂kϕ=iA′(k)e−iωt+tdωdkA(k)e−iωt.i\partial_k\phi =iA'(k)e^{-i\omega t} +t\frac{d\omega}{dk}A(k)e^{-i\omega t}.

Therefore,

⟨r(t)⟩=r0+t∫(dω/dk)∣A(k)∣2dk∫∣A(k)∣2dk,\langle r(t)\rangle =r_0 +t \frac{ \int (d\omega/dk)|A(k)|^2dk }{ \int |A(k)|^2dk },

where r0r_0 is the time-independent initial centroid. Differentiating with respect to time gives

ddt⟨r(t)⟩=⟨dωdk⟩.\boxed{ \frac{d}{dt}\langle r(t)\rangle =\left\langle\frac{d\omega}{dk}\right\rangle }.

12.4 The Narrow-Packet Limit

If ∣A(k)∣2|A(k)|^2 is significant only near k0k_0, then dω/dkd\omega/dk is approximately constant across the packet:

d⟨r⟩dt≃dωdk∣k0=vg.\boxed{ \frac{d\langle r\rangle}{dt} \simeq \left.\frac{d\omega}{dk}\right|_{k_0} =v_g }.

Thus group velocity is not an arbitrary definition: it is indeed the propagation velocity of the centroid of a narrow wave packet. If the packet is broad and d2ω/dk2≠0d^2\omega/dk^2\neq0, different kk components also propagate at different speeds, causing the packet to broaden as it moves.


13. English assignment-ready solutions

13.1 Problem 2.2

Assume fields proportional to exp⁡[i(k⋅r−ωt)]\exp[i(\mathbf k\cdot\mathbf r-\omega t)] in a homogeneous conducting medium, with

D=ϵE,B=μH,j=σE.\mathbf D=\epsilon\mathbf E, \qquad \mathbf B=\mu\mathbf H, \qquad \mathbf j=\sigma\mathbf E.

Faraday's and Ampère-Maxwell's equations give

k×E=ωμcH,\mathbf k\times\mathbf E =\frac{\omega\mu}{c}\mathbf H,

and

k×H=−1c(ωϵ+i4πσ)E.\mathbf k\times\mathbf H =-\frac{1}{c} (\omega\epsilon+i4\pi\sigma)\mathbf E.

For the transverse electromagnetic mode, k⋅E=0\mathbf k\cdot\mathbf E=0, so

k×(k×E)=−k2E.\mathbf k\times(\mathbf k\times\mathbf E) =-k^2\mathbf E.

Eliminating H\mathbf H therefore yields

k2=ω2μϵc2(1+4πiσωϵ).k^2 =\frac{\omega^2\mu\epsilon}{c^2} \left( 1+\frac{4\pi i\sigma}{\omega\epsilon} \right).

Defining the complex refractive index mm by

m2=μϵ(1+4πiσωϵ),\boxed{ m^2 =\mu\epsilon \left( 1+\frac{4\pi i\sigma}{\omega\epsilon} \right) },

we obtain

k2=ω2m2c2.\boxed{ k^2=\frac{\omega^2m^2}{c^2} }.

Write m=mR+imIm=m_R+i m_I and choose the physical branch with mI>0m_I>0. The spatial factor becomes

eikr=e−ωmIr/ceiωmRr/c.e^{ikr} =e^{-\omega m_Ir/c} e^{i\omega m_Rr/c}.

Thus the field amplitude decreases as e−ωmIr/ce^{-\omega m_Ir/c}, whereas the intensity decreases as

Iν(r)=Iν(0)e−2ωmIr/c.I_\nu(r) =I_\nu(0)e^{-2\omega m_Ir/c}.

Comparison with Iν(r)=Iν(0)e−ανrI_\nu(r)=I_\nu(0)e^{-\alpha_\nu r} gives

αν=2ωcIm⁡(m).\boxed{ \alpha_\nu =\frac{2\omega}{c}\operatorname{Im}(m) }.

The factor of two appears because intensity is proportional to the squared field amplitude. With the opposite Fourier convention, the sign assigned to Im⁡(m)\operatorname{Im}(m) changes, but the physical attenuation remains positive.

13.2 Problem 8.1

Consider a narrow ray bundle crossing a plane interface between two stationary, isotropic, lossless media. Conservation of the monochromatic power normal to the interface requires

Iν,1cos⁡θ1 dΩ1=Iν,2cos⁡θ2 dΩ2.(1)I_{\nu,1}\cos\theta_1\,d\Omega_1 =I_{\nu,2}\cos\theta_2\,d\Omega_2. \tag{1}

Snell's law is

n1sin⁡θ1=n2sin⁡θ2.(2)n_1\sin\theta_1=n_2\sin\theta_2. \tag{2}

Differentiating gives

n1cos⁡θ1 dθ1=n2cos⁡θ2 dθ2.(3)n_1\cos\theta_1\,d\theta_1 =n_2\cos\theta_2\,d\theta_2. \tag{3}

The tangential wave-vector direction is unchanged at an isotropic plane interface, so the incident and refracted rays remain in the same plane of incidence and dϕ2=dϕ1d\phi_2=d\phi_1. Since

dΩ=sin⁡θ dθ dϕ,d\Omega=\sin\theta\,d\theta\,d\phi,

Eqs. (2) and (3) imply

dΩ2dΩ1=n12n22cos⁡θ1cos⁡θ2.\frac{d\Omega_2}{d\Omega_1} =\frac{n_1^2}{n_2^2} \frac{\cos\theta_1}{\cos\theta_2}.

Substitution into Eq. (1) gives

Iν,1=Iν,2n12n22,I_{\nu,1} =I_{\nu,2}\frac{n_1^2}{n_2^2},

and hence

Iν,1n12=Iν,2n22.\boxed{ \frac{I_{\nu,1}}{n_1^2} =\frac{I_{\nu,2}}{n_2^2} }.

Treating a smoothly varying medium as a sequence of infinitesimal interfaces shows that Iν/nr2I_\nu/n_r^2 is constant along a ray, provided there is no emission, absorption, or reflective loss.

13.3 Problem 8.2

Define

ϕ(k,t)=A(k)e−iω(k)t,\phi(k,t)=A(k)e^{-i\omega(k)t},

so that

ψ(r,t)=∫−∞∞ϕ(k,t)eikr dk.\psi(r,t)=\int_{-\infty}^{\infty}\phi(k,t)e^{ikr}\,dk.

Parseval's theorem gives

∫∣ψ∣2dr=2π∫∣A(k)∣2dk,\int|\psi|^2dr =2\pi\int|A(k)|^2dk,

which is independent of time because ω(k)\omega(k) is real. Using the Fourier-space representation of position and assuming that A(k)A(k) vanishes sufficiently rapidly at the integration boundaries,

⟨r(t)⟩=∫ϕ∗i∂kϕ dk∫∣ϕ∣2dk.\langle r(t)\rangle =\frac{ \int\phi^* i\partial_k\phi\,dk }{ \int|\phi|^2dk }.

Since

i∂kϕ=iA′(k)e−iωt+tdωdkA(k)e−iωt,i\partial_k\phi =iA'(k)e^{-i\omega t} +t\frac{d\omega}{dk}A(k)e^{-i\omega t},

the centroid is

⟨r(t)⟩=r0+t∫(dω/dk)∣A(k)∣2dk∫∣A(k)∣2dk.\langle r(t)\rangle =r_0 +t \frac{ \int(d\omega/dk)|A(k)|^2dk }{ \int|A(k)|^2dk }.

Therefore

ddt⟨r(t)⟩=∫(dω/dk)∣A(k)∣2dk∫∣A(k)∣2dk.\boxed{ \frac{d}{dt}\langle r(t)\rangle = \frac{ \int(d\omega/dk)|A(k)|^2dk }{ \int|A(k)|^2dk } }.

For a narrow packet centered on k0k_0, this weighted average becomes

d⟨r⟩dt≃dωdk∣k0=vg.\boxed{ \frac{d\langle r\rangle}{dt} \simeq \left.\frac{d\omega}{dk}\right|_{k_0} =v_g }.

Thus the group velocity is the propagation velocity of the centroid of a narrow wave packet.


14. Review Checklist, Dimensional Checks, and Common Confusions

14.1 You Should Be Able to Derive Independently

  • Derive the wave equations for E\mathbf E and B\mathbf B from the vacuum Maxwell equations.
  • Substitute a plane wave into the wave equation to obtain ω=ck\omega=ck and vph=cv_{\rm ph}=c.
  • Derive j=inee2E/(ωme)\mathbf j=i n_e e^2\mathbf E/(\omega m_e) from mev˙=−eEm_e\dot{\mathbf v}=-e\mathbf E.
  • Absorb the electron current into the Ampère–Maxwell equation to obtain ϵ=1−ωp2/ω2\epsilon=1-\omega_p^2/\omega^2.
  • Derive ω2=ωp2+c2k2\omega^2=\omega_p^2+c^2k^2 from Maxwell's equations.
  • Use the dispersion relation to derive vphv_{\rm ph}, vgv_g, and vphvg=c2v_{\rm ph}v_g=c^2.
  • Use the high-frequency expansion of vgv_g to obtain Δt∝DM ν−2\Delta t\propto\mathrm{DM}\,\nu^{-2}.
  • Complete the derivation from complex refractive index to absorption coefficient in Problem 2.2.
  • Use Snell's law and energy-flux conservation to prove that Iν/nr2I_\nu/n_r^2 is conserved along a ray.
  • Use the Fourier-space position operator to prove that the wave-packet centroid velocity is the spectral weighted average of dω/dkd\omega/dk.

14.2 Core Results Worth Memorizing

ωp2=4πnee2me,ϵ=1−ωp2ω2,\omega_p^2=\frac{4\pi n_e e^2}{m_e}, \qquad \epsilon=1-\frac{\omega_p^2}{\omega^2}, ω2=ωp2+c2k2,\omega^2=\omega_p^2+c^2k^2, vph=c1−ωp2/ω2,vg=c1−ωp2ω2,v_{\rm ph}=\frac{c}{\sqrt{1-\omega_p^2/\omega^2}}, \qquad v_g=c\sqrt{1-\frac{\omega_p^2}{\omega^2}}, DM=∫ne ds,Δt∝DM ν−2,\mathrm{DM}=\int n_e\,ds, \qquad \Delta t\propto\mathrm{DM}\,\nu^{-2}, Iνnr2=constant along a ray.\frac{I_\nu}{n_r^2}=\mathrm{constant\ along\ a\ ray}.

14.3 Dimensional Checks

In Gaussian-cgs units, e2e^2 has dimensions erg cm=g cm3 s−2\mathrm{erg\,cm}=\mathrm{g\,cm^3\,s^{-2}}, so

[nee2me]=s−2,\left[ \frac{n_e e^2}{m_e} \right] =\mathrm{s^{-2}},

in agreement with ωp2\omega_p^2.

The unit of DM is

[neds]=cm−3×pc,[n_e ds]=\mathrm{cm^{-3}}\times\mathrm{pc},

which is fundamentally a column density. Converting pc to cm gives cm−2\mathrm{cm^{-2}}.

The absorption coefficient

αν=2ωcIm⁡(m)\alpha_\nu=\frac{2\omega}{c}\operatorname{Im}(m)

has dimensions

[ω/c]=cm−1,[\omega/c]=\mathrm{cm^{-1}},

as required by Iν=Iν,0e−ανrI_\nu=I_{\nu,0}e^{-\alpha_\nu r}.

14.4 The Most Common Points of Confusion

  1. ρ=j=0\rho=\mathbf j=0 means only that the region is locally source-free; it does not mean the electromagnetic field vanishes.
  2. ∂t→−iω\partial_t\rightarrow-i\omega follows from the chosen complex-exponential convention and is not a rule unique to quantum mechanics.
  3. ΔωΔt≳1\Delta\omega\Delta t\gtrsim1 is first a classical Fourier property; quantum mechanics assigns energy and momentum interpretations through E=ℏωE=\hbar\omega and p=ℏkp=\hbar k.
  4. Dispersion means that propagation speed depends on frequency; dissipation means irreversible conversion of electromagnetic energy into heat or internal energy.
  5. Evanescence when ω<ωp\omega<\omega_p is not the same as absorption in a collisionless model.
  6. vph>cv_{\rm ph}>c does not mean that energy or information travels faster than light; a finite pulse propagates at vg<cv_g<c.
  7. In Problem 2.2, mm is the complex refractive index, while mem_e is the electron mass.
  8. The real part of a complex wavenumber controls phase, while the imaginary part controls spatial attenuation; the intensity exponent is twice the amplitude exponent.
  9. nen_e is the electron number density and nrn_r is the refractive index; they must not be confused.
  10. IνI_\nu is conserved along an ordinary vacuum ray; in a refracting medium, the correct invariant is Iν/nr2I_\nu/n_r^2.
  11. A planar isotropic interface changes only the polar angle θ\theta, not the azimuthal angle ϕ\phi around the normal, so dϕ1=dϕ2d\phi_1=d\phi_2.
  12. DM is an electron column density, not a directly measured geometric distance; scattering or finite bandwidth can also affect practical arrival-time fitting.

14.5 Limiting Checks

  • ne→0n_e\rightarrow0: ωp→0\omega_p\rightarrow0, recovering the vacuum results ϵ=1\epsilon=1, ω=ck\omega=ck, and vph=vg=cv_{\rm ph}=v_g=c.
  • ω→∞\omega\rightarrow\infty: the electrons cannot respond quickly enough, ϵ→1\epsilon\rightarrow1, and the plasma effect disappears.
  • ω→ωp+\omega\rightarrow\omega_p^+: k→0k\rightarrow0, vg→0v_g\rightarrow0, vph→∞v_{\rm ph}\rightarrow\infty.
  • ω<ωp\omega<\omega_p: kk is imaginary, leaving only an exponentially decaying field.
  • Im⁡(m)→0\operatorname{Im}(m)\rightarrow0: in Problem 2.2, αν→0\alpha_\nu\rightarrow0, so the medium does not absorb.
  • n1=n2n_1=n_2: Problem 8.1 gives Iν,1=Iν,2I_{\nu,1}=I_{\nu,2}, recovering the result for an interface without refraction.
  • Narrow packet, A(k)→δ(k−k0)A(k)\rightarrow\delta(k-k_0): the centroid velocity in Problem 8.2 approaches dω/dk∣k0d\omega/dk|_{k_0}.

15. References and Citations

  1. Rybicki, G. B., & Lightman, A. P., Radiative Processes in Astrophysics, §§2.1–2.3 and §8.1, and Problems 2.2, 8.1, and 8.2.
  2. AST1440 course page: https://www.astro.utoronto.ca/~mhvk/AST1440/
  3. AstroBaki, Electromagnetic Plane Waves: https://casper.astro.berkeley.edu/astrobaki/index.php/Electromagnetic_Plane_Waves
  4. AstroBaki, Plasma Frequency: https://casper.astro.berkeley.edu/astrobaki/index.php/Plasma_Frequency

The 4.15 ms4.15\,\mathrm{ms} used here is calculated from modern physical constants; practical pulsar-timing work also often uses the historically defined dispersion constant to preserve comparability of DM values across different eras.