[论文解读] Topics in special functions III

G. D. Anderson, Матти Вуоринен+1 more|arXiv (Cornell University)|Sep 8, 2012

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

一句话总结

本文综述了拟共形映射理论与几何函数论中出现的特殊函数的最新进展，特别关注超几何函数和三角函数的单调性与凸性性质。通过应用L'Hôpital单调性法则，推导出精确不等式与凸性结果，包括Jordan不等式的广义形式及超几何平均的新界。

ABSTRACT

The authors survey recent results in special functions of classical analysis and geometric function theory, in particular the circular and hyperbolic functions, the gamma function, the elliptic integrals, the Gaussian hypergeometric function, power series, and mean values.

研究动机与目标

• 综述并拓展由拟共形映射理论中的开放问题（特别是Anderson、Vamanamurthy与Vuorinen，1993、1996年提出的问题）所激发的特殊函数研究成果。
• 应用L'Hôpital单调性法则，推导三角函数、双曲函数及超几何函数的精确不等式。
• 研究零平衡高斯超几何函数的$ M_{\lambda,\mu} $-凸性，并推广已知的均值不等式。
• 提出新的研究方向，包括将经典三角不等式推广至广义的$ (p,q) $-三角函数。
• 为纪念已故的M. K. Vamanamurthy，整理并推进其与作者们合作所启动的工作。

提出的方法

• 利用L'Hôpital单调性法则（LMR）分析函数比值（特别是$ f/g $）的单调性，基于$ f'/g' $的单调性。
• 将LMR应用于推导$ \frac{\sin x}{x} $、$ \frac{\sinh x}{x} $及相关函数的精确界，使用幂平均和递归系数定义。
• 采用递归系数系统，构建$ \frac{\sin x}{x} - \frac{\sin \theta}{\theta} $在$ (\theta^t - x^t)^k $上的最佳多项式与级数展开。
• 通过$ (\pi^2 - 4x^2)^k $、$ (r^2 - x^2)^k $和$ (\theta^t - x^t)^k $的有限级数，推广经典不等式（如Jordan不等式）。
• 分析超几何函数$ F(a,b;a+b;r) $的$ M_{\lambda,\mu} $-凸性，确立在$ \lambda \in (-\infty,1] $、$ \mu \in [0,\infty) $下凸性的条件。
• 将均值不等式推广至函数如Grötzsch环函数$ \mu $与Hersch-Pfluger变形函数$ \varphi_K $，证明$ M_\lambda(\mu(s),\mu(t)) < \mu(M_\lambda(s,t)) $当且仅当$ \lambda \leq 0 $。

实验结果

研究问题

• RQ1 在$ (0, \pi/2) $上，不等式$ \cos^{4/3}(x/2) < \frac{\sin x}{x} < \cos^a(x/2) $的最佳常数是什么？它们是如何推导的？
• RQ2 Grötzsch函数$ \mu $的不等式$ M_\lambda(\mu(s),\mu(t)) < \mu(M_\lambda(s,t)) $在何种条件下成立？它如何依赖于$ \lambda $？
• RQ3 对于哪些参数$ \lambda, \mu $，零平衡超几何函数$ F(a,b;a+b;r) $在$ (0,1) $上是$ M_{\lambda,\mu} $-凸的？
• RQ4 能否将三角函数的经典单调性与凸性性质推广至Takeuchi提出的$ (p,q) $-三角函数？
• RQ5 在$ (\pi^2 - 4x^2)^k $的有限级数中，$ \frac{\sin x}{x} $的精确界是什么？系数$ \alpha_k, \beta_k $如何确定？

主要发现

• 在$ (0, \pi/2) $上，不等式$ \cos^{4/3}(x/2) < \frac{\sin x}{x} < \cos^a(x/2) $成立，其中$ a \approx 1.30299 $，且两个常数均为最佳。
• 对于$ x \in (0,1) $，精确不等式$ \cosh^{1/3}x < \frac{\sinh x}{x} < \cosh^b x $成立，其中$ b \approx 0.372168 $，且两个指数均为最优。
• 当$ t \geq 2 $，$ 0 < x \leq \theta < \pi $时，不等式$ \sum_{k=1}^n \mu_k(\theta^t - x^t)^k \leq \frac{\sin x}{x} - \frac{\sin \theta}{\theta} \leq \sum_{k=1}^n \omega_k(\theta^t - x^t)^k $成立，其中常数通过递归定义且为最优。
• 函数$ \frac{\sin x}{x} $在$ 0 < |x| \leq r \leq \pi/2 $上具有无穷级数展开$ \sum_{n=0}^\infty a_n(r^2 - x^2)^n $，对所有解析偶函数成立。
• 零平衡超几何函数$ F(a,b;a+b;r) $在所有$ a,b > 0 $，$ \lambda \leq 1 $，$ \mu \geq 0 $下，于$ (0,1) $上为$ M_{\lambda,\mu} $-凸，此结论由Zhang、Wang与Chu建立。
• 不等式$ M_\lambda(\mu(s),\mu(t)) < \mu(M_\lambda(s,t)) $当且仅当$ \lambda \leq 0 $成立；而$ M_\lambda(\varphi_K(s),\varphi_K(t)) < \varphi_K(M_\lambda(s,t)) $当且仅当$ \lambda \geq 0 $且$ K > 1 $成立。