- Research
- Open access
- Published:
Cyclic admissible contraction and applications to functional equations in dynamic programming
Fixed Point Theory and Applications volume 2015, Article number: 163 (2015)
Abstract
In this paper, we introduce the notion of T-cyclic \(( \alpha ,\beta ) \)-contraction and give some common fixed point results for this type of contractions. The presented theorems extend, generalize, and improve many existing results in the literature. Several examples and applications to functional equations arising in dynamic programming are also given in order to illustrate the effectiveness of the obtained results.
1 Introduction and preliminaries
Fixed point theorems play a crucial role to constructing methods for solving problems in applied mathematics and the majority of other sciences. Thus, a large number of mathematicians have focused on this interesting topic. The Banach contraction mapping principle [1] is one of the pivotal results in fixed point theory. It is widely considered as the source of metric fixed point theory. Also its significance lies in its vast applicability in a number of branches of mathematics.
A new category of contractive fixed point problems was addressed by Khan et al. [2]. In this study they introduced the notion of altering distance function which is a control function that alters distance between two points in a metric space. This function and its extensions have been used in several problems of fixed point theory, some of which are noted in [3–6].
Definition 1
([2])
A function \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is called an altering distance function if the following properties are satisfied:
-
(i)
φ is nondecreasing and continuous,
-
(ii)
\(\varphi ( t ) =0\) if and only if \(t=0\).
Recently, Samet et al. [7] presented the notions of α-ψ-contractive and α-admissible mappings. The results obtained by Samet et al. [7] extended and generalized many existing fixed point results in the literature, in particular the Banach contraction principle. After that, several authors considered the generalizations of this new approach (see [8–13]). Very recently, Alizadeh et al. [12] offered the concept of a cyclic \(( \alpha,\beta ) \)-admissible mapping and proved some new fixed point results which generalize and modify some recent results in the literature.
Definition 2
([12])
Let \(f:X\rightarrow X\) and \(\alpha,\beta:X\rightarrow[ 0,\infty)\). We say that f is a cyclic \(( \alpha,\beta ) \)-admissible mapping if
-
(i)
\(\alpha ( x ) \geq1\) for some \(x\in X\) implies \(\beta ( fx ) \geq1\);
-
(ii)
\(\beta ( x ) \geq1\) for some \(x\in X\) implies \(\alpha ( fx ) \geq1\).
The purpose of this paper is to formulate the above definition in terms of two mappings so that we can prove existence and uniqueness of common fixed points for these mappings on a complete metric space. Our results improve and extend the results of [7, 12, 14] and many others. Several examples and interesting consequences of our theorems are also given. As a consequence of the presented results, we discuss the existence and uniqueness of the common bounded solution of a functional equation arising in dynamic programming.
Definition 3
([15])
Let X be a nonempty set and \(f,T:X\rightarrow X\). The pair \((f,T)\) is said to be weakly compatible if f and T commute at their coincidence points (i.e. \(fTx=Tfx\) whenever \(fx=Tx\)). A point \(y\in X\) is called a point of coincidence of f and T if there exists a point \(x\in X\) such that \(y=fx=Tx\).
Following the direction in [10], we denote by Ψ the family of all functions \(\psi:\mathbb{R} _{+}^{4}\rightarrow \mathbb{R} _{+}\) such that:
- (\(\psi_{1}\)):
-
ψ is nondecreasing in each coordinate and continuous;
- (\(\psi_{2}\)):
-
\(\psi ( t,t,t,t ) \leq t\), \(\psi ( t,0,0,t ) \leq t\) and \(\psi ( 0,0,t,\frac{t}{2} ) \leq t\) for all \(t>0\);
- (\(\psi_{3}\)):
-
\(\psi ( t_{1},t_{2},t_{3},t_{4} ) =0\) if and only if \(t_{1}=t_{2}=t_{3}=t_{4}=0\).
2 Main results
Before proceeding with our results, let us give the following definitions which will be used efficiently in the proof of main results.
Definition 4
Let \(f, T:X\rightarrow X\) and \(\alpha,\beta:X\rightarrow [ 0,\infty)\). We say that f is a T-cyclic \(( \alpha,\beta ) \)-admissible mapping if
-
(i)
\(\alpha ( Tx ) \geq1\) for some \(x\in X\) implies \(\beta ( fx ) \geq1\);
-
(ii)
\(\beta ( Tx ) \geq1\) for some \(x\in X\) implies \(\alpha ( fx ) \geq1\).
Example 1
Let \(f,T:\mathbb{R} \rightarrow \mathbb{R} \) be defined by \(fx=x\) and \(Tx=-x\). Suppose that \(\alpha,\beta:\mathbb{R} \rightarrow \mathbb{R} ^{+}\) are given by \(\alpha ( x ) =e^{-x}\) for all \(x\in \mathbb{R} \) and \(\beta ( y ) =e^{y}\) for all \(y\in \mathbb{R} \). Then f is a T-cyclic \(( \alpha,\beta ) \) admissible mapping. Indeed, if \(\alpha ( Tx ) =e^{x}\geq1\), then \(x\geq0\) which implies \(fx\geq0\) and so \(\beta ( fx ) =e^{fx}\geq1\). Also, if \(\beta ( Ty ) =e^{-y}\geq1\), then \(y\leq0\), which implies \(fy\leq0\) and so \(\alpha ( fy ) =e^{-fy}\geq1\).
Definition 5
Let \(( X,d ) \) be a metric space and let f be a T-cyclic \(( \alpha,\beta ) \)-admissible mapping. We say that f is a T-cyclic \(( \alpha,\beta ) \)-contractive mapping if
for all \(x,y\in X\), where
\(\psi\in\Psi\), φ is an altering distance function and \(\eta:[0,\infty)\rightarrow [0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta (t) \) for all \(t>0\).
Theorem 1
Let \(( X,d ) \) be a complete metric space and let f and T be self-mappings on X such that \(fX\subset TX\). Let f be a T-cyclic \(( \alpha,\beta ) \)-contractive mapping. Assume that TX is a closed subset of X and the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( Tx_{0} ) \geq1\) and \(\beta ( Tx_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( Tu ) \geq1\) and \(\beta ( Tv ) \geq1\) whenever \(fu=Tu\) and \(fv=Tv\).
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Proof
Let \(x_{0}\in X\) such that \(\alpha ( Tx_{0} ) \geq1\) and \(\beta ( Tx_{0} ) \geq1\). Define the sequences \(\{ x_{n} \} \) and \(\{ y_{n} \} \) in X by
If \(y_{n}=y_{n+1}\), then \(y_{n+1}\) is a point of coincidence of f and T. Suppose that \(y_{n}\neq y_{n+1}\) for all \(n\in \mathbb{N}\). Since f is a T-cyclic \(( \alpha,\beta ) \)-admissible mapping and \(\alpha ( Tx_{0} ) \geq1\) then \(\beta ( fx_{0} ) =\beta ( Tx_{1} ) \geq1\), which implies \(\alpha ( Tx_{2} ) =\alpha ( fx_{1} ) \geq1\). By continuing this process, we get \(\alpha ( Tx_{2n} ) \geq1\) and \(\beta ( Tx_{2n+1} ) \geq1\) for all \(n\in \mathbb{N} \cup \{ 0 \} \). Similarly, since f is a T-cyclic \(( \alpha,\beta ) \)-admissible mapping and \(\beta ( Tx_{0} ) \geq1\), we have \(\beta ( Tx_{2n} ) \geq1\) and \(\alpha ( Tx_{2n+1} ) \geq1\) for all \(n\in \mathbb{N} \cup \{ 0 \}\), that is, \(\alpha ( Tx_{n} ) \geq1\) and \(\beta ( Tx_{n} ) \geq1\) for all \(n\in \mathbb{N} \cup \{ 0 \} \). Equivalently, \(\alpha ( Tx_{n} ) \beta ( Tx_{n+1} ) \geq1\) for all \(n\in \mathbb{N} \cup \{ 0 \} \). Therefore by (2.1) and using (2.2), we get
Since φ is nondecreasing, we have
where
Thus, from (2.4), we obtain
If \(d ( y_{n-1},y_{n} ) \leq d ( y_{n},y_{n+1} ) \) for some \(n\in \mathbb{N} \), then
which is a contradiction, and hence \(d ( y_{n},y_{n+1} ) < d ( y_{n-1},y_{n} ) \) for all \(n\in \mathbb{N} \). Therefore, the sequence \(\{ d ( y_{n},y_{n+1} ) \} \) is decreasing and bounded below. Thus, there exists \(r\geq0\) such that \(\lim_{n\rightarrow\infty}d ( y_{n},y_{n+1} ) =r\). Assume \(r>0\). Also, from (2.3), (2.5) and using the properties of ψ, we deduce
Considering the properties of φ and η, letting \(n\rightarrow \infty\) in (2.6), we get
which implies \(r=0\) and so
Now, we prove that \(\{ y_{n} \} \) is a Cauchy sequence. Suppose, to the contrary, that \(\{ y_{n} \} \) is not a Cauchy sequence. Then there exists an \(\varepsilon>0\) for which we can find two subsequences \(\{ y_{m_{k}} \} \) and \(\{ y_{n_{k}} \} \) of \(\{ y_{n} \} \) such that \(m_{k}\) is the smallest index for which \(m_{k}>n_{k}>k\) and
Using the triangular inequality and (2.8), we have
By taking \(k\rightarrow\infty\) in the above inequality and using (2.7), we obtain
By using (2.7), (2.9), and the triangular inequality, we deduce
From (2.1), we get
where
Now, from the properties of \(\varphi, \psi\), and η and using (2.7), (2.9), (2.10), and the above inequality, as \(k\rightarrow\infty\) in (2.11), we have
which implies that \(\varepsilon=0\), a contradiction with \(\varepsilon>0\). Thus \(\{ y_{n} \} \) is a Cauchy sequence in X. From the completeness of \(( X,d ) \), there exists \(z\in X\) such that
From (2.2) and (2.12), we obtain
Since TX is closed, by (2.13), \(z\in TX\). Therefore, there exists \(u\in X\) such that \(Tu=z\). As \(y_{n}\rightarrow z\) and \(\beta ( y_{n} ) =\beta ( Tx_{n+1} ) \geq1\) for all \(n\in \mathbb{N} \), by (ii), \(\beta ( z ) =\beta ( Tu ) \geq1\). Thus, \(\alpha ( Tx_{n} ) \beta ( Tu ) \geq1\) for all \(n\in \mathbb{N} \).
Now, applying inequality (2.1), we get
where
Taking \(k\rightarrow\infty\) in the inequality (2.14) and using the properties of φ, ψ, η, and the above inequality we have
which implies \(d ( z,fu ) =0\), that is, \(z=fu\). Thus, we deduce
and so z is a point of coincidence for f and T. The uniqueness of the point of coincidence is a consequence of the conditions (2.1) and (iii), and so we omit the details.
By (2.15) and using the weak compatibility of f and T, we obtain
and so \(fz=Tz\). Uniqueness of the point of coincidence implies \(z=fz=Tz\). Consequently, z is a unique common fixed point of f and T. □
Example 2
Let \(X=\mathbb{R} \) be endowed with the usual metric \(d ( x,y ) =\vert x-y\vert \) for all \(x,y\in X\). Also, let \(\varphi ( t ) =t\) and \(\eta ( t ) =\frac{2}{3}t\) for all \(t \geq0\), and \(\psi ( t_{1},t_{2},t_{3},t_{4} ) =\max \{ t_{1},t_{2},t_{3},t_{4} \} \) for all \(t_{1},t_{2},t_{3},t_{4}\geq 0\).
Now, define the self-mappings f and T on X by
Then it is clear that \(fX\subset TX\). Also, define the mappings \(\alpha ,\beta:X\rightarrow [0,\infty)\) by
and
Let \(x\in X\) such that \(\alpha ( Tx ) \geq1\) so that \(Tx\in [ -\frac{1}{3},0 ] \) and hence \(x\in [ -1,0 ] \). By the definitions of f and β, we have \(fx\in [ -\frac {1}{9},0 ] \) and so \(\beta ( fx ) \geq1\).
Similarly, one can show that if \(\beta ( Tx ) \geq1\) then \(\alpha ( fx ) \geq 1\). Thus, f is a T-cyclic \(( \alpha,\beta ) \)-admissible mapping. Moreover, the conditions \(\alpha ( Tx_{0} ) \geq 1\) and \(\beta ( Tx_{0} ) \geq1\) are satisfied with \(x_{0}=-\frac {1}{9}\).
Now, let \(\{ x_{n} \} \) be a sequence in X such that \(\beta (x_{n} ) \geq1\) for all \(n\in \mathbb{N} \) and \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\). Then, by the definition of β, we have \(x_{n}\in [ -\frac{1}{9},0 ] \) for all \(n\in \mathbb{N} \) and so \(x\in [ -\frac{1}{9},0 ] \), that is, \(\beta ( x ) \geq1\).
Next, we prove that f is a T-cyclic \(( \alpha,\beta ) \)-contractive mapping. Let \(\alpha ( Tx ) \beta ( Ty ) \geq1\), then \(Tx\in [ -\frac{1}{3},0 ] \), \(Ty\in [ -\frac{1}{9},0 ] \) and so \(x\in [ -1,0 ]\), \(y\in [ -\frac{1}{3},0 ] \). Thus, we get
Obviously, assumption (iii) of Theorem 1 is satisfied. Consequently, all conditions of Theorem 1 hold, and hence f and T have a unique common fixed point. Here 0 is the common fixed point of f and T; see Figures 1 and 2.
Corollary 1
Let \(( X,d ) \) be a complete metric space and let f and T be self-mappings on X such that \(fX\subset TX\). Let f be a T-cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where φ is an altering distance function and \(\eta:[0,\infty)\rightarrow [0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta(t)\) for all \(t>0\) and
Assume that TX is a closed subset of X and the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( Tx_{0} ) \geq1\) and \(\beta ( Tx_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( Tu ) \geq1\) and \(\beta ( Tv ) \geq1\) whenever \(fu=Tu\) and \(fv=Tv\).
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Proof
Let \(\alpha ( Tx ) \beta ( Ty ) \geq1\) for \(x,y\in X\). If we take \(\psi ( t_{1},t_{2},t_{3},t_{4} ) =\max \{ t_{1},t_{2},t_{3},t_{4} \} \) in Theorem 1, then from (2.17), we have
This implies that the inequality (2.1) holds. Therefore, the proof follows from Theorem 1. □
If we choose \(T=I_{X}\) in Theorem 1, we have the following corollary.
Corollary 2
Let \(( X,d ) \) be a complete metric space and \(f:X\rightarrow X\) be a cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where \(\psi\in\Psi\), φ is an altering distance function and \(\eta:[0,\infty)\rightarrow [ 0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta(t)\) for all \(t>0\) and
Assume that the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( x_{0} ) \geq1\) and \(\beta ( x_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( u ) \geq1\) and \(\beta ( v ) \geq1\) whenever \(fu=u\) and \(fv=v\).
Then f has a unique fixed point.
If we take \(\eta ( t ) =\varphi ( t ) -\eta ^{1} ( t ) \) in Corollary 2, we have the following corollary.
Corollary 3
Let \(( X,d ) \) be a complete metric space and \(f:X\rightarrow X\) be a cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where \(\psi\in\Psi\), φ is an altering distance function and \(\eta^{1}:[0,\infty)\rightarrow [ 0,\infty)\) is such that \(\varphi(t)- \eta^{1}(t)\) is nondecreasing and \(\eta^{1}(t)\) is continuous from the right, with the condition \(\varphi(t)>\eta^{1}(t)\) for all \(t>0\).
Assume that the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( x_{0} ) \geq1\) and \(\beta ( x_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( u ) \geq1\) and \(\beta ( v ) \geq1\) whenever \(fu=u\) and \(fv=v\).
Then f has a unique fixed point.
If we take \(\varphi ( t ) =t\) in Corollary 3, we have the following corollary.
Corollary 4
Let \(( X,d ) \) be a complete metric space and \(f:X\rightarrow X\) be a cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where \(\psi\in\Psi\) and \(\eta^{1}:[0,\infty )\rightarrow [0,\infty)\) is such that \(t- \eta^{1}(t)\) is nondecreasing and \(\eta^{1}(t)\) is continuous from the right, with the condition \(\eta^{1}(t)>0\) for all \(t>0\).
Assume that the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( x_{0} ) \geq1\) and \(\beta ( x_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( u ) \geq1\) and \(\beta ( v ) \geq1\) whenever \(fu=u\) and \(fv=v\).
Then f has a unique fixed point.
We denote by Φ the family of all functions \(\phi:\mathbb{R} _{+}^{4}\rightarrow \mathbb{R} _{+}\) such that
- (\(\phi_{1}\)):
-
ϕ is nondecreasing in each coordinate and continuous;
- (\(\phi_{2}\)):
-
\(\phi ( t,t,t,t ) \leq t\), \(\phi ( t,\frac{t}{2},t,0 ) \leq t\) and \(\phi ( 0,\frac{t}{2},0,t ) \leq t\) for all \(t>0\);
- (\(\phi_{3}\)):
-
\(\phi ( t_{1},t_{2},t_{3},t_{4} ) =0\) if and only if \(t_{1}=t_{2}=t_{3}=t_{4}=0\).
Definition 6
Let \(( X,d ) \) be a metric space and let f be a T-cyclic \(( \alpha,\beta )\)-admissible mapping. We say that f is a T-cyclic \(( \alpha,\beta ) \)-rational contractive mapping if
for all \(x,y\in X\), where
\(\phi\in\Phi\), φ is an altering distance function and \(\eta:[0,\infty)\rightarrow [0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta (t) \) for all \(t>0\).
Theorem 2
Let \(( X,d ) \) be a complete metric space and let f and T be self-mappings on X such that \(fX\subset TX\). Let f be a T-cyclic \(( \alpha,\beta ) \)-rational contractive mapping. Assume that TX is a closed subset of X and the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( Tx_{0} ) \geq1\) and \(\beta ( Tx_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( Tu ) \geq1\) and \(\beta ( Tv ) \geq1\) whenever \(fu=Tu\) and \(fv=Tv\).
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
Proof
Similar to the proof of Theorem 1, we define sequences \(\{ x_{n} \} \) and \(\{ y_{n} \} \) in X by \(y_{n}=fx_{n}=Tx_{n+1} \) and note that \(\alpha ( Tx_{n} ) \beta ( Tx_{n+1} ) \geq1\) for all \(n\in \mathbb{N} \cup \{ 0 \} \). Also we assume that \(y_{n}\neq y_{n-1}\) for all \(n\in \mathbb{N} \). Then by (2.21), we have
Since φ is nondecreasing, we get
where
Thus, from (2.23), we deduce
If \(d ( y_{n-1},y_{n} ) \leq d ( y_{n},y_{n+1} ) \) for some \(n\in \mathbb{N} \), then
which is a contradiction, and hence \(d ( y_{n},y_{n+1} ) < d ( y_{n-1},y_{n} ) \) for all \(n\in \mathbb{N} \). Therefore, the sequence \(\{ d ( y_{n},y_{n+1} ) \} \) is decreasing and bounded from below. Thus, there exists \(\delta\geq 0\) such that \(\lim_{n\rightarrow\infty}d ( y_{n},y_{n+1} ) =\delta\). Also, from (2.22), (2.24) and using the properties of φ and η, we obtain
Consider the properties of φ and η, letting \(n\rightarrow \infty\) in (2.25), we get
which implies \(\delta=0\) and so
Now, we want to show that \(\{ y_{n} \} \) is a Cauchy sequence. Suppose, to the contrary, that \(\{ y_{n} \} \) is not a Cauchy sequence. Then there exists an \(\varepsilon>0\) for which we can find two subsequences \(\{ y_{n_{k}} \} \) and \(\{ y_{m_{k}} \} \) of \(\{ y_{n} \} \) such that \(n_{k}\) is the smallest index for which \(n_{k}>m_{k}>k\) and
Using the triangular inequality and (2.27), we have
By taking \(k\rightarrow\infty\) in the above inequality and using (2.26), we obtain
By using (2.26), (2.28), and the triangular inequality, we deduce
From (2.21), we get
where
Therefore \(\lim_{k\rightarrow\infty}\max\{\varepsilon,N ( x_{n_{k}},x_{m_{k}} )\} =\phi ( \varepsilon,\frac{\varepsilon}{2},\varepsilon,0 ) \leq \varepsilon\).
Now, from the properties of φ and η and using (2.26), (2.28), (2.29), and the previous inequality, as \(k\rightarrow \infty\) in (2.30), we have
which implies that \(\varepsilon=0\), a contradiction with \(\varepsilon>0\). Thus \(\{ y_{n} \} \) is a Cauchy sequence in X. From the completeness of \(( X,d ) \), there exists \(w\in X\) such that
and so by (2.31), we obtain
Since TX is closed, by (2.32), \(w\in TX\). Therefore, there exists \(v\in X\) such that \(Tv=w\). As \(y_{n}\rightarrow w\) and \(\beta ( y_{n} ) =\beta ( Tx_{n+1} ) \geq1\) for all \(n\in \mathbb{N} \), by (ii), \(\beta ( w ) =\beta ( Tv ) \geq1\). Thus, \(\alpha ( Tx_{n} ) \beta ( Tv ) \geq1\) for all \(n\in \mathbb{N} \).
Now, applying inequality (2.21), we get
where
Taking \(k\rightarrow\infty\) in the inequality (2.33), using the properties of φ, η and the previous inequality we have
which implies \(d ( w,fv ) =0\), that is, \(w=fv\). Thus, we deduce
and so w is a point of coincidence for f and T. The uniqueness of the point of coincidence is a consequence of the conditions (2.21) and (iii), and so we omit the details.
By (2.34) and using the weak compatibility of f and T, we obtain
The uniqueness of the point of coincidence implies \(w=fw=Tw\). Consequently, w is the unique common fixed point of f and T. □
Corollary 5
Let \(( X,d ) \) be a complete metric space and let f and T be self-mappings on X such that \(fX\subset TX\). Let f be a T-cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where φ is an altering distance function and \(\eta:[0,\infty)\rightarrow [0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta(t)\) for all \(t>0\) and
Assume that TX is a closed subset of X and that the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( Tx_{0} ) \geq1\) and \(\beta ( Tx_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( Tu ) \geq1\) and \(\beta ( Tv ) \geq1\) whenever \(fu=Tu\) and \(fv=Tv\).
Then f and T have a unique point of coincidence in X. Moreover, if f and T are weakly compatible, then f and T have a unique common fixed point.
If we take \(T=I_{X}\) and \(\eta ( t ) =\varphi ( t ) -\eta^{1} ( t ) \) in Theorem 2, we have the following corollary.
Corollary 6
Let \(( X,d ) \) be a complete metric space and \(f:X\rightarrow X\) be a cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where \(\phi\in\Phi\), φ is an altering distance function and \(\eta^{1}:[0,\infty)\rightarrow [ 0,\infty)\) is such that \(\varphi(t)- \eta^{1}(t)\) is nondecreasing and \(\eta^{1}(t)\) is continuous from the right, with the condition \(\varphi(t)>\eta^{1}(t)\) for all \(t>0\), and
Assume that the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( x_{0} ) \geq1\) and \(\beta ( x_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( u ) \geq1\) and \(\beta ( v ) \geq1\) whenever \(fu=u\) and \(fv=v\).
Then f has a unique fixed point.
If we take \(\varphi ( t ) =t\) in Corollary 6, we have the following corollary.
Corollary 7
Let \(( X,d ) \) be a complete metric space and \(f:X\rightarrow X\) be a cyclic \(( \alpha,\beta ) \)-admissible mapping such that
for all \(x,y\in X\), where \(\eta^{1}:[0,\infty )\rightarrow [0,\infty)\) is such that \(t- \eta^{1}(t)\) is nondecreasing and \(\eta^{1}(t)\) is continuous from the right, with the condition \(\eta^{1}(t)>0\) for all \(t>0\).
Assume that the following conditions are satisfied:
-
(i)
there exists \(x_{0}\in X\) such that \(\alpha ( x_{0} ) \geq1\) and \(\beta ( x_{0} ) \geq1\);
-
(ii)
if \(\{ x_{n} \} \) is a sequence in X such that \(x_{n}\rightarrow x\) and \(\beta ( x_{n} ) \geq1\) for all n, then \(\beta ( x ) \geq1\);
-
(iii)
\(\alpha ( u ) \geq1\) and \(\beta ( v ) \geq1\) whenever \(fu=u\) and \(fv=v\).
Then f has a unique fixed point.
3 Cyclic results
The mappings \(f, T:A\cup B\rightarrow A\cup B\) are called cyclic if \(fA\subseteq TB\) and \(fB\subseteq TA\), where A, B are nonempty subsets of a metric space \((X,d)\). Moreover, f and T are called cyclic contraction if there exists \(k\in(0,1)\) such that \(d(fx,fy)\leq kd(Tx,Ty)\) for all \(x\in A\) and \(y\in B\). For more results see [16–19].
In this section we give some fixed point results involving cyclic mappings which can be regarded as consequences of the theorems presented in the previous section.
Theorem 3
Let A and B be two closed subsets of complete metric space \((X,d)\) such that \(A\cap B\neq\emptyset\) and \(f,T:A\cup B\rightarrow A\cup B\) be mappings such that \(fA\subseteq TB\) and \(fB\subseteq TA\). Assume that \(T(A\cup B)\) is a closed subset of X such that
for all \(x\in A\) and \(y\in B\), where φ is an altering distance function and \(\eta:[0,\infty)\rightarrow {}[0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta(t)\) for all \(t>0\).
-
(i)
If T is one to one then there exists \(z\in A\cap B\) such that \(fz=Tz\).
-
(ii)
If f and T are weakly compatible, then f and T have a unique common fixed point \(z\in A\cap B\).
Proof
Define \(\alpha,\beta:X\rightarrow [0,\infty)\) by
Let \(\alpha ( Tx ) \beta ( Ty ) \geq1\). Then \(Tx\in TA\) and \(Ty\in TB\). Since T is one to one, we have \(x\in A\) and \(y\in B\). Hence, from (3.1) we obtain
Let \(\alpha ( Tx ) \geq1\) for some \(x\in X\), so \(Tx\in TA\) and then \(x\in A\). Hence, \(fx\in TB\) and so \(\beta ( fx ) \geq1\). Again, let \(\beta ( Tx ) \geq1\) for some \(x\in X\). Then \(Tx\in TB\) and so \(x\in B\). Hence, \(fx\in TA\) and then \(\alpha ( fx ) \geq1\). Therefore, f is a T-cyclic \(( \alpha,\beta ) \)-admissible mapping.
There exists an \(x_{0}\in A\cap B\), as \(A\cap B\) is nonempty. This implies that \(Tx_{0}\in TA\) and \(Tx_{0}\in TB\) and so \(\alpha ( Tx_{0} ) \geq1\) and \(\beta ( Tx_{0} ) \geq1\).
Let \(\{ x_{n} \} \) be a sequence in X such that \(\beta ( x_{n} ) \geq1\) for all \(n\in \mathbb{N} \) and \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\). Then \(x_{n}\in TB\) for all \(n\in \mathbb{N} \) and so \(x\in TB\). This implies that \(\beta ( x ) \geq1\).
Then the conditions (i) and (ii) of Theorem 1 hold. So there exist \(u,z\in A\cup B\) such that \(u=fz=Tz\). On the other hand, since T is one to one, there exist \(z_{1}\in A\), \(z_{2}\in B\) such that \(Tz_{1}=Tz_{2}=u\) implies \(z_{1}=z_{2}=z\). Therefore, \(u=Tz\) for \(z\in A\cap B\). If f and T are weakly compatible, following the proof of Theorem 1, we have \(u=fu=Tu\). The uniqueness of the common fixed point follows from (3.1). □
Similarly, we can prove the following theorem.
Theorem 4
Let A and B be two closed subsets of complete metric space \((X,d)\) such that \(A\cap B\neq\emptyset\) and \(f,T:A\cup B\rightarrow A\cup B\) be mappings such that \(fA\subseteq TB\) and \(fB\subseteq TA\). Assume that \(T(A\cup B)\) is a closed subset of X such that
for all \(x\in A\) and \(y\in B\), where φ is an altering distance function and \(\eta:[0,\infty)\rightarrow [0,\infty)\) is a nondecreasing function and continuous from the right with the condition \(\varphi(t)>\eta(t)\) for all \(t>0\).
-
(i)
If T is one to one then there exists \(z\in A\cap B\) such that \(fz=Tz\).
-
(ii)
If f and T are weakly compatible, then f and T have a unique common fixed point \(z\in A\cap B\).
4 Application to functional equations
The existence and uniqueness of solutions of functional equations and system of functional equations arising in dynamic programming have been studied by using different fixed point theorems (see [20–22]).
Throughout this section, we assume that U and V are Banach spaces, \(W\subseteq U\) is a state space, \(D\subseteq V\) is a decision space. Now, we apply our results in order to prove the existence and uniqueness of the common solution of the following functional equations:
and
where \(\tau:W\times D\rightarrow W\), \(p,q:W\times D\rightarrow \mathbb{R} \) and \(G,K:W\times D\times \mathbb{R} \rightarrow \mathbb{R} \). It is well known that equations of the type (4.1) and (4.2) provide useful tools for mathematical optimization, computer programming, and in dynamic programming (see [23, 24]).
Let \(B(W)\) denote the space of all bounded real-valued functions defined on the set W. Meanwhile, \(B(W)\) endowed with the sup metric \(d(h,k)=\sup_{x\in W}|hx-kx|\) for all \(h,k\in B(W)\) is a complete metric space.
We consider the operators \(f,T:B(W)\rightarrow B(W)\) given by
Suppose that the following conditions hold:
-
(A1)
For any \(h\in B(W)\), there exists \(k\in B(W)\) such that
$$ fh(x)=Tk(x),\quad x\in W. $$ -
(A2)
There exists \(h\in B(W)\) such that
$$ fh(x)=Th(x)\quad\mbox{implies}\quad Tfh(x)=fTh(x),\quad x\in W. $$ -
(A3)
\(p,q:W\times D\rightarrow \mathbb{R} \) and \(G,K:W\times D\times\ \mathbb{R} \rightarrow \mathbb{R} \) are bounded.
-
(A4)
\(\xi ( Th ) \geq0\) for some \(h\in B(W)\) implies \(\xi ( fh ) \geq0\).
-
(A5)
\(\vert G ( x,y,h ( x ) ) -G ( x,y,k ( x ) ) \vert \leq\ln ( 1+M ( h,k ) ) \) where \(h,k\in B(W)\), \(\xi ( Th ) \geq 0\), and \(\xi ( Tk ) \geq0\), \(( x,y ) \in W\times D\), \(t\in W\) and
$$\begin{aligned} M ( h,k ) =&\max\biggl\{ d \bigl( Th ( t ) ,Tk ( t ) \bigr) ,d \bigl( Th ( t ) ,fh ( t ) \bigr) ,d \bigl( Tk ( t ) ,fk ( t ) \bigr) ,\\ &{}\frac{1}{2} \bigl[ d \bigl( Th ( t ) ,fk ( t ) \bigr) +d \bigl( Tk ( t ) ,fh ( t ) \bigr) \bigr] \biggr\} . \end{aligned}$$ -
(A6)
If \(\{ h_{n} \} \) is a sequence in \(B(W)\) such that \(\xi ( h_{n} ) \geq0\) for all \(n\in \mathbb{N} \cup \{ 0 \} \) and \(h_{n}\rightarrow h^{\ast}\) as \(n\rightarrow \infty\), then \(\xi ( h^{\ast} ) \geq0\).
-
(A7)
There exists \(h_{0}\in B(W)\) such that \(\xi ( Th_{0} ) \geq0\).
Theorem 5
Assume that conditions (A1)-(A7) are satisfied and \(T(B(W))\) is a closed and bounded subspace of \(B(W)\). Then the functional equations (4.1) and (4.2) have a unique common bounded solution in W.
Proof
Let λ be an arbitrary positive number and \(x\in h_{1}\), \(h_{2}\in B(W)\) such that \(\xi ( Th_{1} ) \geq0\) and \(\xi ( Th_{2} ) \geq0\). Then there exist \(y_{1},y_{2}\in D\) such that
Next, by using (4.3) and (4.6), we have
Analogously, by using (4.4) and (4.5), we obtain
Therefore, from (4.7) and (4.8), we deduce
or, equivalently,
Since \(\lambda>0\) is arbitrary, we get
Now, define \(\alpha,\beta:B(W)\rightarrow [0,\infty)\) by
Also, define \(\varphi,\eta:[0,\infty)\rightarrow [0,\infty)\) by \(\varphi ( t ) =t\) and \(\eta ( t ) =\ln ( 1+t ) \). Therefore, using the last inequality, we have
One easily shows that all the hypotheses of Corollary 1 are satisfied. Therefore f and T have a unique common fixed point, that is, the functional equations (4.1) and (4.2) have a unique bounded common solution. □
Now, we give the following condition to use in the next theorem:
- (A5′):
-
\(\vert G ( x,y,h ( x ) ) -G ( x,y,k ( x ) ) \vert \leq\ln ( 1+N ( h,k ) ) \) where \(h,k\in B(W)\), \(\xi ( Th ) \geq0\), and \(\xi ( Tk ) \geq0\); and \(( x,y ) \in W\times D\), \(t\in W\) and
$$\begin{aligned} N ( h,k ) =&\max\biggl\{ d \bigl( Th ( t ) ,Tk ( t ) \bigr) ,\frac{1}{2}d \bigl( Th ( t ) ,fk ( t ) \bigr) ,d \bigl( Tk ( t ) ,fh ( t ) \bigr) ,\\ &{}\frac{ [ 1+d ( Th ( t ) ,fh ( t ) ) ] d ( Tk ( t ) ,fk ( t ) ) }{1+d ( Th ( t ) ,Tk ( t ) ) }\biggr\} . \end{aligned}$$
Theorem 6
Let all the conditions of Theorem 5 be fulfilled. If we write the condition (A5′) instead of the condition (A5) in Theorem 5, then functional equations (4.1) and (4.2) have a unique common bounded solution in W.
Proof
Following similar arguments to the proof of Theorem 5, one can easily show that all the hypotheses of Corollary 5 hold. Then the functional equations (4.1) and (4.2) have a unique bounded common solution. □
References
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922)
Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30(1), 1-9 (1984)
Alber, YI, Guerre-Delabriere, S: Principles of weakly contractive maps in Hilbert spaces. Oper. Theory, Adv. Appl. 98, 7-22 (1997)
Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47(4), 2683-2693 (2001)
Dutta, PN, Choudhury, BS: A generalization of contraction principle in metric spaces. Fixed Point Theory Appl. 2008, 406368 (2008)
Yan, F, Su, Y, Feng, Q: A new contraction mapping principle in partially ordered metric spaces and applications to ordinary differential equations. Fixed Point Theory Appl. 2012, 152 (2012)
Samet, B, Vetro, C, Vetro, P: Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal. 75, 2154-2165 (2012)
La Rosa, V, Vetro, P: Common fixed points for α-ψ-φ-contractions in generalized metric spaces. Nonlinear Anal., Model. Control 19(1), 43-54 (2014)
Kumam, P, Vetro, C, Vetro, F: Fixed points for weak α-ψ-contractions in partial metric spaces. Abstr. Appl. Anal. 2013, 986028 (2013)
Cho, SH, Bae, JS: Fixed points of weak α-contraction type maps. Fixed Point Theory Appl. 2014, 175 (2014)
Salimi, P, Vetro, C, Vetro, P: Fixed point theorems for twisted \((\alpha ,\beta )\)-ψ-contractive type mappings and applications. Filomat 27(4), 605-615 (2013)
Alizadeh, S, Moradlou, F, Salimi, P: Some fixed point results for \((\alpha ,\beta )\)-\((\psi ,\varphi )\)-contractive mappings. Filomat 28(3), 635-647 (2014)
Moradlou, F, Salimi, P, Vetro, P: Fixed point results for r-\((\eta ,\xi ,\psi )\)-contractive mappings of type (I), (II) and (III). Filomat 27(2), 403-410 (2013)
Su, Y: Contraction mapping principle with generalized altering distance function in ordered metric spaces and applications to ordinary differential equations. Fixed Point Theory Appl. 2014, 227 (2014)
Jungck, G, Rhoades, BE: Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math. 29, 227-238 (1998)
Kirk, WA, Srinavasan, PS, Veeramani, P: Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory 4, 79-89 (2003)
Pacurar, M, Rus, IA: Fixed point theory for cyclic ϕ-contractions. Nonlinear Anal. 72, 1181-1187 (2010)
Agarwal, RP, Alghamdi, MA, Shahzad, N: Fixed point theory for cyclic generalized contractions in partial metric spaces. Fixed Point Theory Appl. 2012, 40 (2012)
Karapınar, E, Shobkolaei, N, Sedghi, S, Vaezpour, SM: A common fixed point theorem for cyclic operators on partial metric spaces. Filomat 26(2), 407-414 (2012)
Abbas, M, Ali, B, Vetro, C: A Suzuki type fixed point theorem for a generalized multivalued mapping on partial Hausdorff metric spaces. Topol. Appl. 160(3), 553-563 (2013)
Imdad, M, Chauhan, S, Kadelburg, Z, Vetro, C: Fixed point theorems for non-self mappings in symmetric spaces under phi-weak contractive conditions and an application to functional equations in dynamic programming. Appl. Math. Comput. 227, 469-479 (2014)
Aydi, H, Abbas, M, Vetro, C: Common fixed points for multivalued generalized contractions on partial metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 108(2), 483-501 (2014)
Bellman, R, Lee, ES: Functional equations in dynamic programming. Aequ. Math. 17, 1-18 (1978)
Bhakta, TC, Mitra, S: Some existence theorems for functional equations arising in dynamic programming. J. Math. Anal. Appl. 98, 348-362 (1984)
Acknowledgements
The second author would like to extend his sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding of this Prolific Research Group Project No. PRG-1436-10.
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 to the writing of this paper. 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
Isik, H., Samet, B. & Vetro, C. Cyclic admissible contraction and applications to functional equations in dynamic programming. Fixed Point Theory Appl 2015, 163 (2015). https://doi.org/10.1186/s13663-015-0410-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0410-6