[論文レビュー] Spectral perturbation bounds for selfadjoint operators

Krešimir Veselić|ArXiv.org|Apr 6, 2007

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

ひとこと要約

この論文は、変分原理に依存せず、解析性および単調性を用いて、一般化された形式和摂動における自己共役作用素の鋭いスペクトルおよび固有値摂動評価を確立する。非有界作用素への相対的評価の拡張がなされ、スペクトルギャップ内の固有値を考慮した両側評価が提供され、主な結果は $|\mu_k - \lambda_k| \leq a + b|\lambda_k|$ の形をした統一的かつきつい評価であり、$b \geq 1$ の場合でも適切な透過不能性および有界性条件のもとで有効である。

ABSTRACT

We give general spectral and eigenvalue perturbation bounds for a selfadjoint operator perturbed in the sense of the pseudo-Friedrichs extension. We also give several generalisations of the aforementioned extension. The spectral bounds for finite eigenvalues are obtained by using analyticity and monotonicity properties (rather than variational principles) and they are general enough to include eigenvalues in gaps of the essential spectrum.

研究の動機と目的

• 一般化された形式和摂動の下で自己共役作用素の一般的なスペクトルおよび固有値摂動評価を導出すること。既知の結果を非有界作用素へ拡張すること。
• 既存の文献における擬フリードリヒス拡張および関連する形式和拡張の構成を統一的かつ一般化すること。
• 本質的スペクトルのギャップに固有値が存在する場合でも有効な両側固有値評価を提供すること。これにより、古典的変分原理の制限を克服すること。
• 特にスペクトルギャップにおける透過不能性および単調性に注目し、摂動下でもスペクトルが安定することを保証する条件を確立すること。
• 評価 $|\mu_k - \lambda_k| \leq a + b|\lambda_k|$ が鋭く、Weylの不等式や相対的評価といった古典的結果を自然に拡張することを示すこと。

提案手法

• 変分原理に依存しない、正則作用素族の解析性および単調性の性質を用いて、有限固有値の下半連続性評価を導出する。
• 形式和構成の多様な例を統一する一般的な抽象定理を導入する。これには、擬フリードリヒス拡張および準定義的作用素拡張が含まれる。
• 摂動された作用素の形式和構造への分解に依存し、特に (10) の行列表現および $F = H_+^{-1/2} B H_-^{-1/2}$ を用いた非有界作用素への一般化を用いる。
• 透過不能性条件を課して、スペクトルギャップ内の固有値が摂動中にギャップ内に留まるように保証し、正確な数え上げと局在化を可能にする。
• カルキン代数を用いて、有限次元から無限次元設定への可逆性およびスペクトル制御を移行させ、単調性と安定性を保持する。
• 存在および一意性を保証する形式有界条件 $|(A\psi,\psi)| \leq a\|\psi\|^2 + b(|H|\psi,\psi)$ を用いて、主要な推定を導出する。ただし $b < 1$ とする。

実験結果

リサーチクエスチョン

• RQ1 スペクトルギャップ内の固有値が存在する場合に、非有界自己共役作用素に対して両側固有値摂動評価をどのように一般化できるか。
• RQ2 摂動が作用素ノルムで有界でない場合でも、摂動された自己共役作用素のスペクトルが元のスペクトルの近傍に局在化するための条件は何か。
• RQ3 適切な摂動の分解が与えられた場合、$b \geq 1$ の場合でも相対的評価 $|\mu_k - \lambda_k| \leq b|\lambda_k|$ を拡張できるか。
• RQ4 スペクトルギャップ内の固有値が摂動下でも制御された区間内に留まるように、透過不能性の概念をどのように形式化できるか。
• RQ5 正則作用素族における解析性および単調性が、固有値の移動の下界を導出するために果たす役割は何か。

主な発見

• この論文は、自己共役作用素 $T = H + A$ の有限固有値に対して、$|(A\psi,\psi)| \leq a\|\psi\|^2 + b(|H|\psi,\psi)$ を満たす $A$ を用いた形式有界条件のもとで、$|\mu_k - \lambda_k| \leq a + b|\lambda_k|$ の形の両側固有値評価を確立する。これは既知の結果を非有界作用素へ一般化したものである。
• この評価は鋭く、スカラーの場合に等号が成立し、最適性が確認される。
• 非負の形式（$a = 0$）の場合、評価は $|\mu_k - \lambda_k| \leq b|\lambda_k|$ に簡略化され、有限行列に対する [9] の相対的評価を回復する。
• $b = 0$ の場合、評価は $|\mu_k - \lambda_k| \leq a = \|A\|$ に簡略化され、古典的な Weyl 型推定を回復する。
• 透過不能性条件（例：$\lambda_{--} + a + b|\lambda_k| < \lambda_{++}$）が満たされれば、スペクトルギャップ内の固有値が局在化することが保証され、正確な数え上げと順序付けが可能になる。
• 正則作用素族およびカルキン代数の技法を用いることで、$b \geq 1$ の場合でも、総スペクトルおよび本質的スペクトルにおけるスペクトル移動を制御可能となる。ただし、作用素構造（例：準定義的形式）が保たれる限り有効である。