结果族 375：De Giorgi’s conjecture in dimension eight · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
油和水倒进杯子会自动分层，中间出现一条界面。现在把整个空间想象成装满”两种状态”的介质，让界面可以任意弯曲盘绕——方程确实允许很复杂的形状。1979 年 De Giorgi 猜：只要解沿某个方向始终单调（永远”一边高一边低”），界面就只能是一张平面。这篇论文在最困难的第八维证明了这个猜想。
关键词卡片
看个具体例子
标准答案长这样：u(x)=tanh(x₁/√2)。当 x₁→−∞ 时 u≈−1（一相），x₁→+∞ 时 u≈+1（另一相），过渡层宽度固定，取值 0 的水平集恰好是平面 x₁=0。定理断言：八维空间里任何单调解最终都是这种形状，只允许换方向、挪位置，不许弯、不许卷。
为什么值得关心
这是 1979 年提出的著名猜想的最后一块缺口：此前八维的结果都要附加”方向极限”假设。八维正是”平面刚性”与反例的分界维数，与极小曲面的 Bernstein 问题遥相呼应——猜想为什么恰好停在八维，这里给出了终极答案。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把解比作”两种状态自动分层、中间一条可以任意弯卷的界面”。换成半数学的说法：研究对象是铺满整个空间、取值始终被压在两个极端状态之间的光滑场；它服从的规则是每点的扩散趋势与把场拉回两个稳定状态的反应趋势相互抗衡。规则本身允许界面长得千奇百怪，猜想只针对其中最规矩的一类场发问。
第二级台阶
用本科语言精确化：设 u 是全空间上的二阶连续可微、取值于 (−1,1) 的整体解，满足 Allen–Cahn 方程 Δu=u³−u；它的”界面”就是取值居中的那些水平集。若沿某个固定方向的方向导数处处为正，称 u 沿该方向严格单调。把一维过渡曲线 g(s)=tanh(s/√2) 沿单位向量 e 平移摆放，得到”平面波”，其水平集是一族平行平面。另一个关键概念是稳定解：能量泛函的二阶变分对一切紧支测试函数非负。单调蕴含稳定，反之不然。
第三级台阶
论文的两个定理就在此陈述。定理一说：八维空间里有界、沿某方向严格单调的解必定是 tanh 平面波。有界性挡住解逃逸出两相范围；严格单调既顺带送来稳定性，又给伸缩极限锥的法向定了指向；”整体光滑”排除了奇点解。定理二说：七维稳定解只有常数与平面波两类，且不需要任何能量增长假设——它是定理一真正的分析心脏。八维正是分界：极小化锥恰在八维出现，九维起存在非平面单调反例，所以这里假设一个不能少、也一个不多余。
论文在临界维数八上肯定地解决 De Giorgi 猜想：@@M@@\mathbb R^8@@ 上沿一个方向严格单调的有界整体解 @@M@@\Delta u=u^3-u@@ 必为一维 @@M@@\tanh@@ 平面波，且不需要 Savin 的方向极限假设；更强地，@@M@@\mathbb R^7@@ 上稳定解只有常数阱与平面波两类。
Allen–Cahn 方程 (Allen–Cahn equation) @@M@@\Delta u=u^3-u@@ 刻画相变，其一维解 @@M@@g(s)=\tanh(s/\sqrt2)@@ 的水平集是一族平行超平面。De Giorgi 于 1979 年猜想：维数 @@M@@n\le8@@ 时，任何有界、整体定义、沿某固定方向严格单调的解都必是这种”平面波”。该猜想与极小曲面 (minimal hypersurface) 的 Bernstein 问题深刻平行：Modica–Mortola 理论把 Allen–Cahn 能量的变分极限化为表面张力乘周长 (perimeter)，而非平坦的极小化锥恰在八维出现（Simons 锥），非仿射的整极小图要到九维才出现（Bombieri–De Giorgi–Giusti）——这条几何分界正是猜想停在八维的原因。此前 @@M@@n=2,3@@ 由 Ghoussoub–Gui 与 Ambrosio–Cabrè 解决；Savin 覆盖了 @@M@@n\le8@@，但附加”方向极限逐点为 @@M@@\pm1@@“的假设；del Pino–Kowalczyk–Wei 在 @@M@@n\ge9@@ 构造了反例。八维的无条件情形因此成为最后的缺口。稳定解 (stable solution) 一侧同样尖锐：Pacard–Wei 在八维造出非平面稳定解，故七维是稳定刚性的临界维数。
论文证明两个定理。定理一（八维单调刚性）：若 @@M@@u\in C^2(\mathbb R^8,(-1,1))@@ 满足 @@M@@\Delta u=u^3-u@@ 且 @@M@@\partial_8u>0@@，则存在 @@M@@e\in\mathbb S^7@@（@@M@@e_8>0@@）与 @@M@@c\in\mathbb R@@，使 @@M@@u(x)=\tanh\big(\frac{e\cdot x-c}{\sqrt2}\big)@@ 处处成立；能量增长、整体极小性与阱极限都不是假设，而是论证的结论。定理二（七维稳定刚性）：若 @@M@@v\in C^2(\mathbb R^7,[-1,1])@@ 是稳定解，即二阶变分 @@M@@Q_v(\varphi)=\int_{\mathbb R^7}\big(|\nabla\varphi|^2+(3v^2-1)\varphi^2\big)\ge0@@ 对一切紧支测试函数成立，则 @@M@@v\equiv1@@、@@M@@v\equiv-1@@，或为平面异宿波 (planar heteroclinic)，无需任何能量增长假设。中间的有限密度定理指出：@@M@@4\le n\le7@@ 时只要能量密度 (energy density) @@M@@M_\infty@@ 有限，同类分类即成立——于是全部困难集中在排除无界密度。
先做几何推演（论文第一部分）。@@M@@\partial_8u>0@@ 满足线性化方程，基态恒等式直接给出稳定性；长圆柱测试再把稳定性传给两个方向极限 @@M@@v_\pm\colon\mathbb R^7\to[-1,1]@@，由定理二它们只能是常数阱或平面波，而这两类都经一维校准 (calibration) 成为整体极小化子。接着用 Alberti–Ambrosio–Cabrè 与 Jerison–Monneau 的滑动比较把 @@M@@u@@ 夹逼成整体极小化子，并得到表面阶能量增长 @@M@@\mathcal E(u;B_R)\le CR^7@@。随后做伸缩取极限 (blow-down)：论文把 Modica–Mortola 恢复序列在薄环层中与原解拼接，对层取平均以消去对收敛速率的依赖，证得能量测度恰等于 @@M@@s_0@@ 乘某极小化边界 (minimizing boundary) 的周长——这一”无剩余扩散能量”的精确等式是后续几何论证的根基。能量单调性使该边界缩放成一个锥，方向单调性使锥法向的第八分量非负；在锥的链环 (link) 上解 Jacobi 方程并分情况讨论：该分量为正则链环全测地、锥为超平面；恒为零则解沿第八方向平移不变，与锥至多只有孤立顶点奇点矛盾。于是极限密度恰为 @@M@@1@@，Wang 的近单位密度定理把解压回一维，常微分方程的首积分最终给出 @@M@@\tanh@@ 剖面与定向 @@M@@e_8>0@@。
再看七维稳定分类（第二至四部分）。核心变量是逆剖面 @@M@@U=g^{-1}(v)@@ 与缺陷 @@M@@D=1-|\nabla U|^2@@（Modica 界保证 @@M@@D\ge0@@）：@@M@@D@@ 一旦在某点为零即得平面波；否则 @@M@@D>0@@，精确稳定性恒等式 @@M@@\int q^2|\nabla\eta|^2\ge\int q^3D\eta^2@@（@@M@@q=1-v^2@@）把”偏离平面”编码为可积质量，其法向平均 @@M@@I_P@@ 以严格系数控制零集曲面的平均曲率 (mean curvature)。有限密度情形经 Florit-Simon–Serra 的约化与 Wang–Wei 层估计，化为相邻薄层间距的对数系数比较，在七维产生矛盾。排除无界密度则引入罚化到达距离 (penalized reach) @@M@@d(z)@@：它同时度量一张薄层的弯曲与邻近薄层的逼近；延迟的能量单调性在近乎 @@M@@d@@ 的尺度开出有界密度窗口、局部孤立出单张图，奇偶投影改进平均曲率导数，切相球给出接触点的单侧曲率界，合并成 @@M@@d@@ 的微分不等式；与薄层提升的稳定性测试结合，经 Simons 型曲率方法得到四阶矩估计：@@M@@|A|^4+D^2+E^2@@ 的加权和被 @@M@@K(R)R^{m-4}@@ 控制，白赚四个 @@M@@R@@ 的幂。
最后的径向比较对同一径向权函数同时使用到达不等式与环境稳定性测试：相邻薄层间固定宽度的中带内以 @@M@@\operatorname{sech}^2@@ 形最优插值振幅，切换代价被显式数值预算封顶；系数逐项比较留下一个正的径向积分剩余，而联合单射法管把能量转移为小到达距离处的面积下界，与剩余的消失性矛盾，无界密度就此排除。
按任务标注，本文主结果尚无 Lean 形式化证明，应以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。论文结构模块化：第一部分把定理二当黑盒使用，第二至四部分的解析证明又不依赖该几何推演，族内两个定理由此互为支撑、可分别审读；附录还核对了与九维 del Pino–Kowalczyk–Wei 反例构造的相容性。与同期工作（Florit-Simon–Serra 四维带密度假设，LLWWW 与 CFFFS 的三四维结果）相比，本文同时推进了维数与假设去除，最终比较的数值容差均显式列出，便于逐步核查。
问 1：整个证明最脆弱的一环在哪里？
（答：blow-down 等式。论文要证的不只是相位收敛，而是极限能量测度整体等于 s₀ 乘某个极小化边界的周长测度；引言明言”仅相位收敛会留下多余能量的可能”。为摆脱对收敛速率的依赖，作者把恢复序列在薄环层中与原解拼接、再对层取平均。拼接处的能量估计若有漏洞，后续”极限密度恰为一”的整条几何推理都会坍塌。）
问 2：单调性假设为什么不能去掉？
（答：处处为正的方向导数求解线性化方程，直接给出稳定性，并使极限锥法向的第八分量非负。去掉单调只剩稳定类，而 Pacard–Wei 已在八维造出非平面稳定解，故七维是稳定刚性的终点；单调提供的”定向”正是八维里把 Simons 锥型极限逼成超平面的额外杠杆。）
问 3：与 Savin 的 n≤8 定理相比，真正的新意是什么？
（答：Savin 需要逐点方向极限为 ±1 的附加假设，本文在八维无条件解决；更实质的是定理二把稳定刚性推到七维，且同时去掉能量增长与能量密度有界假设，超过 Florit-Simon–Serra 的四维带密度结果和 LLWWW、CFFFS 的三四维结果——引言对这批同期工作逐项做了对比。）
问 4：这个结果最可能以什么方式出错？
（答：AI 生成证明的典型风险在这里是”数值容差与参数次序”。最终径向比较中相邻振幅的切换代价被显式数值预算封顶，系数逐项比较后只剩一个正的径向积分剩余；Simons 型四阶矩估计又依赖参数选取次序与逐次极限（论文在约定一节专门交代次序）。这些常数链条是人工逐行核验的重点，且本文尚无形式化证明。）
问 5：为什么说”排除无界密度”是全部难点？
（答：有限密度定理已把 4≤n≤7 的分类化归为能量密度 M∞ 有限；剩下只需证 M∞ 自动有界。论文为此引入罚化到达距离，同时度量单张薄层的弯曲与邻近薄层的逼近，经延迟能量单调性、奇偶投影与切相球接触得到微分不等式，再与同一径向振幅造出的环境稳定性测试联立推出矛盾——这是链条最长、估计最细的部分。）
问 6：谁会用这个结果？
（答：相变与自由边界社区由此拿到 De Giorgi 程序的收官；七维稳定解分类是即插即用的 Liouville 型刚性工具，可移植到其他 Allen–Cahn 刚性问题；它与极小曲面稳定 Bernstein 定理的平行关系也会反哺几何测度论。附录还核对与九维 del Pino–Kowalczyk–Wei 反例的相容性，为高维研究留了接口。）
总评
这是 De Giorgi 猜想最后缺口的封口之作，分量在于同时推进维数（七维稳定、八维单调）与假设去除（无极限、无密度界）；最大风险集中在最终矛盾所需的数值容差链条与未形式化状态，须经社区逐常数核验后方可定型。