Los sistemas de funciones iteradas aleatorios finitos no siempre satisfacen la fórmula de Bowen

Información Básica

• ID del Artículo: 2509.02070
• Título: Los sistemas de funciones iteradas aleatorios finitos no siempre satisfacen la fórmula de Bowen
• Autor: Yuya Arima (Escuela de Posgrado de Matemáticas, Universidad de Nagoya)
• Clasificación: math.DS (Sistemas Dinámicos)
• Fecha de Publicación: 6 de noviembre de 2025 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2509.02070

Resumen

Este artículo construye un sistema de funciones iteradas aleatorio finito que satisface la condición de conjunto abierto, demostrando que la versión aleatoria de la fórmula de Bowen no siempre se cumple. Este contraejemplo indica que los resultados análogos establecidos para construcciones recursivas aleatorias no siempre son aplicables a sistemas de funciones iteradas aleatorios.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Significado de la investigación de conjuntos fractales aleatorios: Los conjuntos fractales aleatorios, como modelos más cercanos a los fenómenos naturales que los conjuntos fractales generados por sistemas de funciones iteradas deterministas, tienen una posición importante en matemáticas y física.
2. Dos métodos principales de construcción aleatoria:
   • Sistemas de funciones iteradas aleatorios (RIFSs): Selección uniforme de IFS en cada nivel
   • Construcciones recursivas aleatorias: Selección independiente de IFS para cada cadena finita, con mayor independencia
3. Limitaciones de la teoría existente: Aunque se conocen resultados de teoría de dimensiones para construcciones recursivas aleatorias, no está claro si los mismos resultados siempre se cumplen para RIFSs.

Motivación de la Investigación

Este artículo tiene como objetivo explorar las diferencias fundamentales entre RIFSs y construcciones recursivas aleatorias, particularmente en la teoría de dimensiones fractales. El autor descubre que, aunque ambos métodos producen resultados similares en muchos casos, en ciertos casos especiales surgen diferencias significativas.

Contribuciones Principales

1. Construcción de contraejemplo clave: Proporciona un sistema de funciones iteradas aleatorio finito que satisface la condición de conjunto abierto, haciendo que la versión aleatoria de la fórmula de Bowen falle
2. Revelación de diferencias teóricas: Demuestra que los resultados de construcciones recursivas aleatorias no pueden generalizarse directamente a sistemas de funciones iteradas aleatorios
3. Demostración matemática rigurosa: Proporciona argumentos matemáticos completos combinando teoría de fracciones continuas y teoría ergódica
4. Clarificación de límites teóricos: Especifica el alcance y las limitaciones de la teoría de RIFSs

Explicación Detallada de Métodos

Definición de la Tarea

Construir un sistema de funciones iteradas aleatorio finito $(p⃗,Ψ)$ tal que para $P$-casi todo $ω ∈ Ω$: $\dim_H(J(Ψ(ω))) < B(Ψ)$ donde $B(Ψ)$ es el parámetro de Bowen.

Marco de Construcción

1. Configuración Básica

• Tomar $X = [0,1]^d$, definir mapeos afines similares: $φ_i(x) = \frac{1}{2}x + \frac{1}{2}v_i, \quad v_i = \sum_{ℓ=1}^d i_ℓe_ℓ$
• Definir conjuntos de índices:
  • $I_1 := \{0\}^d$ (conjunto de un punto)
  • $I_{2^d} := \{0,1\}^d$ (conjunto de todos los vértices)

2. Definición del Marco

Introducir el concepto de "marco" $F = (\{U_n\}_{n∈ℕ}, \{V_n\}_{n∈ℕ})$, satisfaciendo:

• $(F1)$: $1 ≤ U_1$
• $(F2)$: $nU_n ≤ V_n$ y $(U_n + V_n)^3 ≤ U_{n+1}$

3. Construcción de IFS

Para cada $i ∈ ℕ$, definir: $I^{(i)} := I_1^{U_i} × I_{2^d}^{V_i}$

Cada $ψ_τ^{(i)}$ es una composición de $U_i + V_i$ mapeos.

Selección de Vectores de Probabilidad

Seleccionar vectores de probabilidad: $p_n = \frac{1}{Cn^2}, \quad C = \sum_{n=1}^∞ \frac{1}{n^2}$

Esta selección se corresponde con resultados clásicos en la teoría de fracciones continuas.

Puntos de Innovación Técnica

1. Aplicación de la Teoría de Fracciones Continuas

Utilizar propiedades probabilísticas de la expansión en fracciones continuas, particularmente extensiones del teorema de Khinchin, para establecer conexiones entre secuencias aleatorias y tasas de crecimiento de coeficientes de fracciones continuas.

2. Aplicación Ingeniosa de la Teoría Ergódica

Analizar el comportamiento límite mediante el teorema ergódico de Birkhoff: