
arXiv: 1804.00903
Let $Ω$ be an open, possibly unbounded, set in Euclidean space $\R^m$ with boundary $\partialΩ,$ let $A$ be a measurable subset of $Ω$ with measure $|A|$, and let $γ\in (0,1)$. We investigate whether the solution $v_{\Om,A,γ}$ of $-Δv=γ{\bf 1}_{Ω\setminus A}-(1-γ){\bf 1}_{A}$ with $v=0$ on $\partial Ω$ 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.
27 pages, 2 figures, various minor typos have been corrected
Dirichlet boundary condition, Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation, 35B09, 35J25, 35P99, 58J35, 510, Mathematics - Analysis of PDEs, Boundary value problems for second-order elliptic equations, FOS: Mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Poisson’s equation, [MATH.MATH-AP] Mathematics [math]/Analysis of PDEs [math.AP], Laplacian, Torsion function, sign changing solutions, Analysis of PDEs (math.AP)
Dirichlet boundary condition, Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation, 35B09, 35J25, 35P99, 58J35, 510, Mathematics - Analysis of PDEs, Boundary value problems for second-order elliptic equations, FOS: Mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Poisson’s equation, [MATH.MATH-AP] Mathematics [math]/Analysis of PDEs [math.AP], Laplacian, Torsion function, sign changing solutions, Analysis of PDEs (math.AP)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
