结果族 376：Universal computation in forced Navier–Stokes flows · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
一台越推越轻、渐渐睡去的机器，怎么跑完无穷多步？答案是让钟也越走越慢：外力按 1/(1+t) 的节奏衰减到零，而”逻辑时刻”取对数——物理时间 1、10、100、1000 对应逻辑时刻 0.69、2.4、4.6、6.9，永远在前进，只是越来越慢，正好把无穷多步塞进无穷时间。
关键词卡片
看个具体例子
三个标量势 P₁、P₂、P₃像三只机械手：P₁ 把源矩形举到专属高度 h=3i，P₂ 在高处沿互反插值执行指令，P₃ 按像矩形把点轻轻放下；由于源与像各自分离，不同分支互不干扰，真实轨迹就是设计路径。再套上慢钟，”数字版定理”是：
@@M@@u(t)=g'(t)\,W(g(t))，\quad g(t)=\log(1+t)\ \Longrightarrow\ \|D^{j}u\|_{\infty}\lesssim(1+t)^{-1-j}@@
每求一阶时间导数就多除一个 (1+t)，衰减自动成立；而 g 是满射，任何有限逻辑时刻都会被走到，停机检测一步不漏。
为什么值得关心
它是这套理论里最”温和”的版本：外力单块紧支、一切导数衰减、能量有限，最接近真实物理中会自然消退的扰动——而不可判定性在这样的系统里依然存活。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的意象是”越推越轻的机器配越走越慢的钟”：外力的推力按 1/(1+t) 的节奏渐渐消退，而逻辑时刻取对数——物理时间 1、10、100 对应逻辑时刻 0.69、2.4、4.6，永远在前进，只是越来越慢。换成半数学语言：对象是从静止出发、装在平直三维空间里的不可压缩黏性流体；操作是一套只在一块固定小区域内非零、且整体不断变弱的外力；固定粒子照旧一步步执行机器指令，因为”每步该在何时执行”由越走越慢的钟表给出。
第二级台阶
用本科术语精确化：核心是重参数化——取一个光滑递增且映满 [0,∞) 的慢钟 g(t)=log(1+t)，令速度 u(t)=g′(t)·W(g(t))，其中 W 是自治的搬运场；链式法则保证每求一阶时间导数就多除一个 (1+t)，衰减自动成立，而 g 的满射性保证任何有限逻辑时刻都会被走到。搬运场由标量势构造：利用两个天然无散度的微分算子从标量函数生成速度，三个势像三只机械手——举起源矩形到专属高度、在高处沿互反插值执行指令、按像矩形放下。
第三级台阶
主定理在此陈述：在固定正粘度、零初速下，任一机器与输入有效地决定一个光滑外力，其空间支集是单个与时间无关的紧集；解压强为零，力与速度的一切混合导数按 O((1+t)^(−1−j)) 衰减且都属于时空 L²，动能一致有界，在 H² 比较类中唯一；原点粒子进入半空间 x₁<−1 当且仅当机器停机。假设各挡一种麻烦：钟必须满射——若借无外力粘性衰减 e^(−νt) 当钟，累计逻辑时间有限、计算走不完；延迟头记录器让辅助规则表在整个定义域上单射，挡住信息擦除与流可逆的冲突；源族与像族各自分离，挡住不同分支互相干扰。
在 @@M@@\mathbb R^3@@ 上构造具有单一紧支集的光滑外力，驱动从静止出发的三维不可压 Navier–Stokes 流：原点粒子进入半空间 @@M@@\{x_1<-1\}@@ 当且仅当图灵机停机，且力与速度的各阶混合导数按 @@M@@O((1+t)^{-1-j})@@ 衰减——核心是三个标量势完成”举起–执行–放下”，对数慢钟供给衰减。
光滑流在有限时间内可逆，而机器指令可以覆写磁带符号、丢失”撤销”所需的信息。Landauer（1961）指出保留被丢弃信息的必要，Bennett（1973）用记录历史的可逆模拟化解了这一矛盾，Moore（1990, 1991）的广义移位（generalized shift）把符号规则化为位置展开上的分段仿射映射。此前的流体计算实现——Cardona 等人在适配度量的定常 Euler 流、Dyhr 等人在适配流形上的无外力定常 Navier–Stokes 流——都依赖定制的几何。本文要求更严：几何是平直的 @@M@@\mathbb R^3@@ 与单位环面 @@M@@\mathbb T^3@@，粘性 @@M@@\nu>0@@ 固定，初速度为零，机器与输入只出现在外力里；同时要求外力整体衰减（导数属于时空 @@M@@L^2@@），而固定粒子的停机检测仍须对所有时刻成立。一个额外障碍是：若直接用无外力的粘性衰减当钟，速度 @@M@@Me^{-\nu t}@@ 的总逻辑时间有限，计算走不完——这正是”慢钟”要解决的问题。
主定理：固定正的可计算粘性 @@M@@\nu@@，任一单带确定图灵机与有限输入有效地决定 @@M@@\mathbb R^3@@ 上一个光滑外力，其空间支集为与时间无关的单个紧集；从零初速出发的解压力为零，且
@@M@@D\|\partial_t^jD_x^\alpha u(t)\|_\infty+\|\partial_t^jD_x^\alpha f(t)\|_\infty\le C_{j,\alpha}(1+t)^{-1-j}@@
对一切 @@M@@j\ge0@@ 与空间多重指标 @@M@@\alpha@@ 成立；所有出现的导数属于时空 @@M@@L^2@@，动能一致有界；在比较类 @@M@@u\in C([0,T];H^2)\cap C^1([0,T];L^2)@@ 等条件下解唯一。原点粒子进入 @@M@@\{x_1<-1\}@@ 当且仅当机器停机。
三个附带结果：（a）前缀定理——允许改变平面面积的前缀替换在不变的环面平面 @@M@@z=1/2@@ 上实现，第三坐标的横向体积变化补偿平面压缩，固定粒子 @@M@@(1/4,1/2,1/2)@@ 进入 @@M@@\{1/2<x_1<1\}@@ 检测停机，力均值为零，且可经 Helmholtz–Leray 投影改为无散力；（b）平面哈密顿处理器给出两种外力选择——从零时刻起周期，或启动后平稳（stationary after startup）；（c）借助姊妹篇的扩散检测定理，得到同一条带上的速度场检测：@@M@@u_3>\tfrac12@@ 当且仅当停机。
第一步解决可逆性：延迟头记录器（delayed-head recorder）把每条普通指令展成有限辅助规则——写工作字母并留标记、右扫到边界追加历史记录、回扫擦除标记、最后才移动磁头——使辅助表在整个定义域上单射（目标状态确定来向位移，状态连同写下的符号唯一确定前驱），这是 Bennett 历史原理的有限实现。第二步用带缺隙的进制（base @@M@@G=2|\Gamma|@@，数字全为偶数以留出间隔）把栈编码为实数，配置落入闭矩形，每条分支是线性部分为 @@M@@\operatorname{diag}(\lambda_i,\lambda_i^{-1})@@ 的正对角仿射映射 @@M@@\Theta_i@@；源族与像族分别两两不交，这正是单射性的几何翻译。
核心几何装置是三个标量势（scalar potential）。利用两个天然无散的微分算子 @@M@@D_yP=(-\partial_zP,0,\partial_xP)@@ 与 @@M@@D_zP=(\partial_yP,-\partial_xP,0)@@，构造 @@M@@P_1@@ 把源矩形举到专属高度 @@M@@h_i=3i@@；@@M@@P_2@@ 在该高度沿互反插值 @@M@@(x,y)=(a_i(r)x_0+r\alpha_i,\ a_i(r)^{-1}y_0+r\beta_i)@@ 执行 @@M@@\Theta_i@@，由显式势 @@M@@K_i@@ 生成；@@M@@P_3@@ 按像矩形把点放下。由于源、像各自分离，不同分支的运动互不干扰；ODE 唯一性保证真实轨迹就是设计路径——一个周期把 @@M@@C_i@@ 上方的点精确送到 @@M@@\Theta_i(C_i)@@ 上方。加载段再把原点沿受控路径送到初始有理码，插值中第一坐标恒为两端点的凸组合，这排除了中途误入检测半空间。
衰减由”满慢钟”（onto slow clock）引理供给：若 @@M@@g@@ 光滑、递增、满射且 @@M@@g(0)=0@@，则 @@M@@u=g'(t)\,W(g(t),\cdot)@@ 的物质流是 @@M@@X_W(g(t),a)@@——满射性保证每个有限逻辑时刻都被到达，停机等价不丢失；取对数钟 @@M@@g(t)=\log(1+t)@@，链式求导给出逐阶 @@M@@(1+t)^{-1-j}@@ 衰减。与 Euler 延续里有限的逻辑时间相比，这里的残差外力恰能维持非可积速度 @@M@@(1+t)^{-1}@@。前缀定理把互反限制放宽为任意正对角伸缩，用 @@M@@W=(\eta'(z)v,\,-\eta(z)\operatorname{div}_Yv)@@ 使计算平面不变、第三坐标补偿面积；平面处理器则以五步调度（散开源中心、移往临时位、变形、移往扩张目标、收拢）把路由全部安排在平面内，空间悬挂 @@M@@Z(X)=(V(X_3-\tfrac14,(X_1,X_2)),1)@@ 给出启动后平稳的外力，其启动期均值显式为 @@M@@(0,0,\sigma(t))@@。
本文主结果未形式化，请以社区核验为准（族元数据提及配套 Lean 文档页，但本篇标记为未形式化）。族内三篇互为支撑：本文的单头编译器与平面处理器被《Velocity-Field Detection of Computation in Forced Navier–Stokes Flows》直接引用，而本文的速度检测一节又显式调用该篇的注入–搅动–等待定理；盒式路线的姊妹篇与本文共享比较类唯一性与慢钟框架。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明中最关键、最脆弱的一步是什么？
（答：满慢钟引理与三势精确作用的合奏。一方面须证 u=g′(t)W(g(t)) 的物质流恰是 X_W(g(t),a)，满射性保证每个有限逻辑时刻被到达，停机等价一步不丢；另一方面三个标量势举起—执行—放下的设计路径要靠 ODE 唯一性认同为真实轨迹，专属高度 h_i=3i 与源、像族各自分离是互不干扰的全部依据。任何一处平台条件失守，”设计轨迹＝物理轨迹”即断。）
问 2：为什么不能直接借无外力的粘性衰减当钟？
（答：论文自己给出对照：速度若按 e^(−νt) 衰减，可积的速率使累计逻辑时间有限，计算走不完无穷步；而残差外力支撑的非可积速度 (1+t)^(−1) 恰好配对数钟 g=log(1+t)，∫dt/(1+t) 发散、逻辑时间无穷。这是”衰减”与”跑完无穷步”之间仅存的一条窄缝，钟的满射性是不能去掉的假设。）
问 3：与前人和姊妹篇相比真正的新意是什么？
（答：这是族内最”温和”的版本：单一固定紧支集、一切混合导数按 (1+t)^(−1−j) 衰减且属时空 L²、动能一致有界，几何平直、粘度为正、初速为零——前人的 Euler/Hodge 粘性构造都需定制几何。附带结果也成体系：不变环面平面上改变面积的前缀指令（法向补偿）、可取周期或启动后定常的平面哈密顿处理器、以及回调姊妹篇扩散定理的 u₃>1/2 速度检测。）
问 4：这个结果最可能以什么方式出错？
（答：AI 生成证明的典型风险在长簿记与逐阶导数账：延迟头记录器把每条指令展成”写—右扫追加历史—回扫擦标记—移头”的有限辅助规则，须在全部定义域上单射，情形枚举最易出错；衰减估计要求每阶时间导数精确多除一个 (1+t)，势函数与钟的复合求导稍有不齐，L² 归属或衰减率即偏一阶。全文未形式化。）
问 5：检测半空间为何不会中途误报？
（答：装载段与执行段的插值路径里，第一坐标恒为两端点的凸组合：不停机的两端都在检测半空间 x₁<−1 之外，凸组合便全程在外；只有真正停机的那个周期端点越过界线。这类”整段连续路径核查”而非整点采样的纪律，是全族避免过渡期假检测的共同手法。）
问 6：下游推论与谁会用到？
（答：本篇是族内的供给侧枢纽——单头编译器与平面处理器被《Velocity-Field Detection》直接引用，本篇的检测一节又调用该篇的注入–搅动–等待定理，两篇互为犄角；主定理本身给出”温和扰动仍有不可判定性”的终点陈述。用家是 PDE 可计算性与可计算分析方向；但结论仍属精确实坐标层面，无有限精度容差。）
总评
“衰减外力＋对数慢钟＋三只势机械手”把流体计算的不可判定性推到最接近物理消退扰动的形态，满钟引理与紧支集要求是真正的技术分量；最大风险在记录器全定义域单射与逐阶衰减账未经形式化，需要逐情形人工核验。