Static Equilibria of Perturbed Spheres: A Single-Harmonic Class Map, a Parity Obstruction, and a Certified Counter for the Mono-Monostatic Regime

技术摘要：受扰动球体的静态平衡研究

问题陈述
本文探讨了一个经典问题，即确定在水平面上受重力作用的均匀凸体静态平衡点的数量及其稳定性类型（稳定 $S$、不稳定 $U$ 和鞍点 $H$）。虽然 Várkonyi 和 Domokos [1, 2] 证明了对于任何满足 $S, U \ge 1$ 的类别（包括 $S=U=1$ 的单稳态单稳态物体 Gömböc）都存在相应的几何体，但其结果并未为特定形状属于哪种类别提供初等的闭式描述。本文的研究重点是球体最简单的非退化扰动：其边界由单位球通过单个实球谐函数 $Y^m_\ell$（度数为 $\ell \ge 2$，阶数为 $1 \le m \le \ell$）进行径向扰动而定义的均匀几何体。核心问题是确定这些单谐波形状的精确平衡类别 $(S, U)$。

研究方法
该方法结合了解析几何、球谐函数理论和经过验证的数值计算：

1. 简化为临界点： 作者利用已建立的简化方法，即将静态平衡点对应于质心到表面距离平方函数 $\rho(u) = |x(u) - c|^2$ 的临界点。
2. 质心分析（引理 1）： 一个关键的解析步骤是确定质心 $c$ 的位置。论文证明，对于阶数 $m \ge 2$ 的单项正交谐波 $Y^m_\ell$，由于扰动的对称性，在所有凸性范围内的质心都保持在原点（$c=0$）。对于 $m=1$ 的情况，质心偏移量为 $O(\epsilon^3)$，且仅在特定的奇偶性条件下消失。
3. 精确简化（引理 2）： 由于当 $m \ge 2$ 时 $c=0$，距离函数 $\rho(u)$ 变为恰好为 $(1 + \epsilon g(u))^2$。由于这是一个关于谐波 $g$ 的严格递增函数，物理实体的临界点与谐波 $Y^m_\ell$ 本身的临界点存在精确的双射关系，从而保持了稳定性类型和指数。这在整个凸性范围内均成立，而非仅在渐近意义下成立。
4. 临界点计数（命题 1）： 作者通过利用 $Y^m_\ell$ 的可分离结构（$P^m_\ell(\cos \theta) \cos(m\phi)$）来统计其临界点。他们通过分析相关勒让德函数及其导数的零点，来分类局部极大值、极小值和鞍点，包括极点处的行为（对于 $m \ge 3$，极点表现为退化的“猴鞍”）。
5. 经过验证的数值计数器（第 7 节）： 对于多谐波机制（即单谐波简化失效且质心发生偏移的情况），作者开发了一个经过验证的平衡计数器。该方法使用区间算术来包络质心到表面的距离，应用 Krawczyk 算子进行存在性与唯一性验证，并利用区间海森矩阵（Interval Hessians）进行稳定性分类。同时使用立体投影图来处理极点奇异性。

主要结果

• 平衡类别定理（定理 1）： 对于由单个谐波 $Y^m_\ell$（$\ell \ge 2, 1 \le m \le \ell$）扰动的几何体，稳定和不稳定平衡点的数量精确为：
  $$S = U = m(\ell - m + 1)$$
  其余临界点为 $2m(\ell-m)$ 个普通鞍点以及两个指数为 $1-m$ 的极点。Poincaré–Hopf 平衡公式 $S - H + U = 2$ 被精确满足。
• 对角线可达性（推论 1）： 单谐波扰动只能实现位于对角线 $S=U$ 上的平衡类别。其可达值为 $\{2, 3, 4, \dots\}$。
• 无单谐波单稳态性（推论 2）： 由于 $m(\ell - m + 1) = 1$ 意味着 $\ell=1$（这是一种刚性平移而非形状改变），因此没有任何阶数为 $\ell \ge 2$ 的单个球谐函数能产生单稳态单稳态物体（$S=U=1$）。
• 奇偶性阻碍（推论 3）： 仅由偶数阶谐波组成的扰动会导致一个中心对称的几何体。此类几何体的平衡点成对出现在对跖点，强制要求 $S$ 和 $U$ 为偶数。因此，中心对称几何体不可能是单稳态单稳态的。
• 验证： 作者将他们的解析公式与八个特定单谐波几何体的数值模拟进行了对比，实现了完全一致。此外，该认证计数器被应用于一个已知的近球体解析参数化模型（此前在文献中存在歧义），严谨地证实其为单稳态单稳态物体，且 $(S, U, H) = (1, 1, 0)$。

意义与主张
本文声称为最简单的非退型形状的平衡分类问题提供了一个“完整的构造性答案”，这与 Várkonyi 和 Domokos 的非构造性存在性证明形成了对比。

1. 结构洞察： 它确立了单稳态单稳态特性是一种本质上的多谐波现象，需要奇数阶项的存在；它不能通过单个模式或中心对称形状来实现。
2. 精确性 vs. 近似性： 论文强调，对于 $m \ge 2$，从物理实体到谐波的简化是一个精确的恒等关系，而非领先阶近似。这使得可以在没有渐近误差项的情况下进行闭式计数。
3. 解决歧义： 论文解决了在近球体中计数平衡点的实际困难（在这种情况下，基于种子的方法往往会漏计，而基于网格的方法则会多计）。所提出的认证计数器消除了这种歧义，提供了一个经过证明正确的计数，既不会少计也不会多计，从而解决了之前令解析参数化方法产生歧义的具体问题。

这项工作被呈现为对问题“两端”的严谨映射：一端是单模态占主导时的精确闭式解，另一端是多谐波机制（即 Gömböc 类所属领域）中经过验证的决策程序。