[论文解读] Variational principle for the Einstein-Vlasov equations

Lars Andersson, Mikołaj Korzyński|arXiv (Cornell University)|Oct 26, 2019

Gas Dynamics and Kinetic Theory参考文献 40被引用 5

一句话总结

本文通过在拉格朗日和欧拉图像中构建作用量，首次实现了爱因斯坦-弗拉索夫方程组的变分推导，将物质视为在切从丛中流动的流体。其核心贡献是一个一致的变分原理，通过使用向量密度和相空间动力学的几何表述，导出了完整的爱因斯坦-弗拉索夫系统，包括弗拉索夫方程和爱因斯坦场方程。

ABSTRACT

The Einstein-Vlasov equations govern Einstein spacetimes filled with matter which interacts only via gravitation. The matter, described by a distribution function on phase space, evolves under the collisionless Boltzmann equation, corresponding to the free geodesic motion of the particles, while the source of the gravitational field is given by the stress-energy tensor defined in terms of momenta of the distribution function. As no variational derivation of the Einstein-Vlasov system appears to exist in the literature, we here set out to fill this gap. In our approach we treat the matter as a generalized type of fluid, flowing in the tangent bundle instead of the spacetime. We present the actions for the Einstein-Vlasov system in both the Lagrangian and Eulerian pictures.

研究动机与目标

• 通过提供爱因斯坦-弗拉索夫系统的变分推导，填补广义相对论中长期存在的空白，尽管该系统在统计力学和宇宙学中具有核心地位，但此前尚无已知的作用量原理。
• 将弗拉索夫物质重新表述为在切从丛中流动的广义流体，而非时空中流动，从而实现几何变分处理。
• 推导作用量的拉格朗日和欧拉形式，确保与标准爱因斯坦-弗拉索夫方程及其底层几何结构一致。
• 引入向量密度作为处理相空间中通量和散度的自然数学工具，克服微分形式在流体动力学背景下的局限性。
• 建立所导出的场方程与标准爱因斯坦-弗拉索夫系统的等价性，包括弗拉索夫方程和从相空间矩构造的应力-能量张量。

提出的方法

• 在拉格朗日图像中，通过在切从丛上定义分布函数，利用相空间中的测地流来描述动力学。
• 使用向量密度表示粒子通量，确保在微分同胚变换下具有正确的变换行为，并与物理通量一致。
• 通过对时空度量和向量密度 $ K^i $ 独立变分，推导出场方程，分别得到爱因斯坦方程和弗拉索夫方程。
• 利用齐次拉格朗日量的欧拉恒等式简化变分过程，并从相空间动量推导出正确的能量-动量张量形式。
• 通过分部积分并施加边界条件，消除边界项，确保变分原理是适定的。
• 通过将作用量重新表达为物质场 $ M $ 的形式，建立欧拉图像下的形式化，从而在欧拉图像中实现一致的变分原理。

实验结果

研究问题

• RQ1 在文献中尚未存在此类形式化的情况下，能否为爱因斯坦-弗拉索夫系统建立一个一致的变分原理？
• RQ2 如何将代表无碰撞粒子的弗拉索夫物质视为在切从丛中流动的广义流体，以实现几何变分方法？
• RQ3 正确的数学结构是什么——特别是向量密度在拉格朗日和欧拉图像中作用量形式化中的角色？
• RQ4 对度量和物质场 $ K^i $ 变分作用量，如何导出完整的爱因斯坦-弗拉索夫系统？
• RQ5 所得到的变分原理是否与标准爱因斯坦-弗拉索夫方程等价，包括弗拉索夫方程和应力-能量张量的构造？

主要发现

• 本文成功地从拉格朗日和欧拉形式的变分原理中推导出爱因斯坦-弗拉索夫系统，填补了相对论性动力学理论中的一个重大空白。
• 使用向量密度为相空间中通量的处理提供了几何一致且物理意义明确的框架，相较于微分形式在此背景下更具优势。
• 对 $ K^i $ 的变分导出弗拉索夫方程，而对度量的变分则产生包含相空间矩构造的正确应力-能量张量的爱因斯坦方程。
• 推导过程确认作用量在速度变量上是齐次的，从而可利用欧拉恒等式简化变分过程，并正确导出能量-动量张量。
• 在标准边界条件下，变分中的边界项消失，确保变分原理是适定的，并能导出正确的场方程。
• 变分的最终形式 $ ilde{ abla}_k K^k = 0 $ 及其导出的场方程与标准爱因斯坦-弗拉索夫系统一致，验证了整个构造的正确性。