Barrier for the Dirichlet problem

A barrier at $z\in \partial \Omega$ is a continuous superharmonic function that vanishes at $z$ and is strictly positive at every other point of the closure. It forces the Perron solution to converge to its prescribed boundary value at $z$.

A boundary point is regular for the Dirichlet problem when the Perron solution approaches the prescribed continuous boundary value there. The existence of a barrier implies regularity.

A domain satisfies the exterior sphere condition at a boundary point when a ball contained in the complement is tangent to the boundary only at that point. Fundamental solutions of the Laplace equation centred at the ball's centre provide a harmonic barrier, so such a point is regular.