[論文レビュー] 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) = ψ(x) + ln(e^{1/x} − 1) が (0, ∞) で厳密に増加していることを示す簡潔な証明を提示する。証明は、ψ(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, ∞) における単調増加性を、従来のものよりも短く、より効率的な証明を提供すること。
• 従来、ほぼ2枚の印刷ページにわたって必要とされていた、φ(x) の単調増加性に関する長大な導出を簡略化すること。
• ψ関数の基本的性質と基本的な微分法のみを用いて、結果を確立すること。
• x → ∞ のときの φ(x) の極限が 0 であることを確認し、これまでも得られている結果と整合すること。

提案手法

• ガンマ関数の恒等式 Γ(x+1) = xΓ(x) の対数微分から導かれる関数方程式 ψ(x+1) = ψ(x) + 1 を用いる。
• ガンマ関数の恒等式に対数微分を適用し、ψ(x) の再帰的性質を導出する。
• ψ(x) の既知の導関数と、対数項における合成関数の微分法則を用いて、φ(x) = ψ(x) + ln(e^{1/x} − 1) の導関数を分析する。
• 標準的な微分法を用いて、すべての x > 0 に対して φ'(x) > 0 であることを示し、厳密な増加性を証明する。
• 複雑な漸近的または積分的推定を避けて、ψ関数の初等的性質と基本的な微分法のみに依拠する。

実験結果

リサーチクエスチョン

• RQ1 φ(x) = ψ(x) + ln(e^{1/x} − 1) の (0, ∞) における単調増加性は、従来の手法よりも簡潔に証明可能か？
• RQ2 ψ関数のどのような基本的性質が、φ(x) の増加性の証明を簡素化できるか？
• RQ3 x → ∞ のときの φ(x) の極限値は 0 であり、簡略化された証明枠組み内で確認可能か？
• RQ4 関数方程式 ψ(x+1) = ψ(x) + 1 と基本的な微分法のみを用いて証明を構築可能か？

主な発見

• 関数 φ(x) = ψ(x) + ln(e^{1/x} − 1) は区間 (0, ∞) で厳密に増加している。
• 単調増加性の証明は、従来の導出（ほぼ2枚の印刷ページにわたる）よりも著しく短い。
• x → ∞ のときの φ(x) の極限値は 0 であり、これまでも得られている結果と一致する。
• 証明は ψ(x+1) = ψ(x) + 1 という関数方程式と基本的な微分法のみに依拠している。
• 高度な漸近的または積分的推定を用いることなく、φ(x) の増加性が確認できる。
• 同様の単調増加性の性質を証明するための、よりアクセスしやすく効率的な代替手法を提供する。