[論文レビュー] On spectral polynomials of the Heun equation

Boris Shapiro, Miloš Tater|ArXiv.org|Dec 12, 2008

Quantum Mechanics and Non-Hermitian Physics被引用数 4

ひとこと要約

本稿は、3次係数多項式を有する2階線形常微分方程式である古典的ヘン方程式に関連するスペクトル多項式の根の漸近的分布を調査する。これらの多項式の根数測度を用いて、次数 $ n \to \infty $ の極限における振る舞いを分析し、3次多項式の根の凸包内に、1次係数とは無関係に特定の曲線的木構造へと根が収束するという予想を提示し、その証拠を提示する。主な貢献は、最小対数的容量な連結集合と関連づけることで、極限的台を積分条件を用いて精密に記述することにある。

ABSTRACT

The classical Heun equation has the form {Q(z) d^2/dz^2 +P(z) d/dz +V(z)}S(z)=0 where Q(z) is a cubic, P(z) at most quadratic and V(z) linear polynomials resp. In the second half of the 19-th century E.Heine and T.STieltjes initiated the study of the set of all V(z) such that the above equation has a polynomial solution S(z) of a given degree n. The main goal of the present paper is to study the union of the roots of the latter set of V(z)*s when n->oo. We formulate an intriguing conjecture of K.Takemura describing the limiting set and give a substantial amount of additional information.

研究の動機と目的

• 次数 $ n \to \infty $ の際、古典的ヘン方程式に由来するスペクトル多項式の根の極限分布を研究すること。
• ヘン方程式の係数に依存する根分布の性質を分析すること、特に極限測度が3次係数 $ Q(z) $ のみに依存するかどうかを検討すること。
• 極限根台の幾何的構造、特に $ Q(z) $ の根から内部の一点へとつながる3本の曲線的セグメントで構成される木構造であるという予想に対して、理論的および数値的証拠を提供すること。
• 高次の一般化ヘン方程式に対して分析を拡張し、そのスペクトル多項式に対しても同様の極限的振る舞いが成立すると予想すること。

提案手法

• 解 $ S(z) $ が次数 $ n $ の多項式となるような、次数1以下の線形 $ V(z) $-多項式のすべての積として、スペクトル多項式 $ Sp_n(\lambda) $ を定義する（重複度を含む）。
• 複素平面における確率測度である根数測度 $ \mu_n = \frac{1}{n+1} \sum_{j=1}^{n+1} \delta(\lambda - t_{n,j}) $ を構築する。
• 文献[11]の結果を応用し、$ n $ が十分に大きい場合、$ V(z) $ および $ S(z) $ のすべての根が $ Q(z) $ の根の凸包 $ Conv_Q $ の $ \epsilon $-近傍内に存在することを示す。
• 3つの曲線 $ \gamma_i $ を定義するため、$ Q(z) $ の根間の線分上での複素積分を含む積分条件を用いる。$ \gamma_i $ の共通交点と根へのセグメントからなる集合を $ \Gamma_Q $ と定義する。
• Takemuraの予想を定式化・分析する。すなわち、極限測度 $ \mu $ は $ \Gamma_Q $ に正確に台を持つと予想する。$ \Gamma_Q $ は、$ Q(z) $ の各根を共通交点へつなぐ3つのセグメントの和集合である。
• 例として $ Q(z) = z(z-1)(z + 1/2 - i) $ を用い、$ Sp_{50}(\lambda) $ の根が $ \Gamma_Q $ に一致する3本の枝を持つ構造に集まることを数値的に示す。

実験結果

リサーチクエスチョン

• RQ1 解の次数 $ n \to \infty $ の際、古典的ヘン方程式に関連するスペクトル多項式の根の極限分布は何か？
• RQ2 極限根分布は、3次係数 $ Q(z) $ のみに依存するのか、それとも1次係数 $ P(z) $ の影響を受けるのか？
• RQ3 根数測度の極限的台は、$ Q(z) $ の根から共通の内部点へつながる3つの曲線的セグメントの和集合として幾何的に記述可能か？
• RQ4 極限的台 $ \Gamma_Q $ は、$ Q(z) $ の根を結ぶ最小対数的容量な連結集合に等しいか？
• RQ5 極限測度 $ \mu $ のコーシー変換は、係数が $ Q_{k+1}(z) $ のみに依存する $ k $ 階の線形常微分方程式を満たすか？

主な発見

• 十分に大きな $ n $ に対して、ヘン方程式の次数 $ n $ 解を与える $ V(z) $ 多項式の集合 $ \mathcal{V}_n $ は、重複度を含めて正確に $ n+1 $ 個の線形多項式からなる。
• スペクトル多項式 $ Sp_n(\lambda) $ の根数測度 $ \mu_n $ は、弱収束により、$ Q(z) $ の根の凸包 $ Conv_Q $ 内に台を持つ確率測度 $ \mu $ へ収束する。
• $ n = 50 $ の数値実験では、$ Sp_{50}(\lambda) $ の根が $ Conv_Q $ 内に3本の枝を持つ構造に集まっていることが示され、予想された台 $ \Gamma_Q $ と整合的である。
• 極限的台 $ \Gamma_Q $ は、$ Q(z) $ の各根 $ a_i $ を、曲線 $ \gamma_i $ の共通交点へつなぐ3つのセグメントの和集合として定義される。ここで $ \gamma_i $ は、点 $ b $ の集合であり、積分 $ \int_{a_j}^{a_k} \sqrt{ \frac{b-t}{(t-a_1)(t-a_2)(t-a_3)} } dt $ が実数となる点からなる。
• $ \Gamma_Q $ は、$ Q(z) $ の3つの根を結ぶ最小対数的容量な連結集合と一致すると予想され、極限根分布の幾何的特徴づけが得られる。
• 本稿では、$ k+1 $ 階の一般化ヘン方程式に対して、極限根数測度 $ \mu_n $ が、$ Q_{k+1}(z) $ の根に葉を持つ曲線的木構造に台を持つ測度へ収束すると予想する。さらに、$ \mu $ のコーシー変換が、係数が $ Q_{k+1}(z) $ のみに依存する $ k+1 $ 階の線形常微分方程式を満たすと予想する。