[論文レビュー] Combinatorial identities involving harmonic numbers

Necdet Batır|arXiv (Cornell University)|Jun 8, 2018

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

ひとこと要約

本稿では、二項係数とパラメータを含む新しい組み合わせ的恒等式を導入し、それを微分・積分することで新たな有限調和和の恒等式を導出する。主な貢献は、調和数、二項係数、交互和を結びつける、以前に知られていなかったか、再発見された恒等式のセットであり、特に $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}$ や $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}$ のような和の閉形式が含まれる。これらの恒等式は、一般化された調和和やディガンマ関数の応用を持つ。

ABSTRACT

In this work we prove a new combinatorial identity and applying it we establish many finite harmonic sum identities. Among many others, we prove that \begin{equation*} \sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}=H_n^2+\sum_{k=1}^{n}\frac{(-1)^{k}}{k^2\binom{n}{k}}, \end{equation*} and \begin{equation*} \sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}=\frac{H_n[H_n^2+H_n^{(2)}]}{2}-\sum_{k=0}^{n-1}\frac{(-1)^k[H_n-H_k]}{(k+1)(n-k)\binom{n}{k}}. \end{equation*} Almost all of our results are new, while a few of them recapture know results.

研究の動機と目的

• 二項係数 $\binom{s+n}{k}$ の形をとる、2つのパラメータ $s$ と $x$ を含む新しい組み合わせ的恒等式を確立すること。
• この恒等式をパラメータに関して微分・積分することにより、新たな有限調和和の恒等式を生成すること。
• 調和数 $H_n$、一般化された調和数 $H_n^{(2)}$、符号が交互に変わる二項係数を含む和の閉形式表現を導出すること。
• 既知の結果を回復し、有限調和和と二項変換の文脈で新しい恒等式を提示すること。
• 導出されたマスターヒューリスティックをさまざまなパラメータ選択に適用することで、さらなる恒等式を体系的に生成する方法を提供すること。

提案手法

• 数学的帰納法を用いて、マスターヒューリスティック $\sum_{k=0}^{n}\binom{s+n}{k}x^{k} = (1+x)^n\left[1 + s\sum_{k=0}^{n-1}\frac{\binom{s+k}{k}}{k+1}\left(\frac{x}{x+1}\right)^{k+1}\right]$ を導出する。
• マスターヒューリスティックの両辺をパラメータ $s$ に関して微分し、調和数と二項係数を含む恒等式を生成する。
• マスターヒューリスティックを $x$ に関して積分し、特に $H_{n-k}$ 項を含む追加の恒等式を導出する。
• 特定のパラメータ値 $s = 0$、$s = 1$、$s = -\frac{1}{2}$ を適用して、既知の恒等式を回復するか、新しい恒等式を導出する。
• ポリガンマ関数、ガンマ関数、調和数の既知の関係を用いて、導出された恒等式を特殊関数と結びつける。
• 置換 $k \to n-k$ やインデックスのシフトを用いて、和をより簡潔または認識しやすい形に簡略化・再表現する。

実験結果

リサーチクエスチョン

• RQ1 パラメータを含む二項係数と関連する母関数恒等式を微分・積分することで、どのような新しい組み合わせ的恒等式が導けるか？
• RQ2 恒等式 $\sum_{k=0}^{n}\binom{s+n}{k}x^{k} = (1+x)^n\left[1 + s\sum_{k=0}^{n-1}\frac{\binom{s+k}{k}}{k+1}\left(\frac{x}{x+1}\right)^{k+1}\right]$ を用いて、有限調和和の恒等式をどのように生成できるか？
• RQ3 和 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}$ や $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}$ の閉形式評価は何か？
• RQ4 この手法を用いて既知の調和和恒等式を回復または再導出できるか？また、以前に文書化されていなかった新しい恒等式は存在するか？
• RQ5 特別な $s$ の値、たとえば $s = 0$、$s = 1$、$s = -\frac{1}{2}$ は、中心二項係数やカタラン型和に関連する恒等式の生成において果たす役割は何か？

主な発見

• 本稿では、$\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k} = H_n^2 + \sum_{k=1}^{n}\frac{(-1)^k}{k^2\binom{n}{k}}$ という、調和数と二項係数を含む新しい有限和の恒等式を導出する。
• また、$\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k} = \frac{H_n(H_n^2 + H_n^{(2)})}{2} - \sum_{k=0}^{n-1}\frac{(-1)^k(H_n - H_k)}{(k+1)(n-k)\binom{n}{k}}$ という、符号が交互に変わる重み付き調和和の新しい表現を確立する。
• $s = 0$ とすると、既知の恒等式 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k^2} = \frac{H_n^2 + H_n^{(2)}}{2}$ を回復し、既存の結果と整合性があることを確認する。
• $s = 1$ とすると、$\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n+1}{k}$ を含む新しい恒等式が得られ、$H_n$ と $H_n^{(2)}$ に補正項 $\sum \frac{(-1)^k(H_n - H_k)}{(n-k)\binom{n}{k}}$ を含む。
• $s = -\frac{1}{2}$ の場合、$\sum_{k=0}^{n}(-1)^k\binom{n-1/2}{k} = (-1)^n\binom{n-3/2}{n}$ が得られ、中心二項係数に関する既知の結果 $\sum_{k=0}^{n}\frac{(-1)^{n-k}2^{2n-2k}n!(n-k)!}{k!(2n-2k)!} = \frac{1}{2n-1}$ を導出するのにも用いられる。
• この手法により、$\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}\{H_{n-k}^2 + H_{n-k}^{(2)}\}$ のような恒等式の族が生成され、$H_n^2 + H_n^{(2)}$ と $H_n - H_k$ を含む補正和で表される。