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

微积分笔记(22)——瑕积分和数值积分

微积分笔记(22)——瑕积分和数值积分

反常积分(续)

瑕积分(奇异积分)

f:(a,b]RA(a,b),fR[A,b],定义:
baf(x)dx=limAa+bAf(x)dx


若极限存在,则积分收敛,否则积分发散。

(在 x=a 附近 f(x) 可能无界)

类似地,若 f:[a,b)RB(a,b),fR[a,B],定义:
baf(x)dx=limBbBaf(x)dx


同理,如果 f:(a,b)R 且满足类似要求,定义:
c(a,b),baf(x)dx=caf(x)dx+bcf(x)dx

仅当右侧两积分均收敛时,该积分才收敛。

又设 f:[a,c)(c,b]Rx=cf 的瑕点,定义:
baf(x)dx=caf(x)dx+bcf(x)dx


仅当右侧两积分均收敛时,该积分才收敛。

除此之外,还有瑕积分与无穷积分的结合,也可以类似定义。

广义 Newton-Leibniz 公式

baf(x)dx=limxbF(x)limxaF(x)=F(x)|ba

积分的几何应用

积分应用原理

  1. 计算可叠加的量——面积、体积、弧长。
  2. 分割之后便于计算,叠加得到近似值。
  3. 分割越细,误差越小,分割无限细得到精确值。

方法之一:微元叠加法

例 1:令 Dxy 平面上由 x=yx+y2=2 二曲线围成的有界区域,求 D 的面积 A=


D={(x,y)|2y1,yx2y2}


任取 y[2,1] 处的微元 dy,相应在 D 中截取“细条”区域。

其面积微元:
dA=[(2y2)y]dy


关于 y[2,1] 叠加得到:
A=12[(2y2)y]dy

例 2Dxy 平面上三条曲线 y=2x2,y=x,x=0 围成。令 Dy 轴旋转一周生成空间旋转体区域 Ω,求 Ω 的体积 V=

法一:任取 y[0,2] 处微元 dy,相应得到 D 中“细条”区域,绕 y 轴旋转一周生成“薄圆盘”区域。

其体积微元:
dV=πR2(y)dy


其中:
R(y)={y20y12y21<y2
关于 y[0,2] 求和得: V=20πR2(y)dy=π(10y4dy+21(2y2)dy)=π(15+2(21)2213)=π(4232215)
法二:任取 x[0,1] 处的微元 dx,相应得到 D 中“细条区域”绕 y 轴旋转一周,生成“薄圆筒”区域。

其体积微元:
dV=2πx(2x2x)dx

关于 x[0,1] 叠加求和的:

V=102πx(2x2x)dx


同理可求得答案。

数值积分

问题与方法

对于可能找不到原函数的定积分,我需要回到 Riemann 和来逼近积分。

数值积分

取均匀分割:Δx=ban,xi=a+iΔx,yi=f(xi),i=0,1,2,,n

左端点近似

Ln=ni=1f(xi1)Δx=Δxni=1yi1=Δx(y0+y1++yn1)baf(x)dx

右端点近似

Rn=ni=1f(xi)Δx=Δxni=1yi=Δx(y1+y2++yn)baf(x)dx

梯形公式近似

Tn=ni=1f(xi1+f(xi))2Δx=Δ2x(y0+2y1+2y2++2yn1+yn)=12(Ln+Rn)

中点近似

¯yi=f(xi1+xi2)
Mn=ni=1f(xi1+xi2)Δx=Δx(¯y1+¯y2++¯yn)

误差估计

记:

I=baf(x)dxEL=|ILn|ER=|IRn|ET=|ITn|EM=|IMn|


以左端点近似的误差估计为例
ILn=ni=1xixi1f(x)dxni=1f(xi1)Δx=ni=1xixi1[f(x)f(xi1)]dx

fC1[a,b],则 max|f|=M1<+。当 x[xi1,xi] 时,由 Lagrange 中值定理,ξi(xi1,xi),使得: |f(x)f(xi1)|=|f(ξi)(xxi1)|M(xxi1)|xixi1[f(x)f(xi1)]dx|xixi1|f(x)f(xi1)|dxM1xixi1(xxi1)dx=M1Δx22ELni=1M1Δx22=M1(ba)22n
同理可得:ERM1(ba)22n。根据教材还可推得:ETM2(ba)312n2,M2=max[a,b]|f|分析中点公式的误差
IMn=ni=1xixi1[f(x)f(xi1+xi2)]dx

x[xi1,xi] 时,应用 Taylor 展开,ξ[xi1,xi],使得:
f(x)f(xi1+xi2)=f(xi1+xi2)(xxi1+xi2)+f(ξi)2(xxi1+xi2)2|xixi1[f(x)f(xi1+xi2)]dx|=|xixi1f(ξi)2(xxi1+xi2)2dx|M22xixi1(xxi1+xi2)2dx=M2223(Δx2)3EMni=1M2(Δx)324=M2(ba)324n2

推论:当 f0 时,ET=EM=0

 

点赞 0

No Comments

Add your comment

只有分离后才能懂的事,却没有了感慨的时间。