テイラーの定理

{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded =

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• 基本定理

• 関数の極限
• 連続性

• 平均値の定理
• ロルの定理

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

積分一覧
定義
不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分
Integration by
部分積分 Discs Cylindrical shells Substitution (trigonometric) 部分分数 順序 Reduction formulae

| list4name = series | list4title = テンプレート:Bigger | list4 =

幾何 (算術幾何) 調和 交代 冪 二項 テイラー
収束判定法
項の極限（項判定法） 比 冪根 積分 比較 極限比較 交代級数 Cauchy condensation ディリクレ アーベル

| list5name = vector | list5title = テンプレート:Bigger | list5 =

勾配 発散 回転 ラプラシアン 方向微分 公式
定理
発散 勾配 グリーン ケルビン・ストークス

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

Formalisms
行列 テンソル 外 幾何学的
定義
偏微分 多重積分 線積分 面積分 体積積分 ヤコビアン ヘッセ行列

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

• 分数階
• マリアヴァン
• 確率
• 変分

}}

ファイル:Mercator series.svg

関数 f(x) = log x の点 x = 1 における多項式 p_n(x) = Σテンプレート:SubSup(x − 1)^kf^(k)(1)/k! による近似

ファイル:Taylorspolynomialexbig.svg

指数関数 y = e^x（赤の実線）と原点のまわりでのその4次のテイラー多項式（緑の破線）。

微分積分学において、テイラーの定理（テイラーのていり、英: Taylor's theorem）は、k 回微分可能な関数の与えられた点のまわりでの近似を k 次のテイラー多項式によって与える。解析関数に対しては、与えられた点におけるテイラー多項式は、そのテイラー級数を有限項で切ったものである。テイラー級数は関数を点のある近傍において完全に決定する。「テイラーの定理」の正確な内容は1つに定まっているわけではなくいくつかのバージョンがあり、状況に応じて使い分けられる。バージョンのいくつかは関数のテイラー多項式による近似誤差の明示的な評価を含んでいる。

テイラーの定理は1712年に1つのバージョンを述べた数学者ブルック・テイラー (Brook Taylor) にちなんで名づけられている。しかし誤差の明示的な表現はかなり後になってジョゼフ＝ルイ・ラグランジュ (Joseph-Louis Lagrange) によってはじめて与えられた。結果の初期のバージョンはすでに1671年にジェームス・グレゴリー (James Gregory) によって言及されている。

テイラーの定理は微分積分学の入門レベルで教えられ、解析学の中心的な初等的道具の1つである。純粋数学ではより進んだ漸近解析の入り口であり、より応用的な分野の数値計算や数理物理学においてよく使われている。テイラーの定理は任意次元 n, m の多変数ベクトル値関数 f: Rⁿ → R^m にも一般化する。テイラーの定理のこの一般化は微分幾何学や偏微分方程式において現れるいわゆるジェットの定義の基礎である。

動機

{{ safesubst:#invoke:Unsubst||$N=Empty section |date=__DATE__ |$B=

}}

一変数の場合

定理の主張

テイラーの定理の最も基本的なバージョンの正確なステートメントは次のようになる：

テイラーの定理に現れる多項式は関数 f の点 a における k 次のテイラー多項式

[math]P_k(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(k)}(a)}{k!}(x-a)^k [/math]

である。テイラー多項式は次のような意味で「漸近的に最もフィットする」唯一の多項式である、すなわち、関数 h_k: R → R と k 次多項式 p が存在して

[math] f(x) = p(x) + h_k(x)(x-a)^k, \quad \lim_{x\to a}h_k(x)=0[/math]

となるならば、p = P_k である。テイラーの定理は剰余項

[math] r_k(x) = f(x) - P_k(x)[/math]

の漸近的な振る舞いを記述する。これは f をテイラー多項式で近似するときの近似誤差である。ランダウの記号を用いれば、テイラーの定理のステートメントは次のように書ける：

[math]r_k(x) = o(|x-a|^k), \quad x\to a.[/math]

剰余項の明示公式

f へのより強い正則性の仮定のもとで、テイラー多項式の剰余項

[math]R_{k+1}(x)=r_k(x)=f(x) - P_k(x)[/math]

に対するいくつかの正確な公式がある。最も一般的なものたちは以下のものである。

テイラーの定理のこれらの改良は通常平均値の定理を用いて証明されるため、その名前がある。また他の同様の表示も見つけられる。例えば、G(t) が閉区間上連続で微分可能で開区間上微分が消えないならば、

[math] R_{k+1}(x) = \frac{f^{(k+1)}(\xi)}{k!}(x-\xi)^k \frac{G(x)-G(a)}{G'(\xi)} [/math]

となる数 ξ が存在する。このバージョンはラグランジュとコーシーの剰余項を特別な場合として含んでおり、以下でコーシーの平均値の定理を用いて証明される。

積分形の剰余のステートメントはこれまでのものより進んでおり完全な一般性にはルベーグ積分論の理解が要求される。しかしながら、f の (k + 1) 階微分が閉区間 [a, x] 上連続であるならば、リーマン積分の意味でも成り立つ。

これはベルヌーイの剰余とも呼ばれる。閉区間上の f^(k) の絶対連続性により、導関数 f^(k+1) は L¹ 関数として存在し、結果は微分積分学の基本定理と部分積分を用いた形式的な計算により証明できる。

剰余項の評価

テイラー近似に現れる項の剰余項の正確な公式があるよりはむしろそれを評価できることの方が実用上しばしば有用である。f が a を含む区間 I において (k + 1) 回連続微分可能とする。実定数 q, Q が存在して I 上

[math]q\le f^{(k+1)}(x)\le Q[/math]

とする。このとき剰余項は x > a のとき不等式

[math]q\frac{(x-a)^{k+1}}{(k+1)!}\le R_{k+1}(x)\le Q\frac{(x-a)^{k+1}}{(k+1)!},[/math]

を満たし、x < a のときも同様の評価が成り立つ。これはラグランジュの剰余の単純な帰結である。とくに、ある r > 0 で区間 I = (a−r, a+r) 上

[math]|f^{(k+1)}(x)|\leq M[/math]

ならば、すべての x ∈ (a−r, a+r) に対して

[math]|R_{k+1}(x)| \le M\frac{|x-a|^{k+1}}{(k+1)!}\le M\frac{r^{k+1}}{(k+1)!}[/math]

である。第二の不等式は一様評価と呼ばれる。区間 (a−r, a+r) 上すべての x に対して一様に成り立つからである。

例

ファイル:Expanimation.gif

e^x（青）の x = 0 を中心とする次数 k = 1, ..., 7 のテイラー多項式 P_k（赤）による近似。

関数 f(x) = e^x を区間 [−1, 1] 上で誤差が 10⁻⁵ を超えないように近似したいとしよう。この例で我々は指数関数の次の性質しか知らないとしよう：

[math](*) \qquad e^0=1, \qquad \frac{d}{dx} e^x = e^x, \qquad e^x\gt 0, \qquad x\in\mathbb{R}.[/math]

これらの性質から次のことが従う。すべての k に対して f^(k)(x) = e^x であり、とくに、f^(k)(0) = 1 である。したがって f の 0 における k 次のテイラー多項式とそのラグランジュの剰余項は

[math] P_k(x) = 1+x+\frac{x^2}{2!}+\cdots+\frac{x^k}{k!}, \qquad R_{k+1}(x)=\frac{e^\xi}{(k+1)!}x^{k+1}[/math]

によって与えられる、ただし ξ は 0 と x の間のある数である。e^x は (*) によって増加関数だから、部分区間 [−1, 0] 上で剰余項を評価するのに単純に e^x ≤ 1 (x ∈ [−1, 0]) を使うことができる。[0, 1] 上の剰余の上界を得るには、0<ξ<x に対して e^ξ<e^x という性質を用いて、二次のテイラー展開を用いて

[math] e^x = 1 + x + \frac{e^\xi}{2}x^2 \lt 1 + x + \frac{e^x}{2}x^2, \qquad 0 \lt x\leq 1 [/math]

と評価できる。e^x について解いて、単純に分子を最大化、分母を最小化して、

[math] e^x \leq \frac{1+x}{1-\frac{x^2}{2}} = 2\frac{1+x}{2-x^2} \leq 4, \qquad 0 \leq x\leq 1 [/math]

を得る。e^x に対するこれらの評価を組み合わせて、

[math] |R_{k+1}(x)| \leq \frac{4|x|^{k+1}}{(k+1)!} \leq \frac{4}{(k+1)!}, \qquad -1\leq x \leq 1 [/math]

となるので、要求された正確さは

[math] \frac{4}{(k+1)!} \lt 10^{-5} \quad \Leftrightarrow \quad 4\cdot 10^5 \lt (k+1)! \quad \Leftrightarrow \quad k \geq 9 [/math]

のときに確かに達成されている。（値 9! = 362 880 および 10! = 3 628 800 は階乗を参照するか手計算せよ。）結論として、テイラーの定理から次の近似が導かれる：

[math] e^x = 1+x+\frac{x^2}{2!} + \ldots + \frac{x^9}{9!} + R_9(x), \qquad |R_9(x)| \lt 10^{-5}, \qquad -1\leq x \leq 1. [/math]

例えば、この近似から小数点以下五桁まで正しい小数表示 [math]e \approx 2.71828[/math] が得られる。

解析性との関連

{{ safesubst:#invoke:Unsubst||$N=Empty section |date=__DATE__ |$B=

}}

テイラーの定理の一般化

高次の微分可能性

関数 f: Rⁿ → R が a ∈ Rⁿ において微分可能であることは、次と同値である。

[math]f(\boldsymbol{x}) = f(\boldsymbol{a}) + L(\boldsymbol{x}-\boldsymbol{a}) + h(\boldsymbol{x})|\mathbf{x}-\mathbf{a}|, \qquad \lim_{\boldsymbol{x}\to\boldsymbol{a}}h(\boldsymbol{x})=0 [/math]

となるような線型汎関数 L: Rⁿ → R と関数 h: Rⁿ → R が存在する。

この条件が成り立つとき、L = df(a) は点 a における f の（一意的に定義される）微分である。さらに、このとき f の a における偏微分が存在し、f の a における微分は

[math] df( \boldsymbol{a} )( \boldsymbol{v} ) = \frac{\partial f}{\partial x_1}(\boldsymbol{a})v_1 + \cdots + \frac{\partial f}{\partial x_n}(\boldsymbol{a})v_n [/math]

によって与えられる。

次のような多重指数表記を導入する。α ∈ Nⁿ と x ∈ Rⁿ に対して、

[math] |\alpha| = \alpha_1+\cdots+\alpha_n, \quad \alpha!=\alpha_1!\cdots\alpha_n!, \quad \boldsymbol{x}^\alpha=x_1^{\alpha_1}\cdots x_n^{\alpha_n}. [/math]

f: Rⁿ → R のすべての k 階偏導関数が a ∈ Rⁿ において連続ならば、クレローの定理より、a における混合微分の順序を入れ替えることができ、したがって高階偏導関数に対する表記

[math] D^\alpha f = \frac{\partial^{|\alpha|}f}{\partial x_1^{\alpha_1}\cdots \partial x_n^{\alpha_n}}, \qquad |\alpha|\leq k [/math]

がこの状況において正当化される。f のすべての (k − 1) 階偏導関数が a のある近傍において存在し a において微分可能であれば、同じことが正しい。このとき f は点 a において k 回微分可能であるという。

多変数関数に対するテイラーの定理

関数 f: Rⁿ → R が閉球 B において k + 1 回連続微分可能ならば、f の k + 1 階偏導関数を用いてこの近傍において剰余項の正確な公式を導出できる。すなわち、

[math] \begin{align}& f( \boldsymbol{x} ) = \sum_{|\alpha|\leq k} \frac{D^\alpha f(\boldsymbol{a})}{\alpha!} (\boldsymbol{x}-\boldsymbol{a})^\alpha + \sum_{|\beta|=k+1} R_\beta(\boldsymbol{x})(\boldsymbol{x}-\boldsymbol{a})^\beta, \\& R_\beta( \boldsymbol{x} ) = \frac{|\beta|}{\beta!} \int_0^1 (1-t)^{|\beta|-1}D^\beta f \big(\boldsymbol{a}+t( \boldsymbol{x}-\boldsymbol{a} )\big) \, dt. \end{align} [/math]

このとき、コンパクト集合 B における k + 1 階偏導関数の連続性によって、ただちに次の一様評価を得る。

[math]\left|R_\beta(\boldsymbol{x})\right| \leq \frac{1}{\beta!} \max_{|\alpha|=|\beta|} \max_{\boldsymbol{y}\in B} |D^\alpha f(\boldsymbol{y})|, \qquad \boldsymbol{x}\in B. [/math]

2次元での例

例えば、関数 f: R² → R の三階のテイラー多項式は、x − a = v と書いて、

[math]\begin{align} P_3(\boldsymbol{x}) = f ( \boldsymbol{a} ) + &\frac{\partial f}{\partial x_1}( \boldsymbol{a} ) v_1 + \frac{\partial f}{\partial x_2}( \boldsymbol{a} ) v_2 + \frac{\partial^2 f}{\partial^2 x_1}( \boldsymbol{a} ) \frac {v_1^2}{2!} + \frac{\partial^2 f}{\partial x_1 \partial x_2}( \boldsymbol{a} ) v_1 v_2 + \frac{\partial^2 f}{\partial^2 x_2}( \boldsymbol{a} ) \frac{v_2^2}{2!} \\ & + \frac{\partial^3 f}{\partial x_1^3}( \boldsymbol{a} ) \frac{v_1^3}{3!} + \frac{\partial^3 f}{\partial^2 x_1 \partial x_2}( \boldsymbol{a} ) \frac{v_1^2 v_2}{2!} + \frac{\partial^3 f}{\partial x_1 \partial^2 x_2}( \boldsymbol{a} ) \frac{v_1 v_2^2}{2!} + \frac{\partial^3 f}{\partial^3 x_2}( \boldsymbol{a} ) \frac{v_2^3}{3!} \end{align}[/math]

証明

{{ safesubst:#invoke:Unsubst||$N=Empty section |date=__DATE__ |$B=

}}

関連項目

• テイラー展開
• ローラン級数
• パデ近似
• ニュートン級数

参考文献　

• 『解析教程』下、蟹江幸博訳、丸善出版、2012年。ISBN 978-4-621-06190-9。
• 『解析入門I』 東京大学出版会〈基礎数学2〉、1980年。ISBN 978-4-13-062005-5。
• Apostol, Tom (1967), Calculus, Wiley, ISBN 0-471-00005-1 .
• Apostol, Tom (1974), Mathematical analysis, Addison–Wesley .
• Bartle, Robert G.; Sherbert, Donald R. (2011), Introduction to Real Analysis (4th ed.), Wiley, ISBN 978-0-471-43331-6 .
• Hörmander, L. (1976), Linear Partial Differential Operators, Volume 1, Springer, ISBN 978-3-540-00662-6 .
• Kline, Morris (1972), Mathematical thought from ancient to modern times, Volume 2, Oxford University Press .
• Kline, Morris (1998), Calculus: An Intuitive and Physical Approach, Dover, ISBN 0-486-40453-6 .
• Pedrick, George (1994), A First Course in Analysis, Springer, ISBN 0-387-94108-8 .
• Stromberg, Karl (1981), Introduction to classical real analysis, Wadsworth, ISBN 978-0-534-98012-2 .
• Rudin, Walter (1987), Real and complex analysis (3rd ed.), McGraw-Hill, ISBN 0-07-054234-1 .

外部リンク

• Proofs for a few forms of the remainder in one-variable case at ProofWiki
• Taylor Series Approximation to Cosine at cut-the-knot
• Trigonometric Taylor Expansion interactive demonstrative applet
• Taylor Series Revisited at Holistic Numerical Methods Institute