跳转至

积分定理

矢量积分定理与麦克斯韦方程

物理问题引入:如何连通「局域微分场」与「宏观通量测量」?

在经典电磁学中,物理定律往往同时拥有两种表述:

  • 微分形式(局域性):空间任意一点电荷密度与电场散度直接相关 ∇⋅E=ρε0nabla*E = varepsilon_0;时变磁场激发局部涡旋电场 ∇×E=−∂B∂tnabla*E = -dBd t;
  • 积分形式(宏观测量):穿过闭合曲面的总电通量等于包围的总电荷量 ∯E⋅dS=Qencε0oiint E*dS = Q_encvarepsilon_0;沿闭合导线环路的感应电动势等于穿过回路磁通量的变化率 ∮E⋅dr=−dΦBdtoint E*dr = -dPhi_Bdt.

这两种表述为什么能完全等价?连接微观局域偏微分与宏观可测量积分的坚固桥梁,就是矢量微积分的两大皇冠积分定理与格林恒等式.


1. 高斯散度定理(Gauss's Divergence Theorem)

定理陈述

设 VV 为三维空间中的有界闭区域,边界曲面 S=∂VS = d V 是分块光滑的闭合曲面,外法线方向取为正方向. 若矢量场 F(r)F(r) 及其一阶偏导数在 VV 上连续,则:

∯SF⋅dS=∭V(∇⋅F)dVoiint_S F * dS = iiint_V (nabla * F) , dV

物理直观:

  • 闭合曲面内无穷多个无限小微元各自向外喷发的净源通量,在相邻界面处相互抵消;
  • 最终只有边界曲面上的净溢出通量得以幸存!曲面总通量等于体内部全部散度源的代数积分.

麦克斯韦高斯定理的推导

将 F=EF = E 代入,右端利用微观高斯方程 ∇⋅E=ρε0nabla*E = varepsilon_0:

∯SE⋅dS=∭Vρ(r)ε0dV=1ε0Qenclosedoiint_S E * dS = iiint_V rho(r)varepsilon_0 dV = 1varepsilon_0 Q_enclosed

无需任何经验假设,积分高斯通量定律直接由散度定理纯数学得出!


2. 斯托克斯旋度定理(Stokes' Curl Theorem)

定理陈述

设 SS 为分块光滑的开曲面,其边界 ∂S=Cd S = C 为分段光滑的简单闭合曲线,曲线方向与曲面法向量 n^n 满足右手螺旋法则. 若矢量场 F(r)F(r) 在 SS 及其边界上连续可微,则:

∮CF⋅dr=∬S(∇×F)⋅dSoint_C F * dr = iint_S (nabla * F) * dS

物理直观:

  • 曲面上每一个微小网格单元沿边界环流流动,相邻网格的内边流动反向抵消;
  • 最终全曲面各点局域漩涡强度的通量总和,精确等于最外圈宏观回路的总环流!

法拉第电磁感应定律的推导

将 F=EF = E 代入,利用微观法拉第方程 ∇×E=−∂B∂tnabla*E = -dBd t:

∮CE⋅dr=∬S(−∂B∂t)⋅dS=−ddt∬SB⋅dS=−dΦBdtoint_C E * dr = iint_S left(-dBd tright) * dS = -ddtiint_S B * dS = -dPhi_Bdt

环路感应电动势严格等于磁通量随时间的变化率!


3. 格林恒等式(Green's Identities)

将高斯散度定理应用于标量场与梯度场的乘积 F=ψ∇ϕF = psi nablaphi,利用矢量微商积法则:

∇⋅(ψ∇ϕ)=∇ψ⋅∇ϕ+ψ∇2ϕnabla*(psi nablaphi) = nablapsi * nablaphi + psi nabla^2phi

代入散度定理,即得到 格林第一恒等式(Green's First Identity):

∯Sψ∂ϕ∂ndS=∭V(∇ψ⋅∇ϕ+ψ∇2ϕ)dVoiint_S psi dd n dS = iiint_V left( nablapsi * nablaphi + psi nabla^2phi right) dV

交换 ψpsi 与 ϕphi 的角色相减,立刻得到著名的 格林第二恒等式(Green's Second Identity):

∯S(ψ∂ϕ∂n−ϕ∂ψ∂n)dS=∭V(ψ∇2ϕ−ϕ∇2ψ)dVoiint_S left( psi dd n - phi dd n right) dS = iiint_V left( psi nabla^2phi - phi nabla^2psi right) dV
格林恒等式在电磁学中的两大神级推论
  1. 静电场唯一性定理:令 ψ=ϕpsi = phi 为同一边值条件下两个解的差 δϕdeltaphi,第一恒等式直接证明 ∭|∇δϕ|2dV=0⟹∇δϕ=0iiint |nabladeltaphi|^2dV = 0 implies nabladeltaphi = 0,证明了给定导体边界电势时内部电场严格唯一!
  2. 格林函数边值积分表示:在第二恒等式中令 ψ=G(r,r′)psi = G(r, r'),利用 ∇2G=δnabla^2 G = delta,直接推导出非齐次边界条件下任意电势的边界积分闭合通解!

4. 学习衔接



评论