Г 函数比的不等式.pdf

】[、函数比的不等式 G．J．O．Jameson 摘要 给出了关于 r(x+y)／r(x) 的一个详尽的不等式组，以及由Artin(阿廷)，Wendel和 Gautschi独立所得到 一 些结果的简短证明．应用包括关于二项式系数的一些不等式和Bohr(玻尔)一 Mollerup定理． 关于比值 R( )= 的不等式有一些有趣的应用，长期以来一些作者考虑过这个问题．在 美国数学月刊 (The Amer．Math．Monthly)》的一篇文章中 [7】jWendel证明了 x(x+ )一 R(x，Y) X 当0 Y l时． (1) Wendel的方法是 H51der(赫尔德)不等式对于积分定义的r函数的巧妙应用．注意，当 Y=0和 Y=1时，两个不等式都是精确的，因为 R(x，0)=1，n(x，1)=X． 没有引用Wendel，Gautschi[4]用极不相同的方法证明了 x(x+1)v一 R(x，Y) 当0 Y 1时． (2) (2)中的下界弱于 (1)，并且当Y=0时它不是精确的．Gautschi只对 的整数值叙述了 这个结果，但是他的方法并不需要这个条件．他还建立了一个更复杂的下界 exp[(y一 1)(+1)】，其中 ()=F()／r()，这个下界蕴含 (2)，因为 ()logx．在以后的许多 论文中，例如 [3，5，6]，出现了一些精细的改进．他们大多数都用 ()来表示他们的表达 式，但是Kershaw[6】的一个界是 x(x+ )_。．这里，我们把注意力限制在 (1)和 (2)中 出现的简单形式的界． Artin的经典著作 [2]于 1931年出版，这是在Wendel和 Gautschi之前很久的事了． 其中 (p．14)，我们发现下述陈述： (X一1) R(x，) X 当0 Y 1时 (3) (事实上，只对整数X做了陈述)．其中的下界又是弱于 (1)，虽然这不很明显；并且在Y=1 时下界不是精确的．Artin并未把 (3)作为一个正当的结果，而只是把它作为另一定理证 明中的一个步骤来对待．也许因为这个原因，他的这个结果似乎被以后的大多数作者， 包括Wendel和 Gautschi，所忽视．事实上，这种类型的不等式 ——对 Artin和 Wendel 稍有不敬地—— 一般地被称为 G“autschi型不等式”． 译自：TheAmer．Math．Monthly，Vo1．120(2013)，No．10，p．936—940，InequalitiesforGammaFunction Ratios，G．J．O．Jameson．Copyright⑥2014theMathematicalAssociationofAmerica．Reprinted withpermission．Allrightsreserved．美国数学协会授予译文出版许可． ． 93 · Artin的方法不仅出现得更早，而且比后面作者的方法简单得多 ——事实上，我们 会看到，他的方法让结果看上去几乎是微不足道的 !所需要 r函数的性质只是恒等式 r(x+1)=xr(z)和 logr(x)的凸性．该方法适用于任何具有这些性质的函数，因此也导 致了Bohr—Mollerup定理的一个吸引人的证明，该定理说，本质上F(x)是唯一的具有这 些性质的函数，而这就是 Artin的目的． 我们不仅对区间 [0，1]中的Y，考虑R(x，Y)的界有兴趣，实际上一种满意处理的关键 (即使对于0 Y 1的情形)是考虑Y的整个值域．我们观察到，(1)，(2)和 (3)的右端都 有 ．现在通过略微改进的Artin方法，对于Y的不同的值，我们证明一个比较 R(x，Y) 与 的吸引人的简单结果．然后，我们将表明这个结果就足以概括这种类型所有的不等 式．不需要进一步的努力，