Investigation of the k-Analogue of Gauss Hypergeometric Functions Constructed by the Hadamard Product

Traditionally, the special function theory has many applications in various areas of mathematical physics, economics, statistics, engineering, and many other branches of science. Inspired by certain recent extensions of the k-analogue of gamma, the Pochhammer symbol, and hypergeometric functions, this work is devoted to the study of the k-analogue of Gauss hypergeometric functions by the Hadamard product. We give a definition of the Hadamard product of k-Gauss hypergeometric functions (HPkGHF) associated with the fourth numerator and two denominator parameters. In addition, convergence properties are derived from this function. We also discuss interesting properties such as derivative formulae, integral representations, and integral transforms including beta transform and Laplace transform. Furthermore, we investigate some contiguous function relations and differential equations connecting the HPkGHF. The current results are more general than previous ones. Moreover, the proposed results are useful in the theory of k-special functions where the hypergeometric function naturally occurs.


Introduction
In recent years, the hypergeometric function of parameters consisting of two numerators and one denominator has become of increasing significance due to its applications in many fields of biophysics, quantum mechanics, spectroscopy, engineering, and other scientific areas (see, e.g., [1][2][3][4] and the references therein).
One class of extensions of hypergeometric functions comprises the so-called khypergeometric functions in terms of the k-analogue of gamma and the Pochhammer symbol, which can be found in the work of Diaz and Pariguan [18].
In addition, the Hadamard product of two hypergeometric functions has been widely used in factorizing a newborn function, which is generalization as a hypergeometric series (see, [30,31]).
Inspired by the definition of a k-hypergeometric function [18], the authors introduce a new expansion of the k-analogue of Gauss hypergeometric functions by using the Hadamard product, which is the so-called Hadamard product of k-Gauss hypergeometric functions (HPkGHF) associated with the fourth numerator and two denominator parameters.The manuscript is organized as follows.In Section 2, we introduce the Hadamard product of k-Gauss hypergeometric functions and discuss their regions of convergence as well as the differentiation formulae.In Section 3, we obtain some integral representations and integral transforms including a beta transform, a Laplace transform, and an inverse Laplace transform of the Hadamard product of k-Gauss hypergeometric functions.In addition, contiguous function relations and differential equations connecting the HPkGHF are established in Section 4. Finally, in Section 5, we reach the conclusion remarks.

Preliminaries
The hypergeometric function known also as a Gauss function is defined by which is absolutely and uniformly convergent if |u| < 1, divergent when |u| > 1, and is absolutely convergent is the Pochhammer symbol (or the shifted factorial), and Γ(.) is gamma function.Diaz and Pariguan [18] defined the k-analogue of gamma, beta and hypergeometric functions as follows.
Definition 1.For k ∈ R + , the k-gamma function Γ k (u) is defined by: where u ∈ C \ kZ − .We note that Γ k (u) → Γ(u), for k → 1, where Γ(u) is the classical Euler's gamma function and (u) m,k is the k-Pochhammer symbol given by: the relation between the Γ k (u) and the gamma function Γ(u) follows easily that: ).
Definition 2. For u, v ∈ C and k ∈ R + , the k-beta function B k (u, v) is defined by: where Re(u) > 0 and Re(v) > 0.
Clearly, the case k = 1 in (5) reduces to the known beta function B(u, v), and the relation between the k-beta function B k (u, v) and the original beta function B (u, v) is: ).

Hadamard Product of k-Gauss Hypergeometric Functions
Starting, we define the Hadamard product of k-Gauss hypergeometric functions H(k; η) as follows: Definition 4. Suppose that: are two k-Gauss hypergeometric functions of the single complex variable η, as given in (6).Now, we construct the Hadamard product (or convolution) of these two k-Gauss hypergeometric functions, in the form: where Remark 1.Clearly, the Hadamard product of k-Gauss hypergeometric functions H(k; η) is a generalized type of k-Gauss hypergeometric function, where: ; Remark 2. For k = 1; it obviously reduces to the usual Hadamard product of Gauss hypergeometric functions H(1; η), which is a generalized Gauss function in (1).

Convergence Property
Following, we would like to show the convergence property of the series (7).For this purpose, we can rewrite (7) in the form: where: According to the identity (x) n+1,k = (x + nk)(x) n,k , we have: and hence: therefore, by the ratio test the series on the right-hand side of ( 7) converges absolutely if |η| < 1 k 2 and diverges if |η| > 1 k 2 .In the case that |η| = 1, assume that there exists a positive number τ, as: and compare terms of the series: with corresponding terms of the series: which is convergent; for |η| = 1, we see that: where: thus, the series ( 7) converges absolutely if |η| = 1, under hypothesis (9).Summarizing, the following result has been established.

Derivative Formulae
Theorem 2. The following derivative formula holds true: Proof.Result ( 13) is obviously valid in the trivial case when n = 0.For n = 1, by the power series representation (7) of H(k; η), we see from (13) that: Replacing the k-pochhammer symbole (δ 1 + k) n,k in the relation ( 4) by its k-gamma function and using the k-gamma function property given in [18] by Γ k (δ 1 + k) = δ 1 Γ k (δ 1 ), we arrive at: Therefore, the general result ( 13) can now be easily derived by using the principle of mathematical induction on n ∈ N 0 .
Similarly, we can derive the following results.Theorem 3. The following derivative formula holds true: 13) and ( 16), we obtain differentiation formulae of the generalized hypergeometric function (cf.[32]).

Some Integral Representations and Integral Transforms
In this section, we evaluate the integral representations and integral transforms for the Hadamard product of k-Gauss hypergeometric functions H(k; η).

Integral Representations
Theorem 4. The Hadamard product of k-Gauss hypergeometric functions H(k; η) has the following integral representations: ; uη ; vuη Proof.Inserting the k-Pochhammer symbol (α 1 ) n,k from (4) into definition (4) by its integral form given by ( 3) and from the relation (8), we thus obtain the desired result (17).The integral form (18) involves the k-beta function B k (u, v) defined in (5).Thus, the integral formula (18) can indeed be easily obtained by (8) and using the following identity: Now, we prove integral Formula (19).According to relation (20), we can write that: and: We insert Formulas ( 21) and ( 22) into the definition of H(k; η) in (7) and by (8), and it follows: ; vuη which completes the proof (19).
Remark 5.The obtained results here improve and generalize some known results in [18,21].
Remark 6.For k = 1 in Theorem 4, we get interesting results concerning integral formulae of the generalized hypergeometric function (see [32]).

Integral Transforms
In this subsection, we introduce certain interesting k-Beta transforms, Laplace transforms, and inverse Laplace transforms associated with the Hadamard product of k-Gauss hypergeometric functions H(k; η).We recall the k-Beta transform, the Laplace transform and inverse Laplace transform of G(η), respectively: L{G(η provided that the integral converges.For simplicity, we can write it thus: Theorem 5.The k-Beta transform for the Hadamard product of k-Gauss hypergeometric functions H(k; η) in ( 7) is given in the following form: Proof.Applying the k-Beta transform ( 24) to (7), we find that: which is given in terms of the k-beta function B k (α 1 , β 1 ) in the form: According to (7), our desired result is yielded (27).
Remark 7. If we set k = 1 then our result reduces to the result of the Beta transform of the generalized hypergeometric function.
Theorem 6.For k ∈ R + , Re(u) > 0 and | η u | < 1, the following Laplace transform formula holds: ; Proof.Using (7) on the above left-hand side integral transform we observe that: Setting uv = t k k , then applying the k-gamma function (6) to the last integral, upon using (8), yields our desired result (30), as follows: Re(δ 2 ) > 0, and |ηv k | < 1, then the following inverse Laplace transform formula holds: Proof.Using the definition of the Hadamard product of k-Gauss hypergeometric functions by (7) in the left-hand side of (33), we have: Applying the inverse Laplace transform and after simplification, we find that: The above equation gives the proof of Theorem 7.
Remark 8.The special cases of ( 30) and ( 33) when k = 1 are seen to reduce to the Laplace transform and inverse Laplace transform of the generalized hypergeometric functions (see [33,34]).

Contiguous Function Relations and Differential Equations
The k-analogue of theta operator kΘ as given in [19,20,27] takes the form kΘ = k η dη .This operator has the particularly pleasant property that kΘη n = knη n , which makes it handy to be used on power series.In this section, relying on Definition 2.1, we present some results concerning contiguous function relations and differential equations for the HPkGHF.
To realize that, we increase or decrease one and more of the parameters of the Hadamard product of k-Gauss hypergeometric functions, by ±k, then the resultant function is said to be contiguous to H(k; η).For simplicity, we use the following notations: Now, we consider: where ) n,k and: Similarly, we can write H(k; α 1 −) as: Similarly, this holds for H(k; α 2 ±), H(k; β 1 ±), H(k; β 2 ±), H(k; δ 1 ±), and H(k; δ 2 ±).
By the help of differential operator kΘ = k η dη , we get the following relations: From the above relations, we can easily obtain the following results: where: is contiguous function relation for the Hadamard product of the k-Gauss hypergeometric function's two parameters, and: Remark 9.It is easy to see that in (36) to (40), if we take k = 1, we get generalized hypergeometric contiguous function relations (see [32]).
Remark 10.Other contiguous function relations for the Hadamard product of the k-Gauss hypergeometric function may be derived from the relations in ( 36) to (40), and in the same manner, other results can also be obtained.
Remark 11.We can easily obtain many known results in [20,24] by setting the parameters in our main findings.Therefore, the obtained results here extend to those results.
Furthermore, the operator kΘ = k η dη , which is used in the derivation of the contiguous function relations, is also used in deriving the differential equations satisfied by H(k; η) and its contiguous function relations as follows: using the following identity (a) n+1,k = (a) n,k (a + nk), we find that: Note that: and: Using above the relations in (42), we obtain: Thus, we get the following differential equation: Remark 12. Taking k = 1 in the above differential equation, it obviously reduces to the result of the generalized hypergeometric function in [32].
Thus, we show that the H(k, η) is a solution of the following differential equation: Remark 13.If we take k = 1 in (42), we can easily obtain the known results given in [32].

Concluding Remarks
In this manuscript, we established a new generalization of the k-Gauss hypergeometric function by means of a Hadamard product, the so-called Hadamard product of k-Gauss hypergeometric functions (HPkGHF) of a fourth numerator and two denominator parameters.We presented a systematic study of the various basic properties of the HP-kGHF, including the convergence property, differentiation formulae, integral transforms, contiguous function relations, and differential equations.The investigated results presented here along with those presented in earlier papers were specified.Moreover, some interesting special cases of our main results were considered at k → 1.
Furthermore, it is noted that the results detailed in this article are general in character and give some contributions to the theory of special functions.In addition, the results proposed in this work can be easily converted in terms of a similar type of new interesting integral formulae and differential equations with different arguments after some suitable parameter replacements.