[论文解读] Power mean inequality of generalized trigonometric functions

Barkat Ali Bhayo, Матти Вуоринен|arXiv (Cornell University)|Sep 5, 2012

Mathematical Inequalities and Applications参考文献 12被引用 8

一句话总结

本文建立了与 p-Laplacian 相关的广义三角函数和双曲函数的幂均不等式，证明了反函数如 arcsinₚ、artanhₚ、arctanₚ 和 arsinhₚ 是 Mₜ-凹函数，而 sinₚ、cosₚ、tanₚ 和 tanhₚ 则根据 p 和 t 的取值表现出 Mₜ-凸性或 Mₜ-凹性。其主要贡献在于通过幂均值系统分析广义三角函数，利用超几何函数和单调性论证，将经典不等式推广至 p-Laplacian 框架。

ABSTRACT

We study the convexity/concavity properties of the generalized $p$-trigonometric functions in the sense of P. Lindqvist with respect to the power means.

研究动机与目标

• 研究广义三角函数关于幂均值的凸性与凹性性质。
• 通过基于超几何函数定义的广义函数，将经典三角不等式推广至 p-Laplacian 设置。
• 建立如 arcsinₚ、sinₚ、tanhₚ 及其双曲对应函数的 Mₜ-凸性与 Mₜ-凹性结果。
• 利用单调性与微分技术，将先前针对 t=0 和 t=2 的结果推广至任意 t≥0 和 t≥1。
• 为 p-三角函数背景下关于幂均值的广义凸性/凹性提供统一框架。

提出的方法

• 作者利用高斯超几何函数 F(a,b;c;z) 以及涉及 (1−xᵖ)⁻¹/ᵖ 和 (1+xᵖ)⁻¹/ᵖ 的积分，定义了广义三角函数 sinₚ、cosₚ、tanₚ、sinhₚ、tanhₚ 及其反函数。
• 他们采用单调性 l’Hôpital 法则（引理 2.1）分析导数之比的单调性，这对证明凸性与凹性性质至关重要。
• 关键不等式通过定义函数 g(x) = gᵢ(Mₜ(x,y))ᵗ − (gᵢ(x)ᵗ + gᵢ(y)ᵗ)/2 并研究其导数来分析，以根据 fᵢ(x) = (gᵢ(x)/x)ᵗ⁻¹ · d/dx(gᵢ(x)) 的行为确定符号变化。
• 对于 πₚ 函数，作者证明了 πₚ 是递减的，并利用 πₚ 关于 p 的导数表明 (πₚ/p)ᵗ⁻¹ · dπₚ/dp 在 t<1 时是递增的，从而为 πₚ 的 Mₜ-不等式提供证明。
• 证明依赖于引理 2.8，该引理表明某些比值如 (sinₚx/x)ᵐ⁻¹ · d/dx(sinₚx) 是递减的，而 cosₚ、tanₚ、sinhₚ、tanhₚ 的类似比值则根据需要为递增或递减。
• 最终命题将结果扩展至双参数广义函数 (p,q)，表明当 t<1 时，π_{Mₜ(p,q)} ≤ Mₜ(πₚ, π_q)。

实验结果

研究问题

• RQ1 广义三角函数在 t≥0 和 t≥1 条件下关于幂均值 Mₜ 的行为如何？
• RQ2 对于 p>1 和 t≥0，反函数 arcsinₚ、artanhₚ、arctanₚ、arsinhₚ 是否为 Mₜ-凹函数或 Mₜ-凸函数？
• RQ3 对于 t≥1，直接函数 sinₚ、cosₚ、tanₚ、tanhₚ、sinhₚ 是否满足 Mₜ-凸性或 Mₜ-凹性？
• RQ4 πₚ 的 Mₜ-不等式能否推广至双参数族 (p,q) 和 t<1 的情形？
• RQ5 导数比的单调性在建立广义凸性/凹性中起什么作用？

主要发现

• 对于 t≥0 且 p>1，有 arcsinₚ(Mₜ(r,s)) ≤ Mₜ(arcsinₚ(r), arcsinₚ(s))，表明 arcsinₚ 是 Mₜ-凹函数。
• 对于 t≥0，有 artanhₚ(Mₜ(r,s)) ≤ Mₜ(artanhₚ(r), artanhₚ(s))，表明 artanhₚ 是 Mₜ-凹函数。
• 对于 t≥0，有 arctanₚ(Mₜ(r,s)) ≥ Mₜ(arctanₚ(r), arctanₚ(s)) 和 arsinhₚ(Mₜ(r,s)) ≥ Mₜ(arsinhₚ(r), arsinhₚ(s))，确认 arctanₚ 和 arsinhₚ 是 Mₜ-凹函数。
• 对于 t≥1，有 sinₚ(Mₜ(r,s)) ≥ Mₜ(sinₚ(r), sinₚ(s))，表明 sinₚ 是 Mₜ-凸函数。
• 对于 t≥1，有 cosₚ(Mₜ(r,s)) ≤ Mₜ(cosₚ(r), cosₚ(s))，确认 cosₚ 是 Mₜ-凹函数。
• 对于 t≥1，有 tanₚ(Mₜ(r,s)) ≤ Mₜ(tanₚ(r), tanₚ(s)) 和 tanhₚ(Mₜ(r,s)) ≥ Mₜ(tanhₚ(r), tanhₚ(s))，分别表明 tanₚ 是 Mₜ-凹函数，tanhₚ 是 Mₜ-凸函数；而 sinhₚ(Mₜ(r,s)) ≤ Mₜ(sinhₚ(r), arsinhₚ(s)) 的表述有误——很可能是笔误，正确不等式应为 sinhₚ(Mₜ(r,s)) ≤ Mₜ(sinhₚ(r), sinhₚ(s))，以体现 sinhₚ 的 Mₜ-凹性。