[论文解读] A new way to prove L'Hospital Monotone Rules with applications

Zhen-Hang Yang|arXiv (Cornell University)|Sep 23, 2014

Mathematical Inequalities and Applications参考文献 34被引用 25

一句话总结

本文引入了一个新颖的辅助函数 $ H_{f,g} = (f'/g')g - f $，以简化洛必达单调性法则的证明，提供了一种更直观、更简洁的方法。该方法可推导出三角函数与双曲函数的精确不等式，包括不等式 $ \theta_0(p_0)(\cos x)^{p_0} + 1 - \theta_0(p_0) < \left(\frac{\sin x}{x}\right)^{p_0} \leq \frac{1}{3}(\cos x)^{p_0} + \frac{2}{3} $ 中的最优常数，其中 $ \theta_0(p_0) \approx 0.33334 $，$ p_0 \approx 0.89788 $。

ABSTRACT

Let $-\infty \leq a<b></b>

研究动机与目标

• 开发一种更简单、更直观的洛必达单调性法则证明技术，以避免传统方法中因导数计算复杂而带来的困难。
• 解决在函数商的单调性难以确定时的问题，特别是当商的导数变得复杂难处理时。
• 将单调性法则的应用范围从有限端点扩展到无穷区间，包括函数在无穷远处趋于零的情形。
• 利用新证明方法，推导出双曲函数与三角函数的精确不等式，特别是涉及 $ \left(\frac{\sin x}{x}\right)^p $ 和 $ \cos^p x $ 的情形。
• 确定此类不等式中最佳可能的常数，改进文献中已知的结果。

提出的方法

• 引入辅助函数 $ H_{f,g} = \left(f' / g'\right)g - f $，以分析 $ f/g $ 的单调性，从而简化导数分析。
• 利用函数 $ H_{f,g} $ 将 $ f/g $ 的单调性与 $ f'/g' $ 的行为联系起来，特别是在 $ f'/g' $ 单调递增或递减时。
• 应用定理 9（LPMR）——一种从 $ H_{f,g} $ 衍生出的分段单调性法则——以确定 $ f/g $ 单调递增或递减的区间。
• 通过分析 $ (f'/g')' $ 的符号以及 $ H_{f,g} $ 的行为，证明 $ f/g $ 在 $ (0, x_0) $ 上递增，在 $ (x_0, \pi/2) $ 上递减。
• 利用极限 $ \lim_{x \to 0^+} f(x)/g(x) = 1/3 $ 和 $ \lim_{x \to \pi/2^-} f(x)/g(x) = 1 - (2/\pi)^p $ 对 $ f/g $ 进行界定，从而导出精确不等式。
• 通过数值方法求解关键方程 $ (3.18) $，以定位 $ x_0 $，即 $ f/g $ 达到最大值的唯一点，从而实现最优常数的估计。

实验结果

研究问题

• RQ1 能否开发一种更简单、更直观的方法来证明洛必达单调性法则，从而避免直接计算导数的复杂性？
• RQ2 当 $ f'/g' $ 在整个区间上并非单调，而仅在分段上单调时，如何确定 $ f/g $ 的单调性？
• RQ3 在 $ x \in (0, \pi/2) $ 时，使得不等式 $ \theta_1(p) \leq \frac{(\sin x / x)^p - 1}{(\cos x)^p - 1} \leq \theta_0(p) $ 成立的最优常数 $ \theta_1(p) $ 和 $ \theta_0(p) $ 分别是什么？
• RQ4 当 $ p $ 取何值时，下界 $ \theta_1(p) $ 等于 $ 1/3 $，此时对应的最优常数 $ \theta_0(p_0) $ 是多少？
• RQ5 如何利用辅助函数 $ H_{f,g} $ 证明 $ f/g $ 在 $ (0, \pi/2) $ 内仅有一个最大值，从而得到精确的全局界限？

主要发现

• 辅助函数 $ H_{f,g} = (f'/g')g - f $ 提供了一种自然且简洁的方法来证明洛必达单调性法则，简化了标准方法。
• 函数 $ f/g = \left(\frac{\sin x}{x}\right)^p - 1 \big/ \left(\cos x\right)^p - 1 $ 在 $ (0, x_0) $ 上递增，在 $ (x_0, \pi/2) $ 上递减，其中 $ x_0 \approx 3.658 \times 10^{-7} $，表明存在唯一最大值。
• 在不等式 $ \frac{\left(\frac{\sin x}{x}\right)^p - 1}{\left(\cos x\right)^p - 1} \leq \theta_0(p) $ 中，最优常数 $ \theta_0(p) $ 在 $ x_0 $ 处取得，当 $ p_0 \approx 0.89788 $ 时，有 $ \theta_0(p_0) \approx 0.33334 $。
• 当 $ p = p_0 = \frac{\ln 3 - \ln 2}{\ln \pi - \ln 2} \approx 0.89788 $ 时，下界 $ \theta_1(p) $ 等于 $ 1/3 $，从而导出精确不等式 $ \theta_0(p_0)(\cos x)^{p_0} + 1 - \theta_0(p_0) < \left(\frac{\sin x}{x}\right)^{p_0} \leq \frac{1}{3}(\cos x)^{p_0} + \frac{2}{3} $。
• 证明确认了 $ H_{f,g}(0^+) = 0 $ 且 $ H_{f,g}(\pi/2^-) = 1 - (2/\pi)^p > 0 $，支持在 $ (0, \pi/2) $ 内存在唯一 $ x_0 $ 使得 $ f/g $ 达到峰值，从而验证了界限的正确性。