🔢 mathematics

On non-symmetric $t$ -convexity

Questo articolo risolve un quesito posto da Zsolt Páles dimostrando che ogni funzione $f: \mathbb{R}\to \mathbb{R}$ che soddisfa la disuguaglianza $f\left(\frac{x+2y}{3}\right) \le \frac{f(x)+2f(y)}{3}$ per ogni $x\le y$ deve necessariamente essere midconvessa.

Autori originali: Paolo Leonetti

Pubblicato 2026-08-04

📖 4 min di lettura🧠 Approfondimento

CC0 1.0

Autori originali: Paolo Leonetti

Articolo originale dedicato al pubblico dominio sotto CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immaginate un mondo in cui le regole del "piegamento" cambiano leggermente a seconda della direzione da cui si guarda. In questo ramo della matematica chiamato analisi funzionale, gli scienziati studiano le funzioni — pensatele come macchine che prendono un numero in ingresso e ne restituiscono uno in uscita. Una regola classica per queste macchine è chiamata "convessità". Se immaginate una funzione come una curva, una curva convessa è come un sorriso o una ciotola; non scende mai al di sotto di una linea retta tracciata tra due punti qualsiasi. Questa è la regola del "punto medio": se scegliete due punti, il punto esattamente nel mezzo della curva deve essere più basso (o uguale) rispetto al punto esattamente nel mezzo della linea retta che li congiunge.

Ma cosa succederebbe se cambiassimo le regole? E se non controllassimo il centro esatto, ma invece un punto che si trova a un terzo di distanza da un lato e a due terzi dall'altro? Questa è la "t-convessità", dove "t" è solo una lettera elegante per indicare quella specifica frazione. Ora, ecco il colpo di scena: di solito, le regole matematiche si applicano indipendentemente dall'ordine in cui si inseriscono i numeri. Ma in questo angolo specifico della matematica, i ricercatori si sono posta una domanda complicata: e se la regola dovesse valere solo quando si mette per primo il numero più piccolo e per secondo quello più grande? Questa è la convessità "non simmetrica". È come dire che una ciotola deve sembrare una ciotola solo se la guardate da sinistra verso destra, ma potrebbe essere strana se la guardaste da destra verso sinistra. Per molto tempo, i matematici si sono chiesti se una funzione potesse seguire questa regola "a senso unico" senza essere effettivamente una vera curva convessa "a due vie".

In questo articolo, il matematico Paolo Leonetti affronta una versione specifica di questo enigma. Si concentra sul caso in cui il valore di "t" è esattamente 1/3. La domanda, posta originariamente da Zsolt Páles, era semplice da porre ma difficile da rispondere: esiste una funzione che segue la regola "a senso unico" per il punto 1/3, ma che fallisce la regola "a due vie"? In altre parole, può una funzione essere "non simmetricamente 1/3-convessa" senza essere "1/3-convessa" (che in questo caso specifico è la stessa cosa di essere "midconvessa")?

La risposta di Leonetti è un "no" definitivo. Egli dimostra che se una funzione obbedisce alla regola a senso unico per il segno 1/3, è costretta dalle leggi della matematica a obbedire anche alla regola a due vie. Non c'è alcun modo per evitare la cosa. Non esiste scappatoia. La funzione non può deviare.

Per capire come abbia dimostrato questo, immaginate la funzione come un elastico teso tra due punti. La regola "non simmetrica" dice che se tirate l'elastico al punto 1/3, esso deve rimanere al di sotto di una certa linea, ma solo se tirate da sinistra verso destra. Leonetti ha dimostrato che se provate a costruire un elastico che segua questa regola ma che si piega nel modo sbagliato quando lo guardate dal lato opposto, la matematica semplicemente si rompe. La tensione dell'elastico diventa impossibile da sostenere.

La dimostrazione funziona come un effetto domino. Leonetti parte assumendo che tale funzione "deviante" esista. Poi utilizza un astuto trucco matematico per tendere e restringere la funzione, creando una sequenza di punti che si avvicinano sempre di più allo zero. Dimostra che, se la funzione fosse deviante, i valori in questi punti dovrebbero crescere all'infinito, più velocemente di quanto qualsiasi numero reale possa fare. È come cercare di riempire un secchio d'acqua dove il secchio diventa più piccolo ogni volta che versate, ma il volume dell'acqua raddoppia. Alla fine, il secchio dovrebbe contenere una quantità infinita di acqua, il che è impossibile. Poiché l'assunzione porta a un'impossibilità, la funzione "deviante" non può esistere.

L'articolo non si ferma al 1/3. Suggerisce che questa regola del "nessuna deviazione" valga anche per altre frazioni, come 1/4, 1/5 e 1/6. Infatti, l'autore mostra che l'insieme di numeri in cui questa regola è valida è "denso", il che significa che se scegliete un punto casuale tra 0 e 1, potete trovare un numero molto vicino a esso dove la regola funziona. Tuttavia, rimane un mistero irrisolto: l'articolo lascia aperta la questione se ciò sia vero per tutti i numeri algebrici (un tipo specifico di numero che coinvolge radici e frazioni), o se ci siano ancora alcuni numeri nascosti e complicati dove una funzione deviante potrebbe nascondersi. Per ora, però, per il caso specifico di 1/3, la porta è chiusa: la convessità non simmetrica è solo una convessità regolare travestita.

Sintesi Tecnica: Sulla $t$ -convessità non simmetrica

Enunciato del Problema
Il saggio affronta una specifica questione riguardante la relazione tra la $t$ -convessità non simmetrica e la $t$ -convessità standard per funzioni a valori reali. Una funzione $f: \mathbb{R} \to \mathbb{R}$ è definita non simmetrica $t$ -convessa se la disuguaglianza
$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$
sia soddisfatta per ogni $x \leq y$ . Se la disuguaglianza è soddisfatta per ogni $x, y \in \mathbb{R}$ , la funzione è semplicemente $t$ -convessa.

È un risultato noto che, per un fissato $t \in (0, 1)$ , le funzioni non simmetriche $t$ -affini sono necessariamente $t$ -affini. Tuttavia, Lewicki e Olbryś hanno dimostrato che tale implicazione fallisce per la convessità quando $t$ è un numero trascendente; essi hanno costruito una funzione non simmetrica $t$ -convessa che non è $t$ -convessa. Ciò lascia aperta la questione per specifici valori razionali di $t$ . Nello specifico, Zsolt Páles ha chiesto se esista una funzione non simmetrica $t$ -convessa che non sia $t$ -convessa per $t = 1/3$ . Poiché la $1/3$ -convessità è equivalente alla midconvessità (1/2-convessità) nel contesto dei parametri razionali, la domanda è se la non simmetrica $1/3$ -convessità implichi la midconvessità.

Metodologia
L'autore, Paolo Leonetti, impiega un approccio basato sulle disuguaglianze funzionali per stabilire un criterio generale per l'equivalenza tra $t$ -convessità non simmetrica e simmetrica.

Criterio Generale (Proposizione 2.1): Il cuore della dimostrazione è una proposizione che afferma che, per un fissato $t \in (0, 1/2)$ , se esistono una costante $C > 1-t$ , un insieme finito di coppie ordinate $\{(u_i, v_i)\}$ con $u_i \leq v_i$ , coefficienti non negativi $\mu_i$ e un numero reale $\eta$ tali che una specifica combinazione lineare dei funzionali di "difetto" $J_{t,\phi}$ sia uguale a una specifica combinazione lineare di valori della funzione, allora ogni funzione non simmetrica $t$ -convessa è $t$ -convessa.
Il funzionale di difetto è definito come $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ .
Dimostrazione per Assurdo e Iterazione: Assumendo l'esistenza di una funzione non simmetrica $t$ -convessa $f$ che non sia $t$ -convessa, l'autore costruisce una funzione ausiliaria $F$ (tramite trasformazione affine) tale che $F(0)=F(1)=0$ e $F(t) > 0$ . Applicando il criterio generale alle versioni scalate di questa funzione, l'autore deriva una relazione di ricorrenza che coinvolge la successione $G_n = f(t^{n+1}) - tf(t^n)$ .
La dimostrazione mostra che, sotto la condizione $C > 1-t$ , la successione $G_n$ cresce geometricamente, portando a una contraddizione in cui il valore della funzione in un determinato punto negativo deve essere infinito, il che è impossibile per una funzione a valori reali.
Costruzione Esplicita per $t=1/3$ : Per applicare il criterio generale al caso specifico $t=1/3$ , l'autore costruisce esplicitamente i parametri richiesti:
- $C = 8/3$
- $\eta = 10/9$
- Tre coppie di punti: $(1/9, 4/9)$ , $(0, 2/3)$ e $(0, 1)$ .
- Coefficienti: $\mu_1 = 3$ , $\mu_2 = 2$ , $\mu_3 = 4/3$ .
  L'autore verifica che la combinazione lineare dei termini $J_{1/3, \phi}$ utilizzando questi parametri produce l'identità richiesta, soddisfacendo così le condizioni della Proposizione 2.1.

Contributi Chiave e Risultati

Teorema 1.3: Il risultato primario è la risposta negativa alla domanda di Páles: il saggio dimostra che per $t = 1/3$ , ogni funzione non simmetrica $t$ -convessa $f: \mathbb{R} \to \mathbb{R}$ è necessariamente $t$ -convessa.
Generalizzazione: La metodologia stabilisce che l'insieme $T$ di tutti i $t \in (0, 1)$ per i quali la $t$ -convessità non simmetrica implica la $t$ -convessità contiene $1/2$ (triviale) e $1/3$ (dimostrato).
Proprietà Strutturali di $T$ :
- Simmetria: L'insieme $T$ è simmetrico rispetto a $1/2$ (ovvero, $t \in T \iff 1-t \in T$ ).
- Densità: L'insieme $T$ è denso nell'intervallo $(0, 1)$ . Ciò è dimostrato tramite una costruzione che coinvolge parole finite e mappature polinomiali che generano un insieme denso di parametri che soddisfano la condizione di convessità.
- Elementi Specifici: Il saggio nota che calcoli simili mostrano che $1/k \in T$ per $k \in \{4, 5, 6\}$ , e che numeri algebrici specifici come $\frac{\sqrt{5}-1}{2}$ e $\frac{3-\sqrt{5}}{2}$ appartengono a $T$ .

Significato e Questioni Aperte
Il saggio risolve un problema aperto posto da Zsolt Páles riguardante il caso $t=1/3$ , confermando che il fallimento dell'implicazione per $t$ trascendenti non si estende a questo caso razionale. Il lavoro fornisce un metodo costruttivo (Proposizione 2.1) per determinare se altri valori razionali o algebrici di $t$ appartengano all'insieme $T$ .

L'autore conclude osservando che, sebbene $T$ sia denso e contenga molti numeri algebrici, rimane una questione aperta se $T$ contenga tutti i numeri algebrici in $(0, 1)$ . Il saggio non propone ulteriori applicazioni o direzioni sperimentali, concentrandosi strettamente sulla caratterizzazione teorica di queste disuguaglianze funzionali.

Articoli simili