[论文解读] Mathematical Analysis of the Motion of a Rigid Body in a Compressible Navier-Stokes-Fourier Fluid

Bernhard H. Haak, Debayan Maity+2 more|arXiv (Cornell University)|Oct 23, 2017

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

一句话总结

该论文通过 $L^p$-$L^q$ 框架，建立了可压缩 Navier-Stokes-Fourier 方程与由牛顿定律控制的刚体运动耦合的流固耦合系统强解的存在性与唯一性。关键贡献在于，利用极大正则性和线性化算子的 $ρ$-扇形性，通过一种新颖的扰动方法，证明了三维情形下小初值的局部与全局存在性。

ABSTRACT

We study an initial and boundary value problem modelling the motion of a rigid body in a heat conducting gas. The solid is supposed to be a perfect thermal insulator. The gas is described by the compressible Navier-Stokes-Fourier equations, whereas the motion of the solid is governed by Newton's laws. The main results assert the existence of strong solutions, in an L p-L q setting, both locally in time and globally in time for small data. The proof is essentially using the maximal regularity property of associated linear systems. This property is checked by proving the R-sectoriality of the corresponding operators, which in turn is obtained by a perturbation method.

研究动机与目标

• 建立三维流固耦合系统中强解的存在性与唯一性，该系统涉及可压缩、导热气体与刚体的相互作用。
• 将 $L^p$-$L^q$ 理论扩展至耦合可压缩 Navier-Stokes-Fourier 方程与刚体动力学的完整非线性自由边界问题。
• 解决在 $L^p$-$L^q$ 框架下，尤其在考虑热效应时，可压缩流固耦合系统缺乏全局存在性结果的问题。
• 发展一种整体方法，保持线性化系统中流固耦合关系，从而实现指数稳定性和极大正则性分析。

提出的方法

• 将流体方程变换到拉格朗日坐标系，以处理由于刚体运动引起的移动区域。
• 利用线性化级联系统，通过抛物方程的已有结果，建立 $L^p$-$L^q$ 极大正则性。
• 通过扰动方法证明流固算子的 $ρ$-扇形性，起点为具有齐次边界条件的流体系统。
• 在小时间区间内应用不动点方法证明局部存在性，依赖于随区间长度缩放的时间依赖估计。
• 对于全局存在性，围绕常数稳态进行线性化，并证明由线性化算子生成的半群的指数稳定性。
• 在加权 $L^p$-$L^q$ 空间中使用压缩映射原理处理小初值，利用线性化系统的稳定性和正则性。

实验结果

研究问题

• RQ1 在三维情形下，可压缩 Navier-Stokes-Fourier 系统与刚体运动耦合时，强解是否能在全局时间存在？
• RQ2 $L^p$-$L^q$ 框架是否适用于证明考虑热效应的流固相互作用问题中，小初值的全局存在性？
• RQ3 对于具有非齐次边界条件和自由边界条件的耦合流固系统，能否建立极大正则性？
• RQ4 如何利用扰动技术证明线性化流固算子的 $ρ$-扇形性？
• RQ5 整体方法在保持耦合关系并实现线性化系统中指数稳定性方面起到什么作用？

主要发现

• 通过基于时间依赖估计的不动点方法，在 $L^p$-$L^q$ 框架下，对一类广义初值数据，建立了强解的局部存在性与唯一性。
• 对于小初值，在 $L^p$-$L^q$ 框架下证明了全局存在性与唯一性，将先前结果扩展至包含热效应的完整可压缩 Navier-Stokes-Fourier 系统。
• 证明了线性化流固系统的指数稳定性，这对全局存在性结果至关重要。
• 通过扰动论证建立了流固算子的 $ρ$-扇形性，从而可应用极大正则性理论。
• 解满足一致正则性条件 $\rho(t,x) \geq \bar{\rho}/2$ 对所有 $t \geq 0$ 成立，确保流体保持可压缩性且区域始终适定。
• 刚体与边界之间的距离在所有时间均远离零，确保区域不会退化。