Circle-average process of the Gaussian free field is Brownian motion
= Circle-average process of the Gaussian free field is Brownian motion
{c}
The circle-average process of a zero-boundary Gaussian free field in the unit disc has the law of a constant multiple of <Brownian motion>. It is a continuous centered <Gaussian process> with <stationary increments> and <independent increments> and starts at zero.