Karamata不等式

Karamata不等式 (Karamata's Inequality)

Karamata不等式也称 extbf{优超不等式}，由塞尔维亚数学家Jovan Karamata于1932年提出，是凸函数理论中一个深刻且广泛适用的不等式。该不等式刻画了 extbf{优超关系}下实值函数的大小关系：若向量$\mathbf{x}$优超于$\mathbf{y}$，则对任意凸函数$f$有$\sum f(x_i) \ge \sum f(y_i)$。Karamata不等式是琴生不等式的重大推广，涵盖多个经典不等式作为特例。

优超关系的定义

设$\mathbf{x} = (x_1, \ldots, x_n)$和$\mathbf{y} = (y_1, \ldots, y_n)$为两个实向量，分量已按非增顺序排列。称$\mathbf{x}$ extbf{优超于}$\mathbf{y}$，记作$\mathbf{x} \succ \mathbf{y}$，当且仅当：

优超关系的直观含义为$\mathbf{x}$的分量比$\mathbf{y}$的分量更分散。最极端的例子为$(1, 0, \ldots, 0) \succ (1/n, 1/n, \ldots, 1/n)$，即完全集中比均匀分布更优超于均匀分布。

定理陈述

设$f: I o \mathbb{R}$为定义在区间$I$上的凸函数，$\mathbf{x}, \mathbf{y} \in I^n$且$\mathbf{x} \succ \mathbf{y}$。Karamata不等式断言：

若$f$为严格凸函数且$\mathbf{x}$与$\mathbf{y}$不是置换相等，则不等式严格成立。若$f$为凹函数，则不等式方向反转。该定理统一了大量分散的不等式：取$f(x) = x^2$可得$\sum x_i^2 \ge \sum y_i^2$；取$f(x) = -\ln x$可导出AM-GM不等式。

经济学中的应用：收入分配与洛伦兹比较

Karamata不等式在福利经济学和收入分配理论中有重要应用。洛伦兹曲线的比较等价于优超关系：若收入分配向量$\mathbf{x}$的洛伦兹曲线处处不低于$\mathbf{y}$的曲线，则$\mathbf{y} \succ \mathbf{x}$。此时对任意凸的社会福利函数，Karamata不等式保证更平等分配的社会总福利不低于更不平等的分配。这为洛伦兹支配与社会福利比较提供了严格数学基础，与基尼系数和阿特金森指数构成福利评价的完整框架。

与琴生不等式的联系

Karamata不等式可视为琴生不等式的自然推广。琴生不等式处理单个随机变量在各点的取值，而Karamata则处理两个具有相同总质量的向量之间的比较。取$\mathbf{y} = (ar{x}, ar{x}, \ldots, ar{x})$（$ar{x}$为平均值）时，由于$\mathbf{x} \succ \mathbf{y}$自然成立，Karamata不等式退化为离散形式的琴生不等式。

证明思路

证明基于T变换：任意优超关系可通过有限次基本T变换从$\mathbf{x}$得到$\mathbf{y}$。凸函数在一次T变换下满足和值不减性质，有限步后和值不降即可得证。Karamata不等式以其在数学不等式理论中的核心地位，持续在凸分析、信息论和经济不平等研究等领域发挥重要作用。