广义调和 Einstein 方程的规范驱动器

Einstein 方程的广义调和形式对于一大类规范条件而言显然是双曲型的。不幸的是，数值相对论社区在过去几十年中开发的大多数有用规范与此形式下方程的双曲性不兼容。本文提出了一种施加规范条件的新方法，该方法在更广泛的条件下保持了双曲性，其中包括数值相对论中使用的许多标准规范作为特例，例如：$K$-冻结、$\Gamma$-冻结、Bona-Masso 切片、共形 $\Gamma$-驱动器等。文中展示了分析和数值结果，以测试这种新规范驱动器演化系统的稳定性和有效性。