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ω, why vph=ω/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.15ms, how a complex refractive index produces spatial attenuation, and why dϕ1=dϕ2 at a refracting interface. Each assigned problem includes a step-by-step derivation and an assignment-ready English solution.
This class shifts from radiative transfer to the propagation of electromagnetic waves through a plasma. The preparation has three layers:
The essential reading is RL §8.1, on dispersion in a cold, isotropic plasma.
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.
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⟶ϵ(ω)⟶ω2=ωp2+c2k2⟶cutoff, group velocity, and pulse delay.
The five most important results of this lesson are
2. Notation, Units, Complex-Exponential Convention, and Assumptions
2.1 Table of Symbols
Symbol
Meaning
Notes
E,B
Electric and magnetic fields
RL uses Gaussian-cgs units
D,H
Electric displacement and magnetic-field strength
D=ϵE, B=μH
ρ,j
Charge density and current density
In a source-free vacuum propagation region, ρ=0,j=0
k,k
Wave vector and its magnitude
k=2π/λ; its direction is the direction of phase propagation
ω,ν
Angular frequency and ordinary frequency
ω=2πν
ne
Free-electron number density
Do not confuse it with refractive index
nr
Real refractive index
In §8.1, nr=ck/ω=ϵ
me
Electron mass
9.1094×10−28g
m
Complex refractive index in Problem 2.2
Not the electron mass; sometimes written here as m=mR+imI
ωp
Electron plasma frequency
ωp2=4πnee2/me
vph
Phase velocity
Velocity of a fixed phase or wave crest, ω/k
vg
Group velocity
Envelope velocity of a narrow wave packet, dω/dk
Iν
Specific intensity
Energy flux per unit area, time, frequency, and solid angle
DM
dispersion measure
Free-electron column density, ∫neds
σ
Conductivity in Problem 2.2
Do not confuse it with a scattering cross section
αν
Intensity absorption coefficient
Iν(s)=Iν(0)e−ανs
2.2 Unit Convention
The main text of RL uses Gaussian-cgs units. Consequently, Maxwell's equations contain 4π and 1/c rather than the SI quantities ϵ0 and μ0.
In Gaussian-cgs units,
ωp2=me4πnee2.
In SI units, the same physical quantity is written
ωp2=meϵ0nee2.
The two equations describe the same physics; the 4π from one system must not be mixed with the ϵ0 from the other.
2.3 Complex-Exponential Convention
Throughout, we use the textbook convention
ei(k⋅r−ωt).
Therefore,
∇→ik,∂t∂→−iω.
This is not a quantum-mechanical assumption; it follows from differentiating a complex exponential:
∂t∂ei(k⋅r−ωt)=−iωei(k⋅r−ωt).
If one instead uses ei(ωt−k⋅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/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+cv×B).
Taking the dot product with the velocity gives
v⋅F=qv⋅E+cqv⋅(v×B).
because
v⋅(v×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.
In a continuous medium, the rate of change of mechanical energy per unit volume is j⋅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,∇×E=−c1∂t∂B,∇×H=c4πj+c1∂t∂D.
They state, respectively:
Electric charge is a source or sink of electric flux.
There are no isolated magnetic monopoles; magnetic-field lines form closed loops.
A time-varying magnetic field produces a rotational electric field: Faraday induction.
Both a real current and a time-varying electric field produce a rotational magnetic field.
The displacement-current term in the fourth equation,
c1∂t∂D
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.
Hence
0=c4π∇⋅j+c1∂t∂(∇⋅D).
Then use ∇⋅D=4πρ:
∇⋅j+∂t∂ρ=0.
This is local charge conservation.
3.4 The Poynting Theorem and Energy Flux
The electromagnetic energy density and energy flux are
ufield=8π1(ϵE2+μB2),
The simple expression for energy density here assumes that ϵ and μ do not depend on frequency or time. For the dispersive plasma considered later, where ϵ(ω), the stored energy of the medium must be calculated together with the electron kinetic energy; one cannot mechanically substitute ϵ(ω) into this static-medium formula.
S=4πcE×H.
The Poynting theorem can be written
∂t∂ufield+∇⋅S=−j⋅E.
The right-hand side shows that the field energy lost enters the mechanical or thermal energy of matter, while 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.
This means only that there are no local charge or current sources; it does not mean E=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,∇×E=−c1∂t∂B,∇×B=c1∂t∂E.
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=−c1∂t∂B.
Take the curl of both sides:
∇×(∇×E)=−c1∂t∂(∇×B).
Substitute the vacuum Ampère–Maxwell law:
∇×(∇×E)=−c21∂t2∂2E.
Use the vector identity
∇×(∇×E)=∇(∇⋅E)−∇2E.
In a source-free vacuum region, ∇⋅E=0, so
−∇2E=−c21∂t2∂2E.
The result is
∇2E−c21∂t2∂2E=0.
Starting in the same way from the Ampère–Maxwell law gives
∇2B−c21∂t2∂2B=0.
These two equations show that changing electric and magnetic fields are mutually coupled and propagate at speed c. 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),B=e^2B0ei(k⋅r−ω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,∂t∂E=−iωE.
Differentiation rotates the phase of a sinusoidal oscillation by 90∘; multiplication by the complex factor i records exactly this phase difference.
4.2 Why Electromagnetic Waves Are Transverse
The vacuum Gauss laws give
ik⋅E=0,ik⋅B=0.
Therefore,
k⋅E=0,k⋅B=0.
Faraday's law further gives
k×E=cωB.
Thus E, B, and k are mutually perpendicular and form a right-handed triad:
E⊥B⊥k.
4.3 The Vacuum Dispersion Relation
Substitute the plane wave into the wave equation:
∇2E=−k2E,∂t2∂2E=−ω2E.
Therefore,
−k2E+c2ω2E=0.
A nonzero solution requires
ω2=c2k2,
Taking positive frequency and positive wavenumber gives
ω=ck.
In Gaussian units, one also obtains
E0=B0.
In SI units this becomes E0=cB0; the difference is purely one of unit definitions.
4.4 Why the Phase Velocity Is ω/k
The phase of a one-dimensional wave is
Φ(x,t)=kx−ωt.
Following a wave crest means holding the phase fixed:
kx−ωt=constant.
Differentiate with respect to time:
kdtdx−ω=0.
Thus the speed of a fixed phase is
vph=dtdx=kω.
The same result follows from k=2π/λ and ω=2π/T:
kω=Tλ=λν.
In vacuum, ω=ck, so
vph=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⟩=8πcRe(E0×B0∗).
In vacuum, E0=B0, so
⟨S⟩=8πc∣E0∣2=8πc∣B0∣2.
The mean energy density is
⟨u⟩=8π1∣E0∣2,
Therefore,
⟨u⟩⟨S⟩=c.
In vacuum, the energy-transport speed, phase velocity, and the group velocity defined below all equal c.
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ω0t
oscillates from t=−∞ to t=+∞. 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ωtdω.
where E(ω) 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:
so the order of magnitude of the spectral width is
Δω∼T1,
that is,
ΔωΔt≳1.
Physically, two nearby frequencies accumulate a phase difference over a time T equal to
ΔΦ=ΔωT.
If ΔωT≪1, 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.
5.3 How This Is Related to Quantum Mechanics
∂t→−iω and ∇→ik are first of all results of classical Fourier analysis, not quantum assumptions. Quantum mechanics additionally uses
E=ℏω,p=ℏk.
Therefore, for a quantum plane wave
ψ∝ei(k⋅r−ωt),
we have
iℏ∂t∂ψ=Eψ,−iℏ∇ψ=pψ.
which gives the quantum energy and momentum operators
E^=iℏ∂t,p^=−iℏ∇.
The classical Fourier relation
ΔxΔk≥21
combined with p=ℏk becomes
ΔxΔp≥2ℏ.
But the physical interpretations differ: for a classical electromagnetic field, ∣E∣2 is related to energy density or intensity, whereas for a quantum wavefunction, ∣ψ∣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 vg 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. Neglecting the magnetic force, collisions, and thermal pressure, its equation of motion is
mev˙=−eE.
Using ei(k⋅r−ωt) gives v˙=−iωv, so
−iωmev=−eE.
Solving gives
v=iωmeeE=−ωmeieE.
The electron current density is
j=−neev,
Therefore,
j=ωmeinee2E.
If we write j=σE, the effective conductivity is
σ=ωmeinee2.
It is purely imaginary, showing that the current and electric field differ in phase by 90∘.
6.2 Substituting the Electron Current Back into Maxwell's Equations
The Ampère–Maxwell equation including the electron current is
∇×B=c4πj+c1∂t∂E.
For a plane wave,
ik×B=c4πj−ciωE.
Substitute j=σE:
ik×B=c1(4πσ−iω)E.
We want to write this in the ordinary-medium form
ik×B=−ciωϵ(ω)E.
Comparing coefficients gives
−iωϵ=4πσ−iω,
so
ϵ=1−iω4πσ.
Substituting σ=inee2/(ωme) then gives
ϵ(ω)=1−meω24πnee2.
Define
ωp2≡me4πnee2,
and obtain
ϵ(ω)=1−ω2ωp2.
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. The equation of motion
mex¨=−eE
gives, for harmonic motion,
−meω2x=−eE,
so
x=meω2eE.
The dipole moment of each electron is
p=−ex=−meω2e2E.
Therefore the polarization is
P=nep=−meω2nee2E.
In Gaussian-cgs units,
D=E+4πP,
Thus,
D=(1−meω24πnee2)E=ϵ(ω)E.
The polarization current is
∂t∂P=−iωP=meωinee2E
which is exactly the 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.
The electron response partially screens the external field, making ϵ<1. Moreover, because
∣x∣∝ω21,
at high frequency the electrons cannot move appreciably, so ϵ→1; at low frequency the response is stronger, and ϵ differs substantially from unity.
7. Cold-Plasma Dispersion Relation, Cutoff, and Nondissipative Response
7.1 dispersion relation
Write Maxwell's equations as
ik×E=icωB,ik×B=−icωϵE.
Take k× of the first equation and use the transverse-wave condition k⋅E=0:
k×(k×E)=−k2E.
Eliminating B gives
c2k2=ϵω2.
Substitute ϵ=1−ωp2/ω2:
c2k2=ω2−ωp2.
Therefore,
ω2=ωp2+c2k2.
This nonlinear relation between ω(k) is the origin of dispersion and of the difference between phase and group velocity.
7.2 Numerical Value of the Plasma Frequency
If ne is measured in cm−3, then
ωp=5.63×104cm−3nes−1.
The ordinary frequency is
νp=2πωp=8.98kHzcm−3ne.
7.3 Why a Cutoff Appears
From
k2=c2ω2−ωp2
we see that:
if ω>ωp, then k is real and a propagating wave exists;
if ω<ωp, then k is purely imaginary and there is no normally propagating transverse electromagnetic wave.
Let
k=iκ,κ=c1ωp2−ω2.
The spatial factor becomes
eikr=e−κ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.
The electron motion gives
v(t)=−meωeE0sinωt,
Therefore,
j(t)=meωnee2E0sinωt.
j and E differ in phase by 90∘. The instantaneous power per unit volume is
j⋅E∝sinωtcosωt=21sin2ωt.
Averaging over one period gives
⟨j⋅E⟩=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
σ=ωmeinee2
has only an imaginary part, while the average Joule power
⟨P⟩=21Re(σ)∣E0∣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 is included, the equation of motion becomes
me(v˙+νcollv)=−eE.
Then Re(σ)>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ω
tracks a single wave crest or surface of constant phase.
The group velocity
vg=dkdω
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).
Add them and use a trigonometric identity:
E1+E2=2cos(2Δkx−2Δωt)cos(kˉx−ωˉt).
The fast carrier has phase velocity approximately ωˉ/kˉ; the slow envelope moves at
ΔkΔω.
When Δk→0,
vg=dkdω.
8.3 Phase Velocity in a Cold Plasma
From
k=cω1−ω2ωp2,
the refractive index is
nr≡ωck=1−ω2ωp2.
Therefore,
vph=kω=nrc=1−ωp2/ω2c>c.
8.4 Group Velocity in a Cold Plasma
For
ω2=ωp2+c2k2
differentiate with respect to k:
2ωdkdω=2c2k.
Thus,
vg=dkdω=ωc2k=c1−ω2ωp2=cnr<c.
The two velocities satisfy
vphvg=c2.
8.5 Why vph>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<c.
When ω→ωp+, k→0, so
vph→∞,vg→0.
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−ω2ωp2.
An interstellar plasma usually satisfies ω≫ωp. Let x=ωp2/ω2≪1 and use
(1−x)−1/2≃1+2x,
to obtain
vg1≃c1(1+21ω2ωp2).
The propagation time is
tp(ω)=∫0dvgds.
Therefore,
tp(ω)≃cd+2cω21∫0dωp2(s)ds.
The first term is the vacuum propagation time and the second is the additional plasma delay.
9.2 dispersion measure
Substituting
ωp2=me4πnee2,ω=2πν,
gives
Δtplasma(ν)=2πmece2ν21∫0dne(s)ds.
Define
DM≡∫0dne(s)ds,
Then,
Δtplasma(ν)=2πmece2ν2DM.
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=2πmece2DM(νlow21−νhigh21).
Because νlow−2>νhigh−2, the lower-frequency component arrives later.
At a fixed time, eikr determines the spatial oscillation; at a fixed position, e−iω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).
The spatial factor is
eikr=exp[icω(mR+imI)r].
Because i2=−1,
eikr=e−ωmIr/ceiωmRr/c.
we have
∣E(r)∣=∣E0∣e−ωmIr/c.
mR controls phase and wavelength, whereas mI>0 controls the attenuation of amplitude with distance. Under the ei(kr−ωt) convention used here, the physical solution has mI>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.
Comparing this with
Iν(r)=Iν(0)e−ανr
gives
αν=c2ωmI=c2ω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, then
⟨j⋅E⟩>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π, is
k2=ω2μϵ+iωμσ.
where ϵ and μ are the SI absolute permittivity and permeability.
11. Problem 8.1: Why Iν/nr2 Is Conserved Along a Ray
11.1 Problem and Assumptions
The problem asks us to prove, in a refracting medium, that
nr2Iν=constantalongaray.
Here nr 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 dA, the normal energy flux carried by a beam in the frequency interval dν and solid angle dΩ is
dP=IνcosθdAdΩdν.
Therefore, on the two sides of the interface,
Iν,1cosθ1dΩ1=Iν,2cosθ2dΩ2.(11.1)
11.3 Why dϕ1=dϕ2
Take the interface normal as the z axis and write the ray direction as
k^=(sinθcosϕ,sinθsinϕ,cosθ).
A planar interface requires conservation of the component of the wave vector parallel to the interface:
Equality of the magnitudes gives Snell's law, while equality of the directions requires
ϕ2=ϕ1.
The azimuthal separation between two neighboring rays is therefore also unchanged:
dϕ2=dϕ1.
Geometrically, refraction changes the inclination angle θ 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
Treating a continuously varying medium as a sequence of infinitesimally thin interfaces shows that Iν/nr2 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ν need not mean that energy has been created or destroyed; the same energy may simply have been redistributed over a different-sized dΩ.
This is also a manifestation of conservation of optical étendue and of Liouville's theorem in a refracting medium. In vacuum, where nr=1, it reduces to the familiar conservation of Iν 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.
Define its centroid by
⟨r(t)⟩=∫∣ψ(r,t)∣2dr∫r∣ψ(r,t)∣2dr.
We must prove
dtd⟨r(t)⟩=∫∣A(k)∣2dk∫(dω/dk)∣A(k)∣2dk.
12.2 Putting the Time Evolution into the Fourier Amplitude
Define
ϕ(k,t)=A(k)e−iω(k)t.
Then,
ψ(r,t)=∫ϕ(k,t)eikrdk.
By Parseval's relation,
∫∣ψ∣2dr=2π∫∣ϕ∣2dk=2π∫∣A(k)∣2dk.
Because ω(k) is real, ∣e−iωt∣=1, so the denominator is independent of time.
12.3 The Role of Position in k Space
From
reikr=i1∂k∂eikr=−i∂k∂eikr,
and assuming that A(k) tends to zero sufficiently rapidly at the integration boundaries, integration by parts gives
⟨r(t)⟩=∫∣ϕ(k,t)∣2dk∫ϕ∗(k,t)i∂kϕ(k,t)dk.
Evaluate the derivative:
i∂kϕ=iA′(k)e−iωt+tdkdωA(k)e−iωt.
Therefore,
⟨r(t)⟩=r0+t∫∣A(k)∣2dk∫(dω/dk)∣A(k)∣2dk,
where r0 is the time-independent initial centroid. Differentiating with respect to time gives
dtd⟨r(t)⟩=⟨dkdω⟩.
12.4 The Narrow-Packet Limit
If ∣A(k)∣2 is significant only near k0, then dω/dk is approximately constant across the packet:
dtd⟨r⟩≃dkdωk0=vg.
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=0, different k 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)] in a homogeneous conducting medium, with
D=ϵE,B=μH,j=σE.
Faraday's and Ampère-Maxwell's equations give
k×E=cωμH,
and
k×H=−c1(ωϵ+i4πσ)E.
For the transverse electromagnetic mode, k⋅E=0, so
k×(k×E)=−k2E.
Eliminating H therefore yields
k2=c2ω2μϵ(1+ωϵ4πiσ).
Defining the complex refractive index m by
m2=μϵ(1+ωϵ4πiσ),
we obtain
k2=c2ω2m2.
Write m=mR+imI and choose the physical branch with mI>0. The spatial factor becomes
eikr=e−ωmIr/ceiωmRr/c.
Thus the field amplitude decreases as e−ωmIr/c, whereas the intensity decreases as
Iν(r)=Iν(0)e−2ωmIr/c.
Comparison with Iν(r)=Iν(0)e−ανr gives
αν=c2ω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) 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θ1dΩ1=Iν,2cosθ2dΩ2.(1)
Snell's law is
n1sinθ1=n2sinθ2.(2)
Differentiating gives
n1cosθ1dθ1=n2cosθ2dθ2.(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ϕ1. Since
dΩ=sinθdθdϕ,
Eqs. (2) and (3) imply
dΩ1dΩ2=n22n12cosθ2cosθ1.
Substitution into Eq. (1) gives
Iν,1=Iν,2n22n12,
and hence
n12Iν,1=n22Iν,2.
Treating a smoothly varying medium as a sequence of infinitesimal interfaces shows that Iν/nr2 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,
so that
ψ(r,t)=∫−∞∞ϕ(k,t)eikrdk.
Parseval's theorem gives
∫∣ψ∣2dr=2π∫∣A(k)∣2dk,
which is independent of time because ω(k) is real. Using the Fourier-space representation of position and assuming that A(k) vanishes sufficiently rapidly at the integration boundaries,
⟨r(t)⟩=∫∣ϕ∣2dk∫ϕ∗i∂kϕdk.
Since
i∂kϕ=iA′(k)e−iωt+tdkdωA(k)e−iωt,
the centroid is
⟨r(t)⟩=r0+t∫∣A(k)∣2dk∫(dω/dk)∣A(k)∣2dk.
Therefore
dtd⟨r(t)⟩=∫∣A(k)∣2dk∫(dω/dk)∣A(k)∣2dk.
For a narrow packet centered on k0, this weighted average becomes
dtd⟨r⟩≃dkdωk0=vg.
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 and B from the vacuum Maxwell equations.
Substitute a plane wave into the wave equation to obtain ω=ck and vph=c.
Derive j=inee2E/(ωme) from mev˙=−eE.
Absorb the electron current into the Ampère–Maxwell equation to obtain ϵ=1−ωp2/ω2.
Derive ω2=ωp2+c2k2 from Maxwell's equations.
Use the dispersion relation to derive vph, vg, and vphvg=c2.
Use the high-frequency expansion of vg to obtain Δt∝DMν−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ν/nr2 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ω/dk.
In Gaussian-cgs units, e2 has dimensions ergcm=gcm3s−2, so
[menee2]=s−2,
in agreement with ωp2.
The unit of DM is
[neds]=cm−3×pc,
which is fundamentally a column density. Converting pc to cm gives cm−2.
The absorption coefficient
αν=c2ωIm(m)
has dimensions
[ω/c]=cm−1,
as required by Iν=Iν,0e−ανr.
14.4 The Most Common Points of Confusion
ρ=j=0 means only that the region is locally source-free; it does not mean the electromagnetic field vanishes.
∂t→−iω follows from the chosen complex-exponential convention and is not a rule unique to quantum mechanics.
ΔωΔt≳1 is first a classical Fourier property; quantum mechanics assigns energy and momentum interpretations through E=ℏω and p=ℏk.
Dispersion means that propagation speed depends on frequency; dissipation means irreversible conversion of electromagnetic energy into heat or internal energy.
Evanescence when ω<ωp is not the same as absorption in a collisionless model.
vph>c does not mean that energy or information travels faster than light; a finite pulse propagates at vg<c.
In Problem 2.2, m is the complex refractive index, while me is the electron mass.
The real part of a complex wavenumber controls phase, while the imaginary part controls spatial attenuation; the intensity exponent is twice the amplitude exponent.
ne is the electron number density and nr is the refractive index; they must not be confused.
Iν is conserved along an ordinary vacuum ray; in a refracting medium, the correct invariant is Iν/nr2.
A planar isotropic interface changes only the polar angle θ, not the azimuthal angle ϕ around the normal, so dϕ1=dϕ2.
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→0: ωp→0, recovering the vacuum results ϵ=1, ω=ck, and vph=vg=c.
ω→∞: the electrons cannot respond quickly enough, ϵ→1, and the plasma effect disappears.
ω→ωp+: k→0, vg→0, vph→∞.
ω<ωp: k is imaginary, leaving only an exponentially decaying field.
Im(m)→0: in Problem 2.2, αν→0, so the medium does not absorb.
n1=n2: Problem 8.1 gives Iν,1=Iν,2, recovering the result for an interface without refraction.
Narrow packet, A(k)→δ(k−k0): the centroid velocity in Problem 8.2 approaches dω/dk∣k0.
15. References and Citations
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.
The 4.15ms 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.