Next Article in Journal
Quincunx Fundamental Refinable Functions in Arbitrary Dimensions
Previous Article in Journal
An Independent Set of Axioms of MV-Algebras and Solutions of the Set-Theoretical Yang–Baxter Equation
Previous Article in Special Issue
An Evaluation of ARFIMA (Autoregressive Fractional Integral Moving Average) Programs
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fractional Integration and Differentiation of the Generalized Mathieu Series

1
Department of Mathematics and Statistics, Jai Narain Vyas University, Jodhpur-342004, Rajasthan, India
2
Department of Mathematics, Government College of Engineering and Technology, Bikaner-334004, Rajasthan, India
*
Author to whom correspondence should be addressed.
Axioms 2017, 6(3), 18; https://doi.org/10.3390/axioms6030018
Submission received: 27 April 2017 / Revised: 15 June 2017 / Accepted: 22 June 2017 / Published: 27 June 2017

Abstract

:
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.

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. 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]).
We recall Saigo fractional integral and differential operators involving Gauss’s hypergeometric function 2 F 1 as a kernel. Let α , β , η C , ( α ) > 0 and x > 0 , then Saigo’s fractional integral and differential operators I 0 + α , β , η f ( x ) , I α , β , η f ( x ) and D 0 + α , β , η f ( x ) , D α , β , η f ( x ) are defined as (see, for example, [1,2,4,5,6]):
I 0 + α , β , η f ( x ) = x α β Γ ( α ) 0 x ( x t ) α 1 2 F 1 α + β , η ; α ; 1 t x f ( t ) d t ,
I α , β , η f ( x ) = 1 Γ ( α ) x ( t x ) α 1 t α β 2 F 1 α + β , η ; α ; 1 x t f ( t ) d t ,
and
D 0 + α , β , η f ( x ) = I 0 + α , β , α + η f ( x ) = d d x n I 0 + α + n , β n , α + η n f ( x ) ( n = [ ( α ) ] + 1 ) ,
D α , β , η f ( x ) = I α , β , α + η f ( x ) = ( 1 ) n d d x n I α + n , β n , α + η f ( x ) ( n = [ ( α ) ] + 1 ) .
Here and in what follows, [ x ] denotes the greatest integer less than or equal to the real number x. When β = α , the operators in (1)–(4) coincide with the classical Riemann–Liouville fractional integrals and derivatives of order α C with ( α ) > 0 and x > 0 (see, e.g., [1,4]):
I 0 + α , α , η f ( x ) = I 0 + α f ( x ) 1 Γ ( α ) 0 x ( x t ) α 1 f ( t ) d t ,
I α , α , η f ( x ) = I α f ( x ) = 1 Γ ( α ) x ( t x ) α 1 f ( t ) d t ,
and
D 0 + α , α , η f ( x ) = D 0 + α f ( x ) = d d x n 1 Γ ( n α ) 0 x ( x t ) n α 1 f ( t ) d t = d d x n I 0 + n α f ( x ) ( n = [ ( α ) ] + 1 ) ,
D α , α , η f ( x ) = D α f ( x ) = ( 1 ) n d d x n 1 Γ ( n α ) x ( t y ) n α 1 f ( t ) d t = ( 1 ) n d d x n I n α f ( x ) ( n = [ ( α ) ] + 1 ) .
Here and in the following, let C , R + , and N be the sets of complex numbers, positive real numbers, and positive integers, respectively, and let N 0 : = N { 0 } .
If β = 0 in (1)–(4) yields the so-called Erdélyi–Kober fractional integrals and derivatives of order α C with ( α ) > 0 and x > 0 (see, e.g., [1,4]):
I 0 + α , 0 , η f ( x ) = I η , α + f ( x ) = x α η Γ ( α ) 0 x ( x t ) α 1 t η f ( t ) d t ,
I α , 0 , η f ( x ) = K η , α f ( x ) x η Γ ( α ) x ( t x ) α 1 t α η f ( t ) d t ,
and
D 0 + α , 0 , η f ( x ) = D η , α + f ( x ) = d d x n I 0 + α + n , α , α + η n f ( x ) ( n = [ ( α ) ] + 1 ) ,
D α , 0 , η f ( x ) = D η , α f ( x ) = ( 1 ) n d d x n I α + n , α , α + η f ( x ) ( n = [ ( α ) ] + 1 ) ,
D η , α + f ( x ) = x η d d x n 1 Γ ( n α ) 0 x t α + η ( x t ) n α 1 f ( t ) d t ( n = [ ( α ) ] + 1 ) ,
D η , α f ( x ) = x η + α d d x n 1 Γ ( n α ) x t η ( t x ) n α 1 f ( t ) d t ( n = [ ( α ) ] + 1 ) .
A detailed account of such operators along with their properties and applications has been considered by several authors (see, for details, [1,2,3,4,5]).
The following familiar infinite series of the form
S ( r ) = n 1 2 n ( n 2 + r 2 ) 2 , r > 0
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)
S ˜ ( r ) = n 1 ( 1 ) n 1 2 n ( n 2 + r 2 ) 2 , r > 0
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])
S ( r ) = 1 r 0 x sin ( r x ) e x 1 d x
and
S ˜ ( r ) = 1 r 0 x sin ( r x ) e x + 1 d x ,
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)
S μ ( r ) = n 1 2 n ( n 2 + r 2 ) μ + 1 ( r > 0 , μ > 0 )
and
S ˜ μ ( r ) = n 1 ( 1 ) n 1 2 n ( n 2 + r 2 ) μ + 1 ( r > 0 , μ > 0 ) ,
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].
Recently, Tomovski and Pogány [14] studied the several integral representations of the generalized fractional order Mathieu-type power series
S μ ( r ; z ) = n 1 2 n z n ( n 2 + r 2 ) μ + 1 , ( μ > 0 , r R , | z | < 1 ) .
Obviously, we have
S μ ( r ; 1 ) = S μ ( r ) and S μ ( r ; 1 ) = S ˜ μ ( r ) .
Various other investigations and generalizations of the Mathieu series with its alternative variants can also be found in [11,14,15,16,17,18,19,20,21,22,23,24], and the references cited therein.
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
f ( z ) : = n = 0 a n z n ( | z | < R f ) and g ( z ) : = n = 0 b n z n ( | z | < R g )
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
( f g ) ( z ) : = n = 0 a n b n z n = ( g f ) ( z ) ( | z | < R )
where
R = lim n a n b n a n + 1 b n + 1 = lim n a n a n + 1 · lim n b n b n + 1 = R f · R g ,
therefore, in general, we have R R f · R g [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.

2. 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]):
p Ψ q ( α 1 , A 1 ) , , ( α p , A p ) ; ( β 1 , B 1 ) , , ( β q , B q ) ; z = n = 0 Γ ( α 1 + A 1 n ) Γ ( α p + A p n ) Γ ( β 1 + B 1 n ) Γ ( β q + B q n ) z n n !
A j R + ( j = 1 , , p ) ; B j R + ( j = 1 , , q ) ; 1 + j = 1 q B j j = 1 p A j 0 ,
where the equality in the convergence condition holds true for
| z | < : = j = 1 p A j A j · j = 1 q B j B j .
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]):
p F q α 1 , , α p ; β 1 , , β q ; z = Γ ( β 1 ) Γ ( β q ) Γ ( α 1 ) Γ ( α p ) p Ψ q ( α 1 , 1 ) , , ( α p , 1 ) ; ( β 1 , 1 ) , , ( β q , 1 ) ; z .
Lemma 1.
Let α , β , η C . Then, there exists the relation
(a) 
If ( α ) > 0 and ( σ ) > max [ 0 , ( β η ) ] , then
( I 0 + α , β , η t σ 1 ) ( x ) = Γ ( σ ) Γ ( σ + η β ) Γ ( σ β ) Γ ( σ + α + η ) x σ β 1
In particular, for x > 0 , we have
( I 0 + α t σ 1 ) ( x ) = Γ ( σ ) Γ ( σ + α ) x σ + α 1 ( ( α ) > 0 , ( σ ) > 0 ) ,
( I η , α + t σ 1 ) ( x ) = Γ ( σ + η ) Γ ( σ + α + η ) x σ 1 ( ( α ) > 0 , ( σ ) > ( η ) ) .
(b) 
If ( α ) > 0 and ( σ ) < 1 + min [ ( β ) , ( η ) ] , then
( I α , β , η t σ 1 ) ( x ) = Γ ( 1 σ + β ) Γ ( 1 σ + η ) Γ ( 1 σ ) Γ ( 1 σ + α + β + η ) x σ β 1 .
In particular, for x > 0 , we have
( I α t σ 1 ) ( x ) = Γ ( 1 α σ ) Γ ( 1 σ ) x σ + α 1 ( 0 < ( α ) < 1 ( σ ) ) ,
( K η , α t σ 1 ) ( x ) = Γ ( 1 σ + η ) Γ ( 1 σ + α + η ) x σ 1 ( ( σ ) < 1 + ( σ ) ) .
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.
Theorem 1.
Let α , β , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) > 0 and ( σ ) > max [ 0 , ( β η ) ] . Then, the following Saigo hypergeometric fractional integral I 0 + α , β , η of S μ ( r , t ρ ) holds true:
I 0 + α , β , η t σ 1 S μ ( r , t ρ ) ( x ) = x σ β + ρ 1 S μ ( r , x ρ ) 3 Ψ 2 ( 1 , 1 ) , ( σ + ρ , ρ ) , ( σ + η β + ρ , ρ ) ; ( σ β + ρ , ρ ) , ( σ + α + η + ρ , ρ ) ; x ρ .
Proof. 
Using the definitions (1) and (21), by changing the order of integration and applying the relation (25), we find that x > 0
I 0 + α , β , η t σ 1 S μ ( r , t ρ ) ( x ) = k = 1 2 k ( k 2 + r 2 ) μ + 1 I 0 + α , β , η t σ + ρ k 1 ( x ) = x σ β 1 k = 1 2 k ( k 2 + r 2 ) μ + 1 Γ ( σ + ρ k ) Γ ( σ + η β + ρ k ) Γ ( σ β + ρ k ) Γ ( σ + α + η + ρ k ) x ρ k .
by applying the Hadamard product (22) in (32), which in the view of (21) and (23), yields the desired formula (31). ☐
Theorem 2.
Let α , β , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) > 0 and ( σ ) < 1 + min [ ( β ) , ( η ) ] . Then, the following Saigo hypergeometric fractional integral I α , β , η of S μ r , 1 t ρ holds true:
I α , β , η t σ 1 S μ r , 1 t ρ ( x ) = x σ ρ β 1 S μ r , 1 x ρ 3 Ψ 2 ( 1 , 1 ) , ( 1 σ + β + ρ , ρ ) , ( 1 σ + η + ρ , ρ ) ; ( 1 σ + ρ , ρ ) , ( 1 σ + α + β + η + ρ , ρ ) ; 1 x ρ .
Proof. 
Using the definitions (2) and (21), by changing the order of integration and applying the relation (28)
I α , β , η t σ 1 S μ r , 1 t ρ ( x ) = k = 1 2 k ( k 2 + r 2 ) μ + 1 I α , β , η t σ ρ k 1 ( x ) = x σ β 1 k = 1 2 k ( k 2 + r 2 ) μ + 1 Γ ( 1 σ + β + ρ k ) Γ ( 1 σ + η + ρ k ) Γ ( 1 σ + ρ k ) Γ ( 1 σ + α + β + η + ρ k ) x ρ k .
by applying the Hadamard product (22) in (34), which in the view of (21) and (23), yields the desired formula (33). ☐
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.
Corollary 1.
Let α , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) > 0 and ( σ ) > 0 . Then, the following Riemann–Liouville fractional integral I 0 + α of S μ ( r , t ρ ) holds true:
I 0 + α t σ 1 S μ ( r , t ρ ) ( x ) = x σ + ρ + α 1 S μ ( r , x ρ ) 2 Ψ 1 ( 1 , 1 ) , ( σ + ρ , ρ ) ; ( σ + α + ρ , ρ ) ; x ρ .
Corollary 2.
Let α , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) > 0 and ( σ ) > ( η ) . Then, the following Erdélyi–Kober fractional integral I η , α + of S μ ( r , t ρ ) holds true:
I η , α + t σ 1 S μ ( r , t ρ ) ( x ) = x σ + ρ 1 S μ ( r , x ρ ) 2 Ψ 1 ( 1 , 1 ) , ( σ + η + ρ , ρ ) ; ( σ + α + η + ρ , ρ ) ; x ρ .
Corollary 3.
Let α , σ C and ρ > 0 , μ > 0 , r R be such that 0 < ( α ) < 1 ( σ ) . Then, the following Riemann–Liouville fractional integral I α of S μ r , 1 t ρ holds true:
I α t σ 1 S μ r , 1 t ρ ( x ) = x σ + α ρ 1 S μ r , 1 x ρ 2 Ψ 1 ( 1 , 1 ) , ( 1 σ α + ρ , ρ ) ; ( 1 σ + ρ , ρ ) ; 1 x ρ .
Corollary 4.
Let α , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) > 0 and ( σ ) < 1 + ( η ) . Then, the following Erdélyi–Kober fractional integral K η , α of S μ r , 1 t ρ holds true:
K η , α t σ 1 S μ r , 1 t ρ ( x ) = x σ ρ 1 S μ r , 1 x ρ 2 Ψ 1 ( 1 , 1 ) , ( 1 σ + η + ρ , ρ ) ; ( 1 σ + α + η + ρ , ρ ) ; 1 x ρ .
The results obtained in this section can be presented in terms of Gauss’s hypergeometric functions by taking ρ = 1 . Here, we present results for the classical Riemann–Liouville fractional integral operators.
Corollary 5.
Let the conditions of Corollary 1 be satisfied, and let ( σ ) > 0 and ( σ + α + 1 ) > 0 . Then, for x > 0 , there holds the relation
I 0 + α t σ 1 S μ ( r , t ) ( x ) = x σ + α Γ ( σ + 1 ) Γ ( σ + α + 1 ) S μ ( r , x ) 2 F 1 1 , σ + 1 ; σ + α + 1 ; x .
Corollary 6.
Let the conditions of Corollary 3 be satisfied, and let ( 1 σ ) > 0 and ( 2 σ α ) > 0 . Then, for x > 0 , there holds the relation
I α t σ 1 S μ r , 1 t ( x ) = x σ + α 2 Γ ( 2 σ α ) Γ ( 2 σ ) S μ r , 1 x 2 F 1 1 , 2 σ α ; 2 σ ; 1 x .

3. 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).
Lemma 2.
Let α , β , η C . Then, there exists the relations
(a) 
If ( α ) > 0 and ( σ ) > min [ 0 , ( α + β + η ) ] , then
( D 0 + α , β , η t σ 1 ) ( x ) = Γ ( σ ) Γ ( σ + α + β + η ) Γ ( σ + β ) Γ ( σ + η ) x σ + β 1
In particular, for x > 0 , we have
( D 0 + α t σ 1 ) ( x ) = Γ ( σ ) Γ ( σ α ) x σ α 1 ( ( α ) > 0 , ( σ ) > 0 ) ,
( D η , α + t σ 1 ) ( x ) = Γ ( σ + α + η ) Γ ( σ + η ) x σ 1 ( ( α ) > 0 , ( σ ) > ( α + η ) ) .
(b) 
If ( α ) > 0 , ( σ ) < 1 + min [ ( β n ) , ( α + η ) ] and n = [ ( α ) ] + 1 , then
( D α , β , η t σ 1 ) ( x ) = Γ ( 1 σ β ) Γ ( 1 σ + α + η ) Γ ( 1 σ ) Γ ( 1 σ + η β ) x σ + β 1 .
In particular, for x > 0 , we have
( D α t σ 1 ) ( x ) = Γ ( 1 σ + α ) Γ ( 1 σ ) x σ α 1 ( ( α ) > 0 , ( σ ) < 1 + ( α ) n ) ,
( D η , α t σ 1 ) ( x ) = Γ ( 1 σ + α + η ) Γ ( 1 σ η ) x σ 1 ( ( α ) > 0 , ( σ ) < 1 + ( α + η ) n ) .
Theorem 3.
Let α , β , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) 0 and ( σ ) > min [ 0 , ( α + β + η ) ] . Then, the following Saigo hypergeometric fractional derivative D 0 + α , β , η of S μ ( r , t ρ ) holds true:
D 0 + α , β , η t σ 1 S μ ( r , t ρ ) ( x ) = x σ + β + ρ 1 S μ ( r , x ρ ) 3 Ψ 2 ( 1 , 1 ) , ( σ + ρ , ρ ) , ( σ + α + β + η + ρ , ρ ) ; ( σ + β + ρ , ρ ) , ( σ + η + ρ , ρ ) ; x ρ .
Proof. 
Using the definitions (3) and (21), by changing the order of integration and applying the relation (41), we find for x > 0
D 0 + α , β , η t σ 1 S μ ( r , t ρ ) ( x ) = k = 1 2 k ( k 2 + r 2 ) μ + 1 D 0 + α , β , η t σ + ρ k 1 ( x ) = x σ + β 1 k = 1 2 k ( k 2 + r 2 ) μ + 1 Γ ( σ + ρ k ) Γ ( σ + α + β + η + ρ k ) Γ ( σ + β + ρ k ) Γ ( σ + η + ρ k ) x ρ k .
by applying the Hadamard product (22) in (48), which in the view of (21) and (23), yields the desired formula (47). ☐
Theorem 4.
Let α , β , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) 0 and ( σ ) < 1 + min [ ( β n ) , ( α + η ) ] , n = [ ( α ) ] + 1 . Then, the following Saigo hypergeometric fractional derivative D α , β , η of S μ r , 1 t ρ holds true:
D α , β , η t σ 1 S μ r , 1 t ρ ( x ) = x σ ρ + β 1 S μ r , 1 x ρ 3 Ψ 2 ( 1 , 1 ) , ( 1 σ β + ρ , ρ ) , ( 1 σ + α + η + ρ , ρ ) ; ( 1 σ + ρ , ρ ) , ( 1 σ + η β + ρ , ρ ) ; 1 x ρ .
Proof. 
Using the definitions (4) and (21), by changing the order of integration and applying the relation (44), we find for x > 0
D α , β , η t σ 1 S μ r , 1 t ρ ( x ) = k = 1 2 k ( k 2 + r 2 ) μ + 1 D α , β , η t σ ρ k 1 ( x ) = x σ + ρ + β 1 k = 1 2 k ( k 2 + r 2 ) μ + 1 Γ ( 1 σ β + ρ k ) Γ ( 1 σ + α + η + ρ k ) Γ ( 1 σ + ρ k ) Γ ( 1 σ + η β + ρ k ) x ρ k .
by applying the Hadamard product (22) in (50), which in the view of (21) and (23), yields the desired formula (49). ☐
Now, we deduce fractional derivative 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 7–10 below.
Corollary 7.
Let α , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) 0 and ( σ ) > 0 . Then, the following Riemann–Liouville fractional differentiation D 0 + α of S μ ( r , t ρ ) holds true:
D 0 + α t σ 1 S μ ( r , t ρ ) ( x ) = x σ + ρ α 1 S μ ( r , x ρ ) 2 Ψ 1 ( 1 , 1 ) , ( σ + ρ , ρ ) ; ( σ α + ρ , ρ ) ; x ρ .
Corollary 8.
Let α , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) 0 and ( σ ) > ( α + η ) . Then, the following Erdélyi–Kober fractional derivative D η , α + of S μ ( r , t ρ ) holds true:
D η , α + t σ 1 S μ ( r , t ρ ) ( x ) = x σ + ρ 1 S μ ( r , x ρ ) 2 Ψ 1 ( 1 , 1 ) , ( σ + α + η + ρ , ρ ) ; ( σ + η + ρ , ρ ) ; x ρ .
Corollary 9.
Let α , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) 0 and ( σ ) < ( α ) [ ( α ) ] . Then, the following Riemann–Liouville fractional differentiation D α of S μ r , 1 t ρ holds true:
D α t σ 1 S μ r , 1 t ρ ( x ) = x σ ρ α 1 S μ r , 1 x ρ 2 Ψ 1 ( 1 , 1 ) , ( 1 σ + α + ρ , ρ ) ; ( 1 σ + ρ , ρ ) ; 1 x ρ .
Corollary 10.
Let α , η , σ C and ρ > 0 , μ > 0 , r R be such that ( α ) 0 and ( σ ) < ( α + η ) [ ( α ) ] . Then, the following Erdélyi–Kober fractional differentiation D η , α of S μ r , 1 t ρ holds true:
D η , α t σ 1 S μ r , 1 t ρ ( x ) = x σ ρ 1 S μ r , 1 x ρ 2 Ψ 1 ( 1 , 1 ) , ( 1 σ + α + η + ρ , ρ ) ; ( 1 σ + η + ρ , ρ ) ; 1 x ρ .
The results obtained in this section can be presented in terms of Gauss’s hypergeometric functions by taking ρ = 1 . Here, we present results for the classical Riemann–Liouville fractional derivative operators.
Corollary 11.
Let the conditions of Corollary 7 be satisfied, and let ( σ + 1 ) > 0 and ( σ α + 1 ) > 0 . Then, for x > 0 , there holds the relation
D 0 + α t σ 1 S μ ( r , t ) ( x ) = x σ α 2 Γ ( σ + 1 ) Γ ( σ α + 1 ) S μ ( r , x ) 2 F 1 1 , σ + 1 ; σ α + 1 ; x .
Corollary 12.
Let the conditions of Corollary 9 be satisfied, and let ( 2 σ ) > 0 and ( 2 σ + α ) > 0 . Then, for x > 0 , there holds the relation
D α t σ 1 S μ r , 1 t ( x ) = x σ α 2 Γ ( 2 σ + α ) Γ ( 2 σ ) S μ r , 1 x 2 F 1 1 , 2 σ + α ; 2 σ ; 1 x .

4. 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.

Acknowledgments

The authors thanks to the anonymous referees for valuable comments and useful suggestions, improving the quality of the article.

Author Contributions

Ram K. Saxena and Rakesh K. Parmar contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations, Volume 204; North-Holland Mathematical Studies; Elsevier (North-Holland) Science Publishers: New York, NY, USA, 2006. [Google Scholar]
  2. Kiryakova, V.S. Generalized Fractional Calculus and Applications; Pitman Research Notes in Mathematics Series; Longman Scientific and Technical: Harlow, UK; John Wiley and Sons, Inc.: New York, NY, USA, 1993. [Google Scholar]
  3. Mathai, A.M.; Saxena, R.K.; Haubold, H.J. The H-Functions: Theory and Applications; Springer: New York, NY, USA, 2010. [Google Scholar]
  4. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives: Theory and Applications; Translated from the Russian: Integrals and Derivatives of Fractional Order and Some of Their Applications (“Nauka i Tekhnika”, Minsk, 1987); Gordon and Breach Science Publishers: Reading, UK, 1993. [Google Scholar]
  5. Srivastava, H.M.; Saxena, R.K. Operators of fractional integration and their applications. Appl. Math. Comput. 2001, 118, 1–52. [Google Scholar] [CrossRef]
  6. Saigo, M. A remark on integral operators involvig the Gauss hypergeometric functions. Math. Rep. Kyushu Univ. 1978, 11, 135–143. [Google Scholar]
  7. Mathieu, E.L. Traité de Physique Mathématique, VI-VII: Théorie de L’élasticité des Corps Solides; Gauthier-Villars: Paris, France, 1890. [Google Scholar]
  8. Pogány, T.K.; Srivastava, H.M.; Tomovski, Ž. Some families of Mathieu a-series and alternating Mathieu a-series. Appl. Math. Comput. 2006, 173, 69–108. [Google Scholar] [CrossRef]
  9. Emersleben, O. Über die Reihe k = 1 k ( k 2 + r 2 ) 2 . Math. Ann. 1952, 125, 165–171. [Google Scholar] [CrossRef]
  10. Cerone, P.; Lenard, C.T. On integral forms of generalized Mathieu series. JIPAM J. Inequal. Pure Appl. Math. 2003, 4, 1–11. [Google Scholar]
  11. Milovanović, G.V.; Pogány, T.K. New integral forms of generalized Mathieu series and related applications. Appl. Anal. Discret. Math. 2013, 7, 180–192. [Google Scholar] [CrossRef]
  12. Diananda, P.H. Some inequalities related to an inequality of Mathieu. Math. Ann. 1980, 250, 95–98. [Google Scholar] [CrossRef]
  13. Srivastava, H.M.; Tomovski, Ž.; Leškovski, D. Some families of Mathieu type series and Hurwitz-Lerch zeta functions and associated probability distributions. Appl. Comput. Math. 2015, 14, 349–380. [Google Scholar]
  14. Tomovski, Ž.; Pogány, T.K. Integral expressions for Mathieu-type power series and for the Butzer-Flocke-Hauss Ω-function. Fract. Calc. Appl. Anal. 2011, 14, 623–634. [Google Scholar] [CrossRef]
  15. Baricz, Á.; Butzer, P.L.; Pogány, T.K. Alternating Mathieu series, Hilbert—Eisenstein series and their generalized Omega functions. In Analytic Number Theory, Approximation Theory, and Special Functions; Rassias, T., Milovanović, G.V., Eds.; In Honor of Hari M. Srivastava; Springer: New York, NY, USA, 2014; pp. 775–808. [Google Scholar]
  16. Choi, J.; Parmar, R.K.; Pogány, T.K. Mathieu-type series built by (p,q)—Extended Gaussian hypergeometric function. Bull. Korean Math. Soc. 2017, 54, 789–797. [Google Scholar]
  17. Choi, J.; Srivastava, H.M. Mathieu series and associated sums involving the Zeta functions. Comput. Math. Appl. 2010, 59, 861–867. [Google Scholar] [CrossRef]
  18. Elezović, N.; Srivastava, H.M.; Tomovski, Ž. Integral representations and integral transforms of some families of Mathieu type series. Integral Transforms Spec. Funct. 2008, 19, 481–495. [Google Scholar] [CrossRef]
  19. Pogány, T.K.; Parmar, R.K. On p-extended Mathieu series; submitted manuscript. arXiv, 2016; arXiv:1606.08369. [Google Scholar]
  20. Pogány, T.K.; Tomovski, Ž. Bounds improvement for alternating Mathieu type series. J. Math. Inequal. 2010, 4, 315–324. [Google Scholar] [CrossRef]
  21. Saxena, R.K.; Pogány, T.K.; Saxena, R. Integral transforms of the generalized Mathieu series. J. Appl. Math. Stat. Inform. 2010, 6, 5–16. [Google Scholar]
  22. Tomovski, Ž. Integral representations of generalized Mathieu series via Mittag-Leffler type functions. Fract. Calc. Appl. Anal. 2007, 10, 127–138. [Google Scholar]
  23. Tomovski, Ž. New integral and series representations of the generalized Mathieu series. Appl. Anal. Discret. Math. 2008, 2, 205–212. [Google Scholar] [CrossRef]
  24. Tomovski, Ž.; Pogány, T.K. New upper bounds for Mathieu-type series. Banach J. Math. Anal. 2009, 3, 9–15. [Google Scholar] [CrossRef]
  25. Kiryakova, V. On two Saigo’s fractional integral operators in the class of univalent functions. Fract. Calc. Appl. Anal. 2006, 9, 159–176. [Google Scholar]
  26. Pohlen, T. The Hadamard Product and Universal Power Series. Ph.D. Thesis, Universität Trier, Trier, Germany, 2009. [Google Scholar]
  27. Srivastava, H.M.; Agarwal, R.; Jain, S. Integral transform and fractional derivative formulas involving the extended generalized hypergeometric functions and probability distributions. Math. Method Appl. Sci. 2017, 40, 255–273. [Google Scholar] [CrossRef]
  28. Srivastava, R.; Agarwal, R.; Jain, S. A family of the incomplete hypergeometric functions and associated integral transform and fractional derivative formulas. Filomat 2017, 31, 125–140. [Google Scholar] [CrossRef]
  29. Srivastava, H.M.; Karlsson, P.W. Multiple Gaussian Hypergeometric Series; Ellis Horwood Ltd.: Chichester, UK, 1985. [Google Scholar]

Share and Cite

MDPI and ACS Style

Saxena, R.K.; Parmar, R.K. Fractional Integration and Differentiation of the Generalized Mathieu Series. Axioms 2017, 6, 18. https://doi.org/10.3390/axioms6030018

AMA Style

Saxena RK, Parmar RK. Fractional Integration and Differentiation of the Generalized Mathieu Series. Axioms. 2017; 6(3):18. https://doi.org/10.3390/axioms6030018

Chicago/Turabian Style

Saxena, Ram K., and Rakesh K. Parmar. 2017. "Fractional Integration and Differentiation of the Generalized Mathieu Series" Axioms 6, no. 3: 18. https://doi.org/10.3390/axioms6030018

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop