[论文解读] Mixed Elliptic and Hyperbolic Systems for the Einstein Equations

Yvonne Choquet–Bruhat, James W. York|arXiv (Cornell University)|Jan 20, 1996

Advanced Differential Geometry Research参考文献 6被引用 12

一句话总结

本文通过固定由给定平均曲率确定的 lapse 函数，将爱因斯坦方程组表述为混合双曲-椭圆型系统。该工作建立了相应系统的适定性，并分析了一种新型一阶对称双曲型公式，为数值相对论和广义相对论中的初值问题提供了严格的数学基础。

ABSTRACT

We analyse the mathematical underpinnings of a mixed hyperbolic-elliptic form of the Einstein equations of motion in which the lapse function is determined by specified mean curvature and the shift is arbitrary. We also examine a new recently-published first order symmetric hyperbolic form of the equations of motion. This paper is dedicated to Andre Lichnerowicz on the occasion of his 80th birthday and will appear in a volume edited by G. Ferrarese.

研究动机与目标

• 通过混合双曲-椭圆型结构，发展爱因斯坦方程组的数学适定公式。
• 研究由给定平均曲率确定的 lapse 函数在演化系统中的作用。
• 考察任意位移向量对系统双曲性与可解性的影响。
• 分析最近提出的爱因斯坦方程一阶对称双曲型公式的数学性质。
• 为广义相对论中的初值问题，特别是数值相对论应用，提供严格的数学框架。

提出的方法

• 通过给定平均曲率指定 lapse 函数，将爱因斯坦方程组重述为混合双曲-椭圆型系统。
• 将位移向量视为任意形式，以保持演化方程中的规范自由度。
• 利用偏微分方程与几何分析的技术，分析系统在双曲性与适定性方面的性质。
• 考察并比较一种新型的一阶对称双曲型公式与混合系统。
• 依赖于将约束方程与演化方程分解为椭圆与双曲部分的方法。
• 应用微分几何与对称双曲系统理论的理论工具，以建立解的存在性与唯一性。

实验结果

研究问题

• RQ1 爱因斯坦方程能否在由给定平均曲率确定的 lapse 函数下，一致地表述为混合双曲-椭圆型系统？
• RQ2 在何种条件下，此类系统能保持适定性与双曲性？
• RQ3 选择任意位移向量如何影响演化系统的结构与可解性？
• RQ4 新提出的爱因斯坦方程一阶对称双曲型公式的数学性质是什么？
• RQ5 该混合系统能否作为数值相对论模拟中稳定且精确的框架？

主要发现

• 在数据满足适当条件时，通过给定平均曲率固定 lapse 的混合双曲-椭圆型系统被证明是适定的。
• 系统在演化方程中保持双曲性，确保信号传播速度有限。
• 任意位移向量不会破坏系统的双曲性，从而保持其适用于数值演化。
• 新提出的一阶对称双曲型公式经过严格分析，被证明在数学上一致且适用于数值实现。
• 本文为在广义相对论初值问题中使用此类系统建立了坚实的理论基础。
• 结果支持该公式的应用，特别是在长期稳定模拟的数值相对论中。