§22.6 对于教学的建议

22.6.1 学习要点

1. 如何快速准确计算出重积分的值是本章的重点之一．为此有三点是至关重要的: 一是选择坐标变换，二是选择积分顺序，三是要优先利用对称性，即积分区域的对称性与被积函数的奇偶性．

2. 计算重积分的过程中，画出积分区域的示意图是很重要的一个步骤．示意图的要点是区域所处的象限 (或卦限)、曲线的交点 (曲面的交线). 用球坐标时尤其要准确标出交线．即使画不出图，也要作必要的几何分析．例如对 $(x^2+y^2{)}^2+z^4=z$ 所围立体，首先从方程看出立体位于平面 $z=0$ 和 $z=1$ 之间，其次可看出这是一个旋转面，令 $y=0$ 得母线 $x^4=z-z^4$ .

3. 要充分重视重积分的应用部分的教学。这里微元法是个重点。要注意微元法的“求和”并不是简单的相加。在“曲”的坐标下考虑的是求和方向上的分量相加。比如求移动曲面扫过的体积，我们必须考虑移动的法向速度方向上的求和。

4. 重积分的计算是熟能生巧，需要做大量的习题．限于篇幅，我们仅仅列举一些有特点的例子．在一般的教科书上 (如 [24]) 都给出了足够丰富的例题与习题．请读者自己把握．还可以参考 [25, 55] 第八章的前 10 节．

5. 对习题课的建议 应该根据实际需要选择坐标变换，不能只会一种．任何一种坐标变换都不是万能的．球坐标变换很重要，但并不是积分区域与球有关就要用球坐标．如例题 $\mathrm{22.3.1}$，用球坐标就不简单．

关于积分顺序，应该观察被积函数与积分区域两者的特点，尽可能使积分变得简单．仍考察例题 $\mathrm{22.3.1}$，被积函数中有 $z$，当然应该选择“先二后一”的顺序，而且是先对 $x,y$，后对 $z$，这样对 $x,y$ 作二重积分时，被积函数是常数，因而可以提到积分号之外．

对称性的使用不仅可以简化计算，还有助于避免错误．下面的例子可以很清楚地说明这一点．

例题22.6.1

求球体 $x^2+y^2+z^2⩽a^2$ 和圆柱体 $x^2+y^2⩽ax(a>0)$ 的公共部分所成的空间区域 ($Viviani$ 体) 的体积 $V$ .

解

如图 22.11 (半个 $Viviani$ 体) 所示，

l V = 2 iint_ x ^ 2 + y ^ 2 ≤slant a x sqrt a ^ 2 - x ^ 2 - y ^ 2 d x d y = 2 ∫_ - π / 2 ^ π / 2 d θ ∫_ 0 ^ a cos θ r sqrt a ^ 2 - r ^ 2 d r = ∫_ - π / 2 ^ π / 2 - frac 23 (a ^ 2 - r ^ 2) ^ 3 / 2 | _ 0 ^ a cos θ d θ = - frac 23 ∫_ - π / 2 ^ π / 2 [ (a ^ 2 sin^ 2 θ) ^ 3 / 2 - a ^ 3 ] d θ .$$\begin{array}{l}V=2{\iint }_{x^2+y^2⩽ax}\sqrt{a^2-x^2-y^2}\mathrm{d}x\mathrm{d}y\\ =2{\int }_{-\pi /2}^{\pi /2}\mathrm{d}\theta {\int }_0^{a\cos \theta }r\sqrt{a^2-r^2}\mathrm{d}r\\ ={\int }_{-\pi /2}^{\pi /2}-\frac{2}{3}(a^2-r^2{)}^{3/2}{|}_0^{a\cos \theta }\mathrm{d}\theta \\ =-\frac{2}{3}{\int }_{-\pi /2}^{\pi /2}\left[(a^2{\sin }^2\theta {)}^{3/2}-a^3\right]\mathrm{d}\theta .\end{array}$$

图22.11

再往下作就有两种可能了，一种是

(sin^ 2 θ) ^ 3 / 2 = sin^ 3 θ (text 这是错的! ),$$({\sin }^2\theta {)}^{3/2}={\sin }^3\theta (\text{ 这是错的! }),$$

应该是

(sin^ 2 θ) ^ 3 / 2 = | sin θ | ^ 3.$$({\sin }^2\theta {)}^{3/2}=|\sin \theta {|}^3.$$

但如果一开始就利用对称性，得

V = 4 iint_ x ^ 2 + y ^ 2 ≤slant a x, y ≥slant 0 sqrt a ^ 2 - x ^ 2 - y ^ 2 d x d y,$$V=4{\iint }_{x^2+y^2⩽ax,y⩾0}\sqrt{a^2-x^2-y^2}\mathrm{d}x\mathrm{d}y,$$

不但使运算简便，而且无形中避免了上述错误的发生．

22.6.2 参考题

第一组参考题

1. 设 $f(x,y)$ 在 $D=\{(x,y)\mid 0⩽x⩽1,0⩽y⩽1\}$ 上有如下定义：

f (x, y) = { l l frac 1q _ x, & text 当 x = frac p _ xq _ x, y text 是无理数时, frac 1q _ y, & text 当 y = frac p _ yq _ y, x text 是无理数时, 0, & text 其他情况, .$$f(x,y)=\{\begin{array}{ll}\frac{1}{q_x},& \text{当}x=\frac{p_x}{q_x},y\text{是无理数时},\\ \frac{1}{q_y},& \text{当}y=\frac{p_y}{q_y},x\text{是无理数时},\\ 0,& \text{其他情况},\end{array}$$

其中 $q_x,q_y$ 分别表示有理数 $x,y$ 写成既约分数后的分母．则 $f(x,y)$ 在 $D$ 上可积，但两个二次积分不存在．

2. 设 $f(x,y)$ 定义在 $D=\{(x,y)\mid 0⩽x⩽1,0⩽y⩽1\}$ 上，

f(x,y)={&1,& 当 x 和 y 都是非零有理数,&0,& 其他情况,.$$f(x,y)=\{\begin{array}{rlr}& 1,& 当x和y都是非零有理数,\\ & 0,& 其他情况,\end{array}$$

其中 $q_x,q_y$ 表示有理数 $x,y$ 写成既约分数后的分母．证明 $f(x,y)$ 在 $D$ 上不可积，但两个二次积分存在且相等．

3. (1) 计算积分 $A={\int }_0^1{\int }_0^1|xy-\frac{1}{4}|\mathrm{d}x\mathrm{d}y$ ;

(2) 设 $z=f(x,y)$ 在闭正方形 $D=\{(x,y)\mid 0⩽x⩽1,0⩽y⩽1\}$ 上连续，且满足下列条件：

iint_ D f (x, y) d x d y = 0, iint_ D x y f (x, y) d x d y = 1.$${\iint }_{D}f(x,y)\mathrm{d}x\mathrm{d}y=0,{\iint }_{D}xyf(x,y)\mathrm{d}x\mathrm{d}y=1.$$

求证: $\exists (\xi ,\eta )\in D$ 使得 $|f(\xi ,\eta )|⩾\frac{1}{A}$ .

4. 证明：

1.96 < iint_ | x | + | y | ≤slant 1 0 frac 1100 + cos^ 2 x + cos^ 2 y d x d y < 2.$$1.96<{\iint }_{|x|+|y|⩽10}\frac{1}{100+{\cos }^{2}x+{\cos }^{2}y}\mathrm{d}x\mathrm{d}y<2.$$

5. 设 $f$ 是连续函数，证明:

iiint_ x ^ 2 + y ^ 2 + z ^ 2 ≤slant 1 f (a x + b y + c z) d x d y d z = π ∫_ - 1 ^ 1 (1 - u ^ 2) f (k u) d u,$${\iiint }_{x^2+y^2+z^2⩽1}f(ax+by+cz)\mathrm{d}x\mathrm{d}y\mathrm{d}z=\pi {\int }_{-1}^1(1-u^2)f(ku)\mathrm{d}u,$$

其中 $k=\sqrt{a^2+b^2+c^2}$ .

6. 证明 $Poincar\acute{e}$ (彭加勒) 不等式: 设函数 $f(x,y),\frac{\partial f}{\partial y}(x,y)$ 在闭区域

D = {(x, y) | a ≤slant x ≤slant b, φ (x) ≤slant y ≤slant ψ (x) }$$D=\{(x,y)\mid a⩽x⩽b,\phi (x)⩽y⩽\psi (x)\}$$

上连续，其中 $\phi ,\psi$ 在 $[a,b]$ 上连续．$f(x,\phi (x))=0$，则存在常数 $K>0$，使得

iint_ D f ^ 2 (x, y) d x d y ≤slant K iint_ D (frac ∂ f∂ y) ^ 2 d x d y.$${\iint }_D{f}^2(x,y)\mathrm{d}x\mathrm{d}y⩽K{\iint }_D{\left(\frac{\partial f}{\partial y}\right)}^2\mathrm{d}x\mathrm{d}y.$$

($Poincar\acute{e}$ 不等式可看成是 $Wirtinger$ 不等式 (见第十五章参考题 8) 在高维空间的推广，见 [27] 及其中所引文献.)

7. 设 $u,v\in L^p(\Omega ),p⩾1$．利用 $H\ddot{o}lder$ 不等式证明 $Minkowski$ 不等式

| u + v | _ p ≤slant | u | _ p + | v | _ p.$$\Vert u+v{\Vert }_p⩽\Vert u{\Vert }_p+\Vert v{\Vert }_p.$$

讨论 $H\ddot{o}lder$ 不等式和 $Minkowski$ 不等式取等号的条件．

8. 设函数 $f(x,y)$ 在区域 $D=[0,1]\times [0,1]$ 上四次连续可微，在其边界上取零，并且

| frac ∂^ 4 f∂ x ^ 2 ∂ y ^ 2 (x, y) | ≤slant B, (x, y) ∈ D.$$\left|\frac{{\partial }^{4}f}{\partial x^2\partial y^2}(x,y)\right|⩽B,(x,y)\in D.$$

证明：

| iint_ D f (x, y) d x d y | ≤slant frac B144.$$\left|{\iint }_{D}f(x,y)\mathrm{d}x\mathrm{d}y\right|⩽\frac{B}{144}.$$

9. 设二重积分 ${\iint }_{D}f(x,y)dxdy>0$．证明: 存在 $D$ 的闭子区域 $U$，使当 $(x,y)\in U$ 时，有 $f(x,y)>0$ .

10. 证明多重积分的中值定理: 设 $f(x_1,x_2,\cdots ,x_n)$ 在有界闭区域 $\Omega \subset {\mathbf{R}}^n$ 上连续，则 $\exists \xi \in \Omega$，使

∫ ∫_ Ω … ∫ f (x _ 1, x _ 2, … , x _ n) d x _ 1 d x _ 2 … d x _ n = f (±b ξ) · (varOmega text 的体积).$$\int {\int }_{\Omega }\cdots \int f(x_1,x_2,\dots ,x_n)\mathrm{d}{x}_1\mathrm{d}{x}_2\dots \mathrm{d}{x}_n=f(\xi )\cdot (\Omega \text{的体积}).$$

11. 设函数 $p$ 在 $[a,b]$ 上非负连续， $f,g$ 在 $[a,b]$ 上连续单调增加，则

(∫_ a ^ b p (x) f (x) d x) (∫_ a ^ b p (x) g (x) d x) ≤slant (∫_ a ^ b p (x) d x) (∫_ a ^ b p (x) f (x) g (x) d x).$$\left({\int }_a^{b}p(x)f(x)\mathrm{d}x\right)\left({\int }_a^{b}p(x)g(x)\mathrm{d}x\right)⩽\left({\int }_a^{b}p(x)\mathrm{d}x\right)\left({\int }_a^{b}p(x)f(x)g(x)\mathrm{d}x\right).$$

12. 设 $f$ 在 $[0,1]$ 上连续、单调减少且恒取正值，则

frac ∫_ 0 ^ 1 x f ^ 2 (x) d x∫_ 0 ^ 1 x f (x) d x ≤slant frac ∫_ 0 ^ 1 f ^ 2 (x) d x∫_ 0 ^ 1 f (x) d x.$$\frac{{\int }_0^{1}x{f}^2(x)\mathrm{d}x}{{\int }_0^{1}xf(x)\mathrm{d}x}⩽\frac{{\int }_0^1{f}^2(x)\mathrm{d}x}{{\int }_0^{1}f(x)\mathrm{d}x}.$$

13. 设

I = iiint_ x ^ 2 + y ^ 2 + z ^ 2 ≤slant R ^ 2 frac d x d y d zsqrt (x - a) ^ 2 + (y - b) ^ 2 + (z - c) ^ 2,$$I={\iiint }_{x^2+y^2+z^2⩽R^2}\frac{\mathrm{d}x\mathrm{d}y\mathrm{d}z}{\sqrt{(x-a{)}^2+(y-b{)}^2+(z-c{)}^2}},$$

其中 $A=\sqrt{a^2+b^2+c^2}>R>0$ ，则

frac 4 π3 frac R ^ 3A + R ≤slant I ≤slant frac 4 π3 frac R ^ 3A - R.$$\frac{4\pi }{3}\frac{R^3}{A+R}⩽I⩽\frac{4\pi }{3}\frac{R^3}{A-R}.$$

14. 设 $f(t)$ 是连续函数，令

F (t) = iiint_ D f (x y z) d x d y d z,$$F(t)={\iiint }_{D}f(xyz)\mathrm{d}x\mathrm{d}y\mathrm{d}z,$$

其中 $D=\{(x,y,z)\mid 0⩽x⩽t,0⩽y⩽t,0⩽z⩽t\}$．证明：

F ^ prime (t) = frac 3t ∫_ 0 ^ t ^ 3 frac g (u)u d u,$$F^{\prime }(t)=\frac{3}{t}{\int }_0^{t^3}\frac{g(u)}{u}\mathrm{d}u,$$

其中 $g(u)={\int }_0^{u}f(s)\mathrm{d}s.$

15. 设坐标平面上有一周长为 $2\pi l$ 的椭圆 $\Gamma$，在其上选定一点作为计算弧长 $s$ 的起点，以逆时针方向作为计算弧长的方向，这时 $\Gamma$ 有参数方程

x = f (s), y = φ (s), 0 ≤slant s ≤slant 2 π l.$$x=f(s),y=\phi (s),0⩽s⩽2\pi l.$$

$x$ 轴的正半轴绕原点作逆时针旋转，首次转到与点 $(f(s),\phi (s))$ 处切线正向一致时的倾角为 $\theta (s)$．记 $D$ 为 $\Gamma$ 的外部区域内与 $\Gamma$ 的距离小于 $l$ 的所有点构成的区域．

(1) 如果用 $t$ 表示 $D$ 内一点 $(x,y)$ 到 $\Gamma$ 的距离，试将 $x,y$ 表示成 $s,t$ 的函数

x = x (s, t), y = y (s, t), 0 ≤slant s ≤slant 2 π l, 0 < t < l;$$x=x(s,t),y=y(s,t),0⩽s⩽2\pi l,0<t<l;$$

(2) 用计算验证区域 $D$ 的面积为 $3\pi l^2$ .

注

题 6 即 [25] 的习题 $3983$，它代表了重积分计算中的 $Catalan$ 方法．这种方法在一定的条件下可以将多重积分 (直接) 转化为单重积分．较详细的介绍见 [55] 第三册 $\mathrm{8.1.6}$ 小节中的命题 $8.1$、$8.2$ 与例题，以及它们在 §$8.6$ (三重积分计算) 和 §$8.10$ ($n$ 重积分计算) 中的一系列应用．$Catalan$ 方法也可用于求解本章中的若干积分计算题，例如 $\mathrm{22.3.5}$ 小节的练习题 $7$、$8$ 和第一组参考题 $5$ 等．

第二组参考题

1. 证明：对任意 $\epsilon >0$

a b ≤slant frac ε a ^(p)p + frac ε ^ - q / p b ^(q)q ≤slant ε a ^(p) + ε ^ - q / p b ^(q),$$ab⩽\frac{\epsilon a^p}{p}+\frac{{\epsilon }^{-q/p}{b}^q}{q}⩽\epsilon a^p+{\epsilon }^{-q/p}{b}^q,$$

其中 $a⩾0,b⩾0,p,q>0,\frac{1}{p}+\frac{1}{q}=1.$

2. 利用上题以及例题 $\mathrm{22.5.9}$ 的结论证明内插不等式:

| u | _ q ≤slant ε | u | _ r + ε^ - μ | u | _ p,$$\Vert u{\Vert }_q⩽\epsilon \Vert u{\Vert }_r+{\epsilon }^{-\mu }\Vert u{\Vert }_p,$$

其中 $\mu =\left(\frac{1}{p}-\frac{1}{q}\right)/\left(\frac{1}{q}-\frac{1}{r}\right)$ ，$0<p<q<r$, $\epsilon >0$ .

3. 设 $\Omega$ 是 ${\mathbf{R}}^2$ 中有界闭区域，$u(x,y)$ 在 $\Omega$ 上连续且恒取正值，定义

Φ_ p (u) = (frac 1| Ω | iint_ Ω u ^(p) d x d y) ^ frac 1p,$${\Phi }_p(u)={\left(\frac{1}{|\Omega |}{\iint }_{\Omega }{u}^p\mathrm{d}x\mathrm{d}y\right)}^{\frac{1}{p}},$$

其中 $|\Omega |$ 是 $\Omega$ 的面积，证明:

(1) ${\lim }_{p\to +\infty }{\Phi }_p(u)={\max }_{(x,y)\in \Omega }\{u(x,y)\};$

(2) ${\lim }_{p\to -\infty }{\Phi }_p(u)={\min }_{(x,y)\in \Omega }\{u(x,y)\};$

lim _ p arrow 0 Φ_ p (u) = exp {frac 1| Ω | iint_ Ω ln u d x d y }.$$\underset{p\to 0}{\lim }{\Phi }_p(u)=\exp \left\{\frac{1}{|\Omega |}{\iint }_{\Omega }\ln udxdy\right\}.$$

4. 设 $P_0$ 为半径等于 $R$ 的球内的一定点，从点 $P_0$ 向球面上任意一点 $Q$ 处的切平面作垂线，垂足为点 $P$。当点 $Q$ 在球面上变动时，点 $P$ 的轨迹形成一封闭曲面。

(1) 求此曲面所围成的立体的体积;

(2) 问当点 $P_0$ 沿什么方向变化时，上述体积的变化率最大?

5. 证明不等式

frac sqrt π2 (1 - e ^ - a ²) ^ frac 12 < ∫_ 0 ^(a) e ^ - x ² d x < frac sqrt π2 (1 - e ^ - frac 4 a ²π) ^ frac 12.$$\frac{\sqrt{\pi }}{2}{\left(1-{\mathrm{e}}^{-a^2}\right)}^{\frac{1}{2}}<{\int }_0^a{\mathrm{e}}^{-x^2}\mathrm{d}x<\frac{\sqrt{\pi }}{2}{\left(1-{\mathrm{e}}^{-\frac{4a^2}{\pi }}\right)}^{\frac{1}{2}}.$$

6. 设连续函数 $f(x,y)$ 的等位线是简单封闭曲线， $S(v_1,v_2)$ 是由曲线 $f(x,y)=v_1,f(x,y)=v_2$ 所围成的域。证明 $Catalan$ 公式

iint_ S (v _ 1, v _ 2) f (x, y) d x d y = ∫_ v _ 1 ^ v _ 2 v F ^ prime (v) d v,$${\iint }_{S(v_1,v_2)}f(x,y)\mathrm{d}x\mathrm{d}y={\int }_{v_1}^{v_2}v{F}^{\prime }(v)\mathrm{d}v,$$

其中 $F(v)$ 为由曲线 $f(x,y)=v_1,f(x,y)=v$ 所包围的面积，还假设 $F(v)$ 可微且导函数 $F^{\prime }(v)$ 可积．

第二十三章 含参变量积分

在 §$23.1$ 和 §$23.2$ 两节中考虑含参变量积分的一般性质，其中包括含参变量常义积分和含参变量广义积分．对后者而言，其分析性质的研究首先涉及这些广义积分的收敛性是否关于参变量一致．然后给出许多具体计算的例子．在 §$23.3$ 中介绍两个重要的特殊函数: $B$ 函数和 $\Gamma$ 函数．最后一节是学习要点和参考题．