[論文レビュー] Eigenvalue estimates for a class of elliptic differential operators in divergence form

José N. V. Gomes, Juliana F. R. Miranda|arXiv (Cornell University)|Jun 30, 2016

Advanced Mathematical Modeling in Engineering参考文献 22被引用数 14

ひとこと要約

本稿は、完備なリーマン多様体内の有界な領域上における、発散型形式の第二順位楕円型微分作用素のクラスについて、漂移ラプラシアンに注目して、新たな固有値推定を確立する。ウェイの漸近公式を活用し、チェンとヤンの手法を拡張することで、最初の $k$ 個の固有値の平均に対する下界を導出し、第二のヤング型不等式を証明し、球面や複素射影空間における既存の結果を一般化する。

ABSTRACT

We compute estimates for eigenvalues of a class of linear second-order elliptic differential operators in divergence form (with Dirichlet boundary condition) on a bounded domain in a complete Riemannian manifold. Our estimates are based upon the Weyl's asymptotic formula. As an application, we find a lower bound for the mean of the first k eigenvalues of the drifting Laplacian. In particular, we have extended for this operator a partial solution given by Cheng and Yang for the generalized conjecture of P\'olya. We also derive a second-Yang type inequality due to Chen and Cheng, and other two inequalities which generalize results by Cheng and Yang obtained for a domain in the unit sphere and for a domain in the projective space.

研究の動機と目的

• リーマン多様体内の有界な領域における漂移ラプラシアンの固有値推定を、球面や射影空間における既知の結果を超えて拡張すること。
• 漂移ラプラシアンの最初の $k$ 個の固有値の平均に対する下界を確立し、ポーリャの一般化された予想に対する部分的解決を一般化すること。
• 第二のヤング型不等式および、チェンとヤングの結果を一般化する2つの新しい固有値不等式を導出すること。
• ウェイの漸近公式と埋め込まれた多様体における幾何学的解析手法を用いて、既存の固有値推定を統一的かつ拡張すること。
• 修正された固有値関数を用いて、曲率、平均曲率、重み付き勾配項を含む鋭い定量的推定を提示すること。

提案手法

• 有界な領域 $\Omega \subset M$ 上における一般の楕円型作用素 $L = \text{div}(T(\nabla u)) - \langle \nabla \eta, T(\nabla u) \rangle$ の固有値推定を導出する。
• ウェイの漸近公式を適用し、$k$ 番目の固有値を体積や次元といった幾何的不変量と関連付ける。
• 曲率およびポテンシャル項を吸収するため、修正された固有値 $\upsilon_i = \lambda_i + \frac{n^2 H_0^2 + \eta_0^2 + 2\bar{\eta}_0}{4}$ を導入する。
• 測度 $dm = e^{-\eta} dM$ を持つ重み付き多様体における発散定理を用いて、$\eta$-発散構造を扱う。
• ヒルベルト＝シュミットノルムとトレース不等式を用い、作用素の内在的幾何から固有値ギャップを評価する。
• 固有値 $\upsilon_{k+1}$ に関する二次多項式不等式を適用し、最初の $k$ 個の固有値で表される $k+1$ 番目の固有値の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 漂移ラプラシアンの固有値推定は、単位球面や複素射影空間を超えて拡張可能か？
• RQ2 リーマン多様体内の有界な領域における漂移ラプラシアンの最初の $k$ 個の固有値の平均に対する鋭い下界は何か？
• RQ3 ウェイの漸近公式を用いて、第二のヤング型不等式を漂移ラプラシアンに一般化できるか？
• RQ4 平均曲率 $H_0$ および重み付き勾配 $\eta_0$ は、埋め込まれた部分多様体の固有値推定においてどのような役割を果たすか？
• RQ5 最初の $k$ 個の固有値の分散および平均で表される形で、固有値ギャップ $\upsilon_{k+1} - \upsilon_k$ を評価できるか？

主な発見

• 最初の $k$ 個の固有値の平均に対する下界が証明された：$\frac{1}{k} \sum_{i=1}^k \upsilon_i \geq \frac{n}{\sqrt{(n+2)(n+4)}} \cdot \frac{4\pi^2}{(\omega_n \text{vol} \, \Omega)^{2/n}}$。
• 第二のヤング型不等式が確立された：$\upsilon_{k+1} \leq \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{i=1}^k \upsilon_i$。
• チェンとヤングの結果を一般化する2つの新しい不等式が得られた：$\upsilon_{k+1} \leq \frac{1}{k} \left(1 + \frac{2}{n}\right) \sum_{i=1}^k \upsilon_i + \sqrt{ \left( \frac{2}{kn} \sum_{i=1}^k \upsilon_i \right)^2 - \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{j=1}^k \left( \upsigma_j - \frac{1}{k} \sum_{i=1}^k \upsilon_i \right)^2 }$。
• 固有値ギャップは $\upsilon_{k+1} - \upsilon_k \leq 2 \sqrt{ \left( \frac{2}{kn} \sum_{i=1}^k \upsilon_i \right)^2 - \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{j=1}^k \left( \upsilon_j - \frac{1}{k} \sum_{i=1}^k \upsilon_i \right)^2 }$ を満たす。
• ウェイの公式による漸近的挙動が確認され、$\lim_{k \to \infty} \frac{1}{k} \sum_{i=1}^k \upsilon_i / k^{2/n} = \frac{n}{(n+2)} \cdot \frac{4\pi^2}{(\omega_n \text{vol} \, \Omega)^{2/n}}$ が成り立つ。
• 結果は鋭く、空間形式上の領域において極限で等号が達成されることを示し、$S^n$ および $\mathbb{C}P^n$ における既知の事例と整合的である。