REVIEW 2 major objections 4 minor 30 references
Extremal eigenvalues of the Dirichlet biharmonic operator on rectangles
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For fixed-area rectangles, the clamped-plate first eigenvalue has a global minimizer with side ratio at most 1.066459, and the kth minimizers converge to the square as k grows.
desk verdict A genuine sign error in Lemma 3.3 undercuts the near-square bound, but the high-frequency result and the overall program are worth a referee's time. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object for the first-eigenvalue theorem is the lower bound $L(a) = \rho(\pi^2 a^4)a^{-4} + \rho(\pi^2 a^{-4})a^4 - 2\pi^4$, where $\rho(\alpha)$ is the first eigenvalue of the one-dimensional clamped beam problem $y'''' - 2\alpha y'' = \lambda y$ on $(0,1)$ with $y(0)=y(1)=y'(0)=y'(1)=0$. The paper proves $L$ is strictly increasing for $a > 1$, and solving the equation $\Lambda = L(a)$ with a certified upper bound $\Lambda$ for $\lambda_1(1)$ yields a threshold $\hat{a} \in [1.03269, 1.032695)$, inside which the minimizer must lie. For the high-frequency result, the main mechanism is the comparison $\lambda_k(a) \ge [\lambda_k^D(a)]^2$ between the biharmonic eigenvalues and the Dirichlet Laplacian eigenvalues, combined with the two-term Weyl asymptotic expansion and a lower bound of lattice-point type that forces $a^*_k$ toward 1.
What would settle it
Independently compute or bound $\lambda_1$ of a rectangle with side ratio between 1.066459 and, say, 1.1 and compare it with the square's certified interval: an eigenvalue below the square's lower bound 1294.933940 would disprove Theorem A. Alternatively, evaluate the lower bound $L$ at $a = 1.032695$; if the inequality $\Lambda < L(a)$ fails there, the proof's bracketing step collapses.
Extended reading notes
Core claim
The central claim is two theorems about the clamped plate problem $\Delta^2 u = \lambda u$ with $u = \partial u/\partial\nu = 0$ on rectangles of unit area, written with side lengths $a$ and $1/a$ for $a \ge 1$. Theorem A states that the function $a \mapsto \lambda_1(a)$ attains a global minimum at some $a^*$ with $1 \le a^* < 1.032695$, so the corresponding rectangle has side ratio at most 1.066459. Theorem B states that if $a^*_k$ is any rectangle minimizing the $k$th eigenvalue, then $a^*_k \to 1$ as $k \to \infty$, so the minimizing rectangles converge to the square in the high-frequency limit. The proof of Theorem A shows $\lambda_1(a) \ge L(a)$ for a monotone lower bound $L$, and compares $L(a)$ with a certified upper bound $\Lambda$ for $\lambda_1(1)$; once $L(a)$ exceeds $\Lambda$, no rectangle beyond that ratio can be a minimizer. The proof of Theorem B uses the two-term Weyl law together with a lower bound for $\lambda_k(a)$ derived from the Dirichlet Laplacian and the fact that the biharmonic eigenvalue dominates the square of the Laplacian eigenvalue.
Load-bearing premise
The width of the announced bracket for the first-eigenvalue minimizer rests on a numerical enclosure for the square's first clamped-plate eigenvalue being exactly right; if that certified interval is not rigorous, the precise threshold 1.066459 does not follow.
Editorial extensions
If this is right
- No rectangle with side ratio at or above about 1.066459 can minimize the first clamped-plate eigenvalue, because its eigenvalue is already above the certified upper bound for the square.
- The minimization problem for the first eigenvalue is well-posed: at least one extremal rectangle exists, so further numerical or analytic searches can focus on a narrow interval around the square.
- At high frequency, the optimal shape for any finite $k$ is close to the square, with the allowed eccentricity tending to zero as $k$ grows.
- Under a perimeter constraint, the same biharmonic problem has extremal domains converging to the disk, and within polygons or tiling domains to the regular $n$-gon or regular hexagon.
- The minimal $k$th eigenvalues satisfy a subadditivity relation, so a classical conjecture on lower bounds for all eigenvalues is equivalent to the asymptotic rate $\lambda^*_k / k^{4/N} \to 16\pi^4/\omega_N^{4/N}$.
Reading between the lines
- If the numerical enclosure for the square's first eigenvalue is later certified rigorously, the same proof scheme would immediately sharpen the 1.066459 threshold, possibly down to the square itself if local minimizer properties can be established.
- The inequality $\lambda_k(a) \ge [\lambda_k^D(a)]^2$ suggests the high-frequency extremal behavior of the clamped plate on rectangles is governed by the same lattice-point mechanism as the Dirichlet Laplacian; one could test whether analogous convergence holds for higher-dimensional cuboids and for polyharmonic operators of order $m$.
- A natural independent check is to compute the shape derivative of $\lambda_1$ at the square: if it does not vanish, the square is not the minimizer, while a vanishing derivative together with local convexity would identify the exact minimizer; the paper leaves this as an open computational question.
- The method of monotone lower bounds plus certified eigenvalue data is portable: any fourth-order problem with a one-dimensional comparison eigenvalue and a certified base value can be bracketed in this way.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the minimization of Dirichlet eigenvalues of the clamped plate (biharmonic operator) over rectangles of fixed area. In Theorem A, the authors prove that a global minimizer for the first eigenvalue exists and that, for this minimizer, the ratio of the longest to the shortest side is at most 1.066459. In Theorem B, they show that as the eigenvalue order k tends to infinity, any rectangle minimizing the k-th eigenvalue converges to the square. The proofs combine a lower bound due to Owen, a numerical enclosure for the first eigenvalue of the square, a comparison between the clamped and Navier biharmonic problems, and an adaptation of techniques used for the Dirichlet Laplacian by Antunes and Freitas. The paper also contains a simpler explicit lower bound for the first eigenvalue and several corollaries for perimeter constraints and subadditivity.
Significance. If correct, the paper provides the first rigorous quantitative result on the shape of the extremal rectangle for the clamped plate eigenvalue, showing that the square is nearly optimal. The high-frequency convergence to the square is a natural extension of the analogous Laplacian result and is proved using the same lattice-point philosophy. The paper is clearly written and makes good use of existing sharp inequalities, in particular Owen's lower bound and the Li-Yau-type bound, and the comparison with the Navier problem via λ_k ≥ (λ_k^D)^2 is a neat and valid tool. The explicit numerical bound in Theorem A is a concrete, falsifiable prediction, and the paper's honesty about the limitations (e.g., the difficulty of establishing convexity or simplicity) is commendable. However, a key monotonicity lemma in the proof of Theorem A contains a gap that affects the central claim, so the paper cannot be accepted in its present form.
major comments (2)
- [Lemma 3.3] The proof of strict monotonicity of L(a) contains an invalid inequality step for the range of t needed in Theorem 3.4. In the chain following the definition of F'(t), the authors use X_0 ≥ π^2 to conclude π^2(t^2 - 2t - 1)X_0 + 2π^4 t ≥ π^4(t^2 - 1). This is only valid when t^2 - 2t - 1 ≥ 0, i.e., for t ≥ 1 + √2 ≈ 2.414. For the values required by Theorem 3.4, t = a^4 with a ≤ 1.032695, so t ≤ 1.1374, which is below 2.414. In this range the coefficient is negative, and the inequality is reversed; the argument as written therefore does not establish F'(t) > 0. Since the bisection procedure in Theorem 3.4 relies on L(a) being strictly increasing to identify the first crossing Λ = L(a), the claimed placement of the minimizer in [1, 1.032695) is not justified. The monotonicity may well be true, but the proof given is insufficient; this is load-bearing for the quantitative ratio bound in Theorem A.
- [Proof of Theorem 4.2] The proof of Theorem B is too condensed. It states that 'following the argument used in [2, Theorem 3.5]' one obtains a lim sup bound for a_k^*, and later derives an inequality of the type of [2, inequality (3.7)] without spelling out the required substitutions. Since Theorem B is one of the two main results, the adaptation should be made explicit, at least in sketch form, to allow the reader to verify that the boundedness of {a_k^*} and the convergence to 1 actually follow from the given hypotheses. As written, the proof is not self-contained and leaves key steps to the reader's inference.
minor comments (4)
- [Throughout] There are numerous typographical errors, including 'Drichlet' in the abstract, 'straighfrorward' and 'deired' in Section 5, 'Plya' in Reference [21], 'specrtum' and 'condtions' in the proof of Theorem 3.5, and 'correponding' in Section 5.1. A careful proofreading is needed.
- [Theorem 3.4] The existence of a minimizer for problem (8) is justified by λ1(a) → ∞ as a → ∞, but continuity or lower semicontinuity of λ1(a) with respect to the side length is not stated. Adding a brief continuity argument would make the existence step fully rigorous.
- [Lemma 3.1] The numerical enclosure 1294.933940 ≤ λ1(1) ≤ 1294.933988 is taken from [30, Table 4] without comment on the certification method. Since the quantitative bound in Theorem A depends on this enclosure, it would be helpful to state explicitly whether these bounds are rigorous (e.g., produced by a verified computational method) or merely high-precision numerical estimates.
- [Theorem 3.5] The formula γ1(a) = ω_1^4(a^4 + a^{-4}) for the first eigenvalue of u_xxxx + u_yyyy with clamped boundary conditions is stated without derivation. A brief explanation that the operator separates and that the first eigenvalue is the sum of the two one-dimensional clamped-beam eigenvalues would improve clarity.
Circularity Check
No significant circularity: the proofs use independent external bounds and theorems rather than fitting or renaming their own inputs.
full rationale
Theorem A is derived from two external inputs: the numerical enclosure for lambda_1(1) quoted from Wieners [30, Table 4] and Owen's lower bound L(a) from [27, Theorem 2]. Neither quantity is fitted or produced within the present paper. Lemma 3.1 is a quoted enclosure and Lemma 3.2 is a quoted lower bound; the bisection solution of Lambda = L(a) in Theorem 3.4 is a comparison of these independent bounds. The conclusion that a minimizer exists in [1, 1.032695) follows because lambda_1(a) >= L(a) and lambda_1(1) <= Lambda, so any a with L(a) > Lambda cannot be a minimizer. This is a logical consequence, not an identity between the hypothesis and the conclusion. The skeptical objection about the sign of t^2 - 2t - 1 in Lemma 3.3 is a potential correctness gap in the monotonicity proof, not a circularity: it does not consist of defining the output in terms of the input or fitting a parameter and then renaming it a prediction. Theorem B relies on the Antunes-Freitas theorem [2] for the Dirichlet Laplacian on rectangles. Although one author of the present paper is a coauthor of [2], that theorem is an independent published result about a different operator, with stated assumptions that do not include the biharmonic claim proved here; using it as a lemma is not a self-referential justification of the present result. No fitted parameters, no uniqueness theorem imported from the authors' prior work, and no ansatz smuggled in via citation appear in the proof. The paper is self-contained against external benchmarks, so the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Owen lower bound: λ1(a) ≥ L(a) = ρ(π²a⁴)a⁻⁴ + ρ(π²a⁻⁴)a⁴ - 2π⁴, from [27, Theorem 2].
- domain assumption Numerical enclosure λ1(1) ∈ [1294.933940, 1294.933988], from [30, Table 4].
- standard math Two-term Weyl asymptotics for the clamped plate on planar domains, formula (2) from [28].
- domain assumption Antunes-Freitas lower bound for Dirichlet Laplacian eigenvalues on rectangles, [2, Theorem 3.1].
- standard math Poincaré inequalities on (0,1) and monotonicity of ρ(α) in α.
Cite this review
Pith. "Pith review of Extremal eigenvalues of the Dirichlet biharmonic operator on rectangles." pith.science (2026). https://pith.science/paper/J3EBWSTE
@misc{pith2026190806483,
author = {Pith},
title = {Pith review of: Extremal eigenvalues of the Dirichlet biharmonic operator on rectangles},
year = {2026},
howpublished = {\url{https://pith.science/paper/J3EBWSTE}},
note = {Machine review of arXiv:1908.06483}
}
abstract
We study the behaviour of extremal eigenvalues of the Dirichlet biharmonic operator over rectangles with a given fixed area. We begin by proving that the principal eigenvalue is minimal for a rectangle for which the ratio between the longest and the shortest side lengths does not exceed $1.066459$. We then consider the sequence formed by the minimal $k^{\rm th}$ eigenvalue and show that the corresponding sequence of minimising rectangles converges to the square as $k$ goes to infinity.
Figures
Reference graph
Works this paper leans on
-
[1]
C.J.S. Alves and P.R.S. Antunes, The Method of Fundamental Solutions applied to the calculation of eigensolutions for 2D plates, Int. J. Numer. Methods Eng. 77, 177–194 (2009)
work page 2009
-
[2]
P.R.S. Antunes and P. Freitas, Optimal spectral rectangles and lattice ellipses, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 469 (2013), no. 2150, 20120492
work page 2013
-
[3]
P. R. S. Antunes, P. Freitas and J. B. Kennedy, Asymptotic behaviour and numerical approx- imation of optimal eigenvalues of the Robin Laplacian , ESAIM: Control, Optimisation and Calculus of Variations 19 (2013), 438–459
work page 2013
-
[4]
S. Ariturk and R. S. Laugesen, Optimal stretching for lattice points under convex curves, Port. Math. 74 (2017), 91–114
work page 2017
-
[5]
M.S. Ashbaugh and R.D. Benguria, On Rayleigh’s conjecture for the clamped plate and its generalization to three dimensions, Duke Math. J. 78 (1995), 1–17
work page 1995
-
[6]
M.S. Ashbaugh and R.S. Laugesen, Fundamental tones and buckling loads of clamped plates, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 23 (1996), 383–402
work page 1996
-
[7]
M. van den Berg, D. Bucur and K. Gittins, Maximising Neumann eigenvalues on rectangles, Bull. Lond. Math. Soc. 48 (2016), 877–894
work page 2016
-
[8]
M. van den Berg and K. Gittins, Minimising Dirichlet eigenvalues on cuboids of unit measure, Mathematika 63 (2017), 469–482
work page 2017
Show all 30 references
-
[9]
Brown, E.B
B.M. Brown, E.B. Davies, P.K. Jimack and M.D. Mihajlovi´ c, A numerical investigation of the solution of a class of fourth-order eigenvalue problems, R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 456 (2000), no. 1998, 1505–1521
2000
-
[10]
Bucur and P
D. Bucur and P. Freitas, Asymptotic behaviour of optimal spectral planar domains with fixed perimeter, J. Math. Phys. 54 (2013), 053504
2013
-
[11]
Buoso, Analyticity and criticality results for the eigenvalues of the biharmonic operator
D. Buoso, Analyticity and criticality results for the eigenvalues of the biharmonic operator. Geometric properties for parabolic and elliptic PDE’s, 65-85, Springer Proc. Math. Stat., 176, Springer, [Cham], 2016
2016
-
[12]
Buoso and P.D
D. Buoso and P.D. Lamberti, Eigenvalues of polyharmonic operators on variable domains, ESAIM Control Optim. Calc. Var. 19 (2013), 1225–1235
2013
-
[13]
Burenkov, Sobolev spaces on domains, Teubner-Texte zur Mathematik, 137
V.I. Burenkov, Sobolev spaces on domains, Teubner-Texte zur Mathematik, 137. B. G. Teub- ner Verlagsgesellschaft mbH, Stuttgart, 1998
1998
-
[14]
Coffman, On the structure of solutions ∆ 2u = λu which satisfy the clamped plate conditions on a right angle, SIAM J
C.V. Coffman, On the structure of solutions ∆ 2u = λu which satisfy the clamped plate conditions on a right angle, SIAM J. Math. Anal. 13 (1982), 746–757
1982
-
[15]
Colbois and A
B. Colbois and A. El Soufi, Extremal eigenvalues of the Laplacian on Euclidean domains and closed surfaces, Math. Z. 278 (2014), 529–546
2014
-
[16]
Freitas, Asymptotic behaviour of extremal averages of Laplacian eigenvalues, J
P. Freitas, Asymptotic behaviour of extremal averages of Laplacian eigenvalues, J. Stat. Phys. 67 (2017), 1511–1518
2017
-
[17]
Freitas and J.B
P. Freitas and J.B. Kennedy, Extremal domains and P´ olya-type inequalities for the Robin Laplacian on rectangles and unions of rectangles, arXiv:1805.10075
-
[18]
Gazzola, H.-C
F. Gazzola, H.-C. Grunau, and G. Sweers, Polyharmonic boundary value problems. Positivity preserving and nonlinear higher order elliptic equations in bounded domains, Lecture Notes in Mathematics, 1991
1991
-
[19]
Gittins and S
K. Gittins and S. Larson, Asymptotic behaviour of cuboids optimising Laplacian eigenvalues, Int. Equations Op. Th. 89 (2017), 607–629. EXTREMAL EIGENVALUES OF THE BIHARMONIC OPERATOR ON RECTANGLES 11
2017
-
[20]
Kozlov, V.A
V.A. Kozlov, V.A. Kondrat’ev, V.G. Maz’ya, On sign variability and the absence of “strong” zeros of solutions of elliptic equations. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 2, 328–344; translation in Math. USSR-Izv. 34 (1990), no. 2, 337–353
1989
-
[21]
H.T. Ku, M.C. Ku and D.Y. Tang, Inequalities for eigenvalues of elliptic equations and the generalized Plya conjecture, J. Differential Equations 97 (1992), 127–139
1992
-
[22]
Larson, Asymptotic shape optimization for Riesz means of the Dirichlet Laplacian over convex domains, arXiv:1611.05680
S. Larson, Asymptotic shape optimization for Riesz means of the Dirichlet Laplacian over convex domains, arXiv:1611.05680
-
[23]
Laugesen and S
R. Laugesen and S. Liu, Optimal stretching for lattice points and eigenvalues, Ark. Mat. 56 (2018), 111–145
2018
-
[24]
Marshall, Stretching convex domains to capture many lattice points, Int
N. Marshall, Stretching convex domains to capture many lattice points, Int. Math. Res. Notices, to appear
-
[25]
Marshall and S
N. Marshall and S. Steinerberger, Triangles capturing many lattice points, Mathematika 64 (2018), 551–582
2018
-
[26]
Nadirashvili, Rayleighs conjecture on the principal frequency of the clamped plate, Arch
N.S. Nadirashvili, Rayleighs conjecture on the principal frequency of the clamped plate, Arch. Rational Mech. Anal. 129 (1995), 1–10
1995
-
[27]
Owen, Asymptotic first eigenvalue estimates for the biharmonic operator on a rectangle, J
M.P. Owen, Asymptotic first eigenvalue estimates for the biharmonic operator on a rectangle, J. Differential Equations 136 (1997), 166–190
1997
-
[28]
Safarov and D
Yu. Safarov and D. Vassiliev, The asymptotic distribution of eigenvalues of partial differ- ential operators. Translated from the Russian manuscript by the authors. Translations of Mathematical Monographs, 155. American Mathematical Society, Providence, RI, 1997
1997
-
[29]
Vasil’ev, Two-term asymptotic behavior of the spectrum of a boundary value problem in the case of a piecewise smooth boundary
D.G. Vasil’ev, Two-term asymptotic behavior of the spectrum of a boundary value problem in the case of a piecewise smooth boundary. (Russian) Dokl. Akad. Nauk SSSR 286 (1986), 10431046. English translation: Soviet Math. Dokl. 33 (1986), 227–230
1986
-
[30]
Wieners, Bounds for the N lowest eigenvalues of fourth-order boundary value problems, Computing 59 (1997), 29–41
C. Wieners, Bounds for the N lowest eigenvalues of fourth-order boundary value problems, Computing 59 (1997), 29–41. ´Ecole Polytechnique F´ed´eral de Lausanne, EPFL SB MATH, SCI-SB-JS, MA B3 514 (Bˆatiment MA), Station 8, CH-1015 Lausanne, Switzerland E-mail address: davide.b...
1997
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.