テイラーの定理

関数 テンプレート:Math の点 テンプレート:Math における多項式 テンプレート:Math による近似

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

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

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

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

一変数の場合

定理の主張

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

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

$P_k(x)=f(a)+f^{\prime }(a)(x-a)+\frac{f^{″}(a)}{2!}(x-a{)}^2+\cdots +\frac{f^{(k)}(a)}{k!}(x-a{)}^k$

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

$f(x)=p(x)+h_k(x)(x-a{)}^k,\underset{x\to a}{\lim }{h}_k(x)=0$

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

$r_k(x)=f(x)-P_k(x)$

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

$r_k(x)=o(|x-a{|}^k),x\to a.$

剰余項の明示公式

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

$R_{k+1}(x)=r_k(x)=f(x)-P_k(x)$

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

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

$R_{k+1}(x)=\frac{f^{(k+1)}(\xi )}{k!}(x-\xi {)}^k\frac{G(x)-G(a)}{G^{\prime }(\xi )}$

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

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

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

剰余項の評価

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

$P\le f^{(k+1)}(x)\le Q$

とする。このとき剰余項は テンプレート:Nowrap のとき不等式

$P\frac{(x-a{)}^{k+1}}{(k+1)!}\le R_{k+1}(x)\le Q\frac{(x-a{)}^{k+1}}{(k+1)!},$

を満たし、テンプレート:Nowrap のときも同様の評価が成り立つ。これはラグランジュの剰余の単純な帰結である。とくに、ある r > 0 で区間 テンプレート:Nowrap 上

$|f^{(k+1)}(x)|\le M$

ならば、すべての テンプレート:Nowrap に対して

$|R_{k+1}(x)|\le M\frac{|x-a{|}^{k+1}}{(k+1)!}\le M\frac{r^{k+1}}{(k+1)!}$

である。第二の不等式は一様評価と呼ばれる。区間 テンプレート:Nowrap 上すべての x に対して一様に成り立つからである。

例

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

関数 テンプレート:Nowrap を区間 テンプレート:Nowrap 上で誤差が 10⁻⁵ を超えないように近似したいとしよう。この例で我々は指数関数の次の性質しか知らないとしよう：

$(*)e^0=1,\frac{d}{dx}{e}^x=e^x,e^x>0,x\in ℝ.$

これらの性質から次のことが従う。すべての k に対して テンプレート:Nowrap であり、とくに、テンプレート:Nowrap である。したがって f の 0 における k 次のテイラー多項式とそのラグランジュの剰余項は

$P_k(x)=1+x+\frac{x^2}{2!}+\cdots +\frac{x^k}{k!},R_{k+1}(x)=\frac{e^{\xi }}{(k+1)!}{x}^{k+1}$

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

$e^x=1+x+\frac{e^{\xi }}{2}{x}^2<1+x+\frac{e^x}{2}{x}^2,0<x\le 1$

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

$e^x\le \frac{1+x}{1-\frac{x^2}{2}}=2\frac{1+x}{2-x^2}\le 4,0\le x\le 1$

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

$|R_{k+1}(x)|\le \frac{4|x{|}^{k+1}}{(k+1)!}\le \frac{4}{(k+1)!},-1\le x\le 1$

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

$\frac{4}{(k+1)!}<10^{-5}\iff 4\cdot 10^5<(k+1)!\iff k\ge 9$

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

$e^x=1+x+\frac{x^2}{2!}+\dots +\frac{x^9}{9!}+R_9(x),|R_9(x)|<10^{-5},-1\le x\le 1.$

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

テイラーの定理の一般化

高次の微分可能性

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

$f(𝒙)=f(𝒂)+L(𝒙-𝒂)+h(𝒙)|𝐱-𝐚|,\underset{𝒙\to 𝒂}{\lim }h(𝒙)=0$

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

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

$df(𝒂)(𝒗)=\frac{\partial f}{\partial x_1}(𝒂)v_1+\cdots +\frac{\partial f}{\partial x_n}(𝒂)v_n$

によって与えられる。

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

$|\alpha |={\alpha }_1+\cdots +{\alpha }_n,\alpha !={\alpha }_1!\cdots {\alpha }_n!,{𝒙}^{\alpha }=x_1^{{\alpha }_1}\cdots x_n^{{\alpha }_n}.$

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

$D^{\alpha }f=\frac{{\partial }^{|\alpha |}f}{\partial x_1^{{\alpha }_1}\cdots \partial x_n^{{\alpha }_n}},|\alpha |\le k$

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

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

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

$\begin{array}{cc}& f(𝒙)=\sum _{|\alpha |\le k}\frac{D^{\alpha }f(𝒂)}{\alpha !}(𝒙-𝒂{)}^{\alpha }+\sum _{|\beta |=k+1}{R}_{\beta }(𝒙)(𝒙-𝒂{)}^{\beta },\\ & R_{\beta }(𝒙)=\frac{|\beta |}{\beta !}\underset{0}{\overset{1}{\int }}(1-t{)}^{|\beta |-1}{D}^{\beta }f(𝒂+t(𝒙-𝒂))dt.\end{array}$

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

$|R_{\beta }(𝒙)|\le \frac{1}{\beta !}\underset{|\alpha |=|\beta |}{\max }\underset{𝒚\in B}{\max }|D^{\alpha }f(𝒚)|,𝒙\in B.$

2次元での例

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

$\begin{array}{cc}{P}_3(𝒙)=f(𝒂)+& \frac{\partial f}{\partial x_1}(𝒂)v_1+\frac{\partial f}{\partial x_2}(𝒂)v_2+\frac{{\partial }^{2}f}{{\partial }^2{x}_1}(𝒂)\frac{v_1^2}{2!}+\frac{{\partial }^{2}f}{\partial x_1\partial x_2}(𝒂)v_1{v}_2+\frac{{\partial }^{2}f}{{\partial }^2{x}_2}(𝒂)\frac{v_2^2}{2!}\\ & +\frac{{\partial }^{3}f}{\partial x_1^3}(𝒂)\frac{v_1^3}{3!}+\frac{{\partial }^{3}f}{{\partial }^2{x}_1\partial x_2}(𝒂)\frac{v_1^2{v}_2}{2!}+\frac{{\partial }^{3}f}{\partial x_1{\partial }^2{x}_2}(𝒂)\frac{v_1{v}_2^2}{2!}+\frac{{\partial }^{3}f}{{\partial }^3{x}_2}(𝒂)\frac{v_2^3}{3!}\end{array}$

証明

一変数の場合のテイラーの定理の証明

f は点 テンプレート:Nowrap で k 回微分可能であることから a の適当な近傍で テンプレート:Nowrap 回微分可能である。この近傍の上で

$h_k(x)=\{\begin{array}{cc}\frac{f(x)-P_k(x)}{(x-a{)}^k}& x=a\\ 0& x=a\end{array}$

と定める。ただし

$P_k(x)=f(a)+f^{\prime }(a)(x-a)+\frac{f^{″}(a)}{2!}(x-a{)}^2+\cdots +\frac{f^{(k)}(a)}{k!}(x-a{)}^k$

ここで テンプレート:Nowrap に対し $f^{(j)}(a)-P_k^{(j)}(a)=0$ であるから、ロピタルの定理を テンプレート:Nowrap 回適用すると

$\begin{array}{cc}\underset{x\to a}{\lim }\frac{f(x)-P_k(x)}{(x-a{)}^k}& =\underset{x\to a}{\lim }\frac{(d/dx)(f(x)-P_k(x))}{(d/dx)(x-a{)}^k}=\cdots =\underset{x\to a}{\lim }\frac{(d/dx{)}^{k-1}(f(x)-P_k(x))}{(d/dx{)}^{k-1}(x-a{)}^k}\\ & =\frac{1}{k!}\underset{x\to a}{\lim }[\frac{f^{(k-1)}(x)-f^{(k-1)}(a)}{x-a}-f^{(k)}(a)]\\ & =\frac{1}{k!}(f^{(k)}(a)-f^{(k)}(a))=0\end{array}$

ここで最後の等式は点 a での微分の定義による。従って

$\underset{x\to a}{\lim }{h}_k(x)=0$

剰余項の明示公式の導出

簡単のために テンプレート:Nowrap とする。まず任意の実関数 G で閉区間 テンプレート:Nowrap で連続、開区間 テンプレート:Nowrap で微分可能、さらに導関数 G' の値が開区間上で非0となるものを考える。

次に関数 F を

$F(t)=f(t)+f^{\prime }(t)(x-t)+\frac{f^{″}(t)}{2!}(x-t{)}^2+\cdots +\frac{f^{(k)}(t)}{k!}(x-t{)}^k$

と定めると、 F は閉区間 テンプレート:Nowrap で連続、開区間 テンプレート:Nowrap で微分可能である。するとコーシーの平均値の定理により

$(*)\frac{F^{\prime }(\xi )}{G^{\prime }(\xi )}=\frac{F(x)-F(a)}{G(x)-G(a)}=\frac{R_{k+1}(x)}{G(x)-G(a)}$

を満たす点 テンプレート:Nowrap が存在する。F の導関数を計算すると、

$\begin{array}{cc}{F}^{\prime }(t)=& f^{\prime }(t)+(f^{″}(t)(x-t)-f^{\prime }(t))+(\frac{f^{(3)}(t)}{2!}(x-t{)}^2-\frac{f^{(2)}(t)}{1!}(x-t))+\cdots \\ & \cdots +(\frac{f^{(k+1)}(t)}{k!}(x-t{)}^k-\frac{f^{(k)}(t)}{(k-1)!}(x-t{)}^{k-1})\\ =& \frac{f^{(k+1)}(t)}{k!}(x-t{)}^k\end{array}$

これを(*)に代入して計算すると

$R_{k+1}(x)=\frac{f^{(k+1)}(\xi )}{k!}(x-\xi {)}^k\frac{G(x)-G(a)}{G^{\prime }(\xi )}$

ここで $G(t)=(t-x{)}^{k+1}$ と定めればラグランジュの剰余項、 $G(t)=t-a$ と定めればコーシーの剰余項が得られる。

積分形の剰余項の導出

簡単のために テンプレート:Nowrap とする。まず f^(k) が閉区間 テンプレート:Nowrap で絶対連続 であることから、その導関数 f^(k+1) が L¹-関数 の意味で存在する。ここで部分積分を繰り返し用いると

$\begin{array}{cc}f(x)& =f(a)+\underset{a}{\overset{x}{\int }}{f}^{\prime }(t)dt\\ & =f(a)-[(x-t)f^{\prime }(t){]}_a^x+\underset{a}{\overset{x}{\int }}(x-t)f^{″}(t)dt\\ & =f(a)+(x-a)f^{\prime }(a)+\underset{a}{\overset{x}{\int }}(x-t)f^{″}(t)dt\\ & =f(a)+(x-a)f^{\prime }(a)+\frac{1}{2}(x-a{)}^2{f}^{″}(a)+\underset{a}{\overset{x}{\int }}\frac{1}{2}(x-t{)}^2{f}^{‴}(t)dt\\ & =\dots \\ & =f(a)+\frac{f^{\prime }(a)}{1!}(x-a)+\cdots +\frac{f^{(k)}(a)}{k!}(x-a{)}^k+\underset{a}{\overset{x}{\int }}\frac{f^{(k+1)}(t)}{k!}(x-t{)}^{k}dt\end{array}$

最後の項 $R_{k+1}(x)=\underset{a}{\overset{x}{\int }}\frac{f^{(k+1)}(t)}{k!}(x-t{)}^{k}dt$が求める剰余項である。

関連項目

• テイラー展開
• ローラン級数
• パデ近似
• テンプレート:仮リンク

参考文献　

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.

外部リンク

• 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