结果族 363：Nonuniqueness with local conservation for the hard-sphere Boltzmann equation · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
抛出去的骰子只有一面朝上，可是在微分方程的世界里，同一副”初始牌”可以洗出两种未来。这篇论文在周期边界的三维盒子里构造出硬球气体的一副初始状态：它合规地演化出两个不同的未来剧本——同一个起点，两条都自洽的时间线，”未来不唯一”在严格的数学意义上发生了。
关键词卡片
看个具体例子
两个解从同一 @@M@@F_0@@ 出发（质量、能量、熵都有限，速度支撑有界）：”休眠剧本”里碰撞迟迟不点火；”带种子的剧本”里一颗会消失的微小热种子在某段有限时间内被碰撞链式放大。时刻 0 之后 @@M@@F(t)@@ 与 @@M@@G(t)@@ 在正测度集上不同，但两者都取同一初值、都满足局部质量连续性方程、总动量守恒以及能量与熵耗散不等式。
为什么值得关心
非齐次玻尔兹曼方程在 DiPerna–Lions 类中的唯一性是悬置三十余年的公开问题，本文给出否定回答；此前只知相邻初值的不稳定性或特殊退化模型的结果。
暂无形式化证明（AI 结果待核验）
第一级台阶
（入门导读说”同一副初始牌可以洗出两种未来”。翻译成半数学语言：对象是周期盒子里的硬球气体——分子是刚性小球，碰撞瞬时且完全弹性——状态由”每个位置、每个速度处的分子数”描述；操作是自由飞行加两两碰撞。构造给每个粒子束”染上颜色”记账：同色碰撞保留颜色，跨色碰撞产生”热”粒子，各色账本加总恰好就是原来的方程。”两条剧本”则是：一条里碰撞迟迟不点火（休眠），另一条里一颗会消失的微小热种子被碰撞链式放大（封顶）。）
第二级台阶
（用本科术语说：密度满足玻尔兹曼方程，左端是输运导数，右端是二次碰撞项。DiPerna–Lions 理论保证的是”重整化解”——经缓增非线性函数变换后仍满足方程的整体弱解；本文的”可容解”在此基础上要求：弱连续取初值、局部质量连续性方程成立、总动量守恒、能量与相对熵不等式成立。辅助工具是速度平均引理——把速度积分掉之后换取空间方向的强收敛。）
第三级台阶
（定理陈述：存在一个非负初值，速度支撑有界、质量动能与绝对熵有限，但它派生出两个不同的全局可容解；在某个共同初始区间上二者都强连续、碰撞项可积，因而都满足未重整化的方程，差异出现在正测度集上。假设分工：初值振幅无界却集中在递缩的空间尺度，使其躲开一切已知唯一性类；周期边界保证两条解都能整体延拓；可容性刻意不要求局部动量与局部能量守恒——那是后续强化的缺口。结论用这些话说：决定论的方程在同一初值下交出两份都合规的答卷。）
在三维环面 @@M@@\mathbb T^3\times\mathbb R^3@@ 上构造出同一个初值派生的两个不同整体可容解：都满足重整化方程、局部质量守恒、总动量守恒及能量与熵耗散不等式，从而否定了 DiPerna–Lions 解类在一般初值下的唯一性。
周期环面上的玻尔兹曼方程描述稀薄气体在自由输运与二体弹性碰撞下的演化，初值只假设有限质量、动能与绝对熵。DiPerna 与 Lions 1989 年的大初值理论在这一可积性水平上给出整体存在与弱稳定性，但唯一性问题至今公开。重整化是实质性的：这些界不能保证二次碰撞项局部可积。空间齐次情形提供了参照——Mischler 与 Wennberg 证明齐次硬球方程有限质量加能量即可唯一，而 Wennberg 的齐次非唯一例子允许能量随时间增加，机制与本文不同。近年的不稳定性结果（Chen–Holmer；Chen–Guo–Shen–Zhang）比较的是相邻初值的解，而本文两个解的初值完全相同；Gismondi–Golding–Novack 对 Krieger–Strain 模型构造了碰撞算子退化的粗糙稳态解，并猜想非齐次 Landau 与玻尔兹曼问题非唯一，本文可视为该猜想在周期硬球情形的回应。
主定理：存在非负初值 @@M@@F_0@@，速度支撑有界且 @@M@@\int F_0(1+|v|^2+|\log F_0|)\,dx\,dv<\infty@@，使 @@M@@(\partial_t+v\cdot\nabla_x)F=Q(F,F)@@ 有两个不同的整体可容解（admissible solutions）。按论文的定义，可容解须：在 @@M@@L^1@@ 中弱连续并取初值；对一切满足 @@M@@|\beta'(z)|\le C_\beta/(1+z)@@ 的 @@M@@\beta@@，满足以 @@M@@M\beta(F/M)@@ 测试的重整化方程，且重整化后的增益与损失分别可积；满足局部质量连续性方程 @@M@@\partial_t\rho+\nabla_x\cdot j=0@@ 与总动量守恒；并在每个时刻成立能量不等式与带完全熵耗散 @@M@@\mathcal D@@ 的相对熵不等式。注意该定义不要求局部动量与局部能量守恒——这正是后续姊妹篇补强的缺口。定理还保证：在某个共同初始区间上，两解都强连续于 @@M@@L^1@@，其碰撞增益与损失可积，因此二者在出现差异的区间上都满足未重整化的方程，且差异出现在一组正时空-速度测度集上。
初值由沿 @@M@@\pm e_3@@ 轴的冷射流（cold jets）组成：占据几何递减半径 @@M@@s_j\downarrow0@@ 的横截圆环，两个速度符号在周期约 @@M@@s_j^2@@ 的细条纹中交错，热宽度远小于条纹间隙。自由输运下尺度 @@M@@s@@ 的射流空间密度被 @@M@@C/(t+s)@@ 控制，环质量 @@M@@O(s^2)@@、绝对熵 @@M@@O(s^2(1+|\log s|))@@，几何求和给出单一有限熵初值——振幅无界，但集中在愈小的空间尺度。核心装置是颜色分解（colored equations）：每个射流一种颜色，同色碰撞保留该色，跨色碰撞及与热粒子碰撞产生热粒子，各色方程之和恰为玻尔兹曼方程；窄速度分布压制自碰撞，空间间隙压制早期跨色碰撞。逼近保留前 @@M@@N@@ 环并加碰撞截断（随 @@M@@N\to\infty@@ 移除），估计统一用速度轴奇异但可积的权 @@M@@H(v)=e^{-|v|^2}\langle v\rangle^{-m}(1+|\bar v|^{-q})@@（@@M@@1<q<2@@）；”封顶”（cap）指热分量 @@M@@h_N/H@@ 的几乎处处上界。两族逼近：无种子的休眠族满足 @@M@@h\le t^2H@@；对每个短视界 @@M@@T@@，封顶族可选质量、能量、熵都趋于零的光滑热种子，使 @@M@@h_N\le(t+s_N)H@@ 于 @@M@@[0,T]@@ 且某时刻加权 ess-sup 取等。固定视界的紧性（第 6 节）不伸缩：密度包络 @@M@@\sum_j\mathbf 1_{A_{s_j}}/(t+s_j)@@ 的平方挖去小环后一致可积（每环贡献 @@M@@\le Cs@@），密度与同位置双粒子乘积遂一致可积；再用 Golse–Lions–Perthame–Sentis 速度平均引理获得速度平均的强紧性，识别 @@M@@Q_N^\pm\rightharpoonup Q^\pm(F,F)@@，熵不等式经凸函数 @@M@@(A-B)\log(A/B)@@ 的下半连续性通过，路径公式给出强 @@M@@L^1@@ 连续，再借 DiPerna–Lions 的周期整体存在定理把两解延拓到全时间。真正分开两解的是缩小视界的伸缩论证：仅凭”种子消失加封顶取等”不够，命中质量可能在极限中消失，排除它是中心步骤。在封顶时刻以 @@M@@r_N=t_{*,N}+s_N@@ 伸缩时空、热密度除以 @@M@@r_N@@：细条纹平均成两符号背景介质，极限 @@M@@g@@ 满足其中的线性玻尔兹曼方程。非集中性（nonconcentration）用规范化 Carleman 增益核证明 @@M@@g\not\equiv0@@：近轴两次相继增益的规范化质量趋于零，远轴五次增益的参数映射秩为七，紧浸没论证防止质量漏走。分支增长（第 9 节）把有限碰撞史写成带正势的 Markov 飞行，用三次碰撞几何建立 Doeblin 最小化条件与指数混合，证明在以横向速度 @@M@@\kappa e_1@@ 平移的空间盒中热质量每步至少放大三倍，超出封顶允许的多项式上界，故伸缩视界必有限、封顶尺度与物理视界可比。最后（第 10 节），休眠解在相应伸缩下于速度轴外消失；若封顶极限在任意小视界与休眠极限重合，对角选取将迫使 @@M@@g=0@@，矛盾。故某小视界上两极限不同，整体延拓后差异保留。
本文暂无形式化证明，请以社区核验为准。它是结果族 363 的先行篇：同年 10 月的姊妹篇在相同的射流机制上，把结论强化为带精确局部动量与能量守恒的非唯一性，并直接复用本文的核估计、伸缩极限与分支增长论证，两篇互为印证。按 OpenAI 官方声明，未经形式化的结果可能有问题，采纳前请以社区核验为准。
问 1：证明最脆弱的一环在哪里？
（答：非集中性论证。引言明说”种子消失＋封顶取等”本身推不出两解不同——命中处携带的质量可能在弱极限中消失，”排除这一信息丢失是中心步骤”。论文用规范化 Carleman 增益核双管齐下：近轴两次相继增益的规范化质量趋于零（第一次增益有非原子的轴输入，第二次大增益会迫使输入匹配一小撮冷速度特征）；远轴五次增益的时空-角度参数到末态的映射几乎处处秩为七，紧浸没把局部热质量消失转化为增益贡献消失。这段组合几何＋紧性的论证是全文最易藏错处。）
问 2：颜色分解是技巧还是必需？
| （答：是精确分解而非近似：每个冷射流一种颜色，同色碰撞保色，跨色及与热粒子的碰撞产热，各色方程之和恰为玻尔兹曼方程。它让”截断＋前 N 环”的逼近可以逐色估计：窄速度分布压自碰撞、细条纹间隙压早期跨色碰撞；速度权 H(v)（高斯尾、轴上 | v̄ | ^{-q}，1<q<2）奇异但可积，专门用来驯服冷热耦合的轴向奇异。没有这套记账，封顶界的自举无从下手。） |
问 3：与已有的”不稳定性”结果相比，新意究竟是什么？
（答：Chen–Holmer 与 Chen–Guo–Shen–Zhang 证的是解映射不连续——比较的是相邻初值，且机制由碰撞损失与弥散驱动。本文两个解的初值完全相同，机制是碰撞增益放大一颗消失中的热种子，在初始空间奇点附近产生非零弱极限。它同时是对 Gismondi–Golding–Novack 非唯一性猜想在周期硬球情形的具体回应。）
问 4：为什么不与齐次理论的唯一性矛盾？
（答：Mischler–Wennberg 证明齐次硬球方程有限质量加能量即可在守恒类中唯一；Wennberg 的齐次非唯一例允许能量随时间增加。本文本质性地使用空间非齐次——细条纹的交替结构在伸缩极限里平均成双符号背景介质——并且保留能量与熵耗散不等式，机制上属另一条路。）
问 5：可容性为什么不含局部动量与能量守恒？
（答：定义里明确不要求（引言 “admissibility does not require local momentum or local energy conservation”）。这是诚实的划界：本文的延拓与紧性机制只控制局部质量与总动量，局部动量/能量恒等式需要增益损失更强的可积性，正是后续姊妹篇用”每尺度有限寿命＋浴中指数衰减”补上的缺口。审稿时应把两篇当作递进关系读。）
问 6：作为未形式化的 AI 证明，最可能出错的模式是什么？
（答：两种紧性程序的混淆。固定视界的紧性（构造可容解，不伸缩）与缩小视界的伸缩紧性（封顶时刻按 r_N=t_{*,N}+s_N 伸缩、热密度除以 r_N）是两套不同的标度，论文专门画图区分（proof-route 图）；分支增长一节把有限碰撞史写成带正势的 Markov 飞行、用三次碰撞几何建 Doeblin 条件、证热质量每步至少放大三倍以压过封顶的多项式上界——这类”每步固定放大率”的几何组合链是语言模型最易在常数与秩上含糊的地方。）
问 7：这个结果对领域意味着什么？
（答：DiPerna–Lions 类唯一性这一悬置三十余年的问题得到否定回答，界线清晰：物理守恒加熵耗散不足以钉死演化；唯一性必须来自额外正则性。它也直接启发了同族姊妹篇把非唯一性推进到最严守恒类。开放方向是非唯一解集的拓扑规模与一般初值稠密性——论文未展开。）
总评
（这是玻尔兹曼弱解唯一性公开问题的首个否定回答，机制原创、路线完整，配图自查意识可嘉；但未形式化，核心的非集中性与分支增长两节几何密度极高，结论宜待专家逐节复核后再定性。）