Existence and Smoothness of the Navier-Stokes equation using the Boundary Integral Method

技术摘要：利用边界积分法证明纳维-斯托克斯方程的存在性与光滑性

问题陈述
本文针对关于三维非定常不可压缩纳维-斯托克斯方程存在性与光滑性的千禧年大奖难题进行了探讨。具体而言，考虑填充整个空间（$\mathbb{R}^3$）且无外部体力的流体，其初始速度场为光滑（$C^\infty$）、无散且在无穷远处按斯托克斯子（Stokeslet）衰减。核心挑战在于证明对于所有后续时间 $t \ge 0$，都存在光滑解而不发生有限时间爆破（奇点形成）；此前使用广义函数（Ladyzhenskaya）或斯托克斯子域分布（Ramm）的方法在处理惯性爆破或对数无界性方面遇到了困难。

方法论
作者提出了一种基于移动参考系及一类特定基本解——“nslets”的新型边界积分表述。该方法论依赖于以下几个关键的理论转变：

1. 时空边界积分表述：将问题重新表述为一个四维时空域（$\Sigma^+$），该域由一个初始时间体积、一个远场“球柱体”（spherical cylinder）以及一个包围流体点的极小边界所围成。
2. 移动参考系与拉格朗日-欧拉一致性：一项关键创新是将边界积分计算与随流体在该点速度运动的参考系相对齐。在此极限下，随着边界包围流体点，拉格朗日物质导数与欧拉偏导数趋于一致。因此，在边界积分表述中，非线性二次项（对流加速度 $u_j u_{i,j}$）消失了，因为欧拉描述中固有的非线性被吸收进了移动参考系的物质导数之中。
3. 基本解 (Nslets)：解是通过“nslets”（纳维-斯托克斯基本解）构建的。
   • 近场（Eulerlet）：在原点附近，nslet 近似于“eulerlet”，即欧拉方程的解，其中惯性项占主导地位。eulerlet 包含一条与流体速度方向对齐的奇点线（迹线），确保速度方向是唯一确定的。
   • 远场（Stokeslet）：在远离原点处，nslet 发生衰减，并近似为非定常斯托克斯子（或在移动参考系中的 Oseenlet）。
4. 通过散度处理非线性：非线性项被视为沿基本解径向辐条方向的向量场的散度。通过应用散度定理，非线性域积分被转化为边界积分。论文指出，在包围流体点的微小边界极限下，来自非线性项的奇异贡献与 eulerlet 的奇异压力贡献相互抵消，而其余项由于对称性或指数级衰减而消失。

主要贡献与结果

• 速度表示：论文推导出在时间 $T$ 时刻的速度场 $u_k$ 仅由初始速度分布 $u_i(x', 0)$ 和 nslet 基本解表示的边界积分表示式：
  $$u_k(x, T) = -\int_V u_i(x', 0) u_{ki}(x-x', T) dV'$$
  由于来自远场边界的贡献消失，且近场边界产生速度本身，该表示式被证明是有效的。
• 存在性与光滑性的证明：
  • 作者证明了对于足够小的步长 $T$，nslet 近似于 eulerlet，其误差阶为 $O(\nu \sqrt{T})$。
  • 通过在时间步上迭代此过程，论文论证了速度及其导数在所有时间内保持光滑（$C^\infty$）。
  • 证明是通过“假设（ansatz）”进行的：先假设光滑性以导出积分表示，然后证明所得的表示式确实产生了一个光滑解，从而完成证明。
• 零初始速度：该表述自然地在初始速度为零时产生零解，满足齐次情况下的唯一性条件。
• 混沌动力学：论文指出，由于基本解（eulerlet）的奇点线必须与局部流体速度对齐，因此该系统构成了一个动力系统，其中基本解与流场相互作用。这种机制允许出现混沌行为，例如在高雷诺数极限下还原为“闪烁涡”（blinking vortex）模型。

意义与主张
本文声称通过规避“惯性爆破”奇点，提供了三维非定常纳维-斯托克斯方程存在性与光滑性的证明。这是通过转向一个非线性对流项从边界积分表述中消失的移动参考系来实现的，从而能够使用由 Oseen 和 Ladyzhenskaya 开发的标准线性边界积分理论（格林函数）。

作者断言，该方法成功模拟了：

1. 低雷诺数流动（通过 Oseen 近似进行验证）。
2. 高雷诺数非线性流动（通过 Blasius 和三层结构理论进行验证）。
3. 混沌流（通过展示向闪烁涡动力学的还原进行验证）。

论文得出结论，只要初始条件光滑且衰减适度，所得的积分表示在所有时间内均存在且光滑。其意义在于提供了一种构造性方法，通过选择特定的参考系和基本解，将非线性问题转化为线性边界积分问题，同时承认对充分发展的湍流建模仍是未来研究的课题。