テイラー級数

1 基本概念

テイラー級数は、関数をある点の近傍で多項式の無限和として表す方法である。中心となる点のまわりで、関数値と各階微分の情報を用いて式を組み立てるため、局所的な振る舞いを系統的に記述できる。解析学では基本的な表現法の一つであり、近似計算の出発点としても重要である。

1.1 定義

関数 \(f(x)\) が点 \(a\) の近くで十分に微分可能であるとき、テイラー級数は \[ f(x)=\sum_{n=0}^{\infty}\frac{f^{(n)}(a)}{n!}(x-a)^n \] の形で与えられる。ここで \(f^{(n)}(a)\) は \(n\) 階導関数の点 \(a\) における値を表す。有限項で打ち切ればテイラー多項式となり、残りの部分は剰余項として扱われる。

1.2 テイラー多項式

テイラー多項式は、級数の無限和のうち最初の有限個の項だけを取り出した多項式である。次数を上げるほど元の関数に近づくことが期待され、局所近似の精度を段階的に高められる。実用上は、この有限近似が数値計算や理論解析で頻繁に利用される。

1.3 マクローリン級数

マクローリン級数は、展開点を 0 に固定したテイラー級数である。 \[ f(x)=\sum_{n=0}^{\infty}\frac{f^{(n)}(0)}{n!}x^n \] という形をとり、原点周りの性質を調べる際に便利である。初等関数の多くは、この形で簡潔に表される。

1.4 関数近似としての意義

テイラー級数の大きな利点は、複雑な関数を多項式へ置き換えて扱える点にある。多項式は微分や積分、近似評価がしやすいため、計算を単純化できる。特に、変数が展開点の近くにある場合には高い精度が得られやすい。

2 数学的な性質

テイラー級数の有効性は、単に形式的な展開ができるかどうかではなく、実際にどの範囲で関数を表現するかに左右される。収束や剰余項の評価は、理論上も実用上も中心的な問題である。

2.1 一般項

一般項は、各階微分を係数とし、べき乗を掛け合わせた \[ \frac{f^{(n)}(a)}{n!}(x-a)^n \] で表される。係数には階乗が現れるため、高次項ほど通常は急速に小さくなることが多い。ただし、微分値の増大が速い関数では、その限りではない。

2.2 剰余項

有限のテイラー多項式と元の関数との差は剰余項と呼ばれる。これは近似の誤差を表すもので、展開の精度を見積もるうえで欠かせない。剰余項の形がわかると、どの程度の次数で十分かを判断しやすくなる。

2.2.1 ラグランジュ型剰余

ラグランジュ型剰余は、ある中間点 \(\xi\) を用いて \[ R_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1} \] と表される。中間値の存在を前提とするため、誤差の大きさを上界として評価しやすい。解析的な証明や近似の保証にしばしば用いられる。

2.2.2 積分型剰余

積分型剰余は、剰余項を積分表示で書く方法である。 \[ R_n(x)=\frac{1}{n!}\int_a^x f^{(n+1)}(t)(x-t)^n\,dt \] の形が代表的で、関数の滑らかさと誤差の関係を明確に示す。積分表示は理論的な操作に適しており、証明や評価に役立つ。

2.3 収束

テイラー級数が定義されても、それが実際に収束するとは限らない。収束する場合でも、関数値と一致するかどうかは別問題である。収束性の判定は、級数論と解析関数論の接点に位置する重要なテーマである。

2.3.1 収束半径

収束半径は、級数が絶対収束する中心からの距離の限界を指す。通常、中心からの距離が収束半径より小さい範囲で級数は収束する。複素解析では、この値が特異点の位置と深く関係することが多い。

2.3.2 収束区間

実変数の場合、収束半径に基づいて実数軸上の収束区間が定まる。端点での収束は別途判定する必要があり、区間全体での挙動は一様ではない。したがって、単に半径がわかるだけでは十分でない場合がある。

2.4 解析関数との関係

ある関数がその点でのテイラー級数と一致するなら、その関数は解析的であるという。すべての無限回微分可能な関数が解析的とは限らないため、滑らかさと級数展開の一致は区別される。解析関数では、局所情報が級数を通して関数全体の性質を強く反映する。

3 代表的な展開例

初等関数の多くは、テイラー級数によって非常に簡潔に記述できる。これらの例は、理論の理解だけでなく、計算実務でも基本となる。

3.1 指数関数

指数関数 \(e^x\) のマクローリン級数は \[ e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!} \] である。すべての実数で収束し、最も標準的な展開例として扱われる。微分しても形が変わらない性質が、この簡潔な表現と対応している。

3.2 三角関数

正弦関数と余弦関数は、交互に現れるべき級数として展開される。 \[ \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 対数関数

\[ \ln(1+x) \]

\[ \ln(1+x)=\sum_{n=1}^{\infty}(-1)^{n+1}\frac{x^n}{n} \] と展開できる。原点近くでは滑らかな近似を与えるが、収束範囲には制限があるため、使用には注意が必要である。端点での挙動も別に確認しなければならない。

3.4 幾何級数との関係

幾何級数 \[ \frac{1}{1-x}=\sum_{n=0}^{\infty}x^n \] は、テイラー級数の最も基本的な例の一つである。これをもとに、他の多くの関数展開が導かれる。微分や積分を施すことで、関連する級数表現を系統的に得られる点も重要である。

4 応用

テイラー級数は、純粋数学だけでなく実用分野でも広く使われる。複雑な式を扱いやすい形へ変換できるため、理論構築と計算の両面で役立つ。

4.1 微分方程式への応用

微分方程式の解を級数形で求める方法では、未知関数をテイラー級数として仮定し、係数を順に決定する。これにより、閉じた形の解が得にくい場合でも、局所解を構成できる。初期条件との整合性を取りやすい点も利点である。

4.2 数値計算への応用

数値計算では、関数値の近似や誤差評価のためにテイラー展開が使われる。例えば、関数の急な変化が小さい範囲では、低次数の多項式でも十分な精度が得られる。アルゴリズム設計においても、丸め誤差や打ち切り誤差の見積もりに関与する。

4.3 物理学での利用

物理学では、平衡点の近くでの振る舞いを調べる際にテイラー級数が頻繁に現れる。力学系、波動、熱力学などで、非線形な式を一次または二次まで展開し、近似的なモデルを作ることがある。これにより、解析が著しく簡単になる。

4.4 近似誤差の評価

近似誤差の評価は、展開を実際に使う際の核心である。剰余項を通じて、どの程度まで元の関数に近いかを定量的に把握できる。必要な精度と計算量の兼ね合いを考えながら次数を選ぶことが、実務では重要になる。