 Research
 Open Access
 Published:
The \((\alpha, \beta)\)generalized convex contractive condition with approximate fixed point results and some consequence
Fixed Point Theory and Applications volume 2016, Article number: 58 (2016)
Abstract
The aim of this work is to introduce some new notions of generalized convex contraction mappings and establish some approximate fixed point theorems for such mappings in the setting of complete metric spaces. Examples and application to approximate fixed point results for cyclic mappings are also given in order to illustrate the effectiveness of the obtained results.
Introduction
It is well known that fixed point theory is one of the important tools for solving various problems in nonlinear analysis and various fields of applied mathematical analysis. The Banach contraction mapping principle presented by Banach [1] in his thesis is one of the cornerstones in the development of fixed point theory. This principle has been used to solve several problems such as the existence and uniqueness problems for a solution of nonlinear integral equations and nonlinear differential equations. Furthermore, it can be applied to the convergence theorem for solving some problems in computational mathematics. Hence, a large number of researchers have focused on the development of this topic. For instant, one of an interesting directions is the extension of fixed point results to approximate fixed point results. Indeed, in various practical situations, some conditions in the fixed point results are too strong and thus the existence of a fixed point is not guaranteed. In this case, one can consider points close to fixed points, which we call approximate fixed points.
On the other hand, the concept of convex contractions was introduced by Istratescu [2] in 1982. He also proved that each convex contraction self mapping on a complete metric space has a unique fixed point. Recently, Miandaragh et al. [3, 4] introduced two more general concepts of convex contractions, which are called generalized convex contractions and generalized convex contractions of order 2 and they also discussed some approximate fixed point results for such mappings.
The purpose of this paper is to formulate the concepts of generalized convex contractions and generalized convex contractions of order 2 in general terms and prove the existence results of approximate fixed points for these mappings on a complete metric space by using the idea of cyclic \((\alpha, \beta)\)admissible mappings due to Alizadeh et al. [5]. We furnish an illustrative example to demonstrate the validity of the hypotheses and the degree of utility of our results. Our result extends, unifies, and generalizes various wellknown fixed point and approximate fixed point results such as the Banach contraction mapping principle [1], Kannan’s fixed point results [6], fixed point and approximate fixed point results for convex contraction mappings due to Istratescu [2], and many results in the literature. As a consequence of the presented results, the approximate fixed point results for cyclic mappings are also given in order to illustrate the effectiveness of the obtained results.
Preliminaries
In this section, we give some definitions, examples, and remarks which are useful for the main results in this paper. Throughout this paper, \(\mathbb{Z}^{+}\) denotes the set of positive integers and \(\mathbb{R}\) denotes the set of real numbers.
Definition 2.1
([7])
Let \((X,d)\) be a metric space, \(T:X \rightarrow X\) be a mapping and \(\varepsilon>0\) be a given real number. A point \(x_{0} \in X\) is said to be an εfixed point (approximate fixed point) of T if
Remark 2.2
We observe that a fixed point is an εfixed point, where ε is an arbitrary positive real number. However, the converse is not true.
For a metric space \((X,d)\) and a given \(\varepsilon>0\), the set of all εfixed points of a mapping \(T:X\rightarrow X\) is denoted by
Definition 2.3
([8])
Let \((X,d)\) be a metric space and \(T:X \rightarrow X\) be a mapping. We say that T has the approximate fixed point property if for all \(\varepsilon>0\), there exists an εfixed point of T, that is,
or, equivalently,
Example 2.4
Let \(X=(0,1) \backslash \{\frac{\ln(2)}{2} \}\) and a metric d on X be defined by \(d(x,y)=xy\) for all \(x,y\in X\). Define a mapping \(T : X \rightarrow X\) by \(Tx = \frac{x}{2}e^{2x}\) for all \(x\in X\). Then T does not have a fixed point but T has the approximate fixed point property. Indeed,
For instance, for \(\varepsilon=2\) there is \(x_{0} = 0.75\) such that
(see Figure 1).
Example 2.5
Let \(X=(0,1)\) and a metric d on X be defined by \(d(x,y)=xy\) for all \(x,y\in X\). Define a mapping \(T : X \rightarrow X\) by \(Tx = x^{2}\sin(x^{2})\) for all \(x\in X\). Then T does not have a fixed point but T has the approximate fixed point property. Indeed,
For instance, for \(\varepsilon=1\) there is \(x_{0} = 0.5\) such that
(see Figure 2).
In 1996, Browder and Petryshyn [9] defined the following notions.
Definition 2.6
([9])
A self mapping T on a metric space \((X, d)\) is said to be asymptotically regular at a point \(x \in X\) if
where \(T^{n}x\) denotes the nth iterate of T at x.
It is not hard to prove the following results.
Lemma 2.7
Let \((X,d)\) be a metric space and \(T:X \rightarrow X\) be an asymptotically regular at some point \(z\in X\). Then T has the approximate fixed point property.
In 2014, Alizadeh et al. [5] introduced the notions of cyclic \((\alpha, \beta)\)admissible mappings as follows.
Definition 2.8
Let X be a nonempty set and \(\alpha, \beta: X \rightarrow[0,\infty )\) be two given functions. A mapping \(T : X \rightarrow X\) is said to be a cyclic \((\alpha ,\beta)\) admissible mapping if the following conditions hold:

(i)
\(\alpha(x) \geq1\) for some \(x \in X\) implies \(\beta(Tx) \geq1\);

(ii)
\(\beta(y) \geq1\) for some \(y \in X\) implies \(\alpha(Ty) \geq1\).
Example 2.9
Let \(T : \mathbb{R} \rightarrow \mathbb{R}\) be defined by
Assume that \(\alpha, \beta: \mathbb{R} \rightarrow[0,\infty)\) are defined by
and
If \(\alpha(x) = e^{x} \geq1\), then \(x \geq0\), which implies \(Tx \leq0\). Therefore, \(\beta(Tx) = e^{Tx} \geq1\). Also, if \(\beta(y) = e^{y} \geq1\), then \(y \leq0\), which implies \(Ty \geq0\). So, \(\alpha(Ty) = e^{Ty} \geq1\). Then T is a cyclic \((\alpha,\beta)\)admissible mapping.
Main results
In this section, we introduce the concepts of \((\alpha, \beta )\)generalized convex contraction and \((\alpha, \beta)\)generalized convex contraction of order 2 and prove the approximate fixed point theorems for such mappings.
Definition 3.1
Let \((X, d)\) be a metric space. The mapping \(T:X \rightarrow X\) is called an \((\alpha, \beta )\) generalized convex contraction if there exist mappings \(\alpha, \beta: X \rightarrow[0,\infty)\) and \(a,b \in[0,\infty)\) with \(a+b<1\), satisfying the following condition:
Now, we establish a new approximate fixed point theorem for \((\alpha, \beta)\)generalized convex contraction mappings in complete metric spaces.
Theorem 3.2
Let \((X,d)\) be a metric space and \(T : X \rightarrow X\) be an \((\alpha , \beta)\)generalized convex contraction mapping. Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0}) \geq1\) and \(\beta(x_{0}) \geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Proof
First of all, let \(x_{0}\in X\) such that \(\alpha(x_{0}) \geq1\) and \(\beta (x_{0}) \geq1\). Define the sequence \(\{x_{n}\}\) in X by \(x_{n+1}=T^{n+1}x_{0}\) for all \(n \in\mathbb{Z}^{+}\cup\{0\}\). If \(x_{n'}=x_{n'+1}\) for some \(n' \in\mathbb{Z}^{+}\cup\{0\}\), then \(x_{n'}\) is a fixed point of T. So, we assume that \(x_{n}\neq x_{n+1}\) for all \(n \in\mathbb{Z}^{+} \cup \{0\}\). By the definition of a cyclic \((\alpha,\beta)\)admissible mapping, we have
Therefore, \(\alpha(x_{n}) \geq1\) and \(\beta(x_{n}) \geq1\) for all \(n \in\mathbb{Z}^{+} \cup\{0\}\). Let us denote
and
Since \(\alpha(x_{0})\beta(x_{1}) \geq1\), we get
Also, since \(\alpha(x_{1})\beta(x_{2}) \geq1\), we get
By continuing this process, we get
Thus it follows that \(d(T^{m}x_{0},T^{m+1}x_{0})\rightarrow0\) as \(m \rightarrow\infty\). So, T is an asymptotically regular at a point \(x_{0}\in X\). By using Lemma 2.7, we see that T has the approximate fixed point property.
Next, we will show that T has a fixed point provided that \((X,d)\) is a complete metric space and T is continuous. Now, we will prove that \(\{x_{n}\}\) is a Cauchy sequence in X. Without loss of generality, we may assume that \(m,n \in\mathbb{Z}^{+}\) such that \(n>m>1\). We distinguish two cases as follows.
Case 1: Let m be an even number. That is, \(m=2l\), where \(l\in\mathbb{Z}^{+}\). Therefore,
Case 2: Let m be an odd number. That is, \(m=2l+1\), where \(l\in\mathbb{Z}^{+}\). Therefore,
It follows that
Therefore, \(d(T^{m}x_{0},T^{n}x_{0}) \rightarrow0\) as \(m,n\rightarrow\infty\), that is, \(\{x_{n}\}\) is a Cauchy sequence in X. By using the completeness of X, there exists \(x^{*}\in X\) such that \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow\infty\). Since T is continuous, we obtain
and thus T has a fixed point. This completes the proof. □
Next we give an example to illustrate the usability of Theorem 3.2.
Example 3.3
Let \(X=[1,\infty)\) and \(d:X \times X \rightarrow\mathbb{R}\) be defined by \(d(x,y)=xy\) for all \(x,y\in X\). Define \(T:X \rightarrow X\) and \(\alpha, \beta: X \rightarrow[0,\infty )\) by
and
It is easy to see that \((X,d)\) is a complete metric space and T is continuous.
Now, we show that Theorem 3.2 can guarantee the existence of fixed point of T. First of all, we will show that T is an \((\alpha, \beta )\)generalized convex contraction mapping with \(a=\frac{2}{3}\) and \(b=\frac{1}{9}\).
For \(x,y \in X\) with \(\alpha(x)\beta(y) \geq1\), we have \(x,y \in [1,2]\) and thus
This shows that T is an \((\alpha, \beta)\)generalized convex contraction mapping with \(a=\frac{2}{3}\) and \(b=\frac{1}{9}\). Clearly, T is a cyclic \((\alpha,\beta)\)admissible mapping. It is easy to see that there is \(x_{0} = 1 \in X\) such that
By using Theorem 3.2, we see that T has a fixed point in X.
Corollary 3.4
Let \((X,d)\) be a metric space, \(\alpha,\beta: X \rightarrow[0,\infty )\) be two mappings and \(T:X\rightarrow X\) be a mapping such that
for all \(x,y \in X\), where \(a,b \in[0,1)\) with \(a+b<1\). Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0}) \geq1\) and \(\beta (x_{0})\geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Proof
We will show that T is an \((\alpha,\beta)\)generalized convex contraction mapping. Suppose that \(x,y \in X\) with \(\alpha(x)\beta(y) \geq1\) and then
This implies that T is an \((\alpha,\beta)\)generalized convex contraction mapping. By Theorem 3.2, we get the desired result. □
Corollary 3.5
Let \((X,d)\) be a metric space, \(\alpha,\beta: X \rightarrow[0,\infty )\) be two mappings and \(T:X\rightarrow X\) be a mapping such that
for all \(x,y \in X\), where \(a,b \in[0,1)\) with \(a+b<1\) and \(\tau\geq1\). Assume that T is an \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0})\geq1\) and \(\beta(Tx_{0})\geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Proof
We will show that T is an \((\alpha,\beta)\)generalized convex contraction mapping. Suppose that \(x,y \in X\) with \(\alpha(x)\beta(y) \geq1\) and hence
This implies that
that is, T is an \((\alpha,\beta)\)generalized convex contraction mapping. By Theorem 3.2, we get the desired result. □
Corollary 3.6
Let \((X,d)\) be a metric space, \(\alpha,\beta: X \rightarrow[0,\infty )\) be two mappings and \(T:X\rightarrow X\) be a mapping such that
for all \(x,y \in X\), where \(a,b \in[0,1)\) with \(a+b<1\) and \(\tau>1\). Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0})\beta(Tx_{0})\geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Proof
We will show that T is an \((\alpha,\beta)\)generalized convex contraction mapping. Suppose that \(x,y \in X\) with \(\alpha(x)\beta(y) \geq1\) and hence
This implies that
that is, T is an \((\alpha,\beta)\)generalized convex contraction mapping. By Theorem 3.2, we get the desired result. □
We observe that the Banach contractive condition due to Banach [1] implies the contractive condition (3.1) whenever \(\alpha,\beta:X \rightarrow[0,\infty)\) defined by \(\alpha(x) = \beta(x) = 1\) for all \(x\in X\). From the previous observation, we get the following result.
Corollary 3.7
Let \((X,d)\) be a metric space and \(T : X \rightarrow X\) be a Banach contraction mapping, i.e., there exists \(k \in[0,1)\) such that
for all \(x,y \in X\). Then T has the approximate fixed point property. Moreover, if \((X,d)\) is a complete metric space, then T has a fixed point.
Next, we introduce the concept of an \((\alpha, \beta)\)generalized convex contraction of order 2 and also establish a new approximate fixed point theorem for such mappings in complete metric spaces.
Definition 3.8
Let \((X, d)\) be a metric space. The mapping \(T:X \rightarrow X\) is called an \((\alpha, \beta )\) generalized convex contraction of order 2 if there exist mappings \(\alpha, \beta: X \rightarrow[0,\infty)\) and \(a_{1},a_{2},b_{1},b_{2}\in[0,1)\) with \(a_{1}+a_{2}+b_{1}+b_{2}<1\), satisfying the following condition:
Theorem 3.9
Let \((X,d)\) be a metric space and \(T : X \rightarrow X\) be an \((\alpha , \beta)\)generalized convex contraction mapping of order 2. Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0}) \geq1\) and \(\beta(x_{0}) \geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Proof
First of all, let \(x_{0}\in X\) such that \(\alpha(x_{0}) \geq1\) and \(\beta (x_{0}) \geq1\). Define the sequence \(\{x_{n}\}\) in X by \(x_{n+1}=T^{n+1}x_{0}\) for all \(n \in\mathbb{Z}^{+} \cup\{0\}\). If \(x_{n'}=x_{n'+1}\) for some \(n' \in\mathbb{Z}^{+}\cup\{0\}\), then \(x_{n'}\) is a fixed point of T. So, we may assume that \(x_{n}\neq x_{n+1}\) for all \(n \in\mathbb{Z}^{+} \cup\{0\}\). It follows from T being a cyclic \((\alpha,\beta)\)admissible mapping that
Therefore, \(\alpha(x_{n}) \geq1\) and \(\beta(x_{n}) \geq1\) for all \(n \in\mathbb{Z}^{+} \cup\{0\}\). Let us denote
and
Since \(\alpha(x_{0})\beta(x_{1}) \geq1\), we get
This implies that \(d(T^{2}x_{0},T^{3}x_{0})\leq\frac{\epsilon}{\delta}w\). Also, since \(\alpha(x_{1})\beta(x_{2}) \geq1\), we get
It means that \(d(T^{3}x_{0},T^{4}x_{0})\leq\frac{\epsilon}{\delta}w\). By continuing this process, we get
This follows that \(d(T^{m}x_{0},T^{m+1}x_{0}) \rightarrow0\) as \(m \rightarrow\infty\) and thus T is an asymptotically regular at a point \(x_{0}\in X\). By using Lemma 2.7, we see that T has the approximate fixed point property.
Next, we show that T has a fixed point provided that \((X,d)\) is a complete metric space and T is continuous. First, we will claim that \(\{x_{n}\}\) is a Cauchy sequence in X. Let \(m,n \in\mathbb{Z}^{+}\) such that \(n>m>1\). Now, we distinguish the following cases.
Case 1: m is even number such that \(m=2l\), where \(l\in \mathbb{Z}^{+}\). Therefore,
Case 2: m is odd number such that \(m=2l+1\), where \(l\in \mathbb{Z}^{+}\). Therefore,
Therefore, we can conclude that
This implies that \(\{x_{n}\}\) is a Cauchy sequence in X. By the completeness of X, there exists \(x^{*}\in X\) such that \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow\infty\). As follows from T being continuous, we get \(x_{n+1}=Tx_{n}\rightarrow Tx^{*}\) as \(n \rightarrow\infty\). By the uniqueness of the limit \(\{x_{n}\}\), we obtain \(Tx^{*}=x^{*}\) and thus T has a fixed point. This completes the proof. □
Corollary 3.10
Let \((X,d)\) be a metric space, \(\alpha,\beta: X \rightarrow[0,\infty )\) be two mappings and \(T:X\rightarrow X\) be a mapping such that
for all \(x,y \in X\), where \(a_{1},a_{2},b_{1},b_{2}\in[0,1)\) with \(a_{1}+a_{2}+b_{1}+b_{2}<1\). Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0})\geq1 \) and \(\beta(x_{0}) \geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Corollary 3.11
Let \((X,d)\) be a metric space, \(\alpha,\beta: X \rightarrow[0,\infty )\) be two mappings and \(T:X\rightarrow X\) be a mapping such that
for all \(x,y \in X\), where \(a_{1},a_{2},b_{1},b_{2}\in[0,1)\) with \(a_{1}+a_{2}+b_{1}+b_{2}<1\) and \(\tau\geq1\). Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0}\in X\) such that \(\alpha(x_{0}) \geq1\) and \(\beta (x_{0}) \geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Corollary 3.12
Let \((X,d)\) be a metric space, \(\alpha,\beta: X \rightarrow[0,\infty )\) be two mappings and \(T:X\rightarrow X\) be a mapping such that
for all \(x,y \in X\), where \(a_{1},a_{2},b_{1},b_{2}\in[0,1)\) with \(a_{1}+a_{2}+b_{1}+b_{2}<1\) and \(\tau>1\). Assume that T is a cyclic \((\alpha,\beta)\)admissible mapping and there exists \(x_{0} \in X\) such that \(\alpha(x_{0})\geq1\) and \(\beta(x_{0}) \geq1\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
The following result is a special case of Theorem 3.9 because the Kannan contractive condition due to Kannan [6] implies the contractive condition (3.7) if \(\alpha,\beta:X \rightarrow[0,\infty)\) defined by \(\alpha(x) = \beta (x) = 1\) for all \(x\in X\).
Corollary 3.13
Let \((X,d)\) be a metric space and \(T : X \rightarrow X\) be a Kannan contraction mapping, i.e., there exists \(k \in[0,1/2)\) such that
for all \(x,y \in X\). Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point.
Corollaries 3.7 and 3.13, are interesting for defining the concepts of other classes of nonlinear mappings which are generalizations of several wellknown mappings due to Chatterjea [10], Ćirić [11], Geraghty [12], Meir and Keeler [13], Mizoguchi and Takahashi [14], Suzuki [15], etc.
Some cyclic contractions via cyclic \((\alpha,\beta )\)admissible mappings
In this section, we introduce the concept of cyclic generalized convex contraction mappings and prove some approximate fixed point results for such mappings in complete metric spaces.
Definition 4.1
Let A and B be two nonempty closed subsets of a metric space \((X,d)\). The mapping \(T : A \cup B \rightarrow A \cup B\) is called a cyclic generalized convex contraction if the following conditions hold:

(i)
\(T(A) \subseteq B\) and \(T(B) \subseteq A\),

(ii)
there exist \(a,b \in[0,\infty)\) with \(a+b<1\), satisfying the following condition:
$$\begin{aligned} d \bigl(T^{2}x,T^{2}y \bigr)\leq ad(Tx,Ty)+bd(x,y) \end{aligned}$$(4.1)for all \(x \in A\), \(y \in B\).
Example 4.2
Let \(X=\mathbb{R}\) and \(d:X \times X \rightarrow\mathbb{R}\) be defined by \(d(x,y)=xy\) for all \(x,y \in X\). Define \(A =[1,0]\), \(B=[0,1]\), and \(T: A \cup B \rightarrow A \cup B\) by \(Tx = \frac{x}{2}\). We will show that the mapping T is a cyclic generalized convex contraction with \(a=\frac{2}{7}\) and \(b=\frac{1}{3}\). Assume that \(x \in A\) and \(y \in B\). Then we have
Therefore, T is a cyclic generalized convex contraction mapping with \(a=\frac{2}{7}\) and \(b=\frac{1}{3}\).
Now, we establish approximate fixed point theorems for cyclic generalized convex contraction mappings as follows.
Theorem 4.3
Let A and B be two nonempty closed subsets of a metric space \((X,d)\) such that \(A \cap B \neq\emptyset\) and \(T : A \cup B \rightarrow A \cup B\) be a cyclic generalized convex contraction mapping. Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point in \(A \cap B\).
Proof
Define two mappings \(\alpha,\beta: X \rightarrow[0,\infty)\) by
and
Next, we will show that T is an \((\alpha,\beta)\)generalized convex contraction mapping. Assume that \(x,y \in A \cup B\) such that \(\alpha(x)\beta(y) \geq1\) and then \(x \in A\) and \(y \in B\). Therefore, we have
and so the contractive condition (3.1) holds.
Now we will claim that T is a cyclic \((\alpha,\beta)\)admissible mapping. Assume that \(\alpha(x) \geq1\) for some \(x \in X\) and then \(x \in A\). By condition (i) in Definition 4.1, we get \(Tx \in B\) and so \(\beta(Tx) \geq1\). On the other hand, we may assume that \(\beta(y) \geq1\) for some \(y \in X\) and so \(y \in B\). Again, by using the condition (i) in Definition 4.1, we get \(Tx \in A\) and then \(\alpha(Tx) \geq1\). Therefore T is a cyclic \((\alpha,\beta)\)admissible mapping. Since \(A \cap B\) is nonempty, there exists \(x_{0} \in A \cap B\) such that \(\alpha(x_{0}) \geq1\) and \(\beta(x_{0}) \geq1\). From Theorem 3.2, we can conclude that T has the approximate fixed point property.
Finally, we will show that T has a fixed point provided that T is continuous and \((X,d)\) is a complete metric space. Since A and B are two closed subsets of complete metric space \((X,d)\), we see that \(A \cup B\) is also a complete metric space. From Theorem 3.2, we see that T has a fixed point in \(A \cup B\), say z. If \(z \in A\), then we have \(z=Tz \in B\). Also, if \(z \in B\), we have \(z=Tz \in A\). Therefore, \(z \in A \cap B\). This completes the proof. □
Next, we introduce the concept of cyclic generalized convex contraction mappings of order 2 and establish the approximate fixed point theorem for such mappings in complete metric spaces.
Definition 4.4
Let A and B be two closed subsets of a metric space \((X,d)\). The mapping \(T : A \cup B \rightarrow A \cup B\) is called a cyclic generalized convex contraction of order 2 if the following conditions hold:

(i)
\(T(A) \subseteq B\) and \(T(B) \subseteq A\),

(ii)
there exist \(a_{1},a_{2},b_{1},b_{2}\in[0,1)\) with \(a_{1}+a_{2}+b_{1}+b_{2}<1\), satisfying the following condition:
$$\begin{aligned} d \bigl(T^{2}x,T^{2}y \bigr)\leq a_{1}d(x,Tx)+a_{2}d \bigl(Tx,T^{2}x \bigr)+b_{1}d(y,Ty)+b_{2}d \bigl(Ty,T^{2}y \bigr) \end{aligned}$$(4.2)for all \(x \in A\), \(y \in B\).
By a similar technique to the proof of Theorem 4.3, we get the following result.
Theorem 4.5
Let A and B be two nonempty closed subsets of a metric space \((X,d)\) such that \(A \cap B \neq\emptyset\) and \(T : A \cup B \rightarrow A \cup B\) be a cyclic generalized convex contraction mapping of order 2. Then T has the approximate fixed point property. Moreover, if T is continuous and \((X,d)\) is a complete metric space, then T has a fixed point in \(A \cap B\).
References
 1.
Banach, S: Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales. Fundam. Math. 3, 133181 (1922)
 2.
Istratescu, VI: Some fixed point theorems for convex contraction mappings and mappings with convex diminishing diameters, I. Ann. Mat. Pura Appl. 130(4), 89104 (1982)
 3.
Miandaragh, MA, Postolache, M, Rezapour, S: Approximate fixed points of generalized convex contractions. Fixed Point Theory Appl. 2013, 255 (2013)
 4.
Miandaragh, MA, Postolache, M, Rezapour, S: Some approximate fixed point results for generalized αcontractive mappings. Sci. Bull. ‘Politeh.’ Univ. Buchar., Ser. A, Appl. Math. Phys. 75(2), 310 (2013)
 5.
Alizadeh, S, Moradloub, F, Salimic, P: Some fixed point results for \((\alpha, \beta),(\psi,\phi)\)contractive mappings. Filomat 28(3), 635647 (2014)
 6.
Kannan, R: Some results on fixed points II. Am. Math. Mon. 76, 405408 (1969)
 7.
Reich, S: Approximate selections, best approximations, fixed points, and invariant sets. J. Math. Anal. Appl. 62, 104113 (1978)
 8.
Kohlenbach, U, Leustean, L: The approximate fixed point property in product spaces. Nonlinear Anal. 66, 806818 (2007)
 9.
Browder, FE, Petrysyn, WV: The solution by iteration of nonlinear functional equation in Banach spaces. Bull. Am. Math. Soc. 72, 571576 (1966)
 10.
Chatterjea, SK: Fixed point theorems. C. R. Acad. Bulgare Sci. 25, 727730 (1972)
 11.
Ćirić, LB: A generalization of Banach principle. Proc. Am. Math. Soc. 45, 267273 (1974)
 12.
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604608 (1973)
 13.
Meir, A, Keeler, E: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326329 (1969)
 14.
Mizoguchi, N, Takahashi, W: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 141, 177188 (1989)
 15.
Suzuki, T: A generalized Banach contraction principle that characterizes metric completeness. Proc. Am. Math. Soc. 136, 18611869 (2008)
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The authors, therefore, acknowledge with thanks DSR for the technical and financial support. The third author would like to thank the Thailand Research Fund and Thammasat University under Grant No. TRG5780013 for financial support during the preparation of this manuscript.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing 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
Received
Accepted
Published
DOI
MSC
 47H09
 47H10
Keywords
 approximate fixed point
 contraction mapping
 \((\alpha,\beta)\)generalized convex contraction mapping
 cyclic generalized convex contraction mappings