[論文レビュー] An Indefinite Convection-Diffusion Operator With Real Spectrum

John Weir|ArXiv.org|Nov 8, 2007

Advanced Mathematical Modeling in Engineering参考文献 1被引用数 3

ひとこと要約

本稿は、回転する円筒内の液体膜の動的挙動をモデル化する不定型の対流拡散作用素 $ H $ の固有値が、$ 0 < \varepsilon < 2 $ の範囲ですべて実数であることを、固有関数の単位円板への解析接続と、ヘンの微分方程式による $[0,1]$ 上の自己共役微分方程式への変換によって証明する。主な結果として、Benilov らの予想が裏付けられ、Davies の先行するスペクトル結果が拡張され、スペクトル全体の実数性が確立される。

ABSTRACT

We confirm rigorously the conjecture, based on numerical and asymptotic evidence, that all the eigenvalues of a certain non-self-adjoint operator are real.

研究の動機と目的

• Benilov, O’Brien, and Sazonov (2007) が提示した、不定型対流拡散作用素 $ H $ のスペクトルが実数であるという予想を解消すること。
• Chugunova と Pelinovsky の数値的証拠および Davies の固有値存在に関する先行結果に基づき、$ H $ のすべての固有値の実数性を確立すること。
• $ -iH $ が三重対角行列 $ A $ に等価であることを示し、$ l^2(\mathbf{Z}_+) $ 上での作用を分析することで、$ A $ がすべて実数固有値を持つことを証明すること。
• $ A_+ $ の固有関数が単位円板に解析接続可能であり、それによって固有値問題が $[0,1]$ 上の自己共役微分方程式に変換されることを示すこと。

提案手法

• Four次級数展開を用いて、固有値問題 $ -iHf = \lambda f $ を、$ l^2(\mathbf{Z}) $ 上で作用する三重対角行列 $ A $ による離散的問題 $ Av = \lambda v $ に変換する。
• ユニタリ同値性により $ A_+ $ と $ A_- $ が等価であるため、解析は $ A $ の $ l^2(\mathbf{Z}_+) $ 上への制限である $ A_+ $ に集約される。
• 生成関数 $ u(z) = \sum_{k=1}^\infty v_k z^k $ を構成し、$ 0, 1, -1, \infty $ を正則特異点とする第二階のフックス型微分方程式（ヘンの微分方程式）を満たすことを示す。
• 関数 $ u(z) $ を単位円板に解析接続することで、$ u $ が $[0,1]$ を含む開集合上で正則であることを示し、$[0,1]$ 上でのスペクトル解析を可能にする。
• $[0,1]$ 上で、微分方程式を $ -(pu')' + qu = \mu w u $ の形（スツルム＝リウヴィル型）に書き直す。ここで $ \mu = 2\lambda/\varepsilon $ であり、$ p > 0 $、$ w > 0 $、かつ $ w $ は $ 0 $ に極を持つ。
• $[0,1]$ 上での重み $ w $ に関する自己共役性を用いて、$ \mu \in \mathbb{R} $ を示し、したがって $ \lambda \in \mathbb{R} $ であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 不定型対流拡散作用素 $ H $ のすべての固有値は、$ 0 < \varepsilon < 2 $ の範囲で実数か？
• RQ2 作用素 $ H $ の固有関数は、単位円板に解析接続可能であり、それによって自己共役微分方程式によるスペクトル解析が可能か？
• RQ3 離散固有値問題が $[0,1]$ 上のヘン型微分方程式に変換された場合、その作用素は自己共役であり、実スペクトルを持つか？
• RQ4 $ -iH $ のスペクトルはその固有値の集合と等しく、かつすべての固有値は実数か？
• RQ5 Davies のフーリエ係数に関する評価を用いることで、生成関数の絶対収束と解析接続を保証できるか？

主な発見

• $ 0 < \varepsilon < 2 $ かつ $ 1/\varepsilon \notin \mathbb{Z} $ の範囲で、作用素 $ A_+ $ およびそれに対応する $ A $ のすべての固有値は実数である。
• Davies のフーリエ係数に関する評価により、生成関数 $ u(z) = \sum_{k=1}^\infty v_k z^k $ は $ |z| \leq 1 $ で絶対収束する。
• 固有関数 $ u(z) $ は、$[0,1]$ を含む開集合に正則に拡張可能であり、$[0,1]$ 上での微分方程式技法の適用が可能になる。
• 微分方程式 (8) は、重み $ w(x) = x^{-1}(1-x)^{1/\varepsilon}(x+1)^{-1/\varepsilon} $ に関して $[0,1]$ 上で自己共役であることが示され、$ \mu $ が実数であることが保証される。
• $ \mu = 2\lambda/\varepsilon $ かつ $ \mu \in \mathbb{R} $ であるため、$ \lambda \in \mathbb{R} $ であることが従い、すべての固有値の実数性が証明される。
• $ -iH $ のスペクトルは純粋に離散的であり、その固有値の集合と等しく、すべての固有値が実数である。これは [1] における予想を裏付ける。