一维光子晶体Zak相位计算：从COMSOL建模到MATLAB实现

1. 项目概述：一维光子晶体的Zak相位计算

在光子晶体研究领域，Zak相位作为描述拓扑性质的量纲一参数，近年来在光学隔离器和拓扑激光器等应用中展现出独特价值。这个项目完整实现了从理论推导到数值验证的全流程计算，特别针对一维光子晶体这种结构简单但物理内涵丰富的体系。不同于常规的能带分析，Zak相位计算需要处理布洛赫波函数的整体性质，这对数值方法的稳定性提出了更高要求。

项目中提供的COMSOL模型文件（.mph）和MATLAB脚本（.m）构成了完整的工具链：前者负责求解本征模式并导出场分布数据，后者则实现Berry联络的数值积分。这种多物理场仿真与数学计算相结合的方式，既保证了物理模型的准确性，又提供了灵活的后期处理空间。值得注意的是，虽然参考了既有研究成果的实现路径，但在网格划分策略、积分路径优化等关键环节都加入了改进措施，使得计算结果更加可靠。

2. 理论基础与算法实现

2.1 Zak相位的物理内涵

Zak相位本质上是Berry相位在一维周期系统中的特例，其数学表达式为：

code复制γ = ∮<u_k|i∂_k|u_k>dk

其中u_k是周期部分的布洛赫波函数，积分沿整个布里渊区进行。对于具有反演对称性的系统，Zak相位只能取0或π（模2π），这直接关联着系统的拓扑分类。

在光子晶体中，电场分量E_z(x,k)对应的本征模式需要通过波动方程求解：

code复制[1/ε(x) ∂²/∂x² + ω²/c²] E_z(x,k) = 0

其中ε(x)是周期介电常数分布。COMSOL的"频域"研究类型正好适用于这类本征值问题的求解。

2.2 数值计算流程设计

完整的计算流程分为三个主要阶段：

1. 参数化扫描阶段：

   • 在COMSOL中建立单位晶胞模型
   • 设置Floquet周期性边界条件
   • 对波矢k在[0,2π/a]区间均匀采样（通常取20-30个点）
   • 在每个k点求解本征频率和场分布

2. 数据导出阶段：

   • 将每个k点的E_z(x)场数据导出为.mat文件
   • 记录对应的本征频率ω_n(k)
   • 特别注意模式排序的一致性（可通过频率大小自动排序）

3. 相位计算阶段：

   • 在MATLAB中实现离散化Berry联络计算：