Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 203 / 4 / a / Solution

The Zero-boundary Gaussian free field on the unit disc is the centered Gaussian process indexed by finite Borel measures of finite Green energy, with covarianceThis covariance determines all its finite-dimensional distributions.

The Domain Markov property of the Gaussian free field says that for every suitable open $U\subset \mathbb{D}$ one can writewhere $h_U$ is a zero-boundary Gaussian free field on $U$, independent of $h^{\mathbb{D}\setminus U}$, while $h^{\mathbb{D}\setminus U}$ is harmonic on $U$ and carries the information from the field outside $U$.