[論文レビュー] Isoperimetric Bounds for Eigenvalues of the Wentzell-Laplace, the Laplacian and a biharmonic Steklov Problem

Feng Du, Jing Mao+2 more|arXiv (Cornell University)|Aug 31, 2018

Advanced Mathematical Modeling in Engineering参考文献 20被引用数 3

ひとこと要約

本稿は、ユークリッド空間またはハダールマン多様体上の有界領域におけるウェンツェル＝ラプラシアン作用素の下位順序固有値、閉超曲面上のラプラシアン、および双調和のステクロフ問題について、等周的固有値の境界を確立する。変分法と微分幾何学的手法を用いて、体積、表面積、平均曲率を含む鋭い不等式を証明し、等号が成り立つのは球面のみであることを示し、幾何的制約下での固有値最適化における剛性を明らかにする。

ABSTRACT

In this paper, we prove some isoperimetric bounds for lower order eigenvalues of the Wentzell-Laplace operator on bounded domains of a Euclidean space or a Hadamard manifold, of the Laplacian on closed hypersurfaces of a Euclidean space or a Hadamard manifold, and of a biharmonic Steklov problem on bounded domains of a Euclidean space. Especially, interesting rigidity results can be obtained if sharp bounds were achieved.

研究の動機と目的

• ユークリッド空間またはハダールマン多様体上の有界領域におけるウェンツェル＝ラプラシアン作用素の最初の非ゼロ固有値の等周的不等式を導出すること。
• ユークリッド空間またはハダールマン多様体上の閉超曲面上のラプラシアンの最初の $ n $ 個の非ゼロステクロフ固有値に対する鋭い等周的境界を確立すること。
• ユークリッド空間上の有界領域における双調和ステクロフ問題の最初の $ n-1 $ 個の非ゼロ固有値に対する等周的推定を行うこと。
• これらの不等式における等号成立条件を同定し、等号が成り立つのは領域または超曲面がそれぞれ球形ボールまたは球面である場合に限ることを証明すること。

提案手法

• ウェンツェル問題における双線形形式 $ A_{\beta}(u,u) $ および $ B(u,u) $ を用いた固有値の変分的特徴付けを用いる。
• 座標関数 $ x_i $ を $ \mathbb{R}^n $ 上のテスト関数として用い、固有値を体積や表面積などの幾何的量に関連付ける。
• 超曲面上で $ \sum_{i=1}^n |\nabla x_i|^2 = n $ および $ \sum_{i=1}^n (\Delta x_i)^2 = (n-1)^2 |\mathbf{H}|^2 $ という恒等式を用い、固有値を平均曲率に関連付ける。
• パrameter $ \delta $ を用いたコーシー＝シュワルツとヤングの不等式を用いて、固有値の和およびその逆数の和を推定する。
• Poincaré型不等式 $ \lambda_i \int_M x_i^2 \leq \int_M |\nabla x_i|^2 $ を適用し、固有値を座標関数の $ L^2 $-ノルムに関連付ける。
• 不等式における等号を仮定することで幾何的制約を導出し、リーマン幾何学における剛性定理を用いて、等号が成り立つのは球面または球形ボールの場合に限ることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間 $ \mathbb{R}^n $ 内の有界領域における最初の $ n $ 個の非ゼロステクロフ固有値の逆数の和に対する鋭い等周的下界は何か？
• RQ2 ウェンツェル＝ラプラシアン作用素の等周的固有値境界において、等号が成り立つ幾何的条件は何か？
• RQ3 双調和ステクロフ問題の最初の $ n-1 $ 個の非ゼロ固有値は、境界の平均曲率および幾何的測度とどのように関係するか？
• RQ4 閉超曲面上のラプラシアンに対する固有値境界は体積と表面積の観点から表現可能か？また、いつ鋭い不等式が得られるか？
• RQ5 ウェンツェル境界条件におけるパrameter $ \beta $ は、等周的固有値推定の鋭さを決定づける役割を果たすか？

主な発見

• ユークリッド空間 $ \mathbb{R}^n $ 内の有界領域 $ \Omega $ に対して、最初の $ n $ 個の非ゼロ固有値の逆数の和は $ \sum_{i=1}^n \frac{1}{p_i} \geq n \left( \frac{|\Omega|}{\omega_n} \right)^{1/n} $ を満たし、等号が成り立つのは $ \Omega $ が球形である場合に限る。
• パrameter $ \beta \geq 0 $ を持つウェンツェル＝ラプラシアン固有値問題において、最初の $ n $ 個の非ゼロ固有値は $ \sum_{i=1}^n \frac{1}{\lambda_{i,\beta}} \geq \frac{n^2 |\Omega|^2}{|M|^2} $ を満たし、等号が成り立つのは $ \Omega $ が球形である場合に限る。
• ユークリッド空間 $ \mathbb{R}^n $ 内の有界領域 $ \Omega $ における双調和ステクロフ問題に対して、不等式 $ \frac{1}{n-1} \sum_{j=1}^{n-1} \lambda_{j,\tau}^{1/2} \leq \frac{ \left( n\tau|\Omega| \int_{\partial\Omega} |\mathbf{H}|^2 \right)^{1/2} }{ |\partial\Omega| } $ が成り立ち、等号が成り立つのは $ \partial\Omega $ が球形超曲面である場合に限る。
• 双調和ステクロフ問題における等号成立条件は、最初の $ n-1 $ 個の固有値がすべて等しく、固有関数が $ \partial\Omega $ 上で $ \Delta x_i = -\delta \sqrt{\lambda_{n,\tau}} x_i $ を満たすことを意味し、これにより $ \partial\Omega $ が球面でなければならないことが導かれる。
• 固有値境界は鋭く、等号が成り立つのは球形ボールまたは球面の場合に限る。これは、スペクトル幾何学における強い剛性現象を示している。
• 結果はハダールマン多様体へ拡張可能であり、非正曲率の仮定のもとで等周的固有値不等式が成り立ち、等号が成り立つのはその空間における測地的ボールの場合に限ることが示された。