《广义二重积分》由会员分享，可在线阅读，更多相关《广义二重积分（28页珍藏版）》请在金锄头文库上搜索。
1、word网极限在我们所采用的定义1至定义4中均应用了网极限的概念,因此有必要将网极限的一般定义及部分可能要用到的性质略作阐述.定义0.1 设集合,称上的二元关系为半序关系,若其满足:非自反性: 传递性: ,若则:定理0.1 如此定义的半序集中没有最大元证明:反设另由知: 但由知: 矛盾. 即得证.注:半序关系中并没有要求,一定要有或,只要两者不同时成立即可.也就是说,两者可以在这种关系下无法比较.我们回忆在学习数列时定义极限的情形,不难发现当时是依靠中的良序关系来描述极限的,然而在更多的情形下,极限的基未必能满足这样的良序关系.为了使这样的极限也能利用序列来进行描述,我们引入半序关系.这样,用
2、能序列描述的极限的围就被极扩展了.定义0.2 称偶为半序集,若且为上的半序关系.定义0.3 称半序集为定向集,若其满足:共尾性: ,这个性质对网极限的定义至关重要,正是共尾性保障了我们所定义极限的唯一性.定义0.4 称映射为中的网,若集合且为定向集,记作一般的网极限理论是在拓扑空间展开的,我们在此不必涉及.我们所讨论的的网极限中,恒令.定义0.5 对于定向集上的网,若,对,有则称为映射在定向集上的网极限,即记作定理0.1 定义5中所述的网极限是唯一的.证明: 假设,有,有由上的共尾性:,从而有: 且 ,于是由的任意性知:即证网极限是唯一的,说明定义5是良好的.定义0.6 设集合且中沿用中的半序
3、关系.若:,则称网的限制为网的临界子网,称半序集为的临界子定向集.定理0.2 上述定义6中的为定向集证明:首先按照定义,是半序集又,由半序关系的传递性:即为定向集.定义0.7 称为网的临界子网,若网限制在的一个临界子定向集上.在临界子网上也可以定义网极限,为了证明广义二重积分在不同定义下的等价性,我们有必要建立起不同网之间的关系.定理0.3 这个定理常用来反证网极限不存在,也就是说我们可以选取一个临界子网使极限在此子网上极限不存在,从而说明网极限不存在.定义0.8 称定向集与是等价的,若映射满足:,记作定义0.9 称网与网是等价的,若且,记作定理0.4 证明:不妨设存在且,由的定义,我们有:由
4、为映射:再由的保序性得: 即即存在且下面来说明我们以后证明中使用频率最高的共同临界子网的概念.定义0.10 称与存在共同临界子网,若的临界子网与的临界子网等价.至此,我们可以提出我们证明的一般思路了.如我们要证明定义1定义2:Step1.对于正函数,在定义1,2下的网收敛临界子网收敛Step2.在定义1,2下,有绝对收敛性,即收敛收敛于是其中第一个和第五个等价性是由广义二重积分的绝对收敛性得出的，第二个和第四个等价是由正函数的广义二重积分网极限与临界子网极限同时存在得出，而第三个等号是由公共临界子网的等价性得出。注意在定义四中我们找不到简单的公共临界子网，不过我们可以转而证有界性的等价性得出我
5、们要的结论。定义1定理1.1 设为区域中任意可求积的子集的全体集合,赋序,则为一个定向集.证明:先说明是一个半序集:非自反性:传递性:且满足共尾性:,记,取则包围的区域满足:可测,且,定义1.1 称在上述定向集上的映射,为有限积分网,记作引理1.2 当二元函数时,有证明:(1)先证:若存在,则存在且两者相等:取,当时,即,且即有界令当时,时:对于同样的,当,时,我们取,则, 当,时有: 且 即有,于是由的任意性,得证.(2)再证:若存在,则存在且两者相等令,而,我们有:即:, 当时,根据定义,存在且,即得证.定理1.3 当二元函数时,其中为的临界子网.证明:(1)先证明:若存在,则存在且两者相
6、等由引理1.2:=又得单调递增且有上界,则其上确界存在于是由引理1.2:存在且等于,而,进而有于是于是=(2)再证明:若存在,则存在且二者相等由引理1:,进而有于是有上界.又得单调递增,故有上确界再由引理1.2:存在且等于由(1)中证明知:=即得证.定理1.4在定义1下的广义二重积分是绝对收敛的,即:证明:记 于是,要证明和在上可积等价只需证:我们先证明:若,则:有界取,当时,即,且若,则:,从而有若,则:,从而有:而为某定区域,在上有界,则在上有界于是我们得到:有界,而,故综上所述,有界性得证下面再证明:反设,则取的分划, 其下和,即:我们将分为以下两类:在上,在上,(此时有)将第二类取出,
7、并记为,则记,则而这与矛盾,于是注意到:则单调递增且有上界,于是存在由引理1.2知:综上所述定义2定理2.1 设为所有割下部分的全体,赋序:,则是一个定向集,并且以作为其中每个元素的参数,我们称这种定向集为可参数化的定向集.证明:先说明是一个半序集:非自反性: ,即有传递性:且即然后是共尾性:,由于,即有界,那么 那么可求长曲线 满足：，即使得。定义2.2 在上述定向集上的映射称为菲赫金哥尔茨网。我们先对的情况进行分析：注意到菲赫金哥尔茨网是存在临界子网的.比如说中心为原点的圆圈列： 所包围的区组成的集合记为,且限制在上即为网的一个临界子网。另一个例子是中心为原点的正方形列： 所包围的区组成的
8、集合记为,且限制在上即为网的一个临界子网。,则:。证明: 若那么由上确界的定义:,。记取那么,由于为可求长曲线,则,有:由的定义有:又由知:即证:反之,只需证由存在有界即可,取临界子网由于,单调上升到记从而有即有界 得证.定理2.3 若,则,其中为限制在上的临界子网.证明:先证明若存在则也存在:若存在则存在:由上确界的定义知:存在反之若存在,则:存在.,由于为的临界子网,记,那么:,其中为, 围成的区域。由可知:存在且那么只要等式有一边存在,则必然有两边同时存在且相等,即 得证.注意以下事实:当时,若,那么同样有:,即在任意临界子网上引理2.1 首尾相连的曲线的相加设曲线,.,的参数表示为：
9、满足，而且除以上各点外曲线互不相交，这样我们就可以定义若尔当曲线为以上曲线的和即：证明：我们取这样的曲线如果由知这个分段的参数表示是连续的，而此时没有重点，故为若尔当曲线，满足：。注意如果曲线,.,是围成一圈的，即，那么我们构造的曲线为若尔当闭曲线。定理2.4 在定义2.2下的广义二重积分是绝对收敛的,即:证明:注意到，由极限的线性性,我们只需证：由于,故于是反设那么由定理2.2可知:我们选取临界子定向集,其中:为正方形的边界曲线在其上由定理2.3有:于是我们不妨取满足:(由知:我们可以选出一个无穷子序列使得:,不妨取作为新的即可)记首先是可求积的,而且在上是有界可求积的,那由积分关于区域的线
10、性性是成立的,即有:又有:不妨设,则由上可得:对于,将其所在的正方形区域进行分划取细度足够小的分划:使得对应的下和满足:我们将这些分为下面两类:,此时有:现在我们通过技术性的手段来构造出使得:且:将以上中的每一个向缩小成为以原中心为中心的边长减少的正方形记产生的新块为:由于这些的个数是有限的,而在是有界可积的,故只要足够小(不妨设为)就能满足:不妨设和均是分划中的直线(若不然则将这些直线加入到原分划中,形成的新分划依然可以得到上述结论)我们设在分划中有:,接下来是构造的具体步骤:我们记中心为的块为需要说明的是:对于某些,可能不存在,此时我们记作我们将这些的中心用螺旋状的线段连接起来,具体的直线
11、段为:再将与连接起来的线段加入我们将上面构造的线段由中心扩展,即以每条直线段为中心线做半径为的的长方形,这个图形记作,其中由于这样的长方形个数有限,那么只要足够小,就有记 那么由的构造知:为若干线段首尾相连而成的,而每一段均可以视作曲线,从而由引理知:这些线段在总体上来说也是曲线,而且在这个情形下是可求长的闭曲线(任取上一点为曲线的端点即可)那么,最后由在上有界可积得:故再由积分的线性可加性得:取足够小的,使得:由的构造知:只要取缩小的边长足够小,可使:从而有:我们取足够小可使最后,这样,我们构造的满足:,而且由其构造过程知:,从而有且那么在临界子网下,此极限不存在.由定理2.2知:,矛盾综上
12、所述,定义3与定义二的证明类似，只需将最后构造的多角形曲线的角用圆弧替换，使其成为光滑曲线即可定义4定义4：，其中的面积为0，而为包围某一定点的连通块。若右端的极限存在，则对应的积分称为收敛，记为。下面证明一个重要命题，即绝对可积判定定理:，即在上可积和绝对可积等价。在此之前我们证明一个引理：引理：若，则对，为有限区域，是连通的。有，为与和无关的固定正常数。证明：由，即对，对，当时，取包含的连通块，有(1)则我们取为1，取为以原点为圆心，以对应为半径的圆周。则由（1），有(2)显然成立。我们把分为两部分：，。则有积分的可和性，则(3)。而(4)。对于，我们做如下讨论：显然，记。作的网格分划，记
13、所有完全在部的小块并集为。当分划足够小时，有积分引理，我们可以证明，。下面我们对进行讨论。我们把中这些小块都取成闭集。让每个小方块稍稍的向收缩（就像定义2、定义3证明中我们做的一样），使它们之间互不相交，而在其并集上的积分值与上的积分值只相差任意小的。为了下面叙述方便，而下面如无特别说明，所说小块即指部进行过“收缩”处理互不相交的小块。1. 首先，我们找出一个可以在中做一条“狭窄的走道”与连接的小块，记为（必要时我们可以把小块的编号做适当的调整）。这个“走道”必须保证在中且不与其他小块相交，即。由于“走道”是足够“窄”的，故“走道”上的积分对原积分影响很小。这是可以办到的，因为为连通区域。取任
14、意小块的一个边界点和的一个点，连接。则与所有小块中第一个相交的小块即我们要找的小块。（为叙述方便，我们以后把“走道”都取成闭集。）记和“走道”的并集为。再找出可以与用一条包含在中的“狭窄走道”相连的小块，记为，记和“走道”的并集为。再找出可以与用一条包含在中的“狭窄走道”相连的小块，记为设这样的共、有个。我们把这些与相连的小块称为第1级小块。2. 找出可以与用一条包含在中的“狭窄走道”相连的小块，记为。记和那条“走道”的并集为。再找出可以与用一条包含在中的“狭窄走道”相连的小块，记为设这样的共有个。3. 找出可以与用一条包含在中的“狭窄走道”相连的小块，记为，记和那条“走道”的并集为。再找出可以与用一条包含在中的“狭窄走道”相连的小块，记为设这样的共有个。我们把上述与第1级小块块直接相连的小块称为第2级小块。特别声明，我们如果说小块与直接相连，那么当且仅当与有共同的聚点。4. 反复
