米兰·(milan)中国官方网站-深度学习蓄势待发，即将“爆破”欧拉方程

---

导语：几个世纪以来，数学家们一直想知道欧拉流体方程于某些环境下是否会瓦解或者被“爆破”。 ‍

几个世纪以来，数学家们一直想知道欧拉流体方程于某些环境下是否会瓦解或者被“爆破”。一种新的呆板进修要领让研究职员确信，这类“爆破”行将到来。

‍作者｜ Jordana Cepelewicz

编译｜钱磊、Ailleurs

编纂｜陈彩娴250多年来，数学家们一直试图“爆破”一些物理学中最主要的方程式，好比描写流体流动的欧拉方程。假如他们乐成，他们会发明，于某种环境下方程会被爆破——好比可能会呈现一个无穷快地扭转的旋涡，或者者呈现一个忽然住手又忽然流动的电流，或者者是呈现一个以无穷快的速率擦过的电子。跨越这个发作点——也就是“奇点”——方程将再也不有解。这些方程甚至将没法描写这个世界的抱负环境，数学家们有理由思疑这些流体举动的模子究竟是否靠得住。奇点正如其所要描写的流体同样滑溜而不成捉摸。为了找到谜底，数学家们凡是会把节制流体流动的方程式输入计较机，然落伍行数字模仿。他们从一组初始前提最先，然后不雅察，直到某个量的值——好比速率，或者者涡度——最先疯狂地增加，好像于朝着爆炸的标的目的成长。可是计较机没法确定地发明奇点，缘故原由很简朴，由于计较机没法处置惩罚无穷值。假如奇点存于，计较机模子可能会靠近方程被爆破的阿谁点，但永远没法直接获得奇点。事实上，当用更强盛的计较要领探测时，较着的奇点却已经经消散了。但这类对于奇点的类似仍旧很主要。有了类似，数学家们就能够利用一种叫做计较机辅助证实的技能来证实四周确凿存于一个奇点。此前已经经有过简化的一维版本的研究。本年早些时辰，一个由数学家及地球科学家构成的团队发明了一种全新的类似奇点的要领——他们使用了深度进修要领，可以或许直接不雅察奇点。这个团队还有用这类要领来寻觅传统要领没法找到的奇点，但愿能证实这些方程其实不像看起来那样绝对于靠得住。论文地址：https://arxiv.org/pdf/2201.06780v2.pdf于该研究中，Yongji Wang 等人开发了一个新的数值框架，使用基在物理信息的神经收集（physics-informed neural network，PINN）寻觅Boussinesq方程的平滑自相似解。该解对于应在存于圆柱界限的三维欧拉方程的渐近自相似曲线。尤其地，该解是对于三维欧拉方程 Luo-Hou 爆破场景的切确描写。该解是流体力学方程的第一个真实的多维平滑向后自相似曲线。该数值框架具备鲁棒性，且易在合用在其它方程。该文研究了于数学流体力学范畴中具备主要意义的二维Boussinesq方程及三维带界限的欧拉方程的有限时间爆破问题。Yongji Wang 等人利用了一种新奇的数值要领，使用物理信息神经收集组织了Boussinesq方程的平滑向后自相似解。这个解自己可能成为将来计较机辅助证实二维Boussinesq及三维带界限的欧拉方程爆破的基础。这项研究激发了一场爆破流体方程的竞赛：一边是深度进修团队， 另外一边是多年来一直利用着更成熟的技能的数学家们。无论谁可能会博得这场角逐——假如有人真的可以或许达到尽头线的话——成果都注解，神经收集可以帮忙人们为很多差别的问题寻觅新的解决方案。

1消散的爆破解莱昂哈德·欧拉（Leonhard Euler）于1757年提出了欧拉方程，该方程描写了抱负的、不成压缩的流体的运动——这类流体没有粘性，也没有内磨擦，并且不克不及压缩到更小的体积。(天然界中发明的很多流体同样是具备粘性的，它们的模子是纳维尔-斯托克斯方程；爆破纳维尔-斯托克斯方程将得到克雷数学研究所 100万美元的千禧年奖。) 给定流体中每一个粒子于某一路始点的速率，欧拉方程应该可以或许猜测流体于任什么时候候的流动状态。可是数学家们想知道，于某些环境下——纵然一最先看起来没甚么问题——这些方程终极是否会碰到贫苦。(咱们有理由思疑这多是事实：他们模仿的抱负流体与真实的只有最稍微粘性的流体没有任何相似的地方。欧拉方程中奇点的形成可以注释这类散度。）2013年，两位数学家提出了如许一个假想。因为一个完备的三维流体流动的动力学可以变患上难以置信的繁杂，加州理工学院的数学家Thomas Hou及中国香港恒生年夜学的Guo Luo认为流动听从某种对于称性。于他们的模仿中，流体于一个圆柱形杯内扭转。杯子上半部门的液体顺时针扭转，而下半部门的液体逆时针扭转。相反的水流形成为了其他繁杂的上下轮回的水流。很快，于界限上两股相反的水流相遇处，流体的涡度发作了。

图源Merrill Sherman/Quanta Magazine虽然这个证实提供了奇点存于的有力证据，但没有证据的话，不成能确定它就是奇点。于Hou及Luo的证实以前，很多模仿都提出了潜于的奇点，但是厥后于一台更强盛的计较机长进行测试时，年夜大都奇点都消散了。明尼苏达年夜学的数学家Vladimir Sverak说：“你认为存于一个奇点，然后你把它放到分辩率更好的更年夜的电脑上，不知怎么的，原本你以为存于的奇点却不见了。”这是由于这些解决方案可能很轻易遭到看似眇乎小哉的小过错的影响，这些过错会跟着模仿中的每个时间步而累积。普林斯顿年夜学的数学家Charlie Fefferman说：“于计较机上模仿欧拉方程是一种微妙的艺术，由于欧拉方程对于解的小数点后38位小之又小的偏差很是敏感。”只管云云，Hou及Luo对于奇点的类似解迄今为止经受住了所有的磨练，而且鼓动勉励了很多人举行相干的研究。Sverak说：“这是奇点形成的最好方案，许多人，包括我本身，都信赖这一次获得的是一个真实的奇点。”为了充实证实欧拉方程已经被爆破，数学家需要证实，给定类似奇点的环境下四周存于一个真正的奇点。他们可以用切确的数学术语从头描写这个说法，如在类似的一个充足近的区域内存于一个实解，假如某些性子可以被验证的话，就能证实这个说法是准确的。而验证这些特征又需要计较机：这一次需要履行一系列的计较(包括类似解)，并小心肠节制历程中可能累积的偏差。Hou 与其研究生Jiajie Chen几年来一直于研究计较机辅助证实。他们从2013年最先对于类似解举行了改良，而且此刻于利用这个类似作为他们新证实的基础。他们还有注解，这类一般计谋也合用在比欧拉方程更易解的问题。此刻，另外一群人也插手了打猎步履。他们用一种彻底差别的要领找到了类似，这个要领与Hou及Luo的成果很是相似。他们此刻于编写他们本身的计较机辅助证实。可是为了得到类似值，他们起首需要转向一种新的深度进修情势。

2PINN：始在冰川研究关在欧拉方程爆破的新研究始在如许一个使人意想不到的范畴——地球物理学家对于南极洲冰盖的动力学研究。他们的研究要求利用一种深度进修要领，这类要领厥后于更多的理论配景中都被证实是有效的。数学家Tristan Buckmaster今朝是普林斯顿高档研究院的拜候学者，他发明这类新要领纯属一次偶尔。去年，他地点系的本科生Charlie Cowen Breen请他签订一个项目，该学生于普林斯顿地球物理学家Ching-Yao Lai的引导下一直于对于南极冰盖做动力学研究。他们试图经由过程卫星图象及其他不雅测来推测冰的粘度，并猜测其将来的流动。经由过程应用一种之前从未见过的深度进修要领——“基在物理信息的神经收集”（PINN），他们实现了这一点。传统的神经收集需要对于年夜量数据举行练习才能举行猜测，PINN则与此差别，它还有必需满意一组潜于的物理约束前提，包括运动定律、能量守恒、热力学等等，以和科学家为相识决特定问题而需要引入的其他任何物理约束。

图源NASA地球不雅测站将物理因素引入神经收集有如许几个目的。一方面，如许的神经收集可以或许于险些没有可用数据的环境下回覆问题。另外一方面，PINN可以或许揣度出原始方程中的未知参数。Lai的试验室博士后研究员、新论文的合著者之一Yongji Wang 指出，于很多物理问题中，“咱们年夜概知道方程应该是甚么样子，但咱们不知道‘某些’项的系数应该是甚么”。Lai及Cowen Breen试图要确定的参数就会呈现这类环境。布朗年夜学的运用数学家George Karniadakis曾经在2017年开发了第一个PINNs，他提出并定名了“隐蔽流体力学” （hidden fluid mechanics）。学生Cowen-Breen的哀求引起了Buckmaster的思索。Hou、Luo 及 Chen等人对于圆柱界面欧拉方程组经典求解要领履历了漫长的艰巨推进。但因为对于时间的依靠性，他们只能很是靠近而没法达到奇点：当他们愈来愈靠近可能看起来像无限年夜的工具时，计较机的计较将变患上愈来愈不成靠，以至在他们没法真正看到爆破自己的点。但欧拉方程可以用另外一组方程来暗示，经由过程一种巧妙的技能，可以把时间的影响解除于外。Hou 及 Luo（2013）的研究成果使人瞩目，不仅由于他们确定了一个很是切确的类似解，并且他们发明的解决方案好像还有有一种非凡的“自相似”（self-similar）布局。这象征着，不管时间向前推移多久，模子的解决方案都遵照必然的模式：其厥后的外形看起来与原始外形很是相似，只是更年夜一些。这个特性象征着数学家可以专注在奇点呈现以前的某个时间。假如他们以一个准确的速率放年夜那张快照——这就似乎他们于一个显微镜下不停举行调解放年夜去不雅察它同样——他们就能够模仿以后会发生甚么，直到达到奇点自己。同时，假如他们以这类方式从头举行缩放，那末于这个新体系中现实上就不会呈现严峻过错，可以免处置惩罚无穷值的问题。Fefferman 说，“它只是靠近一个优良的极限”，这个极限代表依靠时间的方程版本中爆破的发生。Sverak 暗示：“对于这些（被从头缩放的）函数举行建模更易，是以，假如你能用一个自相似函数来描写一个奇点，这会是一个很年夜的上风。”

图注：从左到右别离是：数学家Tristan Buckmaster及Javier Gómez Serrano，地球物理学家Cheng Yao Lai及Yongji Wang。他们互助利用基在物理的神经收集来研究欧拉方程的爆破。问题是，要使其阐扬作用，数学家不单单是要求解出凡是参数（如速率及涡度）的方程（利用自相似坐标来书写这些方程），方程自己还有有一个未知的参数：节制放年夜率的变量。这个值必需恰如其分，以确保方程的解与初始问题中的爆破解相一致。数学家必需同时向前及向后地求解这些方程——这是一项用传统要领很难实现的使命，假如不是不成能的话。找到这些解决方案，恰是设计PINNs的目的。

3爆破解的追求之路回首当初，Buckmaster说，开发PINN“好像是显而易见要做的”。Buckmaster、Lai、Wang 以和Javier Gómez-Serrano（他是布朗年夜学及巴塞罗那年夜学的数学家）四人互助，成立了一套物理约束来帮忙引导PINN，这套物理约束包括与对于称性及其他性子有关的前提，以和他们想要求解的方程。他们利用了一组利用自相似坐标来重写的二维方程，这些方程于靠近圆柱界限的点上等价在三维欧拉方程。然后，他们练习神经收集来寻觅满意这些约束前提的解——以和自相似参数。“这类要领很是矫捷，只要施加准确的约束，你总能找到一个解。”Lai说道。事实上，团队还有经由过程于其他问题上测试该要领展示了这类矫捷性。该团队提供的谜底看起来很像Hou 及 Luo （2013）提出的解决方案。可是数学家们但愿他们给出的类似能更具体地描写正于发生的工作，由于这是第一次直接计较出这个问题的自相似解。Sverak 暗示 ：“新的研究成果更切确地申明了奇点是怎样形成的”，即某些值会怎样到达爆破点，以和方程将怎样瓦解。Buckmaster指出：“于没有神经收集的环境下，你很难证实你是真的于捕获奇点的素质。很较着，这项研究所用的要领是比传统要领要轻易患上多。”Gómez-Serrano对于此暗示赞成，他说：“这于将来将成为人们手边的一种尺度东西”。PINNs再一次展现了Karniadakis所说的“隐蔽流体力学”，只是这一次，他们用PINNs于更具理论性的问题上取患了进展。Karniadakis说：“我还有没见过有人用PINNs来做这件事。”这其实不是数学家感应高兴的独一缘故原由。PINNs可能也能够用来找到另外一种奇点，这类奇点用传统的数值要领是险些发明不了的。这些“不不变”奇点多是某些流体动力学模子中独一存于的奇点，包括没有圆柱界限的欧拉方程（这一的方程求解起来已经经繁杂许多）及纳维-斯托克斯方程（Navier-Stokes equations）。“不不变的奇点确凿存于。以是为何不找到它们呢？”普林斯顿的数学家Peter Constantin曾经如许说道。但纵然对于在用经典要领可以处置惩罚的不变奇点，PINN为有圆柱界限的欧拉方程提供的解决方案“是定量且切确的，而且还有可以变患上更为周密。此刻有了一个通往证实的线路图。这将需要做许多事情，需要许多的技术。我想这还有需要一些创意。但我不认为这需要甚么先天。我认为这是可行的。”Fefferman如许暗示。Buckmaster的团队此刻正于与Hou及Chen睁开一项竞赛，看谁能争先达到尽头线。Hou及Chen于 这条赛道上是领先一步的：据Hou说，他们于已往几年里于改良类似解及完成证实方面取患了本色性进展，他思疑Buckmaster及他的同事必需改良类似解，才能获得他们本身的证实。而他认为，现有类似解的偏差余地已经经很小了。只管云云，很多专家但愿，250年来人们对于欧拉方程爆破解的摸索将靠近尾声。Sverak 说：“从观点上讲，我认为……所有主要的部门都已经到位，只是细节还有很难确定。”

参考链接：

https://www.quantamagazine.org/deep-learning-poised-to-blow-up-famed-fluid-equations-20220412/

https://arxiv.org/pdf/2201.06780v2.pdf

雷峰网(公家号：雷峰网)

雷峰网版权文章，未经授权禁止转载。详情见转载须知。

-米兰·(milan)中国官方网站