LOCAL ASYMPTOTIC STABILITY FOR NONLINEAR QUADRATIC FUNCTIONAL INTEGRAL EQUATIONS

In the present study, using the characterizations of measures of noncompactness we prove a theorem on the existence and local asymptotic stability of solutions for a quadratic functional integral equation via a fixed point theorem of Darbo. The investigations are placed in the Banach space of real functions defined, continuous and bounded on an unbounded interval. An example is indicated to demonstrate the natural realizations of abstract result presented in the paper.


Introduction
In this paper, we are going to prove a theorem on the existence and uniform global attractivity of solutions for a quadratic functional integral equation.Our investigations will be carried out in the Banach space of real functions which are defined, continuous and bounded on the real half axis R + .The integral equation in question has rather general form and contains as particular cases a lot of functional equations and nonlinear integral equations of Volterra type.The main tool used in our considerations is the technique of measures of noncompactness and the fixed point theorem of Darbo [1, page 17].
The measure of noncompactness used in this paper allows us not only to obtain the existence of solutions of the mentioned functional integral equation but also to characterize the solutions in terms of uniform global asymptotic attractivity.This assertion means that all possible solutions of the functional integral equation in question are globally uniformly attractive in the sense of notion defined in the following section.
The assumptions imposed on the nonlinearities in our main existence theorem admit several natural realizations which are illustrated by an example.The results obtained in this paper generalize and extend several ones obtained earlier in a lot of papers concerning asymptotic stability of solutions of some functional integral equations (cf.[3,4,5,8]).It is worthwhile mentioning that the novelty of our approach consists mainly EJQTDE, 2008 No. 10, p. 1 in the possibility of obtaining of the uniformly global attractivity of solutions for considered quadratic functional integral equations.

Notations, Definitions and Auxiliary facts
At the beginning of this section, we present some basic facts concerning the measures of noncompactness [1,2] in Banach spaces.
Assume that (E, • ) is an infinite dimensional Banach space with zero element θ.Denote by B r (x) the closed ball centered at x and with radius r.Thus, B r (θ) is the closed ball centered at origin of radius r.If X is a subset of E then the symbols X, ConvX stand for the closure and closed convex hull of X, respectively.Moreover, we denote by P bd (E) the family of all nonempty and bounded subsets of E and by P rcp (E) its subfamily consisting of all relatively compact subsets of E.
The following definition of a measure of noncompactness appears in Banas and Goebel [1].
to be a measure of noncompactness in E if it satisfies the following conditions: The family ker µ described in 1 o is said to be the kernel of the measure of noncompactness µ.Observe that the intersection set X ∞ from 6 o is a member of the family ker µ.In fact, since µ(X ∞ ) ≤ µ(X n ) for any n, we infer that µ(X ∞ ) = 0.This yields that X ∞ ∈ ker µ.This simple observation will be essential in our further investigations.Now we state a fixed point theorem of Darbo type which will be used in the sequel (see Banas [2, page 17]).

Theorem 2.1
Let Ω be a nonempty, bounded, closed and convex subset of the Banach space E and let F : Ω → Ω be a continuous mapping.Assume that there exists a constant k ∈ [0, 1) such that µ(F X) ≤ kµ(X) for any nonempty subset X of Ω.Then F has a fixed point in the set Ω. EJQTDE, 2008 No. 10, p. 2 Remark 2.1 Let us denote by F ix(F ) the set of all fixed points of the operator F which belong to Ω.It can be shown [1] that the set F ix (F ) belongs to the family ker µ.
Our further considerations will be placed in the Banach space BC(R + , R) consisting of all real functions x = x(t) defined, continuous and bounded on R + .This space is equipped with the standard supremum norm (2.1) For our purposes we will use the ball measure of noncompactness in E = BC(R + , R) defined by for all bounded subsets A of BC(R + , R), where B( The ball measure of noncompactness is also called Hausdorff measure of noncompactness since it has close connections with the Hausdorff metric in the Banach space E. We use a handy formula for ball or Hausdorff measure of noncompactness in BC(R + , R) discussed in Banas [2].To derive this formula, let us fix a nonempty and bounded subset X of the space BC(R + , R) and a positive number T .For x ∈ X and ≥ 0 denote by ω T (x, ) the modulus of continuity of the function x on the interval [0, T ], i.e.
Next, let us put ω T (X, ) = sup{ω T (x, ) : It is known that for any bounded subset A of BC(R + , R) (see Banas and Goebel [1] and the reference given therein).
Now, for a fixed number t ∈ R + let us denote Finally, let us consider the function µ defined on the family BC(R + , R) by the formula It can be shown as in Banas [2] that the function µ is a measure of noncompactness in the space BC(R + , R).The kernel ker µ of this measure consists nonempty and bounded subsets X of BC(R + , R) such that the functions from X are locally equicontinuous on R + and the thickness of the bundle formed by functions from X tends to zero at infinity.This particular characteristic of ker µ has been utilized in establishing the local attractivity of the solutions for quadratic integral equation.
In order to introduce further concepts used in the paper let us assume that Ω is a nonempty subset of the space BC(R + , R).Moreover, let Q be an operator defined on Ω with values in BC(R + , R).
Consider the operator equation of the form (2.4) We say that solutions of the equation (2.3) are locally attractive if there exists a ball B r (x 0 ) in the space BC(R + , R) such that for arbitrary solutions x = x(t) and y = y(t) of equation ( 2.3) belonging to B r (x 0 ) ∩ Ω we have that lim t→∞ (x(t) − y(t)) = 0 . (2.5) In the case when the limit (2.4) is uniform with respect to the set B(x 0 ) ∩ Ω, i.e. when for each > 0 there exists T > 0 such that for all x, y ∈ B(x 0 ) ∩ Ω being solutions of (2.4) and for t ≥ T , we will say that solutions of equation (2.4) are uniformly locally attractive (or equivalently, that solutions of (2.4) are asymptotically stable).Let us mention that the concept of attractivity of solutions was introduced in Hu and Yan [9] and Banas and Rzepka [3] while the concept of asymptotic attractivity is introduced in Dhage [7].

The Integral Equation and Stability Result
In this section we will investigate the following nonlinear quadratic functional integral equation (in short QFIE) for all t ∈ R + , where q : R + → R, f : R + × R → R and g : R By a solution of the QFIE (3.1) we mean a function x ∈ C(R + , R) that satisfies the equation (3.1),where C(R + , R) is the space of continuous real-valued functions on R + .
Observe that the above equation includes several classes of functional, integral and functional integral equations considered in the literature (cf.[3,5,6,7,8,9,10] and references therein).Let us also mention that the functional integral equation considered in [3,5] is a special case of the equation (3.1),where The equation (3.1) will be considered under the following assumptions: (B 1 ) The function q : R → R is continuous and lim t→∞ q(t) = 0.
(B 2 ) The function g : R b(s)ds, then the quadratic functional integral equation (3.1) has at least one solution in the space BC(R + , R).Moreover, solutions of the equation (3.1) are uniformly locally asymptotically stable on R + .
Proof.Set E = BC(R + , R).Consider the operator Q defined on the Banach space E by the formula for all t ∈ R + .Observe that in view of our assumptions, for any function x ∈ E, Qx is a real-valued continuous function on R + .Since the function v : R + → R defined by is continuous and in view of hypothesis (B 2 ), the number K 2 = sup t≥0 v(t) exists.Define a closed ball B r (θ) in E centered at the origin θ of radius equal to r = for all t ∈ R + .Taking the supremum over t, we obtain the estimate : for all x ∈ B r (θ).As a result, Q defines a mapping Q : B r (θ) → B r (θ).Now we show that the operator Q is continuous on the ball B r (θ).To do this, let us fix arbitrarily > 0 and take x, y ∈ B r (θ) such that ||x − y|| ≤ .Then by hypotheses (A 1 )-(A 2 ) and (B 1 )-(B 2 ) we get: Hence, in virtue of hypothesis (B 2 ), we infer that there exists a T > 0 such that v(t) ≤ 2Lr for t ≥ T .Thus, for t ≥ T from the estimate (3.3) we derive that |Qx(t) − Qy(t)| ≤ (LK 2 + 1) . (3.5) Further, let us assume that t ∈ [0, T ].Then, evaluating similarly as above we get: where we have denoted Obviously, in view of continuity of β, we have that β T < ∞.Moreover, from the uniform continuity of the function g(t, s, x) on the set [0, T ] × [0, β T ] × [−r, r] we derive that ω T r (g, ) → 0 as → 0. Now, linking the inequalities (3.5), (3.6) and the above established facts we conclude that the operator Q maps continuously the ball B r (θ) into itself.
Further on, let us take a nonempty subset X of the ball B r (θ).Next, fix arbitrarily T > 0 and > 0. Let us choose x ∈ X and t 1 , t 2 ∈ [0, T ] with |t 2 −t 1 | ≤ .Without loss of generality we may assume that t 1 < t 2 .Then, taking into account our assumptions, we get: where we have denoted From the above estimate we derive the following one Observe that ω T r (f, ) → 0 and ω T r (g, ) → 0 as → 0, which is a simple consequence of the uniform continuity of the functions f and g on the sets [0, T ] × [−r, r] and [0, T ] × [0, β T ] × [−r, r], respectively.Moreover, from the uniform continuity of q, α, v on [0, T ], it follows that ω T (q, ) → 0, ω T (α, ) → 0, ω T (v, ) → 0 as → 0. Thus, linking the established facts with the estimate (3.10) we get EJQTDE, 2008 No. 10, p. 10 Consequently, we obtain ω 0 (Q(X)) ≤ L K 2 ω 0 (X) . (3.12) Similarly, for any x ∈ X, one has for all t ∈ R + .Therefore, from the above inequality, it follows that for all t ∈ R + .Taking the supremum over t, Hence, where, LK 2 < 1.This shows that Q is a set-contraction on B r (0) with the contraction constant k = LK 2 .Now, we apply Theorem 2.1 to the operator equation Qx = x and deduce that the operator Q has a fixed point x in the ball B r (θ).Obviously x is a solution of the functional integral equation (3.1).Moreover, taking into account that the image of the space X under the operator Q is contained in the ball B r (θ) we infer that the set F ix(Q) of all fixed points of Q is contained in B r (θ).Obviously, the set F ix(Q) contains all solutions of the equation (3.1).On the other hand, from Remark 2.3 we conclude that the set F ix(Q) belongs to the family ker µ.Now, taking into account the description of sets belonging to ker µ (given in Section 2) we deduce that all solutions of the equation (3.1) are uniformly locally asymptotically stable on R + and the common attractor is the line x(t) = 0.This completes the proof.As LK 2 = 1 2 < 1, we apply Theorem 3.1 to yield that the QFIE (3.1) has a solution and all solutions are uniformly locally asymptotically stable on R + .EJQTDE, 2008 No. 10, p. 12
.3) is satisfied and there is a line which is a common attractor to them on R + .In the case when condition (2.3) is satisfied uniformly with respect to the set B r (x 0 ) ∩ Ω, that is, if for every ε > 0 there exists T > 0 such that the inequality (2.4) is satisfied for t ≥ T and for all x, y ∈ B r (x 0 ) ∩ Ω being the solutions of (2.1) having a line as a common attractor, we will say that solutions of the equation (2.1) are uniformly locally asymptotically attractive on R + .Note that two solutions x and y of the equation (2.1) existing on R + are called asymptotically attractive if the condition (2.3) is satisfied and there is a line as a common attractor on R + .Therefore, locally asymptotically attractive solutions are asymptotically attractive, but the converse may not be true.Similarly, uniformly locally asymptotically attractive solutions are asymptotically attractive, but the converse may not be true.A asymptotically attractive solution for the operator equation (2.1) existing on R + is also called asymptotically stable on R + .
where m 1 and m 2 are real numbers, is called a attractor for the solution x ∈ BC(R + , R) to the equation (2.1) if lim t→∞ [x(t) − (m 1 t + m 2 )] = 0.In this case the solution x to the equation (2.1) is also called to be asymptotic to the line y = m 1 t + m 2 and the line is an asymptote for the solution x on R + .Now we introduce the following definition useful in the sequel.Definition 2.4The solutions of the equation (2.1) are said to be locally asymptotically attractive if there exists a x 0 ∈ BC(R + , R) and an r > 0 such that for any two solutions x = x(t) and y = y(t) of the equation (2.1) belonging to B r (x 0 ) ∩ Ω the EJQTDE, 2008 No. 10, p. 4 condition (2 is continuous and there exist continuous functions a, b : R + → R + such that Now we formulate the main result of this paper.Theorem 3.1 Assume that the hypotheses (A 1 ) through (A 3 ) and (B 1 ) through (B 2 ) hold.Furthermore, if LK 2 < 1, where K 2 = sup t≥0 a(t) β(t) 0 EJQTDE, 2008 No. 10, p. 11We shall show that all the above functions satisfy the conditions of Theorem 3.1.Clearly, the functions α, β and γ are continuous and map the half real line R + into itself with lim for all t, s ∈ R + and x ∈ R.