 Solution

In the periodic cube, $H_0=|\mathbf{v}{|}^2/2=(2\pi /L{)}^2|\mathbf{J}{|}^2/2$, so $\mathbf{\Omega }=(2\pi /L)\mathbf{v}$. The supplied action-angle variables are canonical: $d^3\theta d^{3}J=d^{3}x{d}^{3}v$. For $\mathbf{k}=2\pi \mathbf{n}/L$,Consequently c becomesFor each nonzero wavenumber, the Poisson equation for Newtonian gravity givesSubstitute the preceding response and add the externally imposed Newtonian gravitational potential:ThereforeThis gravitational dielectric function has the opposite susceptibility sign to the electron dielectric function, reflecting attractive rather than repulsive collective interactions. The homogeneous mean field is explicitly subtracted in this fictitious periodic model: the Poisson equation for Newtonian gravity acts on density fluctuations, and the $\mathbf{k}=0$ mode is omitted. Otherwise a nonzero uniform positive mass density would be incompatible with a periodic potential. This is the convention often called the Jeans swindle.

For analytic continuation, resolve velocity parallel to $\mathbf{k}$: let $u=\hat{\mathbf{k}}\cdot \mathbf{v}$ and $F(u)=\int f_0(u,{\mathbf{v}}_{\perp })d^2{v}_{\perp }$. ThenStart at $\mathrm{Im}\omega >0$ and deform the Landau contour continuously below the moving pole. At real $\omega$, the integral isFor $\mathrm{Im}\omega <0$, this causal continuation equals the undeformed real-axis integral plus $2\pi i{F}^{\prime }(\omega /k)$ wherever $F^{\prime }$ has the necessary analytic extension. It must not be replaced by the undeformed integral alone.

Zeros of ${ϵ}_{\mathbf{k}}$ are self-consistent collective Landau modes: with no external forcing, a nonzero Newtonian gravitational potential is possible at such a root. For time dependence $e^{-i\omega t}$, upper-half-plane roots grow, lower-half-plane roots describe Landau damping, and real roots are neutral. Damped Landau modes are poles of the continued response; they need not be regular discrete eigenfunctions of the original collisionless operator.

Regularity qualification. Continuation throughout the complex plane presupposes suitable analytic $F$. Arbitrary smooth $F$ need not allow it. For example, $F(u)=C\exp [-1/(1-u^2)]$ for $|u|<1$ and zero elsewhere is smooth but not analytic at $u=\pm 1$; its Cauchy integral cannot be holomorphically continued across those endpoints. The Landau contour gives the standard causal continuation on the domains where the equilibrium permits it, with possible singularities retained.