English

The difference between a discrete and continuous harmonic measure

Probability 2016-05-30 v2

Abstract

We consider a discrete-time, continuous-state random walk with steps uniformly distributed in a disk of radius of hh. For a simply connected domain DD in the plane, let ωh(0,;D)\omega_h(0,\cdot;D) be the discrete harmonic measure at 0D0\in D associated with this random walk, and ω(0,;D)\omega(0,\cdot;D) be the (continuous) harmonic measure at 00. For domains DD with analytic boundary, we prove there is a bounded continuous function σD(z)\sigma_D(z) on D\partial D such that for functions gg which are in C2+α(D)C^{2+\alpha}(\partial D) for some α>0\alpha>0 limh0Dg(ξ)ωh(0,dξ;D)Dg(ξ)ω(0,dξ;D)h=Dg(z)σD(z)dz. \lim_{h\downarrow 0} \frac{\int_{\partial D} g(\xi) \omega_h(0,|d\xi|;D) -\int_{\partial D} g(\xi)\omega(0,|d\xi|;D)}{h} = \int_{\partial D}g(z) \sigma_D(z) |dz|. We give an explicit formula for σD\sigma_D in terms of the conformal map from DD to the unit disc. The proof relies on some fine approximations of the potential kernel and Green's function of the random walk by their continuous counterparts, which may be of independent interest.

Keywords

Cite

@article{arxiv.1506.04313,
  title  = {The difference between a discrete and continuous harmonic measure},
  author = {Jianping Jiang and Tom Kennedy},
  journal= {arXiv preprint arXiv:1506.04313},
  year   = {2016}
}

Comments

16 pages, revision after the referee's report, to appear in Journal of Theoretical Probability

R2 v1 2026-06-22T09:53:11.223Z