Next Article in Journal
On the Fredholm Property of the Trace Operators Associated with the Elastic Layer Potentials
Next Article in Special Issue
Families of Integrals of Polylogarithmic Functions
Previous Article in Journal
Fixed Point Results for Multi-Valued Contractions in b−Metric Spaces and an Application
Previous Article in Special Issue
A Further Extension for Ramanujan’s Beta Integral and Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A New Representation of the k-Gamma Functions

College of Computer and Information Sciences, Majmaah University, Majmaah 11952, Saudi Arabia
Mathematics 2019, 7(2), 133; https://doi.org/10.3390/math7020133
Submission received: 8 December 2018 / Revised: 16 January 2019 / Accepted: 19 January 2019 / Published: 1 February 2019
(This article belongs to the Special Issue Special Functions and Applications)

Abstract

:
The products of the form z ( z + l ) ( z + 2 l ) ( z + ( k 1 ) l ) are of interest for a wide-ranging audience. In particular, they frequently arise in diverse situations, such as computation of Feynman integrals, combinatory of creation, annihilation operators and in fractional calculus. These expressions can be successfully applied for stated applications by using a mathematical notion of k-gamma functions. In this paper, we develop a new series representation of k-gamma functions in terms of delta functions. It led to a novel extension of the applicability of k-gamma functions that introduced them as distributions defined for a specific set of functions.

1. Introduction

Diaz and Pariguan [1] introduced and investigated k-gamma functions when they were evaluating Feynman integrals. These integrals are of fundamental significance in high-energy physics because they offer a general integral representation of the involved functions [2]. Since then, k-gamma functions have emerged with diverse effects on mathematics and applications. Karwowski and Witek [3] have used such functions while solving the Schrodinger equation for harmonium and related models in view of important applications in quantum chemistry. The measure-theoretic and combinatorial versions for the k-increasing factorial numbers that appear as an illustration and the combinatorics of the Pochhammer k-symbol has appealed extensively in the collected works. For example, Lackner and Lackner [4] have used k-gamma functions for combinatorial analysis in view of important applications in statistics. Such applications of different forms of k-gamma functions have put away the prominent concern, and several papers have subsequently been offered involving the analysis of k-gamma functions. For modeling real-life problems, the role of fractional calculus [5] is vibrant. It is remarkable that k-gamma functions and related k-Pochhammer symbols are more the functions of the fractional calculus. For example, Agarwal et al [6] have solved fractional kinetic equations comprising of k-Mittag-Leffler functions. Set et al. have used the analogue to the Riemann-Liouville singular kernel at k-calculus in [7]. For more comprehensive and detailed studies of related works, I refer the interested reader to [1,2,3,4,5,6,7,8,9,10,11,12,13,14] and associated references therein. The literature review for k-gamma functions motivates us to state “on the one hand k-gamma functions excited to mathematician for the analysis of mathematical concepts in a new way and on the other applications of these functions in diverse problems are fundamental”.
By taking inspiration from the above discussion, in our current investigation, we acquire a new representation for the k-gamma functions in terms of complex delta functions by following the methodology of Chaudhry & Qadir [15], Tassaddiq & Qadir [16,17], Tassaddiq [18], Lail & Qadir [19], Tassaddiq et al [20] and Tassaddiq [21,22]. In these articles [15,16,17,18,19,20,21,22], the authors have investigated new representations for gamma, generalized gamma, Hypergeometric functions, extended Fermi-Dirac and Bose-Einstein functions and λ-generalized Hurwitz-Lerch zeta functions, respectively. Such investigations are significant for providing considerable and inventive identities for such higher transcendental functions. It offers an analytical skill to evaluate different integrals that are not found in the literature see for example [23,24].
To comprehend the results of this paper, some fundamental mathematical notions about k-gamma and test function space are outlined in Section 2. These are stated in Section 2.1 and Section 2.2, respectively. The remaining paper is organized as: Our main results about k-gamma functions in the form of a series of delta functions are given in Section 3.1. A discussion about the behavior and applications of the new series is provided in Section 3.2. The cogency of the results is discussed in Section 3.4. This investigation is concluded in Section 4 by highlighting the future directions about the further new results.

2. Materials and Methods

2.1. k-Gamma Functions

Thinking through the usual notations,
N : = { 1 ,   2 ,   } ; N 0 : = N { 0 } ; Z : = { 1 , 2 , } ; Z 0 : = Z { 0 } ,
The set of negative integers is denoted by Z , the set of real is denoted by R , positive real by R + , and complex numbers by C in this article.
The extension of factorial from natural to complex numbers in the form of gamma function was investigated by Euler (1707–1783). Now, it is a commonly used function and can be represented in the form of integral [25] as follows:
Γ ( z ) = 0 t z 1 e t d t ;   ( z ) > 0 .
The focus point of this paper, namely k-gamma function, is an extension for the Euler gamma function:
Γ k ( z ) = 0 t z 1 e t k k d t ( k R ) ,
which is introduced and defined by Dıaz and Pariguan [1] in 2007. For k = 1 , it reduces to original gamma function Γ 1 ( z ) = Γ ( z ) and for k = 2 , it reduces to an integral of Gaussian functions:
Γ 2 ( z ) = 0 t z 1 e t 2 2 d t
That appears in many applications [12]. By making a substitution u = t k k in the above Equation (3), we can find the relation Γ k ( z ) = k z k 1 Γ ( z k ) and all the known properties of gamma functions can be generalized for k-gamma functions.
The shifted factorial ( λ ) ρ namely Pochhammer symbols are defined in the relationship of the elementary gamma function and are given as:
( λ ) ρ = Γ ( λ + ρ ) Γ ( λ ) = { 1   ( ρ = 0 , λ C ) λ ( λ + 1 ) ( λ + k 1 )   ( ρ = k ; λ \ { 0 } ) ,
The commonly occurring products z ( z + l ) ( z + 2 l ) ( z + ( k 1 ) l ) naturally provide k-Pochammar symbols ( α ) κ , n defined as:
( λ ) κ , ρ = Γ k ( λ + κ ρ ) Γ k ( λ ) .
Several authors studied the properties and applications of these k-gamma functions. It also led to several new results for gamma functions. Some of these are stated here [1]:
Γ k ( k ) = 1 ( z ) n , k = Γ k ( z + n k ) Γ k ( z ) Γ k ( z + k ) = z Γ k ( z ) Γ k ( z + k ) = z Γ k ( z ) Γ k ( z ) Γ k ( k z ) = π sin π z k Γ k ( x p + y q ) ( Γ k ( x ) ) 1 p   ( Γ k ( x ) ) 1 q   x , y R ; 1 < p < ; 1 p + 1 q = 1 }
For more such properties of k-gamma and related functions, we refer the reader to [1,2,3,4,5,6,7,8,9,10,11,12,13,14] and related bibliography therein. The subsequent Section 2.2 is taken from author work [22].

2.2. Distributions and Test Functions

Generalized functions (or distributions) are the components of the dual space of test functions space. The appraisal of these functions is substantial since they also comprise of singular functions. So, they can be defined, differentiated and integrated similar to functions. A famous example of a singular distribution is a delta function that satisfy:
δ ( z ω ) ,   Λ ( z ) = Λ ( ω )   ( Λ     D ,   ω   R ) ,
And for a non-zero ω , δ ( z ) = δ ( z ) ; δ ( ω z ) = δ ( z ) | ω | .
Gelfand and Shilov [26] delivered an abundant exposition for generalized functions. The frequently used spaces of test functions are the spaces of compact support functions denoted by D , and the space of rapidly decaying functions denoted by S , that also have derivatives of all orders. The spaces D and S are the dual spaces of D and S . Spaces S and S are closed under the Fourier transform, but D and D are not. The Fourier transform of the elements of D are continuous linear functionals acting on the elements of Z that comprise of entire functions such that their Fourier transforms are in D [27]. The entire function Λ Z does not vanish on some interval ω 1 < z < ω 2 , but vanishes universally. Accordingly:
Z S S Z ; D Z 0 ; D S S D .
The elements of Z consist of entire analytic functions satisfying the following set of inequalities:
| z p Λ ( z ) | C p e η | θ | ; ( p = 0 , 1 , 2 , . )
where the constants η and C p may depend on Λ . The Fourier transform of exponential function is
F [ e α t ; θ ] = 2 π δ ( θ i α )
As an example of distribution that is an element of Z and for g Z
g ( z + b ) = i = 0 g ( i ) ( z ) b i i ! .
So that we have the following basic identity:
δ ( z + b ) = i = 0 δ ( i ) ( z ) b i i ! ; δ ( i ) ( z ) , Λ ( z ) = ( 1 ) r Λ ( i ) ( 0 ) .
δ ( ω 1 z ) δ ( z ω 2 ) = δ ( ω 1 ω 2 ) .
The elementary functions like Sine, Cosine, Hyperbolic Sine and Cosine are some examples of distributions in D whose Fourier transforms being delta function are in Z . For an additional extensive study of these spaces, we refer the reader to [26,27,28,29] and the related bibliography therein.
During this research, conditions on the parameters will be considered standard as given in this section unless otherwise stated.

3. Results

3.1. New Series Representation of the k-Gamma Functions

In mathematics, generalized functions or distributions are objects extending the notion of functions. These are the general form of the conventional function. The k-gamma function is a conventional function. For which we find a series of delta functions. The delta functions are generalized functions that are meaningful only when defined as an inner product with a suitable function (as discussed in detail in Section 2.2). In this section, we will compute our results using conventional methods but how they can be applied rigorously in the sense of distributions will be discussed in the next section.
Theorem 1.
The k-gamma functions have the following representation.
Γ k ( z ) = 2 π n = 0 ( 1 k ) n n !   δ ( θ i ( ν + nk ) ) .
Proof. 
Let us first replace t = e x and z = ν + i θ in Equation (3) then we get:
Γ k ( z ) = e x ( ν + i θ ) exp ( e kx k ) d x ,           ( k R ) .
Now writing the series form of the exponential function:
e x p ( e kx k ) = n = 0 ( e kx k ) n n !
And then collecting and expanding the exponential terms:
Γ k ( z ) = e x ( ν + i θ ) n = 0 ( e kx k ) n n ! d x ,           ( k R ) ,
We get:
Γ k ( z ) = n = 0 ( 1 k ) n n ! e ix θ e ( ν + nk ) x dx .
We can interchange the operations of integration and summation because of uniform convergence of the integral. By means of Equation (11), we find:
e i θ x e ( ν + nk ) x dx = F [ e ( ν + nk ) x ; θ ] = 2 π δ ( θ i ( ν + nk ) )
These Equalities (19)–(20) combined together produces the result (15) as mentioned above. □
Remark 1.
One can develop equivalent outcomes for supplementary related functions, in the form of following corollaries.
Corollary 1.
k-Gamma functions have the subsequent demonstration:
Γ k ( z ) = 2 π n , r = 0 ( 1 k ) n n ! ( i ( ν + nk ) ) r r ! δ ( r ) ( θ ) .  
Proof. 
This is achieved by considering and combining Equations (13) and (15) as follows:
δ ( θ i ( ν + nk ) ) = r = 0 δ ( r ) ( z ) ( i ( ν + nk ) ) r r ! ;   δ ( r ) ( z ) , Λ ( z ) = ( 1 ) r Λ ( r ) ( 0 )
Now using this modified form in (15), we get the required result. □
Corollary 2.
k-Gamma functions have the subsequent demonstration:
Γ k ( z ) = 2 π n = 0 ( 1 k ) n n !   δ ( z + nk ) .
Proof. 
This follows by a simple modification of (20) as follows:
e ix θ e ( ν + nk ) x d x = F   [ e ( ν + nk ) x ; θ ] = 2 π δ ( θ i ( ν + nk ) ) = 2 π δ [ 1 i ( i θ + ( ν + nk ) ) ] = 2 π | i | δ ( ν + i θ + nk ) = 2 π δ ( z + nk ) .
Now using this modified form in (15), we get the required result. □
Corollary 3.
k-Gamma functions have the subsequent demonstration:
Γ k ( z ) = 2 π n , r = 0 ( 1 k ) n n ! ( nk ) r r ! δ ( r ) ( z ) .
Proof. 
This is achieved by considering Equation (13).
δ ( z + nk ) = r = 0 ( nk ) r r ! δ ( r ) ( z ) ;     δ ( r ) ( z ) , Λ ( z ) = ( 1 ) r Λ ( r ) ( 0 ) .
and combining the result with (23). □
Corollary 4.
Gamma functions have the following representation ([1], p. 2092, Equation (2.7))
Γ ( z ) = Γ 1 ( z ) = 2 π n = 0 ( 1 ) n n ! δ ( θ   i ( ν + n ) ) .
Proof. 
The result follows simply by replacing k = 1 in Equation (15). □
Corollary 5.
Gamma functions have the following representation:
Γ ( z ) = 2 π n , r = 0 ( 1 ) n n ! ( i ( ν + n ) ) r r ! δ ( r ) ( θ ) .
Proof. 
The result follows simply by replacing k = 1 in Equation (21). □
Corollary 6.
Gamma functions have the following representation:
Γ ( z ) = 2 π n = 0 ( 1 ) n n !   δ ( z + n ) .  
Proof. 
The result follows simply by replacing k = 1 in Equation (23). □
Corollary 7.
Gamma functions have the following representation:
Γ ( z ) = 2 π n , r = 0 ( 1 ) n n ! n r r ! δ ( r ) ( z ) .
Proof. 
The result follows simply by replacing k = 1 in Equation (25). □
Note that we have acquired a series in terms of Dirac delta functions that are only significant in the sense of distributions once defined as an inner product with some appropriate function. For a simple observation, multiply Equation (29) with 1 Γ ( z ) in a conventional way.
1 = 2 π n = 0 ( 1 ) n n ! δ ( z + n ) Γ ( z ) .
Note that, at z = n , the singularities of delta function are canceled by the zeros of the reciprocal gamma function in the involved product lim z n δ ( z + n ) Γ ( z ) = lim z n 1 z + n 1 z + n = lim z n z + n z + n = 1 . Therefore, by using the basic definition of delta function:
δ ( t ) = { ( t = 0 ) 0 ( t 0 ) ,
In Equation (31), we obtain:
1 = { 2 π e ; z = n 0 ; z \ { n }    
That is an apparent inconsistency.
For the moment, if we think through the inner product
Γ ( z ) , 1 Γ ( z ) = 2 π n = 0 ( 1 ) n n ! δ ( z + n ) , 1 Γ ( z )
We get
z   1   d z = 2 π n = 0 ( 1 ) n n ! Γ ( n )  
Since 1 Γ ( n ) = 0 , n = 0 , 1 , 2 , so we get from Equation (35)
z   1   d z = 0
z   1   d z = + 1 d z = 0
= 0
And again, an apparent inconsistency. So, we should be precise in choosing a space of functions to consider the convergence of this series representation.

3.2. Convergence and Applications of New Representation

The representation of the k -gamma functions Γ k ( z ) is achieved as an infinite sum of delta functions that is definite if it converges in the distributional sense. Hence, it is interesting to prove that a series of delta functions are distributions (generalized functions) on the space Z as illustrated in the following theorem.
Theorem 2.
Show that k-gamma function is defined as a distribution for space Z .
Proof. 
Consider the following combination for arbitrary Λ 1 ( z ) , Λ 2 ( z ) Z and c 1 , c 2 C .
Γ k ( z ) , c 1 Λ 1 ( z ) + c 2 Λ 2 ( z ) = 2 π n = 0 ( 1 k ) n n ! δ ( z + kn ) , c 1 Λ 1 ( z ) + c 2 Λ 2 ( z ) .
Γ k ( z ) , c 1 Λ 1 ( z ) + c 2 Λ 2 ( z ) = c 1 Γ k ( z ) , Λ 1 ( z ) + c 2 Γ k ( z ) , Λ 2 ( z ) .
Next, consider any sequence Z { Λ μ } μ = 1 0 and the fact that δ ( z ) is continuous over Z we can assert that { δ ( z + kn ) , Λ μ } μ = 1 0 .
{ Γ k ( z ) , Λ μ ( z ) } μ = 1 = 2 π n = 0 ( 1 k ) n n ! { δ ( z + kn ) , Λ μ ( z ) } μ = 1
converges to zero. Hence, k-gamma function is a generalized function over Z in view of the convergence of series representation (15) as follows:
Γ k ( z ) , Λ ( z ) = 2 π n = 0 ( 1 k ) n n ! δ ( z + nk ) , Λ ( z ) ;   ( Λ ( z ) Ζ ) = 2 π n = 0 ( 1 k ) n n !   Λ ( nk ) ,
where we have used the shifting property of delta functions:
δ ( z + nk ) , Λ ( z ) = Λ ( nk ) ,
which being the elements of space Z are slowly increasing (bounded by a polynomial) test functions and note that sum over the coefficients is:
s u m   o v e r   t h e   c o e f f i c i e n t s = n = 0 ( 1 k ) n n ! = exp ( 1 k ) .
This sum is finite and well defined. So from Equation (42), it is evident that Γ k ( z ) , Λ ( z ) being a product of a rapidly decreasing and slowly increasing function is convergent, for Λ ( z ) Ζ . It can also be verified in view of well-known Abel theorem to check the behavior of series. It indicates the same statement for other specific cases as presented in Equations (21)–(29). □
In this investigation, the convergence is shown for the functions of slow growth; nevertheless, it can be perceived that the series converges for a wider space of functions. Therefore, for Λ ( z ) Ζ the investigated sum is finite, but if this sum is finite, then Λ ( z ) may be an element of some wider domain where delta function is defined.
Subsequently, by means of this acquired representation of Γ k ( z ) we establish some integral identities and validate these identities by making use of standard Fourier transform in the ensuing section. Initially, we thought through a simple example of particular test functions
Λ ( z ) = τ z ξ ( ξ > 0 ; z C )
Given this Equation (15) and shifting characteristic of delta functions, the product Λ ( z ) , Γ k ( z ) is given by the following identity:
z τ z ξ Γ k ( z ) d z = 2 π n = 0 ( 1 k ) n n ! τ nk ξ = 2 π n = 0 ( τ k ξ k ) n n ! = 2 π e x p ( τ k ξ k )
Likewise, in view of the acquired representations (21)–(29), we get the following new results as a particular case of (45) with k = 1:
z τ z ξ Γ ( z ) dz = 2 π n = 0 ( 1 ) n n ! τ n ξ = 2 π n = 0 ( τ ξ ) n n ! = 2 π exp ( τ ξ )
Remark 2.
Series of delta functions also occur as an electromotive force in different engineering problems. It can be noted that any sequence of delta functions { δ ( s + nk ) } n = 0 multiplied by 2 π exp ( 1 k ) results in k-gamma functions and for k = 1 , similar result is true for gamma functions.
Remark 3.
The gamma functions has a classical representation ([30], p. 2)
Γ ( z ) = 2 π n = 0 ( 1 ) n n !   1 z + n ,
which demonstrates that gamma function has poles at negative integers z = n ; n = 0 , 1 , 2 , 3 , . and the sum over the residues of these poles is n = 0 ( 1 ) n n ! . Now if we compare this representation with (29), then the result can be interpreted in the same way.
Remark 4.
Similarly, the k-gamma functions has a classical representation:
Γ k ( z ) = 2 π n = 0 ( 1 k ) n n ! 1 z + nk ,
which demonstrates that k-gamma function has poles at negative integers z = n k ; n k = 0 , 1 , 2 , 3 , . and sum over the residues of these poles is n = 0 ( 1 k ) n n ! . Now if we compare this representation with our new representation (23), then the result can be interpreted in the same way.
These outcomes provide additional understanding of more results, for example specifying τ = e 1 in Equation (45), we get Laplace transform of Γ k ( z ) . Formerly, we need to take account of the stability of these results as a part of the next section.

3.3. Verification of the Results Obtained by New Representation

Central inspiration for this part is to validate the stability of the results achieved by new demonstration with the standard Fourier transform.
By specifying t = e x and z = ν + i ξ in Equation (3), the k-gamma functions have a Fourier transform representation as follows:
Γ k ( ν + i θ ) = 2 π F [ e ν x exp ( e kx k ) ; ξ ]   ( k R ) ,
And considering k = 1 , we develop:
Γ ( ν + i θ ) = 2 π F [ e ν x exp ( e x ) ; θ ]  
The dual characteristics of the Fourier transform of any function u ( t ) , is given as
F [ 2 π F [ u ( t ) ; θ ] ; ξ ] = 2 π u ( ξ ) .  
Therefore, an application of this characteristic to the above Equations (49)–(50), leads to the following result:
F { Γ k ( ν + i θ ) ; ξ } =   F [ 2 π F [ e ν x exp ( e kx k ) ] ; ξ ] = f ( ξ ) = 2 π e ν ξ e x p ( e k ξ k ) ,
Equivalently,
+ e i θ ξ Γ k ( ν + i θ ) d θ = 2 π e ν ξ e x p ( e k ξ k ) ,
That can be obtained as a particular case of our key result (45) by specifying τ = e ; z = ν + i θ . This discussion illustrates that the consequences of our new demonstration are reliable with the well-established results. Moreover, by specifying ξ = 0 in this identity namely (52), we develop the subsequent expression:
+ Γ k ( ν + i θ ) d θ = 2 π e x p ( 1 k )
That can be obtained as a particular case of our key result (45). It confirms that our general representation yield new results that cannot be achieved by existing procedures nevertheless particular cases of these new results are reliable with the results obtained by existing methods. Similarly, by considering k = 1 in the above equations, we can get the following integrals of gamma functions. We can observe that identities found in our investigation are novel and innovative while preserving the consistency for special cases obtained by well-studied Fourier transform methods.
+ e i θ ξ Γ 1 ( ν + i θ ) d θ = + e i θ ξ Γ ( ν + i θ ) d θ = 2 π e ν ξ e ,
+ Γ ( ν + i θ ) d θ = 2 π e .
To approve the stability of these new identities, one can observe that the identities (52)–(55) can be produced as particular forms of the Equation (45) for τ = e , z = ν + i θ and vice versa. These results (54–55) are direct to achieve by means of a simple element of Fourier transform and consequently, at this point, to check the solidity of new demonstration it comes to be more significant.
Remark 5.
In light of remark 3 and 4, it can be observed that all of the integrals obtained in this investigation only contribute some of the residues for the involved singularities of the corresponding integrand. It also verifies the important result of the integration theory.
By means of Parseval’s characteristics of Fourier transform for the representation given by Equation (49), one can apply the following integral formulae:
For k-gamma functions Γ k ( z ) ,
+ Γ k ( ν + i θ ) Γ k ( μ + i θ ) ¯ d θ =   2 π 0 t ν + μ 1 e 2 t k k d t = π 2 1 ( ν + μ ) k Γ k ( ν + μ )
And k = 1 leads to the following known result ([16], p. 2092, Equation (3.2))
+ Γ ( ν + i θ ) Γ ( μ + i θ ) ¯ d θ =   2 π 0 t ν + μ 1 e 2 t d t = π 2 1 ν μ Γ ( ν + μ ) .
Taking ν = μ , we get:
+ | Γ k ( ν + i θ ) | 2 d τ = 2 π 0 t 2 ν 1 e 2 t k k d t = π 2 1 2 ν k Γ k ( 2 ν ) ,
+ | Γ ( ν + i θ ) | 2 d τ = 0 t 2 ν 1 e 2 t d t = π 2 1 2 ν Γ ( 2 ν ) .

3.4. Further Distributional Properties of k-Gamma Function

Taking inspiration from ([[27]], Chapter 7), here we enlist some properties of k-gamma functions in the form of a theorem.
Theorem 3.
For an arbitrary test function Λ ( z ) Z , k-gamma functions do satisfy the following charactristics in the sense of distributions:
1. 
Γ k ( z ) , Λ 1 ( z ) + Λ 2 ( z ) = Γ k ( z ) , Λ 1 ( z ) + Γ k ( z ) , Λ 2 ( z ) ,
2. 
c 1 Γ k ( z ) , Λ ( z ) = Γ k ( z ) , c 1 Λ ( z ) ,
3. 
Γ k ( z γ ) , Λ ( s ) = Γ k ( s ) , Λ ( s + γ ) ,
4. 
Γ k ( c 1 z ) , Λ ( z ) = Γ k ( z ) , 1 c 1 Λ ( z c 1 ) ,
5. 
Γ k ( c 1 z γ ) , Λ ( z ) = Γ k ( z ) , 1 c 1 Λ ( z c 1 + γ )
6. 
For a regular distrbution ψ ( z ) , ψ ( z ) Γ k ( z ) Z is a continuous linear functional over Z .
7. 
Γ k ( z + 1 ) = z Γ k ( z )   iff   Λ ( z 1 ) = z Λ ( z )   where   Λ Z
8. 
Γ k ( m ) ( z ) , Λ ( z ) = n = 0 ( 1 k ) n n ! ( 1 ) m Λ ( m ) ( n )
9. 
Γ k ( c 1 z ) Γ k ( z c 2 ) = ( 2 π e ) 2 δ ( c 1 c 2 ) , Λ ( z ) Z .
10. 
F [ Γ k ( z ) ] , Λ ( z ) = Γ k ( z ) , F [ Λ ] ( z )
11. 
F [ Γ k ( z ) ] , F [ Λ ( z ) ] = 2 π Γ k ( t ) , Λ ( t )
12. 
Γ k ( z ) ¯ , F [ Λ ( z ) ] = 2 π Γ k ( t ) , Λ t ( t ) , where Λ ( t ) ¯ = Λ t ( t )
13. 
F [ Γ k ( z ) ] , F [ Λ ( z ) ] ¯ = 2 π Γ k ( t ) , Λ t ( t )
14. 
F [ Γ k ( z ) ] ¯ , F [ Λ ( z ) ] ¯ = 2 π F [ Γ k ( z ) ] , F [ Λ ( z ) ]
15. 
F [ Γ k ( m ) ( z ) ] = [ ( it ) m Γ k ( z ) ]
16. 
Γ k ( z + c 1 ) = n = 0 ( c 1 ) n n ! Γ k ( n ) ( z )
where c 1 ,   γ and c 2 are arbitrary real or complex constants.
Proof. 
The proof of the above results (1–6) is straightforward in view of the characteristics of delta function and the methodology of Theorem 2. Below we prove result 7. By making use of Equation (13), we find:
Γ k m ( z ) , Λ ( z ) = n = 0 ( 1 k ) n n ! ( 1 ) m Λ m ( n ) ,
which is convergent being a product of rapidly decreasing and slowly increasing functions. Next we prove result 8. By using Equation (62), we get
Γ k ( z + 1 ) , Λ ( z ) = Γ k ( z ) , Λ ( z 1 ) , z Γ k ( z ) , Λ ( z ) = Γ k ( z ) , Λ ( z 1 ) , Γ k ( z ) , z Λ ( z ) = Γ k ( z ) , Λ ( z 1 ) ,
as required. Next, by making use of Equation (15), we obtain result 9 in the next line Γ k ( ω 1 z ) Γ k ( z ω 2 ) , Λ ( z ) = ( 2 π n = 0 ( 1 k ) n n ! ) 2 δ ( ω 1 ω 2 ) , Λ ( z ) = ( 2 π e ) 2 δ ( ω 1 ω 2 ) , Λ ( z ) .
The results (10–15) are also straightforward by using the characteristics of delta function for the Fourier transformation. First, we consider proving result 10.
F [ Γ k ( z ) ] , Λ ( z ) = 2 π n = 0 ( 1 k ) n n ! F [ δ ( z + kn ) ] , Λ ( z ) , = 2 π n = 0 ( 1 k ) n n ! δ ( z + kn ) , F [ Λ ( z ) ] , = Γ k ( z ) , F [ Λ ( z ) ] .
Similarly, result 11 is proven in the next line
F [ Γ k ( z ) ] , Λ ( z ) = 2 π F [ Γ k ( z ) ] , F [ Λ ( s ) ] = 2 π Γ k ( t ) , Λ ( t ) = 2 π Γ k ( t ) , Λ t ( t ) ,
and result 12 is as follows
Γ k ( z ) ¯ , F [ Λ ( s ) ] = 2 π F [ Γ k ( z ) ] , F [ Λ ( s ) ] ¯ = 2 π F [ Γ k ( z ) ] , Λ ( t ) ¯ = 2 π Γ k ( t ) , Λ t ( t ) ,
where Λ t denotes the transpose of test function Λ . The above result 13 follows F [ Γ k ( z ) ] , F [ Λ ( z ) ] ¯ = 2 π F [ Γ k ( z ) ] , Λ ( t ) ¯ = 2 π Γ k ( t ) , Λ t ( t ) and result 14 is proven as
F [ Γ k ( z ) ] ¯ , F [ Λ ( s ) ] ¯ = 2 π F [ Γ k ( z ) ] , F [ Λ ( s ) ] ¯ ¯ = 2 π F [ Γ k ( z ) ] , F [ Λ ( s ) ] ,
where we have considered the Parseval’s identity of Fourier transformation. To prove the next result 15, we get
Γ k ( 1 ) ( z ) , Λ ( z ) = F [ Γ k ( z ) ] , Λ ( 1 ) ( z ) = F [ Γ k ( 1 ) ( z ) ] , Λ ( z ) = Γ k ( z ) , F [ Λ ( 1 ) ( z ) ] F [ Γ k ( 1 ) ( z ) ] , Λ ( z ) = Γ k ( z ) , ( it ) Λ ( z ) e izt Γ k ( 1 ) ( z ) , Λ ( z ) = ( it ) F [ Γ k ( z ) ] , Λ ( z ) F [ Γ k ( 1 ) ( z ) ] , Λ ( z ) = ( it ) F [ Γ k ( z ) ] , Λ ( z ) .
and so on, we get
F [ Γ k ( m ) ( z ) ] , Λ ( z ) = ( it ) m F [ Γ k ( z ) ] , Λ ( z ) .
That is the required result and the last result 16 holds by using the fact stated and proved in ([27], p. 201), “If f is in Ζ and α is a complex constant then the shifting of f by the amount α is given by f ( z + α ) = n = 0 ( α ) n n ! f ( n ) ( z ) . ”. Therefore, we have Γ k ( z + c 1 ) , Λ ( z ) = Γ k ( z ) , Λ ( z c 1 ) = lim ν Γ k ( z ) , n = 0 ν ( c 1 ) n n ! Λ ( n ) ( z ) = lim ν n = 0 ν ( c 1 ) n n ! Γ k ( n ) ( z ) , Λ ( z ) , which yields the required result. □
Remark 4.
Fourier transformation is a continuous linear mapping of D onto Z and the inverse Fourier transformation has the same properties as a mapping of Z onto D ([27], p. 203). Hence, (49) shows that e ν x e x p ( e k x k ) is an element of D , similarly by considering Equation (50) and inverse Fourier transform then F { Γ k ( z ) } is also in D .

4. Discussion and Future Directions

The fusion of generalized functions and standard integral transformations has been established extensively in the theory of partial differential equations. This fusion can do various physical and engineering problems that cannot be cracked by established procedures. During this study, we obtained a new understanding for the k -gamma function in relation with delta function such that the definition of these functions is formalized for entire test functions of a specific space symbolized by Z . This is substantial for evolving the fundamentals of distributional notions for k-gamma function and improving their use to solve different problems. For example, considering the Riemann zeta function in domain 0 < ( z ) < 1 , we have:
Γ k ( z ) , ζ ( z ) = 2 π n = 0 ( 1 k ) n n ! δ ( z + nk ) , ζ ( z ) = 2 π n = 0 ( 1 k ) n n ! ζ ( nk ) ,
And for k = 2 , we have an integral of Gaussian function:
Γ 2 ( z ) , ζ ( z ) = 2 π n = 0 ( 1 2 ) n n ! δ ( z + 2 n ) , ζ ( z ) = 2 π n = 0 ( 1 k ) n n ! ζ ( 2 n ) = 0 ,
And for k = 1 , we develop the following elegant result:
Γ ( z ) , ζ ( z ) = 2 π n = 0 ( 1 k ) n n ! ζ ( n ) = 2 π e 1 2 π .
k -gamma functions precisely specify the basic gamma functions. This component is precise for subsequent new identities for gamma functions. The k-gamma functions repeatedly arose for a variety of perspectives, for instance, perturbative computation of Feynman integrals, the combinatory of creation and annihilation operators. Their new representation explored in this research will enhance the impending uses of these representations in physics, statistics and associated sciences. The procedure to achieve the results by means of new representation discovers an essential straightforwardness that is always needed. These are quite a few illustrations. It is anticipated that the methodology established in this exploration will be substantial for additional investigations of k-gamma functions in future research.

Acknowledgments

The author would like to thank Deanship of Scientific Research at Majmaah University for providing excellent research facilities. The author is also thankful to the anonymous reviewers for their useful comments. They really improved the quality of this manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Dıaz, R.; Pariguan, E. On hypergeometric functions and Pochhammer k-symbol. Divulg. Math. 2007, 15, 179–192. [Google Scholar]
  2. Dıaz, R.; Pariguan, E. Feynman-Jackson integrals. J. Nonlinear Math. Phys. 2006, 13, 365–376. [Google Scholar] [CrossRef] [Green Version]
  3. Karwowski, J.; Witek, A.H. Biconfluent Heun equation in quantum chemistry: Harmonium and related systems. Theor. Chem. Acc. 2014, 133, 1494. [Google Scholar] [CrossRef]
  4. Lackner, M.; Lackner, M. On the likelihood of single-peaked preferences. Soc. Choice Welf. 2017, 48, 717–745. [Google Scholar] [CrossRef] [PubMed]
  5. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematical Studies; Elsevier (North-Holland) Science Publishers: Amsterdam, The Netherlands; London, UK; New York, NY, USA, 2006; Volume 204. [Google Scholar]
  6. Agarwal, P.; Chand, M.; Baleanu, D.; O’Regan, D.; Shilpi, J. On the solutions of certain fractional kinetic equations involving k-Mittag-Leffler function. Adv. Differ. Equ. 2018, 1, 249. [Google Scholar] [CrossRef]
  7. Set, E.; Tomar, M.; Sarikaya, M.Z. On generalized Grüss type inequalities for k-fractional integrals. Appl. Math. Comput. 2015, 269, 29–34. [Google Scholar] [CrossRef]
  8. Dıaz, R.; Teruel, C. q, k-generalized gamma and beta functions. J. Nonlinear Math. Phys. 2005, 12, 118–134. [Google Scholar] [CrossRef]
  9. Dıaz, R.; Pariguan, E. On the Gaussian q-distribution. J. Math. Anal. Appl. 2015, 358, 1–9. [Google Scholar] [CrossRef]
  10. Fernández-Navarro, F.; Hervás-Martínez, C.; Gutiérrez, P.A.; Peña-Barragán, J.M.; López-Granados, F. Parameter estimation of q-gaussian radial basis functions neural networks with a hybrid algorithm for binary classification. Neurocomputing 2012, 75, 123–134. [Google Scholar]
  11. Rehman, A.; Mubeen, S. Some inequalities involving k-gamma and k-beta functions with applications—II. J. Inequal. Appl. 2014, 2014, 445. [Google Scholar] [CrossRef]
  12. Díaz, R.; Ortiz, C.; Pariguan, E. On the k-gamma q-distribution. Open Math. 2010, 8, 448–458. [Google Scholar]
  13. Agarwal, P.; Chand, M.; Choi, J.; Singh, G. Certain fractional integrals and image formulas of generalized k-bessel function. Commun. Korean Math. Soc. 2018, 33, 423–436. [Google Scholar]
  14. Nisar, K.S.; Mondal, S.R.; Choi, J. Certain inequalities involving the k-Struve function. J. Inequal. Appl. 2017, 1, 71. [Google Scholar] [CrossRef] [PubMed]
  15. Chaudhry, M.A.; Qadir, A. Fourier transform and distributional representation of Gamma function leading to some new identities. Int. J. Math. Math. Sci. 2004, 37, 2091–2096. [Google Scholar] [CrossRef]
  16. Tassaddiq, A.; Qadir, A. Fourier transform and distributional representation of the generalized gamma function with some applications. Appl. Math. Comput. 2011, 218, 1084–1088. [Google Scholar] [CrossRef]
  17. Tassaddiq, A.; Qadir, A. Fourier transform representation of the extended Fermi-Dirac and Bose-Einstein functions with applications to the family of the zeta and related functions. Integral Transforms Spec. Funct. 2018, 22, 453–466. [Google Scholar] [CrossRef]
  18. Tassaddiq, A. Some Representations of the Extended Fermi-Dirac and BoseEinstein Functions with Applications. Ph.D. Dissertation, National University of Sciences and Technology Islamabad, Islamabad, Pakistan, 2011. [Google Scholar]
  19. Al-Lail, M.H.; Qadir, A. Fourier transform representation of the generalized hypergeometric functions with applications to the confluent and gauss hypergeometric functions. Appl. Math. Comput. 2015, 263, 392–397. [Google Scholar] [CrossRef]
  20. Tassaddiq, A. A New Representation of the Extended Fermi-Dirac and Bose-Einstein Functions. Int. J. Math. Anal. Appl. 2017, 5, 435–446. [Google Scholar]
  21. Tassaddiq, A.; Safdar, R.; Kanwal, T. A distributional representation of gamma function with generalized complex domain. Adv. Pure Math. 2017, 7, 441–449. [Google Scholar] [CrossRef]
  22. Tassaddiq, A. A new representation of the Srivastava λ-generalized Hurwitz-Lerch zeta functions. Symmetry 2018, 10, 733. [Google Scholar] [CrossRef]
  23. Prudnikov, A.P.; Brychkov, Y.A.; Marichev, O.I. Integrals and Series: Elementary Functions; Gordon & Breach Science Publishers: New York, NY, USA, 1992; Volume 1-V. [Google Scholar]
  24. Olver, F.W.J.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W. (Eds.) NIST Handbook of Mathematical Functions; [With 1 CD-ROM (Windows, Macintosh and UNIX)]; U.S. Department of Commerce, National Institute of Standards and Technology: Washington, DC, USA, 2010.
  25. Chaudhry, M.A.; Zubair, S.M. On a Class of Incomplete Gamma Functions with Applications; Chapman and Hall (CRC Press Company): Boca Raton, FL, USA; London, UK; New York, NY, USA; Washington, DC, USA, 2001. [Google Scholar]
  26. Gel’fand, I.M.; Shilov, G.E. Generalized Functions: Properties and Operations; Academic Press: New York, NY, USA, 1969; Volume 1-V. [Google Scholar]
  27. Zamanian, A.H. Distribution Theory and Transform Analysis; Dover Publications: New York, NY, USA, 1987. [Google Scholar]
  28. Richards, I.; Youn, H. Theory of Distributions: A Non Technical Introduction; Cambridge University Press: Cambridge, MA, USA; London, UK; New York, NY, USA, 2007. [Google Scholar]
  29. Hoskins, R.F.; Pinto, J.S. Theories of Generalised Functions: Distributions, Ultradistributions and Other Generalised Functions, 2nd ed.; Elsevier: Amsterdam, The Netherlands, 2005. [Google Scholar]
  30. Lebedeve, N.N. Special Functions and Their Applications; Prentice Hall: Englewood Cliffs, NJ, USA, 1965. [Google Scholar]

Share and Cite

MDPI and ACS Style

Tassaddiq, A. A New Representation of the k-Gamma Functions. Mathematics 2019, 7, 133. https://doi.org/10.3390/math7020133

AMA Style

Tassaddiq A. A New Representation of the k-Gamma Functions. Mathematics. 2019; 7(2):133. https://doi.org/10.3390/math7020133

Chicago/Turabian Style

Tassaddiq, Asifa. 2019. "A New Representation of the k-Gamma Functions" Mathematics 7, no. 2: 133. https://doi.org/10.3390/math7020133

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop