[論文レビュー] Bivariate log-convexity of the more extended means and its applications

Zhen-Hang Yang|arXiv (Cornell University)|Aug 10, 2014

Mathematical Inequalities and Applications参考文献 23被引用数 3

ひとこと要約

本稿は、二変数同次関数の対数凸性を調査し、それらを用いて、ストラルスキー平均、ジニ平均、二パラメータ型対数的平均、ハロニアン平均を含む拡張平均の対数凸性および対数凹性の性質を導出する。主な貢献は、これらの平均がパラメータに関して $[0, \infty)^2$ で二変数対数凹性であり、$(-\infty, 0]^2$ で二変数対数凸性であることを証明することであり、これにより平均に関する新しいおよび古典的な不等式が得られる。

ABSTRACT

In this paper, the bivariate log-convexity of the two-parameter homogeneous function in parameter pair is vestigated. From this the bivariate log-convexity of the more extended means with respect to a parameter pair is solved. It follows that Stolarsky means, Gini means, two-parameter identric (exponential) means and two-parameter Heronian means are all bivariate log-concave on $\mathbb{[}0\mathbb{,\infty )}^{2}$ and log-convex on $% \mathbb{(-\infty ,}0\mathbb{]}^{2}$ with respect to parameters. Lastly, some classical and new inequalities for means are given.

研究の動機と目的

• パラメータ対に関する二変数同次関数の対数凸性を調査すること。
• ストラルスキー、ジニ、対数的、ハロニアン平均などのより拡張された平均のパラメータに関する対数凸性および対数凹性の性質を確立すること。
• 対数凸性フレームワークを用いて、平均に関する新しいおよび古典的な不等式を導出すること。
• 四パラメータ同次平均構造を通じて、既知の平均不等式を統一的かつ一般化すること。
• 凸性に基づく境界を用いた平均比の推定のための体系的かつ一貫した手法を提供すること。

提案手法

• 対数平均および対数的平均を用いた、ストラルスキー平均およびジニ平均の一般化としての四パラメータ同次平均 $\boldsymbol{F}(p,q;r,s;a,b)$ を定義する。
• 関数 $L(p,q)$（$p$ と $q$ の対数平均）の分析を通じて、二変数同次関数 $\mathcal{H}_f(p,q;a,b)$ の二変数対数凸性を確立する。
• 対数凸性の結果を応用し、平均の重み付き幾何平均に関する不等式を導出する。
• 恒等式 $\mathcal{H}_D(p,q;a,b) = e^{1/L(p,q)} S_{p,q}(a,b)$ を用いて、ストラルスキー平均を同次関数 $\mathcal{H}_D$ と関連付ける。
• 対数変換および指数変換を組み合わせることで、平均比に関する二重不等式を導出する。
• 一般境界に特定のパラメータ値を代入することで、結果を応用し、新しい不等式を生成する。

実験結果

リサーチクエスチョン

• RQ1 二変数同次関数 $\mathcal{H}_f(p,q;a,b)$ が $(p,q)$ に関していつ二変数対数凸性を示すか。
• RQ2 $\mathcal{H}_f$ の対数凸性の性質は、ストラルスキー、ジニ、対数的、ハロニアン平均などの特定の平均族にどのように拡張されるか。
• RQ3 これらの平均のパラメータに関する二変数対数凸性から、どのような不等式が導かれるか。
• RQ4 導出された不等式は、ストラルスキー＝ヤンおよびサンドール＝ヤンのような既知の古典的不等式とどのように比較されるか。
• RQ5 パラメータごとの凸性の一般枠組みから、体系的に新しい不等式を生成できるか。

主な発見

• ストラルスキー平均、ジニ平均、二パラメータ型対数的平均、二パラメータ型ハロニアン平均は、パラメータに関して $[0, \infty)^2$ で二変数対数凹性であり、$(-\infty, 0]^2$ で二変数対数凸性を示す。
• すべての $a,b > 0$ および $\alpha, \beta > 0$（ただし $\alpha + \beta = 1$）に対して、不等式 $1 \leq \frac{S_{\alpha p_1 + \beta p_2, \alpha q_1 + \beta q_2}(a,b)}{S_{p_1,q_1}^\alpha(a,b) S_{p_2,q_2}^\beta(a,b)} \leq \exp\left(\frac{\alpha}{L(p_1,q_1)} + \frac{\beta}{L(p_2,q_2)} - \frac{1}{L(\alpha p_1 + \beta p_2, \alpha q_1 + \beta q_2)}\right)$ が成り立つ。
• ジニ平均に対しても同様の二重不等式が成り立つ：$1 \leq \frac{G_{\alpha p_1 + \beta p_2, \alpha q_1 + \beta q_2}(a,b)}{G_{p_1,q_1}^\alpha(a,b) G_{p_2,q_2}^\beta(a,b)} \leq \exp\left(\frac{\alpha}{L(p_1,q_1)} + \frac{\beta}{L(p_2,q_2)} - \frac{1}{L(\alpha p_1 + \beta p_2, \alpha q_1 + \beta q_2)}\right)$。
• 応用 4.3 により、ストラルスキー＝ヤンの不等式が得られる：$1 \leq I/A_{2/3} \leq \sqrt{8}e^{-1} \approx 1.0405$。
• 応用 4.4 により、$16\sqrt{2}e^{-1}/9 \approx 0.9249 \leq I/A_{2/3}^3 He^{-2} \leq 1$ などの新しい不等式が得られる。
• 別の新しい結果として、$1 \leq I/\sqrt{I_{6/5} I_{4/5}} \leq e^{1/24} \approx 1.0425$ が成り立ち、同様に指数型平均 $Z$ に対しても成り立つ。