[论文解读] Apéry-like numbers arising from special values of spectral zeta functions for non-commutative harmonic oscillators

Kazufumi Kimoto, Masato Wakayama|arXiv (Cornell University)|Mar 30, 2006

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

一句话总结

本文通过引入两个新的序列 $Ϫ{J}_2(n)$ 和 $Ϫ{J}_3(n)$，这些序列是阿佩里数的推广，推导出与非交换谐振子（NCHO）相关的谱 zeta 函数的特殊值 $ζ_Q(3)$ 的显式超几何表达式。这两个序列满足类似阿佩里数的同余关系，使得 $ζ_Q(3)$ 可表示为一个超几何函数与一个涉及奇整数倒数立方的三重二项式和的组合。

ABSTRACT

We derive an expression for the value $ζ_Q(3)$ of the spectral zeta function $ζ_Q(s)$ studied by Ichinose and Wakayama for the non-commutative harmonic oscillator defined in the work of Parmeggiani and Wakayama using a Gaussian hypergeometric function. In this study, two sequences of rational numbers, denoted $J_2(n)$ and $J_3(n)$, which can be regarded as analogues of the Apéry numbers, naturally arise and play a key role in obtaining the expressions for the values $ζ_Q(2)$ and $ζ_Q(3)$. We also show that the numbers $J_2(n)$ and $J_3(n)$ have congruence relations like those of the Apéry numbers.

研究动机与目标

• 以闭式表达非交换谐振子的谱 zeta 函数的特殊值 $ζ_Q(3)$。
• 引入并分析两个新的有理序列 $Ϫ{J}_2(n)$ 和 $Ϫ{J}_3(n)$，它们作为阿佩里数的类比。
• 证明 $Ϫ{J}_2(n)$ 和 $Ϫ{J}_3(n)$ 满足与阿佩里数类似的同余关系。
• 将用于 $ζ_Q(2)$ 的方法推广，以获得 $ζ_Q(3)$ 的超几何型公式。

提出的方法

• 谱 zeta 函数 $ζ_Q(s)$ 定义为狄利克雷级数 $Σ_{n=1}^{∞} λ_n^{-s}$，其中 $λ_n$ 是非交换谐振子算子 $Q$ 的本征值。
• 通过一个涉及从 NCHO 的谱数据导出的函数 $F(t,s,u;a)$ 的三重积分表示，表达 $ζ_Q(3)$ 的值。
• 通过生成函数定义序列 $Ϫ{J}_2(n)$ 和 $Ϫ{J}_3(n)$，并证明它们控制 $ζ_Q(2)$ 和 $ζ_Q(3)$ 的级数展开中的系数。
• 对生成函数 $Ϫ{g}_2(x)$ 和 $Ϫ{g}_3(x)$ 应用微分方程方法，导出具有正则奇点的三阶线性常微分方程。
• 通过递推关系与超几何级数恒等式，构造 $Ϫ{g}_3(x)$ 的非其次微分方程的解。
• 关键步骤包括将生成函数转化为超几何形式，并应用求和恒等式，以提取 $ζ_Q(3)$ 中的二项式和分量。

实验结果

研究问题

• RQ1 非交换谐振子的谱 zeta 函数的特殊值 $ζ_Q(3)$ 能否用超几何函数与二项式和来表达？
• RQ2 在 $ζ_Q(2)$ 和 $ζ_Q(3)$ 的计算中出现的序列 $Ϫ{J}_2(n)$ 和 $Ϫ{J}_3(n)$ 是否满足与阿佩里数类似的同余性质？
• RQ3 是否存在一种系统性方法，可将用于 $ζ_Q(2)$ 的方法推广到更高阶的特殊值如 $ζ_Q(3)$？
• RQ4 NCHO 算子的谱性质如何影响所得 zeta 值的结构？

主要发现

• 特殊值 $ζ_Q(3)$ 被表达为一个超几何函数与一个无穷二项式和的组合：$ζ_Q(3) = \frac{7}{4}\zeta(3)\frac{(α+\beta)^3}{(\alpha\beta(\alpha\beta-1))^{3/2}}\left\{1+3\left(\frac{\alpha-\beta}{\alpha+\beta}{}_2F_1\left(\frac{1}{4},\frac{3}{4};1;\frac{1}{1-\alpha\beta}\right)\right)^2\right\} - \frac{3(\alpha+\beta)(\alpha-\beta)^2}{2\alpha^2\beta^2(\alpha\beta-1)}\sum_{k=0}^{\infty}(-1)^k\binom{-\frac{1}{2}}{k}^3(\alpha\beta)^{-k}\sum_{j=0}^{k-1}\frac{1}{(2j+1)^3}\binom{-\frac{1}{2}}{j}^{-2}$。
• 证明了序列 $Ϫ{J}_2(n)$ 和 $Ϫ{J}_3(n)$ 满足与阿佩里数类似的同余关系，例如当 $n$ 为奇数时，有 $\widetilde{J}_3(n) \equiv 0 \pmod{n^2}$。
• 序列 $Ϫ{J}_3(n)$ 的生成函数 $Ϫ{g}_3(x)$ 满足一个三阶线性微分方程 $D_{\mathrm{W}}\widetilde{g}_3(x) = -\frac{2}{1+x}$，该方程由序列的递推关系导出。
• 在 $ζ_Q(3)$ 的表达式中出现的二项式和分量，源于通过涉及奇整数倒数立方的求和恒等式，求解一个非齐次超几何微分方程。
• 该方法成功地将先前用于 $ζ_Q(2)$ 的超几何方法推广至 $ζ_Q(3)$，克服了之前基于积分方法的局限性。
• 结果表明，$ζ_Q(3)$ 不仅可用特殊函数表达，还涉及一种与阿佩里型序列算术性质相关的新型级数结构。