[論文レビュー] A higher dimensional generalization of Hersch-Payne-Schiffer inequality for Steklov eigenvalues

Liangwei Yang, Chengjie Yu|arXiv (Cornell University)|Aug 25, 2015

Nonlinear Partial Differential Equations参考文献 9被引用数 4

ひとこと要約

本稿は、2次元におけるHersch-Payne-Schifferの不等式を、共役調和関数を用いた元来の2次元技術を微分形式へと拡張することにより、より高次元のリーマン多様体へ一般化する。主な結果として、曲率の仮定なしに、境界における0形式のp番目のスティーブル固有値と(n−2)形式の(b_{n−2}+q)番目のスティーブル固有値の積に対する鋭い上界が、境界におけるホッジラプラシアンの(p+q+b_{n−1}−1)番目の固有値によって与えられることを確立する。

ABSTRACT

In this paper, we generalize the Hersch-Payne-Schiffer inequality for Steklov eigenvalues to higher dimensional case by extending the trick used by Hersch, Payne and Schiffer to higher dimensional manifolds.

研究の動機と目的

• 2次元領域に限った古典的なHersch-Payne-Schifferのスティーブル固有値不等式を、境界を持つより高次元のリーマン多様体へと拡張すること。
• 調和拡張とホッジ理論を用いて、境界における補完的次数のスティーブル固有値の積に対する鋭い上界を確立すること。
• 曲率条件を要しない任意の次元およびトポロジーの多様体（高 genusの曲面を含む）へと不等式を一般化すること。
• 微分形式のディリクレ・トゥ・ノイマン写像を用いることで、従来のスティーブル固有値推定に関する結果を統一的かつ拡張すること。

提案手法

• 元来のHersch-Payne-Schifferのテクニック、すなわち共役調和関数の使用を、微分形式を介してより高次元の多様体へと拡張する。
• r-形式のディリクレ・トゥ・ノイマン写像$L^{(r)}$を、$ L^{(r)}(\omega) = i_\nu d\hat{\omega} $ で定義する。ここで$ \hat{\omega} $は接続調和拡張である。
• ホッジ分解を用いて、形式$ *d\hat{u} $を完全形式、余完全形式、調和形式の成分に分解し、直交性条件を満たす。
• 変分原理を用いて関連する固有値を分離するために、境界関数$ u $と形式$ \alpha $に直交性制約を課す。
• エネルギー推定と$L^2$内積におけるシュワルツの不等式を用いて、ホッジラプラシアンの固有値$ \lambda_k(\partial M) $ をエネルギーの上界として用いる。
• ベッチ数$ b_k $ を用いて、多様体のトポロジーを指数シフトの固有値上界に組み込む。

実験結果

リサーチクエスチョン

• RQ1 Hersch-Payne-Schifferのスティーブル固有値不等式は、2次元を超える高次元リーマン多様体へ一般化可能か？
• RQ2 多様体のトポロジカル不変量（例えばベッチ数）は、微分形式の固有値上界にどのように影響を与えるか？
• RQ3 ディリクレ・トゥ・ノイマン写像を用いて、微分形式のスティーブル固有値に対して曲率に依存しない不等式を導出可能か？
• RQ4 高次元への一般化は、$ \gamma $ が genus で $ l $ 個の境界成分を持つ曲面に対して既知の結果を回復するか？
• RQ5 共役調和関数の手法は、高次元における微分形式へと拡張可能で、鋭い固有値推定をもたらすか？

主な発見

• 本稿は、不等式$ \sigma_p^{(0)}(M)\sigma_{b_{n-2}+q}^{(n-2)}(M) \leq \lambda_{p+q+b_{n-1}-1}(\partial M) $ を確立し、これは任意次元へのHersch-Payne-Schiffer不等式の一般化である。
• コンパクトな向き付け可能な曲面（genus $ \gamma $、連結境界）に対して、$ \sigma_p(M)\sigma_q(M)L(\partial M)^2 \leq \max\{(p+q+2\gamma-1)^2\pi^2, (p+q+2\gamma)^2\pi^2\} $ が得られ、既存のgenus一般化とは異なる。
• この上界は鋭く、多様体やその境界に曲率の仮定を一切必要としない。これは他の最近の結果とは明確に異なる。
• この手法は、幾何的制約を避けるために、ホッジ理論と変分原理にのみ依存する。
• 線形方程式系が可解であるため、必要な直交性条件を満たす非自明な関数および形式の存在が保証される。
• $ n=2 $、$ b_1=0 $、$ b_0=1 $ の場合、すなわち単連結平面領域の場合、元のHersch-Payne-Schiffer不等式が回復される。