テイラーの定理

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

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

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

1. 動機
-----

2. 一変数の場合
---------

2.1. 定理の主張
----------

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

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

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

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

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

2.2. 剰余項の明示公式
-------------

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

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

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

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

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

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

2.3. 剰余項の評価
-----------

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

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

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

ならば、すべての //x// ∈ }} に対して

である。第二の不等式は一様評価と呼ばれる。区間 }} 上すべての //x// に対して一様に成り立つからである。

2.4. 例
------

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

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

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

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

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

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

のときに確かに達成されている。結論として、テイラーの定理から次の近似が導かれる：

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

3. 解析性との関連
----------

4. テイラーの定理の一般化
--------------

4.1. 高次の微分可能性
-------------

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

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

この条件が成り立つとき、//L//   =   //df// は点 // における //f// の微分である。さらに、このとき //f// の // における偏微分が存在し、//f// の // における微分は

によって与えられる。

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

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

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

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

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

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

4.3. 2次元での例
-----------

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

5. 証明
-----

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

//f// は点 //a// ∈ R}} で //k// 回微分可能であることから //a// の適当な近傍で //k//-1}} 回微分可能である。この近傍の上で

と定める。ただし

ここで //j// =}} 0,1,...,//k//−1}} に対し であるから、ロピタルの定理を //k//−1}} 回適用すると

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

5.2. 剰余項の明示公式の導出
----------------

簡単のために //a//<//x//}} とする。まず任意の実関数 //G// で閉区間 [//a//, //x//]}} で連続、開区間 }} で微分可能、さらに導関数 //G'// の値が開区間上で非0となるものを考える。

次に関数 //F// を

と定めると、 //F// は閉区間 [//a//, //x//]}} で連続、開区間 }} で微分可能である。するとコーシーの平均値の定理により

を満たす点 //ξ//∈}} が存在する。//F// の導関数を計算すると、

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

ここで と定めればラグランジュの剰余項、 と定めればコーシーの剰余項が得られる。

5.3. 積分形の剰余項の導出
---------------

簡単のために //a//<//x//}} とする。まず //f// が閉区間 [//a//, //x//]}} で絶対連続 であることから、その導関数 //f// が //L//1-関数 の意味で存在する。ここで部分積分を繰り返し用いると

最後の項 が求める剰余項である。

6. 関連項目
-------

テイラー展開
ローラン級数
パデ近似

7. 脚注
-----

8. 参考文献　
--------

title=Calculus.

title=Mathematical analysis.

first1=Robert G..

first=L..

title = Mathematical thought from ancient to modern times, Volume 2.

title=Calculus: An Intuitive and Physical Approach.

last=Pedrick.

last=Stromberg.

last=Rudin.

9. 外部リンク
--------

[1] at [2]
[3] at cut-the-knot
[4] interactive demonstrative applet
[5] at [6]