FRG: Collaborative Research: Developing Spectral Methods for Numerical Solutions of the Einstein Equations

在这项工作中，我们组成了一个由计算数学家和天体物理学家组成的新的跨学科团队，专注于以谱多域方法为中心的新一代模拟工具的开发和分析。初步测试已经证实了这类技术的潜力，然而，这些技术仍然需要大量的算法开发，例如高效的非线性并行椭圆求解器、稳定化技术和新的并行时间积分方法，以达到成熟的目的。同时，爱因斯坦方程的类似问题也将受到关注，例如，初始数据问题、违反约束的解的控制和适当的边界条件。目前部署的引力波探测器LIGO和不久的将来LISA将为数值相对论和求解爱因斯坦方程的计算方法的发展注入新的紧迫性。为了充分理解和分析用这种设备测量的信号，必须有新一代计算工具可用于在很长时间内求解动态爱因斯坦方程。在这门交叉学科中，我们结合计算数学和天体物理学的专业知识来实现这一目标，目的是对两个黑洞对的全部动力学进行建模，根据一般相对论的预测，这对黑洞被认为是引力波的强大来源。因此，这一努力不仅将导致新的计算模拟技术的发展，而且将导致检验一些人类已知的最基本物理理论的有效性。

In this effort, we form a new interdisciplinary team, comprised ofcomputational mathematicans and astrophysicists, to focus on the development amd analysis of a new generation of simulation tools centered around spectral multi-domain methods. Initial tests have confirmed the potential of such techniqueswhich, however, still require significant algorithmic developments,e.g., efficient nonlinear parallel elliptic solvers, stabilizationtechniques, and novel parallel temporal integration methods, to maturesufficiently. Simultaneously, attention will be paid to problems of anature more specific to the Einstein equations, e.g., the initial dataproblem, control of constraint violating solutions, and suitableboundary conditions.New urgency has been injected into numerical relativity and thedevelopment of computational methods for solving the Einsteinequations by the current deployment of gravitational wave detectors,LIGO and, in the near future, LISA. To fully understand and analyzethe signals measured with such facilities it is essential that a newgeneration of computational tools be available for solving the dynamical Einstein equations over very long times. In this interdiciplinaryeffort we combine expertize in computational mathematics andastrophysics to reach this goal, with the aim of modeling the fulldynamics of a binary pair of black holes, conjectured to be a strongsource of gravity waves as predicted by the general theory of relativity.Thus the effort will not only lead to the development of newcomputational simulation techniniques but also lead to the abilityto test the validity some of the most fundamental physical theoriesknown to mankind.