Cercanía casi segura de órbitas

Información Básica

• ID del Artículo: 2510.13277
• Título: Almost sure orbits closeness
• Autores: Maxim Kirsebom, Philipp Kunde, Tomas Persson, Mike Todd
• Clasificación: math.DS (Sistemas Dinámicos)
• Fecha de Publicación: 16 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.13277

Resumen

Este artículo estudia el problema de la distancia mínima entre órbitas en sistemas dinámicos que preservan medida. En el marco del problema de objetivos que se contraen dinámicamente, los autores determinan las tasas de contracción de distancia que garantizan propiedades de aproximación asintótica casi segura. Específicamente, consideran pares de puntos en conjuntos $E_n$, donde la distancia mínima entre las órbitas de cada par dentro del tiempo $n$ es menor que un umbral $r_n$. El artículo obtiene límites para la secuencia $(r_n)_n$ que garantizan que $\limsup_{n}E_n$ y $\liminf_{n} E_n$ sean conjuntos de medida 0 o 1. Los resultados para el caso de medida 0 se obtienen bajo condiciones muy generales, mientras que el caso de medida 1 requiere hipótesis de mezcla exponencial en al menos uno de los sistemas. Los autores también consideran el problema análogo de la distancia mínima entre puntos dentro de una única órbita en sistemas dinámicos unidimensionales con mezcla exponencial.

Antecedentes y Motivación de la Investigación

Importancia del Problema

Esta investigación surge de la necesidad de una comprensión profunda de la distancia más corta entre órbitas en sistemas dinámicos. En un espacio métrico $(X,d)$, para un sistema dinámico $T: X \to X$ y una medida ergódica $\mu$, la distancia mínima entre órbitas se define como: $M_n(x,y) = M_{T,n}(x,y) := \min_{0 \leq i,j < n} d(T^i(x), T^j(y))$

Limitaciones de la Investigación Existente

Trabajos anteriores BLR se enfocaron principalmente en la relación entre la tasa de decaimiento de $M_n$ y la dimensión de correlación, estableciendo límites superiores generales: $\limsup_n \frac{\log M_{T,n}(x,y)}{-\log n} \leq \frac{2}{C_\mu}$ donde $C_\mu$ es la dimensión de correlación inferior. Sin embargo, estos resultados proporcionan principalmente caracterizaciones del comportamiento asintótico, careciendo de condiciones precisas sobre tasas de contracción específicas $(r_n)$.

Motivación de la Investigación

La motivación central de este artículo es determinar con precisión, en el marco del problema de objetivos que se contraen, las condiciones sobre tasas de contracción que hacen que los eventos de aproximación de órbitas tengan medida 0 o 1. Esto no solo profundiza la comprensión del comportamiento de órbitas en sistemas dinámicos, sino que también proporciona una base teórica para aplicaciones relacionadas.

Contribuciones Principales

1. Establecimiento de un marco teórico completo para el caso de dos órbitas diferentes: Se obtienen resultados de medida 0 bajo condiciones generales y resultados de medida 1 bajo condiciones de mezcla exponencial.
2. Proporciona una caracterización exacta para mapeos de duplicación: Se establece un teorema de dicotomía completo para conjuntos $\limsup$ en mapeos de duplicación.
3. Manejo de combinaciones de rotaciones y sistemas con mezcla: Se obtienen resultados completos bajo condiciones Diofantinas cuando un sistema es una rotación y el otro es un sistema con mezcla.
4. Resolución del problema de distancias dentro de una única órbita: Se obtienen resultados correspondientes para distancias entre puntos en una órbita individual bajo hipótesis de 4-mezcla más fuertes.
5. Proporciona ejemplos constructivos: Se demuestra la existencia de secuencias $(r_n)$ tales que el conjunto $\liminf$ tiene medida 0 mientras que el conjunto $\limsup$ tiene medida 1.

Explicación Detallada de Métodos

Definición de la Tarea

Para dos sistemas dinámicos que preservan probabilidad $(T_1, \mu_1)$ y $(T_2, \mu_2)$, se define: $E_n^{T_1,T_2} = \{(x,y) \in X \times X : d(T_1^i x, T_2^j y) < r_n \text{ para algún } 0 \leq i,j < n\}$

El objetivo es determinar condiciones sobre la secuencia $(r_n)_n$ tales que:

• $(\mu_1 \times \mu_2)(\liminf_n E_n^{T_1,T_2}) = 1$ (casi todos los pares de puntos eventualmente siempre están cercanos)
• $(\mu_1 \times \mu_2)(\limsup_n E_n^{T_1,T_2}) = 1$ (casi todos los pares de puntos están infinitamente cercanos)

Métodos Técnicos Principales

Tratamiento del Caso de Medida 0

Se utiliza la aplicación directa del lema de Borel-Cantelli. Se define: $S_n(x,y) = \sum_{0 \leq i,j < n} \mathbf{1}_{B(T_2^j y, r_n)}(T_1^i x)$

Estrategia de prueba del Teorema 2.1:

• Para el caso $\liminf$: Se prueba que $E(S_n) = n^2 \int \mu_1(B(y,r_n))d\mu_2(y) \to 0$
• Para el caso $\limsup$: Se construye una subsecuencia apropiada y se aplica el lema de Borel-Cantelli

Tratamiento del Caso de Medida 1

Se requiere un análisis más refinado, utilizando propiedades de mezcla exponencial.

Núcleo de la prueba del Teorema 2.4:

1. Se prueba que $E(\hat{S}_n) \to \infty$
2. Se prueba que $\sum_{n=1}^\infty E[(\frac{\hat{S}_n}{E(\hat{S}_n)} - 1)^2] < \infty$

donde $\hat{S}_n$ es la suma definida a lo largo de la subsecuencia $2^n$. La clave es descomponer $E(\hat{S}_n^2)$ en tres casos: completamente separados, completamente no separados y semiceparados, utilizando propiedades de mezcla exponencial para controlar cada término.

Puntos de Innovación Técnica

Técnica de Análisis de Fourier

Para el caso de mapeos de duplicación, se utiliza la expansión en serie de Fourier de funciones características: $\mathbf{1}_{B(0,r)}(z) = \sum_{k \in \mathbb{Z}} c_{r,k} e^{2\pi i kz}$

Esto permite calcular con precisión medidas de intersección y aplicar la versión de Erdős-Rényi del lema de Borel-Cantelli.

Control Refinado de Tiempos de Mezcla

Mediante la selección de un parámetro de separación apropiado $c > 4\log 2/\theta$, se asegura la sumabilidad de términos de decaimiento exponencial, lo cual es clave para obtener resultados sharp.

Configuración Experimental

Marco de Verificación Teórica

Este artículo es principalmente una investigación teórica, verificando la agudeza de los resultados teóricos mediante ejemplos concretos:

Ejemplos 2.6-2.7: Aplicaciones Concretas de Sistemas con Mezcla

• Combinación de mapeo de duplicación y mapeo cuadrático: Se demuestra el caso concreto cuando $T_1$ es un mapeo de duplicación y $T_2$ es un mapeo cuadrático con parámetro de Benedicks-Carleson
• Simplificación de condiciones: Se prueba que la condición se simplifica a $r_n \geq \frac{(\log n)^5(\log\log n)^{2+\epsilon}}{n^2}$

Ejemplo 2.13: Ejemplo Constructivo

Se toma $r_n = \frac{1}{n^2 \log n}$, probando que:

• $n^2 r_n = \frac{1}{\log n} \to 0$ (satisface la condición de medida 0 para $\liminf$)
• $\sum_{n=1}^\infty nr_n = \sum_{n=1}^\infty \frac{1}{n\log n} = \infty$ (satisface la condición de medida 1 para $\limsup$)

Resultados Experimentales

Resultados Teóricos Principales

Caracterización Completa para Mapeos de Duplicación (Teorema 2.11)

Para secuencias decrecientes $(r_n)$ donde $(nr_n)$ también es decreciente, se obtiene una dicotomía completa: