[论文解读] Global existence for the two-dimensional Kuramoto-Sivashinsky equation with advection

Yuanyuan Feng, Anna L. Mazzucato|arXiv (Cornell University)|Sep 8, 2020

Stability and Controllability of Differential Equations参考文献 34被引用 8

一句话总结

该论文在任意 $L^2$ 初始数据条件下，建立了二维柯尔莫哥洛夫-苏拉金方程（Kuramoto-Sivashinsky equation）带平流项时弱解的全局存在性，前提是平流速度场为松弛增强型且耗散时间足够小。若无平流项，仅在小数据条件且线性化算子无增长模态时可证明全局存在性，借助混合效应带来的增强耗散来稳定非线性动力学。

ABSTRACT

We study the Kuramoto-Sivashinsky equation (KSE) in scalar form on the two-dimensional torus with and without advection by an incompressible vector field. We prove local existence of mild solutions for arbitrary data in L2. We then study the issue of global existence. We prove global existence for the KSE in the presence of advection for arbitrary data, provided the advecting velocity field v satisfies certain conditions that ensure the dissipation time of the associated hyperdiffusion-advection equation is sufficiently small. In the absence of advection, global existence can be shown only if the linearized operator does not admit any growing mode and for sufficiently small initial data.

研究动机与目标

• 在任意 $L^2$ 初始数据条件下，建立二维柯尔莫哥洛夫-苏拉金方程带平流项的弱解全局存在性。
• 分析平流在抑制线性化算子存在增长模态时可能导致的爆破现象中的稳定作用。
• 将先前针对小数据的全局存在性结果推广至二维标量形式的 KSE 方程。
• 量化混合效应与耗散时间在通过增强耗散实现全局存在性中的作用。
• 通过半群估计与在定制函数空间中的不动点论证，建立弱解存在的框架。

提出的方法

• 建立二维柯尔莫哥洛夫-苏拉金方程的标量形式，带线性平流项：$\partial_t\phi + \mathbf{v}\cdot\nabla\phi + \frac{1}{2}|\nabla\phi|^2 = -\Delta^2\phi - \Delta\phi$。
• 基于解及其梯度的加权 $L^2$ 范数，定义函数空间 $\widetilde{X}_T$，并引入时间衰减因子 $t^{1/4}$ 以控制非线性项。
• 利用线性化算子 $e^{-t\mathcal{L}}$ 的半群估计，其中 $\mathcal{L} = \Delta^2 + \Delta + \text{平流项}$，以控制 $\widetilde{X}_T$ 中的演化行为。
• 在 $\widetilde{X}_\infty$ 中应用不动点论证构造弱解，依赖于小数据或有利混合条件下的压缩映射原理。
• 通过涉及贝塞尔函数与奇异积分的积分估计，建立对非线性项的控制，利用 $L^1 \to L^2$ 与 $L^2 \to \dot{H}^1$ 的算子范数。
• 定义平流-扩散系统的耗散时间 $\tau^*$，并要求其足够小，以确保充分的混合与增强耗散。

实验结果

研究问题

• RQ1 当存在平流项时，能否在任意 $L^2$ 初始数据下证明二维柯尔莫哥洛夫-苏拉金方程弱解的全局存在性？
• RQ2 平流速度场 $\mathbf{v}$ 需满足何种条件，才能在线性化算子存在增长模态时仍保证全局存在性？
• RQ3 混合诱导的增强耗散如何稳定二维 KSE 的非线性动力学？
• RQ4 在无平流项时，能否对大初始数据实现全局存在性，还是必须依赖小数据限制？
• RQ5 耗散时间 $\tau^*$ 在决定解的稳定性和长期行为中起何种作用？

主要发现

• 在平流速度场 $\mathbf{v}$ 为松弛增强型且耗散时间 $\tau^*$ 足够小时，证明了二维 KSE 带平流项在任意 $L^2$ 初始数据下的弱解全局存在性。
• 在无平流项时，仅当线性化算子无增长模态且初始数据在 $L^2$ 范数下足够小时，全局存在性才成立。
• 耗散时间 $\tau^*$ 定义为耗散初始能量固定比例所需的时间，$\tau^*$ 越小，越能确保增强耗散，从而稳定系统。
• 证明依赖于在定制函数空间 $\widetilde{X}_\infty$ 中的不动点论证，通过时间加权 $L^2$ 范数控制非线性项 $\nabla\phi \cdot \nabla\phi$。
• 对包含 $e^{-t\mathcal{L}}$ 的半群估计进行了精细化处理，以应对标量形式中非线性的奇异性质，需引入 $\dot{H}^{-1}$ 类型的控制。
• 分析表明，具有大振幅的指数混合流可作为有效的平流场，实现对任意数据的全局存在性。