{"id":"arxiv/2609.14785","url":"https://arxiv.org/abs/2609.14785","tags":["math.NA","math.OC"],"score":0,"title":"Computer-assisted local maximality of regular polygons for torsional rigidity","domain":"math.NA","source":"arxiv","authors":["Beniamin Bogosel"],"reviews":0,"subject":"math.NA","summary":"We study torsional rigidity as a function of the labeled vertices of a convex polygon. Starting from the distributed second shape derivative, we derive the Hessian with respect to vertex coordinates. At a regular polygon, dihedral symmetry makes this matrix block circulant in radial-tangential coordinates, reducing its spectrum to the eigenvalues of Hermitian matrices of order two. We also derive an exact second-variation Galerkin identity and guaranteed functional residual majorants. Finite elements approximate the PDE solutions entering the Hessian, and FLINT/Arb provides the interval…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-13","reactions":{}}