Yang不等式，Hölder不等式与闵可夫斯基(Minkowski)不等式

Yang不等式

$\forall a, b \ge 0, p, q\gt 0,$ 若 $\dfrac{1}{p} + \dfrac{1}{q} = 1,$ 则： $ab \le \dfrac{a^p}{p} + \dfrac{b^q}{q},$ 且当且仅当 $a^p = b^q$ 时等号成立。

证明

1. 当 $a = 0$ 或 $b = 0$ 时，不等式显然成立， 且当且仅当 $a = b = 0 \Leftrightarrow a^p = b^q$ 时等式成立。

2. 当 $a > 0$ 且 $b > 0$ 时，令 $x = a^p, y = b^q, \lambda = \dfrac{1}{p},$ 则 $x, y > 0, \lambda \in (0, 1),$ 要证明的不等式可化为：

   $x^\lambda y^{1 - \lambda} \le \lambda x + (1 - \lambda) y \Leftrightarrow \lambda \ln x + (1 - \lambda) \ln y \le \ln [\lambda x + (1 - \lambda) y ]$
   由于： $\forall x \in (0, +\infty ), \dfrac{\mathrm {d}^2}{\mathrm {d}x^2}\ln x = - \dfrac{1}{x^2} < 0,$ 所以 $\ln x$ 在定义域上是严格凹函数，故不等式成立， 且当且仅当 $x = y \Leftrightarrow a^p = b^q$ 时等号成立。

Hölder不等式

$\forall n \in \mathbb N, \forall p, q \gt 0,$ 若 $n \ge 1, \forall i \in \mathbb N, 1 \le i \le n,x_i, y_i \in \mathbb R, \dfrac{1}{p} + \dfrac{1}{q} = 1,$ 则：

$$| \sum_{i = 1}^{n} x_i y_i | \le (\sum_{i = 1}^{n} {| x_i |}^p)^{1 / p} \cdot (\sum_{i = 1}^{n} {| y_i |}^q)^{1 / q}$$

证明

1. $(\sum_{i = 1}^{n} {| x_i |}^p)^{1 / p} = 0$ 或 $(\sum_{i = 1}^{n} {| y_i |}^q)^{1 / q} = 0$ 时，不等式显然成立。下面分析其他情况。

2. $| \sum_{i = 1}^{n} x_i y_i | \le \sum_{i = 1}^{n} | x_i y_i | = \sum_{i = 1}^{n} | x_i | \cdot | y_i |,$ 当且仅当 $\forall i, j \in \mathbb N, 1 \le i, j \le n,$

   $x_i y_i x_j y_j \ge 0$ 时等号成立。

3. $\forall i \in \mathbb N, 1 \le i \le n,$ 令 $a_i = \dfrac{| x_i | }{ (\sum_{i = 1}^{n} {| x_i |}^p)^{1 / p}} , b_i = \dfrac{| y_i | }{ (\sum_{i = 1}^{n} {| y_i |}^q)^{1 / q}},$
   则 $a_i, b_i \ge 0,$ 由Yang不等式：

   a