Circle-average process of the Gaussian free field

ID: circle-average-process-of-the-gaussian-free-field

Let be uniform measure on the circle of radius around the origin in the unit disc. The process is the circle-average process. The Domain Markov property of the Gaussian free field and the mean value property for harmonic functions imply that its increments are independent and stationary.

New to topics? Read the docs here!