[论文解读] Some properties of the psi and polygamma functions

Feng Qi, Bai‐Ni Guo|arXiv (Cornell University)|Mar 5, 2009

Mathematical Inequalities and Applications参考文献 13被引用 3

一句话总结

本文建立了涉及 psi 函数和 polygamma 函数的函数的新单调性与凹性性质，推广了已知不等式。证明了当 0 < θ ≤ 1 时，ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) 严格递增且严格凹，具有精确的渐近极限，并推导出 ψ′(x) 和 ψ′′(x) 的精确不等式，这些不等式根据 θ 的取值扩展并逆转了已知界限。

ABSTRACT

In this paper, some monotonicity and concavity results of several functions involving the psi and polygamma functions are proved, and then some known inequalities are extended and generalized.

研究动机与目标

• 通过分析复合函数的单调性与凹性，扩展并推广涉及 psi 与 polygamma 函数的已知不等式。
• 在 (0, ∞) 上建立 ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) 的单调性与凸性的必要与充分条件。
• 通过证明在 x > -1 时成立的修正并扩展的版本 (1.9)，纠正并完善此前错误的不等式 (1.8)。
• 基于 ϕθ(x) 的单调性分析，推导出关于 trigamma 与 tetragamma 函数的新精确不等式。
• 研究相关函数 f(x)、g(x) 与 h(x) 的单调性与渐近行为，并对其凸性/凹性性质提出猜想。

提出的方法

• 分析 θ > 0 时的函数 ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1)，计算其一阶与二阶导数以确定单调性与凹性/凸性。
• 使用 psi 与 polygamma 函数的积分表示与级数展开，特别是 ψ(x) = -γ + ∑_{k=0}^∞ [1/(k+1) - 1/(k+x)] 与 ψ^{(m)}(x) = (-1)^{m+1} ∫_0^∞ t^m e^{-xt}/(1 - e^{-t}) dt。
• 应用中值定理比较复合函数的导数，例如 f′(x) = (x/2)[ψ''(1+ξ(x)) - ψ''(1+x/2)]。
• 通过微分级数表达式证明高阶导数的正性，例如当 u > 0 时，[ (u²−1)ψ′(u) − ψ(u²) ]′ > 0。
• 利用渐近展开与已知的 ψ(x) 与 ψ^{(m)}(x) 的极限，计算 lim_{x→0⁺} ϕθ(x) 与 lim_{x→∞} ϕθ(x)。
• 通过 psi 函数的反射与递推恒等式，对 f(x) 与 g(x) 等函数进行变换，将其定义域扩展至 (−1, ∞)。

实验结果

研究问题

• RQ1 对于哪些 θ > 0 的值，函数 ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) 在 (0, ∞) 上严格递增或严格凹？
• RQ2 ϕθ(x) 严格递增或严格凹的 θ 的必要与充分条件是什么？
• RQ3 如何修正并推广此前错误的不等式 (1.8)，使其在 x > -1 时成立？
• RQ4 从 ϕθ(x) 在 θ ∈ (0,1] 与 θ ≥ 2 时的单调性出发，可推导出关于 ψ′(x) 与 ψ′′(x) 的哪些精确不等式？
• RQ5 函数 h(x) = (x²−1)ψ′(x) − ψ(x²) 是否如猜想所示，在 (−1,1) 上严格凹，在 (1, ∞) 上严格凸？

主要发现

• 当且仅当 0 < θ ≤ 1 时，函数 ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) 在 (0, ∞) 上严格递增且严格凹。
• 当 0 < θ ≤ 1 时，对所有 x > 0，不等式 ψ′(x) > (θ e^{θ/x}) / [x²(e^{θ/x} - 1)] 成立；当 θ ≥ 2 时，该不等式方向反转。
• 函数 ϕθ(x) 满足：当 θ = 1 时，lim_{x→0⁺} ϕθ(x) = −γ；当 θ > 1 时，lim_{x→0⁺} ϕθ(x) = ∞；当 0 < θ < 1 时，lim_{x→0⁺} ϕθ(x) = −∞。
• 修正后的不等式 −γ + xψ′(1 + x/2) < ψ(x+1) < −γ + xψ′(√(x+1)) 对所有 x > 0 成立，且在 −1 < x < 0 时方向反转。
• 函数 f(x) = ψ(x+1) − xψ′(1 + x/2) 与 g(x) = xψ′(√(x+1)) − ψ(x+1) 在 (−1, ∞) 上均严格递增，且满足 lim_{x→−1⁺} f(x) = −∞ 与 lim_{x→∞} f(x) = ∞。
• 函数 h(x) = (x²−1)ψ′(x) − ψ(x²) 在 (−1, ∞) 上严格递增，且满足 lim_{x→−1⁺} h(x) = −∞ 与 lim_{x→∞} h(x) = ∞，并猜想其在 (−1,1) 上严格凹，在 (1, ∞) 上严格凸。