广义二重积分Word版文档格式.docx
- 文档编号:17921935
- 上传时间:2022-12-12
- 格式:DOCX
- 页数:10
- 大小:25.04KB
广义二重积分Word版文档格式.docx
《广义二重积分Word版文档格式.docx》由会员分享,可在线阅读,更多相关《广义二重积分Word版文档格式.docx(10页珍藏版)》请在冰豆网上搜索。
(D.O
定理0.1定义5中所述的网极限是唯一的.
证明:
假设3I}iI2eRs.t有|S(d)-〃V£
加2°
eD,Wl;
<
〃,有|S(d)-厶|v£
由(Dv)上的共尾ft:
3J*eDs.td;
d\d;
d'
从而有:
|S(/)_/]|v£
且|s(/)-厶|<
0,于是|/厂厶|<
2w
由£
的任意性知:
=12
即证网极限是唯一的,说明定义5是良好的.
定义0.6设集合D匸D且(0,v)中沿用(£
<
)中的半序关系.若MwDmhe°
s.td<
心,则称网S:
DiR的限制S「D\iR为网S的临界子网,称半序集(9,v)为(D,v)的临界子定向集.
定理0.2上述定义6中的(U,v)为定向集
首先按照定义,(卩,v)是半序集
乂Vx,yeD,c£
s.tx<
z,y<
3^eD}s.tz<
z}
ill半序关系的传递性:
Xv4,y<
Z]
即(D,v)为定向集.
定义0.7称§
:
0IR为网S的临界子网,若网S:
DiR限制在(D,<
)的一个临界子定向集上.
用!
在临界子网上也可以定义网极限,为了证明广义二重积分在不同定义下的等价性,我们有必要建立起不同网之间的关系.
定理0.3limS=>
limS
这个定理常用来反证网极限不存在,也就是说我们可以选取一个临界子网使极限在此子网上极限不存在,从而说明网极限不存在.
定义0.8称定向集(D,vJ与(D2,<
2)是等价的,
若日映射T.RiD?
满足:
xvyoT(x)<
T(y),记作(£
,<
)=(D2,<
2)
定义0.9称网SgiR与网S2.D2^R是等价的,
若(辱)三(听)且S严亠。
7\记作£
詁
定理0.4S、三limS.=limS、
(M-<
)(O2.<
)z
不妨设lim5,存在且limS】=£
(Dj.O1<
D(.<
)**
V£
->
03J/eD{VJe<
d百(〃)一厶|<
由St=S2的定义,我们有:
W>
03T(<
)eD2WeD2,T(<
)<
J
由丁为1一1映射:
珂wDSJT(d;
)<
T(dJ
再由T的保序性得:
d;
d.=>
|S|(dJ一勾<
即仪⑺⑷)-
即limS,存在且limS,=/.
(d2.<
)z<
d,.<
)-1
下面来说明我们以后证明中使用频率最高的共同临界子网的概念.
定义0.10称几与S2存在共同临界子网,若5,的临界子网与二的临界子网等价.
至此,我们可以提出我们证明的一般思路了.
如我们要证明定义1O定义2:
Stepl.对于正函数,在定义1,2下的网收敛O临界子网收敛
Step2•在定义1,2下,有绝对收敛性,即/收敛O收敛
Step3.找出定义1中的网与定义2中的网的一个公共临界子网
于是/€/?
*(□)<
=>
|/|€/?
*(0)<
肿戸(|几。
肿)S2(|几⑵o|/|e,(⑵o/w7?
2(n)
其中第一个和笫五个等价性是山广义二重积分的绝对收敛性得岀的,第二个和笫四个等价是山正函数的广义二重积分网极限与临界子网极限同时存在得出,而第三个等号是山公共临界子网的等价性得岀。
注意在定义四中我们找不到简单的公共临界子网,不过我们可以转而证有界性的等价性得出我们要的结论。
定义1
定理1.1设F(0)为区域O中任意可求积的子集的全体集合,赋序
Q,v览=:
Qu览,
则(F(Q),<
)为一个定向集.
先说明F(0)是一个半序集:
(i)非自反性:
雪v仏
(”)传递性:
會<
昭,亿v昭nG,<
Q,
且满足(/•//)共尾性:
F(Q),记p=supyjx2+y2,取PRaN
则X2+y2<
R2包围的区域Q满足:
2=Qf]C可测,且昭
定义1.1称在上述定向集上的映射S:
F(Q)IR,(SuD)为有限积分网,
记作1
uD
、
引理1.2当二元函数f(x9y)>
0时,WI=supjj/(x,yWy,DeF(Q)>
.D・
(1)先证:
若1存在,则sup(刃加仅DeF(C)存在且两者相等:
.D.
取w=1戶卩vF(C),当DwF(C),D}<
D时JJ/UoWy-/<
1
I)
即jj/(x,y^dxdy<
/4-1
VD2eF(Q),3D.eF(Q),D2<
D3且0vD3
<
7+1
•■-JJ/(^y^dxdy=Jj/(x,y^clxdy-JJf(x,y)dxdy<
\l\+\-JJf(x,y)dxdyD26DgDg
即JJ/dy}dxdy有界
D
令厂=supj|f(x.y)dxd\\DeF(Q)>
->
0,3D4eF(Q)sj/*-^<
JJf(x,y)dxdy<
I
q
•.•f(x,y)>
0二当DwF(O)时,£
4v£
)时:
/"
一£
vJj/(x,y)dxdy<
f
对于同样的^>
0,3D5eF(Q)s.t
当£
wF(G),QvD时,/一£
vjj/(x,y}dxdy<
I+£
我们取2=91)2,则V£
0dQeDs.l当DwFggcD时有:
/-<
jjf(x.y}dxdy<
f且D
/-£
vJJf(x.y)dxdy<
1+8D
即有厂|v2g于是由£
的任意性j=r得证.
⑵再证:
若supvJJ/(忑刃血/儿。
WF(C)>存在,则I存在且两者相等
令厂=sup』/(x,y)dxdy\DeF(Q);
Vw>
0,BDjeF(Q)sJI-£
^f(x,y^dxdy<
而f(x,y)n0,我们有:
D,<
£
)=>
Jj*/(x,y\Lxdy<
j|/(x,y\lxdyMD
即:
0£
OdDwF(G)s.t当D}<
D时,
I-£
jj/(x,y}dxdy<
JJ/(x,y)dxdy
D、I)
根据定义,/存在且/=八即得证.
定理1.3当二元函数/(x,y)>
0时,limJJf(x,y}dxdy=limjj/(x,y)dxdy,
其中DwF(G),F(C)为尺⑵的临界子网.
⑴先证明:
若liyjjf(x,y)dxdy存在,则linjjf^y^lxdy存在且两者相等
\y
i)
im||f(x,y)dxdy=sup订J/(x,y\lxdy,DeF(Q)*
单调递增且有上界,则其上确界存在
乂f(x.y)X0得打Jf^yYxdy,DfeF‘g)>
于是山引理1.2:
limjj/(x,y}dxdy存在且等于supjj/(x,y\lxdy\DfeF'
(Q)ur/
JJy^xdy,DeFf(Q)>
sup<
jjfgy^dxdy,DeF(⑵>
Id
而PD\eFg),3D,eF'
(G)s.lD}<
D2,进而有jjf(x,y\lxdy<
JJ/(x,y\lxdy
9I>
•・•F(G)uF(G),sup
I"
于是siipJJ/(x,y\lxdy.DeF(Q)>
sup
Id
■JJ/(%,>
'
Wv,Drer(Q)>
于是sup<
Jj/(x,y\lxdyyDeF(Q)f=UfyYxdy.DfeFr(Q)>
.DJlo*-
⑵再证明:
若limjj/(x,y)dxdy存在,则limjj/(x,y}dxdy存在且二者相等u"
uD
由引理1:
lim
u
|/(x,y)dxdy=sup<
DeF'
(O)>
”Id・
VD3eF(Q),3D4eFf(O)57£
3<
D4而有Jj/(x,y\lxdy<
jjf(x,y\lxdy
6Q
于是打J/(x,yW>
\DeF(Q)[有上界.
.D-
乂f(x.y)n0得打J/(x,y\lxdy,DeF(fl)>
单调递增,故有上确界
ID
再山引理1.2:
lini存在且等于sup<
jjf(x.y)dxdy\DeF(Q)>
cdId.
11!
山⑴中证明知:
sup<
jjf(x,y)dxdyyDeF(Q)>
=<
/(^y)dxdy\DfeFr(Q)>
即得证.
定理1・4在定义1下的广义二重积分是绝对收敛的,即:
/(x,y)e/?
*(Q)<
^>
|/(x,y)|e^CQ)
记{
厂(X,y)=max{f(x9y)90}广(x,y)=max{-/(’y),0}
于是[/(匕刃二厂也)'
)一广(2‘)
[|/(儿y)|=广(%,刃+广(x,y)
要证明f(x9y)和|/uy)\在D上可积等价只需证:
广(九刃eR'
(Q)
我们先证明:
若/ay)uFg),则:
有界・D-
取£
=1,mqeF(G),当DwF(O),Dt<
DWjJ/(x,yWy-/<
1D
即Jffgy\lxdy<
VZ)sF(Q),BD2eF(Q),£
D2且D】v0
・•・JJf(x,y)dxdy=y)dxdy-JJf(x,y)dxdy<
\I\+\+
DD,DAD
jff(x.y)dxdy
D.\D
1喏Df]D[=0i»
.Dl<
D2\D^而有jjf^y)dxdy<
|/|+1DAD
2。
若DflD=0工0,则:
q<
0\(D\D)从而有:
JJf(xyy)dxdy=d2\d
/(儿y^clxdy-jjfgy)dxdy
6
S|/|+l+JJy)dxdy
而Q为某定区域,/(匕刃在D上有界,则f(x.y)在Q上有界
于是我们得到:
JJf{x.y)dxdy有界,DAD
而D3<
D,,故Jjj\x.y)dxdy<
jjf(xyy)dxdy
综上所述JJ/(x,y)clxdy<
2\l\+2+M,有界性得证n
下面再证明:
广(x,y)wFg)
1。
fa,y)eR[(Q)=>
g刃1e丹(⑵:
反设厂(x,y)g左(C),则V/i,3D„eF(Q)sJJJ/+(x,y)dxdy>
n
取Dn的分划an[,an2,anms.t其Darboiix下和〉“,
m
即:
2>
心厂
我们将b”J分为以下两类:
Vl>
在b心上,九/(x,y)=O
在b心上,>
0(此时有f'
(x.y)=f(x,y))
将第二类b”」•取出,并记为b;
『j+・,k
则>
九
记°
=LJb:
j,则JJ/(x,刃加农=Jj*广(x,Mdxdy>
而这与f(x,y)ef(Q)矛盾,于是厂(x,y)e疋(C)
/(x,y)eRl(Q)<
=|/(x,y)\eRl(Q)
注意到:
0v/+(x,y)<
\f(xty)\
则订J厂g)Wy,DeF(Q)>
单调递增且有上界,
于是sup]JJf\xyy)dxdy,DeF(Q)存在
ID・
由引理1.2知:
r(x,y)e/?
(Q)
综上所述/(x,y)eR'
(C)o『(x,y)|eRl(Q)
定义2
定理2.1设厶(。
)为所有厶割下g部分的全体,赋序00=:
/•,则(厶g),<
)
是一个定向集,并且以心作为其中每个元素的参数,我们称这种定向集为可参数化的定向集.
先说明(L(Q),<
)是一个半序集:
0)非自反性:
Q<
JadL<
,即有L丰T
陆且qg严仏v%v%,即q
然后是共尾性:
(询)▽密e厶(C),由于A(厶)=A(厶)=0,即厶厶有界,那么3/?
0s.t
R>
max{Jx2+y2+11(x,y)eA,U}那么可求长曲线L:
X^cos^0<
^<
2zr
・-[y=Rsin0
山=R>
心j即型使得定义2.2在上述定向集上的映射S:
厶(⑵IR(sg_)=jjf(x.y)dxdy)称为菲赫金哥尔茨网。
我们先对/(x,y)>
0的情况进行分析:
注意到(几。
)菲赫金哥尔茨网是存在临界子网的•比如说中心为原点的圆圈列:
x=ncos0o<
o<
2tt所包围的区组成的集合记为厶'
g),cg)uUG)且y=〃sin&
(cg)V是一个临界子定向集•将s限制在z/g)上即为网s的一个临界子网。
另一个例子是中心为原点的正方形列:
Ln.x
n
3n-Stn
-77
Sn-7tn
re[0,0.25]
Ze[0.25,0.5]
/e[0.5,0.75]
re[0.75J]
-n+Stnte[0,0.25]
Ln^y=\
"
/e[0.25,0.5]所包围的区组成的集合记为以⑵,口⑵u氏⑵
5n-8/nte[0.5,0.75]
-n
且(cg)v是一个临界子定向集将s限制在z/g)上即为网s的一个临界子
定理2.3若f(x,y)>
0,则:
limS=supHff{x,y)dxdy^\e厶(G)o证明:
若/=supjjf(x.y)dxdy|QZeL(Q)>
v+s
那么由上确界的定义:
0卫s.tI-s<
\\f^y)dxdy<
I.
5
记Q=maxJx2+y
x=pcosO
0<
9<
2^
y=psinO
那么,山于码・为可求长曲线,则Q已厶(。
),0筠有:
码.<
0,由Q的定义有:
骑U仏乂illf(x.y)X0知:
/一£
jjf(x9y)dxcly<
即证:
limS=I
(L(n>
.<
反之,只需证llJ/=(^limS存在=>
{JJ/(x,y^dxdy|QZe厶(0)>
有界即可
g"
(C),取临界子网厶:
x=ncosO
y=nsin0
由于/(x,y)-°
Jy)dxdy\ClLeL(O)>
单调上升到/
IQ
记Q=maxyjx2+y2
(x,y堆A
3N>
0s.tp<
N
从而有fjf(x,y)dxdy<
jjj\x,y)dxdy<
JJf(x、y)dxdy<
Q.宀如%
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 广义 二重积分 Word
![提示](https://static.bdocx.com/images/bang_tan.gif)