Frequency of a Digit in the Representation of a Number and the Asymptotic Mean Value of the Digits

Il lavoro stabilisce le condizioni per l'esistenza della media asintotica delle cifre in un numero ternario e dimostra l'esistenza di un insieme infinito e ovunque denso di numeri privi di frequenza delle cifre ma dotati di tale media.

L'essenziale

Immagina di avere un numero infinito, come un numero decimale che continua per sempre senza ripetersi mai esattamente. Ora, immagina di scrivere questo numero non in base 10 (come facciamo noi con le cifre da 0 a 9), ma in base 3. In base 3, usiamo solo tre "mattoncini": lo 0, l'1 e il 2.

Ogni numero tra 0 e 1 può essere costruito usando una lunga sequenza infinita di questi tre mattoncini. Ad esempio, un numero potrebbe iniziare così: 0.120112002... e così via all'infinito.

Gli autori di questo articolo, Klymchuk, Makarchuk e Prats'ovytyi, si sono chiesti una cosa molto curiosa: cosa succede se contiamo quanti 0, quanti 1 e quanti 2 appaiono in questa sequenza infinita?

Ecco la spiegazione semplice dei loro scopi, usando metafore quotidiane.

1. La "Frequenza" (Il conteggio delle monete)

Immagina di avere un secchio infinito di monete colorate: rosse (0), blu (1) e verdi (2). Se mescoli le monete e ne prendi una alla volta, dopo un po' potresti notare che il 33% sono rosse, il 33% blu e il 33% verdi.
In matematica, questo si chiama frequenza. Se guardi i primi 1000 numeri della sequenza e conti quanti 1 ci sono, dividi per 1000 e ottieni una percentuale. Se continui all'infinito e questa percentuale si stabilizza su un numero preciso (ad esempio, il 33%), allora diciamo che la "frequenza" esiste.

2. La "Media Asintotica" (Il peso medio del secchio)

Ora, invece di contare solo quante monete ci sono, diamo un "peso" a ogni colore:

• La moneta 0 pesa 0.
• La moneta 1 pesa 1.
• La moneta 2 pesa 2.

La media asintotica è come calcolare il "peso medio" di tutte le monete che hai estratto finora.

• Se hai solo 0 e 2, ma in quantità uguali, la media sarà 1 (perché (0+2)/2 = 1).
• Se hai molti 1, la media sarà vicina a 1.
• Se hai molti 2, la media sarà vicina a 2.

La domanda degli scienziati era: È possibile avere una media stabile (un peso medio fisso) anche se le frequenze (le percentuali di colori) sono caotiche e non si stabilizzano mai?

3. La Scoperta Sorprendente: Il Caos Ordinato

La risposta è un SÌ sorprendente.

Gli autori dimostrano che esistono numeri "strani" (un insieme infinito e denso di numeri) per cui:

• La media è perfetta: Se calcoli il peso medio dei tuoi mattoncini, questo si stabilizza su un numero preciso (ad esempio, 1.5). È come se il secchio avesse un peso medio costante.
• Le frequenze sono pazze: Se provi a contare quanti 0, 1 e 2 ci sono, non riesci mai a trovare una percentuale fissa. A volte ci sono troppi 0, poi improvvisamente troppi 2, poi di nuovo 1. Le percentuali oscillano all'infinito senza mai fermarsi su un valore preciso.

L'analogia del "Danza del Caos":
Immagina una danza dove tre ballerini (0, 1 e 2) si muovono sul palco.

• In una danza "normale", i ballerini si alternano in modo regolare: ogni tanto vedi il 33% di ciascuno.
• In questa danza "strana" scoperta dagli autori, i ballerini corrono in modo disordinato. A volte il ballerino "2" fa una corsa pazzesca e riempie il palco, poi il "0" fa lo stesso. Non riesci a dire "il 30% del tempo c'è il 0".
• TUTTAVIA, se calcoli il "peso totale" della danza (dando più peso al 2 e meno al 0), il risultato medio rimane incredibilmente stabile. È come se, nonostante il caos dei singoli passi, l'energia totale della danza fosse perfettamente controllata.

4. Perché è importante?

Prima di questo studio, si pensava che per avere una media stabile, le frequenze dovessero essere stabili. Gli autori hanno costruito un "laboratorio matematico" (un algoritmo) per creare questi numeri speciali.

Hanno dimostrato che:

1. Esistono davvero: Non sono solo un'idea astratta, ma si possono costruire.
2. Sono ovunque: Se prendi un qualsiasi intervallo di numeri (anche piccolissimo), troverai sempre questi numeri "strani" mescolati a quelli normali. Sono come granelli di sabbia nascosti in una spiaggia enorme.
3. La regola normale: Per la stragrande maggioranza dei numeri (quelli "normali"), se la media esiste, allora anche le frequenze esistono. Ma questi numeri "anomali" sono l'eccezione che rompe la regola, dimostrando che la matematica può essere più complessa e affascinante di quanto sembri.

In sintesi

Questo articolo ci dice che l'ordine (la media stabile) può nascere dal caos (frequenze instabili). È come se potessi avere una stanza con un'illuminazione media perfetta e costante, anche se le singole lampadine si accendono e spengono in modo totalmente casuale e imprevedibile. La matematica dei numeri, in questo caso, ci mostra che il "tutto" può essere prevedibile anche quando le "parti" sono completamente caotiche.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Frequency of a Digit in the Representation of a Number and the Asymptotic Mean Value of the Digits" di S. O. Klymchuk, O. P. Makarchuk e M. V. Prats'ovytyi, pubblicata sull'Ukrainian Mathematical Journal nel 2014.

1. Problema e Contesto

Il lavoro si inserisce nello studio delle proprietà metriche e topologiche delle rappresentazioni numeriche, in particolare della rappresentazione $s$-aria (in questo caso specifica per $s=3$, ovvero ternaria) dei numeri reali nell'intervallo $[0, 1]$.

Il problema centrale riguarda la relazione tra due concetti fondamentali:

1. Frequenza asintotica di una cifra ($\nu_i(x)$): Il limite della proporzione con cui una cifra specifica $i$ appare nella rappresentazione di un numero $x$ man mano che la lunghezza della rappresentazione tende all'infinito.
2. Valore medio asintotico delle cifre ($r(x)$): Il limite della media aritmetica delle cifre stesse nella rappresentazione di $x$.

Mentre è ben noto che per quasi tutti i numeri (nel senso della misura di Lebesgue) le frequenze delle cifre esistono ed sono uguali (numeri normali), il comportamento dei numeri in cui le frequenze non esistono è meno esplorato. L'obiettivo degli autori è stabilire le condizioni di esistenza del valore medio asintotico e investigare l'esistenza di numeri che possiedono un valore medio ben definito ma non possiedono frequenze asintotiche per le singole cifre.

2. Metodologia

Gli autori utilizzano un approccio analitico e costruttivo basato sulla teoria dei numeri e sull'analisi reale:

• Definizioni Formali: Vengono definiti rigorosamente la frequenza relativa $N_i(x, k)/k$ e la media relativa $r_n(x) = \frac{1}{n}\sum_{i=1}^n \alpha_i(x)$.
• Relazioni Lineari: Viene stabilita una relazione lineare tra il valore medio e le frequenze delle cifre. Per una base $s$, il valore medio è dato da $r(x) = \sum_{i=1}^{s-1} i \cdot \nu_i(x)$.
• Analisi del Caso Ternario ($s=3$): Il cuore della metodologia risiede nello studio del sistema di equazioni per le frequenze $\nu_0, \nu_1, \nu_2$ e la media $r$. Gli autori dimostrano che, per $s=3$, l'esistenza della media e di almeno una frequenza implica l'esistenza delle altre due frequenze.
• Costruzione di Controesempi (Algoritmo): Per dimostrare l'esistenza di numeri con media definita ma frequenze non definite, gli autori sviluppano un algoritmo costruttivo. Questo algoritmo genera un numero $x^*$ attraverso blocchi di cifre (0, 1, 2) di lunghezze variabili determinate da sequenze di interi e funzioni parte intera.
• Lemmi di Convergenza: Vengono utilizzati lemmi tecnici (es. Lemma 2 e 3) riguardanti la convergenza di somme di parti intere per dimostrare che, mentre la media globale converge a un valore $\theta$, le frequenze parziali oscillano e non convergono.

3. Contributi Chiave e Risultati

A. Relazione tra Frequenza e Media

• Lemma 1: Se tutte le frequenze delle cifre esistono, allora esiste anche il valore medio asintotico, ed è calcolabile come combinazione lineare delle frequenze.
• Teorema 2 (Caso Ternario): Per la base 3, se esiste il valore medio $r(x)$ e almeno una delle frequenze $\nu_j(x)$, allora tutte le frequenze esistono. Viceversa, se il valore medio esiste ma una frequenza non esiste, allora nessuna delle frequenze esiste. Questo implica che per $s=3$, l'insieme dei numeri con media definita ma frequenze non definite è un caso specifico dove tutte le frequenze falliscono simultaneamente.

B. Esistenza di Numeri "Patologici"

• Teorema 3: Gli autori dimostrano l'esistenza di un insieme continuo e ovunque denso di numeri nell'intervallo $[0, 1]$ tali che:
  1. Le frequenze delle cifre ternarie non esistono (oscillano indefinitamente).
  2. Il valore medio asintotico delle cifre esiste ed è uguale a un parametro preassegnato $\theta \in (0, 2)$.
• Costruzione: Viene fornito un algoritmo esplicito per costruire tali numeri utilizzando blocchi di cifre la cui lunghezza è controllata da parametri $x_1, x_2$ scelti in modo da far oscillare le frequenze parziali mentre la media globale converge.

C. Proprietà della Funzione del Valore Medio ($r(x)$)

• Teorema 4: La funzione $r(x)$ che associa a ogni numero il suo valore medio asintotico possiede le seguenti proprietà:
  1. È definita su un insieme ovunque denso in $[0, 1]$.
  2. Non è definita su un sottoinsieme ovunque denso di $[0, 1]$ (esistono numeri senza media asintotica).
  3. Assume tutti i valori nell'intervallo $[0, s-1]$.
  4. Ha un unico livello di misura di Lebesgue completa: l'insieme dei numeri per cui $r(x) = (s-1)/2$ (il valore medio per i numeri normali) ha misura 1. Per ogni altro valore, l'insieme ha misura zero.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Distinzione Concettuale: Chiarisce che la convergenza della media aritmetica delle cifre è una condizione più debole rispetto alla convergenza delle frequenze individuali. È possibile avere un comportamento statistico "stabile" nella media (valore atteso) anche in assenza di una distribuzione stabile delle singole cifre.
2. Proprietà Topologiche: Dimostra che l'insieme dei numeri con media definita ma senza frequenze definite non è un insieme "esotico" o raro, ma è continuo e ovunque denso. Questo arricchisce la comprensione della struttura dell'insieme dei numeri reali e delle loro rappresentazioni.
3. Generalizzazione: Sebbene il focus sia sulla base 3, i risultati offrono un quadro teorico per l'analisi di sistemi di numerazione in basi superiori, collegandosi alla teoria dei numeri normali e agli insiemi di Besicovitch-Eggleston.
4. Applicazioni: Questi risultati sono rilevanti per la teoria delle distribuzioni singolari, la teoria dei frattali e lo studio delle proprietà metriche di insiemi definiti da condizioni asintotiche sulle cifre.

In sintesi, il paper risolve il problema dell'esistenza del valore medio asintotico in assenza di frequenze, fornendo una costruzione esplicita e dimostrando la densità topologica di tali numeri, colmando un vuoto nella comprensione delle proprietà statistiche delle rappresentazioni numeriche.