[論文レビュー] Spectral functions of the simplest even order ordinary differential operator

Anton A. Lunyov|arXiv (Cornell University)|Oct 2, 2013

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

ひとこと要約

本稿は、境界三重対とウェイル関数を用いて、$ L^2(0,\infty) $ 上の最小対称微分作用素 $ A = (-1)^n \frac{d^{2n}}{dx^{2n}} $ のフレドリクス拡大およびクレイン拡大のスペクトル関数の明示的表現を導出する。特徴的行列とスペクトル関数の閉形式は、バーデルモンド型行列式および $ -\lambda $ の複素根を用いて記述され、これら二つの標準的自己共役拡大の完全なスペクトル的特徴付けが与えられる。

ABSTRACT

We consider the minimal differential operator A generated in $L^2(0,\infty)$ by the differential expression $l(y) = (-1)^n y^{(2n)}$. Using the technique of boundary triplets and the corresponding Weyl functions, we find explicit form of the characteristic matrix and the corresponding spectral function for the Friedrichs and Krein extensions of the operator A.

研究の動機と目的

• $ L^2(0,\infty) $ 上で $ (-1)^n y^{(2n)} $ により生成される最小対称作用素のフレドリクス拡大およびクレイン拡大のスペクトル関数を特定すること。
• 古典的手法よりも効率的にこれらのスペクトル関数を導出するため、境界三重対とウェイル関数の現代的枠組みを適用すること。
• これらの拡大の特徴的行列およびスペクトル関数の明示的・閉形式の表現を提供すること。
• フレドリクス拡大およびクレイン拡大を定義する境界条件を $ x=0 $ における微分の観点から明確にすること。
• 係数 $ C_k $ と三角関数を含む非自明な恒等式を、スペクトルデータから導出することにより、より深い代数的構造を示唆すること。

提案手法

• 等しい欠損指数を有する対称作用素に対して、境界三重対 $ \Pi = \{\mathcal{H}, \Gamma_0, \Gamma_1\} $ の理論を用いる。
• 境界三重対のウェイル関数 $ M(\lambda) $ が、対応する自己共役拡大の特徴的行列と一致することに依拠する。
• 最小作用素 $ A $ に対して、$ x=0 $ における特定の漸近的挙動を有する同次方程式 $ l(y) = 0 $ の解を用いて境界三重対を構成する。
• 基本解系 $ \{y_j(x,\lambda)\} $ 及びそれらのウェイル＝ティッシャム解決を用いて、境界写像 $ \Gamma_0, \Gamma_1 $ を定義する。
• スタイエルジェスの逆公式を適用し、$ y \downarrow 0 $ のとき、ウェイル関数 $ M(\lambda) $ の虚部からスペクトル関数 $ \sigma(t) $ を回復する。
• 複素解析および根の抽出を用いる：$ \sqrt[2n]{-\lambda} = r^{1/2n} e^{i(\varphi - \pi)/(2n)} $、ここで $ \lambda = re^{i\varphi} $、$ 0 < \varphi < \pi $。

実験結果

リサーチクエスチョン

• RQ1 フレドリクス拡大の作用素 $ A = (-1)^n \frac{d^{2n}}{dx^{2n}} $ に対するスペクトル関数の明示的形は何か？
• RQ2 作用素 $ A $ のクレイン拡大は、境界条件によってどのように特徴付けられ、そのスペクトル関数はどのように導出されるか？
• RQ3 これらの拡大に対して、ウェイル関数とスペクトル関数の関係は何か？ そして、境界三重対技術を用いてどのように計算できるか？
• RQ4 スペクトルデータから、係数 $ C_k $ と三角関数を含む非自明な恒等式を導出できるか？
• RQ5 スペクトル関数は $ t \geq 0 $ においてどのようにべき則的挙動と台を示し、それらはどのように異なるか？

主な発見

• フレドリクス拡大のスペクトル関数 $ \sigma_F(t) $ は、係数 $ C_j $ および三角関数項を用いて明示的に定義された行列値関数であり、各成分は $ t^{(2n+1+j+k)/(2n)} $ に比例する。
• フレドリクス拡大の特徴的行列は $ M_F(\lambda) = \left( \frac{-C_j C_k}{\sin((j+k+1)\alpha)} \left( \sqrt[2n]{-\lambda} \right)^{j+k+1} \right)_{j,k=0}^{n-1} $ であり、$ \alpha = \pi/(2n) $ である。
• クレイン拡大は境界条件 $ y^{(n)}(0) = \cdots = y^{(2n-1)}(0) = 0 $ によって特徴付けられ、その特徴的行列は $ M_K(\lambda) = \left( \frac{-C_j C_k}{\sin((j+k+1)\alpha)} \left( \frac{-1}{\sqrt[2n]{-\lambda}} \right)^{j+k+1} \right)_{j,k=0}^{n-1} $ である。
• クレイン拡大のスペクトル関数 $ \sigma_K(t) $ は、$ t \geq 0 $ に対して $ \frac{2n}{\pi} \left( (-1)^{j+k} \frac{C_j C_k}{2n-1-j-k} t^{(2n-1-j-k)/(2n)} \right)_{j,k=0}^{n-1} $ であり、それ以外の場合はゼロである。
• 本稿では非自明な恒等式 $ \sum_{p=0}^{n-1} \frac{(-1)^{p+k} C_j C_p^2 C_k}{\sin((j+p+1)\alpha)\sin((p+k+1)\alpha)} = \delta_{jk} $ を導出する。これはスペクトル表現における直交性を示唆する。
• スペクトル関数はスタイエルジェスの逆公式により適切に定義されており、$ M_K(x+iy) $ の虚部の衰減率 $ |x|^{-1 + 1/(2n)} $ によって収束が保証される。