琴生不等式(英语:Jensen's inequality,台湾称作简森不等式[1]),或称延森不等式,以丹麦数学家约翰·延森命名。它给出积分的凸函数值和凸函数的积分值间的关系,在此不等式最简单形式中,阐明了对一平均做凸函数变换,会小于等于先做凸函数变换再平均。若将琴生不等式应用在二点上,就回到了凸函数的基本性质:过一个凸函数上任意两点所作割线一定在这两点间的函数图象的上方,即:
延森不等式可以用测度论或概率论的语言给出。这两种方式都表明同一个很一般的结果。
假设是集合的正测度,使得。若是勒贝格可积的实值函数,而是在的值域上定义的凸函数,则
以概率论的名词,是个概率测度。函数换作实值随机变量(就纯数学而言,两者没有分别)。在空间上,任何函数相对于概率测度的积分就成了期望。这不等式就说,若是任一凸函数,则
假设是实轴上的可测子集,而是非负函数,使得
以概率论的语言,是个概率密度函数。
延森不等式变成以下关于凸积分的命题:
若是任一实值可测函数,在的值域中是凸函数,则
若,则这形式的不等式简化成一个常用特例:
若是有限集合,而是上的正规计数测度,则不等式的一般形式可以简单地用和式表示:
其中。
若是凹函数,只需把不等式符号调转。
假设是正实数,,及。上述和式便成了
两边取取以为底数的指数函数就得出熟悉的均值不等式:
这不等式也有无限项的离散形式。
统计物理学中,若凸函数是指数函数,延森不等式特别重要:
其中方括号表示期望,是以随机变量X的某个概率分布算出。这个情形的证明很简单(参见Chandler, Sec. 5.5):在以下等式的第三个指数函数
套用不等式
即得出所求的不等式。
- ^ Jensen's inequality - 簡森不等式. 国家教育研究院双语词汇. [2021-11-22]. (原始内容存档于2021-11-22) (中文(台湾)).