Maximizing the Steklov eigenvalues on trees with a diameter constraint

Abstract

We study the first nonzero Steklov eigenvalue $\hat{I}{»}_2(T,\hat{I}´\hat{I}\text{c◯})$ of the Dirichlet-to-Neumann operator on a finite tree $T$ with leaf boundary $\hat{I}´\hat{I}\text{c◯}$, under a constraint on the diameter $D$. He and Hua [Calc. Var. PDE, 2022] showed that $\hat{I}{»}_2(T)\le 2/D$ for any tree of diameter $D$, with the even-diameter equality case fully characterized. For odd $D$, the geometric picture underlying the sharp configurations has remained unclear beyond diameter three. We determine this picture completely for all odd diameters $D=2r+1\ge 5$. The sharp value of $\hat{I}{»}_2$ is achieved on spider trees with nearly-equidistributed branch lengths, forming the family of \emph{generalized almost seesaw trees} $\mathrm{AS}(r,q+2,c,t)$, prescribed by the arithmetic of $n$ relative to $\lceil r/2\rceil$. Together with the results of He-Hua and Lin-Zhao [Bull. Lond. Math. Soc., 2025] for even diameters and diameter three, this completes the geometric classification for every diameter. The argument is based on a scalar root equation for one-center profiles, an inverse boundary quadratic form on boundary fluxes, and a reduction scheme from arbitrary trees to two-center profiles, and then to the one-center class. The inverse variational viewpoint may be regarded as a boundary analogue of the classical distance-matrix formalism for trees initiated by Graham and Lovász [Adv. Math., 1978].

22 pages, 1 figure