[論文レビュー] 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

ひとこと要約

本稿では、非可換調和振動子（NCHO）に関連するスペクトルゼータ関数の特別値 $ζ_Q(3)$ に対して、アペリー数の一般化である2つの新しい数列 $Ϫ{J}_2(n)$ と $Ϫ{J}_3(n)$ を用いて、明示的な超幾何関数表現を導出する。これらの数列は、アペリーに類似した合同性を満たし、$ζ_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.

研究の動機と目的

• 非可換調和振動子のスペクトルゼータ関数の特別値 $ζ_Q(3)$ を閉形式で表現すること。
• アペリー数の類似として機能する2つの新しい有理数列 $Ϫ{J}_2(n)$ と $Ϫ{J}_3(n)$ を導入し、それらの性質を分析すること。
• $Ϫ{J}_2(n)$ と $Ϫ{J}_3(n)$ がアペリー数と同様の合同関係を満たすことを確立すること。
• $ζ_Q(2)$ の場合に用いられた手法を一般化し、$ζ_Q(3)$ に対して超幾何型の公式を得ること。

提案手法

• スペクトルゼータ関数 $ζ_Q(s)$ は、NCHO作用素 $Q$ の固有値 $λ_n$ を用いて、ディリクレ級数 $Σ_{n=1}^{∞} λ_n^{-s}$ として定義される。
• $ζ_Q(3)$ は、NCHOのスペクトルデータから導かれる関数 $F(t,s,u;a)$ を含む三重積分表現を用いて表現される。
• $Ϫ{J}_2(n)$ と $Ϫ{J}_3(n)$ は母関数を介して定義され、$ζ_Q(2)$ および $ζ_Q(3)$ の級数展開における係数を支配することが示される。
• $Ϫ{g}_2(x)$ および $Ϫ{g}_3(x)$ の母関数に微分方程式のアプローチを適用し、正則な特異点をもつ3階線形常微分方程式が得られる。
• $Ϫ{g}_3(x)$ の非同次微分方程式の解は、再帰関係と超幾何級数の恒等式を用いて構成される。
• 重要なステップとして、母関数を超幾何関数形式に変換し、奇数の逆数の立方を含む二項係数和の成分を抽出するために和の恒等式が適用される。

実験結果

リサーチクエスチョン

• RQ1 非可換調和振動子のスペクトルゼータ関数の特別値 $ζ_Q(3)$ は、超幾何関数と二項係数和の形で表現可能か？
• RQ2 $ζ_Q(2)$ および $ζ_Q(3)$ の計算に現れる数列 $Ϫ{J}_2(n)$ と $Ϫ{J}_3(n)$ は、アペリー数と類似した合同性を満たすか？
• RQ3 $ζ_Q(2)$ の場合に用いられた手法を、$ζ_Q(3)$ やそれ以上の特別値へ一般化する体系的な方法は存在するか？
• RQ4 NCHO作用素のスペクトル的性質は、得られるゼータ値の構造にどのように影響を与えるか？

主な発見

• 特別値 $ζ_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)$ は、数列の再帰関係から導かれる3階線形微分方程式 $D_{\mathrm{W}}\widetilde{g}_3(x) = -\frac{2}{1+x}$ を満たす。
• $ζ_Q(3)$ の表現における二項係数和の成分は、奇数の逆数の立方を含む和の恒等式を用いて、非同次超幾何微分方程式を解くことから生じる。
• 従来の積分に基づく手法に代わる、$ζ_Q(2)$ の超幾何的アプローチを $ζ_Q(3)$ へ成功裏に拡張した。
• 結果として、$ζ_Q(3)$ が特別関数で表現可能であるだけでなく、アペリーに類似した数列の算術的性質と結びついた、新規な級数構造を有することが確認された。