场论的基本内容与其在电磁学中的应用

引言

在数分课上讲到Green、Gauss、Stokes公式这一节时，对这些公式没能很快的理解，很大程度上是因为对梯度、散度、旋度的概念没有直观感受，同时对算子$\nabla$的含义经常产生混淆。恰好课上老师提到了费恩曼对这些公式有过一个直观的理解，于是去读了费恩曼的书，并对场论产生了兴趣，所以选了这个题目来作为小论文的主题。 本文试图对场论中涉及到的主要公式做一个梳理，并给出了一些自己的直观理解。

场论的基本公式

梯度

我们导出过标量函数$f$的全微分和偏导数的关系：

$$df(x,y,z)=\dfrac{\partial f}{\partial x}dx+\dfrac{\partial f}{\partial y}dy+\dfrac{\partial f}{\partial z}dz$$

它表示函数增量的线性部分可以表示为各个坐标方向的偏导数与自变量变化量的乘积。如果把这个乘积的和看作向量的点乘形式，那么可以把全微分看作向量$\left(\dfrac{\partial f}{\partial x},\dfrac{\partial f}{\partial y},\dfrac{\partial f}{\partial z}\right)$与位置矢量的微分$\left(dx,dy,dz\right)$的点乘。前面这个向量可以看作是一个一般的“向量”$\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right)$作用在了函数$f$上。我们就把这个“向量”用记号$\nabla$表示，它是一个算子，作用在标量函数上就得到了一个由偏导数构成的向量。于是我们可以写出

$$df=\nabla f \cdot d\vec r$$

其中$\nabla f$就称为$f$的梯度。

梯度的几何含义是：梯度的方向是函数“增长最快”的方向。这里的增长最快是指方向导数最大。事实上，我们可以给出一个方向导数和梯度的关系。$f$在$(x_0,y_0,z_0)$处沿方向$\vec n=(\cos\alpha,\cos\beta,\cos\gamma)$的方向导数$\dfrac{\partial f}{\partial \vec n}$（其中$n$是单位向量）根据定义为

$$\dfrac{\partial f}{\partial \vec n}=\lim\limits_{t \to 0^+}\dfrac{f(\vec r_0+t\vec n)-f(\vec r_0)}{t}$$

当$t \to 0^+$时，函数的增量部分可以用全微分代替，因此$f(\vec r_0+t\vec n)-f(\vec r_0) \to \dfrac{\partial f}{\partial x} \cdot (t\cos \alpha)+\dfrac{\partial f}{\partial y} \cdot (t\cos \beta)+\dfrac{\partial f}{\partial z} \cdot (t\cos \gamma)$。因此根据我们的梯度记号直接得到

$$\dfrac{\partial f}{\partial \vec n} = \nabla f \cdot \vec n$$

即方向导数等于函数的梯度向量与指示方向的单位法向量的点乘。而根据点乘的几何意义，$\nabla f \cdot \vec n \leq \|\nabla f\| \cdot \|\vec n\|=\|\nabla f\|$，在$\nabla f$与$\vec n$通向时取到等号。即方向导数当且仅当方向向量与梯度向量同向时取到最大值。

标量函数的梯度满足公式

$$\psi(\vec r_2)-\psi(\vec r_1)=\int\limits_{\Gamma} \nabla \psi \cdot d\vec s$$

称为“梯度定理”。其中$\Gamma$是任意一条以$\vec r_1$为起点，$\vec r_2$为终点的光滑曲线。把右侧写成Riemann和的形式$\sum\limits \nabla \psi \cdot \vec \tau \ ds$，而根据方向导数的定义$\nabla \psi \cdot \vec \tau$就是$\psi$沿$\tau$方向的方向导数。因此$\nabla \psi \cdot \vec\tau \ ds$就表示函数$\psi$从弧微元$ds$的起点到终点过程中发生的增量，把它累加自然就是$\psi$在整条曲线上起点到终点的增量。

散度

对于空间中的区域$\Omega$，成立

$$\displaystyle\iint\limits_{\partial \Omega}\vec F \cdot \vec{n}dS=\iiint\limits_{\Omega}\nabla \cdot \vec FdV$$

也写作$\displaystyle\iint\limits_{\partial \Omega}Pdy \and dz+Qdz \and dz + R dx \and dy=\iiint\limits_{\Omega}\left(\dfrac{\partial P}{\partial x}+\dfrac{\partial Q}{\partial y}+\dfrac{\partial R}{\partial z}\right)dxdydz$。也就是说，对于空间中的向量场，如果我们在给定区域的边界上对向量做一圈积分，它一定等于$\left(\dfrac{\partial P}{\partial x}+\dfrac{\partial Q}{\partial y}+\dfrac{\partial R}{\partial z}\right)$在整个区域上做积分。我们这样来理解：假如把区域划分成小长方体，每个矩形的左下角设为$(x,y,z)$，那么在边界上的积分为：$x$方向近似为$-P(x,y,z)\Delta y\Delta z +P(x+\Delta x,y,z)\Delta y\Delta z \approx \dfrac{\partial P}{\partial x}\Delta x \Delta y\Delta z$。其它方向同理。因此边界上的整个积分近似为$\left(\dfrac{\partial P}{\partial x}+\dfrac{\partial Q}{\partial y}+\dfrac{\partial R}{\partial z}\right)\Delta x\Delta y\Delta z$。把小立方体拼成给定区域时，重叠部分依然相互抵消了，只留下最外围的积分。

$\left(\dfrac{\partial P}{\partial x}+\dfrac{\partial Q}{\partial y}+\dfrac{\partial R}{\partial z}\right)$这一项可以写成$\nabla \cdot F$，这里的点乘是形式上的点乘。它被称为“散度”，因此Gauss公式也被称为“散度定理”。我们想知道散度的几何意义是什么：把Gauss公式的右侧用积分中值定理写成$|\Omega|(\nabla \cdot \vec F(P_0))$，那么Gauss定理可以写作$\dfrac{\displaystyle\iint\limits_{\partial \Omega}\vec F \cdot \vec{n}dS}{|\Omega|}=\nabla \cdot \vec F(P_0)$。如果我们保证$P_0$始终包在$\Omega$内部，并且不断缩小左侧的$\Omega$，那么这个过程的极限值就是右侧的散度，即$\lim\limits_{\Omega \to P_0}\dfrac{\displaystyle\iint\limits_{\partial \Omega}\vec F \cdot \vec{n}dS}{|\Omega|}=\nabla \cdot \vec F(P_0)$，而左侧反应的就是穿出包含$P$的一小圈曲面的通量，它反应的就是$P_0$点附近向量场的“发散情况”。如果$P$是“源点”，散度就为“正”，如果是“汇点”，散度就为“负”，如果既不是源点也不是汇点，散度就为0。

旋度

Stokes公式指出

$$\displaystyle\int\limits_{\partial \Sigma}\vec F \cdot \vec{\tau}ds=\iint\limits_{\Sigma}(\nabla \times \vec F)\cdot d\vec S$$

分量形式为$\displaystyle\int\limits_{\partial \Sigma}Pdx+Qdy+Rdz=\iint\limits_{\Sigma}\left(\dfrac{\partial R}{\partial y}-\dfrac{\partial Q}{\partial z}\right)dy\and dz+\left(\dfrac{\partial P}{\partial z}-\dfrac{\partial R}{\partial x}\right)dy\and dz+\left(\dfrac{\partial Q}{\partial x}-\dfrac{\partial P}{\partial y}\right)dy\and dz$。向量场在曲面边界上的积分等于$\nabla \times \vec F$在曲面上的通量。

Stokes公式其实是三维情形下的Green公式。Green公式指出，对于平面上的一个向量场，如果我们在给定区域的边界上对向量做一圈积分，它一定等于$\left(\dfrac{\partial Q}{\partial x}-\dfrac{\partial P}{\partial y}\right)$在整个区域上做积分。即$\displaystyle\int\limits_{\partial D}Pdx+Qdy=\iint\limits_{D}\left(\dfrac{\partial Q}{\partial x}-\dfrac{\partial P}{\partial y}\right)dxdy$。对于Green公式我们这样来理解：假如我们能把平面划分成微小的矩形，每个矩形的左下角设为$(x,y)$，那么向量在这个矩形的边界上做积分是容易计算的：$x$方向的积分是上下两条边上的积分，可以近似为$P(x,y)\Delta x - P(x,y+\Delta y)\Delta x \approx -\dfrac{\partial P}{\partial y}\Delta x \Delta y$。同样的，对于$y$方向也有$Q(x+\Delta x,y)\Delta y - Q(x,y)\Delta y \approx \dfrac{\partial Q}{\partial x}\Delta x \Delta y$。因此整个环路积分就近似为$\left(\dfrac{\partial Q}{\partial x}-\dfrac{\partial P}{\partial y}\right)\Delta x\Delta y$。现在当我们把所有微小矩形拼成给定的区域时，我们发现重叠部分的路径积分相互抵消，只留下最外围的路径的积分，这些积分凭借起来就是向量场在区域边界上的积分，因此$\sum \left(\dfrac{\partial Q}{\partial x}-\dfrac{\partial P}{\partial y}\right)\Delta x\Delta y$就等于边界上的积分$\displaystyle\int\limits_{\partial D}Pdx+Qdy$。

现在从三维角度来理解Green公式，它可以理解为向量场在某个平面上的分量绕平面边界的环路积分等于$(\nabla \times \vec F)$这个奇特的项在垂直平面方向上的分量在平面上积分。现在我们依然把曲面分成无数个小平面片，对于每个平面片，我们是否分解向量对环路积分是不会产生影响的，而奇特的项的积分相当于乘以小平面片的面积，这样就得到：向量场在小平面片边界上的环路积分等于$\nabla \times \vec F$垂直平面的分量乘以平面片面积。于是把所有小平面片累加，得到向量场在曲面边界上的环路积分等于$\nabla \times \vec F$在曲面上的通量。

其中$\nabla \times \vec F$称为“旋度”，用行列式可以写作$\begin{vmatrix}\vec i & \vec j & \vec k\\\partial_x & \partial_y & \partial_z\\P&Q&R\end{vmatrix}$。同样地，把Stokes公式的右侧用积分中值定理写成$|\Sigma|(\nabla \times \vec F(P_0))$，那么Stokes定理可以写作$\dfrac{\displaystyle\int\limits_{\partial \Sigma}\vec F \cdot \vec{\tau}ds}{|\Sigma|}=\nabla \times \vec F(P_0)$。保证$P_0$包在$\Sigma$内部不断缩小$\Sigma$，极限值就是右侧的旋度，即$\lim\limits_{D \to P_0}\dfrac{\displaystyle\iint\limits_{\partial \Sigma}\vec F \cdot \vec{\tau}ds}{|\Sigma|}=\nabla \times \vec F(P_0)$，左侧是绕$P_0$一小圈的线积分，它反应的就是$P_0$点附近向量场的“旋转情况”。如果向量场正好以某种方式绕$P_0$旋转，旋度就不为0。

向量场的微商

从梯度、散度、旋度的定义中可以看到，在某个空间的边界上对函数做积分都相应的等价为梯度、散度、旋度在整个空间上做积分。所以我们可以把梯度、散度和旋度理解为“向量场的某种微商”。根据我们的记号，这三种微商分别记为$\nabla f,\nabla \cdot \vec F,\nabla \times \vec F$。其中“梯度”必须作用在标量上，而“散度、旋度”必须作用在向量上。

梯度、散度、旋度分别是对向量场做了一阶的微商。那如果做二阶微商会得到哪些结果呢？在这个过程中，我们把$\nabla$记号当作向量一样根据向量的法则参与运算，称为“Hamilton算子”——其中梯度对应着向量的数乘， 散度就对应着向量的点乘，旋度就对应着向量的叉乘，那么二阶微商其实就是向量的“混合积”。但这只是我们在形式上产生的直观的理解，下面我们依次来推导：

梯度的旋度

我们可以证明

$$\nabla \times (\nabla f)=\vec 0$$

它“对应着”混合积中的运算法则$\vec v\times (c\vec v)=c(\vec v \times \vec v)=\vec 0$，因为两个相同的向量夹角为0因此叉积为$\vec 0$。我们根据旋度和梯度的定义来验证确实如此：

$$\begin{aligned} &\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \times \left(\dfrac{\partial f}{\partial x},\dfrac{\partial f}{\partial y},\dfrac{\partial f}{\partial z}\right)\\=&\left(\dfrac{\partial^2 f}{\partial y\partial z}-\dfrac{\partial^2 f}{\partial z\partial y},\dfrac{\partial^2 f}{\partial z\partial x}-\dfrac{\partial^2 f}{\partial x\partial z},\dfrac{\partial^2 f}{\partial x\partial y}-\dfrac{\partial^2 f}{\partial y\partial x}\right)\\=&(0,0,0) \end{aligned}$$

它指出由一个标量函数的梯度构成的向量场的旋度处处为0，简称梯度的旋度为$\vec 0$。有趣的是把这个命题反过来，一个旋度处处为0的场是否一定是某个标量函数的梯度呢？要证明这样一个标量函数存在，等价于证明任何环路的积分都为0，而这是显然的——根据Stokes公式，任何环路的积分就等于其旋度在以这个环路为边界的空间上的积分，而旋度始终为0，所以这个积分也始终为0，因此任何环路的积分都必须等于0，也即在空间任意两点沿不同路径的积分都是一样的，积分与路径无关，因此这个标量函数存在。这个标量函数就称为“势”。

旋度的散度

现在证明

$$\nabla \cdot (\nabla \times \vec{F})=0$$

它“对应着”混合积中的运算法则$\vec v\cdot (\vec v \times \vec w)=0$，因为$\vec v \times \vec w$是垂直于$\vec v$的。根据旋度和散度的定义来验证确实如此：

$$\begin{aligned} &\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \cdot \left(\left(\dfrac{\partial}{\partial x},\dfrac{\partial}{\partial y},\dfrac{\partial}{\partial z}\right)\times (F_x,F_y,F_z) \right)\\=&\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \cdot \left(\dfrac{\partial F_z}{\partial y}-\dfrac{\partial F_y}{\partial z},\dfrac{\partial F_x}{\partial z}-\dfrac{\partial F_z}{\partial x},\dfrac{\partial F_y}{\partial x}-\dfrac{\partial F_x}{\partial y}\right)\\=& \dfrac{\partial^2 F_z}{\partial x\partial y}-\dfrac{\partial^2 F_y}{\partial x\partial z}+\dfrac{\partial^2 F_x}{\partial y\partial z}-\dfrac{\partial^2 F_z}{\partial x\partial y}+\dfrac{\partial^2 F_y}{\partial x\partial z}-\dfrac{\partial^2 F_x}{\partial y\partial z}\\=&0 \end{aligned}$$

它告诉我们的是，一个向量函数的旋度构成的向量场的散度处处为0，简称旋度的散度为0。我们同样也尝试把这个命题反过来，一个散度处处为0的场是否一定是某个向量函数的旋度呢？答案是肯定的，但它的证明需要用到高级知识，这里就不证明了。

梯度的散度

当我们计算$\nabla \cdot (\nabla f)$时，我们发现它等价于$(\nabla \cdot \nabla)f$，也就是我们无需添加括号，而可以把它简记为$\nabla^2 f$。其中$\nabla^2=\dfrac{\partial^2}{\partial^2 x}+\dfrac{\partial^2}{\partial^2 y}+\dfrac{\partial^2}{\partial^2 z}$，称为Laplace算子。

$$\nabla \cdot(\nabla f)=\nabla^2 f$$

证明很容易：

$$\begin{aligned} &\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \cdot \left(\dfrac{\partial f}{\partial x},\dfrac{\partial f}{\partial y},\dfrac{\partial f}{\partial z}\right)=\dfrac{\partial^2}{\partial^2 x}+\dfrac{\partial^2}{\partial^2 y}+\dfrac{\partial^2}{\partial^2 z} \end{aligned}$$

它表示一个标量函数的梯度场的散度场等于直接由Laplace算子作用形成的标量场。

Laplace算子也可以作用在矢量上，$\nabla^2 \vec F = (\nabla^2 F_x,\nabla^2 F_y,\nabla^2 F_z)$。

旋度的旋度

$$\nabla \times (\nabla \times \vec F)=\nabla(\nabla \cdot \vec F)-\nabla ^2 \vec F$$

它对应于混合积中的“$\vec u \times (\vec v \times \vec w)=(\vec u \cdot \vec w)\vec v-(\vec u \cdot \vec v)\vec w$”。证明如下：

$$\begin{aligned} &\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \times \left(\left(\dfrac{\partial}{\partial x},\dfrac{\partial}{\partial y},\dfrac{\partial}{\partial z}\right)\times (F_x,F_y,F_z) \right)\\=&\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \times \left(\dfrac{\partial F_z}{\partial y}-\dfrac{\partial F_y}{\partial z},\dfrac{\partial F_x}{\partial z}-\dfrac{\partial F_z}{\partial x},\dfrac{\partial F_y}{\partial x}-\dfrac{\partial F_x}{\partial y}\right)\\=&\left(\dfrac{\partial }{\partial y}\left(\dfrac{\partial F_y}{\partial x}-\dfrac{\partial F_x}{\partial y}\right)-\dfrac{\partial }{\partial z}\left(\dfrac{\partial F_x}{\partial z}-\dfrac{\partial F_z}{\partial x}\right), \dfrac{\partial }{\partial z}\left(\dfrac{\partial F_z}{\partial y}-\dfrac{\partial F_y}{\partial z}\right)-\dfrac{\partial }{\partial x}\left(\dfrac{\partial F_y}{\partial x}-\dfrac{\partial F_x}{\partial y}\right), \dfrac{\partial }{\partial x}\left(\dfrac{\partial F_x}{\partial z}-\dfrac{\partial F_z}{\partial x}\right)-\dfrac{\partial }{\partial y}\left(\dfrac{\partial F_z}{\partial y}-\dfrac{\partial F_y}{\partial z}\right)\right)\\ =&\left(\dfrac{\partial}{\partial x}\left(\dfrac{\partial F_x}{\partial x}+\dfrac{\partial F_y}{\partial y}+\dfrac{\partial F_z}{\partial z}\right),\dfrac{\partial}{\partial y}\left(\dfrac{\partial F_x}{\partial x}+\dfrac{\partial F_y}{\partial y}+\dfrac{\partial F_z}{\partial z}\right),\dfrac{\partial}{\partial z}\left(\dfrac{\partial F_x}{\partial x}+\dfrac{\partial F_y}{\partial y}+\dfrac{\partial F_z}{\partial z}\right)\right)+\left(\left(\dfrac{\partial^2}{\partial^2 x}+\dfrac{\partial^2}{\partial^2 y}+\dfrac{\partial^2}{\partial^2 z}\right)F_x,\left(\dfrac{\partial^2}{\partial^2 x}+\dfrac{\partial^2}{\partial^2 y}+\dfrac{\partial^2}{\partial^2 z}\right)F_y,\left(\dfrac{\partial^2}{\partial^2 x}+\dfrac{\partial^2}{\partial^2 y}+\dfrac{\partial^2}{\partial^2 z}\right)F_z\right)\\ =&\nabla(\nabla \cdot \vec F)-\nabla ^2 \vec F \end{aligned}$$

静电学

静电学包括两个基本方程

$$\nabla \cdot \vec E = \dfrac{\rho}{\epsilon_0}$$

$$\nabla \times \vec E=0$$

可见，静电学的基本方程是通过散度和旋度来描述的。这是把“电场”这一概念从场论的角度进行描述。下面我们证明，这种描述方式与高中学习的“库仑定律”是等价的。

库仑定律指出，真空中两个静止的点电荷$q_1,q_2$之间存在库仑力（方便起见，我们只讨论同种电荷的情形，异种电荷的情形是完全相同的），其方向沿点电荷连线方向，大小为$\vec F = \dfrac{kq_1q_2}{4\pi \epsilon_0}$。由此写出点电荷固定在原点处时，产生的电场强度在空间中以向量场的形式表现为

$$\vec E=\dfrac{q}{4\pi \epsilon_0 \|\vec r\|^3}\vec r=\dfrac{q}{4\pi \epsilon_0 \|\vec r\|^3}\left(x,y,z\right)$$

那么容易验证它的旋度为0：

$$\begin{aligned} &\nabla \times \vec E\\ =&\dfrac{q}{4\pi \epsilon_0}\left(\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \times (\dfrac{x}{(x^2+y^2+z^2)^\frac{3}{2}},\dfrac{y}{(x^2+y^2+z^2)^\frac{3}{2}},\dfrac{z}{(x^2+y^2+z^2)^\frac{3}{2}})\right)\\ =&\dfrac{q}{4\pi \epsilon_0}\left(\dfrac{-3yz+3zy}{(x^2+y^2+z^2)^3},\dfrac{-3xz+3zx}{(x^2+y^2+z^2)^3},\dfrac{-3xy+3yx}{(x^2+y^2+z^2)^3}\right)\\ =&(0,0,0) \end{aligned}$$

而它的散度需要分是否为原点讨论，如果不是原点，那么

$$\begin{aligned} &\nabla \cdot \vec E\\ =&\dfrac{q}{4\pi \epsilon_0}\left(\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \cdot (\dfrac{x}{(x^2+y^2+z^2)^\frac{3}{2}},\dfrac{y}{(x^2+y^2+z^2)^\frac{3}{2}},\dfrac{z}{(x^2+y^2+z^2)^\frac{3}{2}})\right)\\ =&\dfrac{3q}{4\pi \epsilon_0}\left(\dfrac{3(x^2+y^2+z^2)^\frac{3}{2}-3(x^2+y^2+z^3)(x^2+y^2+z^2)^\frac{1}{2}}{(x^2+y^2+z^2)^3}\right)\\ =&0 \end{aligned}$$

而原点处的散度可以通过Gauss公式求得：选取任意一个包含原点的封闭曲面$\Omega$，并以原点为球心选取一个半径为$r$的球体，那么根据Gauss公式得到

$$\displaystyle\iint\limits_{\partial D}\vec E \cdot \vec{n}dS=\iiint\limits_{D}\nabla \cdot \vec EdV=0$$

而边界恰好分为两部分，所以有

$$\displaystyle\iint\limits_{\partial \Omega}\vec E \cdot \vec{n}dS=\displaystyle\iint\limits_{\partial B_r(0)}\vec E \cdot \vec{n}dS$$

代入$\vec E \cdot \vec n = \dfrac{q}{4\pi\epsilon_0r^2}$得到$RHS=4\pi r^2 \cdot \dfrac{q}{4\pi \epsilon_0r^2}$就得到$\displaystyle\iint\limits_{\partial \Omega}\vec E \cdot \vec{n}dS=\dfrac{q}{\epsilon_0}$。这就是静电学中的Gauss定理，它指出某闭合曲面的电通量等于曲面内包裹的电荷总量除以$\epsilon_0$。

那么根据散度的几何意义$\lim\limits_{\Omega \to P_0}\dfrac{\displaystyle\iint\limits_{\partial \Omega}\vec F \cdot \vec{n}dS}{|\Omega|}=\nabla \cdot \vec F(P_0)$得到原点处的散度$\nabla \cdot \vec E=\lim\limits_{r \to 0}\dfrac{q}{\epsilon_0} \cdot \dfrac{1}{|V|}=\dfrac{\rho}{\epsilon_0}$。

这样我们就验证了库仑定律能够推出这两条性质。下面由这两条性质推库仑定律的过程是类似的，这里不再赘述。

正是因为静电场的旋度恒为0，因此这个矢量场一定存在标量势。这就是我们通常所说的电势。电势的梯度就是电场强度。

静磁学

静磁学的基本方程为

$$\nabla \cdot \vec B = 0$$

$$\nabla \times \vec B=\dfrac{\vec j}{\epsilon_0c^2}$$

其中，$(23)$告诉我们磁场的散度处处为0，这意味着磁感线并没有某个源点或某个汇点——磁场不像电荷那样存在某个正电荷或负电荷，磁单极子是不存在的。$(24)$告诉我们磁感应强度沿封闭曲线的环量正比于通过该曲面的电流。因为根据$(24)$，假设有一根无限长的直导线电流为$I$，那么根据Stokes定理$\displaystyle\int\limits_{\Gamma} \vec B \cdot d\vec s=\iint\limits_{D} (\nabla \times \vec B)\cdot \vec n dS$。将磁场的旋度代入，得$\displaystyle\int\limits_{\Gamma} \vec B \cdot d\vec s\propto\iint \limits_D \vec j \cdot d\vec S$。

我们也可以由毕奥-萨伐尔定律验证这一点。设无限长的通电直导线位于$z$轴，电流恒为$I$，指向正方向。那么根据毕奥-萨伐尔定律$xOy$平面上位置$\vec r$处的磁感应强度大小为$\dfrac{\mu_0I}{2\pi \|\vec r\|}$，方向垂直于$\vec r$与导线。那么写作分量形式为$\vec B=\dfrac{\mu_0I}{2\pi}(\dfrac{x}{\|\vec r\|^2},\dfrac{y}{\|\vec r\|^2},0)$。于是可以求出$\vec B$的散度

$$\begin{aligned} &\nabla \cdot \vec B\\ =& \dfrac{\mu_0I}{2\pi}\left(\dfrac{\partial}{\partial x}\left(\dfrac{x}{x^2+y^2}\right)+\dfrac{\partial}{\partial y}\left(\dfrac{y}{x^2+y^2}\right)\right)\\ =&\dfrac{\mu_0I}{2\pi}\left(\dfrac{y^2-x^2+x^2-y^2}{x^2+y^2}\right)\\ =&0 \end{aligned}$$

不是原点时：

$$\begin{aligned} &\nabla \times \vec B\\ =&\dfrac{\mu_0I}{2\pi}\left(\left(\dfrac{\partial }{\partial x},\dfrac{\partial }{\partial y},\dfrac{\partial }{\partial z}\right) \times (\dfrac{x}{x^2+y^2},\dfrac{y}{x^2+y^2},0)\right)\\ =&(0,0,0) \end{aligned}$$

而对于原点处的旋度，我们采取相同的处理方法，任取一条过原点的环路，再取原点周围半径为$r$的环路， 那么根据Stokes公式和旋度的几何意义，得到

$$\displaystyle\int\limits_{\partial B_r(0)} \vec B \cdot d\vec s=\int\limits_{\Gamma}\vec B \cdot d\vec s$$

因此$\lim\limits_{D \to P_0}\dfrac{\displaystyle\iint\limits_{\partial \Sigma}\vec B \cdot d\vec s}{|\Sigma|}=\nabla \times \vec B(P_0)\propto \vec j$

总结

场的微分有三种形式，分别对应梯度、散度和旋度。这三种形式都有相应的“牛顿-莱布尼兹公式”形式的公式，对应梯度定理、散度定理、旋度定理。当我们用这三种方法连续做两次微分的时候，我们会得到一些有趣的结论，这些结论在形式上和向量点积叉积的混合运算是一样的，因为散度就对应着算子的点积，旋度就对应着算子的叉积。最后我们看到了电磁学的基本定理就是通过场的微分这种形式来给出的，我们通过例子对这些定理有了一个基本的了解。

参考资料

[1] R. 费恩曼，费恩曼物理学讲义

[2] 陈纪修，数学分析

[3] 卓里奇，数学分析