MRI互易原理学习中向量微积分积分等式推导的技术咨询

嘿，这个问题我在处理静磁学磁化电流相关推导时也碰到过，咱们一步步拆解清楚：

第一步：交换积分顺序 #

等式左边是闭合线积分和体积分的嵌套，因为磁化强度$\vec{M}(\vec{r}')$是有限源（仅在有限区域非零），积分满足收敛性条件，根据富比尼定理，我们可以直接交换两个积分的顺序：
$$
\oint d\vec{l} \cdot \left[\int d^3r' \frac{\vec{\nabla'}\times\vec{M}(\vec{r}')}{\left| \vec{r}-\vec{r}' \right|} \right] = \int d^3r' \oint d\vec{l} \cdot \left[ \frac{\vec{\nabla'}\times\vec{M}(\vec{r}')}{\left| \vec{r}-\vec{r}' \right|} \right]
$$

第二步：用向量恒等式变形被积项 #

接下来要用到一个核心的向量乘积恒等式：
$$
\vec{\nabla}' \times \left( \frac{\vec{M}(\vec{r}')}{|\vec{r}-\vec{r}'|} \right) = \frac{1}{|\vec{r}-\vec{r}'|} \vec{\nabla}' \times \vec{M}(\vec{r}') + \vec{\nabla}'\left( \frac{1}{|\vec{r}-\vec{r}'|} \right) \times \vec{M}(\vec{r}')
$$
把这个恒等式移项，解出我们需要的$\frac{\vec{\nabla}' \times \vec{M}(\vec{r}')}{|\vec{r}-\vec{r}'|}$：
$$
\frac{\vec{\nabla}' \times \vec{M}(\vec{r}')}{|\vec{r}-\vec{r}'|} = \vec{\nabla}' \times \left( \frac{\vec{M}(\vec{r}')}{|\vec{r}-\vec{r}'|} \right) - \vec{\nabla}'\left( \frac{1}{|\vec{r}-\vec{r}'|} \right) \times \vec{M}(\vec{r}')
$$

第三步：用斯托克斯定理消去表面项 #

把上面的结果代入交换顺序后的积分，拆分出两个线积分项：
$$
\int d^3r' \left[ \oint d\vec{l} \cdot \left( \vec{\nabla}' \times \frac{\vec{M}(\vec{r}')}{|\vec{r}-\vec{r}'|} \right) - \oint d\vec{l} \cdot \left( \vec{\nabla}'\left( \frac{1}{|\vec{r}-\vec{r}'|} \right) \times \vec{M}(\vec{r}') \right) \right]
$$

根据斯托克斯定理，闭合线积分$\oint d\vec{l} \cdot (\vec{\nabla}' \times \vec{F})$可以转化为该曲线围成曲面的面积分$\int_S d\vec{S}' \cdot \vec{\nabla}' \times (\vec{\nabla}' \times \vec{F})$。但因为$\vec{M}(\vec{r}')$是有限源，当我们把积分区域扩展到无穷远时，$\frac{\vec{M}(\vec{r}')}{|\vec{r}-\vec{r}'|}$在无穷远的衰减速度是$1/r'^2$，它的旋度衰减更快，对应的面积分会趋近于0——也就是这个表面项可以忽略。

于是第一个线积分项的结果为0，剩下的就是：
$$
\int d^3r' \left[ - \oint d\vec{l} \cdot \left( \vec{\nabla}'\left( \frac{1}{|\vec{r}-\vec{r}'|} \right) \times \vec{M}(\vec{r}') \right) \right]
$$
这正好就是题目中的等式右边。

为什么说这是“分部积分”？ #

在向量微积分里，斯托克斯定理（以及高斯定理）和标量微积分的分部积分作用类似：把微分算子从一个函数转移到另一个函数上，同时产生边界项（这里的表面项）。因为源有限，边界项在无穷远消失，所以只剩下转移微分算子后的积分——这就是书中说的“分部积分（因源有限忽略表面项）”的本质。

内容的提问来源于stack exchange，提问作者damides