整数k>1に対し,Riemannゼータ値を
と定義する
ここで右辺の級数が収束するか議論しなければならない。
より一般に複素数sがRe(s)>1なる時に収束することがいえる。
Re(s)>1なる複素数sに対し,
は収束する
略([ER]などを参照)
これはアペリー定数といわれ、無理数であることが分かっている。
整数k≥1に対して,
と表せる。
しかし,
次にRiemannゼータ値の拡張として多重ゼータ値を定義する
1以上の整数nを固定する。
1以上の整数
と定義する。
また
Riemannゼータ値は多重ゼータ値の深さ1の場合に相当する。
と計算できる。
また
多重ゼータ値
Eulerにより次の式が与えられた。
整数k≥1に対して,
証明の概略は後ほど。
k=3のとき,
k=4のとき,
このように重さを固定しその重さの多重ゼータ値を全て足すとリーマンゼータ値になる。綺麗。
さらに次のような驚くべき拡張がある。
重さk, 深さn(1≤n≤k)を固定すると以下が成り立つ:
この定理の証明は続編(いつになるか分からないが)でするが深さ2の場合の和公式について証明の概略を述べる。
ここで
しかしこのような方法で一般の深さの和公式を導出できるか分からない。
後述する証明には多重ゼータ値の積分表示を用いる。