Ch.11
テイラー級数:多項式による複雑な関数の近似
チャプター別 数学図
チャプターを選ぶと、下の図がそのチャプターの内容に切り替わります。中級数学の流れを一覧で確認できます。
複雑な曲線も、1点の近くを拡大すれば直線(1次)や放物線(2次)のように見えます。下のアニメーションで次数を上げるほど原関数に沿う様子を追ってみましょう。
テイラー級数は、この点での関数の動きを微分値に込め、近くの区間だけ多項式で代わりに描く道具です。
1次:接線で追う2次:放物線のように曲げる3次:より遠くまで一致
지금 보는 단계
1次:接線で追う
원함수1차 근사핵심: 중심에서 멀수록 오차 큼
핵심: 차수가 올라갈수록 보통 더 정확해집니다.
紫が原関数、オレンジ・緑・青が1・2・3次テイラー近似です。中心から離れるほど誤差が大きくなります。
テイラー級数は、複雑な関数を「今立っている点」の近くで多項式に置き換える方法です。1次近似は接線のように直線で追い、2次・3次に上げるほど曲線にぴったり沿います。AIでは損失関数や活性化関数を単純な式で近似するとき、ニュートン法や2次最適化を理解するときにこの概念が核心になります。
テイラー級数:複雑な関数を多項式で追いかける
テイラー級数とは? 難しい関数 を、1点 の近くだけ使える多項式に置き換える公式です。値・傾き・曲率を組み合わせ、近くの では元の関数とほぼ同じ値になります。
地図を拡大すると曲がった道も直線に見えます。テイラー級数も同じ原理で、点 の近くを拡大すると複雑な関数は のような単純な多項式のように振る舞います。
正式には です。 は での 階微分、 は階乗です。マクローリン級数は の特別な場合です。
機械学習では損失関数をパラメータ近傍で2次多項式に近似するとニュートン法・ヘシアン(Ch.10)につながります。活性化関数も小さな区間では線形・2次近似で読め、学習率や近似誤差の理解に役立ちます。
テイラー級数は、特定の点の近くで複雑な関数を多項式で近似する道具です。1次は勾配、2次はヘシアン・ニュートンと結びつき、次数を上げるほど精度が上がります。Ch.08勾配、Ch.10ヘシアンとともに最適化理解の柱をなします。
微分だけでは今の傾きは分かっても曲線全体は分かりにくい。テイラー級数は同じ点の高次微分まで使い、近傍の形を1つの多項式にまとめます。
Ch.10のヘシアンは2次項 を行列に一般化したものです。2次テイラーが分かると、2階微分が曲率・ニュートンステップに使われる理由が自然につながります。
1. 勾配降下ではどう使う?(1次近似)
勾配降下は「今いる点で損失を最も減らす方向」へ少しずつ進む方法です。このとき内部の考え方は1次テイラー近似と同じです。つまり、現在点の近くでは損失を接線(直線)で近似して次の一歩を決めます。
実務的な流れは次の通りです。
- 現在のパラメータで損失と勾配を計算する
- 1次近似の視点で減少方向を決める
- 学習率を掛けて1ステップ移動する
この見方の利点は、更新式を暗記ではなく「1次近似に基づく意思決定」として理解できることです。学習率が大きすぎると振動し、小さすぎると遅い理由も説明しやすくなります。
2. ニュートン法・ヘシアンではどう使う?(2次近似)
ニュートン法は1次情報(傾き)だけでなく、2次情報(曲率)も使います。2次テイラー近似で損失地形を放物面として見て、その形に合わせて効率の良い移動量を決めます。
簡単に比べると、
- 1次近似(勾配降下):方向を決めるのが得意
- 2次近似(ニュートン法):方向と移動量をより賢く決める
ヘシアンは曲率をまとめた中核の道具です。方向ごとの急さ・緩さが分かるため、方向別に移動量を調整できます。条件が合えば、ニュートン系はかなり速く収束します。
3. 数値計算・深層学習の実装ではどう使う?
実務では、複雑な関数を毎回厳密計算するより、必要な区間で近似して計算量を下げる方が有効です。テイラー級数はその代表です。
よくある使い方は次の通りです。
- , , などを小区間で多項式近似して高速化
- 活性化関数や損失関数を動作区間で単純化して解析
- 現在点まわりの地形近似を使って安定な最適化ステップを設計
深層学習では、全域を厳密に解析するより「今のパラメータ近傍」をうまく読む方が重要な場面が多いです。テイラー視点は計算を軽くし、なぜその更新になるかの解釈性も上げます。つまり授業用の理論だけでなく、実運用で使う判断軸です。
下の表は問題解決に必要な公式と記号だけをまとめました。表の下の例題で手順を確認してください。
- 公式
- 記号の意味次テイラー多項式。 = 階微分。
- 公式
- 記号の意味1次(線形)近似 = 接線。MLの勾配1ステップ。
- 公式
- 記号の意味2次近似。ニュートン・ヘシアン。
- 公式(マクローリン)
- 記号の意味中心が原点。
- 公式次の項の数
- 記号の意味 個。
- 公式 の係数
- 記号の意味低次多項式のマクローリンで判定。
- 公式剰余項
- 記号の意味おおよそ 次。
- 公式ML
- 記号の意味1次→SGD、2次→ニュートン・ヘシアン。
| 公式 | 記号の意味 |
|---|---|
| 次テイラー多項式。 = 階微分。 | |
| 1次(線形)近似 = 接線。MLの勾配1ステップ。 | |
| 2次近似。ニュートン・ヘシアン。 | |
| (マクローリン) | 中心が原点。 |
| 次の項の数 | 個。 |
| の係数 | 低次多項式のマクローリンで判定。 |
| 剰余項 | おおよそ 次。 |
| ML | 1次→SGD、2次→ニュートン・ヘシアン。 |
例題
例1 — definition(真偽判定)
「マクローリン級数は中心 のテイラー級数である。」
① 真
② 偽
マクローリンは中心が0の特別なテイラーです。→ 正答 1
例2 — definitionChoice(選択式の概念問題)
「1次テイラー近似として正しい式はどれ?」
①
②
③ 1次近似は常に原関数と完全一致する
1次近似は接線形なので
①が正しいです。→ 正答 1
例3 — linearApprox(1次近似の計算)
「, 中心 のとき は?」
線形関数では1次近似が原関数と同じです。。→ 正答 7
例4 — quadraticApprox(2次近似の計算)
「, 中心 のとき は?」
もともと2次多項式なので2次近似と一致します。。→ 正答 9
例5 — maclaurinCoeff(係数読み取り)
「 のマクローリン級数で の係数は?」
の前の係数をそのまま読めばよいです。→ 正答 5
例6 — derivativeAtCenter(中心での導関数値)
「 のとき は?」
を3回微分すると6。定数は でも6です。→ 正答 6
例7 — termCount(項数)
「4次テイラー多項式の項数は?」
0次から4次まで含むので 項です。→ 正答 5
例8 — remainderOrder(剰余項の次数)
「 次テイラー近似後、剰余項の代表次数は?」
①
②
③
剰余項は通常1つ高い次数から始まります。→ 正答 2
例9 — mlConcept(MLとの対応)
「1次テイラー近似に最も近いML解釈は?」
① 現在の勾配で1ステップ動く考え方
② 常にヘシアン逆行列を掛ける考え方
③ バッチ正規化を定義する考え方
1次近似は勾配ベースの1ステップ直観と対応します。→ 正答 1
문제
説明が真なら 1、偽なら 0 を選んでください。
1次テイラー多項式は での接線と一致する。
1 / 5