2.1 电磁场理论基础

2.1 电磁场理论基础

本节摘要：本章的数学起点：无源介质中的麦克斯韦方程组可化成关于磁场分量的厄米本征值问题，介电函数倒数是方程的"势能项"；布洛赫定理保证周期结构的解可写成平面波乘周期函数，从而把无穷大晶体的问题折叠进一个原胞；二维问题里 TE 与 TM 偏振解耦，必须分别计算。

从真空到介质：方程里什么变了

本节是全章的地基。上一章我们把带隙描述成"本征解里缺席的频率"，但那句话成立的前提是：周期介电结构中的麦克斯韦方程组确实构成一个标准本征值问题。本节就把这个前提钉牢。先看变化发生在哪里——真空中的光是自由波，方程的解是任意方向的平面波，频率与波矢由一条简单的色散直线联系；进入非均匀介质后，介电常数成为位置的函数，光波在空间每一点被不同程度地"拖慢"，方程从自由波动方程变成了带空间调制项的波动方程。这个调制项扮演的角色，与量子力学里晶格势场在薛定谔方程中扮演的角色完全同构——固体物理的全部数学机器因此有了用武之地。

把麦克斯韦方程组变成本征值问题

推导的起点是无源、线性、各向同性介质中的两个旋度方程。消去电场分量，可得到只含磁场的方程：对磁场做旋度运算，左边出现磁场的拉普拉斯项，右边出现介电函数倒数与磁场旋度的再旋度。写成算符形式就是：某个由介电函数倒数构造的厄米算符作用在磁场上，等于频率平方（以光速与波矢归一化后）乘磁场本身。这正是标准的本征值问题形态，厄米性保证了本征频率是实数、不同本征模可以正交归一——数值计算的全部合法性都建立在这里。

有几个细节值得停留。其一，为什么选磁场而不是电场做主变量：因为该算符对磁场严格厄米，对电场则不然（介电函数以更麻烦的方式进入电场方程），数值方法几乎都拿磁场开刀，电场事后恢复。其二，介电函数倒数出现在算符里，意味着低介电区（空气孔）的场权重更大——这是后面理解"为什么空气孔阵列对带隙贡献大"的数学根源。其三，频率以平方形式出现，所以能带图上关于零频率的对称性是人为约定，通常只画正频率支。

布洛赫定理：无限问题的折叠术

方程就位后，下一个问题是解长什么样。布洛赫定理给出答案：在周期为 a 的介质中，本征解必然是平面波因子乘以与介质同周期的周期函数的形式，平面波因子的波矢 k 称为布洛赫波矢。这带来两个直接推论。推论一：k 与 k 加上任意倒格矢描述同一个解，所以全部独立解可以按 k 分类，且 k 只需在倒格子里的一个原胞——第一布里渊区——内取值。推论二：对每个固定的 k，方程变成一个离散的本征值问题，解出一串本征频率，按高低编号就是第 n 支能带；把布里渊区内所有 k 的本征频率连起来，就是能带结构。

折叠的意义怎么强调都不过分：一块宏观晶体包含天文数字的原胞，直接求解绝无可能；布洛赫定理把它压缩成"对布里渊区内每个 k 解一个小矩阵本征问题"。实际操作中甚至不需要扫遍整个布里渊区——能带的极值总出现在高对称点上，所以惯例是沿一条穿过若干高对称点的折线路径（如二维六角晶格的中心到边中心再到角点）计算，这就是你在一切文献里看到的能带图横轴。第 1.1 节讲的"晶格类型决定布里渊区形状"在此兑现：晶格对称性通过布里渊区几何决定了这条路径怎么走。

图：从实空间到倒空间：布里渊区折叠示意

偏振：二维问题里的分水岭

三维问题里电场磁场的三个分量全部耦合，数值上没有捷径。但二维光子晶体（结构沿某轴不变）提供了一份礼物：场可以按偏振严格解耦。TE 偏振（磁场沿结构不变轴）与 TM 偏振（电场沿不变轴）分别服从两个互不相同的标量方程——两者的差别在介电函数出现的位置：TM 方程里介电函数直接相乘，TE 方程里是介电函数倒数，数学形态不同，本征频率自然不同。工程含义直截了当：二维光子晶体对两种偏振的带隙通常不在同一频段，想得到与偏振无关的行为，要么精心设计结构让两种偏振的带隙重叠（文献里所谓"简并带隙"，对晶格对称性要求苛刻），要么干脆只针对单一偏振设计器件。这也是为什么读任何一篇二维光子晶体论文，第一件事是确认它算的是 TE 还是 TM——同一张晶格图，两种偏振的能带可能长得完全不同。

一个数值直觉：介电函数的傅里叶分量

本节的最后一个概念，是为第 3 节的手推埋下的种子：任何周期函数都可以展开成倒格矢的傅里叶级数，介电函数也不例外。在本征方程里，介电函数（或其倒数）的傅里叶系数扮演"耦合不同平面波分量"的角色——某一倒格矢对应的傅里叶分量越大，波矢相差该倒格矢的两个平面波耦合越强。带隙恰恰出现在这种耦合最强的位置（布拉格面附近）。这个直觉现在只需记住一句话：带隙的宽度和深度，写在介电函数傅里叶展开的系数表里。第 3 节我们会亲眼看到它变成公式。

常见问题

问：为什么能带图纵轴常用归一化频率而不是真实频率？
因为缩放律：把所有结构尺寸乘以常数 s，能带图形状不变，只是频率轴除以 s。归一化后一张图适用于所有缩放版本，这正是第 1 章微波缩比验证的数学根据。

问：厄米算符的对称性还能带来什么免费信息？
时间反演对称下能带满足频率关于 k 与负 k 相等，因此能带图通常只画半条路径。晶格点群对称还能让不同方向的等价 k 共享同一组频率，进一步减少计算量。

问：色散与各向异性材料怎么办？
本节的框架假设介电常数是标量常数，真实世界里它随频率变化（色散）且可能随方向变化（各向异性）。色散不破坏本征问题框架，只是让矩阵逐频率重建（非线性本征问题，迭代求解）；各向异性则把标量介电函数换成张量，厄米性在无损耗时依然成立。框架的延展性正是它强大的证据：换材料不用换方法。

一张符号速查表

为方便全章检索，把本节引入的符号与量级集中归档：晶格常数 a，典型半微米量级对应通信波段；倒格矢 G，大小为二派除以 a 的量纲；第一布里渊区，倒格子的维格纳赛茨原胞；归一化频率，频率乘 a 再除以光速，无量纲，即能带图纵轴；介电函数，折射率的平方，本征方程的真正输入；TE 与 TM，二维问题里按不变轴定义的两套独立偏振解。这份速查表值得在阅读后面各节时随手对照——特别是"介电函数而非折射率"这一条，它是第 4 节复盘里那个经典错误的根源，也是数值工作里最值得贴在显示器边上的一句话。

一个思考练习

检验折叠术是否真正理解，做一个思想实验：把晶格常数人为加倍（结构其他不变），布里渊区和能带图怎么变？答案：倒格子减半，布里渊区变小，原来的每条能带被折叠成两支，能带图上出现新的交叉与隙——但物理上什么都没变，光的行为一模一样。这个练习揭示一个深长得多的道理：能带图是描述的产物，实验事实才是本体；当你在能带图上看到"新带隙"或"新简并"时，先问它是物理的还是折叠的假象，这一问能省掉很多错误的兴奋。

本节要点回顾

• 本征问题形态：无源介质中，介电函数倒数构造的厄米算符作用于磁场，本征值是归一化频率的平方；选磁场做主变量是因为厄米性严格成立。
• 低介电区权重更大：介电函数倒数在算符中，空气孔区域的场分布主导本征频率的移动。
• 布洛赫折叠：解 = 平面波 × 周期函数，k 等价类只需在第一布里渊区取值；高对称路径上的计算足以刻画能带。
• 偏振解耦：二维问题 TE 与 TM 分别服从不同标量方程，带隙通常不重叠，设计时必须声明偏振。
• 傅里叶分量即耦合强度：介电函数的傅里叶系数决定平面波分量间的耦合，带隙宽度的公式化表达将在下一节手推中出现。

方程与对称性已经就位。下一节我们学习这门学科的"通用输出格式"——能带图——怎么读，以及拿到一个结构后该选哪种数值方法。