[論文レビュー] New sharp Jordan type inequalities and their applications

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

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

ひとこと要約

本稿は、区間 $ (0, \pi/2) $ における $ \frac{\sin x}{x} $ の比に関して、新たな鋭いジョルダン型不等式を確立する。具体的には、最適定数 $ p_0 \approx 0.3473 $ を用いて、$ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} < \left(\cos \frac{x}{3}\right)^3 $ が成り立つことを証明する。さらに、対数微分とべき級数解析を用いて、$ \left(\cos px\right)^{1/p} $ を含む最良の二重不等式を導出し、単調性と鋭い評価を特定する。

ABSTRACT

In this paper, we prove that for x\in(0,π/2) (cos p_0x)^{1/p_0}

研究の動機と目的

• すべての $ x \in (0, \pi/2) $ に対して $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} < \left(\cos \frac{x}{3}\right)^3 $ が成り立つような最良の定数 $ p_0 $ と $ 1/3 $ を特定すること。
• $ p \in (0, 1/3] $ に対して、$ \beta_p \left(\cos px\right)^{1/p} < \frac{\sin x}{x} < \left(\cos px\right)^{1/p} $ の形をした鋭い二重不等式を確立し、$ \beta_p = \frac{2}{\pi} \left(\cos \frac{p\pi}{2}\right)^{-1/p} $ とし、その鋭さを証明すること。
• $ p \in [1/2, 1] $ に対して逆不等式を拡張し、カタラン定数やシュワブ＝ボルハルトの平均といった既知の定数への応用を導出すること。
• 関数 $ f_p(x) = \ln \frac{\sin x}{x} - \frac{1}{p} \ln \cos px $ の単調性を解析し、$ p \in (0, 1/3] $ では単調に減少し、$ p \in [1/2, 1] $ では単調に増加することを証明すること。

提案手法

• 本稿は、$ \frac{\sin x}{x} $ と $ \cos px $ の対数微分を用い、$ \frac{f'(x)}{g'(x)} = \frac{p(\frac{1}{x} - \cot x)}{\tan px} $ の比を分析することで、$ \cot x $ と $ \tan x $ のべき級数展開を用いて単調性を特定する。
• 係数の比 $ \frac{a_n}{b_n} $ が厳密に増加または減少することを、べき級数の比に関する補題 2 を用いて証明することで、$ f'/g' $ の単調性、したがって $ F_p(x) = \frac{ln(\sin x / x)}{\ln \cos px} $ の単調性を確立する。
• $ x \to 0^+ $ および $ x \to \pi/2^- $ における極限を評価し、漸近解析により定数 $ \beta_p $ と $ 1 $ が最適であることを証明することで、境界の鋭さを示す。
• 本稿は、$ \frac{\sin x}{x} $ と $ \frac{x}{\sin x} $ の積分表現を用い、導出された不等式と組み合わせて、カタラン定数 $ K $ に関連する積分を推定する。
• 既知の不等式（例えばリンの対数平均に関する不等式）と三角恒等式を応用し、シュワブ＝ボルハルトの平均やセイフェルトの平均に対する境界を導出する。
• $ F_p(x) $ の単調性の証明は、差 $ \frac{b_{n+1}}{a_{n+1}} - \frac{b_n}{a_n} $ の符号を分析することに依拠し、これは $ p $ の関数として帰着され、正または負である領域を特定する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ x \in (0, \pi/2) $ に対して $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} $ が成り立つような最適な定数 $ p_0 \in (0,1] $ は何か？
• RQ2 $ p \in (0,1] $ のどの値に対して、$ \beta_p \left(\cos px\right)^{1/p} < \frac{\sin x}{x} < \left(\cos px\right)^{1/p} $ の二重不等式が最適定数を用いて成り立つか？
• RQ3 関数 $ f_p(x) = \ln \frac{\sin x}{x} - \frac{1}{p} \ln \cos px $ の単調性は $ p $ にどのように依存し、$ \frac{\sin x}{x} $ の境界にどのような意味を持つのか？
• RQ4 導出された不等式を用いて、カタラン定数 $ K $ のような既知の数学定数をより良い境界で推定できるか？
• RQ5 これらの不等式は、シュワブ＝ボルハルトの平均やセイフェルトの平均といった古典的平均にどのような影響を与えるか？

主な発見

• すべての $ x \in (0, \pi/2) $ に対して $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} < \left(\cos \frac{x}{3}\right)^3 $ が成り立つ最適定数 $ p_0 \approx 0.347307245464 $ が特定され、$ x \to 0^+ $ の極限での等号成立を除き、等号は成立しない。
• $ p \in (0, 1/3] $ に対して、$ \beta_p = \frac{2}{\pi} \left( \cos \frac{p\pi}{2} \right)^{-1/p} $ を用いて、二重不等式 $ \beta_p \left(\cos px\right)^{1/p} < \frac{\sin x}{x} < \left(\cos px\right)^{1/p} $ が成り立ち、両定数は最適である。
• 関数 $ f_p(x) = \ln \frac{\sin x}{x} - \frac{1}{p} \ln \cos px $ は、$ p \in (0, 1/3] $ では $ (0, \pi/2) $ 上で厳密に単調減少であり、$ p \in [1/2, 1] $ では厳密に単調増加である。これは境界の鋭さを裏付ける。
• 本稿は、カタラン定数 $ K $ に対する二つの新しい境界を導出する：$ \frac{1}{8}(4 + 3\ln 3) < K < \frac{3\sqrt{3}\pi}{128}(4 + 3\ln 3) $ および対数積分と三角関数積分を含むより鋭い境界。
• すべての $ t > 0 $ に対して $ (4t^2 - 1) SB(t,1) \leq 3t^3 $ が成り立つことが証明され、ここで $ SB $ はシュワブ＝ボルハルトの平均を表す。これは主結果を特殊平均への応用に拡張する。
• $ a,b > 0 $ かつ $ a \neq b $ のとき、セイフェルトの平均 $ P(a,b) $ は $ P < \frac{3}{4} \frac{(A+G)^2}{2G + A} $ を満たす。ここで $ A $ と $ G $ はそれぞれ算術平均と幾何平均を表す。