【備忘録／用語集】冪級数の収束半径

$z\in E$とし，$ϵ>0$が任意に与えられたとする。

$\sum _{n=0}^{\mathrm{\infty }}|f_n(z)|$が収束することから，ある番号$N$が存在し，$m,n\ge N$かつ$m>n$を満たすような任意の番号$m$, $n$に対して
$$|f_{n+1}(z)|+|f_{n+2}(z)|+\cdots +|f_m(z)|<ϵ$$
が成り立つ。（コーシーの収束判定条件）

したがって，このような$m$, $n$に対して
$$|f_{n+1}(z)+f_{n+2}(z)+\cdots +f_m(z)|\le |f_{n+1}(z)|+|f_{n+2}(z)|+\cdots +|f_m(z)|<ϵ$$
が成り立つ。（三角不等式）

これは級数$\sum _{n=0}^{\mathrm{\infty }}{f}_n(z)$が収束するということに他ならない。（コーシーの収束判定条件）

［絶対収束］

各$z\in E$について，$|f_n(z)|\le \underset{z\in E}{sup}|f_n(z)|$ $(n=0,1,2,\dots )$が成り立つことから従う。

［一様収束］

$\sum _{n=0}^{\mathrm{\infty }}\underset{z\in E}{sup}|f_n(z)|$が収束することから，任意の$ϵ>0$に対して，ある番号$N$が存在して，$n\ge N$を満たすような任意の番号$n$に対して，
$$\sum _{k=n+1}^{\mathrm{\infty }}\underset{z\in E}{sup}|f_k(z)|<ϵ$$
が成り立つ。

このような$n$と任意の$z\in E$に対して，
$$|\sum _{k=n+1}^{\mathrm{\infty }}{f}_k(z)|\le \sum _{k=n+1}^{\mathrm{\infty }}|f_k(z)|\le \sum _{k=n+1}^{\mathrm{\infty }}\underset{z\in E}{sup}|f_k(z)|<ϵ$$
となるが，これは$\sum _{n=0}^{\mathrm{\infty }}{f}_n$が$E$上$f$に一様収束するということに他ならない。

$E=\{z\in \mathbb{C}\mid |z|\le r\}$と置く。

$\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}_0^n$が収束することから，$\underset{n\to \mathrm{\infty }}{lim}{a}_n{z}_0^n=0$である。

特に，$a_n{z}_0^n$は有界で，ある$M>0$が存在し，すべての番号$n$に対して$|a_n{z}_0^n|\le M$が成り立つ。

さて，$z\in E$とすると，$|z|\le r<|z_0|$より$|z/z_0|\le r/|z_0|<1$である。

したがって，任意の$z\in E$と任意の番号$n$に対して，
$$|a_n{z}^n|=|a_n{z}_0^n|{\left|\frac{z}{z_0}\right|}^n\le M{\left(\frac{r}{|z_0|}\right)}^n$$
が成り立つ。

よって，
$$\underset{z\in E}{sup}|a_n{z}^n|\le M{\left(\frac{r}{|z_0|}\right)}^n$$
である。

これにより級数$\sum _{n=0}^{\mathrm{\infty }}\underset{z\in E}{sup}|a_n{z}^n|$が収束することが分かり，前命題より$\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n$は$E$上絶対かつ一様に収束する。

［$0<\lambda <+\mathrm{\infty }$の場合］

$|z|<1/\lambda$とする。

実変数$x$についての関数$\frac{1-x}{\lambda +x}$は$x=0$で連続なので，十分小さいある$\delta >0$に対して
$$|z|<\frac{1-\delta }{\lambda +\delta }$$
が成り立つ。

一方，$\underset{n\to \mathrm{\infty }}{lim}\underset{m\ge n}{sup}\sqrt[m]{|a_m|}=\lambda$より，十分大きいある番号$N$に対して
$$\underset{m\ge N}{sup}\sqrt[m]{|a_m|}<\lambda +\delta$$
が成り立つ。

したがって，$m\ge N$のとき，
$$|a_m{z}^m|=|a_m||z{|}^m<(\lambda +\delta {)}^m{\left(\frac{1-\delta }{\lambda +\delta }\right)}^m=(1-\delta {)}^m$$
である。

これにより，級数$\sum _{n=0}^{\mathrm{\infty }}|a_n{z}^n|$が収束することが分かる。

次に，$|z|>1/\lambda$とする。

実変数$x$についての関数$\frac{1}{\lambda -x}$は$x=0$で連続なので，十分小さいある$\delta >0$に対して
$$|z|>\frac{1}{\lambda -\delta }$$
が成り立つ。

一方，$\underset{n\to \mathrm{\infty }}{lim}\underset{m\ge n}{sup}\sqrt[m]{|a_m|}=\lambda$より，無数の番号$m$に対して
$$\sqrt[m]{|a_m|}>\lambda -\delta$$
が成り立つ。
（なぜなら，もしそのような$m$が有限個しかなく，ほとんどすべての$m$について$\sqrt[m]{|a_m|}\le \lambda -\delta$であったとすると，十分大きいすべての番号$n$に対して$\underset{m\ge n}{sup}\sqrt[m]{|a_m|}\le \lambda -\delta$となってしまうからである。）

このような無数の番号$m$に対して
$$|a_m{z}^m|=|a_m||z{|}^m>(\lambda -\delta {)}^m{\left(\frac{1}{\lambda -\delta }\right)}^m=1$$
となるので，級数$\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n$は収束しない。

［$\lambda =0$の場合］

$z\in \mathbb{C}$とする。

アルキメデスの原理より，十分小さいある$\delta >0$に対して
$$|z|<1/\delta -1=\frac{1-\delta }{\delta }$$
が成り立つ。

一方，$\underset{n\to \mathrm{\infty }}{lim}\underset{m\ge n}{sup}\sqrt[m]{|a_m|}=0$より，十分大きいある番号$N$に対して
$$\underset{m\ge N}{sup}\sqrt[m]{|a_m|}<\delta$$
が成り立つ。

したがって，$m\ge N$のとき，
$$|a_m{z}^m|=|a_m||z{|}^m<{\delta }^m{\left(\frac{1-\delta }{\delta }\right)}^m=(1-\delta {)}^m$$
である。

これにより，級数$\sum _{n=0}^{\mathrm{\infty }}|a_n{z}^n|$が収束することが分かる。

［$\lambda =+\mathrm{\infty }$の場合］

$z\in \mathbb{C}$とする。

アルキメデスの原理より，十分大きいある$M>0$に対して
$$|z|>\frac{1}{M}$$
が成り立つ。

一方，$\sqrt[m]{|a_m|}$が非有界なので，無数の番号$m$に対して
$$\sqrt[m]{|a_m|}>M$$
が成り立つ。

このような無数の番号$m$に対して
$$|a_m{z}^m|=|a_m||z{|}^m>M^m\frac{1}{M^m}=1$$
となるので，級数$\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n$は収束しない。

冪級数$\sum _{n=0}^{\mathrm{\infty }}{a}_n{w}^n$が$w_0=z_1-z_0$で収束するので，任意の$0\le r<|w_0|$に対し，級数$\sum _{n=0}^{\mathrm{\infty }}\underset{|w|\le r}{sup}|a_n{w}^n|$は収束する。
（原点を中心とした冪級数についての対応する命題の証明部分を参照せよ。）

ここで
$$\underset{|z-z_0|\le r}{sup}|a_n(z-z_0{)}^n|=\underset{|w|\le r}{sup}|a_n{w}^n|$$
であることに注意すると，級数$\sum _{n=0}^{\mathrm{\infty }}\underset{|z-z_0|\le r}{sup}|a_n(z-z_0{)}^n|$もまた収束することが分かる。

したがって，閉円盤$|z-z_0|\le r$上で$\sum _{n=0}^{\mathrm{\infty }}{a}_n(z-z_0{)}^n$は絶対かつ一様に収束する。