[论文解读] Bounds for the ratio of two gamma functions--From Wendel's and related inequalities to logarithmically completely monotonic functions

Feng Qi|arXiv (Cornell University)|Apr 7, 2009

Mathematical Inequalities and Applications参考文献 40被引用 4

一句话总结

这篇综述论文系统地回顾了伽马函数与q-伽马函数比值的界限，建立了这些比值为对数完全单调的必要与充分条件。该研究将经典不等式——Wendel不等式、Gautschi不等式、Kershaw不等式——统一于完全单调性的框架之中，证明了在明确的参数条件下，特定的伽马函数乘积比值为对数完全单调。

ABSTRACT

In this expository and survey paper, along one of main lines of bounding the ratio of two gamma functions, we look back and analyse some inequalities, several complete monotonicity of functions involving ratios of two gamma or $q$-gamma functions, and necessary and sufficient conditions for functions involving ratios of two gamma or $q$-gamma functions to be logarithmically completely monotonic.

研究动机与目标

• 整合并分析数十年来关于伽马函数比值界限的研究，特别聚焦于不等式与单调性性质。
• 阐明伽马函数或q-伽马函数比值为对数完全单调的条件，这是分析与特殊函数中的关键性质。
• 在更广泛的完全单调性与对数完全单调性框架内，统一并拓展经典不等式（如Wendel、Gautschi）的结果。
• 提出伽马函数或q-伽马函数乘积比值对数完全单调性的新充分条件，涉及多个参数。
• 为分析、特殊函数及应用数学领域的研究人员提供一个全面的参考，以获取严格的界限与单调性准则。

提出的方法

• 综述并整合基础不等式：Wendel的双不等式、Kazarinoff的改进、Watson的单调性、Gautschi的界限，以及Kershaw的第一组双不等式。
• 利用积分表示与导数符号条件，分析涉及伽马函数与q-伽马函数比值的函数的完全单调性。
• 应用对数完全单调函数的概念——定义为对数的交替导数非负——以推导必要与充分条件。
• 利用完全单调函数的积分表示（通过定理1.1）来刻画此类函数的结构。
• 通过利用经典恒等式的q-模拟与测度，包括(1.6)中的离散测度表示，将结果扩展至q-伽马函数。
• 证明在明确的参数约束下，特定对称乘积比值（如(5.9)与(5.11)）的伽马函数为对数完全单调。

实验结果

研究问题

• RQ1 两个伽马函数比值为对数完全单调的必要与充分条件是什么？
• RQ2 Wendel不等式与Gautschi不等式等经典不等式如何与完全单调性的更广泛框架相关联？
• RQ3 在何种条件下，伽马函数或q-伽马函数比值的乘积仍保持对数完全单调？
• RQ4 经典结果的q-伽马函数类比如何保持或推广单调性性质？
• RQ5 函数 $ q_{\alpha,\beta}(t) $ 的单调性能否用于推导更复杂比值对数完全单调性的充分条件？

主要发现

• 在适当平移后，函数 $ F(x) = \frac{\prod_{\sigma \in E_n} \Gamma(x + a_{\sigma(2)} + 2a_{\sigma(3)} + \cdots + (n-1)a_{\sigma(n)})}{\prod_{\sigma \in O_n} \Gamma(x + a_{\sigma(2)} + 2a_{\sigma(3)} + \cdots + (n-1)a_{\sigma(n)})} $ 在 $ (0, \infty) $ 上为对数完全单调。
• 对于任意 $ a_k > 0 $，函数 $ F_n(x) = \frac{\Gamma(x) \prod_{k=1}^{[n/2]} \left[ \prod_{m \in P_{n,2k}} \Gamma\left(x + \sum_{j=1}^{2k} a_{m_j} \right) \right]}{\prod_{k=1}^{[(n+1)/2]} \left[ \prod_{m \in P_{n,2k-1}} \Gamma\left(x + \sum_{j=1}^{2k-1} a_{m_j} \right) \right]} $ 在 $ (0, \infty) $ 上为对数完全单调。
• 对于 $ 0 < q < 1 $，类似定义的q-类比 $ F_{n,q}(x) $ 在 $ (0, \infty) $ 上也为对数完全单调，且 $ F_q(x) $ 具有类似结果。
• 定理5.1表明：若 $ (b_i - a_i)(1 - a_i - b_i) \geq 0 $，$ (b_i - a_i)(|a_i - b_i| - a_i - b_i) \geq 0 $，且 $ \sum b_i \geq \sum a_i $，则 $ h_{\boldsymbol{a},\boldsymbol{b};n}(x) $ 在 $ (-\rho_n, \infty) $ 上为对数完全单调。
• q-类比（定理5.2）证实：$ h_{q;\boldsymbol{a},\boldsymbol{b};n}(x) = \prod_{i=1}^n \frac{\Gamma_q(x + a_i)}{\Gamma_q(x + b_i)} $ 在相同条件下于 $ (-\rho_n, \infty) $ 上为对数完全单调。
• 本文确认，对数完全单调函数是完全单调函数的一个严格子类，且它们对应于Berg与Horn所指出的无限可除完全单调函数。