[论文解读] Complete polynomials using 3-term and reversible 3-term recurrence formulas (3TRF and R3TRF)

Yoon-Seok Choun|arXiv (Cornell University)|Apr 29, 2014

Quantum Mechanics and Non-Hermitian Physics参考文献 33被引用 4

一句话总结

本文提出了一种新颖的框架，用于在特殊函数背景下，特别是针对双重合流赫纳方程（DCHE）的三系数递推公式（3TRF）和可逆三系数递推公式（R3TRF），构建完整多项式。通过分析系数在谱参数作用下截断的递推结构，推导出有限子级数解——分类为多项式类型2和第一类完整多项式。3TRF与R3TRF方法在首项系数（An 与 Bn）及Pochhammer符号的排列上存在关键差异，从而实现通过Tricomi函数的解析积分表示。

ABSTRACT

In the first series "Special functions and three term recurrence formula (3TRF)", I show how to obtain power series solutions of Heun, Grand Confluent Hypergeoemtric (GCH), Mathieu and Lame equations for an infinite series and a polynomial of type 1. The method of proof for an infinite series and a polynomial of type 1 in the 3-term recurrence relation is called as three term recurrence formula (3TRF). And integral forms and generating functions of the above 4 equations are constructed analytically. In the second series "Special functions and reversible three-term recurrence formula (R3TRF)", I show how to obtain (1) power series solutions, (2) integral solutions and (3) generating functions of 5 equations (Heun, GCH, Mathieu, Lame and Confluent Heun (CH) equations) for an infinite series and a polynomial of type 2. The method of proof for an infinite series and a polynomial of type 2 in the 3-term recurrence relation is called as reversible three term recurrence formula (R3TRF). In this series I show how to obtain the mathematical formula for a polynomial of type 3, designated as "complete polynomial." The complete polynomial has two different types which are (1) the first species complete polynomial and (2) the second species complete polynomial. The former is applicable if there are only one eigenvalue in B_n term and an eigenvalue in A_n term. And the latter is applicable if there are two eigenvalues in B_n term and an eigenvalue in A_n term. By applying 3TRF and R3TRF, I generalize the 3-term recurrence relation in 5 equations (Heun, GCH, Lame, CH and Double Confluent Heun equations) for complete polynomials of two types in the form of a power series expansion.

研究动机与目标

• 开发一种系统化方法，利用三系数递推公式（3TRF）和可逆三系数递推公式（R3TRF）构建特殊函数的完整多项式。
• 识别并分类双重合流赫纳方程（DCHE）中具有两个非正则奇点的有限子级数解。
• 从递推首项系数（An 与 Bn）及Pochhammer符号分布的角度，区分多项式类型2与第一类完整多项式的结构差异。
• 通过环绕积分路径的Tricomi函数与超几何型积分，建立这些多项式的解析积分表示。
• 展示3TRF与R3TRF方法在数值上的等价性，同时突出其在级数构造中的根本性结构差异。

提出的方法

• 在x=0和x=∞处的非正则奇点附近，利用Frobenius型形式级数解，推导出DCHE的三系数递推关系。
• 应用3TRF与R3TRF生成有限子级数解，并通过谱参数q确定截断条件。
• 使用Pochhammer符号表达递推关系中的系数，区分其在3TRF中An项与R3TRF中Bn项的首项位置。
• 通过将环绕积分应用于一般解的子级数，应用Tricomi函数的围线积分构造积分表示，实现解析延拓。
• 采用包含∆±k(j,q)项的递归系数公式，为两类多项式定义有限子级数。
• 分析一般形式级数解的结构，表明3TRF产生两个子级数之和，而R3TRF产生单一子级数。

实验结果

研究问题

• RQ1 如何在具有两个非正则奇点的DCHE背景下，系统地从3TRF和R3TRF推导出完整多项式？
• RQ2 从递推首项系数与Pochhammer符号分布的角度，多项式类型2与第一类完整多项式之间存在哪些结构差异？
• RQ3 使用3TRF与R3TRF的递推关系在系数生成与级数组成方面有何不同？
• RQ4 能否利用Tricomi函数或超几何型积分，为这些有限子级数解构造解析积分表示？
• RQ5 谱参数q在将一般幂级数截断为有限多项式的过程中起什么作用？

主要发现

• 多项式类型2解通过将参数q固定为谱特征值（具有无穷多个特征值）获得，导致递推系统中子级数的截断。
• 第一类完整多项式使用q的多值根作为谱参数，其特征值标记为q_m^{2N+3}（m = 0, 1, ..., 2N+3）。
• 在3TRF中，An项是每个有限子级数的首项；而在R3TRF中，Bn项承担此角色，表明存在根本性的结构差异。
• 对于3TRF，Bn项的分子与分母均包含Pochhammer符号；对于R3TRF，An项同样如此，反映出系数结构中的双重对称性。
• 3TRF的经典求和结构由两个有限子级数之和构成，而R3TRF解则由单一有限子级数组成，表明其形式更为紧凑。
• 使用3TRF与R3TRF的数值结果等价，但其在系数生成与项主导性方面的底层递推结构存在显著差异。