Jensen (琴生) 不等式

琴生不等式以丹麦技术大学数学家约翰·延森（John Jensen）命名。它给出积分的凸函数值和凸函数的积分值间的关系。

简介

琴生不等式（Jensen’s inequality）以丹麦技术大学数学家约翰·延森（John Jensen）命名 ，它给出积分的凸函数值和凸函数的积分值间的关系。

• 琴生不等式有以下推论：过一个下凸函数上任意两点所作割线一定在这两点间的函数图象的上方，即：

• 该不等式与凸函数关系密切

Jensen不等式

• 根据凸函数性质，凸集C上的凸函数f上的两点x_1,x_2满足

• 把上式推广到 n 个点的情况，即得 Jensen 不等式：对于凸函数 f ，其所在凸集 C 中的任意点集 \ {x_ {i}} \subset C ，若 \theta_ {i} \geq 0 且 \sum_ {i} \theta_ {i}=1 ，则有

• ，如下不等式成立:

证明

现在我们以凸函数为例，证明对于凸函数 f(x) 来说，对任意 \lambda_ {j}>=0 \sum_ {j=1}^ {J} \lambda_ {j}=1 ，如下不等式成立:

采用归纳法证明上述不等式

• 首先对于J=1，很明显不等式成立；
• 首先对于J=2，根据凸函数定义

， 不等式成立

• 假设

时不等式成立，即：

• • 往证 J=n+1 时不等式成立：

扩展

• 为凸函数，则根据Jensen不等式，有：

• 对于连续随机变量 x，若 f(x) 为凸函数，则根据Jensen不等式，有：

更一般的概率密度形式：

• 假设Ω是实轴上的可测子集，而f(x)是非负函数，使得:

即 f 是个概率密度函数

• 若g是任一实值可测函数，ϕ 在g的值域中是凸函数，则

若g(x)=x，则这形式的不等式简化成一个常用特例：

一般的有限形式：

• 若Ω是有限集合 {1,x2,…,xn} ，则不等式的一般形式可以简单地用和式表示：

其中

• 若 ϕ 是凹函数，只需把不等式符号调转
• 假设

是正实数，

及 φ(x)=log⁡(x)。上述和式便成了

• 两边取自然指数就得出熟悉的均值不等式：

参考资料

• https://baike.baidu.com/item/琴生不等式/397409?fr=aladdin
• https://zh.wikipedia.org/zh-cn/簡森不等式
• https://blog.csdn.net/wxc971231/article/details/115275103
• https://blog.csdn.net/Asher117/article/details/103644674