Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

技术摘要：Navier–Stokes 方程的有限窗口奇异性审计与局部-至-洁净缺陷传递

1. 问题陈述
本文探讨了三维不可压缩 Navier–Stokes 方程的局部正则性问题。具体而言，它研究了一个“非 CKN 分支”（non-CKN branch）的结构要求——即在这一系列尺度序列中，适合弱解（suitable weak solution）无法进入 Caffarelli–Kohn–Nirenberg (CKN) 小量机制，而该机制本应保证局部正则性。核心问题在于：如果一个奇异性在不同尺度间持续存在，那么究竟是什么精确的机制使其能够在有限窗口观测中生存、躲避标准观测指标、并在尺度间进行自我复制，同时仍能由 Navier–Stokes 方程实现？

本文并不声称证明了 Navier–Stokes 解的正则性，也不试图构造奇异解。相反，其目标是将潜在的奇异性问题简化为一个特定的、具有高度结构的代数与分析障碍。

2. 方法论
本文采用了由两部分组成的框架：有限窗口奇异性审计（Finite-Window Singularity Audit）与局部-至-洁净缺陷传递（Local-to-Clean Defect Transfer）。

• 审计（支付与隐藏）： 作者将“坏度”（critical scale quantities，临界尺度量）的持续存在建模为一个财务账本。他们证明了，为了使一个非 CKN 分支得以持续，它必须产生“未缴税的临界供给”（untaxed critical supply，即未被耗散的能量或通量）或“累积泄漏”（accumulated leakage，即由于截断和局部化导致的损失）。这通过从局部能量不等式和标准插值估计中导出的有限尺度临界账本不等式进行了形式化处理。
• 传递（局部-至-洁净）： 本文构建了一个从“局部化”缺陷包（包含由于有限窗口分析带来的人工痕迹，如截断函数、调和压力尾项及截断误差）到“洁净”缺陷包（去除了这些人工痕迹或对其进行了显式处理的有限维模型）的映射。其核心技术工具是一个代数传递定理，该定理将“洁净反幻影间隙”（clean anti-phantom gap，洁净模型中的一种强制估计）提升回局部设置，前提是满足特定的结构输入。

3. 主要贡献与创新
本文提出了四项主要创新：

1. 有限尺度支付账本： 一种定量替代方案，表明持续的临界坏度必然导致累积的未缴税供给或泄漏。这把“是否存在奇异性”这一定性问题转化为了一个定量的会计问题。
2. NS-可实现缺陷审计： 一个严谨的过滤器，用于区分“形式幻影”（observation maps 的代数核向量）与“NS-障碍”。一个危险的障碍必须满足粗略的动量方程、压力相容性、Reynolds 正定性以及从适合弱解中继承的能量通量恒等式。
3. 局部-至-洁净传递定理： 一个代数结果，指出如果洁净模型具有商反幻影间隙（quotient anti-phantom gap），且满足商提升（quotient lifting）、分量检测比较（componentwise detection comparison）以及残差归一化（residual normalization），则局部非规范缺陷（non-gauge defects）会被定量地检测到。
4. 残差预算闭合映射： 将所有阻碍传递的潜在误差（压力尾项、截断泄漏、截断损失、非线性失配、复制漂移、规范失配及利润差异）系统性地分解为显式的有限窗口账本条目。

4. 关键结果

• 定理 3.3（有限尺度生存替代方案）： 在任何可容许的尺度窗口链中，如果储备坏度保持在下界之上，则“未缴税供给减去税收”的累积和必须为正，或者累积泄漏必须不可忽略。
• 定理 9.5（条件奇异性审计替代方案）： 在满足二进缺陷提取、观测耗尽及移动窗口增长控制的假设下，一个持续的非 CKN 分支意味着以下五种情形之一：
  • (a) 不可忽略的累积泄漏。
  • (b) 正的平均未缴税临界供给。
  • (c) 移动窗口观测效能不足（常数增长过快）。
  • (d) 存在一个 NS-可实现的、洁净的、尺度临界的、组合隐形的、有利润的且可复制的缺陷级联（defect cascade）。
  • (e) 在单分量退化机制中，垂直对偶性或反幻影闭合失效。
• 定理 17.4（代数局部-至-洁净反幻影传递）： 如果洁净检测映射满足强制间隙条件 ($c_{cl}^\Lambda$)，且残差预算满足归一化界限 ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$)，则局部检测映射满足具有正常数 $c_{loc}^\Lambda$ 的强制估计。这是一个纯代数定理；其在 Navier–Stokes 中的应用取决于对结构输入的验证。
• 推论 18.1（统一替代方案）： 综合了审计与传递的结果。结论是：如果泄漏可忽略、供给已被课税/耗尽、常数受到控制，且排除了 NS-可实现的 PRV（有利润、可复制、经验证）级联，那么该分支必须进入 CKN 尺度，从而实现正则性。

5. 意义与主张
本文明确将其定位为一个条件简化（conditional reduction）。其意义在于隔离了阻碍 Navier–Stokes 正则性的确切性质。

• 已证明的内容： 本文证明了有限尺度账本估计（一个无条件的 PDE 输入）和代数传递定理（一个在显式假设下的结构性结果）。此外，它还对所有必须控制的残差项进行了详细的簿记。
• 尚待解决的问题： 本文将“真正的剩余障碍”识别为归一化吸收问题（normalized absorption problem）。具体而言，必须证明如下形式的分量相容性估计：
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  其中系数之和 $\eta_\bullet$ 严格小于洁净间隙余量。
• 最终障碍： 如果无法证明正则性，本文认为任何反例都必须是一个高度组织化的对象：一个 NS-可实现的、洁净的、组合隐形的、有利润的且可复制的缺陷级联。反之，如果能在满足所有相容性、正定性和能量约束的同时构造出这样一个级联，它将构成一个奇异性。

总而言之，本文将广泛的 Navier–Stokes 正则性问题转化为一个精确的结构性挑战：要么证明特定的残差预算可以被吸收进局部商距离中并具有足够的微小性，要么构造出一个能够规避所有有限窗口观测性和代数约束的特定类型缺陷级联。这项工作并非声称解决了正则性问题，而是提供了一个严谨的框架，用以定义一个解（或反例）必须具备的形态。