结果族 363：Nonuniqueness with local conservation for the hard-sphere Boltzmann equation · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
给同一杯稀薄气体拍下”出厂快照”，然后放开时间，直觉说未来只有一种剧本。这篇论文却构造出一杯特殊的气体：它有两个都合规的未来——演化各不相同，但每一处、每一刻的质量、动量、能量账本都分毫不差，连通常弱解里允许的”误差项”都没有。决定论的方程，交出了两份不同的答卷。
关键词卡片
看个具体例子
定理代入：初值 @@M@@F_0@@ 由几何递减尺度 @@M@@s_j=s_0e^{-j\eta}@@ 的环状冷射流组成，沿 @@M@@+z@@ 与 @@M@@-z@@ 方向交替排布。它长出两个解 @@M@@F@@ 与 @@M@@G@@：在正测度集上不同，但对五个碰撞不变量中的任何一个 @@M@@\psi@@（例如 @@M@@\psi=1@@，即质量）都精确满足 @@M@@\int F\,\psi\,(\partial_t+v\cdot\nabla_x)\phi+\int F_0\,\psi\,\phi(0)=0@@，没有任何缺陷项；能量与熵不等式同样成立。
为什么值得关心
它说明即使加上最严格的逐点守恒，DiPerna–Lions 解类仍不唯一——唯一性需要真正的正则性门槛，这个反例划出了边界。
暂无形式化证明（AI 结果待核验）
第一级台阶
（入门导读的画面是”同一份出厂快照，两份都合规的未来”。翻成半数学语言：对象是装在周期盒子里的稀薄气体，状态由”每个位置、每个速度处有多少分子”描述；操作是让这些分子按”自由飞行＋两两弹性碰撞”演化。”账本分毫不差”则意味着：两份演化剧本虽然不同，但每一处、每一刻的质量、动量、能量收支都严格平衡，连通常理论里允许的”下落不明的亏损”都不存在。发动机是初值里一组尺度不断变细、方向相反的极窄高速粒子束——导读所称的冷射流。）
第二级台阶
（用本科术语说：气体密度满足玻尔兹曼方程——左端是沿自由飞行的输运导数，右端是碰撞算子，增益项减损失项。”熵解”指质量、能量、绝对熵有限的整体弱解，满足能量与熵不等式（DiPerna–Lions 理论）；”局部守恒”指对五个碰撞不变量（质量、三个动量分量、动能）的弱形式恒等式逐点成立；”缺陷测度”是较弱理论中允许出现在动量与能量平衡里的未知亏损项，本文要把它压成零。）
第三级台阶
（定理陈述：存在一个初值——速度支撑有界、质量能量与绝对熵均有限——派生出两个全局熵解，二者在正测度集上不同，却都强连续地取值于 L¹，且碰撞增益与损失项带任意多项式速度权可积。假设分工：速度支撑有界让加权估计一致可行；熵有限保证初值落在 DiPerna–Lions 类中；增益损失分别可积正是让五条局部平衡不带缺陷地通过极限的决定性输入。结论用这些话说：局部守恒加熵不等式的解类不唯一——决定论方程在同一初值下交出两份严格合规的答卷。）
证明了三维周期硬球玻尔兹曼方程（hard-sphere Boltzmann equation）存在一个初值，能同时派生出两个不同的整体熵解，且二者都逐点精确满足质量、动量、动能的局部守恒——非唯一性在最严格的守恒框架下依然成立。
玻尔兹曼方程自 Boltzmann 1872 年的动理学理论起描述稀薄气体的自由输运与二体弹性碰撞：碰撞在每个空间点守恒质量、动量与动能，并使熵下降。对空间非齐次柯西问题，DiPerna 与 Lions 于 1989 年建立大初值的整体存在与弱稳定性理论（重整化解，renormalized solutions），但唯一性始终悬而未决。重整化是实质性的：仅凭质量、能量、熵有限不能保证二次碰撞项局部可积。而在这一正则性水平上，精确守恒是又一难题——Levermore 与 Masmoudi 的周期表述只给出局部质量守恒，动量平衡中允许一个非负矩阵值的缺陷（defect），总能量也有相应缺陷，均不自动为零。已知唯一性定理都需要更强控制：Kaniel–Shinbrot 的麦克斯韦上界类、Ukai 的麦氏附近小扰动理论、Duan–Huang–Wang–Yang 的大振幅小相对熵类。本文初值的振幅在收缩的空间尺度上无界，小相对熵不足以把它纳入这些唯一性类。本文也是 2026 年 9 月姊妹篇的直接强化：那篇已证熵解类中的非唯一性，但其延拓定理给不出本文所需的精确局部动量与能量恒等式。
主定理：存在 @@M@@R<\infty@@ 与非负初值 @@M@@F_0@@，速度支撑含于球 @@M@@B_R(0)@@，且
@@M@@D\int F_0(1+|v|^2+|\log F_0|)\,dx\,dv<\infty@@
（质量、能量、绝对熵均有限），使得方程 @@M@@(\partial_t+v\cdot\nabla_x)F=Q^+(F,F)-Q^-(F,F)@@ 拥有两个”带局部守恒的整体熵解”，且在一组正 @@M@@(t,x,v)@@-测度集上不同。按论文引言中的定义，这类解满足：@@M@@F\in C([0,\infty);L^1)@@ 并取初值；对一切满足 @@M@@|\beta'(z)|\le C_\beta/(1+z)@@ 的 @@M@@\beta@@ 成立重整化方程；每个时刻满足能量不等式与熵不等式 @@M@@\mathcal H_M(F(t))+\int_0^t\mathcal D(F)\,ds\le\mathcal H_M(F_0)@@；并且对五个碰撞不变量（collision invariants）@@M@@\psi\in\{1,v_1,v_2,v_3,|v|^2/2\}@@ 与任意空间试验函数 @@M@@\phi@@，局部平衡
@@M@@D\int_0^\infty\!\!\int F\,\psi\,(\partial_t+v\cdot\nabla_x)\phi\,dx\,dv\,dt+\int F_0\,\psi\,\phi(0)\,dx\,dv=0@@
精确成立——不出现任何动量或能量缺陷测度。此外，两解的碰撞增益与损失 @@M@@Q^\pm(F,F)@@ 在每个有限时段上带任意多项式速度权 @@M@@\langle v\rangle^k@@ 可积，这正是让全部局部平衡通过取极限的决定性输入。
先构造初值：在几何递减尺度 @@M@@s_j=s_0e^{-j\eta}@@ 上，沿 @@M@@\pm e_3@@ 轴放置薄环状冷射流（cold jets），速度宽度 @@M@@d_s=d_0s^{10}@@ 极窄、幅度 @@M@@K/s@@ 极大，但横截面积仅 @@M@@O(s^2)@@，故每个尺度的质量为 @@M@@O(s^2)@@、绝对熵为 @@M@@O(s^2(1+|\log s|))@@，几何求和收敛；两个速度方向按周期 @@M@@s_j^2@@ 的细条纹交错分开。要把此机制延拓到全时间并保住全部局部守恒律，须跨过两道坎：薄射流终将撞上自身的周期像；熵界不足以让增益、损失分别可积。解法是给每个尺度设有限寿命：射流轴取二次无理方向 @@M@@(1,\sqrt2,0)/\sqrt3@@，利用 @@M@@m^2-2k^2@@ 是非零整数证得格点的丢番图分离 @@M@@|\bar n|\ge c/(1+|n|)@@，于是尺度 @@M@@s@@ 的射流在退役时间 @@M@@L_s=s^{-1/2}@@ 前不会自交，到点后整体并入余量分量 @@M@@w@@。再放一个挖去轴旁空间洞、带速度截断的近麦克斯韦”浴”，使初始相对熵任意小；经 Duhamel 公式、双球几何与沿自由飞行的平均估计，它在短时刻 @@M@@t_1@@ 之后提供与逼近指标无关的正碰撞频率 @@M@@\kappa>0@@，射流随之指数衰减，退役增量 @@M@@J_s\le Cs^{-C}e^{-\kappa(s^{-1/2}-t_1)}@@ 可和。中心环节是整体延拓估计（第 7 节），由三个事实闭环：小速度质量使规范化增益变小；小相对熵控制超出麦克斯韦部分的空间 @@M@@L^1@@ 范数；飞行平均引理把空间小性沿特征线化为逐点小盈余质量。由此二次增益 @@M@@P^b(w,w)\le C_5H@@，常数 @@M@@C_5=\|P(\mu,\mu)\|_H+1@@ 与自举尺寸无关，Gronwall 不等式闭合自举，得到一切有限逼近的一致整体界。第 8 节去掉截断取极限：小尺度环形集上密度包络的平方一致可积（每个尺度贡献 @@M@@\le C_\tau s@@），同位置双粒子乘积因而一致可积；配合 Golse–Lions–Perthame–Sentis 速度平均引理识别出 @@M@@Q_N^\pm\rightharpoonup Q^\pm(F,F)@@，路径公式给出强 @@M@@L^1@@ 连续代表，五个局部平衡不带缺陷地通过。非唯一性沿用姊妹篇的双族机制：无种子的休眠族（dormant）与带可消失种子的封顶族（cap，种子幅度含因子 @@M@@m_T=T^p@@）。在封顶时刻作时空伸缩，得到双流介质中线性方程的非零解 @@M@@g@@，分支增长强制其伸缩视界有限，故两种伸缩尺度可比；而休眠解在相应伸缩下于速度轴外消失。若两解在任意小的视界上重合，对角抽取将迫使 @@M@@g=0@@，与 @@M@@g@@ 非零矛盾。
本文暂无 Lean 形式化证明，请以社区核验为准。文章明确标注：射流机制、核估计、非零伸缩极限与分支增长均援引 2026 年 9 月姊妹篇并复现，新贡献是射流与周围气体在任意长时间上的相互作用估计，以及由此得到的精确局部守恒与整体 @@M@@L^1@@ 强连续。姊妹篇提供机制、本文提供守恒强化，两篇互为支撑。按 OpenAI 官方声明，未经形式化的结果可能有问题，采纳前请以社区核验为准。
问 1：证明中最关键也最脆弱的一步是什么？
（答：第 7 节的整体延拓估计。它靠三个事实闭环：小速度质量使规范化增益变小；小相对熵控制超出麦克斯韦部分的空间 L¹ 范数；沿自由飞行的平均把空间小性化为逐点小盈余质量——合起来得 Pᵇ(w,w)≤C₅H，且常数 C₅=‖P(μ,μ)‖_H+1 与自举尺寸无关。若 C₅ 悄悄依赖自举参数，Gronwall 闭合就是循环论证；这是全文技术支点。）
问 2：为什么必须给每个尺度”有限寿命”？
（答：两道坎逼出来的：薄射流最终撞上自身的周期像；熵界不足以让增益、损失分别可积。解法是射流轴取二次无理方向 (1,√2,0)/√3，用 m²−2k² 是非零整数证得格点丢番图分离，尺度 s 的射流在退役时间 L_s=s^{−1/2} 前不自交；近麦克斯韦浴在短时刻后提供一致正碰撞频率 κ，射流指数衰减，退役增量 J_s≤Cs^{−C}e^{−κ(s^{−1/2}−t₁)} 可和。几何排程环环相扣，一处失守全局塌。）
问 3：与 2026 年 9 月姊妹篇相比，真正的新意是什么？
（答：姊妹篇已在熵解类证非唯一，但其延拓定理给不出精确局部动量与能量恒等式——Levermore–Masmoudi 框架允许非负缺陷测度。本文保留射流机制、直接重建整体延拓，新估计是射流与周围气体在任意长时间的相互作用，从而首次把非唯一性推进到”五条局部平衡无缺陷”的最严守恒类，并附赠 L¹ 强连续与 Q± 的多项式加权可积（定理 1 的式 (strong-collision-integrability)）。）
问 4：这和 Mischler–Wennberg 的齐次理论矛盾吗？
（答：不矛盾。齐次硬球方程中有限质量加能量已保证守恒类唯一（Mischker–Wennberg 1999）；Wennberg 的齐次非唯一例允许能量随时间增加。本文机制本质性地使用空间集中且能量逐点守恒——齐次与非齐次、以及守恒要求的精确程度，恰是引言点明的分界。）
问 5：初值”振幅在收缩尺度上无界”为什么躲开了所有已知唯一性定理？
（答：Kaniel–Shinbrot 需麦克斯韦上界，Ukai 需麦氏小扰动，Duan–Huang–Wang–Yang 需小相对熵加扰动的速度上确界空间积分小。本文初值小相对熵虽小，但射流幅度 K/s 在尺度 s→0 处无界，速度积分密度达 1/s 量级，任何以逐点有界为前提的类都装不下它——反例正好落在理论缝隙里。）
问 6：作为未形式化的 AI 证明，最可能出错的模式是什么？
（答：伸缩与紧性的链条。第 9–12 节要求：封顶时刻的伸缩给出双流介质中线性方程的非零解 g；分支增长强制其视界有限；休眠解在相应伸缩下于速度轴外消失；若两解在任意小视界重合，对角抽取迫使 g=0。这条矛盾链依赖”非集中”估计（第 10 节，小尺度环形集上双粒子乘积一致可积）一步不松；机器最容易在”伸缩尺度可比”与”正测度集上不同”的衔接处含糊带过。）
问 7：谁会用到这个结果？
（答：动理学方程适定性社区。它划出界线：DiPerna–Lions 解类即使加上最严格的逐点守恒也不唯一，唯一性必须来自真正的正则性门槛；也为 Gismondi–Golding–Novack 提出的 Landau/Boltzmann 重整化非唯一性猜想提供了首例类比的强化证据。后续问题：缺陷测度是否在一般解中非零、以及非唯一解集的规模——论文未展开。）
总评
（这是把玻尔兹曼弱解非唯一性推到最强守恒框架的干净一击，机制聪明、谱系清楚；但未形式化，且成败系于”整体延拓＋伸缩矛盾”两条长链的每一环，宜待社区逐节验证后再定为定论。）