# Approximate fixed points of generalized convex contractions

- Mehdi Amir Miandaragh
^{1}, - Mihai Postolache
^{2}Email author and - Shahram Rezapour
^{1}

**2013**:255

https://doi.org/10.1186/1687-1812-2013-255

© Miandaragh et al.; licensee Springer. 2013

**Received: **12 July 2013

**Accepted: **16 October 2013

**Published: **7 November 2013

## Abstract

In this paper, we introduce the concept of generalized convex contractions and give some results about approximate fixed points of the contractions on metric spaces. By providing some examples, we show that our results are real generalization of the main results of Ghorbanian *et al.* (Comput. Math. Appl. 63:1361-1368, 2012) and Istratescu (I. Ann. Mat. Pura Appl. 130(4):89-104, 1982).

## Keywords

## 1 Introduction

Istratescu [1] introduced the notion of convex contraction. He proved that each convex contraction has a unique fixed point on a complete metric space, see also [2]. Recently Ghorbanian, Rezapour and Shahzad generalized his results to complete ordered metric spaces, [3]. In recent years, there have appeared some works on approximate fixed point results (see, for example, [4–8] and the references therein). In this paper, by considering the key work [9] and using the main idea of [10], we introduce the concept of generalized convex contractions and generalize the main results of [3] and [1].

## 2 Preliminaries

Let $(X,d)$ be a metric space, *T* be a selfmap on *X* and $\alpha :X\times X\to [0,\mathrm{\infty})$ be a mapping.

In accordance with [10], we say that *T* is *α*-*admissible* whenever $\alpha (x,y)\ge 1$ implies $\alpha (Tx,Ty)\ge 1$. Also, we say that *X* *has the property* (H) whenever for each $x,y\in X$, there exists $z\in X$ such that $\alpha (x,z)\ge 1$ and $\alpha (y,z)\ge 1$; also see [11].

*T*on

*X*is called a

*generalized convex contraction*whenever there exist a mapping $\alpha :X\times X\to [0,\mathrm{\infty})$ and $a,b\in [0,1)$, with $a+b<1$, such that

for all $x,y\in X$.

*α*is the based mapping. Also, we say that the selfmap

*T*on

*X*is a

*generalized convex contraction of order*2 whenever there exist a mapping $\alpha :X\times X\to [0,\mathrm{\infty})$ and ${a}_{1},{a}_{2},{b}_{1},{b}_{2}\in [0,1)$ with ${a}_{1}+{a}_{2}+{b}_{1}+{b}_{2}<1$ such that

for all $x,y\in X$. Other useful references: [12–15].

Let $\epsilon >0$ be given. ${x}_{0}\in X$ is an *ε*-*fixed point* of the selfmap *T* on *X* whenever $d({x}_{0},T{x}_{0})<\epsilon $, see [16]. Denote the set of all *ε*-fixed points of *T* by ${F}_{\epsilon}(T)$. We say that *T* has an *approximate fixed point* (or *T* has the approximate fixed point property) whenever *T* has an *ε*-fixed point for all $\epsilon >0$, see [17]. It is known that there are selfmaps which have approximate fixed points while have no fixed points.

We need the following result in our main results.

**Lemma 2.1** ([18])

*Let* $(X,d)$ *be a metric space and* *T* *be an asymptotic regular selfmap on* *X*, *that is*, $d({T}^{n}(x),{T}^{n+1}(x))\to 0$ *for all* $x\in X$. *Then* *T* *has the approximate fixed point property*.

## 3 The main results

Now, we are ready to state and prove our main results.

**Theorem 3.1** *Let* $(X,d)$ *be a metric space and* *T* *be a generalized convex contraction on* *X* *with the based mapping* *α*. *Suppose that* *T* *is* *α*-*admissible and there exists* ${x}_{0}\in X$ *such that* $\alpha ({x}_{0},T{x}_{0})\ge 1$.

*Then* *T* *has an approximate fixed point*.

*Moreover*, *T* *has a fixed point whenever* *T* *is continuous and* $(X,d)$ *is a complete metric space*, *and also* *T* *has a unique fixed point whenever* *X* *has the property* (H).

*Proof* Let ${x}_{0}\in X$ be such that $\alpha ({x}_{0},T{x}_{0})\ge 1$. Define the sequence $\{{x}_{n}\}$ by ${x}_{n+1}={T}^{n+1}{x}_{0}$ for all $n\ge 0$.

If ${x}_{n}={x}_{n+1}$ for some *n*, then we have nothing to prove.

*T*is

*α*-admissible, it is easy to check that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all

*n*. Let $v=d(T{x}_{0},{T}^{2}{x}_{0})+d({x}_{0},T{x}_{0})$ and $\lambda =a+b$. Then $d(T{x}_{0},{T}^{2}{x}_{0})\le v$. Now, put $x=T{x}_{0}$ and $y={x}_{0}$. Then

By continuing this process and using a similar technique to that in the proof of Theorem 3 in [2], it is easy to see that $d({T}^{m+1}{x}_{0},{T}^{m}{x}_{0})\le 2{\lambda}^{l-1}v$, where $m=2l$ or $m=2l-1$ for all $l\ge 2$. This implies that $d({T}^{m+1}{x}_{0},{T}^{m}{x}_{0})\to 0$.

By using Lemma 2.1, *T* has an approximate fixed point.

Also following arguments analogous to those in Theorem 3 in [2], it is easy to see that $d({T}^{m}{x}_{0},{T}^{n}{x}_{0})\le \frac{4{\lambda}^{l}}{1-\lambda}v$ for all $n>m$. This shows that $\{{x}_{n}\}$ is a Cauchy sequence.

If *T* is continuous and $(X,d)$ is a complete metric, then there exists ${x}^{\ast}\in X$ such that ${x}_{n}\to {x}^{\ast}$. Thus, $T{x}_{n}\to T{x}^{\ast}$ and so $T{x}^{\ast}={x}^{\ast}$.

Now, suppose that *X* has also the property (H). We show that *T* has a unique fixed point.

*T*. Choose $z\in X$ such that $\alpha ({x}^{\ast},z)\ge 1$ and $\alpha ({y}^{\ast},z)\ge 1$. Since

*T*is

*α*-admissible, $\alpha ({x}^{\ast},{T}^{m}z)\ge 1$ and $\alpha ({y}^{\ast},{T}^{m}z)\ge 1$ for all $m\ge 1$. Put $\lambda =a+b$ and $v=d({x}^{\ast},{T}^{2}z)+d({x}^{\ast},Tz)$. Then we have

and one can easily get that $d({x}^{\ast},{T}^{6}z)\le 2{\lambda}^{2}v$.

By continuing this process, we obtain $d({x}^{\ast},{T}^{m}z)\le 2{\lambda}^{l-1}v$, where $m=2l$ or $m=2l-1$ for all $l\ge 2$. Hence, ${T}^{m}z\to {x}^{\ast}$. Similarly, we can show that ${T}^{m}z\to {y}^{\ast}$. Thus, we get ${x}^{\ast}={y}^{\ast}$ and so *T* has a unique fixed point. □

In 2011, Haghi, Rezapour and Shahzad proved that some fixed point generalizations are not real generalizations [9]. But the following examples show that the notion of generalized convex contractions is a real generalization for the notions of convex contractions and ordered convex contractions which were provided, respectively, in [3] and [1].

**Example 3.1** Let $X=\{1,3,5\}$, $d(x,y)=|x-y|$ and *T* be a selfmap on *X* defined by $T1=3$, $T3=1$ and $T5=5$. Then, by putting $a=\frac{1}{4}$, $b=\frac{1}{4}$, $x=1$ and $y=3$, we have $2=d({T}^{2}1,{T}^{2}3)>ad(T1,T3)+bd(1,3)=1$. Thus, *T* is not a convex contraction, while by putting $\alpha (x,y)=\frac{1}{4}$ whenever $x\le y$ and $\alpha (x,y)=0$ otherwise, $a=\frac{1}{4}$ and $b=\frac{1}{4}$, it is easy to see that *T* is a generalized convex contraction.

**Example 3.2**Let $X=\{1,3,5\}$, $d(x,y)=|x-y|$. Define the order ≤ on

*X*by $\le =\{(1,1),(3,3),(5,5),(1,3),(1,5),(3,5)\}$ and define the selfmap

*T*on

*X*by $T1=3$, $T3=1$ and $T5=5$. Then, by putting $a=\frac{1}{4}$ and $b=\frac{1}{4}$, $x=1$ and $y=3$, we have

Thus, *T* does not satisfy the condition of Theorem 2.4 in [3]. If we put $a=\frac{1}{4}$ and $b=\frac{1}{4}$ and define $\alpha (x,y)=\frac{1}{4}$ whenever $x\le y$ and $\alpha (x,y)=0$ otherwise, then it is easy to see that *T* is a generalized convex contraction.

**Theorem 3.2** *Let* $(X,d)$ *be a metric space and* *T* *be a generalized convex contraction of order* 2 *on* *X* *with the based mapping* *α*. *Suppose that* *T* *is* *α*-*admissible and there exists* ${x}_{0}\in X$ *such that* $\alpha ({x}_{0},T{x}_{0})\ge 1$.

*Then* *T* *has an approximate fixed point*.

*Moreover*, *T* *has a fixed point whenever* *T* *is continuous and* $(X,d)$ *is a complete metric space*, *and also* *T* *has a unique fixed point whenever* *X* *has the property* (H).

*Proof* Let ${x}_{0}\in X$ be such that $\alpha ({x}_{0},T{x}_{0})\ge 1$. Define the sequence $\{{x}_{n}\}$ by ${x}_{n+1}={T}^{n+1}{x}_{0}$ for all $n\ge 0$.

If ${x}_{n}={x}_{n+1}$ for some *n*, then we have nothing to prove.

*α*-admissible, it is easy to check that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all

*n*. Let $v=d(T{x}_{0},{T}^{2}{x}_{0})+d({x}_{0},T{x}_{0})$, $\beta =1-{b}_{2}$ and $\lambda ={a}_{1}+{a}_{2}+{b}_{1}$. Then we have

Hence, $d({T}^{3}{x}_{0},{T}^{2}{x}_{0})\le (\frac{\lambda}{\beta})v$.

Hence, $d({T}^{3}{x}_{0},{T}^{4}{x}_{0})\le (\frac{\lambda}{\beta})v$.

Similarly, we obtain $d({T}^{5}{x}_{0},{T}^{4}{x}_{0})\le {(\frac{\lambda}{\beta})}^{2}v$ and $d({T}^{5}{x}_{0},{T}^{6}{x}_{0})\le {(\frac{\lambda}{\beta})}^{2}v$.

By continuing this process and following an argument similar to that in Theorem 4 in [2] (see also [1]), it is easy to see that $d({T}^{m+1}{x}_{0},{T}^{m}{x}_{0})\le {(\frac{\lambda}{\beta})}^{l}v$, where $m=2l$ or $m=2l+1$ for $l\ge 1$ or $d({T}^{m+1}{x}_{0},{T}^{m}{x}_{0})\le {(\frac{\lambda}{\beta})}^{l-1}v$, where $m=2l$ or $m=2l-1$ for $l\ge 2$. Thus, $d({T}^{m+1}{x}_{0},{T}^{m}{x}_{0})\to 0$.

By using Lemma 2.1, *T* has an approximate fixed point.

Now, suppose that *T* is continuous and $(X,d)$ is a complete metric space. Then, by using a similar technique to that in the proof of Theorem 4 in [2] (see also [1]), it is easy to see that $\{{x}_{n}\}$ is a Cauchy sequence. Choose ${x}^{\ast}\in X$ such that ${x}_{n}\to {x}^{\ast}$. Since *T* is continuous, $T{x}_{n}\to T{x}^{\ast}$ and so $T{x}^{\ast}={x}^{\ast}$. If *X* has the property (H), then by using a similar technique to that in the proof of Theorem 3.1, we can prove uniqueness of the fixed point of *T*. □

Again, the following examples show that the notion of generalized convex contractions of order 2 is a real generalization for the notions of convex contractions of order 2 and ordered convex contractions of order 2, which were provided, respectively, in [1] and [3].

**Example 3.3**Let $X=\{1,3,5\}$, $d(x,y)=|x-y|$ and

*T*be a selfmap on

*X*defined by $T1=3$, $T3=1$ and $T5=5$. Then, by putting ${a}_{1}={a}_{2}={b}_{1}={b}_{2}=\frac{1}{8}$, $x=1$ and $y=3$, we have

Thus, *T* is not a convex contraction of order 2, while by putting $\alpha (x,y)=\frac{1}{4}$ whenever $x\le y$ and $\alpha (x,y)=0$ otherwise and ${a}_{1}={a}_{2}={b}_{1}={b}_{2}=\frac{1}{8}$, it is easy to see that *T* is a generalized convex contraction of order 2.

**Example 3.4**Let $X=\{1,3,5\}$, $\le =\{(1,1),(3,3),(5,5),(1,3)\}$, $d(x,y)=|x-y|$ and

*T*be a selfmap on

*X*defined by $T1=3$, $T3=1$ and $T5=5$. Then, by putting ${a}_{1}={a}_{2}={b}_{1}={b}_{2}=\frac{1}{8}$, $x=1$ and $y=3$, we have

Thus, *T* is not an ordered convex contraction of order 2 which has been used in Theorem 2.5 of [3], while by putting $\alpha (x,y)=\frac{1}{4}$ whenever $x\le y$ and $\alpha (x,y)=0$ otherwise and ${a}_{1}={a}_{2}={b}_{1}={b}_{2}=\frac{1}{8}$, it is easy to check that the selfmap *T* is a generalized convex contraction of order 2.

Recently, the notion of weakly Zamfirescu mappings was provided in [19] (see also Zamfirescu [20]).

**Definition 3.1**Let $(X,d)$ be a metric space and

*T*be a selfmap on

*X*. Then

*T*is called

*weakly Zamfirescu*whenever there exists $\gamma :X\times X\to [0,1]$ with

Now, by using the main idea of this paper, we define *α*-weakly Zamfirescu selfmaps as follows.

Let $(X,d)$ be a metric space, $\alpha :X\times X\to [0,\mathrm{\infty})$ be a function and *T* be a selfmap on *X*. Then *T* is called *α*-*weakly Zamfirescu* whenever there exists $\gamma :X\times X\to [0,1]$ with $\theta (a,b):=sup\{\gamma (x,y):a\le d(x,y)\le b\}<1$ for all $0<a\le b$ such that $\alpha (x,y)d(T(x),T(y))\le \gamma (x,y){M}_{T}(x,y)$ for all $x,y\in X$.

**Theorem 3.3** *Let* $(X,d)$ *be a metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$ *be a function and* *T* *be an* *α*-*weakly Zamfirescu selfmap on* *X*. *Suppose that* *T* *is* *α*-*admissible and there exists* ${x}_{0}\in X$ *such that* $\alpha ({x}_{0},T{x}_{0})\ge 1$.

*Then* *T* *has an approximate fixed point*.

*Moreover*, *T* *has a fixed point whenever* *T* *is continuous and* $(X,d)$ *is a complete metric space*.

*Proof*Let ${x}_{0}\in X$ be such that $\alpha ({x}_{0},T{x}_{0})\ge 1$. Define the sequence $\{{x}_{n}\}$ by ${x}_{n+1}={T}^{n+1}{x}_{0}$ for all $n\ge 0$. We show that $d({x}_{n},{x}_{n+1})\le \gamma ({x}_{n-1},{x}_{n})d({x}_{n-1},{x}_{n})$ for all $n\ge 0$. Since

*T*is

*α*-admissible, it is easy to check that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all

*n*. But, for each

*n*, we have

Thus, the claim is proved.

This implies that the sequence $\{d({x}_{n},{x}_{n+1})\}$ is non-increasing and so it converges to the real number $d={inf}_{n\ge 1}d({x}_{n-1},{x}_{n})$.

We have to show that $d=0$.

*n*, $\gamma ({x}_{n-1},{x}_{n})\le \theta $ for all

*n*, where $\theta =\theta (d,d({x}_{0},{x}_{1}))$. Hence,

for all *n*. But this is impossible because $d>0$ and $0\le \theta <1$. Therefore, *T* has an approximate fixed point.

Now, suppose that $(X,d)$ is a complete metric space and *T* is continuous. Following arguments similar to those in Theorem 28 of [19], we can show that $\{{x}_{n}\}$ is a Cauchy sequence. This implies easily that *T* has a fixed point. □

The following examples show that there exist *α*-weakly Zamfirescu mappings which are not weakly Zamfirescu.

**Example 3.5** Let $X=[0,1]$, $d(x,y)=|x-y|$, and let the selfmap *T* on *X* be defined by $T(x)=\frac{4}{3}x$ for all $x\in X$. Since $\gamma (0,1)\ge \frac{8}{7}$ for each existent map *γ* in the definition of weakly Zamfirescu mapping, *T* is not weakly Zamfirescu. Now, by putting $\alpha (x,y)=\frac{1}{6}$ and $\gamma (x,y)=\frac{1}{2}$ for all $x,y\in X$, it is easy to check that *T* is *α*-weakly Zamfirescu.

**Example 3.6** Let $X=[0,\mathrm{\infty})$, $d(x,y)=|x-y|$, and let the selfmap *T* on *X* be defined by $T(x)=\frac{4}{3}x$ whenever $x\in [0,1]$ and $T(x)=\frac{4}{3}$ whenever $x>1$. Since $\gamma (0,1)\ge \frac{8}{7}$ for each existent map *γ* in the definition of weakly Zamfirescu mappings, *T* is not weakly Zamfirescu. Now, by putting $\alpha (x,y)=\frac{1}{50}$ and $\gamma (x,y)=\frac{1}{2}$ for all $x,y\in X$, it is easy to check that *T* is *α*-weakly Zamfirescu.

## Declarations

### Acknowledgements

Research of the first and third authors was supported by Azarbaidjan Shahid Madani University.

## Authors’ Affiliations

## References

- Istratescu VI: Some fixed point theorems for convex contraction mappings and mappings with convex diminishing diameters. I.
*Ann. Mat. Pura Appl.*1982, 130(4):89–104.MathSciNetView ArticleGoogle Scholar - Alghamdi MA, Alnafei SH, Radenović S, Shahzad N: Fixed point theorems for convex contraction mappings on cone metric spaces.
*Math. Comput. Model.*2011, 54: 2020–2026. 10.1016/j.mcm.2011.05.010View ArticleGoogle Scholar - Ghorbanian V, Rezapour S, Shahzad N: Some ordered fixed point results and the property (P).
*Comput. Math. Appl.*2012, 63: 1361–1368. 10.1016/j.camwa.2011.12.071MathSciNetView ArticleGoogle Scholar - Barroso CS, Lin PK: On the weak-approximate fixed point property.
*J. Math. Anal. Appl.*2010, 365: 171–175. 10.1016/j.jmaa.2009.10.007MathSciNetView ArticleGoogle Scholar - Cabada A, Nieto JJ: Fixed points and approximate solutions for nonlinear operator equations.
*J. Comput. Appl. Math.*2000, 113: 17–25. 10.1016/S0377-0427(99)00240-XMathSciNetView ArticleGoogle Scholar - Chen CM, Chang TH, Huang YH: Approximate fixed point theorems for the generalized Ψ-set contraction mappings on an almost Φ-space.
*Appl. Math. Lett.*2010, 23: 152–155. 10.1016/j.aml.2009.09.003MathSciNetView ArticleGoogle Scholar - Kalenda OFK:Spaces not containing ${l}_{1}$ have weak approximate fixed point property.
*J. Math. Anal. Appl.*2011, 373: 134–137. 10.1016/j.jmaa.2010.06.052MathSciNetView ArticleGoogle Scholar - Kirk WA: Remarks on approximate fixed points.
*Nonlinear Anal.*2011, 75(12):4632–4636.MathSciNetView ArticleGoogle Scholar - Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations.
*Nonlinear Anal.*2011, 74: 1799–1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleGoogle Scholar - Samet B, Vetro C, Vetro P: Fixed-point theorems for
*α*-*ψ*-contractive type mappings.*Nonlinear Anal.*2012, 75: 2154–2165. 10.1016/j.na.2011.10.014MathSciNetView ArticleGoogle Scholar - Nawab H, Karapınar E, Salimi P, Akbar F:
*α*-admissible mappings and related fixed point theorems.*J. Inequal. Appl.*2013., 2013: Article ID 114Google Scholar - Alnafei SH, Radenović S, Shahzad N: Fixed point theorems for mappings with convex diminishing diameters on cone metric spaces.
*Appl. Math. Lett.*2011, 24: 2162–2166. 10.1016/j.aml.2011.06.019MathSciNetView ArticleGoogle Scholar - Karapınar E, Samet B: Generalized
*α*-*ψ*contractive type mappings and related fixed point theorems with applications.*Abstr. Appl. Anal.*2012., 2012: Article ID 793486Google Scholar - Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of
*α*-*ψ*-Ciric generalized multifunctions.*Fixed Point Theory Appl.*2013., 2013: Article ID 24Google Scholar - Radojević S, Paunović L, Radenović S: Abstract metric spaces and Hardy-Rogers-type theorems.
*Appl. Math. Lett.*2011, 24: 553–558. 10.1016/j.aml.2010.11.012MathSciNetView ArticleGoogle Scholar - Reich S: Approximate selections, best approximations, fixed points, and invariant sets.
*J. Math. Anal. Appl.*1978, 62: 104–113. 10.1016/0022-247X(78)90222-6MathSciNetView ArticleGoogle Scholar - Kohlenbach U, Leustean L: The approximate fixed point property in product spaces.
*Nonlinear Anal.*2007, 66: 806–818. 10.1016/j.na.2005.12.020MathSciNetView ArticleGoogle Scholar - Berinde M: Approximate fixed point theorems.
*Stud. Univ. Babeş–Bolyai, Math.*2006, 51(1):11–25.MathSciNetGoogle Scholar - Ariza-Ruiza D, Jimenez-Melado A, Lopez-Acedo G: A fixed point theorem for weakly Zamfirescu mappings.
*Nonlinear Anal.*2011, 74: 1628–1640. 10.1016/j.na.2010.10.033MathSciNetView ArticleGoogle Scholar - Zamfirescu T: Fixed point theorems in metric spaces.
*Arch. Math.*1972, 23: 292–298. 10.1007/BF01304884MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.