 Research Article
 Open access
 Published:
On the Existence of Locally Attractive Solutions of a Nonlinear Quadratic Volterra Integral Equation of Fractional Order
Advances in Difference Equations volumeÂ 2010, ArticleÂ number:Â 127093 (2010)
Abstract
The authors employs a hybrid fixed point theorem involving the multiplication of two operators for proving an existence result of locally attractive solutions of a nonlinear quadratic Volterra integral equation of fractional (arbitrary) order. Investigations will be carried out in the Banach space of real functions which are defined, continuous, and bounded on the real half axis .
1. Introduction
The theory of differential and integral equations of fractional order has recently received a lot of attention and now constitutes a significant branch of nonlinear analysis. Numerous research papers and monographs have appeared devoted to differential and integral equations of fractional order (cf., e.g., [1â€“6]). These papers contain various types of existence results for equations of fractional order.
In this paper, we study the existence of locally attractive solutions of the following nonlinear quadratic Volterra integral equation of fractional order:
for all and , in the space of real functions defined, continuous, and bounded on an unbounded interval.
It is worthwhile mentioning that up to now integral equations of fractional order have only been studied in the space of real functions defined on a bounded interval. The result obtained in this paper generalizes several ones obtained earlier by many authors.
In fact, our result in this paper is motivated by the extension of the work of Hu and Yan [7]. Also, We proceed and generalize the results obtained in the papers [8, 9].
2. Notations, Definitions, and Auxiliary Facts
Denote by the space of Lebesgue integrable functions on the interval , which is equipped with the standard norm. Let and let be a fixed number. The RiemannLiouville fractional integral of order of the function is defined by the formula:
where denotes the gamma function.
It may be shown that the fractional integral operator, transforms the space into itself and has some other properties (see [10â€“12]).
Let be the space of continuous and bounded realvalued functions on and let be a subset of . Let be an operator and consider the following operator equation in , namely,
for all . Below we give different characterizations of the solutions for the operator equation (2.2) on . We need the following definitions in the sequel.
Definition 2.1.
We say that solutions of (2.2) are locally attractive if there exists an and an such that for all solutions and of (2.2) belonging to we have that:
Definition 2.2.
An operator is called Lipschitz if there exists a constant such that for all . The constant is called the Lipschitz constant of on .
Definition 2.3 (Dugundji and Granas [13]).
An operator on a Banach space into itself is called compact if for any bounded subset of , is a relatively compact subset of . If is continuous and compact, then it is called completely continuous on .
We seek the solutions of (1.1) in the space of continuous and bounded realvalued functions defined on . Define a standard supremum norm and a multiplication "" in by
Clearly, becomes a Banach space with respect to the above norm and the multiplication in it. By we denote the space of Lebesgue integrable functions on with the norm defined by
We employ a hybrid fixed point theorem of Dhage [14] for proving the existence result.
Theorem 2.4 (Dhage [14]).
Let be a closedconvex and bounded subset of the Banach space and let be two operators satisfying:

(a)
is Lipschitz with the Lipschitz constant ,

(b)
is completely continuous,

(c)
for all , and

(d)
where .
Then the operator equation
has a solution and the set of all solutions is compact in .
3. Existence Result
We consider the following set of hypotheses in the sequel.
(H1) The function is continuous, and there exists a bounded function with bound satisfying
for all and .
(H2) The function defined by is bounded with
(H3) The function is continuous and .
(H4) The function is continuous. Moreover, there exist a function being continuous on and a function being continuous on with and such that
for all such that and for all .
For further purposes let us define the function by putting
Obviously the function is continuous on .
In what follows we will assume additionally that the following conditions are satisfied.
(H5) The functions defined by the formulas
are bounded on and vanish at infinity, that is, .
Remark 3.1.
Note that if the hypotheses and hold, then there exist constants and such that:
Theorem 3.2.
Assume that the hypotheses hold. Furthermore, if , where and are defined in Remark 3.1, then (1.1) has at least one solution in the space . Moreover, solutions of (1.1) are locally attractive on .
Proof.
Set . Consider the closed ball in centered at origin 0 and of radius , where .
Let us define two operators and on by
for all .
According to the hypothesis , the operator is well defined and the function is continuous and bounded on . Also, since the function is continuous on , the function is continuous and bounded in view of hypothesis . Therefore and define the operators . We will show that and satisfy the requirements of Theorem 2.4 on .
The operator is a Lipschitz operator on . In fact, let be arbitrary. Then by hypothesis , we get
for all . Taking the supremum over ,
for all . This shows that is a Lipschitz on with the Lipschitz constant .
Next, we show that is a continuous and compact operator on . First we show that is continuous on . To do this, let us fix arbitrary and take such that . Then we get
Since is continuous on , then it is bounded on , and there exists a nonnegative constant, say , such that . Hence, in view of hypothesis , we infer that there exists such that for . Thus, for we derive that
Furthermore, let us assume that . Then, evaluating similarly to the above we obtain the following estimate:
where ,â€‰â€‰,â€‰â€‰.
Therefore, from the uniform continuity of the function on the set we derive that as . Hence, from the aboveestablished facts we conclude that the operator maps the ball continuously into itself.
Now, we show that is compact on . It is enough to show that every sequence in has a Cauchy subsequence. In view of hypotheses and , we infer that:
for all . Taking the supremum over , we obtain for all . This shows that is a uniformly bounded sequence in . We show that it is also equicontinuous. Let be given. Since , there is constant such that for all .
Let be arbitrary. If , then we have
From the uniform continuity of the function on and the function in , we get as .
If , then we have
as .
Similarly, if with , then we have
Note that if , then and . Therefore from the above obtained estimates, it follows that:
As a result, as . Hence is an equicontinuous sequence of functions in . Now an application of the ArzelÃ¡Ascoli theorem yields that has a uniformly convergent subsequence on the compact subset of . Without loss of generality, call the subsequence of the sequence itself.
We show that is Cauchy sequence in . Now as for all . Then for given there exists an such that for , then we have
This shows that is Cauchy. Since is complete, then converges to a point in . As is closed, converges to a point in . Hence, is relatively compact and consequently is a continuous and compact operator on .
Next, we show that for all . Let be arbitrary, then
for all . Taking the supremum over , we obtain for all . Hence hypothesis of Theorem 2.4 holds.
Also we have
and therefore . Now we apply Theorem 2.4 to conclude that (1.1) has a solution on
Finally, we show the local attractivity of the solutions for (1.1). Let and be any two solutions of (1.1) in defined on , then we get
for all . Since , and , for , there are real numbers , and such that for , for all and for all . If we choose , then from the above inequality it follows that for , where . This completes the proof.
4. An Example
In this section we provide an example illustrating the main existence result contained in Theorem 3.2.
Example 4.1.
Consider the following quadratic Volterra integral equation of fractional order:
where .
Observe that the above equation is a special case of (1.1). Indeed, if we put and
Then we can easily check that the assumptions of Theorem 3.2 are satisfied. In fact, we have that the function is continuous and satisfies assumption , where and as in assumption . We have that the function is continuous and it is easily seen that as , thus assumption is satisfied. Next, let us notice that the function satisfies assumption , where , and . Thus . To check that assumption is satisfied let us observe that the functions appearing in that assumption take the form:
Thus it is easily seen that as . Finally, let us note that in Remark 3.1 there are two constants such that . It is also easy to check that , and . Then . Hence, taking into account that (cf. [4]), all the assumptions of Theorem 3.2 are satisfied and (4.1) has a solution in the space . Moreover, solutions of (4.1) are uniformly locally attractive in the sense of Definition 2.1.
References
Babakhani A, DaftardarGejji V: Existence of positive solutions of nonlinear fractional differential equations. Journal of Mathematical Analysis and Applications 2003,278(2):434442. 10.1016/S0022247X(02)007163
El Borai MM, ElSayed WG, Abbas MI: Monotonic solutions of a class of quadratic singular integral equations of Volterra type. International Journal of Contemporary Mathematical Sciences 2007,2(1â€“4):89102.
El Borai MM, Abbas MI: Solvability of an infinite system of singular integral equations. Serdica Mathematical Journal 2007,33(23):241252.
El Borai MM, Abbas MI: On some integrodifferential equations of fractional orders involving CarathÃ©odory nonlinearities. International Journal of Modern Mathematics 2007,2(1):4152.
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, Yverdon, Switzerland; 1993:xxxvi+976.
Srivastava HM, Saxena RK: Operators of fractional integration and their applications. Applied Mathematics and Computation 2001,118(1):152. 10.1016/S00963003(99)002088
Hu X, Yan J: The global attractivity and asymptotic stability of solution of a nonlinear integral equation. Journal of Mathematical Analysis and Applications 2006,321(1):147156. 10.1016/j.jmaa.2005.08.010
BanaÅ› J, O'Regan D: On existence and local attractivity of solutions of a quadratic Volterra integral equation of fractional order. Journal of Mathematical Analysis and Applications 2008,345(1):573582. 10.1016/j.jmaa.2008.04.050
Rzepka B: On attractivity and asymptotic stability of solutions of a quadratic Volterra integral equation of fractional order. Topological Methods in Nonlinear Analysis 2008,32(1):89102.
Kilbas AA, Trujillo JJ: Differential equations of fractional order: methods, results and problems. I. Applicable Analysis 2001,78(12):153192. 10.1080/00036810108840931
Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. John Wiley & Sons, New York, NY, USA; 1993:xvi+366.
Podlubny I: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, Mathematics in Science and Engineering. Volume 198. Academic Press, San Diego, Calif, USA; 1999:xxiv+340.
Dugundji J, Granas A: Fixed Point Theory. I, Monografie Matematyczne. Volume 61. PaÅ„stwowe Wydawnictwo Naukowe, Warsaw, Poland; 1982:209.
Dhage BC: Nonlinear functional boundary value problems in Banach algebras involving CarathÃ©odories. Kyungpook Mathematical Journal 2006,46(4):527541.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Abbas, M. On the Existence of Locally Attractive Solutions of a Nonlinear Quadratic Volterra Integral Equation of Fractional Order. Adv Differ Equ 2010, 127093 (2010). https://doi.org/10.1155/2010/127093
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/127093