テイラー展開

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動
テイラー多項式の次数が上がるにつれて、正しい関数に近づく。この図は sin x と、そのテイラー近似のうち、1, 3, 5, 7, 9, 11, 13 次の多項式を示している。
指数関数 ex (青) と、その 0 におけるテイラー級数の最初の n + 1 項の和 (赤)。

数学において、テイラー級数 (: Taylor series) は関数のある一点での導関数たちの値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開という。

テイラー級数の概念はスコットランドの数学者ジェームズ・グレゴリーにより定式化され、フォーマルにはイギリスの数学者ブルック・テイラーによって1715年に導入された。0 を中心としたテイラー級数は、マクローリン級数 (: Maclaurin series) とも呼ばれる。これはスコットランドの数学者コリン・マクローリンにちなんでおり、彼は18世紀にテイラー級数のこの特別な場合を積極的に活用した。

関数はそのテイラー級数の有限個の項を用いて近似することができる。テイラーの定理はそのような近似による誤差の定量的な評価を与える。テイラー級数の最初のいくつかの項として得られる多項式はテイラー多項式英語版と呼ばれる。関数のテイラー級数は、その関数のテイラー多項式で次数を増やした極限が存在すればその極限である。関数はそのテイラー級数がすべての点で収束するときでさえもテイラー級数に等しいとは限らない。開区間(あるいは複素平面開円板)でテイラー級数に等しい関数はその区間上の解析関数と呼ばれる。

一実変数関数のテイラー展開[編集]

a を含む開区間 IR 上で無限回微分可能な実数値関数 fC(I) が与えられたとき、べき級数

を関数 f の点 a まわりのテイラー級数という。ここで n!n階乗f(n)(a)x = a における fn微分係数である[注 1]。また、便宜的に (xa)0 は 1 であると定義する[注 2]。テイラー級数が収束し、元の関数 f に一致するとき、fテイラー展開可能であるという。テイラー展開がある大域的な領域の各点で可能な関数は、その領域において解析的 (analytic) である、またはその領域上の解析関数 (analytic function) であるという。

ここで一般には関数 f が無限回微分可能であってもそのテイラー級数が xa で収束するとは限らず[1]、たとえ収束しても一致するとは限らない[2]ことに注意が必要である。一致するかどうかは、テイラーの定理における剰余項 Rn が 0 に収束するかどうかによって判定できる;ここで剰余項 Rn は、ある c ∈ (a, x) が存在して、

と書ける。または積分を用いて、次のように表せる。

また、この剰余項を評価することで関数の近似値を精度保証つきで数値的に求めることもできる(テイラーの定理#例を参照)。

特に a = 0 における以下の様な展開

マクローリン展開(マクローリンてんかい、: Maclaurin expansion; 名称は数学者コリン・マクローリンに由来する)と呼ぶ。

マクローリン級数の一覧[編集]

いくつかの重要な関数のテイラー展開を以下に示す。これらはすべて複素解析的な関数であり、複素変数であると考えても成り立つ。

多項式
多項式をマクローリン展開したものは元の多項式自身である。
指数関数
自然対数
幾何級数
二項定理
三角関数
双曲線関数
ランベルトのW関数

tan(x), csc(x), cot(x), tanh(x) の展開に現われる Bkベルヌーイ数である。 二項展開の 二項係数である。sec(x) の展開に現われる Ekオイラー数である。

一変数複素関数のテイラー展開[編集]

a を含む開集合 DC 上で微分可能、すなわち正則複素関数 f が与えられたとき、べき級数

を関数 f の点 a まわりのテイラー級数という。正則関数の解析性から、点 a を中心として D に包含されるような任意の開円板 B(a,r) = { zC | |za| < r } ⊆ D 上でこの級数は f(a) に収束する。

剰余項 Rn複素線積分を用いて、次のように表せる;

ここで C は、点 a を囲み、周および内部が D に含まれるような反時計回りの円周である。

多変数関数のテイラー展開[編集]

テイラー展開は一変数関数のみならず、多変数関数にも適用できる。d 変数関数 f のテイラー展開は以下の式である。

多重指数記法を用いれば、d 変数関数 f (x) のテイラー展開は次式で表現される。

アインシュタインの縮約記法を用いれば、多変数関数 f (xμ) のテイラー展開は次式である。

上式の μ微分演算子であり、ベクトル解析の記法では に置き換えられる。一番後ろに f (αμ) があるが、これは f (xμ) に左の演算子を作用させてから f (xμ) の引数として αμ を与えることを表していることに注意する。

脚注[編集]

[編集]

  1. ^ f の 0 次導関数f 自身である。
  2. ^ 0の0乗も参照。定義の衝突を避けるならば、単に n = 0 の項を明示的に書き、n = 0 を含めない形で和を取り直せばよい。

出典[編集]

参考文献[編集]

  • ハイラー, E.、ヴァンナー, G. 『解析教程』下、蟹江幸博訳、丸善出版2012年。ISBN 978-4-621-06190-9。

関連項目[編集]