[論文レビュー] Sharp bounds for the second Seiffert mean in terms of power means

Zhen-Hang Yang|arXiv (Cornell University)|Jun 24, 2012

Mathematical Inequalities and Applications参考文献 7被引用数 13

ひとこと要約

本稿では、第二セイフェルト平均 $T(a,b)$ とべき乗平均 $A_p(a,b)$ の間の鋭い評価を確立し、$A_{\log_{\pi/2}2}(a,b) < T(a,b) \leq A_{5/3}(a,b)$ を示す。ここで、両端の評価は最適である。結果は、平均比関数の対数変換の漸近的解析と単調性の性質に基づいて得られる。

ABSTRACT

For a,b&gt;0 with a ot=b, let T(a,b) denote the second Seiffert mean defined by T(a,b)=((a-b)/(2arctan((a-b)/(a+b)))) and A_{r}(a,b) denote the r-order power mean. We present the sharp bounds for the second Seiffert mean in terms of power means: A_{p_1}(a,b)

研究の動機と目的

• 第二セイフェルト平均 $T(a,b)$ の最良のべき乗平均による評価を特定すること。
• $a,b > 0$, $a \neq b$ の下で、$A_p(a,b) < T(a,b) \leq A_q(a,b)$ の形の鋭い不等式を確立すること。
• $p_1 = \log_{\pi/2}2 \approx 1.5349$ および $p_2 = 5/3$ がそれぞれの評価において最適であることを証明すること。
• ネウマン＝サンドール平均や第一セイフェルト平均に関連する既存の不等式を、より緊密なべき乗平均評価を用いて改善すること。

提案手法

• 第二セイフェルト平均とべき乗平均の比を分析するため、$x \in (0,1)$ に対して関数 $F_p(x) = \ln \left( \frac{T(1,x)}{A_p(1,x)} \right)$ を定義する。
• $x \to 1^-$ の漸近展開を用いて、$F_p(x)$ の2階の挙動を導出し、$\lim_{x \to 1^-} \frac{F_p(x)}{(x-1)^2} = -\frac{1}{24}(3p - 5)$ を得る。
• $x \to 0^+$ の極限において $F_p(x) \to \frac{1}{p}\ln 2 - \ln\frac{\pi}{2}$ を分析し、$p > 0$ の境界挙動を特定する。
• 導関数を用いた $F_p(x)$ の単調性解析により、$T(a,b) < A_p(a,b)$ または $T(a,b) > A_p(a,b)$ が成り立つ条件を同定する。
• 数学的ソフトウェアを用いて、上界における等号が成立する極値点 $x_3$ を数値的に解き、最良の定数 $\beta_2 \approx 1.0136$ を得る。
• 単調性を活用してファン＝キータイプの不等式を確立し、$p \geq 5/3$ の下で $T(a_1,b_1)/T(a_2,b_2) < A_p(a_1,b_1)/A_p(a_2,b_2)$ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 第二セイフェルト平均 $T(a,b)$ の鋭い下界を提供する最良のべき乗平均 $A_p(a,b)$ は何か？
• RQ2 第二セイフェルト平均 $T(a,b)$ の鋭い上界を提供する最良のべき乗平均 $A_p(a,b)$ は何か？
• RQ3 既知の不等式 $A < T < Q$ など、$T(a,b)$ に関連する不等式は、より緊密なべき乗平均評価を用いて改善可能か？
• RQ4 極値となる $p$ 値における二重不等式 $\alpha_1 A_p(a,b) < T(a,b) < \alpha_2 A_p(a,b)$ の最適定数は何か？
• RQ5 第二セイフェルト平均 $T(a,b)$ の評価は、ネウマン＝サンドール平均や第一セイフェルト平均といった他の既知の平均とどのように関係するか？

主な発見

• 第二セイフェルト平均 $T(a,b)$ の鋭い下界は $A_{\log_{\pi/2}2}(a,b)$ であり、最良の定数は $\beta_1 = 1$、最良の上界定数は $\beta_2 \approx 1.0136$ である。
• 第二セイフェルト平均 $T(a,b)$ の鋭い上界は $A_{5/3}(a,b)$ であり、最良の定数は $\alpha_1 = 2^{8/5}/\pi \approx 0.9649$ および $\alpha_2 = 1$ である。
• 下界における指数 $p_1 = \log_{\pi/2}2 \approx 1.5349$ と上界における $p_2 = 5/3$ は、両方とも最適である。
• $T(a,b) < A_p(a,b)$ が成り立つのは $p \geq 5/3$ の場合に限り、逆に $T(a,b) > A_p(a,b)$ が成り立つのは $p \leq \log_{\pi/2}2$ の場合に限る。
• 既存の結果を改善する不等式鎖 $A_0 < L < A_{1/3} < P < A_{2/3} < I < A_{3/3} < N < A_{4/3} < T < A_{5/3}$ が確立された。
• 関数 $p \mapsto \frac{(a^2 + b^2)(a^{p-1} + b^{p-1})}{2(a^p + b^p)}$ は厳密に単調減少であり、これが評価の最適性を裏付けている。