Loading [MathJax]/jax/output/HTML-CSS/jax.js

微积分笔记(38)——多变量函数的微分学(1)

微积分笔记(38)——多变量函数的微分学(1)

多变量函数的微分学

多元函数的方向导数与偏导数

方向导数(函数沿某方向的普遍化率)

f:DR,aD

  1. 对于单位向量 uRn(u=1) 定义:
    fu(a):=limt0f(a+tu)f(a)t

    若极限存在,称为 fa 点沿方向 u 的导数。

  2. 对于非零向量 uRn(u0) 定义:
    fu(a):=f˜u(a),˜u=uu


    即单位化向量。

:记 φ(t)=f(a+t˜u),则显然 φ(0)=fu(a)

偏导数(多元函数关于单个变元的变化率)

f:DR,aD,考虑单位向量 ui=(0,,1,,0)Rn(第 i 个位置是 1):
fxi(a):=fui(a)


也记作:
Dif(a)=fxi(a)

称为 fa 点第 i 个偏导数,i=1,2,,n


1. 根据上面定义,第 i 个偏导数即沿第 i 个坐标轴正向的方向导数。
2. 第 i 个偏导数计算方法:将 n 元函数看作一元函数求导(仅依赖第 i 个变元)。

多元函数的微分

空间曲面的切平面

已知空间曲面 S 的函数表示:z=f(x,y)

给定 S 上一点 P=(x0,y0,z0),考察曲面该点的切平面方程:

  1. P 点的平面方程:z=z0+a(xx0)+b(yy0)
  2. 作为曲面 SP 点切平面应该有 z0=f(x0,y0)

f(x,y)z0a(xx0)b(yy0)=o((xx0)2+(yy0)2)

:上式也可看作 2 元函数在一点附近的线性近似。

函数的线性近似

已知函数:u=f(x,y,z)

给定一点 P0=(x0,y0,z0),考察函数在该点附近的线性近似:

  1. 线性函数 u=u0+a(xx0)+b(yy0)+c(zz0)
  2. 作为已知函数在该点附近的近似:u0=f(x0,y0,z0)

f(x,y,z)u0a(xx0)b(yy0)c(zz0)=o[(xx0)2+(yy0)2+(zz0)2]

函数的微分

f:DR,DRm,aD

fa 点可微,如果存在 n 维向量 A=(λ1,,λn)
f(a+Δx)f(a)=A,Δx+o(Δx)


也即:
limΔx0|f(a+Δx)f(a)A,Δx|Δx=0

这时记 df(a):=A,Δx——fa 点附近增量的线性近似。

称为 fa 点的微分A 称为微分系数(向量)

微分系数的计算

fa 点可微,df(a)=A,Δx,A=(λ1,,λn),因而有:
limΔx0|f(a+Δx)f(a)A,Δx|Δx=0


回忆 ui=(0,,1,,0)Rn(第 i 个位置是 1)。

为确定微分系数,取 Δx=tui,x=|t|,A,Δx=A,tui=tλi

代入极限:
limt0|f(a+tui)f(a)tλi|=0


可见:
λi=limt0f(a+tui)f(a)t=fxi(a)=Dif(a),i=1,2,,n

推论
1. 设 f:DR,aD,如果 fa 点可微,则在 a 点的偏导数存在,且:
df(a)=D1f(a)Δx1++Dnf(a)Δxn


2. 设 f:DR,aD,如果 fa 点可微,则在 a 点连续:
f(a+Δx)f(a)=A,Δx+o(Δx)AΔx+|o(Δx)|0

梯度向量

f:DR,aa,令 fa 点可微,引入梯度向量记号:
gradf(a):=(D1f(a),,Dnf(a))


f(a+Δx)f(a)=gradf(a),Δx+o(Δx)

为考虑方向导数,取 Δx=tu,uRn,u=1
f(a+tu)f(a)t=gradf(a),u+o(t)tgradf(a),u


由此导出:

如果 fa 点可微,则对于任意方向 uRn,u=1
Duf(a)=fu(a)=gradf(a)u


可用于计算方向导数。

推论(梯度向量的几何意义):
1. 对于任意方向 u|Duf(a)|gradf(a)
2. 若 gradf(a)0,u=gradf(a)gradf(a),则 Duf(a)=gradf(a)

:上述结论说明,关于 fa 点的梯度向量。

梯度向量的方向是 f 值增加最快的方向(反向是下降最快的方向)。

其大小是 f 该点所有方向导数的最大值。

函数可微的条件

必要条件:令 fa 点可微,则存在:
gradf(a)=(D1f(a),,Dnf(a))


从而在该点的所有方向导数存在。

:在一点即便所有方向导数都存在,函数也可能不可微。

充分条件:设 f 的每个偏导数 Dif(x),i=1,2,,n

x=a 点都存在且连续,则 fa 点可微。

证明:以 n=2 为例,在 P=(a,b) 点附近考虑函数 f(x,y)
f(a+Δx,b+Δy)f(a,b)=f(a+Δx,b+Δy)f(a+Δx,y)+f(a+Δx,y)f(a,b)


应用一元函数中值定理 η,θ(0,1)
f(a+Δx,b+Δy)f(a+Δx,y)=Dyf(a+Δx,b+ηΔy)Δyf(a+Δx,y)f(a,b)=Dxf(a+θΔx,b)Δx

进一步将上式右端记为:
Dyf(a+Δx,b+ηΔy)Δy=Dyf(a,b)Δy+[β]ΔyDxf(a+θΔx,b)Δx=Dxf(a,b)Δx+[α]Δx

综上:
f(a+Δx,b+Δy)f(a,b)=Dxf(a,b)Δx+[α]Δx+Dyf(a,b)Δy+[β]Δy

其中:
[α]=[Dxf(a+θΔx,b)Dxf(a,b)][β]=[Dyf(a+Δx,b+ηΔy)Dyf(a,b)]

已知 Dxf(x,y),Dyf(x,y)P=(a,b) 点连续,则:
|[α]Δx+[β]Δy|/Δx2+Δy2|[α]+[β]|0

所以:
f(a+Δx,b+Δy)f(a,b)=Dxf(a,b)Δx+Dyf(a,b)Δy+o[Δx2+Δy2]  

函数连续-可导-可微之间的关系

偏导数在 a 点都连续 可微 则连续且所有方向导数都存在。

向量值函数的微分

函数的微分(向量值函数)

ff:DRm,DRn,aD,称 fa 点可微:如果存在 m×n 矩阵 A 满足:
ff(a+Δx)ff(a)=AΔx+o(hh)


也即:
limΔx0ff(a+Δx)ff(a)Δx=0

这时 fa 点的微分记为 dff(a):=AΔx

:为表述方便,上面采用了矩阵记号和运算规定,ff(x) 为列向量见前,Δx 同理。
可以发现 ffa 点可微等价于 ff 的所有分量函数在 a 点可微。

Jacobian 雅克比矩阵

ffa 点可微,则定义 ffa 点的雅克比矩阵为:
Jff(a):=(D1f1(a)Dnf1(a)D1fm(a)Dnfm(a))

推论:设 ff:DRm,DRn,aD
1. 若 ffa 点可微,则在 a 点雅克比矩阵存在,并有:
dff(a)=Jff(a)Δx


2. 若 ff 的雅克比矩阵在 a 点存在且连续,则 ffa 点可微。
3. 若 m=1,则 J(a)=gradf(a)

 

点赞 0

No Comments

Add your comment