A Proof of a Conjecture on a Pólya Functional
Abstract
Let λ1(Ω) and T(Ω) denote the first Dirichlet eigenvalue and torsional rigidity of a bounded convex domain Ω⊂ℝ2, and let M=maxΩu, where u is the torsion function. We prove the sharp inequalities π2/24<λ1(Ω)T(Ω)/|Ω|<π2/12. This proves the two-dimensional case of Conjecture 4.2 proposed by van den Berg, Buttazzo, and Pratelli. Its planar formulation was later restated as Conjecture 1.1 by Bañuelos and Mariano, who proved it for triangles and rectangles. The lower bound follows by combining Payne's strict estimate for λ1M with the sharp torsion-efficiency inequality T(Ω)≥ |Ω|M/3. For smooth strictly convex domains, we use an Airy stress potential to construct a convex body whose surface-area measure is the torsional first-variation measure. A sharp one-dimensional inequality for directional maximum profiles then yields a stronger geometric containment. For the upper bound, we factor the Pólya functional through the second torsion moment. A level-set torsion--perimeter inequality gives the factor 5/6, while a sharp weighted one-dimensional estimate gives the factor π2/10. Collapsing triangles and elongating rectangles show that both endpoint constants, as well as the efficiency constant 1/3, are sharp.
Related
- Proof of the local version of the Pólya--Szegö conjecture for the torsional rigidity of polygons
- Pólya’s conjecture for thin products
- Pólya's Conjecture Up to ε‐loss and Quantitative Estimates for the Remainder of Weyl's Law
- New Qualitative and Quantitative Estimates for Neumann Eigenvalues toward Pólya's Conjecture
- Pólya's conjecture for Neumann eigenvalues of spherical shells
BibTeX
@misc{deng2026proof,
title = {{A Proof of a Conjecture on a Pólya Functional}},
author = {Zikang Deng},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.13221},
eprint = {2609.13221},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.13221},
}
RIS
TY - UNPB
TI - A Proof of a Conjecture on a Pólya Functional
AU - Zikang Deng
PY - 2026
DA - 2026/09/01
PB - arXiv
DO - 10.48550/arxiv.2609.13221
UR - https://arxiv.org/abs/2609.13221
AB - Let λ_1(Ω) and T(Ω) denote the first Dirichlet eigenvalue and torsional rigidity of a bounded convex domain Ω⊂ℝ^2, and let M=max_Ωu, where u is the torsion function. We prove the sharp inequalities π^2/24<λ_1(Ω)T(Ω)/|Ω|<π^2/12. This proves the two-dimensional case of Conjecture 4.2 proposed by van den Berg, Buttazzo, and Pratelli. Its planar formulation was later restated as Conjecture 1.1 by Bañuelos and Mariano, who proved it for triangles and rectangles. The lower bound follows by combining Payne's strict estimate for λ_1M with the sharp torsion-efficiency inequality T(Ω)≥ |Ω|M/3. For smooth strictly convex domains, we use an Airy stress potential to construct a convex body whose surface-area measure is the torsional first-variation measure. A sharp one-dimensional inequality for directional maximum profiles then yields a stronger geometric containment. For the upper bound, we factor the Pólya functional through the second torsion moment. A level-set torsion--perimeter inequality gives the factor 5/6, while a sharp weighted one-dimensional estimate gives the factor π^2/10. Collapsing triangles and elongating rectangles show that both endpoint constants, as well as the efficiency constant 1/3, are sharp.
ER -