Abstract and Applied Analysis

Volume 2014 (2014), Article ID 184626, 7 pages

http://dx.doi.org/10.1155/2014/184626

Research Article

On Solutions of a Nonlinear Erdélyi-Kober Integral Equation

Nurgali K. Ashirbayev,¹ Józef Banaś,² and Raina Bekmoldayeva¹

¹Department of Mathematics, Science-Pedagogical Faculty, M. Auezov South Kazakhstan State University, Tauke Khan Avenue 5, Shymkent 160012, Kazakhstan

²Department of Mathematics, Rzeszów University of Technology, Al. Powstańców Warszawy 8, 35-959 Rzeszów, Poland

Received 27 April 2014; Accepted 18 May 2014; Published 1 June 2014

Academic Editor: Robert A. Van Gorder

Copyright © 2014 Nurgali K. Ashirbayev et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We conduct some investigations concerning the solvability of a nonlinear integral equation of Erdélyi-Kober type. To facilitate our study we will first consider a nonlinear integral equation of Volterra-Stieltjes type. Since the mentioned Erdélyi-Kober integral equation turns out to be a special case of that of Volterra-Stieltjes type, we can apply the obtained results to the Erdélyi-Kober integral equation. Examples illustrating the obtained results will be also included.

1. Introduction

Differential and integral operators of noninteger order play an important role in several branches of applied mathematics, engineering, physics, mathematical physics, and so forth. Differential and integral equations involving operators of the mentioned type are called equations of fractional order (see [1–4], e.g.). Such equations are used to describe nonlinear oscillations of earthquakes, the fluid dynamic traffic model, and the media with fractional mass dimension and they are used in the theory of viscoelasticity as well as in electrochemistry, for instance [1–8]. It is also worthwhile mentioning that differential and integral equations are also applied in biology and economics [2, 4, 7].

Our aim in this paper is to study the solvability of the so-called nonlinear integral equations of Erdélyi-Kober type. Let us mention that integral equations of that type can be utilized in describing the generalized grey Brownian motion as a diffusion process. Other examples of integral equations of Erdélyi-Kober type are indicated in [9], for example (cf. also [10–12]).

The approach which will be used in this paper to study nonlinear integral equations of Erdélyi-Kober integral equations depends on considering some class of Volterra-Stieltjes integral equations of such a type that the mentioned Erdélyi-Kober integral equations turn out to be special cases of those integral equations of Volterra-Stieltjes type. Such an approach allows us not only to conduct our investigations in a more convenient way but also to obtain more general results.

2. Notation, Definitions, and Auxiliary Facts

In this section we collect notation, definitions, and auxiliary facts which will be utilized in our further considerations. Throughout the paper we will denote by the set of real numbers and by the interval . If is a Banach space with the norm and the zero element , then will denote closed ball centered at and with radius . We write to denote the ball .

The investigations of this paper will be conducted in the classical Banach function space , where is the unit interval. Obviously, the interval can be replaced by any interval . We will assume that the space is endowed with the standard maximum norm ; that is, .

If is an arbitrary function from the space , then the symbol will denote the modulus of continuity of the function defined in the standard way:

for any .

Further, we recall some facts concerning functions of bounded variation [13].

At the beginning let us assume that is a real function defined on a given interval . Then, by the symbol we will denote the variation of the function on the interval . If the variation is finite, we say that is of bounded variation on the interval . In the case when and is an arbitrary subinterval of the interval , we denote by the variation of the function on the interval , where is a fixed number in the interval . Similarly we define the quantity .

Other facts concerning functions of bounded variation may be found in [13].

If and are two real functions defined on the interval , then under some additional conditions [13, 14] we can define the Stieltjes integral (in the Riemann-Stieltjes sense)

of the function with respect to the function . In such a situation we will say that is Stieltjes integrable on the interval with respect to the function .

Let us notice that several conditions are known which guarantee the Stieltjes integrability [13–15]. One of the most frequently used requires that be continuous and be of bounded variation on .

Further on, we will apply a few properties of the Stieltjes integral contained in formulated lemmas below [13].

Lemma 1. If is Stieltjes integrable on the interval with respect to a function of bounded variation, then

Lemma 2. Let be Stieltjes integrable functions on the interval with respect to a nondecreasing function , such that for . Then,

In the sequel we will also consider the Stieltjes integrals having the form

where and the symbol indicates the integration with respect to . The details concerning the integral of such a kind will be given later. Let us only mention that integral (5) allows us to represent the Erdélyi-Kober integral equation in the more convenient form as a particular case of the Volterra-Stieltjes integral equation (cf. the next section).

3. Introductory Facts concerning Erdélyi-Kober Integral Equations

In this section we provide a few preliminary facts concerning the integral equations of Erdélyi-Kober type. The theory of those equations was initiated by the papers of Erdélyi and Kober [16–18].

Integral equations of Erdélyi-Kober type can be presented in the form of singular nonlinear integral equations having the form:

where , , are positive constants, , and . Moreover, is the gamma function.

This equation can be written in a more general form:

(cf. [12]), but the function can be linked with the function and such an approach allows us to convert (7) to the form (6).

Notice that taking (for ), we transform (6) to the form

so we obtain (with the accuracy to the constant ) the Erdélyi-Kober integral equation of the form

In what follows we will consider (6) which will be written in the form

In order to simplify the investigations we will assume that since in such a case we have that .

Particularly, this condition is satisfied for . Under such an assumption the above equation can be considered in a more handy form as follows:

where , , and .

It is a key point in our considerations to observe that the fractional order integral equation of Erdélyi-Kober type (11) can be written as the integral equation of Volterra-Stieltjes type having the form

where the function appearing in our equation has the form

for .

Indeed, we have

Hence we see that nonlinear Erdélyi-Kober integral equation (11) is a particular case of nonlinear Volterra-Stieltjes integral equation (12).

This observation will be very essential in our further investigations which will be conducted in next sections.

4. Main Result

This section is devoted to the study of the nonlinear Volterra-Stieltjes integral equation (12). In our investigations we will impose the below formulated hypotheses (cf. [19]).

(i).(ii) The function is continuous on the triangle .(iii) The function is of bounded variation on the interval , for each fixed .(iv) For any , there exists such that, for all , with and , the following inequality holds:

(v) for any .(vi) is continuous and such that , for all and for each , where is a nondecreasing function.

In order to formulate our last assumption we will need to recall a few auxiliary facts coming from [19] and concerning the function (cf. also [20]).

We will assume that satisfies assumptions (ii)–(v) formulated above.

We start with the following lemma.

Lemma 3. The function

is continuous on the interval for any fixed .

Lemma 4. Let assumptions (ii)–(iv) be satisfied. Then, for an arbitrarily fixed number and for any , there exists such that if , and , then

Lemma 5. Under assumptions (ii)–(iv), the function

is continuous on the interval .

Further, let us observe that based on Lemma 5 we infer that there exists a positive constant such that

Now, we are prepared to formulate our last assumption.

(vii) There exists a positive solution of the inequality

The main result of the paper is contained in the formulated theorem below.

Theorem 6. Under assumptions (i)–(vii) there exists at least one solution of (12) belonging to the ball of the space .

Proof. Let us consider the operator defined on the space in the following way:

for and for arbitrarily fixed .

Then, taking into account the imposed assumptions we infer that the function is well defined.

For further purposes, to make our proof more transparent, we introduce two functions and defined in the following way:

Observe that in virtue of assumption (iv) and Lemma 4 we conclude easily that and as .

Now, choose arbitrarily a function and a number . Next, fix such that . Without loss of generality we can assume that . Then, keeping in mind our assumptions and Lemmas 1 and 2, we have

where we denoted

Further, let us observe that in view of the uniform continuity of the function on the set we infer that as . Moreover, invoking assumption (i) and the properties of the functions and defined by (22), we conclude that the function is continuous on the interval . This means that the operator transforms into itself.

In what follows we show that the operator is continuous on the space . To this end fix arbitrarily a number and take such that . Then, in view of Lemmas 1 and 2, for an arbitrarily fixed we obtain

Hence, denoting by the number

and introducing the notation

we obtain the following estimate:

Now, applying the fact that the function is uniformly continuous on the set , we conclude that as . Combining this fact with estimate (27) we deduce that the operator is continuous on the space .

Further on, let us fix arbitrarily . Then, applying Lemmas 1 and 2 and arguing as above, for , we obtain

Now, invoking assumption (vii) we deduce that there exists a number such that the operator transforms the ball into itself.

In what follows let us choose a number . Next, take arbitrary numbers such that and . Then, for arbitrarily fixed element , in view of estimate (23), we obtain

Then, based on the properties of the functions , , , and , from (29) and the Arzéla-Ascoli criterion for relative compactness in the space , we conclude that the subset of the ball is relatively compact in the space . Thus, applying the Schauder fixed point principle, we conclude that the operator has at least one fixed point belonging to the ball . Obviously, the function is a solution of (12) and the proof is complete.

5. Further Discussions and an Example

In this section we discuss, first of all, the applicability of assumption (iv). Observe that assumption (iv) seems to be not convenient to be used in a concrete situation. Indeed, we show that the mentioned assumption can be replaced by an assumption which is more convenient and is suitable for the use if we consider the Erdélyi-Kober integral equation (11).

Namely, we will utilize the following assumption.

() For arbitrary such that the function is nonincreasing on the interval .

It can be shown [19] the following assertion.

Theorem 7. Let . If the function satisfies assumptions (ii), (), and (v), then satisfies assumption (iv).

Now, we focus on the study of the solvability of the Erdélyi-Kober integral equation (11). As we pointed out in Section 3, (11) is a special case of (12) if we assume that the function has the form (13).

In what follows we show that the function defined by (13) satisfies assumptions (ii)–(v) formulated before Theorem 6.

In order to prove this assertion, observe that it is rather obvious that the function defined by (13) satisfies assumptions (ii) and (v). To prove that satisfies (iii), let us notice that

for all . This means that the function is nondecreasing on the interval and allows us to deduce that the function defined by (13) satisfies assumption (iii).

To prove that there is satisfied assumption (iv), fix arbitrary such that . Consider the function defined by the formula

for . Then we get

It is easily seen that for which permits us to infer that the function defined by (13) satisfies assumption ().

Summing up, we conclude that the function defined in (13) satisfies assumptions (ii)–(v).

On the basis of the above established facts we can formulate the following existence result concerning integral equation (11).

Theorem 8. Assume that there are satisfied assumptions (i) and (vi), and the following one.

() There exists a positive solution of the inequality

Then (11) has at least one solution in the space belonging to the ball .

Indeed, the above theorem is an easy consequence of the above established facts concerning the function defined by (13) and Theorem 6 as well as the equality , where is the constant defined by (19).

Now, we illustrate our result contained in Theorem 8 by an example.

Example 9. Let us consider the following nonlinear integral equation of Erdélyi-Kober type:

for . Observe that this equation can be rewritten in the form of (11); that is,

Notice that (35) is a particular case of (11) if we put , , , , and

Now we verify that the above indicated components of (35) satisfy the assumptions of Theorem 8. Indeed, the function is a member of the space and . Further, we have that is continuous on the set and the following estimate holds for arbitrary and :

This implies that the function satisfies assumption (vi) with the function being nondecreasing on . Further, let us take into account inequality (33) which in our case has the form

or equivalently

Let us write the above inequality in a more transparent form:

Then, it is easily seen that the number seems to be a “sufficiently” optimal solution of inequality (40).

On the basis of Theorem 8 we conclude that (35) has at least one solution in the space belonging to the ball .

Remark 10. It is worthwhile mentioning that the term appearing both in (11) and in (12) has no significance in our considerations and can be included in the function . Nevertheless, we have separated that term since it will play certain role in our further study of nonlinear Erdélyi-Kober integral equations considered in spaces of functions defined on the half-axis .

Details will appear elsewhere.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

K. Diethelm, The Analysis of Fractional Differential Equations, vol. 2004 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2010.

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204, Elsevier Science B.V., Amsterdam, The Netherlands, 2006.

K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, New York, NY, USA, 1993.

I. Podlubny, Fractional Differential Equations, vol. 198, Academic Press, San Diego, Calif, USA, 1999.

R. Hilfer, Applications of Fractional Calculus in Physics, World Scientific, River Edge, NJ, USA, 2000.

V. Lakshmikantham, S. Leela, and J. Vasundara Devi, Theory of Fractional Dynamic Systems, Cambridge Scientific Publishers, Cambridge, UK, 2009.

S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives, Gordon and Breach Science, Amsterdam, The Netherlands, 1993.

H. M. Srivastava and R. K. Saxena, “Operators of fractional integration and their applications,” Applied Mathematics and Computation, vol. 118, no. 1, pp. 1–52, 2001.

J. A. Alamo and J. Rodríguez, “Operational calculus for modified Erdélyi-Kober operators,” Serdica Bulgaricae Mathematicae Publicationes, vol. 20, no. 3-4, pp. 351–363, 1994.

H. H. Hashem and M. S. Zaki, “Carathéodory theorem for quadratic integral equations of Erdélyi-Kober type,” Journal of Fractional Calculus and Applications, vol. 4, no. 1, pp. 56–72, 2013.

M. A. Darwish and K. Sadarangani, “On Erdélyi-Kober type quadratic integral equation with linear modification of the argument,” Applied Mathematisc and Computation, vol. 238, pp. 30–42, 2014.

J. R. Wang, C. Zhu, and M. Feckan, “Solvability of fully nonlinear functional equations involving Erdélyi-Kober fractional integrals on the unbounded interval,” Optimization, 2014.

J. Appell, J. Banaś, and N. Merentes, Bounded Variation and Around, vol. 17 of De Gruyter Series in Nonlinear Analysis and Applications, Walter de Gruyter, Berlin, Germany, 2014.

I. P. Natanson, Theory of Functions of a Real Variable, Ungar, New York, NY, USA, 1960.

N. Danford and J. T. Schwartz, Linear Operators, International Publishing, Leyden, The Netherlands, 1963.

A. Erdélyi, “On fractional integration and its application to the theory of Hankel transforms,” The Quarterly Journal of Mathematics, vol. 11, p. 293–-303, 1940.

A. Erdélyi and H. Kober, “Some remarks on Hankel transforms,” The Quarterly Journal of Mathematics, vol. 11, pp. 212–221, 1940.

H. Kober, “On fractional integrals and derivatives,” The Quarterly Journal of Mathematics, vol. 11, pp. 193–211, 1940.

J. Banaś and T. Zając, “A new approach to the theory of functional integral equations of fractional order,” Journal of Mathematical Analysis and Applications, vol. 375, no. 2, pp. 375–387, 2011.

T. Zając, “Solvability of fractional integral equations on an unbounded interval through the theory of Volterra-Stieltjes integral equations,” Zeitschrift für Analysis und ihre Anwendungen, vol. 33, no. 1, pp. 65–85, 2014.