漫步数学分析三十六——泰勒定理

我们讨论一般函数 f:ARnRm 的泰勒公式,为此我们首先讨论高阶导数。对于 f:RnR ,定义高阶偏导没有问题;我们仅仅迭代偏导的过程

2fx1x2=x1(x2f)

然而,将导数看做线性映射时需要非常小心。

如果二阶导存在的话,可以通过对 Df 求导获得,过程如下。

4 L(Rn,Rm) 表示从 Rn Rm 的线性映射空间,(如果我们在 Rn Rm 中选择一个基,那么 L(Rn,Rm) 等同于 m×n 矩阵)接下里 Df:AL(Rn,Rm) ;即对每个 xA 我们得到一个线性映射 Df(x0) 。如果我们在 x0 处对 Df 求导,我们就得到从 Rn L(Rn,Rm) 的线性映射,写作 D(Df(x0))=D2f(x0) 。我们将 Bx0:Rn×RnRm 定义成 Bx0(x1,x2)=[D2f(x0)(x1)](x2)

因为 D2f(x0):RnL(Rn,Rm) ,上面的定义讲得通,所以 D2f(x0)(x1)L(Rn,Rm) ;因此它能够用到 x2 上。我们这么做的原因是 Bx0 避免不必要的使用较难的空间 L(Rn,Rm)Rnm

根据定义,双线性(bilinear)映射 B:E×FG ,其中 E,F,G 是向量空间,就是每个变量都是线性的映射;例如对第一个变量,也就是说 B(αe1+βe2,f)=αB(e1,f)+βB(e2,f) ,其中 e1,e2E,fF,α,βR ,上面定义的映射 Bx0 很容易看成 Rn×RnRm 的一个双线性映射。

接下来,对于双线性映射 B:E×FR ,我们可以将每个 E 的基 e1,,en F f1,,fm 与一个矩阵关联起来,即令

aij=B(ei,fj)

那么如果

x=i=1nxieiy=j=1myjfj

我们有

B(x,y)=ijaijxiyj=(x1,x2,,xn)a11an1a1manmy1ym

注意:对于二阶导数,双线性映射 Bx0 x0 处对 Df 的求导依然写成 D2(f)

8 f:ARnR 在开集 A 上二阶可导,那么 D2f(x):Rn×RnR 对于标准基的矩阵为

2fx1x12fxnx12fx1xn2fxnxn

其中每个偏微分都是在点 x=(x1,,xn) 处进行计算。

对于高阶微分,使用相似的处理过程。例如 D3f 对每个 x 给出一个三线性映射 D3(f):Rn×Rn×RnRm ,我们没有将这个映射与矩阵联系起来,而是用三个标记的量来表示;对于每个元素 fk 来说就是 3fk(xlxjxi) (这样的量叫张量(tensor))。

在处理泰勒定义之前,我们首先给出二阶导数一个非常重要的性质:定理8中的矩阵是对称的,即

2fxixj=2fxjxi

9 f:AR 在开集 A 上二阶可导且 D2f 连续(即函数 2f/(xij) 是连续的),那么 D2f 是对称的;即

D2f(x)(x1,x2)=D2f(x)(x2,x1)

或者用元素的方式表示就是

2fxixj=2fxjxi

从上面的定理可以看出,在相似的条件下,高阶微分也是对称的,对于 f:ARm 来说,我们可以将上面的定理应用到 f 的元素上得出微分。

二阶微分的对称性是基本性质,但在单标量微积分中不存在这种情况,现在我们通过实例来验证这些原则。

假设 f(x,y,z)=exysinx+x2y4cos2z ,所以 f:R3R ,那么

fxfy=exycosx+yexysinx+2xy4cos2z=xexysinx+4x2y3cos2z

并且

fyx=xexycosx+exysinx+xyexysinx+8xy3cos2z

这与 2f/xy 是一样的。

定理9直观上不太明显,然而可以从证明中得出一些直观信息。

5 如果一个函数的前 r 阶导数存在且连续,那么我们称该函数是 Cr 类(class)。(等价的,这意味着到 r 阶之间的所有导数均存在且连续)如果函数对于所有正整数 r 都是 Cr 类,那么我们称该函数是光滑的(smooth)或是 C 类。

利用定理5(坐标形式是最简单的)中的公式,我们可以说明 Cr 的复合函数还是 Cr

泰勒定理如下所述:

10 对开集 ARn ,令 f:AR Cr 类,令 x,yA 并且假设连接 x,y 的线段位于 A 中,那么在这条线段上存在点 c 使得

f(y)f(x)=k=1r11k!Dkf(x)(yx,,yx)+1r!Dr(c)(yx,,yx)

其中 Dkf(x)(yx,,yx) 表示 k 线性映射 Dkf(x) 作用到 k (yx,,yx) 上,在坐标中

Dkf(x)(yx,,yx)=i1,,ik=1n(kfxi1xik)(yi1xxi)(yikxik)

y=x+h ,我们可以将泰勒公式重新写成

f(x+h)=f(x)+Df(x)h++1(r1)!Dr1f(x)(h,,h)+Rr1(x,h)

其中 Rr1(x,h) 是余项(remainder),进一步

h0Rr1(x,h)hr10

余项还有其他的表示形式,我们会在证明中给出来,这个定理是均值定理( r=1 的情况)的推广,也是单元微积分中泰勒定理的推广。

根据泰勒定理,我们可以写出 x0 的泰勒级数(Taylor series)

k=01k!Dkf(x0)(xx0,,xx0)

即便 f C ,它也没必要收敛,如果它在 x0 的邻域内收敛,那么我们说 f x0 处是可解析的。为了说明 f 是可解析的,我们需要展示在 r 时,余项 (1/r!)Drf(c)(xx0,,xx0)0 ,那么它就能用来建立常见的幂级数表达式,像 sinx,cosx 等等。

1 对函数 f(x,y)=yx2(cosy2) ,验证定理9。


fx=2xycosy2,2fyx=2xcosy24xy2siny2

fy=x2cosy22y2x2siny2,2fxy=2xcosy24y2xsiny2

2 如果 f R 上的 C 且对于每个区间 [a,b] ,存在常数 M 使得对每个 n,x[a,b] ,不等式 |fn(x)|M 成立,说明 f 在每个 x0 处可解析并且

f(x)=n=0f(n)(x0)n!(xx0)n

余项是

n=0f(n)(x0)n!(xx0)nMn|xx0|nn!

n 时余项 0 ,因为利用比率测试,对应的级数收敛。通过观察可知这个收敛在所有有界区间上是一致收敛的。

3 给出一个是 C 函数但是不可解析。


f(x)={0,e1/x,x0x>0

f 平滑性唯一有问题的地方就是 x=0 处,但是对于 x>0

f(x)=1x2e1/x

x0+ 时导数 0 (利用洛必达法则),同样的我们可以看出 x0+ f(n)(x)0 ,从而利用均值定理我们可以看出 f 在0处是 C f(n)(0)=0 ,因此 x=0 处的泰勒级数等于零,所以 f 不等于 x=0 处泰勒级数,故 f 不是可解析的。

4 计算 f(x,y)=sin(x+2y) (0,0) 周围的二阶泰勒公式。

这里 f(0,0)=0

fx(0,0)fy(0,0)2fx2(0,0)2fy2(0,0)2fxy(0,0)=cos(0+20)=1,=2cos(0+20)=2,=0,=0,=0

从而

f(h,k)=h+2k+R2(h,k),(0,0)

其中

(h,k)(0,0),R2(h,k),(0,0)/|(h,k)|20

你可能感兴趣的:(漫步数学分析)