安培环路定理公式推导-安培环路定理推导

要搞懂安培环路定理，咱们就得不整那些教科书里那种“起初、其次、最终”的流水账，直接上劲。想象一下，你在真空中煮一锅开水，锅盖上的水蒸气散开，这就是电场；而电流在导线里跑，它形成的磁场就像是一团看不见的能量漩涡，死死地缠绕在那根导线上。
这时候要是强行把铁屑塞进导线里，你会发现那些小颗粒会沿着导线跑，形成一个个规整的环，这个现象叫“形状效应”。 那我们就用这团看不见的能量，做个好办的推导。从定义出发，安培环路定理的本质就是磁场的强度 $B$ 和电流 $I$ 之间的一种关系，说白了就是磁场的线积分等于电流的代数总和。写公式就是 $oint B cdot dl = mu_0 I_{enc}$，这个符号一看就知道，$oint$ 代表闭合路径上的积分，$dl$ 是路径上取一小段长度，$B cdot dl$ 就是那一小段上的磁场分量。 来，咱们换个角度，别光看符号，看看物理过程。假设有一个长直通电导线，电流沿着 Z 轴方向往上流。我们在它周围某一点 P 拉一根闭合回路，比如是个正方形，沿着逆时针方向绕。
这时候，磁场 $B$ 的方向跟电流方向垂直，并且距离越远，磁场越弱，方向也一样，就是向左的（要是电流向上，磁场就是逆时针，右手手心朝电流，大拇指指向上，四指弯曲方向就是磁场）。 目前我们要算这条线积分。沿着导线的那一段，$B$ 垂直于 $dl$，点积就是零，绕那会儿的那两段，别看磁场存有，可是方向跟路径切线垂直，也是零。
故此整个环路上的积分就只剩下中间那一段了。
这一段上，$B$ 是常量，$dl$ 也是常量，它们都垂直。咱们得先算出这一段的 $B$ 有多大。根据毕奥 - 萨伐尔定律的微分形式，要么更直观地用长直导线公式，单位长度上的磁场大小 $B = mu_0 I / 2pi r$。
这里 $r$ 是点到导线的距离。
故此在这段直导线上的磁通量微元就是 $B cdot dl = (mu_0 I / 2pi r) cdot dl$。 接下来是积分局部。沿着导线，$I$ 是恒定的 $I$。
故此积分就变成了对 $dl$ 从起点到终点的积分。
这里有个关键点，这段直导线围成的圆周长是 $pi r + pi r = 2pi r$（假设导线半径为 $R$，半圆半径为 $r$）。出于 $r$ 和 $R$ 在这里区分，故此积分结局就是 $mu_0 I / 2pi r$。 最终一步是结合。把 $B$ 和 $dl$ 结合，沿着路径积分。
什么的，这个推导仿佛有点绕，咱们换个更通俗的切入点。 实际上安培环路定理的推导，核心就在于“闭合回路磁通量为零”这个事实。
你看，磁场是有源还是无源？在无磁荷的地方，磁场是无源场，甭管路径选多复杂，绕一圈回到起点，总磁通量一辈子等于零。但这跟电流有啥关系呢？ 这就回到了磁矢势的概念。在真空中，磁场 $B$ 能够写成 $B = nabla times A$，也就是旋度。
那么线积分 $oint ( nabla times A ) cdot dl$，根据斯托克斯定理，这就等于穿越这个闭合回路面的矢量积分 $iint (nabla times A) cdot dS$。
这意味着线积分等于穿过该回路的“磁矢势”的散度的积分。 为啥线积分会等于电流？出于电流 $I$ 就是磁矢势 $A$ 的空间导数 $frac{partial A}{partial z}$（假设电流沿 Z 轴）。
故此 $nabla times (frac{partial A}{partial z}) = 0$？不对，这里有个著名的数学定理叫达朗贝尔定理，对散度求导等于对旋度求导，对度算等于对散度求导。
故此 $nabla times (nabla cdot A) = 0$，这话听起来有点绕，咱们不展开数学证明。 换个说法，电流形成的磁场，其环路积分等于电流。
这个结论如何来的？实际上是出于在真空中没有磁单极子。
要是存有磁单极子，线积分可能就不等于电流了。但在现实物理中，磁单极子不存有，故此磁场的旋度处处为零，进而线积分才等于电流。 再来讲个具体的例子。假设我们有一个无限长的载流导线，电流是 $I$。我们在垂直于导线的平面里画一个圆回路。根据安培环路定理，这个回路上的积分 $oint B cdot dl$ 应当等于 $mu_0 I$。我们来验证一下。在圆回路内，磁场大小是 $B = frac{mu_0 I}{2pi r}$，方向是切线方向。
故此积分结局是 $int_0^{2pi} frac{mu_0 I}{2pi r} R dtheta = mu_0 I$。
哎，这就对上了。 什么的，是不是好办的长直导线就能说明一切？实际上不是。长直导线只是特例。
一般情况下的推导，一般是通过矢量分析，把电流密度 $J$ 代入。我们知道 $nabla times B = mu_0 J$。两边对这个回路做线积分，左边就是安培环路定理，右边就是 $iint mu_0 J cdot dS$。出于 $J$ 是在导体里，导体外 $J=0$，故此积分区域就缩小到了导体内部。 咱们再回头看看那个积分过程。在均匀磁场 $B$ 中，$oint B cdot dl = B cdot oint dl = B cdot L$，其中 $L$ 是路径长度。在长直导线中，$B$ 是均匀的，$L$ 就是导线的截面积积分。
故此 $iint B cdot dS = B cdot S = frac{mu_0 I}{2pi r} cdot S$。
这看起来跟电流 $I$ 相关，但跟 $r$ 也相关系。 这里有个矛盾，为啥长直导线能导出 $B = mu_0 I / 2pi r$？出于那是从毕奥 - 萨伐尔定律推导出来的，而安培环路定理是从麦克斯韦方程组（特别是 $nabla times B = mu_0 J$）推导出来的。
故此，安培环路定理是物理基础，毕奥 - 萨伐尔定律是具体表现形式。 咱们再深入一点，看看磁矢势 $A$ 的散度。在电磁学里，$nabla cdot A = 0$ 对于无磁荷的情况成立。
故此 $nabla times B = mu_0 J$ 意味着 $nabla cdot (nabla times A) = 0$，也就是 $nabla cdot J = 0$，电流守恒。
这也侧面印证了安培环路定理的普遍性。 要是磁单极子存有，比如有一个正磁荷 $q_m$，那么 $nabla cdot B neq 0$。
这时候 $oint B cdot dl$ 就不等于 $mu_0 I$ 了，而是等于 $mu_0 I + (text{磁荷项})$。但在我们的世界里，没有磁单极子，故此 $oint B cdot dl = mu_0 I_{enc}$ 一辈子成立。 这就解释了为啥长直导线模型里，积分结局里会有 $1/r$ 这种因子。出于那是沿着路径积分，路径上的 $r$ 在变，故此积分结局依赖于 $r$。但在题目中，我们一般取一段特定的路径，比如无限长的直线段，这时候 $r$ 是常数，积分结局就是 $B cdot L = mu_0 I$。 故此，安培环路定理的推导链条实际上挺清楚：麦克斯韦方程组 $to nabla times B = mu_0 J$ $to$ 线积分 $to$ 电流 $I$。
只要 $nabla cdot B = 0$（无磁荷），这个等式就成立。正是出于磁单极子的缺失，磁场才构成了无源场，线闭合回路的积分为非零且仅与源电流相关。 最终总结一下，这个定理告诉我们，磁场一直围绕电流形成闭合的环状面。想算出某处的磁场，要么用毕奥 - 萨伐尔定律直接积分，要么直接用安培环路定理，要是回路设计得好，另一边就省事了。
这就是电磁场统一的一个关键体现，也是麦克斯韦方程组最简洁、最漂亮的局部。