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

Technische Samenvatting: Statische Evenwichten van Geperturbeerde Sferen

Probleemstelling
Het artikel behandelt het klassieke probleem van het bepalen van het aantal en de stabiliteitstypen (stabiel $S$, onstabiel $U$ en zadelpunt $H$) van statische evenwichten voor een homogeen convex lichaam dat op een horizontaal vlak rust onder invloed van zwaartekracht. Hoewel Várkonyi en Domokos [1, 2] bewezen dat er lichamen bestaan voor elke klasse $(S, U)$ met $S, U \ge 1$ (inclusief de mono-monostatische Gömböc met $S=U=1$), biedt hun resultaat geen elementaire gesloten beschrijving van welke vorm een specifieke klasse realiseert. Het artikel richt zich op de eenvoudigste niet-degeneratieve perturbaties van een sfeer: homogene lichamen waarvan de grenzen worden gedefinieerd door een eenheidsfeer die radiaal is geperturbeerd door een enkele reële sferische harmonische $Y^m_\ell$ van graad $\ell \ge 2$ en orde $1 \le m \le \ell$. De centrale vraag is het bepalen van de exacte evenwichtsklasse $(S, U)$ voor deze enkelvoudige-harmonische vormen.

Methodologie
De aanpak combineert analytische geometrie, sferische harmonische theorie en gecertificeerde numerieke berekening:

1. Reductie naar Kritieke Punten: De auteur maakt gebruik van de gevestigde reductie dat statische evenwichten overeenkomen met de kritieke punten van de gekwadrateerde afstand tussen het zwaartepunt en het oppervlak, $\rho(u) = |x(u) - c|^2$.
2. Zwaartepuntanalyse (Lemma 1): Een cruciale analytische stap is het bepalen van de locatie van het zwaartepunt $c$. Het artikel bewijst dat voor een enkele tesseraal harmonische $Y^m_\ell$ met $m \ge 2$, de symmetrie van de perturbatie de zwaartepuntverschuiving dwingt om exact in de oorsprong te blijven ($c=0$) voor alle amplitudes binnen het convexe bereik. Voor $m=1$ is de zwaartepuntverschuiving $O(\epsilon^3)$ en verdwijnt deze alleen onder specifieke pariteitvoorwaarden.
3. Exacte Reductie (Lemma 2): Omdat $c=0$ voor $m \ge 2$, wordt de afstandfunctie $\rho(u)$ exact $(1 + \epsilon g(u))^2$. Omdat dit een strikt toenemende functie is van de harmonische $g$, staan de kritieke punten van het fysieke lichaam in exacte bijstelling met de kritieke punten van de harmonische $Y^m_\ell$ zelf, waarbij de stabiliteitstypen en indices behouden blijven. Dit geldt voor het gehele convexe bereik, niet alleen asymptotisch.
4. Enumeratie van Kritieke Punten (Propositie 1): De auteur telt de kritieke punten van $Y^m_\ell$ door gebruik te maken van de scheidbare structuur ($P^m_\ell(\cos \theta) \cos(m\phi)$). Zij analyseren de nulpunten van de geassocieerde Legendre-functies en hun afgeleiden om lokale maxima, minima en zadelpunten te classificeren, inclusief het gedrag bij de polen (die fungeren als degeneratieve "apen-zadelpunten" voor $m \ge 3$).
5. Gecertificeerde Numerieke Teller (Sectie 7): Voor het multi-harmonische regime (waar de enkelvoudige-harmonische reductie faalt en het zwaartepunt verschuift) ontwikkelt de auteur een gecertificeerde evenwichtsteller. Deze methode gebruikt intervalrekening om de afstand tussen het zwaartepunt en het oppervlak in te sluiten, past de Krawczyk-operator toe voor existentie- en uniciteitscertificering, en gebruikt interval-Hessianen voor stabiliteitsclassificatie. Stereografische kaarten worden gebruikt om de polaire singulariteiten te behandelen.

Belangrijkste Resultaten

• De Evenwichtsklasse-stelling (Theorema 1): Voor een lichaam geperturbeerd door een enkele harmonische $Y^m_\ell$ ($\ell \ge 2, 1 \le m \le \ell$) is het aantal stabiele en onstabiele evenwichten exact:
  $$S = U = m(\ell - m + 1)$$
  De resterende kritieke punten zijn $2m(\ell-m)$ gewone zadelpunten en twee polen van index $1-m$. De Poincaré–Hopf balans $S - H + U = 2$ wordt exact voldaan.
• Diagonale Bereikbaarheid (Corollary 1): Enkelvoudige-harmonische perturbaties kunnen alleen evenwichtsklassen realiseren op de diagonaal $S=U$. De bereikbare waarden zijn $\{2, 3, 4, \dots\}$.
• Geen Enkelvoudige-Harmonische Mono-monostatischeit (Corollary 2): Aangezien $m(\ell - m + 1) = 1$ impliceert dat $\ell=1$ (een rigide translatie, geen vormverandering), kan geen enkele enkelvoudige sferische harmonische van graad $\ell \ge 2$ een mono-monostatisch lichaam produceren ($S=U=1$).
• Pariteitsobstructie (Corollary 3): Elke perturbatie die uitsluitend bestaat uit even-graads harmonischen resulteert in een centraal symmetrisch lichaam. Dergelijke lichamen hebben evenwichten in antipodale paren, wat $S$ en $U$ dwingt even getallen te zijn. Bij consequent gevolg kunnen centraal symmetrische lichamen niet mono-monostatisch zijn.
• Gecertificeerde Verificatie: De auteur heeft de analytische formule gevalideerd tegen numerieke simulaties voor acht specifieke enkelvoudige-harmonische lichamen, waarbij exact overeenstemming werd bereikt. Bovendien werd de gecertificeerde teller toegepast op een bekende analytische parametrisatie van een bijna-sferisch lichaam (die voorheen ambigu was in de literatuur), waarmee rigoureus werd bevestigd dat het mono-monostatisch is met $(S, U, H) = (1, 1, 0)$.

Betekenis en Claims

Het artikel claimt een "volledig constructief antwoord" te bieden op het classificatieprobleem van evenwichten voor de eenvoudigste niet-degeneratieve vormen, in contrast met de niet-constructieve existentiebewijzen van Várkonyi en Domokos.

1. Structureel Inzicht: Het stelt vast dat mono-monostatischeit een intrinsiek multi-harmonisch fenomeen is dat een oneven-pariteit vereist; het kan niet worden bereikt door een enkele modus of door centraal symmetrische vormen.
2. Exactheid versus Approximatie: Het artikel benadrukt dat voor $m \ge 2$ de reductie van het fysieke lichaam naar de harmonische een exacte identiteit is, en geen eerstvolgende-orde benadering. Dit maakt een exacte telling mogelijk zonder asymptotische fouttermen.
3. Resolutie van Ambiguïteit: Het artikel adresseert de praktische moeilijkheid van het tellen van evenwichten in bijna-sferische lichamen, waarbij seed-gebaseerde methoden vaak onderschatten en grid-gebaseerde methoden overschatten. De voorgestelde gecertificeerde teller verwijdert deze ambiguïteit en biedt een bewezen correcte telling die noch onder-, noch overschat, waardoor specifieke vragen over analytische parametrisaties die eerdere methoden ambigu lieten, worden opgelost.

Het werk wordt gepresenteerd als een rigoureuze mapping van de "uiteinden" van het probleem: een exacte gesloten vorm oplossing waar een enkele modus domineert, en een gecertificeerde beslissingsprocedure voor het complexe multi-harmonische regime waarin de Gömböc-klasse zich bevindt.