[論文レビュー] An application of lambda-method on Shafer-Fink's inequality

Branko Malešević|ArXiv.org|Aug 31, 2006

Advanced Optimization Algorithms Research被引用数 4

ひとこと要約

この論文は、ミトルニェヴィッチ＝ヴァシッチのλ法を用いて、逆正弦関数のシャーファー＝フィンク型不等式を精緻化する。x=0における関数およびその導関数の一致を満たす一パラメータ族の境界を構築することで、最適な上界および下界が得られ、最大誤差が約0.013（x ≈ 0.948付近）に抑えられる、フィンクの元来の不等式よりも tighter な上界が証明される。

ABSTRACT

In the paper $λ$-method Mitrinovic-Vasic is applied aiming to improve Fink's inequality, and Shafer's inequality for arcus sinus function is observed.

研究の動機と目的

• ミトルニェヴィッチ＝ヴァシッチのλ法を用いて、逆正弦関数に関する既存の不等式を改善すること。
• 有理関数の二パラメータ族の中で、最もきつい上界および下界を特定すること。
• 区間[0,1]におけるarcsin(x)に対して、最小の上界および最大の下界をもたらす最適なパラメータ値を同定すること。
• 最適な境界と実際のarcsin(x)関数との間の最大偏差を定量化すること。
• 導出された上界がフィンクの元来の不等式よりも鋭いことを示すこと。

提案手法

• 二パラメータ族関数 $ \Phi_{a,b}(x) = \frac{ax}{b + \sqrt{1 - x^2}} $ にλ法を適用し、$ x = 0 $ における値および導関数の一致を課すことにより、$ a = b + 1 $ が得られる。
• 二パラメータ族を、初期条件を保つ一パラメータ部分族 $ f_b(x) = \frac{(b+1)x}{b + \sqrt{1 - x^2}} $ に簡略化する。
• 誤差関数 $ h_b(x) = f_b(x) - \arcsin x $ を定義し、その導関数を分析して単調性および符号の振る舞いを特定する。
• 等価関係 $ \frac{d}{dx}h_b(x) \geq 0 \Leftrightarrow \sqrt{1 - x^2} \geq b^2 - b - 1 $ を用いて、増加または減少の区間を同定する。
• $ h_b(1) \geq 0 $ を満たす最大の $ b $ を特定し、$ b_1 = \frac{2}{\pi - 2} $ を得る。これにより最小の上界が得られる。
• $ b \geq 2 $ に対する $ h_b(x) $ の振る舞いを分析し、誤差関数の導関数がすべての $ x \in (0,1) $ で非増加であるため、$ f_2(x) $ が最大の下界であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 関数およびその導関数が $ x = 0 $ で一致する条件下で、$ \Phi_{a,b}(x) $ の族の中で、$ \arcsin x $ の最もきつい上界は何か？
• RQ2 パラメータ $ b $ に応じて、境界と $ \arcsin x $ の間の最大誤差はどのように変化し、どこで最大値をとるか？
• RQ3 λ法を用いて導出された上界が、フィンクの不等式よりも鋭いことを証明できるか？
• RQ4 同じ族の中で、$ \arcsin x $ の最大の下界を与える最適なパラメータ $ b $ は何か？
• RQ5 どの $ b $ の値に対して、誤差関数 $ h_b(x) $ が区間 $[0,1]$ 全体で非負または非正のままであるか？

主な発見

• 最適な上界は $ \arcsin x \leq \frac{\frac{\pi}{\pi - 2}x}{\frac{2}{\pi - 2} + \sqrt{1 - x^2}} $ であり、等号は $ x = 0 $ および $ x = 1 $ で成立し、フィンクの元来の不等式よりも鋭い。
• 最適な上界と $ \arcsin x $ 間の最大偏差は約0.013であり、$ x \approx 0.948 $ 付近で発生する。
• 最適な上界パラメータは $ b_1 = \frac{2}{\pi - 2} \approx 1.851 $ であり、$ h_{b_1}(1) \geq 0 $ を満たし、誤差関数の非負性を保ちながら境界を最大限に引き上げる。
• 族の中で最大の下界は $ f_2(x) $ で与えられ、$ b_2 = 2 $ に対応し、誤差関数の導関数がすべての $ x \in (0,1) $ で非正である。
• 導出された上界は、$ f_{b_1}(x) < \Phi_{\pi,2}(x) $ がすべての $ x \in (0,1) $ で成り立つため、フィンクの不等式よりも厳密に優れている。
• 一パラメータ族 $ f_b(x) $ は、$ f_{b_1}(x) < f_{b_2}(x) $ が成り立つのは $ b_1 > b_2 $ のときに限るため、パラメータに関して単調性が確認される。