テイラーの定理

提供: miniwiki
2017/4/10/ (月) 13:54時点におけるja>新規作成による版 (top)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索
{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded =

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

テンプレート:Startflatlist

テンプレート:Endflatlistテンプレート:Startflatlist

テンプレート:Endflatlist

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

| list4name = series | list4title = テンプレート:Bigger | list4 =

| list5name = vector | list5title = テンプレート:Bigger | list5 =

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

テンプレート:Endflatlist

}}
ファイル:Mercator series.svg
関数 f(x) = log x の点 x = 1 における多項式 pn(x) = Σテンプレート:SubSup(x − 1)kf(k)(1)/k! による近似
ファイル:Taylorspolynomialexbig.svg
指数関数 y = ex(赤の実線)と原点のまわりでのその4次のテイラー多項式(緑の破線)。

微分積分学において、テイラーの定理(テイラーのていり、: Taylor's theorem)は、k微分可能関数の与えられた点のまわりでの近似を k 次のテイラー多項式によって与える。解析関数に対しては、与えられた点におけるテイラー多項式は、そのテイラー級数を有限項で切ったものである。テイラー級数は関数を点のある近傍において完全に決定する。「テイラーの定理」の正確な内容は1つに定まっているわけではなくいくつかのバージョンがあり、状況に応じて使い分けられる。バージョンのいくつかは関数のテイラー多項式による近似誤差の明示的な評価を含んでいる。

テイラーの定理は1712年に1つのバージョンを述べた数学者ブルック・テイラー (Brook Taylor) にちなんで名づけられている。しかし誤差の明示的な表現はかなり後になってジョゼフ=ルイ・ラグランジュ (Joseph-Louis Lagrange) によってはじめて与えられた。結果の初期のバージョンはすでに1671年ジェームス・グレゴリー (James Gregory) によって言及されている[1]

テイラーの定理は微分積分学の入門レベルで教えられ、解析学の中心的な初等的道具の1つである。純粋数学ではより進んだ漸近解析English版の入り口であり、より応用的な分野の数値計算や数理物理学においてよく使われている。テイラーの定理は任意次元 n, m多変数ベクトル値関数 f: RnRm にも一般化する。テイラーの定理のこの一般化は微分幾何学偏微分方程式において現れるいわゆるジェットEnglish版の定義の基礎である。


動機

{{ safesubst:#invoke:Unsubst||$N=Empty section |date=__DATE__ |$B=

}}

一変数の場合

定理の主張

テイラーの定理の最も基本的なバージョンの正確なステートメントは次のようになる:

テンプレート:Math theorem

テイラーの定理に現れる多項式は関数 f の点 a における k 次のテイラー多項式

[math]P_k(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(k)}(a)}{k!}(x-a)^k [/math]

である。テイラー多項式は次のような意味で「漸近的に最もフィットする」唯一の多項式である、すなわち、関数 hk: RRk 次多項式 p が存在して

[math] f(x) = p(x) + h_k(x)(x-a)^k, \quad \lim_{x\to a}h_k(x)=0[/math]

となるならば、p = Pk である。テイラーの定理は剰余項

[math] r_k(x) = f(x) - P_k(x)[/math]

の漸近的な振る舞いを記述する。これは f をテイラー多項式で近似するときの近似誤差English版である。ランダウの記号を用いれば、テイラーの定理のステートメントは次のように書ける:

[math]r_k(x) = o(|x-a|^k), \quad x\to a.[/math]

剰余項の明示公式

f へのより強い正則性の仮定のもとで、テイラー多項式の剰余項

[math]R_{k+1}(x)=r_k(x)=f(x) - P_k(x)[/math]

に対するいくつかの正確な公式がある。最も一般的なものたちは以下のものである。

テンプレート:Math theorem

テイラーの定理のこれらの改良は通常平均値の定理を用いて証明されるため、その名前がある。また他の同様の表示も見つけられる。例えば、G(t) が閉区間上連続で微分可能で開区間上微分が消えないならば、

[math] R_{k+1}(x) = \frac{f^{(k+1)}(\xi)}{k!}(x-\xi)^k \frac{G(x)-G(a)}{G'(\xi)} [/math]

となる数 ξ が存在する。このバージョンはラグランジュとコーシーの剰余項を特別な場合として含んでおり、以下でコーシーの平均値の定理を用いて証明される。

積分形の剰余のステートメントはこれまでのものより進んでおり完全な一般性にはルベーグ積分論の理解が要求される。しかしながら、f の (k + 1) 階微分が閉区間 [a, x] 上連続であるならば、リーマン積分の意味でも成り立つ。

テンプレート:Math theorem

これはベルヌーイの剰余[2]とも呼ばれる。閉区間上の f(k) の絶対連続性により、導関数 f(k+1)L1 関数として存在し、結果は微分積分学の基本定理部分積分を用いた形式的な計算により証明できる。

剰余項の評価

テイラー近似に現れる項の剰余項の正確な公式があるよりはむしろそれを評価できることの方が実用上しばしば有用である。fa を含む区間 I において (k + 1) 回連続微分可能とする。実定数 q, Q が存在して I

[math]q\le f^{(k+1)}(x)\le Q[/math]

とする。このとき剰余項は x > a のとき不等式

[math]q\frac{(x-a)^{k+1}}{(k+1)!}\le R_{k+1}(x)\le Q\frac{(x-a)^{k+1}}{(k+1)!},[/math]

を満たし[3]x < a のときも同様の評価が成り立つ。これはラグランジュの剰余の単純な帰結である。とくに、ある r > 0 で区間 I = (ar, a+r)

[math]|f^{(k+1)}(x)|\leq M[/math]

ならば、すべての x ∈ (ar, a+r) に対して

[math]|R_{k+1}(x)| \le M\frac{|x-a|^{k+1}}{(k+1)!}\le M\frac{r^{k+1}}{(k+1)!}[/math]

である。第二の不等式は一様評価と呼ばれる。区間 (ar, a+r) 上すべての x に対して一様に成り立つからである。

ファイル:Expanimation.gif
ex(青)の x = 0 を中心とする次数 k = 1, ..., 7 のテイラー多項式 Pk(赤)による近似。

関数 f(x) = ex を区間 [−1, 1] 上で誤差が 10−5 を超えないように近似したいとしよう。この例で我々は指数関数の次の性質しか知らないとしよう:

[math](*) \qquad e^0=1, \qquad \frac{d}{dx} e^x = e^x, \qquad e^x\gt 0, \qquad x\in\mathbb{R}.[/math]

これらの性質から次のことが従う。すべての k に対して f(k)(x) = ex であり、とくに、f(k)(0) = 1 である。したがって f の 0 における k 次のテイラー多項式とそのラグランジュの剰余項は

[math] P_k(x) = 1+x+\frac{x^2}{2!}+\cdots+\frac{x^k}{k!}, \qquad R_{k+1}(x)=\frac{e^\xi}{(k+1)!}x^{k+1}[/math]

によって与えられる、ただし ξ は 0 と x の間のある数である。ex は (*) によって増加関数だから、部分区間 [−1, 0] 上で剰余項を評価するのに単純に ex ≤ 1 (x ∈ [−1, 0]) を使うことができる。[0, 1] 上の剰余の上界を得るには、0<ξ<x に対して eξ<ex という性質を用いて、二次のテイラー展開を用いて

[math] e^x = 1 + x + \frac{e^\xi}{2}x^2 \lt 1 + x + \frac{e^x}{2}x^2, \qquad 0 \lt x\leq 1 [/math]

と評価できる。ex について解いて、単純に分子を最大化、分母を最小化して、

[math] e^x \leq \frac{1+x}{1-\frac{x^2}{2}} = 2\frac{1+x}{2-x^2} \leq 4, \qquad 0 \leq x\leq 1 [/math]

を得る。ex に対するこれらの評価を組み合わせて、

[math] |R_{k+1}(x)| \leq \frac{4|x|^{k+1}}{(k+1)!} \leq \frac{4}{(k+1)!}, \qquad -1\leq x \leq 1 [/math]

となるので、要求された正確さは

[math] \frac{4}{(k+1)!} \lt 10^{-5} \quad \Leftrightarrow \quad 4\cdot 10^5 \lt (k+1)! \quad \Leftrightarrow \quad k \geq 9 [/math]

のときに確かに達成されている。(値 9! = 362 880 および 10! = 3 628 800 は階乗を参照するか手計算せよ。)結論として、テイラーの定理から次の近似が導かれる:

[math] e^x = 1+x+\frac{x^2}{2!} + \ldots + \frac{x^9}{9!} + R_9(x), \qquad |R_9(x)| \lt 10^{-5}, \qquad -1\leq x \leq 1. [/math]

例えば、この近似から小数点以下五桁まで正しい小数表示 [math]e \approx 2.71828[/math] が得られる。

解析性との関連

{{ safesubst:#invoke:Unsubst||$N=Empty section |date=__DATE__ |$B=

}}

テイラーの定理の一般化

高次の微分可能性

関数 f: Rn → Ra ∈ Rn において微分可能であることは、次と同値である。

[math]f(\boldsymbol{x}) = f(\boldsymbol{a}) + L(\boldsymbol{x}-\boldsymbol{a}) + h(\boldsymbol{x})|\mathbf{x}-\mathbf{a}|, \qquad \lim_{\boldsymbol{x}\to\boldsymbol{a}}h(\boldsymbol{x})=0 [/math]

となるような線型汎関数 LRn → R と関数 hRn → R が存在する。

この条件が成り立つとき、L = df(a) は点 a における f の(一意的に定義される)微分である。さらに、このとき fa における偏微分が存在し、fa における微分は

[math] df( \boldsymbol{a} )( \boldsymbol{v} ) = \frac{\partial f}{\partial x_1}(\boldsymbol{a})v_1 + \cdots + \frac{\partial f}{\partial x_n}(\boldsymbol{a})v_n [/math]

によって与えられる。

次のような多重指数表記を導入する。α ∈ Nnx ∈ Rn に対して、

[math] |\alpha| = \alpha_1+\cdots+\alpha_n, \quad \alpha!=\alpha_1!\cdots\alpha_n!, \quad \boldsymbol{x}^\alpha=x_1^{\alpha_1}\cdots x_n^{\alpha_n}. [/math]

f: RnR のすべての k偏導関数aRn において連続ならば、クレローの定理より、a における混合微分の順序を入れ替えることができ、したがって高階偏導関数に対する表記

[math] D^\alpha f = \frac{\partial^{|\alpha|}f}{\partial x_1^{\alpha_1}\cdots \partial x_n^{\alpha_n}}, \qquad |\alpha|\leq k [/math]

がこの状況において正当化される。f のすべての (k − 1) 階偏導関数が a のある近傍において存在し a において微分可能であれば、同じことが正しい[4]。このとき fa において k 回微分可能であるという。

多変数関数に対するテイラーの定理

テンプレート:Math theorem

関数 f: RnR閉球 B において k + 1 回連続微分可能ならば、fk + 1 階偏導関数を用いてこの近傍において剰余項の正確な公式を導出できる。すなわち、

[math] \begin{align}& f( \boldsymbol{x} ) = \sum_{|\alpha|\leq k} \frac{D^\alpha f(\boldsymbol{a})}{\alpha!} (\boldsymbol{x}-\boldsymbol{a})^\alpha + \sum_{|\beta|=k+1} R_\beta(\boldsymbol{x})(\boldsymbol{x}-\boldsymbol{a})^\beta, \\& R_\beta( \boldsymbol{x} ) = \frac{|\beta|}{\beta!} \int_0^1 (1-t)^{|\beta|-1}D^\beta f \big(\boldsymbol{a}+t( \boldsymbol{x}-\boldsymbol{a} )\big) \, dt. \end{align} [/math]

このとき、コンパクト集合 B における k + 1 階偏導関数の連続性によって、ただちに次の一様評価を得る。

[math]\left|R_\beta(\boldsymbol{x})\right| \leq \frac{1}{\beta!} \max_{|\alpha|=|\beta|} \max_{\boldsymbol{y}\in B} |D^\alpha f(\boldsymbol{y})|, \qquad \boldsymbol{x}\in B. [/math]

2次元での例

例えば、関数 f: R2 → R の三階のテイラー多項式は、xa = v と書いて、

[math]\begin{align} P_3(\boldsymbol{x}) = f ( \boldsymbol{a} ) + &\frac{\partial f}{\partial x_1}( \boldsymbol{a} ) v_1 + \frac{\partial f}{\partial x_2}( \boldsymbol{a} ) v_2 + \frac{\partial^2 f}{\partial^2 x_1}( \boldsymbol{a} ) \frac {v_1^2}{2!} + \frac{\partial^2 f}{\partial x_1 \partial x_2}( \boldsymbol{a} ) v_1 v_2 + \frac{\partial^2 f}{\partial^2 x_2}( \boldsymbol{a} ) \frac{v_2^2}{2!} \\ & + \frac{\partial^3 f}{\partial x_1^3}( \boldsymbol{a} ) \frac{v_1^3}{3!} + \frac{\partial^3 f}{\partial^2 x_1 \partial x_2}( \boldsymbol{a} ) \frac{v_1^2 v_2}{2!} + \frac{\partial^3 f}{\partial x_1 \partial^2 x_2}( \boldsymbol{a} ) \frac{v_1 v_2^2}{2!} + \frac{\partial^3 f}{\partial^3 x_2}( \boldsymbol{a} ) \frac{v_2^3}{3!} \end{align}[/math]

証明

{{ safesubst:#invoke:Unsubst||$N=Empty section |date=__DATE__ |$B=

}}

関連項目

脚注

  1. Kline 1972, pp. 442, 464
  2. ハイラー & ヴァンナー 2012, 定理(7.13).
  3. Apostol 1967, §7.6
  4. このことは、関数 f の偏導関数が a の近傍において存在し a において連続であるならば関数は a において微分可能であるという定理を繰り返し適用することによって従う。例えば次を参照。Apostol 1974, Theorem 12.11.

参考文献 

  • 解析教程』下、蟹江幸博訳、丸善出版、2012年。ISBN 978-4-621-06190-9。
  • 『解析入門I』 東京大学出版会〈基礎数学2〉、1980年。ISBN 978-4-13-062005-5。
  • Apostol, Tom (1967), Calculus, Wiley, ISBN 0-471-00005-1 .
  • Apostol, Tom (1974), Mathematical analysis, Addison–Wesley .
  • Bartle, Robert G.; Sherbert, Donald R. (2011), Introduction to Real Analysis (4th ed.), Wiley, ISBN 978-0-471-43331-6 .
  • Hörmander, L. (1976), Linear Partial Differential Operators, Volume 1, Springer, ISBN 978-3-540-00662-6 .
  • Kline, Morris (1972), Mathematical thought from ancient to modern times, Volume 2, Oxford University Press .
  • Kline, Morris (1998), Calculus: An Intuitive and Physical Approach, Dover, ISBN 0-486-40453-6 .
  • Pedrick, George (1994), A First Course in Analysis, Springer, ISBN 0-387-94108-8 .
  • Stromberg, Karl (1981), Introduction to classical real analysis, Wadsworth, ISBN 978-0-534-98012-2 .
  • Rudin, Walter (1987), Real and complex analysis (3rd ed.), McGraw-Hill, ISBN 0-07-054234-1 .

外部リンク