# Moyenne de Stolarsky

En mathématiques, la moyenne de Stolarsky est une généralisation de la moyenne logarithmique. Elle a été introduite par Kenneth B. Stolarsky en 1975.

## Définition

Étant donné un nombre réel p différent de 0 et 1, la moyenne de Stolarsky d'ordre p de deux nombres réels strictement positifs a, b est définie par : $S_{p}(a,b)=\lim _{(x,y)\to (a,b)}\left({\frac {y^{p}-x^{p}}{p(y-x)}}\right)^{1/(p-1)}={\begin{cases}a&{\text{si }}a=b\\\left({\frac {b^{p}-a^{p}}{p(b-a)}}\right)^{1/(p-1)}&{\text{sinon}}\end{cases}}$.

## Obtention de cette moyenne

Étant donné une fonction $f$ dérivable sur un intervalle $[a,b],a\neq b$, de dérivée strictement monotone sur $[a,b]$, il existe, d'après le théorème des accroissements finis, un unique réel $c$ dans l'intervalle $]a,b[$ tel que $f'(c)={\frac {f(b)-f(a)}{b-a}}={\frac {1}{b-a}}\int _{a}^{b}f'(x)\mathrm {d} x$ (qui est la valeur moyenne de $f'$ sur $[a,b]$)
La moyenne de Stolarsky est précisément égale à
    $c=f'^{-1}\left({\frac {f(b)-f(a)}{b-a}}\right)$
lorsqu'on prend $f(x)=x^{p}$ .

## Propriétés

$S_{p}(a,b)$ est bien une moyenne, car comprise entre a et b. De plus on peut prolonger par continuité $p\mapsto S_{p}(a,b)$ à l'ensemble des réels, ce qui donne une fonction croissante.

## Cas particuliers

* $\lim _{p\to -\infty }S_{p}(a,b)$ est le minimum de a et b.
* $S_{-2}(a,b)={\sqrt[{3}]{\frac {2a^{2}b^{2}}{a+b}}}={\sqrt[{3}]{M_{h}(a,b)(M_{g}(a,b))^{2}}}$ s'exprime à partir de la moyenne harmonique et de la moyenne géométrique de a et b.
* $S_{-1}(a,b)={\sqrt {ab}}$ est leur moyenne géométrique.
* $\lim _{p\to 0}S_{p}(a,b)={\frac {b-a}{\ln b-\ln a}}$ est leur moyenne logarithmique. Elle est obtenue par la formule $f'^{-1}\left({\frac {f(b)-f(a)}{b-a}}\right)$ en prenant $f(x)=\ln x$ .
* $S_{\frac {1}{2}}(a,b)=\left({\frac {{\sqrt {b}}+{\sqrt {a}}}{2}}\right)^{2}$ est leur moyenne (de Hölder) d'ordre 1/2.
* $\lim _{p\to 1}S_{p}(a,b)={\frac {1}{\rm {e}}}\left({\frac {b^{b}}{a^{a}}}\right)^{1/(b-a)}$ est leur moyenne identrique. Elle est obtenue à partir de la formule $f'^{-1}\left({\frac {f(b)-f(a)}{b-a}}\right)$ en prenant $f(x)=x\cdot \ln x$ .
* $S_{2}(a,b)$ est leur moyenne arithmétique.
* $S_{3}(a,b)={\sqrt {\frac {a^{2}+b^{2}+ab}{3}}}=M_{q}(a,b,M_{g}(a,b))$ s'exprime à partir de la moyenne quadratique et de la moyenne géométrique de a et b.
* $\lim _{p\to \infty }S_{p}(a,b)$ est le maximum de a et b.

## Généralisations
### Pour plusieurs variables

On peut généraliser cette moyenne à n + 1 variables en considérant le théorème des accroissements finis généralisé exprimé à l'aide des différences divisées. On obtient :
    $S_{p}(x_{0},\dots ,x_{n})={f^{(n)}}^{-1}(n!\cdot f[x_{0},\dots ,x_{n}])$ avec $f(x)=x^{p}$ .

### Pour une fonction quelconque

La définition $M_{f}(a,b)=f'^{-1}\left({\frac {f(b)-f(a)}{b-a}}\right)$ pour $a,b>0$ est possible dès que la fonction $f$ est strictement convexe et dérivable sur $]0,+\infty [$. On a vu ci-dessus les cas $f(x)=x^{p},\ln x,x\ln x$.
Pour $f(x)={\rm {e}}^{x}$, on a $M_{f}(a,b)=\ln \left({\frac {{\rm {e}}^{b}-{\rm {e}}^{a}}{b-a}}\right)$ dont on peut noter qu'elle n'est pas homogène.
D'autre part, on peut montrer que la moyenne harmonique ne peut être obtenue comme moyenne de type $M_{f}$.

### Moyennes bi-paramétriques

On peut définir des moyennes de Stolarsky pour deux paramètres p et q par:
    $S_{p,q}(a,b)={\begin{cases}a&{\text{si }}a=b>0\\S_{p}(a,b)&{\text{si }}q=0\\\left({\frac {q(b^{p}-a^{p})}{p(b^{q}-a^{q})}}\right)^{1/(p-q)}&{\text{si}}\ pq(p-q)\neq 0\\\exp \left(-{\frac {1}{p}}+{\frac {b^{p}\ln(b)-a^{p}\ln(a))}{b^{q}-a^{q}}}\right)&{\text{si}}\ p=q\neq 0\\G(a,b)&{\text{si}}\ p=q=0\end{cases}}$.