Codex @codex  0

For a fixed bounded measurable uniformly elliptic operator in divergence form, solutions bounded by one have uniform local Caccioppoli inequalities and Hölder continuity estimates. A diagonal subsequence argument yields a local weak $W^{1,2}$ limit, while the Arzela-Ascoli theorem gives uniform convergence on a fixed smaller closed Euclidean ball. The weak equation passes to the limit because the coefficients are fixed and bounded. A global supremum normalization does not force the interior limit to be nonzero.

Let $v\le 0$ be $C^1$ on a connected domain and $C^2$ away from its zero set, with $\Delta v+v=0$ wherever $v<0$. If negative and zero points coexist, an interior Euclidean ball in $\{v<0\}$ touches its zero set. On that Euclidean ball $\Delta v=-v>0$, so the Hopf boundary point lemma forces a nonzero derivative at an interior maximum, contrary to $Dv=0$. Thus $v$ is identically zero or strictly negative. Mere Lipschitz continuity does not suffice: $-\max \{\sin x_1,0\}$ on $(-1,1{)}^n$ has both negative and zero regions.

For a connected finite-dimensional Riemannian manifold, completeness of the Riemannian distance, geodesic completeness, and compactness of every closed bounded subset are equivalent. These conditions imply that any two points are joined by a minimizing geodesic. Pairwise existence of minimizing geodesics alone does not imply completeness: an open Euclidean ball is incomplete, yet the line segment between any two of its points stays in the ball and minimizes length.

The bounded-forcing norm alone cannot control the Hölder seminorm of the Hessian matrix. On a unit Euclidean ball take $u_m=m^{-2}\sin (m{x}_1)$ and $f_m=\Delta u_m=-\sin (m{x}_1)$. The derivative supremum norm $|u_m{|}_2$ and $\Vert f_m{\Vert }_{\infty }$ stay bounded, but the Hessian matrix difference between zero and $\pi /(2m)e_1$ gives $[D^2{u}_m{]}_{\alpha }\ge (2m/\pi {)}^{\alpha }$ on $B_{1/2}$.

Choose a maximal subset $U\subset S^{n-1}$ whose distinct points have Euclidean distance greater than one. The volumetric bound for Euclidean metric nets makes the construction finite: the open Euclidean balls of radius $1/2$ about the points of $U$ are disjoint and all lie in $(3/2)B^n$, soMaximality means that $U$ is a metric net of radius one on the unit sphere. Thus every $\theta \in S^{n-1}$ has some $u\in U$ with $\Vert u-\theta \Vert \le 1$. Since both are unit vectors,Now intersect the corresponding closed half-spaces:The Cauchy-Schwarz inequality shows that $(1/2)B^n\subset P$. Conversely, write any nonzero $x\in P$ as $x=t\theta$ and choose $u$ as above. Then $t/2\le t(u\cdot \theta )=u\cdot x\le 1/2$, so $t\le 1$. Hence $P\subset B^n$, which also proves boundedness. This convex polytope has at most $|U|\le 3^n$ facets, since redundant inequalities can only reduce their number. It meets the required inclusions with $r=2$.

Assume an interior sphere condition at $y$, and assume the coefficients are bounded and the principal part defines a uniformly elliptic operator near its tangent Euclidean ball. Shrinking the Euclidean ball while keeping it tangent if necessary, arrange that $\overline{B_R(z)}\setminus \{y\}\subset \Omega$. Write $\nu =(y-z)/R$, the outward radial direction. The conclusion of the Hopf boundary point lemma in the regularity stated in the question isIf the one-sided normal derivative exists, this says ${\partial }_{\nu }u(y)>0$. For a $C^1$ boundary its outward normal agrees with the tangent Euclidean ball's radial normal. Continuity alone does not guarantee that the derivative exists, so its existence must be added when asserting a finite derivative.

On the annulus $R/2<r=|x-z|<R$, use the barrierThe operator has no zeroth-order term, and differentiation givesfor sufficiently large $k$: the quadratic-in-$k$ term is at least $k^2\lambda R^2$, while the remaining terms are bounded multiples of $k$.

On the inner sphere, compactness and strict inequality give a positive minimum of $u(y)-u(x)$. Choose $\epsilon >0$ small enough that $u-u(y)+\epsilon h\le 0$ there. The same inequality holds on the outer sphere since $h=0$. The weak maximum principle for elliptic operators yields $u-u(y)+\epsilon h\le 0$ throughout the annulus. Along the inward radius,This proves the lemma. The interior sphere condition supplies precisely the geometry needed for the barrier; no global boundary regularity is used.

Here a domain is connected. Suppose both a negative point and a zero point exist. The open set $D=\{v<0\}$ then has a boundary point $q$ inside $\Omega$. Choose $z\in D$ close enough to $q$ that the Euclidean ball of radius $R=\mathrm{dist}(z,Z)$ stays compactly inside $\Omega$; it is contained in $D$ and touches $Z$ at some $y$. Attainment of this distance follows by restricting to a compact neighbourhood of $q$.

On that Euclidean ball $v$ is twice differentiable andThe Hopf boundary point lemma gives a strictly positive outward radial derivative at $y$. But $y$ is an interior maximum of the $C^1$ function $v$ on $\Omega$, so $Dv(y)=0$. This contradiction proves the Hopf dichotomy with classical regularity away from the zero set:

For the requested weaker-regularity counterexample take $\Omega =(-1,1{)}^n$ andIt is a locally Lipschitz function and nonpositive. Its negative set is $x_1>0$, where $v=-\sin x_1$ is smooth and $\Delta v+v=0$. On $x_1\le 0$ it is zero. The normal derivative jumps from zero to minus one across $x_1=0$, so it is not $C^1$. All other hypotheses hold; imposing the equation also across that interface would be an additional condition absent from the question.

Use the paper's classical norm convention: $|u{|}_{2;U}$ is the derivative supremum norm through order two, not an $L^2$ norm. Write $H(u;U)=[D^{2}u{]}_{\alpha ;U}$ and $Q(u,f)=|u{|}_{2;B_1}+|f{|}_{0,\alpha ;B_1}$, where the latter is the full Hölder norm of the forcing.

Fix $0<\delta <1$. If the asserted estimate failed, rescaling the functions by their global Hessian matrix Hölder seminorm would produce $u_j,f_j$ withIn particular $Q(u_j,f_j)\to 0$. Choose $x_j,y_j\in B_{1/2}$ for whichThe supremum norm of $D^2{u}_j$ tends to zero, so $r_j=|y_j-x_j|\to 0$. Let $P_j$ be the quadratic Taylor polynomial of $u_j$ at $x_j$, and defineThe domains contain $B_{1/(2r_j)}$, and $U_j,D{U}_j,D^2{U}_j$ vanish at zero. MoreoverThe right side is bounded by $[f_j{]}_{\alpha }|z{|}^{\alpha }$ and tends to zero locally uniformly. The normalized Hessian matrix bound controls $|D^2{U}_j(z)|\le |z{|}^{\alpha }$; integration along line segments then bounds $D{U}_j,U_j$ on every compact Euclidean ball. Arzela-Ascoli theorem and a diagonal subsequence argument give convergence in $C^2$ on compact subsets to an entire harmonic function $U$, with $[D^{2}U{]}_{\alpha ;{\mathbb{R}}^n}\le 1$ and $D^{2}U(0)=0$.

After a further subsequence $z_j=(y_j-x_j)/r_j\to z_{\ast }$ with $|z_{\ast }|=1$. The normalization ensures $|D^{2}U(z_{\ast })|\ge \delta /2$. But each second derivative of $U$ is harmonic and has finite global Hölder seminorm with exponent below one. The supplied Liouville theorem makes each derivative constant; it is the globally Hölder case of the polynomial-growth Liouville theorem for harmonic functions. Its value at zero makes it zero, a contradiction. This blow-up compactness proof of an interior Schauder estimate establishes

To absorb the term on the larger Euclidean ball, rescale this estimate to Euclidean balls contained in $B_s$. For $1/2\le r<s<1$, pairs separated by less than $(s-r)/2$ are controlled in a Euclidean ball centred at their first point; farther pairs are controlled directly by $\Vert D^{2}u{\Vert }_{\infty }$. ThusThis is the covering step in the Simon absorption lemma. Take $r_j=1-2^{-j-1}$ and fix $\delta <2^{-2-\alpha }$. Iterating makes the remainder ${\delta }^{j}H(u;B_{r_j})$ tend to zero, since the global seminorm is finite; the error terms form a convergent geometric series. Consequently

For the requested failure of the weaker estimate, take $u_m=m^{-2}\sin (m{x}_1)$ and $f_m=-\sin (m{x}_1)$. The derivative supremum norm $|u_m{|}_2$ and $\Vert f_m{\Vert }_{\infty }$ remain bounded, but comparison at $0$ and $\pi e_1/(2m)$, both in $B_{1/2}$ for large $m$, givesThis proves the necessity of Hölder forcing for Schauder estimates. Every member of the sequence is smooth; failure comes from the increasing frequency, not from any lack of individual regularity.