劉媛，王連堂

（西北大學(xué)數(shù)學(xué)學(xué)院，陜西 西安　710127）

兩個(gè)Gamma商函數(shù)的對(duì)數(shù)完全單調(diào)性

劉媛，王連堂

（西北大學(xué)數(shù)學(xué)學(xué)院，陜西 西安710127）

主要研究了Gamma商函數(shù)的對(duì)數(shù)完全單調(diào)性.通過(guò)引入一個(gè)新的輔助函數(shù)證明了一類Gamma商函數(shù)是嚴(yán)格對(duì)數(shù)完全單調(diào)的，對(duì)此類函數(shù)的系數(shù)進(jìn)行了推廣并證明了推廣后的這類Gamma商函數(shù)也是嚴(yán)格對(duì)數(shù)完全單調(diào)的.

Gamma函數(shù)；Psi（digamma）函數(shù)；Polygamma函數(shù)；對(duì)數(shù)完全單調(diào)性

1　引言

Gamma函數(shù)定義為：

lnΓ（x）的導(dǎo)函數(shù)稱為psi函數(shù)（digamma函數(shù)）記為ψ（x），即

ψ（x）的n階導(dǎo)函數(shù)ψ（n）（x）稱為polygamma函數(shù).

所謂Gamma商函數(shù)是指關(guān)于某些Gamma函數(shù)的商，關(guān)于Gamma商函數(shù)的完全單調(diào)性的研究是非常有意義的課題.文獻(xiàn)［1］證明了函數(shù)在區(qū)間（0，+∞）上為嚴(yán)格對(duì)數(shù)凹的.文獻(xiàn)［2］推廣了這一結(jié)果，證明了G（x）的倒數(shù)函數(shù)G-1（x）在區(qū)間（0，+∞）上是嚴(yán)格對(duì)數(shù)完全單調(diào)的.文獻(xiàn)［3］證明了函數(shù)在區(qū)間（0，+∞）上是對(duì)數(shù)完全單調(diào)的，其中m≥2是整數(shù).

對(duì)數(shù)完全單調(diào)概念的提出，為研究函數(shù)的完全單調(diào)性提供了簡(jiǎn)便的方法.本文通過(guò)引入一個(gè)新的輔助函數(shù)證明了當(dāng)m為大于1的正實(shí)數(shù)時(shí)，F(xiàn)（x）是嚴(yán)格對(duì)數(shù)完全單調(diào)的，從而推廣了文獻(xiàn)［3］中的結(jié)果.另外，也證明了關(guān)于F（x）的一個(gè)推廣的函數(shù)（即定理3.2中的h（x））是嚴(yán)格對(duì)數(shù)完全單調(diào)的.

2　定義及引理

定義 2.1［4］函數(shù)f在區(qū)間I上稱為是完全單調(diào)的，若函數(shù)f在區(qū)間I上有任意階導(dǎo)數(shù)，并且對(duì)于任意x∈I以及n=0，1，2，···，滿足（-1）nf（n）（x）≥0；若此不等式是嚴(yán)格的，則稱f是嚴(yán)格完全單調(diào)的.

定義 2.2［5］正函數(shù) f在區(qū)間 I上稱為是對(duì)數(shù)完全單調(diào)的，若對(duì)于任意 x∈I以及n=0，1，2，···，滿足（-1）n［lnf（x）］（n）≥0；若此不等式是嚴(yán)格的，則稱f是嚴(yán)格對(duì)數(shù)完全單調(diào)的.

文獻(xiàn)［5］中證明了（嚴(yán)格）對(duì)數(shù)完全單調(diào)函數(shù)一定是（嚴(yán)格）完全單調(diào)的.

引理2.1［6］當(dāng)x∈（0，+∞）時(shí)，有

引理 2.2［6］函數(shù) f（x）在區(qū)間 （0，+∞）上完全單調(diào)的充要條件是存在單調(diào)遞增的函數(shù)α（t），使得f（x）=∫∞0e-xtdα（t）.

引理 2.3［7］（Laplace變換的卷積定理）設(shè)函數(shù)fi（t）（i=1，2）在任意有限區(qū)間上是分段連續(xù)的，包括（0，+∞）.如果存在常數(shù)Mi＞0和ci≥0，有|fi（t）|≤Miecit（i=1，2），那么

3　主要定理及其證明

4　小結(jié)

文章通過(guò)引入一個(gè)新的輔助函數(shù)（即定理證明中的?（x））證明了兩類Gamma商函數(shù)的嚴(yán)格對(duì)數(shù)完全單調(diào)性，這推廣了文獻(xiàn)［3］中的結(jié)果，并且此種證明方法更加簡(jiǎn)單直接.

［1］Merkle M.On log-convexity of a ratio of gamma functions［J］.Univ.Beograd.Publ.Elektrotehn.Fak.Ser.Mat.，1997，8：114-119.

［2］Chen Chaoping.Complete monotonicity properties for a ratio of gamma functions［J］.Univ.Beograd.Publ.Elektrotehn.Fak.Ser.Mat.，2005，16：26-28.

［3］Li Aijun，Chen Chaoping.Logarithmically complete monotonicity and Shur-convexity for some ratios of gamma functions［J］.Univ.Beograd.Publ.Elektrotehn.Fak.Ser.Mat.，2006，17：88-92.

［4］Qi Feng，Guo Senlin.Complete monotonicities of functions involving the gamma and digamma functions［J］.Applied Mathematics and Computation，2004，7（1）：63-72.

［5］Qi Feng，Chen Chaoping.A complete monotonicity property of the gamma function［J］.Journal of Mathematical Analysis and Applications，2004，296（2）：603-607.

［6］Chen Chaoping，Qi Feng.Logarithmically completely monotonic functions relating to the gamma function［J］.Journal of Mathematical Analysis and Applications，2006，321（1）：405-411.

［7］Guo Senlin，Qi Feng，Srivastava H M.A class of logarithmically completely monotonic functions related to the gamma function with applications［J］.Integral Transforms and Special Functions，2012，23（8）：557-566.

［8］Necdet Batir.On some properties of digamma and polygamma functions［J］.Journal of Mathematical Analysis and Applications，2007，328（1）：452-465.

［9］Qi Feng，Christian Berg.Complete monotonicity of a difference between the exponential and trigamma functions and properties related to a modified bessel functions［J］.Mediterranean Journal of Mathematics，2013，10（4）：1685-1696.

［10］王竹溪，郭敦仁.特殊函數(shù)概論［M］.北京：北京大學(xué)出版社，2000.

Logarithmically complete monotonicity of two classes of functions for the ratio of Gamma function

Liu Yuan，Wang Liantang

（College of Mathematics，Northwest University，Xi′an710127，China）

In this article，logarithmically complete monotonicity for the ratio of gamma functions is presented.By introducing a new function，we prove that the ratio of gamma function is strictly logarithmically completely monotonic.We also prove that a generalized form of the function is strictly logarithmically completely monotonic.

Gamma function，Psi（digamma）function，Polygamma function，logarithmically complete monotonicity

O174.6

A

1008-5513（2015）03-0291-05

10.3969/j.issn.1008-5513.2015.03.010

2014-12-03.

陜西省自然科學(xué)基金（2010JM1017）.

劉媛（1990-），碩士生，研究方向：特殊函數(shù)論.

2010 MSC：26A48