[論文レビュー] Recurrent Sums and Partition Identities

Roudy El Haddad|arXiv (Cornell University)|Jan 22, 2021

Advanced Mathematical Identities参考文献 21被引用数 7

ひとこと要約

本稿は、分割恒等式と逆変換公式を用いて、順序付きインデックスをもつネストされた和（再帰的和）を分析する一般枠組みを導入する。再帰的和を非再帰的和の形に表現する還元定理を導出し、多重ゼータスター値や一般化された $p$-級数の閉形式評価を可能にする。特に、$1/N^2$ の $m$ 重再帰的和が $\left(2 - \frac{1}{2^{2(m-1)}}\right)\zeta(2m)$ に収束することを示す新しい恒等式を提示し、オイラーのバーゼル問題を一般化する。

ABSTRACT

Sums of the form $\sum_{N_m=q}^{n}{\cdots \sum_{N_1=q}^{N_2}{a_{(m);N_m}\cdots a_{(1);N_1}}}$ where the $a_{(k);N_k}$'s are same or distinct sequences appear quite often in mathematics. We will refer to them as recurrent sums. In this paper, we introduce a variety of formulas to help manipulate and work with this type of sums. We begin by developing variation formulas that allow the variation of a recurrent sum of order $m$ to be expressed in terms of lower order recurrent sums. We then proceed to derive theorems (which we will call inversion formulas) which show how to interchange the order of summation in a multitude of ways. Later, we introduce a set of new partition identities in order to then prove a reduction theorem which permits the expression of a recurrent sum in terms of a combination of non-recurrent sums. Finally, we apply this reduction theorem to a recurrent form of two famous types of sums: The $p$-series and the sum of powers.

研究の動機と目的

• 数論や数学物理学に頻出する形 $\sum_{1 \leq N_1 \leq \cdots \leq N_m \leq n} a_{(m);N_m} \cdots a_{(1);N_1}$ の再帰的和を体系的に取り扱う理論を構築すること。
• 再帰的和の順序 $m$ における変化を、低次の和で表現する変動公式を導出すること。
• 再帰的和における和のインデックスの順序を入れ替える複数の方法を可能にする逆変換公式を確立すること。
• 再帰的和を非再帰的和の組み合わせとして表現する還元定理を証明するために、新しい分割恒等式を導入すること。
• 一般枠組みを特殊ケースに適用し、多重ゼータスター値やべき乗のファウルハーバー型和を含む。

提案手法

• 再帰的和の概念を導入し、非減少インデックスをもつネストされた和としてその構造を定義する。
• 再帰的和の順序 $m$ における差分を、低次の再帰的和で表現する変動公式を開発する。
• 複数の方法で和のインデックスを入れ替えることを可能にする逆変換公式を導出する。
• 再帰的和の構造を整数分割の観点から表現するための新しい分割恒等式のセットを導入する。
• 分割に基づく係数を用いて、任意の再帰的和を非再帰的和の有限組み合わせとして表現する還元定理を証明する。
• 還元定理を二つの主要なケースに適用する：多重ゼータスター値と一般化された $p$-級数、特に $p=1$ の場合（$1/N^2$）。

実験結果

リサーチクエスチョン

• RQ1 再帰的和の順序 $m$ における変動は、どのように低次の再帰的和で表現できるか？
• RQ2 再帰的和において、和の順序を入れ替える方法はいくつあるか？また、それらの入れ替えを支配する公式は何か？
• RQ3 分割恒等式を用いて、再帰的和を非再帰的和の組み合わせに還元できるか？
• RQ4 $m$ 重再帰的和 $1/N^2$ の閉形式はどのようなものか？また、リーマン・ゼータ関数とどのように関係するか？
• RQ5 再帰的 $p$-級数の漸近的挙動は、和の回数 $m$ が増加するか、無限大に近づくにつれてどうなるか？

主な発見

• $1/N^2$ の $m$ 重再帰的和は $\left(2 - \frac{1}{2^{2(m-1)}}\right)\zeta(2m)$ に等しく、オイラーのバーゼル問題を一般化する。
• $m \to \infty$ のとき、$1/N^2$ の再帰的和は 2 に収束する。なぜなら $\zeta(2m) \to 1$ かつ $\left(2 - \frac{1}{2^{2(m-1)}}\right) \to 2$ となるからである。
• すべての $m \geq 0$ に対して $2p=2$ を満たす再帰的 $p$-級数の和は発散する。なぜなら $m \geq 0$ に対して各項が 1 以上で抑えられるからである。
• 還元定理により、任意の再帰的和を整数分割の和として有限和で表現でき、係数には階乗とゼータ関数の累乗が含まれる。
• 組合せ論とゼータ関数を結ぶ、分割の和として表される新しい二項係数の恒等式が導出された。
• 分割の和として表されるベルヌーイ数の和を含む恒等式が導出され、既知の数論的恒等式が拡張された。