通过有界域流对平移刚体后的定时周期流的逼近

我们考虑在平移刚体之后的定时周期不可压缩三维 Navier-Stokes 流。本文第一部分建立了在外部域$\Omega \subset {\mathbb R}^3$中强解的存在唯一性，并满足速度和压力的点估计。时间周期 Oseen 方程的基本解在获得这些估计方面起到了核心作用。第二部分聚焦于在截断域$\Omega \cap B_R$内逼近该外部流，包含$\partial B_R$上的适当人工边界条件。在这些有界域问题中，我们证明了弱解的存在唯一性。最后，我们对速度分量误差进行估计，作为截断半径$R$的函数，表明随着$R \to \infty$，截断问题的速度在适当范数下收敛于外部流的速度。