🔢 mathematics

On non-symmetric $t$ -convexity

Este artigo resolve uma questão proposta por Zsolt Páles ao provar que qualquer função $f: \mathbb{R}\to \mathbb{R}$ que satisfaça a desigualdade $f\left(\frac{x+2y}{3}\right) \le \frac{f(x)+2f(y)}{3}$ para todo $x\le y$ deve necessariamente ser midconvexa.

Autores originais: Paolo Leonetti

Publicado 2026-08-04

📖 4 min de leitura🧠 Leitura aprofundada

CC0 1.0

Autores originais: Paolo Leonetti

Artigo original dedicado ao domínio público sob CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine um mundo onde as regras de "dobrar" são ligeiramente diferentes dependendo de para que lado você olha. Em um ramo da matemática conhecido como análise funcional, cientistas estudam funções — pense nelas como máquinas que recebem um número e entregam outro. Uma regra clássica para essas máquinas é chamada de "convexidade". Se você visualizar uma função como uma curva, uma curva convexa é como um rosto sorridente ou uma tigela; ela nunca fica abaixo de uma linha reta traçada entre quaisquer dois pontos nela. Esta é a regra do "ponto médio": se você escolher dois pontos, o ponto exatamente no meio da curva deve ser mais baixo do que o ponto exatamente no meio da linha reta que os conecta.

Mas e se mudarmos as regras? E se não verificarmos o meio exato, mas sim um ponto que está a um terço de distância de um lado e dois terços do outro? Isso é chamado de "t-convexidade", onde "t" é apenas uma letra chique para essa fração específica. Agora, aqui está a reviravolta: geralmente, as regras matemáticas se aplicam não importa a ordem em que você coloca seus números. Mas neste canto específico da matemática, pesquisadores fizeram uma pergunta intrigante: e se a regra só tiver que valer quando você coloca o número menor primeiro e o maior segundo? Isso é "convexidade não simétrica". É como dizer que uma tigela deve parecer uma tigela apenas se você olhar da esquerda para a direita, mas talvez possa ser estranha se você olhar da direita para a esquerda. Por muito tempo, matemáticos se perguntaram se uma função poderia seguir essa regra de "um só sentido" sem ser, de fato, uma curva convexa de "dois sentidos".

Neste artigo, o matemático Paolo Leonetti aborda uma versão específica desse quebra-cabeça. Ele foca no caso onde o valor de "t" é exatamente 1/3. A questão, originalmente proposta por Zsolt Páles, era simples de perguntar, mas difícil de responder: existe uma função que segue a regra de "um só sentido" para o ponto 1/3, mas falha na regra de "dois sentidos"? Em outras palavras, uma função pode ser "não simetricamente 1/3-convexa" sem ser "1/3-convexa" (que, neste caso específico, é o mesmo que ser "midconvexa")?

A resposta de Leonetti é um "não" definitivo. Ele prova que, se uma função obedece à regra de "um só sentido" para a marca de 1/3, ela é forçada pelas leis da matemática a obedecer à regra de "dois sentidos" também. Não há brecha. A função não pode desviar.

Para entender como ele provou isso, imagine a função como um elástico flexível esticado entre dois pontos. A regra "não simétrica" diz que, se você puxar o elástico no ponto de 1/3, ele deve permanecer abaixo de uma certa linha, mas apenas se você puxar do lado esquerdo para o direito. Leonetti mostrou que, se você tentar construir um elástico que siga essa regra, mas que se dobre do jeito errado quando você olha pelo outro lado, a matemática simplesmente quebra. A tensão no elástico torna-se impossível de sustentar.

A prova funciona como um efeito dominó. Leonetti começa assumindo que tal função "desviante" existe. Ele então usa um truque matemático inteligente para esticar e encolher a função, criando uma sequência de pontos que chegam cada vez mais perto de zero. Ele mostra que, se a função fosse desviante, os valores nesses pontos teriam que crescer infinitamente, mais rápido do que qualquer número real consegue. É como tentar encher um balde com água onde o balde fica menor cada vez que você despeja, mas o volume de água dobra. Eventualmente, o balde teria que conter uma quantidade infinita de água, o que é impossível. Como a suposição leva a uma impossibilidade, a função "desviante" não pode existir.

O artigo não para no 1/3. Ele sugere que esta regra de "não desvio" também se aplica a outras frações, como 1/4, 1/5 e 1/6. De fato, o autor mostra que o conjunto de números onde essa regra funciona é "denso", o que significa que, se você escolher qualquer lugar aleatório entre 0 e 1, poderá encontrar um número muito próximo dele onde a regra funciona. No entanto, ainda resta um mistério não resolvido: o artigo deixa em aberto a questão de saber se isso é verdade para todos os números algébricos (um tipo específico de número envolvendo raízes e frações), ou se ainda existem alguns números ocultos e complicados onde uma função desviante poderia se esconder. Por enquanto, porém, para o caso específico de 1/3, a porta está fechada: a convexidade não simétrica é apenas a convexidade regular disfarçada.

Resumo Técnico: Sobre a $t$ -convexidade Não Simétrica

Enunciado do Problema
O artigo aborda uma questão específica relativa à relação entre a $t$ -convexidade não simétrica e a $t$ -convexidade padrão para funções de valor real. Uma função $f: \mathbb{R} \to \mathbb{R}$ é definida como não simétrica $t$ -convexa se a desigualdade
$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$
for válida para todo $x \leq y$ . Se a desigualdade for válida para todos $x, y \in \mathbb{R}$ , a função é simplesmente $t$ -convexa.

É um resultado conhecido que, para um $t$ fixo em $(0, 1)$ , funções $t$ -afins não simétricas são necessariamente $t$ -afins. No entanto, Lewicki e Olbryś demonstraram que essa implicação falha para a convexidade quando $t$ é um número transcendental; eles construíram uma função $t$ -convexa não simétrica que não é $t$ -convexa. Isso deixa em aberto a questão para valores racionais específicos de $t$ . Especificamente, Zsolt Páles questionou se existe uma função $t$ -convexa não simétrica que não seja $t$ -convexa quando $t = 1/3$ . Dado que a $1/3$ -convexidade é equivalente à midconvexidade ( $1/2$ -convexidade) no contexto de parâmetros racionais, a questão é se a $1/3$ -convexidade não simétrica implica midconvexidade.

Metodologia
O autor, Paolo Leonetti, emprega uma abordagem de desigualdade funcional para estabelecer um critério geral de equivalência entre a $t$ -convexidade não simétrica e a simétrica.

Critério Geral (Proposição 2.1): O núcleo da prova é uma proposição afirmando que, para um $t \in (0, 1/2)$ fixo, se existirem uma constante $C > 1-t$ , um conjunto finito de pares ordenados $\{(u_i, v_i)\}$ com $u_i \leq v_i$ , coeficientes não negativos $\mu_i$ e um número real $\eta$ tais que uma combinação linear específica dos funcionais de "defeito" $J_{t,\phi}$ seja igual a uma combinação linear específica de valores de função, então toda função $t$ -convexa não simétrica é $t$ -convexa.
O funcional de defeito é definido como $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ .
Prova por Contradição e Iteração: Assumindo a existência de uma função $t$ -convexa não simétrica $f$ que não é $t$ -convexa, o autor constrói uma função auxiliar $F$ (via transformação afim) tal que $F(0)=F(1)=0$ e $F(t) > 0$ . Ao aplicar o critério geral a versões escalonadas desta função, o autor deriva uma relação de recorrência envolvendo a sequência $G_n = f(t^{n+1}) - tf(t^n)$ .
A prova demonstra que, sob a condição $C > 1-t$ , a sequência $G_n$ cresce geometricamente, levando a uma contradição onde o valor da função em um ponto negativo específico deve ser infinito, o que é impossível para uma função de valor real.
Construção Explícita para $t=1/3$ : Para aplicar o critério geral ao caso específico $t=1/3$ , o autor constrói explicitamente os parâmetros necessários:
- $C = 8/3$
- $\eta = 10/9$
- Três pares de pontos: $(1/9, 4/9)$ , $(0, 2/3)$ e $(0, 1)$ .
- Coeficientes: $\mu_1 = 3$ , $\mu_2 = 2$ , $\mu_3 = 4/3$ .
  O autor verifica que a combinação linear dos termos de $J_{1/3, \phi}$ usando esses parâmetros resulta na identidade exigida, satisfazendo assim as condições da Proposição 2.1.

Contribuições e Resultados Principais

Teorema 1.3: O resultado primário é a resposta negativa à questão de Páles. O artigo prova que, para $t = 1/3$ , toda função $t$ -convexa não simétrica $f: \mathbb{R} \to \mathbb{R}$ é necessariamente $t$ -convexa.
Generalização: A metodologia estabelece que o conjunto $T$ de todos os $t \in (0, 1)$ para os quais a $t$ -convexidade não simétrica implica $t$ -convexidade contém $1/2$ (trivial) e $1/3$ (provado).
Propriedades Estruturais de $T$ :
- Simetria: O conjunto $T$ é simétrico em torno de $1/2$ (ou seja, $t \in T \iff 1-t \in T$ ).
- Densidade: O conjunto $T$ é denso no intervalo $(0, 1)$ . Isso é provado usando uma construção envolvendo palavras finitas e mapeamentos polinomiais que geram um conjunto denso de parâmetros que satisfazem a condição de convexidade.
- Elementos Específicos: O artigo observa que computações semelhantes mostram que $1/k \in T$ para $k \in \{4, 5, 6\}$ , e números algébricos específicos como $\frac{\sqrt{5}-1}{2}$ e $\frac{3-\sqrt{5}}{2}$ pertencem a $T$ .

Significância e Questões em Aberto
O artigo resolve um problema específico colocado por Zsolt Páles sobre o caso $t=1/3$ , confirmando que a falha da implicação para $t$ transcendente não se estende a este caso racional. O trabalho fornece um método construtivo (Proposição 2.1) para determinar se outros valores racionais ou algébricos de $t$ pertencem ao conjunto $T$ .

O autor conclui observando que, embora $T$ seja denso e contenha muitos números algébicos, permanece uma questão em aberto se $T$ contém todos os números algébricos em $(0, 1)$ . O artigo não propõe aplicações ou direções experimentais adicionais, focando estritamente na caracterização teórica destas desigualdades funcionais.

Mais como este