[论文解读] Sharpening and generalizations of Carlson's double inequality for the arc cosine function

Bai‐Ni Guo, Feng Qi|arXiv (Cornell University)|Feb 18, 2009

Mathematical Inequalities and Applications被引用 4

一句话总结

本文通过分析参数函数 $ f_{a,b}(x) = \frac{(1+x)^b}{(1-x)^a} \arccos x $ 的单调性，对卡尔森关于反余弦函数的双不等式进行了锐化和推广。研究确定了参数 $ a $ 和 $ b $ 的精确条件，使得该函数严格递增、严格递减或具有唯一极值点，从而在 $ (0,1) $ 上得到了涉及 $ \arccos x $ 的不等式中最佳常数的精确界限。主要贡献在于提出了一个具有最优常数的改进双不等式，扩展并锐化了先前的结果。

ABSTRACT

In this paper, we sharpen and generalize Carlson's double inequality for the arc cosine function.

研究动机与目标

• 通过引入参数函数 $ f_{a,b}(x) = \frac{(1+x)^b}{(1-x)^a} \arccos x $，对 $ (0,1) $ 上的卡尔森双不等式进行细化和拓展。
• 确定参数 $ a $ 和 $ b $ 的精确条件，使得 $ f_{a,b}(x) $ 在 $ (0,1) $ 上严格递增、严格递减或具有唯一极值点。
• 通过分析 $ f_{a,b}(x) $ 的极值行为，推导出关于 $ \arccos x $ 的新双不等式，并给出最优常数。
• 通过极限分析和极值点特征刻画，证明所推导不等式中的常数为最优。

提出的方法

• 通过求导和对其导数 $ f_{a,b}'(x) $ 的符号分析，研究 $ f_{a,b}(x) = \frac{(1+x)^b}{(1-x)^a} \arccos x $ 的单调性。
• 引入辅助函数 $ g_{a,b}(x) $、$ g_{a,b}'(x) $ 和 $ h(x) $，以研究导数分量的凸性和单调性。
• 利用二阶导数 $ g_{a,b}''(x) $ 和 $ h(x) $ 的符号分析，证明 $ g_{a,b}'(x) $ 严格递增，从而实现对单调性的精确分类。
• 将临界点 $ x_1 $ 和 $ x_2 $ 作为 $ h(x) $ 中二次方程的根，对应于 $ f_{a,b}(x) $ 的极值点，并利用其对 $ f_{a,b}(x) $ 进行有界控制。
• 通过 $ x \to 0^+ $ 和 $ x \to 1^- $ 时的极限分析，确定渐近行为并建立极值边界。
• 利用 $ F_{1/2,1/2,2\sqrt{2}}(x) = \frac{2\sqrt{2} + (1+x)^{1/2}}{(1-x)^{1/2}} \arccos x $ 的严格递减性，证明所推导不等式中常数的最优性。

实验结果

研究问题

• RQ1 在什么 $ a $ 和 $ b $ 条件下，函数 $ f_{a,b}(x) = \frac{(1+x)^b}{(1-x)^a} \arccos x $ 在 $ (0,1) $ 上严格递减？
• RQ2 在什么条件下 $ f_{a,b}(x) $ 在 $ (0,1) $ 内具有唯一最大值或最小值？
• RQ3 双不等式 $ \frac{6(1-x)^{1/2}}{2\sqrt{2} + (1+x)^{1/2}} < \arccos x < \frac{C(1-x)^{1/2}}{2\sqrt{2} + (1+x)^{1/2}} $ 中的最优常数是什么？
• RQ4 如何通过参数化边界推广并锐化卡尔森不等式的右边？
• RQ5 不等式 $ \arccos x < 2^{b+1/2} \frac{(1-x)^{1/2}}{(1+x)^b} $ 在 $ (0,1) $ 上成立的充要条件是什么？（关于 $ b $）

主要发现

• 当且仅当 $ b \leq \frac{2}{\pi} - a $ 且 $ a \leq \frac{1}{2} $ 时，函数 $ f_{a,b}(x) $ 在 $ (0,1) $ 上严格递减。
• 当 $ (a,b) \in \left\{ \frac{2}{\pi} - a \leq b \leq a - \frac{4}{\pi^2} \right\} \cup \left\{ \frac{1}{2} \leq a \leq b + \frac{1}{3} \right\} \cup \left\{ \frac{1}{3} < a - b < \frac{4}{\pi^2}, a + b \geq \frac{2(a-b)^{3/2}}{\sqrt{4(a-b)-1}} \right\} $ 时，函数 $ f_{a,b}(x) $ 严格递增。
• 当 $ \frac{1}{3} < a - b < \frac{4}{\pi^2} $ 时，若 $ \frac{2}{\pi} - b < a \leq \frac{1}{2} $，则 $ f_{a,b}(x) $ 具有唯一最大值；若 $ \frac{1}{2} < a \leq \frac{2}{\pi} - b $，则具有唯一最小值。
• 双不等式 $ \frac{6(1-x)^{1/2}}{2\sqrt{2} + (1+x)^{1/2}} < \arccos x < \frac{\left(\frac{1}{2} + \sqrt{2}\right)\pi (1-x)^{1/2}}{2\sqrt{2} + (1+x)^{1/2}} $ 在 $ (0,1) $ 上成立，且常数 6 和 $ \left(\frac{1}{2} + \sqrt{2}\right)\pi $ 为最优。
• 不等式 $ \arccos x < 2^{b+1/2} \frac{(1-x)^{1/2}}{(1+x)^b} $ 成立当且仅当 $ b \geq \frac{1}{6} $；其反向不等式成立当且仅当 $ b \leq \frac{2}{\pi} - \frac{1}{2} $。
• 当 $ 16ab(b-a) + (a+b)^2 > 0 $ 且 $ x_1 > 0 $ 时，$ f_{a,b}(x) $ 的上界为 $ \frac{(1+x_1)^{b+1/2}(1-x_1)^{1/2-a}}{a+b + (a-b)x_1} $；当 $ x_2 \in (0,1) $ 时，下界为 $ \frac{(1+x_2)^{b+1/2}(1-x_2)^{1/2-a}}{a+b + (a-b)x_2} $。