泰勒中值定理

在數學中，**泰勒公式**（英語：Taylor's Formula）是一個用函數在某點的訊息描述其附近取值的公式。這個公式來自於微積分的**泰勒定理**（Taylor's theorem），泰勒定理描述了一個可微函數，如果函數足夠光滑的話，在已知函數在某一點的各階導數值的情況之下，泰勒公式可以用這些導數值做係數構建一個多項式來近似函數在這一點的鄰域中的值，這個多項式稱為**泰勒多項式**（Taylor polynomial）。泰勒公式還給出了餘項即這個多項式和實際的函數值之間的偏差。泰勒公式得名於英國數學家布魯克・泰勒。他在 1712 年的一封信里首次敘述了這個公式，儘管 1671 年詹姆斯・格雷高里已經發現了它的特例。拉格朗日在 1797 年之前，最先提出了帶有餘項的現在形式的泰勒定理。

## 泰勒公式

泰勒公式的初衷是用多項式來近似表示函數在某點周圍的情況。比如說，指數函數 $e^{x}$ 在 $x=0$ 的附近可以用以下多項式來近似地表示：

　
: ${\textrm {e}}^{x}\approx 1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots +{\frac {x^{n}}{n!}}.$

稱為指數函數在 0 處的 $n$ 階泰勒展開公式。這個公式只對 $0$ 附近的 $x$ 有用， $x$ 離 $0$ 越遠，這個公式就越不準確。實際函數值和多項式的偏差稱為泰勒公式的**餘項**。

　
: $R_{n}(x)={\textrm {e}}^{x}-\left(1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots +{\frac {x^{n}}{n!}}\right).$

## 泰勒定理

對於一般的函數，泰勒公式的係數的選擇依賴於函數在一點的各階導數值。這個想法的原由可以由微分的定義開始。微分是函數在一點附近的最佳線性近似：

　
: $f(a+h)=f(a)+f^{\prime }(a)h+o(h)$ ，其中 $o(h)$ 是比 _h_ 高階的無窮小。

也就是說 $f(a+h)\approx f(a)+f^{\prime }(a)h$ ，或 $f(x)\approx f(a)+f^{\prime }(a)(x-a)$ 。

注意到 $f(x)$ 和 $f(a)+f^{\prime }(a)(x-a)$ 在 _a_ 處的零階導數和一階導數都相同。對足夠光滑的函數，如果一個多項式在 _a_ 處的前 _n_ 次導數值都與函數在 _a_ 處的前 _n_ 次導數值重合，那麼這個多項式應該能很好地近似描述函數在 _a_ 附近的情況。以下定理說明這是正確的：

 $R_{n}(x)$ 的表達形式有若干種，分別以不同的數學家命名。

帶有皮亞諾型餘項的泰勒公式說明了多項式和函數的接近程度：

也就是說，當 _x_ 無限趨近 _a_ 時，餘項 $R_{n}(x)$ 將會是 $(x-a)^{n}$ 的高階無窮小，或者說多項式和函數的誤差將遠小於 $(x-a)^{n}$ 。這個結論可以由下面更強的結論推出。

帶有拉格朗日型餘項的泰勒公式可以視為拉格朗日微分均值定理的推廣：

即 $R_{n}(x)={\frac {f^{(n+1)}(\theta )}{(n+1)!}}(x-a)^{(n+1)}$ ，其中 $\theta \in (a,x)$ 。

帶有積分型餘項的泰勒公式可以看做微積分基本定理的推廣：

　
: $R_{n}(x)=\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,dt,$

## 餘項估計

拉格朗日型餘項或積分型餘項可以幫助估計泰勒展開式和函數在一定區間之內的誤差。設函數在區間[_a_ − _r_, _a_ + _r_] 上 _n_ 次連續可微並且在區間 (_a_ − _r_, _a_ + _r_) 上 _n_ + 1 次可導。如果存在正實數 _Mn_ 使得區間 (_a_ − _r_, _a_ + _r_) 里的任意 _x_ 都有 $|f^{(n+1)}(x)|\leq M_{n}$ ，那麼：

其中 $|R_{n}(x)|\leq M_{n}{\frac {r^{n+1}}{(n+1)!}}$ 。這個上界估計對區間 (_a_ − _r_, _a_ + _r_) 里的任意 _x_ 都成立，是一個一致估計。

如果當 _n_ 趨向於無窮大時，還有 $M_{n}{\frac {r^{n+1}}{(n+1)!}}\rightarrow 0$ ，那麼可以推出 $R_{n}(x)\rightarrow 0$ ，_f_ 是區間 (_a_ − _r_, _a_ + _r_) 上解析函數。_f_ 在區間 (_a_ − _r_, _a_ + _r_) 上任一點的值都等於在這一點的泰勒展開式的極限。

## 多元泰勒公式

對於多元函數，也有類似的泰勒公式。設 **B**(_a_, _r_ ) 是歐幾里得空間 **R**N 中的開球，ƒ 是定義在 **B**(_a_, _r_ ) 的閉包（即閉球）上的實值函數，並在每一點都存在所有的 _n_+1 次偏導數。這時的泰勒公式為：

　
: 對所有 $x\in \mathbf {B} (a,r)$ ，

　
: $f(x)=\sum _{|\alpha |=0}^{n}{\frac {1}{\alpha !}}{\frac {\partial ^{\alpha }f(a)}{\partial x^{\alpha }}}(x-a)^{\alpha }+\sum _{|\alpha |=n+1}R_{\alpha }(x)(x-a)^{\alpha }$

　
: 其中的 $\alpha $ 是多重指標，即 $|\alpha |=\alpha _{1}+\alpha _{2}+...+\alpha _{n}$ , $\alpha !=\alpha _{1}!\cdot \alpha _{2}!\cdot ...\cdot \alpha _{n}!$ 。

　
: 若 $x=(x_{1},x_{2},...,x_{n})$ , 則記 : $x^{\alpha }=x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}...x_{n}^{\alpha _{n}}$ , ${\frac {\partial ^{\alpha }f(a)}{\partial x^{\alpha }}}={\frac {\partial ^{\alpha _{1}+\alpha _{2}+...+\alpha _{n}}f(a)}{\partial x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}...x_{n}^{\alpha _{n}}}}$ .

其中的餘項也滿足不等式：

　
: 對所有滿足 |α| =_n_ + 1 的 α， $|R_{\alpha }(x)|\leq \sup _{y\in {\bar {B}}}\left|{\frac {1}{\alpha !}}{\frac {\partial ^{\alpha }f(y)}{\partial x^{\alpha }}}\right|$

特別地，多元形式的泰勒公式可表示為：

　
: $f(a+h)=\sum _{k=0}^{m}{\frac {\partial ^{\alpha }f(a)}{\alpha !}}{\partial x^{\alpha }}h^{\alpha }+R_{m}$

　
: 其中 $R_{m}=\sum _{|\alpha |=m+1}{\frac {\partial ^{\alpha }f(a+\theta h)}{\alpha !}}h^{\alpha }$ .

在應用上述公式時，特別重要的是展開式的前三項，即：

　
: $f(a+h)=f(a)+{\frac {\partial f}{\partial x_{1}}}(a)h_{1}+...+{\frac {\partial f}{\partial x_{n}}}(a)h_{n}+{\frac {1}{2}}\sum _{i,j=1}^{n}{\frac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}(a)+...$ .

　
: 運用雅可比矩陣與海森矩陣，則上式可表示為：

　
: $f(a+h)=f(a)+Jf(a)h+{\frac {1}{2}}(h_{1},...h_{n})Hf(a){\begin{pmatrix}h_{1}\\...\\h_{n}\\\end{pmatrix}}+...$

　
: 其中 $Jf(a)$ 為雅可比矩陣， $Hf(a)$ 為海森矩陣.

## 參閱

* 泰勒級數
* 拉格朗日型餘項
* 佩亞諾型餘項
* 麥克勞林公式

## 參考來源

* Apostol, Tom. 《微积分学》（_Calculus_）. Jon Wiley & Sons, Inc. 1967. ISBN 0-471-00005-1.
* Klein, Morris. 《微积分学：直观物理方法》(_Calculus: An Intuitive and Physical Approach_). Dover. 1998. ISBN 0-486-40453-6.
* Walter Rudin. 《数学分析原理》(_Principles of Mathematical Analysis_). Mcgraw-hill Book Company. 1976. ISBN 978-0-070-54235-8.
* 清華大學數學科學系微積分編寫組. 《微积分 (Ⅱ)》. 清華大學出版社. 2000. ISBN 7-302-06917-4.
* Murray H. Protter, Charles Bradfield Morrey. 《中等微积分》(_Intermediate calculus_). Springer. 1986. ISBN 978-0-387-96058-6.