Dirichlet Averages, Fractional Integral Operators and Solution of Euler-Darboux Equation on Hölder Spaces

Show more

Received 2 June 2016; accepted 14 August 2016; published 17 August 2016

1. Introduction

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 [1] ),

(1)

Saigo [2] - [4] considered and studied the ED-equation given by

(2)

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

(3)

The solution of ED-Equation (2), due to Saigo [22] , is given by

(4)

where x and y are restricted in the domain.

Srivastava and Saigo [5] evaluated the results on multiplication of fractional integral operators and the solution of ED-equation. Deora and Banerji [6] represented the solution of Equation (2) in terms of Dirichlet averages of boundary condition functions given in (3) as follows

(5)

where and denote the single Dirichlet averages of boundary functions and, respectively.

Kilbas et al. [7] 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,

(6)

if and, i.e., is m-times differentiable function and its m-th derivative is continuous and satisfies the inequality

(7)

where for any.

Let and, i.e., be the space of Hölder continuous functions and

(8)

Then we denote by the space of functions such that, where.

3. Dirichlet Averages

Carlson [8] 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 [9] , Deora and Banerji [10] [11] , Deora, Banerji and Saigo [12] , Gupta and Agrawal [13] [14] , Kattuveettil [15] , Prabhakar [16] , Chena Ram et al. [17] , Vyas [18] , Vyas and Banerji [19] [20] , Vyas, Banerji and Saigo [21] .

Standard Simplex: Denote the standard simplex in by

(9)

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

(10)

Dirichlet Measure: The complex measure, defind on E by

(11)

for, is called the Dirichlet measure. Particularly, for, we write by using (3), the following:

(12)

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 [22] )

(13)

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

(14)

where and.

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

(15)

and for, and. The equation analogous to (11), is expressed as

(16)

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. [23] and the applications of it are elaborated in Hilfer [24] and Podlubney [25] . Vyas [26] 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

(17)

(18)

(19)

(20)

Proposition 1: Let and with. Then for, we have

(21)

Proposition 2: Let and with. Then for, we have

(22)

Generalization of fractional integral operators is due to Saigo [27] . Let and be real numbers and be the Gauss’ hypergeometric function. One may refer Erdélyi [28] [29] and Slater [30] . Then the fractional integral operator involving Gauss’ hypergeometric function on Hölder space is defined by

(23)

(24)

(25)

(26)

Proposition 3: Let and. Then for, we have

(27)

Proposition 4: Let and. Then for, we have

(28)

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

(29)

where is the right-sided Riemann-Liouville fractional integral operator defined in (17).

Proof: Using Equation (16), we write

(30)

Using the transformation in (30) and adjusting the terms involved, we obtain

(31)

which upon using (17), can be expressed as

(32)

which, for, can also be put in the form

(33)

where denotes the new fractional operator defined by

(34)

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

(35)

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.

Acknowledgements

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.

References

[1] Nahusev, A.M. (1969) A New Boundary Problem for a Degenerate Hyperbolic Equation. Soviet Mathematics Doklady, 10, 935-938.

[2] Saigo, M. (1979) A Certain Boundary Value Problem for the Euler-Darboux Equation. Mathematica Japonica, 24, 337-385.

[3] Saigo, M. (1979) A Certain Boundary Value Problem for the Euler-Darboux Equation-II. Mathematica Japonica, 25, 211-220.

[4] Saigo, M. (1981) A Certain Boundary Value Problem for the Euler-Darboux Equation-III. Mathematica Japonica, 26, 103-119.

[5] Srivastava, H.M. and Saigo, M. (1987) Multiplication of Fractional Calculus Operators and Boundary Value Problems Involving the Euler-Darboux Equation. Journal of Mathematical Analysis and Applications, 121, 325-369.

http://dx.doi.org/10.1016/0022-247X(87)90251-4

[6] Deora, Y. and Banerji, P.K. (1994) An Application of Fractional Calculus to the Solution of Euler-Darboux Equation in Terms of Dirichlet Averages. Journal of Fractional Calculus, 5, 91-94.

[7] Kilbas, A.A., Repin, O.A. and Saigo, M. (1996) Solution in Closed Form of Boundary Value Problem for Degenerate Equation of Hyperbolic Type. Kyungpook Mathematical Journal, 36, 261-273.

[8] Carlson, B.C. (1969) A Connection between Elementary Functions and Higher Transcendental Functions. SIAM Journal on Applied Mathematics, 17, 116-148.

http://dx.doi.org/10.1137/0117013

[9] Banerji, P.K. and Deora, Y. (1998) Laplace Transform of the Product of Two Generalized Laguerre Functions to Evaluate Averaged Functions. Bulletin of Calcutta Mathematical Society, 90, 389-394.

[10] Deora, Y. and Banerji, P.K. (1993) Double Dirichlet Average of ex Using Fractional Derivative. Journal of Fractional Calculus, 3, 81-86.

[11] Deora, Y. and Banerji, P.K. (1993) Triple Dirichlet Average and Fractional Derivative. Revista Técnica de la Facultad de Ingeniería Universidad del Zulia, 16, 157-161.

[12] Deora, Y., Banerji, P.K. and Saigo, M. (1994) Fractional Integral and Dirichlet Averages. Journal of Fractional Calculus, 6, 55-59.

[13] Gupta, S.C. and Agrawal, B.M. (1990) Dirichlet Averages and Fractional Derivatives. The Journal of the Indian Academy of Mathematics, 12, 103-115.

[14] Gupta, S.C. and Agrawal, B.M. (1991) Double Dirichlet Averages and Fractional Derivatives. Ganita Sandesh, 5, 47-53.

[15] Kattuvettill, A. (2008) On Dirichlet Averages. STARS: International Journal, 2, 78-88.

[16] Prabhakar, T.R. (1977) A General Class of Operators Involving and Related Integral Equations. The Journal of the Indian Mathematical Society, 41, 163-179.

[17] Ram, C., Choudhary, P. and Gehlot, K.S. (2013) Representation of Dirichlet Average of K-Series via Fractional Integrals and Special Functions. International Journal of Mathematics And Its Applications, 1, 1-11.

[18] Vyas, D.N. (2011) Some Results on Hypergeometric Functions Suggested by Dirichlet Averages. The Journal of the Indian Academy of Mathematics, 33, 705-715.

[19] Vyas, D.N. and Banerji, P.K. (1994) On Dirichlet Averages. Mathematica Balkanica (New Series), 10, 87-95.

[20] Vyas, D.N. and Banerji, P.K. (1995) Dirichlet Averages Associated with Psi-Function. SERDICA, Bulgarian Academy of Science, 9.

[21] Vyas, D.N., Banerji, P.K. and Saigo, M. (1994) On Dirichlet Average and Fractional Integral of a General Calss of Polynomials. Journal of Fractional Calculus,6, 61-64.

[22] Carlson, B.C. (1977) Special Functions of Applied Mathematics. Academic Press, New York.

[23] Samko, S.G., Kilbas, A.A. and Marichev, O.I. (1990) Fractional Integrals and Derivatives. Gordon and Breach Science Publishers, London.

[24] Hilfer, R. (Ed.) (2000) Applications of Fractional Calculus in Physics. World Scientific Publishing Company, Singapore.

[25] Podlubny, I. (1999) Fractional Differential Equations. Academic Press, San Diego.

[26] Vyas, D.N. (2010) Interpretation of Angle of Collision Occurring in Transport Properties of Noble Gases in Terms of Fractional Integral Operators. The Aligarh Bulletin of Mathematics, 29, 1-5.

[27] Saigo, M. (1978) A Remark on Fractional Integral Operator Involving Gauss’ Hypergeometric Function. Mathematical Reports of Kyushu University, 11, 135-143.

[28] Erdélyi, A. (1939) Integration of a Certain System of Linear Partial Differential Equations of Hypergeometric Type. Proceedings of the Royal Society of Edinburgh, 59, 224-241.

http://dx.doi.org/10.1017/S0370164600012311

[29] Erdélyi, A., et al. (1953) Higher Transcendental Functions. Vol. 1, McGraw Hill, New York.

[30] Slater, L.J. (1960) Confluent Hypegeometric Function. Cambridge University Press, Cambridge.