[論文レビュー] On the norming constants of the Sturm-Liouville problem

Tigran Harutyunyan, Avetik Pahlevanyan|arXiv (Cornell University)|Aug 19, 2016

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

ひとこと要約

本稿では、summableなポテンシャルを有するSturm-Liouville問題のノーミング定数について、境界条件の滑らかな依存性を組み込んだ、新たな漸近公式を導出する。主な貢献は、ノーミング定数 $ a_n $ および $ b_n $ の精密な漸近展開で、$ O(1/n^2) $ の剰余項を含み、関連するスペクトル関数の絶対連続性を証明することにより、境界条件の変化におけるスペクトルデータの新たな正則性性質を確立する。

ABSTRACT

We derive new asymptotic formulae for the norming constants of Sturm-Liouville problem with summable potentials, which generalize and make more precise previously known formulae. Moreover, our formulae take into account the smooth dependence of norming constants on boundary conditions. We also find some new properties of the remainder terms of asymptotics.

研究の動機と目的

• summableなポテンシャルを有するSturm-Liouville問題のノーミング定数の改善された漸近展開を導出すること。
• 境界条件 $ \alpha $ および $ \beta $ に対するノーミング定数の滑らかな依存性を分析すること。これは、以前に体系的かつ系統的に研究されていなかった。
• スペクトルデータの新たな正則性性質、特にスペクトル係数から導かれる関数の絶対連続性を確立すること。
• 高次の項と正確な剰余項推定を含むことで、既知の漸近公式を精緻化および一般化すること。

提案手法

• $ q \in L^1_{\mathbb{R}}[0,\pi] $ を満たすSturm-Liouville方程式の解の挙動を用いて、固有関数およびノーミング定数の漸近展開を導出する。
• ノーミング定数の展開における重要な項として、$ \ae_n(q,\alpha,\beta) = -\frac{1}{2}\int_0^\pi (\pi - t)q(t)\sin[2(n + \delta_n)\tau]dt $ を導入する。
• Fourier級数技法を用いて、スペクトル関数 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ を分析し、$ (0, 2\pi) $ 上での絶対連続性を示す。
• $ \delta_n(\alpha,\beta) $ の漸近展開、特に $ \delta_n = \frac{\cot\beta - \cot\alpha}{\pi n} + O(1/n^2) $ を用いて、境界条件への依存性を制御する。
• $ L^2 $-ベースの推定と、剰余項 $ r_n, \tilde{r}_n, p_n, \tilde{p}_n $ の $ O(1/n^2) $ 界を用い、$ \alpha, \beta $ および $ L^1 $ 有界集合からの $ q $ に対して一様収束を保証する。
• $ \tilde{\sigma} \in AC[0,2\pi] $ のFourier係数の減衰推定を用いて、$ l_1, l_2, l_3 $ に分解することで、$ k(x) $ の絶対連続性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ q \in L^1_{\mathbb{R}}[0,\pi] $ のもとで、Sturm-Liouville問題のノーミング定数は境界条件 $ \alpha $ および $ \beta $ に対してどのように滑らかに依存するか。
• RQ2 固有関数 $ \varphi_n $ および $ \psi_n $ の $ L^2 $-ノルムの正確な漸近的挙動は何か。また、高次の項を明示的に捉えることができるか。
• RQ3 スペクトル関数 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ が $ (0, 2\pi) $ 上で絶対連続であることを示せるか。
• RQ4 ノーミング定数の漸近展開における剰余項の最適な減衰率は何か。また、$ \alpha, \beta $ および $ q $ に対して一様に有界にできるか。

主な発見

• ノーミング定数 $ a_n(q,\alpha,\beta) $ の漸近公式には、主項 $ \frac{\pi}{2} $、$ \frac{\ae_n}{n + \delta_n} $ 比例項、および $ r_n = O(1/n^2) $ の剰余項が含まれ、$ \alpha, \beta \in [0,\pi] $ および $ q \in BL^1_{\mathbb{R}}[0,\pi] $ に対して一様に成り立つ。
• 同様に、$ b_n(q,\alpha,\beta) $ に対しても、同じ $ O(1/n^2) $ の剰余項を有する漸近展開が得られ、それぞれ $ \sin^2\beta $ および $ \cos^2\beta $ への依存性が捉えられる。
• 関数 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ は $ (0, 2\pi) $ 上で絶対連続である。これは、境界条件の変化におけるスペクトルデータの新たな正則性結果である。
• $ \alpha, \beta \in (0,\pi) $ の場合、$ k_2(x) $ の $ l_1, l_2, l_3 $ への分解により、すべての成分が $ AC[0,2\pi] $ に属することが示され、これは $ \tilde{\sigma} \in AC[0,2\pi] $ およびFourier係数の $ O(1/n) $ 減衰に依存する。
• 特別な場合 $ \alpha = \pi, \beta = 0 $ において、関数 $ k_2(x) $ は絶対連続関数のFourier余弦級数に簡略化され、$ k \in AC(0,2\pi) $ を確認する。
• 剰余項 $ r_n, \tilde{r}_n, p_n, \tilde{p}_n $ 全てが $ O(1/n^2) $ で有界であることが示され、これにより、境界条件およびポテンシャルにわたる一様収束性が保証される。