次のべき級数を考える。
$$\sum_{n=0}^∞ a_nz^n･･･(1)$$
このべき級数を構成する\(a_n\)と\(z\)の絶対値をとる。
$$\sum_{n=0}^∞ |a_n||z|^n･･･(2)$$
このべき級数(2)が収束することを、絶対収束という。そして、べき級数(2)が収束すれば、べき級数(1)も収束するといえる。
収束半径Rとは、べき級数(2)が絶対収束する\(|z|\)と発散する\(|z|\)の境界を指す。もし\(|z|<R\)ならばべき級数(1)は収束し、\(|z|>R\)ならばべき級数(1)は発散する。\(|z|=R\)のときはべき級数ごとに収束・発散が異なるため、問題ごとに収束するか発散するか考える必要がある。
収束半径の求め方
主な収束半径の求め方を2つ紹介する。
1.下のような、上極限を使った式を使って収束半径\(R\)を解く。
$$\limsup_{ n \to \infty } {\sqrt[n]{a_n}}=\frac{1}{R}$$
2.極限 \(\displaystyle \lim_{ n \to \infty }\frac{|a_{n+1}|}{|a_n|}\)が存在するとき、次の式が成り立つ。
$$\displaystyle \lim_{ n \to \infty }\frac{|a_{n+1}|}{|a_n|}=\frac{1}{R}$$
両方の方法において、もし極限の値が0ならば、収束半径は\(R=∞\)となる。言い換えると、「絶対値\(|z|\)が無限大でなければ、べき級数は常に収束する」となる。例えば、下の例題でも示すが、\(e^z\)の収束半径は\(R=∞\)である。よって、\(|z|\)が無限大でないならば、\(e^z\)は必ず収束して、有限の値を持つ。事実、\(e^z\)のグラフを描けば、\(z\)が無限大に行くまで\(e^z\)が有限の値を持ち続けることが確認できる。
1番目の方法は数学の深い知識が必要となり、厄介である(まあ上極限くらいは調べればすぐでてくるが)ため、今回は2番目の方法で例題を解いていく。
例題
上の説明だけだとわかりにくいから、例題を通じて収束半径のイメージをつけていこうと思う。次の\(f(z)\)の収束半径を考える。
$$f(z)=e^z=1+z+\frac{z^2}{2!}+･･･$$
ここで、\(e^z\)はテイラー展開(マクローリン展開)をしている。これについては該当記事を参照。
(リンク:テイラー展開・マクローリン展開とは)
この展開によって、\(a_n\)は次のように表せる。
$$a_n=\frac{1}{n!}$$
同様にして\(a_{n+1}\)も考える。単純に上の式の\(n\)を\((n+1)\)に置き換えればよい。
$$a_{n+1}=\frac{1}{(n+1)!}$$
後は\(\displaystyle \lim_{ n \to \infty }\frac{|a_{n+1}|}{|a_n|}=\frac{1}{R}\)に代入して終わり。
収束半径\(R\)は次のようになる。
$$R=∞$$
ここまでかなり丁寧に書いてきたつもりだが、わざわざここまで何個も途中式を書かなくても理解できる人も多いだろう。だが、管理人の頭は悪いため、初見では混乱することが多かった。もし自分のようにこの程度の計算で混乱するようならば、決して途中式を省略しようなどと考えない方がよい。面倒で時間が多少かかっても正確性を重視すべきである。
参考文献
・谷口健二・時弘哲治(2016)『理工系の数理 複素解析』,裳華房.
関連記事(広告含む)
