Abstract
In this paper we study some coupled fixed point theorems and coupled coincidence fixed point theorems for infinite family mappings satisfying different contractive conditions on the complete partially ordered metric space with the help of concept of mixed g-monotone property. Further we used generalized Darbo type coupled fixed point theorem to find the existence of solutions for a system of nonlinear functional integral equations in Banach space with the help of measure of noncompactness.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [9], Bhaskar and Lakshmikantham introduced the notion of a coupled contraction mapping principle and proved coupled fixed point results for the mixed monotone property in partially ordered metric spaces. After that, many authors have carried out further studies on the coupled fixed point, the coupled coincidence point and the coupled common fixed point (see, e.g., [2]–[17]). Common fixed point theorems for generalized contractions invariably require a commutativity condition and the continuity of one of the mappings \(\lbrace T_{\alpha }:X\times X\longrightarrow X: \alpha \in \Lambda \rbrace \) or X the property be regular. The purpose of this work was to prove some coupled common fixed point and common fixed point theorems for infinite family mappings satisfying different contractive conditions on the complete partially ordered metric space.
In [15], Lakshmikantham and Ćirić introduced the concept of mixed g-monotone property as follows:
Definition 1.1
[15] Let \((X,\le )\) be a partially ordered set and \(F : X \times X\longrightarrow X\) and \(g : X\longrightarrow X.\) We say F has the mixed g-monotone property if F is a non-decreasing g-monotone in its first argument and is a non-increasing g-monotone in its second argument, that is, for any \(x,y \in X\)
and
Note that if g is the identity mapping, then F is said to have the mixed monotone property (see [9]).
Definition 1.2
[15]. An element \((x,y)\in X \times X\) is called a coupled coincidence point of a mapping \(F:X \times X \longrightarrow X\) and a mapping \(g:X\longrightarrow X\) if
Similarly, note that if g is the identity mapping, then (x, y) is called a coupled fixed point of the mapping F (see [9]).
Definition 1.3
[1]. An element \(x\in X\) is called a common fixed point of a mapping \(F:X \times X \longrightarrow X\) and \(g:X\longrightarrow X\) if
Definition 1.4
[15]. Let X be a nonempty set and \(F:X \times X \longrightarrow X\) and \(g:X\longrightarrow X.\) One says F and g are commutative if for all \(x,y \in X,\)
Abbas et al. [1] introduced the concept of w-compatibility for a pair of mappings \(F:X \times X \longrightarrow X\) and \(g:X\longrightarrow X.\)
Definition 1.5
The mappings \(F:X \times X \longrightarrow X\) and \(g:X \longrightarrow X\) are called w-compatible if \(g(F(x,y))=F(gx,gy))\) whenever \(gx=F(x,y)\) and \(gy=F(y,x).\)
2 Main results
Throughout the paper, let \(\Psi \) be the family of all functions \(\psi :[0,\infty )\longrightarrow [0,\infty )\) satisfying the following conditions:
-
(a)
\(\psi \) is continuous,
-
(b)
\(\psi \) nondecreasing,
-
(c)
\(\psi (t)=0\) if and only if \(t=0.\)
We denote by \(\Phi \) the set of all functions \(\phi :[0,\infty )\longrightarrow [0,\infty )\) satisfying the following conditions:
-
(a)
\(\phi \) is lower semi-continuous,
-
(b)
\(\phi (t)=0\) if and only if \(t=0,\)
and \(\Theta \) the set of all continuous functions \(\theta :[0,\infty )\longrightarrow [0,\infty )\) with \(\theta (t)=0\) if and only if \(t=0.\)
Now, we establish some results for the existence of coupled coincidence point and coupled common fixed point of mappings in the setup of partially ordered metric spaces. The first result in this paper is the following coupled coincidence theorem:
Theorem 2.1
Suppose that \((X,d,\le )\) is a partially ordered complete metric space. Suppose \(g:X\longrightarrow X\) and \(\lbrace T_{\alpha }:X\times X\longrightarrow X: \alpha \in \Lambda \rbrace \) are such that \(T_{\alpha _{0}}\) has the mixed g-monotone property and commutes with g on X such that there exist two elements \(x_{0},y_{0}\in X\) with \(gx_{0}\le T_{\alpha _{0}}(x_{0},y_{0})\) and \(gy_{0}\ge T_{\alpha _{0}}(y_{0},x_{0}).\) Suppose there exist \(L\ge 0,\) \(\psi \in \Psi ,\) \(\phi \in \Phi \) and \(\theta \in \Theta \) such that
where
and
for all \(x,y,u,v \in X\), \(\alpha \in \Lambda \) for which \(gx\le gu\) and \(gy\ge gv.\) Suppose \(T_{\alpha _{0}}(X\times X)\subseteq g(X),\) g is continuous and also suppose either
-
(i)
\(T_{\alpha _{0}}\) is continuous or
-
(ii)
X has the following property(regular):
-
(a)
if a non-decreasing sequence \(\lbrace x_{n}\rbrace \rightarrow x,\) then \(x_{n} \le x\) for all n,
-
(b)
if a non-increasing sequence \(\lbrace y_{n} \rbrace \rightarrow y,\) then \(y \le y_{n}\) for all n.
-
(a)
Then \(\lbrace T_{\alpha }: \alpha \in \Lambda \rbrace \) and g have coupled coincidence point in X.
Proof
By the given assumptions, there exists \((x_{0},y_{0})\in X\times X\) such that \(gx_{0}\le T_{\alpha _{0}}(x_{0},y_{0})\) and \(gy_{0}\ge T_{\alpha _{0}}(y_{0},x_{0}).\) Since \(T_{\alpha _{0}}(X\times X)\subseteq g(X),\) we can define \((x_{1},y_{1})\in X\times X\) such that \(gx_{1}= T_{\alpha _{0}}(x_{0},y_{0})\) and \(gy_{1}= T_{\alpha _{0}}(y_{0},x_{0}),\) then \(gx_{0}\le T_{\alpha _{0}}(x_{0},y_{0})=gx_{1}\) and \(gy_{0}\ge T_{\alpha _{0}}(y_{0},x_{0})=gy_{1}.\) Also there exists \((x_{2},y_{2})\in X\times X\) such that \(gx_{2}= T_{\alpha _{0}}(x_{1},y_{1})\) and \(gy_{2}= T_{\alpha _{0}}(y_{1},x_{1}).\) Since \(T_{\alpha _{0}}\) has the mixed g-monotone property, we have
and
Continuing in this way, we construct two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in X such that
for which
From (2.2) and (2.3) and inequality (2.1) with \((x,y)=(x_{n},y_{n})\) and \((u,v)=(x_{n+1},y_{n+1}),\) we obtain
where
and
Since
and
then we get
Similarly, we can show that
Now denote
Combining (2.6),(2.7) and the fact that \(\max \{\psi (a),\psi (b)\}=\psi (\max \{a,b\})\) for \(a,b\in [0,+\infty ),\) we have
So, using (2.6),(2.7),(2.8) together (2.9), we obtain
Now we prove that for all \(n\in \mathbb {N},\)
For this purpose consider the following three cases:
- \(\mathbf Case 1. \) :
-
If \(\max \{d(gx_{n},gx_{n+1}),d(gx_{n+1},gx_{n+2}),d(gy_{n},gy_{n+1}), d(gy_{n+1}, gy_{n+2})\}=\delta _{n}\), then by (2.10), we have
$$\begin{aligned} \psi (\delta _{n+1})\le \psi (\delta _{n})-\phi (\delta _{n})<\psi (\delta _{n}), \end{aligned}$$(2.12)so (2.11) obviously holds.
- \(\mathbf Case 2. \) :
-
If \( \max \{d(gx_{n},gx_{n+1}),d(gx_{n+1},gx_{n+2}),d(gy_{n},gy_{n+1}),d(gy_{n+1}, gy_{n+2})\}=d(gx_{n+1}, gx_{n+2})>0,\) then by (2.6),
$$\begin{aligned} \qquad \qquad \quad \psi (d(gx_{n+1},gx_{n+2}))\le & {} \psi (d(gx_{n+1},gx_{n+2})) -\phi (d(gx_{n+1},gx_{n+2}))\\< & {} \psi (d(gx_{n+1},gx_{n+2})), \end{aligned}$$which is a contradiction.
- \(\mathbf Case 3. \) :
-
If \(\max \{d(gx_{n},gx_{n+1}),d(gx_{n+1},gx_{n+2}),d(gy_{n},gy_{n+1}),d(gy_{n+1}, gy_{n+2})\}=d(gy_{n+1},gy_{n+2})>0,\) then from (2.7),
$$\begin{aligned} \psi (d(gy_{n+1},gy_{n+2}))\le & {} \psi (d(gy_{n+1},gy_{n+2})) -\phi (d(gy_{n+1},gy_{n+2}))\\< & {} \psi (d(gy_{n+1},gy_{n+2})), \end{aligned}$$which is again a contradiction.
Thus in all cases (2.11) holds for each \(n\in \mathbb {N}.\) It follows that the sequence \(\{\delta _{n}\}\) is a monotone decreasing sequence of non-negative real numbers and consequently there exists s\(\delta \ge 0\) such that
We show that \(\delta = 0.\) Suppose, on the contrary, that \(\delta > 0.\) Taking the limit as \(n\rightarrow \infty \) in (2.12) and using the properties of the function \(\phi ,\) we get
which is a contradiction. Therefore \(\delta = 0,\) that is,
which implies that
Now, we claim that
Assume on the contrary that there exists \(\epsilon >0\) and subsequences \(\{gx_{m(k)}\},~\{gx_{n(k)}\}\) of \(\{gx_{n}\}\) and \(\{gy_{m(k)}\},~\{gy_{n(k)}\}\) of \(\{gy_{n}\}\) with \(m(k)>n(k)\ge k\) such that
Additionally, corresponding to n(k), we may choose m(k) such that it is the smallest integer satisfying (2.16) and \(m(k)>n(k)\ge k.\) Thus
Using the triangle inequality and (2.16) and (2.17) we obtain that
Taking the limit as \(k\rightarrow \infty \) and using (2.14) we obtain
Similarly, we obtain
Also
So from (2.14) and (2.18), we have
Similarly, we obtain
Also
So from (2.14) and (2.18), we have
In a similar way, we obtain
Also
so from (2.14), (2.20) and (2.22), we have
Similarly, we obtain
So,
Similarly, we have
and
Since \(m(k)>n(k)\) from (2.2), we have
Thus
Since \(\psi \) is a nondecreasing function, we have
Taking the upper limit as \(k\rightarrow \infty ,\) and using (2.25) and (2.26), we get
It is a contradiction. Therefore, (2.15) holds and we have
Since X is a complete metric space, there exist \(x,y\in X\) such that
From the commutativity of \(T_{\alpha _{0}}\) and g, we have
We now show that \(gx=T_{\alpha _{0}}(x,y)\) and \(gy=T_{\alpha _{0}}(y,x)\). Suppose that the assumption (i) holds. For all n from the continuity of \(T_{\alpha _{0}}\) and g, and letting \(n\rightarrow \infty \) in (2.30), we get
Finally, suppose that (ii) holds. Since \(\lbrace gx_{n} \rbrace \) is non-decreasing sequence and \(gx_{n}\rightarrow x\) and as \(\lbrace gy_{n} \rbrace \) is non-increasing sequence and \(gy_{n}\longrightarrow y,\) by assumption (ii), we have \(gx_{n}\le x\) and \(gy_{n}\ge y\) for all n. By (2.30) and g is continuous, we have
Now we have
Taking \(n\rightarrow \infty \) in the above inequality, using (2.2) we have,
Similarly, we can show that
Therefore,
which implies that \(d(gx,T_{\alpha _{0}}(x,y))=0\) and \(d(gy,T_{\alpha _{0}}(y,x))=0,\) that is,
Now, we will prove that for any \(\alpha \in \Lambda ,\) \(gx=T_{\alpha }(x,y)\) and \(gy=T_{\alpha }(y,x).\) Suppose, to the contrary, that at least one of \(gx=T_{\alpha }(x,y)\) or \(gy=T_{\alpha }(y,x)\) is not equal. Then there exists an \(\alpha _{1}\in \Lambda \) such that
Using the property of \(\psi \) and (2.1), we have
where
and
This implies
which is a contradiction. Thus (x, y) is a coupled coincidence point of g and \(\lbrace T_{\alpha }:\alpha \in \Lambda \rbrace .\) \(\square \)
Corollary 2.2
Suppose that \((X,d,\le )\) is a partially ordered complete metric space. Suppose \(g:X\longrightarrow X\) and \(\lbrace T_{\alpha }:X\times X\longrightarrow X: \alpha \in \Lambda \rbrace \) are such that \(T_{\alpha _{0}}\) has the mixed g-monotone property and commutes with g on X such that there exist two elements \(x_{0},y_{0}\in X\) with \(gx_{0}\le T_{\alpha _{0}}(x_{0},y_{0})\) and \(gy_{0}\ge T_{\alpha _{0}}(y_{0},x_{0}).\) Suppose there exist \(\psi \in \Psi \) and \(\phi \in \Phi \) such that
where
for all \(x,y,u,v \in X,\) \(\alpha \in \Lambda \) for which \(gx\le gu\) and \(gy\ge gv.\) Suppose \(T_{\alpha _{0}}(X\times X)\subseteq g(X),\) g is continuous and also suppose either
-
(i)
\(T_{\alpha _{0}}\) is continuous or
-
(ii)
X has the following property:
-
(a)
if a non-decreasing sequence \(\lbrace x_{n}\rbrace \rightarrow x,\) then \(x_{n} \le x\) for all n,
-
(b)
if a non-increasing sequence \(\lbrace y_{n} \rbrace \rightarrow y,\) then \(y \le y_{n}\) for all n.
-
(a)
Then \(\lbrace T_{\alpha }: \alpha \in \Lambda \rbrace \) and g have coupled coincidence point in X.
Corollary 2.3
Suppose that \((X,d,\le )\) is a partially ordered complete metric space. Suppose \(\lbrace T_{\alpha }:X\times X\longrightarrow X: \alpha \in \Lambda \rbrace \) are such that \(T_{\alpha _{0}}\) has the mixed monotone property on X such that there exist two elements \(x_{0},y_{0}\in X\) with \(x_{0}\le T_{\alpha _{0}}(x_{0},y_{0})\) and \(y_{0}\ge T_{\alpha _{0}}(y_{0},x_{0}).\) Suppose there exist \(\psi \in \Psi \) and \(\phi \in \Phi \) such that
where
for all \(x,y,u,v \in X,\) \(\alpha \in \Lambda \) for which \(x\le u\) and \(y\ge v.\) Also suppose either
-
(i)
\(T_{\alpha _{0}}\) is continuous or
-
(ii)
X has the following property:
-
(a)
if a non-decreasing sequence \(\lbrace x_{n}\rbrace \rightarrow x,\) then \(x_{n} \le x\) for all n;
-
(b)
if a non-increasing sequence \(\lbrace y_{n} \rbrace \rightarrow y,\) then \(y \le y_{n}\) for all n.
-
(a)
Then \(\lbrace T_{\alpha }: \alpha \in \Lambda \rbrace \) have coupled fixed point in X.
3 Uniqueness of common fixed point
In this section we shall provide some sufficient conditions under which \(\lbrace T_{\alpha }:\alpha \in \Lambda \rbrace \) and g have a unique common fixed point. Note that if \((X,\le )\) is a partially ordered set, then we endow the product \(X\times X\) with the following partial order relation, for all \((x,y),(z,t)\in X \times X:\)
From Theorem 2.1, it follows that the set \(C(T_{\alpha },g)\) of coupled coincidences is nonempty.
Theorem 3.1
By adding to the hypotheses of Theorem 2.1, the condition for every (x, y) and (z, t) in \(X\times X,\) there exists a \((u,v)\in X\times X\) such that \((T_{\alpha _{0}}(u,v),T_{\alpha _{0}}(v,u))\) is comparable to \((T_{\alpha _{0}}(x,y),T_{\alpha _{0}}(y,x))\) and to \((T_{\alpha _{0}}(z,t),T_{\alpha _{0}}(t,z)),\) and \( \lbrace T_{\alpha } \rbrace \) and g are w-compatible. Then \(\lbrace T_{\alpha } \rbrace \) and g have a unique coupled common fixed point.
Proof
We know, from Theorem 2.1, that there exists at least a coupled coincidence point. Suppose that (x, y) and (z, t) are coupled coincidence points of \(T_{\alpha }\) and g, that is, \(T_{\alpha }(x,y)=gx,\) \(T_{\alpha }(y,x)=gy,\) \(T_{\alpha }(z,t)=gz\) and \(T_{\alpha }(t,z)=gt.\) We shall show that \(gx=gz\) and \(gy=gt.\) By the assumptions, there exists \((u,v)\in X\times X\) such that \((T_{\alpha _{0}}(u,v),T_{\alpha _{0}}(v,u))\) is comparable to \((T_{\alpha _{0}}(x,y),T_{\alpha _{0}}(y,x))\) and to \((T_{\alpha _{0}}(z,t),T_{\alpha _{0}}(t,z)).\) Without any restriction of the generality, we can assume that
Put \(u_{0}=u,~v_{0}=v\) and choose \((u_{1},~v_{1})\in X\times X\) such that
For \(n\ge 1\), continuing this process we can construct sequences \(\{gu_{n}\}\) and \(\{gv_{n}\}\) such that
Further, set \(x_{0}=x,~y_{0}=y\) and \(z_{0}=z,~t_{0}=t\) and on the same way define sequences \(\{gx_{n}\},\) \(\{gy_{n}\}\) and \(\{gz_{n}\},\) \(\{gt_{n}\}.\) Since \((gx,gy)=(T_{\alpha _{0}}(x,y),T_{\alpha _{0}}(y,x))=(gx_{1},gy_{1})\) and \((T_{\alpha _{0}}(u,v),T_{\alpha _{0}}(v,u))=(gu_{1},gv_{1})\) are comparable, \((gx,gy)\le (gu,gv).\) One can show, by induction, that
Thus from (2.1), we have
where
It is easy to show that
and
Hence
Similarly, one can prove that
Combining (3.2),(3.3) and the fact that \(\max \{\psi (a),\psi (b)\}=\psi (\max \{a,b\})\) for \(a,b\in [0,\infty ),\) we have
Using the non-decreasing property of \(\psi ,\) we get
which implies that \(\max \{d(gx,gu_{n}),d(gy,gv_{n})\}\) is a non-increasing sequence. Hence there exists \(r\ge 0\) such that
Passing the upper limit in (3.4) as \(n\rightarrow \infty ,\) we obtain
which implies that \(\phi (r)=0\) and then \(r=0.\) We deduce that
which concludes
Similarly, one can prove that
From (3.5) and (3.6), we have \(gx=gz\) and \(gy=gt.\) Since \(gx=T_{\alpha }(x,y)\) and \(gy=T_{\alpha }(y,x),\) by w-compatible of \( \lbrace T_{\alpha } \rbrace \) and g, we have
Denote \(gx=a\) and \(gy=b;\) then from (3.7),
Thus (a, b) is a coupled coincidence point; it follows that \(ga=gz\) and \(gb=gy,\) that is,
Therefore, (a, b) is a coupled common fixed point of \( \lbrace T_{\alpha } \rbrace \) and g. To prove the uniqueness of the point (a, b), assume that (c, d) is another coupled common fixed point of \(T_{\alpha }\) and g. Then we have
Since (c, d) is a coupled coincidence point of \( \lbrace T_{\alpha } \rbrace \) and g, we have \(gc=gx=a\) and \(gd=gy=b.\) Thus \(c=gc=ga=a\) and \(d=gd=gb=b,\) which is the desired result. \(\square \)
Since every commuting pair of functions is a w-compatible, we have the following corollary:
Corollary 3.2
By adding to the hypotheses of Theorem 2.1, the condition for every (x, y) and (z, t) in \(X\times X,\) there exists a \((u,v)\in X\times X\) such that \((T_{\alpha _{0}}(u,v),T_{\alpha _{0}}(v,u))\) is comparable to \((T_{\alpha _{0}}(x,y),T_{\alpha _{0}}(y,x))\) and to \((T_{\alpha _{0}}(z,t),T_{\alpha _{0}}(t,z)),\) and \( \lbrace T_{\alpha } \rbrace \) and g are commuting. Then \(\lbrace T_{\alpha } \rbrace \) and g have a unique coupled common fixed point.
Theorem 3.3
In addition to the hypotheses of Theorem 3.1, if \(gx_{0}\) and \(gy_{0}\) are comparable, then \( \lbrace T_{\alpha } \rbrace \) and g have a unique common fixed point, that is, there exists \(x\in X\) such that \(x=gx=T_{\alpha }(x,x).\)
Proof
Following the proof of Theorem 3.1, \( \lbrace T_{\alpha } \rbrace \) and g have a unique coupled common fixed point (x, y). We only have to show that \(x=y.\) Since \(gx_{0}\) and \(gy_{0}\) are comparable, we may assume that \(gx_{0}\le gy_{0}.\) By using the mathematical induction, one can show that
where \(\{gx_{n}\}\) and \(\{gy_{n}\}\) are defined by (2.2). From (2.29), we have
a contradiction. Therefore \(x=y,\) that is, \( \lbrace T_{\alpha } \rbrace \) and g have a common fixed point. \(\square \)
4 Application of Darbo type coupled fixed point theorem
Suppose \({\mathcal {E}}\) is a real Banach space with the norm \(\parallel . \parallel .\) Let B[y, d] be a closed ball in \({\mathcal {E}}\) centered at y and radius d. If X is a nonempty subset of \({\mathcal {E}}\), then we denote \({\bar{X}}\) and Conv ConvX the closure and convex closure of X. Moreover, let \({\mathcal {M}}_{{\mathcal {E}}}\) denote the family of all nonempty and bounded subsets of \({\mathcal {E}}\) and \({\mathcal {N}}_{{\mathcal {E}}}\) its subfamily consisting of all relatively compact sets. We denote by \(\mathbb {R}\) the set of real numbers and \(\mathbb {R}_{+}=\left[ 0, \infty \right) .\)
Now we recall the definition of a measure of noncompactness.
Definition 4.1
[7]. A function \(\mu :{\mathcal {M}}_{{\mathcal {E}}} \rightarrow \mathbb {R}_{+}\) is called a measure of noncompactness in \({\mathcal {E}}\) if it satisfies the following conditions:
-
(i)
the family \(ker\mu = \left\{ X \in {\mathcal {M}}_{{\mathcal {E}}}: \mu \left( X\right) =0 \right\} \) is nonempty and \(ker\mu \subset {\mathcal {N}}_{{\mathcal {E}}}.\)
-
(ii)
\(X \subseteq Y \implies \mu \left( X\right) \le \mu \left( Y\right) .\)
-
(iii)
\(\mu \left( {\bar{X}}\right) =\mu \left( X\right) .\)
-
(iv)
\(\mu \left( \text{ Conv } X\right) =\mu \left( X\right) .\)
-
(v)
\(\mu \left( \lambda X +\left( 1- \lambda \right) Y \right) \le \lambda \mu \left( X\right) +\left( 1- \lambda \right) \mu \left( Y\right) \) for \(\lambda \in [0, 1].\)
-
(vi)
if \(X_{n} \in {\mathcal {M}}_{{\mathcal {E}}}, X_{n}= {\bar{X}}_{n}, X_{n+1} \subset X_{n}\) for \(n=1,2,3,...\) and \(\lim \nolimits _{n \rightarrow \infty }\mu \left( X_{n}\right) =0\), then \(X_{\infty }=\bigcap \nolimits _{n=1}^{\infty }X_{n} \ne \phi .\)
The family ker\(\mu \) is said to be kernel of measure \(\mu .\) Observe that the intersection set \(X_{\infty }\) from (vi) is a member of the family ker\(\mu .\) Since \(\mu (X_{\infty }) \le \mu (X_{n})\) for any n, we have \(\mu (X_{\infty })=0.\) This gives \(X_{\infty } \in \text{ ker } \mu .\)
A measure \(\mu \) is said to be sublinear if it satisfies the following conditions:
-
(1)
\( \mu \left( \lambda X\right) = \left| \lambda \right| \mu \left( X\right) \) for \(\lambda \in \mathbb {R}.\)
-
(2)
\(\mu \left( X+Y\right) \le \mu \left( Y\right) +\mu \left( Y\right) .\)
A sublinear measure of noncompactness \(\mu \) satisfying the condition:
and such that ker\(\mu ={\mathcal {N}}_{{\mathcal {E}}}\) is said to be regular.
For a bounded subset S of a metric space X, the Kuratowski measure of noncompactness is defined as
where diam\(\left( S_{i}\right) \) denotes the diameter of the set \(S_{i},\) that is,
We consider the space \({\mathcal {B}}=BC(\mathbb {R}_{+} \times \mathbb {R}_{+} )\) of real-valued continuous and bounded functions defined on \(\mathbb {R}_{+} \times \mathbb {R}_{+}.\) It is clear that \({\mathcal {B}}\) is a Banach space with respect to the norm
Let X be a fixed nonempty and bounded subset of the space \({\mathcal {B}}=BC(\mathbb {R}_{+} \times \mathbb {R}_{+} )\) and \(\tau \) be a fixed positive number. For \(x \in X\) and \(\epsilon >0,\) denote by \(\omega ^{\tau }(x,\epsilon )\) the modulus of the continuity function x on the interval \([0,\tau ],\) i.e.
Further we define
and
Moreover, for two fixed numbers \(t,s \in \mathbb {R}_{+},\) let us define the function \(\mu \) on the family \({\mathcal {M}}_{{\mathcal {B}}}\) by the following formulae:
where \(X(t,s)=\left\{ x(t,s): t,s \in \mathbb {R}_{+}\right\} \) and
The function \(\mu \) is a measure of noncompactness in the space \({\mathcal {B}}=BC(\mathbb {R}_{+} \times \mathbb {R}_{+} )\) (see [6]).
By using Darbo type coupled fixed point theorem discussed in Theorems 2.2 and 2.3 in [12] and Theorem 3.1 of Das et al. [12], we study the existence of a solution to the system of following nonlinear functional integral equations:
Here
where \(\alpha ,\beta \) and f are continuous.
We have
is bounded and \(M=1.\)
Let \(t,s\in \mathbb {R}_{+},\) \(x,y,z,{\bar{u}},{\bar{v}},{\bar{w}}\in \mathbb {R}\) with \(|x|\ge |{\bar{u}}|, |y|\ge |{\bar{v}}|.\) By Mean Value Theorem on \(\ln \left( 1+\frac{|z|}{2}\right) \) and \(\ln \left( 1+\frac{t+s}{2}\right) \in {\hat{\phi }}\) (for details of \({\hat{\phi }},\) see Sect. 2 of [12]), we get
Clearly \({\bar{g}}\) is continuous. Moreover, for each \(t,s,u,v \in \mathbb {R}_{+},\) and \(x,y,x_{1},y_{1}\in \mathbb {R},\)
Therefore,
and
Therefore,
for any \(t,s,v,w \in \mathbb {R}_{+}\) and \(x,y \in \mathbb {R}.\) Thus
Now substituting the values of \(M,\;G,\;\phi _{1} \) and \(\psi _{2}\) in assumption (5) of the Theorem 3.1 [12], we get the following inequality:
Consequently, all the conditions of the Theorem 3.1 [12] are satisfied and hence the system of Eq. (4.1) has at least one solution in \({\mathcal {B}} \times {\mathcal {B}}.\)
References
Abbas, M., Ali Khan, M., Radenović, S.: Common coupled fixed point theorems in cone metric spaces for \(w\)-compatible mappings. Appl. Math. Comput. 217, 195–202 (2010)
Agarwal, R.P., Sintunavarat, W., Kumam, P.: Coupled coincidence point and common coupled fixed point theorems lacking the mixed monotone property. Fixed Point Theory Appl. 2013, 22 (2013)
Arab, R., Rabbani, M.: Coupled coincidence and common fixed point theorems for mappings in partially ordered metric spaces. Math. Sci. Lett. 3(2), 81–87 (2014)
Arab, R.: A common coupled fixed point theorem for two pairs of \(w\)-compatible mappings in \(G\)-metric spaces. Sohag J. Math. 1(1), 37–43 (2014)
Arab, R.: Coupled coincidence point results on partial metric spaces. Sohag J. Math. 2(1), 23–28 (2015)
Arab, R., Allahyari, R., Haghighi, A.S.: Existence of solutions of infinite systems of integral equations in two variables via measure of noncompactness. Appl. Math. Comput. 246, 283–291 (2014)
Banaś, J., Goebel, K.: Measure of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics, vol. 60. Marcel Dekker, New York (1980)
Berinde, V.: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. TMA 74(18), 7347–7355 (2011)
Bhaskar, T.G., Lakshmikantham, V.: Fixed point theory in partially ordered metric spaces and applications. Nonlinear Anal. 65, 1379–1393 (2006)
Choudhury, B.S., Kundu, A.: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 73, 2524–2531 (2010)
Choudhury, B.S., Metiya, N., Kundu, A.: Coupled coincidence point theorems in ordered metric spaces. Ann. Univ. Ferrara 57, 1–16 (2011)
A.Das, B. Hazarika, R. Arab, M. Mursaleen, Applications of a fixed point theorem to the existence of solutions to the nonlinear functional integral equations in two variables, Rend. Circ. Mat. Palermo, II. Ser, https://doi.org/10.1007/s12215-018-0347-9
Jungck, G.: Commuting mappings and fixed points. Am. Math. Mon. 83, 261–263 (1976)
Jungck, G.: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 9, 771–779 (1986)
Lakshmikantham, V., Ćirić, L.: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. TMA 70(12), 4341–4349 (2009)
Luong, N.V., Thuan, N.X.: Coupled fixed point theorems in partially ordered metric spaces. Bul. Math. Anal. Appl. 4, 16–24 (2010)
Shatanawi, W., Samet, B., Abbas, M.: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math. Comput. Model. 55(34), 680–687 (2012)
Tasković, M.R.: Axiom of Infinite choice, transversal ordered spring spaces and fixed points. Fixed Point Theory Appl. 2018, 10 (2018). (32 pages)
Petrusel, A., Petruśel, G., Xiao, Yi-bin, Yao, Jen-Chih: Fixed point theorems for generalized contractions with applications to coupled fixed point theory. J. Nonlinear Convex Anal. 19(1), 71–81 (2018)
Ran, A.C.M., Reurings, M.C.B.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Amer. Math. Soc. 132, 1435–1443 (2004)
Nieto, J.J., Rodrguez-López, R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223–239 (2005)
Acknowledgements
The authors acknowledge the financial support provided by King Mongkut’s University of Technology Thonburi through the“KMUTT 55th Anniversary Commemorative Fund”. This project was supported by the Theoretical and Computational Science (TaCS) Center under Computational and Applied Science for Smart Innovation Cluster (CLASSIC), Faculty of Science, KMUTT.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Hazarika, B., Arab, R. & Kumam, P. Coupled fixed point theorems in partially ordered metric spaces via mixed g-monotone property. J. Fixed Point Theory Appl. 21, 1 (2019). https://doi.org/10.1007/s11784-018-0638-y
Published:
DOI: https://doi.org/10.1007/s11784-018-0638-y