Hölder's Inequality & Minkowski's Inequality

好的,这两个是分析学里最经典的不等式,常一起出现,因为闵可夫斯基不等式的证明通常要用到霍尔德不等式。

霍尔德不等式 (Hölder’s Inequality)

设 $p,q>1$ 且满足共轭指数关系 $\frac{1}{p}+\frac{1}{q}=1$,那么对于数列(或函数):

数列形式: ${\sum }_{i=1}^n|a_i{b}_i|\le {\left({\sum }_{i=1}^n|a_i{|}^p\right)}^{1/p}{\left({\sum }_{i=1}^n|b_i{|}^q\right)}^{1/q}$

积分/函数形式: $\int |fg|,d\mu \le |f{|}_p,|g{|}_q$

直观理解:它是柯西-施瓦茨不等式的推广。当 $p=q=2$ 时,霍尔德就退化成柯西不等式。它的核心思想是:两个东西乘积的”总量”,受它们各自 $L^p$ 和 $L^q$ 范数的控制。

证明的关键工具是 Young 不等式:对 $a,b\ge 0$,有 $ab\le \frac{a^p}{p}+\frac{b^q}{q}$ 把归一化后的 $|a_i|,|b_i|$ 代进去逐项求和即可。

等号成立条件:$|a_i{|}^p$ 与 $|b_i{|}^q$ 成比例。

闵可夫斯基不等式 (Minkowski’s Inequality)

设 $p\ge 1$,则:

数列形式: ${\left({\sum }_{i=1}^n|a_i+b_i{|}^p\right)}^{1/p}\le {\left({\sum }_{i=1}^n|a_i{|}^p\right)}^{1/p}+{\left({\sum }_{i=1}^n|b_i{|}^p\right)}^{1/p}$

范数语言: $|f+g{|}_p\le |f{|}_p+|g{|}_p$

直观理解:它就是 $L^p$ 空间中的三角不等式。它的意义在于证明了 $|\cdot {|}_p$ 确实是一个合法的范数,从而 $L^p$ 空间才能成为赋范空间(进一步是 Banach 空间)。$p=2$ 时就是欧几里得空间里”三角形两边之和大于第三边”。

证明思路(用霍尔德): $\sum |a_i+b_i{|}^p\le \sum |a_i||a_i+b_i{|}^{p-1}+\sum |b_i||a_i+b_i{|}^{p-1}$ 对右边两项分别用霍尔德不等式(指数取 $p$ 和 $q=\frac{p}{p-1}$),整理后两边除以 ${\left(\sum |a_i+b_i{|}^p\right)}^{1/q}$ 即得结论。

两者的关系与一句话总结

• 霍尔德:控制”乘积”→ 对偶性的基础($L^p$ 的对偶空间是 $L^q$)
• 闵可夫斯基:控制”和”→ 三角不等式,让 $L^p$ 范数成立

注意 $p<1$ 时闵可夫斯基不等式会反向,这是常见的坑。

顺带一提,你之后在 CMU 如果修 21-355/21-356 (Principles of Real Analysis) 或者更后面的测度论课程,这两个不等式会是 $L^p$ 空间理论的开场必讲内容;在竞赛数学里,霍尔德也是处理幂平均、SOS 之外的大杀器,比如经典的三元霍尔德形式 $(\sum a^3)(\sum b^3)(\sum c^3)\ge (\sum abc{)}^3$。