[论文解读] Power series and integral forms of Lame equation in Weierstrass's form

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

Mathematical functions and polynomials参考文献 9被引用 8

一句话总结

该论文利用三系数递推公式（3TRF）推导了魏尔斯特拉斯形式的勒梅方程的幂级数与积分表示，建立了无限级数与多项式解的闭式积分表达式。一个关键发现是超几何函数 ${}_2F_1$ 在子积分形式中反复出现，且其幂次随 $A_n$ 项数增加而递增，同时阐明了皮卡-佩罗定理为何不普遍适用于勒梅函数。

ABSTRACT

I consider the power series expansion of Lame function in the Weierstrass's form and its integral forms applying three term recurrence formula[1]. I investigate asymptotic expansions of Lame function for the cases of infinite series and polynomials. I will show how the power series expansion of Lame functions in the Weierstrass's form 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. This paper is 7th 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 and the integral formalism of Lame equation in the algebraic form and its asymptotic behavior[19]. The next paper in the series describes the generating functions of Lame equation in the Weierstrass's form[21]. Nine examples of 192 local solutions of the Heun equation (Maier, 2007) are provided in the appendix. For each example, I show how to convert local solutions of Heun equation by applying 3TRF to analytic solutions of Lame equation in Weierstrass's form.

研究动机与目标

• 通过三系数递推公式（3TRF）推导魏尔斯特拉斯形式勒梅方程的幂级数与积分形式。
• 研究勒梅函数在无限级数与多项式解情况下的渐近行为。
• 阐明皮卡-佩罗定理在勒梅方程中不适用的条件。
• 通过变换幂级数展开，为所有类型的勒梅解（包括无限级数与多项式）建立闭式积分表示。
• 展示超几何函数 ${}_2F_1$ 在子积分形式中的递推现象，其索引由所包含的 $A_n$ 项数决定。

提出的方法

• 应用三系数递推公式（3TRF）推导魏尔斯特拉斯形式勒梅函数的幂级数展开。
• 通过解析延拓与积分形式，将幂级数解转化为围线积分表示。
• 通过变量替换 $\xi = \text{sn}^2(z,\rho)$ 将勒梅方程转化为具有四个正则奇点 $\xi = 0, 1, \rho^{-2}, \infty$ 的Fuchsian微分方程。
• 通过将解表示为具有嵌套积分 $t_k, u_k, v_k$ 及涉及 $w_{n-k,n}$ 的围线积分的超几何类型级数，推导出积分形式。
• 应用已知的Heun方程局部解（来自Maier, 2007），并通过3TRF将其映射至勒梅解，实现192个Heun方程局部解向解析勒梅解的转换。
• 引入参数 $\Omega_{n-k-1}$ 与 $Q$，以参数化递推结构及积分核中的超几何权重函数。

实验结果

研究问题

• RQ1 如何系统地将魏尔斯特拉斯形式勒梅方程的幂级数解转换为闭式积分表示？
• RQ2 为何皮卡-佩罗定理无法保证某些勒梅方程解的收敛性？
• RQ3 超几何函数 ${}_2F_1$ 在所推导积分形式的子积分组件中起何作用？
• RQ4 级数中 $A_n$ 项的数量如何影响所得积分表示的结构？
• RQ5 能否通过3TRF系统地将Heun方程的192个局部解映射为魏尔斯特拉斯形式勒梅方程的解析解？

主要发现

• 通过三系数递推公式（3TRF），魏尔斯特拉斯形式勒梅方程的幂级数解成功转化为闭式积分表示。
• 由于其三系数递推的非一致收敛行为，特别是多项式情形下，皮卡-佩罗定理不普遍适用于勒梅方程。
• 所推导表示中的每个子积分形式均包含一个超几何函数 ${}_2F_1\left(\frac{\alpha}{4}+\frac{1}{4}, \frac{\alpha}{4}+\frac{1}{2}; \frac{3}{4}; z\right)$，且高阶项中 $A_n$ 项的数量递增。
• 积分形式由 $t_k, u_k$ 的嵌套积分以及 $v_k$ 的围线积分构成，结合了递归微分算子及参数 $\Omega_{n-k-1}$ 与 $Q$。
• 通过应用3TRF，系统地实现了从Heun方程局部解到勒梅方程解的转换，附录中提供了九个示例。
• 对解的渐近行为进行了分析，并推导出关于 $x$ 的边界条件，表明其依赖于 $\rho$ 与 $\alpha$。