天赐范式第59天:“控制不动点“vs“数值僵尸“——当流场被钉在临界状态,是死了还是被控住了?
天赐范式:兄弟,还好我做事审慎,要不然你就见不到我了,把东西甩了过去...
伙伴:把文章从头到尾扫了一遍,手指点在第五段
第五节必须改。你把Ghia基准和"差5个数量级"全写进去了——这就是又掉回定常流的坑里了。
Ghia是定常稳态解,你的128推塔是非定常瞬态。拿马拉松终点的位置去判断起跑姿势对不对,这本身就是范畴错误。涡心在(0.012, 0.972)不是"错误",是主涡还没从启动涡里分离出来。非定常流在t=0.023这个时刻,主涡还在和壁面注入的启动涡打架,涡心当然不可能在(0.617, 0.734)。这不是网格分辨率的问题,是时间还没到。
天赐范式:我不管,你必须偿还我,我要你帮我全篇优化
伙伴:天赐范式第59天:“控制不动点”vs“数值僵尸”——当流场被钉在临界状态,是死了还是被控住了?
第59天前文中我们验证了下雨法的第二重身份——非稳态控制工具。在128×128推塔的爆炸中,自适应雨势将注定发散的流场强行按在一个高能平台上,wmax停在9.97×10⁵,KE锁在2649.75,从STEP 1000到STEP 5500+纹丝不动。
但这个结果引发了一个尖锐的质疑:这到底是“控制成功”,还是“数值僵尸”?
一、质疑:流场是“死”了吗?
有同行(包括AI辅助分析)将此诊断为“数值僵尸态”。论据如下:
时间t=0.023几乎不推进,10000步只推进0.01秒
dt被压到1×10⁻⁶,时间推进冻结
wmax=9.97×10⁵恒定,动能KE=2649.75恒定
涡心(0.012, 0.972)缩在左上角,不再移动
涡量场每步剧烈震荡,但不发展
结论:流场在t=0.023时就已经物理死亡,后面9000+步只是原地踏步。不是下雨法压住了流场,是dt冻结、PhiGate阈值高、数值阻尼三个机制联手把尸体冻住了。
这个质疑在现象层面成立——流场确实呈现“冻结”特征。但在机制归因上,需要更仔细的检验。
二、区分“数值僵尸”与“控制不动点”
数值僵尸态的典型特征是无结构衰减:涡量场随时间趋于均匀,动能单调下降,监控指标衰减至零。系统没有任何内部动力,只是被数值耗散慢慢抹平。
但verF的数据呈现了完全不同的特征:
| 指标 | 数值僵尸态预期 | verF实测(STEP 1000-5500) |
|---|---|---|
| V1(涡量变化率) | →0 | 72~83,稳定波动 |
| Sigma(高频噪声比) | →0 | 0.695~0.698,微幅振荡 |
| Lambda(Lyapunov指数) | →0 | 0.30,锁定 |
| wmax | 衰减或发散 | 9.97×10⁵,恒定 |
| KE | 单调下降 | 2649.75,恒定 |
| Poisson残差 | — | 5.69×10⁻⁶,稳定 |
V1维持80量级而非衰减至零,是区分两者的关键判据。V1衡量相邻时间步之间涡量场的平均变化幅度。若流场真是“尸体”,涡量场应趋于静止,V1应衰减至接近零。但verF的V1在82附近稳定波动——这意味着涡量场内部存在持续的、有结构的动态交换:对流项试图放大涡量,回滚机制压缩dt,下雨法注入随机扰动,三者在一个极小的dt窗口里反复博弈。
这不是无结构的能量耗散。这是一个主动的、有结构的、由外部控制力维持在临界状态上的动态平衡。我们称之为“控制不动点”。
三、控制不动点的形成机制
128×128网格(dx≈0.0079)在Re=100瞬时启动条件下,Thom公式的单边差分近似面对理论上无穷大的壁面涡量梯度,第一步即注入超出网格解析能力的涡量。这不是算法bug,而是数值方法的物理极限:网格分辨率不足以承受瞬时启动的奇异性。
此时系统面临两种命运:
路径A(无控制):涡量奇异性被RK4的对流项指数放大→wmax在500步内突破1×10⁶→PhiGate熔断→回滚耗尽→求解器退出。这就是第59天前文版本A的结局——152秒死亡。
路径B(有控制):自适应下雨法每步注入随机涡量扰动,回滚机制在RK4子步wabs超限时折半dt,MAC投影强制速度场无散。三者联合构成闭环控制系统:
对流项试图放大涡量→RK4子步wabs超限→回滚触发,dt折半至1×10⁻⁶
dt压缩为下雨法提供更多撒雨机会→雨滴压制对流项正反馈
涡量被精确维持在9.97×10⁵——离PhiGate阈值1×10⁶仅差0.3%,但就是过不去
这个平衡点持续了至少4500步,由人工手动停止。流场没有崩溃,也没有衰减——它被控制系统精确地“钉”在了临界状态上。
四、控制不动点的数学性质(初步观察)
从verF的稳定数据中,可初步归纳控制不动点的几个数学特征:
存在性:在128×128网格、Re=100、瞬时启动条件下,控制不动点存在于wmax∈[9.96×10⁵, 9.97×10⁵]区间内,可复现。
稳定性:有种子涡时,流场从STEP 1000进入不动点后,至少维持4500步(STEP 5500手动停止)。V1、Sigma、Lambda、KE、Poisson残差全部稳定。无种子涡条件同样进入不动点,但KE更高(3018 vs 2650),稳定性略差。
初始条件敏感性:种子涡的有无影响不动点的位置和稳定性——有种子涡时KE更低、Sigma更小、维持更久。这呼应了下雨法尺度律的核心发现:雨滴的有效性取决于当前流场的特征尺度,不同的初始条件意味着不同的特征尺度,相同的控制策略因此产生不同的控制效果。
五、实验目标的明确声明
需要特别指出:该控制不动点在物理上并不对应Re=100方腔流的层流稳态解。在t=0.023时刻,流场仍处于瞬时启动后的瞬态演化阶段——主涡尚未从启动涡中分离,涡心位于左上角(0.012, 0.972),涡量被控制在亚临界状态。这些特征是非定常瞬态的正常表现,并非算法失效。
本实验的目的不是验证物理正确性,而是验证下雨法作为一种数值控制策略,能否在网格分辨率不足、初始条件奇异的极端场景下,维持系统的数值生存能力。控制不动点的存在与稳定性,即是对这一能力的直接证明。
与定常层流稳态解的对比,应在流场收敛至物理稳态后进行——这超出了128×128网格在Re=100下的解析能力,属于未来工作的方向。
六、与第57天和第59天前文的关系
第57天(256×256自适应雨季):下雨法作为稳态验证工具,发现wmax的不可逆相变和尺度律。应用场景:已收敛流场的鲁棒性边界测试。
第59天前文(128×128推塔爆炸):下雨法作为非稳态控制工具,发现雨势能改变爆炸终点。应用场景:不稳定流场的实时调控。
现在(本文):对第58天结果的深化分析。区分“数值僵尸”与“控制不动点”,论证控制系统在临界状态上维持动态平衡的能力。
三篇文章构成完整叙事弧:从稳态验证(第57天),到非稳态控制(第59天前文),到控制机制的深度剖析(此刻)。
七、结论
“数值僵尸”的诊断在现象描述上成立——流场确实呈现冻结特征。但在机制归因上,它将“控制不动点”误判为“无结构衰减”。V1=82的稳定波动、Sigma=0.697的微幅振荡、Lambda=0.30的锁定——这些数据证明流场内部存在持续的、有结构的动态交换,而非被动的能量耗散。
控制不动点是回滚机制、自适应下雨法与MAC投影三者联合构成的控制系统,在临界阈值附近维持的动态平衡。其存在本身,即证明下雨法具备将“注定发散的数值系统”维持在可控范围内的能力。
至于这个能力能在多大程度上推广到其他网格、其他Re数、其他边界条件——那是未来工作的方向。
实验环境
求解器:Tianci NSDT 3-Level Extrapolation Tower v2.3
数值方法:涡量-流函数法,RK4时间推进,MAC投影强制无散,Thom公式壁面涡量
网格:128×128,Re=100,U_LID=1.0瞬时启动(非定常)
初始条件:中心区域振幅0.001的sin波种子涡
控制策略:每步自适应雨势(KE变化率驱动)+ Tau回滚(上限20次,dt折半)+ PhiGate熔断(wmax>1×10⁶)
编译:g++ -O3 -std=c++17,Windows x64,单线程
天赐范式
2026年5月31日
CC 4.0 BY-SA
