Sign changing solutions of Poisson's equation
Let Ω be an open, possibly unbounded, set in Euclidean space Rm with boundary ∂Ω, let A be a measurable subset of Ω with measure ∣A∣, and let γ∈(0,1). We investigate whether the solution $v_{\Om,A,γ}$ of −Δv=γ1Ω∖A−(1−γ)1A with v=0 on ∂Ω changes sign. Bounds are obtained for ∣A∣ in terms of geometric characteristics of $\Om$ (bottom of the spectrum of the Dirichlet Laplacian, torsion, measure, or R-smoothness of the boundary) such that ${\rm essinf} v_{\Om,A,γ}\ge 0$. We show that ${\rm essinf} v_{\Om,A,γ}<0$ for any measurable set A, provided $|A| >γ|\Om|$. This value is sharp. We also study the shape optimisation problem of the optimal location of A (with prescribed measure) which minimises the essential infimum of $v_{\Om,A,γ}$. Surprisingly, if $\Om$ is a ball, a symmetry breaking phenomenon occurs.