Shadowing and Stability of Non-Invertible $p$-adic Dynamics

1. Formulação do Problema e Contexto

O artigo aborda uma lacuna na teoria da estabilidade de sistemas dinâmicos, focando especificamente em espaços de dimensão zero (como os inteiros $p$-ádicos $\mathbb{Z}_p$ e os números $p$-ádicos $\mathbb{Q}_p$) e em aplicações não invertíveis (não homeomórficas).

• Contexto: Em espaços métricos compactos de dimensão positiva, a relação entre estabilidade topológica e a propriedade de shadowing (sombreamento) é bem estabelecida (Teorema de Walters). Para espaços de Cantor (dimensão zero), essa relação foi provada recentemente apenas para homeomorfismos por Kawaguchi (2019).
• A Lacuna: Resultados clássicos frequentemente assumem invertibilidade (homeomorfismos). No entanto, muitos sistemas dinâmicos $p$-ádicos naturais são não invertíveis (por exemplo, mapas de deslocamento, mapas de escala local). O artigo investiga sob quais condições esses mapas $p$-ádicos não invertíveis exibem a propriedade de shadowing (rastreamento de pseudo-órbitas) e várias formas de estabilidade estrutural (Lipschitz e topológica).

2. Metodologia

Os autores empregam uma combinação de análise funcional, geometria ultramétrica e teoria do ponto fixo adaptadas às propriedades específicas dos corpos $p$-ádicos.

• Definições de Espaço: O estudo foca em $X_p \in \{\mathbb{Z}_p, \mathbb{Q}_p\}$ equipado com a norma $p$-ádica $\|\cdot\|_p$.
• Conceitos Chave:
  • Shadowing: Um mapa $f$ possui a propriedade de shadowing se toda $\delta$-pseudo-órbita (uma sequência onde $f(x_n) \approx x_{n+1}$) estiver $\epsilon$-próxima de uma órbita verdadeira.
  • Estabilidade: A estabilidade estrutural envolve conjugação topológica sob pequenas perturbações. O artigo distingue entre estabilidade topológica e estabilidade estrutural Lipschitz (perturbações são restritas a mapas Lipschitz).
• Ferramentas Analíticas:
  • Teorema do Ponto Fixo de Banach: Usado extensivamente para construir conjugações e órbitas de shadowing definindo contrações em espaços de sequência ($\ell^\infty$).
  • Inversos Esquerdo/Direito: A metodologia central baseia-se na análise de mapas que admitem famílias de contrações como inversos à direita ou à esquerda.
  • Condições Bi-Lipschitz: Os autores investigam a necessidade de propriedades bi-Lipschitz para a estabilidade em contrações.
  • Construção de Contraexemplos: Para provar otimalidade, os autores constroem mapas específicos sem shadowing usando subdeslocamentos de tipo finito e mapas que não são localmente constantes em lugar algum.

3. Principais Contribuições e Resultados

O artigo apresenta quatro teoremas principais que caracterizam a estabilidade e as propriedades de shadowing de dinâmicas $p$-ádicas não invertíveis.

A. Mapas Invertíveis à Direita (Teorema 3.1)

Os autores estabelecem condições suficientes para que um mapa contínuo $f: X_p \to X_p$ seja de shadowing e estável.

• Condição: $f$ admite uma família de inversos à direita $\{R_i\}_{i \in I}$ que são contrações ($\text{Lip}(R_i) < 1$).
• Condição de Cobertura: As imagens $R_i(X_p)$ devem particionar o espaço $X_p$ (isto é, são abertas e disjuntas dois a dois, e sua união é $X_p$).
• Resultado: Sob essas condições, $f$ possui a propriedade de shadowing, é estruturalmente estável Lipschitz forte e é topologicamente estável.
• Aplicações: Isso generaliza resultados conhecidos para o mapa de deslocamento $\sigma$ em $\mathbb{Z}_p$ e mapas de escala local $(p^{-k}, p^k)$. Também se aplica a dilatações homeomórficas em $\mathbb{Q}_p$.

B. Otimalidade e Contraexemplos (Teorema 3.3)

Os autores demonstram que as condições no Teorema 3.1 são precisas.

• Resultado: Existe um mapa contínuo $f$ que admite uma contração como inverso à direita, mas falha em ser de shadowing, estruturalmente estável Lipschitz ou topologicamente estável.
• Mecanismo: A falha ocorre quando a condição de "cobertura" (particionar o espaço) não é satisfeita ou quando o mapa não é "não localmente constante em lugar algum".
• Extensão de Kawaguchi: O artigo estende o resultado de Kawaguchi para mostrar que qualquer mapa topologicamente estável que seja não localmente constante em lugar algum (sem bola aberta onde o mapa seja constante) deve possuir a propriedade de shadowing.

C. Contrações Invertíveis à Esquerda (Teorema 3.6)

O artigo investiga contrações $R: X_p \to X_p$ que são invertíveis à esquerda (injetivas).

• Condição: $R$ deve ser bi-Lipschitz (satisfazendo $c_1 \|x-y\| \le \|R(x)-R(y)\| \le c_2 \|x-y\|$) e ter uma imagem aberta.
• Propriedade de Escala: Se $R$ for uma contração de "escala" (preservando a razão de distâncias em um sentido $p$-ádico específico), a estabilidade vale.
• Resultado:
  • Em $\mathbb{Z}_p$: Toda contração bi-Lipschitz aberta é estruturalmente estável Lipschitz forte.
  • Em $\mathbb{Q}_p$: Toda contração de escala bi-Lipschitz é estruturalmente estável Lipschitz forte.
• Necessidade: O artigo fornece exemplos mostrando que, se uma contração não for bi-Lipschitz ou não tiver imagem aberta, ela pode falhar em ser estruturalmente estável Lipschitz, mesmo sendo invertível à esquerda e de escala.

D. Lemas Técnicos sobre Perturbações

Uma parte significativa da metodologia envolve provar que essas propriedades são robustas sob pequenas perturbações Lipschitz ($\phi$).

• Lema 4.1: Se $f$ tem um inverso à direita de contração, então $f + \phi$ (para $\phi$ pequeno) também admite um inverso à direita de contração com propriedades similares.
• Lemas 4.6 e 4.7: Propriedades bi-Lipschitz e de escala de contrações são preservadas sob pequenas perturbações Lipschitz, desde que a imagem permaneça aberta.

4. Significado e Impacto

1. Extensão do Teorema de Walters: O artigo adapta com sucesso o vínculo clássico entre shadowing e estabilidade ao contexto $p$-ádico de dimensão zero e não invertível, um campo anteriormente dominado por dinâmicas invertíveis.
2. Novas Classes de Sistemas Estáveis: Identifica novas e amplas classes de mapas $p$-ádicos estáveis, especificamente aqueles que são invertíveis à direita via contrações (generalizando mapas de deslocamento) e contrações bi-Lipschitz específicas.
3. Esclarecimento de Condições: Ao fornecer contraexemplos (Teorema 3.3 e Exemplo 3.7), o artigo esclarece que a mera invertibilidade ou a existência de um inverso de contração é insuficiente; a estrutura topológica da imagem (abertura, particionamento) e as propriedades métricas (bi-Lipschitz, escala) são críticas para a estabilidade.
4. Aplicações: Como as dinâmicas $p$-ádicas são usadas em física, criptografia e ciência cognitiva, esses resultados de estabilidade fornecem uma base teórica para a robustez de modelos que utilizam esses sistemas contra ruído ou perturbações.

Conclusão do Resumo

Este artigo estabelece uma estrutura rigorosa para a estabilidade de sistemas dinâmicos $p$-ádicos não invertíveis. Ele prova que shadowing e estabilidade estrutural são garantidos para mapas que podem ser "decompostos" em famílias de inversos à direita contrativos que particionam o espaço, e para contrações bi-Lipschitz com imagens abertas. O trabalho preenche a lacuna entre a teoria clássica de estabilidade de dimensão positiva e o campo emergente da dinâmica $p$-ádica de dimensão zero.