散度

title: 定义.
content: 定义向量场的散度,首先要引入通量的概念。给定一个三维空间中的向量场formula_1以及一个简单有向曲面formula_2,则向量场formula_1通过曲面formula_4的通量就是曲面每一点formula_5上的场向量formula_6在曲面法向方向上的分量的积分: 其中formula_8是积分的面积元,n是Σ在点(x,y,z)处的单位法向量。如果曲面是封闭的,例如球面,那么通常约定法向量是从里朝外的,所以这时候的通量是描述曲面上的场向量朝外的程度。  通量描述了一固定区域(也就是 formula_4 )上向量场的流通倾向,散度在某点的值则是这个性质的在这点的局部描述,也就是说,从散度在一点的值,我们可以看出向量场在这点附近到底倾向发散还是收敛。要算某一点 formula_5 的散度,先求包含这一点的某一个封闭曲面 formula_4 的通量 formula_12 除以封闭曲面 formula_4 围起来的微小体元 formula_14 的体积 (这个体积用 formula_15 表示) 得到的比值,矢量场 formula_16 在点 formula_5 的散度即是这个比值在体积微元 formula_18 趋向于点 formula_5 时的极限。用数学公式表示即: 如果用Nabla算子 formula_21 表示的话,向量场 formula_1 的散度记作:formula_23
title: 物理意义.
content: 从定义中可以看出,散度是向量场的一种强度性质,就如同密度、浓度、温度一样,它对应的广延性质是一个封闭区域表面的通量,所以说散度是通量的体密度。下面从散度的极限表达式来看它的物理意义。  设formula_24为场域V中的一点,现作包围formula_24点的任一闭合曲面formula_26,formula_27是S面所围的区域。那么:formula_28  利用中值定理得formula_29  式中 formula_5 为 formula_31中的某一点,formula_32 为 formula_31 的体积。带入(1)中后得formula_34  令formula_27向点P收缩,则 formula_5 点就趋向于P点,所以在P点的散度可由下列极限表示formula_37  若在上式中令"formula_38",那么  formula_39  由此可见,散度是通量formula_40对曲面所围区域体积的变化率,也可看成通量在V中的分布密度。所以formula_41也称为通量密度。  物理上,散度的意义是场的有源性。某一点或某个区域的散度大于零,表示向量场在这一点或这一区域有新的通量产生,小于零则表示向量场在这一点或区域有通量湮灭。这样的点或区域分别称为向量场的正源(发散源)和负源(洞)。举例来说,假设将太空中各个点的热辐射强度向量看做一个向量场,那么某个热辐射源(比如太阳)周边的热辐射强度向量都指向外,说明太阳是不断产生新的热辐射的源头,其散度大于零。  散度等于零的区域称为无源场或管形场。流体力学中,散度为零的流体称为不可压缩流体,也就是说此流体中不会有一部分凭空消失或突然产生,每个微小时间间隔中流入一个微小体元的流体总量都等于在此时间间隔内流出此体元的流体总量。
title: 分量表示.
content: 在不同的坐标系下,向量场的散度有不同的表达方式。
title: 直角坐标系.
content: 在三维直角坐标系 formula_42 中,设向量场 formula_1 的表示为:  其中的 formula_45 分别是 formula_5轴、formula_47轴、formula_48轴方向上的单位向量,场的分量 formula_49 具有一阶连续偏导数,那么向量场 formula_16 的散度就是:
title: 圆柱坐标系.
content: 圆柱坐标系中,假设物体的位置为formula_52,定义其径向单位矢量、横向单位矢量和纵向单位矢量为formula_53,那么向量场formula_54可以表示成: 向量场A的散度就是:
title: 球坐标系.
content: 球坐标系中,假设物体的位置用球坐标表示为formula_57,定义它的基矢:formula_58,则向量场A可以表示成: 向量场A的散度就是:
title: 性质.
content: 以下的性质都可以从常见的求导法则推出。最重要的是,散度是一个线性算子,也就是说:  其中F和G是向量场,"a"和"b"是实数。  设formula_62是标量函数,F是向量场,则它们的乘积的散度为:  设有两个向量场F和G,则它们的向量积的散度为:  其中formula_67是旋度。  对一个标量场求梯度后再求散度,等于拉普拉斯算子作用在其上:
title: 高斯散度定理.
content: 既然向量场某一处的散度是向量场在该处附近通量的体密度,那么对某一个体积内的散度进行积分,就应该得到这个体积内的总通量。事实上可以证明这个推论是正确的,称为高斯散度定理。高斯定理说明,如果在体积V内的向量场A拥有散度,那么散度的体积分等于向量场在V的表面S的面积分:
title: 历史.
content: 作为向量分析的基础概念,散度同样源自对四元数上的微积分研究。哈密顿在介绍四元数的运算时,将一个四元数formula_73中的formula_74称为“标量部分”(scalar part),将formula_75称为“向量部分”(vector part)。他引入了四元数的偏微分算子formula_76(即formula_77算子)后,计算formula_77对一个四元数之向量部分formula_79的效果: 麦克斯韦在1873年的论文中将其中的“标量部分”:formula_82称为“聚集度”(Convergence),而将“向量部分”:formula_83称为“旋度”(Curl)或“变度”(Version)。亥维赛在1883年发表的论文:《电学与磁学中的若干关系》("Some Electrostatic and Magnetic Relations")中讨论了静电场中电场力的聚集度。他计算出在电荷体密度为formula_84的一点上,有:formula_85其中formula_86是电场力。他将这个关系解释为电荷的存在是电场力汇聚的相反。如果将聚集度解释为电场力进入一个微小体积的总和,那么加上一个负号之后,就可以描述一个微小体积中散发出的电场力总和,他将其称为“散度”(divergence)。他认为有必要将formula_77算子对一个四元数formula_88的作用效果分开,并将formula_89算子对formula_90的向量部分作用的结果分成散度部分formula_91和旋度部分formula_92 。

Summary: 散度或称发散度,是向量分析中的一个向量算子,将向量空间上的一个向量场(矢量场)对应到一个标量场上。散度描述的是向量场里一个点是汇聚点还是发源点,形象地说,就是这包含这一点的一个微小体元中的向量是“向外”居多还是“向内”居多。

Divergence: In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of the outward flux of a vector field from an infinitesimal volume around a given point.