みんなのAI
機械学習プレイグラウンド
読み込み中…

学ぶ

Ch.11

テイラー級数:多項式による複雑な関数の近似

チャプター別 数学図

チャプターを選ぶと、下の図がそのチャプターの内容に切り替わります。中級数学の流れを一覧で確認できます。

複雑な曲線も、1点の近くを拡大すれば直線(1次)や放物線(2次)のように見えます。下のアニメーションで次数を上げるほど原関数に沿う様子を追ってみましょう。
テイラー級数は、この点での関数の動きを微分値に込め、近くの区間だけ多項式で代わりに描く道具です。
1次:接線で追う2次:放物線のように曲げる3次:より遠くまで一致
지금 보는 단계

1次:接線で追う

원함수1차 근사핵심: 중심에서 멀수록 오차 큼

핵심: 차수가 올라갈수록 보통 더 정확해집니다.

紫が原関数、オレンジ・緑・青が1・2・3次テイラー近似です。中心から離れるほど誤差が大きくなります。

テイラー級数は、複雑な関数を「今立っている点」の近くで多項式に置き換える方法です。1次近似は接線のように直線で追い、2次・3次に上げるほど曲線にぴったり沿います。AIでは損失関数や活性化関数を単純な式で近似するとき、ニュートン法や2次最適化を理解するときにこの概念が核心になります。

テイラー級数:複雑な関数を多項式で追いかける

テイラー級数とは? 難しい関数 f(x)f(x)f(x) を、1点 aaa の近くだけ使える多項式に置き換える公式です。値・傾き・曲率を組み合わせ、近くの xxx では元の関数とほぼ同じ値になります。
地図を拡大すると曲がった道も直線に見えます。テイラー級数も同じ原理で、点 aaa の近くを拡大すると複雑な関数は 1+x+x2/2+⋯1 + x + x^2/2 + \cdots1+x+x2/2+⋯ のような単純な多項式のように振る舞います。
正式には Tn(x)=f(a)+f′(a)(x−a)+f′′(a)2!(x−a)2+⋯+f(n)(a)n!(x−a)nT_n(x)=f(a)+f^{\prime}(a)(x-a)+\frac{f^{\prime\prime}(a)}{2!}(x-a)^2+\cdots+\frac{f^{(n)}(a)}{n!}(x-a)^nTn​(x)=f(a)+f′(a)(x−a)+2!f′′(a)​(x−a)2+⋯+n!f(n)(a)​(x−a)n です。f(k)(a)f^{(k)}(a)f(k)(a) は aaa での kkk 階微分、k!k!k! は階乗です。マクローリン級数は a=0a=0a=0 の特別な場合です。
機械学習では損失関数をパラメータ近傍で2次多項式に近似するとニュートン法・ヘシアン(Ch.10)につながります。活性化関数も小さな区間では線形・2次近似で読め、学習率や近似誤差の理解に役立ちます。
テイラー級数は、特定の点の近くで複雑な関数を多項式で近似する道具です。1次は勾配、2次はヘシアン・ニュートンと結びつき、次数を上げるほど精度が上がります。Ch.08勾配、Ch.10ヘシアンとともに最適化理解の柱をなします。
微分だけでは今の傾きは分かっても曲線全体は分かりにくい。テイラー級数は同じ点の高次微分まで使い、近傍の形を1つの多項式にまとめます。
Ch.10のヘシアンは2次項 f′′(a)2(x−a)2\frac{f^{\prime\prime}(a)}{2}(x-a)^22f′′(a)​(x−a)2 を行列に一般化したものです。2次テイラーが分かると、2階微分が曲率・ニュートンステップに使われる理由が自然につながります。
1. 勾配降下ではどう使う?(1次近似)
勾配降下は「今いる点で損失を最も減らす方向」へ少しずつ進む方法です。このとき内部の考え方は1次テイラー近似と同じです。つまり、現在点の近くでは損失を接線(直線)で近似して次の一歩を決めます。
実務的な流れは次の通りです。
- 現在のパラメータで損失と勾配を計算する
- 1次近似の視点で減少方向を決める
- 学習率を掛けて1ステップ移動する
この見方の利点は、更新式を暗記ではなく「1次近似に基づく意思決定」として理解できることです。学習率が大きすぎると振動し、小さすぎると遅い理由も説明しやすくなります。
2. ニュートン法・ヘシアンではどう使う?(2次近似)
ニュートン法は1次情報(傾き)だけでなく、2次情報(曲率)も使います。2次テイラー近似で損失地形を放物面として見て、その形に合わせて効率の良い移動量を決めます。
簡単に比べると、
- 1次近似(勾配降下):方向を決めるのが得意
- 2次近似(ニュートン法):方向と移動量をより賢く決める
ヘシアンは曲率をまとめた中核の道具です。方向ごとの急さ・緩さが分かるため、方向別に移動量を調整できます。条件が合えば、ニュートン系はかなり速く収束します。
3. 数値計算・深層学習の実装ではどう使う?
実務では、複雑な関数を毎回厳密計算するより、必要な区間で近似して計算量を下げる方が有効です。テイラー級数はその代表です。
よくある使い方は次の通りです。
- exe^xex, sin⁡x\sin xsinx, log⁡(1+x)\log(1+x)log(1+x) などを小区間で多項式近似して高速化
- 活性化関数や損失関数を動作区間で単純化して解析
- 現在点まわりの地形近似を使って安定な最適化ステップを設計
深層学習では、全域を厳密に解析するより「今のパラメータ近傍」をうまく読む方が重要な場面が多いです。テイラー視点は計算を軽くし、なぜその更新になるかの解釈性も上げます。つまり授業用の理論だけでなく、実運用で使う判断軸です。
下の表は問題解決に必要な公式と記号だけをまとめました。表の下の例題で手順を確認してください。
  • 公式Tn(x)=∑k=0nf(k)(a)k!(x−a)kT_n(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^kTn​(x)=∑k=0n​k!f(k)(a)​(x−a)k
  • 記号の意味nnn次テイラー多項式。f(k)(a)f^{(k)}(a)f(k)(a) = kkk階微分。
  • 公式T1(x)=f(a)+f′(a)(x−a)T_1(x)=f(a)+f^{\prime}(a)(x-a)T1​(x)=f(a)+f′(a)(x−a)
  • 記号の意味1次(線形)近似 = 接線。MLの勾配1ステップ。
  • 公式T2(x)=f(a)+f′(a)(x−a)+f′′(a)2(x−a)2T_2(x)=f(a)+f^{\prime}(a)(x-a)+\frac{f^{\prime\prime}(a)}{2}(x-a)^2T2​(x)=f(a)+f′(a)(x−a)+2f′′(a)​(x−a)2
  • 記号の意味2次近似。ニュートン・ヘシアン。
  • 公式a=0a=0a=0(マクローリン)
  • 記号の意味中心が原点。
  • 公式nnn次の項の数
  • 記号の意味n+1n+1n+1 個。
  • 公式xnx^nxn の係数
  • 記号の意味低次多項式のマクローリンで判定。
  • 公式剰余項
  • 記号の意味おおよそ (x−a)n+1(x-a)^{n+1}(x−a)n+1 次。
  • 公式ML
  • 記号の意味1次→SGD、2次→ニュートン・ヘシアン。
公式記号の意味
Tn(x)=∑k=0nf(k)(a)k!(x−a)kT_n(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^kTn​(x)=∑k=0n​k!f(k)(a)​(x−a)knnn次テイラー多項式。f(k)(a)f^{(k)}(a)f(k)(a) = kkk階微分。
T1(x)=f(a)+f′(a)(x−a)T_1(x)=f(a)+f^{\prime}(a)(x-a)T1​(x)=f(a)+f′(a)(x−a)1次(線形)近似 = 接線。MLの勾配1ステップ。
T2(x)=f(a)+f′(a)(x−a)+f′′(a)2(x−a)2T_2(x)=f(a)+f^{\prime}(a)(x-a)+\frac{f^{\prime\prime}(a)}{2}(x-a)^2T2​(x)=f(a)+f′(a)(x−a)+2f′′(a)​(x−a)22次近似。ニュートン・ヘシアン。
a=0a=0a=0(マクローリン)中心が原点。
nnn次の項の数n+1n+1n+1 個。
xnx^nxn の係数低次多項式のマクローリンで判定。
剰余項おおよそ (x−a)n+1(x-a)^{n+1}(x−a)n+1 次。
ML1次→SGD、2次→ニュートン・ヘシアン。

例題

例1 — definition(真偽判定)
「マクローリン級数は中心 a=0a=0a=0 のテイラー級数である。」
① 真
② 偽
マクローリンは中心が0の特別なテイラーです。→ 正答 1

例2 — definitionChoice(選択式の概念問題)
「1次テイラー近似として正しい式はどれ?」
① T1(x)=f(a)+f′(a)(x−a)T_1(x)=f(a)+f^{\prime}(a)(x-a)T1​(x)=f(a)+f′(a)(x−a)
② T1(x)=f(a)+f′′(a)2(x−a)2T_1(x)=f(a)+\frac{f^{\prime\prime}(a)}{2}(x-a)^2T1​(x)=f(a)+2f′′(a)​(x−a)2
③ 1次近似は常に原関数と完全一致する
1次近似は接線形なので
①が正しいです。→ 正答 1

例3 — linearApprox(1次近似の計算)
「f(x)=2x+1f(x)=2x+1f(x)=2x+1, 中心 a=0a=0a=0 のとき T1(3)T_1(3)T1​(3) は?」
線形関数では1次近似が原関数と同じです。2⋅3+1=72\cdot3+1=72⋅3+1=7。→ 正答 7

例4 — quadraticApprox(2次近似の計算)
「f(x)=x2+2x+1f(x)=x^2+2x+1f(x)=x2+2x+1, 中心 a=0a=0a=0 のとき T2(2)T_2(2)T2​(2) は?」
もともと2次多項式なので2次近似と一致します。22+2⋅2+1=92^2+2\cdot2+1=922+2⋅2+1=9。→ 正答 9

例5 — maclaurinCoeff(係数読み取り)
「f(x)=5x3f(x)=5x^3f(x)=5x3 のマクローリン級数で x3x^3x3 の係数は?」
x3x^3x3 の前の係数をそのまま読めばよいです。→ 正答 5

例6 — derivativeAtCenter(中心での導関数値)
「f(x)=x3f(x)=x^3f(x)=x3 のとき f(3)(0)f^{(3)}(0)f(3)(0) は?」
x3x^3x3 を3回微分すると6。定数は x=0x=0x=0 でも6です。→ 正答 6

例7 — termCount(項数)
「4次テイラー多項式の項数は?」
0次から4次まで含むので 4+1=54+1=54+1=5 項です。→ 正答 5

例8 — remainderOrder(剰余項の次数)
「n=2n=2n=2 次テイラー近似後、剰余項の代表次数は?」
① (x−a)n(x-a)^n(x−a)n
② (x−a)n+1(x-a)^{n+1}(x−a)n+1
③ (x−a)n+2(x-a)^{n+2}(x−a)n+2
剰余項は通常1つ高い次数から始まります。→ 正答 2

例9 — mlConcept(MLとの対応)
「1次テイラー近似に最も近いML解釈は?」
① 現在の勾配で1ステップ動く考え方
② 常にヘシアン逆行列を掛ける考え方
③ バッチ正規化を定義する考え方
1次近似は勾配ベースの1ステップ直観と対応します。→ 正答 1

문제

説明が真なら 1、偽なら 0 を選んでください。
1次テイラー多項式は aaa での接線と一致する。
1 / 5