Skip to content

第1部:関数の多項式表現とマクローリン展開

この章では、複雑な関数をシンプルで扱いやすい「多項式( のべき乗の足し算)」の形に変形していくアプローチを学びます。その入り口となるのが、高校数学でもおなじみの「等比級数」です。

等比級数はスゴイ!

まずは、初項 、公比 の等比数列の和 を思い出してみましょう。

この和を求めるためのテクニックとして、両辺に公比 を掛けたものを引き算します。

したがって、 のとき、等比数列の和の公式は次のように求まります。

無限等比級数へのステップアップ

ここで、 を無限大()に飛ばすことを考えます。 もし、公比 の絶対値が1より小さければ()、 に近づいていきます()。

すると、無限等比級数の和は非常にシンプルな形になります。


分数の正体?

先ほど導いた無限等比級数の公式 を、少し違った視点で見てみましょう。 初項 、公比 と置き換えてみると、次のような関数 の式が得られます。

これは驚くべき結果です。 という分数関数が、 の無限の足し算(多項式)で表現できることを意味しています。

収束する範囲()に注意

この等式が成り立つのは、あくまで公比に相当する を満たす範囲だけです。グラフを描いてみると、 から の間でのみ、元の分数関数と多項式の和がピタリと一致することがわかります( では発散してしまいます)。


対数の正体?

分数関数が多項式で書けるなら、これを「積分」してみたらどうなるでしょうか?

の両辺を で積分してみます。左辺は対数関数になります。

右辺の多項式も順番に積分していくと、次のようになります。 (※積分定数はここでは一旦置いておきます)

なんと、対数関数 も多項式で表現できることがわかりました!

逆に「微分」してみると?

今度は逆に の両辺を微分してみましょう。

左辺の微分:

右辺の微分:

よって、次のような新しい関数の展開式も手に入ります。

このように、知っている展開式を積分したり微分したりすることで、色々な関数を多項式の形に変形できるのです。


いろいろな関数を多項式へ:マクローリン展開

分数や対数だけでなく、 など、あらゆる関数 を多項式で表すことはできないでしょうか?

このとき、私たちが知りたいのは各項の係数 の値です。 これを求めるための鮮やかなアプローチを見ていきましょう。

係数 を求めるステップ

1. を代入して「バッサリ」斬る 元の式に を代入すると、 が含まれる項はすべて消え去ります。

これで最初の係数 がわかりました。

2. 1回微分して を代入 元の式を1回微分してみます。

ここに再び を代入すると、定数項になった だけが残ります。

3. 2回微分して を代入 もう一度微分します。

を代入すると:

4. 3回微分して を代入 さらにもう一度微分します。

を代入すると:

マクローリン展開の公式

この操作を繰り返していくと、一般の係数 は次のように求まることが法則として見えてきます。

(※ は関数 回微分して を代入した値です)

これを元の多項式の式に当てはめると、あらゆる関数 を多項式で表現する究極の公式「マクローリン展開(Maclaurin series)」が完成します。

一見複雑な関数も、このマクローリン展開を使うことで、コンピュータでも計算しやすい単純な「足し算と掛け算(多項式)」の形に落とし込むことができるのです。

代表的な関数のマクローリン展開

先ほど導いたマクローリン展開の公式 を使って、よく知られた関数を多項式に変形してみましょう。

1. 指数関数

は、何回微分しても のままです。そのため、 を代入した値は常に となります。これを公式に当てはめると、非常に美しい級数が得られます。

2. 三角関数

を微分していくと、 と周期的に変化します。これに を代入すると、 が繰り返されます。 偶数乗の項が消え、奇数乗の項だけが残り符号が交互に入れ替わる多項式になります。

同様に を展開すると、今度は奇数乗の項が消え、偶数乗の項だけが残ります。


数学における「奇跡の出会い」:オイラーの公式

ここで、指数関数 の展開式 に、虚数単位 を含む を代入してみましょう。 となる性質を使うと、式は次のように展開・整理されます。

これを実数部分( がつかない項)と虚数部分( がつく項)に整理して分けてみます。

奇跡の符合

なんと、前半の括弧の中身は「 のマクローリン展開」、後半の括弧の中身は「 のマクローリン展開」と完全に一致しています!

これにより、全く別物だと思われていた「指数関数」と「三角関数」が、複素数の世界で一つに結びつく世紀の公式が導かれます。


級数の収束性:その多項式はどこまで信用できる?

関数を無限の多項式(級数)で表現できることがわかりましたが、実は「どんな を代入しても無限の足し算が計算できる(発散しない)」わけではありません。 無限級数 がきちんと有限の値を持つ(収束する)範囲を知るための、強力な判定法を2つ紹介します。

1. ダランベールの収束判定法(比判定法)

隣り合う項の「比」に注目する方法です。 ある項から次の項へ進むとき、値がどれくらい変化するかを調べます。この比の絶対値の極限が より小さければ、その級数は絶対収束します。

式を変形すると、収束する の範囲(収束半径)は となります。

2. コーシー・アダマールの収束判定法(根判定法)

項の 乗根に注目する方法です。ダランベールの判定法が使えない場合にも有効です。

(※ は上極限を表します。)

判定法の適用例: はどこまで計算できる?

先ほど導いた のマクローリン展開は、どの範囲の で成り立つのでしょうか?

  • の場合: 係数は です。ダランベールの判定法で比を計算すると となり、 でこの値は に近づきます。
  • の場合: 係数は です。同様に比を計算すると となり、やはり になります。

極限が になるということは、 がどれだけ大きな値であっても、掛け算した結果は必ず より小さくなる(収束の条件を満たす)ことを意味します。 つまり、 のマクローリン展開は、すべての実数範囲()で有効であり、完全に一致するという非常に強力な性質を持っているのです。