[论文解读] An application of lambda-method on Shafer-Fink's inequality

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

Advanced Optimization Algorithms Research被引用 4

一句话总结

本文应用 Mitrinović-Vasić 的 λ 方法，对反正弦函数的 Shafer-Fink 型不等式进行改进。通过构造一个在 $ x=0 $ 处与函数及其导数匹配的一参数边界族，作者推导出最优的上界与下界，证明了其上界比 Fink 的原始不等式更紧，最大误差约为 0.013，出现在 $ x \approx 0.948 $ 处。

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.

研究动机与目标

• 通过 Mitrinović-Vasić 的 λ 方法改进现有反正弦函数不等式。
• 在有理函数的两参数族中确定最紧致的上界与下界。
• 识别出在区间 $[0,1]$ 上使上界最小化、下界最大化的最优参数值。
• 量化最优边界与实际 arcsin(x) 函数之间的最大偏差。
• 证明通过 λ 方法导出的上界优于 Fink 的原始不等式。

提出的方法

• 将 λ 方法应用于两参数函数族 $ \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) $ 的行为，得出 $ f_2(x) $ 为下界最大值，因其误差函数导数在 $ (0,1) $ 内非增。

实验结果

研究问题

• RQ1 在与函数及其导数在 $ x = 0 $ 处匹配的 $ \Phi_{a,b}(x) $ 家族中，$ \arcsin x $ 的最紧致上界是什么？
• RQ2 最大误差如何随参数 $ b $ 变化？其最大值出现在何处？
• RQ3 能否证明通过 λ 方法导出的上界优于 Fink 的不等式？
• 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 $ 处取等，且比 Fink 的原始不等式更紧。
• 最优上界与 $ \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) $ 上非正。
• 所导出的上界严格优于 Fink 的不等式，因为对所有 $ x \in (0,1) $，有 $ f_{b_1}(x) < \Phi_{\pi,2}(x) $。
• 一参数子族 $ f_b(x) $ 满足：当且仅当 $ b_1 > b_2 $ 时，有 $ f_{b_1}(x) < f_{b_2}(x) $，证实了参数的单调性。