琴生不等式,是由丹麦数学家约翰•延森(Johan Jensen)命名,也成为Jensen不等式或者詹森不等式。码字不易,喜欢请点赞,谢谢!!!有问题随时欢迎交流。
首先,对于如凸函数 f ( x ) f(x) f(x),对任意 0 < = α < = 1 0<=\alpha <=1 0<=α<=1,有如下不等式成立:
α f ( x ) + ( 1 − α ) f ( y ) > = f ( α x + ( 1 − α ) y ) \alpha f(x)+(1-\alpha)f(y)>=f(\alpha x+(1-\alpha)y) αf(x)+(1−α)f(y)>=f(αx+(1−α)y)
如下图所示。
现在我们证明对于凸函数 f ( x ) f(x) f(x)来说,对任意 λ j > = 0 \lambda _j>=0 λj>=0,并且有 ∑ j = 1 J λ j = 1 \sum_{j=1}^{J}\lambda _j=1 ∑j=1Jλj=1,如下不等式成立:
∑ j = 1 J λ j f ( x j ) > = f ( ∑ j = 1 J λ j x j ) \sum_{j=1}^{J}\lambda _jf(x_j)>=f(\sum_{j=1}^{J}\lambda _jx_j) j=1∑Jλjf(xj)>=f(j=1∑Jλjxj)
上面这个不等式就是著名的Jensen不等式。
证明:下面是Jensen不等式的证明
(1)首先对于 J = 1 J=1 J=1,很明显不等式成立;
(2)对于 J = 2 J=2 J=2,由上面的凸函数图可知,