We study the first nontrivial Steklov eigenvalue of perimeter-normalized regular -gons and show that it is strictly increasing in . The proof mainly relies on an analytic framework that establishes a refined asymptotic expansion in three steps: first, identifying the Steklov eigenvalue as the maximal eigenvalue of a Toeplitz-type operator; second, deriving the eigenvalue and its associated eigenfunctions simultaneously via Schur reduction; and finally, obtaining the exact coefficients in the Schur moment expansion by evaluating Euler-type sums. The monotonicity is proved to be eventual, holding for . For the remaining cases , we provide complementary computer-assisted verification, confirming monotonicity across the full range of .

生成讲解博客的中文版本

生成AI智能校验的中文版本