[论文解读] The Goursat Problem for the Einstein-Vlasov System: (I) The Initial Data Constraints

Calvin Tadmon|arXiv (Cornell University)|Sep 30, 2011

Cosmology and Gravitation Theories参考文献 12被引用 8

一句话总结

本文在双曲坐标系下，通过引入调和规范，建立了一个在两个相交的光锥面上求解爱因斯坦-玻尔兹曼系统初始数据约束的框架。通过在度量分量上施加额外假设，作者推导出约束分布函数的积分方程，从而实现对约化双曲系统的相容初始数据的构造，最终部分通过代数与积分恒等式显式求解。

ABSTRACT

We show how to assign, on two intersecting null hypersurfaces, initial data for the Einstein-Vlasov system in harmonic coordinates. As all the components of the metric appear in each component of the stress-energy tensor, the hierarchical method of Rendall can not apply strictly speaking. To overcome this difficulty, an additional assumption have been imposed to the metric on the initial hypersurfaces. Consequently, the distribution function is constrained to satisfy some integral equations on the initial hypersurfaces.

研究动机与目标

• 研究在两个相交光锥面上指定数据的爱因斯坦-玻尔兹曼系统的特征初值问题。
• 克服由于应力-能量张量分量对完整度量的依赖，导致无法直接应用Rendall的分层方法的障碍。
• 通过在初始超曲面上施加关于度量的辅助假设，为约化爱因斯坦-玻尔兹曼系统在调和坐标系下构造相容的初始数据。
• 推导并求解约束初始数据超曲面上分布函数的积分方程。

提出的方法

• 在初始光锥面上对度量分量施加额外假设，以解耦约束系统。
• 利用调和规范将爱因斯坦-玻尔兹曼系统约化为非线性双曲系统。
• 提出EV系统的新型表述形式，采用适合约束分析的未知数与变量。
• 将分布函数表示为速度分量的二次多项式，其系数依赖于空间位置。
• 推导涉及分布函数与基函数内积的积分方程（IE），进而导出关于系数的可解代数方程。
• 通过显式计算角向积分与代数化简，将系数表示为度量与应力-能量张量数据的函数。

实验结果

研究问题

• RQ1 当应力-能量张量依赖于所有度量分量时，如何为爱因斯坦-玻尔兹曼系统构造相容的初始数据，从而无法直接应用Rendall的分层方法？
• RQ2 在特征初值设定下，为使约束问题可解，对度量需要施加哪些额外假设？
• RQ3 如何通过光锥面上的积分方程约束分布函数，以确保其与约化系统相容？
• RQ4 在速度空间中，分布函数与基函数的内积计算中会涌现出何种代数结构？
• RQ5 所得到的方程组能否显式求解，从而从初始数据重构出分布函数？

主要发现

• 分布函数在初始超曲面上完全由形式 $\varphi(x,v) = \left[a(x)(1+v^2)v^3 + b(x)(1+v^2)v^4 + c(x)\right]^2$ 确定，其中 $a(x)$、$b(x)$ 与 $c(x)$ 为空间位置的函数。
• 系数 $a(x)$、$b(x)$ 与 $c(x)$ 受关系式 $a(x)c(x) = \frac{105h_1(x)}{64\pi}$ 与 $b(x)c(x) = \frac{105h_2(x)}{64\pi}$ 约束，将其与应力-能量张量分量联系起来。
• 积分方程（IE）简化为代数方程（D.28），该方程通过由度量与应力-能量张量导出的系数，关联 $h_1(x)$、$h_2(x)$ 与 $c(x)$。
• 显式计算了角向积分：$\langle f^2, e \rangle = \frac{8\pi}{63}$，$\langle g^2, e \rangle = \frac{8\pi}{189}$，$\langle 1, e \rangle = \frac{4\pi}{15}$，以及其他基函数的类似结果。
• 通过求解（D.28）得到分布函数的最终解，该方程为 $c(x)$ 的四次方程，随后通过（D.15）中的关系式恢复 $a(x)$ 与 $b(x)$。
• 该方法使得在调和规范下为约化爱因斯坦-玻尔兹曼系统构造初始数据成为可能，为后续工作中实现全局存在性结果铺平了道路。