[論文レビュー] On periodic boundary value problem for the Sturm-Liouville operator

A. S. Makin|arXiv (Cornell University)|Jan 18, 2006

Spectral Theory in Mathematical Physics被引用数 3

ひとこと要約

本稿は、周期的または反周期的境界条件を満たすストゥルム＝リウヴィル作用素の固有関数のリース基底性を検討する。$ q(x) \in L_1(0,1) $ である潜在関数に対して、そのフーリエ係数 $ \alpha_n $ および $ \beta_n $ の減衰性および比に基づく十分条件を確立し、根系が $ L_2(0,1) $ でリース基底をなすかどうかを決定する。主な結果は、$ \alpha_n $ および $ \beta_n $ の特定の成長条件のもとで、系がリース基底（定理1）であるか、まったく基底ではない（定理2）かの二分岐である。

ABSTRACT

We consider the Sturm-Liouville operator Lu=u''-q(x)u with periodic or antiperiodic boundary conditions. It is shown that depending of Fourier coefficients of the potential q(x) the system of root functions may have or may not have the basis property.

研究の動機と目的

• ストゥルム＝リウヴィル作用素の固有関数および関連関数系が $ L_2(0,1) $ でリース基底をなすための必要十分条件を特定すること。
• 複素数値で可積分な潜在関数 $ q(x) $ を持つストゥルム＝リウヴィル作用素のスペクトル的性質を分析すること。
• 根系がリース基底をなすような潜在関数 $ q(x) \in L_1(0,1) $ の集合を特徴付け、その集合が $ L_1(0,1) $ においてどれほど稠密であるかを研究すること。
• 潜在関数 $ q(x) $ のフーリエ係数 $ \alpha_n $ および $ \beta_n $ の漸近的挙動に基づいて、基底性と非基底性の二分岐を確立すること。

提案手法

• 周期的または反周期的境界条件を満たすストゥルム＝リウヴィル作用素 $ Lu = u'' - q(x)u $ を定義する。
• 潜在関数 $ q(x) $ をそのフーリエ係数 $ \alpha_n = \int_0^1 q(x) e^{2\pi i n x} dx $ および $ \beta_n = \int_0^1 q(x) e^{-2\pi i n x} dx $ で表現する。
• 潜在関数 $ q(x) $ に滑らかさおよび周期性の条件を課す：$ q \in W_1^m[0,1] $ および $ j = 0, \dots, m-1 $ に対して $ q^{(j)}(0) = q^{(j)}(1) $。
• 特に境界条件の種別に応じて、$ \alpha_n $ および $ \beta_n $ の漸近的減衰を偶数または奇数の $ n $ について分析する。
• 係数の比 $ |\alpha_n / \beta_n| $ および減衰率 $ |\alpha_n| > c_0 / n^{m+1} $ を用いて、固有関数系の基底性を分類する。
• 定理2の条件を満たす具体的な潜在関数の例を構成し、非基底性の挙動を示す。

実験結果

リサーチクエスチョン

• RQ1 周期的または反周期的境界条件を満たすストゥルム＝リウヴィル作用素の固有関数系が $ L_2(0,1) $ でリース基底をなすための、潜在関数 $ q(x) $ のフーリエ係数 $ \alpha_n $ および $ \beta_n $ に関する条件は何か？
• RQ2 潜在関数 $ q(x) $ が滑らかで周期的であっても、固有関数系が基底でなくなることはあり得るか？
• RQ3 $ \alpha_n $ および $ \beta_n $ の減衰率および相対的な大きさは、根系の基底性にどのように影響するか？
• RQ4 根系がリース基底をなすような潜在関数の集合は $ L_1(0,1) $ で稠密か？ その補集合の位相的構造は何か？
• RQ5 滑らかで周期的な潜在関数に対しても、固有関数系が基底ではない例を明示的に構成できるか？

主な発見

• 固有関数および関連関数系 $ \{u_n(x)\} $ は、すべての十分に大きな偶数（ケース1：周期的）または奇数（ケース2：反周期的）の $ n $ に対して $ |\alpha_n| > c_0 / n^{m+1} $ かつ $ 0 < c_1 < |\alpha_n / \beta_n| < c_2 $（$ c_0 > 0 $）が成り立つ場合、$ L_2(0,1) $ でリース基底をなす。
• 偶数（ケース1）または奇数（ケース2）のインデックスの列 $ n_k $ が存在し、$ |\alpha_{n_k}| > c_0 / n_k^{m+1} $、$ |\beta_{n_k}| > c_0 / n_k^{m+1} $、および $ |\alpha_{n_k}/\beta_{n_k}| + |\beta_{n_k}/\alpha_{n_k}| \to \infty $ が成り立つ場合、系 $ \{u_n(x)\} $ は $ L_2(0,1) $ で基底ではない。
• 明示的な潜在関数 $ q(x) = \sum_{n=1}^\infty \gamma_n \left( \frac{e^{2\pi i n x}}{n^{\varepsilon_1}} + \frac{e^{-2\pi i n x}}{n^{\varepsilon_2}} \right) $ は、$ 0 < \varepsilon_1 < \varepsilon_2 < 1 $ かつ $ \gamma_n = 1 $ が $ n = 2^p $（ケース1）または $ n = 2^p + 1 $（ケース2）のときのみ成り立つ。この関数は定理2の条件を満たし、したがって非基底系をもたらす。
• $ L_1(0,1) $ でリース基底をなす潜在関数の集合 $ Q $ は稠密であり、その補集合 $ \bar{Q} $ も稠密である。これは、基底をなす潜在関数と非基底をなす潜在関数が両方とも $ L_1(0,1) $ において位相的に稠密であることを示している。
• 結果として、明確な二分岐が確立された：基底性は、主に $ \alpha_n $ および $ \beta_n $ の相対的減衰および成長に強く依存する。
• 定理は、潜在関数のスペクトル的データ（フーリエ係数）に基づいて、リース基底性を完全に特徴づけるものであり、古典的なスペクトル展開に関する結果を拡張する。