2つの平均の混合（算術幾何平均の一拡張）
初投稿です．
基本的な平均と算術幾何平均
高校生で習う「相加相乗平均の不等式」に代表されるように，いくつかの「平均」には特別に名前が付いている．
$a,b$を正の実数とする．
- 算術平均・相加平均（arithmetic mean）：$A(a,b)=\frac{a+b}{2}$
- 幾何平均・相乗平均（geometric mean）：$G(a,b)=\sqrt{ab}$
- 調和平均（harmonic mean）：$H(a,b)=\frac{2}{a^{-1}+b^{-1}}$
これらのうち，算術平均と幾何平均を組み合わせた算術幾何平均というものが存在する．
2つの正の実数$a,b\ (a\geq b)$に対し，$a_0=a,b_0=b$として
$$
\begin{cases}
a_{n+1}&=A(a_n,b_n)=\frac{a_n+b_n}{2}\\
b_{n+1}&=G(a_n,b_n)=\sqrt{a_nb_n}
\end{cases}
$$
で数列$\{a_n\}_{n=0}^\infty,\{b_n\}_{n=0}^\infty$を定める．このとき2つの数列はそれぞれ収束し，その極限値は等しい．この共通の極限値を$a,b$の算術幾何平均と呼び， $AGM(a,b)$と書く．
$$
AGM(a,b)=\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n
$$
※算術調和平均・調和幾何平均も存在する
収束することの証明には，はじめに言及した相加相乗平均の不等式を用いるShiyo．
算術平均や幾何平均が単純な四則演算や平方根を取る操作で定まっていたことに対し，数列の極限として定まる算術幾何平均はその存在が自明ではない．
同じように2つの「平均」を組み合わせて，新たな「平均」を手に入れることはできるだろうか？
「平均」の定義
本節は主にBBChapter 8に基づく．
正の実数の集合を$\mathbb{R}^+$と書く．
「平均」の議論をするにあたり，まず「平均」とは何かを定義する．
平均とは，$\mathbb{R}^+$の任意の2元$a,b$に対し，以下を満たすような関数$M:\mathbb{R}^+\times\mathbb{R}^+\to\mathbb{R}^+$のことをいう．
$$
\min{(a,b)}\leq M(a,b)\leq \max{(a,b)}
$$
算術平均が$a,b$のちょうど真ん中であったことを思い出すと，平均とは2つの変数のその間に値を取る関数である，というこの定義は直感に則しているといえる。
このままだと抽象的すぎるので，平均に対していくつかの概念を導入する．
$a,b$を$\mathbb{R}^+$の任意の2元とする．
(1) 平均$M$がstrictであるとは，$$ M(a,b)=a\ \text{or}\ M(a,b)=b\Leftrightarrow a=b$$が成り立つことをいう．
(2) 平均$M$が斉次であるとは，任意の$\lambda\in\mathbb{R}^+$に対し$$ M(\lambda a,\lambda b)=\lambda M(a,b)$$が成り立つことをいう．
(3) 平均$M$が対称であるとは，$$ M(b,a)=M(a,b)$$が成り立つことをいう．
(4) 平均$M$が（狭義）単調増加であるとは，
\begin{align}
M(a,\cdot)&:&\mathbb{R}^+\to\mathbb{R}^+\\
M(\cdot,b)&:&\mathbb{R}^+\to\mathbb{R}^+
\end{align}がそれぞれ（狭義）単調増加であることをいう．
※ここでのstrictの適切な和訳はなんだろう……
これらの定義を満たすようなものを「平均」と定めたので，あとはこれらを満たす関数を探せば平均を新たに作り出すことができる．
事実，多様な平均が考案されているBBFPLehmerams．
Wikipedia:Mean#Types_of_means
によくまとまっているので参照されたい．
次に，2つの平均の間に成り立つ関係を定義する．
平均$M$が平均$N$と比較可能であるとは，次の3つの条件のいずれか一つが成り立つことをいう．
(1) 任意の$a,b\in\mathbb{R}^+$に対し，$M(a,b)\leq N(a,b)$
(2) 任意の$a,b\in\mathbb{R}^+$に対し，$N(a,b)\leq M(a,b)$
(3) 次の2条件をどちらも満たす:
- 任意の$a,b\in\mathbb{R}^+\ (0< a< b)$に対し，$M(a,b)\leq N(a,b)$
- 任意の$a,b\in\mathbb{R}^+\ (0< b< a)$に対し，$N(a,b)\leq M(a,b)$
相加相乗平均の不等式は$A\geq G$を意味していたため，条件(2)を満たして算術平均$A$は幾何平均$G$と比較可能である，といえる．
$M,N$がともに対称である場合は条件(3)は起こり得ない．
どちらかが対称でなく条件(3)を満たしている場合，「$M$は$N$と比較可能」であるが「$N$は$M$と比較可能」ではない．
2つの平均の混合
算術幾何平均の類似の話に戻る．
さっそく結論を述べると，strictで比較可能な平均に対してであれば同様に共通の極限値に収束し平均となることが言える．
$M,N$を連続な平均で少なくとも一方はstrictであるとし，$M$は$N$と比較可能であるとする．このとき，任意の$a,b\in\mathbb{R}^+$に対し，$a_0=a,b_0=b$として漸化式
\begin{cases}
a_{n+1}&=M(a_n,b_n)\\
b_{n+1}&=N(a_n,b_n)
\end{cases}
で定まる数列$\{a_n\}_{n=0}^\infty,\{b_n\}_{n=0}^\infty$はともに収束し，共通の極限値をもつ．この共通の極限値を$M\otimes N(a,b)$と書き，$M\otimes N$は平均となり，compound meanと呼ぶ．
$a\geq b$かつ$M\geq N$を仮定する（
比較可能
条件(2) or 条件(3)）．
収束することを示すためにまず次を示す:
$$
b_n\leq b_{n+1}\leq a_{n+1}\leq a_n\ (n=0,1,2,\ldots) \tag{★} \label{isotone}
$$
$N\leq M$の仮定から$b_1=N(a_0,b_0)\leq M(a_0,b_0)\leq a_1$を満たす．帰納的に$b_n\leq a_n$を仮定する．このとき同様にして
$$
b_n\leq N(a_n,b_n)=b_{n+1}\leq a_{n+1}=M(a_n,b_n)=a_{n+1}
$$
が言える．よって \eqref{isotone} が示された．
\eqref{isotone}から，$\{a_n\}_{n=0}^\infty$は下に有界な単調減少列で，$\{b_n\}_{n=0}^\infty$は上に有界な単調増加列であることがわかるため，それぞれ収束する．極限値を$\alpha=\lim_{n\to\infty}a_n,\beta=\lim_{n\to\infty}b_n$と書く．このとき$M,N$の連続性から，漸化式の両辺で$n\to\infty$の極限をとることで
\begin{cases}
\alpha&=M(\alpha,\beta)\\
\beta&=N(\alpha,\beta)
\end{cases}
を得る．$M,N$の少なくとも一方はstrictであるため，上式から$\alpha=\beta$を得る．したがって$\{a_n\}_{n=0}^\infty,\{b_n\}_{n=0}^\infty$は共通の極限値に収束する．
$a< b$の場合（
比較可能
条件(1) or 条件(3)）は，$a_n$と$b_n$の役割を交換すればよい．
最後に，$M\otimes N$が平均であることを示す．
\begin{cases}
M\wedge N(a,b)&:=\min{(M(a,b),N(a,b))}\\
M\vee N(a,b)&:=\max{(M(a,b),N(a,b))}
\end{cases}
と書くことにすれば，$a\geq b, M\geq N$のとき$b\leq N(a,b)\leq M\otimes N\leq M(a,b)\leq a$で，一方$a< b, M\leq N$のとき$a\leq M(a,b)\leq M\otimes N \leq N(a,b)\leq b$であるから，
$$
M\wedge N\leq M\otimes N\leq M\vee N
$$
がいえる．したがって$M\otimes N$は
平均の定義
を満たす．$\square$
証明の肝としては，(1)数列の単調性と有界性のために比較可能であること，(2)共通の極限値のためにstrictであることしか平均の性質を用いていないことである．そのため，少なくともcompound meanのためには算術平均や幾何平均が持つような斉次性や対称性は必要ない．$M,N$が斉次・対称・単調増加である場合には$M\otimes N$もそうなることを示すことができるBB．また特に，この漸化式で定義された数列は$M,N$が対称で1階微分可能な場合超1次収束，2階微分可能である場合2次収束することが示せるFPLehmer．
この定理により，算術平均・幾何平均の混合である算術幾何平均が，より一般の連続でstrictな平均のcompound meanに拡張される．matsumotoでは，比較可能の条件を少し変えて斉次性を課すことで，compoundの対象となる平均を拡張している．
※amsではcompound meanを指して"inductive mean"と呼んでいる．決まった呼び方がない？
最後に
- 古くから知られた基本的な結果かもしれないが，定義や証明を書いた最近の文献が見つけられなかったため最終的にBBを参照した
- 算術・幾何・調和平均以外の平均でもcompoundしてみると面白い結果が得られるかもしれない（試したい）
参考文献
この記事を高評価した人
この記事に送られたバッジ
投稿者
