[論文レビュー] New Properties of Fourier Series and Riemann Zeta Function

Guang-Qing Bi, Yuekai Bi|arXiv (Cornell University)|Aug 30, 2010

Advanced Mathematical Identities参考文献 6被引用数 5

ひとこと要約

本稿では、抽象的微分作用素 $\cos(h\partial_x)$ および $\sin(h\partial_x)$ を用いて、べき級数の和を三角関数的級数の和へ写像することにより、リーマンゼータ関数に関連するディリクレ級数を含む三角関数的級数の和を計算する新規な手法を提示する。主な貢献は、$\mathfrak{D}(2r)$ および $\mathcal{D}(2r+1)$ の閉形式表現を再帰的アプローチで得ることであり、$\mathfrak{D}(6) = \frac{361\pi^6}{491520}$ や $\mathcal{D}(7) = \frac{307\pi^7}{1310720}$ といった正確な値を含む。これにより、$\zeta(2n+1)$ に関する新たな知見が得られる。

ABSTRACT

We establish the mapping relations between analytic functions and periodic functions using the abstract operators $\cos(h\partial_x)$ and $\sin(h\partial_x)$, including the mapping relations between power series and trigonometric series, and by using such mapping relations we obtain a general method to find the sum function of a trigonometric series. According to this method, if each coefficient of a power series is respectively equal to that of a trigonometric series, then if we know the sum function of the power series, we can obtain that of the trigonometric series, and the non-analytical points of which are also determined at the same time, thus we obtain a general method to find the sum of the Dirichlet series of integer variables, and derive several new properties of $ζ(2n+1)$.

研究の動機と目的

• 抽象的微分作用素 $\cos(h\partial_x)$ および $\sin(h\partial_x)$ を用いて、解析関数と周期関数との間の体系的な写像を確立すること。
• 既知のべき級数の和を活用して、三角関数的級数の和関数を求める一般的手法を開発すること。
• 奇数のゼータ関数値 $\zeta(2n+1)$ を含むディリクレ級数に対する新しい閉形式表現を導出すること、特に $\mathcal{D}(2r+1)$ に焦点を当てる。
• 既知のゼータ関数およびディリクレベータ関数の値を用いて、$\mathfrak{D}(2r)$ および $\mathcal{D}(2r+1)$ の再帰的計算を可能にする再帰関係を提供すること。

提案手法

• 本手法は、指数関数および三角関数の関数的恒等式を用いて、べき級数の和を三角関数的級数の和へ写像する抽象的微分作用素 $\cos(h\partial_x)$ および $\sin(h\partial_x)$ を採用する。
• 恒等式 $\cos(h\partial_x)e^{bx} = \cos(bh)e^{bx}$ および $\sin(h\partial_x)e^{bx} = \sin(bh)e^{bx}$ を用いて、級数型の間の変換則を導出する。
• 解析的関数と周期的関数の振る舞いの関係を表す作用素恒等式 $\cos(h\partial_x)f(x) = \Re[f(x+ih)]$ および $\sin(h\partial_x)f(x) = \Im[f(x+ih)]$ に依拠する。
• 主な技術的アプローチとして、区間 $[0, c/4]$ のような制限された区間で三角関数的級数を評価し、多項式近似および再帰関係を導出する。
• 特に $x_0 = c/4$ における級数評価から得られる再帰公式、例えば $\sum_{k=0}^{r-1} (-1)^k \frac{1}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathfrak{D}(2r-2k) = \frac{2^{2r}-1}{2^{2r+1}} \zeta(2r)$ を適用する。
• 既知の $\zeta(2r)$ および $\lambda(2r)$ の値を用いて、$\mathfrak{D}(2r)$ および $\mathcal{D}(2r+1)$ を再帰的に計算する。収束領域の解析を回避し、記号的微分作用素代数により収束問題を回避する。

実験結果

リサーチクエスチョン

• RQ1 抽象的微分作用素を用いて、対応するべき級数の和から三角関数的級数の和を体系的に導出可能か？
• RQ2 形式 $\mathfrak{D}(2r) = \frac{1}{\sqrt{2}}\sum_{n=1}^\infty (-1)^{[n/2]} \frac{1}{(2n-1)^{2r}}$ のディリクレ級数の和を支配する再帰関係は何か？
• RQ3 本手法により、$\mathcal{D}(2r+1) = \frac{1}{\sqrt{2}}\sum_{n=0}^\infty (-1)^{[n/2]} \frac{1}{(2n+1)^{2r+1}}$ の正確な閉形式表現が得られるか？
• RQ4 非解析的点を有する三角関数的級数の和を用いて、$\zeta(2n+1)$ の値をどのように研究できるか？

主な発見

• 本稿では、奇数の整数を含むディリクレ級数の和として $\mathfrak{D}(6) = \frac{361\pi^6}{491520}$ を導出しており、6次に関する閉形式表現が得られた。
• また、7次に関する奇数ゼータ関連級数の正確な値 $\mathcal{D}(7) = \frac{307\pi^7}{1310720}$ を計算した。
• 再帰関係 $\sum_{k=0}^{r-1} (-1)^k \frac{1}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathfrak{D}(2r-2k) = \frac{2^{2r}-1}{2^{2r+1}} \zeta(2r)$ が得られ、$\mathfrak{D}(2r)$ の再帰的計算が可能になった。
• $\mathcal{D}(2r+1)$ については、再帰関係 $\sum_{k=0}^{r} \frac{(-1)^k}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathcal{D}(2r+1-2k) = \frac{1}{2}\beta(2r+1)$ が確立され、$\beta(2r+1)$ は特殊関数として既知である。
• 収束領域の解析を必要とせず、テイラー展開の制限を回避する形で、べき級数の和を三角関数的級数の和へ写像する手法が成功した。