积分定理
矢量积分定理与麦克斯韦方程
物理问题引入:如何连通「局域微分场」与「宏观通量测量」?
在经典电磁学中,物理定律往往同时拥有两种表述:
- 微分形式(局域性):空间任意一点电荷密度与电场散度直接相关 ∇ ⋅𝑬 =𝜌𝜀0nabla*E = varepsilon_0;时变磁场激发局部涡旋电场 ∇ ×𝑬 = −𝜕𝑩𝜕𝑡nabla*E = -dBd t;
- 积分形式(宏观测量):穿过闭合曲面的总电通量等于包围的总电荷量 ∯𝑬 ⋅d𝑺 =𝑄enc𝜀0oiint E*dS = Q_encvarepsilon_0;沿闭合导线环路的感应电动势等于穿过回路磁通量的变化率 ∮𝑬 ⋅d𝒓 = −dΦ𝐵d𝑡oint E*dr = -dPhi_Bdt.
这两种表述为什么能完全等价?连接微观局域偏微分与宏观可测量积分的坚固桥梁,就是矢量微积分的两大皇冠积分定理与格林恒等式.
1. 高斯散度定理(Gauss's Divergence Theorem)
定理陈述
设 𝑉V 为三维空间中的有界闭区域,边界曲面 𝑆 =𝜕𝑉S = d V 是分块光滑的闭合曲面,外法线方向取为正方向. 若矢量场 𝑭(𝒓)F(r) 及其一阶偏导数在 𝑉V 上连续,则:
∯𝑆𝑭⋅d𝑺=∭𝑉(∇⋅𝑭)d𝑉oiint_S F * dS = iiint_V (nabla * F) , dV物理直观:
- 闭合曲面内无穷多个无限小微元各自向外喷发的净源通量,在相邻界面处相互抵消;
- 最终只有边界曲面上的净溢出通量得以幸存!曲面总通量等于体内部全部散度源的代数积分.
麦克斯韦高斯定理的推导
将 𝑭 =𝑬F = E 代入,右端利用微观高斯方程 ∇ ⋅𝑬 =𝜌𝜀0nabla*E = varepsilon_0:
∯𝑆𝑬⋅d𝑺=∭𝑉𝜌(𝒓)𝜀0d𝑉=1𝜀0𝑄enclosedoiint_S E * dS = iiint_V rho(r)varepsilon_0 dV = 1varepsilon_0 Q_enclosed无需任何经验假设,积分高斯通量定律直接由散度定理纯数学得出!
2. 斯托克斯旋度定理(Stokes' Curl Theorem)
定理陈述
设 𝑆S 为分块光滑的开曲面,其边界 𝜕𝑆 =𝐶d S = C 为分段光滑的简单闭合曲线,曲线方向与曲面法向量 ˆ𝑛n 满足右手螺旋法则. 若矢量场 𝑭(𝒓)F(r) 在 𝑆S 及其边界上连续可微,则:
∮𝐶𝑭⋅d𝒓=∬𝑆(∇×𝑭)⋅d𝑺oint_C F * dr = iint_S (nabla * F) * dS物理直观:
- 曲面上每一个微小网格单元沿边界环流流动,相邻网格的内边流动反向抵消;
- 最终全曲面各点局域漩涡强度的通量总和,精确等于最外圈宏观回路的总环流!
法拉第电磁感应定律的推导
将 𝑭 =𝑬F = E 代入,利用微观法拉第方程 ∇ ×𝑬 = −𝜕𝑩𝜕𝑡nabla*E = -dBd t:
∮𝐶𝑬⋅d𝒓=∬𝑆(−𝜕𝑩𝜕𝑡)⋅d𝑺=−dd𝑡∬𝑆𝑩⋅d𝑺=−dΦ𝐵d𝑡oint_C E * dr = iint_S left(-dBd tright) * dS = -ddtiint_S B * dS = -dPhi_Bdt环路感应电动势严格等于磁通量随时间的变化率!
3. 格林恒等式(Green's Identities)
将高斯散度定理应用于标量场与梯度场的乘积 𝑭 =𝜓∇𝜙F = psi nablaphi,利用矢量微商积法则:
∇⋅(𝜓∇𝜙)=∇𝜓⋅∇𝜙+𝜓∇2𝜙nabla*(psi nablaphi) = nablapsi * nablaphi + psi nabla^2phi代入散度定理,即得到 格林第一恒等式(Green's First Identity):
∯𝑆𝜓𝜕𝜙𝜕𝑛d𝑆=∭𝑉(∇𝜓⋅∇𝜙+𝜓∇2𝜙)d𝑉oiint_S psi dd n dS = iiint_V left( nablapsi * nablaphi + psi nabla^2phi right) dV交换 𝜓psi 与 𝜙phi 的角色相减,立刻得到著名的 格林第二恒等式(Green's Second Identity):
∯𝑆(𝜓𝜕𝜙𝜕𝑛−𝜙𝜕𝜓𝜕𝑛)d𝑆=∭𝑉(𝜓∇2𝜙−𝜙∇2𝜓)d𝑉oiint_S left( psi dd n - phi dd n right) dS = iiint_V left( psi nabla^2phi - phi nabla^2psi right) dV格林恒等式在电磁学中的两大神级推论
- 静电场唯一性定理:令 𝜓 =𝜙psi = phi 为同一边值条件下两个解的差 𝛿𝜙deltaphi,第一恒等式直接证明 ∭|∇𝛿𝜙|2d𝑉 =0 ⟹ ∇𝛿𝜙 =0iiint |nabladeltaphi|^2dV = 0 implies nabladeltaphi = 0,证明了给定导体边界电势时内部电场严格唯一!
- 格林函数边值积分表示:在第二恒等式中令 𝜓 =𝐺(𝒓,𝒓′)psi = G(r, r'),利用 ∇2𝐺 =𝛿nabla^2 G = delta,直接推导出非齐次边界条件下任意电势的边界积分闭合通解!
4. 学习衔接
本页面最近更新:2026/10/1 10:49:01,更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面贡献者:Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用