無限の多項式で関数近似する

無限の多項式の和で目的の関数f(x)を近似する方法について紹介する. \(f(x) = \frac{1 }{1-x}\) のような関数は\(f(x) = 1 + x + x^2 + \ldots\)であることが知られている. これは通常の関数をべき乗級数の形で記述したものであるが、 このような形でない関数も条件も満たせば多項式の形に展開することができる.

テイラー展開について詳しくは右のwikipediaを参照願います. ここでは簡単に説明するのみとどめます.

テイラー展開を用いると\(x = x_0\)の点の近辺でよく近似した関数を得ることができる. 上記の\(x=x_0\)の周り以外でテイラー展開をした関数を使うと大きく値が外れてしまうことがあり,どうすれば問題なく使用できるかは収束半径による. 関数によっては\(x = x_0\)の周りでなくても適切に展開することができ、特に ・\(e^x\) ・\(sin(x), cos(x)\) はどのような入力に対しても使用できる.

上記がx=aにおけるテイラー展開の関数になっている. 多項式をテイラー展開しようとする場合、自分自身のテイラー展開の値を得る.微分すると0になることである項以降は項が存在しえない. 上の式においてa=0としてものをマクローリン展開と呼ぶ.