On "discrete" solutions of the Euler system of gas dynamics

想象一下你正在试图预测天气。你面前有一个巨大的、隐形的流体，它充满了天空——那就是空气——它在移动、旋转并相互碰撞。科学家们有一套规则，叫做欧拉系统（Euler system），它们描述了这种流体应当如何运动。你可以把这些规则想象成一本关于完美、无摩擦之舞的终极说明书。在这场舞蹈中，空气没有粘性（黏度）也没有热量损失；它是一种纯粹的、理想化的流动。长期以来，数学家们一直认为，如果你知道了每一个空气分子的初始位置，这些规则就会告诉你接下来会发生什么，直到永远。这就像是在相信，如果你丢下一个球，物理学保证它会以一种特定的、可预测的方式弹跳。

然而，这里有一个陷阱。在现实世界中，流体可能会变得混乱。它们可能会形成突然的、剧烈的冲击（比如音爆），或者陷入混沌的旋涡。当情况变得如此狂野时，“完美”的规则有时会失效，数学也会变得模糊。这就是“弱解”（weak solutions）概念出现的地方。弱解不再要求每一个分子都进行完美的、平滑的舞蹈，只要整体的能量和质量平衡即可。但转折在于，最近的发现表明，对于某些初始条件，数学不仅是变得模糊，而是变得极其“混沌”。事实证明，对于大量的起始点，规则不仅仅允许一种结果——它允许无限多种不同的结果，且所有这些结果似乎都符合物理定律。这就像是你丢下了那个球，而物理定律说：“它可能向左弹、向右弹、向上弹、向下弹，或者变成一只蝴蝶，而所有这些都是同样合理的。”

这篇论文深入探讨了这个混沌的游乐场。作者 Anna Abbatiello 和 Eduard Feireisl 研究了欧拉系统中一种特殊的“狂野”解。他们不仅仅是在展示多种解的存在；他们还在构建一种非常特殊的、类似于乐高积木式的解，他们称之为“离散型”（discrete）解。想象一下，这种流体并不像河流中的水那样平滑流动，而是像在有限个截然不同的、冻结的状态之间跳跃，就像一个像素化的电子游戏角色在几个固定位置之间瞬间移动。论文证明了，对于一组稠密的初始条件（这意味着你几乎可以在任何地方找到这些条件），你可以创造出无数个这样的“离散型”解。更奇怪的是，这些解可以被设计成随心所欲地产生越来越多的熵（无序度），或者可以被强制设定为随着时间推移进入某种特定的、预先选定的无序模式。作者展示了，即使当我们试图对物理规律保持严格要求时，欧 Euler 系统仍然是“适定性缺失”（ill-posed）的——它允许这些奇异的、非唯一的、且高度可控的结果。

“像素化”流体的故事

让我们来拆解一下作者们究竟发现了什么。他们研究的是欧拉系统，这是描述没有摩擦力和热量损失的气体（如空气）的数学模型。通常，我们期望如果知道了初始时刻的密度（气体有多密集）、动量（运动的速度和方向）以及熵（衡量无序或热量的指标），那么未来就是确定的。但作者表明，对于大量的起始点，情况并非如此。

他们发现了一种构建“离型”解的方法。在现实世界中，流体是连续的；它们变化得平滑顺畅。但这些解就像是由像素组成的数字图像。气体并不平滑流动；相反，它存在于有限数量的恒定状态中。想象一个充满气体的房间。在正常情况下，气体可能会轻轻旋转。但在这些“离散型”解中，气体在某个角落突然处于状态 A（特定的密度和速度），而在下一个角落，它处于状态 B。它不会融合，它只是“是”其中之一。作者证明了，对于一组稠密的初始条件，你可以创造出无数种这样的像素化场景。

这里是最令人脑洞大开的部分：这些解并不是随机的。作者可以控制它们。他们展示了你可以创造出一系列这样的解，其中无序度（熵）会不断增加。这就像拥有一台可以生成无数个不同版本的电影的机器，在其中一个版本里，角色变得稍微乱了一点，在下一个版本里，他们变得更加混乱，以此类推，而这一切都严格遵守着物理定律。

此外，他们还展示了你可以强制这些解最终落入一个特定的“终端”状态。想象一下，你希望气体在时钟走到某个特定时间时，呈现出一种非常特定的无序模式。作者证明了，无论最终的模式多么复杂，你都可以构造出一个完全符合该模式的解（只要它是“黎曼可积”函数，这是数学上的一个术语，意思是你能够测量出的模式）。

为什么这很重要（以及为什么它很怪异）

作者们本质上是在说，欧拉系统是“适定性缺失”（ill-posed）的。在数学术语中，“适定”（well-posed）意味着你拥有一个取决于初始数据的唯一解；“适定性缺失”则意味着规则失效了。论文证明，即使我们加入了“熵必须增加”这一规则（即热力学第二定律，即事物随时间变得越来越混乱的规则），该系统仍然允许无限多种不同的未来。

这非常重要，因为它挑战了我们对流体行为的理解。如果数学允许无限种可能性，我们如何知道哪一个是“真实”的呢？作者指出，这些“离散型”解在现实世界中不太可能发生。它们是“病态的”（pathological），也就是说它们是数学上的怪物。它们具有奇怪的属性，比如气体密度永远保持不变，而速度却在跳变；或者气体突然停止并开始运动，感觉很不自然。

论文还涉及了“容许性”（admissibility）的概念。科学家们曾试图制定规则，从无限个“假”解中挑选出“真实”的解。例如，DiPerna 和 Dafermos 曾提出，真实的解应该是那个产生熵最快、产生最多熵的解。作者展示了他们的“离散型”解无法通过这项测试。你总能找到另一个产生更多熵的解。这表明，这些离散型解确实是不符合物理实际的，但也证明了我们目前用来过滤它们的规则还不够强大，无法保证得到一个唯一的答案。

总结

那么，底线是什么？作者构建了一台数学机器，可以生成气体流动方程的无限多、像素化且非唯一的解。这些解可以被调节以产生越来越多的无序，或者可以设定为最终落入某种特定的模式。虽然这些解在自然界中可能并不常见（因为它们太僵硬、太怪异了），但它们的存在证明了欧拉系统在根本上是“破碎”的——即它无法提供唯一答案，即使我们试图对物理定律进行极其严格的约束。这提醒我们，在数学的世界里，有时规则允许一个充满可能性的宇宙存在，而寻找“真实”的那一个，需要的不仅仅是基础的运动和能量定律。这篇论文并不是说我们无法预测天气；它是在说，如果我们仅仅依赖欧拉方程，数学本身会说：“我不知道风会往哪个方向吹，因为我可以让它以一百万种不同的方式吹，而且它们看起来都完全正确。”