Pith. sign in

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 →

arxiv 1908.06483 v1 pith:J3EBWSTE submitted 2019-08-18 math.SP

classification math.SP MSC 35J3035P1549R5074K20
keywords biharmonicoperatorclampedplateeigenvaluesrectanglesshapeoptimizationDirichletboundaryconditionsWeylasymptoticsextremal
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

This paper studies the eigenvalues of the clamped plate (the Dirichlet biharmonic operator) on rectangles of fixed area. It proves that the first eigenvalue always has at least one minimizing rectangle, and that this minimizer must be close to the square: the ratio of the longest to the shortest side is at most 1.066459. The argument cannot yet decide whether the square itself is the exact minimizer, because the first eigenfunction changes sign and explicit eigenfunctions are unavailable; instead, the paper brackets the minimizer using a monotone lower bound and a certified numerical interval for the square's first eigenvalue. For the $k$th eigenvalue the paper proves a high-frequency statement: every minimizing rectangle converges to the square as $k$ goes to infinity. If true, these results turn a hard shape-optimization problem into quantitative near-square control and connect it to the asymptotic distribution of eigenvalues.

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.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The central claims rest on external spectral bounds, a numerical enclosure, and Weyl asymptotics; they do not use fitted parameters or invented entities. The ledger lists each black-box theorem and the standard inequalities used inside the proofs.

assumptions (5)
  • domain assumption Owen lower bound: λ1(a) ≥ L(a) = ρ(π²a⁴)a⁻⁴ + ρ(π²a⁻⁴)a⁴ - 2π⁴, from [27, Theorem 2].
    Used without proof in Lemma 3.2 to restrict the location of the minimizer; the proof is in the cited paper.
  • domain assumption Numerical enclosure λ1(1) ∈ [1294.933940, 1294.933988], from [30, Table 4].
    External computed bound; no certificate is reproduced in this paper.
  • standard math Two-term Weyl asymptotics for the clamped plate on planar domains, formula (2) from [28].
    Used in Theorem 4.2 via comparison with the Laplacian result of [2]; validity for rectangles is cited to [29].
  • domain assumption Antunes-Freitas lower bound for Dirichlet Laplacian eigenvalues on rectangles, [2, Theorem 3.1].
    Used as the starting inequality for the high-frequency proof in Section 4.
  • standard math Poincaré inequalities on (0,1) and monotonicity of ρ(α) in α.
    Assumed standard; used in the proof of Lemma 3.3 to show monotonicity of the lower bound L(a).

how reviews work

0 comments
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

Figures reproduced from arXiv: 1908.06483 by the authors.

Figure 1
Figure 1. On the left, λ1(a) for rectangles with different sides around a square (a = 1); on the right, the same for λ2, λ3. Since the bounds obtained by the above methods are not explicit and still require the solution of a transcendental equation in each case, we conclude this section with a simple bound which, although not as accurate, has the advantage that it only requires the determination of one such root. Theorem 3.5.… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Alves and P.R.S

    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)

  2. [2]

    Antunes and P

    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

  3. [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

  4. [4]

    Ariturk and R

    S. Ariturk and R. S. Laugesen, Optimal stretching for lattice points under convex curves, Port. Math. 74 (2017), 91–114

  5. [5]

    Ashbaugh and R.D

    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

  6. [6]

    Ashbaugh and R.S

    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

  7. [7]

    van den Berg, D

    M. van den Berg, D. Bucur and K. Gittins, Maximising Neumann eigenvalues on rectangles, Bull. Lond. Math. Soc. 48 (2016), 877–894

  8. [8]

    van den Berg and K

    M. van den Berg and K. Gittins, Minimising Dirichlet eigenvalues on cuboids of unit measure, Mathematika 63 (2017), 469–482

Show all 30 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [23]

    Laugesen and S

    R. Laugesen and S. Liu, Optimal stretching for lattice points and eigenvalues, Ark. Mat. 56 (2018), 111–145

  16. [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

  17. [25]

    Marshall and S

    N. Marshall and S. Steinerberger, Triangles capturing many lattice points, Mathematika 64 (2018), 551–582

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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...

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.