REVIEW 4 minor 27 references
The perimeter of every Lamé superellipse is given by a two-branch hypergeometric series, and the rhombus is the unique shortest member of the family.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-13 00:42 UTC pith:XYBVYFWC
load-bearing objection Solid exact two-branch hypergeometric perimeter for general Lamé superellipses, with clean special-case recovery and a geometric minimality proof that stands on its own.
Hypergeometric Series Representations for the Perimeter of Lam\'e Superellipses
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any a ≥ b > 0 and s > 0 with s ≠ 1 the perimeter admits the symmetric representation L±(s) = 2√(a² + b²)/±(s − 1) times a series of hypergeometric terms that is conditionally convergent when s > 1 and Abel-summable when 0 < s < 1; moreover L(s) ≥ 4√(a² + b²) with equality if and only if s = 1.
What carries the argument
The transition angle θ₀ = arctan(b/a) that splits the first-quadrant arc into two sectors, after which binomial expansions and Euler integral representations convert each sector integral into a series of Gauss hypergeometric functions; the resulting outer series is then rewritten in axis-symmetric form by Pfaff’s transformation.
Load-bearing premise
That the Abel sum of the formally divergent series for 0 < s < 1 really equals the original geometric arc-length integral for every admissible pair of semi-axes.
What would settle it
Numerically integrate the polar arc-length formula for a fixed pair (a,b) and a sequence of s-values approaching 0 or 1 from below, then compare the result with the Abel-regularized hypergeometric series truncated at large order; any systematic discrepancy that grows with truncation order would refute the identification.
If this is right
- Every classical perimeter (ellipse, rhombus, rectangle, Lamé cross, parabolic star) is recovered as a special or limiting case of a single closed-form expression.
- The rhombus is rigorously the unique global minimizer of perimeter inside the three-parameter Lamé family.
- The formula is automatically symmetric under a ↔ b, so only the case a ≥ b need ever be computed.
- The same series machinery supplies an exact analytic tool for any application that previously relied on numerical quadrature of superelliptic perimeters.
Where Pith is reading between the lines
- Because the Abel-regularized expansion near s = 1 begins with a positive quadratic term, the perimeter rises smoothly away from the rhombus on both sides, suggesting that numerical optimizers that treat s as a continuous design variable will reliably find the rhombus.
- The compactification that identifies the two limiting perimeters 4(a + b) while distinguishing the cross from the rectangle may yield a natural one-point compactification of the shape space, useful for moduli problems involving superellipses.
- The same partition-angle technique should extend without essential change to the three-dimensional superellipsoids and to Gielis curves with more than four lobes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives exact analytic formulas for the perimeter of a Lamé superellipse of degree s>0 (s≠1). After partitioning the first-quadrant arc at the transition angle θ0=arctan(b/a), binomial expansions and Euler integral representations of ₂F₁ produce two hypergeometric series branches: a positive branch for s>1 that converges conditionally by the Leibniz test, and a negative branch for 0<s<1 that is Abel-summable. A Pfaff-transformed symmetric form (Theorem 4.1 / Eq. 58) makes the a↔b invariance explicit. Classical special cases (supercircle, ellipse, rhombus, rectangle, Lamé cross, parabolic star) are recovered, and a purely geometric argument shows that the rhombus s=1 uniquely minimizes the perimeter in the family.
Significance. An exact, parameter-free series representation for the general anisotropic superellipse perimeter has been missing; the literature contained only the isotropic supercircle, the classical ellipse, double-series formalisms of limited scope, and numerical approximations. The present formulas close that gap, are consistent with known special cases, and are accompanied by a clean geometric minimality theorem independent of the series. The careful treatment of conditional convergence and Abel regularization is a technical contribution of independent interest for hypergeometric expansions of arc-length integrals.
minor comments (4)
- In the proof of Proposition 5.1 the asymptotic expansion of (1/s)_k and the subsequent limit of the series are written somewhat informally; a short reference to the known asymptotic of the incomplete gamma or a dominated-convergence justification would make the argument fully rigorous.
- Figure 3 uses a semi-log scale that is helpful, but the caption could state more clearly that the plotted curve is the Abel-regularized value of the series (or a high-precision numerical quadrature of the original integral) so that the reader knows what is being compared near s=1.
- A few typographical inconsistencies appear (e.g., “Lam´e” vs. “Lamé”, occasional missing spaces around mathematical operators). A light copy-edit pass would remove them.
- The self-citation to the authors’ supercircle paper [23] is used only as a consistency check; it would be useful to state explicitly in the introduction that the present work is the anisotropic extension of that earlier result.
Circularity Check
No significant circularity: perimeter series derived from arc-length integral via substitutions and binomial expansions; self-citation of supercircle paper is only a post-hoc consistency check.
full rationale
The central claims (Theorems 3.2 and 4.1) begin from the classical polar arc-length integral (19), insert the Lamé polar radius (1), split at the geometrically defined transition angle heta0=arctan(b/a), apply admissible binomial expansions of (1+z)^ u, change variables, and identify the resulting Euler integrals as 2F1 factors. All steps are elementary and self-contained; no free parameters are fitted to data, no uniqueness theorem is imported from prior work by the same authors, and no ansatz is smuggled via citation. The only self-citation is Corollary 3.3, which merely verifies that the new general formula reduces to the authors’ earlier supercircle expressions when a=b; that reduction is performed after the general derivation and is not used as an input. Convergence (Leibniz for s>1, Abel+dominated-convergence for 0<s<1) and the geometric minimality of the rhombus (straight-line inequality) are likewise independent of any circular premise. Hence the derivation does not reduce to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (6)
- standard math Polar arc-length formula L = 4 ∫₀^{π/2} √(r² + r'²) dθ for a closed curve with fourfold axial symmetry.
- standard math Generalized binomial expansion (1+z)^λ = ∑ (−1)^k (−λ)_k z^k / k! for |z|<1, with analytic continuation outside the disk.
- standard math Euler integral representations and Pfaff transformation for ₂F₁, together with the classical boundary-convergence criteria for the Gauss series.
- standard math Leibniz alternating-series test for conditional convergence of the positive branch.
- standard math Abel summability (replace (−1)^k by (−ε)^k, take ε→1−) equals the original integral when the regularized series is identified with an Euler integral and dominated convergence applies.
- standard math The shortest curve joining two fixed points is the straight-line segment (length-distance inequality).
read the original abstract
We derive exact analytic representations for the perimeter of a Lam\'e superellipse of degree $s>0$. The result is expressed in terms of two branches defined by series whose terms are Gauss hypergeometric functions: a negative branch for $0<s<1$ and a positive branch for $s>1$. For the positive branch, the convergence condition follows from the Leibniz test; the negative branch, although divergent in the ordinary sense, is shown to be Abel-summable. Consistently with the symmetry under interchange of the semi-axes, the formula is invariant under axis permutation. As $s$ varies, the family interpolates between the Lam\'e cross and the rectangle, while the case $s=1$ corresponds to the rhombus, which acts as the transition curve with the shortest perimeter within the family.
Figures
Reference graph
Works this paper leans on
-
[1]
Lam ´e, Examen des Diff´erentes M´ethodes Employ´ees Pour R´esoudre les Probl`emes de G´eom´etrie, Mme
G. Lam ´e, Examen des Diff´erentes M´ethodes Employ´ees Pour R´esoudre les Probl`emes de G´eom´etrie, Mme. Ve. Courcier, Imprimeur-Libraire, Paris, France, 1818
-
[2]
Gardner, Piet Hein’sSuperellipse, in Mathematical Carnival
M. Gardner, Piet Hein’sSuperellipse, in Mathematical Carnival. A New Round-Up of Tantalizers and Puzzles from Scientific American, Vintage Press, New York, NY , USA, 1977
1977
-
[3]
Grohn et al., CFD-DEM Simulation of Superquadric Cylindrical Particles in a Spouted Bed and a Rotor Granulator, Chemie Ingenieur Technik 95, 244–255 (2023)
P. Grohn et al., CFD-DEM Simulation of Superquadric Cylindrical Particles in a Spouted Bed and a Rotor Granulator, Chemie Ingenieur Technik 95, 244–255 (2023)
2023
-
[4]
Y . Wang et al.,Numerical Simulation of Fluid–Particle Interaction in Geomechanics Using an Extended CFD-DEM Approach with a Super-Quadric Model of Non-Spherical Particles, International Journal for Numerical and Analytical Methods in Geomechanics 48, 78–103 (2024)
2024
-
[5]
Y . Yuan, K. VanderWerf, M. D. Shattuck and C. S. O’Hern, Jammed Packings of 3D Superellipsoids with Tunable Packing Fraction, Contact Number, and Ordering, Soft Matter 15, 9751–9761 (2019); arXiv:1909.12191
Pith/arXiv arXiv 2019
-
[6]
K. Kornick, T. Brzinski and S. V . Franklin,The Excluded Area of Superellipse Sector Particles, Physical Review E 104, 034904 (2021); arXiv:2105.06330
Pith/arXiv arXiv 2021
-
[7]
J. Colt, L. Nelson, S. Cargile, T. Brzinski and S. V . Franklin,Properties of Packings and Dispersions of Superellipse Sector Particles, arXiv:2210.07949 (2022). 27
Pith/arXiv arXiv 2022
- [8]
-
[9]
L. M. S ´anchez-Brea, A. Soria-Garcia, J. Andres-Porras and J. del Hoyo, Diffraction Pattern Produced by a Superellipse, Optik 311, 171900 (2024)
2024
-
[10]
Dou et al., Ultra-Sharp Multimode Waveguide Bends Based on Superellipse Curves and Shallowly Etched Nanoslots Designed by an Intelligent Algorithm, IEEE Photonics Journal, 2024
T. Dou et al., Ultra-Sharp Multimode Waveguide Bends Based on Superellipse Curves and Shallowly Etched Nanoslots Designed by an Intelligent Algorithm, IEEE Photonics Journal, 2024
2024
-
[11]
Herraiz, H
D. Herraiz, H. Esteban, J. A. Mart’inez, A. Belenguer, S. Cogollos, V . Nova and V . E. Boria,Transition from Microstrip Line to Ridge Empty Substrate Integrated Waveguide Based on the Equations of the Superellipse, Applied Sciences 10, 8101 (2020)
2020
-
[12]
A. Perevertov, Temperature Dependence of the Spontaneous Magnetization of Ni2MnGa and Other Ferromagnets. The Superellipse Equation, arXiv:2512.24771 (2025)
Pith/arXiv arXiv 2025
-
[13]
M ´endez and B
I. M ´endez and B. Casar, A Novel Approach for the Definition of Small-Field Sizes Using the Concept of Superellipse, Radiation Physics and Chemistry 189, 109775 (2021)
2021
-
[14]
M ´endez, M
I. M ´endez, M. Al Khalifa, H. Aljuaid and B. Casar,Evaluating Equivalent Square Field Size Definitions for Rectangular Small Fields, Journal of Applied Clinical Medical Physics 27, e70500 (2026)
2026
-
[15]
T. N. Olayiwola and S. Choi, Superellipse Model: An Accurate and Easy-to-Fit Empirical Model for Photovoltaic Panels, Solar Energy 262, 111749 (2023)
2023
-
[16]
N. T. Gridgeman, Lam´e Ovals, The Mathematical Gazette 54, 31–37 (1970)
1970
-
[17]
Farhadian and V
R. Farhadian and V . Ponomarenko, The Golden Supercircle, The Mathematical Intelligencer 45, 223 (2023)
2023
-
[18]
Z. Fiedorowicz and M. V . Ramalingam, An Elementary Proof of a Remarkable Relation Between the Squircle and Lemniscate, arXiv:2411.19864 (2024)
Pith/arXiv arXiv 2024
-
[19]
Z. Fiedorowicz and M. V . Ramalingam, Generalizations of the Squircle–Lemniscate Relation and Keplerian Dynamics, arXiv:2601.17358 (2026)
Pith/arXiv arXiv 2026
-
[20]
Gielis, A Generic Geometric Transformation that Unifies a Wide Range of Natural and Abstract Shapes, American Journal of Botany 90, 333–338 (2003)
J. Gielis, A Generic Geometric Transformation that Unifies a Wide Range of Natural and Abstract Shapes, American Journal of Botany 90, 333–338 (2003)
2003
-
[21]
¨Ozdemir, E
Z. ¨Ozdemir, E. Parlak and J. Gielis, A Unified Superelliptic Framework for the Differential Geometry of Gielis Transformations, Axioms 15, 325 (2026)
2026
-
[22]
Abbott, On the Perimeter of an Ellipse, The Mathematica Journal 11, 172–185 (2009)
P. Abbott, On the Perimeter of an Ellipse, The Mathematica Journal 11, 172–185 (2009)
2009
-
[23]
Y . Montilla, R. O. Rodriguez, and B. Linares,On the Arc Length of a Supercircle and a Hypergeometric Formulation of π, arXiv:2607.04592 (2026)
Pith/arXiv arXiv 2026
-
[24]
Tanaka, Superellipse (Lam´e Curve), available athttps://fractional-calculus.com/ super_ellipse.pdf
K. Tanaka, Superellipse (Lam´e Curve), available athttps://fractional-calculus.com/ super_ellipse.pdf
-
[25]
K. C. Erbas ¸, Suggestion of a Perimeter Formula for Super Ellipses and Their Use in Rectangular Boundary ValueProblems in Physics, Karaelmas Science and Engineering Journal 12, 166–176 (2022). 28
2022
-
[26]
T. A. Ishkhanyan, T. A. Shahverdyan, and A. M. Ishkhanyan,Expansions of the solutions of the general Heun equation governed by two-term recurrence relations for coefficients, arXiv:1403.7863 (2014)
Pith/arXiv arXiv 2014
-
[27]
Abramowitz and I
M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Applied Mathematics Series 55, National Bureau of Standards, Washington, D.C., 1964. 29
1964
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.