テイラーの定理：多項式近似と剰余項の形

定式化と主要要素

点 a を固定し、関数が a の近傍で n 次までの導関数をもつとする。a を中心とする n 次のテイラー多項式は、a における導関数に (x−a) のべき乗を掛け、適切な階乗で割った項の和として表される。テイラーの定理は、近似誤差を表す剰余項も与える。剰余項にはラグランジュ形、積分形、コーシー形などがあり、いずれも適切な仮定の下で、異なる形ながら同値な方法で誤差を表す。

剰余項の種類と条件

• ラグランジュ剰余項: 誤差を、ある中間点で評価した n+1 次の導関数 1 つで表す。具体的な誤差評価に便利である。
• 積分剰余項: 誤差を n+1 次導関数を含む積分として表す。解析や証明で扱いやすいことが多い。
• コーシー形: ラグランジュ形と積分形の中間に位置する変形で、いくつかの見積もりで有利になることがある。

収束と、解析的関数と滑らかな関数の違い

すべての階数の導関数が存在すること、つまり滑らかであることは、テイラー級数が元の関数に収束することを保証しない。テイラー級数がある区間で関数に収束する場合、その関数はその区間で解析的と呼ばれる。滑らかだが非解析的な関数の例では、テイラー級数が中心点でしか収束しないことがある。収束半径や端点での挙動は、関数の複素解析的拡張や特異点によって決まる。

用途、例、重要性

テイラー多項式は、数値計算、工学、理論的評価における近似に広く使われる。初等的な例としては、指数関数、正弦・余弦、対数を便利な中心の近くで近似するものがあり、こうした近似は多くのアルゴリズムや誤差解析の基礎となる。実用上の応用には、級数に基づく数値手法、漸近展開、応用分野での一次モデルや二次モデルの導出などがある。

歴史と参考

この定理は、18世紀初頭に初期の定式化を与えたブルック・テイラーの名にちなむ。後続の発展によって、剰余項の表現や無限べき級数との関係が明確になった。原初の定式化や形式的な証明の背景については、元の定理、多項式近似、テイラー級数に関する解説を参照できる：元の定式化、多項式近似、テイラー級数。

特筆すべき区別として、0 を中心とする特別な場合であるマクローリン級数、そして級数の点ごとの収束と、その和が関数と一致することの違いがある。テイラーの定理は、局所的な導関数の情報を、使いやすい代数的近似と厳密な誤差評価へ移すための中心的な道具であり続けている。