[論文レビュー] Sharp bounds in terms of the power of the contra-harmonic mean for Neuman-Sandor mean

Wei-Dong Jiang, Feng Qi|arXiv (Cornell University)|Jan 16, 2013

Mathematical Inequalities and Applications参考文献 10被引用数 4

ひとこと要約

本稿では、相反調和平均のべき乗を用いたネウマン＝サンデル平均の鋭い上限と下限を確立し、すべての $ a,b>0 $、$ a\neq b $、および $ p \geq \frac{1}{2} $ に対して、二重不等式 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ が成り立つのは、$ t_1 \leq \frac{1}{2}\left(1 + \sqrt{(1/t^*)^{1/p} - 1}\right) $ および $ t_2 \geq \frac{1}{2}\left(1 + \frac{1}{\sqrt{6p}}\right) $ であるための必要十分条件である。ここで $ t^* = \ln(1+\sqrt{2}) $ である。

ABSTRACT

In the paper, the authors obtain sharp bounds in terms of the power of the contra-harmonic mean for Neuman-Sándor mean.

研究の動機と目的

• すべての $ a,b>0 $、$ a\neq b $、および $ p \geq \frac{1}{2} $ に対して、二重不等式 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ が成り立つような $ (1/2, 1) $ 内の最適値 $ t_1(p) $ と $ t_2(p) $ を特定すること。
• 相反調和平均のべき乗を境界関数として組み込むことにより、既存の平均不等式の結果を拡張すること。
• 一般化平均構成 $ Q_{t,p}(a,b) = C^p(ta+(1-t)b,tb+(1-t)a)A^{1-p}(a,b) $ を用いて、ネウマン＝サンデル平均の境界の鋭さに関する未解決問題を解消すること。
• パラメータ化された平均フレームワークを通じて、ネウマン＝サンデル平均、セイフェルト平均、および相反調和平均に関する以前の不等式を統一的かつ一般化すること。

提案手法

• 相反調和平均と算術平均をパラメータ $ p \geq \frac{1}{2} $ を用いて組み合わせた一般化平均 $ Q_{t,p}(a,b) = C^p(ta+(1-t)b,tb+(1-t)a)A^{1-p}(a,b) $ を定義する。
• 不等式解析を単一変数関数への還元するため、$ x = \frac{a-b}{a+b} \in (0,1) $ の置換を用いる。
• 対数比 $ \ln\left(\frac{Q_{t,p}(a,b)}{M(a,b)}\right) $ を関数 $ f_{u,p}(x) = p\ln(1+ux^2) - \ln x + \ln(\operatorname{arcsinh}x) $ に変換し、ここで $ u = (1-2t)^2 $ である。
• L'Hôpitalの定理と比単調性補題（補題2.1）を用いて、$ f_{u,p}(x) $ の $ (0,1) $ における単調性を分析する。
• $ f_{u,p}(x) > 0 $ であるのは $ 6pu \geq 1 $ のときに限り、$ f_{u,p}(x) < 0 $ であるのは $ 1+u \leq (1/t^*)^{1/p} $ のときに限り、ここで $ t^* = \ln(1+\sqrt{2}) $ であることを証明する。
• パラメータ $ p $ に対して $ t $ を解くことにより最適境界を導出し、臨界値 $ t_1(p) $ と $ t_2(p) $ を得る。

実験結果

リサーチクエスチョン

• RQ1 すべての $ a,b>0 $、$ a\neq b $、および $ p \geq \frac{1}{2} $ に対して、二重不等式 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ が成り立つような最適値 $ t_1(p) $ と $ t_2(p) $ は何か？
• RQ2 一般化平均 $ Q_{t,p}(a,b) $ のべき乗パラメータ $ p $ が、境界の鋭さにどのように依存するか？
• RQ3 ネウマン＝サンデル平均の境界を、明示的かつ最適なパラメータを用いて、相反調和平均のべき乗で表現できるか？
• RQ4 最適な $ t $-値と定数 $ t^* = \ln(1+\sqrt{2}) $ の間には、平均不等式の文脈でどのような関係があるか？
• RQ5 $ f_{u,p}(x) = p\ln(1+ux^2) - \ln x + \ln(\operatorname{arcsinh}x) $ が $ (0,1) $ で正または負のままである条件は何か？

主な発見

• すべての $ a,b>0 $、$ a\neq b $、および $ p \geq \frac{1}{2} $ に対して、二重不等式 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ が成り立つのは、$ t_1 \leq \frac{1}{2}\left(1 + \sqrt{(1/t^*)^{1/p} - 1}\right) $ および $ t_2 \geq \frac{1}{2}\left(1 + \frac{1}{\sqrt{6p}}\right) $ であるための必要十分条件である。ここで $ t^* = \ln(1+\sqrt{2}) \approx 0.8814 $ である。
• $ p = \frac{1}{2} $ のとき、結果は既知の不等式 $ S(\alpha a + (1-\alpha)b, \alpha b + (1-\alpha)a) < M(a,b) < S(\beta a + (1-\beta)b, \beta b + (1-\beta)a) $ に還元され、最適な $ \alpha $ と $ \beta $ は既知の境界と一致する。
• $ p = 1 $ のとき、結果は相反調和平均に関する鋭い境界を与える：$ C(\lambda a + (1-\lambda)b, \lambda b + (1-\lambda)a) < M(a,b) < C(\mu a + (1-\mu)b, \mu b + (1-\mu)a) $、ここで $ \lambda \leq \frac{1}{2}\left(1 + \sqrt{\frac{1}{\ln(1+\sqrt{2})} - 1}\right) $ および $ \mu \geq \frac{1}{2}\left(1 + \frac{\sqrt{6}}{6}\right) $ である。
• 関数 $ f_{u,p}(x) = p\ln(1+ux^2) - \ln x + \ln(\operatorname{arcsinh}x) $ は、$ (0,1) $ で $ 6pu \geq 1 $ のときに限り正であり、$ 1+u \leq (1/t^*)^{1/p} $ のときに限り負である。ここで $ t^* = \ln(1+\sqrt{2}) $ である。
• $ u_0 = (1/t^*)^{1/p} - 1 $ は、関数 $ h_p(u) = p\ln(1+u) + \ln(t^*) $ の唯一の零点であり、$ f_{u,p}(x) $ の正負領域を分ける。
• 証明は、補題2.1から導かれる比 $ \frac{g_1(x)}{g_2(x)} $ の厳密な単調性と、補題2.2で確立された $ h(x) = \frac{(1+x^2)\operatorname{arcsinh}x}{x} $ の凸性および単調性に依存している。