知识点

二重积分的概念与性质

设 DD 是 xOyxOy 平面上的有界闭区域,其边界面积为零,f(x,y)f(x,y) 是定义在 DD 上的函数。二重积分把“分割、求和、取极限”的过程搬到二维区域上,结果是一个数 ∬Df dσ\iint_D f\,\mathrm d\sigma。本页记面积元素为 dσ\mathrm d\sigma,它在直角坐标下写成 dx dy\mathrm dx\,\mathrm dy;区域 DD 的面积记为 AA。

背景

曲顶柱体的体积

设空间中的柱体以 DD 为底面,侧面以 DD 的边界为准线、母线平行于 zz 轴,顶面是连续函数 z=f(x,y)z=f(x,y) 的图像,且 f(x,y)≥0f(x,y)\ge 0。这样的立体称为曲顶柱体。

求它的体积 VV 时,把 DD 分成许多小区域,每一小块上用“平顶”柱体近似“曲顶”柱体,再把所有小体积相加并取极限。

平面薄片的质量

设 xOyxOy 平面上有一块占有区域 DD 的薄片,其面密度由连续函数 ρ(x,y)\rho(x,y) 给出,且不为常数。把薄片分成若干小块,假定每一小块内密度均匀,求出各小块质量的近似值,再求和、取极限,就得到总质量 MM。

定义

定义从对平面区域的分割与求和出发,可以概括为四步:

  1. 分割

    把闭区域 DD 任意分成 nn 个小闭区域 Δσ1,Δσ2,…,Δσn\Delta\sigma_1,\Delta\sigma_2,\dots,\Delta\sigma_n,它们的面积也记作 Δσi\Delta\sigma_i。同一个记号既表示小区域,也表示它的面积。

  2. 近似

    在每个 Δσi\Delta\sigma_i 内任取一点 (ξi,ηi)(\xi_i,\eta_i),用乘积 f(ξi,ηi)Δσif(\xi_i,\eta_i)\Delta\sigma_i 作为这一小块上部分量的近似值。

  3. 求和

    把所有小块的近似值相加,得到和式

    ∑i=1nf(ξi,ηi)Δσi.\sum_{i=1}^{n}f(\xi_i,\eta_i)\Delta\sigma_i .
  4. 取极限

    记 λ\lambda 为各小区域直径的最大值,令 λ→0\lambda\to0,考察上述和式的极限。

若这个极限存在,并且极限值与 DD 的分法、每块内所取点 (ξi,ηi)(\xi_i,\eta_i) 的取法都无关,则称此极限为 f(x,y)f(x,y) 在闭区域 DD 上的二重积分,记作

∬Df(x,y) dσ=lim⁡λ→0∑i=1nf(ξi,ηi)Δσi.\iint_D f(x,y)\,\mathrm d\sigma=\lim_{\lambda\to0}\sum_{i=1}^{n}f(\xi_i,\eta_i)\Delta\sigma_i .

记号各部分的名称:

  • ∬\iint:二重积分号;
  • DD:积分区域;
  • f(x,y)f(x,y):被积函数;
  • dσ\mathrm d\sigma:面积元素,直角坐标下常写作 dx dy\mathrm dx\,\mathrm dy。

性质

以下设 ff、gg 在 DD 上可积,AA 是 DD 的面积。这些性质用于估计积分值、比较两个积分的大小,以及把区域拆开分别计算。

线性性质

设 α,β\alpha,\beta 为常数,则

∬D[αf(x,y)+βg(x,y)] dσ=α∬Df dσ+β∬Dg dσ.\iint_D[\alpha f(x,y)+\beta g(x,y)]\,\mathrm d\sigma=\alpha\iint_D f\,\mathrm d\sigma+\beta\iint_D g\,\mathrm d\sigma .

区域可加性

若 DD 被分成两个互不重叠(只允许边界相交)的子区域 D1D_1 与 D2D_2,则

∬Df dσ=∬D1f dσ+∬D2f dσ.\iint_D f\,\mathrm d\sigma=\iint_{D_1}f\,\mathrm d\sigma+\iint_{D_2}f\,\mathrm d\sigma .

面积性质

若在 DD 上 f(x,y)≡1f(x,y)\equiv1,则

∬D1 dσ=∬Ddσ=A.\iint_D 1\,\mathrm d\sigma=\iint_D\mathrm d\sigma=A .

比较性质与保号性

若在 DD 上 f(x,y)≤g(x,y)f(x,y)\le g(x,y),则

∬Df dσ≤∬Dg dσ.\iint_D f\,\mathrm d\sigma\le\iint_D g\,\mathrm d\sigma .

特别地,若在 DD 上 f(x,y)≥0f(x,y)\ge0,则 ∬Df dσ≥0\iint_D f\,\mathrm d\sigma\ge0,这一条也称保号性。

对 −∣f∣≤f≤∣f∣-|f|\le f\le|f| 用两次比较性质,得到

∣∬Df dσ∣≤∬D∣f∣ dσ.\left|\iint_D f\,\mathrm d\sigma\right|\le\iint_D|f|\,\mathrm d\sigma .

估值定理

设 MM、mm 分别是 ff 在 DD 上的最大值与最小值,则

mA≤∬Df(x,y) dσ≤MA.mA\le\iint_D f(x,y)\,\mathrm d\sigma\le MA .

中值定理

设 DD 连通且面积 A>0A>0,ff 在 DD 上连续,则 DD 中至少存在一点 (ξ,η)(\xi,\eta),使

∬Df(x,y) dσ=f(ξ,η) A.\iint_D f(x,y)\,\mathrm d\sigma=f(\xi,\eta)\,A .
证明 中值定理的证明

ff 在有界闭区域 DD 上连续,因此在 DD 上取到最小值 mm 与最大值 MM,依据见 多元函数的连续性 中有界闭区域上连续函数的性质。由估值定理,

m≤1A∬Df dσ≤M.m\le\frac1A\iint_D f\,\mathrm d\sigma\le M .

DD 是连通区域,连续函数在连通区域上取到 mm 与 MM 之间的每一个值,所以存在 (ξ,η)∈D(\xi,\eta)\in D 使

f(ξ,η)=1A∬Df dσ,f(\xi,\eta)=\frac1A\iint_D f\,\mathrm d\sigma ,

两边乘以 AA 即得结论。

例子

曲顶柱体的体积:z=1−x−yz=1-x-y 在三角形区域上

取

D={(x,y):x≥0, y≥0, x+y≤1},f(x,y)=1−x−y.D=\{(x,y):x\ge 0,\ y\ge 0,\ x+y\le 1\},\qquad f(x,y)=1-x-y .

在 DD 上 f≥0f\ge 0,对应的曲顶柱体是以 DD 为底面、顶点在原点上方的四面体,四个顶点为

(0,0,0),(1,0,0),(0,1,0),(0,0,1).(0,0,0),\quad(1,0,0),\quad(0,1,0),\quad(0,0,1).

它的体积为 16\dfrac16,所以

∬D(1−x−y) dσ=16.\iint_D(1-x-y)\,\mathrm d\sigma=\frac16 .

左边是按定义写出的二重积分,右边是这个立体的几何体积。把二重积分化为累次积分的方法见二重积分的直角坐标计算。

用估值定理估计积分

设 D=[0,1]×[0,1]D=[0,1]\times[0,1],f(x,y)=11+x+yf(x,y)=\dfrac1{1+x+y}。DD 的面积为 11,ff 的最小值在 (1,1)(1,1) 处为 13\dfrac13,最大值在 (0,0)(0,0) 处为 11,于是

13≤∬Ddσ1+x+y≤1.\frac13\le\iint_D\frac{\mathrm d\sigma}{1+x+y}\le 1 .

中值定理的数值含义

设 ff 在有界闭区域 DD 上连续,DD 的面积为 33,且 ∬Df dσ=6\iint_D f\,\mathrm d\sigma=6。由中值定理,DD 中存在一点 (ξ,η)(\xi,\eta) 使

f(ξ,η)=63=2.f(\xi,\eta)=\frac{6}{3}=2 .

积分值等于“某一点的函数值乘以区域面积”,这里的 22 就是 ff 在 DD 上的平均值。

探索

二重积分怎样由小区域求和得到?

用中点和逼近单位正方形上的积分。

正在准备演示…

题集

练习

  1. 设 DD 的面积为 44,ff 在 DD 上满足 1≤f(x,y)≤31\le f(x,y)\le 3,则 ∬Df dσ\displaystyle\iint_D f\,\mathrm d\sigma 的取值范围是:

    选择答案
    参考解答

    由估值定理,m=1m=1、M=3M=3、A=4A=4,积分落在 [1⋅4, 3⋅4]=[4,12][1\cdot4,\ 3\cdot4]=[4,12] 内。

  2. 设 ff、gg 在同一个区域 DD 上可积,下列各式中一定成立的有哪些?

    题 valid-properties · choice
    参考解答

    A、B、C分别是线性性质、比较性质和比较性质的推论。A只取 α=β=1\alpha=\beta=1 的情形。二重积分没有“乘积的积分等于积分的乘积”这条性质,D不成立。

  3. D=[0,1]×[0,2]D=[0,1]\times[0,2],被积函数 f(x,y)≡3f(x,y)\equiv3,则 ∬Df dσ=\displaystyle\iint_D f\,\mathrm d\sigma= 。

    参考解答

    由面积性质,∬D3 dσ=3A=3×2=6\iint_D3\,\mathrm d\sigma=3A=3\times2=6。

  4. 关于中值定理 ∬Df dσ=f(ξ,η)A\displaystyle\iint_D f\,\mathrm d\sigma=f(\xi,\eta)A,下列条件中必需的是:

    选择答案
    参考解答

    (ξ,η)(\xi,\eta) 由连续函数在连通区域上的介值性保证,因此连续性不可省;非负、单调和区域的形状都不是条件。