📂解析学

二項級数の導出

公式

$|x| < 1$ が $\alpha \in \mathbb{C}$ に対して $$\begin{align*} (1 + x )^{\alpha} =& \sum_{k=0}^{\infty} \binom{\alpha}{k} x^{k} \\ =& 1 + \alpha x + \dfrac{\alpha (\alpha-1)}{2!}x^{2} + \dfrac{\alpha (\alpha-1)(\alpha-2)}{3!}x^{3} + \cdots \end{align*}$$

負の項級数

$$\begin{align*} (1 - x)^{-\alpha} &= \sum\limits_{k=0}^{\infty} \binom{\alpha + k - 1}{k} x^{k} \\ &= 1 + \alpha x + \dfrac{\alpha(\alpha+1)}{2!} x^{2} + \dfrac{\alpha(\alpha+1)(\alpha+2)}{3!} x^{3} + \cdots \end{align*}$$

説明

いわゆるニュートンの二項定理として、無限大や複素数に対して二項展開が一般化されたものと見ることができる。一方で、$x,y$ を使って、私たちに馴染みのある形は次の方法で簡単に導出することができる。

$$\begin{align*} && \left( 1 + {{y} \over {x}} \right)^{\alpha} =& \sum_{k=0}^{\infty} \binom{\alpha}{k} \left( \dfrac{y}{x} \right)^{k} \\ \implies && x^{-\alpha} \left( x + y \right)^{\alpha} =& \sum_{k=0}^{\infty} \binom{\alpha}{k} y^{k} x^{-k} \\ \implies && \left( x + y \right)^{\alpha} =& \sum_{k=0}^{\infty} \binom{\alpha}{k} x^{\alpha-k} y^{k} \end{align*}$$

導出

戦略: $\alpha$ に関する関数$g(\alpha)$ を作り、$F$ が連続であることを示す。連続関数が $g( \alpha + \beta ) = g( \alpha ) g( \beta )$ を満たす場合、指数関数に関連した性質を持ち、これを通して左辺に $(1 + x)^\alpha$ を導く。

---

$g$ を $g ( \alpha ) := \sum_{k=0}^{\infty} \binom{\alpha}{k} x^{k}$ として定義しよう。

$$\lim_{k \to \infty} \left| {{ \binom{\alpha}{k+1} x^{k+1} } \over { \binom{\alpha}{k} x^{k} }} \right| = \lim_{k \to \infty} \left| {{ \alpha - k } \over { k + 1 }} \right| | x | = | x | < 1$$

比の法則により、$F$ は $\mathbb{C}$ 上で絶対収束しつつ、一様収束し、したがって $\mathbb{C}$ 上で連続関数だ。

二つのべき級数の積: $f(x) : = \sum_{k=0}^{\infty} a_{k} x^{k}$ と $g(x) : = \sum_{k=0}^{\infty} b_{k} x^{k}$ の収束区間が $(-r,r)$ であり、$c_{k} := \sum_{j=0}^{k} a_{j} b_{k-j}$ であるなら、$\sum_{k=0}^{\infty} c_{k} x^{k}$ は収束区間 $(-r,r)$ 上で $f(x)g(x)$ に収束する。

二項係数の性質: $\sum_{j=0}^{k} \binom{\alpha}{k-j} \binom{\beta}{j} = \binom{\alpha + \beta}{k}$

$$\begin{align*} g(\alpha) g(\beta) =& \sum_{k=0}^{\infty} \binom{\alpha}{k} x^{k} \sum_{k=0}^{\infty} \binom{\beta}{k} x^{k} \\ =& \sum_{k=0}^{\infty} \sum_{j=0}^{k} \binom{\alpha}{k-j} \binom{\beta}{j} x^{k} \\ =& \sum_{k=0}^{\infty} \binom{ \alpha + \beta}{k} x^{k} \\ =& g (\alpha + \beta ) \end{align*}$$

連続ホモモルフィズムの性質: 連続関数$g : \mathbb{R} \to ( 0 , \infty )$ がすべての $\alpha, \beta \in \mathbb{R}$ に対して $g(\alpha + \beta) = g(\alpha) g(\beta)$ を満たすなら、$g(\alpha) = \left( g(1) \right)^\alpha$

だから、$g(1) = \sum_{k=0}^{\infty} \binom{1}{k} = 1 + x$

$$(1 + x )^{\alpha} = g ( \alpha ) = \sum_{k=0}^{\infty} \binom{\alpha}{k} x^{k}$$

■