logo

累乗級数 📂解析学

累乗級数

定義

  • S(x):=k=0ak(xx0)kS(x) : = \sum \limits_{k=0}^{\infty} a_{k} ( x - x_{0} )^{k}冪級数と言い、S(x)S(x)中心centerx0x_{0} とする。
  • S(x)S(x)xx0<R|x - x_{0}| < R に対して絶対収束し、xx0>R|x - x_{0}| > R に対して発散するとき、RRS(x)S(x)収束半径radius of Convergenceと言う。
  • S(x)S(x) が収束する最大の区間を 収束区間interval of Convergenceと言う。
  • 収束区間 [c,d](a,b)[c,d] \subset (a,b)x0(c,d)x_{0} \in (c,d) を中心とする冪級数 k=0ak(xx0)k=f(x)\sum \limits_{k=0}^{\infty} a_{k} ( x - x_{0} )^{k} = f(x) が存在するなら、ff(a,b)(a,b)解析的analyticであると言う。
  • すべての nn に対して an=bna_{n}=b_{n} が成り立てば、二つの冪級数 n=0an(xx0)n\sum \limits_{n=0}^\infty a_n(x-x_0) ^nn=0bn(xx0)n\sum \limits_{n=0}^\infty b_n(x-x_0) ^n が等しいと言う。
  • a0=a1=a2==0a_0=a_1=a_2=\cdots=0 ならば n=0an(xx0)n=0,x\sum \limits_{n=0}^\infty a_n(x-x_0)^{n}=0,\quad \forall x

説明

解析学を大学の時最初に学んでみて、なぜ「微積分学」と「解析学」が分けているのか、また解析学ではなぜそのように数列や級数にこだわるのか理解できないかもしれない。でも、興味を失わずに冪級数まで学べれば、少なくともヒントを得ることができるだろう。

すぐに解析学を学ぶ理由が何かと聞かれたら、「難しい関数を簡単な関数に引き下ろすため」と答えてもいい。例えば、超越関数は難しいが、多項式関数は簡単だ。もし超越関数が解析的であれば、それは幸運なことだ。解析的な関数とは級数展開できる関数であり、級数展開が可能な関数とは、結局多項式の和として解くことができる関数であるという意味だ。

冪級数は基本解析学で重要に扱われる概念であり、特に収束性に多くの条件が付いている。制約が多いだけに、良い性質も多く持っており、無限級数でありながら、いわゆる「常識的」に扱いやすい。

整理

  • (a) R:=limkakak+1R := \lim_{k \to \infty} {{ | a_{k} | } \over { | a_{k+1} | }} が存在するなら、RRS(x)S(x) の収束半径である。
  • (b) 収束半径 R>0R > 0 が存在するなら、S(x)S(x) はすべての x[x0R,x0+R]x \notin [ x_{0} - R , x_{0} + R ] において発散する。
  • (c) 収束半径 R>0R > 0 が存在するなら、S(x)S(x) はすべての x(x0R,x0+R)x \in ( x_{0} - R , x_{0} + R ) に対して絶対収束する。
  • (d) 収束半径 R>0R > 0 が存在するなら、S(x)S(x) はすべての [a,b](x0R,x0+R)[a,b] \subset ( x_{0} - R , x_{0} + R ) において一様収束する。
  • (e) 収束半径 R>0R > 0 が存在するなら、S(x)S(x)(x0R,x0+R)( x_{0} - R , x_{0} + R ) において連続である。
  • (f) 収束半径 R>0R > 0 が存在するなら、S(x)S(x)(x0R,x0+R)( x_{0} - R , x_{0} + R ) において無限回微分可能で、 S(k)(x)=n=kn!(nk)!an(xx0)nk S^{(k)} (x) = \sum \limits_{n=k}^{\infty} {{n!} \over {(n-k)!}} a_{n} (x - x_{0} )^{n-k}
  • (g) S(x)S(x)[a,b][a,b] において収束するなら、[a,b][a,b] で積分可能で、 abS(x)dx=k=0akab(xx0)kdx \int_{a}^{b} S(x) dx = \sum \limits_{k=0}^{\infty} a_{k} \int_{a}^{b} (x - x_{0} )^{k} dx

参照