Generalized Mean - Definition

Definition

If is a non-zero real number, we can define the generalized mean or power mean with exponent of the positive real numbers as:

M_p(x_1,\dots,x_n) = \left( \frac{1}{n} \sum_{i=1}^n x_i^p \right)^{1/p}

While for we assume that it's equal to the geometric mean (which is, in fact, the limit of means with exponents approaching zero, as proved below for the general case):

M_0(x_1, \dots, x_n) = \sqrt{\prod_{i=1}^n x_i}

Furthermore, for a sequence of positive weights with sum we define the weighted power mean as:

M_p(x_1,\dots,x_n) = \left(\sum_{i=1}^n w_i x_i^p \right)^{1/p}
M_0(x_1,\dots,x_n) = \prod_{i=1}^n x_i^{w_i}

The unweighted means correspond to setting all . For exponents equal to positive or negative infinity the means are maximum and minimum, respectively, regardless of weights (and they are actually the limit points for exponents approaching the respective extremes, as proved below):

M_\infty (x_1,\dots,x_n)=\max(x_1,\dots,x_n)
M_{-\infty}(x_1,\dots,x_n)=\min(x_1,\dots,x_n)
Proof that (geometric mean)

We can rewrite the definition of using the exponential function

M_p(x_1,\dots,x_n) = \exp{\left( \ln{\left(\sum_{i=1}^n w_ix_{i}^p \right)^{1/p}} \right) } = \exp{\left( \frac{\ln{\left(\sum_{i=1}^n w_ix_{i}^p \right)}}{p} \right) }

In the limit, we can apply L'Hôpital's rule to the exponential component,

\lim_{p \to 0} \frac{\ln{\left(\sum_{i=1}^n w_ix_{i}^p \right)}}{p} = \lim_{p \to 0} \frac{\sum_{i=1}^n w_i x_i^p \ln{x_i}}{\sum_{i=1}^n w_i x_i^p} = \sum_{i=1}^n w_i \ln{x_i} = \ln{\left(\prod_{i=1}^n x_i^{w_i} \right)}

since . By the continuity of the exponential function, we can substitute back into the above relation to obtain

\lim_{p \to 0} M_p(x_1,\dots,x_n) = \exp{\left( \ln{\left(\prod_{i=1}^n x_i^{w_i} \right)} \right)} = \prod_{i=1}^n x_i^{w_i} = M_0(x_1,\dots,x_n)

as desired.
Proof that

Assume (possibly after relabeling and combining terms together) that . Then

\lim_{p \to \infty} \sum_{i=1}^n w_i x_i^p = \lim_{p \to \infty} x_1^p \sum_{i=1}^n w_i \left( \frac{x_i}{x_1} \right)^p = \lim_{p \to \infty} w_1 x_1^p

because for . (Note that although for goes to infinity, it does so much slower than so that in the limit it can be ignored.) Thus

\lim_{p \to \infty} M_p(x_1,\dots,x_n) = \lim_{p \to \infty} \left(w_1 x_1^p \right)^{1/p} = x_1 = \max(x_1,\dots,x_n) = M_\infty (x_1,\dots,x_n)

since . The formula for follows from .

Read more about this topic:  Generalized Mean

Famous quotes containing the word definition:

    “It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
    —Jane Adams (20th century)

    “... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
    —George Eliot [Mary Ann (or Marian)

    “The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
    —Ralph Waldo Emerson (1803–1882)