[论文解读] Local existence for the free boundary problem for the non-relativistic and relativistic compressible Euler equations with a vacuum boundary condition

Yuri Trakhinin|ArXiv.org|Oct 15, 2008

Navier-Stokes equation solutions参考文献 16被引用 10

一句话总结

本文通过使用 Alinhac 的 '好未知量' 方法与改进的 Nash-Moser 迭代方案，将自由边界问题转化为固定区域问题，建立了压缩非相对论与相对论 Euler 方程在真空边界条件下局部时间内的光滑解的存在性。主要贡献在于将 Lindblad 的等熵结果推广至完整气体动力学与相对论情形，且在适当的双曲性与边界条件下成立。

ABSTRACT

We study the free boundary problem for the equations of compressible Euler equations with a vacuum boundary condition. Our main goal is to recover in Eulerian coordinates the earlier well-posedness result obtained by Lindblad [Lindblad H., Commun. Math. Phys. 260 (2005), 319-392] for the isentropic Euler equations and extend it to the case of full gas dynamics. For technical simplicity we consider the case of an unbounded domain whose boundary has the form of a graph and make short comments about the case of a bounded domain. We prove the local-in-time existence in Sobolev spaces by the technique applied earlier to weakly stable shock waves and characteristic discontinuities. It contains, in particular, the reduction to a fixed domain, using the "good unknown" of Alinhac, and a suitable Nash-Moser-type iteration scheme. A certain modification of such an approach is caused by the fact that the symbol associated to the free surface is not elliptic. This approach is still directly applicable to the relativistic version of our problem in the setting of special relativity and we briefly discuss its extension to general relativity.

研究动机与目标

• 将 Lindblad 关于具有真空边界的等熵 Euler 方程的适定性结果推广至完整气体动力学。
• 在 Sobolev 空间中建立非相对论性压缩 Euler 方程具有自由边界与真空条件的光滑解的局部时间存在性。
• 将 Alinhac 的 '好未知量' 方法与 Nash-Moser 迭代方案适配，以处理真空边界问题中自由表面对应的非椭圆符号。
• 将存在性结果推广至狭义相对论框架下的相对论情形，并简要讨论其向广义相对论的推广。
• 通过确保流体-真空界面处度量变量的连续性，证明在广义相对论中使用调和自然坐标系的合理性。

提出的方法

• 通过微分同胚将运动边界转化为静止边界，将自由边界问题转化为固定区域问题。
• 应用 Alinhac 的 '好未知量' 技巧，处理由自由边界引起的非线性项中导数损失问题。
• 实施一种 Nash-Moser 类型的迭代方案，以克服导数损失问题，其中线性化问题配备最大耗散边界条件。
• 在整个迭代过程中保持边界条件 $ p = 0 $ 与 $ rac{ abla F abla p}{| abla F|} eq 0 $。
• 对于相对论情形，将流体与真空区域视为独立区域，对 $ U $ 与 $ W $ 使用对称双曲系统，并通过 $ [W] = 0 $ 强制度量变量在界面处连续。
• 在每次迭代步骤中使用不动点方法求解度量方程，利用前一步的流体状态 $ U_n $ 与边界 $ ho_n $ 求解 $ W^+ $ 与 $ W^- $。

实验结果

研究问题

• RQ1 能否将具有真空边界的等熵 Euler 方程的局部时间存在性结果推广至完整气体动力学？
• RQ2 当与自由表面相关的符号非椭圆时，如何适配 Nash-Moser 迭代方案？
• RQ3 在狭义相对论中，为将存在性结果推广至相对论 Euler 方程，需要进行哪些修改？
• RQ4 在广义相对论中，如何利用调和自然坐标系一致处理流体与真空之间的界面条件？
• RQ5 '好未知量' 技巧是否与真空边界条件 $ p = 0 $ 及双曲性条件 $ p_ ho > 0 $ 兼容？

主要发现

• 本文证明了在 Sobolev 空间中，非相对论性压缩 Euler 方程在真空边界条件下的光滑解具有局部时间存在性。
• 通过引入 '好未知量' 与改进的 Nash-Moser 方案，将 Lindblad 的等熵存在性定理推广至完整气体动力学。
• 该方法可直接应用于狭义相对论框架下的相对论问题。
• 在广义相对论中，问题被重新表述为流体-真空界面问题，通过确保度量变量在边界处连续，与爱因斯坦的跃迁条件保持一致。
• 边界条件 $ rac{ abla F abla p}{| abla F|} eq 0 $ 对适定性至关重要，并在迭代方案中得以保持。
• 在广义相对论中，对自然坐标系的初始数据约束无需在每次迭代步骤中强制满足，从而简化了收敛性论证。