[論文レビュー] Abel's Lemma and Identities on Harmonic Numbers

Hai-Tao Jin, Daniel K. Du|arXiv (Cornell University)|Nov 25, 2014

Mathematical and Theoretical Analysis参考文献 12被引用数 4

ひとこと要約

本稿では、調和数および一般化調和数を含む恒等式を導出および検証するために、アーベル・ゴスパー法とアーベル・WZ法を導入する。ゴスパーのアルゴリズムとアーベルの部分和分のための補題を組み合わせることで、一般化調和数の新しい逆公式を確立し、二項係数と調和数を含む古典的調和和恒等式の一般化形を含む、多数の新規恒等式を証明する。

ABSTRACT

Recently, Chen, Hou and Jin used both Abel's lemma on summation by parts and Zeilberger's algorithm to generate recurrence relations for definite summations. Meanwhile, they proposed the Abel-Gosper method to evaluate some indefinite sums involving harmonic numbers. In this paper, we use the Abel-Gosper method to prove an identity involving the generalized harmonic numbers. Special cases of this result reduce to many famous identities. In addition, we use both Abel's lemma and the WZ method to verify and to discover identities involving harmonic numbers. Many interesting examples are also presented.

研究の動機と目的

• 一般化調和数を含む不定和の評価に、アーベル・ゴスパー法を発展および適用すること。
• ハイパージェオメトリック和分技法を用いて調和数に関する恒等式を体系的に発見および検証するフレームワークとして、アーベル・WZ法を導入すること。
• 古典的逆公式 ∑(-1)^{k-1} C(n,k) H_k = 1/n を一般化し、一般化調和数および二項係数を含む形に拡張すること。
• 再帰関係とアルゴリズム的検証を用いて、調和数を含む定積分和の閉形式評価を提供すること。

提案手法

• アーベル・ゴスパー法は、ゴスパーの不定ハイパージェオメトリック和分アルゴリズムとアーベルの部分和分の補題を組み合わせ、∑ f_k H_k の形の和をハイパージェオメトリック和に変換する。
• アーベル・WZ法は、ハイパージェオメトリック恒等式のWZ法とアーベルの補題を組み合わせ、調和数を含む和の再帰関係および閉形式を生成する。
• 著者らは、調和数のような非ハイパージェオメトリック項を含む和の再帰関係を導出し、検証するためにツァイルバーガーのアルゴリズムを用いる。
• 境界値解析とテレスコーピング技法を用いて、アーベルの補題による変換後の和を簡略化する。
• 既知のハイパージェオメトリック恒等式にこの手法を適用し、H_k、H_k^{(2)}、H_{mk+s}(x) を含む新しい恒等式を生成する。
• 一般化恒等式におけるパラメータ m, s, p, n, x に特定の値を代入することで、特殊ケースを導出する。

実験結果

リサーチクエスチョン

• RQ1 アーベル・ゴスパー法を用いて、一般化調和数の一般化された逆公式を導出できるか？
• RQ2 アーベル・WZ法を体系的に適用することで、調和数を含む新しい恒等式を発見できるか？
• RQ3 二項係数、一般化調和数、符号の入れ違いを含む和の閉形式評価は何か？
• RQ4 この手法は、プロディンガーの H_k^{(2)} に関する恒等式やコーキンの恒等式を再発見できるか？
• RQ5 一般化恒等式の特殊ケースとして、古典的調和数恒等式に還元されるものは何か？

主な発見

• 本稿では、一般化された逆公式を証明する：∑_{k=p}^n (-1)^{k-1} C(n,k) C(k,p) H_{mk+s}(x) = (-1)^p m^{n-p-1} n! / ((n-p)p!) × ∑_{i=1}^m 1 / ∏_{u=p}^{n-1} (mu + s + x + i) for n > p。
• m=1, s=0, x=0 の場合、恒等式は古典的結果 ∑_{k=p}^n (-1)^{k-1} C(n,k) C(k,p) H_k = (-1)^p / (n-p) × C(p,0) / C(n,0) に簡略化され、既知の恒等式 ∑(-1)^{k-1} C(n,k) H_k = 1/n が特殊ケースとして含まれる。
• アーベル・WZ法は、プロディンガーの恒等式を再発見する：∑_{k=0}^n (-1)^{n-k} C(n,k) C(n+k,k) H_k^{(2)} = 2 ∑_{k=1}^n (-1)^{k-1}/k^2。
• 本手法により、∑_{k=0}^n (-1)^{n-k} C(n,k) C(n+k,k) H_{2k} = 3H_n - H_{⌊n/2⌋} for n ≥ 1 という新しい恒等式が得られる。
• 既知の二項係数恒等式を用いて、∑_{k=p}^n C(n,k)^2 C(k,p) H_k = C(2n-p,n) C(n,p) (2H_n - H_{2n-p}) といった恒等式が導出される。
• 符号の入れ違いを含む和については、∑_{k=0}^{2n} (-1)^k C(2n,k)^2 H_k = (-1)^n C(2n,n) (H_n + H_{2n})/2 および H_k^{(2)} に関する類似結果が得られる。