Green energy (source code)

= Green energy

For a measure $\mu$ and Green kernel $G$, its Green energy is
$$
I_G(\mu)=\iint G(x,y)d\mu(x)d\mu(y).
$$
Finite Green energy is the variance condition needed to pair a Gaussian free field with $\mu$.