Fourier nonexpansion for Maxwell molecules (source code)

= Fourier nonexpansion for Maxwell molecules
{c}
{title2=$d_2(f_t,g_t)\leq d_2(f_0,g_0)$}

Unit-mass solutions of the isotropic <Maxwell molecule collision operator> with matching first moments obey this comparison. The <Bobylev identity>, the Fourier bound by one, and $|\xi^+|^2+|\xi^-|^2=|\xi|^2$ give a scalar damped differential inequality. Its <integral> form and the <Gronwall inequality> yield nonexpansion in the <Fourier distance of order two>. This does not alone establish strict contraction or equilibrium convergence.