[论文解读] A FULLY PSEUDOSPECTRAL SCHEME FOR SOLVING SINGULAR HYPERBOLIC EQUATIONS ON CONFORMALLY COMPACTIFIED SPACE-TIMES

Marcus Ansorg, Max Planck|arXiv (Cornell University)|Jan 1, 2009

Cosmology and Gravitation Theories参考文献 13被引用 1

一句话总结

本文提出了一种在共形紧致化时空上求解奇异双曲方程的全伪谱格式，结合空间与时间的谱方法，实现指数收敛。通过在闵可夫斯基时空上重新表述球对称标量波方程，该方法消除了人为的外边界，并将光锥无穷远处理为规则边界，从而在无虚假反射的情况下实现高度精确的数值解。

ABSTRACT

With the example of the spherically symmetric scalar wave equation on Minkowski space-time we demonstrate that a fully pseudospectral scheme (i.e. spectral with respect to both spatial and time directions) can be applied for solving hyperbolic equations. The calculations are carried out within the framework of conformally com- pactified space-times. In our formulation, the equation becomes singular at null infinity and yields regular boundary conditions there. In this manner it becomes possible to avoid artificial conditions at some numerical outer boundary at a finite distance. We obtain highly accurate numerical solutions possessing exponential spectral convergence, a feature known from solving elliptic PDEs with spectral methods. Our investigations are meant as a first step towards the goal of treating time evolution problems in General Relativity with spectral methods in space and time.

研究动机与目标

• 开发一种数值方法，通过共形紧致化避免双曲偏微分方程中的人为外边界。
• 在空间与时间方向均应用谱方法，以实现时间演化问题的指数收敛。
• 证明奇异双曲方程可在光锥无穷远作为规则边值问题处理。
• 为将谱方法推广至广义相对论中的时变问题奠定基础。

提出的方法

• 在共形紧致化的闵可夫斯基时空上重新表述球对称标量波方程，将无限区域转化为有限区域。
• 将光锥无穷远映射为有限边界，方程在该处变为奇异，从而允许施加规则边界条件。
• 在空间与时间方向均应用谱配点方法，使用切比雪夫或勒让德多项式以实现高阶精度。
• 通过全伪谱方法求解所得系统，避免时间方向的有限差分近似。
• 推导光锥无穷远处的边界条件，以确保数值格式的适定性与稳定性。
• 通过将整个时空嵌入具有无穷远处规则行为的紧致化区域，避免了人为外边界。

实验结果

研究问题

• RQ1 能否将全伪谱格式应用于在光锥无穷远具有奇异行为的双曲方程？
• RQ2 如何利用共形紧致化消除时间演化问题中的人为边界？
• RQ3 在谱格式中，为保持适定性，光锥无穷远处需要何种边界条件？
• RQ4 空间与时间方向的谱方法组合是否能为双曲问题提供指数收敛？
• RQ5 该方法能否推广至广义相对论中的时变问题？

主要发现

• 全伪谱格式在空间与时间方向均实现了指数谱收敛，这是谱方法的典型特征，适用于双曲方程。
• 在共形紧致化时空中重新表述波方程，可将光锥无穷远处的奇异行为转化为规则边界条件。
• 消除了有限距离处的人为外边界，避免了虚假反射，提升了数值精度。
• 通过将光锥无穷远视为具有明确定义条件的规则边界点，成功处理了该处的奇异性。
• 数值解表现出高度的精度与稳定性，证明了谱方法在相对论性系统时间演化问题中的可行性。