A fractional q-integral operator associated with a certain class of q-Bessel functions and q-generating series

*Correspondence: s.k.q.alomari@fet.edu.jo; shridehalomari@bau.edu.jo 1Department of Physics and Basic Sciences, Faculty of Engineering Technology, Al-Balqa Applied University, Amman, Jordan Full list of author information is available at the end of the article Abstract This paper deals with Al-Salam fractional q-integral operator and its application to certain q-analogues of Bessel functions and power series. Al-Salam fractional q-integral operator has been applied to various types of q-Bessel functions and some power series of special type. It has been obtained for basic q-generating series, q-exponential and q-trigonometric functions as well. Various results and corollaries are provided as an application to this theory.


Introduction
The theory of q-calculus is an old subject centered on the idea of deriving q-analogous results without using limits. Jackson was the first to develop the q-calculus theory in systematic way [1]. He defined the concept of the q-integral and the concept of the q-difference operator in a generic manner. In excellence, the theory of q-calculus allows to deal with sets of non-differentiable functions, different classes of orthogonal polynomials, integral operators, and various classes of special functions including q-hypergeometric functions, q-Bessel functions, q-gamma and q-beta functions, and many others, to mention but a few.
It connects mathematics and physics and plays a significant role in various fields of physical sciences such as cosmic strings [2], conformal quantum mechanics [3], and nuclear physics of high energy [4]. It, further, applies to topics in number theory, combinatorics, orthogonal polynomials, basic hypergeometric functions, quantum theory, mechanics, and the theory of relativity.
The q-integrals from 0 to ξ and from 0 to ∞ are, resp., defined by Jackson as [1] ξ 0 f (t) d q t = ξ (1q) ∞ j=0 q j f ξ q j (1) and The q-analogue of the Bessel function of the first type, which was studied later by Hahn [5] and Ismail [6], is defined by [7] as Jackson defines the q-analogue of the Bessel function of the second type as [7] Hahn [8] and Exton [9] introduced the third type q-Bessel function (called Hahn-Exton q-Bessel function) as The q-shifted factorials are defined, in literature, by fixing ξ ∈ C as (ξ ; q) 0 = 1; (ξ ; q) n = n-1 j=0 1ξ q k , n = 1, 2, . . . ; This indeed gives For ξ ∈ C, we mean Hence, for n ∈ N, we obtain [n] q ! = (q; q) n (1q) n .
Due to [10, (1.5), (1.6)], we, resp., write and The q-analogue of the exponential function of the second type is given by whereas the q-analogue of the exponential function of the first type is given by Consequently, the following formula holds: For real arguments t, the q-analogues of the gamma function are given by [11] Henceforth, for t ∈ R and n ∈ N, the following auxiliary results hold: The theory of fractional calculus was born in early 1695 due to a very deep question raised in a letter of L'Hospital to Leibniz [12][13][14][15][16]. During a long period of time (300 years), the fractional calculus has kept the attention of top level mathematicians. It has become a very useful tool for tackling dynamics of complex systems from various branches of science and engineering. The fractional q-calculus is the q-extension of the ordinary fractional calculus. Integral operators have attained their popularity due to their wide range of applications in various fields of science and engineering [17][18][19][20][21][22] and [23][24][25][26][27][28][29][30][31][32][33][34]. In [35,36] Al-Salam and Agarwal studied certain q-fractional integrals and derivatives. Recently, perhaps due to explosion in research within the fractional calculus setting, new developments in the theory of fractional q-difference calculus, specifically, the q-analogues of the integral and the differential fractional operator properties were made, see, e.g., [37][38][39]. In [36, p. 966], Al-Salam defines a fractional q-integral operator in the form of the basic integral provided α = 0, -1, -2, . . . . With the aid of series definition (1), the above equation can be expressed as Consequently, by applying (9), (2) can be expressed as Therefore, it follows that In what follows, we discuss the Al-Salam fractional q-integral (15) on some special functions. We apply it to various types of q-Bessel functions and some power series of special type. In Sect. 1, we already recalled some definitions and notations from the fractional qcalculus theory. In Sect. 2, we apply the Al-Salam fractional q-integral to a finite product of q-Bessel functions. In Sect. 3, we apply the Al-Salam fractional q-integral to a power series. We also include some new applications. In Sect. 4, we apply the Al-Salam q-integral operator to some q-generating series.

be a set of first kind q-Bessel functions and
.
This completes the proof of the remark. .
Proof Let the hypothesis of the theorem be satisfied. Then we have Therefore, in view of (18) and (3), we write Hence, it yields By the fact (q; q) k = q (1 + k) and the identity we write .
This completes the proof of the theorem.
2μ n (2 q -1 δ n t; q) be n q-Bessel functions and Then we have . Proof By (2) and (6), we obtain Equations (10), (21), and simple simplifications reveal . This completes the proof of the theorem.

The fractional q-integral of the power series
This section is briefly devoted to the application of the fractional q-integral to functions of a power series form. Some corollaries associated with polynomials and unit functions are also deduced.

Theorem 5 Let g(x) = ∞
i=0 r i x i be a power series and β be a positive real number. If f (x) = (x β-1 g)(x), then we have .
Proof Let g(x) = ∞ i=0 r i x i be a power series and β be a positive real number. From (26) it follows Interchanging the order of summation in (24) leads to Employing (21) indeed gives .
Hence, the proof of the theorem is completed.

Corollary 6
Let β > 0 be a real number. Then we have .

K η,α q of q-generating Heines series
The basic q-generating series of the first type is defined by [41] as The basic q-generating series of the second type is given as r ψ s (δ 1 , . . . , δ r ;δ 1 , . . . ,δ s , q, ζ ) = ∞ i≥0 (δ 1 ; q) 1 , . . . , (δ r ; q) i The parameters b 1 , . . . , b s are given so that the denominator factors in terms of the series are never zero, and the basic series terminates when one of its numerator parameters is of type q -n , n = 0, 1, 2, . . . .
Hence, by Theorem 5 it follows .
This completes the proof of the theorem.

Corollary 10
Let γ be a real number. Then we have .
Proof By setting β = 0, r = 0, and s = 0, the result easily follows from Theorem 8. The proof is completed.
The proof of the following corollary is straightforward. Details are therefore deleted.

Corollary 12
Let γ be a real number. Then we have