结果族 369：The hot spots conjecture for simply connected planar domains · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
一块四周裹严棉被的金属板（边界完全绝热），被随手加热后让它自己均温。等足够久，温度只剩”衰减最慢的模式”。这个模式的最热点与最冷点，一定贴在板的边缘吗？论文证明：只要板是没有洞的光滑平面区域，答案是完全肯定的——而且内部连一个”山口”式的鞍点都不许有。
关键词卡片
看个具体例子
先在长方形 @@M@@[0,L]\times[0,H]@@ 上手算：最慢模式 @@M@@u=\cos(\pi x/L)@@，最热在左边界、最冷在右边界；而 @@M@@\nabla u=0@@ 仅当 @@M@@\sin(\pi x/L)=0@@，即 @@M@@x=0@@ 或 @@M@@L@@——都落在边界上。主定理说明这种”极值贴边、内部梯度处处非零”对任何光滑无洞区域都成立，特征值有多重时对特征空间里每个成员都成立。
为什么值得关心
1975 年提出的 hot spots 猜想在一般光滑单连通区域上被证明，且”梯度非零”比原猜想更强。此前所有正面结果都要求凸性、对称性等附加几何条件；而区域一旦带洞，反例就会出现，”没有洞”这假设恰好不可去掉。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”裹棉被金属板”可翻译成：研究对象是一块没有洞的平面区域上衰减最慢的余温模式——边界完全绝热、热流不得进出，长时间后只剩这个模式自行分布。要问的是：这个模式的温度分布在板的内部有没有梯度为零的”平坦点”？最热与最冷是否只能出现在边缘？
第二级台阶
精确化三个概念。第一正 Neumann 特征值由变分商定义：@@M@@\mu_1@@ 是零平均函数中梯度平方与函数平方之比的 infimum，其特征函数即”最慢模式”的空间形状；单连通指区域没有洞；临界点指梯度为零的点，既包括山顶、谷底，也包括”山口”式鞍点。
第三级台阶
定理设 @@M@@\Omega@@ 为有界单连通、边界 @@M@@C^\infty@@ 的平面区域，@@M@@\mu=\mu_1(\Omega)@@ 为第一正 Neumann 特征值（只计正特征值），@@M@@\mathcal V@@ 为其特征空间；结论是对每个非零 @@M@@u\in\mathcal V@@，内部处处 @@M@@\nabla u\ne0@@，从而内点的值严格介于边界最小值与最大值之间。单连通假设挡住带洞区域的已知反例——Burdzy 证明一个洞即可让两个极值同时落入内部；”每个成员”意味着特征值多重时同样成立（文中并证 @@M@@\dim\mathcal V\le2@@）；”梯度非零”强于”极值贴边”，连内部鞍点也一并排除。
证明了 Burdzy 单连通平面 hot spots 猜想的强形式：光滑有界单连通平面区域上，第一正 Neumann 特征值的任一非零特征函数在区域内部梯度处处非零，全部全局最大、最小值都落在边界上，特征值多重时同样成立。
hot spots 猜想源自 Rauch（1975）对绝热边界热流的讨论：边界绝热的平板长时间导热后，最热点与最冷点是否都贴到边界上？其谱表述是：第一正 Neumann 特征值（first positive Neumann eigenvalue）的特征函数（eigenfunction）的极值是否只能在边界取得。Bañuelos 与 Burdzy（1999）区分了严格与非严格、”每个特征函数”与”存在一个特征函数”等版本——特征值有多重性（multiplicity）时它们并不等价。拓扑在此举足轻重：Burdzy–Werner（1999）造出带两个洞的反例，Burdzy（2005）进一步表明一个洞即可让两个极值同时落入内部，故单连通（simply connected）假设不可去，他也在同文 Conjecture 1.2(ii) 明确表述了单连通平面猜想。此前的正面结果均需附加几何条件：正交对称凸域（Jerison–Nadirashvili）、lip 域（Atar–Burdzy）、谱–直径条件（Miyamoto）、各类三角形（Siudeja、Judge–Mondal、Chen–Gui–Yao）。一般光滑单连通区域上的猜想长期悬置。
设 @@M@@\Omega\subset\mathbb{R}^2@@ 为有界单连通开集、边界 @@M@@C^\infty@@，@@M@@\mu=\mu_1(\Omega)@@ 为第一正 Neumann 特征值（只计正特征值），@@M@@\V@@ 为对应特征空间（eigenspace）。主定理（Theorem 1.1）：每个 @@M@@0\ne u\in\V@@ 在内部处处 @@M@@\nabla u\ne0@@；特别地，对一切内点 @@M@@x@@，
@@M@@D\min_{y\in\partial\Omega}u(y)<u(x)<\max_{y\in\partial\Omega}u(y).@@
三点值得强调：其一，不假设任何凸性或对称性；其二，结论对特征空间的每个成员成立，特征值可以多重（文中并完整复证 Nadirashvili 多重性上界 @@M@@\dim\V\le2@@，Proposition 2.5）；其三，”梯度非零”强于”极值在边界”——它同时排除了内部的鞍点（saddle point）型临界点（critical point），这正是标题中”严格”之意。
证明把”极值在哪”改写为”梯度何时为零”，骨架四步。
先立向量变分原理（variational principle）。Neumann 条件使特征函数的梯度在边界上切向，于是考察切向量场 @@M@@X@@ 的散度–旋度（divergence–curl）能量：Rohleder 原理（Proposition 3.1，文中含等号情形的推导）给出 @@M@@\mathbb{Q}(X)\ge\mu\int|X|^2@@，等号恰当 @@M@@X=\nabla v@@、@@M@@v\in\V@@——第一特征函数的梯度恰是某个非负二次型的零空间。难点在于：@@M@@u@@ 的两个笛卡尔导数各自满足同一 Helmholtz 方程，但边界值符号失控，单独哪个分量都无从下手，只能把两者捆绑、用切向边界条件。这一步的地基是谱隙 @@M@@\mu<\lambda_D@@（Friedlander–Filonov 平面波比较的严格形式，文中自足证明）。
再经共形映射（conformal map）@@M@@\Phi:\D\to\Omega@@ 拉回单位圆盘，特征方程化为带位势 @@M@@q=\mu|\Phi'|^2@@ 的方程，而谱隙恰转为次临界不等式 @@M@@\|\psi\|_{L^2(q)}^2\le d\int_\D|\nabla\psi|^2@@（@@M@@d=\mu/\lambda_D<1@@）。在圆盘上构造边界核 @@M@@N@@ 与内部赋值核 @@M@@K@@，把能量写成圆周上的双积分，得乘子恒等式（multiplier identity，Proposition 4.4）：对特征函数的边界梯度 @@M@@g@@ 与圆周上实值 Lipschitz 函数 @@M@@b@@，
@@M@@DE(bg)=\tfrac12\iint N(s,t)(b(s)-b(t))^2g(s)\cdot g(t)\,\dd s\,\dd t.@@
但 @@M@@g(s)\cdot g(t)@@ 的符号无法控制，此式不能直接给出正性——这是必须绕过的坎。
绕行核心是倒数核定理（Theorem 5.1）：@@M@@D_p(s,t)=K(p,s)K(p,t)/N(s,t)@@（对角置零）是条件半负定（conditionally negative semidefinite）核。证明先正则化圆盘格林函数（Green function），使逐项取倒数后的有限矩阵至多含一个正特征值（性质 (P)，思想源于 McCullough–Quiggin 对完全 Nevanlinna–Pick 核的刻画）；继而证明沿核矩阵某列的秩一更新保持 (P)，恰好对应格林预解式（resolvent）在求积（quadrature）节点上的链求和；最后经四重单调极限（求积加细、@@M@@\epsilon\downarrow0@@、径向逼边、放开紧支撑截断）传到奇异核，”先取边界极限、后撤截断”的次序避免了把 Poisson 核误当作 @@M@@L^2@@ 函数。当 @@M@@q=0@@ 时 @@M@@D_p@@ 退化为圆盘自同构下的弦距离平方，可见定理是经典事实的深层推广。
最后收口：Schoenberg 的平方距离对应给出单射 Lipschitz 映射 @@M@@b:\Sone\to\HH@@，使 @@M@@\|b(s)-b(t)\|^2=D_p(s,t)@@。对每个坐标 @@M@@b_j@@ 用乘子恒等式再求和，因子 @@M@@N@@ 被精确消去，得 @@M@@\sum_jE(b_jg)=\tfrac12|\nabla u(\Phi(p))|^2@@。若 @@M@@\Phi(p)@@ 是临界点，右端为零，而每项非负，故每个 @@M@@b_jg@@ 都是某个第一特征函数的边界梯度。由于圆周的连续单射像不共线，可取两坐标使 @@M@@1,b_j,b_k@@ 线性无关，从而凑出三个线性无关的特征函数梯度，与 @@M@@\dim\V\le2@@ 矛盾；若 @@M@@g@@ 在某段弧上恒为零，则改用边界唯一性：取线性组合使其在该弧上 Dirichlet 与 Neumann 迹同时为零，作 Filonov 式零延拓，再由解析延拓（analytic continuation）逼出其恒为零，亦矛盾。两种情形皆不可能，故梯度在内部处处非零，全局极值只能落在边界。
本篇手稿的任务字段标注为未形式化，宜按”暂无形式化证明，请以社区核验为准”对待；族 369 的元信息虽附有 Lean 文档链接（lean/docs/369.md），其覆盖范围请读者自行核对。论文自足程度较高：谱隙、共形映射、多重性上界、向量变分原理、核定理等专门环节均在文中给出完整证明，外部输入限于 Filonov、Rohleder、Nadirashvili、McCullough–Quiggin、Schoenberg 等已发表结果。本批仅此一篇，即族 369 的主文；按 OpenAI 官方声明，未经形式化的结果可能存在问题，引用前请以社区核验为准。
问 1：证明里最关键、也最脆弱的一步在哪里？
（答：倒数核定理（Theorem 5.1）——@@M@@D_p(s,t)=K(p,s)K(p,t)/N(s,t)@@（对角置零）的条件半负定性。它要先正则化圆盘格林函数使逐项取倒数的有限矩阵至多含一个正特征值，经秩一更新沿求积节点链传递，再作四重单调极限传到奇异核；”先取边界极限、后撤紧支撑截断”的次序是显式设计，以免把 Poisson 核误当作 @@M@@L^2@@ 函数。极限交换次序若有误，整个乘子族不成立，后续论证全部落空。）
问 2：哪个假设为什么不能去掉？
（答：单连通。Burdzy–Werner 造出两洞反例，Burdzy 2005 进一步证明一个洞即可让两个极值同时落入内部，故去掉单连通结论必假。光滑边界也是实质输入：核构造与 @@M@@H^2@@ 边界正则性都依赖它；带角的三角形另有 Judge–Mondal、Chen–Gui–Yao 的独立工作，方法路线不同。）
问 3：与已有正面结果相比，真正的新意是什么？
（答：此前结果全部要求附加几何条件——正交对称凸域、lip 域、谱–直径条件、三角形；本文首次覆盖一般光滑单连通平面区域，且证的是更强的”无内部临界点”版本。方法上的新意是把问题改写为”第一特征函数的梯度恰是某非负二次型（散度–旋度能量）的零空间”，再用倒数格林核构造标量边界乘子，与 McCullough–Quiggin 的 Nevanlinna–Pick 刻画、Schoenberg 平方距离对应接轨。）
问 4：这类 AI 生成证明最可能以什么方式出错？
（答：最可能在核定理的传递链上：性质”逐项取倒数的矩阵至多一个正特征值”要在秩一更新与单调极限下保持，这种计数式论证在奇异极限处最易藏漏洞；其次是乘子恒等式中 @@M@@g(s)\cdot g(t)@@ 符号失控的绕行——靠 Schoenberg 实现精确消去因子 @@M@@N@@，若恒等式差一个常数因子，”临界点给出过多特征函数梯度”的矛盾就凑不出来。本文未形式化，这两处需要独立复核。）
问 5：特征值多重时论证如何不塌？
（答：结论对特征空间每个成员成立，关键调用 Nadirashvili 多重性上界 @@M@@\dim\mathcal V\le2@@（文中 Proposition 2.5 完整复证）：若存在内部临界点，Schoenberg 映射的坐标会凑出三个线性无关的特征函数梯度，矛盾。退化情形——边界梯度 @@M@@g@@ 在某段弧上恒为零——则改用 Dirichlet 与 Neumann 迹同时为零的 Filonov 式零延拓加解析延拓逼出恒为零。）
问 6：这个结果谁会用、用在哪？
（答：谱几何社区关心 Neumann 谱与区域形状的关系，概率方向关联反射 Brown 运动的长期行为，数值传热/扩散模拟可用它先验判断极值位置。此外核定理独立于特征函数论证成立，可望被位势论与函数空间（Nevanlinna–Pick 理论）方向单独引用。）
总评
这是 1975 年 Rauch 提出的 hot spots 猜想在单连通平面情形的完整强形式解决，无附加几何条件，分量很重；最大风险集中在倒数核定理的奇异极限传递，宜作为复核的第一站。