冪級数のソースを表示

{{Calculus |Series}}

[[数学]]において、（一変数の）'''冪級数'''（べききゅうすう、{{lang-en-short|power series}}）あるいは'''整級数'''（せいきゅうすう、{{lang-fr-short|série entière}}）とは
:<math>\sum_{n=0}^\infty a_n \left( x-c \right)^n = a_0 + a_1 (x-c)^1+ a_2 (x-c)^2 + \cdots</math>
の形の[[無限級数]]である。ここで {{mvar|a<sub>n</sub>}} は {{mvar|n}} 番目の項の係数を表し、{{mvar|c}} は定数である。この級数は通常ある知られた[[関数 (数学)|関数]]の[[テイラー級数]]として生じる。

多くの状況において {{mvar|c}}（級数の''中心'' (center)）は {{math|0}} である。例えば[[マクローリン級数]]を考えるときがそうである。そのような場合には、冪級数は簡単な形
:<math>
\sum_{n=0}^\infty a_n x^n = a_0 + a_1 x + a_2 x^2 + \cdots
</math>
になる。

これらの冪級数は主に[[解析学]]において現れるが、[[組合せ論]]においても（[[形式的冪級数]]の一種である[[母関数]]として）現れ、電気工学においても（[[Z変換]]の名の下で）現れる。[[実数]]のよく知られた{{ill2|十進表記|en|Decimal representation}}もまた冪級数の例と見ることができる。係数は整数であり、引数 {{mvar|x}} は {{math|1/10}} に固定されている。[[数論]]における [[p進数|{{mvar|p}} 進数]]の概念もまた冪級数の概念と密接に関係している。

== 概要 ==
冪級数の取り扱いには大きく分けて二つある。四則演算などの代数的性質のみに着目する形式冪級数と、関数などの解析的性質に着目する収束冪級数である。

数列 (''a''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub> が有限列であるとき、つまり適当な自然数 ''m'' があって、''n''＞''m''なら必ず ''a''<sub>''n''</sub> = 0 が成り立つような列であるとき、これを係数列とすることによって得られる形式冪級数
:<math>f(x) = a_0 + a_1 x + a_2 x^2 + \cdots</math>
は実質的に有限個の項からなり、[[多項式]]である。

多項式に対してはその係数列の有限性から係数が 0 にならない添字の最大値 max{''n''∈'''N''' | ''a''<sub>''n''</sub> &ne; 0} として次数 deg(''f'') を考えることができたが、冪級数に対して同じことを考えるとほとんど全部の冪級数の次数は無限大であり、したがって、形式冪級数は形の上では[[多項式]]の次数を無限大に飛ばした類似物であると見ることができる一方で、形式冪級数に対して次数を考えてもほとんど何の役にも立たないということになる。形式冪級数に対して“多項式における次数”のような役回りを演じるのは、係数が 0 にならない添字の最小値 min{''n''∈'''N''' | ''a''<sub>''n''</sub> &ne; 0} である。多項式と形式冪級数との関係は[[有理数]]と実数（の無限小数展開）および[[p進数| ''p''-進数]]（の ''p''-進展開）との関係の類似であり、実際に冪級数を有限体上で考えれば、これら類似性は[[大域体]]とその局所化である[[局所体]]との関係として一般的に取り扱われる。

収束冪級数は形式冪級数にその'''収束域'''を考え合わせたもので、収束冪級数はその収束域上で関数を定める。特に[[複素解析]]において[[解析関数]]を取り扱う際に重要な役割を演じる。

数列の持つ性質を母関数によって調べる組合せ論的な手法では、得られる冪級数が収束することが、冪級数に操作を施して得られた数列の性質をすべて肯定することになるため、収束性の確認は重要である。にもかかわらず、数列にとっては母関数が“何らかの意味で”収束する点を（中心以外に）持ちさえすればよいので、母関数の収束性にそれほど注意が払われることもない。

==例==<!-- This section is linked from [[:en:Complex plane]] -->
[[Image:Exp series.gif|right|thumb|[[指数関数]]（青色）と、その[[マクローリン級数]]の最初の ''n'' + 1 項の和（赤色）。]]
任意の[[多項式]]は任意の中心 {{mvar|c}} のまわりの冪級数として容易に表すことができる。ただし係数のほとんどは {{math|0}} になる。冪級数は定義により無限個の項を持つからである。例えば、多項式 {{math|1=''f''(''x'') = ''x''{{sup|2}} + 2''x'' + 3}} は中心 {{math|''c'' {{=}} 0}} のまわりの冪級数として
::<math>f(x) = 3 + 2 x + 1 x^2 + 0 x^3 + 0 x^4 + \cdots</math>
と書くことができ、また中心 {{math|''c'' {{=}} 1}} のまわりでは
::<math>f(x) = 6 + 4 (x-1) + 1(x-1)^2</math><math> + 0(x-1)^3 + 0(x-1)^4 + \cdots \,</math>
と書け、他の任意の中心 {{mvar|c}} のまわりの冪級数としても書ける<ref>{{cite book|author={{ill2|Howard Levi|en|Howard Levi}}|title=Polynomials, Power Series, and Calculus|url=https://books.google.com/books?id=AcI-AAAAIAAJ|year=1967|publisher=Van Nostrand|pages=24}}</ref>。冪級数を「無限次の多項式」のようなものとみなすことができる。冪級数は多項式ではないが。

[[幾何級数]]の公式
::<math> \frac{1}{1-x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + x^3 + \cdots</math>
は、{{math|{{!}}''x''{{!}} < 1}} に対して有効であるが、冪級数の最も重要な例の1つであり、任意の実数 {{mvar|x}} に対して有効な指数関数の公式
::<math> e^x = \sum_{n=0}^\infty \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots</math>
や正弦関数の公式
::<math> \sin(x) = \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!}+\cdots</math>
もそうである。これらの冪級数は[[テイラー級数]]の例でもある。

負冪は冪級数においては許されていない。例えば、<math>1 + x^{-1} + x^{-2} + \cdots</math> は冪級数とは考えない（[[ローラン級数]]ではあるが）。同様に、<math>x^{1/2}</math> のような分数冪も許されていない（が{{仮リンク|ピュイズー級数|en|Puiseux series}}を参照）。係数 {{mvar|a{{sub|n}}}} が {{mvar|x}} に依存することは許されていない。したがって例えば
:<math>\sin(x) x + \sin(2x) x^2 + \sin(3x) x^3 + \cdots \,</math>
は冪級数ではない。

==収束半径==
冪級数は変数 {{mvar|x}} がある値のときには収束し、別の値のときには発散するかもしれない。{{math|(''x'' − ''c'')}} の冪によるすべての冪級数 {{math|''f''(''x'')}} は {{math|1=''x'' = ''c''}} において収束する。（正しい値 {{math|1=''f''(''c'') = ''a''<sub>0</sub>}} を得るには数式 [[0^0|{{math|0<sup>0</sup>}}]] を {{math|1}} と解釈しなければならない。）{{mvar|c}} が唯一の収束点でなければ、必ず {{math|0 < ''r'' ≤ ∞}} なるある数 {{mvar|r}} が存在して、級数は {{math|{{!}}''x'' &minus; ''c''{{!}} < ''r''}} のときにはいつでも収束し、{{math|{{!}}''x'' &minus; ''c''{{!}} > ''r''}} のときにはいつでも発散する。この数 {{mvar|r}} をその冪級数の'''[[収束半径]]''' (radius of convergence) と呼ぶ。一般に収束半径は次で与えられる：
:<math>r=\liminf_{n\to\infty} \left|a_n\right|^{-\frac{1}{n}},</math>
あるいは同じことだが
:<math>r^{-1}=\limsup_{n\to\infty} \left|a_n\right|^{\frac{1}{n}}.</math>
（これは[[コーシー・アダマールの定理]]であり。記号の説明は[[上極限と下極限]]を参照。）それを計算する速い方法は
:<math>r^{-1}=\lim_{n\to\infty}\left|{a_{n+1}\over a_n}\right|</math>
である（ただしこの極限が存在するときに限る）。

級数は {{math|{{!}}''x'' − ''c''{{!}} < ''r''}} に対して[[絶対収束]]し、{{math|{''x'' : {{!}}''x'' &minus; ''c''{{!}} < ''r''{{)}}}} の任意の[[コンパクト集合|コンパクト]][[部分集合]]上[[一様収束]]する。つまり、級数は収束円板の内部において絶対かつ[[コンパクト収束]]する。

{{math|{{!}}''x'' − ''c''{{!}} {{=}} ''r''}} に対しては、級数が収束するか発散するかの一般的なステートメントを述べることは出来ない。しかしながら、実変数の場合には、級数が {{mvar|x}} において収束するならば級数の和は {{mvar|x}} において連続である（ただしｃからｘに向かう側だけにおける片側の連続）という[[アーベルの連続性定理|アーベルの定理]]がある。複素変数の場合には、{{mvar|c}} と {{mvar|x}} を結ぶ線分に沿っての連続性しか主張できない。

== 冪級数の操作 ==
=== 加法と減法 ===
2つの関数 {{mvar|f}} と {{mvar|g}} が同じ中心 {{mvar|c}} のまわりの冪級数で書かれているとき、それらの関数の和や差の冪級数は項ごとの加法と減法によって得られる。つまり、
:<math>f(x) = \sum_{n=0}^\infty a_n (x-c)^n</math>
:<math>g(x) = \sum_{n=0}^\infty b_n (x-c)^n</math>
であるとき、
:<math>f(x)\pm g(x) = \sum_{n=0}^\infty (a_n \pm b_n) (x-c)^n</math>
である。

=== 乗法と除法 ===
上と同じ定義で、関数の積と商の冪級数は以下のように得られる：
:<math> \begin{align}
f(x)g(x) &= \left(\sum_{n=0}^\infty a_n (x-c)^n\right)\left(\sum_{n=0}^\infty b_n (x-c)^n\right) \\
         &= \sum_{i=0}^\infty \sum_{j=0}^\infty  a_i b_j (x-c)^{i+j} \\
         &= \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) (x-c)^n.
\end{align}</math>

数列 <math>m_n = \sum_{i=0}^n a_i b_{n-i}</math> は数列 {{mvar|a{{sub|n}}}} と {{mvar|b{{sub|n}}}} の[[畳み込み]]と呼ばれる。

除法については、
:<math> {f(x)\over g(x)} = {\sum_{n=0}^\infty a_n (x-c)^n\over\sum_{n=0}^\infty b_n (x-c)^n} = \sum_{n=0}^\infty d_n (x-c)^n</math>
:<math> f(x) = \left(\sum_{n=0}^\infty b_n (x-c)^n\right)\left(\sum_{n=0}^\infty d_n (x-c)^n\right)</math>
として、上を用い、係数を比較する。（零ではない初めてのa_nの添え字が零ではない初めてのｂ_nの添え字よりも"以上"になっていなければ、除法は冪級数を与えないことに注意。）

=== 微分と積分 ===
関数が冪級数として与えられると、それは収束領域の[[内部 (位相空間論)|内部]]で[[微分可能]]である。それは極めて容易に[[微分]]および[[積分]]ができる。各項ごとに扱えばよい：
::<math>
f^\prime (x) = \sum_{n=1}^\infty a_n n \left( x-c \right)^{n-1}= \sum_{n=0}^\infty a_{n+1} \left(n+1 \right) \left( x-c \right)^{n}
</math>
::<math>
\int f(x)\,dx = \sum_{n=0}^\infty \frac{a_n \left( x-c \right)^{n+1}} {n+1} + k = \sum_{n=1}^\infty \frac{a_{n-1} \left( x-c \right)^{n}} {n} + k.
</math>
（ただしここでｋは不定積分の積分定数を表している）

これら項別に微分あるいは積分して得られた級数はどちらももとの級数と同じ収束半径を持つ。

== 解析関数 ==
{{math|'''R'''}} あるいは {{math|'''C'''}} の[[開集合]]上定義された関数 {{mvar|f}} が'''解析的''' (analytic) であるとは、局所的に収束冪級数によって与えられることをいう。つまり、すべての {{math|''a'' ∈ ''U''}} はある[[開近傍]] {{math|''V'' ⊆ ''U''}} を持ち、{{mvar|a}} を中心に持つ冪級数ですべての {{math|''x'' ∈ ''V''}} に対して {{math|''f''(''x'')}} に収束するものが存在することをいう。

収束半径が正のすべての冪級数はその収束域の内部で解析的である。すべての[[正則関数]]は複素解析的である。解析関数の和や積は解析的であり、商も分母が非零である限り正則である。

関数が解析的であれば、無限回微分可能であるが、実の場合には逆は一般には正しくない。解析関数に対し、係数 {{mvar|a<sub>n</sub>}} は
::<math>
a_n = \frac {f^{\left( n \right)}\left( c \right)} {n!}
</math>
と計算できる。ここで <math>f^{(n)}(c)</math> は {{mvar|f}} の {{mvar|c}} における {{mvar|n}} 階微分を表し、<math>f^{(0)}(c) = f(c)</math> である。これはすべての解析関数は局所的に[[テイラー級数]]によって表されることを意味する。

解析関数の大域的な形はその局所的な振る舞いによって次の意味で完全に決定される： {{mvar|f}} と {{mvar|g}} が同じ[[連結空間|連結]]開集合 {{mvar|U}} 上定義された2つの解析関数で、ある元 {{math|''c'' &isin; ''U''}} が存在してすべての {{math|''n'' &ge; 0}} に対して {{math|1=''f''<sup>(''n'')</sup>(''c'') = ''g''<sup>(''n'')</sup>(''c'')}} が成り立つとき、すべての {{math|''x'' ∈ ''U''}} に対して {{math|1=''f''(''x'') = ''g''(''x'')}} である。

収束半径 {{mvar|r}} の冪級数が与えられると、級数の[[解析接続]]を考えることができる。つまり {{math|{ ''x'' : {{!}}''x'' − ''c''{{!}} < ''r'' {{)}}}} よりも（一般的には）大きい集合上で定義され、この集合上では与えられた冪級数に一致するような解析関数 {{mvar|f}} を考えることができる。そのとき収束半径 {{mvar|r}} は、ｃを中心として級数の解析接続ｆが解析的ではない複素数の点ｘを周上に持つような最小の円板の半径になる。冪級数が収束する範囲の複素円板をその級数の収束円と呼ぶ。（冪級数によってはその収束円がその冪級数の定義する解析関数の自然境界となっていてそれを超えた解析接続がまったく行えないものもある。）

解析関数の[[逆関数]]の冪級数展開は{{仮リンク|ラグランジュの反転定理|en|Lagrange inversion theorem}}を用いて決定することができる。

== 形式的冪級数 ==
{{main|形式的冪級数}}
[[抽象代数学]]において、冪級数の本質を、実数や複素数の[[可換体|体]]に制限されることなく、また収束について議論する必要なく、捉えようと試みられる。これは[[形式的冪級数]]の概念、{{仮リンク|代数的組合せ論|en|algebraic combinatorics}}においてとても有益な概念、を導く。

== 多変数の冪級数 ==
理論の拡張は[[多変数微積分学]]の目的のために必要である。ここで'''冪級数'''は
::<math>
f(x_1,\dots,x_n) = \sum_{j_1,\dots,j_n = 0}^{\infty}a_{j_1,\dots,j_n} \prod_{k=1}^n \left(x_k - c_k \right)^{j_k}
</math>
の形の無限級数として定義される。ただし {{math|1=''j'' = (''j''<sub>1</sub>, ..., ''j''<sub>''n''</sub>)}} は自然数のベクトルであり、係数 {{math|''a''<sub>(''j<sub>1</sub>,...,j<sub>n</sub>'')</sub>}} は通常実数か複素数であり、中心 {{math|1=''c'' = (''c''<sub>1</sub>, ..., ''c''<sub>''n''</sub>)}} と引数 {{math|1=''x'' = (''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>)}} は通常実あるいは複素ベクトルである。記号 <math>\Pi</math> は[[総乗]]を表す。より便利な[[多重指数]]表記を用いてこれは
::<math>
f(x) = \sum_{\alpha \in \mathbb{N}^n} a_{\alpha} \left(x - c \right)^{\alpha}
</math>
と書くことができる。ただし <math>\mathbb{N}</math> は[[自然数]]全体の集合であり、したがって <math>\mathbb{N}^n</math> は順序付けられた {{mvar|n}} 個の自然数の[[タプル|組]]全体の集合である。

そのような級数の理論は一変数の級数よりもトリッキーで、収束域は複雑である。例えば、冪級数 <math> \sum_{n=0}^\infty x_1^n x_2^n</math> は2つの[[双曲線]]の間の集合 <math>\{ (x_1,x_2): |x_1 x_2| < 1\}</math> で絶対収束する。（これは ''log 凸集合''の例である、つまり <math>(x_1,x_2)</math> が上の領域に属するときの点 <math>(\log |x_1|, \log |x_2|)</math> 全体の集合は凸集合である。より一般に、{{math|''c'' {{=}} 0}} のとき、絶対収束領域の内部は常にこの意味で log 凸集合であることを示すことができる。）一方、この収束領域の内部では、通常の冪級数のときとまったく同様に、項別に微分・積分ができる。
<!--
== 多変数冪級数 ==
多変数の形式冪級数環も '''x''' = (''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) を不定元として帰納的に
: <math>R[[x_1,\ldots,x_n]] = R[[x_1,\ldots,x_{n-1}]]\,[[x_n]]</math>
として定義することができる。また多重円板の中心を '''c''' = (''c''<sub>1</sub>, ..., ''c''<sub>''n''</sub>) とするとき、''R''<nowiki>[[</nowiki>''x''<sub>1</sub> &minus; ''c''<sub>1</sub>, ..., ''x''<sub>''n''</sub> &minus; ''c''<sub>''n''</sub><nowiki>]]</nowiki> に属するおのおのの冪級数は
:<math>f(x_1,\dots,x_n) = \sum_{(j_1,\dots,j_n) = (0,\dots,0)}^{\infty}a_{j_1,\dots,j_n} \prod_{k=1}^n \left(x_k - c_k \right)^{j_k}</math> 
あるいは[[多重指数]]の記法を使って
:<math>f(\mathbf{x}) = \sum_{\alpha\in\mathbb{N}^n} a_{\alpha}(\mathbf{x} - \mathbf{c})^{\alpha}</math> 
という形に書き表される。
-->

== 冪級数のオーダー ==
{{mvar|α}} を冪級数 {{math|''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>, …, ''x''<sub>''n''</sub>)}} に対する多重指数とする。冪級数 {{mvar|f}} の'''オーダー''' (order) は {{math|''a''<sub>''α''</sub> ≠ 0}} なる最小の値 {{math|{{!}}''α''{{!}}}} と定義される。ただし {{math|''f'' ≡ 0}} のときは {{math|0}} と定義される。とくに、一変数 {{mvar|x}} の冪級数 {{math|''f''(''x'')}} に対して、{{mvar|f}} のオーダーは非零係数を持つ {{mvar|x}} の最小冪である。この定義は直ちに[[ローラン級数]]に拡張される。

== 関連項目 ==
* [[多項式]]
* [[総和]]
* [[解析関数]]
* [[ローラン級数]]
* [[テイラー展開]]
* {{仮リンク|平坦関数|en|Flat function}}
* [[線型近似]]
* [[確率変数]]

==脚注==
{{Reflist}}

==参考文献==
*{{SpringerEOM|title=Power series|id=Power_series&oldid=15309|last=Solomentsev|first=E.D.}}

== 外部リンク ==
* {{MathWorld | urlname= FormalPowerSeries | title= Formal Power Series }}
* {{MathWorld | urlname= PowerSeries | title= Power Series }}
* [https://web.archive.org/web/20061209232821/http://math.fullerton.edu/mathews/c2003/ComplexPowerSeriesMod.html Complex Power Series Module by John H. Mathews]
* [http://demonstrations.wolfram.com/PowersOfComplexNumbers/ Powers of Complex Numbers] by Michael Schreiber, [[Wolfram Demonstrations Project]].

{{DEFAULTSORT:へききゆうすう}}
[[Category:多元環論]]
[[Category:実解析]]
[[Category:複素解析]]
[[Category:多変数微分積分学]]
[[Category:級数]]
[[Category:数学に関する記事]]