Power Mean Inequality

Revision as of 13:47, 11 July 2006 by JBL (talk | contribs)

The Mean

The Power Mean Inequality is a generalized form of the multi-variable Arithmetic Mean-Geometric Mean Inequality.

For a real number k and positive real numbers $a_1, a_2, \ldots, a_n$, the kth power mean of the $a_i$ is

$M(k) = \left( \frac{\sum_{i=1}^n a_{i}^k}{n} \right) ^ {\frac{1}{k}}$

when $k \neq 0$ and is given by the geometric mean of the $a_i$ when $k = 0$.

Inequality

If $a < b$ then $M(a) \leq M(b)$ and equality holds if and only if $\displaystyle a_1 = a_2 = \ldots = a_n$.

The Power Mean Inequality follows from the fact that $\frac{\partial M(t)}{\partial t}\geq 0$ together with Jensen's Inequality.