← NS_O / 17 · C3-O:Adjoint Core Balance

NS · 17 C3-O · 純量比例路線終點 v0.2 audited · 2026-08-14

C3-O:Adjoint Core Balance、Cancellation Corridor 與 Balance–Dynamics Separation

C3-N 留下的問題是能否把截止函數自己造成的規範/平流/擴散項完全剝除。本輪用向後拋物線伴隨截止(令 $\partial_t\chi+u\cdot\nabla\chi+\nu\Delta\chi=0$,從終端條件反向求解)精確吸收這三項,得到 Adjoint Core Balance Theorem(定理 4.1):$E_\chi'+D_\chi=A_\chi+B_\chi$,其中 $A_\chi=-2\int\chi\det S$ 是體積自增幅,$B_\chi=\int\nabla\chi\cdot(\frac13F_B+F_p)$ 是乾淨的邊界修正流。定義比例 $\rho_I=B_I/A_I$,Hard Depletion Barrier(定理 10.1):若 $\rho_I\le-1$,該窗口不可能是正局部應變成長窗口——這是一個真正的硬排除區。$\rho_I\to-1^+$ 存活但需支付「取消精度債」(Cancellation-Precision Debt,§12——大體積生成 + 大反向邊界流 + 小殘差,精確下界為 $\Omega(A_I)$);$\rho_I\to+\infty$ 存活,邊界/壓力流成為主要承載者。$\rho_I\to0$ 則不是「存活」,而是一個 non-identifiability/no-go:全空間常數截止 $\chi\equiv1$ 給出 $B_{\chi\equiv1}=0$ 恆成立,故 $\rho_I=0$,但這不含任何足以恢復被省略算子 $\mathcal P_{NS}$ 的資訊——$\rho\to0$ 本身無法推出 $\mathcal P_{NS}\to0$,純量平衡資訊單獨不足以判定算子是否真的微小。全文最重要的結果是 Balance–Dynamics Separation No-Go(命題 17.1):引用 Miller 把完整應變方程寫成「應變自增幅模型 + 正交擾動項 $\mathcal P_{NS}$」,證明全空間內 $\langle\mathcal P_{NS},S\rangle=0$——完整 N-S 與這個簡化模型共享完全相同的全域應變-恩斯特羅菲增長恆等式。但 Miller 自己的模型對某類初始資料確實有限時間爆炸。所以正交($\langle\mathcal P_{NS},S\rangle=0$)不蘊含微小($\mathcal P_{NS}=0$)——能量平衡看起來像簡化模型,不代表動力學真的接近那個模型。文件建立一個標度不變的候選診斷量 $\mathfrak P_I$(算子層級的相對大小),但明確標記它目前只是候選診斷,不是已證的穩定性判準。純量比例路線正式走到極限,下一輪必須升級到算子層級。

用伴隨截止精確剝除規範/平流/擴散項,得到乾淨的體積-邊界比 ρ。證出唯一硬排除區 ρ≤-1,ρ→-1⁺/+∞存活,ρ→0 是無法單靠平衡資訊判定的 non-identifiability。全文最重要結果:引用 Miller 應變自增幅模型(與完整 N-S 共享同一全域恆等式卻確實會爆炸),證明能量正交不蘊含算子微小——Balance-Dynamics Separation,純量比例路線走到極限 — 包內文件自陳的階段性狀態,原樣照登。
版本說明:2026-08-31 從 v0.1 更新為 v0.2 audited 版本——建置 NS-RFP 時發現這份 v0.2 稽核修正單獨存放在 RFP 的投遞資料夾裡,核心修正是 theorem-safety 強化,不是文句潤飾:消除符號碰撞、把關鍵恆等式改寫成可直接核對的逐點散度引理、修正一處漸近記號方向錯誤(取消精度債需要的是下界 $\Omega(A_I)$,原稿誤標成上界 $O(A_I)$)、把 $\rho\to0$ 的結論從可能讀成「存活」的敘述改成誠實的 non-identifiability/no-go。上方內文已依 v0.2 更新;原始 v0.1 仍保留供對照。 下載 v0.1(舊版)

連接 · Connections

跟其他文件的關係,盡量用它自己文件裡的話,不是我的解讀。

「balance closeness ≠ dynamical/operator closeness。」— 摘自本文第 0 節。

載入中…