泰勒展开的推导

最新推荐文章于 2025-06-05 15:17:36 发布

btchengzi0

最新推荐文章于 2025-06-05 15:17:36 发布

阅读量7.8k

点赞数

CC 4.0 BY-SA版权

文章标签：数学导数矩阵

本文链接：https://blog.csdn.net/btchengzi0/article/details/55805960

本文详细介绍了泰勒展开的概念及其在单变量与多变量函数中的应用。通过逐步推导，展示了如何利用泰勒公式来近似函数值，并给出了具体的一元与多元函数泰勒展开式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1. 一元泰勒展开

根据积分定义式，如F（x）= （亦即F‘（x）= f(x)），那么，F(x + a) = F(x) + ，也就是F(x + a) = F(x) + ；①

然后，对F‘(t) (t >= x && t <= x+ a)再次应用①式，即有F'(t) = F'(x) + ，则F(x + a) = F(x) + = F(x + a) = F(x) + F‘(x) * a + ；

然后，对F‘’(u)应用①式，对于最后一项，拆分出常数项F‘’(x)，应对F‘’（x）从x到t积分得到F‘'(x) * (t - x)，然后对其从x到x+a积分，亦即= ②，换元，设u=(t-x)，②等价于= F''(x) * a^2 / 2；

……以此类推，可得一元泰勒展开式，F(x + a) = F(x) + F'(x) * a + F''(x) * a^2 / 2 + ...F''''''(x) * a^n / n !；

2. 多元泰勒展开

多元函数一个点P1为：F(x1, x2, x3...,xn)，则另一个点P2可以表示为：F(x1+a1, x2+a2, x3+a3...,xn+an)，欲对P2在P1点处展开，最简单的方式是化多元为一元，用一元泰勒展开对其进行推导；

添加参数t，设函数G(t)= F(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) ，G(t)在t=1处对0进行展开的就相当于P2在P1处展开；

G(1) = G(0) + G'(0) + G''(0) / 2! + ...G''''''(0) / n !③

其中G'''''...(0)=F''''...(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an)|(t=0)，即对F(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an)关于t求导:

F't(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) = F'x1(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) * a1 + F'x2(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) * a2 + ...F'xn(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) * an；④

F‘’t(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) = F't'x1(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) + F't'x2(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an) + ...F't'xn(x1+ t * a1, x2+ t * a2, x3+ t * a3...,xn+ t *an)；

如此类推……

如④式，将每次对t求导，转化成对xi求偏导的项之和，每项都产生一个乘法因子ai，故P2在P1处的泰勒展开表达式为：F(x1+a1, x2+a2, x3+a3...,xn+an) = G(1) = F(x1, x2, x3...,xn) + F'x1 * a1+ F'x2 * a2 + ...+F'xn * an

+ (1/2!) *

(F'x1'x1 * a1 * a1 + F'x1'x2 * a1 * a2 + ... + F'x1'xn * a1 * an +

F'x2'x1 * a2 * a1 + F'x2'x2 * a2 * a2 + ... + F'x2'xn * a2 * an +

...

F'xn'x1 * an * a1 + F'xn'x2 * an * a2 + ... + F'x2'xn * an * an

)

+ ...

（PS:下面大写T跟在矩阵后面表示转置）

根据梯度的定义▽F=[F'x1 F'x2 ...F'xn]T则展开式一阶偏导项可表示为▽FT * A；

根据和森矩阵定义▽2F =

[F'x1'x1 F'x1'x2 ...F'x1'xn;

F'x2'x1 F'x2'x2 ...F'x2'xn;