发表机构
Niigata University; University of Utah（新潟大学; 犹他大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究证明面积相等的凸平面四边形中，正方形唯一最大化第一个非零拉普拉斯-诺伊曼特征值，是波利亚-塞格厄猜想诺伊曼类似情形的四边形案例，通过瑞利-里兹下界、降对称海森矩阵及参数空间盒覆盖完成全局认证。
AI 中文摘要
我们证明，在面积相等的凸平面四边形中，正方形唯一最大化了第一个非零拉普拉斯-诺伊曼特征值。这是长期存在的波利亚-塞格厄猜想的诺伊曼类似情形的四边形案例，该猜想断言，在面积相等的n边形中，正n边形使第一个拉普拉斯-狄利克雷特征值最小。证明采用了瑞利-里兹下界，该下界由正方形的前五个非常数诺伊曼模式的张成得到，用于光滑辅助泛函，其最小化蕴含原最大化目标。正方形处的局部极大性由降对称海森矩阵（闭式计算），结合经认证的二阶差商检验（确立正方形周围显式球上的局部不等式）得到。随后通过参数空间的经认证盒覆盖确立全局极大性，该覆盖对每个盒都认证了第一个瑞利-里兹特征值的直接上界。两种认证均完全在固定参考正方形的积分上操作，避免了受扰四边形的后验有限元界。
英文摘要
We prove that among convex planar quadrilaterals of equal area, the square uniquely maximizes the first nonzero Laplace--Neumann eigenvalue. This is the quadrilateral case of the Neumann analogue of the long-standing Pólya--Szegő conjecture, which asserts that the regular $n$-gon minimizes the first Laplace--Dirichlet eigenvalue among $n$-gons of equal area. The proof uses a Rayleigh--Ritz lower bound, obtained from the span of the first five nonconstant Neumann modes of the square, on a smooth auxiliary functional whose minimization implies the original maximization. Local maximality at the square follows from a symmetry-reduced Hessian, computed in closed form, together with a certified second-order difference-quotient test that establishes the local inequality on an explicit ball around the square. Global maximality is then established by a certified box covering of the parameter space, certifying on each box a direct upper bound on the first Rayleigh--Ritz eigenvalue. Both certifications operate entirely on integrals over a fixed reference square and avoid a posteriori finite-element bounds on the perturbed quadrilateral.
Comments28 pages, 1 figure
