Abstract
We establish fractional integral and derivative formulas by using fractional calculus operators involving the extended generalized Mathieu series. Next, we develop their composition formulas by applying the integral transforms. Finally, we discuss special cases.
Similar content being viewed by others
1 Introduction and preliminaries
Fractional calculus is a very rapidly growing subject of mathematics which deals with the study of fractional order derivatives and integrals. Fractional calculus is an efficient tool to study many complex real world systems [1]. It is demonstrated that the fractional order representation of complex processes appearing in various fields of science, engineering and finance, provides a more realistic approach with memory effects to study these problems (see e.g. [2–13]). Among the research work developing the theory of fractional calculus and presenting some applications, we point out some literature. Kumar et al. [14] analyzed the fractional model of a modified Kawahara equation by using a newly introduced Caputo–Fabrizio fractional derivative. One also [15] studied a heat transfer problem and presented a new non-integer model for convective straight fins with temperature-dependent thermal conductivity associated with Caputo–Fabrizio fractional derivative. Recently, one [16] presented a new fractional extension of regularized long wave equation by using an Atangana–Baleano fractional operator. In [17] one introduced a new numerical scheme for a fractional Fitzhugh–Nagumo equation arising in the transmission of new impulses. In [18] one constituted a modified numerical scheme to study fractional model of Lienard’s equations. Hajipour et al. [19] formulated a new scheme for a class of fractional chaotic systems. Baleanu et al. [20] proposed a new formulation of the fractional control problems involving a Mittag-Leffler non-singular kernel. In another work, Baleanu et al. [21] studied the motion of a bead sliding on a wire in a fractional analysis. Jajarmi et al. [22] analyzed a hyperchaotic financial system and its chaos control and synchronization by using fractional calculus.
For mathematical modeling of many complex problems appearing in various fields of science and engineering such as fluid dynamics, plasma physics, astrophysics, image processing, stochastic dynamical system, controlled thermonuclear fusion, nonlinear control theory, nonlinear biological systems, quantum physics and heat transfer problems, the fractional calculus operators involving various special functions have been used successfully. There is a rich literature available revealing the notable development in fractional order derivatives and integrals (see [1, 10, 11, 23–28]). Recently, Caputo and Fabrizio [29] introduced a new fractional derivative which is more suitable than the classical Caputo fractional derivative for many engineering and thermodynamical processes. Atangana [30] used a new fractional derivative to study the nature of Fisher’s reaction diffusion equation. Riemann and Caputo fractional derivative operators both have a singular kernel which cannot exactly represent the complete memory effect of the system. To overcome these limitations of the old derivatives, very recently Atangana and Baleanu [31] presented a new non-integer order derivative having a non-local, non-singular and Mittag-Leffler type kernel.
In recent years, many researchers have extensively studied the properties, applications and extensions of various fractional integral and differential operators involving the various special functions (for details, see [25, 32–42], etc.).
The image formulas for special functions of one or more variables are very useful in the evaluation and solution of differential and integral equations. Motivated by the above discussion, we developed new fractional calculus formulas involving extended generalized Mathieu series.
For our present study, we recall the generalized hypergeometric fractional integrals, introduced by Marichev [43], including the Saigo operators [37–39], and which were later on extended by Saigo and Maeda [40].
The generalized fractional calculus operators (the Marchichev–Saigo–Maeda operators) involving the Appell function or the Horn \(F_{3}(\cdot)\) function in the kernel are defined thus.
Definition 1
Let \(\sigma, \sigma', \nu, \nu',\eta\in\mathbb{C}\) and \(x>0\), then, for \(\Re(\eta)>0\),
and
where the function \(f(t)\) is so constrained that the integrals in (1.1) and (1.2) exist.
In (1.1) and (1.2), \(F_{3}(\cdot)\) denotes Appell’s hypergeometric function [44] in two variables defined as
The above fractional integral operators in Eqs. (1.1) and (1.2) can be written as follows:
and
Remark 1
The Appell function defined in Eq. (1.3) reduces to the Gauss hypergeometric function \({}_{2}F_{1}\) as given in following relations:
also we have
and
The corresponding Saigo–Maeda fractional differential operators are given as follows.
Definition 2
Let \(\sigma, \sigma',\nu, \nu',\eta\in\mathbb{C}\) and \(x>0\), then
and
In view of the above reduction formula as given in Eq. (1.7), the general fractional calculus operators reduce to the Saigo operators [37] defined as follows.
Definition 3
For \(x>0\), \(\sigma, \nu, \eta\in\mathbb{C}\) and \(\Re(\sigma)>0\)
and
where \({}_{2}F_{1}(\cdot)\), a special case of the generalized hypergeomteric function, is the Gauss hypergeometric function and the function \(f(t)\) is so constrained that the integrals in Eqs. (1.11) and (1.12) converge.
Remark 2
The Saigo fractional integral operators, given in Eqs. (1.11) and (1.12) can also be written as:
For \(x>0\), \(\sigma, \nu, \eta\in\mathbb{C}\)
and
And the corresponding Saigo fractional differential operators are defined as:
Definition 4
Let \(\sigma, \nu,\eta\in\mathbb{C}\) and \(x>0\), then
and
where \([x]\) denotes the greatest integer function.
If we take \(\nu=0\) in Eqs. (1.11), (1.12), (1.15) and (1.16) we get the so-called Erdélyi–Kober fractional integral and derivative operators defined as follows [45, 46].
Definition 5
For \(x>0\), \(\sigma, \eta\in\mathbb{C}\) with \(\Re (\sigma)> 0\) [11, 26]
and
provided that the integrals in (1.17) and (1.18) converge.
The corresponding derivative operators are defined as follows.
Definition 6
For \(x>0\), \(\sigma, \eta\in\mathbb{C}\) with \(\Re (\sigma)> 0\) (see [11, 26])
and
When \(\nu=-\sigma\), the operators in Eqs. (1.11), (1.12), (1.15) and (1.16) give the Riemann–Liouville and the Weyl fractional integral operators (see [45, 47]) are defined as follows.
Definition 7
For \(x>0\), \(\sigma\in\mathbb{C}\) with \(\Re(\sigma )> 0\)
and
provided both integrals converge.
The corresponding derivative operators are defined as follows.
Definition 8
For \(x>0\), \(\sigma\in\mathbb{C}\) with \(\Re(\sigma )> 0\)
and
For details of such operators along with their properties and applications one may refer to [11, 26, 45, 48, 49].
Power function formulas of the above discussed fractional operators are required for our present study as given in the following lemmas [37, 40, 50].
Lemma 1
Let σ, \(\sigma'\), ν, \(\nu'\), η and \(\rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\eta)>0\); then the following formulas hold true:
and
Lemma 2
Let \(\sigma, \sigma', \nu, \nu', \eta\) and \(\rho\in\mathbb{C}, x>0\) be such that \(\Re(\eta)>0\), then the following formulas hold true:
and
Lemma 3
Let \(\sigma, \nu, \eta, \rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\sigma)>0\), then the following formulas hold true:
and
Lemma 4
Let \(\sigma, \nu, \eta, \rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\sigma)>0\), then the following formulas hold true:
and
Lemma 5
Let \(\sigma, \eta, \rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\sigma)>0\), then the following formulas hold true:
and
Lemma 6
Let \(\sigma, \eta, \rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\sigma)>0\), then the following formulas hold true:
and
Lemma 7
Let \(\sigma, \rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\sigma)>0\), then the following formulas hold true:
and
Lemma 8
Let \(\sigma, \rho\in\mathbb{C}\), \(x>0\) be such that \(\Re(\sigma)>0\), then the following formulas hold true:
and
2 Mathieu series and its generalizations
In 1890 Mathieu introduced and investigated the infinite series of the form
in his work [51] on elasticity of solid bodies; it is known as the Mathieu series.
Integral representations of \(S(r)\) are given by (see [52, 53])
A generalized form of the Mathieu series with a fractional power is defined as
and it has been extensively studied by Cerone and Lenard [54], Diananda [55], Tomovski and Trencevski [56] and Pogány et al. [53].
Recently, Tomovski and Pogány [57] studied the several integral representations of the generalized fractional order Mathieu-type power series (see also [58])
and
Srivastava and Tomovski in [59] defined a family of more generalized Mathieu series as
where the positive sequence
is so chosen that the infinite series
is convergent.
Also from Eqs. (2.1), (2.3) and (2.6), we see that
and furthermore the special cases
of the Mathieu series were investigated by Cerone and Lenard [54], Diananda [55] and Tomovski [60]. For more details one may refer to [53, 56, 57, 59, 61–64].
Recently, Tomovski and Mehrez [65], considered a power series defined as
and
The concept of the Hadamard product (or the convolution) of two analytic functions is very useful in our present study. It can help us to decompose a newly emerging function into two known functions. Let
and
be two power series whose radii of convergence are denoted by \(R_{f}\) and \(R_{g}\), respectively. Then their Hadamard product is the power series defined by
where
therefore, in general, we have \(R\geq R_{f} . R_{g}\) [66, 67]. For various investigations involving the Hadamard product (or the convolution), the interested reader may refer to recent papers on the subject (see, for example, [68, 69] and the references cited therein).
Also we require the Fox–Wright function \({}_{p}\Psi_{q}(z)\) (\(p,q\in \mathbb{N}_{0}\)) with p numerator and q denominator parameters defined for \(a_{1},\ldots,a_{p} \in\mathbb{C}\) and \(b_{1},\ldots,b_{q} \in \mathbb{C} \setminus\mathbb{Z}_{0}^{-}\) by (for details see [11, 26, 44, 45])
where the coefficients \(\alpha_{1},\ldots,\alpha_{p}, \beta_{1},\ldots,\beta _{q}\in\mathbb{R}^{+}\) are such that
For \(\alpha_{i}=\beta_{j}=1\) (\(i=1,\ldots,p\); \(j=1,\ldots,q\)), Eq. (2.15) reduces immediately to the generalized hypergeometric function \({}_{p}F_{q}\) (\(p,q\in\mathbb{N}_{0}\)) (see [44]):
3 Fractional integration of extended generalized Mathieu series
In this section, we present certain fractional integral formulas involving the extended generalized Mathieu series \(S_{\mu,\lambda }^{(\alpha, \beta)}(r,a;z)\) by using fractional integral operators.
Theorem 1
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\sigma+\sigma'+\nu-\eta ),\Re(\sigma'-\nu')\}\) then the following fractional integral formula holds true:
Proof
Using the definition (2.8) and then interchanging the order of integration and summation, we get
applying the result (1.25), Eq. (3.2) reduces to
after a little simplification, Eq. (3.3) reduces to
By applying the Hadamard product (2.13) in Eq. (3.4), which, in view of (2.8) and (2.15), gives the required result (3.1). □
Theorem 2
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta, \mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(-\nu),\Re(\sigma+\sigma '-\eta),\Re(\sigma+\nu'-\eta)\}\) then the following fractional integral formula holds true:
Proof
The proof of Theorem 2 is similar to that of Theorem 1. □
3.1 Special cases
Here we present some special cases by choosing suitable values of the parameters σ, \(\sigma'\), ν, \(\nu'\) and η. If we put \(\sigma=\sigma+\nu\), \(\sigma'=\nu'=0\), \(\nu=-\eta\), \(\eta=\sigma\) in Theorems 1 and 2, we get certain interesting results concerning the Saigo fractional integral operators given by the following corollaries.
Corollary 1
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\nu-\eta)\}\) then the following fractional integral formula holds true:
Corollary 2
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(\nu),\Re(\eta)\}\) then the following fractional integral formula holds true:
Further, if we put \(\nu=0\) in (3.6) and (3.7) then these Saigo fractional integrals reduce to the following Erdélyi–Kober type fractional integral operators.
Corollary 3
Let \(x>0\), \(\sigma, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+\xi n)>-\Re(\eta)\) then the following fractional integral formula holds true:
Corollary 4
Let \(x>0\), \(\sigma, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-\xi n)<1+\Re(\eta)\) then the following fractional integral formula holds true:
Further, if we put \(\nu=-\sigma\) in (3.6) and (3.7), then these Saigo fractional integrals reduce to the Riemann–Liouville and the Weyl type fractional integral operators as given in the following results.
Corollary 5
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+\xi n)>0\) then the following fractional integral formula holds true:
Corollary 6
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(1-\Re(\rho-\xi n)>\Re(\sigma)>0\) then the following fractional integral formula holds true:
If we put \(\xi=1\) in (3.1), (3.5), (3.6), (3.7), (3.8), (3.9), (3.10) and (3.11) then we get the following results.
Corollary 7
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in \mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+n)>\max\{0,\Re(\sigma+\sigma'+\nu-\eta),\Re (\sigma'-\nu')\}\) then the following fractional integral formula holds true:
Corollary 8
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in \mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-n)<1+\min\{\Re(-\nu),\Re(\sigma+\sigma'-\eta ),\Re(\sigma+\nu'-\eta)\}\) then the following fractional integral formula holds true:
Corollary 9
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+n)>\max\{0,\Re(\nu-\eta)\}\) then the following fractional integral formula holds true:
Corollary 10
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-n)<1+\min\{\Re(\nu),\Re(\eta)\}\) then the following fractional integral formula holds true:
Corollary 11
Let \(x>0\), \(\sigma, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+n)>-\Re(\eta)\) then the following fractional integral formula holds true:
Corollary 12
Let \(x>0\), \(\sigma, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-n)<1+\Re(\eta)\) then the following fractional integral formula holds true:
Corollary 13
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+n)>0\) then the following fractional integral formula holds true:
Corollary 14
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(1-\Re(\rho-n)>\Re(\sigma)>0\) then the following fractional integral formula holds true:
4 Fractional differentiation of extended generalized Mathieu series
In this section we present certain fractional differential formulas involving the extended generalized Mathieu series \(S_{\mu,\lambda }^{(\alpha, \beta)}(r,a;z)\) by using fractional differential operators.
Theorem 3
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\eta-\sigma-\sigma'-\nu '),\Re(\nu-\sigma)\}\) then the following fractional derivative formula holds true:
Proof
For convenience, we denote the left-hand side of the result (4.1) by \(\mathscr{D}\). Then by using (2.8) and then changing the order of differentiation and summation, we get
Applying the result (1.27), Eq. (4.2) reduces to
after simplification, Eq. (4.3) reduces to
and interpreting the above equation, from the point of view of (2.8), (2.13) and (2.15), we have the required result. □
Theorem 4
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(\nu'),\Re(\eta-\sigma -\sigma'),\Re(\eta-\sigma'-\nu)\}\) then the following fractional derivative formula holds true:
Proof
The proof of Theorem 4 is similar to that of Theorem 3. □
4.1 Special cases
Here we present some special cases by choosing suitable values of the parameters σ, \(\sigma'\), ν, \(\nu'\) and η. If we put \(\sigma=\sigma+\nu\), \(\sigma'=\nu'=0\), \(\nu=-\eta\), \(\eta=\sigma\) in Theorems 3 and 4, we get certain interesting results concerning the Saigo fractional differential operator given in the following corollaries.
Corollary 15
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+\xi n)>-\min\{0,\Re(\sigma+\nu+\eta)\}\) then the following fractional derivative formula holds true:
Corollary 16
Let \(x>0,\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}; |1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(-\nu-n^{*}),\Re(\eta +\sigma)\}\) where \(n^{*}=[\Re(\sigma)]+1\) then the following fractional derivative formula holds true:
Further, if we put \(\nu=0\) in (4.6) and (4.7) then these Saigo fractional differential formulas reduce to the following fractional differential formulas.
Corollary 17
Let \(x>0\), \(\sigma, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+\xi n)>-\Re(\eta+\sigma)\) then the following fractional derivative formula holds true:
Corollary 18
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-\xi n)<1+\Re(\eta+\sigma)-n^{*}\) where \(n^{*}=[\Re(\sigma)]+1\) then the following fractional derivative formula holds true:
Further, if we put \(\nu=-\sigma\) in (4.6) and (4.7), then these Saigo fractional derivatives reduce to the following Riemann–Liouville and the Weyl type fractional derivative formulas.
Corollary 19
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+\xi n)>\Re(\sigma)>0\) then the following fractional derivative formula holds true:
Corollary 20
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\rho-\xi n)<1+\Re(\sigma)-n^{*}\) where \(n^{*}=[\Re(\sigma)]+1\) then the following fractional derivative formula holds true:
If we put \(\xi=1\) in Theorems 3, 4 and corollaries (4.6), (4.7), (4.8), (4.9), (4.10) and (4.11), we get interesting results given in the following corollaries.
Corollary 21
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in \mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+n)>\max\{0,\Re(\eta-\sigma-\sigma'-\nu'),\Re (\nu-\sigma)\}\) then the following fractional derivative formula holds true:
Corollary 22
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in \mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-n)<1+\min\{\Re(\nu'),\Re(\eta-\sigma-\sigma '),\Re(\eta-\sigma'-\nu)\}\) then the following fractional integral formula holds true:
Corollary 23
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+n)>-\min\{0,\Re(\eta+\sigma+\nu)\}\) then the following fractional derivative formula holds true:
Corollary 24
Let \(x>0\), \(\sigma, \nu, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-n)<1+\min\{\Re(-\nu-n^{*}),\Re(\eta+\sigma )\}\) where \(n^{*}=[\Re(\sigma)]+1\) then the following fractional derivative formula holds true:
Corollary 25
Let \(x>0\), \(\sigma, \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+n)>-\Re(\eta+\sigma)\) then the following fractional derivative formula holds true:
Corollary 26
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho-n)<1+\Re(\eta+\sigma)-n^{*}\) where \(n^{*}=[\Re (\sigma)]+1\) then the following fractional derivative formula holds true:
Corollary 27
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\sigma)>0\) and \(\Re(\rho+n)>\Re(\sigma)>0\) then the following fractional derivative formula holds true:
Corollary 28
Let \(x>0\), \(\sigma, \rho\in\mathbb{C}\) and \(r,\alpha ,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\rho-n)<1+\Re(\sigma)-n^{*}\) where \(n^{*}=[\Re(\sigma)]+1\) then the following fractional derivative formula holds true:
5 Integral transform formulas of the extended generalized Mathieu series
In this section, we establish certain theorems involving the results obtained in the previous sections associated with the integral transforms like the beta transform, the Laplace transform and the Whittaker transform.
5.1 Beta transform
Definition 9
The beta transform of the function \(f(z)\) is defined as [70]:
Theorem 5
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\sigma+\sigma'+\nu-\eta ),\Re(\sigma'-\nu')\}\) then the following formula holds:
Proof
In order to prove (5.2), we use the definition of the beta transform as given in Eq. (5.1), to get
Applying the result (1.25), Eq. (5.3) reduces to
Interchanging the order of integration and summation, we have
After a little simplification, we have
By applying the Hadamard product (2.13) in Eq. (5.6), which in view of (2.8) and (2.15), gives the required result (5.2). □
Theorem 6
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(-\nu),\Re(\sigma+\sigma '-\eta),\Re(\sigma+\nu'-\eta)\}\) then the following formula holds:
Proof
The proof of Theorem 6 is similar to as that of Theorem 5, therefore, we omit the details. □
Theorem 7
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\eta-\sigma-\sigma'-\nu '),\Re(\nu-\sigma)\}\) then the following formula holds:
Proof
In order to prove (5.8), we use definition of beta transform as given in Eq. (5.1), we get
applying the result (1.27), Eq. (5.9) reduces to
Interchanging the order of integration and summation, we have
After a little simplification, we have
Applying the Hadamard product (2.13) in Eq. (5.12), in view of (2.8) and (2.15), gives the required result (5.8). □
Theorem 8
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(\nu'),\Re(\eta-\sigma -\sigma'),\Re(\eta-\sigma'-\nu)\}\) then the following formula holds:
Proof
The proof of Theorem 8 is similar to as that of Theorem 7. Therefore, we omit the details. □
5.2 Laplace transform
Definition 10
The Laplace transform of \(f(z)\) is defined as [70, 71]:
Theorem 9
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta, \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\sigma+\sigma'+\nu-\eta ),\Re(\sigma'-\nu')\}\) then the following formula holds:
Proof
In order to prove (5.15), we use definition of the Laplace transform as given in Eq. (5.14), to get
and applying the result (1.25) and interchanging the order of integration and summation, Eq. (5.16) reduces to
After a little simplification, we have
and interpreting the above equation, from the point of view of (2.13), (2.8) and (2.15), we have the required result. □
Theorem 10
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(-\nu),\Re(\sigma+\sigma '-\eta),\Re(\sigma+\nu'-\eta)\}\) then the following formula holds:
Proof
The proof of Theorem 10 is similar to that of Theorem 9. Therefore, we omit the details. □
Theorem 11
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\eta-\sigma-\sigma'-\nu '),\Re(\nu-\sigma)\}\) then the following formula holds:
Proof
In order to prove (5.20), we use definition of the Laplace transform as given in Eq. (5.14), we get
applying the result (1.27), Eq. (5.21) reduces to
Interchanging the order of integration and summation, we have
After a little simplification we have
and interpreting the above equation, in the view of of (2.13), (2.8) and (2.15), we have the required result. □
Theorem 12
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(\nu'),\Re(\eta-\sigma -\sigma'),\Re(\eta-\sigma'-\nu)\}\) then the following formula holds:
Proof
The proof of the Theorem 12 would run parallel to Theorem 11. Therefore, we omit the details. □
5.3 Whittaker transform
Definition 11
The Whittaker transform is defined as [70]
Theorem 13
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\sigma+\sigma'+\nu-\eta ),\Re(\sigma'-\nu')\}\) then the following formula holds:
Proof
To prove (5.27), by using the definition of the Whittaker transform and by using the result obtained in Eq. (3.4), we have
By substituting \(\delta z = y\) and after a little simplification, we have
By using the integral formula involving the Whittaker function, we have
and interpreting the above equation, from the point of view of (2.13), (2.8) and (2.15), we have the required result. □
Theorem 14
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(-\nu),\Re(\sigma+\sigma '-\eta),\Re(\sigma+\nu'-\eta)\}\) then the following formula holds:
Proof
The proof of Theorem 14 would run parallel to Theorem 13. Therefore, we omit the details. □
Theorem 15
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho+\xi n)>\max\{0,\Re(\eta-\sigma-\sigma'-\nu '),\Re(\nu-\sigma)\}\) then the following formula holds:
Proof
To prove (5.32), by using the definition of the Whittaker transform as given in Eq. (5.26) and by using the result obtained in Eq. (4.4), we have
By putting \(\delta z = y\) and after a little simplification, we have
By using the definition of the Whittaker transform, we have
and interpreting the above equation, from the point of view of (2.13), (2.8) and (2.15), we get the required result. □
Theorem 16
Let \(x>0\), \(\sigma, \sigma', \nu, \nu', \eta , \rho\in\mathbb{C}\) and \(r,\alpha,\beta,\mu\in\mathbb{R}^{+}\); \(|1/t|\leq1\) be such that \(\Re(\eta)>0\) and \(\Re(\rho-\xi n)<1+\min\{\Re(\nu'),\Re(\eta-\sigma -\sigma'),\Re(\eta-\sigma'-\nu)\}\). Then the following formula holds:
Proof
The proof of Theorem 16 would run parallel to Theorem 15. Therefore, we omit the details. □
6 Conclusion
The applications of fractional integral and differential formulas in communication theory, probability theory and groundwater pumping modeling were showed by many authors. Therefore, the fractional integral and differential formulas (of Marichev–Saigo–Maeda type) involving the extended generalized Mathieu series established in this paper will be very useful in the application point of view. Also, we expect to find some applications in obtaining the solutions of differential equations.
References
Hilfer, R.: Applications of Fractional Calculus in Physics, pp. 87–130. World Scientific, Singapore (2000)
Magin, R.L.: Fractional calculus in bioengineering, part 1. Crit. Rev. Biomed. Eng. 32(1), 1–104 (2004)
Srivastava, H.M., Kumar, D., Singh, J.: An efficient analytical technique for fractional model of vibration equation. Appl. Math. Model. 45, 192–204 (2017)
Benson, D.A., Meerschaert, M.M., Revielle, J.: Fractional calculus in hydrologic modeling: a numerical perspective. Adv. Water Resour. 51, 479–497 (2013)
Abdelkawy, M.A., Zaky, M.A., Bhrawy, A.H., Baleanu, D.: Numerical simulation of time variable fractional order mobile–immobile advection–dispersion model. Rom. Rep. Phys. 67(3), 773–791 (2015)
Zhao, J., Zheng, L., Chen, X., Zhang, X., Liu, F.: Unsteady Marangoni convection heat transfer of fractional Maxwell fluid with Cattaneo heat flux. Appl. Math. Model. 44, 497–507 (2017)
Moghaddam, B.P., Machado, J.A.T.: A stable three-level explicit spline finite difference scheme for a class of nonlinear time variable order fractional partial differential equations. Comput. Math. Appl. 73(6), 1262–1269 (2017)
Sin, C.S., Zheng, L., Sin, J.S., Liu, F., Liu, L.: Unsteady flow of viscoelastic fluid with the fractional K-BKZ model between two parallel plates. Appl. Math. Model. 47, 114–127 (2017)
Razminia, A., Baleanu, D., Majd, V.J.: Conditional optimization problems: fractional order case. J. Optim. Theory Appl. 156(1), 45–55 (2013)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus: Models and Numerical Methods. World Scientific, Berlin (2012)
Huang, L.L., Baleanu, D., Wu, G.C., Zeng, S.D.: A new application of the fractional logistic map. Rom. J. Phys. 61(7–8), 1172–1179 (2016)
Kumar, D., Singh, J., Baleanu, D.: Modified Kawahara equation within a fractional derivative with non-singular kernel. Therm. Sci. (2017). https://doi.org/10.2298/TSCI160826008K
Kumar, D., Singh, J., Baleanu, D.: A new fractional model for convective straight fins with temperature-dependent thermal conductivity. Therm. Sci. (2017). https://doi.org/10.2298/TSCI170129096K
Kumar, D., Singh, J., Baleanu, D., Sushila: Analysis of regularized long-wave equation associated with a new fractional operator with Mittag-Leffler type kernel. Physica A 492, 155–167 (2018)
Kumar, D., Singh, J., Baleanu, D.: New numerical algorithm for fractional Fitzhugh–Nagumo equation arising in transmission of nerve impulses. Nonlinear Dyn. 91, 307–317 (2018)
Kumar, D., Agarwal, R.P., Singh, J.: A modified numerical scheme and convergence analysis for fractional model of Lienard’s equation. J. Comput. Appl. Math. (2017). https://doi.org/10.1016/j.cam.2017.03.011
Hajipour, M., Jajarmi, A., Baleanu, D.: An efficient nonstandard finite difference scheme for a class of fractional chaotic systems. J. Comput. Nonlinear Dyn. 13(2), Article ID 021013 (2017)
Baleanu, D., Jajarmi, A., Hajipour, M.: A new formulation of the fractional optimal control problems involving Mittag-Leffler nonsingular kernel. J. Optim. Theory Appl. 175(3), 718–737 (2017)
Baleanu, D., Jajarmi, A., Asad, J.H., Blaszczyk, T.: The motion of a bead sliding on a wire in fractional sense. Acta Phys. Pol. A 131(6), 1561–1564 (2017)
Jajarmi, A., Hajipour, M., Baleanu, D.: New aspects of the adaptive synchronization and hyperchaos suppression of a financial model. Chaos Solitons Fractals 99, 285–296 (2017)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Baleanu, D., Guvenc, Z.B., Machado, J.A.T. (eds.): New Trends in Nanotechnology and Fractional Calculus Applications. Springer, Dordrecht (2010)
Kiryakova, V.: Generalized Fractional Calculus and Applications. Pitman Research Notes in Mathematics Series, vol. 301. Longman, Harlow (1994)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)
Yang, X.J., Srivastava, H.M., Machado, J.A.T.: A new fractional derivative without singular kernel: application to the modelling of the steady heat flow. Therm. Sci. 20, 753–756 (2016)
Caputo, M.: Elasticita e Dissipazione. Zani-Chelli, Bologna (1969)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1, 73–85 (2015)
Atangana, A.: On the new fractional derivative and application to nonlinear Fisher’s reaction–diffusion equation. Appl. Math. Comput. 273, 948–956 (2016)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20, 763–769 (2016)
McBride, A.C.: Fractional powers of a class of ordinary differential operators. Proc. Lond. Math. Soc. (3) 45, 519–546 (1982)
Kalla, S.L.: Integral operators involving Fox’s H-function I. Acta Mex. Cienc. Tecnol. 3, 117–122 (1969)
Kalla, S.L.: Integral operators involving Fox’s H-function II. Acta Mex. Cienc. Tecnol. 7, 72–79 (1969)
Kalla, S.L., Saxena, R.K.: Integral operators involving hypergeometric functions. Math. Z. 108, 231–234 (1969)
Kalla, S.L., Saxena, R.K.: Integral operators involving hypergeometric functions II. Rev. Univ. Nac. Tucumán Ser. A 24, 31–36 (1974)
Saigo, M.: A remark on integral operators involving the Gauss hypergeometric functions. Math. Rep. Kyushu Univ. 11, 135–143 (1978)
Saigo, M.: A certain boundary value problem for the Euler–Darboux equation I. Math. Jpn. 24(4), 377–385 (1979)
Saigo, M.: A certain boundary value problem for the Euler–Darboux equation II. Math. Jpn. 25(2), 211–220 (1980)
Saigo, M., Maeda, N.: More generalization of fractional calculus. In: Transform Methods and Special Functions, pp. 386–400 (1996)
Kiryakova, V.: A brief story about the operators of the generalized fractional calculus. Fract. Calc. Appl. Anal. 11(2), 203–220 (2008)
Baleanu, D., Kumar, D., Purohit, S.D.: Generalized fractional integrals of product of two H-functions and a general class of polynomials. Int. J. Comput. Math. (2015). https://doi.org/10.1080/00207160.2015.1045886
Marichev, O.I.: Volterra equation of Mellin convolution type with a Horn function in the kernel. Izv. Akad. Nauk. BSSR, Ser. Fiz.-Mat. Nauk 1, 128–129 (1974) (in Russian)
Srivastava, H.M., Karlson, P.W.: Multiple Gaussian Hypergeometric Series. Halsted Press, Chichester; Wiley, New York (1985)
Mathai, A.M., Saxena, R.K., Haubold, H.J.: The H-Functions: Theory and Applications. Springer, New York (2010)
Kober, H.: On fractional integrals and derivatives. Q. J. Math. 11, 193–212 (1940)
Oldham, K.B., Spanier, J.: The Fractional Calculus: Theory and Applications of Differentiation and Integration of Arbitrary Order. Academic Press, New York (1974)
Kiryakova, V.S.: Generalized Fractional Calculus and Applications. Pitman Research Notes in Mathematics Series. Longman, Harlow; Wiley, New York (1993)
Srivastava, H.M., Saxena, R.K.: Operators of fractional integration and their applications. Appl. Math. Comput. 118, 1–52 (2001)
Saxena, R.K., Saigo, M.: Generalized fractional calculus of the H-function associated with the Appell function. J. Fract. Calc. 19, 89–104 (2001)
Mathieu, E.L.: Traité de Physique Mathématique, VI–VII: Théorie de L’élasticité des Corps Solides. Gauthier-Villars, Paris (1890)
Emersleben, O.: Uber die Reihe. Math. Ann. 125, 165–171 (1952)
Pogány, T.K., Srivastava, H.M., Tomovski, Ž.: Some families of Mathieu a-series and alternating Mathieu a-series. Appl. Math. Comput. 173, 69–108 (2006)
Cerone, P., Lenard, C.T.: On integral forms of generalized Mathieu series. JIPAM. J. Inequal. Pure Appl. Math. 4, Article ID 100 (2003)
Diananda, P.H.: Some inequalities related to an inequality of Mathieu. Math. Ann. 250, 95–98 (1980)
Tomovski, Ž., Trencevski, K.: On an open problem of Bai-Ni Guo and Feng Qi. J. Inequal. Pure Appl. Math. 4(2), Article ID 29 (2003)
Tomovski, Ž., Pogány, T.K.: Integral expressions for Mathieu-type power series and for the Butzer–Flocke–Hauss Ω-function. Fract. Calc. Appl. Anal. 14(4), 623–634 (2011)
Milovanović, G.V., Pogány, T.K.: New integral forms of generalized Mathieu series and related applications. Appl. Anal. Discrete Math. 7, 180–192 (2013)
Srivastava, H.M., Tomovski, Ž.: Some problems and solutions involving Mathieu’ series and its generalizations. J. Inequal. Pure Appl. Math. 5(2), Article ID 45 (2004)
Tomovski, Ž.: New double inequality for Mathieu series. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. 15, 79–83 (2004)
Elezovic, N., Srivastava, H.M., Tomovski, Ž.: Integral representations and integral transforms of some families of Mathieu type series. Integral Transforms Spec. Funct. 19(7), 481–495 (2008)
Srivastava, H.M., Tomovski, Ž., Leskovski, D.: Some families of Mathieu-type series and Hurwitz–Lerch Zeta functions and associated probability distributions. Appl. Comput. Math. 14(3), 349–380 (2015)
Tomovski, Ž.: Integral representations of generalized Mathieu series via Mittag-Leffler type functions. Fract. Calc. Appl. Anal. 10(2), 127–138 (2007)
Tomovski, Ž.: New integral and series representations of the generalized Mathieu series. Appl. Anal. Discrete Math. 2(2), 205–212 (2008)
Tomovski, Ž., Mehrez, M.: Some families of generalized Mathieu-type power series, associated probability distributions and related functional inequalities involving complete monotonicity and log-convexity. Math. Inequal. Appl. 20(4), 973–986 (2017)
Kiryakova, V.: On two Saigo’s fractional integral operators in the class of univalent functions. Fract. Calc. Appl. Anal. 9, 159–176 (2006)
Pohlen, T.: The Hadamard product and universal power series. Ph.D. thesis, Universität Trier, Trier, Germany (2009)
Srivastava, H.M., Agarwal, R., Jain, S.: Integral transform and fractional derivative formulas involving the extended generalized hypergeometric functions and probability distributions. Math. Methods Appl. Sci. 40, 255–273 (2017)
Srivastava, H.M., Agarwal, R., Jain, S.: A family of the incomplete hypergeometric functions and associated integral transform and fractional derivative formulas. Filomat 31, 125–140 (2017)
Sneddon, I.N.: The Use of Integral Transforms. Tata McGraw-Hill, New Delhi (1979)
Schiff, J.L.: The Laplace Transform, Theory and Applications. Springer, New York (1999)
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the present investigation. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare to have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Singh, G., Agarwal, P., Araci, S. et al. Certain fractional calculus formulas involving extended generalized Mathieu series. Adv Differ Equ 2018, 144 (2018). https://doi.org/10.1186/s13662-018-1596-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1596-9