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

Technisches Resümee: Statische Gleichgewichte perturbierter Sphären

Problemstellung
Die Arbeit befasst sich mit dem klassischen Problem der Bestimmung der Anzahl und der Stabilitätstypen ($S$ für stabil, $U$ für instabil und $H$ für Sattelpunkte) statischer Gleichgewichtslagen eines homogenen konvexen Körpers, der unter Schwerkraft auf einer horizontalen Ebene ruht. Während Várkonyi und Domokos [1, 2] die Existenz von Körpern für jede Klasse $(S, U)$ mit $S, U \ge 1$ (einschließlich des mono-monostatischen Gömböc mit $S=U=1$) bewiesen haben, liefert ihr Ergebnis keine elementare, geschlossene Beschreibung dafür, welche Form eine spezifische Klasse realisiert. Die vorliegende Arbeit konzentriert sich auf die einfachsten nichtdegenerierten Perturbationen einer Sphäre: homogene Körper, deren Oberflächen durch eine radiale Perturbation einer Einheitssphäre mittels einer einzelnen reellen Kugelfunktion $Y^m_\ell$ des Grades $\ell \ge 2$ und der Ordnung $1 \le m \le \ell$ definiert sind. Die zentrale Frage ist die Bestimmung der exakten Gleichgewichtsklasse $(S, U)$ für diese Single-Harmonic-Formen.

Methodik
Der Ansatz kombiniert analytische Geometrie, Theorie der Kugelfunktionen und zertifizierte numerische Berechnung:

1. Reduktion auf kritische Punkte: Der Autor nutzt die etablierte Reduktion, wonach statische Gleichgewichte den kritischen Punkten der quadrierten Abstandfunktion zwischen Schwerpunkt und Oberfläche, $\rho(u) = |x(u) - c|^2$, entsprechen.
2. Schwerpunktanalyse (Lemma 1): Ein entscheidender analytischer Schritt ist die Bestimmung des Schwerpunkts $c$. Die Arbeit beweist, dass für eine einzelne tessellare Kugelfunktion $Y^m_\ell$ mit $m \ge 2$ die Symmetrie der Perturbation erzwingt, dass der Schwerpunkt für alle Amplituden innerhalb des konvexen Bereichs exakt im Ursprung verbleibt ($c=0$). Für $m=1$ ist die Verschiebung des Schwerpunkts $O(\epsilon^3)$ und verschwindet nur unter spezifischen Paritätsbedingungen.
3. Exakte Reduktion (Lemma 2): Da $c=0$ für $m \ge 2$ gilt, wird die Distanzfunktion $\rho(u)$ exakt zu $(1 + \epsilon g(u))^2$. Da dies eine streng monoton steigende Funktion der Kugelfunktion $g$ ist, stehen die kritischen Punkte des physischen Körpers in exakter Bijektion mit den kritischen Punkten der Kugelfunktion $Y^m_\ell$ selbst, wobei die Stabilitätstypen und Indizes erhalten bleiben. Dies gilt für den gesamten konvexen Bereich, nicht nur asymptotisch.
4. Enumeration der kritischen Punkte (Proposition 1): Der Autor zählt die kritischen Punkte von $Y^m_\ell$, indem er dessen separierbaren Struktur ($P^m_\ell(\cos \theta) \cos(m\phi)$) ausnutzt. Er analysiert die Nullstellen der zugehörigen Legendre-Funktionen und deren Ableitungen, um lokale Maxima, Minima und Sattelpunkte zu klassifizieren, einschließlich des Verhaltens an den Polen (die für $m \ge 3$ als degenerate „Monkey Saddles“ fungieren).
5. Zertifizierter numerischer Zähler (Abschnitt 7): Für das Multi-Harmonic-Regime (in dem die Single-Harmonic-Reduktion versagt und sich der Schwerpunkt verschiebt) entwickelt der Autor einen zertifizierten Gleichgewichtszähler. Diese Methode nutzt Intervallarithmetik, um die Abstandfunktion zwischen Schwerpunkt und Oberfläche einzuschließen, wendet den Krawczyk-Operator zur Existenz- und Eindeutigkeitszertifizierung an und nutzt Intervall-Hessianen zur Klassifizierung der Stabilität. Stereografische Charts werden verwendet, um Polarsingularitäten zu handhaben.

Hauptergebnisse

• Das Gleichgewichtsklassen-Theorem (Theorem 1): Für einen Körper, der durch eine einzelne Kugelfunktion $Y^m_\ell$ ($\ell \ge 2, 1 \le m \le \ell$) perturbiert ist, sind die Anzahl der stabilen und instabilen Gleichgewichte exakt:
  $$S = U = m(\ell - m + 1)$$
  Die verbleibenden kritischen Punkte sind $2m(\ell-m)$ gewöhnliche Sattelpunkte und zwei Pole des Index $1-m$. Die Poincaré–Hopf-Bilanz $S - H + U = 2$ ist exakt erfüllt.
• Diagonale Erreichbarkeit (Corollary 1): Single-Harmonic-Perturbationen können nur Gleichgewichtsklassen auf der Diagonale $S=U$ realisieren. Die erreichbaren Werte sind $\{2, 3, 4, \dots\}$.
• Keine Single-Harmonic-Mono-Monostatizität (Corollary 2): Da $m(\ell - m + 1) = 1$ impliziert, dass $\ell=1$ (eine starre Translation, keine Formänderung), kann keine einzelne Kugelfunktion des Grades $\ell \ge 2$ einen mono-monostatischen Körper ($S=U=1$) erzeugen.
• Paritäts-Obstruktion (Corollary 3): Jede Perturbation, die ausschließlich aus Kugelfunktionen gerader Ordnung besteht, resultiert in einem zentral symmetrischen Körper. Solche Körper besitzen Gleichgewichte in antipodalen Paaren, was erzwingt, dass $S$ und $U$ gerade Zahlen sind. Folglich können zentral symmetrische Körper nicht mono-monostatisch sein.
• Zertifizierte Verifizierung: Der Autor validierte seine analytische Formel gegen numerische Simulationen für acht spezifische Single-Harmonic-Körper und erreichte exakte Übereinstimmung. Darüber hinaus wurde der zertifizierte Zähler auf eine bekannte analytische Parametrisierung eines nahezu sphärischen Körpers angewendet (die in der Literatur zuvor mehrdeutig war) und bestätigte rigoros, dass dieser mono-monostatisch mit $(S, U, H) = (1, 1, 0)$ ist.

Bedeutung und Ansprüche
Die Arbeit beansprucht, eine „vollständige konstruktive Antwort“ auf das Klassifizierungsproblem der Gleichgewichte für die einfachsten nichtdegenerierten Formen zu liefern, im Gegensatz zu den nicht-konstruktiven Existenzbeweisen von Várkonyi und Domokos.

1. Strukturelle Einsicht: Sie stellt fest, dass Mono-Monostatizität ein intrinsisch multi-harmonisches Phänomen ist, das ungerade Paritätsanteile erfordert; sie kann weder durch eine einzelne Mode noch durch zentral symmetrische Formen erreicht werden.
2. Exaktheit vs. Approximation: Die Arbeit hebt hervor, dass für $m \ge 2$ die Reduktion vom physischen Körper auf die Kugelfunktion eine exakte Identität ist, keine führende Näherung. Dies ermöglicht eine geschlossene Zählung ohne asymptotische Fehlerterme.
3. Auflösung von Mehrdeutigkeit: Die Arbeit adressiert die praktische Schwierigkeit beim Zählen von Gleichgewichten in nahezu sphärischen Körpern, bei denen Seed-basierte Methoden oft unterzählen und Grid-basierte Methoden überzählen. Der vorgeschlagene zertifizierte Zähler beseitigt diese Mehrdeutigkeit, indem er einen beweisbar korrekten Zähler liefert, der weder unter- noch überschätzt, und damit spezifische Fragen zu analytischen Parametrisierungen klärt, die durch frühere Methoden offen geblieben waren.

Die Arbeit präsentiert eine rigorose Kartierung der „Enden“ des Problems: eine exakte geschlossene Lösung, wenn eine einzelne Mode dominiert, und ein zertifiziertes Entscheidungsverfahren für das komplexe Multi-Harmonic-Regime, in dem die Gömböc-Klasse angesiedelt ist.