梯度、散度和旋度·
∇ 算子·
∇最早是由哈密尔顿作为一个记号用作四元数的运算,我暂时将它理解成一个普通的三维矢量
∇=∂x∂i+∂y∂j+∂z∂k
麦克斯韦在统一电磁理论的过程中用到了它。
当∇作用于变量时可以得到该标量在空间中的梯度,梯度是一个矢量场,表示s在空间内某个位置沿某个方向的变化量。
grads=∇s=∂x∂si+∂y∂sj+∂z∂sk
在某一特定方向e上的梯度
∇s⋅e=∣∇s∣cos(∇s,e)
当cos(∇s,e)=1时,即梯度方向与该方向相同时,梯度的值最大。
在标量场中,将等值的点连成线,可以借助等值线研究标量场随位置变化的特征:沿等值线法向,标量场变化所需的距离最短,垂直法向,标量场的值不变,标量场沿法向的变化率表示为
l→0limlst−s0
为这个极限加上法向方向,定义梯度为grads
grads=l→0limlst−s0en=∂l∂sen
将标量场放到平面直角坐标系中研究,
其中,则 s(x+Δx,y+Δy)−s(x,y)=∂x∂sΔx+∂y∂sΔy+o(Δx2+Δy2)Δx2+Δy2=ll→0limls(x+Δx,y+Δy)−s(x,y)=∂x∂scosα+∂y∂ssinα,α 为梯度与 x 轴夹角
∇与一个矢量点乘得到矢量场的散度,表示空间内流出或流入某一区域的矢量的多少,表达式如下
divv=∇⋅v=∂x∂v+∂y∂v+∂z∂v
计算流体的流量,设流速方向与截面法矢量s的夹角为θ,流量可以表示为Φ=ρvScosθ=ρv⋅s
流速方向与截面法矢量方向成锐角时通量取正(一般将截面由里指向外定义为截面法向,即矢量场的源在曲面内部)如果曲面闭合,通量可以写成Φ=∬Sv⋅ds。我们要想了解到场中的某个点的特征,就需要将闭合曲面不断缩小,同时包围的体积也在缩小,用VsΦ来描绘矢量场中的某个点的特征
divv=S→PlimVSΦ=S→PlimVS1∬Sv⋅ds
当我们把矢量放到坐标系中研究,矢量沿x,y,z轴都具有通量,设三个方向的通量分别为Φx,Φy,Φz,则
Φdivv=Φx+Φy+Φz=∬Sxvx⋅dsx+∬Syvy⋅dsy+∬Szvz⋅dsz=S→PlimVSΦ=S→PlimVSΦx+Φy+Φz=∂x∂vx+∂y∂vy+∂z∂vz
从推导出的表达式可以看出,散度是一个标量,是某点通量对体积的变化率,表示该点出场源的强度。
∭V∇⋅vdV=∬Sv⋅dS
通量和散度都可以反映场的“源”,通量宏观定义在了一个曲面上,而散度围观定义在了某个小区域上。从散度的角度出发,将所有的源头流出的通量积分就得到了通过曲面的通量。
∇与矢量的叉乘得到矢量场的旋度,代表矢量做旋转运动的方向和强度
rotv=∇×v=i∂x∂vxj∂x∂vyk∂x∂vz=(∂y∂vz−∂z∂vy)i+(∂z∂vx−∂x∂vz)j+(∂x∂vy−∂y∂vx)k
矢量沿某条有向曲线的积分为
Γ=∮Cv⋅dl
称为矢量沿有向曲线的环流量。与通量和散度的关系类似,想要了解矢量场中某点的“涡旋”特征,可以将包围该点的闭合曲线缩到该点,类似地,考虑环流量与SL比值的极限
L→PlimSLΓ=SL1∮Lv⋅dl
环流量对面积的变化率(环流量密度)反映了矢量场在某点的环流量强度。与散度不同的是,包含某个点的闭合曲线所围区域的法向有无数种,因此我们需要指明其所指向的方向。在所有的方向中,有唯一一个使得矢量v的环流量密度取最大值,将这个方向对应的矢量记作rotv.
接下来,我们将旋度放在坐标系中,将其沿x,y,z轴方向分解:
沿x轴分解,投影到yOz平面上(取右手螺旋方向为正),
∮Lxv⋅dl=vy+Δy+vz+Δz−vy−Δy−vz−ΔzSyOz∮Lxv⋅dl=ΔyΔz∮Lxv⋅dl=Δyvz+−vz−−Δzvy−−vy+Δy→0,Δz→0limΔyvz+−vz−−Δzvy−−vy+=∂y∂vz−∂z∂vy
同理,沿y轴的分量为∂z∂vx−∂x∂vz,沿z轴的分量为∂x∂vy−∂y∂vx,综上,在直角坐标系中旋度表示为
rotv=(∂y∂vz−∂z∂vy)i+(∂z∂vx−∂x∂vz)j+(∂x∂vy−∂y∂vx)k
类似的,矢量v的环量与散度有如下关系,
∬S(∇×v)⋅dS=∮Lv⋅dl
梯无旋、旋无散·
按照四元数乘法法则,
∇∇=−∇⋅∇+∇×∇=−(∂x2∂2+∂y2∂2+∂z2∂2)+(ij+ji)∂x∂y∂2+(jk+kj)∂y∂z∂2+(ki+ik)∂x∂z∂2=−∇2
得到的∇2称为拉普拉斯算子。
将两个拉普拉斯算子与一个标量相乘:
如果先算前两个,则有
∇∇s=−∇2s
如果先算后两个,则有,
∇∇s=∇(∇s)=−∇⋅∇s+∇×∇s
乘法具有结合律,则两次的一定相同,则∇×∇s=0,即梯度的旋度为0.
将两个拉普拉斯算子与一个矢量相乘:
先算前两个,则有
∇∇v=−∇2v
先算后两个,则有
∇∇v=∇(−∇⋅v+∇×v)=−∇(∇⋅v)+∇(∇×v)=−∇(∇⋅v)+(−∇⋅(∇×v)+∇×(∇×v))
对比这两个结果(旋度的散度为0),
{Scalar:Vector:−∇⋅(∇×v)=0,−∇(∇⋅v)+∇×(∇×v)=−∇2v
麦克斯韦方程组·
麦克斯韦方程组描述电场和磁场的通量和环量特征,微分形式就是在微观角度考察场中的某个点,即矢量的散度和旋度
电荷守恒定律·
对于电路中的电流来说,用电流强度I衡量它的大小,定义单位横截面上的电流大小为电流密度j,方向垂直于电流方向的单位横截面,也就是说电流密度是一个矢量,满足dI=j⋅dS
电荷守恒定律:从S面流出的电量等于这段时间内S面包含的电荷的减少量,单位时间内有
∬Sj⋅dS=−Δq∇⋅j=−∂t∂ρ(Differentialform)
静电场·
以点电荷为例,电场线由电荷向四周发散,与以电荷为球心的球面处处垂直,对于半径为r的闭合球面,电场线的通量为
∬SE⋅dS=4πε01r2q⋅4πr2=ε0q(Gaussiontheorem)
通过表达式可以看出,高斯定理是利用矢量场的通量来描述矢量场。
在静电场中移动检验电荷,静电力做功只与始末位置有关,
∫ABqE⋅dl=4πε0qq(rA1−rB1)
如果始末位置重合,上述积分为0,可以得到
∮lE⋅dl=0
即静电场的环路定理。
毕奥-萨伐尔定律·
毕奥和萨伐尔通过实验得出了电流对磁极的作用力dF=kr2I×dl,安培在同时期通过实验确定里两个电流源之间作用力的规律dF=kr2(I1dl1)(I2dl2),两个规律均满足平方反比律。电流元之间作用的媒介是电流激发的磁场,为描述这个场,类比于电场强度的定义,我们根据检验电流元所受的安培力定义磁感应强度,dF=dB1×(I2dl),dB=kr2Idl,比例系数k=4πμ0,则有
dB=4πμ0r2Idl×er
以通电直导线为例,场源电流是恒定电流,磁感线是封闭曲线,那么通电直导线激发的磁场对闭合曲面来说,磁场的通量为0(磁场的高斯定理).
∬SB⋅dS=0
以距导线半径为r的磁感线为路径,根据毕奥-萨伐尔定律,此路径上各处的磁感应强度为B=2πrμ0I,磁场在这条闭合路径的环量为(磁场的环路定理)
∮LB⋅dl=B⋅2πr=μ0I
这里I指的是穿过以L为边界的区域的电流。
法拉第电磁感应定律·
通过电路的磁通量发生变化时,产生感应电动势,其大小取决于磁通量变化的快慢,如果电路闭合,就会产生感应电流,表达式如下
E=−dtdΦ=−dtd∬SB⋅dS
在电路中,电动势表示单位正电荷从电源负极移动到正极时,非静电力做的功,非静电力由负极指向正极,表达式中的负号表示非静电力的方向。闭合电路中感应电流使它激发的磁场来阻碍引起感应电流的磁通量的变化(楞次定律),那么原磁通量变化需要外界提供能量,原磁通量变化才会产生感应电流,这个负号就表示了这个过程中的能量守恒。
动生电动势是导体中的自由电荷收到非静电力(洛伦兹力)发生了定向移动。对于感生电动势,电荷受到的非静电力是变化的磁场本身引起的,变化的磁场会激发电场,在闭合电路中,激发电场使电荷发生定向移动,产生感应电流,这种激发电场不是静电场,其电场线是闭合的,称为涡旋电场。
对于闭合回路来说,涡旋电场对电荷的非静电力做功为
W=∮LqE⋅dl=−∬S∂t∂B⋅dS
当磁场没有变化时,即为静电场的环路定理,
∮LE⋅dl=−∬S∂t∂B⋅dS
电容器·
如果电路中有电容器,就会存在充电和放电现象,此时电流是变化的,再次考虑磁场的环路定理,对于一个闭合曲线L,通过以它为边界的不同闭合曲面的电流可能不相等,计算得到的磁场的环量也不同,此时电荷守恒定律与磁场的环路定理产生了矛盾。
电极板上的电量会因为充放电而发生变化,根据电场的高斯定理∬SE⋅dS=ε0q,其中E是电容器中的电场强度
则 ∬Sj⋅dS=−dtdq=−ε0∬S∂t∂E⋅dS∬S(j+ε0∂t∂E)⋅dS=0
其中j称为电流密度,ε0∂t∂E称为位移电流密度(好像和电流没啥关系)。由此,将磁场的环路定理改为
∮LB⋅dl=∬μ0(j+ε0∂t∂E)⋅dS
麦克斯韦方程组·
⎩⎨⎧电场的高斯定理:∬SE⋅dS=ε0q电场的环路定理:∮LE⋅dl=−∬S∂t∂B⋅dS磁场的高斯定理:∬SB⋅dS=0磁场的环路定理:∮LB⋅dl=∬Sμ0(j+ε0∂t∂E)⋅dS
下面考察场中某个点的矢量特征,
电场强度的通量:闭合曲面内的电量:高斯定理变为:微分得到:同理得到:∬SE⋅dS=∭V(∇⋅E)dVq=∭VρdV∭V(∇⋅E)dV=ε01∭VρdV∇⋅E=ε0ρ∇⋅B=0
微分得到:同理可得:∮LE⋅dl=∬S(∇×E)⋅dS=−∬S∂t∂B⋅dS∇×E=−∂t∂B∇×B=μ0(j+ε0∂t∂E)
于是我们得到麦克斯韦方程组的微分形式,
电场的散度:电场的旋度:磁场的散度:磁场的旋度:∇⋅E=ε0ρ∇×E=−∂t∂B∇⋅B=0∇×B=μ0(j+ε0∂t∂E)
讨论
评论