连续不等_函数凸性Hadamard不等式

关键词：Hardamard不等式 凸函数 对数平均值不等式

若

是

上的连续凸函数，则成立

在用凸函数的性质之前，画个图直观

i)

由

成立

ii)

由

成立

iii)

1'

2'

综上1'、2'，并且

这就直观上有

同理可证

i)

由

成立

ii)

由

成立

iii)

1'

2'

其中

，

综上1'、2'，并且

。上述两式相加

又因为

是凸函数，所以有

将

和

代入

这就直观上有

直观上就有

---

定义 若

为定义在区间

上的函数，若对

上任意两点

，

和任意实数

总有

则称

为

上的凸函数。

若

是

上的连续凸函数，证明：

证明：由

为连续凸函数

两边积分得

或者

对

上任意两点

，

和任意实数

，令

，则

同理可证

因为

为凸函数，令

，有

所以

也就是

综上，这就是Hadamard不等式

https://en.wikipedia.org/wiki/Jacques_Hadamard

---

将

代入上式，得到指数平均不等式

再令

，

，则有

，

，得对数平均不等式，也就是

其中

，

，且

https://en.wikipedia.org/wiki/Logarithmic_mean

未完。。。