On Laplacian Eigenvalue Equation with Constant Neumann Boundary Data

Yong Huang,Qinfeng Li,Qiuqi Li,Ruofei Yao
DOI: https://doi.org/10.1007/s00208-024-02873-1
2024-01-01
Mathematische Annalen
Abstract:Let Ω be a bounded Lipschitz domain in ℝ^n and we study boundary behaviors of solutions to the following Laplacian eigenvalue equation with constant Neumann data: 0.1 {[ -Δ u=cu in Ω; ∂ u/∂ν=-1 on ∂Ω . ]. First, by using properties of Bessel functions and proving new inequalities on elementary symmetric polynomials, we obtain the following inequality for rectangular boxes, balls and equilateral triangles: 0.2 lim _c→μ _2^-c∫ _∂Ωu_c dσ≥n-1/nP^2(Ω )/|Ω |, with equality achieved only at cubes and balls. In the above, u_c is the solution to (0.1) and μ _2 is the second Neumann Laplacian eigenvalue. Second, let κ _1 be the best constant for the Poincaré inequality with the vanishing mean condition over ∂Ω , and we prove that κ _1≤μ _2 and that the equality holds if and only if ∫ _∂Ωu_c dσ >0 for any c∈ (0,μ _2) . As a consequence, κ _1=μ _2 on balls, rectangular boxes and equilateral triangles, and balls maximize κ _1 over all Lipschitz domains with fixed volume. As an application, we extend the symmetry breaking results from ball domains obtained in Bucur-Buttazzo-Nitsch (J Math Pures Appl (9) 107(4): 451–463, 2017), to wider class of domains, and give quantitative estimates for the precise breaking threshold at balls and rectangular boxes. It is a direct consequence that for domains with κ _1<μ _2 , (0.2) is never true, while whether it is valid for domains on which κ _1=μ _2 remains open.
What problem does this paper attempt to address?