<?xml version="1.0" encoding="UTF-8"?>

<record version="7" id="267">
 <title>weighted power mean</title>
 <name>WeightedPowerMean</name>
 <created>2001-10-17 00:26:56</created>
 <modified>2005-01-30 15:49:36</modified>
 <type>Definition</type>
 <creator id="3" name="drini"/>
 <author id="3" name="drini"/>
 <classification>
	<category scheme="msc" code="26B99"/>
 </classification>
 <related>
	<object name="ArithmeticGeometricMeansInequality"/>
	<object name="ArithmeticMean"/>
	<object name="GeometricMean"/>
	<object name="HarmonicMean"/>
	<object name="PowerMean"/>
	<object name="ProofOfArithmeticGeometricHarmonicMeansInequality"/>
	<object name="RootMeanSquare3"/>
	<object name="ProofOfGeneralMeansInequality"/>
	<object name="DerivationOfHarmonicMeanAsTheLimitOfThePowerMean"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>If $w_1,w_2,\ldots,w_n$ are positive real numbers such that $w_1+w_2+\cdots+w_n=1$, we define the \emph{$r$-th weighted power mean} of the $x_i$ as:

$$M_w^r(x_1,x_2,\ldots,x_n)=\left({w_1x_1^r+w_2x_2^r+\cdots+w_nx_n^r}\right)^{1/r}.$$

When all the $w_i=\frac{1}{n}$ we get the standard power mean.
The weighted power mean is a continuous function of $r$, and taking limit when $r\to0$ gives us
$$M_w^0=x_1^{w_1}x_2^{w_2}\cdots w_n^{w_n}.$$

We can weighted use power means to generalize the power means inequality:
If $w$ is a set of weights, and if $r&lt;s$ then
$$M_w^r \leq M_w^s.$$</content>
</record>
