结果族 376：Universal computation in forced Navier–Stokes flows · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
从前的”水计算机”里，外力必须不停变化——像一段反复重播还不断改写的搅动程序。这篇问了个更刁钻的问题：外力从某个时刻起完全定住、永远不再变，计算还能继续吗？答案：能。诀窍是把时钟从时间搬进空间——颗粒沿第三坐标匀速上浮，它的高度本身就是时刻表。
关键词卡片
看个具体例子
构造取 U(t)=α(t)·W：W 是自治速度场，α(t) 在 t≥1 后恒等于 1。代入外力公式 f=α′W+α²(W·∇)W−ναΔW，三项此后全部冻结——t≥1 后它就是一个常数场。但颗粒只是被”重新计时”：s(t)=t−3/4，照旧跑遍无穷多步，停机检测一毫不差。
为什么值得关心
它打破直觉：停止变化的推动仍能驱动无穷长的通用计算——时间节拍改由空间供给。这把”流体计算”对外力的要求又砍掉一大块，也说明”看外力是否平稳”绝不足以判断系统行为是否简单。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的比喻是”把时钟从时间搬进空间”：外力像一条已经定型的河道，不再随时刻改写，颗粒却照旧一步步执行程序。换成半数学语言：对象仍是从静止出发、装在固定环面里的不可压缩黏性流体；操作是一份起动后便永久冻结的外力；被观测的仍是同一个固定颗粒。关键的新想法是：每条指令”该在何时执行”不再由外力的变化给出，而由颗粒此刻走到哪里给出——位置就是节拍。
第二级台阶
用本科术语精确化：构造一个不随时间变化的自治速度场 W，它的第三分量在整条”计算走廊”上恒等于 1，于是颗粒沿第三坐标匀速前进，该坐标充当相位；平面部分的场对相位以一为周期，在一个周期内用哈密顿脉冲把机器的整张有限转移表全部实现——先把各源矩形按序抽到高处”停车场”，完成横缩纵伸的保面积变形，再按序送回目标矩形。再用一个起动斜坡 α(t) 把速度整体放大：t≥1 后斜坡恒为 1，外力表达式 f=α′W+α²(W·∇)W−ναΔW 的三项全部冻结成常数场。
第三级台阶
主定理在此陈述：存在有效过程把任意图灵机与输入编译成光滑、零均值、t≥1 后定常的外力，一切混合导数有界；零初速下方程有全局光滑解且古典类中唯一，动能一致有界；固定颗粒进入固定开带，当且仅当机器停机。假设各自挡住的麻烦：可逆记录器挡住”光滑流可逆、机器可抹信息”的冲突；停车路由的两个单调排序挡住矩形相撞；时钟分量仅在走廊上为 1 的设计，则挡住”相位与位置脱钩”。推论给出从时刻零起的周期外力；慢时钟变体还让各阶导数按 (1+t)^(−1−h) 衰减至零。
本文证明：在固定平坦环面、固定正可计算粘度、零初速下，可构造 @@M@@t\ge1@@ 后完全定常（不随时间变化）的光滑零均值外力，使固定粒子进入固定开带当且仅当给定图灵机停机——停止变化的力仍能驱动任意长的通用计算。
流体内通用计算的已有构造中，外力都随时间持续变化（周期重复或步长不断加长）。自然追问：外力最终停止变化后，计算还能继续吗？难点在于机制的时间节拍必须改由空间供给。本文的答案是让第三个空间坐标充当”时钟”：自治速度场的第三分量在整条计算走廊上恒为 1，粒子沿该坐标匀速前进，其位置就是平面处理器的相位。与前人改编度规、使用非零初速的欧拉/Hodge 粘性构造不同，这里的平环面、粘度、零初速、粒子标签与探测区域全部事先固定，只有力的有限描述依赖机器与输入。
主定理（定理 1.1，eventually steady forcing）：固定正的可计算粘度 @@M@@\nu@@，存在有效过程把图灵机与有限输入变为 @@M@@\T^3@@ 上外力 @@M@@f@@：(1) @@M@@f@@ 光滑、零空间均值、@@M@@t\ge1@@ 后与时间无关，一切混合导数在全域有界；(2) 零初速下 Navier–Stokes 方程有全局光滑解，古典类唯一，动能一致有界；(3) 固定粒子 @@M@@P=(1/4,1/4,0)@@ 的物质轨线进入固定开带 @@M@@\mathcal O=\{1/32<Y<1/8\}@@ 当且仅当机器停机。力由有限公式给出、不模拟所选执行，且关于参数 @@M@@\nu@@ 形式一致。另有两个变体：从时刻零起周期为一的外力（推论）；慢时钟 @@M@@a(t)=\beta(2t-1)/(1+t)@@ 给出各阶导数按 @@M@@(1+t)^{-1-h}@@ 衰减、一致趋于零的外力（命题）。推论：固定粒子可达性不可判定。
第一步，可逆记录器：七行转移表、三轨字母（数据、头标记、历史），历史前沿不断右移抄录指令标签；”目标状态＋写下的完整符号”可唯一还原来路，故在全域可逆，检查点恢复原机构形。第二步，平面处理器：把整张有限规则表在一个相位周期内全部实现。带子按 @@M@@B@@ 进制编码，状态方块按高度分层——非终态方块 @@M@@Y\in[1/4-\lambda,1/2)@@，终态方块落在探测带 @@M@@H=\{1/32<Y<1/8\}@@ 内且距边界至少 @@M@@1/32@@。核心是”停车”（parking）路由：把一个周期切成 @@M@@5N@@ 个槽，先按源横坐标递减的顺序把各源矩形抽到高度 @@M@@3/4@@ 的专属停车列，全部停好后各自完成互逆伸缩 @@M@@\diag(\mu,\mu^{-1})@@——哈密顿位势 @@M@@G=(\log\mu)(X-\pi_1)(Y-\pi_2)@@ 给出精确路径 @@M@@\pi+\diag(\mu^\theta,\mu^{-\theta})(w-\pi)@@——再按目标横坐标递增的顺序送回。两个单调排序保证扫过的方框不撞静止矩形；源族与目标族只需各自分离，源-目标重叠无害，因为总是先全部抽出再统一插入。每个脉冲都是无散、零均值的哈密顿场，ODE 唯一性把显式路径与真实流合一。第三步，空间时钟：定义自治场 @@M@@W=(V_1(Z,X,Y),V_2(Z,X,Y),g(X,Y))@@，其中 @@M@@g=\partial_X(X\chi_*)@@ 在走廊邻域恒为 1；平面轨线 @@M@@(\Phi^V_s,s\bmod1)@@ 恰为 @@M@@W@@ 的轨线，第三坐标本身就是相位。非停机轨线全程 @@M@@3/16\le Y\le7/8@@，绝不进入 @@M@@H@@；停机则在某整数相位时刻到达终态方块。第四步，起动斜坡与定常力：取 @@M@@U(t)=\alpha(t)W@@，@@M@@\alpha(t)=\beta(2t-1)@@ 在 @@M@@t\ge1@@ 时恒为 1，外力 @@M@@f=\alpha'W+\alpha^2(W\cdot\nabla)W-\nu\alpha\Delta W@@ 的各项此后全部冻结，故定常。粒子只是被重参数化：@@M@@s(t)=\int_0^t\alpha@@ 满足 @@M@@s(1)=1/4@@、@@M@@t\ge1@@ 时 @@M@@s(t)=t-3/4@@，映满 @@M@@[0,\infty)@@，事件等价原样保持。文中还给出流映射一、二阶导数的 @@M@@e^{Ls}@@、@@M@@e^{2Ls}@@ 型有限时间扰动控制；唯一性由残差恒等式与 Leray 能量比较得到。
本文暂无形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。本文正是第二篇所引的姊妹篇，专门回答”外力最终定常后能否继续计算”；第一篇则给出压强恒为零的无散周期机制。三篇共用”编译器→预设速度→残差力→能量法唯一性”的骨架，在相同固定几何下互为印证。结论针对精确轨线，作者明确说明不提供无限长计算的一致有限精度容限。
问 1：证明中最关键、最脆弱的一步是什么？
（答：空间时钟的吊起论证：平面轨线 (Φ^V_s, s mod 1) 之所以是自治场 W 的轨线，全靠 g=∂ₓ(xχ) 在整条走廊 J 的邻域上恒为 1，再用 ODE 唯一性认同。若某条被扫过的路径短暂离开 g=1 的平台，相位与平面运动立即脱钩，整周期编码作废。其次是斜坡重参数化 s(t)=∫α 必须映满 [0,∞)——论文算出 s(1)=1/4、t≥1 时 s(t)=t−3/4，每个整数相位都真实到达。）
问 2：慢时钟命题里 ∫₀^∞ a=∞ 为什么不能去掉？
（答：论文自己点破：若 a 可积，粒子只走完空间轨迹的一段有界相位，后面的指令永远等不到，事件等价失效。a(t)=β(2t−1)/(1+t) 恰好给出对数发散的累积相位 s_a(t)~log(1+t)，既让导数按 (1+t)^(−1−h) 衰减、力一致趋零，又保证每个计算步迟早执行。）
问 3：与前人和姊妹篇相比，真正的新意是什么？
（答：CMPP 与 DGMP 的定常计算分别要黎曼三球面和 Hodge 粘性加非零初速；CMP 的有界模拟也用非零 Beltrami 初速且只在紧区域逃出前有效。本文首次让”外力本身”在 t≥1 后完全定常，同时保持平坦几何、固定粘度、零初速与无界计算。姊妹篇分别给压强恒零的周期机制与混合导数 L² 的超长步长机制，本篇的卖点是”冻结”。）
问 4：停车路由为什么不会撞车，这块最可能怎么出错？
（答：一个周期切 5N 槽：按源横坐标递减抽出、全部停稳后在各自停车列做互逆伸缩、再按目标横坐标递增插回；两个单调排序保证任何移动方框扫过的区域里只有静止矩形。最可能出错的是组合细节：并列中心的平局按分支指标破链、λ<1/[12(m+1)] 与终态方块距边界 1/32 的间距账、以及邻域半径 ρ=m/(2M) 里 M 取遍所有仿射部分算子范数——差一个因子就是一次碰撞。）
问 5：这个结果最可能以什么方式出错？
（答：AI 生成证明的典型风险是把”验证通过”写成”显然成立”：每个槽的被扫方框与静止方框的正距离、截止函数平台与其支集的包含关系都应逐槽核算，论文虽称由有限有理计算给出，但未经形式化；此外 g 在走廊外可取负值，若走廊邻域宽度估计失误，非跟踪颗粒或扰动颗粒的回流可能被误当相位。）
问 6：下游推论与谁会用到？
（答：直接推论是固定粒子可达性对该构造类的不可判定性；流映射的 e^{Ls}、e^{2Ls} 型有限时间扰动管道也被论文明示可移植到需要小邻域控制的扩散问题；配合傅里叶投影还可换成无散度外力。用家是流体可计算性与可计算分析方向；但结论仍是精确轨线层面的，论文明示不给无穷计算的一致有限精度容限。）
总评
这是”停止变化的力仍能驱动通用计算”的第一个干净构造，空间时钟加停车路由的思想分量足；最大风险在 5N 槽路由与走廊平台的逐槽核验未经形式化，且定常外力对初值扰动的长期敏感性未被控制。