On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

Each language version is independently generated for its own context, not a direct translation.

Immagina di dover disegnare una linea su un foglio che va da 0 a 1. Di solito, quando disegni una linea, ti aspetti che se vai da sinistra a destra, la linea o sale (cresce) o scende (diminuisce), o magari rimane piatta.

Questo articolo scientifico parla di una speciale classe di linee che rompono tutte le regole che conosciamo. È come se avessi un pennello magico che, ogni volta che provi a disegnare una linea dritta o una curva semplice, decide di fare un capriola, salire, scendere e poi risalire, e lo fa in modo così caotico e complesso che la linea non è mai "dritta" in nessun punto, nemmeno per un istante.

Ecco la spiegazione semplice di cosa fanno gli autori, Klymchuk e Pratsiovtyi, usando qualche metafora.

1. La Mappa del Tesoro (Il Sistema di Numerazione)

Per costruire queste linee strane, gli autori usano una "mappa" diversa dal solito.

La mappa normale: Di solito usiamo il sistema decimale (base 10) o quello binario (base 2).
La mappa di questo articolo: Usano un sistema a tre vie (base 3), come un incrocio dove puoi scegliere tra tre strade: 0, 1 o 2.
Il segreto: Ogni volta che scegli una strada, la mappa cambia leggermente le regole del gioco. Immagina di avere un libro di istruzioni dove, a seconda della strada che hai scelto prima, la prossima strada potrebbe essere più larga, più stretta, o addirittura invertire la direzione. Questo libro di istruzioni è chiamato "matrice stocastica" (un modo matematico per dire "un elenco di probabilità e regole").

2. La Linea che Non Si Riposa Mai (Funzioni "Ovunque Non Monotone")

Il cuore dell'articolo è lo studio di una funzione (una macchina che trasforma un numero in un altro) che ha una proprietà incredibile: è ovunque "non monotona".

Cosa significa? Immagina di camminare su una montagna. Se sei su un pendio che sale, sei "monotono crescente". Se scendi, sei "monotono decrescente".
La loro montagna: Questa funzione è come una montagna fatta di infinite scale a chiocciola microscopiche. Se guardi la linea da lontano, sembra una linea continua. Ma se ingrandisci con un microscopio in qualsiasi punto, non vedrai mai un pendio dritto. Vedrai sempre piccoli picchi e valli.
L'analogia: È come un sentiero di montagna che, ogni volta che fai un passo, ti costringe a salire un gradino e poi scenderne subito un altro, e lo fa per sempre, ovunque tu sia. Non c'è mai un tratto piatto o dritto.

3. Il Frattale (La Struttura che si Ripete)

Queste linee hanno una proprietà chiamata frattale.
Immagina un cavolfiore o una felce. Se ne stacchi un piccolo pezzo, quel pezzo sembra una copia in miniatura dell'intero vegetale.

Anche questa funzione è fatta così: se prendi un pezzettino della linea e lo ingrandisci, vedrai la stessa struttura complessa e caotica dell'intera linea. È un disegno che si ripete all'infinito in ogni dettaglio.

4. Quando la Linea si Blocca (Funzioni Singolari)

Gli autori studiano anche cosa succede se cambiamo un "interruttore" (chiamato $\epsilon$ ) nelle loro regole.

Se l'interruttore è a metà: La funzione diventa una "funzione singolare". Immagina di dover salire da 0 a 1, ma lo fai camminando su un sentiero che è così frastagliato che, anche se sali, la tua "velocità" istantanea è quasi sempre zero. È come se la linea fosse fatta di polvere: occupa spazio, ma non ha una pendenza definita in nessun punto. È un paradosso matematico affascinante.

5. I Livelli (I Punti che toccano la stessa altezza)

Un'altra domanda che si fanno è: "Se taglio questa montagna con un coltello orizzontale a un'altezza specifica, quanti punti tocco?"

Se la montagna è regolare, tocchi un punto.
Se è piatta, tocchi una linea.
Con questa funzione strana, se la tagli, potresti toccare un numero infinito di punti, ma non una linea continua. È come se la montagna avesse infinite cime microscopiche tutte alla stessa altezza, sparse qua e là come granelli di sabbia.

In Sintesi

Gli autori hanno creato una "fabbrica" per costruire linee matematiche che sono:

Continue: Non hanno buchi, sono un unico tracciato.
Caotiche: Non sono mai drette né in salita né in discesa in nessun punto.
Frattali: Hanno la stessa complessità a qualsiasi livello di ingrandimento.
Strane: In certi casi, sembrano salire ma in realtà non si muovono affatto (sono "singolari").

È un po' come se avessero scoperto che il caos può essere disegnato con una regola precisa, creando una bellezza matematica che sfida la nostra intuizione di come dovrebbero comportarsi le linee.

Each language version is independently generated for its own context, not a direct translation.

Ecco una sintesi tecnica dettagliata del documento "ON ONE CLASS OF NOWHERE NON-MONOTONIC FUNCTIONS WITH FRACTAL PROPERTIES THAT CONTAINS A SUBCLASS OF SINGULAR FUNCTIONS" di S. O. Klymchuk e M. V. Pratsiovtyi, redatta in italiano.

1. Problema e Obiettivo della Ricerca

Il lavoro si concentra sullo studio di una nuova classe di funzioni continue definite sull'intervallo $[0, 1]$ . L'obiettivo principale è caratterizzare le proprietà analitiche e geometriche di queste funzioni, che sono definite attraverso una generalizzazione della rappresentazione ternaria dei numeri reali (rappresentazione $Q^*_3$ ).

Il problema centrale risiede nell'analisi di funzioni che possono esibire comportamenti complessi e "frattali", in particolare:

Non-monotonia ovunque: Funzioni che non sono monotone su nessun sottointervallo dell'intervallo di definizione.
Singolarità: Funzioni la cui derivata è zero quasi ovunque (rispetto alla misura di Lebesgue), pur essendo continue e non costanti.
Struttura dei livelli: La natura degli insiemi di livello (preimmagini di valori costanti).

2. Metodologia

Gli autori utilizzano un approccio basato sulla teoria dei sistemi di numerazione generalizzati e sulla geometria frattale.

Rappresentazione $Q^*_3$ : Viene introdotta una rappresentazione dei numeri reali $x \in [0, 1]$ basata su una matrice stocastica positiva infinita $Q^*_3 = ||q_{ik}||$ (dove $i \in \{0, 1, 2\}$ e $k \in \mathbb{N}$ ). Questa generalizza la classica rappresentazione ternaria.
Definizione della Funzione: La funzione $f(x)$ $f (x)$ è definita come una serie infinita:
$f(x) = \delta_{\alpha_1(x)}^1 + \sum_{k=2}^{\infty} \left[ \delta_{\alpha_k(x)}^k \prod_{j=1}^{k-1} g_{\alpha_j(x)}^j \right]$
dove $\alpha_k(x)$ $α_{k} (x)$ sono le cifre della rappresentazione $Q^*_3$ $Q_{3}^{*}$ di $x$ $x$ .
I coefficienti $\delta$ $δ$ e $g$ $g$ dipendono da una sequenza data $(\varepsilon_k)$ $(ε_{k})$ con $0 \le \varepsilon_k \le 1$:
- $g_{0k} = g_{2k} = \frac{1 + \varepsilon_k}{3}$
- $g_{1k} = \frac{1 - 2\varepsilon_k}{3}$
- $\delta$ sono definiti in modo cumulativo rispetto ai $g$ .
Analisi della Convergenza e Correttezza: Viene dimostrato che la serie converge assolutamente e che la funzione è ben definita anche per i numeri razionali $Q^*_3$ (che ammettono due rappresentazioni), garantendo la continuità.
Studio degli Incrementi: L'analisi si basa sul calcolo degli incrementi della funzione su "cilindri" (intervalli definiti dalle prime $m$ cifre della rappresentazione), utilizzando il prodotto dei fattori $g_{c_j}$ .

3. Contributi Chiave e Risultati Principali

A. Correttezza e Proprietà di Base

Dominio e Codominio: È stato dimostrato che $f$ è ben definita su $[0, 1]$ e assume valori nell'intervallo $[0, 1]$ .
Continuità: La funzione è continua su tutto l'intervallo $[0, 1]$ , sia per punti irrazionali che razionali nella rappresentazione $Q^*_3$ .
Valori Estremi: $f(0) = 0$ e $f(1) = 1$ .

B. Proprietà di Monotonia

Gli autori stabiliscono criteri precisi basati sul valore del parametro $\varepsilon_k$ :

Crescita Stretta: Se $0 \le \varepsilon_k < 1/2 $per ogni$ k $, allora$ g_{1k} > 0$ e la funzione è strettamente crescente su tutto il dominio.
Costanza Locale: Se $\varepsilon_k = 1/2$ per qualche $k$ , allora $g_{1k} = 0$ . In questo caso, la funzione è costante su certi intervalli cilindrici.
Non-Monotonia Ovunque: Se $1/2 < \varepsilon_k \le 1 $per ogni$ k $, allora$ g_{1k} < 0$. Gli incrementi su cilindri adiacenti hanno segni opposti. Di conseguenza, la funzione è non monotona ovunque (nowhere monotonic). Non esiste alcun sottointervallo su cui la funzione sia monotona.

C. Singolarità e Derivabilità

Se $\varepsilon_k = 1/2$ , la funzione è costante su una famiglia di intervalli la cui lunghezza totale è 1. Di conseguenza, la derivata è zero quasi ovunque, rendendo la funzione singolare.
Il lavoro fornisce criteri per determinare quando la funzione è non differenziabile o singolare in base ai parametri della matrice e della sequenza $\varepsilon_k$ .

D. Geometria del Grafico e Auto-Similarità

Equivalenza Affine: Il grafico della funzione $\Gamma_f$ possiede una struttura auto-simile. Se $\varepsilon_k$ è costante, il grafico e le sue sotto-parti (relative ai cilindri iniziali $i \in \{0, 1, 2\}$ ) sono affine-equivalenti. Esistono trasformazioni affini $\phi_i$ che mappano il grafico completo su sue porzioni.
Massimi e Minimi: Su ogni cilindro, il massimo e il minimo della funzione sono raggiunti agli estremi dell'intervallo, a seconda del segno dell'incremento totale su quel cilindro.

E. Insiemi di Livello (Level Sets)

La struttura degli insiemi di livello $f^{-1}(y_0)$ dipende criticamente da $\varepsilon_k$ :

Se $0 \le \varepsilon_k < 1/2$ (crescita stretta): Ogni insieme di livello è un singolo punto.
Se $\varepsilon_k = 1/2$ : Ogni insieme di livello è un punto o un segmento (a causa delle regioni piatte).
Se $1/2 < \varepsilon_k \le 1 $(non monotonia): Ogni insieme di livello è un **insieme numerabile**. Questo perché la funzione oscilla continuamente, intersecando la retta$ y=y_0$ in infiniti punti isolati all'interno dei cilindri, ma non formando intervalli continui di soluzioni.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi nel campo dell'analisi matematica e della teoria dei sistemi dinamici:

Generalizzazione: Estende la teoria delle funzioni di Cantor e delle funzioni singolari (come la funzione di Minkowski o di Lebesgue) a un contesto molto più ampio basato su rappresentazioni numeriche non standard e matrici stocastiche infinite.
Controllo Parametrico: Fornisce un meccanismo rigoroso per "sintonizzare" il comportamento di una funzione continua semplicemente variando una sequenza di parametri $(\varepsilon_k)$ , permettendo di passare da funzioni strettamente crescenti a funzioni singolari o non monotone ovunque.
Struttura Frattale: Dimostra come proprietà locali (come il segno degli incrementi sui cilindri) determinino proprietà globali complesse (non-monotonia ovunque, struttura degli insiemi di livello).
Nuovi Esempi: Offre una nuova classe di esempi di funzioni continue che sono non differenziabili o singolari, utili per testare teoremi di analisi reale e per lo studio della geometria dei grafici frattali.

In sintesi, il paper stabilisce un ponte tra la teoria della rappresentazione dei numeri, l'analisi reale e la geometria frattale, fornendo criteri analitici precisi per classificare il comportamento di una vasta famiglia di funzioni patologiche ma strutturate.