[论文解读] A short proof of monotonicity of a function involving the psi and exponential functions

Feng Qi, Bai‐Ni Guo|arXiv (Cornell University)|Feb 15, 2009

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

一句话总结

本文提出一个简洁证明，表明函数 φ(x) = ψ(x) + ln(e^{1/x} − 1) 在 (0, ∞) 上严格递增，其中 ψ(x) 为双伽玛函数。该证明利用函数方程 ψ(x+1) = ψ(x) + 1 和对数微分法，提供了一种显著短于以往冗长推导的替代方法，关键结果为 φ(x) 的单调性及其在 x → ∞ 时极限为 0。

ABSTRACT

Abstract. In the short note, a simple proof is provided for the increasing monotonicity of the function ψ(x) + ln ` e 1/x − 1 ´ on (0, ∞), where ψ(x) is the well-known psi function. It is well-known that the classical gamma function Γ(x) = 0 t x−1 e −t dt (1) for x> 0, the psi function ψ(x) = Γ ′ (x) Γ(x) , and the polygamma functions ψ(k) (x) for k ∈ N play central roles in the theory of special functions and have much extensive applications in many branches. In [4, Theorem 2], it was discovered that if a ≤ − ln2 and b ≥ 0, then a − ln ( e 1/x − 1) < ψ(x) < b − ln ( e 1/x − 1) (2) holds for x> 0. In [3, Theorem 2.8], the inequality (2) was sharpened as follows: If a ≤ −γ and b ≥ 0, then the inequality (2) is valid for x> 0, where the constants −γ = −0.577... (the negative of Euler-Mascheroni’s constant) and 0 are the best possible. In [2], the function φ(x) = ψ(x) + ln ( e 1/x − 1) (3) was proved to be strictly increasing on (0, ∞) and lim φ(x) = 0. (4) x→∞ In [9], among other things, the function φ(x) was proved to be not only strictly increasing but also strictly concave on (0, ∞), with the limits limx→0 + φ(x) = −γ and (4). In [2, 9], the proofs of the increasing monotonicity of φ(x) spent respectively almost two printed pages. The aim of this short note is to provide a simple proof for the increasing monotonicity of the function φ(x) as follows. Theorem 1. The function φ(x) is strictly increasing on (0, ∞). Proof. It is well-known that Γ(x + 1) = xΓ(x) (5) for x> 0. Taking the logarithm on both sides of the above equation and differentiating yields ψ(x + 1) = ψ(x) + 1

研究动机与目标

• 提供 φ(x) = ψ(x) + ln(e^{1/x} − 1) 在 (0, ∞) 上单调递增性质的更短、更高效的证明。
• 简化以往对 φ(x) 单调性推导的冗长过程，此前推导几乎占满两页印刷内容。
• 仅使用 psi 函数的基本性质和基础微积分知识建立该结果。
• 确认当 x → ∞ 时 φ(x) 的极限为 0，与早期发现一致。

提出的方法

• 利用从伽马函数恒等式 Γ(x+1) = xΓ(x) 的对数导数推导出的函数方程 ψ(x+1) = ψ(x) + 1。
• 对伽马函数恒等式应用对数微分法，推导出 ψ(x) 的递推关系。
• 通过已知的 ψ(x) 的导数和对数项的链式法则，分析 φ(x) = ψ(x) + ln(e^{1/x} − 1) 的导数。
• 运用标准微积分技巧证明对所有 x > 0 有 φ'(x) > 0，从而证明其严格递增。
• 仅依赖 psi 函数的基本性质和基础微分法，避免使用复杂的渐近或积分估计。

实验结果

研究问题

• RQ1 φ(x) = ψ(x) + ln(e^{1/x} − 1) 在 (0, ∞) 上的单调性能否以比以往方法更简洁的方式证明？
• RQ2 psi 函数的哪些基本性质可用于简化 φ(x) 递增行为的证明？
• RQ3 当 x → ∞ 时，φ(x) 的极限是否为 0，且该结论能否在简化证明框架内得到确认？
• RQ4 该证明能否仅基于函数方程 ψ(x+1) = ψ(x) + 1 和基本微分法构建？

主要发现

• 函数 φ(x) = ψ(x) + ln(e^{1/x} − 1) 在区间 (0, ∞) 上严格递增。
• 单调性证明显著短于以往推导，后者几乎占满两页印刷内容。
• 当 x 趋近于无穷大时，φ(x) 的极限为 0，与早期结果一致。
• 证明仅依赖于函数方程 ψ(x+1) = ψ(x) + 1 和基本微分技巧。
• 该结果确认了 φ(x) 的递增性，无需使用高级渐近或积分估计。
• 该方法为同一单调性性质的先前证明提供了更易理解且更高效的替代方案。