Abstract
The purpose of this paper is to present some fixed point and common fixed point theorems for almost generalized \(\mathcal{C}\)-contractive mappings in an ordered complete metric space. Finally, two examples are given to support our results.
Similar content being viewed by others
1 Introduction
The Banach contraction principle (see [1]) is a very popular tool for solving problems in many branches of mathematical analysis. The generalizations of this principle have been established in various settings (see, for example [2–12]). The concept of the altering distance function has been introduced by Khan et al. [13]. They also presented some fixed point theorems in a metric space by altering distance functions. The concept of weak contraction presented by Berinde [14], but in [15], the author renames it as an ‘almost contraction’ which is apposite. Berinde [14] gave some fixed point theorems for almost contractions in complete spaces. Shatanawi [16] presented some fixed point theorems for a nonlinear weakly \(\mathcal{C}\)-contraction type mapping in metric spaces. Ćirić et al. [17] introduced the concept of almost generalized contractive condition on mappings and proved some existential theorems on fixed points of such mappings in an ordered complete metric space. Shatanawi and Al-Rawashdeh [18] introduced the notion of an almost generalized \((\psi,\phi)\)-contractive mapping in ordered metric spaces and established some fixed point and common fixed point results for such a mapping, where ψ and ϕ are altering distance functions.
The purpose of this paper is to introduce the almost generalized \(\mathcal{C}\)-contractive mappings in an ordered metric space via the altering distance functions and the functions having property (P), and to prove some fixed point and common fixed point theorems for such mappings in an ordered complete metric space. Specially, under suitable conditions, we show that if the fixed point set of such mappings is totally ordered, then it is singleton. In the end, an example is given to support the usability of our results.
We first review the needed definitions. Throughout this paper, we denote by \(\mathbb{R}, \mathbb{R^{+}}\), and \(\mathbb{N}\) the set of all real numbers, the set of all nonnegative real numbers and the set of all positive integers, respectively. Let X be a nonempty set and \(f,g\) be two self-mappings of X. We denote by \(F(f)\) the fixed point set of f, i.e., \(F(f)=\{ x\in X: fx=x\}\). Also, we denote by \(F(f,g)\) the common fixed point set of \(f,g\), i.e., \(F(f,g)=F(f)\cap F(g)\).
Definition 1.1
(see [13])
A function \(\psi:\mathbb{R^{+}}\rightarrow\mathbb{R^{+}}\) is called an altering distance function if it satisfies the following properties:
-
(1)
ψ is continuous and non-decreasing, and
-
(2)
\(\psi(x)=0\) if and only if \(x=0\).
We denote by Ψ the class of all altering distance functions.
Definition 1.2
(see [17])
Let X be a nonempty set. Then \((X,\preceq,d)\) is called an ordered metric space if and only if:
-
(i)
\((X,d)\) is a metric space, and
-
(ii)
\((X,\preceq)\) is a partially ordered set.
\((X,\preceq,d)\) is called an ordered complete metric space if \((X,\preceq,d)\) is an ordered metric space, and \((X,d)\) is a complete metric space.
Definition 1.3
Let \((X,\preceq)\) be a partially ordered set. Two mappings \(f,g:X\rightarrow X\) are said to be weakly increasing if \(fx\preceq gfx\) and \(gx\preceq fgx\) for all \(x\in X\).
Definition 1.4
Let \(\phi:\mathbb{R^{+}}\times\mathbb{R^{+}}\rightarrow\mathbb{R^{+}}\) be a function. We say that the function ϕ has property (P) if the following is satisfied:
-
(1)
ϕ is lower semicontinuous and non-decreasing with respect to both of its components, and
-
(2)
\(\phi(s,t)=0\) if and only if \(s=t=0\).
We denote by Φ the class of all functions satisfying property (P).
2 Main results
In this section, we introduce the concept of the almost generalized \(\mathcal{C}\)-contraction for mappings in an ordered metric space. Then we present some fixed point and common fixed point theorems for such mappings in an ordered complete metric space.
Definition 2.1
Let \((X,\preceq,d)\) be an ordered metric space. We say that a mapping \(f:X \rightarrow X\) is an almost generalized \(\mathcal{C}\)-contractive mapping if there exist \(\xi\geqslant0\) and \((\psi,\phi)\in\Psi\times\Phi\) such that
for all \(x,y \in X\) with \(x\preceq y\), where
Definition 2.2
Let \((X,\preceq,d)\) be an ordered metric space, and let \(f,g\) be two self-mappings of X. The mapping f is said to be almost generalized \(\mathcal {C}\)-contractive with respect to g if there exist \(\xi\geqslant0\) and \((\psi,\phi)\in\Psi\times\Phi\) such that
for all \(x,y \in X\) with \(x\preceq y\), where
The following lemmas play a basic role to prove our main results.
Lemma 2.3
Let \((X,\preceq,d)\) be an ordered metric space. Assume that \(f:X\rightarrow X\) is an almost generalized \(\mathcal{C}\)-contractive mapping. Fix \(x_{1}\in X\) and define a sequence \(\{x_{n}\}\) by \(x_{n+1}=fx_{n}\) for all \(n\in\mathbb{N}\). If the sequence \(\{x_{n}\}\) is non-decreasing and \(\lim_{n\rightarrow\infty}d(x_{n},x_{n+1})=0\), then \(\{x_{n}\} \) is a Cauchy sequence.
Proof
Since the mapping f is almost generalized \(\mathcal{C}\)-contractive, Definition 2.1 implies that there exists \((\xi,\psi,\phi)\in [0,\infty)\times\Psi\times\Phi\) such that
for all \(x,y \in X\) with \(x\preceq y\), where
We next show that the sequence \(\{x_{n}\}\) is Cauchy. Suppose, for contradiction, that is, \(\{x_{n}\}\) is not Cauchy. Then there exist \(\varepsilon>0\) and two subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of the sequence \(\{x_{n}\}\) such that
These imply that
In view of \(\lim_{n \rightarrow\infty}d(x_{n},x_{n+1})=0\) and letting \(k\rightarrow\infty\) in the above inequalities, we obtain
Since \(x_{m_{k}}\preceq x_{n_{k}-1}\) for any \(k\in\mathbb{N}\), (3) implies
where
Letting \(k\rightarrow\infty\) in the above equalities and applying (5), we obtain
and
Taking the limit as \(k\rightarrow\infty\) in inequality (6) and using (7)-(10), the continuity of ψ, and the lower semicontinuity of ϕ, we conclude that
which yields \(\phi(\varepsilon,\varepsilon)=0\). Hence \(\varepsilon=0\), which contradicts the positivity of ε. Therefore, we get the desired result. □
Lemma 2.4
Let \((X,\preceq,d)\) be an ordered metric space, and let \(f,g\) be two self-mappings of X which f is an almost generalized \(\mathcal{C}\)-contractive mapping with respect to g. Fix \(x_{1}\in X\) and define a sequence \(\{x_{n}\}\) by \(x_{2n}=fx_{2n-1}\) and \(x_{2n+1}=gx_{2n}\) for all \(n\in\mathbb{N}\). If \(\lim_{n\rightarrow\infty }d(x_{n},x_{n+1})=0\), and the sequence \(\{x_{n}\}\) is non-decreasing, then \(\{x_{n}\}\) is a Cauchy sequence.
Proof
Since f is almost generalized \(\mathcal{C}\)-contractive with respect to g, by Definition 2.2, there exists \((\xi,\psi,\phi)\in[0,\infty)\times\Psi\times\Phi\) such that
for all \(x,y \in X\) with \(x\preceq y\), where
We now show that the sequence \(\{x_{n}\}\) is Cauchy. Suppose, for contradiction, that is, \(\{x_{n}\}\) is not Cauchy. Then there exist \(\varepsilon>0\) and two subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of the sequence \(\{x_{n}\}\) such that
These and the triangle inequality imply that
In view of \(\lim_{n \rightarrow\infty}d(x_{n},x_{n+1})=0\) and letting \(k\rightarrow\infty\) in the above inequalities, we obtain
By the triangle inequality, we have
Taking the limit as \(k\rightarrow\infty\) in the above inequalities and using (13), we get
Since \(x_{2m_{k}+1}\preceq x_{2n_{k}}\) for any \(k\in\mathbb{N}\), so by substituting x with \(x_{2m_{k}+1}\) and y with \(x_{2n_{k}}\) in inequality (11), it follows that
where
Letting \(k\rightarrow\infty\) in the above equalities and applying (13), (14), we obtain
Taking the limit as \(k\rightarrow\infty\) in inequality (15) and using (16)-(19), the continuity of ψ, and the lower semicontinuity of ϕ, we get
which yields \(\phi(\varepsilon,\varepsilon)=0\). Hence \(\varepsilon=0\), which contradicts the positivity of ε. Therefore, we get the desired result. □
Theorem 2.5
Let \((X,\preceq,d)\) be an ordered complete metric space. Let \(f:X\rightarrow X\) be non-decreasing (with respect to ⪯), continuous and almost generalized \(\mathcal{C}\)-contractive. If there exists \(x_{1}\in X\) such that \(x_{1}\preceq f x_{1}\), then f has a fixed point. In particular, if \(F(f)\) is a totally ordered subset of X, then f has a unique fixed point.
Proof
Define a sequence \(\{x_{n}\}\) in X by \(x_{1}\) and \(x_{n+1}=fx_{n}\) for all \(n\in\mathbb{N}\). Since \(x_{1}\preceq fx_{1}=x_{2}\) and f is non-decreasing, we have \(x_{2}=fx_{1}\preceq fx_{2}=x_{3}\). By induction, One can show that
If there exists some \(n_{0}\in\mathbb{N}\) such that \(x_{n_{0}}=x_{n_{0}+1}=fx_{n_{0}}\), then \(x_{n_{0}}\) is a fixed point of f. Hence the proof is complete. Now suppose that \(x_{n}\neq x_{n+1}\) for all \(n\in\mathbb{N}\), we have
On the other hand, our hypothesis implies that there exists \((\xi,\psi ,\phi)\in[0,\infty)\times\Psi\times\Phi\) such that
for all \(x,y \in X\) with \(x\preceq y\), which yields
for all \(n\in\mathbb{N}\). This and equations (20)-(23) yield
holds for any \(n\in\mathbb{N}\). Since ϕ and ψ are non-decreasing. Thus, from (20), (21) and (24), we deduce that
holds for any \(n\in\mathbb{N}\), which implies
holds for all \(n\in\mathbb{N}\), because \(d(x_{n},x_{n+1})>0\), hence
As ψ is non-decreasing, from (26) it follows that
holds for any \(n\in\mathbb{N}\). This means that \(d(x_{n},x_{n+1})< d(x_{n-1},x_{n})\) holds for all \(n\in\mathbb{N}\). Thus, the sequence \(\{d(x_{n},x_{n+1})\}\) is decreasing. Then it converges to some nonnegative number a. Also from (25), for any \(n\in\mathbb{N}\), we have
The above inequality yields
Consequently, we have
which implies \(\phi(a,a)=0\). So \(a=0\). Then \(\lim_{n\rightarrow \infty}d(x_{n},x_{n+1})=0\). Now by Lemma 2.3, the sequence \(\{ x_{n}\}\) is Cauchy. Since X is complete, there is some \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). The continuity of f implies \(fx_{n}\rightarrow fz\) as \(n\rightarrow\infty\). From the uniqueness of the limit, we conclude that \(fz=z\). Hence \(z\in F(f)\). Now, we suppose that \(F(f)\) is totally ordered. We will show that z is unique. Assume u is another fixed point of f. As \(u,z\in F(f)\), our assumption implies that z and u are comparable. Without loss of generality, we may assume that \(u\preceq z\). Therefore,
This yields \(\phi (d(u,z),d(u,z) )=0\). So \(d(u,z)=0\), that is, \(u=z\). Thus, we get the desired result. □
The following corollary is an immediate consequence of the above theorem.
Corollary 2.6
Let \((X,\preceq)\) and \((X,d)\) be a totally ordered set and a complete metric space, respectively. Let \(f:X\rightarrow X\) be non-decreasing (with respect to ⪯), continuous and almost generalized \(\mathcal{C}\)-contractive. If there exists \(x_{1}\in X\) such that \(x_{1}\preceq f x_{1}\), then f has a unique fixed point.
Theorem 2.7
Let \((X,\preceq,d)\) be an ordered complete metric space. Let \(f,g:X\rightarrow X\) be two weakly increasing mappings which f is almost generalized \(\mathcal{C}\)-contractive with respect to g. If either f or g is continuous, then the fixed point set of f is nonempty and \(F(f,g)=F(f)=F(g)\). Particularly, if \(F(f)\) is a totally ordered subset of X, then f and g have a unique common fixed point.
Proof
Our assumption implies that there exists some \((\psi,\phi,\xi)\in\Psi \times\Phi\times[0,\infty)\) such that
for all \(x,y \in X\) with \(x\preceq y\), where
We now show that \(F(f)=F(g)\). Let \(z\in F(f)\). So \(fz=z\). Since \(z\preceq z\), inequality (27) implies that
Therefore,
which yields \(\phi (d(z,gz),d(z,gz) )=0\). As \(\phi\in\Phi\), we get \(d(z,gz)=0\). Hence \(gz=z\), that is, \(z\in F(g)\). So \(F(f)\subseteq F(g)\). Similarly, one can show that \(F(g)\subseteq F(f)\). Therefore, we have \(F(f,g)=F(f)=F(g)\). Let \(x_{1}\) be an arbitrary element of X. Define a sequence \(\{x_{n}\} \) by \(x_{1}\) and
If there exists \(m\in\mathbb{N}\) such that either \(x_{2m}=x_{2m-1}\) or \(x_{2m+1}=x_{2m}\) holds, then \(F(f)\) is nonempty. Because if \(x_{2m}=x_{2m-1}\), then \(fx_{2m-1}=x_{2m}=x_{2m-1}\). So \(x_{2m-1}\in F(f)\). If \(x_{2m+1}=x_{2m}\), then \(gx_{2m}=x_{2m+1}=x_{2m}\). Hence, \(x_{2m}\in F(g)=F(f)\). Therefore, we may suppose that \(x_{n}\neq x_{n+1}\) for any \(n\in\mathbb {N}\). Without loss of generality we can assume that \(x_{1}\preceq x_{2}\). We now show that the sequence \(\{x_{n}\}\) is non-decreasing. As f and g are weakly increasing mappings, we obtain
Hence the sequence \(\{x_{n}\}\) is non-decreasing. Suppose \(n\in\mathbb {N}\) is arbitrary. Since \(x_{2n-1}\preceq x_{2n}\), inequality (27) implies
where
Thus, inequality (28) becomes
Since ψ and ϕ are non-decreasing, the above inequality and inequalities (29), (30), and (31) yield the following inequality:
As \(\phi (d(x_{2n-1},x_{2n}),d(x_{2n-1},x_{2n}) )>0\), inequality (34) implies
Since ψ is non-decreasing, it follows from the above inequality that
So
Hence inequality (34) becomes
Similarly, one can show that
Set \(y_{n}=d(x_{2n},x_{2n+1})\) and \(z_{n}=d(x_{2n+1},x_{2n+2})\). Then from (35) and (37), we get
which shows that the two sequences \(\{y_{n}\}\) and \(\{z_{n}\}\) are strictly decreasing and bounded. Hence \(\{y_{n}\}\) and \(\{z_{n}\}\) are convergent. Assume that \(\lim_{n\rightarrow\infty}y_{n}=a\) and \(\lim_{n\rightarrow \infty}z_{n}=b\). By (38), we have \(a=b\). Taking the limit superior as \(n\rightarrow\infty\) in (36), we conclude that
Because \(\lim_{n\rightarrow\infty}y_{n}=\lim_{n\rightarrow \infty}z_{n}=a\), (39), the continuity of ψ, and the lower semicontinuity of ϕ imply that
Thus, \(\phi(a,a)=0\). Consequently, \(a=0\). So \(\lim_{n\rightarrow \infty}y_{n}=\lim_{n\rightarrow\infty}z_{n}=0\). This implies that \(\lim_{n\rightarrow\infty}d(x_{n},x_{n+1})=0\). As the sequence \(\{x_{n}\}\) is non-decreasing and \(\lim_{n\rightarrow\infty}d(x_{n},x_{n+1})=0\), Lemma 2.4 implies that \(\{x_{n}\}\) is a Cauchy sequence. Since X is complete, there is some \(u\in X\) such that \(x_{n}\rightarrow u\) as \(n\rightarrow\infty\). Without loss of generality we assume that f is continuous. As \(x_{2n-1}\rightarrow u\) as \(n\rightarrow\infty\), the continuity of f implies that \(x_{2n}=fx_{2n-1}\rightarrow fu\) as \(n\rightarrow\infty\). By the uniqueness of the limit, we obtain \(fu=u\). Therefore, \(u\in F(f)=F(g)\). Now suppose that \(F(f)\) is a totally ordered subset of X. We will show that u is unique. Suppose that \(z\in F(f,g)=F(f)=F(g)\). By our hypothesis \(u,z\) are comparable, hence without loss of generality suppose \(u\preceq z\). Thus, inequality (27) implies that
holds, which implies \(\phi (d(u,z),d(u,z) )=0\). So \(d(u,z)=0\). Consequently, \(u=z\). This completes the proof of the theorem. □
Applying Theorem 2.7, we can obtain the following result.
Corollary 2.8
Let \((X,\preceq)\) and \((X,d)\) be a totally ordered set and a complete metric space, respectively. Let \(f,g:X\rightarrow X\) be two weakly increasing mappings which f is almost generalized \(\mathcal{C}\)-contractive with respect to g. If either f or g is continuous, then f and g have a unique common fixed point.
The following examples support Theorem 2.7.
Example 2.9
Let \(X=[1,\infty)\) and define the metric d on X as follows:
for all \(x,y\in X\) (this metric has been introduced by Shatanawi and Al-Rawashdeh [18]). For any \(x\in X\), define the functions \(f,g :X\rightarrow X\) by
and
Also, define \(\psi:\mathbb{R^{+}}\rightarrow\mathbb{R^{+}}\) and \(\phi:\mathbb{R^{+}}\times\mathbb{R^{+}}\rightarrow\mathbb{R^{+}}\) by setting \(\psi(t)=t^{2}, \phi(s,t)=\frac{s+t}{2}\) for all \(s,t\in \mathbb{R^{+}}\), respectively. Consider a relation ⪯ on X by \(x\preceq y\) if only if \(y\leqslant x\) for all \(x,y\in X\). Then the following statements hold:
-
(a)
\((X,\preceq,d )\) is an ordered complete metric space.
-
(b)
f and g are weakly increasing mappings with respect to ⪯.
-
(c)
f is continuous.
-
(d)
\((\psi,\phi)\in\Psi\times\Phi\).
-
(e)
f is an almost generalized \(\mathcal{C}\) -contractive mapping with respect to g, that is,
$$\psi \bigl(d(fx,gy) \bigr)\leq\psi \bigl(M(x,y) \bigr)-\phi \bigl(M'(x,y) , M''(x,y) \bigr)+\xi\psi \bigl(N(x,y) \bigr) $$for all \(x,y \in X\), where \(\xi>\frac{1}{16}\) and
$$\begin{aligned} &M(x,y)=\max\biggl\{ d(x,y),d(x,fx),d(y,gy),\frac{d(x,gy)+d(y,fx)}{2}\biggr\} , \\ &M'(x,y)=\max\bigl\{ d(x,y),d(x,fx),d(x,gy)\bigr\} , \\ &M''(x,y)=\max\bigl\{ d(x,y),d(y,gy),d(fx,y)\bigr\} , \quad\mbox{and} \\ &N(x,y)=\min\bigl\{ d(x,fx),d(y,fx),d(x,gy)\bigr\} . \end{aligned}$$
Proof
(a) Assume a sequence \(\{x_{n}\}\) in X converges to some \(a\in X\). By the definition of d, one can find some \(N\in\mathbb{N}\) such that \(x_{n} =a\) holds for all \(n\geqslant N\). Hence \((X,d)\) is a complete metric space. It is obvious that \((X,\preceq )\) is a partially ordered set (indeed, \((X,\preceq)\) is a totally ordered set). So \((X,\preceq,d)\) is an ordered complete metric space.
(b) To see this, let \(x\in X\), we will show that \(fx\preceq gfx\) and \(gx\preceq fgx\). We first show that \(fx\preceq gfx\). To prove this, consider the following cases:
If \(1\leqslant x\leqslant3\), then \(fx=gfx=1\) and hence \(fx\preceq gfx\). If \(3< x\leqslant6\), then \(1=gfx< fx=x-2\), it follows that \(fx\preceq gfx\). If \(x>6\), then \(x-5=gfx< fx=x-2\) and hence \(fx\preceq gfx\). Therefore, \(fx\preceq gfx\) holds. We now show \(gx\preceq fgx\) holds. To see this, consider the following cases:
If \(1\leqslant x\leqslant4\), then \(1=gx\leqslant fgx=1\). So \(gx\preceq fgx\). If \(4< x\leqslant6\), then \(1=fgx< gx=x-3\) and hence \(gx\preceq fgx\). If \(x>6\), then \(x-5=fgx< gx=x-3\). Consequently, \(gx\preceq fgx\). Therefore, in any case, we get \(gx\preceq fgx\).
(c) Let \(a\in X\) be arbitrary, and \(\{x_{n}\}\) be a sequence in X such that \(x_{n}\rightarrow a\) as \(n\rightarrow\infty\). By the definition of d, there exists \(N\in \mathbb{N}\) such that for any \(n\geqslant N\), \(x_{n}=a\). Hence \(fx_{n}=fa\) holds for all \(n\geqslant N\), which implies \(\lim_{n\rightarrow\infty}fx_{n}=fa\). So f is continuous at a. Since a is arbitrary, hence f is continuous.
(d) It is trivial.
(e) Let \((x,y)\in X\times X\) be arbitrary. We will show that
To see this, we consider four cases:
Case I. \((x,y)\in[1,3]\times[1,4]\).
In this case, we have \(\psi (d(fx,gy) )=0\). If \(x=y=1\), then \(M(1,1)=M'(1,1)=M''(1,1)=N(1,1)=0\). Hence (40) holds.
If \(x=1,y\neq1\), then \(M(1,y)=M'(1,y)=M''(1,y)=y+1\) and \(N(1,y)=0\). Thus, inequality (40) becomes \(0\leqslant (y+1)^{2}-(y+1)=y(y+1)\), which holds.
Let \(x\neq1, y=1\). Then we have \(M(x,1)=M'(x,1)=M''(x,1)=x+1, N(x,1)=0\), and hence (40) becomes \(0\leqslant(x+1)^{2}-(x+1)=x(x+1)\), which holds. So (40) holds.
Let \(x=y\neq1\). Then we have \(M(x,x)=M'(x,x)=M''(x,x)=N(x,x)=x+1\), and hence (40) becomes \(0\leqslant(x+1)^{2}-(x+1)+\xi (x+1)^{2}=(x+1) ((\xi+1)(x+1)-1 )\), which holds. So (40) is valid.
If \(x,y>1\) with \(x\neq y\), then we get \(M(x,y)=M'(x,y)=M''(x,y)=x+y\) and \(N(x,y)=\min\{x+1,y+1\}=N>2\), and so (40) becomes
As \(\xi>\frac{1}{16}\) and \(N>2\), we get
Thus, (40) is true. Therefore, in any case (40) is valid.
Case II. \((x,y)\in[1,3]\times(4,\infty)\).
In this case, we have \(\psi (d(fx,gy) )=(y-2)^{2}\). If \(x=1\), then
Putting these into (40), it reduces to \((y-2)^{2}\leqslant (2y-3)^{2}-\frac{(y+1)+(2y-3)}{2}\). Since \(y>4\), \(0\leqslant3y^{2}-10y+8\), which is equivalent to \((y-2)^{2}\leqslant(2y-3)^{2}-(2y-3)\). On the other hand, \(y+1\leqslant\frac{(y+1)+(2y-3)}{2}\leqslant2y-3\), so we have
This implies (40).
If \(1< x\leqslant3, 4< y\), then we have
If \(M(x,y)=x+y\), then (40) reduces to
To prove this, we first show that
holds. Inequality (h) is equivalent to
As \(x>1\) and \(y>4\), so \(-3(x+y)+4<-15+4<\xi(x+1)^{2}\) holds. In view of this and the above equivalence, we conclude that inequality (h) is true. Since \((y-2)^{2}\leqslant (x+y-2)^{2}\), hence inequality (h) implies inequality (40).
If \(M(x,y)=2y-3\), then (40) reduces to
To see it, we first show
holds. Inequality (i) is equivalent to
Because \(y>4\), hence \(-3(2y-3)+4<-15+4<\xi(x+1)^{2}\) holds. This and the above equivalence yield inequality (i). On the other hand, \(x+y\leqslant\frac{(x+y)+(2y-3)}{2}\leqslant2y-3\). Hence we have
This establishes inequality (40).
Case III. Let \((x,y)\in(3,\infty)\times[3,4]\).
In this case, we have \(\psi (d(fx,gy) )=(x-1)^{2}\).
If \(x=y\), then we have
Hence inequality (40) reduces to
which is equivalent to \(0\leqslant3(x-1)^{2}-2(x-1)+\xi(x+1)^{2}\). Since \(x>3\) and \(\xi>\frac{1}{16}\), we have
Thus, inequality (40) is true.
If \(x\neq y\), we have
If \(M(x,y)=x+y\), then inequality (40) reduces to
To prove it, we first show that
holds, which is equivalent to
Since \(x>3\) and \(y\geqslant3\), we have \(-(x+y)+1<-6+1<\xi(x+1)^{2}\). So inequality (j) is valid. On the other hand, we have \((x-1)^{2}\leqslant(x+y-1)^{2}\). This along with (j) implies inequality (40).
If \(M(x,y)=2x-2\), then (40) becomes
To see this, we first prove the following inequality:
This is equivalent to
As \(x>3\), hence \(-(2x-2)+1<-4+1<\xi(x+1)^{2}\). This along with the above equivalence establishes (k). Since \(M(x,y)=2x-2\geqslant x+y\), from (k), we get
Therefore, inequality (40) is valid.
Case IV. \((x,y)\in(3,\infty)\times(4,\infty)\). In this case, we have \(\psi (d(fx,gy) )=(x+y-5)^{2}\).
If \(x=y\), we have
So inequality (40) reduces to
which is equivalent to
Because \(x>3\), hence \(-5(2x-2)+9<-20+9<\xi(2x-3)^{2}\) holds. This along with the above equivalence implies (40).
If \(x\neq y\), then we have
Then the following three cases occur for \(M(x,y)\).
Case 1. If \(M(x,y)=x+y\), then (40) reduces to
which is equivalent to
Since \(x>3\) and \(y>4\), so \(-9(x+y)+25<-63+25<\xi N^{2}\) holds. This and the above equivalence imply (40).
Case 2. If \(M(x,y)=2x-2\) and \(M''(x,y)=x+y\), then (40) becomes
To prove it, we first establish that
holds. This is equivalent to
Since \(x>3\), we have \(-9(2x-2)+25<-36+25<\xi N^{2}\). So (l) is valid. As \(x+y\leqslant2x-2\), we have
Therefore, inequality (40) holds.
If \(M(x,y)=2x-2\) and \(M''(x,y)=2y-3\), then (40) reduces to
Because \(2y-3\leqslant2x-2\), by inequality (l), we have
This implies (40).
Case 3. If \(M(x,y)=2y-3\) and \(M'(x,y)=x+y\), then (40) reduces to
To see this, we first show
which is equivalent to
As \(y>4\), we obtain \(-9(2y-3)+25<-45+25<\xi N^{2}\). So (m) holds. Since \(x+y\leqslant2y-3\), from (m), we get
Thus, (40) holds.
If \(M(x,y)=2y-3\) and \(M'(x,y)=2x-2\), then (40) reduces to
As \(x+y\leqslant2y-3\) and \(2x-2\leqslant2y-3\), we have
This establishes (40). Therefore, in any case inequality (40) holds. So the proof of (e) is completed. Thus, \(f,g,\psi\), and ϕ satisfy the hypotheses of Theorem 2.7, hence \(F(f,g)\) is nonempty (in fact, \(1\in F(f,g)=F(f)=F(g)\)). On the other hand, since X is a totally ordered set, hence \(F(f,g)\) is a totally ordered subset of X. So Theorem 2.7 implies that the set \(F(f,g)\) is singleton (indeed, we observe that \(F(f,g)=\{1\}\)). □
Example 2.10
Set \(X=\{0,1,2,3\}\). Let \(d,\psi\), and ϕ be as in Example 2.9. Consider the relation ⪯ and the mappings \(f, g\) on X by \(\preceq=\{(0,0),(1,1),(2,2),(3,3),(0,1)\}\) and \(f=\{(0,3),(1,1),(2,0),(3,3)\}\), \(g=\{(0,1),(1,1),(2,3),(3,3)\}\), respectively. It is clear that \((X,\preceq)\) is an ordered set. Similar to the arguments given Example 2.9 ((a), (c)) one can show that \((X,d)\) and f are complete and continuous, respectively. It is easy to see that the mappings f and g are weakly increasing with respect to ⪯. We next show that
for all \(x,y \in X\) with \(x\preceq y\), where \(\xi\geqslant10.5\), and
To see this, we have
These mean that the mapping f is almost generalized \(\mathcal {C}\)-contractive with respect to the mapping g. Now, it follows from Theorem 2.7 that the fixed point set of f is nonempty and \(F(f,g)=F(f)=F(g)\). We observe that \(F(f,g)=F(f)=F(g)=\{1,3\}\).
References
Banach, S: Sur les operations dans les ensembles et leur application aux equations intégrales. Fundam. Math. 3, 133-181 (1922)
Agarwal, RP, El-Gebeily, MA, O’Regan, D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 87(1), 109-116 (2008)
Aghajani, A, Radenović, S, Roshan, JR: Common fixed point results for four mappings satisfying almost generalized \((S,T)\)-contractive condition in partially ordered metric spaces. Appl. Math. Comput. 218, 5665-5670 (2012). doi:10.1016/j.ams.2011.11.061
Chatterjea, SK: Fixed point theorems. C. R. Acad. Bulgare Sci. 25, 727-730 (1972)
Cho, YJ, Saadati, R, Wang, S: Common fixed point theorems on generalized distance in ordered cone metric spaces. Comput. Math. Appl. 61, 1254-1260 (2011). doi:10.1016/j.camwa.2011.01.004
Ćirić, LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45, 267-273 (1974)
Gholizadeh, L, Saadati, R, Shatanawi, W, Vaezpour, SM: Contractive mapping in generalized ordered metric spaces with application in integral equations. Math. Probl. Eng. 2011, Article ID 380784 (2011). doi:10.1155/2011/380784
Harjani, J, Sadarangani, K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 71(7-8), 3403-3410 (2008)
Kannan, R: Some results on fixed points. Bull. Calcutta Math. Soc. 10, 71-76 (1968)
Karapinar, E, Sadarangani, K: Fixed point theory for cyclic \((\phi,\psi)\)-contractions. Fixed Point Theory Appl. 2011, 69 (2011). doi:10.1186/1687-1812-2011-69
Moosaei, M: Fixed point theorems in convex metric spaces. Fixed Point Theory Appl. 2012, 164 (2012). doi:10.1186/1687-1812-2012-164
Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47, 2683-2693 (2001)
Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30, 1-9 (1984). doi:10.1017/S0004972700001659
Berinde, V: Approximating fixed points of weak contractions using the Picard iteration. Nonlinear Anal. Forum 9(1), 43-53 (2004)
Berinde, V: General constructive fixed point theorems for Ćirić-type almost contractions in metric spaces. Carpath. J. Math. 24(2), 10-19 (2008)
Shatanawi, W: Fixed point theorems for nonlinear weakly \(\mathcal{C}\)-contractive mappings in metric spaces. Math. Comput. Model. 54, 2816-2826 (2011). doi:10.1016/j.mcm.2011.06.069
Ćirić, LB, Abbas, M, Saadati, R, Hussain, N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 217, 5784-5789 (2011). doi:10.1016/j.amc.2010.12.060
Shatanawi, W, Al-Rawashdeh, A: Common fixed point of almost generalized \((\psi,\phi)\)-contractive mappings in ordered metric spaces. Fixed Point Theory Appl. 2012, 80 (2012). doi:10.1186/1687/1812-2012-80
Acknowledgements
The authors are grateful to the referee(s) for his(their) useful comments and suggestions on the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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
Azizi, A., Moosaei, M. & Zarei, G. Fixed point theorems for almost generalized \(\mathcal{C}\)-contractive mappings in ordered complete metric spaces. Fixed Point Theory Appl 2016, 80 (2016). https://doi.org/10.1186/s13663-016-0570-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0570-z