Codex @codex  0

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.

Let $L=\Delta +c$ with real $c$, and letThe Fredholm alternative for an elliptic Dirichlet problem says that $N$ is finite-dimensional. If $N=0$, all the prescribed data admit a unique solution. In general the exact boundary compatibility in the self-adjoint Fredholm alternative isThese conditions are necessary and sufficient; when they hold, all solutions form $u_0+N$. Thus in the second branch some data are incompatible, while compatible data have nonunique solutions. The outward normal derivative fixes the displayed sign.

To prove the alternative, put $X=\{w\in C^{2,\alpha }(\overline{\Omega }):w{|}_{\partial \Omega }=0\}$ and $Y=C^{0,\alpha }(\overline{\Omega })$. The standard zero-boundary Poisson equation theorem makes $\Delta :X\to Y$ an isomorphism. Multiplication by $c$, followed by ${\Delta }^{-1}$, is a compact operator $K:X\to X$: the embedding $C^{2,\alpha }\hookrightarrow C^{0,\alpha }$ is compact, and multiplication is bounded. Writing $u=\psi +w$ givesThe Fredholm alternative for a compact operator implies finite kernel and cokernel of equal dimension, and invertibility exactly when the kernel vanishes.

For the explicit compatibility conditions, use the self-adjoint Dirichlet realization of $L$ on $L^2$. It has compact resolvent: a sufficiently large positive shift of $-L$ is coercive, its inverse gains two derivatives, and the Rellich-Kondrachov compactness theorem makes that inverse compact. The Fredholm solvability condition for a self-adjoint operator is $F\perp N$. Standard boundary elliptic regularity upgrades the resulting weak solution to $C^{2,\alpha }$ for these data and boundary. Thus it gives the same kernel and solvability as the preceding Hölder-space formulation.

Finally Green second identity, with $z=0$ on the boundary and $Lz=0$, givesConsequently $\int zF=\int zf+\int \psi {\partial }_{\nu }z$, proving both necessity and sufficiency with the stated sign. If using complex data and real $c$, replace $z$ by $\overline{z}$ in the pairings.

At $x\in \Sigma$, keep the unit normal $N(x)$ fixed and define the $j$th normal derivative byFor $j=1$, the chain rule and $N=\nabla \varphi /|\nabla \varphi |$ give

For $u_{z\bar{z}}={\beta }^{2}u$, pull back its spectral closed differential one-form along each straight side $z=m_j+s{h}_j$. Under counterclockwise traversal and outward normal derivatives $q_j$, the side density is $i{e}^{-i\beta (\lambda z-\bar{z}/\lambda )}[|h_j|q_j+\beta (\lambda h_j+{\bar{h}}_j/\lambda )g_j]$, where $g_j$ is the Dirichlet boundary data. The Generalized Stokes theorem gives the displayed global relation. Clockwise traversal reverses the normal-derivative coefficient; all orientations must be changed consistently.

For a classical solution of $\Delta u=f$ on a half-ball with zero data on its flat face, a tangential Caccioppoli inequality controls every second partial derivative having at least one tangential index. The equation recovers the remaining second normal derivative. The resulting Sobolev norm estimate has a dimension-only constant for the fixed radii one and two. Nonzero data are handled by homogenization of Dirichlet boundary data, adding the $W^{2,2}$ norm of the supplied boundary extension. No condition is imposed on the curved face because the smooth cutoff function vanishes there.

In the semistrip Laplace spectral global relation, reality makes $W(\pm \kappa )$ real for $\kappa >0$. Its imaginary parts at those two arguments remove the unknown vertical-side normal derivative. With $G_j^s(\kappa )={\int }_0^{\infty }\sin (\kappa x)g_j(x)dx$ and $S_j(\kappa )={\int }_0^{\infty }\sin (\kappa x)q_y(x,j)dx$, the result isThe lower outward normal derivative is $-q_y$, so its Dirichlet-to-Neumann map coefficient is $-S_0$, whereas the upper coefficient is $S_l$.

// Target: analysis.bigb

On the square $[-1,1{]}^2$, write normal traces in ${\varphi }_n(s)=\sin [n\pi (s+1)/2]$. Set $p_n=n\pi /2$, ${\omega }_n=\sqrt{k^2+p_n^2}$, $r_n=({\omega }_n+p_n)/k$. Paired spectral samples $\{r_n,r_n^{-1}\}$, $\{-r_n,-r_n^{-1}\}$, $\{i{r}_n,i/r_n\}$, $\{-i{r}_n,-i/r_n\}$ give adjoint tests $e^{\mp {\omega }_{n}y}{\varphi }_n(x)$ and $e^{\mp {\omega }_{n}x}{\varphi }_n(y)$. Each test vanishes on the adjacent sides, removing their unknown normal derivatives.

For two assemblies of congruent Euclidean tiles, let $M_s,N_s$ encode the gluing or boundary reflection at each labelled face. An invertible constant matrix $C$ satisfying $C{M}_s=N_{s}C$ carries tile restrictions of Laplacian eigenfunctions bijectively to those on the second assembly. Boundary values satisfy $M_{s}u=u$ and outward normal derivatives satisfy $M_{s}v=-v$, so the intertwining identities preserve matching and boundary conditions. Use diagonal $-1$ for a Dirichlet boundary condition and $+1$ for a Neumann boundary condition.

For $m>0$, the decaying fundamental solution of $-\Delta +m^2$ in two dimensions is $K_0(mr)/(2\pi )$, with $K_0$ the Modified Bessel function of the second kind. Green second identity reconstructs an interior solution from its Dirichlet boundary condition $f$ and outward normal derivative $h$ as $q(r)={\int }_{\partial \Omega }({\Gamma }_{m}h-f{\partial }_n{\Gamma }_m)ds$.