[论文解读] Asymptotic behavior of Heun function and its integral formalism

Yoon-Seok Choun|arXiv (Cornell University)|Mar 4, 2013

Quantum Mechanics and Non-Hermitian Physics参考文献 47被引用 13

一句话总结

本文利用三系数递推关系（3TRF）推导了合流超几何函数及其渐近行为的积分形式，实现了对无限级数与多项式解的精确幂级数到积分的转换。一个关键发现是，在子积分形式中，超几何函数 $_2F_1$ 以递归方式出现，且高阶 $A_n$ 项被系统性地纳入；同时阐明了由于三系数递推结构的存在，皮卡德-佩龙定理为何不适用于 Heun 方程。

ABSTRACT

The Heun function generalizes all well-known special functions such as Spheroidal Wave, Lame, Mathieu, and hypergeometric functions. Heun functions are applicable to diverse areas such as theory of black holes, lattice systems in statistical mechanics, solution of the Schrodinger equation of quantum mechanics, and addition of three quantum spins. In this paper, applying three term recurrence formula, I consider asymptotic behaviors of Heun function and its integral formalism including all higher terms of A_n's. I will show how the power series expansion of Heun functions can be converted to closed-form integrals for all cases of infinite series and polynomial. One interesting observation resulting from the calculations is the fact that a Gauss hypergeometric function recurs in each of sub-integral forms: the first sub-integral form contains zero term of A_n's, the second one contains one term of A_n's, the third one contains two terms of A_n's, etc. In the appendix, I apply the power series expansion and my integral formalism of Heun function to "The 192 solutions of the Heun equation." Due to space restriction final equations for all 192 Heun functions is not included in the paper, but feel free to contact me for the final solutions. Section 5 contains two additional examples using integral forms of Huen function. This paper is 4th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 5 for all the papers in the series. The previous paper in series deals with the power series expansion in closed forms of Heun function. The next paper in the series describes analytically the power series expansion of Mathieu function and its integral formalism.

研究动机与目标

• 开发一种系统性的 Heun 函数积分形式，将其幂级数展开中的所有高阶 $A_n$ 项纳入其中。
• 利用三系数递推公式（3TRF）分析 Heun 函数的渐近行为及其收敛半径。
• 证明尽管 Heun 方程在形式上类似于超几何型方程，但由于其三系数递推结构，皮卡德-佩龙定理通常不适用于 Heun 方程。
• 展示超几何函数 $_2F_1$ 如何在子积分形式中递归出现，且每种形式对应不同数量的 $A_n$ 项（0, 1, 2, ...）。
• 通过为所有情况（包括多项式解）提供闭式积分表示，扩展先前关于 Heun 函数幂级数展开的研究。

提出的方法

• 本文应用三系数递推公式（3TRF）推导 Heun 函数幂级数展开的渐近行为与收敛性质。
• 通过将无穷级数解转化为涉及复围线积分与多变量的多重积分形式，构建积分表示。
• 采用变量变换如 $\xi = \frac{a(x-1)}{x-a}$，$z = -\frac{1}{a}\xi^2$，以及 $\eta = \frac{1+a}{a}\xi$，将级数映射为积分形式。
• 引入涉及 $\overleftrightarrow{w}_{n-k,n}$ 和微分算子 $\partial_{\overleftrightarrow{w}_{n-k,n}}$ 的递归算子，以处理递推中与 $A_n$ 相关的项。
• 该形式将超几何函数 $_2F_1$ 作为子积分中的基本构建块，其参数取决于 $\alpha$、$\beta$、$\gamma$、$\delta$ 和 $\epsilon$，并包含校正项 $Q$ 与 $\Omega$。
• 对于多项式解，该方法应用终止条件如 $\beta = \gamma + \delta + 2\beta_i + i$ 或 $\gamma = \beta - \delta - 2\gamma_i - i$，得到具有结构化积分形式的有限和。

实验结果

研究问题

• RQ1 如何将包含所有高阶 $A_n$ 项的 Heun 函数完整幂级数展开，转换为闭式积分表示？
• RQ2 Heun 函数的渐近行为是什么？其收敛半径如何依赖于参数与 3TRF 结构？
• RQ3 尽管 Heun 方程在形式上类似于超几何型方程，为何皮卡德-佩龙定理无法保证其收敛性？
• RQ4 $_2F_1$ 函数如何在所推导形式的子积分组件中递归出现？其参数如何随所包含的 $A_n$ 项数量变化？
• RQ5 该积分形式能否系统地应用于 Heun 方程的无限解与多项式解？多项式情形的终止条件如何编码于积分结构之中？

主要发现

• 本文推导出包含所有高阶 $A_n$ 项的 Heun 函数完整积分形式，将无穷级数转化为涉及复围线与特殊函数的多维积分表达式。
• 每个子积分形式均包含一个 $_2F_1$ 函数，且递推中 $A_n$ 项的数量决定了超几何函数参数的结构：零个、一个、两个等项分别对应不同但系统化的子积分。
• Heun 函数的收敛半径由递推系数 $A_n$ 与 $B_n$ 的渐近行为决定，这些系数通过 3TRF 显式推导得出，且其对收敛性的影响与二项递推情形不同。
• 由于三系数递推关系的存在，皮卡德-佩龙定理不适用于 Heun 方程，这违反了该定理收敛性判据所必需的条件。
• 对于多项式解，该方法成功纳入终止条件如 $\beta = \gamma + \delta + 2\beta_i + i$ 或 $\gamma = \beta - \delta - 2\gamma_i - i$，得到具有结构化积分表示的有限和，且保留了与 $A_n$ 相关的结构。
• 所推导的积分形式可实现 Heun 函数到其他特殊函数（包括 Mathieu 函数、勒梅函数与合流 Heun 函数）的精确转换，方法为参数特化与变量代换。