[論文レビュー] Tornheim-like series, harmonic numbers and zeta values

Ilham A. Aliev, Ayhan Dil|arXiv (Cornell University)|Aug 6, 2020

Advanced Mathematical Identities参考文献 14被引用数 4

ひとこと要約

この論文は、積分表現と母関数を用いて、調和数とリーマンゼータ関数を含むトールンハイム型の二重および多重級数の明示的評価を提供する。系列 $\sum_{n,m=1}^\infty \frac{H_{n+m+s}}{nm(n+m+s)}$ が $s \geq 1$ のとき有理数であり、$s = 0$ のとき無理数であることを証明し、ゼータ関数を用いた閉形式を得ている。また、$\zeta(2)$ および $\zeta(3)$ を含む関連する系列についても評価している。

ABSTRACT

Explicit evaluations of the Tornheim-like double series in the form \[ \sum_{n,m=1}^\infty \frac{H_{n+m+s}}{nm\left( n+m+s ight)},\ s\in \mathbb{N\cup } \left\{ 0 ight\} \] and their extensions are given. Furthermore, series of the type \[ \sum_{m=1}^\infty \frac{2H_{2m+1}-H_{m}}{2m\left( 2m+1 ight)} \] and some other Tornheim-like multiple series are evaluated in terms of the zeta values.

研究の動機と目的

• 整数パラメータを含むトールンハイム型系列の有理数性または無理数性を特定すること。
• 形 $\sum \frac{H_{n+m+s}}{nm(n+m+s)}$ の二重および多重級数の明示的閉形式評価をゼータ関数を用いて導出すること。
• 一般化された調和数とシフトパラメータを組み込むことで、オイラー和およびトールンハイム級数に関する既知の結果を拡張すること。
• $\zeta(2)$ および $\zeta(3)$ を含み、分母に半整数シフトを含む特別な系列の評価を行うこと。

提案手法

• 逆数および対数関数の積分表現を用いて、二重級数を三重積分に変換すること。
• 恒等式 $\sum_{k=1}^{n+m+s} \frac{1}{k} = \sum_{k=1}^\infty \left( \frac{1}{k} - \frac{1}{k+n+m+s} \right)$ を適用し、調和数を級数として表現すること。
• 積分公式 $\int_0^1 x^{k-1} dx = \frac{1}{k}$ を用いて、有理関数の項を単位区間上の積分に変換すること。
• 母関数および級数展開（例：$|xt| < 1$ のとき $\sum_{n=1}^\infty (xt)^{n-1} = \frac{1}{1-xt}$）を用いること。
• 対数積分を簡略化するために、置換 $u = \frac{1+\sqrt{t}}{1-\sqrt{t}}$ を適用すること。
• 恒等式 $\int_0^1 t^{j} \ln^3 t \, dt = -\frac{6}{(j+1)^4}$ を用いて、積分をゼータ関数に結びつけること。

実験結果

リサーチクエスチョン

• RQ1 整数 $s \in \mathbb{N} \cup \{0\}$ に対して、トールンハイム型級数 $\sum_{n,m=1}^\infty \frac{H_{n+m+s}}{nm(n+m+s)}$ は有理数か無理数か？
• RQ2 このような級数に対して、リーマンゼータ関数を用いた明示的閉形式評価を導出できるか？
• RQ3 分母に半整数シフトを含む $\zeta(2)$ および $\zeta(3)$ を含む級数の正確な値は何か？
• RQ4 一般化された調和数およびシフトパラメータは、多重トールンハイム型級数の評価にどのように影響を与えるか？

主な発見

• 系列 $A(s) = \sum_{n,m=1}^\infty \frac{H_{n+m+s}}{nm(n+m+s)}$ は $s \geq 1$ のとき有理数であり、$s = 0$ のとき無理数であり、$A(0) = 6\zeta(4) = \frac{\pi^4}{16}$ である。
• $s \geq 1$ のとき、$A(s) = 6 \sum_{j=0}^{s-1} (-1)^j \binom{s-1}{j} \frac{1}{(j+1)^4}$ であり、これは逆4乗の有理式として表される。
• 系列 $\sum_{m,n=0}^\infty \frac{1}{(2m+1)(2n+1)(2m+2n+1)(2m+2n+2)} = 16\zeta(2) - 14\zeta(3)$ である。
• 系列 $\sum_{m,n=0}^\infty \frac{1}{(2m+1)(2n+1)(2m+2n+3)} = \frac{1}{2}\zeta(2)$ は、対数積分恒等式を用いて導出された。
• 三重級数 $\sum_{m,n=0}^\infty \frac{1}{(2m+1)(2n+1)(2m+2n+1)(2m+2n+2)(2m+2n+3)} = 24\zeta(2) - 28\zeta(3)$ である。
• 本手法は、$\ln^3(1-t)$ および $\ln^2\left(\frac{1+t}{1-t}\right)$ を含む積分に変換することで、半整数シフトを伴う複数のトールンハイム型級数を効果的に評価できた。