Dissipation form of the linearized Boltzmann operator (source code)

= Dissipation form of the linearized Boltzmann operator
{title2=$-\langle h,\mathcal Lh\rangle_M=\frac14\int BMM_*(\Delta h)^2\,dv\,dv_*\,dn$}

Write $f=M(1+h)$ around a fixed Maxwellian and expand the <nonlinear Boltzmann collision operator> to first order. The <weak Boltzmann collision identity> gives the nonnegative dissipation form in $L^2(M\,dv)$, and polarization proves symmetry on an appropriate common domain. Its zero modes are the <collision invariants> when the scattering kernel is nondegenerate. A <spectral gap>, and self-adjointness of an unbounded realization, require additional domain and kernel hypotheses.