3

Oloa の公式の証明と考察

630
0
$$$$

はじめに

どうも, 色数です.
Oloa の公式を自力で示せて嬉しかった, ということがあったので記録しておきます.

Oloa の公式

Oloa の公式

\begin{align} 3\zeta(3)&=\sum_{n_1=1}^\infty\sum_{n_2=1}^\infty\frac{1}{n_1n_2}\frac{n_1!n_2!}{(n_1+n_2)!}\sum_{k=1}^{n_1+n_2}\frac{1}{k} \end{align}

証明

\begin{align} \sum_{n_0< n}\frac{n!m!}{n(n+m)!}&=\frac{n_0!m!}{m(n_0+m)!} \end{align}
が成り立つことは差分することで直ちにわかる.
ここで次のような和を考える.
\begin{align} \sum_{k=1}^{n_0+m}\frac{1}{k}\frac{n_0!m!}{(n_0+m)!} &=\sum_{n_0< n}\left(\sum_{k=1}^{n+m-1}\frac{1}{k}\frac{(n-1)!m!}{(n+m-1)!}-\sum_{k=1}^{n+m}\frac{1}{k}\frac{n!m!}{(n+m)!}\right) \\&=\sum_{n_0< n}\left(\sum_{k=1}^{n+m}\frac{1}{k}\frac{(n-1)!m!}{(n+m-1)!}-\sum_{k=1}^{n+m}\frac{1}{k}\frac{n!m!}{(n+m)!}-\frac{(n-1)!m!}{(n+m)!}\right)\\ &=\sum_{n_0< n}\left(\sum_{k=1}^{n+m}\frac{1}{k}\frac{n!m!}{(n+m)!}\left(\frac{n+m}{n}-1\right)-\frac{(n-1)!m!}{(n+m)!}\right)\\ &=\sum_{n_0< n}\left(\frac{m}{n}\sum_{k=1}^{n+m}\frac{1}{k}\frac{n!m!}{(n+m)!}-\frac{n!m!}{n(n+m)!}\right)\\&= m\sum_{n_0< n}\sum_{k=1}^{n+m}\frac{1}{k}\frac{n!m!}{n(n+m)!}-\frac{n_0!m!}{m(n_0+m)!} \end{align}
これにより
\begin{align} \zeta(3)&=\zeta(1,2)\\ &=\sum_{n=1}^\infty\frac{1}{n^2}\sum_{k=1}^{n+0}\frac{0!n!}{k(n+0)!}-\zeta(3)\\ &=\sum_{n=1}^\infty\frac{1}{n_1^2}\left(n_1\sum_{0< n_2}\sum_{k=1}^{n_2+n_1}\frac{1}{k}\frac{n_2!n_1!}{n_2(n_2+n_1)!}-\frac{0!n_1!}{n_1(0+n_1)!}\right)-\zeta(3) \end{align}
整理すると題意を得る.

一般のインデックスに対しては\begin{align} Z(\mathbf{k},\mathbf{l})&\coloneqq \sum_{\substack{0< n_1<\cdots< n_r\\0< m_1<\cdots< m_s}}\frac{1}{\mathbf{n}^{\mathbf{k}}\mathbf{m}^{\mathbf{l}}}\sum_{k=1}^{n_r+m_s}\frac{1}{k}\frac{n_r!m_s!}{(n_r+m_s)!} \end{align}
みたいな連結和を考察すればいいと思います.

考察

有限和を含む級数で面白い(?)ものを見つけたので紹介します.
ここではせっかくなので積分変形による面倒くさい計算をしていますが有限和自体が closed form で書けちゃうので証明は難しくないと思います.

$n>0$ なる自然数 $n$ に対して
\begin{align} \int_0^x\frac{t^n}{\sqrt{1-t}}dt&=\frac{n!}{(\frac{1}{2})_{n+1}}-\sum_{k=0}^{n}\frac{n!}{(\frac{1}{2})_{k+1}(n-k)!}x^{n-k}(1-x)^{1/2+k} \end{align}
が成り立つ.

部分積分とかで

\begin{align} \pi^2&=\frac{3}{2}\sum_{n=1}^\infty\frac{1}{n^2}\sum_{k=1}^n\frac{2^{2k}}{k\binom{2k}{k}} \end{align}

\begin{align} &\int_0^1\frac{dt_3}{\sqrt{1-t_3}}\int_0^{t_3}\frac{dt_2}{t_2\sqrt{1-t_2}}\int_0^{t_2}\frac{zdt_1}{1-zt_1} \\&=\sum_{n_1=1}^\infty \frac{z^{n_1}}{n_1}\int_0^1\frac{dt_3}{\sqrt{1-t_3}}\int_0^{t_3}\frac{t_2^{n_1-1}dt_2}{\sqrt{1-t_2}}\\ &=2\sum_{n_1=1}^\infty \frac{z^{n_1}n_1!}{n_1^2(\frac{1}{2})_{n_1}}-\sum_{n_1=1}^\infty \frac{z^{n_1}}{n_1^2}\sum_{k=0}^{n_1-1}\frac{n_1!}{(\frac{1}{2})_{k+1}(n_1-k-1)!}\int_0^1t_3^{n-k-1}(1-t_3)^{k}dt_3\\ &=2\sum_{n_1=1}^\infty \frac{z^{n_1}n_1!}{n_1^2(\frac{1}{2})_{n_1}}-\sum_{n_1=1}^\infty \frac{z^{n_1}}{n_1^2}\sum_{k=0}^{n_1-1}\frac{k!}{(\frac{1}{2})_{k+1}}\\ &=2\sum_{n=1}^\infty \frac{z^{n}n!}{n^2(\frac{1}{2})_{n}}-\sum_{n=1}^\infty \frac{z^{n}}{n_1^2}\sum_{k=1}^{n}\frac{k!}{k(\frac{1}{2})_{k}} \end{align}

\begin{align} \int_0^1\frac{zdt_3}{1-z(1-t_3)}\int_0^{t_3}\frac{dt_2}{\sqrt{t_2}(1-t_2)}\int_0^{t_2}\frac{dt_1}{\sqrt{t_1}}&=2\int_0^1\frac{zdt_3}{1-z(1-t_3)}\int_0^{t_3}\frac{dt_2}{1-t_2}\\ &=2\sum_{n=1}^\infty\frac{z^n}{n^2} \end{align}
$z=1$とすれば題意を得る.

最後に

Oloa の公式は奥が深く, タケノコさんたちによって多重ポリログの表示などへと一般化されているみたいです. 詳しくは知らないですが, 論文冒頭の表示が興味深かったのを覚えています.
最近の僕の研究はこういった対称性をもつ級数の表示なので今後も進捗があり次第記事にします.(自慢するといくつかの結果は得られています.)

投稿日:30日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

色数
色数
175
36923

コメント

他の人のコメント

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