证明凹函数下的詹森不等式
均值不等式重要结论？
均值不等式重要结论？
均值不等式，又名平均值不等式、平均不等式，是数学中的一个重要公式，公式内容为Hn≤Gn≤An≤Qn。 均值不等式可以看成是“对于若干个非负实数，它们的算术平均不小于几何平均”的推论
关于均值不等式的证明方法有很多，数学归纳法（第一数学归纳法或反向归纳法）、拉格朗日乘数法、琴生不等式法、排序不等式法、柯西不等式法等等，都可以证明均值不等式，在这里简要介绍数学归纳法的证明方法：
（注：在此证明的，是对n维形式的均值不等式的证明方法。）
用数学归纳法证明，需要一个辅助结论
请问琴生不等式是什么？
琴生不等式：（注意前提、等号成立条件）
设f(x)为上凸函数，则f[(x1 x2 …… xn)/n]gt[f(x1) f(x2) …… f(xn)]/n,称为琴生不等式（幂平均）。
加权形式为：
f[(a1x1 a2x2 …… anxn)]gta1f(x1) a2(x2) …… anf(xn),其中
aigt0(i1,2,……,n),且a1 a2 …… an1.
凸函数的概念：
【定义】如果函数f(x)满足对定义域上任意两个数x1,x2都有(f(x1) f(x2))/2gtf((x1 x2)/2),那么f(x)为凹函数，或下凸函数。
【定义】如果函数f(x)满足对定义域上任意两个数x1,x2都有(f(x1) f(x2))/2ltf((x1 x2)/2),那么f(x)为凸函数，或上凸函数。
同样，如果不等式中等号只有x1x2时才成立，我们分别称它们为严格的凹凸函数
上面上凸下凸的名字我有可能记错了。
琴生不等式说，
对于任意的凹函数f(x)以及其定义域上n个数x1,x2,...,xn,那么都有(f(x1) f(x2) ... f(xn))/ngtf((x1 x2 ... xn)/n)
对于任意的凸函数f(x)以及其定义域上n个数x1,x2,...,xn,那么都有(f(x1) f(x2) ... f(xn))/nltf((x1 x2 ... xn)/n)
如果上面凹凸是严格的，那么不等式的等号只有x1x2...xn才成立
现在我们看看如何证明琴生不等式，下面只对凹函数加以证明。
首先我们对n是2的幂加以证明，用数学归纳法
假设对于n2^k琴生不等式成立，那么对于n2^(k 1)
(f(x1) f(x2) ... f(xn))/n
((f(x1) f(x2) ... f(x(n/2)))/(n/2) (f(x(n/2 1)) ... f(xn))/(n/2))/2
gt(f(（(x1 x2 ... x(n/2)）/(n/2)) f((x(n/2 1) ... xn)/(n/2)))/2
gtf(((（(x1 x2 ... x(n/2)）/(n/2) (x(n/2 1) ... xn)/(n/2)))/2)
f((x1 x2 ... xn)/n)
所以对于所有2的幂，琴生不等式成立。
现在对于一个普通的n,如果n不是2的幂，我们可以找到一个k,使得2^kgtn
然后我们设
x(n 1)x(n 2)...x(2^k)(x1 x2 ... xn)/n
代入2^k阶的琴生不等式结论，整理后就可以得到结论。
现在看看如何使用琴生不等式证明平方平均不等式
(x1^2 x2^2 ... xn^2)/ngt[(x1 x2 ... xn)/n]^2
显然，我们可以查看函数f(x)x^2
由于
(f(x1) f(x2))/2(x1^2 x2^2)/2(2x1^2 2x2^2)/4gt(x1^2 x2^2 2x1x2 (x1-x2)^2)/4gt(x1^2 x2^2 2x1x2)/4((x1 x2)/2)^2
所以f(x)x^2是凹函数
所以我们可以得到，对于任意x1,x2,...,xn,
有(f(x1) f(x2) ... f(xn))/ngtf((x1 x2 ... xn)/n)
也就是n阶平方平均不等式。
从上面证明过程我们知道通常情况用初等方法判断函数的凹凸性比较麻烦。
不过如果利用数学分析我们可以有个非常方便的结论。
如果f(x)二阶可导，而且f(x)gt0,那么f(x)是凹函数
如果f(x)二阶可导，而且f(x)lt0,那么f(x)是凸函数
至于这个证明，只要使用f(x)的泰勒展开式，利用其二阶余项就可以证明的。（或者构造一个函数采用中值定理）
有了这个结论以后，使用琴生不等式就非常方便了，
现在我们可以非常容易的证明一般情况的平均不等式
比如
i)(x1^t x2^t ... xn^t)/ngt((x1 x2 ... xn)/n)^t, (tgt1时）
ii)(x1^t x2^t ... xn^t)/nlt((x1 x2 ... xn)/n)^t, (0lttlt1时）
iii) ((x1 x2 ... xn)/n)^ngtx1x2*...*xn
其中前面两个取f(x)x^t就可以了
后面一个取f(x)log(x)就可以了。