Return to Revisions

There is a proof by the author of a stronger inequality.
First follow the argument at the top of page 486 of Hypocoercive diffusion operators to arrive at

Then follow the proof in arXiv:math/0609050, page 152, where it is shown that the functional
evolves in time such that