[论文解读] Local null-controllability of the 2-D Vlasov-Navier-Stokes system

Iván Moyano|arXiv (Cornell University)|Jul 19, 2016

Stability and Controllability of Differential Equations参考文献 18被引用 4

一句话总结

该论文通过证明在环面上的某个子集 ω 内局部化内部控制下，可将粒子分布和流体速度从任意初始状态驱动至零，建立了二维 Vlasov-Navier-Stokes 系统的局部零可控性。证明依赖于回路法（return method）和 Leray-Schauder 型不动点论证，且在 ω 满足条带假设（strip assumption）的几何条件下成立。

ABSTRACT

We prove a null controllability result for the Vlasov-Navier-Stokes system, which describes the interaction of a large cloud of particles immersed in a fluid. We show that one can modify both the distribution of particles and the velocity field of the fluid from any initial state to the zero steady state, by means of an internal control. Indeed, we can modify the non-linear dynamics of the system in order to absorb the particles and let the fluid at rest. The proof is achieved thanks to the return method and a Leray-Schauder fixed-point argument.

研究动机与目标

• 建立二维 Vlasov-Navier-Stokes 系统的零可控性，使粒子分布和流体速度均被控制至零。
• 应对具有非线性相互作用和非局部耦合的耦合动能-流体系统控制的挑战。
• 通过引入作用于粒子动力学的局部源项控制机制，将可控性结果拓展至动能-流体模型。
• 证明控制可被构造为在有限时间内使系统达到零稳态，即使存在非线性和非局部耦合。
• 为使用回路法与不动点技术控制复杂动能-流体系统提供一个可构造的框架。

提出的方法

• 利用回路法构造一条参考轨迹，使系统在时间间隔后返回平衡状态。
• 采用 Leray-Schauder 不动点论证，证明存在一个控制函数 G，可使系统被控制至零。
• 构建一个带有阻尼力相互作用项的修正版 Navier-Stokes 系统，以模拟粒子对流体的反馈效应。
• 对控制区域 ω 施加条带假设，以确保传播控制效应所必需的几何条件。
• 为 Vlasov-Navier-Stokes 系统建立稳定性估计，以控制扰动下解的演化。
• 依赖强解理论及 Sobolev 与 Lebesgue 空间中的泛函分析，以确保系统的正则性和适定性。

实验结果

研究问题

• RQ1 能否通过内部控制将 Vlasov-Navier-Stokes 系统从任意初始数据驱动至零稳态？
• RQ2 在二维情形下，为实现零可控性，控制区域 ω 需满足何种几何条件？
• RQ3 如何将回路法适配于具有非局部耦合的非线性动能-流体系统？
• RQ4 是否可能同时将粒子分布和流体速度场控制至零？
• RQ5 为确保控制的存在性与唯一性，需要何种函数框架与正则性假设？

主要发现

• 只要控制区域 ω 满足条带假设，对于指定函数空间中的任意初始数据，系统在有限时间 T 内具有局部零可控性。
• 存在一个控制函数 G ∈ C⁰([0,T] × T² × R²)，使得解 (f,u) 满足 f(T,·,·) = 0 且 u(T,·) = 0。
• 证明通过 Leray-Schauder 定理建立了构造算子的不动点，从而确保了控制问题解的存在性。
• 推导出 Vlasov-Navier-Stokes 系统的稳定性估计，表明初始数据或外力的微小扰动仅引起解的受控变化。
• 成功地将回路法应用于非线性、非局部的动能-流体系统，将其适用范围扩展至经典流体模型之外。
• 在相同条件下证明了解的唯一性，确认控制是良定义且稳定的。