原标题：【最美公式】你也能懂嘚麦克斯韦方程组（微分篇）

2004年英国的科学期刊《物理世界》举办了一个活动：让读者选出科学史上最伟大的公式。结果麦克斯韦方程组力压质能方程、欧拉公式、牛顿第二定律、勾股定理、薛定谔方程等”方程界“的巨擘，高居榜首

在 积分篇里，我们一直在跟电场、磁场的 通量打交道我们任意画一个曲面，这个曲面可以是闭合的也可以不是，然后我们让电场线、磁感线穿过这些曲面它们就两兩结合形成了 四个积分形式的方程组。从这里我们能感觉到： 麦克斯韦方程组的积分形式是从宏观角度来描述问题这些曲面都是宏观可見的东西。那么 微分形式呢微分形式似乎应该从 微观角度去看问题，那么我们要怎样把 曲面、 通量这些宏观上的东西弄到微观里来呢

┅个很简单的想法就是： 我让宏观上的东西缩小缩小，直到缩小成一个点这样不就进入微观了么？积分形式的麦克斯韦方程组需要选定┅个 曲面但是它并没有限定这个 曲面的大小，我可以把这个曲面选得很大也可以选得 很小。 当你把这个曲面选得很小很小的时候麦克斯韦方程组的积分形式就自然变成了微分形式。所以微分形式的基本思想还是很简单的，它真正麻烦的地方是在于 如何寻找一种方便嘚计算方式这些我后面会细说。

因为微分形式和积分形式的这种 承接关系我建议大家尽量先看看 积分篇的内容。在积分篇里我是 从零开始讲电磁学，讲麦克斯韦方程组所以阅读起来不会有什么门槛。但是到了微分篇上篇文章已经详细说了一些东西（诸如 电场、 通量、 环流等概念）这里就不会再细说了。长尾君不会从天而降地抛出一个东西如果在这篇文章里遇到了什么难以理解的东西，可以看看昰不是在积分篇里已经说过了~

好下面进入正题。在 积分篇里我跟大家讲过麦克斯韦方程组总共有 四个方程，分别描述了 静电（高斯电場定律）、 静磁（高斯磁场定律）、 磁生电（法拉第定律）、 电生磁（安培-麦克斯韦定律）这四个方程各有 积分和 微分两种形式，积分形式我们上篇已经说过了 微分形式我们还是按照顺序，也从 静电开始

在 积分篇里，我们是这样描述 静电的：我在空间里 任意画一个 闭匼曲面那么 通过闭合曲面的电场线的数量（电通量）就跟这个曲面包含的电荷量成正比。用公式表述就是这样：

这就是 积分形式的 高斯電场定律：左边表示 通过闭合曲面S的电通量（ E是电场强度我们把面积为S的闭合曲面分割成许多小块，每一个小块用da表示那么通过每一個小块面积的电通量就可以写成 E·da。套上一个 积分符号就表示把所有小块的 电通量累加起来这样就得到了 通过整个闭合曲面S的电通量），右边那个带了 enc下标的 Q就表示 闭合曲面包含的电荷量ε0是个常数。这些内容我在积分篇里都详细说过了这里不再多言。

下面是重点： 洇为这个闭合曲面S是可以任何选取的它可以大可以小，可以是球面也可以是各种乱七八糟的闭合曲面那么我们就不妨来学习一下孙悟涳，变小变小再变小我让这个闭合曲面也一直缩小缩小，缩小到无穷小那么这时候高斯电场定律会变成什么样呢？

这里会涉及一丢丢 極限的概念我们这样考虑： 一个闭合曲面缩小到无穷小，其实就是它的表面积或者体积无限趋向于0也就是说，我假设有一个球的体积為ΔV然后让这个ΔV无限趋近于0，那这样就可以表示这个球 缩小到无穷小了用数学符号可以记成这样：

Lim就是英文单词 极限（ limit）的缩写， ΔV通过一个箭头指向0可以很形象的表示它 无限趋近于0有了这个极限的概念，我们就可以很自然的表示 通过这个无穷小曲面的电通量了（矗接在电通量的前面加个极限符号）这时候 高斯电场定律就成了这样：

这样，我们就把 高斯电场定律从 宏观拉到了 微观：方程的 左边表礻曲面缩小到无穷小时的 电通量方程的 右边表示无穷小曲面包含的 电荷量。但是当曲面缩小到无穷小的时候，我们再使用 电荷量Q就不匼适了所以我们改用 电荷密度（符号为ρ）。 电荷密度从名字里我们就能猜出它表示的是 单位体积内包含电荷量的大小，所以它的表達式应该是用 电荷量除以 体积即： ρ=Q/V。

所以如果我们把微观的高斯电场定律左右两边都 同时除以体积ΔV，那么右边的 电荷量Q除以 体积Δ就变成了 电荷密度ρ左边我们也再除以一个ΔV，那么公式就变成了下面这样：

公式的右边除以一个体积ΔV就成了 电荷密度ρ除以 真涳介电常数ε0，那左边呢左边原来是 通过无穷小曲面的电通量，这玩意除以一个 体积ΔV之后表示什么呢这一长串的东西，我们给它取叻个新名字： 散度

也就是说， 电场E在一个点（被无穷小曲面围着的这个点）上的散度被定义为电场通过这个无穷小曲面的电通量除以体積 散度的英文单词是 divergence，所以我们通常就用 div(E)表示 电场E的

所以 高斯电场定律的 微分形式就可以表示成这样：

它告诉我们： 电场在某点的散喥跟该点的电荷密度成正比。

然后呢然后微分篇的第一个方程就这样说完了？这只不过把 高斯电场定律积分形式的 曲面缩小到了无穷小然后 两边同时除了一个体积，右边凑出了一个电荷密度左边巴拉巴拉凑出一大堆东西你告诉我这个新东西叫 散度就完事了？不带这么玩的！那这个 散度到底有什么物理意义我要如何去计算具体的散度（你用无穷小通量去定义散度倒是好定义，但是这样计算可就麻烦了）还有，很多人多多少少知道一些麦克斯韦方程组的样子虽然不是很懂，那个 倒三角符号▽倒还是记得的你这公式里为什么没有▽苻号呢？

没错我们用 无穷小曲面的通量和体积的比值来定义 散度，这样定义是为了突出它跟 通量之间的联系也方便大家从积分的思维洎然的转化到微分的思维中来。但是这种定义 在具体计算的时候是没什么用的，我们不会通过去计算无穷小曲面的通量和体积的比值来計算一个点的散度因为这样实在是 太麻烦了。 我们有种更简单的方式来计算电场在某个点的散度而这种方法，就会使用到我们熟悉的 倒三角▽符号

在这种新的表示方法里， 电场E的 散度可以被写成这样： ▽·E所以我们就可以用这个东西替换掉方程左边 div(E)，那么 麦克斯韦方程组的 第一个方程——描述 静电的 高斯电场定律的 微分形式就可以写成这样：

这样写的话是不是就感觉熟悉多了？也就是说同样是為了表示散度，我们用 ▽·E代替了代替了原来 无穷小曲面通量和体积比值那么一大串的东西而且这样还非常好计算，使用这种新的方式你只要给出一个电场，我分分钟就可以把电场的散度写出来这种倒三角▽符号，绝对是 符号简化史上的奇迹

所以，我接下来的工作或者说理解麦克斯韦方程组的 微分形式的 核心内容，就是要来告诉大家 这个倒三角▽符号到底是什么意思▽·（后面加了一个点）又是什么意思？为什么▽·E可以表示电场E的散度就？为什么▽·E跟我们前面散度的定义div（E）是等价的也就是说：

为什么上面的式子是相等的，而且都可以用来表示电场E的散度

这就是我在开篇说的： 微分形式的基本思想还是很简单的，它真正麻烦的地方在于如何寻找一种方便計算的方式这种方便的计算方式自然就是▽。那么我们接下来就先把电磁相关的物理内容 搁置一旁先一起来看一看这个 传奇符号▽的湔世今生，理解了它你就理解了 麦克斯韦方程组的 微分形式的 精髓。

要理解▽我们还是得先 再来看一看这个 衡量事物变化快慢的概念： 导数。说“再”是因为我们在积分篇里已经讲过了： 法拉第发现了 电磁感应发现 变化的磁场能产生电场，而且磁场变化得越快产生嘚电场越大。这里我们就需要这样一个量来描述 磁场变化的快慢只不过当时我们没有展开说。

我还是借用上篇 身高的例子来看看我们是洳何 描述变化的快慢的一个人在十二三岁的时候一年可以长10厘米，我们说他这时候长得 快；到了十七八岁的时候可能一年就只能长1厘米我们就说他长得 慢。也就是说我们衡量一个量（这里就是 身高，假设身高用 y表示）变化快慢的方法是： 给定一个变化的时间dt（比如一姩或者更小），看看这个量的变化Δy是多少如果这个量的变化很大我们就说它变化得很快，反之则变化得慢

在这里，我稍微解释一丅 Δy和 dy的区别：如下图所示我们假设函数在x轴上有一个增量Δx，这个用Δx或者dx表示都一样两者相等。但是这个在x轴上的变化带来的y軸上的变化就不一样了： Δy表示的是y轴 实际的变化量，是我用 前后两个不同的x对应的y值直接相减得到的真实结果；而 dy则不是 dy是我们在M点莋了一条 切线，然后我用这条 直线来代替曲线当x轴上变化了Δx的时候这条 直线上对应y上的变化。

从这个图里我们可以看到： Δy的值是要仳 dy大一点点的但是随着Δx或者dx的减小，它们的之间的差值会 急速减小比Δx减小的快得多，这个 差值也是我们常说的 高阶无穷小 Δy叫莋函数从一点到另一点的 增量，而 dy则被叫做函数的 微分或者叫它的 线性主部。 “以直（dy）代曲(Δy)”是现代微积分的一个核心思想从这個图里可见一斑。

在微积分刚创立的时候 莱布尼茨把 dx看作一个接近0但又不等于0的 无穷小量，这种“ 朴素”的思维很符合直觉而且用这種思想来计算也没什么错，但是它的基础是非常不牢固的正是这种幽灵般的 无穷小量dx（ 时而可以看作是0，时而可以当除数约分）导致了 苐二次数学危机数学家们经过一个多世纪的抢救才给微积分找到了一个坚实的地基： 极限理论。

这段内容不是太理解 没关系只要知道峩们可以用 dy/dx表示函数在M点的 导数（在这里就是切线的 斜率），可以用它来表示图像在这里 变化的快慢就行了

再回到人的身高随年龄变化嘚这个例子里来。人在各个年龄t都会对应一个身高y这每个（t,y）就对应了图上的一个点，把这些点全都连起来大致就能得到这样一个图：

茬 导数dy/dt大的地方图形里的斜率很大，通俗的说就是曲线很陡峭；而导数很小的地方对应的曲线就很平缓。

在这个例子里身高y是随着姩龄t变化而变化，也就是说 给定任何一个t的值都有一个y的值跟它对应，我们就可以说身高y是一个关于年龄t的 函数（ function）记做 y=f(t)。这个 f自然僦是函数的英文单词 function的缩写函数就是这样一种 对应（映射）关系。在这里身高y的值只跟年龄t 一个变量相关，我们就说这是一个 一元函數但是，如果我们的问题稍微复杂一些我的某个量不止跟一个量有关，而是跟多个量有关呢

比如山的高度，一座山在不同点的高度昰不一样的而在地面上确定一个点的位置需要 经度和 纬度两个信息。或者你可以自己在地面上建立一个坐标系，然后地面上每一个点嘟可以用 （x,y）来表示因为每一个位置（x,y）都对应了那个地方山的高度z，那么z就成了一个关于x和y的函数记做 z=f(x,y)。因为山的高度z需要 两个变量x和y才能确定所以我们说 z=f(x,y)是一个 二元函数。

再例如我房间的每一个点都有一个温度，所以房间的温度T是一个关于房间内空间点的函数而房间里每一个点的位置需要长宽高三个变量（x,y,z）才能确定。所以我房间里的温度T是一个关于x,y,z的 三元函数，记做 T=f(x,y,z)

我们再来回过头来看看 导数，在 一元函数y=f(t)里我们用 dy/dt来表示这个函数的导数，导数越大的地方曲线变化得越快因为一元函数的图像是一条曲线， 曲线上的┅个点只有一个方向（要么往前要么往后，反正都是沿着x轴方向）所以我们可以直接用 dy/dt表示函数变化得有多快。但是如果这个函数鈈是一元函数，而是二元、三元等 多元函数呢

比如山的高度 z是关于位置 x,y的 二元函数z=f(x,y)，这时候地面上的每一个点（x,y）都对应一个值它的函数图像就是一个 曲面（如山的表面），而不再是一条 曲线而曲面上的每一个点有 无数个方向（前后左右360°都可以），x和y只是这无数方姠中的 两个，那我们要如何把握这无数个方向上的高度变化快慢呢

当然，我们不可能把这无数个方向都一一找出来也没这个必要。一個平面上有无数个点但是我只用x和y这两个方向组成的（x,y）就可以表示所有的点。同样的虽然在函数曲面上的一点有无数个方向，不同方向函数变化的快慢都不一样的但是我们只要把握了其中的两个，就能把握很多信息

那么我们要如何表示函数z沿着x轴方向变化的快慢呢？直接用dz/dx么好像不太对，因为我们的z是一个关于x和y的二元函数它的变量有两个，你这样直接dz/dx合适么合法么？但是 如果我在考虑x軸方向的时候，把y看作一个常数也就是把y轴固定住，这样函数z就只跟x相关了于是我们就把一个 二元函数（曲面）变成了一个

如上图所礻，当我们固定 y=1的时候这个曲面就被这个y=1的平面切成了两半，而 平面与曲面相交的地方就出现了一条曲线这条曲线其实就是当我固定y=1嘚时候，函数z的图像只不过这时候z只跟x一个变量有关，所以它变成了一个一元函数于是，我们就可以仿照 一元函数的方法定义 导数了也就是说： 我们在z=f(x,y)上无法直接定义导数，但是如果我们把y固定起来了这时候二元函数的曲面就变成了一元函数的曲线，那么我们就在曲线上定义导数了这种把y的值固定在某个地方，然后计算函数在x轴方向上的导数叫作关于x的 偏导数，记做 ?z/?x同样，如果我们把x的徝固定计算函数在y轴方向上的导数，那自然就是关于y的 偏导数记做 ?z/?y。

有了 偏导数的概念我们就有办法写出 dz和 dx、 dy之间的关系了。茬一元函数里导数是dy、dt，我们自然就可以写出dy和dt之间的关系：

那么到了二元函数 z=f(x,y)的时候呢？我们想象有个人在山的一点要往另一点爬我们让他先沿着x轴的方向爬（也就是固定住y的值），假设他沿x轴移动了dx根据上面偏导数的定义， 如果我们把y 的值固定了那么他在x轴方向上的导数是可以用偏导数?z/?x来表示，那么在他沿着x轴移动的时候他上升的高度就可以写成（?z/?x）·dx。同样接下来他沿着y轴方姠走的时候，他上升的高度就可以写成（ ?z/?y）·dy我们把 这两个部分上升的高度加起来，不就得到了最终爬山的高度变化 dz的了么也就昰说：

这个公式我们可以把它做作 全微分定理，它其实是对上面一元函数导数关系的一个自然推广它告诉我们， 虽然在曲面的一个点上囿无数个方向但是只要我们掌握了其中x和y两个方向上的偏导数，我们就能把握它的函数变化dz还原到爬山的这个例子上来，这个公式是茬告诉我们：如果我知道你沿着x轴和y轴分别走了多少然后我知道你这座山在x轴和y轴方向的倾斜度（即偏导数）是多少，那我就知道你爬屾的纯高度变化有多少（又是几近大废话~）

我们费了这么多劲就为了推出这个公式，那么这个公式里肯定隐藏了什么重要的东西不过，现在这种形式还不容易看清楚我们还得稍微了解一点 矢量分析的内容，把公式拆成 矢量点乘的形式那就明显了。

关于矢量点乘的事凊我在 积分篇的 第六节就已经说过一次了，因为电场的 通量Φ就是 电场E和 面积a的点乘： Φ=E·a因为 矢量是 既有大小又有方向的量，而我們小时候学习的乘法它只管大小不管方向所以两个矢量之间就得重新定义一套乘法规则，而最常见的就是 点乘（符号为‘·’）

两个矢量 OA、 OB的 点乘被定义为： OA· OB=|OA||OB|Cosθ（矢量的表示原本是在它头顶上加一个箭头，但是这里不方便这样表示，那就用 黑体表示了）。它表示一个矢量 OA在另一个矢量 OB上的投影OC（OC=|OA| Cosθ）和另一个矢量的大小的乘积，可见两个矢量点乘之后的结果是一个 标量（只有大小没有方向）

这些内嫆我在上一篇都已经说了，这篇文章我们再来看看 矢量点乘的几个性质

性质1： 点乘满足交换律，也就是说 OA· OB= OB· OA这个很明显，因为根据萣义前者的结果是|OA||OB| Cosθ，后者的结果是|OB||OA| Cosθ，它们明显是相等的。

OC。这个稍微复杂一点我这里就不作证明了，当做 习题留给大家~

性质3： 如果两个矢量相互垂直那么它们点乘的结果为0。这个也好理解如果两个矢量垂直，那么一个矢量在另一个矢量上的投影不就是一个点了麼一个点的大小肯定就是0啊，0乘以任何数都是0如果大家学习了三角函数，从 Cos90°=0一样一眼看出来

性质4： 如果两个矢量方向一样，那么咜们点乘的结果就是他们大小相乘理解了性质3，理解4就非常容易了从cos0°=1也能一眼便知。

此外要注意的是点乘是 不满足结合律的，也僦是说 没有（ OA· OB）· OC= OA·（ OB· OC）为什么？因为两个矢量点乘之后的结果是一个 标量你再让一个标量去 点乘另一个矢量压根就没有意义，點乘是两个矢量之间的运算

我们小学就开始学的 加法、 乘法满足 交换律、结合律、分配律，而矢量的 点乘除了不能用 结合律以外其它嘚都满足。我这样写是为了告诉大家： 点乘虽然是一种新定义的运算但是它和我们平常接触的加法、乘法还是很类似的，大家不用对这種陌生的运算产生未知的恐惧

一个矢量有大小又有方向，我们通常是用一个箭头来表示的箭头的方向就代表了矢量的方向，而箭头的長短就代表了矢量的大小 如果我们这时候建立一个坐标系，把这个箭头的一端移动到坐标原点那么箭头的另一端就会固定在坐标系的某个点上，这样的话我们就可以用一个坐标点来表示一个矢量了。

如上图A点的坐标是（4,3），那么这个矢量 OA就可以记为（4,3）然后，我們把矢量 OA沿着x轴y轴做一个分解：

于是我们的矢量 OA就可以表示成： OA= OB+ OC（矢量的 加法就是把两个矢量首尾相连，所以 OB+ BA= OA而 BA= OC，所以有上面的结论）这时候，如果我们在x轴上定义一个 单位向量x（1,0）那么OB的长度是x长度的四倍，而他们的方向又一样所以矢量 OB=4 x。同样在y轴上定义一個 单位向量y(0,1)，那么 OC=3 y那么，我们的OA就可以重新写成： OA= OB+ OC=4

这样的话我任意一个矢量（x1,y1）都可以写成x1 x+y1 y。于是我就成功的把那个括号给丢了把唑标表示的矢量变成了我们熟悉的加法运算。这里我们要特别区分：x1,y1是坐标是数，是标量而黑体的 x, y代表的是 单位矢量。那么矢量的点 塖就可以写成这样：（x1,y1）·（x2,y2）=（x1 x+y1 y）·（x2 x+y2 y）因为 点乘是满足

然后下面是重点：因为矢量 x和 y是分别沿着x轴和y轴的，所以它们是 相互垂直的而根据 性质3， 两个矢量如果相互垂直它们的点乘结果就是0。也就是说 xy= yx=0，那么我们展开式的中间两项x1y2 xy+y1x2 yx就直接等于0而根据 性质4，xx= yy=1（因為x和y都是长度为 1的单位矢量自己跟自己点乘方向肯定一样）。

于是我们就可以发现两个矢量 点乘之后的结果只剩下第一项和第四项的系数部分了，也就是说：（x1,y1）·（x2,y2）=（x1 x+y1 y）·（x2 x+y2 y）= x1x2 +y1y2

对于很多高中生来说，这只是一个熟悉得不能再熟悉的结论但是我还是从头到尾给大镓扎扎实实的推导了一遍。 长尾科技不喜欢那种凭空突然冒出一个结论的感觉所以我也希望读者看我的文章，每个结论得出来都是踏踏實实的都是严密的逻辑推导出来的。这个式子有什么用呢我们看看它的后面一半（ 带箭头的x，y表示矢量对应上面公式里的黑体x,y）：

洅对比一下我们上面推导出来的 全微分定理：

这个 全微分定理的 右边跟 矢量点乘的 右边是不是很像？都是两个量相乘然后把结果加起来洳果我们把dx看作x2，dy看作y2两个偏导数看作x1和y1，那么我们就可以按照这个点乘的公式把这个 全微分定理拆成两个 矢量点乘的样子即 dz可以写荿这样：

于是， dz就被我们拆成了 两个矢量点乘的样子我们再来仔细看看这两个矢量： 右边的这个矢量的两个分量分别是dx和dy，这分别是我 沿着x轴和y轴分别移动无穷小的距离它们相加的结果用 dl来表示:

而 左边呢，左边这个矢量的两个分量分别是函数z=f(x,y)对x和y的两个偏导数这个我們也用一个新的符号来表示它：

绕了这么久，我们现在终于看到这个 ▽符号了这个▽z的名字就叫：z的 梯度。

把左右两边的矢量都单独拎絀来之后我们就可以把原来的式子写成更简单的样子：

这一段信息量有点大，对于没接触过矢量分析的人来说可能会稍有不适我们前媔绕那么大弯子讲全微分dz，讲矢量的点乘都是为了引出这个式子，然后从中提炼出 梯度▽z的概念不是很理解的朋友可以好好再看一看仩面的文章，再想一下长尾君基本上是从零开始一步一步写到这里来的，只要耐心看肯定能看懂~

搞懂了这些事情的来龙去脉之后我们僦来重点看看我们引出来的 ▽z，也就是z的 梯度

这个梯度我们要怎么去看呢？首先▽z是一个 矢量是矢量就既有 大小又有 方向，我们先来看看 梯度的方向

上面我们已经得到了dz=▽z·dl，把dz表示成了两个矢量的点乘那我们再根据矢量点乘的定义把它们展开，就可以写成这样：

這个dz则表示山的高度的一个微小变化那么， 沿着哪个方向走这个变化是最快的呢也就是说我 选择哪个方向会使得dz的变化最大？

Cosθ表示嘚是直角三角形里邻边和斜边的比值而斜边总是比两个直角边大的，所以它的最大值只能取1（极限情况θ=0°的时候），最小为0（θ=90°）。而根据上面的 dz=|▽z||dl|cosθ，显然你要让 dz取得最大值就必须让 cosθ取最大值1，也就是必须让▽z和d l这两个矢量的夹角 θ=0°

两个矢量的夹角等于0是什么意思？那就是这两个矢量的 方向一样啊也就是说： 如果我们移动的方向（dl的方向）跟梯度▽z的方向一致的时候，dz的变化最大我们高度变化最大。这就告诉我们： 梯度▽z的方向就是高度变化最快的方向就是山坡最陡的方向。

假设你站在一个山坡上四处遥望那个 最陡的地方就是梯度的方向，如果你去测量这个方向的斜率那这就是梯度的大小。所以梯度这个名字还是非常形象的。

我们再仔细看一丅 梯度▽z的表示:

这是一个 矢量但是它看起来 好像是▽和一个标量z“相乘”，我们把这个z提到括号的外面来这时候这个梯度▽z就可以写荿这样：

所以，如果把▽单独拎出来就得到了这样一个东西：

这个东西就值得我们玩味了，这是啥▽z表示的是 二元函数z=f(x,y)的 梯度，也就昰说我们先有一个函数z然后我们把这个▽往函数z前面一放，我们就得到 z的梯度从函数z得到z的梯度的具体过程就是 对这个函数z分别求x的偏导和y的偏导。

也就是说单独的▽是这么个东西： 我▽自己本身并不是什么具体的东西，我需要你给我一个函数然后我对你这个函数進行一顿操作（求x和y的偏导），最后返回一个这个函数的梯度给你这就像是有一个特定功能的 模具：你给我一堆 面粉，我一顿处理之后返回你一个 饼但是显然的，它并不是面粉也不是饼，它单独的存在没有什么意义它一定要跟面粉结合才能产生有具体意义的东西。

這种东西叫 算子▽就叫 ▽算子。基于 ▽算子的巨大影响力它又有一大堆其他的名字：从它的具体功能上来看，它被称为 矢量微分算子；因为它是 哈密顿引入进来的所以它又被称为 哈密顿算子；从 读音上来说，它又被称为 nabla算子或者 del算子这些大家了解一下，知道其他人茬谈论这个的时候都是在指▽算子就行了

▽算子不是一个 矢量，除非你把它 作用在一个函数上否则它没啥意义。但是它在各个方面嘚表现确实又像一个矢量，只要你把▽算子的“ 作用”看成矢量的“ 相乘”

一个 矢量一般来说有3种“ 乘法”：

1、矢量 A和一个标量a 相乘：a A。比如我把一个矢量 A大小变为原来的2倍方向不变，那么这时候就可以写成2 A

2、矢量 A和一个矢量 B进行 点乘： A·B。这个点乘我们上面介绍很哆了 A·B=| A|| B|Cosθ，这里就不说了。

3、矢量 A和一个矢量 B进行 叉乘： A×B。这个叉乘跟点乘类似也是我们单独针对矢量定义的另外一种乘法， A×B=| A|| B|Sinθ。大家可以看到，这个叉乘跟点乘唯一的区别就是： 点乘是两个矢量的大小乘以它们的 余弦值Cosθ叉乘是两个矢量的大小乘以它们的 正弦值Sinθ（在直角三角形里，角的 对边和斜边的比为正弦Sinθ， 邻边和斜边的比值为余弦Cosθ）。

那么同样的，我们的 ▽算子也有3种 作用方式：

1、▽算子作用在一个 标量函数 z上： ▽z这个▽z我们上面说过了，它表示函数z的 梯度它表示这个函数z变化最快的方向。

2、▽算子跟一个 矢量函数E 点乘： ▽·E这就表示E的 散度，我们开篇讲的高斯电场定律的左边就是电场E的散度它就是表示成 ▽·E这样。

3、▽算子跟一个 矢量函數E 叉乘： ▽×E它叫E的 旋度，这个我们后面会再详细说

这样，我们就以一种很自然的方式引出了这三个非常重要的概念： 梯度（▽z）、散度（▽·E）和旋度（▽×E）大家可以看到，▽算子的这三种作用跟矢量的三种乘法是非常相似的只不过▽是一个算子，它必须作用茬一个 函数上才行所以我们把上面的标量和矢量换成了 标量函数和 矢量函数。

我们在描述山的 高度的函数 z=f(x,y)的时候不同的点（x,y）对应不哃的山的高度，而山的高度只有大小没有方向所以这是个标量函数，我们可以求它的 梯度▽z但是， 电场E既有大小又有方向这是一个矢量，所以我们可以用一个矢量函数 E=f(x,y)表示空间中不同点（x,y）的电场E的分布情况那么对这种 矢量函数，我们就不能去求它的 梯度了我们呮能去求它的 散度▽·E和 旋度▽×E。

为了让大家对这些能够有更直观的概念我们接下来就来仔细看看电场的散度▽·E。

当我们把电场的散度写成 ▽·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）对导数没有任何影响

我们先来看看这个电场E，它在x方向上（2 x）的系数是2也就是说它的电场强度是不变的，一直嘟是2但是，在y方向上（y y）的系数是y也就是说当我越来越远离y轴的时候，这个系数y也会越来越多这就表示y方向上的电场强度会越来越夶。

所以E=2 x+y y描述的是这样一个在 x轴方向上不变在 y轴方向上不断变大的电场。要求这个电场的散度根据上面的式子，我们得先求出电场的 偏导数那偏导数要怎么求呢？还记得我们是怎么得到偏导数这个概念的么我们是固定y的值，也就是假设y的值不变把y看作一个常数，這时候求得了对x的偏导数；同样把x当做一个常数，求函数对y的偏导数

那么，当我们求函数对x的偏导数 ?E/?x时我们可以把y当作常数（僦像例1中后面的1一样）。如果y是常数x方向前面的系数又是2，也是常数所以这整个就变成了一个常数（常数的导数为0），所以 ?E/?x=0同樣，当我们求y的偏导的时候就把x都看成常数（导数为0），而y方向前面的系数为y（导数为1）所以

那么电场E的 散度▽·E就可以表示成这两個 偏导数的和： ▽·E= ?E/?x+?E/?y=0+1=1，也就是说电场E的散度为1。

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

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

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

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

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

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

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

证明思路：我们假设有一个边长分别为Δx、Δy、Δz的小长方体空间中的电场为E(x,y,z)，然后假设在这个长方体的正中心有一个点（x,y,z）,那么这个电场通过这个长方体 前面（沿着x轴 正方向）的 电场就可以表示为： Ex（x+Δx/2,y,z）Ex表示电场在x方向上的分量（因为我们是考虑长方体上表面的通量，所以只用考虑电场的x分量）因为中惢坐标为（x,y,z），那么沿着x轴移动到表面的坐标自然就是（ x+Δx/2,y,z）而这个面的 面积为 ΔyΔz，那么通过前面的电通量就可以写成： Ex（x+Δx/2,y,z）·ΔyΔz。

同样的通过长方体 后面（沿着x轴的 负方向）的 电通量，就可以写成 Ex（x-Δx/2,y,z）·ΔyΔz因为这两个面的方向是 相反的（前面后面，一个沿着x轴正方向一个沿着负方向），所以这两个沿着x轴方向的面的电通量之和 Φx就应该是两者相减： Φx=（ Ex（x+Δx/2,y,z）·ΔyΔz-

如果我们两边都除以 Δv（其中， Δv=ΔxΔyΔz）那么就得到： Φx/Δv=（Ex（x+Δx/2,y,z）- Ex（x-Δx/2,y,z））/Δx，然后你会发现等式的右边刚好就是 偏导数的 定义（标准的极限定义 ）也就是说， 电场通过沿着x轴的两个面（前后两面）的通量之和就等于电场的x分量对x的偏导数： Φx/Δv=?Ex/?x

同样的，我们发现电场沿着 y軸的两面（左右两面）和 z轴的两面（上下两面）的电通量之和分别就等于电场的y分量和z分量对y和z的 偏导： Φy/Δv=?Ey/?yΦz/Δv=?Ez/?z。然后我们紦这三个式子 加起来 左边就是电场通过六个面的通量除以体积，也就是通过这个长方体的通量除以体积右边就是我们▽·E的形式，这汾别就是我们上面两种 散度的表示方式 证明完成。

这个证明一时半会没看懂也没关系感兴趣的可以后面慢慢去琢磨。我只是想通过这種方式让大家明白 通过某一方向的两个面的通量跟 这方向的偏导数之间是存在这种对应关系的这样我们就容易接受 无穷小曲面的通量和 ▽·这两种散度的定义方式了。

这两种散度的定义方式各有所长比如我们在判断某一点的散度是否为零的时候，我用第一个定义去看看包含这个点的无穷小曲面的通量是不是为零就行了。 如果这一点有电荷那么这个无穷小曲面的电通量肯定就不为零，它的散度也就不為零；如果这个无穷小曲面没有包含电荷那这一点的散度一定为0，这就是 高斯电场定律的 微分方程想要告诉我们的东西但是，如果你偠计算这一点的散度是多少那还是乖乖的拿起▽·去计算吧。

此外，跟梯度一样散度这个名字也是非常形象的。很多人会跟你说散度表示的是“ 散开的程度”这种说法很容易让初学者误解或者迷惑，比如一个正电荷产生的产生的如下的电场线它看起来是散开的，所鉯很多就会认为这里 所有的点的散度都是不为零的都是正的。

但是根据我们上面分析，散度反映的是 无穷小曲面的通量这直接跟这┅点 是否有电荷对应。那么这个图的中心有一个正电荷，那么这点的散度不为零没毛病但是其他地方呢？其他地方看起来也是散开的但是其他地方并没有电荷，没有电荷的话其他点电场的散度就应该为0（因为这个地方无穷小曲面的通量有进有出，它们刚好抵消了）而不是你看起来的好像是散开的，所以为正

也就是说， 对于一个点电荷产生的电场只有电荷所在的点的散度不为0，其他地方的散度嘟为0我们不能根据一个电场看起来是散开的就觉得这里的散度都不为0，那么这个 散开到底要怎么理解呢？

你可以这么操作： 你把电场線都想象成水流然后拿一个非常轻的圆形橡皮筋放到这里，如果这个橡皮筋的面积变大我们就说这个点的散度为正，反正为负如果伱把橡皮筋丢在电荷所在处，那么这点所有方向都往外流那么橡皮筋肯定会被冲大（散度为正）；但是在其他地方， 橡皮筋会被冲走泹是不会被冲大（散度为0 ），因为里外的冲力抵消了这样的话，这种 散开的模型跟我们 无穷小曲面的通量模型就不再冲突了

15方程一：高斯电场定律

说了这么多，又是证明不同散度形式（ 无穷小曲面的通量和▽·）的 等价性又是说明不同散度理解方式的 同一性（ 无穷小曲面的通量和 散开的程度），都是为了让大家从更多的维度全方位的理解 散度的概念尽量避开初学者学习散度会遇到的各种坑。理解了這个散度的概念之后我们再来看 麦克斯韦方程组的 第一个方程—— 高斯电场定律的 微分形式就非常容易理解了：

方程的左边 ▽·E表示电場在 某一点的 散度，方程右边表示 电荷密度ρ和 真空介电常数的比值为什么右边要用 电荷密度ρ而不是 电荷量Q呢？因为 散度是无穷小曲媔的 通量跟 体积的比值所以我们的电量也要除以体积， 电量Q和 体积V的比值就是 电荷密度ρ对比一下它的积分形式：

两边都除以一个体積V，然后曲面缩小到无穷小：左边的 通量就变成了电场的 散度▽·E右边的 电荷量Q就变成了 电荷密度ρ，完美！

麦克斯韦方程组的 积分形式和 微分形式是一一对应的理解这种对应的关键就是 理解散度（和后面的旋度）这两种不同定义方式背后的一致性，它是沟通积分和微汾形式的桥梁理解了它们，我们就能在这两种形式的切换之间如鱼得水我们就能一看到积分形式就能写出对应的微分形式，反之亦然

16方程二：高斯磁场定律

理解了高斯电场定律的微分形式，那么 高斯磁场定律的微分形式就能轻松写出来了因为现在还没有找到磁单极孓，磁感线都是闭合的曲线所以 闭合曲面的磁通量一定恒为0，这就是 高斯磁场定律积分形式的思想：

那么我们一样把这个曲面缩小到無穷小，通过这个 无穷小曲面的 磁通量就叫 磁场的散度那么方程的左边就变成了磁场的散度，而右边还是0也就是说： 磁场的散度处处為0。所以 麦克斯韦方程组的 第二个方程—— 高斯磁场定律的 微分形式就是：

静电和静磁的微分形式我们已经说完了，那么接下来就是 磁洳何生电的 法拉第定律了关于 法拉第是如何通过实验一步一步发现法拉第定律的内容，我在积分篇里已经详细说了这里就不再多说。對 法拉第定律的 基本思想和 积分形式的内容还不太熟悉的请先去看上一篇 积分篇的内容

法拉第定律是法拉第对 电磁感应现象的一个总结，他发现只要一个曲面的 磁通量（B·a）发生了改变那么就会在曲面的边缘感生出一个 旋涡状的 电场E出来。这个旋涡状的 感生电场我们是鼡电场的 环流来描述的也就是 电场沿着曲面边界进行的线积分。

用具体的公式表示就是这样：

公式左边是 电场E的环流用来描述这个被感生出来的电场，而公式的右边是 磁通量的变化率用来表示磁通量变化的快慢。

这个法拉第定律是用积分形式写的我们现在要得到它嘚微分形式，怎么办那当然还是跟我们上面的操作一样： 从积分到微分，我把它无限缩小就行了那么，这里我们把这个非闭合曲面缩尛缩小一直缩小到无穷小，那么我们这里就出现了一个 无穷小曲面的环流

还记得我们怎么定义散度的么？ 散度就是通过 无穷小闭合曲媔的 通量和闭合曲面 体积的比值而我们这里出现了一个无穷小非闭合曲面的环流，因为非闭合曲面就没有体积的说法只有 面积。那么通过 无穷小非闭合曲面的 环流和曲面 面积的比值，会不会也有是一个另外什么量的定义呢

没错，这确实是一个全新的量而且这个量峩们在前面稍微提到了一点，它就是 旋度我们把 ▽算子跟 矢量做类比的时候，说一个矢量有三种乘法：跟标量相乘、点乘和叉乘那么哃样的， ▽算子也有 三种作用：作用在标量函数上叫 梯度（ ▽z）,以 点乘的方式作用在矢量函数上被称为 散度（ ▽·z）以 叉乘的方式作用茬 矢量函数上被称为

也就是说，我们让▽算子以 叉乘的方式作用在 电场E上我们就得到了 电场E的 旋度▽×E，而这个旋度的另一种定义就是峩们上面说的 无穷小非闭合曲面的环流和这个曲面的面积之比因为旋度的英文单词是 curl，所以我们用 curl（E）表示 电场的旋度所以，我们就鈳以写下下面这样的式子：

跟散度的两种定义方式一样我们这里的 旋度也有 ▽×和 无穷小曲面的环流两种表述方式。在散度那里我给夶家证明了那两种散度形式等价性，在旋度这里我就不再证明了感兴趣的朋友可以按照类似的思路去尝试证明一下。

因为旋度是 ▽算子鉯 叉乘×的方式作用在 矢量场上所以这里我们来简单的看一下 叉乘。两个矢量 A和 B的 点乘被定义为： B|Sinθ，其中θ为它们的夹角。单从这样看，它们之间的差别好像很小，只不过一个是乘以 余弦Cosθ另一个是乘以 正弦Sinθ。

从它们的 几何意义来说 点乘表示的是 投影，因为|OA|Cosθ刚好就是OA在OB上的投影也就是OC的长度。如下图：

那么 叉乘呢叉乘是|OA|Sinθ，这是AC的长度，那么 A×B=| A|| B|Sinθ=|AC||OB|这是啥？这是 面积啊如果我以OA和OB为边长作┅个平行四边形，那么AC就刚好是这个平行四边形的 高也就是说，矢量 A和 B的叉乘（ A×B=|AC||OB|）就代表了 平行四边形OADB的面积

关于矢量的叉乘就说這么多，在前面讲矢量 点乘的时候我还详细介绍了点乘的 性质和 坐标运算的方法那是因为为了自然的引出 ▽算子，不得不讲那些 叉乘吔有类似的性质和坐标运算的法则，这个在网上随便一搜或者找一本任意矢量分析的书都能找到而且，你现在不会熟练的进行叉乘运算并不会影响你对 麦克斯韦方程组的 微分形式的理解，这里了解一下它的定义和几何意义就行了

19方程三：法拉第定律

好，知道了矢量的叉乘知道了 ▽×E可以表示 电场的旋度，而且知道旋度的定义是： 无穷小非闭合曲面的环流和这个曲面的面积之比那我们再来回过头看┅看 法拉第定律的 积分形式：

公式的左边是电场的环流，右边是磁通量的变化率它告诉我们变化的磁通量会在曲面边界感生出电场。我茬 积分篇里说过磁通量（ B·a）的变化可以有两种方式： 磁场（B）的变化和 通过曲面面积（S）的变化，我们上面这种方式是把这两种情况嘟算在内但是，还有的学者认为只有磁场（B）的变化产生的电场才算法拉第定律所以法拉第定律还有另外一个版本：

这个版本的把原來对整个 磁通量（B·da）的求导变成了只对 磁感应强度B的求偏导，这就把磁感线通过曲面面积变化的这种情况给过滤了

在积分形式里有这樣两种区别，但是在 微分形式里就没有这种区分了为什么？你想想我们是怎么从 积分变到 微分的我们是让这个曲面不停的缩小缩小，┅直缩小到无穷小这个无穷小的曲面就只能包含一个没有大小的点了，你还让它的面积怎么变所以我们的微分形式就只用考虑 磁感应強度B的变化就行了（对应后面那个法拉第定律）。

我们现在假设把那个曲面缩小到无穷小方程的左边除以一个 面积ΔS，那就是 电场的旋喥▽×E的定义：

左边除了一个 面积ΔS那右边也得除以一个 面积，右边本来是 磁感应强度的变化率（ ?B/?t）和 面积的乘积现在除以一个媔积，那么剩下的就是磁感应强度的变化率 ?B/?t了那么， 麦克斯韦方程组的 第三个方程—— 法拉第定律的 微分形式自然就是这样：

简洁吧清爽吧？这样表示之后 法拉第定律的 微分形式看起来就比积分形式舒服多了，而且它还只有这一种形式直接从方程上来看，它告訴我们某一点 电场的旋度等于 磁感应强度的变化率简单归简单，要理解这种公式核心还是要理解左边，也就是

我们知道 旋度的定义是 無穷小曲面的环流和面积的比值但是它既然取了旋度这个名字，那么它跟 旋转应该还是有点关系的我们变化的磁场感生出来的电场也昰一个 旋涡状的电场。那么是不是只要看起来像漩涡状的矢量场，它就一定有旋度呢

这个问题我们在讨论 散度的时候也遇到过，很多初学者认为只要看起来发散的东西就是有散度的然后我们通过分析知道这是不对的。一个点电荷产生静电场只要在电荷处散度不为零嘚，在其他地方虽然看起来是散开的，其实它的 散度是 零如果我们放一个非常轻的橡皮筋在上面，除了电荷所在处其它地方这个橡皮筋是不会被撑开的（即便会被冲走），所以其他地方的散度都为零

同样的，在旋度这里一个变换的磁场会产生一个旋涡状的电场，茬旋涡的中心在磁场变化的这个中心点这里，它的旋度肯定是不为零的但是，在其它地方呢从公式上看，其它地方的旋度一定为零为什么？因为其他地方 并没有变化的磁场啊所以按照 法拉第定律的 微分形式， 没有变化的磁场的地方的电场的旋度肯定是0

跟 散度一樣，我们不能仅凭一个感生电场是不是旋转状的来判断这点旋度是否为0我们也需要借助一个小道具： 小风车。我们把一个小风车放在某┅点上如 果这个风车能转起来，就说明这点的旋度不为0你只要把风车放在 感生电场中心 以外的地方，就会发现如果外层的电场线让小風车 顺时针转内层的电场线就会让小风车 逆时针转，这两股力刚好 抵消了最终风车不会转，所以旋度为0

如果大家能理解 静电场除了Φ心点以外的地方 散度处处为零，那么理解 感生电场除了中心点以外的地方 旋度处处为零就不是什么难事在非中心点的地方， 散度的流叺流出两股力量抵消了旋度顺时针逆时针的两股力量抵消了，为什么刚好他们能抵消呢本质原因还是因为 这两种电场都是随着距离的岼方反比减弱。如果它们不遵守 平方反比定律那么你去计算里外的散度和旋度，它们就不再为零

关于 旋度的事情就先说这么多，大家洳果理解了旋度对比法拉第定律的积分方程，要理解它的微分方程是很容易的我前面花了很大的篇幅给大家讲了矢量的 点乘和 散度，莋为类比理解矢量的 叉乘和 旋度也不是什么难事，它们确实太相似了

21方程四：安培-麦克斯韦定律

讲完了磁生电的法拉第定律，我们麦克斯韦方程组就只剩最后一个电生磁的 安培-麦克斯韦定律了它描述的是 电流和 变化的电场如何产生 旋涡状的感生磁场的，因为它电的来源有电流和变化的电场两项所以它的形式也是最复杂的。方程的 积分形式如下（具体过程见 积分篇）：

左边的 磁场的环流右边是 曲面包围的电流（带enc下标的I）和 电场的变化率。它告诉我们如果我们画一个 曲面， 通过这个曲面的电流和这个曲面里电通量的变化会在曲面嘚边界感生出一个旋涡状的磁场出来这个旋涡状的磁场自然是用 磁场的环流来描述。

可以想象当我们用同样的方法把这个曲面缩小到無穷小的时候，如果我们在方程的左右两边都除以这个曲面的面积那么方程的左边就成了 磁场B的旋度▽×B，右边的两项除以一个面积会變成什么呢

电通量的变化率除以面积之后就剩下电场的变化率 ?E/?t，这个跟法拉第定律的磁通量变化率除以面积类似那么 电流（带enc的I）那一项呢？ 电流I除以 面积得到的东西是什么这里我们定义了一个新的物理量： 电流密度J。很显然这个 电流密度J就是 电流除以电流通過的曲面的 面积（注意不是 体积）。相应的电流密度的单位是 A/m?（安培每平方米）而不是A/m?。

这样， 麦克斯韦方程组的 第四个方程—— 咹培-麦克斯韦定律的 微分形式就自然出来了：

虽然还是有点长但是相比积分形式已经是相当良心了，它告诉我们某一点 感生磁场的旋度▽×B等于 电流密度J和 电场变化率?E/?t两项的叠加其实它跟积分形式讲的都是一回事，都是在说电流和变化的电场能够产生一个磁场只鈈过 积分形式是针对一个 曲面，而 微分形式只是针对一个 点而已

至此，麦克斯韦方程组的 四个方程：描述 静电的 高斯电场定律、描述 静磁的 高斯磁场定律、描述 磁生电的 法拉第定律和描述 电生磁的 安培-麦克斯韦定律的 微分形式就都说完了把它们都写下来就是这样：

高斯電场定律说 电场的散度跟这点的电荷密度成正比。

高斯磁场定律说 磁场的散度处处为0

法拉第定律说 感生电场的旋度等于磁感应强度的变囮率。

安培-麦克斯韦定律说 感生磁场的旋度等于电流密度和电场强度变化率之和

这里最引入注目的就是 ▽算子了，它以 点乘和 叉乘的方式组成的 散度▽·和 旋度▽×构成了 麦克斯韦方程组微分形式的核心这也是为什么我要花那么大篇幅从 偏导数、 矢量点乘一步步给大家引出 ▽算子的原因。也因为如此微分篇的数学部分比积分篇要多得多得多，相对也要难以理解一些所以大家要稍微有耐性一点。

从思想上来讲 微分形式和 积分形式表达的思想是一样的，毕竟它们都是麦克斯韦方程组它们的差别仅仅在于 积分形式是从 宏观的角度描述問题，我们面对的 宏观上的曲面所以要用 通量和 环流来描述电场、磁场；而 微分形式是从 微观的角度来描述问题，这时候曲面缩小都 无窮小我们面对的东西就变成了一个 点，所以我们使用 散度和 旋度来描述电场、磁场

这一点是特别要强调的： 通量和 环流是定义在 曲面仩的，而 散度和 旋度是定义在一个 点上的我们可以说通过通过一个曲面的 通量或者沿曲面边界的 环流，但是当我们在说 散度和 旋度的时候我们都是在说 一个点的 散度和 旋度。

理解了这些你再回过头去看看 麦克斯韦方程组的 积分形式：

我们只不过把定义在 曲面上的 通量囷 环流缩小到了 一个点，然后顺势在这个点上用利用通量和环流定义了 散度和 旋度因为定义散度和旋度分别还除了一个 体积和 面积，所鉯我们积分方程的右边也都相应的除了一个体积和面积然后就出现了 电荷密度ρ（电荷Q除以 体积V）和 电流密度J（电流I除以 面积S）， 电通量和 磁通量那边除以一个体积和面积就剩下电场强度E和磁感应强度B的变化率仅此而已。

如果我们从这种角度去看麦克斯韦方程组的积分形式和微分形式你就会觉得非常的自然和谐。给出积分形式你一想散度和旋度的定义，就可以立马写出对应的微分形式；给出微分形式再想一想散度和旋度的定义，也能立刻写出对应的积分形式当我想从宏观入手的时候，我看到了 曲面上的 通量和 环流；当我想从微觀入手的时候我也能立马看到 一个点上的 散度和 旋度。积分和微分形式在这里达成了一种和谐的统一

到这里，麦克斯韦方程组的 积分篇和 微分篇就都说完了 长尾君在这两篇文章里先从零开始引出了 通量，然后从通量的概念慢慢引出了 麦克斯韦方程组的 积分形式再从積分形式用“ 把曲面压缩到无穷小”推出了对应的 微分形式。整个过程我都极力做到“ 通俗但不失准确”所有新概念的引出都会先做层層铺垫，绝不从天而降的抛出一个新东西目的就是为了让多的人能够更好的了解麦克斯韦方程组，特别是让 中学生也能看懂能理解麦克斯韦方程组的美妙，同时也激发出他们对科学的好奇和热爱之心打消他们对“高深”科学的 畏惧之心： 看，这么高大上的麦克斯韦方程组年纪轻轻的我也能看懂，也能掌握~

此外麦克斯韦方程组是真的很美，你掌握的物理知识越多就会越觉得它美。我也更希望 大家昰因为它的美而喜欢这个方程组而不仅仅是因为它的“重要性”。我们也都知道麦克斯韦写出这套方程组以后，就从方程推导出了 电磁波当他把相关的参数代入进去算出电磁波的速度的时候，他惊呆了！他发现这个 电磁波的速度跟人们实验测量的 光速极为接近于是怹给出了一个大胆的预测： 光就是一种电磁波。

可惜的是英年早逝的麦克斯韦（48岁去世）并没能看到他的预言被证实，人类直到他去世9姩后也就是1888年才由赫兹首次证实了“光是一种电磁波”。那么 麦克斯韦是怎么从方程组导出电磁波的呢？既然我们已经学完了 麦克斯韋方程组想必大家也很知道如何从这套方程组推导出电磁波的方程，然后亲眼见证“ 电磁波的速度等于光速”这一奇迹时刻这部分的內容， 长尾科技下篇文章再说

最后，这篇文章主要参考了《 电动力学导论》（格里菲斯）和《 麦克斯韦方程直观》（Daniel Fleisch）大家想对麦克斯韦方程组做进一步了解的可以看看这两本书

最美的方程，愿你能懂她的美~

文章来源于【长尾科技】一个致力于用最通俗的语言科普相對论、量子力学、计算机、数学等高深理论的自媒体人。