陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Localisation and compactness properties of the Navier-Stokes global regularity problem」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

I’ve just uploaded to the arXiv my paper “ Localisation and compactness properties of the Navier-Stokes global regularity problem “, submitted to Analysis and PDE . This paper concerns the global regularity problem for the Navier-Stokes system of equations

in three dimensions. Thus, we specify initial data , where is a time, is the initial velocity field (which, in order to be compatible with (2) , (3) , is required to be divergence-free), is the forcing term, and then seek to extend this initial data to a solution with this data, where the velocity field and pressure term are the unknown fields.

已知结果和反例

Roughly speaking, the global regularity problem asserts that given every smooth set of initial data , there exists a smooth solution to the Navier-Stokes equation with this data. However, this is not a good formulation of the problem because it does not exclude the possibility that one or more of the fields grows too fast at spatial infinity. This problem is evident even for the much simpler heat equation

As long as one has some mild conditions at infinity on the smooth initial data (e.g. polynomial growth at spatial infinity), then one can solve this equation using the fundamental solution of the heat equation:

证明或构造的主线

If furthermore is a tempered distribution, one can use Fourier-analytic methods to show that this is the unique solution to the heat equation with this data. But once one allows sufficiently rapid growth at spatial infinity, existence and uniqueness can break down. Consider for instance the backwards heat kernel

for some , which is smooth (albeit exponentially growing) at time zero, and is a smooth solution to the heat equation for , but develops a dramatic singularity at time . A famous example of Tychonoff from 1935, based on a power series construction, also shows that uniqueness for the heat equation can also fail once growth conditions are removed. An explicit example of non-uniqueness for the heat equation is given by the contour integral

阅读时建议盯住的点

where is the -shaped contour consisting of the positive real axis and the upper imaginary axis, with being interpreted with the standard branch (with cut on the negative axis). One can show by contour integration that this function solves the heat equation and is smooth (but rapidly growing at infinity), and vanishes for , but is not identically zero for .

Thus, in order to obtain a meaningful (and physically realistic) problem, one needs to impose some decay (or at least limited growth) hypotheses on the data and solution in addition to smoothness. For the data, one can impose a variety of such hypotheses, including the following:

值得单独记下的条目

• (Finite energy data) One has and .
• (Schwartz data) One has and for all .
• (Periodic data) There is some such that and for all and .
• (Finite energy solution) One has .
• ( solution) One has and .
• (Partially periodic solution) There is some such that for all and .
• (Fully periodic solution) There is some such that and for all and .
• ( mild solutions) The solution is not smooth, but is (in the preceding sense) and solves the equation (1) in the sense that the Duhamel formula holds.

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源