[論文レビュー] Trace identities for commutators, with applications to the distribution of eigenvalues

Evans M. Harrell, Joachim Stubbbe|ArXiv.org|Mar 3, 2009

Spectral Theory in Mathematical Physics参考文献 22被引用数 3

ひとこと要約

この論文は、ユニタリ作用素を含む交換子に関するトレース恒等式を確立し、周期的シュレーディンガー作用素および埋め込まれた多様体上のラプラシアン＝ベルトラミ作用素の固有値に対する鋭い普遍的評価を得る。非自己共役な補助作用素への和則およびリーズ平均の単調性の一般化により、最適なリーブ＝シルリング不等式および、$\|h\|_{\infty}^{2}N^{2/d}$に比例するスケーリングを持つ、新しいレーリー型固有値評価を証明する。この評価には、単調性を保証するための明示的で置換不能なスペクトルパラメータのシフトが含まれる。

ABSTRACT

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we prove bounds on the eigenvalue lambda_{N+1} in terms of the lower spectrum, bounds on ratios of means of eigenvalues, and universal monotonicity properties of eigenvalue moments, which imply sharp versions of Lieb-Thirring inequalities. In the geometric context we derive a version of Reilly's inequality, bounding the eigenvalue lambda_{N+1} of the Laplace-Beltrami operator on an immersed manifold of dimension d by a universal constant times the square of the maximal mean curvature times N^{2/d}.

研究の動機と目的

• ディリクレラプラシアンや離散スペクトルに対して既知の普遍的スペクトル評価を、周期的シュレーディンガー作用素および平均曲率が有界な多様体へ拡張すること。
• 周期的設定において座標乗算が定義域を保存しないという技術的困難を、自己共役作用素の代わりにユニタリ作用素を用いることで解決すること。
• 周期的および幾何的スペクトル問題に対して、鋭いリーブ＝シルリング不等式およびリーズ平均の普遍的単調性を導出すること。
• 埋め込まれた多様体上のラプラシアン＝ベルトラミ作用素の固有値に対して、漸近的挙動において最適な新しいレーリー型不等式を証明すること。
• 具体的な例（格子点数え上げや周期的シュレーディンガー作用素）を通じて、導出された評価の最適性を示すこと。

提案手法

• ユニタリ作用素$G$に対して、交換子$[H,G]$および$[G,[H,G]]$の抽象的トレース恒等式（定理2.2）を導出し、周期的問題における定義域の問題を回避する。
• 同じ代数的構造を用いて、周期的シュレーディンガー作用素および平均曲率が有界な多様体に同時に適用する。
• 幾何的に依存するシフトを伴うリーズ平均$R_2(z)$の$z$に関する単調性を確立し、有界領域における結果を一般化する。
• 参考文献[32]の手法を用いて、周期的および幾何的作用素に対してリーズ平均の普遍的単調性を証明し、これにより鋭いリーブ＝シルリング不等式が導かれる。
• 埋め込み多様体に対して、$\lambda_{N+1} \leq C \|h\|_{\infty}^{2}N^{2/d}$という新しいレーリー型評価を導出し、$C$は普遍的かつ最適であることを示す。
• 周期的ラプラシアン、2次元トーラスの格子点、周期的シュレーディンガー作用素における固有値シフトの具体例を通じて、最適性を検証する。

実験結果

リサーチクエスチョン

• RQ1 標準的な交換子恒等式が失敗する周期的シュレーディンガー作用素において、リーブ＝シルリング不等式やリーズ平均の単調性といった普遍的スペクトル評価を拡張することは可能か？
• RQ2 周期的および幾何的作用素に対して、リーズ平均の単調性を保つために必要なスペクトルパラメータ$z$の最適なシフトは何か？
• RQ3 トレース恒等式とユニタリ交換子を用いて、埋め込み多様体上の固有値に対する鋭いレーリー型不等式を導出できるか？
• RQ4 周期的シュレーディンガー作用素に対する導出されたリーブ＝シルリング不等式は最適か？また、$z$におけるシフトを単調性を失わず縮小できるか？
• RQ5 導出された評価は、ガウスの円問題のような古典的結果とどのように比較できるか？

主な発見

• 周期的シュレーディンガー作用素のリーズ平均$R_2(z)$は、$\alpha/4$だけシフトされた場合にのみ$z$に関して非減少であり、このシフトを小さくすると単調性が破れる。
• 次元$d$の埋め込み多様体上のラプラシアン＝ベルトラミ作用素に対して、新しいレーリー型評価$\lambda_{N+1} \leq C \|h\|_{\infty}^{2}N^{2/d}$を証明し、$C$は普遍的かつ最適である。
• 1次元周期的ラプラシアンでは、$N=2n+1$のとき、導出された評価が等号を満たし、スペクトルパラメータにおけるシフト$\pi^2$の鋭さが確認される。
• 2次元トーラスでは、評価$R_2(x) \leq \frac{\pi}{3}(x + \frac{1}{2})^3$から$\Delta_2(x) \leq \frac{\pi}{48}(12x^2 + 6x + 1)$が導かれ、ウェイル漸近挙動と整合する片側評価となる。
• 周期的シュレーディンガー作用素$H(\alpha) = -\alpha\Delta - \gamma$に対して、$\alpha \mapsto \sqrt{\alpha} \sum (z - \alpha/4 - \lambda_j)_+^2$は非減少であることが示され、最適なリーブ＝シルリング不等式が証明される。
• スペクトルパラメータにおけるシフト$\alpha/4$は最適である：$\gamma/\alpha = m^2$（$m$を整数）とおいてテストした結果、これを小さくすると単調性が破れる。