在这项工作中,我们建立了有限的两维光子结构的批量边缘对应原理。特别是,我们专注于具有周期性系数的发散形式运算符,并证明了众所周知的Gap Chern Number(散装不变性)和通过痕量公式定义的,用于将操作员限制在具有Dirichlet边界条件的限制域的轨迹公式。我们证明了边缘指数表征电磁沿系统边界的循环,而BEC原理是能量保护的结果。证明利用绿色功能技术,这些技术放松了基础结构上的平滑性要求,并且可以扩展到其他系统。这些结果为使用有限的几何形状设计可靠的拓扑光子设备提供了严格的理论基础,从而补充了离散模型的最新进步。
主要关键词