双叶层形式化下超双曲数据的演化：数学分析与波动方程检验

数值相对论中一个长期存在的问题是如何妥善处理未来类光无穷远。我们提出一种演化超双曲初始数据的方法，其中计算域的外边界被置于无穷远处。主要思路是将“双叶层”形式化与超双曲坐标和广义调和规范表述相结合。本方法的优势在于，遵循Zenginoglu的思路，可以自然地使用数值相对论应用中的标准坐标将一个超双曲层附加到中心区域。利用Calabrese等人发展的标准超双曲切片的推广形式，我们发现所有形式上的奇异项在趋近类光无穷远时都取平凡极限。一个副产品是用于演化违反零条件的非线性波动方程的超双曲数值方法。常用于固定背景时空的高度函数方法被推广，使得切片可以动态“摆动”以精确维持所需的出射坐标光速。这通过动态求解程函方程来实现。作为新方法的首次数值检验，我们求解了三维平坦空间标量波动方程。使用伪谱bamps代码进行的模拟表明，出射波在类光无穷远处被干净地吸收，且误差随着分辨率提高而迅速收敛消失。