Maximally singular solutions of Laplace equations
Josipa Pina Milišić, Darko Žubrinić · arXiv (Cornell University) · 2018
It is known that there exists an explicit function $F$ in $L^2(Ω)$, where $Ω$ is a given bounded open subset of $\mathbb{R}^N$, such that the corresponding weak solution of the Laplace BVP $-Δu=F(x)$, $u\in H_0^1(Ω)$, is maximally singular; that is, the singular set of $u$ (defined in the Introduction) has the Hausdorff dimension equal to $(N-4)^+$. This constant is optimal, i.e., the largest possible. Here, we show that much more is true: when $N \geq 5$, there exists $F\in L^2(Ω)$ such that the corresponding weak solution has the pointwise concentration of singular set of $u$, in the sense of the Hausdorff dimension, equal to $N-4$ at all points of $Ω$. We also consider the problem of generating weak solutions with the property of contrast; that is, we construct solutions $u$ that are regular (more specifically, of class $C_{loc}^{2,α}$ for arbitrary $α\in(0,1)$) in any prescribed open subset $Ω_r$ of $Ω$, while they are maximally singular in its complement $Ω\setminusΩ_r$. We indicate several open problems.