[論文レビュー] Eigenvalue Asymptotics of Perturbed Self-adjoint Operators

А. А. Шкаликов|arXiv (Cornell University)|Feb 23, 2012

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

ひとこと要約

本稿は、自己随伴正規化作用素の摂動に対して、摂動作用素の局所劣微条件の下で固有値漸近挙動を確立する。元の作用素と摂動された作用素の固有値数関数の差は、元の作用素のスペクトル分布関数によって抑えられ、その上限はスペクトル成長率 α と摂動強度 β に依存する。条件 γ = max(0, β, 2β + α − 1) < 1 の下で成立する。

ABSTRACT

We study perturbations of a self-adjoint positive operator $T$, provided that a perturbation operator $B$ satisfies "local" subordinate condition $\|Bφ_k\|\leqslant bμ_k^β$ with some $β&lt;1$ and $b&gt;0$. Here $\{φ_k\}_{k=1}^\infty$ is an orthonormal system of the eigenvectors of the operator $T$ corresponding to the eigenvalues $\{μ_k\}_{k=1}^\infty$. We introduce the concept of $α$-non-condensing sequence and prove the theorem on the comparison of the eigenvalue-counting functions of the operators $T$ and $T+B$. Namely, it is shown that if $\{μ_k\}$ is $α-$non-condensing then the difference of the eigenvalue-counting functions is subject to relation $$|n(r,\, T)- n(r,\, T+B)| \leqslant C[n(r+ar^γ,\, T) - n(r-ar^γ,\, T)] +C_1 $$ with some constants $C, C_1, a$ and $γ= \max(0, β, 2β+α-1)\in [0,1)$.

研究の動機と目的

• 特定の種類の摂動の下で、自己随伴作用素の固有値の漸近的分布を分析すること。
• 摂動作用素に弱い局所劣微条件を導入することで、従来の固有値比較結果を拡張すること。
• α-非凝縮列の概念を定義・利用し、古典的な非凝縮ケースを超えて固有値数関数の境界を一般化すること。
• 元の作用素と摂動された作用素の固有値数関数の差に定量的境界を確立すること。スペクトル成長率と摂動強度に依存する。
• マークスとマツァエフの先行研究を包含・改善する枠組みを提供すること。特に、摂動に要請される条件を緩和することを目的とする。

提案手法

• α-非凝縮列の概念を導入し、変換された列 {μₖ^α} の非凝縮挙動に基づいて、スペクトル分布の仮定を一般化する。
• 摂動作用素 B に局所劣微条件を課す：β < 1 に対して ‖Bφₖ‖ ≤ bμₖ^β が成り立つ。これは標準的な β-劣微条件よりも弱い。
• Sγ(r) = n(r + ar^γ, T) − n(r − ar^γ, T) を用いて、|n(r, A) − n(r, T)| の境界を導出する。ここで γ = max(0, β, 2β + α − 1) < 1 である。
• 複素解析的手法、特に contour 統合と引数変化推定を用いて、スペクトル区間内の固有値数を制御する。
• Tauber型の議論とスペクトル射影推定を用い、作用素 T と A = T + B の固有値数関数を関連付ける。
• 曲線が A の固有値を通る例外的な r 値に対しては、収縮する区間内の固有値数によって、数関数のジャンプを制御する。

実験結果

リサーチクエスチョン

• RQ1 自己随伴作用素の固有値分布は、局所劣微条件を満たす摂動を受けるとどのように変化するか？
• RQ2 スペクトル成長率 α と摂動強度 β にどのような条件を課すと、摂動された作用素の固有値数関数が元の作用素のそれと近くなるか？
• RQ3 古典的な非凝縮仮定を α-非凝縮列に一般化しても、固有値比較境界を保持できるか？
• RQ4 |n(r, A) − n(r, T)| ≤ C Sγ(r) + C₁ の境界における最適な指数 γ は何か？また、α と β にどのように依存するか？
• RQ5 局所劣微条件 ‖Bφₖ‖ ≤ bμₖ^β は、標準的な β-劣微条件と比較して、より鋭いか、より一般な結果をもたらすか？

主な発見

• 差 |n(r, A) − n(r, T)| は、定数 C, C₁, a と γ = max(0, β, 2β + α − 1) < 1 を用いて、C[n(r + ar^γ, T) − n(r − ar^γ, T)] + C₁ で抑えられる。
• 曲線が A の固有値を通る場合でも、境界は有効であり、数関数のジャンプは収縮する区間内の固有値数によって制御される。
• α = 1 の場合、引数変化推定と contour 統合技術を用いて、スペクトル長方形内の固有値数を抑えている。
• マークスとマツァエフの先行研究を一般化し、摂動に強い局所的条件を許容することで、T の定義域全体にわたる一様性を要請しなくてよい。
• n(r, T) = r^α + O(r^η) かつ η < α の場合、差 |n(r, A) − n(r, T)| は O(r^{α+γ−1}) + O(r^η) となる。これは固有値シフトの漸近的減衰率を示している。
• 指数 γ は最適であり、スペクトル成長（α）、摂動強度（β）、およびスペクトルの非凝縮挙動の相互作用を捉えている。