Dirichlet Averages of Wright-Type Hypergeometric Function
Farooq Ahmad^{1}, D. K. Jain^{2}, Alok Jain^{3}, Altaf Ahmad^{3}
^{1}Department of Mathematics, Govt. Degree College Kupwara (J&K), India
^{2}Department of Applied Mathematics, Madhav Institute of Technology & Science, Gwalior (M. P.), India
^{3}School of Mathematics and Allied Sciences, Jiwaji University, Gwalior, (M. P.), India
Email address:
To cite this article:
Farooq Ahmad, D. K. Jain, Alok Jain, Altaf Ahmad. Dirichlet Averages of Wright-Type Hypergeometric Function. International Journal of Discrete Mathematics. Vol. 2, No. 1, 2017, pp. 6-9. doi: 10.11648/j.dmath.20170201.12
Received: December 23, 2016; Accepted: January 21, 2017; Published: February 20, 2017
Abstract: In the present paper, the authors approach is based on the use of Dirichlet averages of the generalized Wright-type hyper geometric function introduced by Wright in like the functions of the Mittag-Leffler type, the functions of the Wright type are known to play fundamental roles in various applications of the fractional calculus. This is mainly due to the fact that they are interrelated with the Mittag-Leffler functions through Laplace and Fourier transformations.
Keywords: Dirichlet Averages, Reimann-Liouville Fractional Integral, Wright Type Hyper Geometric Function
1. Introduction
Our translation of real world problems to mathematical expressions relies on calculus, which in turn relies on the differentiation and integration operations of arbitrary order with a sort of misnomer fractional calculus which is also a natural generalization of calculus and its mathematical history is equally long. It plays a significant role in number of fields such as physics, rheology, quantitative biology, electro-chemistry, scattering theory, diffusion, transport theory, probability, elasticity, control theory, engineering mathematics and many others. Fractional calculus like many other mathematical disciplines and ideas has its origin in the quest of researchers for to expand its applicationsto new fields. This freedom of order opens new dimensions and many problems of applied sciences can be tackled in more efficient way by means of fractional calculus.
The purpose of this paper is to increase the accessibility of different dimensions of q-fractional calculus and generalization of basic hypergeometric functions to the real world problems of engineering, science and economics. Present paper reveals a brief history, definition and applications of basic hypergeometric functions and their generalizations in light of different mathematical disciplines.
The Dirichlet averages of a function are a certain kind of integral average with respect to Dirichlet measure. The concept of Dirichlet averages was introduced by Carlson in 1977, based on an integral evaluated by Dirichlet in 1839. It is studied among others by Carlson [1, 2&3], Zu Castell [4], Massopust and Forster [5], Neuman and Van fleet [6] and others. A detailed and comprehensive account of various types of Dirichlet averages has been given by Carlson in his monograph [7]. Most of the important special functions can be represented as Dirichlet averages of the functions and, and there are significant advantages in defining them this way instead of by hypergeometric power series. The theory of Dirichlet averages is not restricted to functions of hypergeometric type, because any function that is analytic or even integrable can be averaged with respect to a Dirichlet measure. If the function is twice continuously differentiable, its Dirichlet average satisfies one or more linear second order partial differential equations that are characteristic of the averaging process, and are related to some of the principal differential equations of mathematical physics. In this connection we can refer to the works of Saxena, Kilbas and Sharma etc. Moreover a detailed account on Dirichlet average of a function has been extensively dealt with in the lecture notes of Professor P. K. Banerji [8].
In the present paper we make the use of Riemann-Liouville integrals and Dirichlet integrals which is a multivariate integral and the generalization of a beta integral. Finally, we deduce representations for the Dirichlet averages (; x, y) of the Wright type hypergeometric function with the fractional integrals, in particular. . Special cases of the established results associated with Wright type hyper geometric function have also been discussed.
2. Mathematical Preliminaries
Wright type Hypergeometric function: The generalized form of the hypergeometric function has been investigated by Dotsenko [10], Malovichko [11] and one of the special case is considered by Dotsenko [10] as
= _{2}R_{1 }(z) =
And its integral representation expressed as
= dt. (1)
Where Re(c) is the analogue of Euler’s formula for Gauss’s hyper geometric functions [10]. In 2001 Virchenkoetal [9] defined the said Wright type Hypergeometric function by taking inabove equation as
= _{2}R_{1}(a, b, c,,z) = ; τ. (2)
If 𝝉=1, then (2) reduces to Gauss’s hyper geometric function.
Standard simplex in denote the standard simplex in by
E = = (); …, 0 and +}.
Dirichlet Measures: Let b ϵ>; k and let E = be the standard simplex in complex measureis defined by [1]
(u) = …
….
Here B(b) = B() =
Dirichlet Averages: Dirichlet averages are discussed in the book by Carlson [1] and related to univariate and Multivariate B-splines in [3]. Dirichlet averages have produced deep and interesting connections to special functions. In this section, we extend the notion of the Dirichlet average to the infinite dimensional setting and show that under mild conditions on the weights, the results important for our interests do also hold on . In particular, we show that using a geometric interpretation, the Reimann-Liouville fractional derivative and integral can be applied to Dirichlet averages.
Let be a convex set in C and let z = () ϵ, n≥2, and let f be a measurable function on Ώ. We define
F (b; z) =, where (u) is a Dirichlet Measure.
B (b) = B () =, R() > 0, j = 1,2,3…,n
And
= +
For n = 1, = f(z),
for n = 2, we have
(u) = d(u).
Carlson [10] investigated the average as follows:
Dirichlet Averages for the power function: , kϵR,
(b;z) = , (kϵR).
Also for n = 2, Carlson proved that
(;, y) = d(u), (3)
Where ϵC, min [R (), R()] > 0, .
This section is devoted to the study of the Dirichlet averages of the Wright-type hypergeometric function (2) in the form
=(u)(4)
Where R() > 0, R() > 0; and ϵ C.
Fractional Calculus and its Elements:
The concept of fractional calculus is not new. It is believed to have stemmed from a question raised by L‟Hospital on September 30th, 1695, in a letter to Leibniz, about , Leibniz‟s notation for the nth derivative of the linear function f(x)= x. L‟Hospital curiously asked what the result would be if n= Leibniz responded prophetically that it would be an apparent paradox from which one day useful consequences would be drawn.
Following this unprecedented discussion, the subject of fractional calculus caught the attention of other great mathematicians, many of whom directly or indirectly contributed to its development. This included Euler, Laplace, Fourier, Lacroix, Abel, Riemann and Liouville. Over the years, many mathematicians, using their own notation and approach, have found various definitions that fit the idea of a non-integer order integral or derivative. One version that has been popularized in the world of fractional calculus is the Riemann-Liouville definition. It is interesting to note that the Riemann-Liouville definition of a fractional derivative gives the same result as that obtained by Lacroix.
In this section we present a brief sketch of various operators of fractional integration and fractional differentiation of arbitrary order. Among the various operators studied, it involves the Riemann-Liouville fractional operators, weyl operators and Saigo‟s operators etc. There are more than one version of the fractional integral operator exist. The fractional integral can be defined as follows:
Riemann-Liouville fractional integrals: As defined in [6]
f) = (t) dt, (). (5)
Thus, in general the Riemann-Liouville fractional integrals of arbitrary order for a function f(t), is a natural consequence of the well-known formula (Cauchy-Dirichlets?) that reduces the calculation of the n-fold primitive of a function f (t) to a single integral of convolution type.
3. Main Results
Representation of and in terms of Reimann-Liouville Fractional Integrals.
In this section we deduce representations for the Dirichlet averages and with fractional integral operators.
Theorem: Letϵ complex numbers, R() > 0, R() > 0, and ,y be real numbers such that and 1+ - ≥ 0,and and be given by (4) and (5) respectively. Then the Dirichlet average of the generalized Fox- wright functions is given by
= .
Where ϵ C, R() > 0, R() > 0, ,y ϵ R and 1+ - ≥ 0 (equality only holds for appropriately bounded z).
Proof: According to equations (1) and (2) we have,
=
d(u).
Or =
=d(u).
in above equation, we get
=
=
=
=
=
This proves the theorem.
4. Conclusion
Here we concluded with that that Dirichlets average of a function denotes certain kind of integral average with respect to a Dirichlets measure. Most of the important special functions can be represented as Dirichlets averages of the functions and , and there are significant advantages in defining them this way instead of by hypergeometric power series. The theory of Dirichlets averages is not restricted to functions of hypergeometric type, because any function that is analytic or even integrable can be averaged with respect to a Dirichlets measure. If the function is twice continuously differentiable, its Dirichlets average satisfies one or more linear second order partial differential equations that are characteristic of the average process, and are related to some of principal differential equations of mathematical physics. In this connection one can refer to the works of Saxena, Kilbas and Sharma etc. Moreover for the detailed account on Dirichlets average of a functionone should go through lectures of Professor P. K. Banerji.
Finally we conclude with the remark that the results and the operators proved in this paper appear to be new and likely to have useful applications to a wide range of problems of mathematics, statistics and physical sciences.
References