[論文レビュー] Spectral Analysis of the Non-self-adjoint Mathieu-Hill Operator

O. A. Veliev|arXiv (Cornell University)|Feb 21, 2012

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

ひとこと要約

本稿では、複素周期的ポテンシャル $ q(x) = ae^{-i2\pi x} + be^{i2\pi x} $ を持つ非自己共役 Mathieu-Hill 細胞作用素が漸近的スペクトル的であるための必要十分条件を確立する。$ t $-周期的作用素 $ H_t $ の固有値に対する一様漸近公式を導出し、無限大におけるスペクトル特異性が存在しないのは、かつただしそのときのみ $ |a| = |b| $ かつ $ \arg(ab) $ がディオファントス型の条件を満たすときであることを証明する。

ABSTRACT

We obtain uniform, with respect to t asymptotic formulas for the eigenvalues of the operators generated in (0,1) by the Mathieu-Hill equation with a complex-valued potential and by the t-periodic boundary conditions. Then using it we investigate the non-self-adjoint Mathieu-Hill operator H generated in the allreal line by the same equation and establish the necessary and sufficient conditions for the potential for which H has no spectral singularity at infinity and it is an asymptotically spectral operator.

研究の動機と目的

• 複素ポテンシャルパラメータに明示的な依存を持つ、$ t \in (-\pi, \pi] $ における $ t $-周期的 Mathieu-Hill 作用素 $ H_t $ の固有値に対する一様漸近公式を導出すること。
• 全非自己共役作用素 $ H $ が $ (-\infty, \infty) $ 上で持つスペクトル特異性構造、特に無限大における特異性に注目して調査すること。
• 作用素 $ H $ が漸近的スペクトル的であり、かつ無限大にスペクトル特異性を持たないための、ポテンシャルパラメータ $ a $ と $ b $ に対する必要十分条件を特定すること。
• スペクトル特性を決定づける要因として、$ ab $ そのものではなく $ \arg(ab) $ の役割を明確にすること。これにより、従来のスペクトル依存性に関する結果と対比される。

提案手法

• 周期的微分作用素のスペクトル理論および Floquet 解を用いて、$ H_t $ の固有値 $ \lambda_n(t) $ に対する大 $ n $ における一様漸近展開を導出する。
• 文献 [14] および [13] の結果を応用し、$ L^1 $-正則性およびフーリエ係数の減衰仮定の下での固有値漸近および固有関数展開の性質を適用する。
• トレース公式およびモノドロミー行列解析を用いて、固有値の摂動およびリゾルベントの振る舞いの式を導出する。
• 双対固有関数の振る舞いとそれらの内積を分析し、スペクトル射影の一様有界性を制御する。
• 固有値ギャップ構造が $ (2\pi n + t)^2 $ の近傍に与える影響から、$ \operatorname{Re}((ab)^{2n}) $ の漸近的挙動および $ \arg(ab)/\pi $ におけるディオファントス条件を導出する。
• 文献 [9] の基準（$ H $ がスペクトル作用素であるための必要十分条件は、$ t $ に関してスペクトル射影が一様有界であること）を用い、それを漸近的スペクトル性に拡張する。

実験結果

リサーチクエスチョン

• RQ1 複素ポテンシャル $ q(x) = ae^{-i2\pi x} + be^{i2\pi x} $ に対して、非自己共役 Mathieu-Hill 作用素 $ H $ が漸近的スペクトル的であるための条件は何か？
• RQ2 作用素 $ H $ が無限大にスペクトル特異性を持たないのはいつか？その条件はパラメータ $ a $ と $ b $ とどのように関係するか？
• RQ3 作用素 $ H $ のスペクトル構造は、積 $ ab $ の偏角 $ \arg(ab) $ にどのように依存するか？なぜ $ ab $ そのものではなく $ \arg(ab) $ に依存するのか？
• RQ4 区間 $ t \in (-\pi, \pi] $ 全体にわたる $ H_t $ の固有値に対する一様漸近公式を導出できるか？特に $ t=0 $ や $ t=\pi $ の近傍でも成立するための条件は何か？
• RQ5 無限大におけるスペクトル特異性の不在を保証するための、$ \arg(ab)/\pi $ におけるディオファントス型条件の正確な役割は何か？

主な発見

• 大 $ |n| $ に対して、任意の $ \rho > 0 $ に対して $ t \in [\rho, \pi - \rho] $ で一様に、$ H_t $ の固有値 $ \lambda_n(t) $ は $ \lambda_n(t) = (2\pi n + t)^2 + O(n^{-1}\ln|n|) $ という一様漸近展開を持つ。
• $ t \in [0, \rho] \cup [\pi - \rho, \pi] $ に対して、$ |\lambda - (2\pi n + t)^2| \leq 15\pi n\rho $ の円板内にある固有値 $ \lambda_{n,1}(t), \lambda_{n,2}(t) $ は大 $ n $ に対して単純かつ $ t $ に関して正則であり、その漸近的挙動は判別式 $ D(\lambda, t) $ に支配される。
• 無限大におけるスペクトル特異性が存在しないのは、かつただしそのときのみ $ |a| = |b| $ かつ $ \inf_{q,p \in \mathbb{N}} |q\alpha - (2p-1)| > 0 $ である。ここで $ \alpha = \pi^{-1} \arg(ab) $ である。
• 作用素 $ H $ が漸近的スペクトル的であるための必要十分条件は、$ |a| = |b| $ かつ $ \arg(ab) $ がディオファントス条件を満たすことである。この条件により、スペクトル射影の一様有界性が保証される。
• 重要な条件は $ ab $ そのものではなく $ \arg(ab) $ に依存しており、これは Remark 5 の反例によって示されている：スペクトルは $ ab $ に依存するが、漸近的スペクトル性は $ ab $ の偏角に依存する。
• 内積 $ (\Psi_{n,1,t}, \Psi_{n,1,t}^*) $ は $ t $ に関して一様にゼロから離れており、かつ無限大からも離れている。これは、スペクトル射影の一様有界性、ひいては漸近的スペクトル性の成立に不可欠な要因である。