[论文解读] SECOND-ORDER HYPERBOLIC FUCHSIAN SYSTEMS. II. GOWDY SPACETIMES AND THE FUCHSIAN NUMERICAL ALGORITHM

Florian Beyer, Philippe G. LeFloch|arXiv (Cornell University)|Jun 13, 2010

Advanced Mathematical Physics Problems参考文献 18被引用 5

一句话总结

本文提出了一种Fuchsian数值算法，用于求解二阶双曲Fuchsian系统中的奇异初值问题，并将其应用于Gowdy时空中的真空爱因斯坦方程。该方法可产生高度精确的数值近似，成功实现了具有光滑、不完备、非紧致柯西视界的Gowdy时空的数值构造。

ABSTRACT

This is the second part of a series devoted to the singular initial value problem for second-order hyperbolic Fuchsian systems. In the rst part, we dened and investigated this general class of systems, and we established a well-posedness theory in weighted Sobolev spaces. This theory is applied here to the vacuum Einstein equations for Gowdy spacetimes admitting, by denition, two Killing elds satisfying certain geometric conditions. We recover, by more direct and simpler arguments, the well-posedness results established earlier by Rendall and collaborators. In addition, in this paper we introduce a natural approximation scheme, which we refer to as the Fuchsian numerical algorithm and is directly motivated by our general theory. This algorithm provides highly accurate, numerical approximations of the solution to the singular initial value problem. In particular, for the class of Gowdy spacetimes under consideration, various numerical experiments are presented which show the interest and eciency of the proposed method. Finally, as an application, we numerically construct Gowdy spacetimes containing a smooth, incomplete, non-compact Cauchy horizon.

研究动机与目标

• 通过二阶双曲Fuchsian系统的框架，为Gowdy时空中的真空爱因斯坦方程建立一种直接且简化的适定性理论。
• 开发一种新颖的数值逼近方案——称为Fuchsian数值算法——该算法直接基于本系列第一部分的理论框架。
• 通过Gowdy时空的数值实验，展示Fuchsian数值算法的效率与精度。
• 数值构造包含光滑、不完备、非紧致柯西视界的Gowdy时空，验证该方法的物理相关性。

提出的方法

• Fuchsian数值算法直接源自加权Sobolev空间中二阶双曲Fuchsian系统的广义适定性理论。
• 该方法采用正则化技术处理奇异初值数据，将问题转化为一系列正则初值问题的序列。
• 对正则化系统应用有限差分法或谱方法，并通过加权Sobolev范数控制收敛性。
• 在数值实验中实现该算法，以模拟接近奇点的特定初值数据下的Gowdy时空。
• 该格式保持了原系统的几何与解析结构，确保数值解的物理一致性。

实验结果

研究问题

• RQ1 Fuchsian数值算法能否为二阶双曲Fuchsian系统的奇异初值问题提供稳定且精确的数值解？
• RQ2 该算法能否对具有奇异初值数据的Gowdy时空产生可靠的数值近似？
• RQ3 该方法能否在数值上构造出包含光滑、不完备、非紧致柯西视界的时空？
• RQ4 与现有方法相比，Fuchsian数值算法在Gowdy时空模拟中的效率与精度如何？

主要发现

• Fuchsian数值算法成功生成了Gowdy时空中奇异初值问题解的高精度数值近似。
• 该方法恢复并简化了以往关于Gowdy时空适定性结果，提供了一个更直接的分析与数值框架。
• 数值实验证实了该算法在模拟强奇异性的时空时的高效性与鲁棒性。
• 该算法首次实现了包含光滑、不完备、非紧致柯西视界的Gowdy时空的数值构造。