🔢 mathematics

On non-symmetric $t$ -convexity

本文通过证明任何满足对于所有 $x\le y$ 均有 $f\left(\frac{x+2y}{3}\right) \le \frac{f(x)+2f(y)}{3}$ 的函数 $f: \mathbb{R}\to \mathbb{R}$ 必然是中凸的，从而解决了由 Zsolt Páles 提出的一个问题。

原作者： Paolo Leonetti

发布于 2026-08-04

📖 1 分钟阅读🧠 深度阅读

CC0 1.0

原作者： Paolo Leonetti

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一个世界，在那里“弯曲”的规则取决于你观察的方向。在被称为泛函分析的数学分支中，科学家们研究函数——把它们想象成一种输入一个数字并输出一个数字的机器。这类机器的一个经典规则被称为“凸性”（convexity）。如果你将一个函数想象成一条曲线，那么凸曲线就像一个笑脸或一个碗；它绝不会低于连接任意两点之间的直线。这就是“中点”规则：如果你选取两点，那么曲线上的中点位置必须低于连接这两点的直线的正中间位置。

但如果我们改变规则会怎样？如果我们不检查确切的中点，而是检查一个距离一侧三分之一、距离另一侧三分之二的位置会怎样？这被称为“t-凸性”（t-convexity），这里的“t”只是代表那个特定分数的装饰性字母。现在，转折来了：通常情况下，数学规则无论你以什么顺序排列数字都适用。但在这个特定的数学领域，研究人员提出了一个棘手的问题：如果规则只在当你把较小的数放在前面、较大的数放在后面时才成立，会发生什么？这就是“非对称”凸性。这就像是在说，一个碗只有当你从左向右看时才看起来像个碗，但如果你从右向左看，它可能会变得很奇怪。长期以来，数学家们一直在思考，是否存在一个函数可以遵循这种“单向”规则，却并不真正成为一个真正的、双向的凸曲线。

在这篇论文中，数学家保罗·莱奥内蒂（Paolo Leonetti）处理了这个谜题的一个特定版本。他专注于“t”的值恰好为 1/3 的情况。由索尔特·帕莱斯（Zsolt Páles）提出的问题虽然提问简单，但回答困难：是否存在一个函数遵循 1/3 位置的“单向”规则，却不遵循“双向”规则？换句话说，一个函数是否可以在不是“1/3-凸”的情况下（在这种特定情况下，这等同于“中凸”）仍然是“非对称 1/3-凸”的？

莱奥内蒂的回答是一个肯定的“不”。他证明了如果一个函数遵守 1/3 位置的单向规则，那么根据数学定律，它必然会遵守双向规则。没有漏洞。函数无法偏离。

为了理解他是如何证明这一点的，请将该函数想象成在两点之间拉紧的一根柔性橡皮筋。“非对称”规则意味着，如果你在 1/3 处拉动橡皮筋，它必须保持在某条直线下方，但前提是你必须从左侧向右侧拉。莱奥内蒂展示了，如果你试图构建一根遵循此规则但在另一侧观察时弯曲方向错误的橡皮筋，数学就会崩溃。橡皮筋中的张力将变得无法维持。

这个证明过程就像多米诺骨牌效应。莱奥内蒂首先假设这样一个“偏离”的函数存在。然后，他使用一种巧妙的数学技巧来拉伸和收缩这个函数，从而创造出一系列越来越接近于零的点序列。他证明了如果该函数发生偏离，这些点处的值必须增长得无限大，其速度超过任何实数所能达到的极限。这就像是在尝试用一个桶装水，而这个桶每当你倒一次水时就会变小，但水的体积却在翻倍。最终，这个桶将不得不承载无限量的水，而这是不可能的。既然这一假设导致了不可能的结果，那么这种“偏离”的函数就不可能存在。

这篇论文并没有止步于 1/3。它表明这种“无偏离”规则对于其他分数（如 1/4、1/5 和 1/6）也同样成立。事实上，作者表明该规则成立的数字集合是“稠密”的，这意味着如果你在 0 到 1 之间随机选择任何一个位置，你都能找到一个非常接近它的数字，使得该规则成立。然而，仍有一个未解之谜：论文留下了关于这是否适用于所有代数数（一种涉及根号和分数的特定类型的数）的问题，或者是否仍有一些隐藏的、棘手的数字可以让偏离函数藏身其中。不过目前来看，对于 1/3 这个特定情况，大门已经关闭：非对称凸性本质上就是伪装下的常规凸性。

技术摘要：论非对称 $t$ -凸性

问题陈述
本文探讨了关于实值函数非对称 $t$ -凸性与标准 $t$ -凸性之间关系的特定问题。定义一个函数 $f: \mathbb{R} \to \mathbb{R}$ 为非对称 $t$ -凸，如果对于所有 $x \leq y$ ，不等式
$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$
均成立。如果该不等式对所有 $x, y \in \mathbb{R}$ 均成立，则称该函数为 $t$ -凸。

已知对于固定的 $t \in (0, 1)$ ，非对称 $t$ -仿射函数必然是 $t$ -仿射的。然而，Lewicki 和 Olbryś 表明，当 $t$ 为超越数时，这一蕴含关系对于凸性失效；他们构造了一个非对称 $t$ -凸但不是 $t$ -凸的函数。这使得针对特定有理数值的问题悬而未决。具体而言，Zsolt Páles 曾询问，当 $t = 1/3$ 时，是否存在非对称 $t$ -凸但不是 $t$ -凸的函数。由于在有理参数背景下， $1/3$ -凸性等价于中点凸性（ $1/2$ -凸性），因此该问题即为：非对称 $1/3$ -凸性是否蕴含中点凸性。

方法论
作者 Paolo Leonetti 采用一种泛函不等式方法，旨在建立非对称与对称 $t$ -凸性等价性的通用判据。

通用判据（命题 2.1）： 证明的核心是一个命题，该命题指出：对于固定的 $t \in (0, 1/2)$ ，如果存在一个常数 $C > 1-t$ ，一组有序对 $\{(u_i, v_i)\}$ （满足 $u_i \leq v_i$ ），非负系数 $\mu_i$ 以及一个实数 $\eta$ ，使得特定“缺陷”泛函 $J_{t,\phi}$ 的线性组合等于特定函数值的线性组合，那么每一个非对称 $t$ -凸函数都是 $t$ -凸的。
缺陷泛函定义为 $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ 。
反证法与迭代： 假设存在一个非对称 $t$ -凸但不是 $t$ -凸的函数 $f$ ，作者通过仿射变换构造了一个辅助函数 $F$ ，使得 $F(0)=F(1)=0$ 且 $F(t) > 0$ 。通过将通用判据应用于该函数的缩放版本，作者导出了一个涉及序列 $G_n = f(t^{n+1}) - tf(t^n)$ 的递推关系。
证明表明，在条件 $C > 1-t$ 下，序列 $G_n$ 呈几何级数增长，从而导致一个矛盾：即函数在某个特定负点的值必须为无穷大，这对于实值函数而言是不可能的。
针对 $t=1/3$ 的显式构造： 为了将通用判据应用于 $t=1/3$ 的特定情况，作者显式地构造了所需的参数：
- $C = 8/3$
- $\eta = 10/9$
- 三组点对： $(1/9, 4/9)$ ， $(0, 2/3)$ ，以及 $(0, 1)$ 。
- 系数： $\mu_1 = 3$ ， $\mu_2 = 2$ ， $\mu_3 = 4/3$ 。
  作者验证了使用这些参数对 $J_{1/3, \phi}$ 项进行线性组合，可以得到所需的恒等式，从而满足了命题 2.1 的条件。

核心贡献与结果

定理 1.3： 本文的主要结果是对 Páles 问题的一个否定回答。本文证明了对于 $t = 1/3$ ，每一个非对称 $t$ -凸函数 $f: \mathbb{R} \to \mathbb{R}$ 必然是 $t$ -凸的。
推广： 该方法确立了使非对称 $t$ -凸性蕴含 $t$ -凸性的所有 $t \in (0, 1)$ 的集合 $T$ 包含 $1/2$ （平凡情况）和 $1/3$ （已证明）。
$T$ 的结构性质：
- 对称性： 集合 $T$ 关于 $1/2$ 对称（即 $t \in T \iff 1-t \in T$ ）。
- 稠密性： 集合 $T$ 在区间 $(0, 1)$ 中是稠密的。这是通过一种涉及有限词汇和多项式映射的构造来证明的，该构造生成了一组满足凸性条件的稠密参数。
- 特定元素： 文中指出，类似的计算表明 $1/k \in T$ 对于 $k \in \{4, 5, 6\}$ 成立，且特定的代数数如 $\frac{\sqrt{5}-1}{2}$ 和 $\frac{3-\sqrt{5}}{2}$ 也属于 $T$ 。

意义与开放问题
本文解决了由 Zsolt Páles 提出的关于 $t=1/3$ 情况的具体开放问题，确认了对于超越数 $t$ 的蕴含失效并不延伸至此有理情况。这项工作提供了一种构造性方法（命题 2.1），用于判定其他有理数或代数数 $t$ 是否属于集合 $T$ 。

作者最后指出，尽管 $T$ 是稠密的且包含许多代数数，但 $T$ 是否包含 $(0, 1)$ 内所有代数数仍是一个开放问题。本文并未提出进一步的应用或实验方向，而是专注于这些泛函不等式的理论特征描述。

类似论文