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

1. Enunciato del Problema e Contesto

Il lavoro affronta una lacuna nella teoria della stabilità dei sistemi dinamici, focalizzandosi specificamente sugli spazi a dimensione zero (come gli interi $p$-adici $\mathbb{Z}_p$ e i numeri $p$-adici $\mathbb{Q}_p$) e sulle applicazioni non invertibili (non omeomorfe).

• Contesto: Negli spazi metrici compatti a dimensione positiva, la relazione tra stabilità topologica e proprietà di ombreggiamento (shadowing) è ben consolidata (Teorema di Walters). Per gli spazi di Cantor (dimensione zero), tale relazione è stata dimostrata di recente solo per gli omeomorfismi da Kawaguchi (2019).
• La Lacuna: I risultati classici spesso assumono l'invertibilità (omeomorfismi). Tuttavia, molti sistemi dinamici $p$-adici naturali sono non invertibili (ad esempio, mappe di shift, mappe localmente scalanti). Il lavoro indaga sotto quali condizioni queste applicazioni $p$-adiche non invertibili esibiscono la proprietà di ombreggiamento (tracciamento di pseudo-orbite) e varie forme di stabilità strutturale (Lipschitz e topologica).

2. Metodologia

Gli autori impiegano una combinazione di analisi funzionale, geometria ultrametrica e teoria dei punti fissi, adattate alle proprietà specifiche dei campi $p$-adici.

• Definizioni degli Spazi: Lo studio si concentra su $X_p \in \{\mathbb{Z}_p, \mathbb{Q}_p\}$ equipaggiati con la norma $p$-adica $\|\cdot\|_p$.
• Concetti Chiave:
  • Ombreggiamento (Shadowing): Una mappa $f$ possiede la proprietà di ombreggiamento se ogni $\delta$-pseudo-orbita (una sequenza dove $f(x_n) \approx x_{n+1}$) è $\epsilon$-vicina a un'orbita reale.
  • Stabilità: La stabilità strutturale coinvolge la coniugazione topologica sotto piccole perturbazioni. Il lavoro distingue tra stabilità topologica e stabilità strutturale Lipschitz (le perturbazioni sono limitate a mappe Lipschitz).
• Strumenti Analitici:
  • Teorema del Punto Fisso di Banach: Utilizzato estesamente per costruire coniugazioni e orbite di ombreggiamento definendo applicazioni contrattive su spazi di sequenze ($\ell^\infty$).
  • Inversi Destri/Sinistri: La metodologia fondamentale si basa sull'analisi di applicazioni che ammettono famiglie di contrazioni come inversi destri o sinistri.
  • Condizioni Bi-Lipschitz: Gli autori investigano la necessità di proprietà bi-Lipschitz per la stabilità nelle contrazioni.
  • Costruzione di Controesempi: Per dimostrare l'ottimalità, gli autori costruiscono specifiche mappe non ombreggianti utilizzando subshift di tipo finito e mappe non localmente costanti in nessun punto.

3. Contributi e Risultati Chiave

Il lavoro presenta quattro teoremi principali che caratterizzano la stabilità e le proprietà di ombreggiamento delle dinamiche $p$-adiche non invertibili.

A. Applicazioni Invertibili a Destra (Teorema 3.1)

Gli autori stabiliscono condizioni sufficienti affinché una mappa continua $f: X_p \to X_p$ sia ombreggiante e stabile.

• Condizione: $f$ ammette una famiglia di inversi destri $\{R_i\}_{i \in I}$ che sono contrazioni ($\text{Lip}(R_i) < 1$).
• Condizione di Copertura: Le immagini $R_i(X_p)$ devono partizionare lo spazio $X_p$ (cioè, sono aperti e a due a due disgiunti, e la loro unione è $X_p$).
• Risultato: Sotto queste condizioni, $f$ possiede la proprietà di ombreggiamento, è strutturalmente stabile Lipschitz forte e topologicamente stabile.
• Applicazioni: Questo generalizza risultati noti per la mappa di shift $\sigma$ su $\mathbb{Z}_p$ e per le mappe $(p^{-k}, p^k)$-localmente scalanti. Si applica anche alle dilatazioni omeomorfe su $\mathbb{Q}_p$.

B. Ottimalità e Controesempi (Teorema 3.3)

Gli autori dimostrano che le condizioni del Teorema 3.1 sono affilate (sharp).

• Risultato: Esiste una mappa continua $f$ che ammette una contrazione come inverso destro ma non è ombreggiante, strutturalmente stabile Lipschitz, o topologicamente stabile.
• Meccanismo: Il fallimento si verifica quando la condizione di "copertura" (partizionamento dello spazio) non è soddisfatta o quando la mappa non è "non localmente costante in nessun punto".
• Estensione di Kawaguchi: Il lavoro estende il risultato di Kawaguchi per mostrare che qualsiasi mappa topologicamente stabile che è non localmente costante in nessun punto (nessuna palla aperta in cui la mappa è costante) deve possedere la proprietà di ombreggiamento.

C. Contrazioni Invertibili a Sinistra (Teorema 3.6)

Il lavoro investiga le contrazioni $R: X_p \to X_p$ che sono invertibili a sinistra (iniettive).

• Condizione: $R$ deve essere bi-Lipschitz (soddisfacendo $c_1 \|x-y\| \le \|R(x)-R(y)\| \le c_2 \|x-y\|$) e avere un'immagine aperta.
• Proprietà di Scalatura: Se $R$ è una contrazione di "scalatura" (che preserva il rapporto delle distanze in un senso $p$-adico specifico), la stabilità vale.
• Risultato:
  • Su $\mathbb{Z}_p$: Ogni contrazione bi-Lipschitz aperta è strutturalmente stabile Lipschitz forte.
  • Su $\mathbb{Q}_p$: Ogni contrazione di scalatura bi-Lipschitz è strutturalmente stabile Lipschitz forte.
• Necessità: Il lavoro fornisce esempi che mostrano che se una contrazione non è bi-Lipschitz o non ha un'immagine aperta, può non essere strutturalmente stabile Lipschitz, anche se è invertibile a sinistra e di scalatura.

D. Lemma Tecnici sulle Perturbazioni

Una parte significativa della metodologia consiste nel dimostrare che queste proprietà sono robuste sotto piccole perturbazioni Lipschitz ($\phi$).

• Lemma 4.1: Se $f$ ha un inverso destro contrattivo, allora anche $f + \phi$ (per $\phi$ piccolo) ammette un inverso destro contrattivo con proprietà simili.
• Lemma 4.6 e 4.7: Le proprietà bi-Lipschitz e di scalatura delle contrazioni sono preservate sotto piccole perturbazioni Lipschitz, purché l'immagine rimanga aperta.

4. Significato e Impatto

1. Estensione del Teorema di Walters: Il lavoro adatta con successo il legame classico tra ombreggiamento e stabilità al contesto $p$-adico a dimensione zero e non invertibile, un campo precedentemente dominato dalle dinamiche invertibili.
2. Nuove Classi di Sistemi Stabili: Identifica nuove ampie classi di mappe $p$-adiche stabili, in particolare quelle invertibili a destra tramite contrazioni (generalizzando le mappe di shift) e specifiche contrazioni bi-Lipschitz.
3. Chiarimento delle Condizioni: Fornendo controesempi (Teorema 3.3 ed Esempio 3.7), il lavoro chiarisce che la mera invertibilità o l'esistenza di un inverso contrattivo non sono sufficienti; la struttura topologica dell'immagine (apertura, partizionamento) e le proprietà metriche (bi-Lipschitz, scalatura) sono critiche per la stabilità.
4. Applicazioni: Poiché le dinamiche $p$-adiche sono utilizzate in fisica, crittografia e scienze cognitive, questi risultati di stabilità forniscono una base teorica per la robustezza dei modelli che utilizzano tali sistemi contro il rumore o le perturbazioni.

Conclusione del Riassunto

Questo lavoro stabilisce un quadro rigoroso per la stabilità dei sistemi dinamici $p$-adici non invertibili. Dimostra che l'ombreggiamento e la stabilità strutturale sono garantiti per le mappe che possono essere "decomposte" in famiglie di inversi destri contrattivi che partizionano lo spazio, e per le contrazioni bi-Lipschitz con immagini aperte. Il lavoro colma il divario tra la teoria classica della stabilità a dimensione positiva e il campo emergente delle dinamiche $p$-adiche a dimensione zero.