[論文レビュー] Singular eigenvalue problems on the circle

Volodymyr A. Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|Mar 11, 2014

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

ひとこと要約

本稿は、周期的分布 $ V \in H_{\text{per}}^{-m}[-1,1] $ を持つ非自己共役微分作用素 $ L_m(V) = (-1)^m \frac{d^{2m}}{dx^{2m}} + V $ の固有値について、一様漸近的推定を確立する。フーリエ解析と重み付き列空間における摂動論的手法を用いて、固有値 $ \lambda_{2n-1}, \lambda_{2n} $ が $ n^{2m}\pi^{2m} $ の周囲に $ o(n^m) $ の誤差で集積することを証明し、$ H_{\text{per}}^{-m} $ 内の有界集合上で $ V $ に関して一様に成り立つ。これは、特異なポテンシャルおよび高次の作用素へ既存結果の拡張を達成する。

ABSTRACT

The eigenvalue problem on the circle for the non-self-adjoint operators $L_{m}(V)=(-1)^{m}\frac{d^{2m}}{dx^{2m}}+V$, $m\in \mathbb{N}$ with singular complex-valued 2-periodic distributions $V\in H_{per}^{-m}[-1,1]$ is studied. Asymptotic formulae for the eigenvalues uniformly in $V$ in the space $H_{per}^{m}[-1,1]$ and local uniformly in $V$ in the space $H_{per}^{-m}[-1,1]$ are found.

研究の動機と目的

• 非自己共役微分作用素 $ L_m(V) $ の固有値について、$ V \in H_{\text{per}}^{-m}[-1,1] $ である特異な複素係数ポテンシャルを持つ円周上での一様漸近公式を導出すること。
• 既知の $ m=1 $ の結果を拡張し、$ H_{\text{per}}^{-m} $ 内で $ V $ に関して局所的に一様性を確立すること。
• $ L_m(V) $ のスペクトル構造を分析し、実部が無限大に発散する離散スペクトルであることを示すこと。
• 滑らかでない設定から一般化された結果を得るために、分布的ポテンシャルの存在下での固有値漸近挙動の枠組みを提供すること。

提案手法

• 周期的ソボレフ空間 $ H_{\text{per}}^s[-1,1] $ 内の関数および分布のフーリエ級数表現を用い、重み付き $ \ell^2 $-列に同定すること。
• 乗法作用素 $ V \cdot f $ をフーリエ空間における畳み込みとして分析するための畳み込み補題の利用。
• $ \mathcal{L}(h^{-m,n}) $ 空間における摂動論の応用により、$ (-1)^m \frac{d^{2m}}{dx^{2m}} $ を主部とみなして $ V $ を摂動とみなすこと。
• Neumann級数展開 $ (\lambda - D_m - B_0 - B_1)^{-1} = L_\lambda^{-1} + L_\lambda^{-1} T_\lambda (B_1 L_\lambda^{-1}) + \cdots $ を用いて、$ \|v_1\|_{h^{-m}} $ が小さい場合の収束を保証すること。
• リース射影を用いて $ D_m + B_0 $ と $ D_m + B_0 + B_1 $ のスペクトルを比較し、曲線内部に同じ数の固有値を持つことを示すこと。
• $ v \in h^{-m} $ を $ v_0 \in h^m $ と $ \|v_1\|_{h^{-m}} $ が小さい $ v_1 \in h^{-m} $ に分解し、摂動的制御を可能とすること。

実験結果

リサーチクエスチョン

• RQ1 非自己共役作用素 $ L_m(V) = (-1)^m \frac{d^{2m}}{dx^{2m}} + V $ の固有値は、$ V \in H_{\text{per}}^{-m}[-1,1] $ が特異な複素係数分布であるとき、漸近的にどのように振る舞うか？
• RQ2 有界集合上で $ H_{\text{per}}^{-m} $ 内の $ V $ に関して一様に成り立つ固有値の漸近的推定を導出できるか？
• RQ3 $ L_m(V) $ のスペクトル構造は何か。特に、複素平面上での固有値の分布と成長は？
• RQ4 $ V $ が滑らかではなく $ H_{\text{per}}^{-m} $ 内にある場合、固有値の漸近的挙動はどのように変化するか？

主な発見

• 任意の $ V \in H_{\text{per}}^{-m}[-1,1] $ に対し、$ \varepsilon > 0 $、$ M \geq 1 $、$ n_0 \in \mathbb{N} $ が存在し、$ \|W - V\|_{-m} \leq \varepsilon $ を満たすすべての $ W \in H_{\text{per}}^{-m}[-1,1] $ に対して、$ L_m(W) $ のスペクトルは有界な錐 $ T_{M,n_0} $ 内にちょうど $ 2n_0 - 1 $ 個の固有値を含む。
• すべての $ n \geq n_0 $ に対して、固有値 $ \lambda_{2n-1}(W) $ および $ \lambda_{2n}(W) $ は $ n^{2m}\pi^{2m} $ を中心とする半径 $ n^m $ の円板内にある。
• 任意の $ R \geq 0 $ に対して、$ \|W - V\|_{-m} \leq R $ を満たす $ W $ に関して、$ n \to \infty $ のとき $ \lambda_{2n-1}(m,W), \lambda_{2n}(m,W) = n^{2m}\pi^{2m} + o(n^m) $ が成り立つ。
• 公式 (1.3) は $ m = 1 $ の場合ですら新規であり、特異ポテンシャルの場合に既存結果を拡張する。
• $ L_m(V) $ のスペクトルは離散的であり、$ \operatorname{Re}(\lambda_k) \to +\infty $ となる固有値から構成され、辞書的順序で並べ替えられている。
• $ L_m(V) $ は閉作用素であり、空でない保留集合を持ち、コンパクトな保留作用素を持つため、離散スペクトルを持つ。