向量叉乘公式_最美公式：你也能懂的麦克斯韦方程组（微分篇-下）| 众妙之门...

12 电场的散度

当我们把电场的散度写成▽·E这样的时候，我们会觉得：啊，好简洁！但是我们也知道▽算子的定义是这样的：

那么▽·E 就应该写成这样：

而我们知道电场 E 其实是一个矢量函数(不同点对应的电场的情况)，那我们还是可以把 E 分解成 x,y 两个分量的和，这两个分量后面跟一个x和y方向的单位向量就行了。那么，上面的式子就可以写成这样：

然后，因为矢量点乘是满足分配律的，所以我们可以把它们按照普通乘法一样展开成四项。因为 x 和 y 是垂直的单位向量，所以 x·y=y·x=0，x·x=y·y=1，然后剩下的就只有这两项了(这一块的推导逻辑跟“坐标系下的矢量点乘”那一节一样，觉得有点陌生的话可以再返回去看看那一部分)：

这就是电场 E 的散度的最终表达式，它的意思很明显：我们求电场 E 的散度就是把矢量函数 E 分解成x和y方向上的两个函数，然后分别对它们求偏导，最后再把结果加起来就行了。

为了让大家对这个有个更直观的概念，我们来看两个小例子：

例1：求函数 y=2x+1 的导数。

这个函数的图像是一条直线(不信的可以自己去找一些x的值，代入进去算算y的值，然后把这些点画在图上)，它的斜率是2，也就是说导数是2。也就是说，对于一次函数(最多只有x，没有x的平方、立方等)，它的导数就是x前面的系数(2x前面的2)，而后面的常数(1)对导数没有任何影响。

例2：求电场 E=2x+yy 的散度。

这虽然是一个非常简单的求电场散度的例子，但是却包含了我们求偏导，求散度的基本思想。通过这种方式，我们可以很轻松的就把电场E的散度▽·E求出来了。

补了这么多的数学和推导，我们现在有了一个定义良好、计算方便的散度▽·表达式了，但是，你还记得我们在开始讲到的散度的定义么？我们最开始是怎样引入散度的呢？

我们是从麦克斯韦方程组的积分形式引入散度的。高斯电场定律说通过一个闭合曲面的电通量跟这个闭合曲面包含的电荷量成正比，而且这个曲面可以是任意形状。然后我们为了从宏观进入微观，就让这个曲面不停地缩小再缩小，当它缩小到无穷小，缩小到只包含一个点的时候，这时候我们就说通过这个无穷小曲面的通量和体积的比就叫散度(用 div 表示)。

也就是说，我们最开始从无穷小曲面的通量定义来的散度和我们上面通过偏导数定义来的散度▽·指的是同一个东西。即：

13 为何这两种散度是等价的？

很多人可能觉得难以理解，这两个东西的表达形式和来源都完全不一样，它们怎么会是同一个东西呢？但是它们确实是同一个东西，那我们为什么要弄两套东西出来呢？在最开始我也说了，通过无穷小曲面的通量定义的散度很容易理解，跟麦克斯韦方程组的积分形式的通量也有非常大的联系，但是这种定义不好计算(上面的例2，你用这种方式去求它的散度试试？)，所以我们需要找一种能方便计算、实际可用的方式，这样才出现了▽·形式的散度。

至于为什么这两种形式是等价的，我给大家提供一个简单的思路。因为这毕竟是面向大众的科普性质的文章，具体的证明过程我就不细说了。真正感兴趣的朋友可以顺着这个思路去完成自己的证明，或者来我的社群里讨论。

这个证明一时半会没看懂也没关系，感兴趣的可以后面慢慢去琢磨。我只是想通过这种方式让大家明白&#