[論文レビュー] Some Monotonicity Properties of Gamma and $q$-gamma Functions

Peng Gao|arXiv (Cornell University)|Sep 7, 2007

Mathematical Inequalities and Applications参考文献 28被引用数 15

ひとこと要約

本稿では、対数的に完全単調関数を用いて、ガンマ関数およびq-ガンマ関数の新たな単調性に関する性質を確立する。qディガマ関数の導関数を分析し、既知の不等式を適用することで、特定のq-ガンマ関数比が対数的に完全単調であることを証明し、q-ガンマ関数に対する鋭い不等式およびR^nにおける単位球体積の改良された境界を得る。

ABSTRACT

We prove some properties of completely monotonic functions and apply them to obtain results on gamma and $q$-gamma functions.

研究の動機と目的

• 完全単調関数の理論を用いてq-ガンマ関数の新たな単調性性質を導出すること。
• 対数的完全単調性を活用することで、ガンマ関数に関する既知の不等式をq-ガンマ関数へと拡張すること。
• ガンマ関数およびq-ガンマ関数の単調性結果を応用して、R^nにおける単位球体積の既存の境界を改善すること。
• q-アナロジーのポリガンマ関数を用いて、比Γ_q(x+1)/Γ_q(x+s)に関する鋭い不等式を証明することで、以前の結果を一般化すること。
• q ∈ (0,1)に対して、関数x ↦ xψ_q^{(n)}(x)の単調性のqアナロジーを確立すること。

提案手法

• 対数的に完全単調関数の定義を用い、q-ガンマ関数比に適用する。
• 補題2.4（h'(x)が完全単調であるならば、e^{-h(x)}は対数的に完全単調である）を適用する。
• 0 < q < 1に対して、q-ディガマ関数ψ_q(x) = -ln(1-q) + ln(q)∑_{n=1}^∞ q^{nx}/(1-q^n) を用いる。
• f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x) が(0,∞)上で単調減少であることを示すことにより、ポリガンマ関数の導関数不等式のqアナロジーを導出する。
• 積分表現および級数展開を用いて、導出された関数f_n(x;q)がすべての順序の非正の導関数を持つことを証明する。
• 完全単調関数の理論を、g_q(x;a,b,c)などのガンマ関数比に適用し、単調性を導出し、不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 比g_q(x;a,b,c) = [(1-q^{x+c})/(1-q)]^{a-b} Γ_q(x+b)/Γ_q(x+a) が、どのような条件下で対数的に完全単調になるか？
• RQ2 すべてのx > 0および0 < s < 1に対して不等式[(1-q^{x+u(q,s)})/(1-q)]^{1-s} < Γ_q(x+1)/Γ_q(x+s) < [(1-q^{x+v(q,s)})/(1-q)]^{1-s} が成り立つような最適な定数u(q,s)およびv(q,s)は何か？
• RQ3 f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x) が(0,∞)上で単調減少であるという、ポリガンマ関数の導関数不等式のqアナロジーを確立できるか？
• RQ4 ガンマ関数比の単調性をどのように用いて、R^nにおける単位球体積の改良された境界を導出できるか？
• RQ5 関数の対数的完全単調性と、そのシフトバージョンとの比の単調性との間にはどのような関係があるか？

主な発見

• 0 < q < 1 に対して、関数g_q(x;s,1,u(q,s)) は(0,∞)上で対数的に完全単調であり、u(q,s) = ln[(q^s - q)/((1-s)(1-q))]/ln q である。これはアルツァーの結果における左辺不等式の証明に寄与する。
• すべてのn ≥ 1および0 < q < 1に対して、関数f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x) は(0,∞)上で単調減少である。これはポリガンマ関数単調性のqアナロジーを確立する。
• 体積比Ω_n^2 / (Ω_{n-1} Ω_{n+1}) は、すべてのn ≥ 1に対して、(1 + 1/(n+1))^{1/2} ≤ Ω_n^2 / (Ω_{n-1} Ω_{n+1}) ≤ (1 + 1/(n+1/2))^{1/2} という改良された境界を満たす。
• アルツァーの体積境界(6.1)における左辺不等式は、s = 1/2 とした不等式(3.1)の左辺とψ(2x)の二重公式から導かれる。
• インデックスの部分集合にわたるq-ガンマ関数の積を用いて定義される関数F_n(x,q) は、x > 0および0 < q ≤ 1 に対してxに関して対数的に完全単調である。
• 比a(x)/a(x+1/2) は対数的に完全単調であり、下限が1である。これは、体積比に関する定理6.1の最初の不等式を導く。