🔢 mathematics

On non-symmetric $t$ -convexity

Dit artikel lost een vraag op die door Zsolt Páles werd gesteld door te bewijzen dat elke functie $f: \mathbb{R}\to \mathbb{R}$ die de ongelijkheid $f\left(\frac{x+2y}{3}\right) \le \frac{f(x)+2f(y)}{3}$ voor alle $x\le y$ vervult, noodzakelijkerwijs midconvex moet zijn.

Oorspronkelijke auteurs: Paolo Leonetti

Gepubliceerd 2026-08-04

📖 4 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Paolo Leonetti

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een wereld voor waarin de regels van het "buigen" er iets anders uitzien, afhankelijk van de richting waarin je kijkt. In de tak van de wiskunde die bekend staat als functionele analyse, bestuderen wetenschappers functies—denk aan machines die een getal erin nemen en een getal eruit spugen. Een klassieke regel voor deze machines wordt "convexiteit" genoemd. Als je een functie als een curve ziet, is een convexe curve als een lachgezichtje of een kom; de curve ligt nooit onder een rechte lijn die tussen twee punten wordt getrokken. Dit is de "middelpunt"-regel: als je twee punten kiest, moet de plek precies in het midden van de curve lager zijn dan (of gelijk aan) de plek precies in het midden van de rechte lijn die de twee punten verbindt.

Maar wat als we de regels veranderen? Wat als we niet het exacte midden controleren, maar een plek die een derde van de weg vanaf de ene kant is en twee derde vanaf de andere kant? Dit wordt " $t$ -convexiteit" genoemd, waarbij " $t$ " gewoon een chique letter is voor die specifieke breuk. Nu komt de wending: normaal gesproken gelden wiskundige regels ongeacht de volgorde waarin je de getallen plaatst. Maar in deze specifieke hoek van de wiskunde vroegen onderzoekers zich een lastige vraag: wat als de regel alleen geldt wanneer je het kleinere getal eerst zet en het grotere getal daarna? Dit is "niet-symmetrische" convexiteit. Het is also kind van zeggen dat een kom eruit moet zien als een kom als je van links naar rechts kijkt, maar dat het misschien vreemd kan zijn als je van rechts naar links kijkt. Lange tijd vroegen wiskundigen zich af of een functie deze "éénrichtings"-regel kon volgen zonder een echte, tweerichtings convex curve te zijn.

In dit artikel pakt de wiskundige Paolo Leonetti een specifieke versie van dit puzzelstuk aan. Hij richt zich op het geval waarbij de " $t$ "-waarde exact 1/3 is. De vraag, oorspronkelijk gesteld door Zsolt Páles, was simpel te stellen maar moeilijk te beantwoorden: bestaat er een functie die de "éénrichtings"-regel volgt voor het 1/3-punt, maar faalt voor de "tweerichtings"-regel? Met andere woorden: kan een functie "niet-symmetrisch 1/3-convex" zijn zonder "1/3-convex" te zijn (wat in dit specifieke geval hetzelfde is als "midconvex")?

Leonetti's antwoord is een definitief "nee". Hij bewijst dat als een functie de éénrichtingsregel voor het 1/3-kenmerk volgt, hij door de wetten van de wiskunde gedwongen wordt om ook de tweerichtingsregel te volgen. Er is geen ontsnappingsroute. De functie kan niet afwijken.

Om te begrijpen hoe hij dit bewezen heeft, stel je de functie voor als een flexibele elastische band die tussen twee punten is uitgerekt. De "niet-sitlemmetrische" regel zegt dat als je de band bij het 1/3-punt aantrekt, deze onder een bepaalde lijn moet blijven, maar alleen als je van de linkerkant naar de rechterkant trekt. Leonetti liet zien dat als je probeert een elastische band te bouwen die deze regel volgt, maar de verkeerde kant op buigt wanneer je vanuit de andere kant naar haar kijkt, de wiskunde simpelweg breekt. De spanning in de band wordt dan onmogelijk te handhaven.

Het bewijs werkt als een domino-effect. Leonetti begint met de aanname dat een dergelijke "afwijkende" functie bestaat. Vervolgens gebruikt hij een slimme wiskundige truc om de functie uit te rekken en in te krimpen, waardoor hij een reeks punten creëert die steeds dichter bij nul komen. Hij laat zien dat als de functie zou afwijken, de waarden bij deze punten oneindig groot zouden moeten worden, sneller dan welk echt getal dan ook. Het is als het proberen te vullen van een emmer met water waarbij de emmer kleiner wordt elke keer dat je giet, maar het watervolume verdubbelt. Uiteindelijk zou de emmer een oneindige hoeveelheid water moeten kunnen bevatten, wat onmogelijk is. Omdat de aanname leidt tot een onmogelijkheid, kan de "afwijkende" functie niet bestaan.

Het artikel stopt niet bij 1/3. Het suggereert dat deze "geen afwijking"-regel ook geldt voor andere breuken, zoals 1/4, 1/5 en 1/6. Sterker nog, de auteur laat zien dat de verzameling getallen waar deze regel geldt "dicht" is, wat betekent dat als je een willekeurige plek tussen 0 en 1 kiest, je een getal kunt vinden dat er heel dichtbij ligt waar de regel werkt. Er blijft echter nog een mysterie onopgelost: het artikel laat de vraag open of dit geldt voor alle algebraïsche getallen (een specifiek type getal dat verband houdt met wortels en breuken), of dat er nog steeds enkele verborgen, lastige getallen zijn waar een afwijkende functie zich kan verschuilen. Voor nu, echter, voor het specifieke geval van 1/3, is de deur gesloten: niet-symmetrische convexiteit is gewoon reguliere convexiteit in vermomming.

Technische Samenvatting: Over niet-symmetrische $t$ -convexiteit

Probleemstelling
Het artikel behandelt een specifieke vraag met betrekking tot de relatie tussen niet-symmetrische $t$ -convexiteit en standaard $t$ -convexiteit voor reële functies. Een functie $f: \mathbb{R} \to \mathbb{R}$ wordt gedefinieerd als niet-symmetrisch $t$ -convex als de ongelijkheid
$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$
geldt voor alle $x \leq y$ . Als de ongelijkheid geldt voor alle $x, y \in \mathbb{R}$ , dan is de functie simpelweg $t$ -convex.

Het is een bekend resultaat dat voor een vaste $t \in (0, 1)$ , niet-symmetrische $t$ -affiene functies noodzakelijkerwijs $t$ -affien zijn. Echter, Lewicki en Olbryś hebben aangetoond dat deze implicatie voor convexiteit faalt wanneer $t$ een transcendent getal is; zij construeerden een niet-symmetrische $t$ -convexe functie die niet $t$ -convex is. Dit laat de vraag open voor specifieke rationale waarden van $t$ . Specifiek vroeg Zsolt Páles of er een niet-symmetrische $t$ -convexe functie bestaat die niet $t$ -convex is wanneer $t = 1/3$ . Aangezien $1/3$ -convexiteit gelijk is aan midconvexiteit (1/2-convexiteit) in de context van rationale parameters, is de vraag of niet-symmetrische $1/3$ -convexiteit $midconvexiteit$ impliceert.

Methodologie
De auteur, Paolo Leonetti, hanteert een benadering via functionele ongelijkheden om een algemeen criterium vast te stellen voor de equivalentie van niet-symmetrische en symmetrische $t$ -convexiteit.

Algemeen Criterium (Propositie 2.1): De kern van het bewijs is een propositie die stelt dat voor een vaste $t \in (0, 1/2)$ , indien er een constante $C > 1-t$ , een eindige verzameling geordende paren $\{(u_i, v_i)\}$ met $u_i \leq v_i$ , niet-negatieve coëfficiënten $\mu_i$ , en een reëel getal $\eta$ bestaan zodanig dat een specifieke lineaire combinatie van de "defect" functionalen $J_{t,\phi}$ gelijk is aan een specifieke lineaire combinatie van functiewaarden, dan elke niet-symmetrische $t$ -convexe functie ook $t$ -convex is.
De defect functional wordt gedefinieerd als $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ .
Bewijs door tegenspraak en iteratie: Uitgaande van de existentie van een niet-symmetrische $t$ -convexe functie $f$ die niet $t$ -convex is, construeert de auteur een hulpfunctie $F$ (via affiene transformatie) zodanig dat $F(0)=F(1)=0$ en $F(t) > 0$ . Door het algemene criterium toe te passen op geschaalde versies van deze functie, leidt de auteur een recursieve relatie af die verband houdt met de sequentie $G_n = f(t^{n+1}) - tf(t^n)$ .
Het bewijs toont aan dat onder de conditie $C > 1-t$ , de sequentie $G_n$ geometrisch groeit, wat leidt tot een tegenspraak waarbij de waarde van de functie bij een specifiek negatief punt oneindig moet zijn, wat onmogelijk is voor een reële functie.
Expliciete Constructie voor $t=1/3$ : Om het algemene criterium toe te passen op het specifieke geval $t=1/3$ , construeert de auteur expliciet de vereiste parameters:
- $C = 8/3$
- $\eta = 10/9$
- Drie paren punten: $(1/9, 4/9)$ , $(0, 2/3)$ , en $(0, 1)$ .
- Coëfficiënten: $\mu_1 = 3$ , $\mu_2 = 2$ , $\mu_3 = 4/3$ .
  De auteur verifieert dat de lineaire combinatie van de $J_{1/3, \phi}$ termen met behulp van deze parameters de vereiste identiteit oplevert, waardoor aan de voorwaarden van Propositie 2.1 wordt voldaan.

Belangrijkste Bijdragen en Resultaten

Theorem 1.3: Het primaire resultaat is het negatieve antwoord op de vraag van Páles. Het artikel bewijst dat voor $t = 1/3$ , elke niet-symmetrische $t$ -convexe functie $f: \mathbb{R} \to \mathbb{R}$ noodzakelijkerwijs $t$ -convex is.
Generalisatie: De methodologie vestigt dat de verzameling $T$ van alle $t \in (0, 1)$ waarvoor niet-symmetrische $t$ -convexiteit $t$ -convexiteit impliceert, $1/2$ (triviaal) en $1/3$ (bewezen) bevat.
Structurele Eigenschappen van $T$ :
- Symmetrie: De verzameling $T$ is symmetrisch rond $1/2$ (d.w.z. $t \in T \iff 1-t \in T$ ).
- Dichtheid: De verzameling $T$ is dicht in het interval $(0, 1)$ . Dit wordt bewezen met een constructie die gebruik maakt van eindige woorden en polynomiale afbeeldingen die een dichte verzameling parameters genereren die aan de convexiteitsvoorwaarde voldoen.
- Specifieke Elementen: Het artikel merkt op dat vergelijkbare berekeningen aantonen dat $1/k \in T$ voor $k \in \{4, 5, 6\}$ , en dat specifieke algebraïsche getallen zoals $\frac{\sqrt{5}-1}{2}$ en $\frac{3-\sqrt{5}}{2}$ tot $T$ behoren.

Betekenis en Openstaande Vragen
Het artikel lost een specifieke openstaande vraag op die door Zsolt Páles is gesteld betreffende het geval $t=1/3$ , en bevestigt dat het falen van de implicatie voor transcendente $t$ niet doorwerkt naar dit rationale geval. Het werk biedt een constructieve methode (Propositie 2.1) om te bepalen of andere rationale of algebraïsche waarden van $t$ tot de verzameling $T$ behoren.

De auteur concludeert door op te merken dat hoewel $T$ dicht is en veel algebraïsche getallen bevat, het een open vraag blijft of $T$ alle algebraïsche getallen in $(0, 1)$ bevat. Het artikel stelt geen verdere toepassingen of experimentele richtingen voor, maar richt zich strikt op de theoretische karakterisering van deze functionele ongelijkheden.

Meer zoals dit