2

ζ*(1,1,2,2)を求める

61
1
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\displaystyle} \newcommand{f}[0]{<} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} $$

はじめに

タイトルの通り$\zeta^*(1,1,2,2) $を求めます。そこまで難易度の高いものではないのですが、導出方法が綺麗なので記事にすることにしました。折角なので導出を丁寧に書いていきます。早速求めてみましょう。

求める

まずはMZSVからMZVに直します。これは場合分けすることで直すことができます。
$\z^*(1,1,2,2)=\z(1,1,2,2)+\z(1,1,4)+\z(1,3,2)+\z(2,2,2)+\z(1,5)+\z(4,2)+\z(6)$
$(1,1,2,2) $の双対インデックスは$(2,4) $なので、$\z(1,1,2,2)=\z(2,4) $が成立します。これも使いましょう。
$\z^*(1,1,2,2)=\z(1,1,4)+\z(1,3,2)+\z(2,2,2)+\z(1,5)+\z(2,4) +\z(4,2)+\z(6)~~~~~~~~~~\ldots A $
ここで、depth3、weight6の和公式を考えます。
$\z(1,1,4)+\z(1,2,3)+\z(1,3,2)+\z(2,1,3)+\z(2,2,2)+\z(3,1,2)=\z(6) $
また、
$\z(3)^2 =\z(3)\z(1,2)=\z(3,1,2)+\z(1,3,2)+\z(1,2,3)+\z(4,2)+\z(1,5) $
より、
$\z(3,1,2)+\z(1,3,2)+\z(1,2,3)=\z(3)^2-\z(4,2)-\z(1,5) $
が成立するので、これを代入します。
$\z(1,1,4)+\z(2,1,3)+\z(2,2,2)=\z(6)-\z(3)^2+\z(4,2)+\z(1,5) $
ここで、 $(2,1,3) $の双対インデックスは$(1,3,2)$なので、$\z(2,1,3)=\z(1,3,2) $が成立します。これを使いましょう。
$\z(1,1,4)+\z(1,3,2)+\z(2,2,2)=\z(6)-\z(3)^2+\z(4,2)+\z(1,5) $
この式を$A$に代入して、 こちら の記事にある一覧表から$\z(1,5) $$\z(4,2) $を綺麗にしてみましょう。
$ \begin{eqnarray*} &&\z^*(1,1,2,2)\\ &=& \z(6)-\z(3)^2+\z(4,2)+\z(1,5)+\z(1,5)+\z(2,4) +\z(4,2)+\z(6)\\ &=&2\z(6)-\z(3)^2+2\z(1,5)+\z(2,4)+2\z(4,2)\\ &=&2\z(6)-\z(3)^2+\frac32\z(6)-\z(3)^2-\frac43\z(6)+\z(3)^2+\frac{25}6\z(6)-2\z(3)^2\\ &=&\frac{19}3\z(6) -3\z(3)^2 \end{eqnarray*} $
以上より、$\d\z^*(1,1,2,2)=\d\frac{19}3\z(6) -3\z(3)^2 $がわかりました。

おわりに

和公式を上手に使うことができる点が個人的にかなり好きだったので今回記事にしました。また、3重以上のMZVの具体値を1つも求めずに導出できるという点もいいですね。

投稿日:20201110

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

神鳥奈紗
神鳥奈紗
481
13337
遭難者です.高専1年です.MZV,級数,積分をメインにやっています.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中