Zero-boundary Gaussian free field (source code)

= Zero-boundary Gaussian free field
{c}

For finite Borel measures $\rho,\nu$ of finite Green energy, the zero-boundary Gaussian free field $h$ on $D$ is characterized by
$$
\mathbb E[(h,\rho)(h,\nu)]=\iint_{D\times D}G_D(x,y)\rho(dx)\nu(dy),
$$
where $G_D$ is the zero-Dirichlet <Green function of the Laplacian>.