Linear fractals of the Besicovitch-Eggleston type

Cet article étudie les propriétés topologiques, métriques et fractales de l'ensemble des nombres dans l'intervalle $[0;1]$ dont la moyenne asymptotique des chiffres dans leur représentation ternaire est fixée, en examinant le lien entre ces nombres et ceux ayant une fréquence de chiffres donnée.

L'essentiel

🎨 Les Fractales Linéaires : Une Danse de Chiffres dans le Triangle

Imaginez que vous avez un grand carré magique, le segment de 0 à 1. À l'intérieur de ce carré, chaque nombre possède une identité secrète, écrite dans un code spécial appelé représentation ternaire (base 3). Au lieu d'utiliser seulement 0 et 1 (comme en binaire), ce code utilise trois symboles : 0, 1 et 2.

Par exemple, le nombre 0,121021... en base 3 est une longue suite infinie de ces trois chiffres.

Les auteurs de cet article, Pratsiovytyi et Klymchuk, s'intéressent à une question amusante : Si l'on regarde la suite infinie des chiffres d'un nombre, peut-on prédire la "moyenne" de ces chiffres ?

1. Le Concept de "Moyenne Asymptotique" (La Balance des Chiffres)

Imaginez que vous lancez un dé à trois faces (0, 1, 2) une infinité de fois.

• Si vous obtenez souvent des 0, la moyenne sera basse.
• Si vous obtenez souvent des 2, la moyenne sera haute.
• Si vous obtenez un mélange équilibré, la moyenne sera autour de 1.

L'article définit cette moyenne comme la moyenne asymptotique des chiffres. C'est comme si vous preniez la moyenne de tous les chiffres d'un nombre, mais en regardant de plus en plus loin dans l'infini.

Les chercheurs se demandent : Quels nombres ont une moyenne précise, disons exactement 1,5 ? Ils appellent cet ensemble de nombres $S_a$.

2. La Relation avec la "Fréquence" (Qui gagne la course ?)

Pour comprendre cette moyenne, il faut regarder la fréquence de chaque chiffre.

• Combien de fois le chiffre 0 apparaît-il ?
• Combien de fois le chiffre 1 apparaît-il ?
• Combien de fois le chiffre 2 apparaît-il ?

Dans le monde des nombres "normaux" (ceux qui ressemblent à un dé équilibré), chaque chiffre apparaît un tiers du temps. La moyenne est alors parfaite.

Mais l'article explore les nombres "bizarres" (ou non normaux). Ce sont des nombres où les chiffres ne sont pas répartis équitablement.

• L'analogie du chef d'orchestre : Imaginez un chef d'orchestre (la moyenne) qui demande à ses musiciens (les chiffres 0, 1 et 2) de jouer un certain nombre de notes. Si le chef veut une moyenne de 1,5, il doit dire au musicien "1" de jouer un peu plus souvent qu'au musicien "0", et au musicien "2" de jouer encore plus.

Les auteurs montrent que si vous connaissez la fréquence de chaque chiffre, vous pouvez calculer la moyenne. Mais l'inverse est aussi vrai dans certains cas : si vous fixez la moyenne, cela impose des contraintes très strictes sur la façon dont les chiffres doivent se répartir.

3. La Structure "Fractale" (Le Flocon de Neige Mathématique)

C'est ici que ça devient magique. Si vous prenez tous les nombres qui ont une moyenne spécifique (par exemple, exactement 1), vous ne trouvez pas un simple tas de nombres. Vous trouvez une structure fractale.

• Qu'est-ce qu'un fractal ? C'est une forme qui a des détails à l'infini, comme un flocon de neige ou une côte de Bretagne. Si vous zoomez, vous voyez toujours la même complexité.
• La dimension de Hausdorff : C'est une mesure de la "complexité" ou de la "densité" de cette forme.
  • Un point a une dimension de 0.
  • Une ligne a une dimension de 1.
  • Une surface a une dimension de 2.
  • Les fractales ont souvent des dimensions "bizarres", comme 1,5.

Les auteurs calculent la dimension de ces ensembles de nombres. Ils découvrent que même si ces nombres sont très rares (ils occupent presque "aucune place" si on les mesure avec une règle classique, c'est-à-dire une mesure de Lebesgue nulle), ils sont extrêmement complexes et denses. Ils forment une "poussière" infinie qui remplit l'espace d'une manière très subtile.

4. Les Nombres "Sains" vs "Malades"

• Les nombres "sains" (Normaux) : La plupart des nombres réels sont "sains". Leurs chiffres sont mélangés au hasard, comme un jeu de cartes bien mélangé. Pour eux, la moyenne est toujours 1 (si on prend la base 3).
• Les nombres "malades" (Non normaux) : Ce sont les nombres étudiés ici. Leurs chiffres suivent un motif très spécifique (par exemple, beaucoup de 2, peu de 0). Bien qu'ils soient "rares" (on ne les trouve presque jamais au hasard), ils sont tous les mêmes en termes de structure : ils forment des fractales.

5. Le Résultat Principal (La Formule Magique)

L'article donne une formule précise pour calculer la "dimension fractale" de l'ensemble des nombres ayant une moyenne donnée ($a$).

• Si la moyenne est 1 (le cas normal), la dimension est 1 (c'est une ligne pleine, comme l'ensemble des nombres réels).
• Si la moyenne est différente de 1, la dimension est inférieure à 1, mais elle reste très élevée, montrant que ces ensembles sont des structures fractales très riches.

En Résumé

Cet article est comme une enquête policière sur les nombres.
Les détectives (les mathématiciens) cherchent tous les nombres qui ont une "moyenne de chiffres" précise. Ils découvrent que ces nombres, bien que très particuliers, ne sont pas isolés. Ils forment des galaxies fractales invisibles à l'œil nu, mais d'une complexité infinie.

C'est un peu comme si l'on disait : "Même si vous ne trouvez jamais un nombre avec une moyenne de 1,5 en regardant au hasard, si vous saviez où chercher, vous trouveriez une forêt entière de tels nombres, organisée selon des règles géométriques parfaites."

C'est une belle démonstration de la beauté cachée des mathématiques : là où l'on pense ne voir que du chaos ou du vide, il y a en réalité une structure fractale magnifique.

Résumé technique

Résumé Technique : Fractales Linéaires de Type Besicovitch–Eggleston

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres et de la géométrie fractale, en se concentrant sur les propriétés topologiques, métriques et fractales de sous-ensembles de l'intervalle $[0, 1]$.

Le problème central est l'étude des ensembles de nombres réels dont la moyenne asymptotique des chiffres dans leur représentation ternaire (base 3) est fixée à une valeur donnée $a$.

• Contexte historique : Les auteurs s'appuient sur les travaux pionniers de Borel, Lebesgue, Besicovitch et Eggleston concernant les nombres normaux et les ensembles définis par les fréquences asymptotiques des chiffres.
• Définitions clés :
  • Soit $x \in [0, 1]$ avec une représentation $s$-adique $\Delta_s \alpha_1 \alpha_2 \dots$.
  • La fréquence du chiffre $i$ est $\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x, n)}{n}$.
  • La moyenne asymptotique des chiffres est définie par $r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$.
• Objectif : Analyser la structure de l'ensemble $S_a = \{x \in [0, 1] : r(x) = a\}$, en particulier pour la base $s=3$, et déterminer comment la contrainte sur la moyenne $r(x)$ influence la dimension fractale et la mesure de Lebesgue de l'ensemble, par rapport aux ensembles classiques de Besicovitch-Eggleston où les fréquences individuelles sont fixées.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse réelle, la théorie ergodique et la géométrie fractale (dimension de Hausdorff-Besicovitch).

• Relations algébriques : Établissement de liens rigoureux entre la moyenne des chiffres $r(x)$ et les fréquences individuelles $\nu_i(x)$ dans la base 3.
  • Pour la base 3, la relation fondamentale est : $r(x) = 0\cdot\nu_0(x) + 1\cdot\nu_1(x) + 2\cdot\nu_2(x) = \nu_1(x) + 2\nu_2(x)$.
• Analyse de l'existence des limites : Utilisation de lemmes pour prouver que l'existence de la moyenne $r(x)$ et d'une fréquence (par exemple $\nu_0$) implique l'existence des autres fréquences, ou inversement, que l'absence de fréquence pour un chiffre entraîne l'absence pour au moins un autre.
• Construction d'ensembles :
  • Décomposition de l'ensemble $S_a$ en deux sous-ensembles disjoints :
    • $K_a$ : Nombres où toutes les fréquences $\nu_0, \nu_1, \nu_2$ existent.
    • $M_a$ : Nombres où au moins une fréquence n'existe pas.
  • Construction explicite d'applications injectives pour prouver la cardinalité du continu.
• Optimisation pour la dimension fractale : Calcul de la dimension de Hausdorff-Besicovitch $\alpha_0(K_a)$ en maximisant la fonction d'entropie sous les contraintes linéaires définies par la moyenne $a$.

3. Contributions Clés et Résultats Principaux

A. Propriétés de la fonction de fréquence $\nu_i(x)$

• Théorème 2 : La fonction de fréquence $\nu_i(x)$ est bornée sur $[0, 1]$, prend toutes les valeurs de $[0, 1]$, est non définie sur un ensemble dense, et est discontinue en tout point de $[0, 1]$. De plus, la limite $\lim_{x \to x_0} \nu_i(x)$ n'existe même si $\nu_i(x_0)$ est définie.
• Théorème 1 : Tout nombre rationnel possède des fréquences pour tous les chiffres ternaires (car sa représentation est périodique).

B. Structure de l'ensemble $K_a$ (Moyenne fixée, fréquences existantes)
L'article se concentre principalement sur le sous-ensemble $K_a \subset S_a$ où les fréquences existent.

1. Topologie et Mesure de Lebesgue :

   • $K_a$ est un ensemble de cardinalité du continu et est dense dans $[0, 1]$.
   • Mesure de Lebesgue :
     • Si $a = 1$, alors $\lambda(K_1) = 1$ (l'ensemble contient presque tous les nombres, y compris les nombres normaux de base 3).
     • Si $a \neq 1$, alors $\lambda(K_a) = 0$.

2. Dimension de Hausdorff-Besicovitch :
   Les auteurs dérivent une formule explicite pour la dimension fractale $\alpha_0(K_a)$. En maximisant l'entropie sous les contraintes :
   $$\nu_0 + \nu_1 + \nu_2 = 1$$
   $$\nu_1 + 2\nu_2 = a$$
   Ils obtiennent la dimension maximale :
   $$\alpha_0(K_a) = -\frac{1}{\ln 3} \ln \left[ \left(\frac{t-1}{3}\right)^{\frac{t-1}{3}} \left(\frac{7-3a-t}{6}\right)^{\frac{7-3a-t}{6}} \left(\frac{1+3a-t}{6}\right)^{\frac{1+3a-t}{6}} \right]$$
   où $t = \sqrt{1 + 6a - 3a^2}$.

   • Cas particulier : Pour $a=1$ (moyenne des chiffres égale à 1), la dimension est $\alpha_0(K_1) = 1$, ce qui confirme que l'ensemble des nombres normaux (où $r(x)=1$) a une dimension pleine.

C. Relation avec les ensembles de Besicovitch-Eggleston
L'article montre que $K_a$ est l'union d'ensembles de Besicovitch-Eggleston $E[\tau_0, \tau_1, \tau_2]$ tels que $\tau_1 + 2\tau_2 = a$. Cela permet d'utiliser les propriétés connues des ensembles de fréquences fixes pour déduire les propriétés de l'ensemble de moyenne fixe.

4. Signification et Implications

• Généralisation des fractales classiques : L'article étend la théorie des ensembles de Besicovitch-Eggleston (définis par des fréquences fixes) à des ensembles définis par une moyenne linéaire des chiffres. Cela introduit une nouvelle classe de "fractales linéaires".
• Comportement critique à $a=1$ : Le résultat le plus significatif est la transition de phase à $a=1$. Pour $a=1$, l'ensemble est "gros" (mesure de Lebesgue pleine, dimension 1), tandis que pour tout autre $a$, il devient un ensemble de mesure nulle mais de dimension fractale strictement inférieure à 1 (sauf aux extrêmes).
• Complétude des fréquences : L'article démontre que pour la base 3, la contrainte sur la moyenne asymptotique, couplée à l'existence d'une seule fréquence, force l'existence de toutes les fréquences. Cela simplifie l'analyse de la structure de l'ensemble par rapport aux cas plus généraux où les fréquences peuvent ne pas exister.
• Outils pour l'analyse fractale : La dérivation de la formule de dimension fournit un outil analytique précis pour quantifier la complexité de ces ensembles en fonction du paramètre $a$.

En conclusion, ce travail fournit une caractérisation complète (topologique, métrique et fractale) des ensembles de nombres ternaires ayant une moyenne de chiffres donnée, reliant profondément les propriétés statistiques des chiffres à la géométrie de l'ensemble sous-jacent.