二項係数の逆数の無限級数の値を求める

180

$\sum_{n = 0}^{\infty} {(\binom{2 n}{n})}^{- 1}$
の値を求めたい。
なお、 $(\binom{p}{q}) := \frac{p!}{q! (p - q)!} (p と q は p ≧ q ≧ 0 をみたす整数)$
である。

以下解答。
$\sum_{n = 0}^{\infty} {(\binom{2 n}{n})}^{- 1} = \sum_{n = 0}^{\infty} \frac{(n!)^{2}}{(2 n)!} ここで n! = Γ (n + 1) (n \in N) より = \sum_{n = 0}^{\infty} \frac{(Γ (n + 1))^{2}}{Γ (2 n + 1)} Β (x, y) = \frac{Γ (x) Γ (y)}{Γ (x + y)} (x, y \in R) に着目すると = \sum_{n = 0}^{\infty} B (n + 1, n + 1) \frac{Γ (2 n + 2)}{Γ (2 n + 1)} ここで Γ (x + 1) = x Γ (x) (x \in R) より = \sum_{n = 0}^{\infty} (2 n + 1) B (n + 1, n + 1) ベータ関数の定義 B (x, y) = \int_{0}^{1} t^{x - 1} (1 - t)^{y - 1} d t より、 = \sum_{n = 0}^{\infty} (2 n + 1) \int_{0}^{1} t^{n} (1 - t)^{n} d t 積分と無限級数の線型性より、 = \int_{0}^{1} (\sum_{n = 0}^{\infty} (2 n + 1) t^{n} (1 - t)^{n}) d t ここで \sum_{n = 0}^{\infty} (2 n + 1) a^{n} の値を求める。 S_{n} = \sum_{k = 0}^{n} (2 n + 1) a^{n} S_{n} = a^{0} + 3 a^{1} + 5 a^{2} + \dots + (2 n - 1) a^{n - 1} + (2 n + 1) a^{n} a S_{n} = a^{1} + 3 a^{2} + \dots + (2 n - 1) a^{n} + (2 n + 1) a^{n + 1} (1 - a) S_{n} = a^{0} + 2 a^{1} + 2 a^{2} + \dots + 2 a^{n} - (2 n + 1) a^{n + 1} ここで \sum_{n = 0}^{\infty} a^{n} = \frac{1}{1 - a} より 2 a^{0} + \dots + 2 a^{n} が計算できるので (1 - a) S_{\infty} = \frac{2}{1 - a} - 1 ∴ \sum_{n = 0}^{\infty} (2 n + 1) a^{n} = \frac{1 + a}{(1 - a)^{2}} (0 < a < 1) このことから、 \int_{0}^{1} (\sum_{n = 0}^{\infty} (2 n + 1) t^{n} (1 - t)^{n}) d t = \int_{0}^{1} \frac{1 + t - t^{2}}{(1 - t + t^{2})^{2}} d t t = x + \frac{1}{2} で置換すると x^{2} = t^{2} - t + \frac{1}{4} より = \int_{- \frac{1}{2}}^{\frac{1}{2}} \frac{- x^{2} + \frac{5}{4}}{(x^{2} + \frac{3}{4})^{2}} d x x = \frac{\sqrt{3}}{2} t a n (θ) とおくと \frac{d x}{d θ} = \frac{\sqrt{3}}{2 c o s^{2} (θ)} より = \int_{a r c t a n (- \frac{1}{\sqrt{3}})}^{a r c t a n (\frac{1}{\sqrt{3}})} \frac{- \frac{3}{4} t a n^{2} (θ) + \frac{5}{4}}{(\frac{3}{4} t a n^{2} (θ) + \frac{3}{4})^{2}} \cdot \frac{\sqrt{3}}{2 c o s^{2} (θ)} d θ (a r c t a n (x) は t a n (x) の逆関数) = \int_{- \frac{π}{6}}^{\frac{π}{6}} \frac{\sqrt{3} \cdot 4^{2} (- 3 t a n^{2} (θ) + 5)}{2 \cdot 3^{2} \cdot 4 (1 + t a n^{2} (θ))^{2} \cdot c o s^{2} (θ)} d θ 分子の 2 \cdot 4 が分母の 4^{2} と約分できる。 1 + t a n^{2} (θ) = \frac{1}{c o s^{2} (θ)} より c o s^{2} (θ) も約分できて = \int_{- \frac{π}{6}}^{\frac{π}{6}} \frac{\sqrt{3} (- 6 t a n^{2} (θ) + 10)}{9 \frac{1}{c o s^{2} (θ)}} d θ = \frac{\sqrt{3}}{9} \int_{- \frac{π}{6}}^{\frac{π}{6}} (10 c o s^{2} (θ) - 6 s i n^{2} (θ)) d θ s i n^{2} (θ) = 1 - c o s^{2} (θ) より = \frac{\sqrt{3}}{9} \int_{- \frac{π}{6}}^{\frac{π}{6}} (16 c o s^{2} (θ) - 6) d θ c o s (2 θ) = 2 c o s^{2} (θ) - 1 より = \frac{\sqrt{3}}{9} \int_{- \frac{π}{6}}^{\frac{π}{6}} (8 c o s (2 θ) + 2) d θ = \frac{\sqrt{3}}{9} {[4 s i n (2 θ) + 2 θ]}_{- \frac{π}{6}}^{\frac{π}{6}} = \frac{\sqrt{3}}{9} (\frac{4 \sqrt{3}}{2} + \frac{π}{3} - (- \frac{4 \sqrt{3}}{2} - \frac{π}{3})) = \frac{4}{3} + \frac{2 \sqrt{3}}{27} π$

該当の無限級数の収束証明はこの後の記事でやってみました。

あとがき（蛇足）

数日前にMathlogを知り、自分もちょっとやってみようかなと思い立ちました。
最初の投稿に選んだこの無限級数は、大昔にとある人物がきっかけで知ることとなりました。そして最初に某数式計算ソフトを使って上記の値だけを知りました。
当時まだ若く根気があった私はなんとかその値を導き出したいと頑張り、
数日かけて漸く上記の解法にたどり着きました。
他にもっとよい解法（別解）とかあれば教えていただきたいです。
・・・が多分誰も見ないし自己満足で終わりそう・・・。