Weighted Poincare inequality (source code)

= Weighted Poincare inequality
{c}

For a <probability density function> $w$ on a domain, a weighted Poincare inequality has the form
$$
\int|h'|^2w\geq\lambda\int|h-\mathbb E_w h|^2w.
$$
The optimal $\lambda$ is the <spectral gap> of the associated weighted diffusion operator.