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

Boris Shapiro, Kouichi Takemura+1 more|ArXiv.org|Apr 3, 2009

Quantum Mechanics and Non-Hermitian Physics参考文献 14被引用 9

一句话总结

本文证明了关于Heun方程的Van Vleck多项式根的渐近分布的一个猜想，表明当次数 $ n \to \infty $ 时，谱多项式的根弱收敛于一个紧支集 $ \Gamma_Q $ 上的极限概率测度，其中 $ \Gamma_Q $ 是连接三次多项式 $ Q(z) $ 的三个根的三条曲线的并集，每条曲线由一个实阿贝尔积分条件定义。该极限测度通过一个黎曼-希尔伯特问题的解的柯西变换和 $ \bar{z} $-导数来表征。

ABSTRACT

The well-known Heun equation has the form: Q(z)S''(z)+P(z)S'(z)+V(z)S(z)=0 where Q(z) is a cubic complex polynomial, P(z) and V(z) are polynomials of degrees at most 2 and 1 resp. One of the classical problems about the Heun equation is for a given positive integer N to find all possible linear polynomials V(z) such that the latter equation has a polynomial solution S(z) of degree N. Below we prove a conjecture of the 2nd author claiming that the union of roots of such V(z)'s for a given N tends when N->oo to a certain compact connecting the three roots of Q(z) and given by the condition that a certain natural abelian integral is real-valued.

研究动机与目标

• 解决关于Heun方程的Van Vleck多项式根的渐近分布的猜想，当次数 $ n \to \infty $ 时。
• 表征与Heun方程相关的谱多项式根计数测度的极限支集。
• 建立极限测度源自一个具有特定单值性且在 $ Q(z) $ 的根处具有奇点的黎曼-希尔伯特问题的解。
• 表明极限测度由三次多项式 $ Q(z) $ 唯一确定，与 $ P(z) $ 无关，并且支集为连接 $ Q(z) $ 的三个根的三条曲线的并集。

提出的方法

• 将谱多项式 $ Sp_n(\lambda) $ 定义为所有产生Heun方程的次数为 $ n $ 的解的Van Vleck多项式 $ V(z) $ 的根的乘积。
• 从 $ Sp_n(\lambda) $ 的根构造根计数测度 $ \mu_n = \frac{1}{n+1} \sum_{j=1}^{n+1} \delta(t_{n,j}) $，形成一列概率测度。
• 利用紧致性与子列极限的唯一性，证明 $ \{\mu_n\} $ 弱收敛于极限测度 $ \mu $。
• 将 $ \mu $ 的支集 $ \Gamma_Q $ 表征为三条曲线 $ \Gamma_i $ 的并集，每条曲线由某个阿贝尔积分在 $ [a_j, a_k] $ 上为实值的条件定义。
• 利用 $ \mu $ 的柯西变换，证明其满足一个仅在 $ Q(z) $ 的根和无穷远处有奇点的黎曼-希尔伯特问题。
• 建立柯西变换的 $ \bar{z} $-导数（即 $ \mu $ 的密度）在 $ \Gamma_Q \setminus \{b_0\} $ 上非零，从而表明 $ \Gamma_Q $ 是 $ \mu $ 的完整本质支集。

实验结果

研究问题

• RQ1 当 $ n \to \infty $ 时，Heun方程的谱多项式根计数测度 $ \mu_n $ 的序列是否弱收敛？
• RQ2 这些测度的极限支集的精确几何结构是什么？
• RQ3 极限测度 $ \mu $ 与三次多项式 $ Q(z) $ 的根有何关系？
• RQ4 极限测度能否通过一个黎曼-希尔伯特问题的解或阿贝尔积分来表征？
• RQ5 极限测度的支集 $ \Gamma_Q $ 是否为连接 $ Q(z) $ 的三个根的三条曲线的并集，每条曲线由一个实阿贝尔积分条件定义？

主要发现

• 当 $ n \to \infty $ 时，谱多项式根计数测度序列 $ \{\mu_n\} $ 弱收敛于一个极限概率测度 $ \mu $，从而解决了第二作者的猜想。
• 测度 $ \mu $ 的支集为紧集 $ \Gamma_Q $，其定义为三条曲线 $ \Gamma_i $ 的并集，每条曲线连接 $ Q(z) $ 的一个根 $ a_i $ 到一个公共内点 $ b_0 $，其中每条曲线由某个在其余两个根之间线段上的阿贝尔积分为实值的条件定义。
• 极限测度 $ \mu $ 由 $ Q(z) $ 唯一确定，且与 $ P(z) $ 无关，表明渐近根分布仅依赖于Heun方程的首项系数。
• 测度 $ \mu $ 的柯西变换满足一个仅在 $ a_1, a_2, a_3 $ 和 $ \infty $ 处有奇点的黎曼-希尔伯特问题，并在每个有限根处具有非平凡单值性。
• 由柯西变换的 $ \bar{z} $-导数给出的 $ \mu $ 的密度在 $ \Gamma_Q \setminus \{b_0\} $ 上非零，从而确认 $ \Gamma_Q $ 是 $ \mu $ 的完整本质支集。
• 极限测度 $ \mu $ 是谱多项式 $ Sp_n(\lambda) $ 的根计数测度的弱极限，其支集 $ \Gamma_Q $ 是通过实阿贝尔积分条件唯一连接 $ Q(z) $ 的三个根的紧集。