姗姗来迟的证明驯服了最难以驾驭的一些数学方程

数学家们终于理解了一类重要的微分方程的行为。这类方程刻画了从水压到人体组织氧气浓度的万事万物。

Paulina Rowińska 撰文

左    芬       翻译

【译注：原文2026年2月6日刊载于QuantaMagazine，链接见文末。】

为了研究机翼周围空气的流动，桥梁上压力的分布，或是其它各种情形，研究者使用椭圆型偏微分方程。这些方程以理解之困难而“臭名昭著”。

风暴的轨迹，股票价格的起伏，疾病的传播——数学家可以刻画任何在时间或空间中变化的现象，使用所谓的偏微分方程（简称PDE）。可是有一个问题：这些“PDE”往往极为复杂，没法直接求解。

数学家们转而依赖一种巧妙的替代方法。他们可能不清楚如何计算一个给定方程的精确解，但他们可以试着证明解必然是“正则的”，或者说在某种意义下是行为良好的——比方说，它的取值不会以一种物理上不可能的方式突然跳变。如果一个解是正则的，数学家们就可以利用各种各样的工具去近似它，从而更好地理解他们想要研究的现象。

然而许多刻画现实情况的PDE仍然难以企及。数学家们还没法证明它们的解是正则的。尤其是，这些难以企及的方程中的一些归属于一类特殊的PDE。对这类PDE研究者们花了一个世纪发展了一套理论，可没人能让这套理论也适用到这一子类上。他们全都碰壁了。

如今，两位意大利数学家终于取得了突破，将该理论延伸到了这些更棘手的PDE上。他们去年夏天发表的文章标志着一个雄心勃勃的计划的巅峰，并首次让科学家得以刻画一直难以进行数学分析的现实现象。

邪恶与良善

在火山喷发时，一条灼热的，混沌的岩浆河会流过地面。可是在数小时或者数天（甚至可能更久）后，它会充分冷却到进入一种平衡态。它的温度不再时不时地变化，尽管在岩浆覆盖的广大空间区域里，它仍然会随着位置而变动。

数学家们使用椭圆型偏微分方程来建模在空间而非时间中变化的体系——平衡状态下岩浆流的温度，组织中养分的分布，肥皂膜的形状。

数学家在描述这种情况时使用所谓椭圆型PDE。这些方程表征着在空间而非时间中变动的现象，例如流经岩石的水压，桥梁压力的分布，或者肿瘤中养分的散布。

可是椭圆型PDE的解很复杂。例如，在给定初始条件下，岩浆PDE的解刻画了它在每个点的温度。它取决于大量相互影响的变量。

研究者想要近似这样一种解，哪怕没法把它写下来。可是他们所使用的方法只在解正则的情况下——意味着它不会有任何的突然跳变或是扭折——才会运作良好。（不同地方的岩浆温度不会出现急剧的尖峰。）“如果什么东西出错的话，很可能是因为【缺失了】正则性，”里斯本大学的Makson Santos说道。

1930年代，波兰数学家Juliusz Schauder试图为保证椭圆PDE解的正则性确立最少的条件。他表明，在许多情况下，你所需要证明的就是让融入到方程中的规则——例如热量在岩浆中传播快慢的规则——不会随着位置改变而过于急剧地变化。

在Schauder给出证明之后的数十年里，数学家们证实这一条件足以保证描述良好、“均匀”材料的任何PDE都拥有正则解。在这种材料里，内在规则能达到的极端存在界限。例如，如果假定你的岩浆是均匀的，那么热量总是会在某个速度范围之内流动，永远不会过快或者过慢。

可是岩浆其实是熔岩、溶解气体以及晶体的复杂混合体。在这样一种非均匀材料中你是无法控制极端情况的，因此你可能会发现不同位置上的热量传播速度存在极其显著的差异：岩浆的一些区域可能能非常好地导热，而其它区域则很差。在此情形下，你会使用一种“非均匀椭圆型”PDE来描述状况。

数十年来，没人能证明Schauder理论对这类PDE也适用。

不幸的是，“真实世界是非均匀椭圆型的，”意大利帕尔马大学数学家Giuseppe Mingione称。这意味着数学家们僵住了。Mingione想要理解其原因。

时间机器

2000年8月，Mingione——28岁，刚拿到博士学位——独自来到俄罗斯一个荒废的旧景区参加一个微分方程的会议。一天晚上，因为没啥事情好做，他开始阅读在旅途中遇到的一个数学家Vasiliĭ Vasil’evich Zhikov所写的论文，并意识到，非均匀椭圆型PDE哪怕看起来表现良好并且满足Schauder确定的条件，仍然可能拥有非正则解。Schauder理论在非均匀情况下不仅仅是更难证明。它还需要更新。

Giuseppe Mingione协助证明了他在20年前提出的一个猜想。他称，最终的证明是“绝境中的奇迹”。

在返回意大利后，他跟两个同行合作，提出非均匀椭圆型PDE必须满足一个额外的条件才能确保其解是正则的。不仅仅主导热流的规则必须随着位置逐渐变化，这些变化还必须加以严格控制以反映岩浆的非均匀性。特别地，这些数学家断定，材料越不均匀，这一控制就必须越严格。他们将这一条件表示为一个不等式，为体系所能容受的不均匀性的大小给出了精确的阈值。

他们证明，当这一不等式不满足时，PDE就不再能确保解会是正则的。可是他们无法证明这一不等式精确地标记了从正则解到可能非正则解的转变点。Mingione在这一问题上花费了数年时间，毫无收获。他最终放弃了努力。

差不多20年过去了。接着在2017年，一个名叫Cristiana De Filippis的一年级研究生听说了这个需求，即把Schauder理论推广到非均匀椭圆型方程上。一些久经世故的数学家警告她不要探索该问题，可她置之不理，并与Mingione取得了联系。在一次深夜的Skype通话中，她告诉他自己对于如何证明他的猜想有了一些想法，并决定从他中止的地方前行。

Cristiana De Filippis发展了一套更广泛的理论来更好地理解偏微分方程，将她的目光投向了远为复杂的情形。

“这就像是时空穿越，”Mingione说道，“就像是20年前的我自己来见我了，在敲着我大脑的门。”

在他看来，是De Filippis “全新的能量、激情以及对成功的信念”说服了他去重启证明自己猜想这一沉寂已久的计划。

奇迹

证明一个PDE的解正则的关键在于证明它始终会以一种可控的方式变化。数学家做到这一点的方式是检查一个特定的函数，它刻画了解在每个点变化的快慢。他们想要证明这个函数，也就是所谓梯度，不会变得过大。

可是就如同通常无法直接计算一个PDE的解一样，通常也无法计算出解的梯度。

波兰数学家Juliusz Schauder试图理解物理体系的模型何时可以提供对现实的良好图像，何时则不能。

取而代之的，De Filippis与Mingione从原始PDE推导出了他们所谓“幽灵方程”，他们实际需求的一个影子。

这就是Mingione数十年前受阻的地方。不过De Filippis想到了一个办法来磨炼幽灵方程，让它能给出PDE更清晰的图像。通过一种漫长的、多步骤的程式，二人组得以从幽灵方程中获取足够多的信息来重建梯度。

“以这种方式来完成任务有点不靠谱的样子，”德国比勒菲尔德大学的Simon Nowak说道，“可是它可行，并且极其优美。”

现在他们必须弄清如何证明他们重建的梯度不会变得过大。他们把它拆分成更小的片段，并证明每个片段不会超出一个特定的大小。这花费了大量的工夫：在单个片段上哪怕一个微小的度量错误都会影响他们对梯度的估计，让他们偏离试图证明的阈值。

在2022年的一篇预印本文章中，他们设法把所有这些片段都驯服得足够好，并证明大多数满足Mingione不等式的非均匀椭圆型PDE都必然拥有正则解。可是部分PDE仍然缺失。为了证明完整的猜想，两位数学家还得对梯度片段的大小获得更好的界。完全没有任何回旋余地。这需要一次又一次地反复来过——“一场永无尽头的游戏，”De Filippis说道。不过最终，他们得以证明Mingione数十年前预言的阈值正好是对的。

这是在“绝境之中的奇迹”，他说。

De Filippis和Mingione不仅仅是完成了一个世纪之久的项目。他们还使得数学家们能够研究现实生活中的复杂过程，而这些在此之前都是用不现实的简化方程进行建模的。

研究者们也热切地使用他们的技术来理解其它类型的偏微分方程，包括同时在空间和时间中改变的那些。“神奇之处在于，他们把这整套深奥的理论全都集中到了这一个纲领之下，然后压榨出证明来，”赫尔辛基大学的Tuomo Kuusi称。

PDE的数学分析一直以来都出奇地困难。如今它们变得稍微容易了一丢丢。在它们背后，De Filippis称，“广阔的现实世界”正等待着人们去解释。

原文链接：

https://www.quantamagazine.org/long-sought-proof-tames-some-of-maths-unruliest-equations-20260206/