Monotonic solutions of functional integral and differential

The existence of positive monotonic solutions, in the class of continuous functions, for some nonlinear quadratic integral equations have been studied in [5]-[8]. Here we are concerned with a singular quadratic functional integral equations. The existence of positive monotonic solutions x ∈ L 1 [0, 1] will be proved. The fractional order nonlinear functional differential equation will be given as a special case.


Introduction
Nonlinear quadratic integral equations appear very often, in many applications of real world problem.For example, some problems considered in vehicular traffic theory, biology and queuing theory lead to the quadratic integral equations of this type (see [5] - [8]).J. Banas (see ([5]- [8]) proved the existence of solution of some equations in the class of continuous functions.
Here, we shall be concerned with the quadratic functional integral equation We prove, under certain condition, the existence of positive monotonic solutions of Eq. (1) in the space of integrable functions.The singular (fractional order) quadratic functional integral equation of the form will be studied as an application.
The existence of a monotonic positive integrable solution of the nonlinear functional differential equation of fractional order where D β is the Riemann-Liouville fractional order derivative, will be given as another application.Also the results concerning the existence of monotonic positive integrable solution of the nonlinear functional equation which was proved in [3], will be given as a special case.

Preliminaries
Let L 1 = L 1 [0, 1] be the class of Lebesgue integrable functions on I = [0, 1] with the standard norm.In this section we collect some definitions and results needed in our further investigations.
Assume that the function f : (0, 1) × R → R satisfies Caratheodory conditions i.e., it is measurable in t for any x and continuous in x for almost all t.Then to every function x(t) being measurable on the interval (0, 1) we may assign the function The operator F defined in such a way is called the superposition operator.This operator is one of the simplest and most important operators investigated in the nonlinear functional analysis.One of the most important result concerning the superposition operators contained in the below given theorem due to Krasnosel'skii [3].Theorem 2.1 The superposition operator F maps L 1 into itself if and only if and x ∈ R, where c(t) is a function from L 1 and k is a nonnegative constant.
Now let E be a Banach space with zero element 0 and X be a nonempty bounded subset of E, moreover denote by B r = B(0, r) the closed ball in E centered at 0 and with radius r.
In the sequel we shall need some criteria for compactness in measure.The complete description of compactness in measure was given by Fre'chet [11] , but the following sufficient condition will be more convenient for our purposes (see [3]).Theorem 2.2 Let X be a bounded subset of L 1 .Assume that there is a family of subsets (Ω c ) o≤c≤b−a of the interval (a,b) such that meas Ω c = c for every c ∈ [0, b − a], and for every The measure of weak noncompactness defined by De Blasi [5]- [6] is given by, The function β(X) possess several useful properties which may be found in [5].
The convenient formula for the function β(X) in L 1 was given by Appell and De Pascale ( see [1]) Next, we shall also use the notion of the Hausdorff measure of noncompactness χ (see [2]) defined by In the case when the set X is compact in measure, the Hausdorff and De Blasi measures of noncompactness will be identical.Namely we have (see [10]) Theorem 2.3 Let X be an arbitrary nonempty bounded subset of L 1 .If X is compact in measure then β(X) = χ(X).
Finally we will recall the fixed point theorem du to Darbo [5]- [6].Theorem 2.4 Let G be a nonempty, bounded, closed and convex subset of E and let H : G → G be a continuous transformation which is a contraction with respect to the Hausdorff measure of noncompactness χ, i.e.,there exists a constant α ∈ [0, 1) such that χ(HX) ≤ α χ(X) for any nonempty subset X of G. Then H has at least one fixed point in the set G.

Fractional order integral operators
This section is devoted to study the definitions and some properties of the fractional order integral operators.Let β be a positive real number Definition 1 The fractional order integral of order β of f ∈ L 1 is defined by (see [12]) where (it is proved that) (i) (ii) The fractional order integral operator And the following Lemma was proved in ( [9]) Lemma 2 Let the operator I β be defined on L 1 , then it maps the monotonic nondecrasing positive functions into functions of the same type.Definition 2 The Riemann-Liouville fractional order derivative of order β ∈ (0, 1) of the function f is given by 3 Existence of solutions of a quadratic functional integral equation (ii) f (t, x) = f : I × R + → R + satisfy Carathéodory conditions (i.e. it is measurable in t for all x ∈ R + and continuous in x for all t ∈ [0, 1] ) and there exists a function m(t) ∈ L 1 such that Moreover f is nondecreasing with respect to both variables separately; (iii) g(t, x) = g : I × R + → R + satisfy Carathéodory conditions and there exists a function a 1 (t) ∈ L 1 and a constant b such that Moreover, g is nondecreasing with respect to both variables separately; (iv) φ : I → I is increasing, absolutely continuous on I and there exists a constant  Proof.Let the operator H be defined by the formula Let x ∈ L 1 , then by assumptions (i),(ii) and (iii) we find that This implies that and proves that Hx ∈ L 1 .
Moreover the estimate (7) shows that the operator H maps B r into it self, where Let Q r ⊂ B r consisting of all functions positive and nondecreasing on I.
Clearly Q r is nonempty, bounded, closed and convex ( [3]).Now Q r is a bounded subset of L 1 consisting of all functions positive and nondecreasing on I, then Theorem 2.2 shows that Q r is compact in measure [3].Now, we shall show that the operator H transforms positive and nondecreasing function into function of the same type.First if x ∈ Q r is an arbitrary function, then x(φ(t)) is positive and nondecreasing function on I. Therefore t 0 k(t, s) g(s, x(φ(s))) ds, t ∈ (0, 1) is positive and nondecreasing functions on I.
Thus the operator H maps Q r into itself.By using assumption (ii),(iii) and (v), the operator H is continuous on Q r (see [13] and [4]).
Let X be a nonempty subset of Q r .Fix > 0 and take a measurable subset D ⊂ I such that meas.D ≤ .Then for any x ∈ X, we get Then we obtain which by Theorem 2.3 implies that Since M b M 1 −1 < 1, it follows, from Theorems 2.3 and 2.4, that H is contraction and has at least one fixed point in Q r which proves that the nonlinear quadratic functional integral equation ( 1) has at least one positive nondecreasing solution x ∈ L 1 [0, 1].

Fractional order quadratic functional integral equation
Consider now the quadratic functional integral equation ( 2).Now we have the following theorem.

EJQTDE, 2009
No. 7, p. 2       where the symbol meas D stands for Lebesgue measure of the set D.
Assume that the following assumptions are satisfied EJQTDE, 2009 No. 7, p. 3 (i) a : I → R + = [ 0, + ∞ ) is integrable and nondecreasing function on I; measurable in both variables and the operator K defined by (Ky)(t) = t 0 k(t, s) y(s) ds, t ∈ [0, 1] maps nondecreasing positive function x ∈ L 1 into function of the same type and

1 s|
k(t, s) | m(t) dt < M, s ∈ [0, 1].Now, we are ready to prove the existence theorem.Theorem 3.1 Let the assumptions (i)-(v) be satisfied.If b M < M 1 , then the quadratic functional integral equation (1) has at least one positive nondecreasing solution x ∈ L 1 (I).