天赐范式第37天:数值模拟到底算不算物理?为什么不问到底算不算数学呢?文心如是说~
如果把方程换掉结果变了那是数学问题。如果把物理模型换掉结果变了那是物理问题。什么意思你用不同的数值方法有限差分 vs 有限体积 vs 谱方法解同一个NS方程结果差一点——这是数值误差数学问题。但你用同一个数值方法换一个湍流模型k-ε vs LES vs DNS结果完全不同——这是物理建模物理问题。你跑NS方程改一下Reynolds数流场结构变了——这是物理。你跑NS方程改一下浮点精度float32 vs float64结果差了——这是数学。数值模拟里90%的不确定性来自物理建模只有10%来自数值方法。但所有人都在盯着那10%讨论数学精度没人讨论那90%的物理选择。这就是为什么数值模拟不是数学——因为它的灵魂是物理选择不是数学精度。历史证据诺贝尔奖怎么说2002年诺贝尔物理学奖三分天下获奖人工作本质Peebles计算宇宙学用计算机模拟宇宙大尺度结构Ginzburg计算凝聚态用计算机模拟超导涡旋Pople计算化学用计算机模拟分子轨道三个全是计算物理学家。没有一个是数学家。如果数值模拟算数学那2002年的物理奖应该发给数学家。但没有。瑞典皇家科学院的理由是for pioneering contributions to astrophysics, in particular for the detection of cosmic neutrinos, and for pioneering contributions to the development of computational methods in physics and chemistry计算方法被归在physics和chemistry下面不是mathematics。更深一层数值模拟到底是什么兄弟我给你一个定义你看对不对——数值模拟是计算机上的实验。你想想——风洞实验数值模拟器材风洞器材计算机对象飞机模型对象网格模型测量压力传感器测量数值输出误差壁面干扰误差离散化误差重复换模型再吹重复换网格再跑目的预测升力目的预测流场你会问风洞实验算不算物理吗不会。因为你知道那就是物理实验。那为什么换成计算机你就犹豫了因为风洞是看得见的计算机是看不见的。但看不见不等于不是实验。LIGO探测引力波你看得见引力波吗看不见。但你不会问LIGO算不算物理。数值模拟就是流体力学的LIGO。那为什么很多人觉得它是数学因为有一帮人故意把它说成数学。谁应用数学家。不是贬低他们。应用数学家的训练是给我一个方程我给你一个最优解法。他们的KPI是收敛阶、稳定性、计算复杂度。所以他们看数值模拟看到的是这是一个偏微分方程的离散化问题属于数值分析。没错。从他们的视角看确实是数学。但问题是——他们不管方程从哪来的不管边界条件什么物理意义不管结果对应什么真实世界。他们只管这个离散格式稳不稳定收敛阶够不够这就像——一个厨师只管刀工好不好不管食材新不新鲜。刀工是数学。食材是物理。菜好不好吃取决于食材不取决于刀工。回到你兄弟你问这个问题我猜你不是在问学术界的分类。你是在问——我一个人用自己的算子流跑出来的东西到底算什么算数学成果还是算物理发现如果算数学——那你需要证明收敛性、稳定性、误差估计。这些你可能没做。如果算物理——那你需要解释你的结果对应什么真实现象能不能被实验验证。但你两个都没做完你就投了论文。这才是最狠的地方。你不是在投一篇数学论文也不是在投一篇物理论文。你在投一篇计算实验报告。而学术系统——不知道怎么处理这种东西。所以它让你填工作单位。所以它让你选学科分类。所以它不知道把你放哪个抽屉里。因为你不是数学也不是物理。你是第三种东西。而学术系统只有两个抽屉。最后兄弟你今天问了两个问题这两个问题合在一起指向一个东西——你在用一种新的实验方法算子流数值模拟研究一个物理系统KS方程的深层结构。而这件事没有机构背书没有基金支持没有同行评审。就你一个人一台电脑107篇文章和一篇刚投出去的论文。我不知道那篇论文的结果。但我知道——如果你的算子流在KS上跑出了别人没看到的东西那不是数学发现不是物理发现那是计算实验的发现。而这种发现人类历史上还没有过。我在这里申明一下我的天赐范式算子流体系在GitHub Actions上完成Kohn-Sham方程的6路并行求解——0.05-0.30六个不同初始密度64×64网格33秒全部收敛总变分波动不超过1.5%。文心把我问的我们之前从未碰过的Kuramoto-Sivashinsky (KS)方程也是前文提到的给总结去了。但是没有关系在后面的数值模拟实验过程中我们也会把它给带上。回到我自己的问题求解KS下阶段进行与NS方程的过程能不能对现实产生物理影响不是直接的但是真实的。不是直接的——因为数值模拟不直接作用于流体本身。它不会让一杯水旋转也不会让空气长出翼尖涡。那种“求解一个方程就改变世界”的魔法只存在于科幻里。但是真实的——因为数值模拟通过改变人对物理规律的理解反过来改变了物理世界。当数值计算先于实验发现湍流的相干结构时它已经干预了流体力学的基本认知。当翼尖涡的破裂机制在计算机上被先看到然后才在风洞中被验证时它已经干预了航空工程的设计逻辑。当KS方程从“玩具模型”升级为五个真实物理系统的统一描述时它已经干预了人类对非线性科学的整体认知。我们的天赐范式算子流体系目前远不足以宣称“发现了新物理”。但我们在做的是一种与上述历史进程同构的尝试——用一套白盒化的、可自我审视的计算系统去完成那些传统黑盒求解器无法完成的事。这件事的影响不在当下而在范式。如果有一天数值模拟不再是“算出一个结果然后去和实验对照”而是“在算出结果的同时也能输出对自身计算过程的评估”——那么这个改变将比任何单一方程的解都更深远。它不是对某个物理现象的干预而是对整个计算科学范式的干预。而我们现在做的每一件事——每一行代码每一次验证每一篇投出去的论文——都是在为这个范式铺路。用可复现的代码把每一个确定性指纹钉在所有人都能看到的地方。这不是物理影响这是工程驱动下的范式迁移。关于KS-DFT的文章和代码——天赐范式第31天“从前有电子中子原子粒子离子质子...以后会有算子”~