对于 n n n 重积分,我们先介绍一个物理模型, 即两个物体 V 1 V_{1} V1 与 V 2 V_{2} V2之间的引力问题.
设物体 V 1 V_{1} V1 中点的坐标为 ( x 1 , y 1 , z 1 ) , V 2 \left(x_{1}, y_{1}, z_{1}\right), V_{2} (x1,y1,z1),V2中点的坐标为 ( x 2 , y 2 , z 2 ) \left(x_{2}, y_{2}, z_{2}\right) (x2,y2,z2),它们的密度函数分别为连续函数 ρ 1 ( x 1 , y 1 , z 1 ) \rho_{1}\left(x_{1}, y_{1}, z_{1}\right) ρ1(x1,y1,z1)与 ρ 2 ( x 2 , y 2 , z 2 ) \rho_{2}\left(x_{2}, y_{2}, z_{2}\right) ρ2(x2,y2,z2), 且设它们之间的引力系数为1 . 我们用微元法求它们之间的引力. 为此, 在 V 1 V_{1} V1 中取质量微元 ρ 1 d x 1 d y 1 d z 1 \rho_{1} \mathrm{~d} x_{1} \mathrm{~d} y_{1} \mathrm{~d} z_{1} ρ1 dx1 dy1 dz1, 在 V 2 V_{2} V2 中取质量微元 ρ 2 d x 2 d y 2 d z 2 \rho_{2} \mathrm{~d} x_{2} \mathrm{~d} y_{2} \mathrm{~d} z_{2} ρ2 dx2 dy2 dz2.由万有引力定律知道, V 1 V_{1} V1 的微元对 V 2 V_{2} V2 的微元的吸引力在 x x x轴上的投影为
ρ 1 ρ 2 ( x 1 − x 2 ) d x 1 d y 1 d z 1 d x 2 d y 2 d z 2 r 3 , \cfrac{\rho_{1} \rho_{2}\left(x_{1}-x_{2}\right) \mathrm{d} x_{1} \mathrm{~d} y_{1} \mathrm{~d} z_{1} \mathrm{~d} x_{2} \mathrm{~d} y_{2} \mathrm{~d} z_{2}}{r^{3}}, r3ρ1ρ2(x1−x2)dx1 dy1 dz1 dx2 dy2 dz2,
其中 r = ( x 1 − x 2 ) 2 + ( y 1 − y 2 ) 2 + ( z 1 − z 2 ) 2 r=\sqrt{\left(x_{1}-x_{2}\right)^{2}+\left(y_{1}-y_{2}\right)^{2}+\left(z_{1}-z_{2}\right)^{2}} r=(x1−x2)2+(y1−y2)2+(z1−z2)2.把两个物体的所有微元间的吸引力在 x x x 轴上投影的量相加, 就得到物体 V 1 V_{1} V1 与 V 2 V_{2} V2 间的引力在 x x x 轴上投影的值. 它是一个六重积分, 即
F x = ∭ ∬ ρ 1 ( x 1 , y 1 , z 1 ) ρ 2 ( x 2 , y 2 , z 2 ) ( x 1 − x 2 ) r 3 d x 1 d y 1 d z 1 d x 2 d y 2 d z 2 . F_{x}=\iiint \iint \cfrac{\rho_{1}\left(x_{1}, y_{1}, z_{1}\right) \rho_{2}\left(x_{2}, y_{2}, z_{2}\right)\left(x_{1}-x_{2}\right)}{r^{3}} \mathrm{~d} x_{1} \mathrm{~d} y_{1} \mathrm{~d} z_{1} \mathrm{~d} x_{2} \mathrm{~d} y_{2} \mathrm{~d} z_{2} . Fx=∭∬r3ρ1(x1,y1,z1)ρ2(x2,y2,z2)(x1−x2) dx1 dy1 dz1 dx2 dy2 dz2.
这个积分是在由六维数组 ( x 1 , y 1 , z 1 , x 2 , y 2 , z 2 ) \left(x_{1}, y_{1}, z_{1}, x_{2}, y_{2}, z_{2}\right) (x1,y1,z1,x2,y2,z2)构成的六维空间中的六维区域 V = V 1 × V 2 V=V_{1} \times V_{2} V=V1×V2上的积分. 吸引力在 y y y和 z z z 轴上的投影也同样可由六个自变量的积分形式来表示, 这就是 n n n 重积分 ( n = 6 ) (n=6) (n=6) 的一个例子.
建立 n n n 重积分概念, 首先必须像定义平面图形面积一样定义 n n n维空间区域的体积问题. 最简单的 n n n 维区域- n n n 维长方体
V = [ a 1 , b 1 ] × [ a 2 , b 2 ] × ⋯ × [ a n , b n ] V=\left[a_{1}, b_{1}\right] \times\left[a_{2}, b_{2}\right] \times \cdots \times\left[a_{n}, b_{n}\right] V=[a1,b1]×[a2,b2]×⋯×[an,bn]
的体积规定为 ( b 1 − a 1 ) ( b 2 − a 2 ) ⋯ ( b n − a n ) \left(b_{1}-a_{1}\right)\left(b_{2}-a_{2}\right) \cdots\left(b_{n}-a_{n}\right) (b1−a1)(b2−a2)⋯(bn−an).在仿照可求面积概念那样建立 n n n 维区域的可求体积概念之后, 可以证明 n n n维单纯形
x 1 ⩾ 0 , x 2 ⩾ 0 , ⋯ , x n ⩾ 0 , x 1 + x 2 + ⋯ + x n ⩽ h x_{1} \geqslant 0, x_{2} \geqslant 0, \cdots, x_{n} \geqslant 0, x_{1}+x_{2}+\cdots+x_{n} \leqslant h x1⩾0,x2⩾0,⋯,xn⩾0,x1+x2+⋯+xn⩽h
和 n n n 维球体
x 1 2 + x 2 2 + ⋯ + x n 2 ⩽ R 2 x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2} \leqslant R^{2} x12+x22+⋯+xn2⩽R2
的体积是存在的.
设 n n n 元函数 f ( x 1 , x 2 , ⋯ , x n ) f\left(x_{1}, x_{2}, \cdots, x_{n}\right) f(x1,x2,⋯,xn) 定义在 n n n维可求体积的区域 V V V 上. 像二重积分概念那样, 通过对 V V V的分割、近似求和、取极限的过程, 便得到 n n n 重积分的概念:
与二重积分相仿, n n n 重积分也有如下一些结论:
若 f ( x 1 , ⋯ , x n ) f\left(x_{1}, \cdots, x_{n}\right) f(x1,⋯,xn) 在 n n n 维有界闭区域 V V V上连续,则 n n n 重积分 (1) 必存在.
计算 n n n 重积分的办法是把它化为重数较低的积分来计算. 如当积分区域是长方体 [ a 1 , b 1 ] × [ a 2 , b 2 ] × ⋯ × [ a n , b n ] \left[a_{1}, b_{1}\right] \times\left[a_{2}, b_{2}\right] \times \cdots \times\left[a_{n}, b_{n}\right] [a1,b1]×[a2,b2]×⋯×[an,bn]时, 则有
I = ∫ a 1 b 1 d x 1 ∫ a 2 b 2 d x 2 ⋯ ∫ a n b n f ( x 1 , ⋯ , x n ) d x n . I=\int_{a_{1}}^{b_{1}} \mathrm{~d} x_{1} \int_{a_{2}}^{b_{2}} \mathrm{~d} x_{2} \cdots \int_{a_{n}}^{b_{n}} f\left(x_{1}, \cdots, x_{n}\right) \mathrm{d} x_{n} . I=∫a1b1 dx1∫a2b2 dx2⋯∫anbnf(x1,⋯,xn)dxn.
当 V V V 由不等式组 a 1 ⩽ x 1 ⩽ b 1 , a 2 ( x 1 ) ⩽ x 2 ⩽ b 2 ( x 1 ) , ⋯ , a n ( x 1 , ⋯ , x n − 1 ) ⩽ x n ⩽ b n ( x 1 , ⋯ , x n − 1 ) a_{1} \leqslant x_{1} \leqslant b_{1}, a_{2}\left(x_{1}\right) \leqslant x_{2} \leqslant b_{2}\left(x_{1}\right), \cdots, a_{n}\left(x_{1}, \cdots, x_{n-1}\right) \leqslant x_{n} \leqslant b_{n}\left(x_{1}, \cdots, x_{n-1}\right) a1⩽x1⩽b1,a2(x1)⩽x2⩽b2(x1),⋯,an(x1,⋯,xn−1)⩽xn⩽bn(x1,⋯,xn−1) 表示时, 则有
I = ∫ a 1 b 1 d x 1 ∫ a 2 ( x 1 ) b 2 ( x 1 ) d x 2 ⋯ ∫ a n ( x 1 , ⋯ , x n − 1 ) b n ( x