[論文レビュー] On the Simplicity of the Eigenvalues of the Non-self-adjoint Mathieu-Hill Operators

O. A. Veliev|arXiv (Cornell University)|Jan 6, 2013

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

ひとこと要約

本稿では、周期的・反周期的・ディリクレ・ノイマン境界条件を満たす非自己共役マチエ・ヒル作用素のすべての固有値が単純（代数的・幾何学的にも）であるための複素パラメータ $ a $ の十分条件を確立する。スペクトル解析および解のフーリエ係数の推定を用いて、$ |a| \leq \frac{4}{3} $ のとき、$ P(a) $ と $ N(a) $ のすべての固有値が単純であることを証明し、$ |a| \leq \frac{8}{\sqrt{6}} $ のとき、$ A(a) $ と $ D(a) $ のすべての固有値が単純であることを示す。対称性および判別式解析を用いて、一般の複素ポテンシャルへの結果の拡張を達成する。

ABSTRACT

We find conditions on the potential of the non-self-adjoint Mathieu-Hill operator such that the all eigenvalues of the periodic, antiperiodic, Dirichlet and Neumann boundary value problems are simple.

研究の動機と目的

• 非自己共役マチエ・ヒル作用素のすべての固有値が単純となる条件を特定すること。複素数の場合には代数的重複度が幾何的重複度より大きい可能性があるが、そのような状況を回避する条件を求める。
• 実数ポテンシャルに対する固有値の単純性に関する古典的結果を、特に $ q(x) = a e^{-i2x} + \bar{a} e^{i2x} $ のような複素数値ポテンシャルへと拡張すること。
• このような作用素に対する周期的・反周期的・ディリクレ・ノイマン境界値問題のスペクトル構造を分析すること。
• すべての4つの境界条件に対して、固有値の単純性を保証するパrameter $ a $ の定量的境界を確立すること。

提案手法

• 周期的および反周期的問題の固有値を特徴付けるために、ヒルの判別式 $ F(\lambda) = \varphi'(\pi, \lambda) + \theta(\pi, \lambda) $ を用いる。
• 定理1および定理2を用いて対称性を活用する：偶関数ポテンシャルの場合、$ \varphi(x,\lambda) $ は奇関数、$ \theta(x,\lambda) $ は偶関数であり、固有関数は $ \varphi $ または $ \theta $ のいずれかである。
• 再帰関係を用いたフーリエ係数の推定により、$ |b_k| $ および $ |a_k| $ を抑え、収束性および固有値の単純性を保証する。
• 偶関数ポテンシャルの仮定の下で $ \varphi'(\pi, \lambda) = \theta(\pi, \lambda) $ を用いて、スペクトル条件を簡略化する。
• 定理3（$ ab = cd $ の下での判別式の不変性）を適用し、$ P(a), A(a) $ から $ P(a,b), A(a,b) $ への結果の一般化を達成する。
• 異なる $ \lambda $ の実部に応じた、フーリエ係数の $ \ell^2 $ ノルムのケースバイケース推定を行い、$ \sum_{k \neq m} |b_k|^2 < \frac{1}{2} $ または同様の境界を示し、単純性を保証する。

実験結果

リサーチクエスチョン

• RQ1 複素パラメータ $ a $ がどのような条件下に置かれていると、周期的境界条件を満たす非自己共役マチエ・ヒル作用素のすべての固有値が単純になるか？
• RQ2 ポテンシャルが複素数値である場合、固有値の代数的重複度はどのように振る舞い、いつ幾何的重複度と等しくなるか？
• RQ3 $ P(a) $ および $ A(a) $ の固有値の単純性に関する結果を、一般の複素数ポテンシャル $ q(x) = a e^{-i2x} + b e^{i2x} $ を持つ作用素へと拡張できるか？
• RQ4 非自己共役作用素の固有値の単純性を決定する上で、ヒルの判別式 $ F(\lambda) $ は果たす役割は何か？
• RQ5 解 $ \varphi(x,\lambda) $ および $ \theta(x,\lambda) $ のフーリエ係数の推定は、固有値の単純性の証明にどのように寄与するか？

主な発見

• $ |a| \leq \frac{4}{3} $ のとき、周期的作用素 $ P(a) $ のすべての固有値が単純である。
• $ |a| \leq \frac{8}{\sqrt{6}} \approx 3.27 $ のとき、反周期的作用素 $ A(a) $ のすべての固有値が単純である。
• $ |a| \leq \frac{4}{3} $ のとき、ノイマン作用素 $ N(a) $ のすべての固有値が単純である。
• $ |a| \leq \frac{8}{\sqrt{6}} $ のとき、ディリクレ作用素 $ D(a) $ のすべての固有値が単純である。
• $ |ab| \leq \frac{16}{9} $ のとき、周期的作用素 $ P(a,b) $ のすべての固有値が単純である。
• $ |ab| \leq \frac{64}{6} \approx 10.67 $ のとき、反周期的作用素 $ A(a,b) $ のすべての固有値が単純である。