Abstract
We aim to introduce the generalized multiindex Bessel function \(J_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \) and to present some formulas of the Riemann-Liouville fractional integration and differentiation operators. Further, we also derive certain integral formulas involving the newly defined generalized multiindex Bessel function \(J_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \). We prove that such integrals are expressed in terms of the Fox-Wright function \(_{p}\Psi _{q}(z)\). The results presented here are of general in nature and easily reducible to new and known results.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Generalized (Wright) hypergeometric functions
- Generalized multiindex Bessel function
- Fractional calculus
- Integral formulas
2000 Mathematics Subject Classifiation
1 Introduction and Preliminaries
Fractional calculus, which has a long history, is an important branch of mathematical analysis (calculus) where differentiations and integrations can be of arbitrary non-integer order. The operators of Riemann-Liouville fractional integrals and derivatives are defined, for \(\alpha \in \mathbb {C}\,\,(\mathfrak {R}(\lambda ) > 0)\) and \(x>0\) (see, for details, [8, 18])
and
respectively, where \(\left[ \mathfrak {R}\left( \lambda \right) \right] \) is the integral part of \(\mathfrak {R}\left( \lambda \right) \). The following lemma is needed in sequel [18, (2.44)],
Lemma 1.1
Let \(\lambda \in \mathbb {C}\) \(\left( \mathfrak {R}\left( \lambda \right) >0\right) \) and \(\delta \in \mathbb {C}\) then
-
(a)
If \(\mathfrak {R}\left( \delta \right) >0\) then
$$\begin{aligned} \left( I_{0+}^{\lambda }t^{\delta -1}\right) \left( x\right) =\frac{\Gamma \left( \delta \right) }{\Gamma \left( \lambda +\delta \right) }x^{\lambda +\delta -1}. \end{aligned}$$(1.5) -
(b)
If \(\mathfrak {R}\left( \delta \right)>\mathfrak {R}\left( \lambda \right) >0\) then
$$\begin{aligned} \left( I_{-}^{\lambda }t^{-\delta }\right) \left( x\right) =\frac{\Gamma \left( \delta -\lambda \right) }{\Gamma \left( \delta \right) }x^{\lambda -\delta }. \end{aligned}$$(1.6)
In this paper, we aim to introduce a new generalized multiindex Bessel function and to study its compositions with the classical Riemann-Liouville fractional integration and differentiation operators. Further, we derive certain integral formulas involving the newly defined generalized multiindex Bessel function \(\mathcal {J}_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \). We prove that such integrals are expressed in terms of the Fox-Wright function \(_{p}\Psi _{q}(z)\).
2 Fractional Calculus Approach of \(\mathcal {J}_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \)
In this section, we introduce a generalized multiindex Bessel function \(\mathcal {J}_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \) as follows:
For \(\alpha _{j},\beta _{j},\gamma ,b,c\in \mathbb {C~}\left( j=1,2,\ldots ,m\right) \) be such that \(\sum \limits _{j=1}^{m}\mathfrak {R}\left( \alpha _{j}\right) >\max 0\); \(\left\{ \mathfrak {R}\left( \kappa \right) -1\right\} ; \kappa>0,\mathfrak {R}\left( \beta _{j}\right) >0\) and \(\mathfrak {R}(\gamma )>0\), then
Here and in the following, \((\lambda )_\nu \) denotes the Pochhammer symbol defined (for \(\lambda ,\,\nu \in \mathbb {C}\)), in terms of the Gamma function \(\Gamma \) (see [19, Section 1.1]), by
2.1 Fractional Integration
We first recall the definition of the Fox-Wright function \(_{p}\Psi _{q}(z)\) \((p,\, q\in {\mathbb N}_0)\) (see, for details, [6, 22]):
where the equality in the convergence condition holds true for
Now we present the Riemann-Liouville fractional integration of the generalized multiindex Bessel function \(\mathcal {J}_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \) in the following theorems.
Theorem 1
Let \(\lambda ,\delta \in \mathbb {C}\) be such that \(\mathfrak {R}\left( \lambda \right)>0,\mathfrak {R}\left( \delta \right) >0\) and the conditions given in (2.1) is satisfied, then for \(x>0\), the following integral formula holds true
Proof
Let us denote the left-hand side of (2.4) by \(\mathcal {I}_{1}\). Using the definition (2.1), we have
Interchanging the integration and the summation in (2.5) and using the definition of Pochhammer symbol (2.2), we get
Applying the relation (1.5) in Lemma 1.1, we get
In view of the definition of the Fox-Wright function (2.3), we arrived at the desired result. \(\square \)
Theorem 2
Let \(\lambda ,\delta \in \mathbb {C}\) such that \(\mathfrak {R}\left( \delta \right)>\mathfrak {R}\left( \lambda \right) >0\) and the conditions given in (2.1) is satisfied, then for \(x>0\), the following integral formula holds true
Proof
Denoting the left-hand side of (2.5) by \(\mathcal {I }_{2}\). Using (2.1), we have
Interchanging the integration and the summation in (2.7) and using the definition of Pochhammer symbol (2.2), we get
Applying the relation (1.6) in Lemma 1.1, we get
In view of the definition of the Fox-Wright function (2.3), we arrived at the desired result. \(\square \)
2.2 Fractional Differentiation
In this subsection, we establish the fractional differentiation of generalized multiindex Bessel function given in (2.1).
Theorem 3
Let \(\lambda ,\delta \in \mathbb {C}\) such that \(\mathfrak {R}\left( \lambda \right)>0,\mathfrak {R}\left( \delta \right) >0\) and the conditions given in (2.1) is satified, then for \(x>0\), the following fractional differentiation formula holds true
Proof
Let \(\mathcal {I}_{3}\) denote the left-hand side of (2.8). Using the definition (2.1), we have
Using the relation (1.5) and the definition of the Pochhammer symbol (2.2), we get
By interchanging the differentiation and the summation, we get
In view of the definition of the Fox-Wright function (2.3), we arrived at the desired result. \(\square \)
Theorem 4
Let \(\lambda ,\delta \in \mathbb {C}\) such that \(\mathfrak {R}\left( \lambda \right)>0,\mathfrak {R}\left( \delta \right) >\left[ \mathfrak {R}\left( \lambda \right) \right] +1-\mathfrak {R}\left( \lambda \right) \) and the conditions given in (2.1) is satisfied, then the fractional differentiation \(D_{-}^{\lambda }\) of generalized multiindex Bessel function is given by
Proof
Let \(\mathcal {I}_{4}\) denote the left-hand side of (2.9). Applying the definition (2.1), we have
Using the relation (1.6) and the definition of the Pochhammer symbol (2.2), we get
By interchanging the derivatives and the summation, we get
In view of the definition of the Fox-Wright function (2.3), we arrived at the desired result. \(\square \)
3 Certain Integrals of the \(\mathcal {J}_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] ~\)
Recently many researchers are developing a large number of integral formulas involving a variety of special functions [1, 2, 4, 5, 7, 10,11,12,13,14,15, 17]. In this section, four integral formulas involving generalized multi-index Bessel function \(\mathcal {J}_{\left( \beta _{j}\right) _{m},\kappa ,b}^{\left( \alpha _{j}\right) _{m},\gamma ,c}\left[ z\right] \) are established, which are expressed in terms of the Fox-Wright function. For the present investigation, we need the following result of Oberhettinger [16]
provided \(0<\mathfrak {R}(\mu )<\mathfrak {R}(\lambda )\) and the following integral formula due to Lavoie [9]
with \(\mathfrak {R}\left( \alpha \right)>0,\mathfrak {R}\left( \beta \right) >0.\)
Theorem 5
Let \(\alpha _{j},\beta _{j},\gamma ,,b,c \in \mathbb {C~}\left( j=1,2,\ldots ,m\right) \) be such that \(\sum \limits _{j=1}^{m}\mathfrak {R}\left( \alpha _{j}\right) >\max \left\{ 0;\mathfrak {R}\left( \kappa \right) -1\right\} \) with \(\kappa>0,\mathfrak {R}\left( \beta \right) >-1\), \(\mathfrak {R}(\gamma )>0\), \(0<\mathfrak {R}\left( \mu \right) <\mathfrak {R}\left( \lambda +n\right) \) and \(x>0~\), then
Proof
Let us denote the right-hand side of (3.3) by \(\mathcal {I} _{5}\) and using the definition (2.1), we have
Interchanging the integration and summation under the suitable convergence condition gives
Applying (3.1) in (3.4), we get
provided \(\mathfrak {R}\left( \lambda +n\right)>\mathfrak {R}\left( \mu \right) >0\). Now using the definition of Pochhammer symbol, we get
In view of the definition of Fox-Wright function (2.3), we arrived the desired result. \(\square \)
Theorem 6
Let \(\alpha _{j},\beta _{j},\gamma ,b,c \in \mathbb {C~}\left( j=1,2,\ldots ,m\right) \) be such that \(\sum \limits _{j=1}^{m}\mathfrak {R}\left( \alpha _{j}\right) >\max \left\{ 0;\mathfrak {R}\left( \kappa \right) -1\right\} \) with \(\kappa>0,\mathfrak {R}\left( \beta \right) >-1\), \(\mathfrak {R}(\gamma )>0\), \(0<\mathfrak {R}\left( \mu +n\right) <\mathfrak {R}\left( \lambda +n\right) \) and \(x>0~\), then
Proof
Let us denote the right-hand side of (3.5) by \(\mathcal {I}_{6} \) and using the definition (2.1), we have
Interchanging the integration and summation under the given condition, yields
Applying (3.1) on (3.6), we get
provided \(\mathfrak {R}\left( \lambda +n\right)>\mathfrak {R}\left( \mu +n\right) >0\).
In view of definition of Pochhammer symbol (2.2), we get
Using the definition of Fox-Wright function (2.3), we arrived the desired result. \(\square \)
Theorem 7
For \(\xi ,\sigma \in \mathbb {C}\) with \(\mathfrak {R}\left( \xi +\sigma \right)>0,\mathfrak {R}\left( \xi +n\right) >0\) and then for \(x>0,\)
Proof
Denoting the left-hand side of theorem by \(\mathcal {I}_{7}\) and using (2.1) ,we get
Interchanging the integration and summation gives,
Now using (3.2) and the definition of Pochhammer symbol,
Using the definition of Fox-Wright function (2.3), we obtained the required result. \(\square \)
Theorem 8
For \(\xi ,\sigma \in \mathbb {C}\) with \(\mathfrak {R}\left( \xi +\sigma \right)>0,\mathfrak {R}\left( \xi +n\right) >0\) then for \(x>0\)
Proof
Taking left-hand side of theorem by \(\mathcal {I}_{8}\) and using ( ), we get
Interchanging the integration and summation gives,
Now using (3.2) and the definition of Pochhammer symbol (2.2),
Using the definition of Fox-Wright function (2.3), we obtained the desired result. \(\square \)
4 Concluding Remark and Discussion
The fractional calculus and the integral formulae of the newly defined generalized multiindex Bessel function are investigated here. Various special cases of the derived results in the paper can be evaluate by taking suitable values of parameters involved. For example, if we set \(c=-1\) and \(b=1\) in (2.1), we immediately obtain the result due to Choi and Agarwal [3]:
For various other special cases we refer [3, 20, 21] and we left results for the interested readers.
References
Abouzaid, M.S., Abusufian, A.H., Nisar, K.S.: Some unified integrals associated with generalized Bessel-Maitland function. Int. Bull. Math. Res. IBMR 3(1), 18–23 (2016)
Choi, J., Agarwal, P.: Certain unified integrals associated with Bessel functions. Bound. Value Probl. 2013, 95 (2013)
Choi, J., Agarwal, P.: A note on fractional integral operator associated multiindex Mittag-Leffler functions. Filomat 30(7), 1931–1939 (2016)
Choi, J., Agarwal, P., Mathur, S., Purohit, S.D.: Certain new integral formulas involving the generalized Bessel functions. Bull. Korean Math. Soc. 51(4), 995–1003 (2014)
Choi, J., Kumar, D., Purohit, S.D.: Integral formulas involving a product of generalized Bessel functions of the first kind. Kyungpook Math. J. 56(2), 131–136 (2016)
Fox, C.: The asymptotic expansion of generalized hypergeometric functions. Proc. London Math. Soc. 27(2), 389–400 (1928)
Garg, M., Mittal, S.: On a new unified integral. Proc. Indian Acad. Sci. Math. Sci. 114(2), 99–101 (2003)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematical Studies, vol. 204. Elsevier (North-Holland) Science (2006)
Lavoie, J.L., Trottier, G.: On the sum of certain Appell’s series. Ganita 20(1), 31–32 (1969)
Menaria, N., Baleanu, D., Purohit, S.D.: Integral formulas involving product of general class of polynomials and generalized Bessel function. Sohag J. Math. 3(2), 77–81 (2016)
Menaria, N., Nisar, K.S., Purohit, S.D.: On a new class of integrals involving product of generalized Bessel function of the first kind and general class of polynomials. Acta Univ. Apulensis, Math. Inform. 46, 97–105 (2016)
Menaria, N., Purohit, S.D., Parmar, R.K.: On a new class of integrals involving generalized Mittag-Leffler function. Surv. Math. Appl. 11, 1–9 (2016)
Nisar, K.S., Mondal, S.R.: Certain unified integral formulas involving the generalized modified \(k\)-Bessel function of the first kind. Commun. Korean Math. Soc. 32(1), 47–53 (2017)
Nisar, K.S., Parmar, R.K., Abusufian, A.H.: Certain new unified Integrals associated with the generalized \(k\)-Bessel function. Far East J. Math. Sci. 100(9), 1533–1544 (2016)
Nisar, K.S., Agarwal, P., Jain, S.: Some unified integrals associated with Bessel-Struve kernel function. arXiv:1602.01496v1 [math.CA]
Oberhettinger, F.: Tables of Mellin Transforms. Springer-Verlag, New York (1974)
Rakha, M.A., Rathie, A.K., Chaudhary, M.P., Ali, S.: On a new class of integrals involving hypergeometric function. J. Inequal. Spec. Funct. 3(1), 10–27 (2012)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives. Theory and Applications. Gordon and Breach, New York (1993)
Srivastava, H.M., Choi, J.: Zeta and \(q\)-Zeta Functions and Associated Series and Integrals. Elsevier Science Publishers, Amsterdam, London and New York (2012)
Suthar, D.L., Purohit, S.D., Parmar, R.K.: Generalized fractional calculus of the multiindex Bessel function. Math. Nat. Sci. 1, 26–32 (2017)
Suthar, D.L., Tsagye, T.: Riemann-Liouville fractional integrals and differential formula involving Multiindex Bessel-function. Math. Sci. Lett. 6, 1–5 (2017)
Wright, E.M.: The asymptotic expansion of the generalized hypergeometric functions. J. London Math. Soc. 10, 286–293 (1935)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Ethics declarations
The authors declare that there is no conflict of interests regarding the publication of this paper.
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Nisar, K.S., Purohit, S.D., Suthar, D.L., Singh, J. (2019). Fractional Order Integration and Certain Integrals of Generalized Multiindex Bessel Function. In: Singh, J., Kumar, D., Dutta, H., Baleanu, D., Purohit, S. (eds) Mathematical Modelling, Applied Analysis and Computation. ICMMAAC 2018. Springer Proceedings in Mathematics & Statistics, vol 272. Springer, Singapore. https://doi.org/10.1007/978-981-13-9608-3_10
Download citation
DOI: https://doi.org/10.1007/978-981-13-9608-3_10
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-9607-6
Online ISBN: 978-981-13-9608-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)