べき級数展開

1 基本概念

べき級数展開は、関数をある点の近くで多項式の無限和として表す方法である。有限次の多項式よりも柔軟で、局所的な形を詳しく記述できるため、解析学の基礎的な道具として扱われる。特に、関数の値や変化率を近似的に求めるときに有効である。

1.1 べき級数の定義

べき級数は、一般に \[ \sum_{n=0}^{\infty} a_n (x-c)^n \] の形で与えられる。ここで \(a_n\) は係数、\(c\) は展開の中心、\(x\) は変数である。各項がべきに基づくため、指数ごとの寄与が明確であり、項ごとの構造を追いやすい。

1.2 中心と係数

中心 \(c\) は、級数がどの点のまわりで展開されているかを示す。係数 \(a_n\) は、各次数の項がどれだけ寄与するかを決める。関数が十分に滑らかであれば、これらの係数は導関数の値から定まることが多い。中心の選び方によって、収束の様子や近似の精度が変わる。

1.3 形式的べき級数と収束べき級数

形式的べき級数は、収束を考えずに記号的な操作を行う対象である。一方、収束べき級数は、ある範囲で実際に和が定まる級数を指す。前者は代数的な変形に便利で、後者は関数表示や数値計算に直接結びつく。両者は見た目が似ていても、解析上の意味は異なる。

2 収束と収束範囲

べき級数の有用性は、どこまでその表示が成立するかに大きく左右される。収束する範囲を把握することで、級数を関数として安全に利用できる領域がわかる。中心から離れるほど収束が弱まることも多く、境界付近の挙動は特に注意を要する。

2.1 収束半径

収束半径とは、級数が絶対収束する中心からの距離の上限である。半径 \(R\) の内部では収束し、外側では発散するのが基本である。したがって、べき級数の実用範囲を示す中心的な指標となる。

2.1.1 比較判定法による求め方

項の大きさを既知の級数と比較することで、収束半径を推定できる。特に、係数の増減が単純な場合には、幾何級数との比較が役立つ。漸近的な評価を通じて、どの程度の距離まで収束が保たれるかを見積もることができる。

2.1.2 根判定法による求め方

根判定法では、係数の \(n\) 乗根の極限を調べる。 \[

\] がわかれば、収束半径を逆数として求められる場合が多い。係数の成長率を直接反映するため、一般的で扱いやすい方法である。

2.2 収束区間

実変数の場合、収束半径 \(R\) に対応して、中心 \(c\) をはさんだ区間 \((c-R,\,c+R)\) が基本的な収束区間となる。この内部では通常、項別の微分や積分も正当化されやすい。実際の適用では、区間の端に近いほど個別の検討が必要になる。

2.3 端点での収束判定

収束半径の境界にある点では、収束する場合と発散する場合が分かれる。したがって、端点ごとに別途判定を行う必要がある。交代級数判定法や比較による評価が用いられ、左右の端で結論が異なることも珍しくない。

3 代表的な展開

べき級数展開の代表例は、微分可能な関数を局所的に多項式で表すテイラー型の展開である。初等関数の多くは、よく知られた級数を持ち、それらを利用して近似計算や理論的な導出が行われる。これらの公式は、解析学の計算技法の土台を成している。

3.1 テイラー展開

テイラー展開は、ある点の近くで関数を導関数の値に基づいて表す方法である。十分に滑らかな関数について、各次数の係数が明確に与えられるため、関数の局所構造を高精度で記述できる。

3.1.1 テイラーの定理

テイラーの定理は、関数を多項式近似したときの誤差を余項として表す。これにより、有限次近似がどの程度正確かを評価できる。近似の打ち切り次数を決める際の理論的根拠として重要である。

3.1.2 余項の扱い

余項は、展開を有限項で止めたときに残る部分である。ラグランジュ形や積分形など、いくつかの表現が知られている。誤差の大きさを見積もることで、級数を実際の計算に安心して利用できる。

3.2 マクローリン展開

マクローリン展開は、テイラー展開の中心を 0 に置いた特別な場合である。式が簡潔になり、初等関数の標準的な級数表現として広く用いられる。多くの基本公式はこの形で整理される。

3.3 初等関数のべき級数展開

初等関数は、解析の基本例として繰り返し現れる。べき級数表示を知っていると、微分・積分・近似・変形が容易になる。とくに標準的な展開は、他の関数の級数を導く出発点にもなる。

3.3.1 指数関数

指数関数 \(e^x\) は、 \[ e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!} \] で表される。収束性が非常に良く、実数全体で定義できる代表例である。微分しても形が変わらない性質と相性がよい。

3.3.2 三角関数

\(\sin x\) と \(\cos x\) は、交互符号をもつ級数で展開できる。 \[ \sin x=\sum_{n=0}^{\infty}(-1)^n\frac{x^{2n+1}}{(2n+1)!},\quad \cos x=\sum_{n=0}^{\infty}(-1)^n\frac{x^{2n}}{(2n)!} \] これらは周期的な性質と結びつき、複素指数関数との関係でも重要である。

3.3.3 対数関数

対数関数は、たとえば \[ \log(1+x)=\sum_{n=1}^{\infty}(-1)^{n-1}\frac{x^n}{n} \] のように展開される。収束範囲は有限で、端点での挙動に注意が必要である。増加の緩やかな性質を反映し、解析的な評価に頻繁に使われる。

3.3.4 逆数関数と幾何級数

幾何級数 \[ \frac{1}{1-x}=\sum_{n=0}^{\infty}x^n \] は最も基本的な例の一つである。ここから、適切な変形により多くの逆数型の関数を展開できる。単純な形でありながら、級数論全体の原型として扱われる。

4 性質と応用

べき級数は、単なる表示法にとどまらず、演算や応用の面でも強力である。項ごとの処理が可能なため、計算を分解して扱いやすくなる。微分方程式や複素解析との結びつきも深い。

4.1 項別微分

収束半径の内部では、べき級数を項ごとに微分できる。微分後も同じ収束半径を保つことが多く、関数の導関数を級数で表せる。これにより、局所的な変化率を連続的に追跡しやすくなる。

4.2 項別積分

収束区間の内部では、項別積分も正当化される。積分によって新しい級数を作ることができ、既知の展開から別の公式を導ける。特に、対数関数や逆三角関数の導出で有効である。

4.3 関数近似への応用

べき級数は、複雑な関数を扱いやすい多項式で近似する手段として使われる。低次の項だけを残せば、簡便な近似式が得られる。数値計算、誤差評価、局所モデルの構築などに広く応用される。

4.4 微分方程式への応用

微分方程式の解をべき級数で仮定すると、係数比較により再帰関係が得られる。これにより、閉じた形の解が得にくい場合でも、級数解として表現できる。特異点の近くを除けば、解析的な解法として有力である。

4.5 複素解析における利用

複素解析では、正則関数は局所的にべき級数で表される。これは、関数が複素平面上で持つ解析性を特徴づける基本事実である。留数計算や解析接続の理解にもつながり、理論と計算の両面で重要である。