幂平均

幂平均（英语：power mean），又称广义平均（英语：generalized mean）或赫尔德平均（英语：Hölder mean），是一族从数列到实数的函数。幂平均函数的特殊情况包括毕达哥拉斯平均（算术、几何、调和平均），因此可视为毕达哥拉斯平均的一种推广。

定义

若 $p$ 是一非零实数，可定义非负实数 $x_{1},\dots ,x_{n}$ 的p次幂平均为

M_{p}(x_{1},\dots ,x_{n})=\left({\frac {1}{n}}\cdot \sum _{i=1}^{n}x_{i}^{p}\right)^{\frac {1}{p}}\,

幂平均在 $p=0$ 等于几何平均（幂平均函数 $p$ 收敛于0时的收敛于几何平均）

M_{0}(x_{1},\dots ,x_{n})=\left(\prod _{i=1}^{n}x_{i}\right)^{\frac {1}{n}}\,

性质

和所有平均一样，幂平均是各参数 $x_{1},\dots ,x_{n}$ 的一次齐次函数。即若 $b$ 是一个正实数，则 $b\cdot x_{1},\dots ,b\cdot x_{n}$ 指数为 $p$ 的幂平均等于 $b$ 倍 $x_{1},\dots ,x_{n}$ 的幂平均。
与几何算术平均一样，这种平均的计算可以分解成同样大小的子块来计算。

M_{p}(x_{1},\dots ,x_{n\cdot k})=M_{p}(M_{p}(x_{1},\dots ,x_{k}),M_{p}(x_{k+1},\dots ,x_{2\cdot k}),\dots ,M_{p}(x_{(n-1)\cdot k+1},\dots ,x_{n\cdot k}))

幂平均不等式

一般地，如果 $p<q$ ，则 $M_{p}(x_{1},\dots ,x_{n})\leq M_{q}(x_{1},\dots ,x_{n})$ 且这两个平均相等当且仅当 $x_{1}=x_{2}=\cdots =x_{n}$ 。这由事实

\forall p\in \mathbb {R} \ {\frac {\partial M_{p}(x_{1},\dots ,x_{n})}{\partial p}}\geq 0,

得出，上述不等式可由琴生不等式证明。

特别地，对 $p\in \{-1,0,1\}$ ，幂平均不等式蕴含了毕达哥拉斯平均不等式以及算术几何平均不等式。

特例

$M_{-\infty }(x_{1},\dots ,x_{n})=\lim _{p\to -\infty }M_{p}(x_{1},\dots ,x_{n})=\min\{x_{1},\dots ,x_{n}\}$	最小值
$M_{-1}(x_{1},\dots ,x_{n})={\frac {n}{{\frac {1}{x_{1}}}+\dots +{\frac {1}{x_{n}}}}}$	调和平均
$M_{0}(x_{1},\dots ,x_{n})=\lim _{p\to 0}M_{p}(x_{1},\dots ,x_{n})={\sqrt[{n}]{x_{1}\cdot \dots \cdot x_{n}}}$	几何平均
$M_{1}(x_{1},\dots ,x_{n})={\frac {x_{1}+\dots +x_{n}}{n}}$	算术平均
$M_{2}(x_{1},\dots ,x_{n})={\sqrt {\frac {x_{1}^{2}+\dots +x_{n}^{2}}{n}}}$	平方平均
$M_{3}(x_{1},\dots ,x_{n})={\sqrt[{3}]{\frac {x_{1}^{3}+\dots +x_{n}^{3}}{n}}}$	立方平均
$M_{+\infty }(x_{1},\dots ,x_{n})=\lim _{p\to \infty }M_{p}(x_{1},\dots ,x_{n})=\max\{x_{1},\dots ,x_{n}\}$	最大值

幂平均不等式的证明

不同符号的不等式之等价

假设指数 $p$ 与 $q$ 的幂平均间有不等式：

{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}

则

{\sqrt[{p}]{\sum _{i=1}^{n}{\frac {w_{i}}{x_{i}^{p}}}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}{\frac {w_{i}}{x_{i}^{q}}}}}

.

我们在两边取倒数（正实数上的严格递减函数，不等号反向）：

{\sqrt[{-p}]{\sum _{i=1}^{n}w_{i}x_{i}^{-p}}}={\sqrt[{p}]{\frac {1}{\sum _{i=1}^{n}w_{i}{\frac {1}{x_{i}^{p}}}}}}\geq {\sqrt[{q}]{\frac {1}{\sum _{i=1}^{n}w_{i}{\frac {1}{x_{i}^{q}}}}}}={\sqrt[{-q}]{\sum _{i=1}^{n}w_{i}x_{i}^{-q}}}

,

我们得到了关于 $-p$ 与 $-q$ 的幂平均不等式，同样的推理可以倒推，从而证明了两个不等式等价，这在后面的证明中将用到。

几何平均

对任何 $q$ ，指数为 $q$ 的幂平均与几何平均之间的不等式为：

\prod _{i=1}^{n}x_{i}^{w_{i}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}

{\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}\leq \prod _{i=1}^{n}x_{i}^{w_{i}}

（第一个不等式对正数 $q$ ，第二个对负数）

我们在两边取 $q$ 次幂：

\prod _{i=1}^{n}x_{i}^{w_{i}\cdot q}\leq \sum _{i=1}^{n}w_{i}x_{i}^{q}

两种情形我们都得到关于 $x_{i}^{q}$ 的加权算术几何平均不等式，这可以用琴生不等式证明，利用对数函数是凸函数的事实：

\sum _{i=1}^{n}w_{i}\log(x_{i})\leq \log \left(\sum _{i=1}^{n}w_{i}x_{i}\right)

\log \left(\prod _{i=1}^{n}x_{i}^{w_{i}}\right)\leq \log \left(\sum _{i=1}^{n}w_{i}x_{i}\right)

两边取指数函数（严格递增），我们得到了不等式：

\prod _{i=1}^{n}x_{i}^{w_{i}}\leq \sum _{i=1}^{n}w_{i}x_{i}.

从而对任何正数 $q$ ，下式成立：

{\sqrt[{-q}]{\sum _{i=1}^{n}w_{i}x_{i}^{-q}}}\leq \prod _{i=1}^{n}x_{i}^{w_{i}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}.

因为此不等式对任何 $q$ 成立，足够小同样成立，可以将证明（利用洛必达法则），当 $q$ 趋于 0 时，左右两边趋于几何平均， $q$ 趋于 0 时的幂平均是几何平均：

\lim _{q\rightarrow 0}{\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}=\prod _{i=1}^{n}x_{i}^{w_{i}}

幂平均不等式

我们将证明对任何 $p<q$ 如下不等式成立：

{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}.

如果 $p$ 是负数且 $q$ 是正数，不等式等价于上面已证过的

{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq \prod _{i=1}^{n}x_{i}^{w_{i}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}

对正数 $p$ 与 $q$ 的证明如下：定义函数 $f:{\mathbb {R} _{+}}\rightarrow {\mathbb {R} _{+}},$ $f(x)=x^{\frac {q}{p}}.$ f 是一个幂函数，所以有二阶导数： $f''(x)=\left({\frac {q}{p}}\right)\left({\frac {q}{p}}-1\right)x^{{\frac {q}{p}}-2}$ ，在 $f$ 的定义域内严格正，因为 $q>p$ ，从而我们知道 $f$ 是凸的。

利用这一点以及琴生不等式，我们得到：

f(\sum _{i=1}^{n}w_{i}x_{i}^{p})\leq \sum _{i=1}^{n}w_{i}f(x_{i}^{p})

{\sqrt[{\frac {p}{q}}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq \sum _{i=1}^{n}w_{i}x_{i}^{q}

两边取 ${\frac {1}{q}}$ 次幂（递增函数，因 ${\frac {1}{q}}$ 为正数）我们得到了欲证之不等式：

{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}.

最后使用先前证过的等价性，我们得到了关于负数 $p$ 与 $q$ 的不等式，证毕。

最小值与最大值

此段最后将证明当指数 $p$ 趋于 $-\infty$ 与 $+\infty$ ，其幂平均的幂平均分别趋于最小值与最大值。定义指数为 $-\infty$ 与 $+\infty$ 的幂平均为最大值与最小值。从而应该有：

\min(x_{1},x_{2},\ldots ,x_{n})\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}\leq \max(x_{1},x_{2},\ldots ,x_{n})

对最大值证明如下：不失一般性假设序列 $x_{i}$ 非减且全不为零。则不等式等价于：

{\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}\leq x_{1}

两边取 $q$ 次幂，我们得到不等式（取决于 $q$ 的符号）：

\sum _{i=1}^{n}w_{i}x_{i}^{q}\leq {\color {red}\geq }x_{1}^{q}

若 $q>0$ 为 ≤，若 $q<0$ 为 ≥。

两边同时减去 $w_{1}x_{1}^{q}$ 我们得到：

\sum _{i=2}^{n}w_{i}x_{i}^{q}\leq {\color {red}\geq }(1-w_{1})x_{1}^{q}

除以 $(1-w_{1})$ ：

\sum _{i=2}^{n}{\frac {w_{i}}{(1-w_{1})}}x_{i}^{q}\leq {\color {red}\geq }x_{1}^{q}

$1-w_{1}$ 不为零，从而：

\sum _{i=2}^{n}{\frac {w_{i}}{(1-w_{1})}}=1

减去 ${x_{1}}^{q}$ 剩下：

\sum _{i=2}^{n}{\frac {w_{i}}{(1-w_{1})}}(x_{i}^{q}-x_{1}^{q})\leq {\color {red}\geq }0

这是显然的，因为 $x_{1}$ 大于或等于任何 $x_{i}$ ，从而

x_{i}^{q}-x_{1}^{q}\leq {\color {red}\geq }0

对最小值证明几乎相同，只不过将 $x_{1}$ 、 $w_{1}$ 换作 $x_{n}$ 、 $w_{n}$ ，证毕。

另一方面，当 $q$ 大于零时，由简单的推理以及上面的不等式有

{\sqrt[{q}]{w_{1}x_{1}^{q}}}<{\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}\leq x_{1},

令 $q$ 趋于 $+\infty$ 时，左边同样趋于 $x_{1}$ ，由夹逼定理知中间项幂平均趋于 $x_{1}$ 。最小值的证明完全类似。

广义 f-平均

幂平均可以推广到更一般的广义 f-平均（英语：Quasi-arithmetic mean）：

M_{f}(x_{1},\dots ,x_{n})=f^{-1}\left[{{\frac {1}{n}}\cdot \sum _{i=1}^{n}{f(x_{i})}}\right]

例如这包括了几何平均而勿需使用极限。幂平均是由 $f\left(x\right)=x^{p}$ 得到的。

应用

信号处理

幂平均作为一个非线性移动平均。对于小 $p$ 值，幂平均比较偏重小信号值，对于大 $p$ 值，幂平均则会强调大信号值。给予一个高效率移动算术平均的实施函数，称为 smooth ，工程师可以按照下述 Haskell 代码，设计一个移动幂平均实施函数：

 powerSmooth :: Floating a => ([a] -> [a]) -> a -> [a] -> [a]
 powerSmooth smooth p =
    map (** recip p) . smooth . map (**p)

对于大 $p$ 值，这可作为一个整流信号的包封检测器（envelope detector）。
对于小 $p$ 值，这可作为一个质量谱的基线侦测器（baseline detector）。

参见条目

平均
平方平均
算术平均
几何平均
调和平均
海伦平均（Heronian mean）
莱默平均（Lehmer mean）——也是一个与幂有关的平均数。
算术几何平均不等式

外部链接

Power mean at MathWorld （页面存档备份，存于互联网档案馆）
Examples of Generalized Mean （页面存档备份，存于互联网档案馆）
A proof of the Generalized Mean （页面存档备份，存于互联网档案馆） on PlanetMath
平均论（页面存档备份，存于互联网档案馆）