One one type of ud-preserving mapping

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres et des systèmes dynamiques, plus précisément dans l'étude de la distribution uniforme des suites.

• Contexte historique : La notion de distribution uniforme a été introduite par Hermann Weyl (liée à la densité asymptotique). En 1946, R. C. Buck a introduit la notion de « densité de mesure » (measure density), définissant une distribution uniforme par rapport à cette mesure, appelée distribution uniforme de Buck.
• Problème central : L'auteur cherche à construire une classe spécifique de transformations $T : [0, 1] \to [0, 1]$ qui préservent la distribution uniforme (au sens de Buck) et dont les itérations successives génèrent des suites également distribuées selon la mesure de Buck. De plus, l'article explore les propriétés analytiques (monotonie, dérivabilité) de ces transformations.

2. Méthodologie

L'approche repose sur la construction explicite d'une transformation basée sur le développement en série de Cantor et l'utilisation de permutations cycliques.

A. Définitions préliminaires

• Densité de Buck ($\mu^*$) : Pour un sous-ensemble $S \subset \mathbb{N}$, la densité est définie via des recouvrements par des classes résiduelles. Un ensemble est « Buck mesurable » si $\mu^*(S) + \mu^*(\mathbb{N} \setminus S) = 1$.
• Série de Cantor : Soit $(m_i)_{i \ge 1}$ une suite de nombres premiers entre eux. On pose $B_j = \prod_{i=1}^j m_i$ (avec $B_0=1$). Tout réel $\alpha \in [0, 1)$ admet un développement unique :
  $$\alpha = \sum_{j=0}^{\infty} \frac{b_j(\alpha)}{B_{j+1}}, \quad b_j(\alpha) \in \mathbb{Z}_{m_j}$$
  sous la condition que $b_j(\alpha) < m_j - 1$ pour une infinité de $j$.

B. Construction de l'application $T_\pi$

L'auteur définit une transformation $T_\pi$ en agissant sur les coefficients du développement de Cantor via une suite de permutations $\pi = (\pi_1, \pi_2, \dots)$, où chaque $\pi_n$ est une permutation de l'ensemble $\mathbb{Z}_{m_n} = \{0, \dots, m_n-1\}$.
La transformation est définie par :
$$T_\pi(\alpha) = \sum_{j=0}^{\infty} \frac{\pi_j(b_j(\alpha))}{B_{j+1}}$$

C. Hypothèses de travail

Pour les résultats principaux, les permutations $\pi_i$ sont supposées être des permutations cycliques de longueur $m_i$.

3. Résultats Clés et Contributions

L'article établit plusieurs théorèmes fondamentaux concernant les propriétés dynamiques et analytiques de $T_\pi$.

A. Distribution Uniforme de Buck (Théorème 1)

• Résultat : Si les permutations $\pi_i$ sont cycliques de longueur $m_i$, alors pour tout $\alpha \in [0, 1)$, la suite des itérées $\{v(n)\}$ définie par $v(n) = T_\pi^n(\alpha)$ est uniformément distribuée modulo 1 au sens de Buck.
• Preuve (Esquisse) :
  1. L'intervalle $[0, 1]$ est divisé en sous-intervalles $I_j^{(k)}$ de longueur $1/B_k$.
  2. Grâce au théorème chinois des restes et à la nature cyclique des permutations, l'auteur montre que l'ensemble des indices $n$ tels que $v(n)$ tombe dans un intervalle donné $I_j^{(k)}$ correspond à une classe résiduelle modulo $B_k$.
  3. Cela implique que l'ensemble pré-image $v^{-1}(I)$ est Buck mesurable et que sa mesure est égale à la longueur de l'intervalle $|I|$.
  4. Par conséquent, la suite satisfait le critère de distribution uniforme de Buck.

B. Préservation de la Distribution Uniforme

• Résultat : L'application $T_\pi$ préserve la distribution uniforme. Si une suite $\{v(n)\}$ est uniformément distribuée (modulo 1), alors la suite transformée $\{T_\pi(v(n))\}$ l'est également.
• Signification : Cela classe $T_\pi$ comme un exemple concret de transformation « ud-preserving » (uniform distribution preserving).

C. Propriétés Analytiques : Monotonie et Dérivabilité

L'article démontre que ces transformations, bien que continues, sont extrêmement irrégulières d'un point de vue analytique.

• Théorème 2 (Non-monotonie) : La fonction $T_\pi$ n'est ni monotone croissante, ni monotone décroissante sur aucun sous-intervalle de longueur positive.
  • Preuve : Sur n'importe quel intervalle de base de la décomposition, la permutation sous-jacente contient à la fois des paires croissantes et décroissantes, ce qui force la fonction à osciller localement.
• Théorème 3 (Non-dérivabilité) : Chaque sous-intervalle $I \subset [0, 1]$ contient au moins un point où $T_\pi$ n'est pas dérivable.
  • Preuve : En supposant la dérivabilité partout sur un intervalle, le théorème de Darboux impliquerait que la dérivée est constante (égale à 1), ce qui conduirait à $T_\pi(x) = x$, une contradiction avec la structure non triviale de la transformation.
• Condition de non-dérivabilité totale (Point 10 & 11) : Si les permutations $\pi_s$ sont des cycles standards $(0, 1, \dots, m_s-1)$ pour une infinité de $s$, alors $T_\pi$ n'est dérivable en aucun point de $[0, 1]$.

4. Signification et Impact

Ce travail apporte une contribution significative à la théorie des systèmes dynamiques et à la théorie des nombres de plusieurs manières :

1. Construction explicite : Il fournit une méthode constructive pour générer des transformations qui préservent la distribution uniforme de Buck, comblant un besoin de modèles concrets dans ce domaine.
2. Lien entre algèbre et analyse : L'article illustre comment des propriétés purement algébriques (cycles de permutations, théorème chinois des restes) dictent le comportement analytique global (distribution, dérivabilité) d'une fonction définie sur le continu.
3. Exemples de fonctions pathologiques : Les transformations $T_\pi$ servent d'exemples de fonctions continues, uniformément distribuées, mais qui sont « partout non monotones » et « presque partout non dérivables » (ou nulle part dérivables selon les conditions). Cela enrichit la famille des fonctions singulières étudiées en analyse réelle.
4. Généralisation : Ces résultats étendent la compréhension des mappings préservant la distribution uniforme au-delà des transformations classiques (comme $x \mapsto 2x \mod 1$), en introduisant une flexibilité via les permutations cycliques.

En résumé, Milan Paštéka démontre que l'itération de transformations basées sur des permutations cycliques dans le développement de Cantor génère des suites fortement distribuées selon la mesure de Buck, tout en produisant des fonctions aux propriétés analytiques très singulières.