[论文解读] Special functions and reversible three-term recurrence formula (R3TRF)

Yoon-Seok Choun|arXiv (Cornell University)|Sep 27, 2013

Algebraic and Geometric Analysis参考文献 37被引用 5

一句话总结

本文提出了一种新颖的可逆三阶递推公式（R3TRF），用于系统推导特殊函数的生成函数、幂级数及积分表示，涵盖Heun函数、合流Heun函数、广义合流超几何函数和Mathieu函数。通过利用R3TRF，作者构建了多项式解与无穷级数解的闭式生成函数，实现了对具有正则与非正则奇点的多类方程中系数与特殊函数值的精确且高效计算。

ABSTRACT

In the previous series "Special functions and three term recurrence formula (3TRF)", I generalize the three term recurrence relation in the linear differential equation for the infinite series and polynomial which makes B_n term terminated including all higher terms of A_n's. In this series I will show how to obtain the formula for the polynomial which makes A_n term terminated including all higher terms of B_n's and infinite series of its power series expansion. In the future series I will show you for the polynomial which makes A_n and B_n terms terminated at same time; the power series, integral formalism and generating function such as Heun, Mathieu, Lame and GCH equations will be constructed analytically. In chapter 1, I will generalize the three term recurrence relation in linear differential equation in a backward for the infinite series and polynomial which makes A_n term terminated including all higher terms of B_n's. In chapters 2-9, I will apply reversible three term recurrence formula to (1) the power series expansion in closed forms, (2) its integral representation and (3) generating functions of Heun, Confluent Heun, GCH, Lame and Mathieu equations that consist of three term recursion relation for the infinite series and polynomial which makes A_n term terminated.

研究动机与目标

• 开发一种统一框架，利用可逆三阶递推公式（R3TRF）求解受二阶线性微分方程控制的特殊函数，其奇点为正则或非正则奇点。
• 通过将R3TRF应用于幂级数与积分形式，推导Heun多项式、合流Heun多项式及Mathieu函数的显式生成函数。
• 提供系统化方法，通过递推关系与积分变换计算无穷级数与多项式解的系数。
• 将R3TRF的适用性扩展至广义球函数方程与广义合流超几何函数，包括在零点与无穷远处存在奇点的情形。
• 建立将微分方程转化为基于递推关系表示的一致形式化体系，从而在多种特殊函数中实现解析与计算求解。

提出的方法

• 将可逆三阶递推公式（R3TRF）应用于推导特殊函数幂级数展开中系数的递推关系。
• 通过将无穷级数解表示为基于R3TRF所得系数的正式幂级数，推导生成函数。
• 利用带权函数与辅助参数的多重积分构造积分形式，以闭式表示解。
• 引入包含参数 $ s_n $、$ h_j $、$ \eta $ 与 $ \Omega_\rho $ 的递归结构，以编码递推与变换行为。
• 利用包含 $ \prod_{l=1}^\infty \frac{1}{1 - s_{l,\infty}} $ 类似项与 $ [0,1] $ 上嵌套积分的生成函数恒等式，表示解。
• 通过代入系数并应用R3TRF，将微分方程（如Heun、Mathieu、合流Heun）转化为递推系统，以推导生成函数。

实验结果

研究问题

• RQ1 可逆三阶递推公式（R3TRF）如何系统地应用于推导Heun型函数的生成函数？
• RQ2 在R3TRF下，类型1与类型2合流Heun多项式的生成函数结构为何？
• RQ3 R3TRF能否扩展以处理在无穷远处具有非正则奇点的方程，如广义合流超几何方程？
• RQ4 通过R3TRF导出的积分形式在精度与收敛性方面与Mathieu与Heun函数的标准级数解相比如何？
• RQ5 辅助参数 $ \Omega_\rho $、$ \eta $ 与 $ z $ 在稳定化与参数化生成函数中起何作用？

主要发现

• R3TRF使能够将类型2 Heun多项式的生成函数表示为关于 $ z $ 的形式幂级数，其系数通过嵌套积分与递推参数表达。
• 对于在零点具有正则奇点的合流Heun函数，R3TRF导出的类型1多项式生成函数包含 $ \sum_{h_0=0}^\infty \frac{(1/2)^{h_0}}{h_0!} s_0^{h_0} \prod_{n=1}^\infty \left( \sum_{h_n=h_{n-1}}^\infty s_n^{h_n} \right) $，在给定参数约束下收敛。
• 类型2合流Heun多项式的积分形式涉及 $ [0,1] $ 上的多重嵌套积分，权函数 $ \Gamma_n $ 依赖于 $ s_n $、$ t_n $、$ u_n $ 与 $ \eta $，从而实现系数的精确计算。
• 对于广义合流超几何函数，类型2多项式的生成函数通过参数 $ \Omega_\rho = \frac{\alpha+1}{2-\rho^2} $ 推导得出，解以 $ z $ 的级数形式表示，其系数包含 $ A(s_0; \text{ew}_{1,n}) $ 与 $ \Gamma_n $ 项。
• 通过R3TRF构建了类型2 Mathieu函数的生成函数，其系数包含 $ \sum_{h_0=0}^\infty \frac{(1/2)^{h_0}}{h_0!} s_0^{h_0} \prod_{n=1}^\infty \left( \sum_{h_n=h_{n-1}}^\infty s_n^{h_n} \right) $，并利用 $ \Gamma_1 $ 与 $ A(s_0; \text{ew}_{1,1}) $ 提供了闭式积分表示。
• 该方法成功推广至192种Heun函数，附录中提供了显式生成函数与积分形式，证明了R3TRF在各类特殊函数族中的广泛应用性。