Le Medie Potenziate (o Medie di Holder, o Power Means) costituiscono la teoria unificante che lega tutte le principali medie analitiche — Aritmetica, Geometrica e Armonica — sotto un unico schema matematico, controllato da un singolo parametro reale $\mathbf{p}$.
Questa generalizzazione permette di definire una famiglia infinita di medie. L’importanza della teoria risiede nella sua capacità di modulare il peso dato ai valori: il parametro $p$ controlla se dare maggiore enfasi ai valori più grandi (per $p>0$) o a quelli più piccoli (per $p<0$) della distribuzione.
La Formula Generale
La Media Potenziata di ordine $\mathbf{p}$ per un insieme di $n$ valori positivi $x_1, x_2, \dots, x_n$ è data dalla seguente formula, applicabile per ogni $p \ne 0$:
$$\mathbf{M_p} = \left( \frac{1}{n} \sum_{i=1}^{n} x_i^p \right)^{\frac{1}{p}}$$
I Casi Particolari e Limiti Estremi
Impostando il parametro $p$ a valori specifici, si ottengono le medie più note:
| Parametro $p$ | Nome della Media | Formula e Relazione |
|---|---|---|
| $\mathbf{p=2}$ | Media Quadratica ($M_2$) | $\mathbf{M_2} = \sqrt{\frac{\sum x_i^2}{n}}$ |
| $\mathbf{p=1}$ | Media Aritmetica ($M_A$) | $\mathbf{M_1} = \frac{\sum x_i}{n}$ |
| $\mathbf{p \to 0}$ | Media Geometrica ($M_G$) | $\mathbf{M_0} = \sqrt[n]{\prod x_i}$ |
| $\mathbf{p=-1}$ | Media Armonica ($M_H$) | $\mathbf{M_{-1}} = \frac{n}{\sum \frac{1}{x_i}}$ |
Comportamento ai Limiti Estremi
La proprietà di monotonia (la media $M_p$ aumenta o resta costante all’aumentare di $p$) definisce il comportamento agli estremi del parametro:
- $\mathbf{p \to +\infty}$: La media potenziata converge al valore Massimo ($\max(X)$) della serie di dati.
- $\mathbf{p \to -\infty}$: La media potenziata converge al valore Minimo ($\min(X)$) della serie di dati.
Esempio Numerico e Ordine delle Medie
Utilizziamo l’insieme di dati $X = {1, 2, 4}$ ($n=3$) per illustrare il comportamento di $M_p$ al variare di $p$.
Tabella dei Risultati
La tabella mostra chiaramente la progressione della media dal valore minimo (1) a quello massimo (4) all’aumentare di $p$.
| $p$ | Tipo di Media | $M_p$ (Risultato) |
|---|---|---|
| $\mathbf{100}$ | ($\mathbf{p \to +\infty}$) | $\approx 4,000$ (Massimo) |
| $\mathbf{10}$ | Potenziata | $\approx 3,738$ |
| $\mathbf{5}$ | Potenziata | $\approx 3,333$ |
| $\mathbf{3}$ | Cubica | $\mathbf{2,897}$ |
| $\mathbf{2}$ | Quadratica ($M_2$) | $\mathbf{2,646}$ |
| $\mathbf{1}$ | Aritmetica ($M_A$) | $\mathbf{2,333}$ |
| $\mathbf{0}$ | Geometrica ($M_G$) | $\mathbf{2,000}$ |
| $\mathbf{-1}$ | Armonica ($M_H$) | $\mathbf{1,714}$ |
| $\mathbf{-2}$ | Controarmonica | $\mathbf{1,512}$ |
| $\mathbf{-3}$ | Potenziata | $\mathbf{1,385}$ |
| $\mathbf{-5}$ | Potenziata | $\approx 1,259$ |
| $\mathbf{-10}$ | Potenziata | $\approx 1,149$ |
| $\mathbf{-100}$ | ($\mathbf{p \to -\infty}$) | $\approx 1,000$ (Minimo) |
Relazione di Ordine
Questa relazione universale conferma che, per qualsiasi serie di dati non uniforme, vale sempre l’ordine:
$$\mathbf{Min(X) \le M_H \le M_G \le M_A \le Max(X)}$$