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

Resumo Técnico: Equilíbrios Estáticos de Esferas Perturbadas

Enunciado do Problema
O artigo aborda o problema clássico de determinar o número e os tipos de estabilidade ($S$ estável, $U$ instável e $H$ sela) dos equilíbrios estáticos de um corpo convexo homogêneo repousando sobre um plano horizontal sob a ação da gravidade. Embora Várkonyi e Domokos [1, 2] tenham provado a existência de corpos para qualquer classe $(S, U)$ com $S, U \ge 1$ (incluindo o Gömböc mono-monostático onde $S=U=1$), seu resultado não fornece uma descrição elementar em forma fechada de qual classe uma forma específica realiza. O artigo foca nas perturbações não degeneradas mais simples de uma esfera: corpos homogêneos cujas fronteiras são definidas por uma esfera unitária radialmente perturbada por um único harmônico esférico real $Y^m_\ell$ de grau $\ell \ge 2$ e ordem $1 \le m \le \ell$. A questão central é determinar a classe exata de equilíbrio $(S, U)$ para essas formas de harmônico único.

Metodologia
A abordagem combina geometria analítica, teoria de harmônicos esféricos e computação numérica certificada:

1. Redução a Pontos Críticos: O autor utiliza a redução estabelecida de que os equilíbrios estáticos correspondem aos pontos críticos da função do quadrado da distância centroide-superfície, $\rho(u) = |x(u) - c|^2$.
2. Análise do Centroide (Lema 1): Um passo analítico fundamental envolve determinar a localização do centroide $c$. O artigo prova que, para um harmônico tesseral $Y^m_\ell$ com $m \ge 2$, a simetria da perturbação força o centroide a permanecer exatamente na origem ($c=0$) para todas as amplitudes dentro do intervalo convexo. Para $m=1$, o deslocamento do centroide é $O(\epsilon^3)$ e desaparece apenas sob condições de paridade específicas.
3. Redução Exata (Lema 2): Como $c=0$ para $m \ge 2$, a função de distância $\rho(u)$ torna-se exatamente $(1 + \epsilon g(u))^2$. Como esta é uma função estritamente crescente do harmônico $g$, os pontos críticos do corpo físico estão em bijeção exata com os pontos críticos do próprio harmônico $Y^m_\ell$, preservando os tipos de estabilidade e índices. Isso se mantém para todo o intervalo convexo, não apenas assintoticamente.
4. Enumeração de Pontos Críticos (Proposição 1): O autor conta os pontos críticos de $Y^m_\ell$ explorando sua estrutura separável ($P^m_\ell(\cos \theta) \cos(m\phi)$). Eles analisam os zeros das funções de Legendre associadas e suas derivadas para classificar máximos locais, mínimos e selas, incluindo o comportamento nos polos (que atuam como "selas de macaco" degeneradas para $m \ge 3$).
5. Contador Numérico Certificado (Seção 7): Para o regime multi-harmônico (onde a redução de harmônico único falha e o centroide se desloca), o autor desenvolve um contador de equilíbrio certificado. Este método utiliza aritmética de intervalos para envolver a distância centroide-superfície, aplica o operador de Krawczyk para certificação de existência e unicidade, e utiliza Hessian de intervalos para classificação de estabilidade. Mapas estereográficos são usados para lidar com singularidades polares.

Resultados Principais

• O Teorema da Classe de Equilíbrio (Teorema 1): Para um corpo perturbado por um harmônico único $Y^m_\ell$ ($\ell \ge 2, 1 \le m \le \ell$), o número de equilíbrios estáveis e instáveis é exatamente:
  $$S = U = m(\ell - m + 1)$$
  Os pontos críticos restantes são $2m(\ell-m)$ selas ordinárias e dois polos de índice $1-m$. O balanço de Poincaré–Hopf $S - H + U = 2$ é satisfeito exatamente.
• Alcançabilidade Diagonal (Corolário 1): Perturbações de harmônico único só podem realizar classes de equilíbrio na diagonal $S=U$. Os valores alcançáveis são $\{2, 3, 4, \dots\}$.
• Ausência de Mono-monostaticidade por Harmônico Único (Corolário 2): Como $m(\ell - m + 1) = 1$ implica $\ell=1$ (uma translação rígida, não uma mudança de forma), nenhum harmônico esférico único de grau $\ell \ge 2$ pode produzir um corpo mono-monostático ($S=U=1$).
• Obstrução de Paridade (Corolário 3): Qualquer perturbação composta exclusivamente por harmônicos de grau par resulta em um corpo centralmente simétrico. Tais corpos possuem equilíbrios em pares antipodais, forçando $S$ e $U$ a serem números pares. Consequentemente, corpos centralmente simétricos não podem ser mono-monostáticos.
• Verificação Certificada: O autor validou sua fórmula analítica contra simulações numéricas para oito corpos específicos de harmônico único, alcançando concordância exata. Além disso, o contador certificado foi aplicado a uma parametrização analítica conhecida de um corpo quase esférico (previamente ambíguo na literatura), confirmando rigorosamente como mono-monostático com $(S, U, H) = (1, 1, 0)$.

Significância e Alegações
O artigo afirma fornecer uma "resposta construtiva completa" ao problema de classificação de equilíbrio para as formas não degeneradas mais simples, contrastando com as provas de existência não construtivas de Várkonyi e Domokos.

1. Visão Estrutural: Estabelece que a mono-monostaticidade é um fenômeno intrinsecamente multi-harmônico que requer conteúdo de paridade ímpar; ela não pode ser alcançada por um único modo ou por formas centralmente simétricas.
2. Exatidão vs. Aproximação: O artigo destaca que, para $m \ge 2$, a redução do corpo físico para o harmônico é uma identidade exata, não uma aproximação de primeira ordem. Isso permite uma contagem em forma fechada sem termos de erro assintóticos.
3. Resolução de Ambiguidade: O artigo aborda a dificuldade prática de contar equilíbrios em corpos quase esféricos, onde métodos baseados em sementes tendem a subcontar e métodos baseados em grade tendem a sobrecontar. O contador certificado proposto remove essa ambiguidade, fornecendo uma contagem provadamente correta que nem subestima nem sobreestima, resolvendo assim questões específicas sobre parametrizações analíticas que métodos anteriores deixaram ambíguas.

O trabalho é apresentado como um mapeamento rigoroso das "extremidades" do problema: uma solução de forma fechada exata onde um único modo domina, e um procedimento de decisão certificado para o complexo regime multi-harmônico onde reside a classe do Gömböc.