Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number

Cet article étudie les transformations de l'intervalle $[0;1)$ et les fonctions qui préservent la moyenne asymptotique des chiffres dans la représentation $s$-adique d'un nombre, en établissant les conditions nécessaires et suffisantes pour qu'une transformation appartienne à cette classe.

L'essentiel

🎵 La Symphonie des Chiffres : Comment garder le rythme sans changer la mélodie

Imaginez que chaque nombre entre 0 et 1 est une partition musicale infinie. Pour écrire ce nombre, nous utilisons un système de notation spécial (appelé représentation "s-adique", ici en base 3, comme un code binaire mais avec trois notes : 0, 1 et 2).

Chaque chiffre dans cette suite infinie est une note.

• Le 0 est une note grave.
• Le 1 est une note moyenne.
• Le 2 est une note aiguë.

L'article de Pratsiovtyi, Klymchuk et Makarchuk pose une question fascinante : Peut-on réarranger ou modifier cette partition infinie sans changer deux choses essentielles ?

1. La fréquence de chaque note (combien de fois on entend le 0, le 1 ou le 2).
2. La moyenne globale de la hauteur des notes (la "valeur moyenne" du nombre).

Voici ce qu'ils ont découvert, expliqué simplement :

1. Le "Rythme" (La Fréquence des Chiffres)

Certains nombres sont comme des musiciens parfaits : si vous écoutez assez longtemps, vous entendez exactement 1/3 de notes "0", 1/3 de notes "1" et 1/3 de notes "2". C'est ce qu'on appelle un nombre "normal".

Les auteurs ont étudié des transformations (des règles pour changer le nombre) qui préservent ce rythme exact.

• L'analogie du groupe : Imaginez un groupe de danseurs. Si vous changez l'ordre dans lequel ils dansent (par exemple, échanger le premier et le deuxième danseur), le nombre total de danseurs de chaque type reste le même.
• La découverte : Ils ont prouvé que l'ensemble de toutes ces transformations forme un "groupe" mathématique. C'est un peu comme un club secret où les règles sont strictes : si vous appliquez deux transformations qui gardent le rythme, le résultat garde aussi le rythme.

2. La "Mélodie Moyenne" (La Moyenne Asymptotique)

Parfois, on ne se soucie pas de la fréquence exacte de chaque note, mais seulement de la hauteur moyenne de la musique.

• Si vous avez beaucoup de 0 et de 2, la moyenne peut être la même que si vous avez beaucoup de 1.
• Exemple : Une suite avec 50% de 0 et 50% de 2 a une moyenne de 1. Une suite avec 100% de 1 a aussi une moyenne de 1.

L'article se demande : Peut-on changer la fréquence des notes (le rythme) tout en gardant la même hauteur moyenne (la mélodie) ?

3. Les Trois Scénarios Découverts

Voici les trois conclusions principales de l'article, illustrées par des métaphores :

A. Le Cas "Tout ou Rien" (Pour les nombres spéciaux)
Pour certains nombres très particuliers (ceux où la moyenne est 0 ou 2), il est impossible de changer le rythme sans changer la moyenne.

• Analogie : Si votre musique est composée uniquement de notes graves (0), la moyenne est 0. Si vous changez une note pour en faire une note aiguë (2), la moyenne monte immédiatement. Vous ne pouvez pas tricher ici. Pour ces nombres, garder la moyenne signifie obligatoirement garder le rythme exact.

B. Le Cas "Presque Parfait" (Pour la majorité des nombres)
Pour la grande majorité des nombres (ceux qu'on appelle "normaux"), il existe des transformations magiques.

• Analogie : Imaginez que vous avez une chanson infinie où les notes sont parfaitement équilibrées. L'article montre qu'on peut faire un petit "glitch" : remplacer certains 1 par des 0 et d'autres par des 2, de manière très spécifique (par exemple, tous les 7ème chiffres).
• Le résultat : Le rythme exact change (il y a maintenant plus de 0 et moins de 1), mais la moyenne globale reste exactement la même. C'est comme si vous aviez remplacé des instruments par d'autres, mais le volume moyen de l'orchestre n'a pas bougé d'un décibel.

C. Le Cas "Chaos Contrôlé" (Quand le rythme n'existe même pas)
C'est la partie la plus surprenante. Les auteurs ont construit une fonction qui préserve la moyenne, mais qui rend le rythme imprévisible.

• Analogie : Imaginez un DJ qui mélange une musique infinie. Il s'assure que le volume moyen reste constant, mais il change les notes de façon si erratique (en utilisant des blocs de chiffres qui grandissent de façon explosive, comme des factorielles : 1, 2, 6, 24, 120...) qu'il devient impossible de dire "combien de fois j'ai entendu le chiffre 1".
• Le paradoxe : La moyenne est stable et calculable, mais la fréquence de chaque chiffre individuel n'existe pas (elle oscille éternellement). C'est comme une musique qui a un volume constant, mais dont le style change si vite qu'on ne peut plus identifier le genre musical.

En Résumé

Cet article est une exploration de la liberté dans l'infini.

1. Parfois, la loi est stricte : si vous voulez garder la moyenne, vous devez garder le rythme exact.
2. Souvent, vous avez de la liberté : vous pouvez changer le rythme (les fréquences) tout en gardant la moyenne globale intacte.
3. Parfois, vous pouvez même créer du chaos : vous pouvez garder la moyenne tout en détruisant complètement la régularité des chiffres.

Les auteurs nous montrent que les nombres, même s'ils semblent fixes, cachent des mondes de transformations possibles où l'on peut jouer avec l'ordre et le chaos, tant que l'équilibre global (la moyenne) est respecté. C'est une danse mathématique entre l'ordre parfait et le désordre créatif.

Résumé technique

Voici un résumé technique détaillé de l'article « Transformations et fonctions préservant la moyenne asymptotique des chiffres dans la représentation ternaire d'un nombre », rédigé en français.

1. Problématique et Contexte

L'article se concentre sur l'étude des transformations de l'intervalle $[0, 1)$ et des fonctions définies sur cet intervalle qui préservent certaines propriétés statistiques des chiffres dans la représentation $s$-adique (ici, spécifiquement pour $s=3$, la représentation ternaire) d'un nombre réel $x$.

Deux concepts fondamentaux sont au cœur de l'analyse :

• La fréquence des chiffres ($\nu_i(x)$) : La limite de la proportion du chiffre $i$ dans la représentation de $x$ lorsque le nombre de chiffres tend vers l'infini.
• La moyenne asymptotique des chiffres ($r(x)$) : Définie comme la limite de la moyenne arithmétique des chiffres de la représentation de $x$ :
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^n \alpha_k(x)$$
  où $\alpha_k(x)$ est le $k$-ième chiffre de $x$ en base 3.

La question centrale est de déterminer les conditions nécessaires et suffisantes pour qu'une transformation ou une fonction préserve cette moyenne asymptotique $r(x)$, et d'explorer la relation entre la préservation de la moyenne et la préservation des fréquences individuelles des chiffres. L'auteurs s'intéressent particulièrement aux cas où la fonction préserve la moyenne mais ne préserve pas les fréquences, ou inversement.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des nombres, la théorie ergodique et la géométrie fractale.

• Représentation Symbolique : Les nombres sont traités comme des suites de chiffres $(\alpha_k) \in \{0, 1, 2\}^\mathbb{N}$. Les auteurs distinguent les nombres rationnels $s$-adiques (qui ont deux représentations) des irrationnels $s$-adiques (une seule représentation), en adoptant la convention de la représentation à période nulle pour bien définir les fonctions.
• Théorie des Groupes : L'ensemble des transformations bijectives préservant les fréquences des chiffres est étudié sous l'angle de la théorie des groupes (composition de transformations).
• Analyse Asymptotique et Théorèmes de Limites : Pour prouver la non-existence de certaines limites ou la convergence vers des valeurs spécifiques, les auteurs utilisent le théorème de Stolz-Cesàro et des estimations fines sur les sommes partielles de factorielles et de puissances.
• Construction de Contre-exemples : Une grande partie de la méthodologie repose sur la construction explicite de fonctions et de transformations (souvent définies par blocs de chiffres) pour démontrer l'indépendance entre la préservation de la moyenne et celle des fréquences.

3. Contributions et Résultats Clés

A. Préservation des Fréquences des Chiffres

• Structure Algébrique : Les auteurs démontrent que l'ensemble $V$ des transformations de $[0, 1)$ qui préservent les fréquences de tous les chiffres forme un groupe non commutatif sous l'opération de composition.
• Distinction Transformation/Fonction : Ils montrent qu'il existe des fonctions (non bijectives) qui préservent les fréquences mais ne sont pas des transformations (ex: décalage de la séquence de chiffres).
• Dimension Fractale : Un résultat important (Théorème 1) est l'existence de fonctions qui préservent les fréquences des chiffres mais ne préservent pas la dimension fractale de Hausdorff-Besicovitch. Cela est illustré par une fonction qui mappe un ensemble de Besicovitch-Eggleston (de dimension non nulle) vers un point unique (dimension nulle), tout en conservant les fréquences statistiques.

B. Relation entre Moyenne Asymptotique et Fréquences (Cas $s=3$)

• Cas des Fréquences Existantes : Pour les nombres où les fréquences $\nu_0, \nu_1, \nu_2$ existent, la moyenne asymptotique est donnée par $r(x) = \nu_1(x) + 2\nu_2(x)$.
• Théorème d'Équivalence (Théorème 2) : C'est un résultat majeur. Pour les nombres dont les fréquences existent (ensemble $\Theta$), il n'existe aucune fonction qui préserve la moyenne asymptotique $r(x)$ tout en modifiant les fréquences des chiffres.
  • Interprétation : Si une fonction préserve $r(x)$ sur l'ensemble des nombres où les fréquences sont définies, elle est obligée de préserver les fréquences individuelles $\nu_i(x)$. Les deux conditions sont liées de manière rigide dans ce contexte.

C. Préservation Presque Partout (Mesure de Lebesgue)

• Existence de Fonctions "Pathologiques" : En se plaçant presque partout (au sens de la mesure de Lebesgue) sur l'ensemble des nombres normaux $H$, les auteurs construisent une fonction $f$ qui préserve la moyenne asymptotique ($r(f(x)) = r(x) = 1$ pour les nombres normaux en base 3) mais modifie les fréquences.
  • Construction : La fonction remplace systématiquement certains chiffres "1" par "0" ou "2" selon une règle modulaire (tous les 7èmes chiffres "1").
  • Résultat : Pour un nombre normal $x \in H$, la nouvelle fréquence devient $\nu_0(f(x)) = 8/21$, $\nu_1(f(x)) = 5/21$, $\nu_2(f(x)) = 8/21$. La somme pondérée reste égale à 1, préservant ainsi la moyenne, mais les fréquences individuelles changent.
• Cardinalité : L'ensemble de telles fonctions a la cardinalité du continu hyper-réel (très grand), montrant l'abondance de telles transformations.

D. Cas où les Fréquences N'existent Pas

• Construction d'une Fonction Spécifique : Les auteurs construisent une fonction $f$ telle que pour tout $x$ dans l'ensemble des nombres normaux $H$, la moyenne asymptotique est préservée ($r(f(x)) = 1$), mais les fréquences des chiffres de $f(x)$ n'existent pas (la limite de la fréquence oscille).
• Méthode : Cette construction utilise des blocs de chiffres dont la longueur croît factoriellement ($1!, 2!, \dots$) avec des proportions de chiffres variables ($\tau_{in}$) qui oscillent de manière contrôlée. Grâce au théorème de Stolz, ils prouvent que la moyenne converge vers 1, tandis que les fréquences partielles oscillent entre deux valeurs distinctes (ex: 0,4 et 0,3 pour le chiffre 0), empêchant l'existence d'une limite unique.

4. Signification et Impact

Cet article apporte des contributions significatives à la théorie des nombres et à l'analyse fractale :

1. Clarification des Invariants : Il établit une hiérarchie claire entre les invariants. La préservation des fréquences implique la préservation de la moyenne, mais l'inverse n'est vrai que sous certaines conditions (existence des fréquences).
2. Indépendance Statistique : Il démontre que, dans le cadre de la mesure de Lebesgue (presque partout), il est possible de découpler la moyenne asymptotique des fréquences individuelles. Cela ouvre la voie à la construction de fonctions aux propriétés statistiques surprenantes.
3. Géométrie Fractale : La distinction entre les transformations préservant les fréquences et celles préservant la dimension fractale enrichit la compréhension des invariants géométriques des ensembles de Besicovitch-Eggleston.
4. Outils de Construction : Les méthodes de construction de fonctions basées sur des blocs de longueurs factorielles ou modulaires offrent des outils puissants pour générer des exemples de fonctions "monstres" en analyse réelle, utiles pour tester les limites des théorèmes de convergence.

En résumé, l'article prouve que la préservation de la moyenne asymptotique est une propriété plus faible que la préservation des fréquences, sauf dans le cas où les fréquences sont déjà bien définies, et montre qu'il existe une infinité de transformations complexes qui manipulent la structure des chiffres tout en conservant leur moyenne globale.