[Paper Review] Sharp Lower Bounds for the First Eigenvalues of the Bi-Laplace Operator

Qiaoling Wang, Changyu Xia|arXiv (Cornell University)|Feb 15, 2018

Advanced Mathematical Modeling in Engineering24 references3 citations

TL;DR

This paper establishes sharp lower bounds for the first eigenvalues of four bi-Laplace operator eigenvalue problems on compact Riemannian manifolds with boundary, using Ricci curvature and Dirichlet eigenvalue constraints. It proves that equality in the bounds occurs if and only if the manifold is isometric to an n-dimensional Euclidean hemisphere or ball, extending classical Lichnerowicz-Obata and Reilly-type rigidity theorems to the bi-Laplacian setting with explicit spectral estimates.

ABSTRACT

We obtain sharp lower bounds for the first eigenvalue of four types of eigenvalue problem defined by the bi-Laplace operator on compact manifolds with boundary and determine all the eigenvalues and the corresponding eigenfunctions of a Wentzell-type bi-Laplace problem on Euclidean balls.

Motivation & Objective

• To establish sharp lower bounds for the first eigenvalues of bi-Laplace operator problems on compact Riemannian manifolds with boundary, without requiring boundary curvature assumptions.
• To extend classical Lichnerowicz-Obata and Reilly-type rigidity theorems to the bi-Laplacian setting, particularly for Dirichlet and Steklov-type problems.
• To determine all eigenvalues and eigenfunctions for a Wentzell-type bi-Laplace problem on Euclidean balls, providing explicit spectral characterization.
• To investigate the spectral rigidity of the bi-Laplacian by identifying conditions under which equality in the lower bounds holds, linking geometry to eigenvalue structure.

Proposed method

• Derives sharp lower bounds for two Dirichlet-type bi-Laplace eigenvalue problems using Ricci curvature lower bounds and the first Dirichlet eigenvalue of the Laplacian.
• Applies Reilly’s formula and Poincaré-type inequalities to relate $ L^2 $-norms of $ \Delta f $, $ \nabla f $, and $ \overline{\nabla}z $ on the boundary.
• Uses harmonic expansion in spherical harmonics on the Euclidean ball to solve the Wentzell-type problem, expressing eigenfunctions as $ \mathbf{E}_k = \{-2w_k + k(|x|^2 - 1)w_k \mid w_k \in \mathcal{D}_k\} $.
• Employs the method of eigenfunction decomposition and boundary trace analysis to derive eigenvalue equations involving $ \mathcal{E} $, the trace operator on the sphere.
• Applies the Schwarz inequality and curvature constraints to derive lower bounds on eigenvalues, with equality conditions tied to constant Ricci curvature and symmetry.
• Proposes a conjecture for a sharp lower bound of the first non-zero Steklov eigenvalue $ \xi_1 $ in terms of $ c $, $ \lambda_1 $, and $ n $, with equality if and only if $ M $ is a Euclidean ball.

Experimental results

Research questions

• RQ1 What are the sharp lower bounds for the first eigenvalues of the bi-Laplace operator under Dirichlet-type boundary conditions on compact manifolds with boundary?
• RQ2 Under what geometric conditions does equality hold in the derived lower bounds, and what does this imply about the manifold’s structure?
• RQ3 Can the eigenvalues and eigenfunctions of a Wentzell-type bi-Laplace problem be fully characterized on Euclidean balls?
• RQ4 What is the optimal lower bound for the first non-zero Steklov eigenvalue of the bi-Laplace operator, and when is it achieved?
• RQ5 How do Ricci curvature and the first Dirichlet eigenvalue of the Laplacian jointly constrain the spectrum of the bi-Laplace operator?

Key findings

• The first eigenvalue $ \Gamma_1 $ of the problem $ \Delta^2 u = \Gamma u $, $ u = \partial^2 u / \partial \nu^2 = 0 $ on $ \partial M $, satisfies $ \Gamma_1 \geq \lambda_1 \left( \frac{\lambda_1}{n} + (n-1)\kappa \right) $, with equality iff $ M $ is an $ n $-dimensional Euclidean hemisphere of radius $ 1/\sqrt{\kappa} $.
• The first eigenvalue $ \Lambda_1 $ of the problem $ \Delta^2 u = -\Lambda \Delta u $, $ u = \partial^2 u / \partial \nu^2 = 0 $ on $ \partial M $, satisfies $ \Lambda_1 \geq \frac{\lambda_1}{n} + (n-1)\kappa $, with equality iff $ M $ is an $ n $-dimensional Euclidean hemisphere of radius $ 1/\sqrt{\kappa} $.
• For the Wentzell-type problem on the Euclidean ball $ \mathbb{B}^n $, the eigenvalues are $ \varsigma_k = k^2(n + 2k) + \beta k(k + n - 2) $, with eigenspaces $ \mathbf{E}_k = \{-2w_k + k(|x|^2 - 1)w_k \mid w_k \in \mathcal{D}_k\} $.
• The first non-zero eigenvalue $ \xi_1 $ of the problem $ \partial_\nu f = \partial_\nu \Delta f + \xi f = 0 $ satisfies $ \xi_1 > \frac{nc\lambda_1\mu_1}{(n-1)(\mu_1 + n\kappa)} $, with strict inequality due to geometric constraints on the second fundamental form.
• A conjecture is proposed: for nonnegative Ricci curvature and boundary principal curvatures bounded below by $ c $, $ \xi_1 \geq \frac{(n+2)c\lambda_1}{n-1} $, with equality iff $ M $ is an $ n $-dimensional Euclidean ball of radius $ 1/c $.
• The analysis confirms that equality in the lower bounds occurs only when the manifold is isometric to a Euclidean hemisphere or ball, establishing spectral rigidity for the bi-Laplace operator.