冪級数

数学において、（一変数の）冪級数（べききゅうすう、）あるいは整級数（せいきゅうすう、）とは
の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。
多くの状況において （級数の"中心" (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形
になる。
これらの冪級数は主に解析学において現れるが、組合せ論においても（形式的冪級数の一種である母関数として）現れ、電気工学においても（Z変換の名の下で）現れる。実数のよく知られたもまた冪級数の例と見ることができる。係数は整数であり、引数 は に固定されている。数論における 進数の概念もまた冪級数の概念と密接に関係している。
概要.
冪級数の取り扱いには大きく分けて二つある。四則演算などの代数的性質のみに着目する形式冪級数と、関数などの解析的性質に着目する収束冪級数である。
数列 ("a""n")"n"∈N が有限列であるとき、つまり適当な自然数 "m" があって、"n"＞"m"なら必ず "a""n" = 0 が成り立つような列であるとき、これを係数列とすることによって得られる形式冪級数
は実質的に有限個の項からなり、多項式である。
多項式に対してはその係数列の有限性から係数が 0 にならない添字の最大値 max{"n"∈N | "a""n" ≠ 0} として次数 deg("f") を考えることができたが、冪級数に対して同じことを考えるとほとんど全部の冪級数の次数は無限大であり、したがって、形式冪級数は形の上では多項式の次数を無限大に飛ばした類似物であると見ることができる一方で、形式冪級数に対して次数を考えてもほとんど何の役にも立たないということになる。形式冪級数に対して“多項式における次数”のような役回りを演じるのは、係数が 0 にならない添字の最小値 min{"n"∈N | "a""n" ≠ 0} である。多項式と形式冪級数との関係は有理数と実数（の無限小数展開）および"p"-進数（の "p"-進展開）との関係の類似であり、実際に冪級数を有限体上で考えれば、これら類似性は大域体とその局所化である局所体との関係として一般的に取り扱われる。
収束冪級数は形式冪級数にその収束域を考え合わせたもので、収束冪級数はその収束域上で関数を定める。特に複素解析において解析関数を取り扱う際に重要な役割を演じる。
数列の持つ性質を母関数によって調べる組合せ論的な手法では、得られる冪級数が収束することが、冪級数に操作を施して得られた数列の性質をすべて肯定することになるため、収束性の確認は重要である。にもかかわらず、数列にとっては母関数が“何らかの意味で”収束する点を（中心以外に）持ちさえすればよいので、母関数の収束性にそれほど注意が払われることもない。
例.
任意の多項式は任意の中心 のまわりの冪級数として容易に表すことができる。ただし係数のほとんどは になる。冪級数は定義により無限個の項を持つからである。例えば、多項式 は中心 のまわりの冪級数として
と書くことができ、また中心 のまわりでは
と書け、他の任意の中心 のまわりの冪級数としても書ける。冪級数を「無限次の多項式」のようなものとみなすことができる。冪級数は多項式ではないが。
幾何級数の公式
は、 に対して有効であるが、冪級数の最も重要な例の1つであり、任意の実数 に対して有効な指数関数の公式
や正弦関数の公式
もそうである。これらの冪級数はテイラー級数の例でもある。
負冪は冪級数においては許されていない。例えば、formula_10 は冪級数とは考えない（ローラン級数ではあるが）。同様に、formula_11 のような分数冪も許されていない（がを参照）。係数 が に依存することは許されていない。したがって例えば
は冪級数ではない。
収束半径.
冪級数は変数 がある値のときには収束し、別の値のときには発散するかもしれない。 の冪によるすべての冪級数 は において収束する。（正しい値 を得るには数式 を と解釈しなければならない。） が唯一の収束点でなければ、必ず なるある数 が存在して、級数は のときにはいつでも収束し、 のときにはいつでも発散する。この数 をその冪級数の収束半径 (radius of convergence) と呼ぶ。一般に収束半径は次で与えられる：
あるいは同じことだが
（これはコーシー・アダマールの定理であり。記号の説明は上極限と下極限を参照。）それを計算する速い方法は
である（ただしこの極限が存在するときに限る）。
級数は に対して絶対収束し、 の任意のコンパクト部分集合上一様収束する。つまり、級数は収束円板の内部において絶対かつコンパクト収束する。
 に対しては、級数が収束するか発散するかの一般的なステートメントを述べることは出来ない。しかしながら、実変数の場合には、級数が において収束するならば級数の和は において連続である（ただしｃからｘに向かう側だけにおける片側の連続）というアーベルの定理がある。複素変数の場合には、 と を結ぶ線分に沿っての連続性しか主張できない。
冪級数の操作.
加法と減法.
2つの関数 と が同じ中心 のまわりの冪級数で書かれているとき、それらの関数の和や差の冪級数は項ごとの加法と減法によって得られる。つまり、
であるとき、
である。
乗法と除法.
上と同じ定義で、関数の積と商の冪級数は以下のように得られる：
数列 formula_20 は数列 と の畳み込みと呼ばれる。
除法については、
として、上を用い、係数を比較する。（零ではない初めてのa_nの添え字が零ではない初めてのｂ_nの添え字よりも"以上"になっていなければ、除法は冪級数を与えないことに注意。）
微分と積分.
関数が冪級数として与えられると、それは収束領域の内部で微分可能である。それは極めて容易に微分および積分ができる。各項ごとに扱えばよい：
（ただしここでｋは不定積分の積分定数を表している）
これら項別に微分あるいは積分して得られた級数はどちらももとの級数と同じ収束半径を持つ。
解析関数.
 あるいは の開集合上定義された関数 が解析的 (analytic) であるとは、局所的に収束冪級数によって与えられることをいう。つまり、すべての はある開近傍 を持ち、 を中心に持つ冪級数ですべての に対して に収束するものが存在することをいう。
収束半径が正のすべての冪級数はその収束域の内部で解析的である。すべての正則関数は複素解析的である。解析関数の和や積は解析的であり、商も分母が非零である限り正則である。
関数が解析的であれば、無限回微分可能であるが、実の場合には逆は一般には正しくない。解析関数に対し、係数 は
と計算できる。ここで formula_26 は の における 階微分を表し、formula_27 である。これはすべての解析関数は局所的にテイラー級数によって表されることを意味する。
解析関数の大域的な形はその局所的な振る舞いによって次の意味で完全に決定される： と が同じ連結開集合 上定義された2つの解析関数で、ある元 が存在してすべての に対して が成り立つとき、すべての に対して である。
収束半径 の冪級数が与えられると、級数の解析接続を考えることができる。つまり よりも（一般的には）大きい集合上で定義され、この集合上では与えられた冪級数に一致するような解析関数 を考えることができる。そのとき収束半径 は、ｃを中心として級数の解析接続ｆが解析的ではない複素数の点ｘを周上に持つような最小の円板の半径になる。冪級数が収束する範囲の複素円板をその級数の収束円と呼ぶ。（冪級数によってはその収束円がその冪級数の定義する解析関数の自然境界となっていてそれを超えた解析接続がまったく行えないものもある。）
解析関数の逆関数の冪級数展開はを用いて決定することができる。
形式的冪級数.
抽象代数学において、冪級数の本質を、実数や複素数の体に制限されることなく、また収束について議論する必要なく、捉えようと試みられる。これは形式的冪級数の概念、においてとても有益な概念、を導く。
多変数の冪級数.
理論の拡張は多変数微積分学の目的のために必要である。ここで冪級数は
の形の無限級数として定義される。ただし は自然数のベクトルであり、係数 は通常実数か複素数であり、中心 と引数 は通常実あるいは複素ベクトルである。記号 formula_29 は総乗を表す。より便利な多重指数表記を用いてこれは
と書くことができる。ただし formula_31 は自然数全体の集合であり、したがって formula_32 は順序付けられた 個の自然数の組全体の集合である。
そのような級数の理論は一変数の級数よりもトリッキーで、収束域は複雑である。例えば、冪級数 formula_33 は2つの双曲線の間の集合 formula_34 で絶対収束する。（これは "log 凸集合"の例である、つまり formula_35 が上の領域に属するときの点 formula_36 全体の集合は凸集合である。より一般に、 のとき、絶対収束領域の内部は常にこの意味で log 凸集合であることを示すことができる。）一方、この収束領域の内部では、通常の冪級数のときとまったく同様に、項別に微分・積分ができる。
冪級数のオーダー.
 を冪級数 に対する多重指数とする。冪級数 のオーダー (order) は なる最小の値 と定義される。ただし のときは と定義される。とくに、一変数 の冪級数 に対して、 のオーダーは非零係数を持つ の最小冪である。この定義は直ちにローラン級数に拡張される。