Some hybrid fixed point theorems of Krasnosel’skii type, which involve product of two operators, are proved in partially ordered normed linear spaces. These hybrid fixed point theorems are then applied to fractional integral equations for proving the existence of solutions under certain monotonicity conditions blending with the existence of the upper or lower solution.
1. Introduction
Recently, Nieto and Rodríguez-López [1] proved the following hybrid fixed point theorem for the monotone mappings in partially ordered metric spaces using the mixed arguments from algebra and geometry.
Theorem 1 (Nieto and Rodríguez-López [1]).
Let (X,⪯) be a partially ordered set and suppose that there is a metric d in X such that (X,d) is a complete metric space. Let T:X→X be a monotone non-decreasing mapping such that there exists a constant k∈(0,1) such that
(1)d(Tx,Ty)≦kd(x,y)
for all comparable elements x,y∈X. Assume that either T is continuous or X is such that if {xn} is a non-decreasing sequence with xn→x in X, then
(2)xn≦x(n∈N:={1,2,3,…}).
Further, if there is an element x0∈X satisfying x0⪯Tx0, then T has a fixed point which is unique if “every pair of elements in X has a lower and an upper bound.”
Another fixed point theorem in the above direction can be stated as follows.
Theorem 2 (Nieto and Rodríguez-López [1]).
Let (X,⪯) be a partially ordered set and suppose that there is a metric d in X such that (X,d) is a complete metric space. Let T:X→X be a monotone non-decreasing mapping such that there exists a constant k∈(0,1) such that (1) satisfies for all comparable elements x,y∈X. Assume that either T is continuous or X is such that if {xn} is a non-decreasing sequence with xn→x in X, then
(3)xn≧x(n∈N).
Further, if there is an element x0∈X satisfying x0⪰Tx0, then T has a fixed point which is unique if “every pair of elements in X has a lower and an upper bound.”
Remark 3.
If we suppose that d(a,c)≧d(b,c)(a≦b≦c) and {xn}→x is a sequence in X whose consecutive terms are comparable, then there exists a subsequence {xnk}k∈N of {xn}n∈N such that every term comparable to the limit x implies the conditions (2) and (3), since (in the monotone case) the existence of a subsequence whose terms are comparable with the limit is equivalent to saying that all the terms in the sequence are also comparable with the limit.
Taking Remark 3 into account, the results discussed by Nieto and Rodríguez-López and the fact that, in conditions {xn}→x, there is a sequence in X whose consecutive terms are comparable, there exists a subsequence {xnk}k∈N of {xn}n∈N such that every term comparable to the limit x implies the validity of the conditions (2) and (3). Here the key is that the terms in the sequence (starting at a certain term) are comparable to the limit. Nieto and Rodríguez-López [2] obtained the following results, which improve Theorems 1 and 2.
Theorem 4 (Nieto and Rodríguez-López [2]).
Let (X,⪯) be a partially ordered set and suppose that there exists a metric d in X such that (X,d) is a complete metric space. Let T:X→X be a monotone function (non-decreasing or non-increasing) such that there exists k∈[0,1) with
(1′)d(T(x),T(y))≦kd(x,y)(x≧y).
Suppose that either T is continuous or X is such that if xn→x is a sequence in X whose consecutive terms are comparable, then there exists a subsequence {xnk}k∈N of {xn}n∈N such that every term comparable to the limit x. If there exists x0∈X with x0≦T(x0) or x0≧T(x0), then T has a fixed point which is unique if “every pair of elements in X has a lower and an upper bound.”
After the publication of the above fixed point theorems, there is a huge upsurge in the development of the metric fixed point theory in partially ordered metric spaces. A good number of fixed and common fixed point theorems have been proved in the literature for two, three, and four mappings in metric spaces by suitably modifying the contraction condition (1) as per the requirement of the results. We claim that almost all the results proved so far along this line, though not mentioned here, have their origin in a paper due to Heikkilä and Lakshmikantham [3]. The main difference is the convergence criteria of the sequence of iterations of the monotone mappings under consideration. The convergence of the sequence in Heikkilä and Lakshmikantham [3] is straightforward, whereas the convergence of the sequence in Nieto and Rodríguez-López [1, 2] is due mainly to the metric condition of contraction. The hybrid fixed point theorem of Heikkilä and Lakshmikantham [3] for the monotone mappings in ordered metric spaces is as follows.
Theorem 5 (Heikkillä and Lakshmikantham [3]).
Let [a,b] be an order interval in a subset Y of the ordered metric space X and let G:[a,b]→[a,b] be a non-decreasing mapping. If the sequence {Gxn} converges in Y whenever {xn} is a monotone sequence in [a,b], then the well-ordered chain of G-iterations of a has the maximum x* which is a fixed point of G. Moreover,
(4)x*=max{y∈[a,b]∣y≦Gy}.
The above hybrid fixed point theorem is applicable in the study of discontinuous nonlinear equations and has been used throughout the research monograph of Heikkillä and Lakshmikantham [3]. We also claim that the convergence of the monotone sequence in Theorem 5 is replaced in Theorem 4 by the Cauchy sequence {xn} and completeness of X. Further, the Cauchy non-decreasing sequence is replaced by the equivalent contraction condition for comparable elements in X. Theorem 4 is the best hybrid fixed point theorem because it is derived for the mixed arguments from algebra and geometry. The main advantage of Theorem 4 is that the uniqueness of the fixed point of the monotone mappings is obtained under certain additional conditions on the domain space such as lattice structure of the partially ordered space under consideration and these fixed point results are useful in establishing the uniqueness of the solution of nonlinear differential and integral equations. Again, some hybrid fixed point theorems of Krasnosel’skii type for monotone mappings are proved in Dhage [4, 5] along the lines of Heikkilä and Lakshmikantham [3].
The main object of this paper is first to establish some hybrid fixed point theorems of Krasnosel’skii type in partially ordered normed linear spaces, which involve product of two operators. We then apply these hybrid fixed point theorems to fractional integral equations for proving the existence of solutions under certain monotonicity conditions blending with the existence of the upper or lower solution.
2. Hybrid Fixed Point Theorems
Let X be a linear space or vector space. We introduce a partial order ⪯ in X as follows. A relation ⪯ in X is said to be a partial order if it satisfies the following properties:
reflexivity: a⪯a for all a∈X;
antisymmetry: a⪯b and b⪯a implies a=b;
transitivity: a⪯b and b⪯c implies a⪯c;
order linearity: x1⪯y1 and x2⪯y2⇒x1+x2⪯y1+y2; and x⪯y⇒tx⪯ty for t≧0.
The linear space X together with a partial order ⪯ becomes a partially ordered linear or vector space. Two elements x and y in a partially ordered linear space X are called comparable if the relation either x⪯y or y⪯x holds true. We introduce a norm ∥·∥ in partially ordered linear space X so that X becomes now a partially ordered normed linear space. If X is complete with respect to the metric d defined through the above norm, then it is called a partially ordered complete normed linear space.
The following definitions are frequently used in our present investigation.
Definition 6.
A mapping T:X→X is called monotone non-decreasing if x⪯y implies Tx⪯Ty for all x,y∈X.
Definition 7.
A mapping T:X→X is called monotone non-increasing if x⪯y implies Tx⪰Ty for all x,y∈X.
Definition 8.
A mapping T:X→X is called monotone if it is either monotone non-increasing or monotone non-decreasing.
Definition 9 (see [6, 7]).
A mapping φ:R+→R+ is called a monotone dominating function or, in short, an M-function if it is an upper or lower semicontinuous and monotonic non-decreasing or non-increasing function satisfying the condition: φ(0)=0.
Definition 10 (see [6, 7]).
Given a partially ordered normed linear space E, a mapping Q:E→E is called partially M-Lipschitz or partially nonlinear M-Lipschitz if there is an M-function φ:R+→R+ satisfying
(5)∥Qx-Qy∥≦φ(∥x-y∥)
for all comparable elements x,y∈E. The function is called an M-function of Q on E. If φ(r)=kr(k>0), then Q is called partially M-Lipschitz with the Lipschitz constant k. In particular, if k<1, then Q is called a partially M-contraction on X with the contraction constant k. Further, if φ(r)<r, for r>0, then Q is called a partially nonlinear M-contraction with an M-function φ of Q on X.
There do exist M-functions and the commonly used M-functions are φ(r)=kr and φ(r)=r/1+r, et cetera. These M-functions can be used in the theory of nonlinear differential and integral equations for proving the existence results via fixed point methods.
Definition 11 (see [8]).
An operator Q on a normed linear space E into itself is called compact if Q(E) is a relatively compact subset of E. Q is called totally bounded if, for any bounded subset S of E, Q(S) is a relatively compact subset of E. If Q is continuous and totally bounded, then it is called completely continuous on E.
Definition 12 (see [8]).
An operator Q on a normed linear space E into itself is called partially compact if Q(C) is a relatively compact subset of E for all totally ordered set or chain C in E. The operator Q is called partially totally bounded if, for any totally ordered and bounded subset C of E, Q(C) is a relatively compact subset of E. If the operator Q is continuous and partially totally bounded, then it is called partially completely continuous on E.
Remark 13.
We note that every compact mapping in a partially metric space is partially compact and every partially compact mapping is partially totally bounded. However, the reverse implication does not hold true. Again, every completely continuous mapping is partially completely continuous and every partially completely continuous mapping is continuous and partially totally bounded, but the converse may not be true.
We now state and prove the basic hybrid fixed point results of this paper by using the argument from algebra, analysis, and geometry. The slight generalization of Theorem 4 and Dhage [8] using M-contraction is stated as follows.
Theorem 14.
Let (X,⪯) be a partially ordered set and suppose that there exists a metric d in X such that (X,d) is a complete metric space. Let T:X→X be a monotone function (non-decreasing or non-increasing) such that there exists an M-function φT such that
(6)d(T(x),T(y))≦φT(d(x,y))
for all comparable elements x,y∈X and satisfying φT(r)<r(r>0). Suppose that either T is continuous or X is such that if xn→x is a sequence in X whose consecutive terms are comparable, then there exists a subsequence {xnk}k∈N of {xn}n∈N such that every term comparable to the limit x. If there exists x0∈X with x0≦T(x0) or x0≧T(x0), then T has a fixed point which is unique if “every pair of elements in X has a lower and an upper bound.”
Proof.
The proof is standard. Nevertheless, for the sake of completeness, we give the details involved. Define a sequence {xn} of successive iterations of T by
(7)xn+1=Txn(n∈N).
By the monotonicity property of T, we obtain
(8)x0⪯x1⪯⋯⪯xn⋯
or
(9)x0⪰x1⪰⋯⪰xn⋯.
If xn=xn+1, for some n∈N, then u=xn is a fixed point of T. Therefore, we assume that xn=xn+1 for some n∈N. If x=xn-1 and y=xn, then, by the condition (6), we obtain
(10)d(xn,xn+1)≦φ(d(xn-1,xn))
for each n∈N.
Let us write rn=d(xn,xn+1). Since φ is an M-function, {rn} is a monotonic sequence of real numbers which is bounded. Hence {rn} is convergent and there exists a real number r such that
(11)limn→∞rn=d(xn,xn+1)=r.
We show that r=0. If r≠0, then
(12)r=limn→∞rn=limn→∞d(xn,xn+1)≦limn→∞φ(d(xn-1,xn))≦φ(r)<r,
which is a contradiction. Hence r=0.
We now show that {xn} is a Cauchy sequence in X. If not, then, for ϵ>0, there exists a positive integer k such that
(13)d(xm(k),xn(k))≧ϵ
for all positive integers m(k)≧n(k)≧k.
If we write rk=d(xm(k),xn(k)), then
(14)ϵ≦rk=d(xm(k),xn(k))≦d(xm(k),xm(k)-1)+d(xm(k)-1,xn(k))=rm(k)-1+ϵ,
so that we have
(15)limk→∞rk=ϵ.
Again, we have
(16)ϵ≦rk=d(xm(k),xn(k))≦d(xm(k),xm(k)+1)+d(xm(k)+1,xn(k)+1)+d(xn(k)+1,xn(k))=rm(k)+φ(rk)+rn(k).
Taking the limit as k→∞, we obtain
(17)ϵ≦φ(ϵ)<ϵ,
which is a contradiction. Therefore, {xn} is a Cauchy sequence in X. By the metric space (X,d) being complete, there is a point x*∈X such that limn→0xn=x*. The rest of the proof is similar to above fixed point Theorem 4 given in Nieto and Rodríguez-López [2]. Hence we omit the details involved.
Corollary 15.
Let (X,⪯) be a partially ordered set and suppose that there exists a metric d in X such that (X,d) is a complete metric space. Let T:X→X be a monotone function (non-decreasing or non-increasing) such that there exists an M-function φ and a positive integer p such that
(18)d(Tp(x),Tp(y))≦φT(d(x,y))
for all comparable elements x,y∈X and satisfying φT(r)<r(r>0). Suppose that either T is continuous or X is such that if xn→x is a sequence in X whose consecutive terms are comparable, then there exists a subsequence {xnk}k∈N of {xn}n∈N such that every term comparable to the limit x. If there exists x0∈X with x0≦T(x0) or x0≧T(x0), then T has a fixed point which is unique if “every pair of elements in X has a lower and an upper bound.”
Proof.
Let us first set Q=Tp. Then Q:X→X is a continuous monotonic mapping. Also there exists the element x0∈X such that x0⪯Qx0. Now, an application of Theorem 14 yields that Q has an unique fixed point; that is, it is a point u∈X such that Q(u)=Tp(u)=u. Now T(u)=T(Tpu)=Q(Tu), showing that Tu is again a fixed point of Q. By the uniqueness of u, we get Tu=u. The proof is complete.
Fixed point Theorem 14 and Corollary 15 have some nice applications to various nonlinear problems modelled on nonlinear equations for proving existence as well as uniqueness of the solutions under generalized Lipschitz condition. The following fixed point theorem is presumably new in the literature. The basic principle in formulating this theorem is the same as that of Dhage [5, 8] and Nieto and Rodríguez-López [2]. Before stating these results, we give an useful definition.
Definition 16.
The order relation ⪯ and the norm ∥·∥ in a nonempty set X are said to be compatible if {xn} is a monotone sequence in X and if a subsequence {xnk} of {xn} converges to x0 impling that the whole sequence {xn} converges to x0. Similaraly, given a partially ordered normed linear space (X,⪯,∥·∥), the ordered relation ⪯ and the norm ∥·∥ are said to be compatible if ⪯ and the metric d defined through the norm are compatible.
Clearly, the set R with the usual order relation ≦ and the norm defined by absolute value function has this property. Similarly, the space C(J,R) with usual order relation defined by x≦y if and only if x(t)≦y(t) for all t∈J or x≦y if and only if x(t)≧y(t) for all t∈J and the usual standard supremum norm ∥·∥ are compatible.
We now state a more basic hybrid fixed point theorem. Since the proof is straightforword, we omit the details involved.
Theorem 17.
Let X be a partially ordered linear space and suppose that there is a norm in X such that X is a normed linear space. Let T:X→X be a monotonic (non-decreasing or non-increasing), partially compact and continuous mapping. Further, if the order relation ⪯ or ⪰ and the norm ∥·∥ in X are compatible and if there is an element x0∈X satisfying x0≦Tx0 or x0≧Tx0, then T has a fixed point.
In this paper, we combine Theorems 14 and 17 and Corollary 15 to derive some Krasnosel’skii type fixed point theorems in partially ordered complete normed linear spaces and discuss some of their applications to fractional integral equations of mixed type. We freely use the conventions and notations for fractional integrals as in (for example) [9–11].
3. Krasnosel’skii Type Fixed Point Theorems
We first state the following result.
Theorem 18 (see Krasnosel’skii [12]).
Let S be a closed convex and bounded subset of a Banach space X and let A:X→X and B:S→X be two operators satisfying the following conditions:
A is nonlinear contraction;
B is completely continuous;
Ax+By=x for all y∈S implies x∈S.
Then the following operator equation
(19)Ax+Bx=x
has a solution.
Theorem 18 is very much useful and applied to linear perturbations of differential and integral equations by several authors in the literature for proving the existence of the solutions. The theory of Krasnosel’skii type fixed point theorem is initiated by Dhage [5]. The following Krasosel’skii type fixed point theorem is proved in Dhage [5].
Theorem 19 (see Dhage [5]).
Let S be a nonempty, closed, convex, and bounded subset of the Banach algebra X. Also let A:X→X and B:S→X be two operators such that
A is D-Lipschitz with the D-function ψ;
B is completely continuous;
x=AxBy⇒x∈S for all y∈S;
Mψ(r)<r, r>0 where
(20)M=∥B(S)∥=sup{∥B(x)∥:x∈S}.
Then the operator equation AxBx=x has a solution in S.
Remark 20.
(I/A)-1B is monotone (non-decreasing or non-increasing) if A and B are monotone (non-decreasing or non-increasing), but the converse may not be true.
We now obtain another version of Krasnosel’skii type fixed point theorems in partially ordered complete normed linear spaces under weaker conditions, which improve Theorem 19, and discuss some of their applications to fractional integral equations of mixed type.
Theorem 21.
Let (X,⪯,∥·∥) be a partially ordered complete normed linear space such that the order relation ⪯ and the norm ∥·∥ in X are compatible. Let A,B:X→X be two monotone operators (non-decreasing or non-increasing) such that
A is continuous and partially nonlinear M-contraction;
B is continuous and partially compact;
there exists an element x0∈X such that x0⪯Ax0By or x0⪰Ax0By for all y∈X;
every pair of elements x,y∈X has a lower and an upper bound in X;
Kφ(r)<r, r>0 where
(21)K=∥B(X)∥=sup{∥Bx∥:x∈X}.
Then the operator equation AxBx=x has a solution.
Proof.
Define an operator T:X→X by
(22)T(x)=(IA)-1B.
Clearly, the operator T is well defined. To see this, let y∈X be fixed and define a mapping Ay:X→X by
(23)Ay(x)=AxBy.
Now, for any two comparable elements x1,x2∈X, we have
(24)∥Ay(x1)-Ay(x2)∥=∥Ax1By-Ax2By∥≦∥Ax1-Ax2∥·∥By∥≦KφA(∥x1-x2∥),
where A is an M-function of T on X. Hence, by an application of fixed point Theorem 14, Ay has an unique fixed point; say x*∈X. Therefore, we have an unique element x*∈X such that
(25)Ay(x*)=Ax*By=x*,
which implies that
(26)(IA)-1By=x*
or, equivalently, that
(27)Ty=x*.
Thus the mapping T:X→X is well defined.
We now define a sequence {xn} of iterates of T; that is, xn+1=Txn for n∈N0:={0,1,2,…}. It follows from the hypothesis (c) that x0≦T(x0) or x0≧T(x0). Again, by Remark 20, we find that the mapping T is monotonic (non-decreasing or non-increasing) on X. So we have
(28)x0⪯x1⪯x2⪯⋯xn⪯⋯
or
(29)x0⪰x1⪰x2⪰⋯xn⪰⋯.
Since B is partially compact and (I/A)-1 is continuous, the composition mapping T=(I/A)-1B is partially compact and continuous on X into X. Therefore, the sequence {xn} has a convergent subsequence and, from the compatibility of the order relation and the norm, it follows that the whole sequence converges to a point in X. Hence, an application of Theorem 17 implies that T has a fixed point. This further implies that
(30)(IA)-1Bx*=x*orAx*Bx*=x*,
which evidently completes the proof of Theorem 21.
Theorem 22.
Let (X,⪯,∥·∥) be a partially ordered complete normed linear space such that the order relation ⪯ and the norm ∥·∥ in X are compatible. Let A,B:X→X be two monotone mappings (non-decreasing or non-increasing) satisfying the following conditions:
A is linear and bounded and Ap is partially nonlinear M-contraction for some positive integer p;
B is continuous and partially compact;
there exists an element x0∈X such that x0⪯Ax0By or x0⪰Ax0By for all y∈X;
every pair of elements x,y∈X has a lower and an upper bound in X;
Kφ(r)<r, r>0 where
(31)K=∥B(X)∥=sup{∥Bx∥:x∈X}.
Then the operator equation AxBx=x has a solution.
Proof.
Define an operator T on X by
(32)T(x)=(IA)-1B.
Now the mapping (I/A)-1 exists in view of the relation
(33)(IA)-1=(IAp)-1∏j=1p-1Aj,
where ∏j=1p-1Aj is bounded and (I/Ap)-1 exists in view of Corollary 15. Hence, (I/A)-1 exists and is continuous on X. Next, the operator T is well defined. To see this, let y∈X be fixed and define a mapping Ay:X→X by
(34)Ay(x)=AxBy.
Then, for any two comparable elements x,y∈X, we have
(35)∥Ayp(x1)-Ayp(x2)∥=∥Apx1By-Apx2By∥≦∥Apx1-Apx2∥·∥By∥≦KφA(∥x1-x2∥).
Hence, by Corollary 15 again, there exists an unique element x* such that
(36)Ayp(x*)=Ap(x*)By=x*.
This further implies that Ay(x*)=x* and x* is an unique fixed point of Ay. Thus we have
(37)Ay(x*)=x*=Ax*Byor(IA)-1By=x*.
Consequently, Ty=x* and so T is well defined. The rest of the proof is similar to that of Theorem 21 and we omit the details. The proof is complete.
Remark 23.
The hypothesis (d) of Theorems 21 and 22 holds true if the partially ordered set X is a lattice. Furthermore, the space C(J,R) of continuous real-valued functions on the closed and bounded interval J=[a,b] is a lattice, where the order relation ≦ is defined as follows. For any x,y∈C(J,R),x≦y if and only if x(t)≦y(t) for all t∈J. The real-variable operations show that min(x,y) and max(x,y) are, respectively, the lower and upper bounds for the pair of elements x and y in X.
4. Fractional Integral Equations of Mixed Type
In this section we apply the hybrid fixed point theorems proved in the preceding sections to some nonlinear fractional integral equations of mixed type.
Given a closed and bounded interval J=[t0,t0+a] in R, R being the set of real numbers or some real numbers t0∈R and a∈R with a>0 and given a real number 0<q<1, consider the following nonlinear hybrid fractional integral equation (in short HFIE):
(38)x(t)=[f(t,x(t))](1Γ(q)∫t0t(t-s)q-1g(s,x(s))ds),
where f:J×R→R is continuous and g:J×R→R is locally Hölder continuous.
We seek the solutions of HFIE (38) in the space C(J,R) of continuous real-valued functions defined on J. We consider the following set of hypotheses in what follows.
(H1)g is bounded on J×R with bound Cg.
(H2)g(t,x) is non-decreasing in x for each t∈J.
(H3) There exist constants L>0 and K>0 such that
(39)0≦(f(t,x)-f(t,y))≦L(x-y)K+(x-y)
for all x,y∈R with x≧y. Moreover, L≦K.
(H4) There exists an element u0∈X=C(J,R) such that
(40)u0(t)≦[f(t,u0(t))]1Γ(q)∫t0t(t-s)q-1g(s,y(s))ds
for all t∈J and y∈X or
(41)u0(t)≧[f(t,u0(t))]1Γ(q)∫t0t(t-s)q-1g(s,y(s))ds
for all t∈J and y∈X.
Remark 24.
The condition given in the hypothesis (H4) is a little more restrictive than that of a lower solution of the HFIE (38). It is clear that u0 is a lower solution of the HFIE (38); however, the converse is not true.
Theorem 25.
Assume that the hypotheses (H1) through (H4) hold true. Then the HFIE (38) admits a solution.
Proof.
Define two operators A and B on X=C(J,R), the Banach space of continuous real-valued functions on J with the usual supremum norm ∥·∥ given by
(42)∥x∥=supt∈J|x(t)|.
We define an order relation ≦ in X with help of a cone K defined by
(43)K={x:x∈C(J,R),x(t)≧0(∀t∈J)}.
Clearly, the Banach space X together with this order relation becomes an ordered Banach space. Furthermore, the order relation ≦ and the norm ∥·∥ in X are compatible. Define two operators A,B:C(J,R)→C(J,R) by
(44)Ax(t)=f(t,x(t))(t∈J),Bx(t)=1Γ(q)∫t0t(t-s)q-1g(s,x(s))ds.
Then the given Hybrid fractional integral equation (38) is transformed into an equivalent operator equation as follows:
(45)Ax(t)·Bx(t)=x(t)(t∈J).
We show that the operators A and B satisfy all the conditions of Theorem 21 on C(J,R). First of all, we show that A is a nonlinear M-contraction on C(J,R). Let x,y∈X. Then, by the hypothesis (H3), we obtain
(46)|Ax(t)-Ay(t)|=|f(t,x(t))-f(t,y(t))|≦L|x(t)-y(t)|K+|x(t)-y(t)|≦L∥x-y∥K+∥x-y∥.
Taking the supremum over t, we get
(47)∥Ax-Ay∥≦L∥x-y∥K+∥x-y∥=φ(∥x-y∥),
where
(48)φ(r)=LrK+r<r(r>0).
Clearly, φ is an M-function for the operator A on X and so A is a partially nonlinear M-contraction on X.
Next, we show that B is a compact continuous operator on X. To this end, we show that B(X) is a uniformly bounded and equicontinuous set in X. Now, for any x∈X, we have
(49)|Bx(t)|≦1Γ(q)∫t0t|t-s|q-1|g(s,x(s))|ds≦CgΓ(q)∫t0t|t-s|q-1ds≦aqCgΓ(q+1),
which shows that B is a uniformly bounded set in X. We now let t1,t2∈J. Then
(50)|Bx(t1)-Bx(t2)|≦CgΓ(q)∫t0t2|(t1-s)q-1-(t2-s)q-1|ds+CgΓ(q+1)|t1-t2|q≦CgΓ(q)∫t0t0+a|(t1-s)q-1-(t2-s)q-1|ds+CgΓ(q+1)|t1-t2|q⟶0ast1⟶t2
uniformly for all x∈X. Hence B(X) is an equicontinuous set in X. Now we apply the Arzela-Ascoli theorem to show that B(X) is a compact set in X. The continuity of B follows from the continuity of the function g on J×R.
Finally, since f(t,x) and g(t,x) are non-decreasing in x for each t∈J, the operators A and B are non-decreasing on X. Also the hypothesis (H3) yields u0≦Au0·Bu0. Thus, all of the conditions of Theorem 22 are satisfied and we conclude that the fractional integral equation (38) admits a solution. This completes the proof.
We now consider the following fractional integral equation of mixed type:
(51)x(t)=[∫t0tv(t,s)f(s,x(s))ds]×(q(t)+1Γ(q)∫t0t(t-s)q-1g(s,x(s))ds)
for all t∈J and 0<q<1, where the functions v:J×J→R+ and f,g:J×R→R are continuous.
We consider the following set of hypotheses in what follows.
(H5) The function v:J×J→R+ is continuous. Moreover, v=supt,s∈J|v(t,s)|.
(H6)f(t,x) is linear in x for each t∈J.
(H7)f is bounded on J×R and there exists a constant L>0 such that f(t,x)<L|x| for all t∈J and x∈R.
(H8) There exists an element u0∈X=C(J,R) such that
(52)u0(t)≦[∫t0tv(t,s)f(s,u0(s))ds]×(q(t)+1Γ(q)∫t0t(t-s)q-1g(s,y(s))ds)
or
(53)u0(t)≧[∫t0tv(t,s)f(s,u0(s))ds]×(q(t)+1Γ(q)∫t0t(t-s)q-1g(s,y(s))ds)
for all t∈J and 0<q<1, where the functions v:J×J→R+ and f,g:J×R→R are continuous.
Remark 26.
The condition given in hypothesis (H7) is a little more restrictive than that of a lower solution for the HFIE (51) defined on J.
Theorem 27.
Assume that the hypotheses (H1), (H2), and (H5) through (H8) hold true. Then the HFIE (51) admits a solution.
Proof.
Set X=C(J,R) and define an order relation ≦ with the help of the cone K defined by (43). Clearly, C(J,R) is a lattice with respect to the above order relation ≦ in it. Define two operators A and B on X by
(54)Ax(t)=∫t0tv(t,s)f(s,x(s))ds(t∈J),Bx(t)=q(t)+1Γ(q)∫t0t(t-s)q-1g(s,x(s))ds(t∈J).
Clearly, the operator A is linear and bounded in view of the hypotheses (H1), (H6), and (H7). We only show that the operator An is partially M-contraction on X for every positive integer n. Let x,y∈X be such that x≧y. Then, by (H6) and (H7), we have
(55)|Ax(t)-Ay(t)|≦∫t0t|V|·|f(s,x(s))-f(s,y(s))|ds≦V∫t0t0+aL|x(s)-y(s)|ds≦LVa∥x-y∥,
where |V| is the supremum of v(t,s) over t. Thus, by taking the supremum over t, we obtain
(56)∥Ax-Ay∥≦LVa∥x-y∥.
Similarly, it can be proved that
(57)∥A2x-A2y∥=|A(Ax(t))-A(Ay(t))|≦LV∫t0t0+a(∫t0t|Ax(s)-Ay(s)|ds)ds≦L2V2a22!∥x-y∥.
In general, proceeding in the same way, for any positive integer n, we have
(58)∥Anx-Any∥≦LnVnann!∥x-y∥.
Therefore, for large n, An is partially a nonlinear M-contraction mapping on X. The rest of the proof is similar to that of Theorem 25. The desired result now follows by an application of Theorem 22. This completes the proof.
5. An Illustrative Example
Example 1. Consider a distributed-order fractional hybrid differential equation (DOFHDES) involving the Reimann-Liouville derivative operator of order 0<q<1 with respect to the negative density function b(q)>0 as follows:
(59)∫01b(q)Dq[x(t)f(t,x(t))]dq=g(t,x(t))(t∈J),∫01b(q)dq=1,x(0)=0.
Moreover, the function t→x/f(t,x) is continuous for each x∈R, where J=[0,T] is bounded in R for some T∈R. Also f∈C(J×R,R∖{0}) and g∈C(J,R). It is well known that the DOFHDES (59) is equivalent to the following integral equation:
(60)x(t)=f(t,x(t))π∫0tL{S{1B(re-iπ)};t-τ}g(τ,x(τ))dτ
such that 0≦τ≦t≦T and
(61)B(s)=∫01b(q)sqdq.
The integral equation (60) is valid for all x∈C(J,R). Hence, if Theorem 25 holds true then we further have
(62)LM|h|L′π<1(M>0),
then the above-mentioned DOFHDES (59) has a solution.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
NietoJ. J.Rodríguez-LópezR.Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations200522322323910.1007/s11083-005-9018-5MR22126872-s2.0-33644688928NietoJ. J.Rodríguez-LópezR.Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations200723122205221210.1007/s10114-005-0769-0MR23574542-s2.0-36448985642HeikkiläS.LakshmikanthamV.1994New York, NY, USAMarcel Dekker IncorporatedMR1280028DhageB. C.On extension of Tarski's fixed point theorem and applications1987253742DhageB. C.On existence theorems for nonlinear integral equation in Banach algebra via fixed point technique2001173345BedreS. V.KhairnarS. M.DesaleB. S.Hybrid fixed point theorems for M-contraction type maps and applications to functional differential equationProceedings of the International Conference on Information and Mathematical Sciences (IMS '13)October 2013Elsevier Science and Technology390397BedreS. V.KhairnarS. M.DesaleB. S.Some fixed point theorems in partially ordered G-metric spaces and applications to global existence and attractivity results for nonlinear functional integral equationsProceedings of the International Conference on Recent Trends in Engineering Sciences (ICRTES '13)November 2013Elsevier Science and Technology467477DhageB. C.Hybrid fixed point theory in partially ordered normed linear spaces and applications to fractional integral equations20135215518410.7153/dea-05-11MR3099986KilbasA. A.SrivastavaH. M.TrujilloJ. J.2006204Amsterdam, The NetherlandsElsevier Science B.V.North-Holland Mathematics StudiesMR2218073PodlubnyI.1999198New York, NY, USAAcademic PressMathematics in Science and EngineeringSrivastavaH. M.BuschmanR. G.199279Dordrecht, The NetherlandsKluwer Academic PublishersMathematics and Its Applications10.1007/978-94-015-8092-2MR1205580Krasnosel'skiiM. A.1964London, UKPergamon PressMR0159197