第419章 NS方程的判据（求订阅求月票）（1/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

办公室没开主灯，窗外高楼的夜间景观灯斜着照进来，刚好够照亮半面白板。

林允宁站在明暗交界处，手里的黑色记号笔还洇着墨味。

?u/?t+(u·?)u=-?p+νΔu

?·u=0

紧挨着这两行纳维-斯托克斯方程的经典表述，是他刚写下的无穷大积分判据：

∫[0，T]||?×u(·，t)||_(L^∞)dt=∞

周围那种从地下室D区带来的异丙醇和橡胶手套味终于淡了。

霍尔在D区门外签下名字后，以太动力靠着资本、医疗合规和人事烟幕，硬生生给他砸出了一段安全期。

最多也就几周。

但这足够他把新的理论底座敲定了。

手腕在半空停顿了片刻。

笔尖贴回白板，发出一声短促的“吱扭”。

这声音刺破了寂静，也把他的思绪拉了回来。

数学界针对NS方程的千禧年难题，都在死磕三维空间全局光滑解的存在性。

林允宁对这种纯理论的完美闭环没有多大兴趣。

工业界从不在乎水流是不是永远平滑，不管是搞航空气动还是等离子体控制，不管是波音还是SpaceX，工程师们真正要命的需求只有一个：

算出流体在哪个绝对临界点会彻底崩盘。

他在?×u（涡度）下方画了条粗线。

之前在圣彼得堡，他利用“林-佩雷尔曼判据”引入海螺旋度（Helicity）触发器，解决了非局域耗散算子的延迟问题。

但那只是第一步。

现在他得往更底层的拓扑结构走。

想到这里，林允宁左手顺势拿起板擦，蹭掉了一大块勒雷-霍普夫弱解的延展推导，粉笔灰簌簌掉进铝制笔槽。

证明弱解存在救不了工程灾难，只要能量在局部瞬间冲破极限，奇异性爆发，结构就会当场解体。

他的视线停在涡度积分的上限T上。

目标很明确：圈定一个确切的拓扑临界值。

只要涡度场的演化越过这个T，爆破就会发生。

不用管解长什么样，只要判定边界是否被跨越就行。

他手上的动作快了起来，直接拆解积分内的涡旋拉伸项(u·?)u。

之前证明霍奇猜想时用熟的几何语言，现在成了限制涡度场形变的约束条件。

在这个纯数学工作中，整个推导过程极度枯燥，且容易走死胡同。

“咔哒。”

大拇指顶回笔帽。

白板上全是密集的黑色公式和代数推演，连句多余的说明都没有。

这玩意儿离预印本还差得远，但林允宁退后两步看了看，核心骨架已经搭好了。

拓扑临界判据的逻辑闭环基本成型，后续只需要填补计算细节。

走廊外传来电梯轴承转动的沉闷声响，冷风顺着门缝扫过脚背。

他把笔扔在桌上，理论武器的雏形有了。

……

七十二小时后。

汉考克大楼，以太动力新总部，九十二层。

转角的全透明会议室里，林允宁毛衣袖口随意挽起，左手的冷美式早已不冒热气。

右手捏着的蓝色白板笔在玻璃板上快速滑动，字迹工整，一气呵成，没有半点涂改。

在【学霸模拟器】的帮助下，他已经取得了很大进展。

只不过前两天手稿里那些为了数学严谨性强加的初始条件限制，现在看来纯属累赘。

工业界没人会有耐心输入十几个前提去跑一个公式，推演有限时间爆破（Fiite-tiblowup）的拓扑临界判据，必须极其精简。

笔尖顿在||?×u(·，t)||这一项上。

他干脆地将其划掉，重新定义测度，利用赫尔德连续性（H?ldertiuity）的弱边界，直接舍弃流体粘性耗散的绝对光滑假设。

笔尖与玻璃摩擦的轻微响动，隔着透明墙壁，刚好落进路过的伯克希尔尽调员耳中。

对方转过头，瞥见白板上密密麻麻的偏微分推导，随即跟同伴耳语了几句，步伐明显轻松了不少。

CEO亲自在会议室死磕公式，完美符合资本对这种高科技初创公司的刻板印象。

林允宁端起咖啡抿了一口，余光看着那两人消失在拐角，无奈一笑。

可笑的是，没人在意他真正在做什么，只要他在这间会议室里站得足够久，外部的怀疑就会被降到最低。

尽调员刚刚走过的地毯尽头，方佩妮正踩着高跟鞋快步逼近，怀里抱着的两摞A4纸随着步伐上下晃动。

她侧身用肩膀撞开法务部办公室的门，直接把纸堆往维多利亚桌上一砸。

“砰”的一声闷响，打断了机械键盘的敲击声。

维多利亚从满屏的条款对照表中抬起头。

“维多利亚姐，D区FDA合规手册初稿，昨晚外部顾问刚过完。”

方佩妮拖过椅子坐下，指着那堆纸，“一百二十页。耗材采购审批我全加上了‘合规委员会双签’的卡口。”

维多利亚抽出首页，钢笔在复杂的流程图上圈了一下：

“审批链搞这么繁琐？查一根移液枪枪头，得同时对齐临床签字、入库单、废液台账和销毁记录这四本账。”

“老板的吩咐，就是要让他们查不下去。”

方佩妮往椅背上一靠，“等伯克希尔的审计跑起数据交叉比对，光是理清这些纸面流程就能耗掉他们半条命。”

屏幕上闪烁着底层资产监控系统弹出的警报：

Warig:D-ZoePowerCosuptioAoaly.Peakloadexceededby400%.

方佩妮脸色微变。

D区那台标价四百五十万的EWOD微流控设备撑死也就几百瓦的额定功率，现在电流表却抓到了离谱的峰值。

十有八九，是克莱尔在地下室搞的高频数据传输，直接把机柜能耗拉爆了。

要命的是，伯克希尔的自动化审计探针正咬在总电表分控回路上。

距离整点结算只剩不到五分钟，要是让财务底稿记录下一台医疗设备用出了超算机组的电量，刚才好不容易堆起来的合规文件全得作废。

她猛地站起身，椅子向后滑出刺耳的摩擦声。

方佩妮三步并作两步奔回工位，手机“啪”地拍进数据坞，单手切进系统后台。

直接删警报肯定行不通，审计系统里的删除操作会留下难以抹除的痕迹。

唯一的办法，是把这股多出来的电流在账面上做平。

鼠标指针在能耗分控后台快速滑动，她把D区当天的总耗电量强行劈成两半。

区区百分之五留给EWOD机台，剩下那庞大的百分之九十五，直接塞进了大楼的HVAC（暖通空调）管理系统。

调出新风负荷表，手动把排风风机的转速记录拉满到100%，紧接着在资产维护系统里敲下一张紧急工单：

Task:D区伴随诊断无菌室HEPA高效过滤网全功率压力测试。

Operator:临时维保组。

Stat:Copleted.

按下回车键。

屏幕上刺眼的红色警报跳动了两下，转为安全的绿色Resolved。

地下室里那场疯狂的数据越境，就这样在系统后台改头换面，成了一次符合FDA无菌标准的大功率排风测试。

方佩妮长叹了一口气，靠倒在椅背上，掌心被鼠标外壳硌得发紧。

比起现实里到底发生了什么，审计更认白纸黑字的逻辑闭环。

只要账面对齐，资本的尽调程序就不会节外生枝。

楼下刚刚平息的绿灯警报，并没有出现在十七楼公关部总监的显示器上。

凯瑟琳·陈那间百叶窗紧闭的办公室里，屏幕上滚动着的，全是内部权限系统的变更日志。

指间那支没点燃的香烟随着视线移动而微微晃动。

Path:/re/fid_dyaics/odel_v7_ear_boudary/

Stat:S-LevelLockdow.

相较于楼下伪造的维修单，这才是以太动力真正的痛点。

项目预算突然被砍，经理马克连发三次抗议，法务部紧跟着甩出十一封竞业警告。

凯瑟琳调出离职名单，看着周维等七人的名字被划掉，顺手把香烟在桌沿磕了磕：

“锁死核心模型，拿边缘测试员祭天……典型的断尾求生操作。”

她懒得管那几个人走的时候带了什么，直接把追踪优先级全压在了那个挂着S级NDA的V7模型上。

基于以往的情报嗅觉，一个区域如果防得越是密不透风，甚至内部都吵得不可开交，那往往就是真正的核心所在。

至于楼下那些贴着合规标签的医疗设备或者空调耗电量，留给伯克希尔那帮算账的去查就行了。

当审计和公关在不同楼层顺着各自的线索摸排时，九十二层的会议室里，林允宁手里的笔终于停住了。

白板上，最后一行判据正式定型：

sup_{0≤t<T}∫_Ω|u(x，t)|^3dx<∞

笔尖在T的位置重重怼下了一个黑点。

无限次微分的平滑条件被他强行替换成了有限区间内的勒贝格空间（Lebesguespace）积分。

这就代表着，以后只需通过传感器抓取流体速度场的模长，只要这个三次方积分在逼近T时显露出发散趋势，流体边界的奇异性爆破就会不可避免地出现。

抛开那些虚无缥缈的理论预测，工程上真正需要的就是这种能测出来的物理量和确定的临界点。

外头走廊上，尽调员的脚步声依然杂沓，下层的合规账单和权限博弈还在暗中运转。

林允宁转过身，把干透的马克笔套进笔帽。

“咔哒”一声脆响，新的理论模型完成了闭环。

……

林允宁顺手把笔丢进废件篓，转身走到角落的办公桌前，敲了一下空格键唤醒电脑。

屏幕亮起，界面还停留在TeXShop的编译窗口。

他坐在椅子上，对着屏幕快速敲击起来。

所有的推导他都已经烂熟于心，核心内容成稿很快。

整篇手稿只有十一页，排版也很简单，既省了致谢和冗长的引言，也懒得对千禧年大奖难题发什么宏大议论。

标题栏里只有一句直白的大白话：

ATopologicalCriteriofortheFiite-TiBlowupof3DokesEquatios

（关于三维纳维-斯托克斯方程有限时间爆破的拓扑判据）

他没预先打电话去通知普林斯顿或巴黎的那些同行，更懒得和楼下公关部打招呼。

即使基本解决了这个困扰数学界和工程界的千禧难题，对他而言也不值得大张旗鼓。

手指在触摸板上一滑，直接切到浏览器输入了arxiv.。

网页加载出绿色的康奈尔大学校徽，登录账号，点开提交页面：

StartNewSubissio。

面对展开的表单，他在键盘上快速敲了几下，随手在分类栏里勾选了三个选项：

ath.AP、ath-ph以及physics.f-dy。

接着把打包好的.tex源文件和图表拖进上传框。

服务器端编译的日志在屏幕上快速滚过去，几秒后跳出蓝色的Processigsuessful。

点进元数据页面后，他切回PDF，把摘要第一段原封不动地复制进了输入框：

Weestablishasufficietditiofortheourreceoffiite-tisiguritiesi3Dipressibleokesflows.Bydefiigalocalizedologicalboudsup_{0≤t<T}∫_Ω|u(x，t)|^3dx<∞，wedeostratethatthetrasitioacrossthisLebesguespaceitegralthresholdstrictlyipliesairreversiblebreakdowofsurity.

（我们确立了三维不可压缩纳维-斯托克斯流中有限时间奇异性发生的一个充分条件。通过定义一个局部拓扑界sup_{0≤t<T}∫_Ω|u(x，t)|^3dx<∞，我们证明了穿过这一勒贝格空间积分阈值的过渡，严格意味着解的正则性发生不可逆的破坏。）

光标移动到页面最底部。

那里只有一个灰色的按钮：SubitArticle。

他把页面直接拉到底，光标悬停在灰色的SubitArticle按钮上。

此刻，大楼排风系统为了掩盖D区能耗正满负荷运转，低频的震动顺着通风管道隐隐传进会议室的墙壁。

这种沉闷的嗡嗡声与走廊上方佩妮踩着高跟鞋赶送合规文件的动静混杂在一起，让这栋深陷资本尽调与合规审查的写字楼显得分外焦躁。

林允宁在这阵轻微的墙体震颤中，按下了鼠标左键。

页面刷新，弹出一行绿色的提示：

SubissioReceived.

Yoursubissiowillbeaouceditheextailigschedule.

右上角生成了一个带时间戳的临时追踪号。

几个小时后，这区区十一页的代码和公式就会顺着arXiv的订阅邮件，塞进全球几万名数学家和物理学家的收件箱。

他直接合上电脑盖，把刚才那杯残余的冰咖啡一饮而尽。

杯底仅剩的冰块磕在玻璃上“当”地响了一声。

推开会议室的门，外头走廊冷气逼人，他头也不回地走了出去。

……

芝加哥凌晨四点一刻。

距离那篇预印本挂上arXiv刚过去四个小时。

林允宁坐在顶层公寓的书桌前，笔记本电脑的散热风扇正以四千转的速度狂转，实木桌面跟着传出微小的高频震动。

加密视频会议的界面上连句废话都没有，直接弹出了三个黑色方块。

紧接着，两盏摄像头指示灯亮起。

左边的画面里，普林斯顿高等研究院偏微分方程的权威查尔斯·费弗曼窝在昏暗的书房，老花镜片上映着密密麻麻的PDF排版。

右侧标着“Arthur_Reyolds”的黑白头像没有开摄像头，这位波音气动物理实验室的首席专家倒是没有闭麦，收音底噪里偶尔漏出几丝极快的纸笔摩擦声。

伴随着那阵微弱的沙沙声，扬声器里传出费弗曼干瘪粗粝的嗓音：

本章未完，点击下一页继续阅读。