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

Sintesi Tecnica: Equilibri Statici di Sfere Perturbate

Enunciato del Problema
Il documento affronta il classico problema di determinare il numero e i tipi di stabilità (stabile $S$, instabile $U$ e sella $H$) degli equilibri statici di un corpo convesso omogeneo appoggiato su un piano orizzontale sotto l'effetto della gravità. Sebbene Várkonyi e Domokos [1, 2] abbiano dimostrato l'esistenza di corpi per ogni classe $(S, U)$ con $S, U \ge 1$ (incluso il Gömböc mono-monostatico dove $S=U=1$), il loro risultato non fornisce una descrizione elementare in forma chiusa di quale classe realizzi uno specifico oggetto. Il presente articolo si concentra sulle perturbazioni non degenerate più semplici di una sfera: corpi omogenei i cui confini sono definiti da una sfera unitaria perturbata radialmente da un singolo armonic di Laplace reale $Y^m_\ell$ di grado $\ell \ge 2$ e ordine $1 \le m \le \ell$. La questione centrale è determinare l'esatta classe di equilibrio $(S, U)$ per queste forme a singolo armonic.

Metodologia
L'approccio combina geometria analitica, teoria degli armonici sferici e computazione numerica certificata:

1. Riduzione ai Punti Critici: L'autore utilizza la riduzione stabilita secondo cui gli equilibri statici corrispondono ai punti critici della funzione al quadrato della distanza tra baricentro e superficie, $\rho(u) = |x(u) - c|^2$.
2. Analisi del Baricentro (Lemma 1): Un passaggio analitico chiave consiste nel determinare la posizione del baricentro $c$. Il documento dimostra che per un singolo armonic tesserale $Y^m_\ell$ con $m \ge 2$, la simmetria della perturbazione impone che il baricentro rimanga esattamente nell'origine ($c=0$) per tutte le ampiezze entro l'intervallo di convessità. Per $m=1$, lo spostamento del baricentro è $O(\epsilon^3)$ e svanisce solo sotto specifiche condizioni di parità.
3. Riduzione Esatta (Lemma 2): Poiché $c=0$ per $m \ge 2$, la funzione distanza $\rho(u)$ diventa esattamente $(1 + \epsilon g(u))^2$. Essendo questa una funzione strettamente crescente dell'armonico $g$, i punti critici del corpo fisico sono in esatta bijezione con i punti critici dell'armonico $Y^m_\ell$ stesso, preservando i tipi di stabilità e gli indici. Ciò è valido per l'intero intervallo di convessità, non solo asintoticamente.
4. Enumerazione dei Punti Critici (Proposizione 1): L'autore conta i punti critici di $Y^m_\ell$ sfruttando la sua struttura separabile ($P^m_\ell(\cos \theta) \cos(m\phi)$). Analizza gli zeri delle funzioni legendre associate e delle loro derivate per classificare massimi locali, minimi e selle, includendo il comportamento ai poli (che agiscono come "selle di scimmia" degenerate per $m \ge 3$).
5. Contatore Numerico Certificato (Sezione 7): Per il regime multi-armonico (dove la riduzione a singolo armonic fallisce e il baricentro si sposta), l'autore sviluppa un contatore di equilibri certificato. Questo metodo utilizza l'aritmetica degli intervalli per racchiudere la distanza baricentro-superficie, applica l'operatore di Krawczyk per la certificazione di esistenza e unicità, e utilizza gli Hessiani intervallari per la classificazione della stabilità. Sono utilizzate mappe stereografiche per gestire le singolarità polari.

Risultati Chiave

• Il Teorema della Classe di Equilibrio (Teorema 1): Per un corpo perturbato da un singolo armonic $Y^m_\ell$ ($\ell \ge 2, 1 \le m \le \ell$), il numero di equilibri stabili e instabili è esattamente:
  $$S = U = m(\ell - m + 1)$$
  Gli altri punti critici sono $2m(\ell-m)$ selle ordinarie e due poli di indice $1-m$. Il bilancio di Poincaré–Hopf $S - H + U = 2$ è soddisfatto esattamente.
• Raggiungibilità Diagonale (Corollario 1): Le perturbazioni a singolo armonic possono realizzare solo classi di equilibrio sulla diagonale $S=U$. I valori raggiungibili sono $\{2, 3, 4, \dots\}$.
• Assenza di Mono-monostaticità a Singolo Armonic (Corollario 2): Poiché $m(\ell - m + 1) = 1$ implica $\ell=1$ (una traslazione rigida, non un cambiamento di forma), nessun singolo armonico sferico di grado $\ell \ge 2$ può produrre un corpo mono-monostatico ($S=U=1$).
• Ostruzione di Parità (Corollario 3): Qualsiasi perturbazione composta esclusivamente da armonici di grado pari risulta in un corpo centralmente simmetrico. Tali corpi hanno equilibri in coppie antipodali, forzando $S$ e $U$ ad essere numeri pari. Di conseguenza, i corpi centralmente simmetrici non possono essere mono-monostatici.
• Verifica Certificata: L'autore ha validato la propria formula analitica rispetto a simulazioni numeriche per otto specifici corpi a singolo armonic, ottenendo un accordo esatto. Inoltre, il contatore certificato è stato applicato a una nota parametrizzazione analitica di un corpo quasi sferico (precedentemente ambigua in letteratura), confermando rigorosamente che sia mono-monostatico con $(S, U, H) = (1, 1, 0)$.

Significato e Rivendicazioni
Il documento sostiene di fornire una "risposta costruttiva completa" al problema della classificazione degli equilibri per le forme più semplici non degenerate, ponendosi in contrasto con le prove di esistenza non costruttive di Várkonyi e Domokos.

1. Intuizione Strutturale: Stabilisce che la mono-monostaticità è un fenomeno intrinsecamente multi-armonico che richiede un contenuto di parità dispari; non può essere ottenuta da un singolo modo o da forme centralmente simmetriche.
2. Esattezza vs Approssimazione: Il documento evidenzia che per $m \ge 2$, la riduzione dal corpo fisico all'armonico è un'identità esatta, non un'approssimazione del primo ordine. Ciò consente un conteggio in forma chiusa senza termini di errore asintotici.
3. Risoluzione dell'Ambiguità: Il documento affronta la difficoltà pratica di contare gli equilibri nei corpi quasi sferici, dove i metodi basati su "seed" tendono a sottostimare e i metodi basati su griglia tendono a sovrastimare. Il contatore certificato proposto elimina tale ambiguità, fornendo un conteggio provabilmente corretto che non sottostima né sovrastima, risolvendo così questioni specifiche riguardanti parametrizzazioni analitiche che i metodi precedenti avevano lasciato ambigue.

Il lavoro è presentato come una mappatura rigorosa delle "estremità" del problema: una soluzione in forma chiusa esatta dove un singolo modo domina, e una procedura decisionale certificata per il complesso regime multi-armonico in cui risiede la classe del Gömböc.