UA PHYS515 电磁理论I 麦克斯韦方程组基础2 从实验定律到麦克斯韦方程

上一讲介绍了两个重要的关于静电场与静磁场的重要定律，这一讲我们介绍从实验定律到Maxwell方程的总结过程。第一件要做的事情，就是请大家忘掉场论、向量分析相关的数学知识（散度、旋度、Gauss公式、Stokes公式等），因为物理学家相信自己的物理学直觉，基于physically meaningful definitions导出的公式如果正好与某些数学公式相同了，那也只是巧合，是数学家尝试从物理学家的推导中抽象出一些结构罢了，毕竟有Maxwell方程的年代还没有向量分析。

我们先给出Maxwell方程组，然后再介绍怎么从实验定律得到这个方程组：
$$\begin{gathered} \nabla \cdot \vec{E}=4\pi \rho \\ \nabla \cdot \vec{B}=0 \\ \nabla \times \vec{E}=-\frac{\partial \vec{B}}{\partial t} \\ \nabla \times \vec{B}=4\pi J+\frac{\partial \vec{E}}{\partial t} \end{gathered}$$

前两个方程是电场与磁场的Gauss方程，分别由库仑定律与毕奥-萨法尔定律导出；后两个方程分别由法拉第定律与安培定律导出。前两个方程是一维的，后两个方程是三维的，所有我们一共有八个方程，但我们只有六个未知量，所以这其实是一个超定系统；一种可能的改进方法是用电磁场的potential代替强度，这样这个系统方程数和未知量个数就一样了，下一讲我们会讨论这个方法。最后就是这些方程讨论的是真空中的电磁场，所以方程中没有与介质有关的常数；下下讲我们讨论怎么在修正Maxwell方程组，使之能够表达任意介质中的电磁场。

---

从Coulomb定律到电场强度的Gauss方程

Gauss方程是从库仑定律导出的，它的想法非常简单，通过封闭曲面的electric flux与这个封闭曲面包围的净电荷成正比：假设某个位置有总电荷量为$Q$的一些粒子，则通过包围这些粒子的封闭曲面$S$的电场强度满足
$${\oint }_S\vec{E}\cdot d\vec{A}\propto Q$$

如果$S$是半径为$r$的球面，根据库仑定律
$${\oint }_S\vec{E}\cdot d\vec{A}=E_r{\oint }_{S}d\vec{A}=4\pi r^2{E}_r=4\pi r^2\frac{Q}{r^2}=4\pi Q$$

当charge的分布复杂时，不希望用这种global的方法来表示，因为不够精确，我们可以参考一下定义电场的方法，用极限来定义上面的关系，称下面的定义为outflux per unit volume，
$$div\vec{E}=\underset{V\to 0}{\lim }\frac{1}{V}{\oint }_{S(V)}\vec{E}\cdot d\vec{A}$$

这里$V$表示封闭曲面围成的体积。下面我们讨论一种特殊情况，

在电场存在的空间内考虑体积微元$dV=dxdydz$，某$x$方向强度为$E_x$的电场穿过这个体积微元后受微元内的可能存在的charge的影响变成了$E_x+\frac{\partial E_x}{\partial x}dx$，其他几个方向类似，于是在这个体积微元上，
$$\begin{gathered} {\oint }_{S(V)}\vec{E}\cdot d\vec{A}=\frac{\partial E_x}{\partial x}dxdydz+\frac{\partial E_y}{\partial y}dydzdx+\frac{\partial E_z}{\partial z}dzdxdy \\ \underset{V\to 0}{\lim }\frac{1}{V}{\oint }_{S(V)}\vec{E}\cdot d\vec{A}=\underset{V\to 0}{\lim }\frac{\frac{\partial E_x}{\partial x}dxdydz+\frac{\partial E_y}{\partial y}dydzdx+\frac{\partial E_z}{\partial z}dzdxdy}{dxdydz} \\ =\frac{\partial E_x}{\partial x}+\frac{\partial E_y}{\partial y}+\frac{\partial E_z}{\partial z}=divE \end{gathered}$$