[論文レビュー] Spectral properties of Sturm-Liouville equations with singular energy-dependent potentials

Nataliya Pronska|arXiv (Cornell University)|Dec 29, 2012

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

ひとこと要約

本稿は、一般化されたノーミング定数の概念を導入し、Pontryagin空間における線形化を用いて、特異的でエネルギーに依存するポテンシャルを有するSturm-Liouville方程式のスペクトル性質を調査する。主な貢献は、この不定内積空間における線形化された作用素の自己共役性の確立であり、これにより、ノーミング定数とスペクトルの関係、および実で単純なスペクトルを保証する十分条件を含む完全なスペクトル解析が可能になる。

ABSTRACT

We study spectral properties of energy-dependent Sturm-Liouville equations, introduce the notion of norming constants and establish their interrelation with the spectra. One of the main tools is the linearization of the problem in a suitable Pontryagin space.

研究の動機と目的

• エネルギーに依存するポテンシャルを有するSturm-Liouville方程式のスペクトル性質を、スペクトルパラメータが二次的に現れる場合に分析すること。
• 非自己共役かつ非単純スペクトルの文脈において、古典的Sturm-Liouville枠組みを一般化したノーミング定数の定義とその研究を行うこと。
• 元のスペクトル問題とPontryagin空間における線形化問題の等価性を確立すること。
• 特定の境界条件の下で、スペクトルが実かつ単純であることを保証する十分条件を導出すること。
• スペクトルデータからのポテンシャルの再構成を含む逆スペクトル問題のための基盤的ツールを提供すること。

提案手法

• 問題は、エネルギーに依存するSturm-Liouville方程式を作用素のペンシルのスペクトル問題として定式化することで扱う。
• 線形化手順が適用され、二次ペンシルが特別に構成されたPontryagin空間（不定内積を有する）における自己共役作用素に変換される。
• 空間は、正確にκ個の負の固有値を有する有界自己共共役作用素によって定義され、ヒルベルト空間上にPontryagin構造を誘導する。
• Pontryagin空間における自己共役作用素のスペクトル理論が用いられ、スペクトルの実軸に関する対称性や根空間の構造といった性質が導かれる。
• ノーミング定数は、実数・複素数・単一・重複固有値を含む一般化された定義に基づき導入され、二つのスペクトルとの関係を示す明示的公式が導出される。
• 潜在的関数が $ W_2^{-1} $ 内の分布である場合の微分作用素の定義に、準微分を用いる。

実験結果

リサーチクエスチョン

• RQ1 エネルギーに依存するSturm-Liouville問題において、非実固有値や非単純固有値を扱えるように、ノーミング定数をどのように一般化できるか？
• RQ2 ノーミング定数とエネルギーに依存するSturm-Liouville作用素のスペクトルとの関係は何か？
• RQ3 どのような条件下で、このような問題のスペクトルが実かつ単純になるか？
• RQ4 二次ペンシルがPontryagin空間における自己共役作用素に線形化されることで、スペクトル解析がどのように促進されるか？
• RQ5 Pontryagin設定下における線形化作用素の根空間およびスペクトルの構造的性質は何か？

主な発見

• 線形化作用素 $ \newcommand{Lc}{\mathscr{L}} \Lc $ はPontryagin空間において自己共役であり、不定内積空間のスペクトル理論の適用が可能になる。
• 線形化作用素のスペクトルは実軸に関して対称であり、複素共役固有値の対は高々 $ \kappa $ 対存在する。ここで $ \kappa $ はPontryagin空間の負の指数である。
• 複素共役固有値に対応する根空間は同型であり、同一のジョルダン構造を持つ。
• 二つのスペクトルからノーミング定数を決定する明示的公式が導出され、古典的逆スペクトル結果が拡張される。
• 混合境界条件の下で、スペクトルが実かつ単純であることを保証する十分条件が確立される。
• 一般化されたノーミング定数は、非実または重複固有値に対しても、古典的Sturm-Liouville理論と類似した方法でスペクトルと関係づけられることを示した。