research36 min studyLesson 302 in Physics

Plasma dielectric function and dispersion

Derive longitudinal kinetic response with explicit distribution normalization and obtain cold and high-phase-speed Maxwellian limits.

On this page

What you’ll understand

  • Derive the longitudinal dielectric function from linear Vlasov–Poisson response.
  • Use one declared Maxwellian thermal-speed convention consistently.
  • Identify the assumptions behind cold and Bohm–Gross dispersion.

The dielectric function describes how a plasma's particles modify an applied electric disturbance. In a kinetic calculation it depends on the entire equilibrium velocity distribution, not just one temperature. Its zeros identify collective response frequencies after the causal prescription has been specified. Deriving that function makes its signs, normalization, and resonant denominator visible. It also shows exactly which information disappears when a kinetic response is replaced by a cold or warm fluid approximation.

Linearize with a declared Fourier convention

Take a spatially homogeneous unmagnetized equilibrium, use perturbations proportional to exp(ikx − iωt), and choose real positive k. For each mobile species, write its equilibrium reduced distribution as density times a probability density g with velocity integral one. Linearizing the Vlasov equation makes the perturbation proportional to the equilibrium velocity derivative divided by v minus phase velocity. Combining its charge-density integral with Poisson gives the longitudinal dielectric function.

The charge appears squared in each susceptibility because particles respond to a force proportional to their charge and then contribute charge again to Poisson. Oppositely charged species therefore do not simply cancel their susceptibilities. A stationary neutralizing background has no dynamical susceptibility in the model. Initially define the velocity integral for imaginary frequency in the upper half-plane, where the denominator has no real-axis singularity; its causal continuation is part of the response definition, not an optional adjustment afterward.

ϵ(k,ω)=1−∑sωps2k2∫Lg0s′(v)v−ω/k dv,ωps2=n0sqs2ϵ0ms\epsilon(k,\omega)=1-\sum_s\frac{\omega_{ps}^2}{k^2}\int_{\mathcal L}\frac{g_{0s}^{\prime}(v)}{v-\omega/k}\,dv,\qquad \omega_{ps}^2=\frac{n_{0s}q_s^2}{\epsilon_0m_s}
g₀s integrates to one and has units s/m. Its derivative is with respect to velocity. ωps is in rad/s, k in m⁻¹, and ε is dimensionless. The contour ℒ is defined initially by the real axis for Im ω > 0, then causally continued.↔ Scroll wide equations horizontally.

Thermal speed conventions set factors of two

For a zero-drift Maxwellian, define vT as the square root of thermal energy divided by mass, equal to the standard deviation of one velocity component. Some references instead call square root of two times this value the thermal speed. Either convention works, but the Gaussian exponent and the dispersion-function argument must change together. Define Debye length using vT divided by plasma frequency. This makes the relation between thermal spread, shielding length, and frequency explicit.

Scaling velocity by square root of two times vT expresses the susceptibility through the plasma dispersion function Z. That compact special function retains the resonant information in an analytically continued integral. A numerically computed root is meaningful only when the same analytic branch is used throughout. Substituting an ordinary real principal-value integral for Z discards an imaginary contribution and can incorrectly predict that a warm collisionless wave has no damping.

g0(v)=e−v2/(2vT2)2πvT,vT=kBTm,λD=vTωp,ϵ=1+1+ζZ(ζ)k2λD2,ζ=ω2kvTg_0(v)=\frac{e^{-v^2/(2v_T^2)}}{\sqrt{2\pi}v_T},\quad v_T=\sqrt{\frac{k_BT}{m}},\quad \lambda_D=\frac{v_T}{\omega_p},\quad \epsilon=1+\frac{1+\zeta Z(\zeta)}{k^2\lambda_D^2},\quad \zeta=\frac{\omega}{\sqrt2kv_T}
The last ε is for Maxwellian electrons with immobile ions. T is in kelvins, kBT in joules, vT in m/s, and λD in metres. Z is the causal Gaussian dispersion function, with dimensionless integration variable u and normalization 1/√π.↔ Scroll wide equations horizontally.

Controlled limits recover simpler waves

For a cold stationary species, the velocity probability density becomes a delta distribution. Integration by parts gives susceptibility minus plasma frequency squared divided by frequency squared. Thus a cold electron plasma with fixed ions oscillates at the plasma frequency independent of wavenumber. A uniform drift Doppler shifts that frequency. These limits describe singular narrow distributions; they do not justify dropping resonant tails from an arbitrary finite-temperature state.

For a Maxwellian with phase speed much larger than vT, expand the nonresonant denominator in velocity divided by phase speed. The first nonzero thermal correction contains the second moment and yields the factor three in the Bohm–Gross formula. This is a long-wavelength, weak-damping approximation for the Langmuir branch, not a full dispersion relation at arbitrary Debye-scale wavelength. Its real frequency can be accurate while an exponentially small damping rate requires a separate resonant calculation.

ϵcold=1−ωp2(ω−kU)2,ωr2≃ωp2+3k2vT2(kλD≪1)\epsilon_{\mathrm{cold}}=1-\frac{\omega_p^2}{(\omega-kU)^2},\qquad \omega_r^2\simeq\omega_p^2+3k^2v_T^2\quad(k\lambda_D\ll1)
U is the cold species drift in m/s. The warm formula assumes a zero-drift Maxwellian electron equilibrium, immobile ions, |ωr/k| ≫ vT, and small damping. It uses the one-component standard-deviation definition of vT.↔ Scroll wide equations horizontally.

A controlled thermal correction

For electrons with fixed ions, take ωp = 10⁸ rad/s, Debye length 0.020 m, and k = 5 m⁻¹. Calculate vT, kλD, and the Bohm–Gross frequency to first order in the small thermal correction.

  1. The declared convention gives vT=ωpλD=2.0×106 m/sv_T=\omega_p\lambda_D=2.0\times10^6\,\mathrm{m/s}. The wavelength parameter is kλD=0.10k\lambda_D=0.10.

  2. Dividing the squared dispersion relation by ωp² gives ωr2/ωp2≃1+3(0.10)2=1.03\omega_r^2/\omega_p^2\simeq1+3(0.10)^2=1.03. The squared-frequency correction is three percent.

  3. Expand the square root to first order: ωr/ωp≃1+0.03/2=1.015\omega_r/\omega_p\simeq1+0.03/2=1.015. The exact square root of this approximate squared relation is 1.0149, consistent at the retained order.

The result

vT is 2.0 × 10⁶ m/s, kλD is 0.10, and the predicted real frequency is approximately 1.015 × 10⁸ rad/s.

Explore the model

Interactive lab

Interactive lab · root-finding

A cold branch is a square-root problem

Reset and set BOTH Target c to 1 and Initial upper bound U to 3; predict root 1 before stepping. Then Reset and set BOTH c to 4 and U to 3; predict root 2. The exact instrument bisects x² − c on [0,U]. It illustrates solving a normalized cold dispersion relation only; it has no complex frequency, Landau contour, Maxwellian susceptibility, or general dispersion solver.

A cold branch is a square-root problemBisection of x² − c on [0,U], capped at 50 iterations for floating-point resolution. The error bound is the maximum distance from the displayed midpoint to either bracket endpoint (half the width in exact arithmetic). Compensated square evaluation preserves the bracket when ordinary multiplication rounds a residual to zero. A truly exact endpoint or midpoint collapses the bracket. This is one monotone quadratic, not a general root solver. Current readings: Midpoint after 0 refinements: 1.5; Bracket error bound: 1.5; Computed residual · x² − c: 0.25. All parameters are adjustable with the labeled controls below.Bisection on x squared minus 2: bracket from 0 to 3 after 0 refinements.00.751.52.253−2.360.192.745.297.84x · bracket stays nonnegativef(x) = x² − cn = 0 · [ 0, 3 ]
Quadratic / midpointCurrent bracketPositive root
Midpoint after 0 refinements
1.5
Bracket error bound
1.5
Computed residual · x² − c
0.25
t = 0 s

Bisection of x² − c on [0,U], capped at 50 iterations for floating-point resolution. The error bound is the maximum distance from the displayed midpoint to either bracket endpoint (half the width in exact arithmetic). Compensated square evaluation preserves the bracket when ordinary multiplication rounds a residual to zero. A truly exact endpoint or midpoint collapses the bracket. This is one monotone quadratic, not a general root solver. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA root-finding guarantee belongs to the specified function and bracket, not automatically to a full kinetic dispersion relation.

Check your understanding

If vT = √(kBT/m), what argument belongs in the Maxwellian plasma dispersion function?

Try it yourself

A single cold electron population drifts at U = 3 m/s against a uniform fixed neutralizing background. Let k = 2 m⁻¹ and ωp = 4 rad/s. Find both real roots of the electrostatic cold dielectric function.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Solve the squared Doppler-shifted frequency equation before choosing the two signs.

Compare with the solution

The dispersion relation is (ω−kU)2=ωp2(\omega-kU)^2=\omega_p^2. The Doppler shift is kU = 6 rad/s, giving ω=6±4\omega=6\pm4: the roots are 10 and 2 rad/s. Both are real in this single-population cold electrostatic model. A nonzero drift by itself is not the symmetric two-stream configuration, and these roots do not establish an instability.

Take it with you

  • The dielectric function combines normalized velocity response with Poisson’s constraint.
  • The Gaussian width and Z-function argument must use the same thermal-speed convention.
  • Cold and Bohm–Gross formulas are controlled limits of a more detailed kinetic response.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.