[论文解读] Existence, Uniqueness and Asymptotic Behavior of Regular Time-Periodic Viscous Flow around a Moving Body: Rotational Case

Giovanni P. Galdi|arXiv (Cornell University)|Jun 4, 2020

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

一句话总结

本文建立了在刚体以相同周期进行平动和转动组合运动时，黏性流体绕刚体的纳维-斯托克斯方程具有正则时间周期解的存在性、唯一性及渐近行为。通过在具有加权衰减的函数空间上使用压缩映射方法，证明了当数据较小时，存在唯一解；当刚体具有非零平均平动速度时，流动表现出类似于定常流的尾迹结构。

ABSTRACT

We show existence and uniqueness for small data of regular time-periodic solutions to the Navier-Stokes problem in the exterior of a rigid body, $\mathscr B$, that moves by time-periodic translational motion of the same period along a constant direction, $\bfe_1$, and spins with constant angular velocity $\bfomega$ parallel to $\bfe_1$. We also study the spatial asymptotic behavior of such solutions and show, in particular, that if $\mathscr B$ has a net motion characterized by a non-zero average translational velocity $\bar{\bfxi}$, then the solution exhibit a wake-like behavior in the direction $-\bar{\bfxi}$ entirely analogous to that of a steady-state flow around a body that moves with velocity $\bar{\bfxi}$ and angular velocity $\bfomega$.

研究动机与目标

• 建立黏性流体绕作时间周期性平动和转动运动的刚体的纳维-斯托克斯方程正则时间周期解的存在性与唯一性。
• 分析此类解的空间渐近行为，特别是当刚体具有非零平均平动速度时的情形。
• 在保持小数据条件的前提下，去除对周期和运动时间依赖性的限制性假设，如恒定速度或平行对齐。
• 为流体力学中观察到的稳态流现象提供严格的数学基础。
• 在不依赖最大正则性或 $L^p$-$L^q$ 估计的前提下，扩展先前结果，转而使用高阶能量估计与压缩映射框架。

提出的方法

• 将问题表述为具有移动边界条件的时间周期性纳维-斯托克斯系统，对应于物体的平动和转动运动。
• 引入一个函数空间 $\mathscr{S}$，配备加权范数，以捕捉无穷远处的衰减，确保解的正则性与可积性。
• 结合高阶能量估计使用伽辽金法，证明线性化问题存在正则的 $T$-周期解。
• 在空间 $\mathscr{S}$ 中应用压缩映射原理，将非线性项 $\mathbf{u} \cdot \nabla \mathbf{u}$ 视为扰动。
• 通过涉及平均平动速度 $\lambda$ 的加权 $L^2$-型范数建立先验估计，确保解在无穷远处的衰减。
• 依赖于线性问题的良好适定性及非线性映射的有界性，证明迭代格式的收敛性。

实验结果

研究问题

• RQ1 在何种条件下，绕作时间周期性平动和转动运动的刚体周围，纳维-斯托克斯方程存在唯一正则时间周期解？
• RQ2 解的空间渐近行为如何依赖于刚体的平均平动速度？
• RQ3 能否在不假设驱动运动为恒定速度或周期性约束的前提下，建立解的存在性与唯一性？
• RQ4 当刚体具有非零平均平动速度时，流动中尾迹状结构的本质是什么？
• RQ5 旋转运动的引入如何影响黏性流的长期行为与衰减特性？

主要发现

• 当数据范数 $\mathsf{D}$ 足够小时，其中包含体力、其散度、平动速度与角速度，存在唯一的 $T$-周期解 $({\mathbf{u}}, p)$ 属于空间 $\mathscr{S} \times L^2(D^{1,2})$。
• 解满足先验估计 $\|{\mathbf{u}}\|_{\mathscr{S}} \leq c \, \mathsf{D}$，其中 $c = c(\Omega, T)$，确保解相对于数据大小的有界性。
• 当平均平动速度 $\overline{\boldsymbol{\xi}} = \lambda \geq 0$ 非零时，流动在 $-\overline{\boldsymbol{\xi}}$ 方向表现出尾迹状行为，类似于以速度 $\overline{\boldsymbol{\xi}}$ 和角速度 $\omega$ 运动的物体在定常流中的行为。
• 解的渐近衰减由大距离处的特征分布表征，与尾迹区域中的定常行为一致。
• 压缩映射方法在条件 $\mathsf{D} < 1/(16c_2^2)$ 且 $\|\mathbf{u}\|_{\mathscr{S}} < \delta = 4c_2 \mathsf{D}$ 下成立，确保迭代格式的收敛性。
• 该方法避免了如 $\boldsymbol{\omega} \equiv 0$、$\boldsymbol{\xi}$ 恒定或周期匹配 $2\pi\kappa/|\boldsymbol{\omega}|$ 等限制性假设，从而推广了先前结果。