Pointwise boundary differentiability of solutions of elliptic equations (Q728469)

In this paper, the authors consider the equation \[ - a_{ij}D^{ij}u= f \] in a bounded domain \(\Omega\). Let \(u\) be a solution of the associated Dirichlet problem. They give pointwise geometric conditions on the boundary which guarantee the differentiability of \(u\) at the boundary. Precisely, the geometric conditions are two parts: the proper blow up condition and the exterior Dini hypersurface condition. If \(\Omega\) satisfies this two conditions at \(x_0\in \partial \Omega\), the solution is differentiable at \(x_0\). Furthermore, they give counter examples showing that the conditions are optimal.