1. 引言
1.1. 毕奥-萨伐尔定律发现简介
自丹麦物理学家奥斯特(H. C. Oersted, 1777~1851)在1820年发现电流的磁效应以来,磁场的研究得到了较快发展 [1] [2] ,比如,法国数学家兼物理学家安培(A. M. Ampere, 1775~1836)在同年的9月得出判定电流产生磁感应强度方向的右手螺旋定则;10月法国物理学家毕奥 (J. B. Biot, 1774~1862) 和萨伐尔(F. Savart, 1791~1841)发现了直线电流产生的磁感应强度跟到直线的距离成反比,跟电流强度成正比。紧接着,法国数学家、物理学家拉普拉斯(P. S. Laplace, 1749~1827)在毕奥、萨伐尔、安培等人的基础上将电流产生的磁场给出了数学表达式,这就是通常所说的毕奥-萨伐尔定律。在1831年法拉第(M. Farday, 1791~1867)发现了电磁感应现象,1834年他提出了力线概念,可以方便形象地描述电场、磁场,1851年他给出了电磁感应定律。1865年麦克斯韦(J. C. Maxwell, 1831~1879)完整地提出电磁场理论,即麦克斯韦方程组,预言了电磁波的存在并建立了光的电磁波理论,德国物理学赫兹(H. R. Hertz)在1888年用实验证实了电磁波。至止,经典电磁场理论趋于完备。在麦克斯韦方程组中,关于磁场中的高斯(C. F. Gauss 1777~1855)定理的证明,大多电磁学方面的教材是根据磁感应线是闭合的这一性质给予形象证明 [3] [4] [5] 。在文献 [6] [7] 中用毕奥–萨伐尔定律从积分角度给出了严格证明。本文将用从毕奥-萨伐尔定律导出运动电荷产生磁场的公式来证明高斯定理。
1.2. 毕奥-萨伐尔定律
设任意载流导体中的电流强度为I,将其分割为无数电流微元
,其方向规定为该处电流方向,该电流微元在空间任意点P处产生的磁感应强度
为:
(1)
其中
是电流微元到P点的位置矢量,
表示距离,即
的模,用
表示,
为位矢
的单位矢量;
为真空中的磁导率,其值规定为
,
的方向由
的方向决定,
是电流微元矢量
和位矢
的矢积,其方向遵从右手螺旋法则。人们习惯把(1)式叫作毕奥-萨伐尔定律。
设载流导体的横截面积为
,其电流可表为:
(2)
其中q为定向移动电荷的电量,
为定向移动的速度,电流元
,
为该电流微元的体积,
为该电流元内定向移动电荷的电荷总数目,则单个运动电荷产生的磁场为:
(3)
该式揭示了磁场的电本质:磁场由运动电荷产生,也突显了毕奥-萨伐尔定律作为磁场第一性原理的重要性。下面用(3)式证明磁场中的高斯定理。
1.3. 磁场中的高斯定理
在麦克斯韦方程组中,关于磁场中的高斯定理积分形式如下:
(4)
其微分形式为:
(5)
其中
是梯度算符,在直角坐标系中的表达式为
,
分别为
轴的单位矢量。由数学中的高斯定理可证明(4)式和(5)式是等价:
所以,只需证明(5)式成立即可。下面将从两方面来证明。
2. 磁场中的高斯定理的证明
2.1. 运动电荷产生的磁场的高斯定理的证明
不失一般性,设电荷以速度
沿z轴运动,即速度分量分别为
、
、
;其位置为
,它在空间任一点
产生的磁感应强度为
,位矢为
,由公式:
(6)
有:
(7)
先证
:
同理可证明
再证
:
同理可证
故证明:
2.2. 电流产生的磁场的高斯定理的证明
由毕奥-萨伐尔定律 [8] ,电流I在空间P点产生的磁感应强度B是所有电流元在该点产生磁感应强度
(8)
由(8)式有:
上式中第五个等号后的B为单个运动电荷产生的磁感应强度。
由于磁体产生的磁场在本质上讲就是磁体内所有运动电荷(电子和质子)产生的磁感应强度在宏观上的表现,所以磁体产生的磁场由叠加原理可知也是满足高斯定理的。至此我们证明了高斯定理。
3. 结论
建立在实验基础之上的毕奥-萨伐尔定律是磁场的基本原理,由它得出的运动电荷产生的磁场更能深刻反映磁场的实质,(1)式是磁场中的第一性原理,就象牛顿(I. Newton, 1642-1727)的万有引力定律反映物质质量之间的基本作用规律和库仑(C. A. Coulomb, 1736-1806)定律反映物质电量之间的基本作用规律一样。从这一公式出发,本文从微分角度证明了磁场中的高斯定理,该证明对理解磁场的起源和大学物理教学有一定的参考作用。