複素関数論

級数の例

次の等式が $|z| < 1$ で成立することを示せ。 \begin{align} {\rm (i)}&\ \ \ \sum_{n = 1}^{\infty} n z^n = \frac{z}{(1 - z)^2} \\ {\rm (ii)}&\ \ \ \sum_{n = 1}^{\infty} n^2 z^n = \frac{z(1 + z)}{(1 - z)^3} \\ {\rm (iii)}&\ \ \ f_p(z) = \sum_{n = 1}^{\infty} n^p z^n\ (p \in \mathbb{N})\ \mbox{のとき}\\ &\ \ \ \ f_{p + 1}(z) = zf'_p(z) \end{align}

(i)
$|z| < 1$ において絶対収束する次の級数に対して \begin{align} \sum_{n = 1}^{\infty} z^n &= \frac{z}{1 - z} \end{align} 両辺を $z$ で微分すると、無限級数の微分が項別に微分できることに注意して \begin{align} \sum_{n = 1}^{\infty} n z^{n - 1} &= \frac{1}{(1 - z)^2} \end{align} が得られる。さらに、両辺に $z$ をかけることにより \begin{align} \sum_{n = 1}^{\infty} z z^n &= \frac{z}{(1 - z)^2} \end{align} が得られる。 (ii) 同様にして、(i) の結果を両辺 $z$ で微分することにより \begin{align} \sum_{n = 1} n^2 z^{n - 1} &= \frac{(1 - z)^2 + 2 z (1 - z)}{(1 - z)^4} \\ \sum_{n = 1} n^2 z^{n - 1} &= \frac{1 + z}{(1 - z)^3} \end{align} が得られる。さらに、両辺に $z$ をかけることにより \begin{align} \sum_{n = 1} n^2 z^n &= \frac{z(1 + z)}{(1 - z)^3} \end{align} が得られる。

(iii)
\begin{align}
f_p(z) &= \sum_{n = 1}^{\infty} n^p z^n
\end{align}
に対して、両辺を $z$ で微分することにより
\begin{align}
f’_p(z) &= \sum_{n = 1}^{\infty} n^p n z^{n – 1} \\
z f’_p(z) &= \sum_{n = 1}^{\infty} n^{p + 1} z^n \\
z f’_p(z) &= f_{p + 1}
\end{align}
が示される。