下册 9.1 第一型曲线积分与第一型曲面积分 第22题

数学分析早年真题

📝 题目

22.证明 Possion 公式: $\iint_{x^{2}+y^{2}+z^{2}=1} f(a x+b y+c z) \mathrm{d} S=2 \pi \int_{-1}^{1} f\left(u \sqrt{a^{2}+b^{2}+c^{2}}\right) \mathrm{d} u$ ,其中 $f(x)$ 为连续函数.

💡 答案解析

\section*{解题过程:} 将 $x y z$ 坐标系保持原点不动旋转成 $u v w$ 坐标系,使 $w$ 轴上的单位向量为 $\displaystyle \frac{1}{\sqrt{a^{2}+b^{2}+c^{2}}}(a, b, c)$ .由于旋转变换是正交变换,保持度量不变,所以球面 $\Sigma$ 上的面积元 $\mathrm{d} S$ 也不变. 设球面 $\Sigma$ 上一点 $(x, y, z)$ 的新坐标为 $(u, v, w)$ ,则 $a x+b y+c z=\sqrt{a^{2}+b^{2}+c^{2}} w$ .于是 $$ \iint_{\Sigma} f(a x+b y+c z) \mathrm{d} S=\iint_{\Sigma} f\left(\sqrt{a^{2}+b^{2}+c^{2}} w\right) \mathrm{d} S $$ 令球面 $\Sigma$ 的参数方程为 $$ \begin{gathered} u=\sin \varphi \cos \theta, v=\sin \varphi \sin \theta, w=\cos \varphi, 0 \leqslant \varphi \leqslant \pi, 0 \leqslant \theta \leqslant 2 \pi \\ E=u_{\varphi}^{2}+v_{\varphi}^{2}+w_{\varphi}^{2}=1, G=u_{\theta}^{2}+v_{\theta}^{2}+w_{\theta}^{2}=\sin ^{2} \varphi, F=u_{\varphi} \cdot u_{\theta} \cdot+v_{\varphi} \cdot v_{\theta}+w_{\varphi} \cdot w_{\theta}=0, \sqrt{E G-F^{2}}=\sin \varphi \end{gathered} $$ 所以 $\iint_{\Sigma} f(a x+b y+c z) \mathrm{d} S=\int_{0}^{2 \pi} \mathrm{~d} \theta \int_{0}^{\pi} f\left(\sqrt{a^{2}+b^{2}+c^{2}} \cos \varphi\right) \sin \varphi \mathrm{d} \varphi=2 \pi \int_{-1}^{1} f\left(u \sqrt{a^{2}+b^{2}+c^{2}}\right) \mathrm{d} u$ 。

📋 详细解题步骤

步骤 1/4
目标:坐标旋转,简化被积函数
将原坐标系 $xyz$ 通过正交旋转变换,得到新坐标系 $uvw$,使得 $w$ 轴方向与向量 $(a,b,c)$ 同向。具体地,取 $w$ 轴的单位向量为 $\displaystyle \frac{1}{\sqrt{a^2+b^2+c^2}}(a,b,c)$。由于正交变换保持内积和度量不变,球面 $x^2+y^2+z^2=1$ 在新坐标系下仍为单位球面 $u^2+v^2+w^2=1$,且面积元 $\mathrm{d}S$ 不变。此时,$a x+b y+c z = \sqrt{a^2+b^2+c^2}\, w$,所以原积分化为 $$\iint_{x^2+y^2+z^2=1} f(ax+by+cz)\,\mathrm{d}S = \iint_{u^2+v^2+w^2=1} f\left(\sqrt{a^2+b^2+c^2}\, w\right)\,\mathrm{d}S.$$
公式:$a x+b y+c z = \sqrt{a^2+b^2+c^2}\, w$
提示:注意正交变换保持球面方程和面积元不变,但被积函数中的线性组合简化为仅与 $w$ 有关。
步骤 2/4
目标:球面参数化,计算面积元
对单位球面 $u^2+v^2+w^2=1$ 采用球坐标参数化:$$u = \sin\varphi\cos\theta,\quad v = \sin\varphi\sin\theta,\quad w = \cos\varphi,$$ 其中 $0\le\varphi\le\pi$, $0\le\theta\le 2\pi$。计算第一基本形式系数:$$E = u_\varphi^2+v_\varphi^2+w_\varphi^2 = 1,\quad G = u_\theta^2+v_\theta^2+w_\theta^2 = \sin^2\varphi,\quad F = u_\varphi u_\theta+v_\varphi v_\theta+w_\varphi w_\theta = 0,$$ 因此面积元 $$\mathrm{d}S = \sqrt{EG-F^2}\,\mathrm{d}\varphi\mathrm{d}\theta = \sin\varphi\,\mathrm{d}\varphi\mathrm{d}\theta.$$
公式:$\mathrm{d}S = \sin\varphi\,\mathrm{d}\varphi\mathrm{d}\theta$
提示:注意球坐标中 $\varphi$ 是极角(与 $w$ 轴夹角),$\theta$ 是方位角;$\sin\varphi$ 非负,无需绝对值。
步骤 3/4
目标:代入积分,化为累次积分
将参数化代入积分,并注意 $w = \cos\varphi$,得到:$$\iint_{u^2+v^2+w^2=1} f\left(\sqrt{a^2+b^2+c^2}\, w\right)\,\mathrm{d}S = \int_0^{2\pi}\mathrm{d}\theta \int_0^\pi f\left(\sqrt{a^2+b^2+c^2}\,\cos\varphi\right) \sin\varphi\,\mathrm{d}\varphi.$$ 由于被积函数与 $\theta$ 无关,$\theta$ 积分直接得到 $2\pi$:$$= 2\pi \int_0^\pi f\left(\sqrt{a^2+b^2+c^2}\,\cos\varphi\right) \sin\varphi\,\mathrm{d}\varphi.$$
公式:$\int_0^{2\pi}\mathrm{d}\theta = 2\pi$
提示:注意 $\theta$ 积分独立,直接计算即可。
步骤 4/4
目标:变量代换,化为标准形式
令 $u = \cos\varphi$,则 $\mathrm{d}u = -\sin\varphi\,\mathrm{d}\varphi$,且当 $\varphi=0$ 时 $u=1$,$\varphi=\pi$ 时 $u=-1$。因此 $$\int_0^\pi f\left(\sqrt{a^2+b^2+c^2}\,\cos\varphi\right) \sin\varphi\,\mathrm{d}\varphi = \int_1^{-1} f\left(\sqrt{a^2+b^2+c^2}\, u\right) (-\mathrm{d}u) = \int_{-1}^1 f\left(\sqrt{a^2+b^2+c^2}\, u\right) \mathrm{d}u.$$ 代入前式即得 $$\iint_{x^2+y^2+z^2=1} f(ax+by+cz)\,\mathrm{d}S = 2\pi \int_{-1}^1 f\left(u\sqrt{a^2+b^2+c^2}\right) \mathrm{d}u.$$ 这正是要证明的 Poisson 公式。
公式:$u = \cos\varphi$, $\mathrm{d}u = -\sin\varphi\,\mathrm{d}\varphi$
提示:注意积分限的变化:$\varphi$ 从 $0$ 到 $\pi$ 对应 $u$ 从 $1$ 到 $-1$,交换限后负号消失。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。