[论文解读] Inequalities for generalized trigonometric and hyperbolic sine functions

Miao-Kun Wang, Yu-Ming Chu+1 more|arXiv (Cornell University)|Dec 5, 2012

Mathematical Inequalities and Applications参考文献 5被引用 6

一句话总结

本文证明了广义三角函数与双曲正弦函数的两个精确不等式：当 $p,q > 1$ 且在适当定义域内时，有 $σ_{p,q}( extstyle oot{r s} vert) \geq \sqrt{σ_{p,q}(r)σ_{p,q}(s)}$ 与 $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$。作者通过反函数的对数微分与单调性分析建立了这些结果，解决了 Bhayo 与 Vuorinen 提出的猜想，并将经典不等式推广至广义的 $(p,q)$-框架。

ABSTRACT

We prove that the inequalities $\sin_{p,q}(\sqrt{rs})\geq \sqrt{\sin_{p,q}(r)\sin_{p,q}(s)}$ and $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$ hold for all $p,q\in(1,\infty)$, $r,s\in(0,\int_{0}^{1}(1-t^q)^{-1/p}dt)$ and $r^*,s^*\in(0,\int_{0}^{\infty}(1+t^q)^{-1/p}dt)$, where $\sin_{p,q}$ and $\sinh_{p,q}$ are the generalized trigonometric and hyperbolic sine functions, respectively. As a consequence of the results, we prove a conjecture due to Bhayo and Vuorinen [J. Approx. Theory, 164(2012)].

研究动机与目标

• 解决 Bhayo 与 Vuorinen（2012）关于广义三角函数与双曲正弦函数的函数不等式猜想。
• 通过参数的几何平均，建立 $\sin_{p,q}$ 与 $\sinh_{p,q}$ 的精确不等式。
• 将 Mitrinović-Adamović 与 Lazarević 等经典不等式推广至广义的 $(p,q)$-函数框架。
• 通过微分不等式分析反函数 $\arcsin_{p,q}$ 与 $\mathrm{arcsinh}_{p,q}$ 的单调性性质。
• 利用积分表示与特殊函数理论，对广义正弦函数与双曲正弦函数提供统一处理。

提出的方法

• 通过有理函数构造 $\arcsin_{p,q}(x)$ 的下界，并利用导数分析证明该下界严格成立。
• 通过 $p$ 与 $q$ 的分情况讨论，建立 $\frac{x}{\mathrm{arcsinh}_{p,q}(x)}$ 的上界，使用有理表达式。
• 定义对数平均型函数 $H_{p_1}(x,y)$，并利用比值 $J(x,y)$ 的对数微分分析其单调性。
• 对涉及 $\mathrm{arcsinh}_{p,q}$ 的比值 $J^*(x,y)$ 应用对数微分，分析双曲情形下的单调性。
• 利用由对数导数导出的 $F(x)$ 与 $F^*(x)$ 的单调性，确定 $J$ 与 $J^*$ 递增或递减的条件。
• 通过代入 $x = \sin_{p,q}(r)$, $y = \sin_{p,q}(s)$ 与 $x = \sinh_{p,q}(r^*)$, $y = \sinh_{p,q}(s^*)$，将结果应用于反函数 $\sin_{p,q}$ 与 $\sinh_{p,q}$。

实验结果

研究问题

• RQ1 对于所有 $p,q > 1$ 及 $r,s \in (0, \pi_{p,q}/2)$，不等式 $\sin_{p,q}(\sqrt{rs}) \geq \sqrt{\sin_{p,q}(r)\sin_{p,q}(s)}$ 是否成立？
• RQ2 对于所有 $p,q > 1$ 及 $r^*,s^* \in (0, m_{p,q}^*)$，不等式 $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$ 是否成立？
• RQ3 能否通过积分与单调性方法确认 Bhayo 与 Vuorinen 关于广义正弦与双曲正弦不等式的猜想？
• RQ4 参数 $p_1$ 或 $p_2$ 的何种条件可确保比值函数 $J(x,y)$ 与 $J^*(x,y)$ 的单调性？
• RQ5 当 $x \to 0$ 与 $x \to \infty$ 时，$\arcsin_{p,q}(x)$ 与 $\mathrm{arcsinh}_{p,q}(x)$ 的渐近行为如何影响所导出的不等式？

主要发现

• 对于所有 $p,q > 1$ 及 $r,s \in (0, \pi_{p,q}/2)$，不等式 $\sin_{p,q}(\sqrt{rs}) \geq \sqrt{\sin_{p,q}(r)\sin_{p,q}(s)}$ 成立，且当且仅当 $r = s$ 时取等。
• 对于所有 $p,q > 1$ 及 $r^*,s^* \in (0, m_{p,q}^*)$，不等式 $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$ 成立，且当且仅当 $r^* = s^*$ 时取等。
• 作者证明了 $\arcsin_{p,q}(x)$ 的一个精确下界：对所有 $x \in (0,1)$，有 $\arcsin_{p,q}(x) > \frac{px(1-x^q)^{1-1/p}}{(q-p)x^q + p}$。
• 建立了 $\frac{x}{\mathrm{arcsinh}_{p,q}(x)}$ 的精确上界：对所有 $x \in (0,\infty)$，有 $\frac{x}{\mathrm{arcsinh}_{p,q}(x)} > \frac{(p-q)x^q + p}{p(1+x^q)^{1-1/p}}$。
• 证明了积分 $m_{p,q}^* = \int_0^\infty (1+t^q)^{-1/p} dt > 1$，确保 $\sinh_{p,q}$ 的定义域足够大，使不等式具有意义。
• 通过使用对数微分与 $F(x)$、$F^*(x)$ 的单调性分析，该证明方法确认了 Bhayo 与 Vuorinen 的猜想，并将其推广至全部参数范围 $p,q > 1$。