[论文解读] On the motion of a viscous liquid filling space

J. P. Leray, Robert Terrell|arXiv (Cornell University)|Apr 6, 2016

Pickering emulsions and particle stabilization被引用 9

一句话总结

这篇1934年的开创性论文由让·勒雷（Jean Leray）证明了在所有空间中填充粘性不可压缩流体的纳维-斯托克斯方程存在全局时间解，即使解可能发展出奇点。通过采用奥辛（Oseen）方法导出的积分微分方程形式化问题，并结合能量耗散机制，勒雷证明了存在‘湍流’解，这些解全局定义，能量有界，并表现出速度及其梯度的渐近衰减率，尽管它们在孤立点上可能不光滑。该工作为现代纳维-斯托克斯方程弱解理论奠定了基础。

ABSTRACT

A translation to English of the 1934 paper of Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace.

研究动机与目标

• 通过证明对任意初始速度数据均存在解，事后验证纳维-斯托克斯方程的合理性。
• 解决一个开放问题：即解是否能在所有时间内保持正则性，特别是考虑到有限时间内可能出现奇点的可能性。
• 构建一个即使解不经典光滑，也仍能在全局时间范围内保持有效的解框架。
• 调和物理中的能量耗散原理与流体运动有界性和正则性的数学要求。
• 引入一类新解——‘湍流’解——它们在零测度集外满足纳维-斯托克斯方程。

提出的方法

• 通过仅依赖于速度及其一阶空间导数的积分微分方程组来形式化流体运动，该方程组等价于奥辛的表述。
• 通过分部积分从纳维-斯托克斯方程推导出这些方程，从而消除高阶导数。
• 施加能量耗散不等式，以确保总动能有界。
• 基于能量和梯度范数的先验估计，控制解随时间的增长。
• 应用紧致性论证和弱收敛技术，证明解在无限时间区间内的存在性。
• 将‘湍流’解定义为几乎处处满足纳维-斯托克斯方程的解，仅可能在测度为零的闭集上不满足。

实验结果

研究问题

• RQ1 对于任意初始速度数据，是否能证明纳维-斯托克斯方程的解在所有时间内存在，即使解不光滑？
• RQ2 能量耗散机制是否足以保证流体运动的全局正则性，还是奇点仍可能在有限时间内出现？
• RQ3 在长时间尺度下，充满全空间的粘性流体中速度及其梯度的渐近行为如何？
• RQ4 能否构造出一种解，使其在弱意义下满足纳维-斯托克斯方程，即使其在孤立点上不可微？
• RQ5 奥辛的积分微分方程表述的性质，在全局存在性背景下，与经典纳维-斯托克斯方程有何关联？

主要发现

• 对于充满全空间的粘性不可压缩流体，纳维-斯托克斯方程至少存在一个全局时间解，对应于任意给定的初始速度场。
• 该解能量有界，总动能满足 $ \nu \int_0^t J^2(t') \, dt' \leq \frac{1}{2} W(0) $，其中 $ J(t) $ 与速度梯度的 $ L^2 $-范数相关。
• 当时间 $ t > A W^2(0)/\nu^5 $ 时，解满足渐近衰减估计：$ J(t) < A \sqrt{W(0)} (\nu t)^{-1/2} $ 和 $ V(t) < A \sqrt{W(0)} (\nu t)^{-3/4} $，其中 $ V(t) $ 为速度的 $ L^2 $-范数。
• 解可能在孤立时间点上不具有 $ C^2 $-光滑性，形成一个测度为零的闭集，但仍几乎处处满足纳维-斯托克斯方程。
• 解对所有 $ t \geq 0 $ 定义，即使在正则性可能丧失的情况下，也确立了全局存在性。
• 此类解的存在表明了一种数学框架，可用于描述湍流流动，其中解为弱解且可能出现奇点，但能量始终保持有界。