R(4)を求める

はじめに

この記事では${\displaystyle R(4)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^4(\genfrac{}{}{0ex}{}{2n}{n})}}$を求めます。
加速級数についてあまり知らないという方は こちら の記事をまず読んでみてください。ここに書いてある輸送関係式をメインに使います。
また、この記事では明記されていませんが$Z(\mathit{k},\mathit{l},\mathit{h})=Z(\mathit{l},\mathit{k},\mathit{h})$が定義より明らかに成り立つので、それも使用します。
さらに、 こちら の記事に書いてある${\displaystyle \zeta (1,3)=\frac{1}{4}\zeta (4)}$、${\displaystyle \zeta (2,2)=\frac{3}{4}\zeta (4)}$と双対性を利用して求めれる$\zeta (1,1,2)=\zeta (4)$も使用します。

求める

まず、$\zeta (4)$を輸送関係式にかけます。
$\begin{array}{rcl}& & \zeta (4)\\ & =& Z(1,4;1;\varnothing )\\ & =& Z(1,1;1,1,1,1;\varnothing )\\ & =& Z(1;1,1,1,1;1)+Z(1,1;1,1,1;1)+Z(1;1,1,1;2)\\ & =& Z(4;1;1)+Z(3;1;2)+Z(1;1,1,1;1,1)+Z(1,1;1,1;1,1)+Z(1;1,1;1,2)\\ & =& R(4)+R(4)+Z(3;1;1,1)+Z(2;1;1,2)+Z(1;1;1,1,2)+2Z(1;1,1;1,1,1)\\ & =& 2R(4)+R(1,3)+R(1,3)+R(1,1,2)+2R(1,1,2)\\ & =& 2R(4)+2R(1,3)+3R(1,1,2)\end{array}$
よって、
$2R(4)+2R(1,3)+3R(1,1,2)=\zeta (4)\dots A$
がわかります。
次に、$\zeta (1,3)$を輸送関係式にかけます。
$\begin{array}{rcl}& & \zeta (1,3)\\ & =& Z(1,1,3;1;\varnothing )\\ & =& Z(1,1,1;1,1,1;\varnothing )\\ & =& Z(1,1;1,1;2)+2Z(1,1;1,1,1;1)\\ & =& Z(1;1;2,2)+2Z(1;1,1;2,1)+2Z(1;1,1,1;1,1)+2Z(1,1;1,1;1,1)+2Z(1;1,1;1,2)\\ & =& R(2,2)+2Z(2;1;2,1)+2Z(3;1;1,1)+2Z(2;1;1,2)+4Z(1;1,1;1,1,1)+2Z(1;1;1,1,2)\\ & =& R(2,2)+2R(2,2)+2R(1,3)+2R(1,3)+4R(1,1,2)+2R(1,1,2)\\ & =& 3R(2,2)+4R(1,3)+6R(1,1,2)\end{array}$
よって、
$3R(2,2)+4R(1,3)+6R(1,1,2)={\displaystyle \frac{1}{4}\zeta (4)\dots B}$
がわかります。
次に、$\zeta (2,2)$を輸送関係式にかけます。
$\begin{array}{rcl}& & \zeta (2,2)\\ & =& Z(1,2,2;1;\varnothing )\\ & =& Z(1,2,1;1,1;\varnothing )\\ & =& Z(2,1;1,1;1)+Z(1,2,1;1;1)+Z(2,1;1;2)\\ & =& Z(1,1;1,1;2)+Z(1,2;2;1)+Z(1,1;1;3)\\ & =& Z(1;1;2,2)+2Z(1;1,1;2,1)+Z(1,2;1;2)+Z(1;2;3)\\ & =& R(2,2)+2Z(2;1;2,1)+Z(1,1;1,1;2)+Z(1;1;4)\\ & =& 3R(2,2)+R(4)+R(2,2)+2Z(1;1,1;2,1)\\ & =& R(4)+6R(2,2)\end{array}$
よって、
$R(4)+6R(2,2)={\displaystyle \frac{3}{4}\zeta (4)\dots C}$
がわかります。
最後に、$\zeta (1,1,2)$を輸送関係式にかけます。
$\begin{array}{rcl}& & \zeta (1,1,2)\\ & =& Z(1,1,1,2;1;\varnothing )\\ & =& Z(1,1,1,1;1,1;\varnothing )\\ & =& Z(1,1,1;1,1;1)+Z(1,1,1,1;1;1)+Z(1,1,1;1;2)\\ & =& R(4)+R(4)+Z(1,1,1;1;1,1)+Z(1,1;1,1;1,1)+Z(1,1;1;1,2)\\ & =& 2R(4)+R(1,3)+R(1,3)+2Z(1;1,1;1,1,1)+Z(1;1;1,1,2)\\ & =& 2R(4)+2R(1,3)+2R(1,1,2)+R(1,1,2)\\ & =& 2R(4)+2R(1,3)+3R(1,1,2)\end{array}$
よって、
$2R(4)+2R(1,3)+3R(1,1,2)=\zeta (4)$
がわかります。これは$A$と同じです。
$A,B,C$より、
$\{\begin{array}{l}2R(4)+2R(1,3)+3R(1,1,2)=\zeta (4)\dots A\\ 3R(2,2)+4R(1,3)+6R(1,1,2)={\displaystyle \frac{1}{4}\zeta (4)\dots B}\\ R(4)+6R(2,2)={\displaystyle \frac{3}{4}\zeta (4)\dots C}\end{array}$
これを解くと、
$R(4)={\displaystyle \frac{17}{36}\zeta (4)}$、$R(2,2)={\displaystyle \frac{5}{108}\zeta (4)}$が分かります。
よって、
${\displaystyle \sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^4(\genfrac{}{}{0ex}{}{2n}{n})}=\frac{17}{36}\zeta (4)}$
が求まりました。

おわりに

つい最近知った加速級数について書きました。このような非自明的な級数を求めることができるのは楽しいですね。