関数の近似

公開日:

【2022年12月3週】 【C000】数学 【C040】微分

この記事をシェアする
  • B!
サムネイル画像

本稿では、関数の近似(テイラーの定理・テイラー展開など)を紹介しています。

なお、閲覧にあたっては、以下の点にご注意ください。

  • スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。

多項式に関するテイラーの定理

【定理】
多項式に関するテイラーの定理
Taylor's Series of a Polynomial

P(x)n 次の多項式、a を定数とするとき、P(x)xa の多項式として P(x)=k=0nP(k)(a)k!(xa)k と表すことができる。

テイラーの定理

【定理】
テイラーの定理
Taylor's Theorem

関数 f(x) が閉区間 [a,b] を含むある区間で n 回微分可能であり、 Pn1(x)=k=0n1f(k)(a)k!(xa)k とおくとき f(b)=Pn1(b)+RnRn=f(n)(c)n!(ba)n を満たす c(a<c<b) が存在する。 ここで、最終項をラグランジュの剰余項という。

証明

証明

ラグランジュの剰余項を Rn=Kn!(ba)n また、 (P1)f(b)=Pn1(b)+Kn!(ba)n とおき、 a を変数 x に置き換えて、次の差関数 (P2)F(x)=f(b){Pn1(b)+Kn!(bx)n} を作る。 このとき、F(x) は、区間 [a,b] で連続であり、区間 (a,b) で微分可能な関数である。

(P2)x=b を代入すると、 F(b)=f(b){f(b)k=1n1f(k)(b)k!(bb)k+Kn!(bb)n}=f(b)f(b)=0(P2)x=a を代入すると、式 (1) より、 F(a)=f(b){Pn1(b)+Kn!(ba)n}=f(b)f(b)=0 よって、ロルの定理から、 F(c)=0a<c<b を満たす c が存在する。(2) より、 F(x)=f(b)f(x)f(x)(bx)f(x)2!(bx)2+f(n1)(x)(n1)!(bx)n1Kn!(bx)n この両辺を x で微分して、 F(x)={f(x)f(x)}{f(x)(bx)2f(x)2!(bx)}{f(n)(x)(n1)!(bx)n1K(n1)!(bx)n1}=f(n)(x)(n1)!(bx)n1+K(n1)!(bx)n1 F(c)=0 を満たす c が存在するので、 F(c)=(bc)n1(n1)!{f(n)(c)K}=0 ここで、c<b.n=1,2,3, なので、(bc)n1(n1)!0 だから、 f(n)(c)K=0K=f(n)(c) 以上より、テイラーの定理 f(b)=k=0n1f(k)(a)k!(xa)k+RnRn=f(n)(c)n!(ba)n が成り立つ。

整級数展開

関数 f(x) が任意の点 x=a を含むある区間の近くで何回でも微分可能な関数とすると、テイラーの定理により、 f(x)=k=0n1f(k)(a)k!(xa)k+RnRn=f(n)(c)n!(xa)n とすることができる。 ここでもし、ラグランジュの剰余項が limnRn=0 となれば、 関数 f(x) は無限級数として、 (1)f(x)=k=0f(k)(a)k!(xa)k と表すことができる。

一般に、定数 a0,a1,,an, と変数 x によって、 n=0anxn=a0+a1x++anxn+ の形で表される 無限級数は、x整級数 power series、またはべき級数と呼ばれる。もし、関数 f(x) が式 (1) のように無限級数で表すことができれば、これを関数 fa の周りの整級数展開 power series expansionべき級数展開テイラー展開 Taylor expansion といい、この級数をテイラー級数 Taylor series という。

特に、x=0 においてテイラー展開する場合、 f(x)=k=0n1f(k)(a)k!xk+RnRn=f(n)(c)n!xn となり、 同様にラグランジュの剰余項が0に収束するとき、 (2)f(x)=n=0f(n)(a)k!xn と表すことができる。 これをマクローリン展開 Maclaurin expansion、級数をマクローリン級数 Maclaurin series ということがあある。

主な関数の整級数展開

【公式】
主な関数の整級数展開
Maclaurin Series Formula

指数関数 ex=n=0xnn!<x< 逆数関数 11x=n=0xn1<x<1 対数関数 log(1+x)=n=0(1)n+1xnn1x1

参考文献

  • 松坂 和夫 著. 数学読本 5. 新装版, 岩波書店, 2019, p.955-976
  • 馬場 敬之 著. 微分積分キャンパス・ゼミ. 改訂6, マセマ出版社, 2019, p.98-103
  • テイラーの定理の例と証明. 高校数学の美しい物語. 2021-03-07. https://manabitimes.jp/math/1001.
  • マクローリン展開. 高校数学の美しい物語. 2021-03-07. https://manabitimes.jp/math/570.

関連記事

自己紹介

自分の写真

yama

大学時代に読書の面白さに気づいて以来、読書や勉強を通じて、興味をもったことや新しいことを学ぶことが生きる原動力。そんな人間が、その時々に学んだことを備忘録兼人生の軌跡として記録しているブログです。

このブログを検索

ブログ アーカイブ

QooQ