冪級数・とは？初心者がつまずかない入門ガイド共起語・同意語・対義語も併せて解説！

この記事を書いた人

高岡智則

年齢：33歳性別：男性職業：Webディレクター（兼ライティング・SNS運用担当）居住地：東京都杉並区・永福町の1LDKマンション出身地：神奈川県川崎市身長：176cm 体系：細身〜普通（最近ちょっとお腹が気になる）血液型：A型誕生日：1992年11月20日最終学歴：明治大学・情報コミュニケーション学部卒通勤：京王井の頭線で渋谷まで（通勤20分）家族構成：一人暮らし、実家には両親と2歳下の妹恋愛事情：独身。彼女は2年いない（本人は「忙しいだけ」と言い張る）

冪級数・とは？

数学で「冪級数（べききゅうすう）」とは、ある数の べき乗 を係数として並べ、それらを足し合わせたもののことです。ここでは「冪」はべき乗を指します。

このような和を <span>∑_{n=0}^{∞} a_n x^n の形で表します。ここで x は変数、n は非負の整数を表します。

冪級数の魅力は、x の値によって和が有限になるかどうかが決まる点です。収束する範囲があり、その範囲内でのみ和が意味を持ちます。

代表的な例

例1: 幾何級数 係数がすべて 1 のとき、∑_{n=0}^{∞} x^n となります。|x|<1 のとき和は 1/(1-x) に等しく、無限に続く項の和として意味を持ちます。

例2: 係数が 1/n の冪級数 では、∑ (1/n) x^n の半径は R = 1 です。つまり |x|<1 の範囲で収束します。x=1 のときは ∑ 1/n となり発散しますが、x=-1 のときは交互級数になって収束します。

収束と半径の考え方

冪級数の重要な性質は、収束の範囲が決まっていることです。数列の和が有限の値になる点を収束、その範囲の外を発散といいます。

一般には 半径の概念 R があり、|x| のとき絶対収束、|x|>R のとき発散、|x|=R のときは場合により収束したり発散したりします。

半径 R はしばしば R = 1 / limsup_{n→∞} |a_n|^{1/n} の形で表されます。実務では ratio テストを使って近づけることが多いです。

項ごとに微分・積分ができる

冪級数はこの性質を持ち、|x|項ごとに微分・積分しても結果は元の和の同じ範囲で成立します。これを使うと、関数の導関数や積分を、難しい関数を使わずに近似的に求めることができます。

身近な使い方のヒント

実用的には、好きな関数の近似を作るときに冪級数を使います。例えば、指数関数 e^x の展開は 1 + x + x^2/2! + x^3/3! + … です。これを用いれば、x が小さいときには実際の値を簡単に計算できます。

練習問題

次の冪級数の収束範囲を考えてみましょう。
① ∑ x^n
② ∑ (1/n) x^n

例	収束のポイント
∑ x^n	\|x\|<1 のとき収束（和は 1/(1-x)）
∑ (1/n) x^n	半径 R = 1; \|x\|<1 で収束。x=1 は発散、x=-1 は条件付き収束

このように、冪級数は難しそうな関数を、少しずつ足し合わせる形で理解したり近似したりするのに役立ちます。初めは難しく感じるかもしれませんが、例と練習を重ねると「どんなときに収束するのか」「どの範囲で計算が成り立つのか」が自然に見えてきます。

冪級数の同意語

べき級数: 無限級数の一種で、形が Σ_{n=0}^∞ a_n (x−x0)^n のように、変数の冪（べき乗）だけで構成される和。一般には x0 の周りで収束し、関数をその点の周りに展開する冪級数展開として用いられる。
冪級数: べき級数と同義の用語。無限級数で、一般形は Σ_{n=0}^∞ a_n (x−x0)^n や Σ_{n=0}^∞ a_n z^n の形をとる。収束半径の範囲内で値を持ち、関数の周りの冪展開を表す。

冪級数の対義語・反対語

有限級数: 項が有限個だけの級数。冪級数は通常、無限に続く項の和ですが、有限級数は終わりがあるため、多くの場合は多項式として表現されます。
多項式: xのべき乗の項が有限個だけの式。冪級数のように無限に項が続くわけではなく、有限の次数までで止まります。
切断冪級数: ある次数Nまでの項だけを取り出して残りを切り捨てた冪級数。有限項で近似する際に使われます。
有限展開: 冪級数を有限項まで展開して表すこと。実用的には近似計算や簡略化のために用いられます。

冪級数の共起語

係数: 冪級数の各項の前につく定数。一般に a_n と表され、項は a_n x^n となる。
変数: 冪級数の中で変化させる値。通常は x のことを指す。
項: 冪級数の1つの要素。形は a_n x^n の1項を指す。
次数: 項の x の指数。すなわち n の値のこと。
無限級数: 項が無限個続く級数。冪級数は通常これに該当する。
半径収束: 冪級数が収束する x の範囲の半径。通常 |x|
収束: 級数の和が極限を持つこと。有限の値に近づく現象。
収束域: 級数が収束する x の集合。例: 区間(-R, R) や複素平面の円の内部など。
収束判定: 級数が収束するかを判定する方法の総称。テストを使うことが多い。
比の判定: 比の判定（ratio test）。隣接項の比の極限で収束を判断する方法。
根の判定: 根の判定（root test）。項の n 乗根の極限で収束を判断する方法。
テイラー級数: 関数をある点を中心として冪級数で展開したもの。f(x) ≈ ∑ f^(n)(a)/n! (x−a)^n
マクローリン級数: テイラー級数を特定の点 a=0 で展開した特殊ケース。
一般項: 冪級数の各項の一般的な形。形は a_n x^n。
係数列: a_n の並び。級数の係数を決める数列。
展開中心: テイラー級数で展開の中心となる点。通常は a。
収束境界: 半径収束の境界。|x|=R のとき収束するかは関数次第。
収束の速さ: 級数が収束する速度。誤差がどれくらい速く減るかを示す指標。
漸近展開: 大きな値のときに用いる近似表現。厳密な収束とは別の近似形。

冪級数の関連用語

冪級数: 無限級数の一種で、中心点 c を基準に展開する形。係数 a_n と (x−c)^n の積を足し合わせる。一般形は sum_{n=0}^∞ a_n (x−c)^n。
収束半径: 冪級数が収束する距離の半径。通常は |x−c| < R の範囲で絶対収束し、R はコーシー＝ハダマールの公式 1/R = limsup_{n→∞} |a_n|^{1/n} で求められる。
収束域: 実数の場合は収束する区間、複素数の場合は中心点を中心とした半径 R の円盤。端点は場合により収束することもあり、事前に判定が必要。
中心点: 冪級数の展開の基準点。通常 c で、展開は (x−c) を中心に進む。
係数 a_n: 冪級数の各項の係数。n 番目の項の重みを決定する。
テイラー級数: 関数をある点 c の周りで展開する冪級数。公式は f(x) = ∑_{n=0}^∞ f^{(n)}(c)/n! (x−c)^n。
マクローリン級数: テイラー級数の特別ケースで、中心点を 0 にした展開。公式は f(x) = ∑_{n=0}^∞ f^{(n)}(0)/n! x^n。
複素冪級数: 複素変数 z に対する冪級数。収束半径は複素平面の円盤で決まり、収束域は |z−c| < R。
絶対収束: 収束域内でしばしば絶対収束する。すなわち ∑ |a_n (x−c)^n| が収束する。
コーシー＝ハダマールの公式: 収束半径は 1/R = limsup_{n→∞} |a_n|^{1/n}、R が冪級数の収束半径を決定する。
端点の収束性: 端点 x−c = ±R では収束する場合と発散する場合があり、個別の判定が必要。
根判定・比率判定: 級数の収束を判定する一般的な方法。冪級数では根判定から収束半径を推定できる。
例: e^x の冪級数展開: e^x = ∑_{n=0}^∞ x^n / n!。この級数は全実数 x で収束し、収束半径は無限大。