[论文解读] Singularity formation for compressible Euler equations

Geng Chen, Ronghua Pan+1 more|arXiv (Cornell University)|Aug 28, 2014

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

一句话总结

本文對可壓縮歐拉方程在等熵與絕熱流體中的有限時間奇點形成現象建立了完整的分類。透過引入非線性壓縮的臨界強度，並推導出密度衰減的精確界限，證明了當且僅當初始壓縮超過此臨界閾值時，奇點才會在有限時間內形成，從而解決了大數據情形下雙曲守恆律中長期存在的開門問題。

ABSTRACT

It is well-known that shock will form in finite time for hyperbolic conservation laws from initial nonlinear compression no matter how small and smooth the data are. Classical results, including Lax [14], Liu [22], Li-Zhou-Kong [16], confirm that when initial data are small smooth perturbations near constant states, blowup in gradient of solutions occurs in finite time if and only if intial data contain any compression in some truly nonlinear characteristic field. A natural puzzle is that: Will this picture keep true for large data problem of physical systems such as compressible Euler equations? One of the key issues is how to find an effective way to obtain sharp enough control on density lower bound. For isentropic flow, we offer a complete picture on the finite time shock formation from smooth initial data away from vacuum, which is consistent with small data theory. For adiabatic flow, we show a striking observation that initial weak compressions do not necessarily develop singularity in finite time, in a sharp contrast to the small data theory. Furthermore, we find the critical strength of nonlinear compression, and prove that if the compression is stronger than this critical value, then singularity develops in finite time, and otherwise there are a class of initial data admitting global smooth solutions with maximum strength of compression equals to this critical value.

研究动机与目标

• 解決可壓縮歐拉方程在大初始數據下有限時間奇點形成的開門問題，超越小數據理論的範疇。
• 發展一種精確且有效的密度下界控制方法，此方法對於分析大數據情形下的奇點形成至關重要。
• 根據初始非線性壓縮的強度，對等熵與絕熱流體中的奇點形成進行分類。
• 建立壓縮強度的臨界閾值，超過此閾值時奇點在有限時間內形成，低於此閾值時則存在全域光滑解。
• 透過嚴謹描述密度衰減與聲速行為的角色，將經典的小數據結果推廣至大數據設定。

提出的方法

• 提出一種利用聲速的倒數與黎曼不變量來表徵密度下界衰減的新方法，從而實現對長時間行為的控制。
• 將拉克斯方法應用於拉格朗日座標下的 p-系統，推導出黎曼不變量及其梯度的演化方程。
• 透過條件 $\int_0^\infty a(\tau(x(t),t))\,dt = \infty$ 定義非線性壓縮的臨界強度，其中 $a(\tau) = \frac{p_{\tau\tau}}{4(-p_\tau)^{5/4}}$。
• 利用黎曼不變量建立速度與內能的統一 $L^\infty$ 界，確保當初始數據非壓縮時解的全域存在性。
• 利用不等式 $\frac{1}{a(\tau)} \leq K_2 + K_3 t$ 證明當壓縮超過臨界閾值時會發生爆破，依賴於壓力定律的假設 A.5。
• 將該方法應用於滿足輕微結構條件的一般壓力定律，包括 $\gamma$-定律 $p = K\tau^{-\gamma}$，並證明全域存在性當且僅當 $s_x(x,0) \geq 0$ 且 $r_x(x,0) \geq 0$。

实验结果

研究问题

• RQ1 在可壓縮歐拉方程中，即使無小數據假設，大初始數據是否仍會導致有限時間奇點形成？
• RQ2 能否為大數據解建立精確且有效的密度下界控制，以防止其無界衰減？
• RQ3 是否存在一個初始壓縮強度的臨界閾值，用以區分全域光滑解與有限時間爆破？
• RQ4 與小數據理論相比，大數據下 p-系統（等熵情形）的奇點形成行為有何差異？
• RQ5 壓力定律需滿足何種結構條件，才能確保奇點僅在壓縮超過某一臨界值時形成？

主要发现

• 對於等熵流，有限時間奇點形成當且僅當初始數據在真正非線性特徵場中包含任何壓縮，從而將小數據結果推廣至大數據情形。
• 對於絕熱流，初始弱壓縮不必然導致有限時間爆破；相反，存在一個壓縮強度的臨界值，超過此值時奇點才會形成。
• 對於最大壓縮強度等於臨界值的一類初始數據，全域光滑解存在，從而證明了該閾值的精確性。
• 本文證明 $\int_0^\infty a(\tau(x(t),t))\,dt = \infty$ 當且僅當初始壓縮超過臨界閾值，此為爆破的關鍵條件。
• 該方法利用黎曼不變量與條件 $ (5+A)(p_{\tau\tau})^2 - 4p_\tau p_{\tau\tau\tau} \geq 0 $，建立密度與聲速的統一界，確保對長時間行為的控制。
• 該結果適用於滿足假設 A.2–A.5 的一般壓力定律，包括 $\gamma$-定律 $p = K\tau^{-\gamma}$（$\gamma > 1$），確認了其廣泛適用性。