跳转至

轮换对称性

本小节分享的题目是一道二重积分积分方程,它的求解需要用到轮换对称性,这一技巧在上一小节中有所提及,但是你是否真的掌握了呢?下面先通过几道经典例题帮你回顾这一技巧的适用场景和使用方法。

简要介绍

轮换对称性

重积分的轮换对称性是利用积分区域和被积函数关于变量的对称性,下面举例说明。

考虑积分:

\[ I_1 = \iint\limits_D x\cos xy \,\mathrm{d}x\mathrm{d}y,\quad I_2 = \iint\limits_D y\cos xy \,\mathrm{d}x\mathrm{d}y, \]

其中区域 \(D: x\geqslant 0,\ y\geqslant 0,\ x+y\leqslant 1\)。

若将 \(I_1\) 中的变量 \(x\) 换为 \(y\)、\(y\) 换为 \(x\),积分区域 \(D\) 的表达式不变,因此

\[I_1=I_2.\]

同理对 \(I_2\) 互换 \(x,y\) 也得到 \(I_2=I_1\)。 这是因为积分区域 \(D\) 对变量 \(x,y\) 轮换不变,积分值只和被积结构、积分范围有关,与变量记号无关;\(I_1,I_2\) 仅变量符号不同,积分相等,该性质称为重积分的轮换对称性。

简而言之就是如下结论:

命题

区域 \(D\) 满足:\((x,y)\in D \iff (y,x)\in D\),则

\[ \displaystyle\iint\limits_D f(x,y)\,\mathrm{d}x\mathrm{d}y=\iint\limits_D f(y,x)\,\mathrm{d}x\mathrm{d}y. \]

例题

例 1(1994 年数一 T4)

Example

\(\displaystyle I=\iint\limits_D \left(\frac{x^2}{a^2}+\frac{y^2}{b^2}\right)\mathrm{d}x\mathrm{d}y,\ D:x^2+y^2\leqslant R^2\)

\[ \begin{aligned} I&=\iint\limits_D \frac{x^2}{a^2}\mathrm{d}x\mathrm{d}y+\iint\limits_D \frac{y^2}{b^2}\mathrm{d}x\mathrm{d}y\\ \xrightarrow{\text{轮换对称}} I&=\iint\limits_D \frac{y^2}{a^2}\mathrm{d}x\mathrm{d}y+\iint\limits_D \frac{x^2}{b^2}\mathrm{d}x\mathrm{d}y\\ \Rightarrow 2I&=\left(\frac1{a^2}+\frac1{b^2}\right)\iint\limits_D(x^2+y^2)\mathrm{d}x\mathrm{d}y\\ I&=\frac12\left(\frac1{a^2}+\frac1{b^2}\right)\int_0^{2\pi}\mathrm{d}\theta\int_0^R r^2\cdot r\mathrm{d}r =\frac{\pi R^4}{4}\left(\frac1{a^2}+\frac1{b^2}\right). \end{aligned} \]

例 2

Example

证明 : 曲面 \((z-a)\varphi(x)+(z-b)\varphi(y)=0,\,x^2+y^2=c^2\) 和 \(z=0\) 所围成的形体的体积为 \(\displaystyle V = \dfrac12\pi(a+b)c^2\),其中 \(\varphi\) 为任意正的连续函数,\(a,b,c\) 为正常数。

由 \((z-a)\varphi(x)+(z-b)\varphi(y)=0\),解得

\[ z=\dfrac{a\varphi(x)+b\varphi(y)}{\varphi(x)+\varphi(y)}, \]

记区域 \(D:x^2+y^2\leqslant c^2\)。于是

\[ \begin{aligned} V &= \iint\limits_D \frac{a\varphi(x)+b\varphi(y)}{\varphi(x)+\varphi(y)}\mathrm{d}x\mathrm{d}y \\ &\xlongequal{轮换对称性} \iint\limits_D \frac{a\varphi(y)+b\varphi(x)}{\varphi(y)+\varphi(x)}\mathrm{d}x\mathrm{d}y \\ &= \frac12\iint\limits_D \left[\frac{a\varphi(x)+b\varphi(y)}{\varphi(x)+\varphi(y)}+\frac{a\varphi(y)+b\varphi(x)}{\varphi(y)+\varphi(x)}\right]\mathrm{d}x\mathrm{d}y \\ &= \frac12(a+b)\iint\limits_D \mathrm{d}x\mathrm{d}y = \frac12\pi(a+b)c^2. \end{aligned} \]

三重积分也是有轮换对称性的,常见于球体,此时将 \(x,y,z\) 三者随意交换不改变积分区域的形式,因此对称性成立,如下面的例题 3:

例 3

Example

计算

\[ I=\displaystyle \iiint\limits_\Omega (x+3y+5z)\,\mathrm{d}x\mathrm{d}y\mathrm{d}z, \]

其中 \(\Omega:x^2+y^2+z^2\leqslant R^2,\ x\geqslant0,\,y\geqslant0,\,z\geqslant0\)。

由三重积分轮换对称性

\[ \displaystyle\iiint\limits_\Omega x\,\mathrm{d}x\mathrm{d}y\mathrm{d}z =\iiint\limits_\Omega y\,\mathrm{d}x\mathrm{d}y\mathrm{d}z =\iiint\limits_\Omega z\,\mathrm{d}x\mathrm{d}y\mathrm{d}z. \]

于是

\[ \begin{aligned} I &=9\iiint\limits_\Omega z\,\mathrm{d}x\mathrm{d}y\mathrm{d}z \\ &=9\int_0^{\frac\pi2}\mathrm{d}\theta\int_0^{\frac\pi2}\mathrm{d}\varphi\int_0^R r\cos\varphi\cdot r^2\sin\varphi\,\mathrm{d}r \\ &=\frac{9\pi}{2}\int_0^{\frac\pi2}\sin\varphi\cos\varphi\,\mathrm{d}\varphi\int_0^R r^3\,\mathrm{d}r =\frac9{16}\pi R^4. \end{aligned} \]

有了上面三道题目的铺垫,我们就可以开始解决本小节的重点题目了。

例 4

Example

设 \(D=\{(x,y)\mid 4\leqslant x^2+y^2\leqslant 9,\,x\geqslant0,\,y\geqslant0\}\),函数 \(f(x,y)\) 在 \(D\) 上连续,满足

\[ \displaystyle f(x,y)=\sin\left(\pi\sqrt{x^2+y^2}\right)+\dfrac1\pi\displaystyle\iint\limits_D \dfrac{xf(x,y)}{x+y}\mathrm{d}x\mathrm{d}y, \]

求二重积分 \(\displaystyle\iint\limits_D f(x,y)\mathrm{d}x\mathrm{d}y\) 的值。

由于题干中二重积分的结果一定是一个常数,我们不妨将其记为 \(A\),即记,

\[ \displaystyle A=\iint\limits_D \frac{xf(x,y)}{x+y}\mathrm{d}x\mathrm{d}y \]

则原式就变成:

\[ \displaystyle f(x,y)=\sin\left(\pi\sqrt{x^2+y^2}\right)+\dfrac1\pi A, \]

那么现在得到这个式子如何处理呢?我们为了解出这个常数 \(A\),考虑将 \(LHS\) 配凑成 \(A\) 中被积函数的形式,也就是对等式左右两侧同时乘以 \(x\),再同时除以 \((x+y)\),得:

\[ \displaystyle\dfrac{xf(x,y)}{x+y}=\dfrac{x}{x+y}\sin\left(\pi\sqrt{x^2+y^2}\right)+\dfrac{A}{\pi}\cdot\dfrac{x}{x+y}. \]

然后对上式左右两侧同时在区域 \(D\) 上积分,那么 \(LHS\) 恰好就是我们设的常数 \(A\),即:

\[ \begin{aligned} A &= \iint\limits_D \frac{x}{x+y}\sin\left(\pi\sqrt{x^2+y^2}\right)\mathrm{d}x\mathrm{d}y +\frac{A}{\pi}\iint\limits_D \frac{x}{x+y}\mathrm{d}x\mathrm{d}y \\ &\xlongequal{轮换对称性} \iint\limits_D \frac{y}{x+y}\sin\left(\pi\sqrt{x^2+y^2}\right)\mathrm{d}x\mathrm{d}y +\frac{A}{\pi}\iint\limits_D \frac{y}{x+y}\mathrm{d}x\mathrm{d}y \\ &= \frac12\iint\limits_D \sin\left(\pi\sqrt{x^2+y^2}\right)\mathrm{d}x\mathrm{d}y +\frac{A}{2\pi}\iint\limits_D \mathrm{d}x\mathrm{d}y \\ &= \frac12\int_0^{\frac\pi2}\mathrm{d}\theta\int_2^3 r\sin(\pi r)\mathrm{d}r +\frac{A}{2\pi}\cdot\frac{5\pi}{4} \\ &=\frac54+\frac{5A}{8}, \end{aligned} \]

解得 \(\displaystyle A=\dfrac{10}{3}\).

此时就可以把 \(A\) 的值带回原式,并对左右两边同时积分就可以得到题目要求的式子啦,于是:

\[ \begin{aligned} \iint\limits_D f(x,y)\mathrm{d}x\mathrm{d}y &=\iint\limits_D \sin\left(\pi\sqrt{x^2+y^2}\right)\mathrm{d}x\mathrm{d}y +\frac{A}{\pi}\iint\limits_D \mathrm{d}x\mathrm{d}y \\ &\xlongequal{\text{极坐标}} \int_{0}^{\frac{\pi}{2}}\mathrm{d}\theta\int_{2}^{3} r\sin(\pi r)\,\mathrm{d}r +\frac{A}{\pi}\cdot S_D \\ &=\frac{\pi}{2}\cdot\left[\frac{-r\cos\pi r}{\pi}\bigg|_{2}^{3}+\frac1\pi\int_{2}^{3}\cos\pi r\,\mathrm{d}r\right] +\frac{A}{\pi}\cdot \frac14\pi(9-4) \\ &=\frac12\Big[-3\cos3\pi+2\cos2\pi+0\Big]+\frac54 A \\ &=\frac12\big[-3\cdot(-1)+2\cdot1\big]+\frac54 A \\&=\frac52+\frac54 A \\ &\xlongequal{A=\frac{10}{3}} \frac52+\frac54\cdot\frac{10}{3} \\&=\frac52+\frac{25}{6} \\&=\frac{15+25}{6}=\frac{40}{6}=\frac{20}{3}. \end{aligned} \]

至此我们已对二重、三重积分里的轮换对称性做了系统梳理。事实上轮换对称性并非重积分独有,曲线积分与曲面积分同样可以依托积分区域轮换不变的特征简化运算,借助变量轮换替换,省去繁琐分步计算 .

Tip

轮换对称性还可以用来证明一些积分不等式,本节的习题 5、6 和接下来的第三小节——Cauchy-Schwarz 不等式就是一个典型的例子,后续我还会出专题进行整理。

习题

Q1

Question

设函数 \(f(x)\) 在 \([a,b]\) 上连续,且为正值函数,求证:

\[ \iint\limits_{D} \frac{f(x)}{f(y)}\mathrm{~d} \sigma\geqslant (b-a)^{2} \]

其中区域 \(D\):\(a\leqslant x\leqslant b\),\(a\leqslant y \leqslant b\).

Q2

Question

设 \(\Sigma\) 为上半球面 \(x^{2}+y^{2}+z^{2}=a^{2}(a>0,z\geqslant 0)\),求积分:

\[ \iint\limits_{\Sigma}(\sqrt{ 2 }x+z+1)^{2}\mathrm{~d} S \]

Q3

Question

对于 4 次齐次函数:\(f(x,y,z)=a_{1}x^{4}+a_{2}y^{4}+a_{3}z^{4}+3a_{4}x^{2}y^{2}+3a_{5}y^{2}z^{2}+3a_{6}x^{2}z^{2}\),求解曲面积分:

\[ \iint\limits_{\Sigma}f(x,y,z)\mathrm{~d} S \]

其中 \(\Sigma\):\(x^{2}+y^{2}+z^{2}=1\).

Q4

Question

设二元函数 \(z=f(x,y)\) 在 \(D=\{0<x^2+y^2\leqslant 1\}\) 上连续且满足:

\[ \sqrt{x^2+y^2}\left(|f(x,y)|+|f(y,x)|\right)\leqslant 1 \]

证明:

\[ \left|\iint\limits_{D} f(x,y)\mathrm dx\mathrm dy\right| \leqslant \pi. \]

另外,找一个满足题设条件的函数 \(f(x,y)\) 并使得:

\[ \left|\iint\limits_D f(x,y)\mathrm dx\mathrm dy\right| = \pi. \]

Q5

Question

在 \([0,1]\) 上 \(f(x)>0\) 且连续、单调减少,证明:

\[ \frac{\int_{0}^{1} xf^{2}(x) \mathrm{~d} x }{\int_{0}^{1}xf(x) \mathrm{~d} x }\leqslant \frac{\int_{0}^{1} f^{2}(x) \mathrm{~d} x }{\int_{0}^{1}f(x) \mathrm{~d} x } \]
Answer

由于分母都恒正,所以原问题等价于证明:

\[ \int_{0}^{1} f^{2}(x) \mathrm{~d} x \int_{0}^{1} xf(x) \mathrm{~d} x \geqslant \int_{0}^{1} f(x) \mathrm{~d} x \int_{0}^{1} xf^{2}(x) \mathrm{~d} x \]

记积分:

\[ I = \int_{0}^{1} f^{2}(x) \mathrm{~d} x \int_{0}^{1} xf(x) \mathrm{~d} x -\int_{0}^{1} f(x) \mathrm{~d} x \int_{0}^{1} xf^{2}(x) \mathrm{~d} x \]

将其转化为 \(D=[0,1]\times[0,1]\) 上的二重积分:

\[ \begin{aligned} I &= \iint\limits_{D} f^{2}(x)yf(y)-f(x)yf^{2}(y)\mathrm{~d} x\mathrm{d} y \\ &= \iint\limits_{D} yf(x)f(y)\cdot[f(x)-f(y)] \mathrm{~d} x\mathrm{d} y \end{aligned} \]

根据轮换对称性,交换 \(x\) 和 \(y\) 得:

\[ I = \iint\limits_{D} xf(x)f(y)\cdot [f(y)-f(x)]\mathrm{~d} x\mathrm{d} y \]

两式相加得:

\[ 2I = \iint\limits_{D} f(x)f(y)\cdot(y-x)\cdot[f(x)-f(y)]\mathrm{~d} x\mathrm{d} y \]

因为 \(f(x)>0\) 且单调减少,所以 \(y-x\) 和 \(f(x)-f(y)\) 同号,即 \(I\geqslant 0\),得证!

Q6

Question

设 \(f(x)\) 为 \([a,b]\) 区间上的连续函数,且 \(f(x)>-1\),证明:

\[ \int_{a}^{b} f(x) \mathrm{~d} x \geqslant \frac{(b-a)\int_{a}^{b} \frac{f(x)}{1+f(x)} \mathrm{~d} x }{(b-a)-\int_{a}^{b} \frac{f(x)}{1+f(x)} \mathrm{~d} x } \]

Q7

Question

计算三重积分:

\[ I=\iiint_{\Omega}x^{2}+y^{2}+z^{2}\mathrm{~d} x\mathrm{d} y\mathrm{d} z \]

其中 \(\Omega=\{(x,y,z)|x^{2}+4y^{2}+9z^{2}\leqslant 4x+8y+6z\}\).

  • 更多精彩内容欢迎关注我的微信公众号!

搜一搜

评论区