There is a proof by the author. First follow the argument at the top of page 486 of Hypocoercive diffusion operators to arrive at the stronger inequality
Then follow the proof in arXiv:math/0609050, page 152, where it is shown that
Carlo Beenakker
- 188.1k
- 18
- 448
- 651