§第七章第七节二重积分的概念与性质
一、二重积分的定义域性质
二、二重积分的几何意义
三、计算曲顶柱体的体积
一、引例
曲顶柱体的体积
给定曲顶柱体:底:xoy面上的闭区域D顶:连续曲面z=f(x,y)≥0侧面:以D的边界为准线,母线平行于z轴的柱面,求其体积.
解法:类似定积分解决问题的思想:
大化小,常代变,近似和,求极限
1)分割用任意曲线网分D为n个区域Δσ1,Δσ2,⋯,Δσn以他们为低把曲顶柱体分为n个小曲顶柱体.2)近似在每个Δσk中任取一点(ξk,ηk),以f(ξk,ηk)为高,则ΔVk≈f(ξk,ηk)Δρk(k=1,2,⋯,n)3)作和V=∑nk=1ΔVk≈∑k=1nf(ξk,ηk)Δσk4)取极限定义Δσk的直径为λ(Δσk)=max{|P1P2||P1,P2∈Δσk}令λ=max1≤k≤n{λ(Δσk)}V=limλ→0∑k=1nf(ξk,ηk)Δσk
二、二重积分的定义及可积性
定义:设f(x,y)是定义在有界区域D上的有界函数,将区域D任意分割成n个小区域Δσk(k=1,2,⋯,n),任取一点(ξk,ηk)∈Δσk,若存在一个常数I,使I=limλ→0∑k=1nf(ξk,ηk)Δσk→记作∬Df(x,y)dσ则称f(x,y)可积,称I为f(x,y)在D上的二重积分(黎曼积分).
f(x,y):被积分函数x,y:积分变量dσ:面积元素f(x,y)dσ:积分表达式D:积分域∑k=1nf(ξk,ηk)Δσk:积分和
如果f(x,y)在D上可积,可用平行坐标轴的直线来划分区域D,这时Δσk=ΔxkΔyk,因此面积元素dσ也常记作dxdy,二重积分记作∬Df(x,y)dxdy
引例中曲顶柱体体积:V=∬Df(x,y)dσ
二重积分存在定理:
定理1.若函数f(x,y)在有界闭区域D上连续,则f(x,y)在D上可积.
定理2.若有界函数f(x,y)在有界闭区域D上除去有限个点或有限个光滑曲线外都连续,则f(x,y)在D上可积.
三、二重积分的性质
1.∬Dkf(x,y)dσ=k∬Df(x,y)dσ(k为常数)
2.∬D[f(x,y)±g(x,y)]dσ=∬Df(x,y)dσ±∬Dg(x,y)dσ
3.∬Df(x,y)dσ=∬D1f(x,y)dσ+∬D2f(x,y)dσ(D=D1+D2,D1,D2无公共内点)即:二重积分对积分区域具有可加性
4.若在D上f(x,y)≡1,σ为D的面积,则σ=∬D1⋅dσ=∬Dσ
5.若在D上f(x,y)≤g(x,y),则∬Df(x,y)dσ≤∬Dg(x,y)dσ
特别,由于−|f(x,y)|≤f(x,y)≤|f(x,y)|∴|∬Df(x,y)dσ|≤∬D|f(x,y)|dσ
6.[估值定理]设M=maxDf(x,y),m=minDf(x,y),D的面积为σ,则有mσ≤∬Df(x,y)dσ≤Mσ
7.[积分中值定理]设函数f(x,y)在闭区域D上连续,σ为D的面积,则至少存在一点(ξ,η)∈D,使∬Df(x,y)dσ=f(ξ,η)σ
证:由性质6可知,m≤1σ∬Df(x,y)dσ≤M由连续函数介值定理,至少有一点(ξ,η)∈D使f(ξ,η)=1σ∬Df(x,y)dσ即:∬Df(x,y)dσ=f(ξ,η)σ
8.[二重积分对称性]设函数f(x,y)在闭区域上连续,域D关于x轴对称,D位于x轴上方的部分为D1,在D上(1)f(x,−y)=f(x,y),则∬Df(x,y)dσ=2∬D1f(x,y)dσ(2)f(x,−y)=−f(x,y),则∬Df(x,y)dσ=0
当区域关于y轴对称,函数关于变量x有奇偶函性时,仍有类似结果.
如,D1为圆域D:x2+y2≤1在第一象限部分,则有∬D(x2+y2)dxdy=4∬D1(x2+y2)dxdy
练习
1.比较下列积分值得大小关系:I1=∬x2+y2≤1|xy|dxdyI2=∬|x|+|y|≤1|xy|dxdyI3=∫1−1∫1−1|xy|dxdy
解:I1的积分区域为半径为1的圆,积分区域面积A1=πI2的积分区域为半径为1−2|xy|−−−−−−−√的圆,积分区域面积A2<πI3的积分区域为边长为2的正方形,积分区域面积A3=4积分函数f(x,y)=|xy|≥0∴I3>I1>I2
2.设D是第二象限的一个有界闭域,且0<y<1,则I1=∬Dyx3dσ,I2=∬Dy2x3dσ,I3=∬Dy12x3dσ的大小顺序为( D )
A.I1≤I2≤I3;B.I2≤I1≤I3;C.I3≤I2≤I1;D.I3≤I1≤I2.
解:y>0,x3<0y12>y>y2y12x3<yx3<y2x3∴I3<I1<I2
3.计算I=∫π20∫π20sin(x+y)dxdy
解:I=∫π20∫π20sin(x+y)dxdy=∫π20dy∫π20dsin(x+y)dx=∫π20[−cos(x+y)]π20dy=∫π20[siny+cosy]dy=[siny−cosy]π20=2