Some potential theory for reflecting Brownian motion in Hölder and Lipschitz domains (Q808544)

The authors consider solutions of the Neumann boundary value problem for the Laplace and the heat equation on a bounded Hölder domain in Euclidean space. First, upper bounds for solutions of the heat equation are derived from Nash type inequalities. Then, a lower bound for solutions of the heat equation on Lipschitz domains is obtained from the representation of the solution in terms of expectation values with respect to reflecting Brownian motion. The following section is concerned with the proof of the existence of reflecting Brownian motion and boundary local time on a bounded Lipschitz domain. An application to the Neumann boundary problem for the Laplace equation yields that a solution u can be represented as follows: \[ u(x)=\lim_{t\to \infty}{1\over 2} E^ x[\int^{t}_{0}f(X_ s)dL_ s]; \] \(L_ s\) is the boundary local time for reflecting Brownian motion. Finally, the authors show that the ideal boundary for the Neumann boundary value problem on a bounded Lipschitz domain coincides with the Euclidean boundary. A weaker statement remains true for Hölder domains.