Cyclic sum formulaとはHoffman-Ohnoによって, 証明された, 以下の非常に美しい多重ゼータ値の関係式族です.
ここで, は巡回同値類というもので, をに置き換える操作を繰り返して移り合う同値関係から生成される同値類のことです. さて, 矢印の記法を
として, Cyclic sum formulaは
と短くあらわすことができます.
証明
さて証明ですが, よく知られているものに, 連結和法があります. 以下のような連結和を考えます.
これはでは収束しませんが, あとは収束しています. 部分分数分解により,
だから,
また,
より,
となります. 合わせて,
です. これをから始めて繰り返しもちいてみると,
となります. これを繰り返すことで, 巡回同値類を1周して, もとのと同じ項が現れるので, 両辺からそれを引けばCyclic sum formulaの完成です. さて, 具体例として, Cyclic sum formulaにおいて, としてみましょう. の巡回同値類はだけなので,
が得られます. これは他の式から示そうとすると簡単ではなさそうですね.
参考文献
- M. E. Hoffman and Y. Ohno, “Relations of multiple zeta values and their algebraic expression”, Preprint, 2000; E-print math.QA/0010140.
- S. Seki, Connectors, arXiv:2006.09076