CC BY
29
Riemann-Liouville fractional operators with generalized Bessel-Maitland function as its kernel
N.U.Khan* and S.W.Khan
Abstract- In several areas of mathematical physics and engineering sciences, integral transforms and fractional calculus operators play an important role from the application point of view. A remarkably large number of integral transforms as well as fractional integral and derivative formulas involving various special functions have been investigated by many authors. This paper is a short portrayal, concerning the utilization of Riemann-Liouville fractional operators on generalized Bessel-Maitland function. The main results demonstrate how the operators affects the parameters i.e., the Riemann-Liouville fractional integral operator and differential operator involving Bessel-Maitland function are expressed in terms of Mittag-Leffler functions. The main results can be applied to obtain certain special cases by specialising the parameters.
Keywords- Generalized Bessel-Maitland function, generalized (Wright) hypergeomet-ric functions , Riemann-Liouville fractional operators.
in addition as man of science. In neoteric years a remarkably sizable amount of integral formulas involving a range of special functions are developed by several authors (see [1],[5]-[8],[14]) For our motive, we start by retracing certain famous functions and supra works. The Bessel-Maitland function Jf(z) outlined by the following series illustration Merichev [9] as follows:
= E
—Jn r(v + ^n + 1)n! '
n=0 v '
^ > 0; z G C
(1.1)
The generalized Bessel function of the form (z) is defined by Jain and Agarwal [11] as follows:
J!. (z) = E (—1)n( 21
v+2.+2n
r(v + a + ^n + 1)r(a + n +1)
(1.2)
where z G C \ (-to, 0], ^ > 0, v, a G C. Further, generalization of the generalized Bessel-Maitland function, J^q(z) defined by Pathak [10] as follows:
W (z)
(Y)qn(-Z)n
r(v + ^n + 1)n!
(1.3)
1 Introduction
1.1 Bessel-Maitland function
In Applied sciences, several vital functions are outlined via improper integrals or series (or finite products). The general name of these vital functions is aware of as special functions. In special functions, one amongst the foremost vital function (Bessel function) is widely utilized in physics and engineering, they are of interest to physicists and engineers
where G C, K(^) > 0, K(v) > -1, K(7) >
0 and q G (0,1) U N. From the generalization of the Bessel-Maitland function (1.3), it is possible to find find relations between Bessel-Maitland function and Mittag Leffler function.
If v is replaced by v — 1 and z by —z, (1.3) reduces to
(—z) = E™ (z)
(1.4)
where ^ v, y G > 0, K(v) > 0, ) > 0; q G
(0,1) U N and E^q (z) denotes generalized Mittag-Leffler function, was given by Shukla and Prajapati
[3]
If q = 1,v is replaced by v — 1 and z by —z, (1.3)
reduces to
J-M( — z) = (z)
(1.5)
where ^ v, y G > 0, K(v) > 0, > 0 and
EY v(z) was introduced by Prabhakar [13] If q =1, y =1, v is replaced by v — 1 and z by —z, (1.3) reduces to
JvM-11,i(-z)= (z)
(1.6)
where ^ G C, K(^) > 0, ift(v) > 0, was studied by Wiman [4]
1.2 Fractional derivative and integral operators
Differentiation and integration of fractional order are traditionally defined by the right sided Riemann-Liouville fractional integral operator and left sided Riemann-Liouville fractional integral operator and the corresponding Riemann-Liouville fractional derivative operator and
as follows [12, p-33(2.17,2.18),p-37(2.32,2.33)]
where (x > a; K(^) > 0).
(IT/) (x)
f (t)
(x - t)1-^
f (t)
r^Vx (t - x)1-M
where (x < a; K(^) > 0).
2 Fractional Integral of generalized Bessel-Maitland function
In this section we are going to discuss the result concerning the Bessel-Maitland function under the Riemann-Liouville fractional integral operator.
Theorem 2.1. The following integral formula holds :
(/0\(t - a)vJ^Ht - a)M)) (x) = (x - a)v+J;\q(w(x - a)M)
(2.1)
where x > a; w, A, v, y G C; q G (0,1) U N; K(^) > 0; ^(y) > 0; K(v) > —1; K(A) > 0
Proof. By using (1.3) and the definition of integral operator in (1.7) and interchanging integral and summation, which is verified under uniform convergence of series, we get
—dt, (1.7)
(/0\(t - a)v (w(t - a)M)) (x) =
1
f(A)
:E
m=0
(Y)qn (-^)m m!r(v + ^m + 1)
fx
/ (x-t)A-1 (t - a)v+^mdt
J a
dt, (1.8)
Now using (1.11), we get
(4\(t - a)v(w(t - a)M)) (x) = (x - a)
v+A
(x) = dxn (Tí/) (x), (1.9)
(YM-^)m(x -=0 r(v + A + ^m +1)
E
where (K(^) > 0,n = 1 + [K(^)j).
dn
(D_f) (x) = (-1)n— (/n+-^f) (x) (1.10)
where (K(^) > 0,n = 1 + [K(^)j). In above equations the function f is locally integrable, K(^) denotes real part of the complex number and[ÍR(yU,)] means greatest integer in K(^). We will need the following result [2, p-10(13)]
Í (a - tf-1(t - b)a-1dt = (a - b)a+^-1B(a,,0),
Jb
(1.11)
where (K(a) > 0, ) > 0, b < a)
m=0
The required result is obtained by using (1.3). □
Corollary 2.2. If v is replaced by v — 1 and w(t — a)M by —w(t — a)M in L.H.S of (2.1), then using (1.4), we get :
v+A_1
(lA+(t - a)v-1 JvM_71,q(-^(t - a)M)) (x) = (x-a) xE;;i+a (w(x - an
Corollary 2.3. // q=1, v is replaced by v - 1 and w(t-a)M by -w(t-a)M in L.H.S o/ (2.1), thenusing (1.5), we get :
(lA+(t - a)v-1 JvM_71,1(-^(t - a)M)) (x) = (x-a)v+A x^v+A (w(x - a)M)
x
a
1
X
Corollary 2.4. If q=1, Y = 1,v is replaced by v - 1 3 Fractional Derivative of and — a)* by — - a)* m of (2.1), then generalized Bessel-Maitland
usinq (1.6), we get : n . .
function
(/a\(t - a)v-1 J^^t - a)*)) (x) = (x-a)v xEMiv+a (w(x - a)*)
In the above corollaries we must have
x > a; w, A, v, y G C; q G (0, 1) U N;
w(t - aDI (x) = (x-a) 1
In this section we are going to discuss the results concerning the Bessel-Maitland function under the Riemann-Liouville fractional differential operator.
Theorem 3.1. The following integral formula, K(u) > 0; K(7) > 0; K(v) > 0; K(A) > 0 hMs
Theorem 2.5. The following integral formula (Da+(t a) J-'q (w(t a) )) (x) (x a) holds :
x xJ^^q (w(x — a)-) (3.1)
(Ia-(a — t)" J^q7(w(a — t)-)) (x) = (a — x)v+A
where x > a; w, A, u, v, y G C; q G (0,1) U N; 5R(u) > xJ-q(w(a — x)-) (2.2) ^(a) >0 ;(U) "
where x < a; w, A, u, v, y G C; q G (0, 1) U N; K(u) >
0; ^(y) > 0; K(v) > —1; K(A) > 0 Proof. By using (1.3) and the definition of inte-
Proof The above result can be obtained on similar gral operator in (1.9) and interchanging integral and
summation, which is verified under uniform conver-
can
steps as in Theorem 2.1 . □
Corollary 2.6. If v is replaced by v - 1 and
gence of series, we get
1
w(t - a)* by -w(t - a)* in L.H.S of (2.2), then (D+(t - a)v J™(w(t - a)*)) (x) = —-—
usinq (1.4), we get : (n )
(1Л (a - t)v-1J*l71(I(-w(a - t)*))(x) ~ (y) (_ w)m dn , x
= (a - x)v+A-1EYq+A (w(a - x)*) "o m!r(v + Mm + 1) dx" Л
Corollary 2.7. If q=1, v is replaced by v - 1 and Now using (1.11), we get w(t-a)* by - w(t-a)* in L.H.S of (2.2), then usinq
(1.5), we get : (Da\(t - a)vJ^(w(t - a)*)) (x)
(£-(a - t)v-1j^1,1 (-w(a - t)*)) (x)
, , -, Y = V^ (Y)qm( w)__( a)v-A+n+*m
= (a - x)v+ 1E* v+л (w(a - x)*) = m!r(v - A + Mm + n +1) dx" (x a)
m=0 4 '
Now using
Corollary 2.8. If q=1, y = 1,v is replaced by v — 1
and w(t — a)- by —w(t — a)- in L.H.S of (2.2), then
using (1.6), we get : d" r(a + 1) m
1 y -—(xa) = ——^-xa m, where K(a) > 0 we get
t-a ^v-i T-,1 / dx" r(a +1 — m)
(/Л-(a - t)v-1J*-11,1 (-w(a - t)*)) (x) = (a - xf+^E*^ (w(a - x)*) (Da\(t - a)v J*gY(w(t - a)*)) (x)
In the above corollaries we must have
= (x - a)
v-Л ^ (Y)qn(-w)m(x - a)*
x < a; w,A, v, Y G C; q G (0, 1) U N; ^ r(v - A + ^m + 1)
K(u) > 0; K(y) > 0; K(v) > 0; K(A) > 0 which upon using (1.3) gives the required result
. □
Corollary 3.2. If v is replaced by v — 1 and w(t — a)* by —w(t — a)* in L.H.S of (3.1), then using (1.4), we get :
(DaA+(t — a)v-1 (—w(t — a)^)) (x)
= (x — an^E^ (w(x — a)*)
Corollary 3.3. If q=1, v is replaced by v — 1 and w(t —a)* by —w(t —a)* in L.H.S of (3.1), then using (1.5), we get :
(DaA+(t — a)v-1 JZ-M(—w(t — a)^)) (x)
= (x — a)v-A-1E^v_A (w(x — a)*)
Corollary 3.4. If q=1, y = 1,v is replaced by v — 1 and w(t — a)* by —w(t — a)* in L.H.S of (3.1), then using (1.6), we get :
(Da\(t — a)v-1 J^-1i,i(—w(t — a)*)) (x)
= (x — a)v-A-1EMiv-A (w(x — a)*) In the above corollaries we must have
x > a; w, A, v, y G C; q G (0, 1) U N; K(^) > 0; K(y) > 0; K(v) > 0; K(A) > 0
Theorem 3.5. The following integral formula holds
(DA_(a — t)v J*qY(w(a — t)*)) (x) = (a — x)v-A
xJ*-\q (w(a — x)*) (3.2)
where x < a; w, A, v, y G C; q G (0, 1) U N; K(^) > 0; ^(y) > 0; K(v) > —1; K(A) > 0
Proof. The above result can be proved on similar steps as in Theorem 3.1 . □
Corollary 3.6. If v is replaced by v — 1 and w(t — a)* by —w(t — a)* in L.H.S of (3.2), then using (1.4), we get :
(DA_(a — t)v-1 J*-71,q(—w(a — t)*)) (x)
= (a — x)v-A-1E*:q_A (w(a — x)*)
Corollary 3.7. If q=1, v is replaced by v — 1 and w(t —a)* by —w(t —a)* in L.H.S of (3.2), then using (1.5), we get :
(D„-(a — t)v-1 J*-M(—w(a — t)*)) (x)
= (a — x)v-A-1E*:V_A (w(a — x)*)
Corollary 3.8. If q=1, y = 1,v is replaced by v — 1 and w(t — a)* by —w(t — a)* in L.H.S of (3.2), then using (1.6), we get :
(DA- (a — t)v-1 J*1M( —w(a — t)*)) (x)
= (a — x)v-A-1E*:V-A (w(a — x)*) In the above corollaries we must have
x > a; w, A, v, y G C; q G (0,1) U N;
K(^) > 0; K(y) > 0; K(v) > 0; K(A) > 0
References
[1] A.Erdelyi, W.Magnus, F.Oberhettinger and F.G.Tricomi, Tables of Integral Transforms, Vol-I, McGraw-Hill Book Company, New York, (1954)
[2] A.Erdelyi, W.Magnus, F.Oberhettinger and F.G.Tricomi, Higher Transcendental functions, Vol-I, McGraw-Hill Book Company, New York, (1953)
[3] A.K.Shukla, J.C.Prajapati, On a generalized Mittag-Leffler function and its properties, J.Math.Anal.Appl., 336 797-811(2007)
[4] A.Wiman, Uber de fundamental satz in der theorie der funktionen Ea(x), Acta Math.,29, 191-201(1905)
[5] J.Choi, P.Agarwal, S.Mathur and S.D.Purohit, Certain new integral formulas involving the generalized Bessel function, Bull.Korean Math. Soc. 51(4), 995-1003(2014)
[6] N.U.Khan,M.Ghayasuddin,Waseem.A.Khan,Sa Zia, Certain unified integral involving Generalized Bessel Maitland function, South East Asian J.of Math and Math Sci. 11 (2015), 27-36.
[7] N.U.Khan, S.W.Khan and M.Ghayasuddin, Some new results associated with Bessel-Struve kernel function, Acta Universitatis Apulensis. 48, 89-101(2016)
[8] N.U.Khan, T.Kashmin, Some integrals for the generalized Bessel-Maitland functions, Electronic Journal of Mathematical Analysis and Applications. 4(2), 139-149(2016)
[9] O.I.Merichev, Handbook of Integral Transforms and Higher Transcendental Functions, Ellis,Horwood, Chichester (John Wiley and Sons); New York, (1983)
[10] R.S.Pathak, Certain convergence theorem and asymptotic properties of a generalizaN. U. Khan*
Department of Applied Mathematics, Faculty of Engineering and Technology, Aligarh Muslim University, Aligarh, 202002, India. e-mail: [email protected]
S. W. Khan
Department of Applied Mathematics, Faculty of Engineering and Technology, Aligarh Muslim University, Aligarh, 202002, India. e-mail: [email protected]
'at tion of Lommel and Bessel Transformations, Proc.Nat.Acad.Sci.India.Sect.A, 36(1)
[11] S.Jain, P.Agarwal, A new class of integral relations involving general class of polynomials and I-functions, Walialak J. Sci and tech. 12(11), 1009-1018(2015)
[12] S.G.Samko, A.A.Kilbas, O.I.Merichev, Fractional Integrals and Derivatives Theory and Applications, Gordan and Breach Science Publishers, Switzerland(1993)
[13] T.R.Prabhakar, A singular integral equation with a generalized Mittag-leffler function in the Kernel, Yokohama Math. J.,19, 7-15(1971)
[14] Y.A. Brychkov, Handbook of Special Functions, Derivatives, Integrals, Series and Other Formulas, CRC Press, Taylor and Francis Group, Boca Raton, London and New York, (2008).
