5-1　ベキ級数関数
f-denshi.com   [目次]　最終更新日：07/06/11
サイト検索

テイラー級数展開とは逆の方向から考えてみます。まず，ベキ級数ありきということから。

１．ベキ級数の収束性

［１］　x の n次多項式で表される関数

　　f_n(x) ＝ r₀＋r₁x＋r₂x²＋･･･＋r_nxⁿ

において，n → ∞ とした，

	rnxn ＝ r0＋r1x＋r2x2＋･･･＋rnxn＋･･･

を x についてのベキ級数といいます。この極限が x のある区間で収束するとき，その極限の値を

　　f(x) ＝ r₀＋r₁x＋r₂x²＋･･･＋r_nxⁿ＋････　　　　

とおいて，x についてのベキ級数関数といいます。

　例えば， 1 ＝r₀ ＝r₁ ＝r₂ ＝ ･･･ ＝r_n  ･･･  のときのベキ級数，

　　　1＋x＋x²＋･･･＋xⁿ＋･･･                                  ･･････････    [*]

は，-1 ＜ x ＜ 1 のときは収束して，

f(x) ＝	1 ＋ x ＋ x2 ＋ ･･･ ＋ xn ＋ ･･･ ＝	1
		1−x

と表すことができます。一方， x ≧ 1，x ≦ -1 のとき，このべき級数は発散します。x の範囲をうまく制限することで[*]は有理関数1/(1−x)に収束します。しかし，いつもこのように事が運ぶわけではありません。

［２］　x についてのベキ級数関数の収束性の判定については次の定理が用いられます。

また，x をいろいろいろ動かしたときの｜x₀｜の上限，

r　≡ sup｜x0｜　　　　　　　　　　［　収束半径　］

を収束半径といい，開区間 (−r，r ) を収束域といいます。特にすべての実数について収束する場合，収束半径 r ＝ ∞　といいます。なお，その境界の x ＝ r　，-r　ときはベキ級数によって収束したりしなかったりします。また，sup　については ⇒ [#]

［証明］　⇒　パス

なお， 収束”半径” という用語が使われる理由を知るには複素関数まで勉強する必要があります⇒ [#]

［３］ 具体的に収束半径を求める方法は次の定理，(特に(２))を用います。

先の例では，

f(x) ＝  1 ＋x ＋x² ＋ ･･･ ＋xⁿ ＋ ･･･

において，

	｜rn+1｜	＝ 1
	｜rn｜

なので，収束半径は，1 となります。また，指数関数のテイラー展開

ｅx ＝　1＋	1	･x＋	1	･x2＋････＋	1	･xn＋････
	1！		2！		n！

では，

	｜rn+1｜	＝		1	＝ 0
	｜rn｜			n＋1

よって，収束半径は，∞ となります。

［４］　いくつか例を書いておきます。

関数	べき級数	収束半径	x＝1で	x＝-1で
1 1−x	xn	1	発散	発散
1 1＋x	(-1)n･xn	1	発散	発散
−	xn n	1	発散	収束
−	xn n2	1	収束	収束
ｅx	xn n！	∞	収束	収束
log(1＋x)	− (-1)n･xn n	1	収束	発散

［ 目次へ ］