[论文解读] On spectral polynomials of the Heun equation

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

Quantum Mechanics and Non-Hermitian Physics被引用 4

一句话总结

本文研究了与经典 Heun 方程（具有三次系数多项式的二阶线性常微分方程）相关的谱多项式根的渐近分布。通过这些多项式的根计数测度，作者分析了当次数 $ n \to \infty $ 时的极限行为，提出了一个猜想并提供了证据：根会收敛到一个特定的曲线树结构，该结构位于三次项系数根的凸包内，且与一次项系数无关。主要贡献在于通过一个积分条件对极限支撑进行了精细化描述，将其与最小对数容量的连通集联系起来。

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 $ 时，来自经典 Heun 方程的谱多项式根的极限分布。
• 分析根分布对 Heun 方程系数的依赖性，特别是极限测度是否仅依赖于三次项系数 $ Q(z) $。
• 为关于极限根支撑几何结构的猜想提供理论与数值证据，具体为连接三次项系数根至一个内点的三段曲线树。
• 将分析扩展至更高阶的广义 Heun 方程，并推测其谱多项式具有类似的极限行为。

提出的方法

• 将谱多项式 $ Sp_n(\lambda) $ 定义为所有使得 $ S(z) $ 为次数不超过一的 $ V(z) $-多项式（即线性多项式）且对应多项式解 $ S(z) $ 次数为 $ n $ 的乘积，按重数计数。
• 构造根计数测度 $ \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 $-邻域内。
• 通过在 $ Q(z) $ 的根之间线段上的复积分，定义三条曲线 $ \gamma_i $，其公共交点与至根的线段共同构成集合 $ \Gamma_Q $。
• 提出并分析 Takemura 的猜想：极限测度 $ \mu $ 恰好支撑于 $ \Gamma_Q $，即由每条根 $ a_i $ 连接到 $ \gamma_i $ 曲线的公共交点的三段线段构成的集合。
• 基于 $ Q(z) = z(z-1)(z + 1/2 - i) $ 的数值实验，显示 $ Sp_{50}(\lambda) $ 的根聚集于与 $ \Gamma_Q $ 一致的三叉结构。

实验结果

研究问题

• RQ1 当解的次数 $ n \to \infty $ 时，与经典 Heun 方程相关的谱多项式根的极限分布是什么？
• RQ2 极限根分布是否仅依赖于三次项系数 $ Q(z) $，还是也受一次项系数 $ P(z) $ 的影响？
• RQ3 极限支撑能否几何地描述为连接 $ Q(z) $ 的根至一个公共内点的三段曲线线段的并集？
• RQ4 极限支撑 $ \Gamma_Q $ 是否等价于连接 $ Q(z) $ 的三个根的最小对数容量连通集？
• RQ5 极限测度 $ \mu $ 的柯西变换是否满足一个关于 $ k $ 阶的线性常微分方程，其系数仅依赖于首项系数 $ Q_{k+1}(z) $？

主要发现

• 当 $ n $ 足够大时，使 Heun 方程存在次数为 $ 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 $ 内聚集于一个三叉结构，与猜想的支撑 $ \Gamma_Q $ 一致。
• 极限支撑 $ \Gamma_Q $ 定义为三条线段的并集，每条线段连接 $ Q(z) $ 的一个根 $ a_i $ 至曲线 $ \gamma_i $ 的公共交点，其中 $ \gamma_i $ 是满足积分 $ \int_{a_j}^{a_k} \sqrt{ \frac{b-t}{(t-a_1)(t-a_2)(t-a_3)} } dt $ 为实数的点 $ b $ 的集合。
• 集合 $ \Gamma_Q $ 被猜想与连接 $ Q(z) $ 三个根的最小对数容量连通集完全一致，从而为极限根分布提供了几何表征。
• 本文猜想，对于 $ k+1 $ 阶的广义 Heun 方程，极限根计数测度 $ \mu_n $ 收敛于一个支撑于以 $ Q_{k+1}(z) $ 的根为叶节点的曲线树上的测度，且 $ \mu $ 的柯西变换满足一个关于 $ k+1 $ 阶的线性常微分方程，其系数仅依赖于 $ Q_{k+1}(z) $。