[论文解读] Time periodic solutions of compressible fluid models of Korteweg type

Zhengzheng Chen, Qinghua Xiao+1 more|arXiv (Cornell University)|Mar 29, 2012

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

一句话总结

该论文在 $n \geq 5$ 的 $\n$ 中，针对小周期外力作用下的可压缩 Navier-Stokes-Korteweg 方程组，建立了时间周期解的存在性、唯一性以及时间渐近稳定性。通过线性化系统的能量估计与最优衰减估计，作者利用压缩映射原理证明了周期解的存在性，并表明该解的小扰动随时间衰减至零，从而确认了长期稳定性。

ABSTRACT

This paper is concerned with the existence, uniqueness and time-asymptotic stability of time periodic solutions to the compressible Navier-Stokes-Korteweg system effected by a time periodic external force in $\mathbb{R}^n$. Our analysis is based on a combination of the energy method and the time decay estimates of solutions to the linearized system.

研究动机与目标

• 在时间周期外力作用下，建立可压缩 Navier-Stokes-Korteweg 方程组时间周期解的存在性。
• 在指定函数空间内证明此类周期解的唯一性。
• 研究周期解在小初值扰动下的时间渐近稳定性。
• 将分析扩展至初始数据接近周期解的柯西问题，确保解的全局存在性及扰动的衰减。

提出的方法

• 分析结合了能量法与线性化系统解的最优时间衰减估计。
• 定义了解空间 $X_M(0,T)$，其范数涉及时间上的 $H^N$ 和梯度的 $L^2$-可积性。
• 通过压缩映射原理证明周期解的存在性，依赖于由时间衰减估计导出的积分收敛性。
• 利用能量方法推导先验估计，通过解与外力的较小性假设，仔细控制非线性项。
• 通过结合局部存在性（引理 5.1）与先验估计（引理 5.2）建立稳定性结果，后者对解范数在时间上进行一致有界控制。
• 采用对偶论证与迭代技术，将局部解延拓为全局解，确保长期行为被良好控制。

实验结果

研究问题

• RQ1 在 $n \geq 5$ 的 $\mathbb{R}^n$ 中，当可压缩 Navier-Stokes-Korteweg 方程组受时间周期外力驱动时，是否存在时间周期解？
• RQ2 在所选函数空间内，时间周期解在何种条件下具有唯一性？
• RQ3 周期解的小扰动是否随时间衰减至零，从而确保渐近稳定性？
• RQ4 当初始数据接近周期解时，柯西问题的解的长期行为如何？

主要发现

• 当 $n \geq 5$ 且 $N \geq n+2$ 时，若 $\|f\|_{H^{N-1} \cap L^1} \leq \delta_0$，其中 $\delta_0 > 0$ 足够小，则存在与外力 $f$ 同周期的时间周期解 $(\rho^{\text{per}}, u^{\text{per}})$。
• 周期解属于空间 $X_{M_0}(0,T)$，且在相同小性条件下在该空间内唯一。
• 解满足 $\|\rho^{\text{per}} - \rho_\infty\|_{H^N} + \|u^{\text{per}}\|_{H^{N-1}} \leq M_0$，且梯度项在时间上平方可积。
• 当初始数据接近周期解时，柯西问题存在唯一的全局解，且解始终保持接近周期状态。
• 扰动 $\rho - \rho^{\text{per}}$ 与 $u - u^{\text{per}}$ 在 $L^\infty$ 范数下满足 $t \to \infty$ 时趋于零，从而确认了渐近稳定性。
• 解满足能量估计 $$ \|\rho - \rho^{\text{per}}\|_{H^{N-1}}^2 + \|u - u^{\text{per}}\|_{H^{N-2}}^2 + \int_0^t \|\nabla(\rho - \rho^{\text{per}})\|_{H^{N-1}}^2 + \|\nabla(u - u^{\text{per}})\|_{H^{N-2}}^2 d\tau \leq C_0 \|\text{初始扰动}\|^2 $$ 对所有 $t \geq 0$ 成立。