Certain q -Analogue of Fractional Integrals and Derivatives Involving Basic Analogue of the Several Variable Aleph-Function

: Using Mellin-Barnes contour integrals, we aim at suggesting a q -analogue ( q -extension) of the several variable Aleph-function. Then we present Riemann Liouville fractional q -integral and q -differential formulae for the q -extended several variable Aleph-function. Using the q -analogue of the Leibniz rule for the fractional q -derivative of a product of two basic functions, we also provide a formula for the q -extended several variable Aleph-function, which is expressed in terms of an inﬁnite series of the q -extended several variable Aleph-function. Since the three main formulas presented in this article are so general, they can be reduced to yield a number of identities involving q -extended simpler special functions. In this connection, we choose only one main formula to offer some of its particular instances involving diverse q -extended special functions, for example, the q -extended I -function, the q -extended H -function, and the q -extended Meijer’s G -function. The results presented here are hoped and believed to ﬁnd some applications, in particular, in quantum mechanics.


Introduction and Preliminaries
Since the concept of fractional calculus emerged in 1695 as a result of a notable communication between de L'H ôpital and Leibniz, fractional calculus has shown a stronger capacity than classical calculus for exact and efficient reflection of complex real-world occurrences.During the preceding four decades, fractional calculus has attracted a great deal of attention and found numerous applications in a range of scientific fields (see, e.g., [1][2][3]).
The fractional q-calculus is a q-extension of the conventional fractional calculus (see, e.g., [4][5][6][7]).Al-Salam [8] explored certain fractional q-integral and q-derivative operators.Al-Salam [9] presented the q-analogues of Cauchy's formulas for multiple integrals.Furthermore, Agarwal [10] investigated some fractional q-integral and q-derivative operators, similar to those in [8].Many authors have offered image formulas of various q-special functions under fractional q-calculus operators (see, e.g., [11][12][13][14][15]).Purohit and Yadav [16] introduced and investigated q-extensions of the Saigo's fractional integral operators.Kumar et al. [17] derived the fractional order q-integrals and q-derivatives for a two variable basic counterpart to the Aleph-function and considered a related application and the qextension of the corresponding Leibniz rule.Many researchers have used these fractional q-calculus operators to evaluate the general class of q-polynomials, the basic analogue of Fox's H-function, the basic analogue of the I-function, and various other q-special functions (see, e.g., [12][13][14][15]18]).
In this paper, Mellin-Barnes contour integrals are used to introduce a q-analogue of the several variable Aleph-function, which is surely the first attempt.Then, we give the fractional Riemann-Liouville q-integral and q-differential formulas for the q-analogue of the several variable Aleph-function.Using the q-analogue of the Leibniz rule for the fractional q-analogue derivative of a product of two basic functions, we also provide a formula for the q-analogue of the several variable Aleph-function (see [19]), which is expressed as an infinite series of the q-extended several variable Aleph-function.The three principal formulae related with the q-analogue of the several variable Aleph-function, provided in this article, are sufficiently broad that they may be reduced to a number of identities using simpler special functions.Finally, we choose a single principal formula to illustrate some of its particular cases, involving q-analogues of some special functions, such as q-analogues of the I-function (see [20]), the H-function (see [21]), and Meijer's G-function (see [22]).
Here and in the sequel, let C, R, R + , Z and N be the sets of complex numbers, real numbers, positive real numbers, integers and positive integers, respectively.Furthermore, let Z 0 := N ∪ {0}, Z 0 := Z \ N, and Z <0 := Z 0 \ {0}.
We recall some definitions and notations for q-theory and q-calculus.The q-number of a ∈ C is given by It is found that The q-analogue (or q-extension) of n! then is defined by from which the q-binomial coefficient (or the Gaussian polynomial analogous to ( n k )) is defined by The q-binomial coefficient in (3) can be generalized as follows: where [α] q;k is defined by The q-shifted factorial (a; q) n is defined by where a, q ∈ C, and it is supposed that a = q −m (m ∈ Z 0 ).It is easily seen from ( 3) and ( 6) that (q; q) n = (1 The q-shifted factorial for negative subscript is defined by (a; We also denote It follows from ( 6), ( 8) and ( 10) that which can be extended to n = α as follows: where the principal value of q α is taken.The q-gamma function Γ q (a) is given by (see, e.g., [5] (p. 16 ); see also [23] (p. 490)) Γ q (a) = (q; q) ∞ (q a ; q) ∞ (1 − q) a−1 = (q; q) a−1 (a ∈ C \ Z 0 ; 0 < q < 1).
It is found from (11) and ( 13) that The following notations are used: It is found from (15) that Generally, the second equality of which follows from (12).Jackson [24] proposed an integral represented and defined by b a f (t) where provided that the series at the right-hand side of (19) converges at x = a and x = b.

q-Analogue of the Several Variable Aleph-Function
Dutta and Arora [28] introduced and investigated a q-analogue of the one variable Aleph-function defined by means of Mellin-Barnes type contour integral.Ahmad et al. [29] applied (13) or (36) to the q-analogue of the one variable Aleph-function in [28] to give an alternative definition for the q-analogue of the one variable Aleph-function.Sahni et al. [30] introduced and investigated the q-analogue of the several variable I-function.Kumar et al. [17] presented and explored a q-analogue of the two variable Aleph-function (see [31]).By modifying the techniques employed in the cited works here, we introduce a q-analogue of the several variable Aleph-function as given in Definition 1.
defined as follows: ji (1) , δ where ω = √ −1, and provided that (i) here and elsewhere, an empty product is interpreted as unity; ji (k) are assumed to be positive for standardization purposes, the definition of the basic analogue of the several variable Aleph-function, provided above, will still make sense, even if some of these values are zero; ji (k) are assumed to be complex numbers.(vii) the contours L k in the complex s k -planes (k = 1, . . ., ) are of the Mellin-Barnes type, running from −ω∞ to ω∞ (if necessary) with indentations, such that all the poles of G q d (k) For simplicity and convenience, the following notations are used: A := a j ; α (1) ; ji (1) ; δ ; It is noted in passing that the q-analogue of the -variable Aleph-function ℵ(z 1 , • • • , z ; q) in Definition 1, when = 2, is easily seen to reduce to the q-analogue of the 2-variable Aleph-function ℵ(z 1 , z 2 ; q) in [17].

Main Results
This section will establish Riemann-Liouville fractional q-integral and q-differential formulae for the q-extended several variable Aleph-function.
− log sin(πs k ) < 0 (k = 1, . . ., r) and I η q {•} be the Riemann Liouville fractional q-integral operator (23).Furthermore, restrictions and notations in Section 2 are assumed to be satisfied.Then the following formula holds true: Proof.Let I be the left-hand side of Equation (46).By making use of ( 23) and ( 37), we obtain Interchanging the order of integrals in (47), which may be verified under the restrictions in Section 2, we get which, upon using (31), yields Now, by interpreting the q-Mellin-Barnes multiple contour integrals in terms of the basic analogue of the several variable Aleph-function in Section 2, we get the desired result (46).
In view of (49), Theorem 1 easily gives Theorem 2, which provides the Riemann-Liouville fractional q-derivative of the q-analogue of several variable Aleph-function.Since the solution conditions do not change for a fractional integral, the most plausible idea of a fractional derivative is to apply derivatives of real non-negative integer order n = (η) + 1 to a fractional integral, which is always possible, but the swapping of derivative and integral is forbidden in the general case.Here is n times q-analogue of derivative (22): By this definition (49), a fractional integral (or derivative) of any complex order η is valid for −∞ < (η) < ∞.Thus, not only power laws, but even Aleph-functions can become objects of a fractional derivative (or integral) of any complex order η except for |η| = ∞.
As another trial, Agarwal [10] defined a q-fractional derivative as follows (see also [25] (p.114)): This may be an encrypted writing of a fractional integral only.
. ., r) and D η q {•} be the Riemann Liouville fractional q-derivative operator (49).Furthermore, restrictions and notations in Section 2 are assumed to be satisfied.Then the following formula holds true: The results (47) and (50) demonstrate with (49) that for λ = 1 the following identity is valid: , where the arbitrary function f (x) is shown to be a q-analogue of the several variable Aleph-function.This idea goes back to Riemann in 1847, when he defined an iterated integral for positive integer η only to avoid integration constants.
Remark 1.The formula (52) is a very slightly corrected version of [25] (Equation (6.1)),where k! at the denominator of the summation on its right side may be missed.The case ξ = 0 of (53) produces (52).Osler [33] presented the precise convergence conditions of the series in (52) for the functions u(x) and v(x) (see [33] (p.664)) by strengthening the contention in Watanabe [32]: the series in (52) converges wherever u(x) and v(x) are analytic centered at 0.
Assume that u is continuous on [0, X] (X ∈ R + ) and v is analytic on [0, X].Then the Leibniz formula for fractional integrals is given as follows (see, e.g., [37] (p.75)): For η > 0 and 0 < x ≤ X, Agarwal [34] provided the Leibniz rule for the fractional q-derivatives for a product of two analytic functions, which is recalled in the following lemma (see also [38] (Equation ( 1))).Lemma 1.Let the same restrictions for (54), except for one, be assumed.Here, both u and v are analytic on [0, X].Then The following theorem establishes a Riemann-Liouville fractional q-derivative of a product of two functions u(x) and v(x) in (57).r).Furthermore, restrictions and notations in Section 2 are assumed to be satisfied.Then the following Riemann-Liouville fractional q-derivative formula holds true: Proof.By choosing u(x) := x λ−1 and v(x) := ℵ 0,n:V to use Lemma 1, we get From ( 31) and (49), we obtain Setting λ = 1 in (50) and replacing η with n, we derive Finally, substituting (59) and (60) for the right-hand member of (58) and replacing the left-hand member of (58) by the right-hand side in (50), and simplifying the resulting identity, we are led to the desired formula (56).

Particular Cases
This section discusses some specific instances of Theorem 3.
Then Corollary 1 reduces to Corollary 3.

Corollary 4.
Let the restrictions in Section 2 and Theorem 3 be accordingly and suitably modified.Then H Proof.Let r = r (1) = r (2) = 1.Then the q-analogue of the two variable I-function in Corollary 3 reduces to the q-analogue of the two variable H-function (see [39]).In this case, let Proof.If τ i → 1 in (82), then the q-analogue of the one variable Aleph-function reduces to the q-analogue of the one variable I-function (see [40]).Then the identity (83) may follow from (82).

Conclusions
The importance of our findings in this article may rest in their manifold generality.By specializing the various parameters as well as the variables in the q-extended several variable Aleph-function, we may obtain a large number of results, involving a remarkable variety of useful analogues of basic functions (or a product of such basic functions), which are expressible in terms of q-analogues of diverse special functions of one and several variables, including the q-extended I-function (see [20]), the q-extended H-function (see [40,41]), the q-extended Meijer's G-function (see [22]), the q-extended generalized hypergeometric function (see [4,5]), and Mac Robert's E-function.There are several ways to define Mac Robert's E-function in terms of the generalized hypergeometric function or the Meijer G-function (see [42] (Chapter V)).In this regard, Mac Robert's E-function may be q-extended by means of q-generalized hypergeometric function or q-Meijer G-function.Therefore, the formulae obtained in this research are of a fairly broad nature and may be helpful in a number of intriguing issues that have appeared in the literature of pure and applied mathematics and mathematical physics.
For further research, as well as some other properties and identities for the q-analogue of the several variable Aleph-function ℵ(z 1 , • • • , z ; q) in Definition 1 to be found, the results offered in this article are hoped and believed to find some applications, in particular, in quantum mechanics (see [4,43,44]).Furthermore, it may be interesting to make qextensions of some of the results in the following articles [45,46].Further, instead of u(x) = x λ−1 in (57), choosing that u(x) is another q-analogue of the several variable Aleph-function like v(x), what does look like the resulting identity in Theorem 3?