One one type of ud-preserving mapping

Titolo: Su un tipo di mappatura che preserva la distribuzione uniforme

Autore: Milan Paštéka
Classificazione: 11B05 (Teoria dei numeri), 11J83 (Approssimazione diofantea).

---

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria dei numeri e dei sistemi dinamici, focalizzandosi sulla distribuzione uniforme (ud) delle sequenze.

• Distribuzione Uniforme Classica: Introdotta da Hermann Weyl, si basa sulla densità asintotica.
• Distribuzione Uniforme di Buck: Introdotta da R.C. Buck nel 1946, utilizza il concetto di "densità di misura" ($\mu^*$). Una sequenza $\{v(n)\}$ è detta Buck uniformemente distribuita modulo 1 se, per ogni sottointervallo $I \subset [0, 1]$, l'insieme degli indici $v^{-1}(I)$ è misurabile secondo Buck e la sua misura è uguale alla lunghezza dell'intervallo $|I|$.

L'obiettivo principale del paper è costruire una classe specifica di mappature sull'intervallo unitario $[0, 1]$ che:

1. Preservino la distribuzione uniforme (se l'input è uniformemente distribuito, lo è anche l'output).
2. Generino, attraverso le loro iterazioni, sequenze che sono Buck uniformemente distribuite.
3. Presentino proprietà analitiche specifiche, in particolare riguardo alla monotonia e alla derivabilità.

2. Metodologia e Costruzione

L'autore costruisce la mappatura $T_\pi$ utilizzando una generalizzazione delle serie di Cantor.

• Struttura di Base:

  • Si fissa una successione di numeri naturali a due a due coprimi: $m_1, m_2, \dots$.
  • Si definiscono i prodotti parziali $B_0 = 1$ e $B_j = \prod_{i=1}^j m_i$.
  • Ogni numero reale $\alpha \in [0, 1)$ è rappresentato univocamente come una serie di Cantor:
    $$\alpha = \sum_{j=0}^{\infty} \frac{b_j(\alpha)}{B_{j+1}}, \quad b_j(\alpha) \in \mathbb{Z}_{m_j}$$
    (con la condizione che per infiniti $j$, $b_j(\alpha) < m_j - 1$ per garantire l'unicità).

• Definizione della Mappatura:

  • Si introduce una successione di permutazioni cicliche $\pi_n: \mathbb{Z}_{m_n} \to \mathbb{Z}_{m_n}$.
  • La mappatura $T_\pi: [0, 1] \to [0, 1]$ agisce applicando queste permutazioni alle cifre della serie di Cantor:
    $$T_\pi(\alpha) = \sum_{j=0}^{\infty} \frac{\pi_j(b_j(\alpha))}{B_{j+1}}$$

• Iterazioni:

  • Le iterazioni della mappa, $v(n) = T_\pi^n(\alpha)$, sono analizzate per determinare le loro proprietà di distribuzione.

3. Risultati Chiave e Contributi

A. Distribuzione Uniforme di Buck (Teorema 1)

Il risultato principale è il Teorema 1, che afferma:

Se le permutazioni $\pi_i$ sono cicliche di lunghezza $m_i$, allora per ogni $\alpha \in [0, 1)$, la sequenza delle iterazioni $\{v(n)\} = \{T_\pi^n(\alpha)\}$ è Buck uniformemente distribuita modulo 1.

• Dimostrazione: Si basa sulla suddivisione dell'intervallo $[0, 1]$ in sottointervalli $I_j^{(n)}$ di lunghezza $1/B_n$. Utilizzando il Teorema Cinese del Resto e le proprietà delle permutazioni cicliche, l'autore dimostra che l'insieme degli indici $n$ per cui $v(n)$ cade in un dato sottointervallo forma una classe di resti (o un'unione finita di esse) con densità di Buck corretta.

B. Preservazione della Distribuzione Uniforme

Il paper cita un risultato precedente ([10]) e lo applica alla propria costruzione:

• Risultato 8: La mappatura $T_\pi$ preserva la distribuzione uniforme classica. Se una sequenza $\{v(n)\}$ è uniformemente distribuita modulo 1, allora anche la sequenza trasformata $\{T_\pi(v(n))\}$ lo è.

C. Proprietà di Monotonia e Derivata (Teoremi 2 e 3)

L'analisi analitica della funzione $T_\pi$ rivela comportamenti patologici tipici delle funzioni "strane" in analisi:

• Teorema 2 (Non Monotonia): La funzione $T_\pi$ non è monotona in nessun sottointervallo di lunghezza positiva. In ogni intervallo, la funzione assume comportamenti sia crescenti che decrescenti a causa della natura delle permutazioni cicliche sulle cifre.
• Teorema 3 (Non Derivabilità): Ogni sottointervallo $I \subset [0, 1]$ contiene punti in cui $T_\pi$ non è derivabile.
  • L'autore dimostra che se la derivata esistesse ovunque in un intervallo, dovrebbe essere costante (per il teorema di Darboux e la struttura delle differenze finite), il che porterebbe a una contraddizione con la non monotonia.
  • Condizione 11: Se per infiniti $s$ la permutazione è l'identità ciclica $(0, 1, 2, \dots, m_s-1)$, allora $T_\pi$ non è derivabile in alcun punto di $[0, 1]$.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Costruzione Esplicita: Fornisce una classe concreta e costruttiva di mappature che soddisfano proprietà di distribuzione molto forti (Buck uniform distribution) per le loro iterazioni, un risultato non banale nella teoria dei sistemi dinamici.
2. Connessione tra Algebra e Analisi: Collega la teoria dei numeri (permutazioni cicliche, teorema cinese del resto, densità di Buck) con l'analisi reale (proprietà di continuità, monotonia e derivabilità).
3. Esempi di Funzioni "Patologiche": Le funzioni $T_\pi$ servono come esempi interessanti di funzioni continue su $[0, 1]$ che sono ovunque non monotone e, in certi casi, ovunque non derivabili, pur mantenendo una struttura ordinata a livello di distribuzione statistica delle loro orbite.
4. Applicabilità: Le mappature che preservano la distribuzione uniforme sono strumenti utili nella generazione di numeri pseudo-casuali e nello studio della ergodicità in spazi di probabilità discreti e continui.

In sintesi, il paper di Paštéka definisce una famiglia di trasformazioni basate su serie di Cantor che, pur essendo caotiche dal punto di vista della derivata e della monotonia locale, esibiscono un comportamento statisticamente perfetto (distribuzione uniforme di Buck) nelle loro iterazioni.