[论文解读] Lame equation in the algebraic form

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

Quantum chaos and dynamical systems参考文献 17被引用 9

一句话总结

本文利用三系数递推公式（3TRF）推导出勒梅函数的闭式幂级数与积分表达式，表明超几何函数 ${}_2F_1$ 会根据 $A_n$ 项的数量在子积分形式中重复出现。该方法可实现无限级数与多项式情形的解析解，适用于椭球谐函数与特殊函数理论。

ABSTRACT

Lame equation arises from deriving Laplace equation in ellipsoidal coordinates; in other words, it's called ellipsoidal harmonic equation. Lame functions are applicable to diverse areas such as boundary value problems in ellipsoidal geometry, chaotic Hamiltonian systems, the theory of Bose-Einstein condensates, etc. In this paper I will apply three term recurrence formula [arXiv:1303.0806] to the power series expansion in closed forms of Lame function in the algebraic form(infinite series and polynomial) and its integral forms including all higher terms of A_n's. I will show how to transform power series expansion of Lame function to an integral formalism mathematically for 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. Section 6 contains additional examples of application in Lame function. This paper is 6th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 7 for all the papers in the series. Previous paper in series deals with the power series expansion of Mathieu function and its integral formalism [arXiv:1303.0820]. The next paper in the series describes the power series and integral forms of Lame equation in the Weierstrass's form and its asymptotic behaviors [arXiv:1303.0878].

研究动机与目标

• 使用三系数递推公式（3TRF）推导勒梅函数在代数形式下的闭式解析解。
• 将勒梅函数的幂级数展开转化为无限级数与多项式情形下的积分形式。
• 根据所包含的 $A_n$ 项数量，识别子积分成分中超几何函数 ${}_2F_1$ 的重复出现规律。
• 通过积分形式推导生成函数、正交关系、递推关系及物理期望值。
• 为将特殊函数理论拓展至椭球几何（尤其在边界值问题与量子系统中）奠定基础。

提出的方法

• 将三系数递推公式（3TRF）[10] 应用于勒梅方程的弗罗贝尼乌斯型幂级数解的代数形式。
• 通过递归求解系数 $c_n$ 的递推关系，推导出勒梅函数幂级数的闭式表达式。
• 通过将每个项表示为 Pochhammer 符号与超几何函数的乘积，将所得幂级数转化为积分形式。
• 识别出每个子积分形式中均包含一个 ${}_2F_1$ 函数，其对 $A_n$ 项的依赖程度逐个子积分递增：零个、一个、两个等。
• 利用条件 $B_{2eta_i + (i+1)} = 0$ 终止 $B_n$ 项，从而对特定本征值获得多项式解。
• 将该方法应用于无限级数与多项式情形，其中 $eta_i$ 为决定终止点的本征值。

实验结果

研究问题

• RQ1 如何利用三系数递推公式（3TRF）将代数形式下勒梅函数的幂级数展开表达为闭式？
• RQ2 从勒梅函数幂级数展开导出的积分形式具有怎样的数学结构？
• RQ3 为何随着 $A_n$ 项数量的增加，超几何函数 ${}_2F_1$ 会在子积分形式中重复出现？
• RQ4 勒梅函数的积分形式如何促进生成函数与正交关系的推导？
• RQ5 本征值 $\beta_i$ 在终止 $B_n$ 项以生成多项式解的过程中起到何种作用？

主要发现

• 利用三系数递推公式（3TRF）成功将代数形式下勒梅函数的幂级数展开表达为闭式。
• 勒梅函数的积分形式揭示出每个子积分中均重复出现 ${}_2F_1$ 超几何函数，且每个子积分中对 $A_n$ 项的依赖程度逐级递增。
• 通过施加终止条件 $B_{2eta_i + (i+1)} = 0$ 获得多项式解，其中 $\beta_i$ 为对应特定 $\alpha$ 值的本征值。
• 对 $\alpha = 2(2\alpha_i + i + \lambda)$ 与 $\alpha = -2(2\alpha_i + i + \lambda) - 1$ 的解结果一致，验证了递推结构的自洽性。
• 所推导的积分形式可构造生成函数，这对于推导物理应用中的递推关系与期望值至关重要。
• 该方法为通过积分形式将勒梅函数表示为已知特殊函数（如超几何函数、贝塞尔函数、勒让德函数与合流超几何函数）提供了可行路径。