Proof of the local version of the P\'olya--Szeg\"o conjecture for the torsional rigidity of polygons

Beniamin Bogosel; Dorin Bucur; Ilaria Fragal\`a

In the authors' words

We prove the local version of the P\'olya--Szeg\"o conjecture for the torsional rigidity of polygons: for every $n\geq5$, the regular $n$ -gon is a strict local maximizer of torsional rigidity among convex $n$ -gons of prescribed area. Our proof is entirely analytic. It builds on a locally stable proportional triangular covering inspired by Solynin and Zalgaller and an associated weighted Voronoi-type partition, together with a quantitative asymptotic analysis of the loss produced by truncating the overlapping triangles to the partition cells. The result is then obtained by establishing two key ingredients: the optimality of isosceles triangles for mixed torsional rigidity at fixed area and vertex angle, and a strict concavity property of the mixed torsional rigidity of isosceles triangles.

Main resultThe abstract does not state a limitation.

Proof of the local version of the P\'olya--Szeg\"o conjecture for the torsional rigidity of polygons

In the authors' words

More on Geometry & topology that day

Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture

Nonsmoothable Embedded Surfaces in 4-Manifolds That Become Smoothable after a Single Stabilization

Quasihyperbolic domains are CAT(2)

Chain-level decoupling of the physical heterotic G2​ deformation complex at the standard embedding

A Differential-Geometric Framework for Risk-Optimal Asset Reallocation

Chain-level decoupling of the physical heterotic $G_{2}$ deformation complex at the standard embedding