Near-boundary rigidity and strict maximum modulus for Neumann eigenfunctions on convex planar domains
We develop a near-boundary rigidity theorem for arbitrary nonzero Neumann eigenfunctions on bounded convex planar domains. Precisely, if an eigenfunction $u$ with positive eigenvalue $μ$ has an interior maximum-modulus point $p$ satisfying $\sqrtμ\,\text{dist}(p,\partialΩ)\leπ/\sqrt3$, then $Ω$ must be a rectangle and $u$ must be a cosine of one coordinate, and $μ\ge4μ_2(Ω)$, with the factor $4$ being sharp. This shows that a scale-invariant distance condition at just one maximum-modulus point determines the geometry of the entire domain and the explicit form of the eigenfunction. We further prove that the maximum modulus of every second Neumann eigenfunction on a bounded convex planar domain is attained only on the boundary, without assuming boundary smoothness or eigenvalue simplicity. Moreover, we also prove strict boundary maximum modulus for higher Neumann eigenfunctions under suitable conditions, including all third Neumann eigenfunctions on arbitrary triangles.