[論文レビュー] Some Bernstein functions and integral representations concerning harmonic and geometric means

Feng Qi, Xiaojing Zhang+1 more|arXiv (Cornell University)|Jan 28, 2013

Mathematical Inequalities and Applications参考文献 25被引用数 12

ひとこと要約

本稿では、$ H_{x,y}(t) = H(x+t, y+t) $ および $ G_{x,y}(t) = G(x+t, y+t) $ が $ t \in (-\min\{x,y\}, \infty) $ において Bernstein 関数であることを確立し、Stieltjes 型積分と完全モノトニック関数の性質を用いて両平均の明示的積分表現を導出する。主な貢献は、$ \lim_{t \to \infty} (G_{x,y}(t) - t) \geq G(x,y) $ の積分表現を用いた古典的 AM-GM 不等式の新しい証明である。

ABSTRACT

It is general knowledge that the harmonic mean $H(x,y)=\frac2{\frac1x+\frac1y}$ and that the geometric mean $G(x,y)=\sqrt{xy}\,$, where $x$ and $y$ are two positive numbers. In the paper, the authors show by several approaches that the harmonic mean $H_{x,y}(t)=H(x+t,y+t)$ and the geometric mean $G_{x,y}(t)=G(x+t,y+t)$ are all Bernstein functions of $t\in(-\min\{x,y\},\infty)$ and establish integral representations of the means $H_{x,y}(t)$ and $G_{x,y}(t)$.

研究の動機と目的

• $ t \in (-\min\{x,y\}, \infty) $ におけるシフトされた調和平均 $ H_{x,y}(t) $ および幾何平均 $ G_{x,y}(t) $ の Bernstein 関数性を確立すること。
• Stieltjes 積分および完全モノトニック関数を用いて、$ H_{x,y}(t) $ および $ G_{x,y}(t) $ の明示的積分表現を導出すること。
• 極限 $ \lim_{t \to \infty} (G_{x,y}(t) - t) \geq G(x,y) $ の積分表現を用いて、古典的算術-幾何平均不等式の新しい証明を提供すること。
• $ G_{x,y}(t) $ の逆数が対数的に完全モノトニックであることを特徴づけ、既知の特殊関数のクラスと関連付けること。
• 超幾何型積分を用いて定義される新しい関数 $ \rho $ を導入することで、既知の積分表現を一般化すること。

提案手法

• 恒等式 $ H_{x,y}'(t) = \frac{1}{2} \left( \frac{1}{(x+t)^2} + \frac{1}{(y+t)^2} \right) $ を用いて、$ H_{x,y}(t) $ の導関数が $ (-\min\{x,y\}, \infty) $ で完全モノトニックであることを示し、$ H_{x,y}(t) $ が Bernstein 関数であることを証明する。
• 恒等式 $ G_{x,y}(t) = \sqrt{(x+t)(y+t)} $ を用いて幾何平均 $ G_{x,y}(t) $ を分析し、その導関数 $ G_{x,y}'(t) $ を定数と完全モノトニック関数の和として表現する。
• 関数 $ H(u) = \frac{1}{2}\left( h(u) + \frac{1}{h(u)} \right) $（ただし $ h(u) = \sqrt{u} $、$ u = \frac{y+z}{x-y} $）を用いて $ G_{x,y}'(z) $ の積分表現を導出し、Stieltjes 型積分を得る。
• $ G_{x,y}'(z) $ を 0 から $ t $ まで積分し、積分順序の交換と $ \rho(s) $（超幾何積分により定義）を用いることで、$ G_{x,y}(t) $ の積分表現を導出する。
• Cauchy 積分公式および Stieltjes-Perron の逆問題を用いて、$ G_{x,y}(t) = G(x,y) + t + \frac{x-y}{2\pi} \int_0^\infty \frac{\rho((x-y)s)}{s} e^{-ys} (1 - e^{-ts}) \, ds $ などの重要な恒等式を導出する。
• $ \rho(s) $ は明示的に $ \rho(s) = \frac{1}{\pi} \int_0^1 \frac{\sin(\pi t)}{t^{1/2}(1-t)^{1/2}} \left( \frac{1}{(1 + t(s/2)^2)^{1/2}} \right) \, dt $ として定義され、Stieltjes 表現における測度の収束性と正値性を保証する。

実験結果

リサーチクエスチョン

• RQ1 シフトされた調和平均 $ H_{x,y}(t) = H(x+t, y+t) $ は $ (-\min\{x,y\}, \infty) $ で Bernstein 関数か？
• RQ2 シフトされた幾何平均 $ G_{x,y}(t) = G(x+t, y+t) $ は $ (-\min\{x,y\}, \infty) $ で Bernstein 関数か？
• RQ3 Stieltjes 型積分を用いて、$ H_{x,y}(t) $ および $ G_{x,y}(t) $ の明示的積分表現を導出できるか？
• RQ4 極限 $ \lim_{t \to \infty} (G_{x,y}(t) - t) $ は AM-GM 不等式の新しい証明をもたらすか？
• RQ5 $ G_{x,y}(t) $ の逆数は $ (-\min\{x,y\}, \infty) $ で対数的に完全モノトニックか？

主な発見

• $ H_{x,y}(t) $ は、その導関数が完全モノトニックであることから、$ (-\min\{x,y\}, \infty) $ で Bernstein 関数である。
• $ G_{x,y}(t) $ は、その導関数の完全モノトニック性により、$ (-\min\{x,y\}, \infty) $ で Bernstein 関数である。
• 幾何平均 $ G_{x,y}(t) $ の明示的積分表現が確立された：$ G_{x,y}(t) = G(x,y) + t + \frac{x-y}{2\pi} \int_0^\infty \frac{\rho((x-y)s)}{s} e^{-ys} (1 - e^{-ts}) \, ds $、ここで $ \rho $ は正の関数である。
• 極限 $ \lim_{t \to \infty} (G_{x,y}(t) - t) = A(x,y) $ は $ A(x,y) \geq G(x,y) $ を満たし、等号成立は $ x = y $ のときに限る。これにより、AM-GM 不等式の新しい証明が得られる。
• $ G_{x,y}(t) $ の逆数は $ (-\min\{x,y\}, \infty) $ で対数的に完全モノトニックであり、クラス $ \mathcal{L}[(0,\infty)] $ に属することが確認された。
• $ G_{x,y}(t) $ の積分表現に用いられる関数 $ \rho(s) $ は、超幾何型積分により定義され、Stieltjes 表現における測度の収束性と正値性を保証する。