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

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

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

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

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

$ f(x)$$ n$ 次近似と呼ぶ.

具体的に書くと

0 次近似: $\displaystyle \quad f(x)\simeq\tilde{f}_{0}(x)=f(a)$   ← 定数 (737)
$ 1$ 次近似: $\displaystyle \quad f(x)\simeq\tilde{f}_{1}(x)=f(a)+f'(a)(x-a)$   ← 直線,接線の方程式 (738)
$ 2$ 次近似: $\displaystyle \quad f(x)\simeq\tilde{f}_{2}(x)=f(a)+f'(a)(x-a)+ \frac{f''(a)}{2}(x-a)^2$   ← 放物線 (739)
$\displaystyle \qquad\vdots$ (740)
$ n$ 次近似: $\displaystyle \quad f(x)\simeq\tilde{f}_{n}(x)= f(a)+f'(a)(x-a)+\frac{f''(a)}{2}(x-a)^{2}+\cdots$ (741)
  $\displaystyle \qquad\qquad\cdots+\frac{f^{(n)}(a)}{n!}(x-a)^{n}$   ← $ n$ 次多項式 (742)

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

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

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

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

$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{0}(x)=1$ (744)
$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{1}(x)=1+x$ (745)
$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{2}(x)=1+x+\frac{x^2}{2}$ (746)
$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{3}(x)=1+x+\frac{x^2}{2}+\frac{x^3}{6}$ (747)

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

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

$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{0}(x)=0$ (749)
$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{1}(x)=\tilde{f}_{2}(x)=x$ (750)
$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{3}(x)=\tilde{f}_{4}(x)=x-\frac{x^3}{6}$ (751)
$\displaystyle f(x)$ $\displaystyle \simeq \tilde{f}_{5}(x)=\tilde{f}_{6}(x)=x-\frac{x^3}{6}+\frac{x^5}{120}$ (752)

Kondo Koichi
平成17年8月31日