贡献者: addis
我们把散度和旋度都为零的场称为无散无旋场或调和场。注意后者并不是一个很常用的数学名词,笔者只在个别中文教材中见过。如果这只在一个空间的一定区域内成立,那么就说它在这个区域内是调和场。
由于调和场旋度为零,线积分与路径无关,必定可以定义势函数 $u( \boldsymbol{\mathbf{r}} )$(包含一个任意常数项),而调和场就是其梯度
调和场在电磁学中经常出现,若在空间选取中一个不含电荷的区域,那么该区域外的静止电荷以及恒定电流在该区域中产生的电场和磁场都是调和场——由麦克斯韦方程组可知它们的散度和旋度在该区域都为零。
证明:使用定义,注意偏微分的顺序可以任意改变,证毕。注意各个分量都是调和函数的矢量场未必是调和场,反例:$x \hat{\boldsymbol{\mathbf{x}}} + y \hat{\boldsymbol{\mathbf{y}}} $ 的分量都是调和函数,但散度不为零。
证明:有界调和场对调和场的各个分量也是有界的,根据定理 1 它们都是调和函数,分别使用刘维尔定理(定理 1 )得每个分量都是常数,所以矢量场也是常矢量场。证毕。
与调和函数类似,(非零)调和场的一个显著特点是其在无穷远处不为零(推论 2 ),由于无散无旋,它的 “场线”(例如电场线)没有起点也没有终点且不闭合,而是从无穷远来,到无穷远去。我们可以把它想象为某种不可压缩流体的速度场或流密度场。
证明:令调和场为 $ \boldsymbol{\mathbf{f}} = \boldsymbol{\nabla}\boldsymbol{\cdot} u$,$u$ 是一个调和函数。易证 $ \left\lvert \boldsymbol{\mathbf{f}} \right\rvert ^2$ 也是一个调和函数。对其使用刘维尔定理(定理 1 )即可,证毕。
证明:可以先选择一个半径为 $r$ 的圆/球作为定理 2 的区域,然后令半径区域无穷即可。