1. 高斯公式的内容:★★ 必会
① 定理(高斯公式):设空间有界闭区域 由分片光滑的闭曲面 围成, 在 上(含边界)具有一阶连续偏导数,则其中 取 边界的外侧。它把穿出闭曲面的通量化为区域内部源强的累积,可以看作牛顿–莱布尼茨公式在三维情形的推广,也是格林公式在空间中的对应结论。
② 散度形式:记 ,,则公式即各项的对应关系是: 与 相配,对 求偏导数; 与 相配,对 求偏导数; 与 相配,对 求偏导数。即缺哪一个变量,就对哪一个变量求导。
③ 使用前必须三查(缺一不可):查闭, 必须封闭,开曲面要先补面使之封闭,再减去所补的那一块,见后面讲补面法的一条;查侧,必须取外侧,若题中所给为内侧,则须在公式右端添一个负号;查偏导连续, 的一阶偏导数必须在 内部处处连续。第三查最易遗漏:形如 的场在原点没有定义,只要 把原点围在内部,就绝不能直接套用高斯公式,而应先挖去一个小球,见后面讲挖球法的一条。
② 散度形式:记 ,,则公式即各项的对应关系是: 与 相配,对 求偏导数; 与 相配,对 求偏导数; 与 相配,对 求偏导数。即缺哪一个变量,就对哪一个变量求导。
③ 使用前必须三查(缺一不可):查闭, 必须封闭,开曲面要先补面使之封闭,再减去所补的那一块,见后面讲补面法的一条;查侧,必须取外侧,若题中所给为内侧,则须在公式右端添一个负号;查偏导连续, 的一阶偏导数必须在 内部处处连续。第三查最易遗漏:形如 的场在原点没有定义,只要 把原点围在内部,就绝不能直接套用高斯公式,而应先挖去一个小球,见后面讲挖球法的一条。
证明 / 推导
证明的思路与一个验证特例:完整的证明见下一条,其要点是在 z 型区域上用牛顿–莱布尼茨公式证明 ,对 同理可证,三式相加即得;一般区域可切成标准块,内部公共面上的积分正反抵消。下面只验证一个特例,用以确定外侧的符号约定。取 , 为球面 的外侧。左端为 ;球面上的外法向量为 ,故 ,于是左端 。右端为 。两端相等。如果误取内侧,左端就变成 ,恰好相差一个负号。举例说明
例(2021 数一,填空) 设 为空间区域 表面的外侧,求 。解. 先作三查: 是椭圆柱体的整个表面,封闭 ✓、取外侧 ✓、 都是多项式,偏导数处处连续 ✓,故可直接用高斯公式,得 \text{关于} \text{面与} \text{面都对称,而} \text{为奇函数,其三重积分为} ,因此只剩下其中底面椭圆 即 ,半轴 ,面积 ,高为 。
必须注意:其一,散度中的 利用对称性化为零,这是命题的常见安排,不必直接计算;其二,椭圆的面积为 ,不要把 误看成半径为 的圆而得 ,那样最终答案就会错成 。本题的正确答案是 。