- Research
- Open Access
- Published:

# Some conditions for a class of functions to be completely monotonic

*Journal of Inequalities and Applications*
**volumeÂ 2015**, ArticleÂ number:Â 11 (2015)

## Abstract

In this article, we present a necessary condition and a necessary and sufficient condition for a class of functions to be completely monotonic.

## 1 Introduction and main results

Recall [1] that a function *f* is said to be completely monotonic on

if *f* has derivatives of all orders on \(\mathbb {R}^{+}\) and for all \(n\in \mathbb {N}_{0}:=\mathbb {N}\cup\{0\}\)

Here and throughout the paper, â„• is the set of all positive integers. The set of all completely monotonic functions on \(\mathbb {R}^{+}\) is denoted by \(CM(\mathbb {R}^{+})\).

Bernstein [2] proved that a function *f* on the interval \(\mathbb{R}^{+}\) is completely monotonic if and only if there exists an increasing function \(\alpha(t)\) on \([0,\infty)\) such that

Also recall [3] that a positive function *f* is said to be logarithmically completely monotonic on \(\mathbb {R}^{+}\) if *f* has derivatives of all orders on \(\mathbb {R}^{+}\) and for all \(n\in \mathbb {N}\)

The class of all logarithmically completely monotonic functions on \(\mathbb {R}^{+}\) is denoted by \(LCM(\mathbb {R}^{+})\).

It was proved [4] that a logarithmically completely monotonic function is also completely monotonic.

There is a rich literature on completely monotonic, logarithmically completely monotonic functions and their applications. For more recent work, see, for example, [5â€“28].

The Euler gamma function is defined and denoted for \(\operatorname {Re}z>0\) by

The logarithmic derivative of \(\Gamma(z)\), denoted by

is called the psi or digamma function, and the \(\psi^{(k)}\) for \(k\in \mathbb {N}\) are called the polygamma functions.

In this article, we give two necessary conditions and a necessary and sufficient condition for a class of functions

where \(a,c\in \mathbb {R}\), \(b \ge0\) are parameters, to be completely monotonic. The main results are as follows.

### Theorem 1

*A necessary condition for the function*
\(f_{a,b,c}(x)\)
*to be completely monotonic on the interval*
\((0, \infty)\)
*is that*

*and*

### Corollary 1

*A necessary condition for the function*
\(f_{a,b,c}(x)\)
*to be completely monotonic on the interval*
\((0, \infty)\)
*is that*

### Theorem 2

*For*

*a necessary and sufficient condition for the function*
\(f_{a,b,c}(x)\)
*to be completely monotonic on the interval*
\((0, \infty)\)
*is that*

*and*

## 2 Lemmas

We need the following lemmas to prove our main results.

Let the *Î±* be real parameters, *Î²* a non-negative parameter. Define

### Lemma 1

(see [11])

*If*

*then either*

*or*

### Lemma 2

(see [7])

*Let*

*If*

*then*

## 3 Proof of the main results

### Proof of Theorem 1

If

then

and \(f_{a,b,c}(x)\) is decreasing on \(\mathbb {R}^{+}\).

It is well known that (see [29, p.47])

Hence

Since

from (11) we have

On the other hand, since \(f_{a,b,c}(x)\) is decreasing on \(\mathbb {R}^{+}\), from (10), we obtain

where, in (14), *Ï„* is a fixed number in \(\mathbb {R}^{+}\).

Equation (14) is equivalent to

It is easy to see that

Then from (15) we have

From (8), (10), and (18), we obtain

Since

from (19) we have

We note that

If

we can verify that

By Lemma 1, if

then

which contradicts (18); if

by Lemma 1, we get

which is another contradiction to (18). So we have proved that

The proof of Theorem 1 is thus completed.â€ƒâ–¡

### Proof of Corollary 1

This follows from (2) and (3).

The proof of Corollary 1 is completed.â€ƒâ–¡

### Proof of Theorem 2

By Theorem 1, the condition is necessary.

On the other hand, by Lemma 2, we see that

Then from (22), we have, for \(n\in \mathbb {N}\),

In particular,

Hence \(f_{a,b,c}(x)\) is decreasing on \(\mathbb {R}^{+}\).

By (9),

If

and

from (28), we obtain

Therefore

which means that (26) is also valid for \(n=0\). Hence we have proved that

The proof of Theorem 2 is hence completed.â€ƒâ–¡

## References

Bernstein, S: Sur la dÃ©finition et les propriÃ©tÃ©s des fonctions analytiques dâ€™une variable rÃ©elle. Math. Ann.

**75**, 449-468 (1914)Bernstein, S: Sur les fonctions absolument monotones. Acta Math.

**51**, 1-66 (1928)Atanassov, RD, Tsoukrovski, UV: Some properties of a class of logarithmically completely monotonic functions. C. R. Acad. Bulgare Sci.

**41**, 21-23 (1988)Horn, RA: On infinitely divisible matrices, kernels, and functions. Z. Wahrscheinlichkeitstheor. Verw. Geb.

**8**, 219-230 (1967)Guo, B-N, Qi, F: A class of completely monotonic functions involving divided differences of the psi and tri-gamma functions and some applications. J. Korean Math. Soc.

**48**, 655-667 (2011)Guo, S: A class of logarithmically completely monotonic functions and their applications. J. Appl. Math.

**2014**, 757462 (2014)Guo, S: Logarithmically completely monotonic functions and applications. Appl. Math. Comput.

**221**, 169-176 (2013)Guo, S: Some properties of completely monotonic sequences and related interpolation. Appl. Math. Comput.

**219**, 4958-4962 (2013)Guo, S, Laforgia, A, Batir, N, Luo, Q-M: Completely monotonic and related functions: their applications. J. Appl. Math.

**2014**, 768516 (2014)Guo, S, Qi, F: A class of logarithmically completely monotonic functions associated with the gamma function. J.Â Comput. Appl. Math.

**224**, 127-132 (2009)Guo, S, Qi, F, Srivastava, HM: A class of logarithmically completely monotonic functions related to the gamma function with applications. Integral Transforms Spec. Funct.

**23**, 557-566 (2012)Guo, S, Qi, F, Srivastava, HM: Supplements to a class of logarithmically completely monotonic functions associated with the gamma function. Appl. Math. Comput.

**197**, 768-774 (2008)Guo, S, Qi, F, Srivastava, HM: Necessary and sufficient conditions for two classes of functions to be logarithmically completely monotonic. Integral Transforms Spec. Funct.

**18**, 819-826 (2007)Guo, S, Srivastava, HM: A certain function class related to the class of logarithmically completely monotonic functions. Math. Comput. Model.

**49**, 2073-2079 (2009)Guo, S, Srivastava, HM: A class of logarithmically completely monotonic functions. Appl. Math. Lett.

**21**, 1134-1141 (2008)Guo, S, Srivastava, HM, Batir, N: A certain class of completely monotonic sequences. Adv. Differ. Equ.

**2013**, 294 (2013)Guo, S, Srivastava, HM, Cheung, WS: Some properties of functions related to certain classes of completely monotonic functions and logarithmically completely monotonic functions. Filomat

**28**, 821-828 (2014)Krasniqi, VB, Srivastava, HM, Dragomir, SS: Some complete monotonicity properties for the \((p,q)\)-gamma function. Appl. Math. Comput.

**219**, 10538-10547 (2013)Mortici, C: Completely monotone functions and the Wallis ratio. Appl. Math. Lett.

**25**, 717-722 (2012)Qi, F, Luo, Q-M: Bounds for the ratio of two gamma functions - from Wendelâ€™s and related inequalities to logarithmically completely monotonic functions. Banach J. Math. Anal.

**6**, 132-158 (2012)Qi, F, Luo, Q-M, Guo, B-N: Complete monotonicity of a function involving the divided difference of digamma functions. Sci. China Math.

**56**, 2315-2325 (2013)Salem, A: An infinite class of completely monotonic functions involving the

*q*-gamma function. J. Math. Anal. Appl.**406**, 392-399 (2013)Salem, A: A completely monotonic function involving

*q*-gamma and*q*-digamma functions. J. Approx. Theory**164**, 971-980 (2012)Sevli, H, Batir, N: Complete monotonicity results for some functions involving the gamma and polygamma functions. Math. Comput. Model.

**53**, 1771-1775 (2011)Shemyakova, E, Khashin, SI, Jeffrey, DJ: A conjecture concerning a completely monotonic function. Comput. Math. Appl.

**60**, 1360-1363 (2010)Wei, C-F, Guo, B-N: Complete monotonicity of functions connected with the exponential function and derivatives. Abstr. Appl. Anal.

**2014**, 851213 (2014)Yang, S: Absolutely (completely) monotonic functions and Jordan-type inequalities. Appl. Math. Lett.

**25**, 571-574 (2012)Srivastava, HM, Guo, S, Qi, F: Some properties of a class of functions related to completely monotonic functions. Comput. Math. Appl.

**64**, 1649-1654 (2012)ErdÃ©lyi, A (ed.): Higher Transcendental Functions, vol.Â 1. McGraw-Hill, New York (1953)

## Acknowledgements

The author thanks the editor and the referees for their valuable suggestions to improve the quality of this paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The author declares that he has no competing interests.

## Rights and permissions

**Open Access** This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

## About this article

### Cite this article

Guo, S. Some conditions for a class of functions to be completely monotonic.
*J Inequal Appl* **2015**, 11 (2015). https://doi.org/10.1186/s13660-014-0534-y

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-014-0534-y

### MSC

- 34A40
- 26D10
- 26A48

### Keywords

- necessary condition
- necessary and sufficient condition
- completely monotonic function
- gamma function