Coercive energy estimate for kinetic transport (source code)

= Coercive energy estimate for kinetic transport
{title2=$\|f(t_2)\|_2\leq e^{-\delta(t_2-t_1)}\|f(t_1)\|_2$}

If a velocity operator satisfies $\operatorname{Re}\langle Lh,h\rangle\geq\delta\|h\|_2^2$, then sufficiently regular solutions of $\partial_tf+v\cdot\nabla_xf+Lf=0$ obey the displayed estimate when spatial boundary fluxes vanish. The free-transport part contributes zero to the energy <derivative>. Integrating the resulting differential inequality avoids dividing by a possibly zero <norm>.