泰勒展开的推导

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;

……

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

]

那么展开式的二阶偏导可表示为(1/2!) * AT * ▽2F * A

……

至此，多元泰勒展开推导结束。