American Journal of Mathematical Analysis
Volume 9, 2021 - Issue 1
Website: http://www.sciepub.com/journal/ajma

ISSN(Print): 2333-8490
ISSN(Online): 2333-8431

Article Versions

Export Article

Cite this article

- Normal Style
- MLA Style
- APA Style
- Chicago Style

Research Article

Open Access Peer-reviewed

Theophilus Agama^{ }

Received January 08, 2021; Revised February 09, 2021; Accepted February 23, 2021

The goal of this paper is to prove the identity where and where is the Gamma function defined by and is the Euler-Mascheroni constant.

The Euler-Gamma function is defined by, valid in the entire complex plane, except at where it has simple poles ^{ 1}. It can also be seen as a generalization of the factorial on the positive integers to the rationals. Indeed the Gamma function (See ^{ 1, 2}) satisfies the functional equation and

so that in the case and is a positive integer, then we have the expression The Gamma function still remains valid for arguments in the range by the equation

It also has the canonical product representation (See ^{ 3})

valid for . The gamma function also has very key properties, most notably the duplication and the complementary property (reflexive formula), which are given respectively as

and

For many more of these properties, the reader is encouraged to see ^{ 1}. The Gamma function is also inextricably linked to some very interesting functions. Consider the digamma function ^{ 1}, the logarithmic derivative of the Gamma function defined by

The Gamma funtion has spawn a great deal of research and out of which has led to the discovery of many beautiful identities and inequalities. More recently the gamma function has been studied by Alzer and many other authors. For more results on the gamma function, see ^{ 2, 3}. In this paper, however, we prove a certain identity related to the Gamma function.

**Theorem 2.1.**** ***For any **, we have *

*where*

*and*

*where ** is the Gamma function defined by ** and *

*is th**e Euler-Mascheroni constant.*

*Proof.** *Let be a real-valued function, contineously differentiable on the interval and for all . Then we set

for . In the simplest case, we choose , since it satisfies the hypothesis. Thus . By application of integration by parts, we find that

where and are convergent. More precisely, we can write in a closed form as

Now, since is analytic in the half plane , it follows by the convergence of that

On the other hand . Arranging terms and comparing both results we find that

(2.1) |

Using the following identities involving the Gamma function ^{ 1}

(2.2) |

(2.3) |

the remaining task is to arrange the terms and apply these identities and identify the function and . We leave the remaining task to the reader to verify.

*Remark 2.2.** *Now we examine some immediate conequences of the above result, in the following sequel.

**Corollary 1.** The identity

where

and

remains valid.

*Proof.** *Let us set in Theorem 2.1. Then it follows that

where we have used the relation ^{ 1}. The proof is completed by computing and given in Theorem 2.1.

**Corollary 2.** The identity

is valid, where

and

*Proof.** *The result follows by setting in Theorem 2.1, and computing and .

**Corollary 3.** For any integer , the inequality

where

and

is valid.

*Proof.* If is an integer, then Theorem 2.1 reduces to

and the result follows immediately by applying the triangle inequality.

In this paper we proved an identity related the reciprocal of the gamma function. Consequently, we obtained the following identities

where

and

and

with

and

The author declares that he has no conict of interest in relation to this article.

This article does not contain any studies with human participants or animals per-formed by the author.

[1] | Sebah, Pascal and Gourdon, Xavier, Introduction to the gamma function, American Journal of Scientific Research, 2002. | ||

In article | |||

[2] | Batir, Necdet, Bounds for the gamma function, arXiv preprint arXiv:1705.06167, 2015. | ||

In article | |||

[3] | Nantomah, Kwara and Prempeh, Edward and Twum, S. Boakye, Some inequalities for the q-Extension of the Gamma Function, arXiv preprint arXiv:1510.03459, 2015. | ||

In article | |||

Published with license by Science and Education Publishing, Copyright © 2021 Theophilus Agama

This work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Theophilus Agama. On a Certain Identity Involving the Gamma Function. *American Journal of Mathematical Analysis*. Vol. 9, No. 1, 2021, pp 1-5. http://pubs.sciepub.com/ajma/9/1/1

Agama, Theophilus. "On a Certain Identity Involving the Gamma Function." *American Journal of Mathematical Analysis* 9.1 (2021): 1-5.

Agama, T. (2021). On a Certain Identity Involving the Gamma Function. *American Journal of Mathematical Analysis*, *9*(1), 1-5.

Agama, Theophilus. "On a Certain Identity Involving the Gamma Function." *American Journal of Mathematical Analysis* 9, no. 1 (2021): 1-5.

Share

[1] | Sebah, Pascal and Gourdon, Xavier, Introduction to the gamma function, American Journal of Scientific Research, 2002. | ||

In article | |||

[2] | Batir, Necdet, Bounds for the gamma function, arXiv preprint arXiv:1705.06167, 2015. | ||

In article | |||

[3] | Nantomah, Kwara and Prempeh, Edward and Twum, S. Boakye, Some inequalities for the q-Extension of the Gamma Function, arXiv preprint arXiv:1510.03459, 2015. | ||

In article | |||