テイラー級数展開

概要

テイラー級数展開とは、そのままでは扱いにくい関数を、級数の形に近似することである。

例えば、ある点aにおける関数f(x)の振る舞いについてはよく知っているとする。
aにおける関数の値、関数のグラフの傾きの値、2階微分の値、3階微分の値など、それらの値をを使用して、
aからわずかに離れたx地点での関数の値f(x)を言い当てることができるか、というのがテーマである。

このような直接的ではない情報を、下式の右辺のように計算すれば、それができる。
xとaとの間のわずかな距離はx−aと表せるが、これは(1)式の右辺に(x−a)や(x−a)²や(x−a)³という形で出てきている。
$f(x)=f(a)+f'(a)(x-a)+{\frac {1}{2!}}f''(a)(x-a)^{2}+{\frac {1}{3!}}f'''(a)(x-a)^{3}+\cdots$

このようにして、関数f(x)を無限級数の和に展開して表すことができる。
これを、aのまわり(x=aにおける)でのテイラー級数展開と呼ぶ。

もし、aとして0を選ぶ場合(原点のまわりでのテイラー級数展開)を、マクローリン級数展開と呼ぶ。
$f(x)=f(0)+f'(0)x+{\frac {1}{2!}}f''(0)x^{2}+{\frac {1}{3!}}f'''(0)x^{3}+\cdots$

近似でよく利用される形

上式に繰り返し出てくる(x−a)の部分はaからの微妙なずれ具合を表している。
そのずれ具合をhとして、$h=x-a$と置いて式を書き換える。
また、$x=a+h$とも記述できるので、左辺も置き換えると次式のようになる。(より単純化される)
$f(a+h)=f(a)+f'(a)h+{\frac {1}{2!}}f''(a)h^{2}+{\frac {1}{3!}}f'''(a)h^{3}+\cdots$

具体例

指数関数や三角関数をマクローリン級数展開すると次のようになる。 これらの関数が単純な和で表現できるのは、これらの収束半径は無限大だからである。つまり、xの値にかかわらず、常に成り立つ関係である。 $e^{x}=1+x+{\frac {1}{2!}}x^{2}+{\frac {1}{3!}}x^{3}+\cdots$
$\sin x={\frac {1}{1!}}x-{\frac {1}{3!}}x^{3}+{\frac {1}{5!}}x^{5}+\cdots$
$\cos x={\frac {1}{0!}}-{\frac {1}{2!}}x^{2}+{\frac {1}{4!}}x^{4}+\cdots$

指数関数の逆関数である対数関数において、logxに0を代入することはできないので、原点を少しずらして、次のような関数ならば0の周りで展開できる。
$\log(x+1)={\frac {1}{1!}}x-{\frac {1}{2!}}x^{2}+{\frac {1}{3!}}x^{3}-{\frac {1}{4!}}x^{4}+{\frac {1}{5!}}x^{5}-\cdots$

多変数関数のテイラー級数展開

多変数関数についても似たような定理が成り立っている。
まず、2変数関数f(x,y)のテイラー級数展開は次のようになる。
${\begin{aligned}f(x+a,y+b)&=\sum _{n=0}^{\infty }{\frac {1}{n!}}(a{\frac {\partial }{\partial x}}+b{\frac {\partial }{\partial y}})^{n}f(x,y)\\&=f(x,y)\\&+(a{\frac {\partial }{\partial x}}+b{\frac {\partial }{\partial y}})f(x,y)\\&+{\frac {1}{2!}}(a{\frac {\partial }{\partial x}}+b{\frac {\partial }{\partial y}})^{2}f(x,y)\\&+{\frac {1}{3!}}(a{\frac {\partial }{\partial x}}+b{\frac {\partial }{\partial y}})^{3}f(x,y)\end{aligned}}$
次に、3変数関数f(x,y,z)の場合も同様の関係が成り立っており、次のようになる。
$f(x+a,y+b,z+c)=\sum _{n=0}^{\infty }{\frac {1}{n!}}(a{\frac {\partial }{\partial x}}+b{\frac {\partial }{\partial y}}+c{\frac {\partial }{\partial z}})^{n}f(x,y)$