[论文解读] The Constraint Equations

Robert Bartnik, Jim Isenberg|ArXiv.org|May 17, 2004

Black Holes and Theoretical Physics参考文献 46被引用 18

一句话总结

本文全面回顾了爱因斯坦约束方程，这些方程控制广义相对论中爱因斯坦场方程解的初始数据。文章详细阐述了约束方程的几何起源，回顾了关键的解法，如共形方法、共形薄层方法、抛物方法和拼接技术，并强调了它们在构建物理上相关的时空中的作用，特别是在数值相对论和引力波建模中的应用。

ABSTRACT

We review the properties of the constraint equations, from their geometric origin in hypersurface geometry through to their roles in the Cauchy problem and the Hamiltonian formulation of the Einstein equations. We then review properties of the space of solutions and construction techniques, including the conformal and conformal thin sandwich methods, the thin sandwich method, quasi-spherical and generalized QS methods, gluing techniques and the Corvino-Schoen projection.

研究动机与目标

• 阐明在时空的3+1分解背景下，爱因斯坦约束方程的几何与物理起源。
• 系统化并比较主要的解法——共形方法、共形薄层方法、抛物方法和拼接技术——以构建满足约束条件的初始数据。
• 解决在构造具有非恒定平均曲率、低正则性或指定边界条件的解时所面临的开放性数学与物理挑战。
• 探讨约束解对数值相对论和天体物理建模的启示，特别是在模拟引力波源方面的应用。

提出的方法

• 通过时空的3+1叶状结构和黎曼曲率张量的高斯-Codazzi分解推导约束方程。
• 应用ADM哈密顿形式化方法，表明约束方程作为时空微分同胚的生成元，并在演化过程中保持不变。
• 利用共形方法，通过在背景流形上将约束方程约化为耦合椭圆系统，来参数化常平均曲率（CMC）解。
• 应用共形薄层方法，通过代数关系改变 lapse 和位移，从而导出可通过隐函数定理求解的椭圆系统，适用于邻近数据。
• 采用基于准球面对称度量的抛物方法，通过演化标量曲率方程并施加几何边界条件，求解哈密顿约束。
• 利用拼接技术——连通和（IMP）与Corvino-Schoen方法——通过在渐近欧几里得或史瓦西外部区域与具有受控过渡区域的紧致内部之间连接，构造新解。

实验结果

研究问题

• RQ1 爱因斯坦约束方程如何从时空的3+1分解中几何地产生？
• RQ2 共形方法在常平均曲率解之外能在多大程度上推广？
• RQ3 薄层方法能否产生物理上相关的解？其因椭圆性条件而存在的局限性是什么？
• RQ4 如何利用抛物方法构造具有指定标量曲率和边界条件的解？
• RQ5 在何种条件下，可通过拼接方法构造出具有紧致内部和精确史瓦西或克尔外部区域的解？

主要发现

• 共形方法成功地在闭合、渐近欧几里得或渐近双曲流形上参数化了所有常平均曲率解。
• 共形薄层方法能从无约束数据构造出一个解的开集，但其可行性受限于外曲率张量必须为定号的条件。
• 抛物方法将准球面对称构造推广至非准球面对称背景，从而能够处理具有指定标量曲率和几何内边界条件的解。
• Corvino-Schoen拼接技术允许将渐近欧几里得解中的有限区域平滑地连接到外部的史瓦西或克尔解，过渡区域保持约束条件不变。
• 通过将线性化标量曲率算子投影到平坦空间的核上，该方法确保了小扰动下非线性约束方程的可解性，从而可构造出标量曲率为零的解。
• 从质量与质心参数到线性化算子核的映射是连续的且指标为一，保证了在适当参数选择下可得到标量曲率为零的解。