Asymptotic mean of digits of the $Q_s$-representation of the fractional part of a real number and related problems of fractal geometry and fractal analysis

Die Arbeit führt den Begriff des asymptotischen Mittelwerts von Ziffern in der $Q_s$-Darstellung ein und untersucht die topologischen, metrischen und fraktalen Eigenschaften der Mengen reeller Zahlen, die entweder keinen solchen Mittelwert besitzen oder bei denen dieser Mittelwert mit der Ziffernhäufigkeit übereinstimmt.

Das Wesentliche

Der unsichtbare Rhythmus der Zahlen: Eine Reise durch die Welt der Fraktale

Stellen Sie sich vor, jede Zahl zwischen 0 und 1 ist wie ein unendlicher Roman. Um diese Zahl zu lesen, müssen wir sie in eine Sprache übersetzen, die aus Buchstaben (Ziffern) besteht. In der normalen Mathematik nutzen wir dafür das Dezimalsystem (0 bis 9) oder das Binärsystem (nur 0 und 1).

Dieser Artikel von Pratsiovytyi und Klymchuk beschäftigt sich jedoch mit einer neuen, flexibleren Sprache, die sie „$Q_s$-Darstellung" nennen.

1. Die neue Sprache: Ein ungleiches Alphabet

In unserem normalen Dezimalsystem hat jede Ziffer (0, 1, 2... 9) die gleiche Chance, an einer Stelle zu erscheinen. Das ist wie ein fairer Würfel mit 10 Seiten.

In der Welt dieses Artikels ist das anders. Stellen Sie sich ein schiefes Rad vor. Die Sektoren sind unterschiedlich groß.

• Die Ziffer „0" könnte einen riesigen Sektor haben (sie kommt oft vor).
• Die Ziffer „9" könnte nur einen winzigen Krümel haben (sie kommt selten vor).

Das ist die $Q_s$-Darstellung. Sie erlaubt es, Zahlen so zu schreiben, dass manche Ziffern viel häufiger vorkommen als andere, je nachdem, wie wir das Rad (die Wahrscheinlichkeiten $q_i$) einstellen.

2. Der „durchschnittliche Klang" (Asymptotischer Mittelwert)

Wenn Sie einen langen Text lesen, können Sie fragen: „Wie oft kommt der Buchstabe 'A' vor?" Das nennt man die Häufigkeit.

Die Autoren fragen sich aber etwas anderes: Wenn wir alle Ziffern einer Zahl addieren und durch die Länge der Zahl teilen, was erhalten wir dann?

• Stellen Sie sich vor, Sie zählen die Punkte, die Sie bei einem Würfelspiel sammeln.
• Wenn Sie unendlich oft würfeln, wie hoch ist Ihr durchschnittlicher Punktestand pro Wurf?

Das ist der asymptotische Mittelwert der Ziffern.

• Bei einer „normalen" Zahl (wie $\pi$) stabilisiert sich dieser Durchschnittswert auf einen festen Wert.
• Bei manchen Zahlen passiert das nie. Der Durchschnitt schwankt wild hin und her, wie ein Pendel, das nie zur Ruhe kommt. Für diese Zahlen existiert dieser „Mittelwert" einfach nicht.

3. Die drei Gruppen von Zahlen

Die Autoren untersuchen, wie sich die Zahlen verhalten, wenn man nach diesem Mittelwert sucht. Sie teilen die Welt der Zahlen in drei interessante Gruppen ein:

Gruppe A: Die Chaoten (Kein Mittelwert)
Es gibt Zahlen, deren Ziffern so wild durcheinander gewürfelt sind, dass sich kein Durchschnittswert festlegen lässt.

• Analogie: Stellen Sie sich eine Menschenmenge vor, in der die Leute wild durcheinander rennen. Wenn Sie versuchen, die durchschnittliche Laufrichtung zu berechnen, erhalten Sie kein Ergebnis, weil sich die Menge ständig ändert.
• Das Überraschende: Diese Zahlen sind extrem selten (fast keine von ihnen existiert im Sinne der klassischen Wahrscheinlichkeit), aber sie sind überall. Wenn Sie in jedes noch so kleine Intervall der Zahlengeraden schauen, finden Sie solche Chaoten.
• Fraktale Dimension: Diese Menge ist so komplex und „zerklüftet", dass sie eine fraktale Dimension von 1 hat. Das bedeutet, sie ist zwar winzig klein (hat keine „Fläche"), aber sie ist so dicht und komplex, dass sie fast wie eine ganze Linie wirkt. Die Autoren nennen dies „Superfraktal".

Gruppe B: Die Harmonischen (Mittelwert = Häufigkeit)
Hier gibt es eine spezielle Beziehung. Bei manchen Zahlen ist der berechnete Durchschnittswert der Ziffern genau gleich der Häufigkeit einer bestimmten Ziffer.

• Analogie: Stellen Sie sich ein Orchester vor. Der „Durchschnitts-Lautstärkepegel" des gesamten Orchesters ist genau so laut wie die Stimme des ersten Geigers. Das ist eine sehr spezielle, fast magische Bedingung.
• Die Autoren zeigen, dass auch diese Zahlen eine sehr komplexe, fraktale Struktur haben, aber sie sind immer noch „kleiner" als die gesamte Zahlenmenge.

Gruppe C: Die Extremen (Nur eine Ziffer)
Es gibt Zahlen, bei denen der Mittelwert so ist, dass nur eine einzige Ziffer vorkommt (z. B. nur die 0).

• Analogie: Ein Lied, das nur aus einem einzigen Ton besteht.
• Diese Menge ist so „dünn", dass ihre fraktale Dimension 0 ist. Sie ist wie ein einzelner Punkt in einem unendlichen Ozean.

4. Warum ist das wichtig? (Die Welt der Fraktale)

Warum beschäftigen sich Mathematiker mit solchen seltsamen Zahlen?

• Die unsichtbare Struktur: Die meisten Zahlen, die wir im Alltag nutzen, sind „normal". Aber die Welt der Mathematik ist voller „Anomalien". Diese Anomalien bilden oft wunderschöne, komplexe Muster, die man als Fraktale bezeichnet (ähnlich wie ein Farnblatt oder eine Schneeflocke, die sich in immer kleineren Details wiederholt).
• Neue Werkzeuge: Indem sie den „Mittelwert der Ziffern" definieren, geben die Autoren den Mathematikern ein neues Werkzeug an die Hand, um diese seltsamen Mengen zu vermessen und zu verstehen. Sie können nun sagen: „Wie komplex ist diese Menge von Zahlen, die keinen Durchschnittswert hat?"

Zusammenfassung in einem Satz

Dieser Artikel zeigt uns, dass hinter der scheinbar einfachen Welt der Dezimalzahlen eine riesige, unsichtbare Landschaft aus chaotischen und fraktalen Strukturen verborgen liegt, die man nur mit neuen mathematischen „Brillen" (wie dem asymptotischen Mittelwert) sehen und vermessen kann.

Es ist, als würden die Autoren nicht nur die Buchstaben in einem Buch zählen, sondern herausfinden, welche Bücher einen so verrückten Rhythmus haben, dass man sie nicht mehr in eine Melodie einordnen kann – und beweisen, dass diese verrückten Bücher überall im Regal stehen, auch wenn man sie kaum bemerkt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers auf Deutsch:

Titel: Asymptotischer Mittelwert der Ziffern der $Q_s$-Darstellung des gebrochenen Teils einer reellen Zahl und verwandte Probleme der fraktalen Geometrie und Fraktalanalyse

Autoren: M. V. Pratsiovytyi und S. O. Klymchuk

---

1. Problemstellung und Hintergrund

Das Paper untersucht die Eigenschaften reeller Zahlen im Kontext nicht-traditioneller Zahlensysteme, spezifisch der $Q_s$-Darstellung. Diese Darstellung ist eine Verallgemeinerung des klassischen $s$-adischen Zahlensystems. Während im $s$-adischen System die Basis $s$ und die Wahrscheinlichkeiten der Ziffern (alle gleich $1/s$) festgelegt sind, erlaubt die$Q_s$-Darstellung eine flexible Gewichtung der Ziffern durch eine Menge$Q_s = {q_0, \dots, q_{s-1}}$mit$q_i > 0$und$\sum q_i = 1$.

Das zentrale Problem besteht darin, ein Konzept des asymptotischen Mittelwerts der Ziffern für reelle Zahlen in dieser Darstellung zu definieren und die topologischen, metrischen und fraktalen Eigenschaften der Mengen von Zahlen zu analysieren, für die dieser Mittelwert existiert, nicht existiert oder bestimmte Bedingungen erfüllt. Insbesondere wird der Zusammenhang zwischen diesem Mittelwert und den asymptotischen Frequenzen der einzelnen Ziffern untersucht.

2. Methodik und Definitionen

• $Q_s$-Darstellung: Jede reelle Zahl $x \in [0, 1]$ lässt sich als Reihe darstellen:
  $$x = \beta_{\alpha_1} + \sum_{k=2}^{\infty} \left[ \beta_{\alpha_k} \prod_{j=1}^{k-1} q_{\alpha_j} \right]$$
  wobei $\alpha_k \in \{0, \dots, s-1\}$ die $k$-te Ziffer ist und $\beta_j$ die kumulierte Summe der Gewichte $q_i$ bezeichnet.
• Asymptotischer Mittelwert ($r(x)$): Für eine Zahl $x$ mit der Ziffernfolge $(\alpha_n)$ wird der asymptotische Mittelwert definiert als der Grenzwert:
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^{n} \alpha_i(x)$$
  Falls dieser Grenzwert existiert, ist $r(x)$ der Mittelwert.
• Zusammenhang mit Frequenzen: Sei $\nu_i(x)$ die asymptotische Häufigkeit (Frequenz) der Ziffer $i$. Es gilt die Beziehung:
  $$r(x) = \sum_{i=0}^{s-1} i \cdot \nu_i(x)$$
  Im binären System ($s=2$) stimmt $r(x)$ mit der Frequenz der Ziffer 1 überein.
• Analyseansatz: Die Autoren nutzen Methoden der fraktalen Geometrie, insbesondere die Berechnung der Hausdorff-Besicovitch-Dimension, sowie maßtheoretische Argumente (Lebesgue-Maß), um die Struktur der untersuchten Mengen zu charakterisieren.

3. Wichtige Beiträge und Ergebnisse

A. Existenz und Nicht-Existenz des asymptotischen Mittelwerts

Die Autoren definieren die Menge $S$ aller Zahlen, für die der asymptotische Mittelwert $r(x)$ nicht existiert.

• Satz 1: Die Menge $S$ ist:
  • Kontinuierlich: Sie enthält überabzählbar viele Punkte.
  • Überall dicht: In jedem Intervall der $Q_s$-Darstellung gibt es Elemente aus $S$.
  • Überall unstetig: Zwischen zwei Elementen von $S$ liegt immer eine rationale Zahl (die $r(x)$ besitzt).
  • Lebesgue-Maß Null: Da $S$ eine Teilmenge der "anormalen" Zahlen ist (Zahlen, bei denen nicht alle Frequenzen existieren), hat sie das Lebesgue-Maß 0.
  • Superfraktal: Die Hausdorff-Besicovitch-Dimension von $S$ ist $\alpha_0(S) = 1$. Dies bedeutet, dass die Menge trotz ihres Maßes von Null eine maximale fraktale Dimension besitzt.

B. Mengen mit spezifischen Beziehungen zwischen Mittelwert und Frequenz

Die Autoren untersuchen die Mengen $M_i = \{x : r(x) = \nu_i(x)\}$, also Zahlen, bei denen der asymptotische Mittelwert gleich der Frequenz einer bestimmten Ziffer $i$ ist.

• Fall $M_0$ (Mittelwert = Frequenz der Ziffer 0):

  • Es wird gezeigt, dass $M_0$ eine kontinuierliche, überall dichte Menge mit Lebesgue-Maß 0 ist.
  • Die Hausdorff-Dimension wird durch Maximierung einer Entropie-Funktion unter den Nebenbedingungen $\nu_0 + \nu_1 + \nu_2 = 1$ und $r(x) = \nu_0$ berechnet.
  • Ergebnis: Die Dimension ist mindestens 0,8733.

• Fall $M_1$ (Mittelwert = Frequenz der Ziffer 1):

  • Ähnlich wie bei $M_0$ ist die Menge kontinuierlich, dicht und vom Maß Null.
  • Ergebnis: Die Hausdorff-Dimension beträgt mindestens $\log_2 3 \approx 1,58$ (im Kontext des betrachteten Raumes).

• Fall $M_2$ (Mittelwert = Frequenz der Ziffer 2):

  • Aus der Definition folgt hier $\nu_1 = \nu_2 = 0$ und $\nu_0 = 1$.
  • Ergebnis: Die Menge $M_2$ entspricht genau der Menge der Zahlen, die nur die Ziffer 0 enthalten. Ihre Hausdorff-Dimension ist 0. Sie wird als "anomal fraktal" bezeichnet.

C. Normalität und Singularität

Das Paper stellt den Zusammenhang zur Theorie der normalen Zahlen her. Da fast alle reellen Zahlen (im Sinne des Lebesgue-Maßes) normal sind (d.h. alle Frequenzen existieren und sind gleich $1/s$), existiert für fast alle Zahlen auch der asymptotische Mittelwert. Die Menge der Zahlen, bei denen der Mittelwert nicht existiert, ist also eine "Ausnahme"-Menge, die jedoch fraktal gesehen sehr "groß" (Dimension 1) ist.

4. Bedeutung und Implikationen

1. Verallgemeinerung der Zahlentheorie: Das Konzept des asymptotischen Mittelwerts erweitert die klassische Theorie der Ziffernverteilung auf verallgemeinerte $Q_s$-Systeme, die eine selbstähnliche Geometrie aufweisen.
2. Fraktale Analyse: Die Arbeit liefert konkrete Beispiele für Mengen mit extremen Eigenschaften: Mengen mit Lebesgue-Maß 0, aber Hausdorff-Dimension 1 (Superfraktalität). Dies unterstreicht die Komplexität der Verteilung von Ziffernfolgen in nicht-standardisierten Zahlensystemen.
3. Topologische Struktur: Die Ergebnisse zeigen, dass die Menge der "pathologischen" Zahlen (ohne definierten Mittelwert) topologisch dicht und kontinuierlich ist, was für das Verständnis der Struktur reeller Zahlen in der Fraktalanalyse wichtig ist.
4. Anwendbarkeit: Die eingeführten Konzepte und die Untersuchung der Funktion $r(x)$ bieten neue Ansätze für die Konstruktion und Analyse singulärer Verteilungen und fraktaler Mengen, die in der Wahrscheinlichkeitstheorie und der dynamischen Systeme relevant sein können.

Fazit: Das Paper etabliert den asymptotischen Mittelwert der Ziffern als nützliches Werkzeug zur Klassifizierung reeller Zahlen in $Q_s$-Darstellungen. Es zeigt, dass die Menge der Zahlen ohne diesen Mittelwert zwar messtechnisch vernachlässigbar (Maß 0), aber fraktal maximal komplex (Dimension 1) ist, und liefert präzise Dimensionsabschätzungen für Teilmengen mit speziellen Frequenz-Mittelwert-Beziehungen.