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: $\lim_{n→∞} \frac{1}{n} \log \sum_{τ∈Σ_ω^n} (c_τ^{(ω)})^t = \begin{cases} ∞ & \text{si } t < d \\ -∞ & \text{si } t ≥ d \end{cases}$

3. Análisis Refinado de Estimación de Dimensiones

Mediante la teoría de dimensiones de IFS conformes no autónomos, demostrar que la dimensión de Hausdorff es 0, formando un contraste significativo con el parámetro de Bowen $d$.

Resultados Principales

Teorema 1.1 (Resultado Principal)

Existe un sistema de funciones iteradas aleatorio finito $(p⃗,Ψ)$ tal que para $P$-casi todo $ω ∈ Ω$: $\dim_H(J(Ψ(ω))) < B(Ψ)$

Proposición 2.2 (Cálculo del Parámetro de Bowen)

Para el sistema construido, $B(Ψ) = d$.

Proposición 2.4 (Resultado de Dimensión)

Para $P$-casi todo $ω ∈ Ω$, $\dim_H(J(Ψ(ω))) = 0$.

Estrategia de Demostración

Primer Paso: Análisis del Parámetro de Bowen

Demostrar mediante cálculo directo: $E_{i∈ℕ}\left[\log \sum_{j∈I^{(i)}} (c_j^{(i)})^t\right] = \begin{cases} ∞ & \text{si } t < d \\ -∞ & \text{si } t ≥ d \end{cases}$

Segundo Paso: Propiedades de Fracciones Continuas

Utilizar la correspondencia entre el vector de probabilidad $p_n = 1/(Cn^2)$ y la distribución de coeficientes de fracciones continuas, construyendo secuencias aleatorias con propiedades de crecimiento especiales.

Tercer Paso: Estimación de Cota Superior de Dimensión

Mediante la fórmula de dimensión para sistemas no autónomos: $\dim_H(J(Φ_ω)) ≤ \inf\{t ≥ 0: P(t) < 0\}$ donde $P(t) = \liminf_{n→∞} \frac{1}{n} \log \sum_{τ̃∈Σ̃_ω^n} c_{τ̃}^t$

Trabajos Relacionados

Teoría de Construcciones Recursivas Aleatorias

Mauldin-Williams (1986) demostraron que para construcciones recursivas aleatorias, la dimensión de Hausdorff es casi seguramente igual a: $\inf\left\{t ≥ 0: \log \sum_{i∈ℕ} p_i \sum_{j∈I^{(i)}} (c_j^{(i)})^t ≤ 0\right\}$

Resultados Conocidos de RIFSs

Roy-Urbański (2011) y Rempe-Gillen-Urbański (2016) demostraron que la fórmula de Bowen se cumple para RIFSs bajo condiciones específicas.

Avance de Este Artículo

Este artículo demuestra por primera vez la necesidad de estas condiciones, revelando las limitaciones esenciales de la teoría de RIFSs.

Conclusiones y Discusión

Conclusiones Principales

1. Clarificación de límites teóricos: RIFSs no siempre satisfacen la fórmula de Bowen, existiendo diferencias esenciales con construcciones recursivas aleatorias
2. Efectividad del método de construcción: Mediante diseño ingenioso de distribuciones de probabilidad y construcción de marcos, se logra separar exitosamente dos conceptos de aleatoriedad
3. Perfeccionamiento de la teoría de dimensiones: Proporciona una comprensión más precisa de la teoría de dimensiones de fractales aleatorios

Significado Teórico

Los resultados de este artículo indican que la "intensidad" de la aleatoriedad tiene un impacto fundamental en la dimensión fractal. La selección independiente en cada posición en construcciones recursivas aleatorias versus la selección uniforme por nivel en RIFSs resulta en propiedades geométricas esencialmente diferentes.

Limitaciones

1. Especificidad de la construcción: El contraejemplo depende de distribuciones de probabilidad y configuraciones geométricas específicas
2. Extremidad de dimensión cero: La dimensión del conjunto límite construido es 0, posiblemente no lo suficientemente general
3. Casos de dimensión superior: La teoría aún está incompleta para casos de dimensión general

Direcciones Futuras

1. Búsqueda de condiciones generales: Determinar condiciones necesarias y suficientes para que RIFSs satisfagan la fórmula de Bowen
2. Casos de dimensión intermedia: Construir ejemplos con dimensión entre 0 y el parámetro de Bowen
3. Extensión de aplicaciones: Generalizar resultados a sistemas dinámicos aleatorios más generales

Evaluación Profunda

Fortalezas

1. Contribución teórica significativa: Revela por primera vez las diferencias esenciales entre dos métodos importantes de construcción aleatoria
2. Técnicas ingeniosas: Combina ingeniosamente teoría de probabilidades, teoría ergódica y geometría fractal
3. Demostración rigurosa y completa: El argumento matemático es lógicamente claro con manejo adecuado de detalles técnicos
4. Planteamiento profundo del problema: Aborda cuestiones teóricas centrales en el campo

Deficiencias

1. Especificidad del contraejemplo: La construcción depende de selecciones de parámetros específicos, con generalidad pendiente de mejora
2. Intuición geométrica insuficiente: La explicación geométrica de por qué surge esta diferencia es incompleta
3. Perspectivas de aplicación poco claras: El valor práctico de los resultados teóricos requiere exploración adicional

Impacto

1. Valor teórico: Proporciona un contraejemplo importante y nuevas direcciones de investigación para la teoría de fractales aleatorios
2. Contribución metodológica: Demuestra el potencial de aplicación de la teoría de fracciones continuas en fractales aleatorios
3. Avance del campo: Impulsa el desarrollo de la teoría de RIFSs hacia direcciones más precisas y completas

Escenarios Aplicables

Los métodos y resultados de este artículo son aplicables a:

1. Investigación teórica de geometría fractal aleatoria
2. Análisis de dimensiones de sistemas dinámicos aleatorios
3. Investigación interdisciplinaria de teoría de probabilidades y geometría fractal
4. Fundamentos teóricos de modelos de fractales aleatorios en fenómenos naturales

Referencias

El artículo cita literatura importante en el campo, incluyendo:

• Mauldin & Williams (1986): Trabajo fundamental en construcciones recursivas aleatorias
• Roy & Urbański (2011): Sistemas de Markov dirigidos por grafos aleatorios
• Rempe-Gillen & Urbański (2016): Teoría de IFS conformes no autónomos
• Khinchin (1964): Texto clásico en teoría de fracciones continuas

Este artículo realiza una contribución importante a la teoría de fractales aleatorios, no solo resolviendo un problema teórico importante, sino también proporcionando nuevas direcciones de investigación y herramientas técnicas para el desarrollo futuro del campo.