[論文レビュー] Factorization of the Indefinite Convection-Diffusion Operator

Marina Chugunova, Vladimir Strauss|ArXiv.org|Feb 4, 2008

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

ひとこと要約

本稿では、$ L = MS $ という形で不定な対流拡散作用素を因数分解することを確立し、$ \epsilon \in (0,2) $ の範囲で $ L $ がクレイン空間において $ J $-自己共役であることを証明する。この因数分解により、$ L $ の定義域がソボレフ空間 $ H^1(-\pi,\pi) $ の閉部分空間として明示的に構成可能となり、物理空間における $ L $ とデーヴィスによって導入されたフーリエ空間作用素 $ A $ のユニタリ同値性が確認され、流体力学的モデルにおける固有値問題と定義域の問題が解決される。

ABSTRACT

We prove that some non-self-adjoint differential operator admits factorization and apply this new representation of the operator to construct explicitly its domain. We also show that this operator is J-self-adjoint in some Krein space.

研究の動機と目的

• 回転するシリンダー上の薄膜流れに現れる非自己共役対流拡散作用素 $ L $ の定義域を構成する長年の問題を解決すること。
• $ L $ が $ L = MS $ と因数分解可能であり、$ M $ と $ S $ が明確に定義された定義域を有することを証明すること。
• $ L $ がクレイン空間において $ J $-自己共役であることを示し、不確定内積理論を用いてその固有値性質を確立すること。
• 物理空間における $ L $ とフーリエ空間における作用素 $ A $ の間のユニタリ同値性を示すこと。
• ソボレフ空間の技法とノルム同値性を用いた厳密な定義域の特徴付けを行い、閉性とヒルベルト空間構造を保証すること。

提案手法

• $ S $ を微分作用素とし、$ \sin x $ を含む変数係数を有する一階微分作用素 $ M $ を用いた $ L $ の因数分解 $ L = MS $。
• $ A = (\sin x \cdot y(x))' $ 及びその随伴作用素 $ B = -\sin x \cdot y'(x) $ を用いて、補助的作用素 $ C $ の自己共役性を導出する。
• $ D = \left(\frac{\epsilon}{2}\cos x + 1\right) $ として自己共役作用素を構成し、$ M = i\epsilon C + D $ を用いて $ M $ を定義する。
• $ \epsilon \in (0,2) $ の範囲で有界逆作用素定理を適用し、$ M $ が有界逆作用素を持つことを示し、因数分解が適切に定義されることを保証する。
• $ L $ のグラフノルムと $ y' $、$ \sin x \cdot y' $ 及びそれらの微分を含むソボレフ型ノルムとの同値性を証明する。
• $ J $ を符号作用素として $ L = J L^* J $ を用いた $ J $-自己共役性の応用により、固有値構造および不変部分空間の構造を確立する。

実験結果

リサーチクエスチョン

• RQ1 非自己共役対流拡散作用素 $ L $ は、定義域が明確に定義された二つの作用素の積に因数分解可能か？
• RQ2 $ L $ の正確な定義域は何か？ また、ソボレフ空間およびノルム同値性の観点からどのように特徴付けられるか？
• RQ3 $ L $ はクレイン空間において $ J $-自己共役か？ その固有値性質に与える影響は何か？
• RQ4 $ L $ とフーリエ空間作用素 $ A $ の関係は何か？ 両者間にユニタリ同値性が存在するか？
• RQ5 因数分解および $ J $-自己共役性から、$ L $ の固有値性質（例：純虚数固有値）が導かれるか？

主な発見

• $ \epsilon \in (0,2) $ の範囲で作用素 $ L $ は $ L = MS $ と因数分解可能であり、$ M $ は有界逆作用素を持ち、$ S $ は微分作用素である。
• $ L $ の定義域は、関数 $ f \in H^1(-\pi,\pi) $ で、$ f(\pi) = f(-\pi) $ かつ $ \sin x \cdot f' \in H^1(-\pi,\pi) $ を満たす集合として明示的に特徴付けられる。
• $ L $ のグラフノルムはノルム $ \|f\|^2 = \|f'\|^2_{L^2} + \|\sin x \cdot f'\|^2_{H^1} $ と同値であり、定義域がヒルベルト空間であることを確認する。
• 作用素 $ L $ はクレイン空間において $ J $-自己共役であり、$ J $ は符号作用素である。この性質により、最大の非正および非負不変部分空間が存在することが示される。
• 作用素 $ L $ はフーリエ空間作用素 $ A $ とユニタリ同値であり、$ A $ の固有値性質（例：離散スペクトル、純虚数固有値）は $ L $ に引き継がれる。
• フーリエ空間における $ L $ の行列表現 $ \mathcal{A} $ は、$ \mathcal{B} $ が有界で $ \mathcal{C} $ がヒルベルト＝シュミット型であるような因数分解 $ \mathcal{A} = \mathcal{B}\mathcal{C} $ を持つ。これにより、スペクトル領域における構造が裏付けられる。