华南理工大学微积分下课件19.docVIP

PAGE PAGE 4 第六节 高斯公式和斯托克斯公式 一、高斯公式 定理1：设空间闭区域 SKIPIF 1 0 是由分片光滑的闭曲面 SKIPIF 1 0 所围成，函数 SKIPIF 1 0 在 SKIPIF 1 0 上具有一阶连续偏导数，则有 SKIPIF 1 0 或 SKIPIF 1 0 这里 SKIPIF 1 0 是 SKIPIF 1 0 的整个边界曲面的外侧， SKIPIF 1 0 是 SKIPIF 1 0 上 点 SKIPIF 1 0 出的法向量的方向余弦。 证明：我们只需证明三个等式 SKIPIF 1 0 ， SKIPIF 1 0 ， SKIPIF 1 0 证明等式最重要的是处理好积分区域！ 证明 SKIPIF 1 0 （ HYPERLINK 05gs099.ppt 如图1） 例1：计算 SKIPIF 1 0 ，其中 SKIPIF 1 0 为椭球面 SKIPIF 1 0 的内侧。 解：利用高斯公式 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 例2:计算曲面积分 SKIPIF 1 0 ，其中积分曲面 SKIPIF 1 0 为 SKIPIF 1 0 ，并取下侧。（00华） 解：做辅助曲面 SKIPIF 1 0 并取上侧，利用高斯公式 SKIPIF 1 0 SKIPIF 1 0 点评：高斯公式可以用来简化第二类曲面积分的计算，首先 利用高斯公式时一定要注意积分曲面必须是封闭的，否则要 做辅助曲面，如例2；其次要注意积分曲面所选定的侧，如 例1中的负号就是因为积分曲面选定的内侧； 例3：设函数 SKIPIF 1 0 ， SKIPIF 1 0 在闭区域 SKIPIF 1 0 具有一阶及二 阶连续的偏导数，证明： SKIPIF 1 0 其中 SKIPIF 1 0 为闭区域 SKIPIF 1 0 的整个边界曲面， SKIPIF 1 0 为函数 SKIPIF 1 0 沿 SKIPIF 1 0 的外法向量的方向导数，符号 SKIPIF 1 0 。 证明： SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 二、斯托克斯公式 定理2：设 SKIPIF 1 0 为分段光滑的空间有向闭曲线， SKIPIF 1 0 是以 SKIPIF 1 0 为边界 的分片光滑有向曲面， SKIPIF 1 0 的正向与 SKIPIF 1 0 的侧符合右手规则，函 数 SKIPIF 1 0 在包含曲面 SKIPIF 1 0 在内的一个空间区域内具有一阶连续偏导数， 则有 SKIPIF 1 0 或 SKIPIF 1 0 证明：我们分别证明以下三式（ HYPERLINK 05gs100.ppt 如图2） SKIPIF 1 0 ， SKIPIF 1 0 ， SKIPIF 1 0 。 设 SKIPIF 1 0 与平行 SKIPIF 1 0 轴的直线的交点不多于一点，即 SKIPIF 1 0 的方程可记 为 SKIPIF 1 0 。并取上侧 SKIPIF 1 0 因为 SKIPIF 1 0 ， SKIPIF 1 0 SKIPIF 1 0 在 SKIPIF 1 0 面上的投影为 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 （这步由格林公式得出，其中 SKIPIF 1 0 为 SKIPIF 1 0 的 边界） 如果 SKIP