[论文解读] 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- digamma函数的导数并应用已知不等式，作者证明了某些q-伽马函数的比值是对数完全单调的，从而导出q-伽马函数的精确不等式，并改进了ℝⁿ中单位球体积的界。

ABSTRACT

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

研究动机与目标

• 通过完全单调函数理论，推导q-伽马函数的新单调性性质。
• 通过利用对数完全单调性，将伽马函数的已知不等式推广至q-伽马函数。
• 利用伽马函数和q-伽马函数的单调性结果，改进ℝⁿ中单位球体积的现有界。
• 通过q-多伽马函数的q-模拟，证明精确不等式，推广关于比值Γ_q(x+1)/Γ_q(x+s)的先前结果。
• 为q ∈ (0,1)建立函数x ↦ xψ_q^{(n)}(x)的q-模拟单调性。

提出的方法

• 利用对数完全单调函数的定义，并将其应用于q-伽马函数的比值。
• 应用引理2.4，即若h'(x)是完全单调的，则e^{-h(x)}是对数完全单调的。
• 使用q- digamma函数ψ_q(x) = -ln(1-q) + ln(q)∑_{n=1}^∞ q^{nx}/(1-q^n)，其中0 < q < 1。
• 通过证明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 最优常数u(q,s)和v(q,s)是什么，使得对所有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}成立？
• RQ3 是否可以建立多伽马函数导数不等式的q-模拟，特别是f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x)在(0,∞)上递减？
• RQ4 如何利用伽马函数比值的单调性推导ℝⁿ中单位球体积的改进界？
• 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，证明了Alzer结果中不等式左侧的成立。
• 对于所有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})满足改进的界：(1 + 1/(n+1))^{1/2} ≤ Ω_n^2 / (Ω_{n-1} Ω_{n+1}) ≤ (1 + 1/(n+1/2))^{1/2}，对所有n ≥ 1成立。
• Alzer的体积界(6.1)的左侧不等式，可由不等式(3.1)的左侧在s = 1/2时，结合ψ(2x)的倍乘公式推出。
• 通过q-伽马函数在索引子集上的乘积定义的函数F_n(x,q)，在x > 0和0 < q ≤ 1时，关于x是对数完全单调的。
• 比值a(x)/a(x+1/2)是对数完全单调且下界为1，这导致了定理6.1中体积比的第一个不等式。