[论文解读] A continued fraction expansion for a q-tangent function

Markus Fulmek|ArXiv.org|Aug 23, 2000

Advanced Mathematical Identities参考文献 4被引用 19

一句话总结

本文通过递归多项式 Aₙ(z) 和 Bₙ(z) 证明了由 Prodinger 提出的 q-正切函数的连分数展开猜想，其中系数满足与 q-整数及特定 q-幂次相关的递推关系。关键结果通过证明连分数的有理逼近在 z²ⁿ⁺¹ 阶以内与 q-正切函数一致，且误差项因广义恒等式经由 q-超几何求和验证而消失，从而确认了 Prodinger 的猜想。

ABSTRACT

We prove a continued fraction expansion for a certain q--tangent function that was conjectured by Prodinger.

研究动机与目标

• 证明 Prodinger 提出的 q-正切函数的连分数展开猜想。
• 通过证明其连分式收敛项与 q-正切函数在幂级数展开中指定阶数内一致，确立连分数的有效性。
• 验证近似误差项对所有 n ≥ 1 恒为零，表明连分数展开在极限下是精确的。
• 将涉及 q-整数与 q-Pochhammer 符号的系数恒等式进行推广，以支持多项式 Aₙ 与 Bₙ 的递归结构。
• 利用 q-超几何求和公式验证归纳证明中关键恒等式的正确性。

提出的方法

• 将 q-正切函数定义为两个 q-三角级数的比值：sin_q(z)/cos_q(z)，其中级数系数包含 q-指数权重。
• 引入由二阶线性递推关系定义的递归多项式 Aₙ(z) 和 Bₙ(z)，其系数为 bₙ = [2n−1]_q q^{(−1)^{n−1}n(n−1)/2 − n + 1}。
• 将连分数表示为有限 n 下的 Aₙ(z)/Bₙ(z)，并证明当 n → ∞ 时收敛于 q-正切函数。
• 通过分析 Aₙ cos_q + z Bₙ sin_q 的幂级数展开中至 z²ⁿ 项的系数全部为零，证明关键恒等式 Aₙ cos_q + z Bₙ sin_q = O(z²ⁿ⁺¹)。
• 对 k（z 的幂次）进行归纳，证明涉及 q-Pochhammer 符号与 q-整数的广义系数恒等式。
• 在归纳步骤中应用非常超几何的 $_6\phi_5$ 求和公式，对出现的无穷 q-超几何级数进行求值，将其简化为恒等式。

实验结果

研究问题

• RQ1 所提出的 q-正切函数连分数展开是否正确地表示了 Prodinger 定义的 q-三角级数？
• RQ2 能否严格证明 Aₙ cos_q + z Bₙ sin_q 的前 2n 个系数在所有 n ≥ 1 下恒为零？
• RQ3 是否存在一个广义系数恒等式，能够统一 Aₙ 与 Bₙ 的递推结构，并支持归纳验证？
• RQ4 归纳证明中出现的无穷级数能否利用已知的 q-超几何求和公式进行求值？
• RQ5 所得恒等式是否简化为一个恒等式，从而确认整个归纳论证的正确性？

主要发现

• 所提出的 q-正切函数连分数展开被严格证明为正确，从而确认了 Prodinger 的猜想。
• 有理逼近 Aₙ(z)/Bₙ(z) 在 z²ⁿ⁺¹ 阶以内与 q-正切函数一致，意味着误差项中前 2n 个幂级数系数全部为零。
• 建立了广义系数恒等式（公式 7），其在 0 ≤ k ≤ n 时恒为零，从而证明了主结论。
• 归纳证明依赖于将递推关系转化为 bₙ 项乘积之和的形式，从而可应用 q-超几何恒等式。
• 归纳步骤中的无穷级数利用非常超几何的 $_6\phi_5$ 求和公式求值，结果为一个恒等式，从而确认了推导的正确性。
• 最终恒等式化简为 (q^{-2k+2};q²)_{2N-1} = -q^{-2(k-N)(2N-1)}(q^{2k-4N+2};q²)_{2N-1}，该式对偶数和奇数 n 均成立，从而完成证明。