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

Aquí se presenta un resumen técnico detallado del artículo "Shadowing and Stability of Non-Invertible p-adic Dynamics" de Caprio, Lenarduzzi, Messaoudi y Tsokanos.

1. Planteamiento del Problema y Contexto

El artículo aborda una brecha en la teoría de estabilidad de los sistemas dinámicos, centrándose específicamente en espacios de dimensión cero (tales como los enteros $p$-ádicos $\mathbb{Z}_p$ y los números $p$-ádicos $\mathbb{Q}_p$) y aplicaciones no invertibles (no homeomorfismos).

• Antecedentes: En espacios métricos compactos de dimensión positiva, la relación entre la estabilidad topológica y la propiedad de sombra está bien establecida (Teorema de Walters). Para los espacios de Cantor (dimensión cero), esta relación solo fue demostrada recientemente para homeomorfismos por Kawaguchi (2019).
• La Brecha: Los resultados clásicos a menudo asumen la invertibilidad (homeomorfismos). Sin embargo, muchos sistemas dinámicos $p$-ádicos naturales son no invertibles (por ejemplo, mapas de desplazamiento, mapas de escala local). El artículo investiga bajo qué condiciones estos mapas $p$-ádicos no invertibles exhiben la propiedad de sombra (rastreo de pseudo-órbitas) y diversas formas de estabilidad estructural (Lipschitz y topológica).

2. Metodología

Los autores emplean una combinación de análisis funcional, geometría ultramétrica y teoría de puntos fijos adaptada a las propiedades específicas de los cuerpos $p$-ádicos.

• Definiciones de Espacio: El estudio se centra en $X_p \in \{\mathbb{Z}_p, \mathbb{Q}_p\}$ equipado con la norma $p$-ádica $\|\cdot\|_p$.
• Conceptos Clave:
  • Sombra: Una aplicación $f$ tiene la propiedad de sombra si cada pseudo-órbita $\delta$ (una secuencia donde $f(x_n) \approx x_{n+1}$) está $\epsilon$-cercana a una órbita verdadera.
  • Estabilidad: La estabilidad estructural implica conjugación topológica bajo pequeñas perturbaciones. El artículo distingue entre estabilidad topológica y estabilidad estructural Lipschitz (las perturbaciones están restringidas a aplicaciones Lipschitz).
• Herramientas Analíticas:
  • Teorema del Punto Fijo de Banach: Se utiliza extensivamente para construir conjugaciones y órbitas de sombra definiendo aplicaciones contractivas en espacios de secuencias ($\ell^\infty$).
  • Inversas Derecha/Izquierda: La metodología central se basa en analizar aplicaciones que admiten familias de contracciones como inversas derechas o izquierdas.
  • Condiciones Bi-Lipschitz: Los autores investigan la necesidad de propiedades bi-Lipschitz para la estabilidad en las contracciones.
  • Construcción de Contraejemplos: Para probar la optimalidad, los autores construyen aplicaciones específicas sin sombra utilizando subdesplazamientos de tipo finito y aplicaciones que no son constantes localmente en ninguna parte.

3. Contribuciones y Resultados Clave

El artículo presenta cuatro teoremas principales que caracterizan la estabilidad y las propiedades de sombra de la dinámica $p$-ádica no invertible.

A. Aplicaciones Invertibles por la Derecha (Teorema 3.1)

Los autores establecen condiciones suficientes para que una aplicación continua $f: X_p \to X_p$ tenga sombra y sea estable.

• Condición: $f$ admite una familia de inversas derechas $\{R_i\}_{i \in I}$ que son contracciones ($\text{Lip}(R_i) < 1$).
• Condición de Cobertura: Las imágenes $R_i(X_p)$ deben particionar el espacio $X_p$ (es decir, son abiertas y disjuntas dos a dos, y su unión es $X_p$).
• Resultado: Bajo estas condiciones, $f$ posee la propiedad de sombra, es estructuralmente Lipschitz fuertemente estable y es topológicamente estable.
• Aplicaciones: Esto generaliza resultados conocidos para el mapa de desplazamiento $\sigma$ en $\mathbb{Z}_p$ y los mapas de escala local $(p^{-k}, p^k)$. También se aplica a dilataciones homeomorfas en $\mathbb{Q}_p$.

B. Optimalidad y Contraejemplos (Teorema 3.3)

Los autores demuestran que las condiciones del Teorema 3.1 son agudas.

• Resultado: Existe una aplicación continua $f$ que admite una contracción como inversa derecha pero falla en tener sombra, en ser estructuralmente Lipschitz estable o en ser topológicamente estable.
• Mecanismo: El fallo ocurre cuando no se cumple la condición de "cobertura" (particionar el espacio) o cuando la aplicación no es "no constante localmente en ninguna parte".
• Extensión de Kawaguchi: El artículo extiende el resultado de Kawaguchi para mostrar que cualquier aplicación topológicamente estable que sea no constante localmente en ninguna parte (sin ninguna bola abierta donde la aplicación sea constante) debe tener la propiedad de sombra.

C. Contracciones Invertibles por la Izquierda (Teorema 3.6)

El artículo investiga las contracciones $R: X_p \to X_p$ que son invertibles por la izquierda (inyectivas).

• Condición: $R$ debe ser bi-Lipschitz (satisfaciendo $c_1 \|x-y\| \le \|R(x)-R(y)\| \le c_2 \|x-y\|$) y tener una imagen abierta.
• Propiedad de Escala: Si $R$ es una contracción de "escala" (preservando la relación de distancias en un sentido $p$-ádico específico), la estabilidad se mantiene.
• Resultado:
  • En $\mathbb{Z}_p$: Toda contracción bi-Lipschitz abierta es estructuralmente Lipschitz fuertemente estable.
  • En $\mathbb{Q}_p$: Toda contracción de escala bi-Lipschitz es estructuralmente Lipschitz fuertemente estable.
• Necesidad: El artículo proporciona ejemplos que muestran que si una contracción no es bi-Lipschitz o no tiene una imagen abierta, puede fallar en ser estructuralmente Lipschitz estable, incluso si es invertible por la izquierda y de escala.

D. Lemas Técnicos sobre Perturbaciones

Una parte significativa de la metodología implica demostrar que estas propiedades son robustas bajo pequeñas perturbaciones Lipschitz ($\phi$).

• Lema 4.1: Si $f$ tiene una inversa derecha contrayente, entonces $f + \phi$ (para $\phi$ pequeño) también admite una inversa derecha contrayente con propiedades similares.
• Lemas 4.6 y 4.7: Las propiedades bi-Lipschitz y de escala de las contracciones se preservan bajo pequeñas perturbaciones Lipschitz, siempre que la imagen permanezca abierta.

4. Significado e Impacto

1. Extensión del Teorema de Walters: El artículo adapta con éxito el vínculo clásico entre sombra y estabilidad al contexto $p$-ádico de dimensión cero no invertible, un campo previamente dominado por la dinámica invertible.
2. Nuevas Clases de Sistemas Estables: Identifica nuevas y amplias clases de aplicaciones $p$-ádicas estables, específicamente aquellas que son invertibles por la derecha mediante contracciones (generalizando los mapas de desplazamiento) y ciertas contracciones bi-Lipschitz.
3. Clarificación de Condiciones: Al proporcionar contraejemplos (Teorema 3.3 y Ejemplo 3.7), el artículo aclara que la mera invertibilidad o la existencia de una inversa contrayente es insuficiente; la estructura topológica de la imagen (abertura, particionamiento) y las propiedades métricas (bi-Lipschitz, escala) son críticas para la estabilidad.
4. Aplicaciones: Dado que la dinámica $p$-ádica se utiliza en física, criptografía y ciencia cognitiva, estos resultados de estabilidad proporcionan una base teórica para la robustez de los modelos que utilizan estos sistemas frente al ruido o las perturbaciones.

Conclusión del Resumen

Este artículo establece un marco riguroso para la estabilidad de los sistemas dinámicos $p$-ádicos no invertibles. Demuestra que la sombra y la estabilidad estructural están garantizadas para aplicaciones que pueden "descomponerse" en familias de inversas derechas contractivas que particionan el espacio, y para contracciones bi-Lipschitz con imágenes abiertas. El trabajo cierra la brecha entre la teoría clásica de estabilidad de dimensión positiva y el campo emergente de la dinámica $p$-ádica de dimensión cero.