6 テイラー級数による関数の近似

定義 4.25 (関数の近似)   関数 $f(x)$ を テイラー級数

$$f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!} (x-a)^{n}$$ (630)

で表わし， $n$ 次の項で打ち切った関数

$$\tilde{f}_{n}(x) = f(a)+f'(a)(x-a)+\frac{f''(a)}{2}(x-a)^{2}+\cdots+ \frac{f^{(n)}(a)}{n!}(x-a)^{n}$$ (631)

を $f(x)$ の $n$ 次近似と呼ぶ．

具体的に書くと

$$\quad f(x)\simeq\tilde{f}_{0}(x)=f(a)$$ 0 次近似： (632)

$$1 \quad f(x)\simeq\tilde{f}_{1}(x)=f(a)+f'(a)(x-a)$$ (633)

$$2 \quad f(x)\simeq\tilde{f}_{2}(x)=f(a)+f'(a)(x-a)+ \frac{f''(a)}{2}(x-a)^2$$ (634)

$$\qquad\vdots$$ (635)

$$n \quad f(x)\simeq\tilde{f}_{n}(x)= f(a)+f'(a)(x-a)+\frac{f''(a)}{2}(x-a)^{2}+\cdots$$ (636)

$$\qquad\qquad\cdots+\frac{f^{(n)}(a)}{n!}(x-a)^{n} n$$ (637)

と表される． テイラー級数による関数の近似では $f(x)$ を多項式で近似する．

注意 4.26   近似式 $\tilde{f}_{n}(x)$ は 曲線 $y=f(x)$ に点 $x=a$ で接する $n$ 次多項式である．

例 4.27 (関数の近似の具体例)  

$$f(x) =e^{x}=1+x+\frac{x^2}{2}+\cdots+\frac{x^n}{n!}+\cdots$$ (638)

$$f(x) \simeq \tilde{f}_{0}(x)=1$$ (639)

$$f(x) \simeq \tilde{f}_{1}(x)=1+x$$ (640)

$$f(x) \simeq \tilde{f}_{2}(x)=1+x+\frac{x^2}{2}$$ (641)

$$f(x) \simeq \tilde{f}_{3}(x)=1+x+\frac{x^2}{2}+\frac{x^3}{6}$$ (642)

例 4.28 (関数の近似の具体例)  

$$f(x) =\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots$$ (643)

$$f(x) \simeq \tilde{f}_{0}(x)=0$$ (644)

$$f(x) \simeq \tilde{f}_{1}(x)=\tilde{f}_{2}(x)=x$$ (645)

$$f(x) \simeq \tilde{f}_{3}(x)=\tilde{f}_{4}(x)=x-\frac{x^3}{6}$$ (646)

$$f(x) \simeq \tilde{f}_{5}(x)=\tilde{f}_{6}(x)=x-\frac{x^3}{6}+\frac{x^5}{120}$$ (647)

Kondo Koichi
Created at 2003/08/29