幂平均(power mean)也叫广义平均(generalized mean)或赫尔德平均(Hölder mean),是毕达哥拉斯平均(包含了算术、几何、调和平均)的一种抽象化。
- 和所有平均一样,幂平均是各参数 的一次齐次函数。即若 是一个正实数,则 指数为 的幂平均等于 倍 的幂平均。
- 与几何算术平均一样,这种平均的计算可以分解成同样大小的子块来计算。
-
一般地,如果 ,则 且这两个平均相等当且仅当 。这由事实
-
得出,上述不等式可由琴生不等式证明。
特别地,对 ,幂平均不等式蕴含了毕达哥拉斯平均不等式以及算术几何平均不等式。
特例 n = 2 时的图形描述。
|
最小值
|
|
调和平均
|
|
几何平均
|
|
算术平均
|
|
平方平均
|
|
立方平均
|
|
最大值
|
此段最后将证明当指数 趋于 与 ,其幂平均的幂平均分别趋于最小值与最大值。定义指数为 与 的幂平均为最大值与最小值。从而应该有:
-
对最大值证明如下:不失一般性假设序列 非减且全不为零。则不等式等价于:
-
两边取 次幂,我们得到不等式(取决于 的符号):
-
若 为 ≤, 若 为 ≥。
两边同时减去 我们得到:
-
除以 :
-
不为零,从而:
-
减去 剩下:
-
这是显然的,因为 大于或等于任何 ,从而
-
对最小值证明几乎相同,只不过将 、 换作 、 ,证毕。
另一方面,当 大于零时,由简单的推理以及上面的不等式有
-
令 趋于 时,左边同样趋于 ,由夹逼定理知中间项幂平均趋于 。最小值的证明完全类似。
幂平均可以推广到更一般的广义 f-平均:
-
例如这包括了几何平均而勿需使用极限。幂平均是由 得到的。
幂平均作为一个非线性移动平均。对於小 值,幂平均比较偏重小信号值,对於大 值,幂平均则会强调大信号值。给予一个高效率移动算术平均的实施函数,称为 smooth ,工程师可以按照下述 Haskell 代码,设计一个移动幂平均实施函数:
powerSmooth :: Floating a => ([a] -> [a]) -> a -> [a] -> [a]
powerSmooth smooth p =
map (** recip p) . smooth . map (**p)