第 3 章 · 边界值问题的两板斧

给定电荷与边界，求场——这是静电学的核心题型。Griffiths 把通用武器压缩成两板斧：镜像法（巧解特定构型）与分离变量（系统地解一切可分区域）。

镜像法：用假电荷骗过方程

接地平面 + 电荷 $q$：平面下镜像 $-q$，上半空间场 = 真电荷 + 像电荷的叠加——泊松方程与边界条件同时满足（像电荷根本不在求解区域内）。威力延伸：接地导体球（镜像位置与大小随 $q$ 位置变化）、介质界面（等效镜像电荷）。方法的本质：猜一个解，验证它满足方程与边界，唯一性定理盖章。

唯一性定理：方法的合法性证书

（一）区域内 $\rho$ 给定 + 边界上 $V$ 给定 ⟹ 解唯一；（二）边界给定 $V$（Dirichlet）或 $\partial V/\partial n$（Neumann，差常数）⟹ 解唯一。镜像法、试探解、叠加技巧的全部合法性都由它背书——满足方程 + 满足边界 = 就是那个解，不管你是怎么想到的。

分离变量：系统化的正路

直角坐标：$V = X(x)Y(y)Z(z)$，代入拉普拉斯方程拆成常微分方程，边界条件定常数——展成傅里叶级数满足任意边界。球坐标：$V = \sum (A_lr^l + B_lr^{-l-1})P_l(\cos\theta)$，勒让德多项式 $P_l$ 是球形世界的正交函数库。两个实用定理：

• 平均值定理：无电荷区电位等于球面平均——数值松弛法的原理；
• 多极展开（本章末/第 4 章前奏）：远场 = 单极 + 偶极 + 四极……，$1/r$ 的修正序列——近似计算的正规通道。

老师的提醒

• 解题路线决策树：有对称性？→ 高斯。平面/球面 + 点电荷？→ 镜像。规则区域 + 任意边界？→ 分离变量。不规则？→ 数值（松弛法，原理就是平均值定理）。
• 勒让德多项式的前四个（$1, x, \frac{3x^2-1}{2}, \frac{5x^3-3x}{2}$）与正交积分是球形问题的肌肉，必须练热。

自检

• 叙述两个唯一性定理。
• 镜像法为什么合法？（像电荷在求解区域外）
• 多极展开的首项修正（偶极项）怎么算？

更深一层：唯一性定理——"猜测合法化"的许可证

唯一性定理的全部力量在一句话里：满足泊松方程 + 边界条件的解只有一个。镜像法（猜一个像电荷）、试探解（凑一个形式）、叠加法（拆成简单问题再合成）——这些"奇技淫巧"的全部合法性都由这条定理背书：只要你的解满足方程与边界，它就是那个解，不管你是怎么想到的。这把"猜测"从不严谨的灵感升级为严格的数学方法——这是数学物理里罕见的"捷径通行证"。

多极展开的实用化也值得单列：远场 $V(\mathbf{r}) = \frac{1}{4\pi\epsilon_0}(\frac{Q}{r} + \frac{\mathbf{p}\cdot\hat r}{r^2} + \dots)$——任意电荷分布的远场被压缩成"单极 + 偶极 + 四极"的阶梯。这个阶梯是"分子电学"与"天线方向图"的公共语言：偶极矩是分子的电磁指纹、天线的方向性由多极分解读出。

推导细读：镜像法的"适用范围边界"

镜像法不是万能巧：它只对平面、球面、圆柱面等几何有效（像电荷的位置由几何约束唯一确定），且只对点电荷 + 导体/介质界面的组合有效。导体平面 + 点电荷是最干净的标本（像电荷 = 镜像反号）；介质界面的"像电荷强度按介电常数比调整"是推广（$\epsilon_1/\epsilon_2$ 的比值决定镜像极性与强度——玻璃里的电荷产生不同的镜像）。镜像法的适用条件比它的威力更值得记住：用错几何会给出错误解而唯一性定理会背锅（其实是你凑错了边界条件）。

在真实世界里：分离变量的"坐标系决定论"

分离变量的适用取决于边界形状与坐标系的匹配：直角坐标（方形）、球坐标（球形边界——勒让德多项式）、柱坐标（圆柱——贝塞尔函数）。坐标系选对了，复杂边值问题变成级数求和；选错了，寸步难行。工业级的对应：圆波导模式（柱坐标/贝塞尔）、球面天线（球坐标/勒让德）、PCB 过孔（直角坐标/傅里叶）。先按几何选坐标系，再谈解法——这条纪律在 PDE 数值方法（有限元的坐标选择）里同样成立。

专题深入：分离变量的"适配游戏"完整版

Griffiths 讲边界值问题的骨架是解适配：拉普拉斯方程 $\nabla^2 V = 0$ 的分离变量解在不同坐标系长不同样子（直角坐标 $X(x)Y(y)Z(z)$ 指数/三角组合；球坐标 $r^l$ 乘勒让德多项式 $P_l(\cos\theta)$；柱坐标贝塞尔函数），每个解自带"适配器"，谁先匹配边界谁胜出。直角坐标盒子的解是无穷级数 $\sum c_n \sinh(n\pi z/a)\sin(n\pi x/a)$——系数由"顶盖电压"的傅里叶展开定出；球坐标的普适展开 $V = \sum A_l r^l + B_l/r^{l+1}$ 乘 $P_l$——勒让德多项式的正交性是投影仪，把任意边界数据分解到 $l$ 通道。这套流程与量子力学（氢原子）、热传导、波动问题完全同构——"偏微分方程 + 正交函数系 + 边界投影"是数学物理的通用机。

推导细读：唯一性定理的"两板斧合法性"完整版

唯一性定理的两版本都要会陈述与使用：第一版（狄利克雷边界：区域边界给定 $V$）——若 $V_1, V_2$ 都满足拉普拉斯方程与同一边界值，则 $W = V_1 - V_2$ 边界为零、内部调和；由极值原理（调和函数最大值在边界），$W$ 内部只能为零。第二版（诺伊曼边界：给定 $\partial V/\partial n$）同样成立、差一个可加常数。唯一性是全部"聪明解法"的许可证：镜像法、试探解法、数值松弛法的合法性都来自"找到一个满足方程与边界的解就够了"——猜出来的解与算出来的解同等合法。这个方法论在工程数值里直接对应有限元的"变分弱形式"：泛函极小化的解唯一，找法随意。

工程案例细节：数值松弛与工程 ECG 的"祖师爷"工程版

迭代松弛法是拉普拉斯方程的工程化直接产物：网格每点取四邻平均、迭代至收敛，收敛因子优化成 SOR（逐次超松弛）可加速数倍——Griffiths 习题 3.47 就是手写静电松弛代码，它是理解现代有限元（COMSOL、ANSYS Maxwell）的最小内核。应用案例链：电子透镜（旋转对称电极序列的等势面 shaping——电子显微镜与离子注入机的聚焦核心）；静电透镜的傍轴方程（ $r'' + \frac{V'}{2V}r' + \frac{V''}{2V}r = 0$，焦距可调）；MEMS 梳齿驱动电容（边界值问题的解析近似 + 数值修正决定驱动力的设计裕量）。"解拉普拉斯方程"从铅笔纸面走到光刻版图，方法论没有换过。