[Paper Review] An Isoperimetric Inequality for Fundamental Tones of Free Plates

L. Mercredi Chasman|arXiv (Cornell University)|Mar 31, 2010

Advanced Mathematical Modeling in Engineering30 references5 citations

TL;DR

This paper establishes an isoperimetric inequality for the fundamental tone (first nonzero eigenvalue) of a free plate under tension, proving that among all planar domains of fixed area, the disk maximizes this eigenvalue. Using Weinberger’s method and radial trial functions derived from Bessel and modified Bessel functions on the unit ball, the authors show that the fundamental tone is maximized for the ball, generalizing classical results for membranes to the biharmonic plate problem with free boundary conditions.

ABSTRACT

We establish an isoperimetric inequality for the fundamental tone (first nonzero eigenvalue) of the free plate of a given area, proving the ball is maximal. Given $τ>0$, the free plate eigenvalues $ω$ and eigenfunctions $u$ are determined by the equation $ΔΔu-τΔu = ωu$ together with certain natural boundary conditions. The boundary conditions are complicated but arise naturally from the plate Rayleigh quotient, which contains a Hessian squared term $|D^2u|^2$. We adapt Weinberger's method from the corresponding free membrane problem, taking the fundamental modes of the unit ball as trial functions. These solutions are a linear combination of Bessel and modified Bessel functions.

Motivation & Objective

• To establish an isoperimetric inequality for the fundamental tone of a free plate under tension, proving the disk is optimal among all domains of fixed area.
• To extend classical isoperimetric results from membranes (Laplacian) to plates (biharmonic operator) with free boundary conditions.
• To adapt Weinberger’s method—originally used for membranes—to the more complex plate problem involving the bi-Laplacian and nontrivial boundary conditions.
• To analyze the Rayleigh quotient involving the Hessian squared norm and gradient terms, leading to the eigenvalue problem for the bi-Laplacian with tension parameter τ.
• To demonstrate that the fundamental tone ω₁(Ω) is maximized when the domain Ω is a disk, given fixed area, by constructing appropriate radial trial functions from Bessel functions.

Proposed method

• Formulate the plate Rayleigh quotient Q[u] = (∫|D²u|² + τ|Du|² dx) / (∫|u|² dx), where |D²u| is the Hilbert-Schmidt norm of the Hessian.
• Derive the eigenvalue problem ΔΔu − τΔu = ωu with free boundary conditions: M u = ∂²u/∂n² = 0 and V u = τ∂u/∂n − div_∂Ω(P_∂Ω[(D²u)n]) − ∂(Δu)/∂n = 0.
• Use radial symmetry and trial functions of the form u_k = x_k ρ(r)/r, where ρ(r) is a radial function, to construct test functions for the variational characterization of ω₁.
• Apply identities involving sums of |Du_k|², |D²u_k|², and (Δu_k)² over k = 1 to d, derived using spherical coordinates and radial derivatives.
• Leverage the fact that for radial functions, the Hessian term |D²u|² can be related to |Δu|² under certain boundary conditions, simplifying the energy functional.
• Use the variational principle ω₁(Ω) = min{Q[u] : u ∈ H²(Ω), ∫u dx = 0} and compare the value of Q[u] on the ball to that on any other domain of equal area.

Experimental results

Research questions

• RQ1 Does the disk maximize the fundamental tone ω₁ among all planar domains of fixed area for a free plate under tension?
• RQ2 Can Weinberger’s method for the membrane problem be extended to the biharmonic plate problem with free boundary conditions?
• RQ3 How do the boundary conditions involving the bending moment M u and the stress vector V u affect the eigenvalue optimization?
• RQ4 What is the role of the tension parameter τ in shaping the spectrum of the free plate eigenvalue problem?
• RQ5 Can radial trial functions built from Bessel and modified Bessel functions provide sharp bounds for the fundamental tone in the isoperimetric problem?

Key findings

• The fundamental tone ω₁(Ω) is maximized when the domain Ω is a disk of the same area, proving that the disk is optimal for the free plate under tension.
• The maximum value of ω₁(Ω) is achieved for the ball in d-dimensional space, with the fundamental mode being a linear combination of Bessel and modified Bessel functions.
• The Rayleigh quotient for the plate problem involves the Hessian squared norm |D²u|², which cannot be reduced to |Δu|² without boundary conditions; however, for radial functions, simplifications arise.
• The boundary conditions are derived variationally from the Rayleigh quotient and physically correspond to vanishing bending moment and stress vector.
• The proof relies on constructing trial functions from the fundamental modes of the unit ball and comparing their energy to that of any other domain via the variational principle.
• The result generalizes the Szegő–Weinberger inequality for membranes to the plate case, showing that the disk remains optimal despite the increased complexity of the bi-Laplacian operator.