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)$（$S, U \ge 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$ の位置を決定することは、重要な解析的ステップである。論文では、単一のテセラ（tesseral）調和関数 $Y^m_\ell$（$m \ge 2$）に対して、摂動の対称性により、凸範囲内のすべての振幅において重心が正確に原点（$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）： 著者は、分離可能な構造（$P^m_\ell(\cos \theta) \cos(m\phi)$）を利用して $Y^m_\ell$ の臨界点を数えている。関連するルジャンドル関数とその導関数の零点を分析することで、極大値、極小値、および鞍点を分類している。これには、極（ポール）における挙動（$m \ge 3$ の場合は退化した「モンキー・サドル」として機能する）も含まれる。
5. 保証付き数値カウンタ（セクション7）： 多重調和関数領域（単一調和関数の還元が失敗し、重心が移動する領域）において、著者は保証付き平衡カウンタを開発した。この手法は、区間演算を用いて重心と表面の距離を包絡し、存在と一意性の認証にKrawくイェルキ・オペレータを適用し、安定性の分類に区間ヘッセ行列を利用する。極の特異点を扱うために、ステレオグラフ投影が用いられている。

主要な結果

• 平衡クラスの定理（定理1）： 単一の調和関数 $Y^m_\ell$ ($\ell \ge 2, 1 \le m \le \ell$) によって摂動された物体について、安定平衡および不安定平衡の数は正確に以下となる：
  $$S = U = m(\ell - m + 1)$$
  残りの臨界点は、$2m(\ell-m)$ 個の通常の鞍点と、指数 $1-m$ を持つ2つの極である。ポアンカレ・ホップのバランス $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$ は共に偶数になる。したがって、中心対称な物体はモノ・モノスタティックにはなり得ない。
• 保証付き検証： 著者は、8つの特定の単一調和関数による物体に対して、自身の解析的な公式を数値シミュレーションと比較検証し、正確な一致を得た。さらに、保証付きカウンタを、既知の近似的なパラメータ化を持つ球に近い物体（これまで文献中で曖昧であったもの）に適用し、それが $(S, U, H) = (1, 1, 0)$ であるモノ・モノスタティックな物体であることを厳密に確認した。

意義と主張

本論文は、最も単純な非退化形状に対する平衡分類問題に対し、「完全な構成的回答」を提供すると主張している。これは、VárkonyiとDomokosによる非構成的な存在証明とは対照的である。

1. 構造的洞察： モノ・モノスタティック性は、本質的に多重調和的な現象であり、奇パリティの成分を必要とすることを確立した。それは単一のモードや中心対称な形状では達成できず、単一のモードや中心対称な形状では達成できない。
2. 正確性と近似性： 本論文は、$m \ge 2$ の場合、物理的な物体から調和関数への還元が、漸近的な近似ではなく正確な恒等式であることを強調している。これにより、漸近的な誤差項なしに、閉形式のカウントが可能となる。
3. 曖昧さの解消： 本論文は、球に近い物体における平衡のカウントという実用的な困難に対処している。シードベースの手法は過少カウントしやすく、グリッドベースの手法は過剰カウントしやすい。提案された保証付きカウンタは、この曖昧さを排除し、以前の手法では曖昧なままであった解析的パラメータ化に関する具体的な問題を解決する、過不足のない、証明可能な正しいカウントを提供する。

本研究は、単一のモードが支配的な領域における正確な閉形式の解と、Gömböcのクラスが位置する複雑な多重調和関数領域における保証付き決定手順という、問題の両端を厳密にマッピングするものである。