2025-11-17T16:22:13.619471

Rotation sets for random compositions of $\T$ homeomorphisms

Freijo, Tal
We study cocycles of homeomorphisms of $\T$ in the isotopy class of the identity over shift spaces, using as a tool a novel definition of rotation sets inspired in the classical work of Miziurewicz and Zieman. We discuss different notions of rotation sets, for the full cocyle as well as for measures invariant by the shift dynamics on the base. We present some initial results on the shape of rotation sets, continuity of rotation sets for shift-invariant measures, and bounded displacements for irrotational cocyles, as well as a few interesting examples in an attempt to motive the development of the topic.
academic

Conjuntos de rotación para composiciones aleatorias de homeomorfismos de T²

Información Básica

  • ID del Artículo: 2510.11989
  • Título: Rotation sets for random compositions of T² homeomorphisms
  • Autores: C. Freijo, F.A. Tal
  • Clasificación: math.DS (Sistemas Dinámicos)
  • Fecha de Publicación: 13 de octubre de 2025 (preimpresión en arXiv)
  • Enlace del Artículo: https://arxiv.org/abs/2510.11989

Resumen

Este artículo estudia cociclos sobre espacios de desplazamiento de homeomorfismos del toro bidimensional T² que pertenecen a la clase de homotopía de la identidad. Los autores utilizan como herramienta una definición recientemente propuesta de conjuntos de rotación, inspirada en el trabajo clásico de Misiurewicz y Ziemian, para discutir cociclos completos y diferentes conceptos de conjuntos de rotación para medidas invariantes bajo el desplazamiento dinámico. El artículo presenta resultados preliminares sobre la forma de los conjuntos de rotación, la continuidad de los conjuntos de rotación de medidas invariantes bajo el desplazamiento, y el desplazamiento acotado de cociclos sin rotación, proporcionando ejemplos interesantes que impulsan el desarrollo del tema.

Antecedentes de Investigación y Motivación

Contexto del Problema

  1. Limitaciones de la teoría clásica de rotación: La teoría tradicional de conjuntos de rotación se enfoca principalmente en homeomorfismos individuales del toro. Misiurewicz y Ziemian demostraron que para un homeomorfismo del toro g : T² → T² homotópico a la identidad, el conjunto de rotación ρ(g̃) de su levantamiento g̃ : R² → R² siempre es un subconjunto compacto, convexo y no vacío de R².
  2. Necesidad de composiciones aleatorias: Las aplicaciones prácticas frecuentemente encuentran homeomorfismos del toro compuestos aleatoriamente, pero la teoría existente carece de un estudio sistemático de este caso.
  3. Necesidad de extensión teórica: Es necesario extender la teoría clásica de rotación al contexto de cociclos, particularmente cuando la dinámica de fibra está dada por homeomorfismos del toro en la clase de homotopía de la identidad.

Significado de la Investigación

  • Perfeccionamiento teórico: Llena el vacío en la teoría de sistemas dinámicos respecto a la teoría de rotación de composiciones aleatorias de homeomorfismos del toro
  • Innovación metodológica: Introduce múltiples definiciones de conjuntos de rotación, proporcionando nuevas herramientas para estudiar tales sistemas
  • Valor aplicado: Proporciona fundamentos teóricos para comprender el comportamiento a largo plazo de sistemas dinámicos complejos

Contribuciones Principales

  1. Nuevas definiciones de conjuntos de rotación: Se introducen múltiples conceptos de conjuntos de rotación para cociclos, incluyendo conjuntos de rotación tipo Misiurewicz-Ziemian, puntual y de medida
  2. Demostración de propiedades estructurales: Se prueba que los conjuntos de rotación tipo Misiurewicz-Ziemian siempre son no vacíos, compactos y conexos (Teorema 1.1)
  3. Teoría de puntos esenciales: Se establece el concepto de puntos esenciales y no esenciales en la dinámica de cociclos, probando la propiedad de desplazamiento acotado (Teorema 1.2)
  4. Condiciones de convexidad: Se prueba que los conjuntos de rotación de pseudórbitas ε son convexos en el caso conservativo o cuando el conjunto de rotación clásico tiene interior no vacío (Teorema 1.3)
  5. Análisis de continuidad: Se estudian las propiedades de continuidad de los conjuntos de rotación respecto a medidas invariantes bajo el desplazamiento

Explicación Detallada de Métodos

Definición de la Tarea

Se estudian las propiedades de rotación de composiciones aleatorias de homeomorfismos del toro (RCTH), donde:

  • Espacio base: Producto infinito Σ = X^Z de un espacio métrico compacto X
  • Aplicación de desplazamiento: σ : Σ → Σ, σ((x_n){n∈Z}) = (x{n+1})_{n∈Z}
  • Cociclo: F : Σ × T² → Σ × T², F(x,p) = (σ(x), f_x(p))

Definiciones Centrales

1. Función de Desplazamiento

Para el cociclo F y su levantamiento F̃, se define la función de desplazamiento: ρ1(x,p):MT2, donde ρ1(x,p)=f~x(p~)p~ρ_1(x,p) : M → T² \text{, donde } ρ_1(x,p) = f̃_x(p̃) - p̃

2. Vector de Rotación Promediado en Tiempo

Desplazamiento promediado en n pasos: ρn(x,p)=1ni=0n1ρ1(F~i(x,p))=f~xn(p~)p~nρ_n(x,p) = \frac{1}{n}\sum_{i=0}^{n-1} ρ_1(F̃^i(x,p)) = \frac{f̃^n_x(p̃) - p̃}{n}

3. Múltiples Definiciones de Conjuntos de Rotación

Conjunto de rotación puntual:

  • ρ(x,p,F~):={puntos de acumulacioˊn de (ρn(x,p))nN}ρ(x,p,F̃) := \{\text{puntos de acumulación de } (ρ_n(x,p))_{n∈N}\}
  • ρpoint(F~):=(x,p)Mρ(x,p,F~)ρ_{point}(F̃) := \bigcup_{(x,p)∈M} ρ(x,p,F̃)

Conjunto de rotación tipo Misiurewicz-Ziemian: ρmz(F~):=lim supnDn=NNnNDnρ_{mz}(F̃) := \limsup_{n→∞} D_n = \bigcap_{N∈N} \bigcup_{n≥N} D_n donde Dn:={ρn(x,p)(x,p)M}D_n := \{ρ_n(x,p)| (x,p) ∈ M\}

Conjunto de rotación de medida:

  • Para medida m invariante bajo F: ρ(F~,m)=ρ1(x,p)dmρ(F̃,m) = \int ρ_1(x,p)dm
  • Para medida μ invariante bajo σ: ρμ(F~)={ρ(F~,m)mMμ(F)}ρ_μ(F̃) = \{ρ(F̃,m) |m ∈ M_μ(F)\}

Puntos de Innovación Técnica

  1. Marco unificado: Extiende la teoría de rotación de homeomorfismos individuales al caso de composiciones aleatorias, estableciendo un marco teórico unificado
  2. Análisis multinivel: Analiza las propiedades de los conjuntos de rotación desde tres niveles: puntual, de medida y global
  3. Concepto de esencialidad: Introduce el concepto de puntos esenciales y no esenciales, en analogía con conceptos relacionados en la teoría clásica
  4. Demostración de conexidad: Prueba la conexidad del conjunto de rotación mediante métodos constructivos, incluso en casos no convexos

Resultados Principales

Teorema 1.1 (Propiedades Fundamentales del Conjunto de Rotación)

Para un cociclo F̃ sobre el desplazamiento completo Σ = {0,1}^Z, el conjunto de rotación tipo Misiurewicz-Ziemian ρ_(F̃) siempre es un subconjunto no vacío, compacto y conexo de R².

Esquema de la demostración:

  • Compacidad: Se prueba mediante acotación y cerradura
  • Conexidad: Por contradicción, la desconexión llevaría a una contradicción

Teorema 1.2 (Propiedad de Desplazamiento Acotado)

Para un cociclo F̃ localmente constante y que preserva el área, si el conjunto de puntos fijos es no esencial y el conjunto de rotación es trivial, entonces o bien el conjunto de puntos esenciales es un subconjunto esencial de R², o bien F̃ tiene desplazamiento uniformemente acotado.

Teorema 1.3 (Convexidad del Conjunto de Rotación de Pseudórbitas ε)

Si g es conservativa, o si el conjunto de rotación del levantamiento g̃ tiene interior no vacío, entonces su conjunto de rotación de pseudórbitas ε es convexo.

Puntos clave de la demostración:

  • Caso conservativo: Se utiliza la conservatividad para garantizar la existencia de pseudórbitas de longitud acotada conectando puntos arbitrarios
  • Caso de interior no vacío: Se utiliza la esencialidad total para construir órbitas periódicas aproximantes

Resultados de Continuidad

Proposición 4.2 (Semicontinuidad): Si una sucesión de medidas (μ_k) converge a μ en la topología débil* y la sucesión de vectores de rotación converge, entonces el límite pertenece al conjunto de rotación de μ.

Contraejemplo 4.1: Se proporciona un ejemplo de discontinuidad, mostrando que la continuidad no se cumple en general.

Análisis Técnico

Lemas Clave

Lema 5.6: Bajo la hipótesis de conjunto de rotación trivial, existe una estimación de desplazamiento uniformemente acotada cerca de puntos no esenciales.

Lema 6.4: Para aplicaciones conservativas, existe una constante unificada tal que dos puntos arbitrarios pueden conectarse mediante una pseudórbita de longitud acotada.

Técnicas de Demostración

  1. Aproximación por órbitas periódicas: Se utilizan vectores de rotación de órbitas periódicas para aproximar los de órbitas generales
  2. Métodos topológicos: Se utilizan propiedades topológicas de conjuntos esenciales y no esenciales
  3. Métodos de teoría de medida: Se utilizan argumentos de Krylov-Boguliubov y teoría ergódica
  4. Métodos constructivos: Se prueban resultados de existencia mediante construcción explícita de órbitas especiales

Trabajos Relacionados

El artículo se basa en los siguientes trabajos clásicos:

  • Misiurewicz & Ziemian 8: Establecen la teoría fundamental de conjuntos de rotación para homeomorfismos individuales del toro
  • Franks 2: Prueba la existencia de infinitos puntos periódicos cuando el conjunto de rotación tiene interior no vacío
  • Koropecki & Tal 5,6: Desarrollan la teoría de puntos esenciales
  • Llibre & MacKay 7: Estudian la relación entre vectores de rotación y entropía

Conclusiones y Discusión

Conclusiones Principales

  1. Los conjuntos de rotación de composiciones aleatorias de homeomorfismos del toro mantienen la conexidad, pero pueden perder la convexidad
  2. La teoría de puntos esenciales puede extenderse efectivamente al contexto de cociclos
  3. Bajo condiciones específicas (conservatividad o interior no vacío), los conjuntos de rotación mantienen la convexidad

Limitaciones

  1. Restricción a lo localmente constante: Muchos resultados se aplican solo a cociclos localmente constantes
  2. Hipótesis técnicas: Se requieren hipótesis técnicas fuertes como la propiedad de preservación de área
  3. Problemas abiertos: Se plantean múltiples problemas sin resolver, como las Preguntas 3.3, 3.7, 3.8, etc.

Direcciones Futuras

  1. Estudiar las propiedades de conjuntos de rotación en casos no localmente constantes
  2. Explorar la relación entre conjuntos de rotación y entropía topológica
  3. Desarrollar una teoría de puntos esenciales más general

Evaluación Profunda

Fortalezas

  1. Innovación teórica: Extiende exitosamente la teoría clásica de rotación a un nuevo contexto
  2. Diversidad metodológica: Combina métodos de topología, teoría de medida y sistemas dinámicos
  3. Profundidad de resultados: Los teoremas principales tienen significado teórico importante
  4. Claridad expositiva: Definiciones precisas y demostraciones detalladas

Debilidades

  1. Aplicabilidad limitada: Principalmente resultados teóricos, con valor aplicado aún por desarrollar
  2. Hipótesis fuertes: Muchos resultados requieren hipótesis técnicas fuertes
  3. Ejemplos insuficientes: Faltan más ejemplos concretos con cálculos explícitos

Impacto

  1. Contribución teórica: Abre nuevas direcciones de investigación en teoría de sistemas dinámicos
  2. Valor metodológico: Las técnicas proporcionadas pueden aplicarse a otros problemas relacionados
  3. Significado inspirador: Los problemas planteados señalan direcciones para investigaciones futuras

Escenarios de Aplicación

  • Análisis teórico de sistemas dinámicos aleatorios
  • Investigación de dinámicas complejas en el toro
  • Desarrollo adicional de la teoría de rotación

Referencias Bibliográficas

El artículo cita 8 referencias clave que abarcan los avances principales en teoría de homeomorfismos del toro, teoría de conjuntos de rotación y teoría de puntos esenciales, proporcionando una base teórica sólida para esta investigación.