# Boundary regularity for the Dirichlet problem

Let us consider the unit ball $B^n$ of $\mathbf{R}^n$ and $K = B^{n-1}(0,1/2) \times \{0\}$ the ball of dimension $n-1$ and radius $1/2$ lying on the equator.

We wish to solve the Dirichlet problem (for harmonic functions) on $B^n \setminus K$ with boundary value $f = 0$ on $K$, and $f$ (let's say) is smooth on $\partial B^n$. Such a solution exists, is unique and we can find it within the class of Sobolev function.

My question is how this solution behaves near $K$. Is it Hölder continuous ? What is the best exponent of Hölder continuity one can expect ?

More generally, are there known criterias for the regularity at the boundary (not abstract continuity like with the Wiener criterion, but with a control of the modulus of continuity) ?

Thanks

• $K$ is not contained in the boundary of $B^n$; it does not even touch the boundary. Nov 4, 2011 at 9:38
• @Florian : yes, the Dirichlet problem is solved in the domain $B^n \setminus K$. The solution is is harmonic on $B^n \setminus K$ and continuous on $\overline{B^n}$. Nov 4, 2011 at 9:52