私のすごいと思う級数botさんの級数
${}$
この記事では, タイトルの通り, 私のすごいと思う級数botさんの級数を紹介しようと思います.
こちら のツイートの級数です.
${}$
証明は簡単です. 被積分関数をTaylor展開して,
$$\beq
&&\int_0^1\frac{t^{a-1}(1-t)^{b-1}}{1-zt^p(1-t)^q}\,dt\\[5pt]
&=&\int_0^1t^{a-1}(1-t)^{b-1}\sumn{0}z^nt^{pn}(1-t)^{qn}\,dt\\[5pt]
&=&\sumn{0}z^n\int_0^1t^{pn+a-1}(1-t)^{qn+b-1}\,dt\\[5pt]
&=&\sumn{0}B(pn+a,qn+b)z^n\\[5pt]
&=&\sumn{0}\frac{\G{pn+a}\G{qn+b}}{\G{(p+q)n+a+b}}z^n
\eeq$$
となり, 示すことができました.
${}$
これ, 結構すごいんです...！
例えば, $p=q=a=b=z=1$としてみます. すると,
$$\beq
\sumn{0}\frac{n!^2}{(2n+1)!}&=&\int_0^1\frac{1}{t^2-t+1}\,dt\\[5pt]
&=&\frac{2π}{3\sqrt3}
\eeq$$
がすぐに得られます. 同様にして$\arcsin^2$のTaylor展開が割と簡単に示せてしまいます.
${}$
次に, $p=2,q=1,a=b=1,z=\frac12$とすると,
$$\beq
\sumn{0}\frac{n!(2n)!}{2^n(3n+1)!}&=&\int_0^1\frac{2}{2-t^2(1-t)}\,dt\\[5pt]
&=&\int_0^1\frac{2}{(t+1)(t^2-2t+2)}\,dt\\[5pt]
&=&\frac{π+3\log2}{5}
\eeq$$
と, 私のTwitterのヘッダーの式と似たような式が簡単に導けてしまいます.
${}$
さらに, $p=2,q=1,a=\frac12,b=1,z=\frac12$とすると, $\G{n+\frac12}=\frac{(2n)!}{2^{2n}n!}\sqrt{π}$なので,
$$\beq
\sumn{0}\frac{2^{3n}(2n)!^2(3n)!}{(6n+\frac12)n!(6n)!}&=&\int_0^1\frac{2}{2-t^2(1-t)}\cdot\frac{dt}{\sqrt{t}}\\[5pt]
\eeq$$
(これは本当なら普通に表せるはずなのですがWolframAlphaさんがうまくまとまった形で返してくれないのでここで止めておきます...)
と, 変な級数も計算することができてしまいます！！
しかも, 両辺を$z$で微分したりすることによって級数を少し変えたりすることもできるんです！
読んで下さってありがとうございました.
${}$
${}$