二重积分# 二重积分是在二维平面上,对一个有界闭区域D D D 上的有界函数f ( x , y ) f(x,y) f ( x , y ) 进行积分运算的概念。其中D D D 是积分区域,f f f 是被积函数。在数学中,使用二重积分来计算平面区域内某些量的总和,例如平面薄板的质量和曲顶柱体的体积等。
具体地,对于二重积分的定义,我们需要用到区域D D D 的任意曲线网来将其分成若干小区域△ σ i \triangle\sigma_{i} △ σ i ,对于每个小区域,取其面积乘上在该小区域内任意一点( ξ , η ) (\xi, \eta) ( ξ , η ) 处的函数值f ( ξ , η ) f(\xi,\eta) f ( ξ , η ) ,并将所有小区域的这个乘积加起来,得到一个和式。当这个和式随着小区域的面积趋近于0 0 0 时,如果其极限存在: lim λ → 0 ∑ i = 1 n f ( ξ i , η i ) △ σ i = I \lim_{\lambda\rightarrow 0} \sum _ {i=1}^ {n} f( \xi _ {i} , \eta _ {i} ) \triangle \sigma _ {i} =I lim λ → 0 ∑ i = 1 n f ( ξ i , η i ) △ σ i = I 则这个极限值I I I 就是函数f ( x , y ) f(x,y) f ( x , y ) 在D D D 上的二重积分,记作∬ D f ( x , y ) d σ \iint_D f(x,y)d\sigma ∬ D f ( x , y ) d σ 。其中,σ \sigma σ 表示面积微元,也就是小区域的面积。
需要注意的是,二重积分的存在性和数值与D D D 的分划方式及点( ξ , η ) ∈ △ D i (\xi,\eta) \in \triangle D_i ( ξ , η ) ∈ △ D i 的取法无关,只与被积函数及积分区域有关。因此,使用不同的分割方式和选取不同的点来计算二重积分的结果应该是相同的。
在物理和几何学中,二重积分也具有重要的应用,例如可以用二重积分来计算平面薄板的质量和曲顶柱体的体积。当被积函数取值可能为负时,二重积分可以看作相应的曲顶或曲底柱体体积的代数和,此时在x o y xoy x oy 平面下方的柱体体积的代数值规定为负。
三重积分# 三重积分是多元函数在三维空间中的积分。三重积分的基本概念是将积分区域划分为多个小体积,并对每个小体积内的函数值进行加权求和,然后将这些求和值相加得到最终的积分结果。
具体来说,设 V V V 是 R 3 R^ {3} R 3 中的有界闭区域,函数 f ( x , y , z ) f(x,y,z) f ( x , y , z ) 在 V V V 上有界,对 V V V 进行任意的分划为 △ V 1 , △ V 2 , ⋯ , △ V n \triangle V_ {1},\triangle V_ {2},\cdots,\triangle V_ {n} △ V 1 , △ V 2 , ⋯ , △ V n ,对于每个小体积 △ V i \triangle V_ {i} △ V i ,选取其中一个点 ( ξ i , η i , ζ i ) (\xi_i, \eta _ {i}, \zeta _ {i}) ( ξ i , η i , ζ i ) ,然后将函数值 f ( ξ 1 , η 1 , ζ 1 ) f(\xi_1,\eta _ {1},\zeta_1) f ( ξ 1 , η 1 , ζ 1 ) 与小体积 △ V 1 \triangle V_ {1} △ V 1 相乘得到一个小的积分贡献,最后将所有小积分贡献加起来: lim λ → 0 ∑ i = 1 n f ( ξ i , η i , ζ i ) △ V i = I \lim_{\lambda\rightarrow 0} \sum _ {i=1}^ {n} f( \xi _ {i} , \eta _ {i}, \zeta_{i} )\triangle V_{i} =I lim λ → 0 ∑ i = 1 n f ( ξ i , η i , ζ i ) △ V i = I 即为该三重积分的值。
三重积分的符号表示为: ∭ Ω f ( x , y , z ) d V \iiint _ {\Omega}f(x,y,z)dV ∭ Ω f ( x , y , z ) d V 其中积分号 ∭ \iiint ∭ 表示对积分区域V中的所有小体积求和,被积函数 f ( x , y , z ) f(x,y,z) f ( x , y , z ) 表示小体积内的函数值,体积微元 d V dV d V 表示小体积的大小,积分区域V表示对三维空间中的一个有界闭区域进行积分。
三重积分的存在性可以通过一定的条件保证,例如对于连续的函数f(x,y,z)在有界闭区域V上,其可积性是成立的,也就是说该三重积分存在。此外,若函数f(x, y, z) 是有界闭区域V上的有界函数,且其仅在V内有限条光滑曲面上间断,而在V的其余部分均连续,那么仍然有f(x,y,z)∈ \in ∈ R(V),即该三重积分存在。
重积分的性质# 1. 线性性质# 若函数 f ( x , y ) f(x, y) f ( x , y ) 和 g ( x , y ) g(x, y) g ( x , y ) 在 D D D 上可积,α \alpha α ,β \beta β 为常数,则 α f ( x , y ) + β g ( x , y ) \alpha f(x,y)+\beta g(x,y) α f ( x , y ) + β g ( x , y ) 在 D D D 上可积,且有
∬ D ( α f ( x , y ) + β g ( x , y ) ) d σ = α ∬ D f ( x , y ) d σ + β ∬ D g ( x , y ) d σ \iint_D (\alpha f(x,y)+\beta g(x,y))d\sigma=\alpha\iint_D f(x,y)d\sigma+\beta\iint_D g(x,y)d\sigma ∬ D ( α f ( x , y ) + β g ( x , y )) d σ = α ∬ D f ( x , y ) d σ + β ∬ D g ( x , y ) d σ
2. 积分区域的可加性# 设 D = D 1 ∪ D 2 D=D_1\cup D_2 D = D 1 ∪ D 2 ,且区域 D D D 与 D 2 D_2 D 2 无公共内点,则函数 f ( x , y ) f(x, y) f ( x , y ) 在 D D D 上可积当且仅当它在 D 1 D_1 D 1 和 D 2 D_2 D 2 上可积,并且有
∬ D f ( x , y ) d σ = ∬ D 1 f ( x , y ) d σ + ∬ D 2 f ( x , y ) d σ \iint_D f(x,y)d\sigma=\iint_{D_1} f(x,y)d\sigma+\iint_{D_2} f(x,y)d\sigma ∬ D f ( x , y ) d σ = ∬ D 1 f ( x , y ) d σ + ∬ D 2 f ( x , y ) d σ
3. 保序性# 若函数 f ( x , y ) f(x, y) f ( x , y ) 和 g ( x , y ) g(x, y) g ( x , y ) 在 D D D 上可积且 f ( x , y ) ≤ g ( x , y ) f(x,y)\leq g(x,y) f ( x , y ) ≤ g ( x , y ) ,则有
∬ D f ( x , y ) d σ ≤ ∬ D g ( x , y ) d σ \iint_D f(x,y)d\sigma\leq \iint_D g(x,y)d\sigma ∬ D f ( x , y ) d σ ≤ ∬ D g ( x , y ) d σ
推论 1:若函数 f ( x , y ) f(x, y) f ( x , y ) 在 D D D 上可积且非负,则有 ∬ D f ( x , y ) d σ ≥ 0 \iint_D f(x,y)d\sigma\geq 0 ∬ D f ( x , y ) d σ ≥ 0
推论 2:若函数 f ( x , y ) f(x, y) f ( x , y ) 在 D D D 上可积,则它的绝对值函数 ∣ f ( x , y ) ∣ |f(x,y)| ∣ f ( x , y ) ∣ 也在 D D D 上可积,并且有 ∣ ∬ D f ( x , y ) d σ ∣ ≤ ∬ D ∣ f ( x , y ) ∣ d σ \bigg|\iint_D f(x,y)d\sigma\bigg|\leq \iint_D |f(x,y)|d\sigma ∬ D f ( x , y ) d σ ≤ ∬ D ∣ f ( x , y ) ∣ d σ
推论 3:若函数 f ( x , y ) f(x, y) f ( x , y ) 在 D D D 上可积且 m ≤ f ( x , y ) ≤ M m\leq f(x,y)\leq M m ≤ f ( x , y ) ≤ M ,则有 m A D ≤ ∬ D f ( x , y ) d σ ≤ M A D mA_D\leq \iint_D f(x,y)d\sigma\leq MA_D m A D ≤ ∬ D f ( x , y ) d σ ≤ M A D
其中 A D A_D A D 表示积分区域 D D D 的面积。
4. 积分中值定理# 若函数 f ( x , y ) f(x, y) f ( x , y ) 和 g ( x , y ) g(x, y) g ( x , y ) 在 D D D 上连续,则在 D D D 中至少存在一点 ( ξ , η ) (\xi,\eta) ( ξ , η ) ,使得
∬ D f ( x , y ) g ( x , y ) d σ = f ( ξ , η ) ∬ D g ( x , y ) d σ \iint_D f(x,y)g(x,y)d\sigma=f(\xi,\eta)\iint_D g(x,y)d\sigma ∬ D f ( x , y ) g ( x , y ) d σ = f ( ξ , η ) ∬ D g ( x , y ) d σ
特别地,当函数 g ( x , y ) = 1 g(x, y)=1 g ( x , y ) = 1 时,有
∬ D f ( x , y ) d σ = f ( ξ , η ) A D \iint_D f(x,y)d\sigma=f(\xi,\eta)A_D ∬ D f ( x , y ) d σ = f ( ξ , η ) A D
所以 f ( ξ , η ) f(\xi,\eta) f ( ξ , η ) 称为函数 f ( x , y ) f(x, y) f ( x , y ) 在区域 D D D 上的平均值。