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

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

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

一句话总结

本文通过引入参数化函数族 $ F_a(x) = \frac{a + \sqrt{1+x}}{\sqrt{1-x}} \arccos x $，对卡尔森关于反余弦函数的双不等式进行了锐化与推广。研究了不同 $ a $ 值下 $ F_a(x) $ 的单调性，从而导出具有最优常数的新锐双不等式，扩展并改进了先前关于反余弦函数界的研究结果。

ABSTRACT

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

研究动机与目标

• 通过在界表达式中引入参数 $ a $，对卡尔森的反余弦函数双不等式进行改进与推广。
• 确定函数 $ F_a(x) = \frac{a + \sqrt{1+x}}{\sqrt{1-x}} \arccos x $ 在 $ (0,1) $ 上关于不同实数 $ a $ 的单调性行为。
• 通过分析 $ F_a(x) $ 的极值，推导出 $ \arccos x $ 的锐双不等式，并确定最优常数。
• 推广先前结果，包括卡尔森原始不等式左侧及先前研究中改进的界。
• 提出一个开放问题：关于涉及 $ (1-x) $、$ (1+x) $ 与 $ \arccos x $ 的幂函数的更广类函数的单调性。

提出的方法

• 引入单参数函数族 $ F_a(x) = \frac{a + \sqrt{1+x}}{\sqrt{1-x}} \arccos x $，以分析其单调性并推导不等式。
• 通过将导数 $ F_a'(x) $ 转化为函数 $ Q_a(x) $，其符号决定单调性。
• 利用函数 $ P(x) = \frac{4\sqrt{1-x}}{\arccos x} $，其在 $ (0,1) $ 上严格递增，用于分类 $ Q_a(x) $ 的单调性。
• 通过计算 $ x \to 0^+ $ 和 $ x \to 1^- $ 时的极限，分析 $ F_a(x) $ 的行为，得到以 $ \pi $ 和 $ \sqrt{2} $ 表示的界。
• 通过识别 $ F_a(x) $ 的最小值或极值点，推导出锐不等式，具体取决于 $ a $ 的取值范围。
• 使用符号计算（通过 Mathematica）验证所推导不等式的锐度与优度。

实验结果

研究问题

• RQ1 对于哪些参数 $ a $ 值，函数 $ F_a(x) = \frac{a + \sqrt{1+x}}{\sqrt{1-x}} \arccos x $ 在 $ (0,1) $ 上严格递增、递减或呈单峰？
• RQ2 在 $ a $ 的不同取值范围内，双不等式 $ \frac{c_1 (1-x)^{1/2}}{a + \sqrt{1+x}} < \arccos x < \frac{c_2 (1-x)^{1/2}}{a + \sqrt{1+x}} $ 的最佳常数是什么？
• RQ3 新不等式与先前已知的界（如卡尔森原始不等式及其改进形式）相比如何？
• RQ4 能否将 $ F_a(x) $ 的单调性与极值行为推广至包含 $ (1-x) $、$ (1+x) $ 与 $ \arccos x $ 的幂函数的更广类函数？
• RQ5 当 $ a \in \left( \frac{2(\pi-2)}{4-\pi}, 2\sqrt{2} \right) $ 时，下界的最优常数是什么？其推导过程如何？

主要发现

• 当 $ a \leq \frac{2(\pi - 2)}{4 - \pi} \approx 3.58 $ 时，函数 $ F_a(x) $ 在 $ (0,1) $ 上严格递增，由此导出不等式 $ \frac{\pi(1+a)/2 \cdot (1-x)^{1/2}}{a + \sqrt{1+x}} < \arccos x $。
• 当 $ a \geq 2\sqrt{2} \approx 2.828 $ 时，$ F_a(x) $ 严格递减，与前一情况的不等式方向相反。
• 当 $ \frac{2(\pi - 2)}{4 - \pi} < a < 2\sqrt{2} $ 时，$ F_a(x) $ 具有唯一最小值，由此导出更紧的上界，形式为 $ \max\left\{ \frac{\pi(1+a)}{2}, 2 + \sqrt{2}a \right\} $。
• 界中常数 $ \frac{\pi(1+a)}{2} $ 与 $ 2 + \sqrt{2}a $ 为最优，经 $ x \to 0^+ $ 与 $ x \to 1^- $ 处的极限分析验证。
• 推导出一个新的锐双不等式：$$ \frac{\pi(2 - \sqrt{2}) (1-x)^{1/2}}{4 - \pi + (\pi - 2\sqrt{2}) \sqrt{1+x}} > \arccos x > \max\left\{ \frac{2[4\lambda^2(x) - 1](1-x)^{1/2}}{[2\sqrt{2}\lambda(x) + \sqrt{1+x}]\lambda^2(x)}, \frac{\pi^2(1-x)^{1/2}}{2[2(\pi-2) + (4-\pi)\sqrt{1+x}]} \right\} $$，其中 $ \lambda(x) = \cos\left( \frac{1}{3} \arctan \frac{\sqrt{1-x}}{\sqrt{1+x}} \right) $。
• 证明不等式 $ \frac{2[4\lambda^2(x) - 1](1-x)^{1/2}}{[2\sqrt{2}\lambda(x) + \sqrt{1+x}]\lambda^2(x)} < \arccos x $ 比 (8) 的左侧与 (9) 的右侧都更优，且不被任何其他推导出的界所支配。