高等数学笔记-苏德矿-第十章-曲线积分和曲面积分-第二节-第一类曲面积分

高等数学笔记-苏德矿

第十章 曲线积分和曲面积分

第二节 第一类曲面积分

第一类曲面积分也称数量值函数的曲面积分。

一、第一类曲线积分的概念

一点的面密度问题。

01 解决问题前的基本概念

02 由问题引入积分的定义

问题：设 $\Sigma$ 是有界曲面，$\mu =f(x,y,z)$ 是密度函数且连续，求曲面 $\Sigma$ 的质量 $M$ 。

分析：经典的“分匀和精”
$$\begin{array}{rl}& \forall \left({\xi }_i,{\eta }_i,{\varsigma }_i\right)\in \Delta {\Sigma }_i,\Delta M_i\approx f\left({\xi }_i,{\eta }_i,{\varsigma }_i\right)\Delta S_i,i=1,2,\cdots \\ & M=\sum _{i=1}^n\Delta M_i\approx \sum _{i=1}^{n}f\left({\xi }_i,{\eta }_i,{\varsigma }_i\right)\Delta S_i,\underset{\lambda \to 0}{\lim }\sum _{i=1}^n\left({\xi }_i,{\eta }_i,{\varsigma }_i\right)\Delta S_i=M\end{array}$$

03 抽离物理背景的数学准备

去掉物理背景，密度 $\mu =f(x,y,z)⩾0$ 舍去，密度 $\mu =f(x,y,z)$ 连续舍去。

满足可积的必要条件：有界函数 $f(f(x,y,z))$ 。

04 给出第一类曲面积分的定义

设 $f(x,y,z)$ 在有界曲面 $\Sigma$ 上有定义且有界，若 $\underset{\lambda \to 0}{\lim }\sum _{i=1}^n\left({\xi }_i,{\eta }_i,{\varsigma }_i\right)\Delta S_i$ 极限存在且唯一，

该极限值称为 $f(x,y,z)$ 在有界曲面 $\Sigma$ 上的第一类曲面积分，又称数量值函数曲面积分。

称 $f(x,y,z)$ 在 $\Sigma$ 上可积，记作 ${\iint }_{\Sigma }f(x,y,z)dS$ 。即：
$$\underset{\Sigma }{\iint }f(x,y,z)dS=\underset{\lambda \to 0}{\lim }\sum _{i=1}^n\left({\xi }_i,{\eta }_i,{\varsigma }_i\right)\Delta S_i$$
否则称 $f(x,y,z)$ 在 $\Sigma$ 上不可积。

极限存在且唯一的含义：和式极限值与曲面的分割方法和曲面上取点方式均无关。

二、第一类曲面积分的定理和性质

01 第一类曲面积分的物理意义

若 $\underset{\Sigma }{\iint }f(x,y,z)dS$ 存在，且 $f(x,y,z)⩾0$，则 $\underset{\Sigma }{\iint }f(x,y,z)dS$ 表示密度 $\mu =f(x,y,z)$ 曲面块 $\Sigma$ 的质量 $M$ 。

特别地，$f(x,y,z)\equiv 1$，则 $\underset{\Sigma }{\iint }1dS=\underset{\Sigma }{\iint }dS=S$ 。

02 第一类曲面积分的性质

第一类曲面积分具有二重积分的所有性质。

或者说，二重积分是特殊的第一类曲面积分。

03 可积的充分条件

若 $f(x,y,z)$ 在**有界分片光滑**曲面 $\Sigma$ 上连续，则 $f(x,y,z)$ 在 $\Sigma$ 上可积。反之不成立。

分片：把这个曲面分成几块。

光滑：函数对所有变量的偏导数连续且不同时为 $0$ 。

实际意义：曲面上的切平面在曲面上连续地变动；曲面上切平面的法向量构成的向量函数连续。

三、第一类曲面积分的计算

设 $Q=\underset{\Sigma }{\iint }f(x,y,z)dS\iff dQ=f(x,y,z)dS,(x,y,z)\in \Sigma$

设 $\Sigma :z=z(x,y),(x,y)\in \sigma$ ，
$$\begin{array}{rl}& Q=\underset{\Sigma }{\iint }f(x,y,z)dS,\Sigma :z=z(x,y)光滑曲面，则有:\\ & Q=\underset{\Sigma }{\iint }f(x,y,z)dS=\underset{\sigma }{\iint }f(x,y,z(x,y))\cdot \sqrt{1+(\frac{\partial z}{\partial x}{)}^2+(\frac{\partial z}{\partial y}{)}^2}\cdot d\sigma \end{array}$$

对于 $x=x(y,z)$ 与 $y=y(z,x)$ 的曲面，经坐标轮换可得到类似结论：
$$\begin{array}{rl}& Q_x=\underset{\Sigma }{\iint }f(x(y,z),y,z)dS,\Sigma :x=x(y,z)光滑曲面，则有:\\ & Q_x=\underset{\Sigma }{\iint }f(x(y,z),y,z)dS=\underset{\sigma }{\iint }f(x(y,z),y,z)\cdot \sqrt{1+(\frac{\partial x}{\partial y}{)}^2+(\frac{\partial x}{\partial z}{)}^2}\cdot d\sigma \\ & Q_y=\underset{\Sigma }{\iint }f(x,y(z,x),z)dS,\Sigma :y=y(z,x)光滑曲面，则有:\\ & Q_y=\underset{\Sigma }{\iint }f(x,y(z,x),z)dS=\underset{\sigma }{\iint }f(x,y(z,x),z)\cdot \sqrt{1+(\frac{\partial y}{\partial z}{)}^2+(\frac{\partial y}{\partial x}{)}^2}\cdot d\sigma \end{array}$$