磁场强度切向分量连续性证明

证明：$$\mathbf{n}\times ({\mathbf{H}}_1-{\mathbf{H}}_2)={\mathbf{J}}_s$$

• $\mathbf{n}$ 单位法向量
• ${\mathbf{H}}_1$，${\mathbf{H}}_2$：分界面两侧的磁场
• ${\mathbf{J}}_s$是面电流密度
  
  $\mathbf{t}$是单位切向量，$\mathbf{n}$是单位法向量，$\mathbf{m}$是垂直纸面向外的单位向量，显然$\mathbf{t}=\mathbf{m}\times \mathbf{n}$

令矩形方框上下边无限接近分界面，那么$l_2\to 0$.

$$\Rightarrow \underset{\Gamma }{\oint }\mathbf{H}\cdot d\mathbf{l}={\mathbf{H}}_1\cdot \mathbf{t}{l}_1-{\mathbf{H}}_2\cdot \mathbf{t}{l}_1=({\mathbf{H}}_1-{\mathbf{H}}_2)\cdot (\mathbf{m}\times \mathbf{n})l_1$$

又$I={\int }_{\Omega }{\mathbf{J}}_v\cdot \mathbf{m}ds$，其中$\Omega$为矩形线框包围的区域，${\mathbf{J}}_v$为体电流密度。由于矩形线框面积趋于0，因此体电流密度产生的电流为0。因此通过矩形线框的只有面电流（可以理解为整个电流压缩在面上），则$$I=\underset{L}{\int }{\mathbf{J}}_s\cdot \mathbf{m}dl$$
$L$为矩形线框与分界面相交的线段，长度为$l_2$。

因此

$$({\mathbf{H}}_1-{\mathbf{H}}_2)\cdot \mathbf{t}{l}_1={\mathbf{J}}_s\cdot \mathbf{m}{l}_1$$

$$\Rightarrow ({\mathbf{H}}_1-{\mathbf{H}}_2)\cdot (\mathbf{m}\times \mathbf{n})l_1={\mathbf{J}}_s\cdot \mathbf{m}{l}_1$$

$$\Rightarrow ({\mathbf{H}}_1-{\mathbf{H}}_2)\cdot (\mathbf{m}\times \mathbf{n})={\mathbf{J}}_s\cdot \mathbf{m}$$

根据混合积的轮换对称性$\mathbf{a}\cdot (\mathbf{b}\times \mathbf{c})=\mathbf{c}\cdot (\mathbf{a}\times \mathbf{b})=\mathbf{b}\cdot (\mathbf{c}\times \mathbf{a})$,
$$({\mathbf{H}}_1-{\mathbf{H}}_2)\cdot (\mathbf{m}\times \mathbf{n})=\mathbf{m}\cdot [\mathbf{n}\times ({\mathbf{H}}_1-{\mathbf{H}}_2)]$$
所以
$$\mathbf{m}\cdot [\mathbf{n}\times ({\mathbf{H}}_1-{\mathbf{H}}_2)]=\mathbf{m}\cdot {\mathbf{J}}_s$$

$$\Rightarrow \mathbf{m}\cdot [\mathbf{n}\times ({\mathbf{H}}_1-{\mathbf{H}}_2)-{\mathbf{J}}_s]=0$$

$$\Rightarrow \mathbf{n}\times ({\mathbf{H}}_1-{\mathbf{H}}_2)={\mathbf{J}}_s$$

要注意的是$\mathbf{n}\times \mathbf{H}$不是$\mathbf{H}$在$\mathbf{t}$方向的分量。可以把$\mathbf{H}$沿着$(\mathbf{n},\mathbf{t},\mathbf{m})$构成的局部坐标系分解成三个分量，$\mathbf{H}=H_t\mathbf{t}+H_n\mathbf{n}+H_m\mathbf{m}$。那么$\mathbf{n}\times \mathbf{H}=H_t\mathbf{n}\times \mathbf{t}+H_m\mathbf{n}\times \mathbf{m}=H_t\mathbf{m}-H_m\mathbf{t}$。

如果${\mathbf{J}}_s=0$，那么
$$\mathbf{n}\times ({\mathbf{H}}_1-{\mathbf{H}}_2)=(H_{t1}-H_{t2})\mathbf{m}-(H_{m1}-H_{m_2})\mathbf{t}=0$$
因为$\mathbf{t}$和$\mathbf{m}$是正交的，因此$H_{t1}=H_{t2}$，$H_{m1}=H_{m2}$.

还有疑问

上面证明线积分${\int }_{\Gamma }\mathbf{H}\cdot d\mathbf{l}$的做法是认为$l_2=0$，所以在上面的线积分为0，这是很多教材上采用的说法。

要让$\mathbf{H}$在$l_1$上可以视为不变的的，$l_1$也应是无穷小。$l_1$和$l_2$都是无穷小，只让$l_2=0$有点说不过去。我觉得沿着矩形线框左右两个侧边的线积分互相抵消等于0，这个解释更合理一点。不过这是个人的观点。

$$\begin{array}{rl}\underset{\Gamma }{\oint }\mathbf{H}\cdot d\mathbf{l}=& {\int }_{{\Gamma }^{\text{左}}}\mathbf{H}d\mathbf{l}+{\int }_{{\Gamma }^{\text{右}}}\mathbf{H}d\mathbf{l}+{\int }_{{\Gamma }^{\text{上}}}\mathbf{H}d\mathbf{l}+{\int }_{{\Gamma }^{\text{下}}}\mathbf{H}d\mathbf{l}\\ =& (-{\mathbf{H}}_1\cdot \mathbf{n}\frac{l_2}{2}-{\mathbf{H}}_2\cdot \mathbf{n}\frac{l_2}{2})+({\mathbf{H}}_1\cdot \mathbf{n}\frac{l_2}{2}+{\mathbf{H}}_2\cdot \mathbf{n}\frac{l_2}{2})+{\mathbf{H}}_1\cdot \mathbf{t}{l}_1-{\mathbf{H}}_2\cdot \mathbf{t}{l}_1\\ =& {\mathbf{H}}_1\cdot \mathbf{t}{l}_1-{\mathbf{H}}_2\cdot \mathbf{t}{l}_1\end{array}$$