Fractional Integration and Differentiation of the Generalized Mathieu Series

We aim to present some formulas for the Saigo hypergeometric fractional integral and differential operators involving the generalized Mathieu series Sμ(r), which are expressed in terms of the Hadamard product of the generalized Mathieu series Sμ(r) and the Fox–Wright function pΨq(z). Corresponding assertions for the classical Riemann–Liouville and Erdélyi–Kober fractional integral and differential operators are deduced. Further, it is emphasized that the results presented here, which are for a seemingly complicated series, can reveal their involved properties via the series of the two known functions.


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.During the past four decades or so, fractional calculus has been widely and extensively investigated and has gained importance and popularity due mainly to its demonstrated applications in numerous and diverse fields of science and engineering such as turbulence and fluid dynamics, stochastic dynamical system, plasma physics and controlled thermonuclear fusion, nonlinear control theory, image processing, nonlinear biological systems, and astrophysics (see, for detail, [1][2][3][4][5]).
The following familiar infinite series of the form is known in literature as the Mathieu series.Émile Leonard Mathieu was the first to investigate such a series in 1890 in his book elasticity of solid bodies [7].An alternative version of ( 15) was introduced by Pogány et al. [8].Closed form integral representations for S(r) and S(r) are given by (see e.g., [8,9]) and respectively.Several interesting problems and solutions deal with integral representations and bounds for the following mild generalization of the Mathieu series and its alternative version with a fractional power defined by ([10], p. 2, Equation ( 16)) ( see also, [11], p. 181) and respectively.Such a series has been widely considered in mathematical literature (see, e.g., papers of Cerone and Lenard [10], Diananda [12] and Pogány et al. [8]).Various applications of the familiar Mathieu series and its generalizations in probability theory with other variants such as trigonometric Mathieu series, harmonic Mathieu series, Fourier-Mathieu series and some other particular forms of the Mathieu series can be found in a recent paper [13].
The concept of the Hadamard product (or the convolution) of two analytic functions is useful in our present investigation.It can help us to decompose a newly emerged function into two known functions.If, in particular, one of the power series defines an entire function, then the Hadamard product series defines an entire function, too.Let 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 [25,26].For various other investigations involving the Hadamard product (or the convolution), the interested reader may be referred to several recent papers on the subject (see, for example, [27,28] and the references cited in each of these papers).
In this paper, our aim is to study the compositions of the generalized fractional integration and differentiation operators ( 1)-( 4) with the generalized Mathieu series (21) in terms of the Hadamard product (22) of the generalized Mathieu series and the Fox-Wright function.Further, corresponding assertions for the classical Riemann-Liouville and Erdélyi-Kober fractional integral and differential operators are deduced.The results presented in Theorems together with Corollaries are sure to be new and potentially useful, mainly because they are expressed in terms of the Hadamard product with two known functions.At least, a seemingly complicated resulting series expressed in terms of two known functions means that certain properties involved in the complicated resulting series can be revealed via the series of the known functions.

Fractional Integration of the Mathieu Series
We first recall the Fox-Wright function p Ψ q (z) (p, q ∈ N 0 ) with p numerator and q denominator parameters defined for α 1 , . . ., α p ∈ C and β 1 , . . ., β q ∈ C \ Z − 0 by (see, for details, [1,3]; see also [4,29]): where the equality in the convergence condition holds true for In particular, when A j = B k = 1 (j = 1, . . ., p; k = 1, . . ., q), (23) reduces immediately to the generalized hypergeometric function p F q (p, q ∈ N 0 ) (see, e.g., [29]): Lemma 1.Let α, β, η ∈ C.Then, there exists the relation In particular, for x > 0, we have In particular, for x > 0, we have We begin the exposition of the main results by presenting the composition formulas of generalized fractional integrals, (1) and (2), involving the generalized Mathieu series in terms of the Hadamard product (22) of the generalized Mathieu series (21) and the Fox-Wright function (23).It is emphasized that the results presented here, which are for a seemingly complicated series, can reveal their involved properties via the series of the two known functions.
Further, we deduce the fractional integral formulas for the classical Riemann-Liouville and Erdélyi-Kober fractional integral and differential operators by letting β = −α and β = 0 respectively, which are asserted by Corollaries 1-4 below.

Fractional Differentiation of the Mathieu Series
In this section, we present the composition formulas of generalized fractional derivatives, (3) and ( 4), involving the generalized Mathieu series in terms of the Hadamard product (22) of the generalized Mathieu series ( 21) and the Fox-Wright function (23).

Concluding Remarks and Observations
In our present investigation, with the help of the concept of the Hadamard product (or the convolution) of two analytic functions, we have obtained the composition formulas of the generalized fractional integrals, (1) and (2), involving the generalized Mathieu series in terms of the Hadamard product (22) of the generalized Mathieu series (21) and the Fox-Wright function (23).Further, we have also deduced the fractional integral formulas for the classical Riemann-Liouville and the Erdélyi-Kober fractional integral and differential operators by letting β = −α and β = 0, respectively.The results presented here, which are for a seemingly complicated series, can reveal their involved properties via the series of the two known functions.