[論文レビュー] Sturm's theorem on zeros of linear combinations of eigenfunctions

Pierre Bérard, Bernard Helffer|arXiv (Cornell University)|Sep 6, 2017

History and Theory of Mathematics参考文献 16被引用数 11

ひとこと要約

この論文は、1836年にチャールズ・シュールムが発表した、スツルム＝リウヴィル問題における固有関数の線形結合の零点に関する定理を再考し、彼のあまり知られていない結果を現代的かつ厳密に再構築する。具体的には、インデックス m から n の固有関数の非自明な線形結合は、開区間 (α, β) 内に少なくとも (m−1) 個、多くとも (n−1) 個の零点を持つことを示す。本研究は歴史的文脈を回復させ、シュールムの元々の証明の妥当性を明確にし、スペクトル理論の文献における誤解を是正する。また、シュールムとリウヴィルのオリジナル論文への詳細な参照を含む、完全で自己完結的な取り扱いを提供する。

ABSTRACT

Motivated by recent questions about the extension of Courant's nodal domain theorem, we revisit a theorem published by C. Sturm in 1836, which deals with zeros of linear combination of eigenfunctions of Sturm-Liouville problems. Although well known in the nineteenth century, this theorem seems to have been ignored or forgotten by some of the specialists in spectral theory since the second half of the twentieth-century. Although not specialists in History of Sciences, we have tried to put these theorems into the context of nineteenth century mathematics.

研究の動機と目的

• スツルム＝リウヴィル問題における固有関数の線形結合の零点集合に関するシュールム1836年の定理の忘れられた重要性を再確立する。
• シュールムの元々の証明を明確化・形式化し、特にそのような結合の零点数の下限と上限を明確にする。
• 20世紀のスペクトル理論の文献において、シュールムの結果がしばしば無視されたり、誤って帰属されたりしていた歴史的欠落を是正する。
• 常微分方程式（ODE）と熱方程式の両アプローチを用いて、零点数の定理の完全で自己完結的な証明を提供する。
• シュールムのオリジナルの仕事と、リウヴィルやゲルファンドによる後続の発展を調和させ、重複度や孤立零点の役割を明確にする。

提案手法

• 区間 [α, β] 上で一般の正の重み関数およびポテンシャル関数 K, G, L を用いた古典的スツルム＝リウヴィル固有値問題を再定式化し、一般の境界条件を含める。
• シュールム自身の1836年の論文[40]、特に§XXVIに従い、線形結合 Y とその同伴関数 Y₁ 間の微分関係を導出する。
• 高階の同伴関数 Yk を再帰的に構成することで、Y₁ の零点数（重複度を含む）が Y のそれ以上であることを確立する。
• Yk の列に対する極限的議論を用いて、Y の零点数が n−1 以下であることを示し、符号変化解析を用いて m−1 以上の下限を得る。
• ポテンシャル関数 ℓ が正であるとは限らない場合に対応するため、gc + ℓ > 0 となるようにシフトパラメータ c を導入する。
• すべての結果をシュールムのオリジナル論文[40]およびリウヴィルの1836年論文[24]と照合し、歴史的正確性を確保するためのページ単位の注釈を提供する。

実験結果

リサーチクエスチョン

• RQ1 一般のスツルム＝リウヴィル問題において、非自明な固有関数の線形結合の正確な零点数の挙動は何か？
• RQ2 シュールム自身が1836年に提示した、固有関数結合の零点数の境界に関する証明は、現代的解釈およびリウヴィルやレイリーによる後続の証明とどのように対比されるか？
• RQ3 なぜ20世紀のスペクトル理論において、シュールムの第二定理（線形結合の零点数に関するもの）は無視されたり、誤解されたりしたのか？
• RQ4 特に重複度や無限次零点に関して、シュールムの零点数定理が成立する正しい条件は何か？
• RQ5 ゲルファンドのフェルミオン的証明のアイデアは完全に実現可能か？また、それはシュールムの元々の議論とどのように関係するか？

主な発見

• シュールム1836年の定理、すなわちインデックス m から n の固有関数の非自明な線形結合が開区間 (α, β) 内に少なくとも (m−1) 個、多くとも (n−1) 個の零点を持つという主張は、彼のオリジナルのODEに基づく方法を用いて厳密に再証明された。
• シュールム自身の証明[40, §XXVI]は論理的に整合しており、孤立零点や無限次零点の非発生に関する暗黙の仮定が存在するが、これらは今や明示的に取り扱われている。
• 線形結合 Y の符号変化回数は (m−1) 以上、(n−1) 以下に有界であり、これは同伴関数 Yk の再帰的構成によって達成される。
• 熱方程式（u(x,t) を通じて）を用いたシュールムの方法とODE法は、原則として同等であることが示され、ODE法の方がより初等的かつ自己完結的である。
• リウヴィルの証明は精神的に類似しているが、零点の重複度や境界挙動の取り扱いに不完全さが認められ、一方シュールムのアプローチはより包括的である。
• シュールムのオリジナル論文[40]は、補題2.2の第3の主張（孤立零点に関するもの）を明示的に述べていないが、零点数の議論が成立するためには、これが必須の暗黙の仮定である。