[論文レビュー] 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関数を含む関数の新たな単調性および凹性に関する性質を確立し、既知の不等式を一般化する。ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) は 0 < θ ≤ 1 のとき、(0, ∞) 上で厳密に増加かつ厳密に凹であることが証明され、明確な漸近的極限が得られ、ψ′(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関数を含む既知の不等式を拡張・一般化すること。
• ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) が (0, ∞) 上で単調増加および凸性を示すための必要十分条件を確立すること。
• 以前に誤りとされた不等式 (1.8) を修正・精緻化し、x > -1 に対して成立する修正版および拡張版 (1.9) を証明すること。
• ϕθ(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, ∞) 上で厳密に凸であるか？

主な発見

• 関数 ϕθ(x) = ψ(x) + ln(e^{θ/x} - 1) が (0, ∞) 上で厳密に増加かつ厳密に凹であることは、0 < θ ≤ 1 であるための必要十分条件である。
• 0 < θ ≤ 1 のとき、すべての x > 0 に対して不等式 ψ′(x) > (θ e^{θ/x}) / [x²(e^{θ/x} - 1)] が成り立ち、θ ≥ 2 のときには不等式が逆転する。
• ϕθ(x) は lim_{x→0⁺} ϕθ(x) = −γ（θ = 1 のとき）、lim_{x→0⁺} ϕθ(x) = ∞（θ > 1 のとき）、lim_{x→0⁺} ϕθ(x) = −∞（0 < θ < 1 のとき）を満たす。
• すべての x > 0 に対して、修正された不等式 −γ + xψ′(1 + x/2) < ψ(x+1) < −γ + xψ′(√(x+1)) が成り立ち、−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, ∞) 上で厳密に凸である。