球面余弦积分等式证明与求解及方法问询

我来给你梳理一下这个球面积分问题的解决思路，以及这类含三角函数的球面积分的通用处理方法：

一、证明等式的核心思路 #

首先我们先把右边的$\cos(x+y+z)$用三角恒等式展开：

$\cos(a+b+c) = \cos a\cos b\cos c - \sin a\sin b\cos c - \sin a\cos b\sin c - \cos a\sin b\sin c$

把这个展开式代入原等式，两边相减后，我们只需要证明下面这个积分等于0就行：
$$\int_{S_r}\left(\sin x\sin y\cos z + \sin x\cos y\sin z + \cos x\sin y\sin z\right)dS = 0$$

这里关键要用到球面的对称性：

• 看第一个项$\sin x\sin y\cos z$，把变量$x$换成$-x$，被积函数就变成$-\sin x\sin y\cos z$，而球面$S_r$关于$yOz$平面对称，也就是说对于球面上的每个点$(x,y,z)$，都有对应的$(-x,y,z)$点，这两个点的被积函数值互为相反数，积分后相互抵消，所以$\int_{S_r}\sin x\sin y\cos z\ dS = 0$。
• 同理，第二个项$\sin x\cos y\sin z$，我们可以把$y$换成$-y$，利用球面关于$xOz$平面的对称性，积分也为0；第三个项把$z$换成$-z$，利用关于$xOy$平面的对称性，积分也为0。这样就证明了原等式成立。

二、求解积分的具体方法 #

现在我们可以任选等式一边的积分来计算，这里选$\int_{S_r}\cos(x+y+z)\ dS$会更方便。我们可以把余弦函数转化为复指数的实部：
$$\cos(x+y+z) = \text{Re}\left[e^{i(x+y+z)}\right]$$

所以原积分就等于$\text{Re}\left[\int_{S_r}e^{i(x+y+z)}dS\right]$。而对于球面上的指数积分，有一个现成的公式可以用：
$$\int_{S_r}e^{i(ax+by+cz)}dS = 4\pi r^2 \cdot \frac{\sin\left(r\sqrt{a^2+b2+c^{2}\right)}{r\sqrt{a}2+b^2+c2}}$$

这里我们的$a=b=c=1$，代入进去计算：
$$\int_{S_r}e^{i(x+y+z)}dS = 4\pi r^2 \cdot \frac{\sin\left(r\sqrt{3}\right)}{r\sqrt{3}} = \frac{4\pi r}{\sqrt{3}}\sin\left(r\sqrt{3}\right)$$

取这个结果的实部，就是我们要的积分值，所以：
$$\int_{S_r}\cos x\cos y\cos z\ dS = \int_{S_r}\cos(x+y+z)\ dS = \frac{4\pi r}{\sqrt{3}}\sin\left(r\sqrt{3}\right)$$

三、除参数化外的通用处理方法 #

对于球面上含正弦、余弦的积分，除了直接参数化计算，还有这些实用的通用方法：

• 对称性简化法：球面关于三个坐标平面都对称，只要被积函数是关于某个变量的奇函数，积分直接为0；如果是偶函数，可以只计算一个卦限的积分再乘以对应倍数，能大幅减少计算量。
• 复指数转化法：把三角函数写成复指数的形式，利用现成的球面指数积分公式（就像上面用到的那个），这种方法特别适合处理形如$\cos(ax+by+cz)$或$\sin(ax+by+cz)$的被积函数。
• 泰勒展开逐项积分法：把三角函数展开成泰勒级数，在满足一致收敛的条件下交换积分和求和的顺序，然后计算每个单项式在球面上的积分。比如$\cos x = \sum_{n=0}^\infty \frac{(-1)^n x^{{2n}}{(2n)!}$，然后利用球面矩的公式计算$\int_{S_r}x}{2n}y^{2m}z{2k}dS$这类积分（当指数有奇数时积分是0，偶数时可以用伽马函数或递推式计算）。
• 调和函数性质法：如果被积函数是调和函数（满足拉普拉斯方程$\Delta u=0$），可以结合格林公式或者球面均值定理来关联球内积分和球面积分，不过这个方法更多适用于一些特殊的调和函数场景。

内容的提问来源于stack exchange，提问作者Don Fanucci