Pith. sign in

REVIEW 1 major objections 1 cited by

Mixed Torsion on Right Triangles and the P\'olya--Szeg\H{o} Monotonicity Problem for Regular Polygons

T0 review · 1 major / 0 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Mixed torsional rigidity on right triangles increases strictly as the Neumann-to-Dirichlet leg ratio grows.

desk verdict The paper proves monotonicity for mixed torsional rigidity on right triangles and strict increase of Dirichlet torsional rigidity for regular polygons of fixed area, using Hadamard/Pohozaev for the first and Schwarz-Christoffel/Bergman for the second, plus an asymptotic expansion. read the letter →

arxiv 2606.13448 v1 pith:TU7XNICN submitted 2026-06-11 math.AP

Changfeng Gui , Yeyao Hu , Qinfeng Li , Chenyang Zhang This is my paper · ORCID
classification math.AP
keywords mixedtorsionalrigidityrighttrianglesregularpolygonsmonotonicityPólya–SzegőconjectureDirichletshapederivativeasymptoticexpansion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes monotonicity for torsional rigidity in two settings motivated by the polygonal Pólya–Szegő conjecture. For right triangles of fixed area with a Dirichlet condition on one leg and Neumann conditions on the other leg and hypotenuse, the mixed torsional rigidity rises strictly when the Neumann leg lengthens relative to the Dirichlet leg. The same monotonicity holds for the mixed ground state eigenvalue. For regular N-gons of area π, the Dirichlet torsional rigidity is strictly larger for N+1 sides than for N sides when N is at least 3, and an explicit asymptotic expansion in powers of 1/N is derived.

What carries the argument

Hadamard shape derivative combined with Pohozaev-type identity for the mixed boundary problem on right triangles; Schwarz–Christoffel mapping and Bergman analytic content for the sequence of regular polygons.

What would settle it

A direct numerical computation of the mixed torsional rigidity for two right triangles of equal area but different Neumann-to-Dirichlet leg ratios that shows the value decreasing as the Neumann ratio increases, or a computation showing T^D(P_5) less than T^D(P_4) for regular pentagons and squares of area π.

Watch

Extended reading notes

Core claim

We prove that the mixed torsional rigidity strictly increases as the ratio of the Neumann leg to the Dirichlet leg increases. We also prove T^D(P_{N+1})>T^D(P_N) for N≥3 together with the expansion T^D(P_N)=π/8−πζ(3)/N^3+π^5/(45N^4)+O(N^{-5}).

Load-bearing premise

The Hadamard shape derivative and Pohozaev-type identity remain valid for the mixed boundary-value problem on right triangles, and the Schwarz–Christoffel/Bergman analytic-content argument applies directly to the sequence of regular polygons without loss of regularity.

Editorial extensions

If this is right

  • The mixed ground state of the Laplacian satisfies an analogous monotonicity with respect to the leg ratio.
  • Dirichlet torsional rigidity of regular polygons increases monotonically toward the value for the disk.
  • The leading correction terms in the expansion quantify the rate at which regular polygons approach the disk in torsional rigidity.
  • The two monotonicity results supply concrete verified cases supporting the broader polygonal Pólya–Szegő conjecture.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The analytic mapping technique used for regular polygons might extend to other families of convex domains whose boundaries admit Schwarz–Christoffel representations.
  • If the mixed-boundary monotonicity generalizes beyond right triangles, it could constrain optimal mixed-boundary configurations in other spectral problems.
  • Higher-order terms in the asymptotic expansion could be derived by the same Bergman-content method to obtain sharper approximation rates.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper proves two monotonicity results for torsional rigidity. For right triangles of fixed area with Dirichlet condition on one leg and Neumann on the other leg and hypotenuse, the mixed torsional rigidity strictly increases with the ratio of Neumann to Dirichlet leg lengths; the proof relies on the Hadamard shape derivative, a Pohozaev-type identity, and a monotonicity property of the mixed torsion function (a similar result is stated for the mixed ground state). For regular N-gons P_N of area π, it proves T^D(P_{N+1}) > T^D(P_N) for N ≥ 3 and the expansion T^D(P_N) = π/8 − πζ(3)/N^3 + π^5/(45N^4) + O(N^{-5}), via a Schwarz–Christoffel/Bergman analytic-content argument.

Significance. If valid, the results give analytic progress on the polygonal Pólya–Szegő conjecture and new monotonicity statements for mixed boundary-value problems. The purely analytic treatment of the regular-polygon monotonicity (avoiding numerics) is a clear strength.

major comments (1)
  1. [Abstract and proof of the triangle monotonicity result] Abstract (first problem) and the corresponding proof section: the Hadamard shape derivative and Pohozaev-type identity are invoked for the mixed Dirichlet–Neumann problem on right triangles. The manuscript must explicitly verify that the r^{-1/2} gradient singularity at the Dirichlet–Neumann corner produces no additional boundary integrals that would invalidate differentiation under the integral or the integration-by-parts step; without this justification the monotonicity claim for the mixed torsional rigidity rests on an unverified extension of the classical identities.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the justification of the shape derivative. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract and proof of the triangle monotonicity result] Abstract (first problem) and the corresponding proof section: the Hadamard shape derivative and Pohozaev-type identity are invoked for the mixed Dirichlet–Neumann problem on right triangles. The manuscript must explicitly verify that the r^{-1/2} gradient singularity at the Dirichlet–Neumann corner produces no additional boundary integrals that would invalidate differentiation under the integral or the integration-by-parts step; without this justification the monotonicity claim for the mixed torsional rigidity rests on an unverified extension of the classical identities.

    Authors: We agree that an explicit verification of the shape derivative and integration-by-parts steps is required in the presence of the Dirichlet–Neumann corner. The gradient singularity is of order r^{-1/2}, which is square-integrable, but the boundary integrals over small arcs around the corner must be shown to vanish in the limit. In the revised manuscript we will insert a short paragraph (or appendix) using the standard corner expansion for mixed boundary-value problems (leading term proportional to r^{1/2} sin(θ/2)) to confirm that the contribution is o(1) as the radius tends to zero. This addition will be placed immediately before the application of the Hadamard formula in the triangle section and will not change the main monotonicity statements. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: direct analytic derivations from standard identities

full rationale

The paper derives the mixed-torsion monotonicity on right triangles from a Hadamard shape derivative, a Pohozaev-type identity, and a monotonicity result for the torsion function, and derives the polygon monotonicity plus expansion from a Schwarz–Christoffel/Bergman analytic-content argument. None of these steps are shown in the text to reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the claims remain independent of the target results. This is the normal self-contained case.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The results rest on standard elliptic PDE theory, shape calculus, and complex analysis; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

assumptions (2)
  • standard math Standard existence, uniqueness, and regularity theory for mixed Dirichlet–Neumann elliptic problems on polygonal domains
    Invoked implicitly for the torsion function and its shape derivative.
  • standard math Validity of the Schwarz–Christoffel mapping and Bergman kernel properties for regular polygons
    Used in the analytic-content argument for the polygonal monotonicity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mixed Torsion on Right Triangles and the P\'olya--Szeg\H{o} Monotonicity Problem for Regular Polygons." pith.science (2026). https://pith.science/paper/TU7XNICN

@misc{pith2026260613448,
  author       = {Pith},
  title        = {Pith review of: Mixed Torsion on Right Triangles and the P\'olya--Szeg\Ho Monotonicity Problem for Regular Polygons},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TU7XNICN}},
  note         = {Machine review of arXiv:2606.13448}
}
abstract

Motivated by the polygonal P\'olya--Szeg\H{o} conjecture for torsional rigidity, we study two monotonicity problems for torsional rigidity. The first concerns a mixed torsion problem on fixed-area right triangles, with a Dirichlet condition on one leg and Neumann conditions on the other leg and on the hypotenuse. We prove that the mixed torsional rigidity strictly increases as the ratio of the Neumann leg to the Dirichlet leg increases. The proof uses a Hadamard shape derivative, a Pohozaev-type identity, and a monotonicity result for the mixed torsion function. We also prove a similar result for the mixed ground state of Laplacian. The second concerns regular polygons. If \(P_N\) denotes the regular \(N\)-gon of area \(\pi\), we prove, by a purely analytic Schwarz--Christoffel/Bergman analytic-content argument, that \[ T^D(P_{N+1})>T^D(P_N),\qquad N\ge3, \] where \(T^D\) is the Dirichlet torsional rigidity. We also obtain the asymptotic expansion \[ T^D(P_N)=\frac{\pi}{8}-\frac{\pi\zeta(3)}{N^3} +\frac{\pi^5}{45N^4}+O(N^{-5}). \]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A P\'olya--Szeg\H{o} Theorem for Tangential Polygons

    math.AP 2026-07 accept novelty 8.0 of 10

    For every N≥3, the regular N-gon uniquely maximizes torsional rigidity among all tangential N-gons of prescribed area.

Reference graph

Works this paper leans on

31 extracted references · 10 canonical work pages · cited by 1 Pith paper

  1. [1]

    P. R. S. Antunes and P. Freitas,New bounds for the principal Dirichlet eigenvalue of planar regions, Experimental Mathematics15(2006), no. 3, 333–342

    2006

  2. [2]

    Berghaus, B

    D. Berghaus, B. Georgiev, H. Monien and D. Radchenko,On Dirichlet eigenvalues of regular poly- gons, Journal of Mathematical Analysis and Applications538(2024), no. 2, 128460

    2024

  3. [3]

    Bogosel and D

    B. Bogosel and D. Bucur,On the polygonal Faber–Krahn inequality, Journal de l’ ´Ecole polytechnique—Math´ ematiques11(2024), 19–105

    2024

  4. [4]

    Borwein, J

    D. Borwein, J. M. Borwein and R. Girgensohn,Explicit evaluation of Euler sums, Proceedings of the Edinburgh Mathematical Society38(1995), 277–294

    1995

  5. [5]

    A variational method for second order shape derivatives

    G. Bouchitt´ e, I. Fragal` a and I. Lucardesi,A variational method for second order shape derivatives, arXiv:1509.00178, 2015. See also DOI: 10.1137/15100494X

    work page Pith review arXiv doi:10.1137/15100494x 2015

  6. [6]

    Bucur and I

    D. Bucur and I. Fragal` a,Symmetry results for variational energies on convex polygons, ESAIM: Control, Optimisation and Calculus of Variations27(2021), article no. 3

    2021

  7. [7]

    Cheng, C

    Z. Cheng, C. Gui, Y. Hu, Q. Li and R. Yao,Monotonicity of the first nonzero Steklov eigenvalue of regularN-gon with fixed perimeter, arXiv:2603.25116, 2026

    work page arXiv 2026

  8. [8]

    Dahne, J

    J. Dahne, J. G´ omez-Serrano and J. Pech-Alberich,Monotonicity of the first Dirichlet eigenvalue of regular polygons, arXiv:2601.16285, 2026

    work page arXiv 2026

Show all 31 references
  1. [9]

    T. A. Driscoll and L. N. Trefethen,Schwarz–Christoffel Mapping, Cambridge University Press, 2002

    2002

  2. [10]

    Fleeman and B

    M. Fleeman and B. Simanek,Torsional Rigidity and Bergman Analytic Content of Simply Connected Regions, Computational Methods and Function Theory19(2019), no. 1, 37–63. Also available as arXiv:1704.01997

    2019

  3. [11]

    Fragal` a, F

    I. Fragal` a, F. Gazzola and J. Lamboley, Geometric Properties for Parabolic and Elliptic PDE’s, Jun 2011, Italy. pp.97-115

    2011

  4. [12]

    Grisvard,Elliptic Problems in Nonsmooth Domains, Monographs and Studies in Mathematics, Vol

    P. Grisvard,Elliptic Problems in Nonsmooth Domains, Monographs and Studies in Mathematics, Vol. 24, Pitman, Boston, 1985

    1985

  5. [13]

    Hedenmalm, B

    H. Hedenmalm, B. Korenblum and K. Zhu,Theory of Bergman Spaces, Graduate Texts in Mathe- matics, Vol. 199, Springer, New York, 2000

    2000

  6. [14]

    Henrot,Extremum Problems for Eigenvalues of Elliptic Operators, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

    A. Henrot,Extremum Problems for Eigenvalues of Elliptic Operators, Frontiers in Mathematics, Birkh¨ auser, Basel, 2006

    2006

  7. [15]

    Henrot and M

    A. Henrot and M. Pierre,Shape Variation and Optimization: A Geometrical Analysis, EMS Tracts in Mathematics, Vol. 28, European Mathematical Society, 2018. 38 CHANGFENG GUI, YEYAO HU, QINFENG LI, AND CHENYANG ZHANG

    2018

  8. [16]

    Huang, Q

    Y. Huang, Q. Li, S. Xie and H. Yang, Flow approach on the monotonicity of shape functionals, arXiv:2502.09485, 2025

    2025

  9. [17]

    Indrei,On the first eigenvalue of the Laplacian for polygons, Journal of Mathematical Physics 65(2024), 041506

    E. Indrei,On the first eigenvalue of the Laplacian for polygons, Journal of Mathematical Physics 65(2024), 041506

    2024

  10. [18]

    hot spots

    D. Jerison and N. Nadirashvili, The “hot spots” conjecture for domains with two axes of symmetry, Journal of the American Mathematical Society 13 (2000), no. 4, 741–772

    2000

  11. [19]

    Keady,Torsional rigidity for tangential polygons, arXiv:2103.06129, 2021

    G. Keady,Torsional rigidity for tangential polygons, arXiv:2103.06129, 2021

    2021

  12. [20]

    Kraus and B

    A. Kraus and B. Simanek,New Perspectives on Torsional Rigidity and Polynomial Approximations of¯z, Journal of Elasticity156(2024), no. 4–5, 1085–1100. Also available as arXiv:2309.16450

    2024

  13. [21]

    Li and R

    R. Li and R. Yao,Monotonicity of positive solutions to semilinear elliptic equations with mixed boundary conditions in triangles, Journal of Functional Analysis (2026), article no. 111448. Also available as arXiv:2401.17912

    2026

  14. [22]

    Q. Li, J. Wei and R. Yao, Monotonicity properties of the Robin torsion function in a class of symmetric planar domains. arXiv:2509.14648

  15. [23]

    Nehari,Conformal Mapping, McGraw–Hill, New York, 1952

    Z. Nehari,Conformal Mapping, McGraw–Hill, New York, 1952

    1952

  16. [24]

    Nitsch,On the first Dirichlet Laplacian eigenvalue of regular polygons, arXiv:1403.6709, 2014

    C. Nitsch,On the first Dirichlet Laplacian eigenvalue of regular polygons, arXiv:1403.6709, 2014

    2014 arXiv

  17. [25]

    P´ olya,Torsional rigidity, principal frequency, electrostatic capacity and symmetrization, Quar- terly of Applied Mathematics6(1948), 267–277

    G. P´ olya,Torsional rigidity, principal frequency, electrostatic capacity and symmetrization, Quar- terly of Applied Mathematics6(1948), 267–277

    1948

  18. [26]

    P´ olya and G

    G. P´ olya and G. Szeg˝ o,Isoperimetric Inequalities in Mathematical Physics, Annals of Mathematics Studies, No. 27, Princeton University Press, 1951

    1951

  19. [27]

    Siudeja,Isoperimetric inequalities for eigenvalues of triangles, Indiana Univ

    B. Siudeja,Isoperimetric inequalities for eigenvalues of triangles, Indiana Univ. Math. J.59(2010), no. 3, 1097–1120

    2010

  20. [28]

    A. Yu. Solynin and V. A. Zalgaller,An isoperimetric inequality for logarithmic capacity of polygons, Annals of Mathematics (2)159(2004), no. 1, 277–303

    2004

  21. [29]

    I. S. Sokolnikoff,Mathematical Theory of Elasticity, McGraw–Hill, New York, 1956

    1956

  22. [30]

    Sokolowski and J.-P

    J. Sokolowski and J.-P. Zolesio,Introduction to Shape Optimization: Shape Sensitivity Analysis, Springer Series in Computational Mathematics, Vol. 16, Springer, 1992

    1992

  23. [31]

    Zhu,Operator Theory in Function Spaces, 2nd ed., Mathematical Surveys and Monographs, Vol

    K. Zhu,Operator Theory in Function Spaces, 2nd ed., Mathematical Surveys and Monographs, Vol. 138, American Mathematical Society, Providence, RI, 2007. Department of Mathematics, University of Macau, Macau SAR, P. R. China Zhuhai UM Science and Technology Research Institute, H...

    2007

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.