Brownian coupling proof of the harmonic Liouville theorem

ID: brownian-coupling-proof-of-the-harmonic-liouville-theorem

For a bounded harmonic function on , the processes and are bounded martingales. Couple the Brownian motions from and so that they coalesce in finite time almost surely. Then
which proves that is constant in every dimension.

New to topics? Read the docs here!