はじめに
本記事において は常に正整数であるものとする. 正整数の組 を index と呼び, その成分の個数を , 成分の総和を と書く. を満たす index がただ一つ存在するとし, と考える. index 全体の成す集合を と書く. 正整数 と index に対し, 多重調和和 multiple harmonic sum を
と定義する. 空和は と定め, と定める. 本記事では, 次の公式を示す.
において次の等式が成り立つ.
ここで は Pochhammer 記号である.
記号の準備
, とおく. index に対し とおく. と定め, これを 線型に拡張することで全単射 が得られる. これを用いて とおく ( は 線型に拡張している). 上に 双線型な積 (調和積 harmonic product) を次の漸化式で導入する:
ここで であり, は正整数である.
調和関係式
は調和積に関して準同型である. 即ち任意の に対し が成り立つ.
調和積を用いた指数関数を と書く (即ち ).
Hirose-Murahara-Saito [1, Proposition 3.1 (1)]
とおくと, において
が成り立つ. ここで調和積は 双線型に延長している.
まず両辺に を適用すると () 正しいことを示す. これを行うと示すべき式は (分母を払って)
となるが, index ごとに の係数を比較すると, 調和積の定義より
を示せばよいことになる. これは簡単である. さてこれによって命題の式は定数倍を除いて成り立つことがわかったが, 両辺の定数項が等しいことから証明が完成する.
一つ目の等号は補題 2 よりわかる. 後半部分は
のようになってわかる.
= 定理 1
において次の等式が成り立つ.
ここで は Pochhammer 記号である.
- は命題 3 の両辺に を適用することで補題 4 よりわかる. (2) を示す. index に対し, の隣り合う成分のいくつかを足し合わせて が得られるとき と書く. たとえば , である. この関係が成り立っているとき常に が成り立つことに注意 ( はそうではなく, 写像 として単調減少である). このとき定義より が成り立つ. このことを用いて
となるが, 括弧内の部分は であることがわかる: 実際, と書いたとき, であるような とは即ち 個分だけプラス をコンマ に差し替えて得られる index のことである. したがって, であって となる の数は であり (二項係数の上側はコンマに差し替えうるプラスの総数である), としてあり得る値は であるから
を得る. これと (1) を合わせて (2) を得る.