On Application of Fractional Differintegral Operator to the K 4-Function

The object of this paper is to introduce a new function called K4function defined by the author in terms of some special functions, which is an extension of the G-function defined by Lorenzo and Hartley [4] and demonstrate how K4-function is closely related to another special functions, namely LorenzoHartleyâ’s R-function, Robotnov and Hartleyâ’s F-function, Mittag-Leffler function, generalized Mittag-Leffler function, Exponential function. The differintegration of that function is also investigated. As special cases most of the results obtained in this paper are believed to be new and include some of the results given earlier by other authors.


Introduction and Definitions
Fractional Calculus is a field of applied mathematics that deals with derivatives and integrals of arbitrary orders.During the last three decades Fractional Calculus has been applied to almost every field of Mathematics like Special Functions etc., Science, Engineering and Technology.Many applications of Fractional Calculus can be found in Turbulence and Fluid Dynamics, Stochastic Dynamical System, Plasma Physics and Controlled Thermonuclear Fusion, Non-linear Control Theory, Image Processing, Non-linear Biological Systems and Astrophysics.
The Mittag-Leffler function has gained importance and popularity during the last one decade due mainly to its applications in the solution of fractional-order differential, integral and difference equations arising in certain problems of mathematical, physical, biological and engineering sciences.This function is introduced and studied by Mittag-Leffler [7] and [8] in terms of the power series 2000 Mathematics Subject Classification: 33C99, 26A33, 82C31

92
Kishan Sharma A generalization of this series in the following form has been studied by several authors notably by Mittag-Leffler [7] and [8],Wiman [3], Agrawal [17], Humbert and Agrawal [14] and Dzrbashjan [11] [12] [13].It is shown in [15] that the function defined by (1.1) and (1.2) are both entire functions of order and type A detailed account of the basic properties of these two functions are given in the third volume of Bateman manuscript project [2] and an account of their various properties can be found in [12] and [18].
The multiindex Mittag-Leffler function is defined by Kiryakova [20] by means of the power series where m > 1 is an integer, and ρ j and µ j are arbitrary real numbers.The multiindex Mittag-Leffler function is an entire function and also gives its asypototic, estimate, order and type see Kiryakova [20].
and an empty product is to be interpreted as unity.Certain properties of this function associated with fractional integrals and derivatives [18].
In 1993, Miller and Ross [10] introduced a function as the basis of the solution of fractional order initial value problem.It is defined as the vth integral of the exponential function, that is, where γ * (v, ax) is the incomplete gamma function [10].
The F -function of Robotnov and Hartley [19] is defined by the power series This function effect the direct solution of the fundamental linear fractional order differential equation.
Recently, the interest in the R-and G-functions of Lorenzo-Hartley [4] [5] and their popularity have sharply increased in view of their important role and applications in Fractional Calculus and related integral and differential equations of fractional order.
The present paper is organized as follows; In section 2, we give the definition of the K 4 -function and demonstrate how K 4 -function is closely related to another special functions, namely Lorenzo-Hartley's function, Robotnov and Hartley's function, Mittag-Leffler function, generalized Mittag-Leffler function, Exponential function.In section 3, we derive the relation between K 4 -function and the operator of differintegral given by Oldham and Spanier and discuss the particular cases.

A New Special Function
The K 4 -function introduced by the author is defined as follows: where R(αγ − β) > 0 and (a i ) n (i=1,2,...,r) and (b j ) n (j=1,2,...,s) are the Pochhammer symbols.The series(2.1) is defined when none of the parameters b j s is a negative integer or zero.If any numerator parameter a i is a negative integer or zero, then the series terminates to a polynomial in x.From the ratio test it is evident that the series is convergent for all x if r>s + 1.When r = s + 1 and | x |= 1, the series can converge in some cases.Let Υ = r j=1 a j -s j=1 b j .It can be shown that when r = s + 1 the series is absolutely convergent for Relations with another Special functions: (i) When there is no upper and lower parameters, we get 2) which reduces to the G-function defined by Lorenzo and Hartley [4] and denoted by G α,β,γ [a, c, x].

Differintegration of the K 4 -Function
In this section we derive the relation between K 4 -function and the operator of differintegral given by Oldham and Spanier.The relation is presented in the form of the theorem as follows: x be the operator of differintegral given by Oldham and Spanier then there holds the relation: Proof: The δth order(−∞ < δ < ∞), differintegral oprator defined in the chapter 4 of the book by Oldham and Spanier [9] of the function f(x) is given by Using (2.1) and (3.2) and interchanging the order of integration and evaluating the inner integral, we arrive at the result Or equivalently which is the δ th order differintegral of the G-function defined by Lorenzo and Hartley [4].
(iv)If we set a=q=1 in (3.9), we obtain