Gaussian logarithmic Sobolev inequality

For standard Gaussian measure $\gamma$,

For standard one-dimensional Gaussian measure, $\int e^{sx}d\gamma =e^{s^2/2}$. Thus ${\mathrm{Ent}}_{\gamma }(e^{sx})=(s^2/2)e^{s^2/2}$, while $\int |(e^{sx/2}{)}^{\prime }{|}^{2}d\gamma =(s^2/4)e^{s^2/2}$. Every nonzero $s$ therefore attains ratio two, proving optimality of the Gaussian constant.

For bounded smooth positive $h$ bounded away from zero, differentiation and Gaussian integration by parts give the displayed identity. The Ornstein-Uhlenbeck gradient commutation identity and weighted Cauchy-Schwarz inequality bound its right side by $e^{-2t}\int |h^{\prime }{|}^2/hd\gamma$. Integrating and setting $h=f^2$ proves the Gaussian logarithmic Sobolev inequality. Positive clipped approximation extends it to functions of finite Gaussian Dirichlet energy.