Unique continuation at the boundary for divergence form elliptic equations on quasiconvex domains

Abstract

Let $Ω\subset \mathbb{R}^d$ be a quasiconvex Lipschitz domain and $A(x)$ be a $d \times d$ uniformly elliptic, symmetric matrix with Lipschitz coefficients. Assume a nontrivial $u$ solves $-\nabla \cdot (A(x) \nabla u) = 0$ in $Ω$, and $u$ vanishes on $Σ= \partial Ω\cap B$ for some ball $B$. The main contribution of this paper is to demonstrate the existence of a countable collection of open balls $(B_i)_i$ such that the restriction of $u$ to $B_i \cap Ω$ maintains a consistent sign. Furthermore, for any compact subset $K$ of $Σ$, the set difference $K \setminus \bigcup_i B_i$ is shown to possess a Minkowski dimension that is strictly less than $d - 1 - ε$. As a consequence, we prove Lin's conjecture in quasiconvex domains.