One one type of ud-preserving mapping

Resumen Técnico: Aplicaciones que Preservan la Distribución Uniforme

1. Planteamiento del Problema

El artículo aborda la teoría de la distribución uniforme de secuencias, un campo iniciado por Hermann Weyl y desarrollado posteriormente por R. C. Buck. El problema central es la construcción y análisis de una clase específica de aplicaciones (funciones) $T: [0, 1] \to [0, 1]$ que posean las siguientes propiedades:

1. Preservación de la distribución uniforme: Si una secuencia $\{v(n)\}$ es uniformemente distribuida, su imagen bajo $T$ también lo es.
2. Distribución de Buck: Las iteraciones de la aplicación, $\{T^n(\alpha)\}$, deben formar una secuencia que sea uniformemente distribuida con respecto a la "densidad de medida" de Buck (una generalización de la densidad asintótica).
3. Propiedades analíticas: Se busca entender el comportamiento de estas funciones en términos de continuidad, monotonía y diferenciabilidad.

El autor se enfoca en construir tales funciones utilizando series de Cantor y permutaciones cíclicas sobre conjuntos de enteros módulo $m$.

2. Metodología y Marco Teórico

Conceptos Fundamentales:

• Densidad de medida de Buck ($\mu$): Se define para un subconjunto $S \subset \mathbb{N}$ mediante una envolvente inferior sobre uniones de clases residuales. Un conjunto es "medible de Buck" si la suma de su densidad y la de su complemento es 1.
• Distribución Uniforme de Buck: Una secuencia $\{v(n)\} \subset [0, 1]$ es uniformemente distribuida de Buck si, para cualquier subintervalo $I$, el conjunto de índices $v^{-1}(I)$ es medible de Buck y su medida es igual a la longitud del intervalo $|I|$.
• Series de Cantor: El intervalo $[0, 1)$ se representa mediante una expansión única basada en una secuencia de números naturales coprimos $\{m_i\}$ y sus productos parciales $B_j = \prod_{i=1}^j m_i$. Cualquier $\alpha \in [0, 1)$ se escribe como:
  $$\alpha = \sum_{j=0}^{\infty} \frac{b_j(\alpha)}{B_{j+1}}, \quad b_j(\alpha) \in \mathbb{Z}_{m_j}$$
  bajo la condición de que $b_j(\alpha) < m_j - 1$ para infinitos $j$.

Construcción de la Aplicación ($T_\pi$):
El autor define una aplicación $T_\pi$ actuando sobre los dígitos de la expansión de Cantor. Dada una secuencia de permutaciones $\pi = (\pi_1, \pi_2, \dots)$, donde $\pi_j: \mathbb{Z}_{m_j} \to \mathbb{Z}_{m_j}$, la función se define como:
$$T_\pi(\alpha) = \sum_{j=0}^{\infty} \frac{\pi_j(b_j(\alpha))}{B_{j+1}}$$

Herramientas Clave en la Demostración:

• Teorema Chino del Resto: Se utiliza para analizar las iteraciones de las permutaciones. Si las permutaciones son cíclicas de longitud $m_i$, la condición $\pi_i^n(r_i) = s_i$ se traduce en una congruencia modular $n \equiv k_i \pmod{B_i}$.
• Descomposición del Intervalo: El intervalo $[0, 1]$ se divide en subintervalos $I^{(n)}_j$ de longitud $1/B_n$. La pertenencia de un número a un subintervalo está determinada únicamente por sus primeros $n$ dígitos en la expansión de Cantor.

3. Contribuciones y Resultados Principales

Teorema 1: Distribución Uniforme de las Iteraciones

• Enunciado: Si las permutaciones $\pi_i$ son cíclicas de longitud $m_i$, entonces para cualquier $\alpha \in [0, 1)$, la secuencia de iteraciones $\{v(n)\} = \{T_\pi^n(\alpha)\}$ es uniformemente distribuida de Buck módulo 1.
• Mecanismo: La prueba demuestra que el conjunto de índices $n$ para los cuales $v(n)$ cae en un subintervalo específico $I^{(k)}_j$ corresponde a una clase residual aritmética $r_k + (B_k)$. Dado que estas clases tienen densidad de Buck $1/B_k$ y son medibles, la secuencia satisface la definición de distribución uniforme de Buck.

Propiedad de Preservación (Resultado 8)

• La aplicación $T_\pi$ preserva la distribución uniforme estándar. Si $\{v(n)\}$ es uniformemente distribuida (en el sentido clásico de Weyl), entonces $\{T_\pi(v(n))\}$ también lo es. Esto se basa en criterios previos establecidos en la literatura (referencia [10] del artículo).

Teorema 2: No Monotonía

• Enunciado: La función $T_\pi$ no es monótona en ningún subintervalo de longitud positiva.
• Demostración: Dado que las permutaciones $\pi_s$ no son la identidad, existen pares de puntos dentro de cualquier subintervalo básico donde la función aumenta y otros donde disminuye. Esto implica que la función es altamente oscilatoria y "salvaje" localmente.

Teorema 3: No Diferenciabilidad

• Enunciado: En cualquier subintervalo $I \subset [0, 1]$, existe al menos un punto donde $T_\pi$ no es diferenciable.
• Argumento: Si la función fuera diferenciable en todo un intervalo, su derivada tendría que ser constante (debido a la estructura de las permutaciones y el Teorema de Darboux), lo cual implicaría que la función es monótona, contradiciendo el Teorema 2.
• Condición de No Diferenciabilidad Global (Resultado 10): Si existe un conjunto infinito de índices $S$ tal que las permutaciones $\pi_s$ son el ciclo estándar $(0, 1, 2, \dots, m_s-1)$, entonces $T_\pi$ no es diferenciable en ningún punto de $[0, 1]$.

4. Significado e Impacto

Este trabajo es significativo en el campo de la teoría de números y los sistemas dinámicos por varias razones:

1. Construcción Explícita: Proporciona una construcción explícita y rigurosa de funciones que preservan la distribución uniforme, un fenómeno no trivial dado que la mayoría de las transformaciones no conservan esta propiedad.
2. Conexión entre Estructura Algebraica y Análisis: Vincula propiedades algebraicas (permutaciones cíclicas y aritmética modular) con propiedades analíticas (distribución uniforme, continuidad y diferenciabilidad).
3. Ejemplos de Funciones Patológicas: Las funciones $T_\pi$ sirven como ejemplos matemáticos de funciones que son uniformemente continuas y preservan la distribución, pero que son extremadamente irregulares (no monótonas y no diferenciables en casi todos los puntos).
4. Generalización de Buck: Extiende la comprensión de la distribución uniforme al marco de la densidad de medida de Buck, demostrando que las iteraciones de estas funciones generan secuencias con propiedades estadísticas muy fuertes (distribución uniforme de Buck), a pesar de su comportamiento caótico local.

En resumen, el artículo demuestra que es posible diseñar sistemas dinámicos discretos sobre el intervalo unitario que, a pesar de su complejidad local (falta de suavidad y monotonía), exhiben un comportamiento estadístico global perfectamente ordenado y predecible bajo la métrica de Buck.