Murray H. Protter, Charles Bradfield Morrey. 《中等微积分》(Intermediate calculus). Springer. 1986. ISBN 978-0-387-96058-6.
十二月 27, 2023
泰勒公式, 在数学中, 英語, taylor, formula, 是一个用函数在某点的信息描述其附近取值的公式, 這個公式來自於微積分的泰勒定理, taylor, theorem, 泰勒定理描述了一個可微函數, 如果函数足够光滑的话, 在已知函数在某一点的各阶导数值的情况之下, 可以用这些导数值做系数构建一个多项式来近似函数在这一点的邻域中的值, 這個多項式稱為泰勒多項式, taylor, polynomial, 还给出了餘項即这个多项式和实际的函数值之间的偏差, 得名于英国数学家布鲁克, 泰勒, 他在1712年的. 在数学中 泰勒公式 英語 Taylor s Formula 是一个用函数在某点的信息描述其附近取值的公式 這個公式來自於微積分的泰勒定理 Taylor s theorem 泰勒定理描述了一個可微函數 如果函数足够光滑的话 在已知函数在某一点的各阶导数值的情况之下 泰勒公式可以用这些导数值做系数构建一个多项式来近似函数在这一点的邻域中的值 這個多項式稱為泰勒多項式 Taylor polynomial 泰勒公式还给出了餘項即这个多项式和实际的函数值之间的偏差 泰勒公式得名于英国数学家布鲁克 泰勒 他在1712年的一封信里首次叙述了这个公式 尽管1671年詹姆斯 格雷高里已经发现了它的特例 1 拉格朗日在1797年之前 最先提出了帶有余項的現在形式的泰勒定理 指数函数y e x displaystyle y e x 红色实线 与在原点展开的泰勒多项式前四项 绿色虚线 在这个函数中 泰勒多项式展开的项数越多 曲线拟合得越好 目录 1 泰勒公式 2 泰勒定理 3 余项估计 4 多元泰勒公式 5 參閱 6 参考来源泰勒公式 编辑泰勒公式的初衷是用多项式来近似表示函数在某点周围的情况 比如说 指数函数e x displaystyle e x nbsp 在x 0 displaystyle x 0 nbsp 的附近可以用以下多项式来近似地表示 e x 1 x x 2 2 x 3 3 x n n displaystyle textrm e x approx 1 x frac x 2 2 frac x 3 3 cdots frac x n n nbsp 称为指数函数在0处的n displaystyle n nbsp 阶泰勒展开公式 这个公式只对0 displaystyle 0 nbsp 附近的x displaystyle x nbsp 有用 x displaystyle x nbsp 离0 displaystyle 0 nbsp 越远 这个公式就越不准确 实际函数值和多项式的偏差称为泰勒公式的余项 R n x e x 1 x x 2 2 x 3 3 x n n displaystyle R n x textrm e x left 1 x frac x 2 2 frac x 3 3 cdots frac x n n right nbsp 泰勒定理 编辑对于一般的函数 泰勒公式的系数的选择依赖于函数在一点的各阶导数值 这个想法的原由可以由微分的定义开始 微分是函数在一点附近的最佳线性近似 f a h f a f a h o h displaystyle f a h f a f prime a h o h nbsp 其中o h displaystyle o h nbsp 是比h 高阶的无穷小 也就是说f a h f a f a h displaystyle f a h approx f a f prime a h nbsp 或f x f a f a x a displaystyle f x approx f a f prime a x a nbsp 注意到f x displaystyle f x nbsp 和f a f a x a displaystyle f a f prime a x a nbsp 在a 处的零阶导数和一阶导数都相同 对足够光滑的函数 如果一个多项式在a 处的前n 次导数值都与函数在a 处的前n 次导数值重合 那么这个多项式应该能很好地近似描述函数在a 附近的情况 以下定理说明这是正确的 定理 设 n 是一个正整数 如果定义在一个包含 a 的区间上的函数 f 在 a 点处 n 1 次可导 那么对于这个区间上的任意 x 都有 f x f a f a 1 x a f 2 a 2 x a 2 f n a n x a n R n x displaystyle f x f a frac f a 1 x a frac f 2 a 2 x a 2 cdots frac f n a n x a n R n x nbsp 2 其中的多项式称为函数在a 处的泰勒展开式 剩余的R n x displaystyle R n x nbsp 是泰勒公式的余项 是 x a n displaystyle x a n nbsp 的高阶无穷小 R n x displaystyle R n x nbsp 的表达形式有若干种 分别以不同的数学家命名 带有皮亚诺型余项的泰勒公式说明了多项式和函数的接近程度 f x f a f a 1 x a f 2 a 2 x a 2 f n a n x a n o x a n displaystyle f x f a frac f a 1 x a frac f 2 a 2 x a 2 cdots frac f n a n x a n o x a n nbsp 也就是说 当x 无限趋近a 时 余项R n x displaystyle R n x nbsp 将会是 x a n displaystyle x a n nbsp 的高阶无穷小 或者说多项式和函数的误差将远小于 x a n displaystyle x a n nbsp 3 这个结论可以由下面更强的结论推出 带有拉格朗日型余项的泰勒公式可以视为拉格朗日微分中值定理的推广 f x f a f a 1 x a f 2 a 2 x a 2 f n a n x a n f n 1 8 n 1 x a n 1 displaystyle f x f a frac f a 1 x a frac f 2 a 2 x a 2 cdots frac f n a n x a n frac f n 1 theta n 1 x a n 1 nbsp 即R n x f n 1 8 n 1 x a n 1 displaystyle R n x frac f n 1 theta n 1 x a n 1 nbsp 其中8 a x displaystyle theta in a x nbsp 4 带有积分型余项的泰勒公式可以看做微积分基本定理的推广 5 R n x a x f n 1 t n x t n d t displaystyle R n x int a x frac f n 1 t n x t n dt nbsp 余项估计 编辑拉格朗日型余项或积分型余项可以帮助估计泰勒展开式和函数在一定区间之内的误差 设函数在区间 a r a r 上n 次连续可微并且在区间 a r a r 上n 1 次可导 如果存在正实数Mn 使得区间 a r a r 里的任意x 都有 f n 1 x M n displaystyle f n 1 x leq M n nbsp 那么 f x f a f a 1 x a f 2 a 2 x a 2 f n a n x a n R n x displaystyle f x f a frac f a 1 x a frac f 2 a 2 x a 2 cdots frac f n a n x a n R n x nbsp 其中 R n x M n r n 1 n 1 displaystyle R n x leq M n frac r n 1 n 1 nbsp 这个上界估计对区间 a r a r 里的任意x 都成立 是一个一致估计 如果当n 趋向于无穷大时 还有M n r n 1 n 1 0 displaystyle M n frac r n 1 n 1 rightarrow 0 nbsp 那么可以推出 R n x 0 displaystyle R n x rightarrow 0 nbsp f 是区间 a r a r 上解析函数 f 在区间 a r a r 上任一点的值都等于在这一点的泰勒展开式的極限 多元泰勒公式 编辑对于多元函数 也有类似的泰勒公式 设B a r 是欧几里得空间RN 中的开球 ƒ 是定义在B a r 的閉包 即閉球 上的实值函数 并在每一点都存在所有的n 1 次偏导数 这时的泰勒公式为 对所有x B a r displaystyle x in mathbf B a r nbsp f x a 0 n 1 a a f a x a x a a a n 1 R a x x a a displaystyle 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 nbsp 其中的 a displaystyle alpha nbsp 是多重指标 即 a a 1 a 2 a n displaystyle alpha alpha 1 alpha 2 alpha n nbsp a a 1 a 2 a n displaystyle alpha alpha 1 cdot alpha 2 cdot cdot alpha n nbsp 若x x 1 x 2 x n displaystyle x x 1 x 2 x n nbsp 则记 x a x 1 a 1 x 2 a 2 x n a n displaystyle x alpha x 1 alpha 1 x 2 alpha 2 x n alpha n nbsp a f a x a a 1 a 2 a n f a x 1 a 1 x 2 a 2 x n a n displaystyle 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 nbsp 其中的余项也满足不等式 对所有满足 a n 1 的 a R a x sup y B 1 a a f y x a displaystyle R alpha x leq sup y in bar B left frac 1 alpha frac partial alpha f y partial x alpha right nbsp 特别地 多元形式的泰勒公式可表示为 f a h k 0 m a f a a x a h a R m displaystyle f a h sum k 0 m frac partial alpha f a alpha partial x alpha h alpha R m nbsp 其中R m a m 1 a f a 8 h a h a displaystyle R m sum alpha m 1 frac partial alpha f a theta h alpha h alpha nbsp 在应用上述公式时 特别重要的是展开式的前三项 即 f a h f a f x 1 a h 1 f x n a h n 1 2 i j 1 n 2 f x i x j a displaystyle 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 nbsp 运用雅可比矩阵与海森矩阵 则上式可表示为 f a h f a J f a h 1 2 h 1 h n H f a h 1 h n displaystyle 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 nbsp 其中J f a displaystyle Jf a nbsp 为雅可比矩阵 H f a displaystyle Hf a nbsp 为海森矩阵 參閱 编辑泰勒級數 拉格朗日型餘項 佩亞諾型餘項 麥克勞林公式参考来源 编辑 J J O Connor and E F Robertson Brook Taylor s Biography 2009 12 25 原始内容存档于2010 11 20 Rudin 第123至124页 微积分 第88 90页 Klein 1998 20 3 Apostol 1967 7 7 Protter Morrey 第135 136页Apostol Tom 微积分学 Calculus Jon Wiley amp 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 取自 https zh wikipedia org w index php title 泰勒公式 amp oldid 79974243, 维基百科,wiki,书籍,书籍,图书馆,