A counterexample to the Hopf-Oleinik lemma (elliptic case) (Q298388)

This paper deals with a new counterexample to the Hopf-Oleinik boundary point lemma. For the sake of simplicity the following special version of that counterexample will be formulated only. Theorem. Let \(\Omega\) be a convex domain in \(\mathbb R^n\), \(0\in\partial\Omega\) and \(\partial\Omega\) near \(0\) is given by the equation \(x_n=F(x')\geq 0\), \(F(0)=0\). Suppose that \(u\in W^2_{n,\mathrm{loc}}(\Omega)\cap C(\overline{\Omega})\) satisfies the uniformly elliptic equation with measurable coefficients \(\sum a_{ij}(x)D^2_{ij}u=0\) in \(\Omega\), \(u|_{\partial \Omega}=0\) in a neighbourhood of \(0\). If in addition \(\delta (r)=\sup_{|x'|\leq r}\frac{F(x')}{|x'|}\) is not Dini continuous at zero, then \(\frac{\partial u}{\partial n}(0)=0\). Therefore, for convex domains the Dini continuity of \(\delta (r)\) is necessary and sufficient condition for the validity of the boundary point lemma.