🔢 mathematics

On non-symmetric $t$ -convexity

Cet article résout une question posée par Zsolt Páles en prouvant que toute fonction $f: \mathbb{R}\to \mathbb{R}$ satisfaisant l'inégalité $f\left(\frac{x+2y}{3}\right) \le \frac{f(x)+2f(y)}{3}$ pour tout $x\le y$ doit nécessairement être midconvexe.

Auteurs originaux : Paolo Leonetti

Publié 2026-08-04

📖 5 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Paolo Leonetti

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez un monde où les règles de la « courbure » changent légèrement selon la direction dans laquelle vous regardez. Dans la branche des mathématiques appelée l'analyse fonctionnelle, les scientifiques étudient les fonctions — voyez-les comme des machines qui prennent un nombre en entrée et recrachent un nombre en sortie. Une règle classique pour ces machines est appelée la « convexité ». Si vous imaginez une fonction comme une courbe, une courbe convexe est comme un visage souriant ou un bol ; elle ne descend jamais en dessous d'une ligne droite tracée entre deux points quelconques. C'est la règle du « milieu » : si vous choisissez deux points, l'endroit exactement au milieu de la courbe doit être plus bas que (ou égal à) l'endroit exactement au milieu de la ligne droite reliant ces deux points.

Mais et si nous changions les règles ? Et si nous ne vérifiions pas le milieu exact, mais plutôt un point situé au tiers de distance d'un côté et aux deux tiers de l'autre ? C'est ce qu'on appelle la « t-convexité », où « t » est juste une lettre fantaisiste pour cette fraction spécifique. Maintenant, voici le rebondissement : habituellement, les règles mathématiques s'appliquent quel que soit l'ordre dans lequel vous placez vos nombres. Mais dans ce coin spécifique des mathématiques, les chercheurs ont posé une question délicate : et si la règle ne devait tenir que lorsque vous placez le plus petit nombre en premier et le plus grand en second ? C'est la convexité « non symétrique ». C'est comme dire qu'un bol doit ressembler à un bol seulement si vous le regardez de gauche à droite, mais qu'il peut être étrange si vous le regardez de droite à gauche. Pendant longtemps, les mathématiciens se sont demandé si une fonction pouvait suivre cette règle « unidirectionnelle » sans être une véritable courbe convexe « bidirectionnelle ».

Dans cet article, le mathématicien Paolo Leonetti s'attaque à une version spécifique de ce casse-tête. Il se concentre sur le cas où la valeur de « t » est exactement 1/3. La question, initialement posée par Zsolt Páles, était simple à poser mais difficile à répondre : existe-t-il une fonction qui suit la règle « unidirectionnelle » pour le point 1/3, mais qui échoue à la règle « bidirectionnelle » ? En d'autres termes, une fonction peut-elle être « 1/3-convexe non symétrique » sans être « 1/3-convexe » (ce qui, dans ce cas spécifique, est la même chose qu'être « midconvexe ») ?

La réponse de Leonetti est un « non » définitif. Il prouve que si une fonction obéit à la règle unidirectionnelle pour la marque de 1/3, elle est contrainte par les lois des mathématiques à obéir à la règle bidirectionnelle. Il n'y a pas de faille. La fonction ne peut pas dévier.

Pour comprendre comment il a prouvé cela, imaginez la fonction comme un élastique tendu entre deux points. La règle « non symétrique » dit que si vous tirez sur l'élastique au tiers de la distance, il doit rester en dessous d'une certaine ligne, mais seulement si vous tirez de la gauche vers la droite. Leonetti a montré que si vous essayez de construire un élastique qui suit cette règle mais qui se courbe du mauvais côté lorsque vous le regardez depuis l'autre côté, les mathématiques se brisent tout simplement. La tension de l'élastique devient impossible à maintenir.

La preuve fonctionne comme un effet domino. Leonetti commence par supposer qu'une telle fonction « déviante » existe. Il utilise ensuite un tour mathématique ingénieux pour étirer et rétrécir la fonction, créant une séquence de points qui se rapprochent de plus en plus de zéro. Il montre que si la fonction était déviante, les valeurs à ces points devraient croître à l'infini, plus vite que n'importe quel nombre réel ne peut le faire. C'est comme essayer de remplir un seau avec de l'eau où le seau devient plus petit à chaque fois que vous versez, mais où le volume d'eau double. Finalement, le seau devrait contenir une quantité infinète d'eau, ce qui est impossible. Puisque l'hypothèse mène à une impossibilité, la fonction « déviante » ne peut pas exister.

L'article ne s'arrête pas à 1/3. Il suggère que cette règle de « non-déviation » est également vraie pour d'autres fractions, comme 1/4, 1/5 et 1/6. En fait, l'auteur montre que l'ensemble des nombres où cette règle s'applique est « dense », ce qui signifie que si vous choisissez n'importe quel endroit au hasard entre 0 et 1, vous pouvez trouver un nombre très proche de celui-ci où la règle fonctionne. Cependant, un mystère reste non résolu : l'article laisse ouverte la question de savoir si cela est vrai pour tous les nombres algébriques (un type spécifique de nombre impliquant des racines et des fractions), ou s'il existe encore des nombres cachés et complexes où une fonction déviante pourrait se cacher. Pour l'instant, cependant, pour le cas spécifique de 1/3, la porte est fermée : la convexité non symétrique n'est qu'une convexité régulière déguisée.

Résumé technique : Sur la $t$ -convexité non symétrique

Énoncé du problème
L'article traite d'une question spécifique concernant la relation entre la $t$ -convexité non symétrique et la $t$ -convexité standard pour les fonctions à valeurs réelles. Une fonction $f: \mathbb{R} \to \mathbb{R}$ est définie comme non symétriquement $t$ -convexe si l'inégalité
$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$
est vérifiée pour tout $x \leq y$ . Si l'inégalité est vérifiée pour tous $x, y \in \mathbb{R}$ , la fonction est simplement $t$ -convexe.

Il est connu que pour un $t \in (0, 1)$ fixé, les fonctions non symétriquement $t$ -affines sont nécessairement $t$ -affines. Cependant, Lewicki et Olbryś ont démontré que cette implication échoue pour la convexité lorsque $t$ est un nombre transcendant ; ils ont construit une fonction non symétriquement $t$ -convexe qui n'est pas $t$ -convexe. Cela laisse ouverte la question pour des valeurs rationnelles spécifiques de $t$ . Plus précisément, Zsolt Páles a demandé s'il existe une fonction non symétriquement $t$ -convexe qui n'est pas $t$ -convexe pour $t = 1/3$ . Puisque la $1/3$ -convexité est équivalente à la midconvexité (1/2-convexité) dans le contexte des paramètres rationnels, la question est de savoir si la non-symétrique $1/3$ -convexité implique la midconvexité.

Méthodologie
L'auteur, Paolo Leonetti, emploie une approche par inégalités fonctionnelles pour établir un critère général d'équivalence entre la $t$ -convexité non symétrique et la $t$ -convexité symétrique.

Critère général (Proposition 2.1) : Le cœur de la preuve est une proposition stipulant que pour un $t \in (0, 1/2)$ fixé, s'il existe une constante $C > 1-t$ , un ensemble fini de paires ordonnées $\{(u_i, v_i)\}$ avec $u_i \leq v_i$ , des coefficients non négatifs $\mu_i$ , et un nombre réel $\eta$ tels qu'une combinaison linéaire spécifique des fonctionnels de « défaut » $J_{t,\phi}$ soit égale à une combinaison linéaire spécifique de valeurs de fonctions, alors toute fonction non symétriquement $t$ -convexe est $t$ -convexe.
Le fonctionnel de défaut est défini par $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ .
Preuve par l'absurde et itération : En supposant l'existence d'une fonction $f$ non symétriquement $t$ -convexe qui n'est pas $t$ -convexe, l'auteur construit une fonction auxiliaire $F$ (via une transformation affine) telle que $F(0)=F(1)=0$ et $F(t) > 0$ . En appliquant le critère général à des versions scalées de cette fonction, l'auteur dérive une relation de récurrence impliquant la suite $G_n = f(t^{n+1}) - tf(t^n)$ .
La preuve démontre que sous la condition $C > 1-t$ , la suite $G_n$ croît géométriquement, menant à une contradiction où la valeur de la fonction en un point négatif spécifique doit être infinie, ce qui est impossible pour une fonction à valeurs réelles.
Construction explicite pour $t=1/3$ : Pour appliquer le critère général au cas spécifique $t=1/3$ , l'auteur construit explicitement les paramètres requis :

$C = 8/3$
$\eta = 10/9$
Trois paires de points : $(1/9, 4/9)$ , $(0, 2/3)$ , et $(0, 1)$ .
Coefficients : $\mu_1 = 3$ , $\mu_2 = 2$ , $\mu_3 = 4/3$ .
L'auteur vérifie que la combinaison linéaire des termes de $J_{1/3, \phi}$ utilisant ces paramètres produit l'identité requise, satisfaisant ainsi les conditions de la Proposition 2.1.

Contributions clés et résultats

Théorème 1.3 : Le résultat principal est la réponse négative à la question de Páles : l'auteur prouve que pour $t = 1/3$ , toute fonction $f: \mathbb{R} \to \mathbb{R}$ non symétriquement $t$ -convexe est nécessairement $t$ -convexe.
Généralisation : La méthodologie établit que l'ensemble $T$ de toutes les valeurs de $t \in (0, 1)$ pour lesquelles la $t$ -convexité non symétrique implique la $t$ -convexité contient $1/2$ (trivial) et $1/3$ (prouvé).
Propriétés structurelles de $T$ :
- Symétrie : L'ensemble $T$ est symétrique autour de $1/2$ (c'est-à-dire $t \in T \iff 1-t \in T$ ).
- Densité : L'ensemble $T$ est dense dans l'intervalle $(0, 1)$ . Ceci est prouvé à l'aide d'une construction impliquant des mots finis et des applications polynomiales qui génèrent un ensemble dense de paramètres satisfaisant la condition de convexité.
- Éléments spécifiques : L'article note que des calculs similaires montrent que $1/k \in T$ pour $k \in \{4, 5, 6\}$ , et que des nombres algébriques spécifiques comme $\frac{\sqrt{5}-1}{2}$ et $\frac{3-\sqrt{5}}{2}$ appartiennent à $T$ .

Signification et questions ouvertes
L'article résout un problème ouvert posé par Zsolt Páles concernant le cas $t=1/3$ , confirmant que l'échec de l'implication pour $t$ transcendant ne s'étend pas à ce cas rationnel. Le travail fournit une méthode constructive (Proposition 2.1) pour déterminer si d'autres valeurs rationnelles ou algébriques de $t$ appartiennent à l'ensemble $T$ .

L'auteur conclut en notant que bien que $T$ soit dense et contienne de nombreux nombres algébriques, il reste une question ouverte de savoir si $T$ contient tous les nombres algébriques de $(0, 1)$ . L'article ne propose pas d'autres applications ou directions expérimentales, se concentrant strictement sur la caractérisation théorique de ces inégalités fonctionnelles.

Articles similaires