Abstract
We establish some new common coupled fixed point theorems for a pair of operators not assumed to satisfy mixed monotone type properties in the ordered Banach space setting. For that purpose, the notions of weakly inflationary and weakly deflationary operators are introduced in the two-dimensional setting, and existence and uniqueness common coupled fixed point theorems for such operators are established under certain condensing and contractive conditions involving the two-dimensional setting. As an application, we study the existence and uniqueness of nonnegative solutions for nonlinear integral equations.
Similar content being viewed by others
1 Introduction and preliminaries
The notion of a coupled fixed point was introduced and studied by Opoitsev [1] and investigated later by Guo-Lakshmikantham [2]. Among investigations of coupled fixed point results for nonlinear operators in the ordered Banach space setting, there are more results on the existence of coupled fixed points than on the existence of common coupled fixed points of a pair of operators, and most of these results were established for mixed monotone operators; see for instance [2–8] and the references therein. The notion of a mixed monotone operator was introduced in [2] as follows.
Definition 1.1
Let \((\Omega,\leq)\) be a partially ordered set. An operator \(A:\Omega \times\Omega\rightarrow\Omega\) is said to be mixed monotone if \(A(x,y)\) is nondecreasing in x and nonincreasing in y, in the sense that
and
In some recent work, the authors have followed a line of research consisting in replacing the mixed monotonicity of operators by other properties, since the mixed monotonicity is not often easy to check; see [9] for a property based on the comparability of elements in ordered metric spaces, and [3, 10] for the following alternative mixed monotone property.
Definition 1.2
Let \((\Omega,\leq)\) be a partially ordered set, and let \(A:\Omega \times \Omega\rightarrow\Omega\), \(g:\Omega\rightarrow\Omega\) be two operators. A is said to be mixed g-monotone if \(A(x,y)\) is g-nondecreasing in x and g-nonincreasing in y, in the sense that
and
Hence, the mixed g-monotone property of an operator \(A:\Omega\times \Omega\rightarrow\Omega\) extends its mixed monotone property (which is the mixed Id-monotone property where Id is the identity mapping on Ω).
In this paper, we continue on this path by investigating the existence of common coupled fixed points of a pair of operators \(A,B:\Omega\times \Omega \rightarrow\Omega\), where mixed monotone type properties of the operators are not assumed, while the pair of operators is assumed to satisfy a new two-dimensional order type property, extending a well-known one-dimensional equivalent property (Definition 2.3 and the remarks following), and guaranteeing the use of monotone iterative technique. To prove the existence of a common coupled fixed point for such pair of operators, it is assumed for operators to satisfy a useful condensing and contractive conditions (conditions (\(C_{1}\)) and (\(C_{2}\)) hereafter) involving the two-dimensional setting. The consideration of the latter condensing and contractive conditions is motivated by the fact that these conditions are satisfied in particular when the operators satisfy the standard condensing and contractive conditions as defined in the literature; see Definition 1.5 and the remarks following Lemma 2.1.
The first main result extends the well-known results in the literature on a fixed point theorem for monotone operators and coupled fixed point theorem for mixed monotone operators; see [4], Theorem 2.1.1 and Theorem 2.1.7. We look, also, at the equivalent of our main result when the Banach space is endowed with its weak topology. Finally, we illustrate the applicability of our results by studying the existence and uniqueness of nonnegative solution for a two-dimensional nonlinear integral equations.
Throughout this paper X will be a real Banach space, \(B_{r}\) will denote the closed ball in X centered at 0 with radius \(r>0\). In particular, we use the notation \(B_{X}:=B_{1}\). For a subset \(\Omega\subset X\), \(\pi _{\Omega}:\Omega\times\Omega\rightarrow\Omega\) will denote the first projection mapping, i.e. \(\pi_{\Omega} ( x,y ) =x\) (\(x,y\in\Omega \)). We will mean in the sequel by the term ‘operator’ between two Banach spaces a mapping which is (nonlinear in general) continuous and bounded (i.e. takes bounded sets to bounded sets).
A cone K in X is a subset of X with \(K+K\subset K\), \(\alpha K\subset K\) for all \(\alpha\geq0\), and \(K\cap ( -K ) = \{ 0 \} \). As usual X will be ordered by the (partial) order relation
and the cone \(K= \{ x\in X:x\geq0 \} \) will be denoted by \(X^{+}\). \(( X,\leq ) \) is said to be an ordered Banach space, if the positive cone \(X^{+}\) is closed. For two vectors \(x,y\in X\), \([x)\), \((y]\), and the order interval \([x,y]\) are the sets defined by \([x)= \{ z\in X:x\leq z \} \), \((y]= \{ z\in X:z\leq y \} \), and \([x,y]=\{z\in X:x\leq z\leq y\}\). Note that if \(x\nleqslant y\) then \([x,y]=\phi\). A cone \(X^{+}\) of an ordered Banach space X is said to be normal whenever there is a constant \(N>0\) (called the normal constant of \(X^{+}\) when N is the smallest constant) such that for every \(x,y\in X\)
The following two lemmas will be useful in the proofs of our results.
Lemma 1.3
[11], Lemmas 2.3 and 2.22
Let X be an ordered Banach space. Then the following assertions hold:
-
(1)
X is Hausdorff and the order intervals of X are closed;
-
(2)
if the cone \(X^{+}\) is normal, then every order interval is bounded.
Lemma 1.4
Let X be an ordered Banach space with a normal cone \(X^{+}\). Then a monotone sequence \(( u_{n} ) \subset X\) is convergent if and only if it has a weakly convergent subsequence.
Proof
The ‘only if’ part is obvious. For the ‘if’ part, assume that \(( u_{n} ) \) is nondecreasing and let \(( u_{n_{k}} ) \subset ( u_{n} ) \) be a subsequence such that \(u_{n_{k}}\rightarrow u\) weakly for some \(u\in X\). Let \(m\in\mathbb{N}\) be fixed. For each \(k\geq m\), we see that
Since the cone \(X^{+}\) is convex and closed, it is weakly closed. Thus, since \(u_{n_{k}}\rightarrow u\) weakly, we see from (1.1) that \(u_{m}\leq u\) for each \(m\in\mathbb{N}\). Thus, it follows from [11], Lemma 2.28 that \(\lim u_{n_{k}}=u\). Now, if \(m\geq n_{k}\) then \(0\leq u-u_{m}\leq u-u_{n_{k}}\) and hence \(\Vert u-u_{m}\Vert \leq N\Vert u-u_{n_{k}}\Vert \), where N denotes the normal constant of \(X^{+}\). Letting \(k\rightarrow\infty\), we see that \(\lim u_{m}=u\) as required. The desired conclusion is proved similarly when \(( u_{n} ) \) is nonincreasing. □
For a subset \(D\subset X\), denote by \(\mathcal{B} ( D ) \), \(\mathcal{W} ( D ) \), \(\mathcal{W}_{r} ( D ) \) the family of all bounded subsets of D, weakly compact subsets of D and relatively weakly compact subsets of D. A function \(\phi:\mathcal{B} ( X ) \rightarrow\mathbb{R}^{+}\) is said to be a Sadovskij functional [12] if it satisfies the following requirements (\(U,V\in\mathcal{B} ( X ) \), \(\lambda\in\mathbb{R}\)):
-
(1)
\(\phi(U\cup V)=\max(\phi(U),\phi(V))\) (the set additivity);
-
(2)
\(\phi(U+V)\leq\phi(U)+\phi(V)\) (the algebraic subadditivity);
-
(3)
\(\phi(\lambda U)=\vert \lambda \vert \phi(U)\) (the homogeneity);
-
(4)
\(\phi(U)\leq\phi ( V ) \) if \(U\subset V\) (the monotonicity);
-
(5)
\(\phi( [ 0,1 ] \cdot U)=\phi(U)\) (the absorption invariance);
-
(6)
\(\phi(\overline{\operatorname{co}}U)=\phi(U)\) (the convex closure invariance).
ϕ is said to be a measure of noncompactness if it is a regular Sadovskij functional in the sense that
An important example of a measure of noncompactness (see [12] for other examples) is the so called Kuratowski measure of noncompactness defined for \(U\in\mathcal{B} ( X ) \) by
where the diameter of a bounded subset V of X is defined by
Another type of Sadovskij functional is the so called measure of weak noncompactness introduced by De Blasi in [13], and defined for \(U\in\mathcal{B} ( X ) \) by
Also, ω satisfies the following regular property (see for more properties [14]):
In \(L_{1}\)-spaces, ω enjoys the following useful formula, which was established by Appell and De Pascale [14]:
for every \(M\in\mathcal{B} ( L_{1} ( S ) ) \), where S is a measure space and λ is the Lebesgue measure.
Definition 1.5
[15], p.21
Let X and Y be two real Banach spaces, let ϕ and ψ be two measures of (weak) noncompactness in X and Y, respectively, and let \(\Omega\subset X\) be a subset. An operator \(T:\Omega\rightarrow Y\) is called \(( \phi,\psi ) \)-condensing if
for all \(U\in\mathcal{B} ( \Omega ) \) with \(\phi ( U ) >0\). The operator T is said to be a k-\(( \phi,\psi ) \)-contraction (\(k\geq0\)) if
for all \(U\in\mathcal{B} ( \Omega ) \). A k-\(( \phi,\psi ) \)-contraction is called a strict \(( \phi,\psi ) \)-contraction if \(k<1\).
When \(X=Y\) and \(\phi=\psi\), we shall simply say ‘ϕ-condensing’ and ‘k-ϕ-contraction’. The following implications are now evident:
Furthermore, \(T:\Omega\rightarrow Y\) is called a φ-nonlinear contraction, if there exists a continuous and nondecreasing real function \(\varphi:[0,\infty)\rightarrow[ 0,\infty)\) with \(\varphi ( r ) < r\) for \(r>0\), such that
for all \(u,v\in\Omega\) (in particular, if \(\varphi(r)=kr\); \(0\leq k<1\), then T is called a contraction operator with contraction constant k). Also, \(T:\Omega\rightarrow Y\) is called a nonlinear \(( \phi,\psi ) \)-set-contraction, if
for all \(U\in\mathcal{B} ( \Omega ) \).
Remark 1.6
Clearly every nonlinear \(( \phi,\psi ) \)-set-contraction \(T:\Omega\rightarrow Y\) is \(( \phi,\psi ) \)-condensing. Also, it is easy to see that every φ-nonlinear contraction \(T:\Omega\rightarrow Y\) is a nonlinear \(( \alpha _{X},\alpha_{Y} ) \)-set-contraction, where \(\alpha_{X}\), \(\alpha_{Y}\) denote, respectively, the Kuratowski measures of noncompactness in X, Y.
When \(Y=X\), an operator \(T:\Omega\rightarrow\Omega\) is said to be nondecreasing (resp. nonincreasing) if for all \(x,y\in\Omega\), \(x\leq y\) implies \(Tx\leq Ty\) (resp. \(Tx\geq Ty\)).
A point \(x_{\ast}\in\Omega\) is called a fixed point (resp. lower fixed point, resp. upper fixed point) if \(x_{\ast}=Tx_{\ast}\) (resp. \(x_{\ast }\leq Tx_{\ast}\), resp. \(x_{\ast}\geq Tx_{\ast}\)). A lower (resp. upper) fixed points are also called a post-fixed points (resp. pre-fixed points); see [16], p.264. Also, for an operator \(A:\Omega\times\Omega \rightarrow\Omega\), let us recall from [4] the following two-dimensional fixed point notions:
-
A point \((x_{\ast},y_{\ast})\in\Omega\times\Omega\) is said to be a coupled fixed point of A if
$$ A(x_{\ast},y_{\ast})=x_{\ast}\quad \text{and} \quad A(y_{\ast},x_{\ast })=y_{\ast}. $$\(x_{\ast}\in\Omega\) is called a fixed point of A if \(A(x_{\ast },x_{\ast})=x_{\ast}\). Evidently, if \((x_{\ast},y_{\ast})\) is a coupled fixed point of A, then \((y_{\ast},x_{\ast})\) is also a coupled fixed point of A. Also, \((x_{\ast},x_{\ast})\) is a coupled fixed point of A whenever \(x_{\ast}\) is a fixed point of A.
-
A point \(( x,y ) \in\Omega\times\Omega\) is said to be a lower (resp. upper) coupled fixed point of A if
$$ x\leq A(x,y)\quad \bigl(\mbox{resp. }x\geq A(x,y)\bigr) $$and
$$ A(y,x)\leq y \quad \bigl(\mbox{resp. }A(y,x)\geq y\bigr). $$Clearly, if \(( x,y ) \) is a lower (resp. upper) coupled fixed point of A then \(( y,x ) \) is an upper (resp. lower) coupled fixed point of A.
2 Main results
In the sequel, we consider the product space \(X\times X\) equipped with \(\Vert ( x,y ) \Vert _{\infty}=\max \{ \Vert x\Vert , \Vert y\Vert \} \) and the Kuratowski measure of noncompactness and the De Blasi measure of weak noncompactness \(\alpha ^{\times}\) and \(\omega^{\times}\), respectively, and \(\gamma=\alpha\) or ω. The facts in the following lemma are obtained in a simple way and therefore their proofs are omitted.
Lemma 2.1
Let X be a Banach space. For each \(D_{1},D_{2}\in \mathcal{B} ( X ) \) the following assertions hold:
-
(1)
\(\operatorname {dia}( D_{1}\times D_{2} ) =\max \{ \operatorname {dia}( D_{1} ) ,\operatorname {dia}( D_{2} ) \} \).
-
(2)
\(\gamma^{\times} ( D_{1}\times D_{2} ) =\max \{ \gamma ( D_{1} ) ,\gamma ( D_{2} ) \} \).
For a subset \(\Omega\subset X\), it follows from Lemma 2.1 that if an operator \(A:\Omega\times\Omega\rightarrow\Omega\) is \(( \gamma^{\times},\gamma ) \)-condensing then A satisfies the following γ-condensing condition:
for all \(U,V\in\mathcal{B} ( \Omega ) \) with \(\gamma ( U ) >0\) or \(\gamma ( V ) >0\). Also, if A is a k-\(( \gamma^{\times},\gamma ) \)-contraction then A satisfies the following k-γ-contraction condition:
for all \(U,V\in\mathcal{B} ( \Omega ) \).
Example 2.2
-
(1)
Let \(0< k<1\). Define the (continuous and bounded) operator \(A:B_{X}\times B_{X}\rightarrow B_{X}\) by
$$ A ( x,y ) =\frac{k}{2} \bigl( \Vert x\Vert \cdot x+\Vert y\Vert \cdot y \bigr) . $$Then A satisfies the α-condensing condition (\(C_{1}\)). Indeed, let \(G:B_{X}\times B_{X}\rightarrow B_{X}\) and \(T:B_{X}\rightarrow B_{X}\) be such that
$$\begin{aligned}& G ( x,y ) =k\cdot \Vert y\Vert \cdot x, \\& T ( x ) =G ( x,x ) . \end{aligned}$$Since \(G ( \cdot,y ) \) is contractive with contraction constant k for every \(y\in B_{X}\), and \(G ( x,\cdot ) \) is compact for every \(x\in B_{X}\) (because the range of \(G ( x,\cdot ) \) lies in a finite dimensional subspace of X, for every \(x\in B_{X}\)), T is α-condensing (see [12], p.198). Now, let \(U,V\subset B_{X}\) be such that \(\alpha ( U ) >0\) or \(\alpha ( V ) >0\). Then, from \(A ( U\times V ) =\frac{1}{2} ( T ( U ) +T ( V ) ) \), we see that
$$\begin{aligned} \alpha\bigl( A ( U\times V ) \bigr) \leq&\frac{1}{2} \bigl( \alpha \bigl( T ( U ) \bigr) +\alpha\bigl( T ( V ) \bigr) \bigr) \\ < &\frac{1}{2} \bigl( \alpha( U ) +\alpha( V ) \bigr) \\ \leq&\max\bigl( \alpha( U ) ,\alpha( V ) \bigr) , \end{aligned}$$which proves that A satisfies the α-condensing condition (\(C_{1}\)).
-
(2)
More generally, if \(T,S:\Omega\rightarrow\Omega\) are two operators such that both T and S are γ-condensing, then the operator \(A:\Omega\times\Omega\rightarrow\Omega\) defined by
$$ A ( x,y ) =\frac{1}{2} \bigl( T ( x ) +S ( y ) \bigr) $$satisfies the γ-condensing condition (\(C_{1}\)).
-
(3)
In (1), if \(B=k^{\prime}\cdot A\) (\(k^{\prime}\geq 0 \)), then it follows that the operator B satisfies the \(k^{\prime }\)-α-contraction condition (\(C_{2}\)).
Recall from [16], p.263 that an operator \(T:\Omega \rightarrow\Omega\) on a partially ordered set is said to be inflationary (or progressing, see [17], p.34) if \(Tx\geq x\) for every \(x\in\Omega\). An example of such operator is the operator that associates to every element of a vector lattice its positive part. We introduce the following similar two-dimensional concepts.
Definition 2.3
Let \((\Omega,\leq)\) be a partially ordered set. For an operator \(A:\Omega\times\Omega\rightarrow\Omega\), let \(T_{A}:\Omega \times\Omega\rightarrow\Omega\times\Omega\) be the operator defined by
-
(1)
An operator \(A:\Omega\times\Omega\rightarrow\Omega\) is said to be inflationary, if A is inflationary with respect to its first argument, that is, \(A ( x,y ) \geq x\) for every \(x,y\in\Omega\);
-
(2)
a pair of operators \(A,B:\Omega\times\Omega\rightarrow\Omega \) is said to be weakly inflationary if A is inflationary on \(T_{B} ( \Omega \times\Omega ) \) and B is inflationary on \(T_{A} ( \Omega \times\Omega ) \), that is,
$$ A \bigl( B ( x,y ) ,B ( y,x ) \bigr) \geq B ( x,y ) $$and
$$ B \bigl( A ( x,y ) ,A ( y,x ) \bigr) \geq A ( x,y ) $$for all \(x,y\in\Omega\). If the preceding inequalities are satisfied only on \(T_{B} ( D ) \) and \(T_{A} ( D ) \) respectively, where D is a subset of \(\Omega\times\Omega\), then the pair A, B is said to be weakly inflationary on D;
-
(3)
an operator \(A:\Omega\times\Omega\rightarrow\Omega\) is said to be weakly inflationary, if the pair A, A is weakly inflationary, that is,
$$ A \bigl( A ( x,y ) ,A ( y,x ) \bigr) \geq A ( x,y ) $$for all \(x,y\in\Omega\).
If in the preceding definition the order is reversed then we will use the term ‘deflationary’ instead of inflationary. On the other hand, if we take \(A=T\circ\pi_{\Omega}\) and \(B=S\circ\pi_{\Omega}\), where \(T,S:\Omega \mathbb{\rightarrow}\Omega\) are two operators, then we obtain the equivalent one-dimensional notion of [18], that is, T and S are weakly isotone increasing (resp. weakly isotone decreasing if the order is reversed) in the sense that
for all \(x\in\Omega\); we opted for the terms (weakly) inflationary-(weakly) deflationary instead of (weakly) isotone increasing-(weakly) isotone decreasing, as the latter are used also to mean that the operators are increasing-decreasing (resp. strictly increasing-strictly decreasing); see for instance [19], p.4, [16], p.263.
Clearly, if A and B are both inflationary (resp. deflationary), then the pair A, B is weakly inflationary (resp. weakly deflationary). The converse does not hold in general.
Example 2.4
Let \(f:\mathbb{R\times R\rightarrow}\mathbb{R}\), \(f ( x,y ) =e^{- ( x+y ) }+1\), \(\Delta= \{ ( x,x ) :x\in [ 0,1 ] \} \), \(\Delta^{\prime}= \{ ( y,y ) :y\in f ( \Delta ) \} \), \(g ( x ) =f ( x,x ) \), \(x\in\mathbb{R}\), and \(h ( x ) =g ( x ) -x\), \(x\in\mathbb{R}\).
-
(1)
Since \(h^{\prime} ( x ) =-2e^{-2x}-1<0\) for all \(x\in \mathbb{R}\), it follows that
$$ h ( x ) \geq h ( 1 ) =e^{-2}>0 $$for all \(x\in [ 0,1 ] \). This shows that \(f ( x,x ) \geq x \) for all \(x\in [ 0,1 ] \), i.e., f is inflationary on Δ. Since g is decreasing,
$$ f \bigl( f ( x,x ) ,f ( x,x ) \bigr) \leq f ( x,x ) $$(2.1)for all \(x\in [ 0,1 ] \). This shows that f is weakly deflationary on Δ. Therefore, the restriction of f on Δ is a weakly deflationary mapping which is not deflationary.
-
(2)
On the other hand, it follows from (2.1) that f is deflationary on \(\Delta^{\prime}\), and since g is decreasing, then
$$ f \bigl( f ( y,y ) ,f ( y,y ) \bigr) \geq f ( y,y ) $$for all \(y\in f ( \Delta ) \). This shows that the restriction of f on \(\Delta^{\prime}\) is a weakly inflationary mapping which is not inflationary.
-
(3)
The function f does not satisfy the mixed monotone property since f is decreasing in x.
-
(4)
From (1) and (2), it follows that the pair f, g (i.e. f, \(g\circ\pi_{\mathbb{R}}\)) is weakly deflationary on Δ (resp. weakly inflationary on \(\Delta^{\prime}\)), but f is not mixed g-monotone. Indeed, if \(x,y_{1},y_{2}\in\mathbb{R}\) such that \(g ( y_{1} ) \leq g ( y_{2} ) \), since g is decreasing and one to one from \(\mathbb{R}\) to \(\mathbb{(}1,+\infty)\), then \(y_{1}\geq y_{2}\) and hence \(f ( x,y_{1} ) \leq f ( x,y_{2} ) \) since f is decreasing in y. This shows that f is not g-nonincreasing in y.
Theorem 2.5
Let X be an ordered Banach space with a normal cone \(X^{+}\) and let Ω be a nonempty closed and bounded subset of X. Consider two operators \(A,B:\Omega\times\Omega\rightarrow\Omega\) such that:
-
(1)
A satisfies the α-condensing condition (\(C_{1}\));
-
(2)
B satisfies the \(1-\alpha\)-contraction condition (\(C_{2}\));
-
(3)
the pair A, B is weakly inflationary (resp. weakly deflationary).
Then A and B have at least one common coupled fixed point \(( u_{\ast},v_{\ast} ) \) in \(\Omega\times\Omega\); moreover, we have
where the common coupled fixed point iteration is given by
and
for each \(n=0,1,2,\ldots\) , and \(( u_{0},v_{0} ) \) is any element in \(\Omega\times\Omega\).
From the above theorem, we derive the following two corollaries, which extend the well-known results in the literature; see Remark 2.8 hereafter.
Corollary 2.6
Let X be an ordered Banach space with a normal cone \(X^{+}\), and let Ω be a nonempty closed and bounded subset of X. Let \(T,S:\Omega\rightarrow\Omega\) be two nondecreasing operators such that
-
(1)
T and S commute, that is, \(TSx=STx\) for each \(x\in\Omega\);
-
(2)
T and S have at least one common lower (resp. upper) fixed point \(u_{0}\in\Omega\) (resp. \(v_{0}\in\Omega\));
-
(3)
T is α-condensing;
-
(4)
S is a \(1-\alpha\)-contraction.
Then T and S have a minimal common fixed point \(u_{\ast}\) in \([u_{0})\cap\Omega\) (resp. maximal common fixed point \(u^{\ast}\) in \((v_{0}]\cap\Omega\)); moreover, we have
where the common fixed point iteration is given by
and
for each \(n=0,1,2,\ldots\) .
Proof
Consider the bounded set \(\Gamma= \{ u\in[ u_{0})\cap\Omega :u\leq Tu\text{ and }u\leq Su \} \). By assumption (2) Γ is nonempty (\(u_{0}\in\Gamma\)). Since T and S are continuous and the cone \(X^{+}\) is closed, Γ is closed. Now, consider the operators \(A,B:\Gamma\times\Gamma\rightarrow\Gamma\) defined by \(A=T\circ\pi_{\Gamma}\) and \(B=S\circ\pi_{\Gamma}\). Since T and S are nondecreasing and commute, it is easy to verify that \(A ( \Gamma \times\Gamma ) \subset\Gamma\), \(B ( \Gamma\times\Gamma ) \subset\Gamma\), and the pair A, B is weakly inflationary. Since T and S are continuous and bounded, A and B are so. The condition (2) of Theorem 2.5 follows from the \(1-\alpha\)-contraction property of S. For the condition (1) of Theorem 2.5, let \(U,V\subset\Omega\) with \(\alpha ( U ) >0\) or \(\alpha ( V ) >0\). If \(\alpha ( U ) >0\), then
If \(\alpha ( U ) =0\), then U is relatively compact and hence so is \(T ( U ) \). Therefore, since \(\alpha ( V ) >0\), we have
Now, applying Theorem 2.5, there exists a common coupled fixed point \(( u_{\ast},v_{\ast} ) \in\Gamma\times\Gamma\) of A and B, that is, \(u_{\ast}\) is a common fixed point of T and S. From (2.2) we see that \(u_{\ast}=\lim u_{n}\) and (2.4) holds true. Finally, to prove the minimality of \(u_{\ast}\), let \(u\in[ u_{0})\cap\Omega\) be such that \(Tu=Su=u\). Since T is nondecreasing, it follows from \(u_{0}\leq u\) that \(Tu_{0}\leq Tu\), that is, \(u_{1}\leq u\). Again, since S is nondecreasing, \(Su_{1}\leq Su\), that is, \(u_{2}\leq u\). Proceeding inductively, we get \(u_{n}\leq u\) for each \(n=0,1,2,\ldots\) . Now, taking the limit \(n\rightarrow\infty\), we obtain \(u_{\ast}\leq u\) as desired.
For the existence of a maximal common fixed point \(u^{\ast}\) of T and S, consider the subset \(\Gamma^{\prime}= \{ v\in(v_{0}]\cap\Omega :Tv\leq v\text{ and }Sv\leq v \} \), and by the same preceding arguments, such common fixed point exists with \(u^{\ast}=\lim v_{n}\) and (2.5) holds true. □
Now, consider in the product space \(( X\times X,\Vert \cdot \Vert _{\infty} ) \) the following partial order:
It is easy to see that if \(X^{+}\) is a normal cone in X then \(( X\times X ) ^{+}\) is also a normal cone in \(X\times X\).
Corollary 2.7
Let X be an ordered Banach space with a normal cone \(X^{+}\), and let Ω be a nonempty closed subset of X. Let \(A,B:\Omega \times \Omega\rightarrow\Omega\) be two mixed monotone operators such that
-
(1)
A and B satisfy the following commutation property:
$$ A \bigl( B ( x,y ) ,B ( y,x ) \bigr) =B \bigl( A ( x,y ) ,A ( y,x ) \bigr) $$for all \(x,y\in\Omega\);
-
(2)
A and B have at least one common lower (resp. upper) coupled fixed point \(( u_{0},v_{0} ) \) with \(u_{0}\leq v_{0}\) (resp. \(u_{0}\geq v_{0}\));
-
(3)
A is \(( \alpha^{\times},\alpha ) \)-condensing;
-
(4)
B is a \(1- ( \alpha^{\times},\alpha ) \)-contraction.
Then A and B have a minimal common coupled fixed point \(( u_{\ast },v_{\ast} ) \in\Omega_{0}\times\Omega_{0}\) such that \(( v_{\ast},u_{\ast} ) \) is a maximal common coupled fixed point of A and B, that is,
for each common coupled fixed point \(( \overset{\sim}{u},\overset{\sim }{v} ) \in\) \(\Omega_{0}\times\Omega_{0}\) of A and B, where \(\Omega_{0}= [ u_{0},v_{0} ] \cap\Omega\); moreover, we have
where the common coupled fixed point iteration is given by (2.2) and (2.3).
Proof
Consider the (continuous and bounded) operators \(T_{A}\mathbf {,}T_{B}:\Omega _{0}\times\Omega_{0}\rightarrow\Omega_{0}\times\Omega_{0}\) (where \(\Omega_{0}\) is closed and bounded since \(X^{+}\) is normal) defined by
Clearly \(( u,v ) \in X\times X\) is a common coupled fixed point of A and B if and only if \(( u,v ) \) is a common fixed point of \(T_{A}\) and \(T_{B}\). From assumption (2) and (2.6) we see that \(( u_{0},v_{0} ) \) is a common lower fixed point of \(T_{A}\) and \(T_{B}\). Also, it can be shown easily from the mixed monotone property of A and B that \(T_{A}\) and \(T_{B}\) are nondecreasing. Furthermore, from assumption (1) we see that \(T_{A}\) and \(T_{B}\) commute. Let us show that \(T_{A}\) is \(\alpha ^{\times}\)-condensing. To this end, let \(D\subset\Omega_{0}\times\Omega_{0}\) with \(\alpha^{\times} ( D ) >0\), and set \(D^{\ast}= \{ ( v,u ) : ( u,v ) \in D \} \), and note by a simple computation that \(\alpha^{\times} ( D^{\ast} ) =\alpha^{\times } ( D ) \). Then, since A is \(( \alpha^{\times},\alpha ) \)-condensing and taking into account Lemma 2.1, we see from \(T_{A} ( D ) \subset A ( D ) \times A ( D^{\ast} ) \) that
Therefore \(T_{A}\) is \(\alpha^{\times}\)-condensing. Similarly, it can be shown that \(T_{B}\) is a \(1-\alpha^{\times}\)-contraction.
Now, applying Corollary 2.6, the operators \(T_{A}\) and \(T_{B}\) have a minimal common fixed point \(( u_{\ast},v_{\ast} ) \in\Omega _{0}\times\Omega_{0}\), that is, \(( u_{\ast},v_{\ast} ) \) is a minimal common coupled fixed point of A and B, and (2.2) and (2.3) follow from (2.4) and (2.5) applied for \(T_{A}\) and \(T_{B}\).
Now, since \(( u_{\ast},v_{\ast} ) \) is a common coupled fixed point of A and B, then so is \(( v_{\ast},u_{\ast} ) \). Finally, to prove the maximality of \(( v_{\ast},u_{\ast} ) \), let \(( u,v ) \in\Omega_{0}\times\Omega_{0}\) be any common coupled fixed point of A and B. Since A is mixed monotone, it follows from \(u_{0}\leq u\leq v_{0}\) and \(u_{0}\leq v\leq v_{0}\) that
and
Again, since B is mixed monotone, it follows by similar arguments from \(u_{1}\leq u\leq v_{1}\) and \(u_{1}\leq v\leq v_{1}\) that
Proceeding inductively, we get
for each \(n=0,1,2,\ldots\) . Now, taking the limit \(n\rightarrow\infty\) in the preceding inequalities, we obtain \(u_{\ast}\leq u\leq v_{\ast}\) and \(u_{\ast}\leq v\leq v_{\ast}\), that is, \(( u_{\ast},v_{\ast} ) \leq ( u,v ) \leq ( v_{\ast},u_{\ast} ) \).
Note that in the case \(( u_{0},v_{0} ) \) is a common upper coupled fixed point of A and B, \(( v_{0},u_{0} ) \) is a common lower coupled fixed point of A and B, and the required conclusions follow from the preceding case. □
Remark 2.8
-
(1)
If we take \(S=T\) in Corollary 2.6 and \(A=B\) in Corollary 2.7 then we obtain the well-known results [4], Theorem 2.1.1 and Theorem 2.1.7.
-
(2)
In Corollary 2.7, the operator A is supposed to be only \(( \alpha^{\times},\alpha ) \)-condensing, which is an hypothesis weaker than the complete continuity supposed in [4], Theorem 2.1.7.
In order to establish the equivalent of Theorem 2.5 for the De Blasi measure of weak noncompactness, we need for an operator \(A:\Omega\times \Omega\rightarrow\Omega\) the following two conditions:
Remark 2.9
-
(1)
Weakly continuous operators \(A:\Omega \times\Omega\rightarrow\Omega\) satisfy the condition (\(C_{3}\)). However, the converse is false in general. Indeed, if \(\mathcal {N}_{\varphi }:L_{1} [ 0,1 ] \rightarrow L_{1} [ 0,1 ] \) is the Nemytskii operator generated by a Caratheodory function \(\varphi: [ 0,1 ] \times\mathbb{R\rightarrow R}\), then \(\mathcal{N}_{\varphi}\circ \pi_{L_{1} [ 0,1 ] }\) satisfies the condition (\(C_{3}\)) (see Lemma 4.2 hereafter for \(n=1\)), but \(\mathcal{N}_{\varphi}\) is weakly continuous if and only if φ is linear (see [20], Theorem 2.6). Furthermore, it is clear that the condition (\(C_{4}\)) is in particular satisfied by weakly compact operators (i.e., operators that map bounded sets to a relatively weakly compact ones);
-
(2)
clearly, if A satisfies the condition (\(C_{4}\)), then A satisfies the condition (\(C_{3}\)) and the ω-condensing condition (\(C_{1}\)).
Theorem 2.10
Let X be an ordered Banach space with a normal cone \(X^{+}\) and let Ω be a nonempty closed and bounded subset of X. Consider two operators \(A,B:\Omega\times\Omega\rightarrow\Omega\) such that:
-
(1)
A satisfies the condition (\(C_{3}\));
-
(2)
A satisfies the ω-condensing condition (\(C_{1}\));
-
(3)
B satisfies the \(1-\omega\)-contraction condition (\(C_{2}\));
-
(4)
the pair A, B is weakly inflationary (resp. weakly deflationary).
Then A and B have at least one common coupled fixed point \(( u_{\ast},v_{\ast} ) \) in \(\Omega\times\Omega\); moreover, we have
where \(( u_{n} ) \) and \(( v_{n} ) \) are defined, respectively, as in (2.2) and (2.3).
Corollary 2.11
Let X be an ordered Banach space with a normal cone \(X^{+}\) and let Ω be a nonempty closed and bounded subset of X. Consider two operators \(A,B:\Omega\times\Omega\rightarrow\Omega\) such that:
-
(1)
A satisfies the condition (\(C_{4}\));
-
(2)
B satisfies the \(1-\omega\)-contraction condition (\(C_{2}\));
-
(3)
the pair A, B is weakly inflationary (resp. weakly deflationary).
Then A and B have at least one common coupled fixed point \(( u_{\ast},v_{\ast} ) \) in \(\Omega\times\Omega\); moreover, we have
where \(( u_{n} ) \) and \(( v_{n} ) \) are defined as in (2.2) and (2.3).
Note that, as shown in Remark 1.6, if \(A:\Omega \times\Omega\rightarrow\Omega\) is a φ-nonlinear contraction, that is,
for all \(u,v\in\Omega\times\Omega\), then A is a nonlinear \(( \alpha^{\times},\alpha ) \)-set-contraction and hence satisfies the α-condensing condition (\(C_{1}\)). For the De Blasi measure of weak noncompactness, we have the following lemma.
Lemma 2.12
For a subset \(\Omega\subset X\), every φ-nonlinear contraction \(A:\Omega\times\Omega\rightarrow\Omega\) satisfying the condition (\(C_{3}\)) satisfies the following nonlinear ω-set-contraction condition:
for all \(U,V\in\mathcal{B} ( \Omega ) \). In particular, A satisfies the ω-condensing condition (\(C_{1}\)).
Proof
Let \(r>\max ( \omega ( U ) ,\omega ( V ) ) \). Then there exist \(W,W^{\prime}\in\mathcal{W} ( \Omega ) \) such that \(U\subset W+B_{r}\) and \(V\subset W^{\prime}+B_{r}\). Since A is a φ-nonlinear contraction, it follows easily that
Therefore, from the condition (\(C_{3}\)), we see that \(\omega ( A ( U\times V ) ) \leq\varphi ( r ) \). Now, since φ is continuous, letting \(r\rightarrow\max ( \omega ( U ) ,\omega ( V ) ) \), we get the required conclusion. □
Corollary 2.13
Let assumptions of Theorem 2.5 (resp. Theorem 2.10) be satisfied. Then the following assertions hold true:
-
(1)
The operators A and B have at least one common fixed point \(u_{\ast}\in\Omega\), and the common fixed point iteration is given by
$$ u_{2n+1}=A ( u_{2n},u_{2n} ) \quad \textit{and} \quad u_{2n+2}=B ( u_{2n+1},u_{2n+1} ) \quad ( n=0,1,2,\ldots ) . $$ -
(2)
If for the operator A, we replace the condensing condition with “A is a φ-nonlinear contraction”, then A and B have a unique common fixed point \(u_{\ast}\) and \(( u_{\ast},u_{\ast} ) \) is their unique common coupled fixed point.
-
(3)
If A satisfies in addition the following weak φ-nonlinear contraction condition:
$$ \bigl\Vert A ( x,y ) -A ( y,x ) \bigr\Vert \leq\varphi\bigl( \Vert x-y \Vert \bigr) $$for all \(x,y\in\Omega\), then all coupled fixed points of A (and hence all common coupled fixed points of A and B) are in the form \(( u_{\ast},u_{\ast} ) \), \(u_{\ast}\) is a fixed point of A (common fixed point of A and B).
3 Proofs of the main theorems
Proof of Theorem 2.5
Assume that the pair A, B is weakly inflationary. Set \(U_{1}= \{ u_{2n}:n=0,1,2,\ldots\} \), \(U_{2}= \{ u_{2n+1}:n=0,1,2,\ldots\} \) and \(U=U_{1}\cup U_{2}\), where the sequence \(( u_{n} ) \subset\Omega\) is defined as in (2.2). Similarly, the sets \(V_{1}\), \(V_{2}\), and V are defined by the sequence \(( v_{n} ) \subset\Omega\) instead of \(( u_{n} ) \). Since A, B are weakly inflationary, it follows that
and
hold for each \(n=0,1,2,\ldots\) , which proves that the sequence \(( u_{n} ) \) (\(n\geq1 \)) is nondecreasing. Similarly, \(( v_{n} ) \) (\(n\geq1 \)) is also nondecreasing.
Now, set \(\Delta= \{ ( u_{2n},v_{2n} ) :n=0,1,2,\ldots\} \), \(\Delta^{\ast}= \{ ( v_{2n},u_{2n} ) :n=0,1,2,\ldots\} \), \(\Sigma= \{ ( u_{2n+1}, v_{2n+1} ) :n=0,1,2,\ldots\} \), and \(\Sigma^{\ast}= \{ ( v_{2n+1},u_{2n+1} ) :n=0,1,2,\ldots\} \). We shall see that the sets \(U_{1}\) and \(V_{1}\) are relatively compact. Assume by way of contradiction that \(\alpha ( U_{1} ) >0\) or \(\alpha ( V_{1} ) >0\). It follows from \(U_{2}=A ( \Delta ) \subset A ( U_{1}\times V_{1} ) \), \(U_{1}=B ( \Sigma ) \cup \{ u_{0} \} \subset B ( U_{2}\times V_{2} ) \cup \{ u_{0} \} \), \(V_{1}=B ( \Sigma ^{\ast} ) \cup \{ v_{0} \} \subset B ( V_{2}\times U_{2} ) \cup \{ v_{0} \} \), and assumptions (1) and (2) that
Similarly, we have \(\alpha ( V_{2} ) <\max \{ \alpha ( V_{2} ) ,\alpha ( U_{2} ) \} \) which is a contradiction. Therefore, \(U_{1}\) and \(V_{1}\) are a relatively compact sets. Since A is continuous, \(A ( U_{1}\times V_{1} ) \) and \(A ( V_{1}\times U_{1} ) \) are relatively compact, and hence so are \(U_{2}\subset A ( U_{1}\times V_{1} ) \) and \(V_{2}=A ( \Delta ^{\ast} ) \subset A ( V_{1}\times U_{1} ) \). Thus, we conclude that U and V are a relatively compact sets. It follows from Lemma 1.4 that \(\lim u_{n}=u_{\ast}\) and \(\lim v_{n}=v_{\ast } \) for some \(( u_{\ast},v_{\ast} ) \in\Omega\times\Omega\). Now, since A and B are continuous then by (2.2) and (2.3) we get \(A ( u_{\ast},v_{\ast} ) =B ( u_{\ast },v_{\ast} ) =u_{\ast}\) and \(A ( v_{\ast},u_{\ast} ) =B ( v_{\ast},u_{\ast} ) =v_{\ast}\), that is, \(( u_{\ast },v_{\ast} ) \) is a common coupled fixed point of A and B.
If A, B is weakly deflationary, then in this case the sequences of common coupled fixed point iteration are nonincreasing, and the desired conclusions are obtained by similar arguments. □
Proof of Theorem 2.10
Let U and V be the sets defined as in the proof of Theorem 2.5. Using the condition (\(C_{3}\)), it can be shown by a similar arguments of the proof of Theorem 2.5 that U and V are relatively weakly compact. Since the sequences \(( u_{n} ) \) and \(( v_{n} ) \) are nondecreasing, it follows from Lemma 1.4 that \(\lim u_{n}=u_{\ast}\) and \(\lim v_{n}=v_{\ast}\) for some \(( u_{\ast},v_{\ast} ) \in\Omega\times\Omega\). Now, since A and B are continuous, by (2.2) and (2.3) we get \(A ( u_{\ast},v_{\ast} ) =B ( u_{\ast},v_{\ast} ) =u_{\ast}\) and \(A ( v_{\ast},u_{\ast} ) =B ( v_{\ast },u_{\ast} ) =v_{\ast}\), that is, \(( u_{\ast},v_{\ast} ) \) is a common coupled fixed point of A and B. □
4 Application to nonlinear integral equations
We give an application of Corollary 2.11 to the following nonlinear integral equation:
where the kernel mapping \(K:I\times I\rightarrow\mathbb{R}\) is measurable on \(I\times I\), and \(g:I\times\mathbb{R}\rightarrow\mathbb{R}\), \(f:I\times \mathbb{R}^{2}\rightarrow\mathbb{R}\) are two given mappings.
A pair \(u,v\in X\) is said to be a coupled solution of (4.1) if both \(( u,v ) \) and \(( v,u ) \) are solutions of (4.1), i.e.,
and
An element \(u\in X\) is called a solution of (4.1) if \(( u,u ) \) is a solution of (4.1).
Now, recall that a function \(\varphi:I\times\mathbb{R}^{n}\rightarrow \mathbb{R}\) is said to be a Caratheodory function if it satisfies the Caratheodory condition in the following sense:
-
the function \(t\rightarrow\varphi ( t,u ) \) is measurable on I for any \(u\in\mathbb{R}^{n}\);
-
the function \(u\rightarrow\varphi ( t,u ) \) is continuous on \(\mathbb{R}^{n}\) for almost all \(t\in I\).
A function \(\varphi:I\times\mathbb{R}^{n}\rightarrow\mathbb{R}\) is said to have the separated domination property if there exist a constant \(k>0\) and a positive function \(u_{0}\in X\) such that
for almost all \(t\in I\) and for all \(x\in\mathbb{R}^{n}\), where \(\vert x\vert :=\sum_{i=1}^{n}\vert x_{i}\vert \), \(x= ( x_{1},x_{2},\ldots,x_{n} ) \). If the function φ is a Caratheodory function and satisfies the separated domination property, then clearly φ defines a mapping \(\mathcal{N}_{\varphi}:X^{n}\rightarrow X\) by \(\mathcal{N}_{\varphi} ( u_{1},\ldots,u_{n} ) ( t ) =\varphi ( t, ( u_{1} ( t ) ,\ldots,u_{n} ( t ) ) ) \), where \(X^{n}\) is the Cartesian product of n copies of X. In the case \(n=1\), this mapping is called the Nemytskii operator generated by φ. The following lemmas will be useful in the proof of our results.
Lemma 4.1
[21], p.154
If a Caratheodory function \(\varphi:I\times \mathbb{R}^{n}\rightarrow\mathbb{R}\) satisfies the separated domination property, then the operator \(\mathcal{N}_{\varphi}:X^{n}\rightarrow X\) is continuous and bounded.
Lemma 4.2
Let \(\varphi:I\times\mathbb{R}^{n}\rightarrow \mathbb{R}\) be a Caratheodory function satisfying the separated domination property (4.2). Then
for every \(W_{1},\ldots,W_{n}\in\mathcal{B} ( X ) \). In particular, \(\mathcal{N}_{\varphi} ( W_{1}\times\cdots\times W_{n} ) \) is relatively weakly compact for every relatively weakly compact sets \(W_{1},\ldots,W_{n}\subset X\).
Proof
Let \(\varepsilon>0\) and \(( u_{1},\ldots,u_{n} ) \in W_{1}\times \cdots\times W_{n}\). Let \(M\subset I\) be a measurable set with \(\lambda ( M ) \leq\varepsilon\). From (4.2) it follows that
So, since \(\omega ( \{ u_{0} \} ) =0\), under the supremum on all subsets M and all \(( u_{1},\ldots,u_{n} ) \in W_{1}\times\cdots\times W_{n}\) respectively, and letting \(\varepsilon \rightarrow0\), the desired conclusion follows from equation (1.2). □
Now, we consider the following assumptions:
- \(( A_{1} ) \) :
-
f is a Caratheodory function satisfying the following positivity property:
$$ f \bigl( t, ( x,y ) \bigr) >0 $$for almost all \(t\in I\) and for all \(x,y\in\mathbb{R}^{+}\).
- \(( A_{2} ) \) :
-
f satisfies the separated domination property, that is, there exist a constant \(k>0\) and a positive function \(w_{0}\in X\) such that
$$ \bigl\vert f ( t,u ) \bigr\vert \leq w_{0} ( t ) +k\vert u \vert $$(4.3)for almost all \(t\in I\) and for all \(u\in\mathbb{R}^{2}\).
- \(( A_{3} ) \) :
-
The kernel mapping K is positive, i.e. \(K ( t,x ) >0\) for all \(t,x\in I\), and satisfies the following upper estimate:
$$ K ( t,x ) \leq\psi( t ) \varphi( x ) $$for almost all \(t,x\in I\), and for some positive functions \(\psi ,\varphi \in L_{\infty} ( I ) \) such that
$$ \delta=\Vert \psi \Vert _{\infty}\cdot \Vert \varphi \Vert _{\infty}\leq\frac{\rho}{1+2\rho k}, $$(4.4)where ρ is some (arbitrary) positive number.
- \(( A_{4} ) \) :
-
g is a Caratheodory function such that there exists a nondecreasing mapping \(\phi:\mathbb{R}^{+}\rightarrow\mathbb {R}^{+}\) with \(\phi ( r ) \leq r\), \(r>0\), such that, for almost all \(t\in I\) and for all \(x\geq0\), we have
$$ \frac{\mu_{0}}{\Vert \psi \Vert _{\infty}}\psi( t ) \leq g ( t,x ) \leq\phi( x ), $$(4.5)where \(\mu_{0}=\rho \Vert w_{0}\Vert \).
- \(( A_{5} ) \) :
-
g is nonexpansive with respect to the second variable, that is, for almost all \(t\in I\) and every \(x,y\in\mathbb {R}\), we have
$$ \bigl\vert g ( t,x ) -g ( t,y ) \bigr\vert \leq \vert x-y\vert . $$
Theorem 4.3
Under the assumptions \(( A_{1} ) \)-\(( A_{5} ) \), the integral equation (4.1) has in the interval \([ \theta,\boldsymbol{\mu}_{0} ] \subset X\) at least one coupled solution \(u_{\ast}\), \(v_{\ast}\), where \(\theta,\boldsymbol{\mu}_{0}\in X\) are respectively the almost everywhere null function and the constant function equal to \(\mu_{0}\). Moreover, the sequences \(( u_{n} ) \) and \(( v_{n} ) \) converge in X monotonically to \(u_{\ast}\) and \(v_{\ast}\), respectively, where
and
for each \(n=0,1,2,\ldots\) and each \(t\in I\), and \(u_{0}\), \(v_{0}\) are any two elements in X such that
for each \(t\in I\), where \(c=\frac{\delta \Vert w_{0}\Vert }{1-2k\delta}\).
Proof
We know that X is an ordered Banach space under the standard λ-almost everywhere pointwise order and under the \(L_{1}\)-norm (denoted here \(\Vert \cdot \Vert \)), and that \(X^{+}:= \{ u\in X:u\geq0\text{ a.e.} \} \) is a normal cone in X (since \(0\leq u\leq v\) implies \(\Vert u\Vert \leq \Vert v\Vert \)). Set \(\Omega=[ \theta,\mathbf{c} ] \), where c is the constant function in X equal to c, and note from (4.4) that \(0< c\leq\mu_{0}\). Define the operators \(A,B:\Omega\times \Omega\rightarrow\Omega\) by
where \(L:X\rightarrow X\) is the linear integral operator defined by
Let \(u,v\in\Omega\). Then from the separated domination property of f, we have
for almost all \(t\in I\). Therefore, A is well defined and bounded (since Ω is bounded). From assumption \(( A_{3} ) \) it follows that L is a bounded linear operator, and from assumption \(( A_{2} ) \) and Lemma 4.1 \(\mathcal{N}_{f}\) is continuous. Therefore, the operator A is continuous. Now, if \(u\in\Omega\), it follows from assumption \(( A_{4} ) \) that
for almost all \(t\in I\), and hence the operator B is also well defined and bounded. Since g is nonexpansive with respect to the second variable,
for almost all \(t\in I\) and all \(x\in\mathbb{R}\). Therefore, by Lemma 4.1 again, the operator B is continuous.
Now, clearly a pair u, v is a coupled solution of (4.1) if and only if \((u,v)\) is a common coupled fixed point of A and B. In the following we prove
-
(a)
B satisfies the \(1-\omega\)-contraction condition (\(C_{2}\));
-
(b)
A satisfies the condition (\(C_{4}\));
-
(c)
the pair A, B is weakly deflationary.
By (4.8) and Lemma 4.2 (applied for \(\varphi=g\) and \(n=1\)) we see that
for all \(U,V\subset\Omega\). This shows that the operator B satisfies the \(1-\omega\)-contraction condition (\(C_{2}\)), and (a) is proved.
Now, to prove (b), let \(U,V\subset\Omega\). Let \(\varepsilon >0\) and \(( u,v ) \in U\times V\), and let \(M\subset I\) be a measurable set with \(\lambda ( M ) \leq\varepsilon\). Since \(X^{+}\) is normal, \(\Vert u\Vert \), \(\Vert v\Vert \leq c \) and hence, for almost all \(t\in I\), we have
Hence, integrating again we get
So, under the supremum on all subsets M and all \(( u,v ) \in U\times V\), respectively, and letting \(\varepsilon\rightarrow0\), we get from equation (1.2)
since the set \(\{ \psi \} \) is weakly compact in X. Therefore, \(A ( U\times V ) \) is a relatively weakly compact set in X, and (b) is proved.
For the proof of (c), let \(u,v\in\Omega\). From assumption \(( A_{1} ) \) and the positivity of the Kernel mapping K we see that \(A ( u,v ) ( t ) >0\) for all \(t\in I\), and hence by assumption \(( A_{4} ) \), for almost all \(t\in I\) we have
Therefore, \(B ( A ( u,v ) ,A ( v,u ) ) \leq A ( u,v ) \). Now, from assumptions \(( A_{2} ) \), \(( A_{3} ) \), for almost all \(t\in I\) we have
Since \(\mathcal{N}_{g} ( u ) \in\Omega\) and \(X^{+}\) is normal, it follows that \(\Vert \mathcal{N}_{g} ( u ) \Vert \leq c\). Therefore, by assumption \(( A_{4} ) \) the preceding inequality becomes
for almost all \(t\in I\). Thus, \(A ( B ( u,v ) ,B ( v,u ) ) \leq B ( u,v ) \), and (c) is proved.
Finally, applying Corollary 2.11, we obtain all conclusions of Theorem 4.3. □
Corollary 4.4
Under the assumptions \(( A_{1} ) \), \(( A_{3} ) \)-\(( A_{5} ) \) and f is nonexpansive with respect to the second variable, in the sense that
for almost all \(t\in I\) and for all \(x,y\in\mathbb{R}^{2}\), the integral equation (4.1) has a unique solution u in \([ \theta,\boldsymbol{\mu}_{0} ] \) and \(( u,u ) \) is its unique coupled solution.
Proof
Since f is nonexpansive with respect to the second variable,
for almost all \(t\in I\) and for all \(x\in\mathbb{R}^{2}\). Therefore f satisfies assumption \(( A_{2} ) \) with \(w_{0}=\mathcal{N}_{f} ( \theta,\theta ) \) and \(k=1\). Now, by assumption \(( A_{2} ) \) again and the nonexpansive property of f, it follows by an easy computation that
for every \(u,v,u^{\prime},v^{\prime}\in\Omega\). From (4.4) we have \(2\delta\leq\frac{2\rho}{1+2\rho}<1\). Now, the desired conclusions follow from Theorem 4.3 and Corollary 2.13. □
Remark 4.5
-
(1)
If we assume g to be nondecreasing with respect to the second variable, i.e.,
$$ x\leq y\quad \Rightarrow \quad g ( t,x ) \leq g ( t,y ) $$for almost all \(t\in I\) and for all \(x,y\in\mathbb{R}\), then assumption \(( A_{4} ) \) may be reduced to
$$ \frac{\mu_{0}}{\Vert \psi \Vert _{\infty}}\psi( t ) \leq g ( t,0 ) $$(4.10)and
$$ 0\leq g ( t,x ) \leq x $$for almost all \(t\in I\) and for all \(x>0\).
-
(2)
If the function \(\mathcal{N}_{g} ( \theta ) \in L_{\infty } ( I ) \), then it is easy to see that the upper estimate of K in assumption \(( A_{3} ) \) and assumption (4.10) are, respectively, guaranteed by the following inequalities:
$$ K ( t,x ) \leq g ( t,0 ) \leq\frac{\rho}{1+2\rho k} $$and
$$ w_{0} ( t ) \leq\frac{1}{\rho}g ( t,0 ) $$for almost all \(t,x\in I\) (here \(\psi=\mathcal{N}_{g} ( \theta ) \) and φ is the constant function equal to one).
-
(3)
If f is nonexpansive with respect to the second variable, then from (4.9) we have \(w_{0}=\mathcal{N}_{f} ( \theta,\theta ) \) and \(k=1\), and hence the preceding inequalities become
$$ K ( t,x ) \leq g ( t,0 ) \leq\frac{\rho}{1+2\rho} $$and
$$ f \bigl( t, ( 0,0 ) \bigr) \leq\frac{1}{\rho}g ( t,0 ) $$for almost all \(t,x\in I\).
References
Opoitsev, VI: Heterogenic and combined-concave operators. Sib. Math. J. 16, 781-792 (1975) (in Russian)
Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. TMA 11, 623-632 (1987)
Chandok, S, Mustafa, Z, Postolache, M: Coupled common fixed point results for mixed g-monotone mapps in partially ordered G-metric spaces. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 75(4), 13-26 (2013)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
Guo, D, Cho, YJ, Zhu, J: Partial Ordering Methods in Nonlinear Problems. Nova Publ., Hauppauge (2004)
Jingxian, S, Lishan, L: Iterative method for coupled quasi-solutions of mixed monotone operator equations. Appl. Math. Comput. 52, 301-308 (1992)
Petrusel, A, Petrusel, G, Samet, B, Yao, J-C: Coupled fixed point theorems for symmetric contractions in b-metric spaces with applications to operator equation systems. Fixed Point Theory 17(2), 457-475 (2016) (English summary)
Sang, Y: Existence and uniqueness of fixed points for mixed monotone operators with perturbations. Electron. J. Differ. Equ. 2013, 233 (2013)
Doric, D, Kadelburg, Z, Radenovic, S: Coupled fixed point results for mappings without mixed monotone property. Appl. Math. Lett. 25(11), 1803-1808 (2012)
Chandok, S, Khan, MS, Rao, KPR: Some coupled common fixed point theorems for a pair of mappings satisfying a contractive condition of rational type without monotonicity. Int. J. Math. Anal. 7(9), 433-440 (2013)
Aliprantis, CD, Tourky, R: Cones and Duality. Graduate Studies in Mathematics, vol. 84. Am. Math. Soc., Providence (2007)
Appell, J: Measures of noncompactness, condensing operators and fixed points: an application-oriented survey. Fixed Point Theory 6(2), 157-229 (2005)
De Blasi, FS: On a property of the unit sphere in Banach spaces. Bull. Math. Soc. Sci. Math. Roum. 21, 259-262 (1977)
Appell, J, De Pascale, E: Su alcuni parametri connessi con la misura di non compattezza di Hausdorff in spazi di funzioni misurabili. Boll. Unione Mat. Ital., B 3(6), 497-515 (1984)
Akhmerov, RR, Kamenskii, MI, Potapov, AS, Rodkina, AE, Sadovskii, BN: Measures of Noncompactness and Condensing Operators. Operator Theory: Advances and Applications, vol. 55. Birkhäuser, Basel (1992)
Roman, S: Lattices and Ordered Sets. Springer, New York (2008)
Smullyan, RM: Set Theory and the Continuum Problem. Clarendon, Oxford (1996)
Dhage, BC, O’Regan, D, Agarwal, RP: Common fixed point theorems for a pair of countably condensing mappings in ordered Banach spaces. J. Appl. Math. Stoch. Anal. 16(3), 243-248 (2003)
Clark, PL: A note on Euclidean order types. Order 32(2), 157-178 (2015)
Appell, J: The superposition operator in function spaces - a survey. Expo. Math. 6, 209-270 (1988)
Besov, KO: On the continuity of the generalized Nemytskii operator on spaces of differentiable functions. Math. Notes 71(2), 154-165 (2002)
Acknowledgements
The author would like to thank the anonymous reviewers for their comments and suggestions to improve the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Machrafi, N. Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations. Fixed Point Theory Appl 2017, 2 (2016). https://doi.org/10.1186/s13663-017-0595-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-017-0595-y