[论文解读] Voros Coefficients for the Hypergeometric Differential Equations and Eynard-Orantin's Topological Recursion - Part II : For the Confluent Family of Hypergeometric Equations

Kohei Iwaki, Tatsuya Koike+1 more|arXiv (Cornell University)|Oct 6, 2018

Nonlinear Waves and Solitons参考文献 26被引用 4

一句话总结

本文建立了精确WKB分析中Voros系数与Eynard-Orantin拓扑递归计算的合流型高斯超几何方程的自由能之间的直接对应关系。证明了Voros系数等于由谱曲线导出的量子曲线的自由能之差，并以伯努利数与多项式显式表达，将先前关于Weber曲线的结果推广至更广泛的量子曲线类，包括合流型高斯超几何方程中的Kummer、贝塞尔和勒让德类型。

ABSTRACT

We show that the each member of the confluent family of the Gauss hypergeometric equations is realized as quantum curves for appropriate spectral curves. As an application, relations between the Voros coefficients of those equations and the free energy of their classical limit computed by the topological recursion are established. We will also find explicit expressions of the free energy and the Voros coefficients in terms of the Bernoulli numbers and Bernoulli polynomials.

研究动机与目标

• 建立精确WKB分析中Voros系数与Eynard-Orantin拓扑递归计算的量子曲线自由能之间的对应关系。
• 将此前仅在Weber曲线上成立的Voros系数与自由能关系推广至整个合流型高斯超几何方程族。
• 以伯努利数与多项式为工具，推导自由能与Voros系数的显式表达式。
• 证明合流型高斯超几何方程族中的每个成员均可作为适当谱曲线的量子曲线。

提出的方法

• 利用Eynard-Orantin拓扑递归，从与合流型超几何方程族相关的谱曲线计算自由能 $ F_g $。
• 应用精确WKB分析，通过沿特定围线对WKB展开的对数导数进行积分，定义Voros系数。
• 建立一个关键恒等式，表明Voros系数等于自由能之差，将第一部分中Weber曲线的结果推广至一般情形。
• 利用合流关系与涉及伯努利数与多项式的差分方程，推导自由能与Voros系数的闭式表达式。
• 通过含 $ \/frac{1}{\bar{h}}\frac{d}{d\bar{\lambda}} $ 的形式幂级数解，求解对数生成函数。
• 应用伯努利多项式 $ B_n(x) $ 及其生成函数的性质，将解表示为 $ B_n $ 与 $ B_n(x) $ 的形式。

实验结果

研究问题

• RQ1 合流型高斯超几何方程族的Voros系数与拓扑递归计算的自由能之间有何关系？
• RQ2 Weber曲线自由能的显式公式能否推广至合流型中的其他量子曲线？
• RQ3 伯努利数与多项式在表达这些量子曲线的自由能与Voros系数中起何种作用？
• RQ4 拓扑递归结构与合流型超几何方程背景下精确WKB分析之间有何关联？

主要发现

• 合流型高斯超几何方程族中每个量子曲线的Voros系数，均等于通过拓扑递归计算的自由能之差。
• 自由能与Voros系数的显式表达式均已以伯努利数 $ B_n $ 与伯努利多项式 $ B_n(x) $ 表示。
• 量子高斯曲线的自由能以涉及 $ (\bar{h}\frac{d}{d\bar{\lambda}})^{-k} $ 与伯努利数的级数形式表示，通过差分方程获得闭式解。
• 该方法成功恢复了Weber曲线自由能的已知公式，其结果以伯努利数表示，与先前研究一致。
• 通过生成函数与伯努利多项式，构造了含 $ \frac{1}{\bar{h}}\frac{d}{d\bar{\lambda}} $ 的差分方程的解，从而得到 $ F(\bar{\lambda}) $ 的显式级数表达式。
• 齐次差分方程 $ F(\bar{\lambda}+\bar{h}) - F(\bar{\lambda}) = 0 $ 与 $ F(\bar{\lambda}+\bar{h}) - 2F(\bar{\lambda}) + F(\bar{\lambda}-\bar{h}) = 0 $ 的形式幂级数解，分别由于导数为零而为常数或线性函数。