前提: \begin{eqnarray} \beta_n:=\frac{\binom{2n}{n}}{2^{2n}} \end{eqnarray}
前に書いた反復ベータ積分を使って計算した級数をまとめます.
\begin{eqnarray} \sum_{n=1}^{\infty}\beta_nx^{n}\sum_{k=1}^{n}\frac{1}{k}&=&\frac{2\ln(1+\sqrt{1-x})-\ln(1-x)-2\ln2}{\sqrt{1-x}}\\ \sum_{n=1}^{\infty}\beta_nx^{2n}\sum_{k=1}^n\frac{1}{k^2}&=&\frac{2}{\sqrt{1-x^2}}\sum_{n>0}\frac{(-1)^{n-1}}{n^2}\left(\tan\frac{\sin^{-1}x}{2}\right)^{2n}\\ \sum_{n=1}^{\infty}\beta_nx^n\sum_{k=1}^{n}\frac{1}{\beta_k}&=&\frac{2}{3}\left(\frac{1}{(1-x)^2}-\frac{1}{\sqrt{1-x}}\right)\\ \sum_{n=1}^{\infty}\beta_nx^{n}\sum_{k=1}^{n}\frac{1}{k\beta_k}&=&\frac{2}{1-x}-\frac{2}{\sqrt{1-x}}\\ \sum_{n=1}^{\infty}\beta_nx^n\sum_{k=1}^{n}\frac{1}{k^2\beta_k}&=&-\frac{\pi^2}{2\sqrt{1-x}}+4\sum_{n≥0}\frac{(1-x)^n}{(2n+1)^2}-\frac{(1-x)^n}{2n+1}\ln\sqrt{1-x}\\ \sum_{n=1}^{\infty}\beta_nx^{2n}\sum_{k=1}^{n}\frac{1}{k^2\beta_k^2 }&=&\frac{2\sin^{-1}x}{\sqrt{1-x^2}}\ln\frac{x^2}{1-x^2} +\frac{2}{\sqrt{1-x^2}}\sum_{n≥0} \frac{\sin{(2(2n+1)\sin^{-1}x)}}{(2n+1)^2} \end{eqnarray}
\begin{eqnarray} \sum_{n=2}^{\infty}\frac{x^{2n-1}}{n\beta_n}\sum_{k=1}^{n}\frac{1}{k}&=&-\frac{2\sin^{-1}x}{\sqrt{1-x^2}}\ln(1-x^2)-\frac{4\ln2\sin^{-1}x}{\sqrt{1-x^2}}+\sum_{n≥1}\frac{(-1)^{n-1}\sin(2n\sin^{-1}x)}{n^2}\\ \sum_{n=2}^{\infty}\frac{x^{2n-1}}{n\beta_n}\sum_{k=1}^{n}\frac{\beta_k}{k}&=&\frac{4\ln2}{\sqrt{1-x^2}}\sin^{-1}x+\frac{2}{\sqrt{1-x^2}}\sum_{n≥1}\frac{(-1)^{n-1}\sin(2n\sin^{-1}x)}{n^2}\\ \sum_{n=1}^{\infty}\frac{x^{2n-1}}{n\beta_n}\sum_{k=0}^{n}\beta_k &=&\frac{2x}{1-x^2}\\ \sum_{n=1}^{\infty}\frac{x^{2n}}{n^2\beta_n}\sum_{k=0}^{n}\beta_k &=&2\ln(1-x^2)\\ \sum_{n=1}^{\infty}\frac{x^{2n-1}}{n\beta_n}\sum_{k=1}^{n}\beta_k^2&=& \frac{\ln\frac{1-x}{1+x}}{\sqrt{1-x^2}} \end{eqnarray}
\begin{eqnarray}
\sum_{k=m}^{\infty}
a_kx^{2k}=f(x)
\end{eqnarray}
とする.
\begin{eqnarray}
\sum_{k=m}^{\infty}\int_{0}^{x}\frac{a_kt^{2k-1}}{\sqrt{1-t^2}}dt
\end{eqnarray}
\begin{eqnarray}
=\sum_{n=m}^{\infty}\beta_nx^{2n}\sqrt{1-x^2}\sum_{k=m}^{n}\frac{a_k}{2k\beta_k}
\end{eqnarray}
また,これは元々
\begin{eqnarray}
\int_{0}^{x}\frac{f(t)}{t\sqrt{1-t^2}}dt
\end{eqnarray}
であるため,
\begin{eqnarray}
\sum_{n=m}^{\infty}\beta_nx^{2n}\sum_{k=m}^{n}\frac{a_k}{k\beta_k}
=\frac{2}{\sqrt{1-x^2}}\int_{0}^{x}
\frac{f(t)}{t\sqrt{1-t^2}}dt
\end{eqnarray}
となる.
ここからわかる通り右辺に級数が出てきてしまうのはこの不定積分が初等関数で表せないためである.
逆数の場合でも同様の方法によって計算できる.
ここからわかることは級数の中の有限和内の数列はfの級数展開によるということで,中の二項係数に3乗をつけたい場合は楕円積分を用いることによって出すことができるはずである.
また,そのようなこと計算をする場合は次のNKSさんの記事を参考にすると良いと思う.
https://mathlog.info/articles/Niw3jKf0nscULhNPzXyi
また,他にも二項係数の指数部分を増やす方法は次の記事のような方法があるらしい.
https://mathlog.info/articles/uWdcYqKmmNPThJr6iYDE
こちらはまだよく理解できていないのでこれからできるようにしたい.
有限和ではない方の数列は後々から変えることができる.
級数に慣れている方ならわかる通り
xについて微分や積分をすることによって
分母分子ににnを増やすことができる.
二項係数を増やす場合は次の等式を用いる.
\begin{eqnarray}
\int_{0}^{1}\frac{x^{2n}}{\sqrt{1-x^2}}dx=\frac{\pi}{2}\beta_n
\end{eqnarray}
\begin{eqnarray}
\int_{0}^{1}\frac{x^{2n-1}}{\sqrt{1-x^2}}dx=\frac{1}{2n\beta_n}
\end{eqnarray}
これはベータ関数からすぐにわかる.
最初に級数展開を得た後にx→txと置換し
tについて[0,1]でこの積分をすることによって二項係数を得られる.
(1.1)\begin{eqnarray}\sum_{n=1}^{\infty}\beta_n\sum_{k=1}^{n}\frac{1}{k}=\frac{2\ln(1+\sqrt{1-x})-\ln(1-x)-2\ln 2}{\sqrt{1-x}} \end{eqnarray}
\begin{eqnarray}
\int_{0}^{x}\sum_{k≥1}\beta_k\frac{t^{2k-1}}{\sqrt{1-t^2}}dt…(1)
\end{eqnarray}
\begin{eqnarray}
&=&\sum_{n=1}^{\infty}\beta_nx^{2n}\sqrt{1-x^2}\sum_{k=1}^{n}\frac{1}{k}
\end{eqnarray}
\begin{eqnarray}
\sum_{k≥1}\beta_kx^{2k}=\frac{1-\sqrt{1-x^2}}{\sqrt{1-x^2}}
\end{eqnarray}
を用いて,
\begin{eqnarray}
(1)=\int_{0}^{x}\frac{1-\sqrt{1-t^2}}{t(1-t^2)}dt
\end{eqnarray}
\begin{eqnarray}
&=&-\int_{0}^{\sin^{-1}x}\frac{(\cos t)'}{1+\cos t}\frac{dt}{\cos t}\\
&=&\left[\ln(1+\cos t)-\ln\cos t\right]_{0}^{\sin^{-1}x}\\
&=&\ln(1+\sqrt{1-x^2})-\ln\sqrt{1-x^2}-\ln 2
\end{eqnarray}
$x^2→x$とし余分な項を変形させることにより題意を得る
(1.2)
\begin{eqnarray} \sum_{n=1}^{\infty}\beta_nx^{2n} \sum_{k=1}^{n}\frac{1}{k^2} =\frac{2}{\sqrt{1-x^2}}\sum_{n>0}\frac{(-1)^{n-1}}{n^2}\tan^{2n}\frac{\sin^{-1}x}{2} \end{eqnarray}
\begin{eqnarray}
\int_{0}^{x}\sum_{k=1}^{\infty}\frac{\beta_k}{k}\frac{t^{2k-1}}{\sqrt{1-t^2}}dt…(2)
\end{eqnarray}
\begin{eqnarray}
=\frac{1}{2}\sum_{n=1}^{\infty}\beta_nx^{2n}\sqrt{1-x^2}\sum_{k=1}^{n}\frac{1}{k^2}
\end{eqnarray}
\begin{eqnarray}
\sum_{k=1}^{\infty}\frac{\beta_k}{k}x^{2k}
\end{eqnarray}
\begin{eqnarray}
&=&2\int_{0}^{x}\sum_{k≥1}\beta_kt^{2k-1}dt\\
&=&2\int_{0}^{x}\frac{1-\sqrt{1-t^2}}{t\sqrt{1-t^2}}dt\\
&=&-2\int_{0}^{\sin^{-1}x}\frac{(\cos t)'}{1+\cos t}dt\\
&=&2\ln2-2\ln(1+\sqrt{1-x^2})
\end{eqnarray}
\begin{eqnarray}
\therefore(2)=-2\int_{0}^{x}\frac{\ln\frac{1+\sqrt{1-t^2}}{2}}{t\sqrt{1-t^2}}dt
\end{eqnarray}
\begin{eqnarray}
&=&-4\int_{0}^{\sin^{-1}x}\frac{\ln\cos\frac{t}{2}}{\sin t}dt\\
&=&2\int_{0}^{\tan\frac{\sin^{-1}x}{2}}\frac{\ln(1+t^2)}{t}dt\\
&=&2\sum_{n>0}\frac{(-1)^{n-1}}{n}\int_{0}^{\tan\frac{\sin^{-1}x}{2}}t^{2n-1}dt\\
&=&\sum_{n>0}\frac{(-1)^{n-1}}{n^2}\tan^{2n}\frac{\sin^{-1}x}{2}
\end{eqnarray}
(1.3)
\begin{eqnarray} \sum_{n=1}^{\infty}\beta_nx^n\sum_{k=1}^{n}\frac{1}{\beta_k}=\frac{2}{3}\left(\frac{1}{(1-x)^2}-\frac{1}{\sqrt{1-x}}\right) \end{eqnarray}
\begin{eqnarray}
\int_{0}^{x}\sum_{k≥1}kt^{2k-1}\frac{dt}{\sqrt{1-t^2}}=\frac{1}{2}\sum_{n=1}^{\infty}\beta_nx^{2n}\sqrt{1-x^2}\sum_{k=1}^{n}\frac{1}{\beta_k}…(3)
\end{eqnarray}
\begin{eqnarray}
(3)=\int_{0}^{x}\frac{tdt}{(1-t^2)^2\sqrt{1-t^2}}
\end{eqnarray}
\begin{eqnarray}
&=&-\int_{0}^{\sin^{-1}x}\frac{(\cos t)'}{\cos^4t}dt\\
&=&\frac{1}{3}\left(\frac{1}{(1-x^2)\sqrt{1-x^2}}-1\right)
\end{eqnarray}
(1.4)
\begin{eqnarray} \sum_{n=1}^{\infty}\beta_nx^n\sum_{k=1}^{n}\frac{1}{k\beta_k}=\frac{2}{1-x}-\frac{2}{\sqrt{1-x}} \end{eqnarray}
\begin{eqnarray}
\int_{0}^{x}\sum_{k≥1}\frac{t^{2k-1}}{\sqrt{1-t^2}}dt=\frac{1}{2}\sum_{n=1}^{\infty}\beta_nx^{2n}\sqrt{1-x}\sum_{k=1}^{n}\frac{1}{k\beta_k}
\end{eqnarray}
\begin{eqnarray}
&=&\int_{0}^{x}\frac{t}{1-t^2}\frac{dt}{\sqrt{1-t^2}}\\
&=&-\int_{0}^{\sin^{-1}x}\frac{(\\cos t)'}{\cos^2t}dt\\
&=&\frac{1}{\sqrt{1-x^2}}-1
\end{eqnarray}
(1.6),(1.5)においても同様に計算可能
(2.5)
\begin{eqnarray} \sum_{n=1}^{\infty}\frac{x^{2n-1}}{n\beta_n}\sum_{k=0}^{n-1}\beta_k^2=\frac{\ln\frac{1-x}{1+x}}{\sqrt{1-x^2}} \end{eqnarray}
\begin{eqnarray}
\sum_{k≥0}\beta_k\int_{0}^{x}\frac{t^{2k}}{\sqrt{1-t^2}}dt=\sum_{n=1}^{\infty}\frac{x^{2n-1}\sqrt{1-x^2}}{2n\beta_n}\sum_{k=0}^{n-1}\beta_k^2
\end{eqnarray}
\begin{eqnarray}
&=&\int_{0}^{x}\frac{1}{1-t^2}dt\\
&=&\frac{1}{2}\ln\frac{1-x}{1+x}
\end{eqnarray}
より示せる
(2.1)(2.2)(2.3)(2.4)も同様にして示せるが有限和が計算可能な物もあるためあまり面白いものではない.
$(n+\frac{1}{2})\beta_n=(n+1)\beta_{n+1}$という等式を用いることで半整数を含む二項係数の多重和も計算できる.
また4n±1を含む多重和もTwitterでよく見かけるためそれらも示せるようにしていきたい.