Received 2 June 2016; accepted 14 August 2016; published 17 August 2016
The subject of Dirichlet averages has received momentum in the last decade of 20th century with reference to the solution of certain partial differential equations. Not much work has been registered in this area of Applied Mathematics except some papers devoted to evaluation of Dirichlet averages of elementary functions as well as higher treanscendental functions interpreting the results in more general special functions. The present paper is ventured to give the interpretation of solution of a typical partial differential equation and prove its inclusion properties with respect to Hölder spaces. The Euler-Darboux equation (ED-equation) is a certain kind of degenerate hyperbolic partial differential equation of the type (see Nahušev  ),
Saigo  -  considered and studied the ED-equation given by
which implies the Equation (1) for or some other degenerate hyperbolic equations described
by characteristic coordinates. The boundary conditions used for the solution of Equation (2) are
The solution of ED-Equation (2), due to Saigo  , is given by
where x and y are restricted in the domain.
Srivastava and Saigo  evaluated the results on multiplication of fractional integral operators and the solution of ED-equation. Deora and Banerji  represented the solution of Equation (2) in terms of Dirichlet averages of boundary condition functions given in (3) as follows
where and denote the single Dirichlet averages of boundary functions and, respectively.
Kilbas et al.  studied the solution of ED-equation on Hölder Space or simply as well as on weighted Hölder Space of continuous functions. In the present paper we discuss the Dirichlet averages on Hölder Space via right-sided Riemann-Liouville fractional integral operators and prove the solution of Equation (2) to be justified on such spaces. In what follows are the preliminaries and definitions related to fractional integral operators, Dirichlet averages, and Hölder spaces of continuous functions.
2. Hölder Spaces
For and a finite interval we denote by the space of Hölder function on,
if and, i.e., is m-times differentiable function and its m-th derivative is continuous and satisfies the inequality
where for any.
Let and, i.e., be the space of Hölder continuous functions and
Then we denote by the space of functions such that, where.
3. Dirichlet Averages
Carlson  introduced the concept of connecting elementary functions with higher transcendental functions using averaging technique. The Dirichlet average is a certain kind of integral average with respect to Dirichlet measure, which in Statistics called as beta distribution of several variables. One may refer to Banerji and Deora  , Deora and Banerji   , Deora, Banerji and Saigo  , Gupta and Agrawal   , Kattuveettil  , Prabhakar  , Chena Ram et al.  , Vyas  , Vyas and Banerji   , Vyas, Banerji and Saigo  .
Standard Simplex: Denote the standard simplex in by
Beta Function of k-variables: Let denotes the cartesian product of open right half plane and is the standard simplex in. The beta function of k-variables can be expressed as
Dirichlet Measure: The complex measure, defind on E by
for, is called the Dirichlet measure. Particularly, for, we write by using (3), the following:
Dirichlet Average: Let be a convex set in. Let and denotes a convex linear combination of. Then the Dirichlet average of a holomorphic function f is defined by (See Carlson  )
where denotes the parameters. The convex combination is given by
Particularly,when, the Dirichlet average, so extracted out of (5), is called the single Dirichlet average of f over the line segment from 0 to 1. It is expressed as
If we consider the continuous function in Hölder Space and, then without the loss of characteristics of such spaces, the Dirichlet average of is defined by
and for, and. The equation analogous to (11), is expressed as
where denotes the single Dirichlet average of in two variables x and y in.
4. Fractional Integral Operators
Fractional calculus is the generalization of ordinary n-times iterated integrals and derivatives of continuous functions to that of any arbitrary order real or complex. The most commonly used definition of fractional integral operators of order a is due to Riemann-Liouville. A detailed account of fractional calculus is given in Samko et al.  and the applications of it are elaborated in Hilfer  and Podlubney  . Vyas  interpreted the angle of collision occurring in the study of transport properties of Noble gases at low density configuration in terms of Fractional Integral Operators.
Let be the Hölderian class of continuous functions and the weighted Hölder space be defined in (8). Then the right-sided Riemann-Liouville fractional integral operators are defined by
Proposition 1: Let and with. Then for, we have
Proposition 2: Let and with. Then for, we have
Generalization of fractional integral operators is due to Saigo  . Let and be real numbers and be the Gauss’ hypergeometric function. One may refer Erdélyi   and Slater  . Then the fractional integral operator involving Gauss’ hypergeometric function on Hölder space is defined by
Proposition 3: Let and. Then for, we have
Proposition 4: Let and. Then for, we have
By setting, the generalized fractional integral operators defined in (23) to (26) reduce to right-sided Riemann-Liouville fractional integral operators defined in (17) to (20).
5. Main Results
Theorem 1: Let,. Then the single Dirichlet average of is expressed as
where is the right-sided Riemann-Liouville fractional integral operator defined in (17).
Proof: Using Equation (16), we write
Using the transformation in (30) and adjusting the terms involved, we obtain
which upon using (17), can be expressed as
which, for, can also be put in the form
where denotes the new fractional operator defined by
Owing to the proposition 1 to proposition 4 we conclude the proof of theorem 1.
Corollary 1: If and restrictions on parmeters hold true, then for
Proof: Invoking the proposition 1 and using the result (32), we find that the fractional integral representation of single Dirichlet average of, for gives rise to the result (35). This justifies that the Dirichlet averages, so evaluated, belong to the Hölderian class.
Theorem 2: Let and denote the Dirichlet averages of boundary functions and, respectively associatd with the ED-Equation (2) and if denotes the solution of ED-equation, given by (5), in terms of and. Then, for, the solution belongs to the Hölderian class.
Proof: Using Equation (5), Theorem 1 and the Corollary 1, theorem 2 can be proved easily under the proposition 4.
The author is indebted to P. K. Banerji, Jodhpur, India for fruitful discussions during the preparation of this paper. Financial support under Technical Education Quality Improvement Programme (TEQIP)-II, a programme of Ministry of Human Resource Development, Government of India is highly acknowledged. Author is also thankful to worthy refree for his/her valuable suggestions upon improvement.