[论文解读] A priori Estimates for the Compressible Euler Equations for a Liquid with Free Surface Boundary and the Incompressible Limit

Hans Lindblad, Chenyun Luo|arXiv (Cornell University)|Nov 16, 2016

Navier-Stokes equation solutions参考文献 12被引用 3

一句话总结

本文为带有自由表面边界的可压缩欧拉方程建立了统一的先验能量估计，将Christodoulou与Lindblad的工作推广至可压缩情形，且无需假设无旋性。关键贡献在于证明了当声速 → ∞ 时解收敛至不可压缩解，且能量估计在声速上一致，从而使得略微可压缩流体的长时间存在性分析成为可能。

ABSTRACT

In this paper, we prove a new type of energy estimates for the compressible Euler's equation with free boundary, with a boundary part and an interior part. These can be thought of as a generalization of the energies in Christodoulou and Lindblad [CL] to the compressible case and do not require the fluid to be irrotational. In addition, we show that our estimates are in fact uniform in the sound speed. As a consequence, we obtain convergence of solutions of compressible Euler equations with a free boundary to solutions of the incompressible equations, generalizing the result of Ebin [Eb] to when you have a free boundary. In the incompressible case our energies reduces to those in [CL] and our proof in particular gives a simplified proof of the estimates in [CL] with improved error estimates. Since for an incompressible irrotational liquid with free surface there are small data global existence results our result leaves open the possibility of long time existence also for slightly compressible liquids with a free surface.

研究动机与目标

• 为带有自由表面边界的可压缩欧拉方程建立先验能量估计，且无需假设无旋性。
• 通过引入基于焓和密度函数的新能量结构，将Christodoulou与Lindblad的能量框架推广至可压缩情形。
• 证明这些能量估计在声速 κ 上一致，从而支持不可压缩极限的分析。
• 证明可压缩自由边界问题的解在 κ → ∞ 时收敛至不可压缩欧拉方程的解。
• 将Christodoulou与Lindblad的不可压缩能量估计作为新框架的特例恢复并简化。

提出的方法

• 引入焓 h(ρ) = ∫₁^ρ p′(λ)λ⁻¹ dλ，并定义 e(h) = log ρ(h)，将可压缩方程转化为类似于不可压缩欧拉方程的形式。
• 定义一个新的能量泛函 E_r*，结合内部与边界贡献，包含涉及 √e′(h)D_t^r h 的加权项，以实现更优的控制。
• 使用物质导数 D_t = ∂_t + v^k ∂_k，通过分部积分推导能量估计，通过第二基本形式 θ 精确处理边界项。
• 通过条件 −∇_N h ≥ ε > 0 实现对边界项的控制，确保自由表面的物理稳定性。
• 应用椭圆估计与Sobolev嵌入，将 L^∞ 范数以能量范数有界，从而实现先验估计的闭合。
• 通过证明能量估计和界 (1.30)–(1.34) 在 κ → ∞ 时保持有效，实现声速 κ 上的一致性，条件为 e_κ(h) → 0 且 |e_κ^{(k)}(h)| ≤ c₀√e_κ′(h)（k ≤ 6）。

实验结果

研究问题

• RQ1 能否在不假设无旋性的前提下，为带有自由表面边界的可压缩欧拉方程建立先验能量估计？
• RQ2 能否使能量估计在声速 κ 上一致，从而实现不可压缩极限的严格推导？
• RQ3 新能量结构是否能作为极限情形恢复并简化Christodoulou与Lindblad的不可压缩能量估计？
• RQ4 在何种条件下，可压缩自由边界问题的解在 κ → ∞ 时收敛至不可压缩解？
• RQ5 能否在时间上一致地闭合先验界，从而提示略微可压缩流体存在长时间解的可能性？

主要发现

• 本文在假设 (1.8)、(1.30)–(1.34) 下，为自由表面边界的可压缩欧拉方程建立了先验能量估计，适用于 0 ≤ r ≤ 4，且满足界 |dE_r/dt| ≤ C_r(K, 1/ε, M, c₀, vol D_t, E_{r-1}*) E_r*。
• 能量估计在声速 κ 上一致，如定理 LABEL:uniform_energybounds 和命题 LABEL:uniform_kk 所示，从而支持不可压缩极限的取法。
• 当 κ → ∞ 时，可压缩解 (v_κ, h_κ) 收敛至不可压缩欧拉方程的解，将Ebin的结果推广至自由边界情形。
• 在不可压缩极限（e_κ(h) → 0）下，能量泛函退化为Christodoulou与Lindblad的版本，且该证明提供了其估计的简化与改进版本。
• 条件 −∇_N h ≥ ε > 0 对适定性至关重要；若无此条件，问题将不适定，[CL] 中的反例已证明此点。
• 当 n ≤ 3 时，在稍强的初始条件下（命题 LABEL:a_priori_estimate_strong），对于足够小的时间 t ≤ T（仅依赖于初始能量与 L^∞ 范数），先验 L^∞ 界 (1.32)–(1.34) 可被闭合。