冪級数

{{#invoke:sidebar|collapsible

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

基本定理

テンプレート:Startflatlist

テンプレート:Endflatlist テンプレート:Startflatlist

テンプレート:Endflatlist

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

| list4name = series | list4title = テンプレート:Bigger | list4 =

| list5name = vector | list5title = テンプレート:Bigger | list5 =

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

テンプレート:Endflatlist

}}

数学において、（一変数の）冪級数（べききゅうすう、英: power series）あるいは整級数（せいきゅうすう、仏: 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]

の形の無限級数である。ここで $a n$ は $n$ 番目の項の係数を表し、 $c$ は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。

多くの状況において $c$ （級数の中心 (center)）は $0$ である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形

[math] \sum_{n=0}^\infty a_n x^n = a_0 + a_1 x + a_2 x^2 + \cdots [/math]

になる。

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

概要

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

数列 (a_n)_n∈N が（実質的）有限列つまり、適当な自然数 m があって、n＞mなら必ず a_n = 0 が成り立つような列であるとき、これを係数列とすることによって得られる形式冪級数

[math]f(x) = a_0 + a_1 x + a_2 x^2 + \cdots[/math]

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

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

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

例

ファイル:Exp series.gif

The exponential function (in blue), and the sum of the first n+1 terms of its Maclaurin power series (in red).

任意の多項式は任意の中心 $c$ のまわりの冪級数として容易に表すことができる。ただし係数のほとんどは $0$ になる。冪級数は定義により無限個の項を持つからである。例えば、多項式 $f (x) = x 2 + 2 x + 3$ は中心 $c = 0$ のまわりの冪級数として

[math]f(x) = 3 + 2 x + 1 x^2 + 0 x^3 + 0 x^4 + \cdots \,[/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]

と書け、他の任意の中心 $c$ のまわりの冪級数としても書ける^[1]。冪級数を「無限次の多項式」のようなものとみなすことができる。冪級数は多項式ではないが。

幾何級数の公式

[math] \frac{1}{1-x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + x^3 + \cdots[/math]

は、 $| x | < 1$ に対して有効であるが、冪級数の最も重要な例の1つであり、任意の実数 $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] のような分数冪も許されていない（がピュイズー級数（English版）を参照）。係数 $a n$ が $x$ に依存することは許されていない。したがって例えば

[math]\sin(x) x + \sin(2x) x^2 + \sin(3x) x^3 + \cdots \,[/math]

は冪級数ではない。

収束半径

冪級数は変数 $x$ がある値のときには収束し別の値のときには発散するかもしれない。 $(x - c)$ の冪によるすべての冪級数 $f (x)$ は $x = c$ において収束する。（正しい値 $f (c) = a 0$ を得るには数式 $00$ を $1$ と解釈しなければならない。） $c$ が唯一の収束点でなければ、必ず $0 < r \leq \infty$ なるある数 $r$ が存在して、級数は $| x - c | < r$ のときにはいつでも収束し、 $| x - c | > r$ のときにはいつでも発散する。この数 $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]

である（ただしこの極限が存在するときに限る）。

級数は $| x - c | < r$ に対して絶対収束し、 ${x : | x - c | < r}$ の任意のコンパクト部分集合上一様収束する。つまり、級数は収束円板の内部において絶対かつコンパクト収束する。

$| x - c | = r$ に対しては、級数が収束するか発散するかの一般的なステートメントを述べることは出来ない。しかしながら、実変数の場合には、級数が $x$ において収束するならば級数の和は $x$ において連続であるというアーベルの定理がある。複素変数の場合には、 $c$ と $x$ を結ぶ線分に沿っての連続性しか主張できない。

冪級数の操作

加法と減法

2つの関数 $f$ と $g$ が同じ中心 $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] は数列 $a n$ と $b 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]

として、上を用い、係数を比較する。

微分と積分

関数が冪級数として与えられると、それは収束領域の内部で微分可能である。それは極めて容易に微分および積分ができる。各項ごとに扱えばよい：

[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]

これらの級数はどちらももとの級数と同じ収束半径を持つ。

解析関数

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

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

関数が解析的であれば、無限回微分可能であるが、実の場合には逆は一般には正しくない。解析関数に対し、係数 $a n$ は

[math] a_n = \frac {f^{\left( n \right)}\left( c \right)} {n!} [/math]

と計算できる。ここで [math]f^{(n)}(c)[/math] は $f$ の $c$ における $n$ 階微分を表し、[math]f^{(0)}(c) = f(c)[/math] である。これはすべての解析関数は局所的にテイラー級数によって表されることを意味する。

解析関数の大域的な形はその局所的な振る舞いによって次の意味で完全に決定される： $f$ と $g$ が同じ連結開集合 $U$ 上定義された2つの解析関数で、ある元 $c \in U$ が存在してすべての $n \geq 0$ に対して $f (n) (c) = g (n) (c)$ が成り立つとき、すべての $x \in U$ に対して $f (x) = g (x)$ である。

収束半径 $r$ の冪級数が与えられると、級数の解析接続を考えることができる。つまり ${x : | x - c | < r}$ よりも大きい集合上定義され、この集合上与えられた冪級数と一致する、解析関数 $f$ を考えることができる。数 $r$ は次の意味で最大である：級数の解析接続が $x$ において定義できることは決してないような、 $| x - c | = r$ なる複素数 $x$ が、必ず存在する。

解析関数の逆関数の冪級数展開はラグランジュの反転定理（English版）を用いて決定することができる。

形式的冪級数

"「形式的冪級数」"

抽象代数学において、冪級数の本質を、実数や複素数の体に制限されることなく、また収束について議論する必要なく、捉えようと試みられる。これは形式的冪級数の概念、代数的組合せ論（English版）においてとても有益な概念、を導く。

多変数の冪級数

理論の拡張は多変数微積分学の目的のために必要である。ここで冪級数は

[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]

の形の無限級数として定義される。ただし $j = (j 1, ..., j n)$ は自然数のベクトルであり、係数 $a (j 1,...,j n)$ は通常実数か複素数であり、中心 $c = (c 1, ..., c n)$ と引数 $x = (x 1, ..., x n)$ は通常実あるいは複素ベクトルである。記号 [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] は順序付けられた $n$ 個の自然数の組全体の集合である。

そのような級数の理論は一変数の級数よりもトリッキーで、収束域は複雑である。例えば、冪級数 [math] \sum_{n=0}^\infty x_1^n x_2^n[/math] は2つの双曲線の間の集合 [math]\{ (x_1,x_2): |x_1 x_2| \lt 1\}[/math] で絶対収束する。（これは log 凸集合の例である、つまり [math](x_1,x_2)[/math] が上の領域に属するときの点 [math](\log |x_1|, \log |x_2|)[/math] 全体の集合は凸集合である。より一般に、 $c = 0$ のとき、絶対収束領域の内部は常にこの意味で log 凸集合であることを示すことができる。）一方、この収束領域の内部では、通常の冪級数のときとまったく同様に、項別に微分・積分ができる。

冪級数のオーダー

$α$ を冪級数 $f (x 1, x 2, \dots, x n)$ に対する多重指数とする。冪級数 $f$ のオーダー (order) は $a α \neq 0$ なる最小の値 $| α |$ と定義される。ただし $f \equiv 0$ のときは $0$ と定義される。とくに、一変数 $x$ の冪級数 $f (x)$ に対して、 $f$ のオーダーは非零係数を持つ $x$ の最小冪である。この定義は直ちにローラン級数に拡張される。

脚注

↑ Howard Levi (1967). Polynomials, Power Series, and Calculus. Van Nostrand, 24.

参考文献

{{#invoke:citation/CS1|citation

|CitationClass=citation }}

外部リンク

Weisstein, Eric W. “Formal Power Series”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
Weisstein, Eric W. “Power Series”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
Complex Power Series Module by John H. Mathews
Powers of Complex Numbers by Michael Schreiber, Wolfram Demonstrations Project.

[1] Howard Levi (1967). Polynomials, Power Series, and Calculus. Van Nostrand, 24.

[1]

冪級数

Contents

概要

例

収束半径

冪級数の操作

加法と減法

乗法と除法

微分と積分

解析関数

形式的冪級数

多変数の冪級数

冪級数のオーダー

関連項目

脚注

参考文献

外部リンク

案内メニュー

表示

個人用ツール

navigation

search

tool