- Research
- Open Access

# Fixed point theorems for $(\xi ,\alpha )$-expansive mappings in complete metric spaces

- Priya Shahi
^{1}Email author, - Jatinderdeep Kaur
^{1}and - SS Bhatia
^{1}

**2012**:157

https://doi.org/10.1186/1687-1812-2012-157

© Shahi et al.; licensee Springer 2012

**Received: **24 April 2012

**Accepted: **31 August 2012

**Published: **19 September 2012

## Abstract

In this paper, we introduce a new, simple and unified approach to the theory of expansive mappings. We present a new category of expansive mappings called $(\xi ,\alpha )$-expansive mappings and study various fixed point theorems for such mappings in complete metric spaces. Further, we shall use these theorems to derive coupled fixed point theorems in complete metric spaces. Our new notion complements the concept of *α*-*ψ*-contractive type mappings introduced recently by Samet *et al.* (Nonlinear Anal. 2011, doi:10.1016/j.na.2011.10.014). The presented theorems extend, generalize and improve many existing results in the literature. Some comparative examples are constructed which illustrate our results in comparison to some of the existing ones in literature.

## Keywords

- fixed point
- complete metric space
- expansive mapping

## 1 Introduction

The advancement and the rich growth of fixed point theorems in metric spaces have important theoretical and practical applications. The development has been tremendous in the last three decades. Although the concept of a fixed point theorem may appear as an abstract notion in metric spaces, it has remarkable influence on applications such as the theory of differential and integral equations [1], the game theory relevant to the military, sports and medicine as well as economics [2]. Besides, it has applications in physics, engineering, boundary value problems and variational inequalities (see, for instance, Beg [3] and El Naschie [4]). In 1984, Wang *et al.*[5] presented some interesting work on expansion mappings in metric spaces which correspond to some contractive mappings in [6]. Further, Khan *et al.*[7] generalized the result of [5] by using functions. Also, Rhoades [8] and Taniguchi [9] generalized the results of Wang [5] for a pair of mappings. Kang [10] generalized the result of Khan *et al.*[7], Rhoades [8] and Taniguchi [9] for expansion mappings. Recently, Samet *et al.*[11] introduced a new concept of *α*-*ψ*-contractive type mappings and established fixed point theorems for such mappings in complete metric spaces.

In this paper, we introduce a new notion of $(\xi ,\alpha )$-expansive mappings and establish various fixed point theorems for such mappings in complete metric spaces. The presented theorems extend, generalize and improve many existing results in the literature. Some examples are considered to illustrate the usability of our obtained results.

## 2 Preliminaries

We need the following definitions and results, consistent with [5, 11].

Wang *et al.*[5] defined expansion mappings in the form of the following theorem.

**Theorem 2.1**[5]

*Let*$(X,d)$

*be a complete metric space*.

*If*

*f*

*is a mapping of X into itself and if there exists a constant*$q>1$

*such that*

*for each*$x,y\in X$*and* *f* *is onto*, *then* *f* *has a unique fixed point in* *X*.

Recently, Samet *et al.*[11] considered the following family of functions and presented the new notions of *α*-*ψ*-contractive and *α*-admissible mappings.

**Definition 2.1**[11]

*φ*denote the family of all functions $\psi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ which satisfy the following:

- (i)
${\sum}_{n=1}^{+\mathrm{\infty}}{\psi}^{n}(t)<+\mathrm{\infty}$ for each $t>0$, where ${\psi}^{n}$ is the

*n*th iterate of*ψ*; - (ii)
*ψ*is non-decreasing.

**Definition 2.2**[11]

*T*is said to be an

*α*-

*ψ*-contractive mapping if there exist two functions $\alpha :X\times X\to [0,+\mathrm{\infty})$ and $\psi \in \phi $ such that

for all $x,y\in X$.

**Definition 2.3**[11]

*T*is said to be

*α*-admissible if

Now, we present some examples of *α*-admissible mappings.

**Example 2.4**Let

*X*be the set of all non-negative real numbers. Let us define the mapping $\alpha :X\times X\to [0,+\mathrm{\infty})$ by

and define the mapping $T:X\to X$ by $Tx={x}^{2}$ for all $x\in X$. Then *T* is *α*-admissible.

**Example 2.5**Let

*X*be the set of all non-negative real numbers. Let us define the mapping $\alpha :X\times X\to [0,+\mathrm{\infty})$ by

and define the mapping $T:X\to X$ by $Tx={e}^{x}$ for all $x\in X$. Then *T* is *α*-admissible.

In what follows, we present the main results of Samet *et al.*[11].

**Theorem 2.2**[11]

*Let*$(X,d)$

*be a complete metric space and*$T:X\to X$

*be an*

*α*-

*ψ*-

*contractive mapping satisfying the following condition\s*:

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$; - (iii)
*T**is continuous*.

*Then* *T* *has a fixed point*, *that is*, *there exists*${x}^{\ast}\in X$*such that*$T{x}^{\ast}={x}^{\ast}$.

**Theorem 2.3**[11]

*Let*$(X,d)$

*be a complete metric space and*$T:X\to X$

*be an*

*α*-

*ψ*-

*contractive mapping satisfying the following conditions*:

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$; - (iii)
*if*$\{{x}_{n}\}$*is a sequence in**X**such that*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for all**n**and*${x}_{n}\to x\in X$*as*$n\to +\mathrm{\infty}$,*then*$\alpha ({x}_{n},x)\ge 1$*for all**n*.

*Then* *T* *has a fixed point*.

Samet *et al.*[11] added the following condition (H) to the hypotheses of Theorem 2.2 and Theorem 2.3 to assure the uniqueness of the fixed point:

(H): For all $x,y\in X$, there exists $z\in X$ such that $\alpha (x,z)\ge 1$ and $\alpha (y,z)\ge 1$.

Further, Samet *et al.*[11] derived coupled fixed point theorems in complete metric spaces using the previously obtained results.

**Theorem 2.4**[11]

*Let*$(X,d)$

*be a complete metric space and*$F:X\times X\to X$

*be a given mapping*.

*Suppose that there exists*$\psi \in \phi $

*and a function*$\alpha :{X}^{2}\times {X}^{2}\to [0,+\mathrm{\infty})$

*such that*

*for all*$(x,y),(u,v)\in X\times X$.

*Suppose also that*

- (i)
*for all*$(x,y),(u,v)\in X\times X$,*we have*$\alpha ((x,y),(u,v))\ge 1\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}\alpha ((F(x,y),F(y,x)),(F(u,v),F(v,u)))\ge 1;$ - (ii)
*there exists*$({x}_{0},{y}_{0})\in X\times X$*such that*$\alpha (({x}_{0},{y}_{0}),(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0})))\ge 1\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\alpha ((F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0})),({y}_{0},{x}_{0}))\ge 1;$ - (iii)
*F**is continuous*.

*Then* *F* *has a coupled fixed point*, *that is*, *there exists*$({x}^{\ast},{y}^{\ast})\in X\times X$*such that*${x}^{\ast}=F({x}^{\ast},{y}^{\ast})$*and*${y}^{\ast}=F({y}^{\ast},{x}^{\ast})$.

**Theorem 2.5**[11]

*Let*$(X,d)$

*be a complete metric space and*$F:X\times X\to X$

*be a given mapping*.

*Suppose that there exists*$\psi \in \phi $

*and a function*$\alpha :{X}^{2}\times {X}^{2}\to [0,+\mathrm{\infty})$

*such that*

*for all*$(x,y),(u,v)\in X\times X$.

*Suppose also that*

- (i)
*for all*$(x,y),(u,v)\in X\times X$,*we have*$\alpha ((x,y),(u,v))\ge 1\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}\alpha ((F(x,y),F(y,x)),(F(u,v),F(v,u)))\ge 1;$ - (ii)
*there exists*$({x}_{0},{y}_{0})\in X\times X$*such that*$\alpha (({x}_{0},{y}_{0}),(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0})))\ge 1\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\alpha ((F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0})),({y}_{0},{x}_{0}))\ge 1;$ - (iii)
*if*$\{{x}_{n}\}$*and*$\{{y}_{n}\}$*are sequences in**X**such that*$\alpha (({x}_{n},{y}_{n}),({x}_{n+1},{y}_{n+1}))\ge 1\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\alpha (({y}_{n+1},{x}_{n+1}),({y}_{n},{x}_{n}))\ge 1,$

*and*${y}_{n}\to y\in X$

*as*$n\to +\mathrm{\infty}$,

*then*

*Then* *F* *has a coupled fixed point*.

Samet *et al.*[11] added the following condition (H^{′}) to the hypotheses of Theorem 2.4 and Theorem 2.5 to assure the uniqueness of the coupled fixed point:

^{′}): For all $(x,y),(u,v)\in X\times X$, there exists $({z}_{1},{z}_{2})\in X\times X$ such that

## 3 Main results

We shall make use of the standard notations and terminologies of nonlinear analysis throughout this paper. We introduce here a new notion of $(\xi ,\alpha )$-expansive mappings as follows.

*χ*denote all functions $\xi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ which satisfy the following properties:

- (i)
*ξ*is non-decreasing; - (ii)
${\sum}_{n=1}^{+\mathrm{\infty}}{\xi}^{n}(a)<+\mathrm{\infty}$ for each $a>0$, where ${\xi}^{n}$ is the

*n*th iterate of*ξ*; - (iii)
$\xi (a+b)=\xi (a)+\xi (b)$, $\mathrm{\forall}a,b\in [0,+\mathrm{\infty})$.

**Lemma 3.1**[11]

*If*$\xi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$*is a non*-*decreasing function*, *then for each*$a>0$, ${lim}_{n\to +\mathrm{\infty}}{\xi}^{n}(a)=0$*implies*$\xi (a)<a$.

**Definition 3.1**Let $(X,d)$ be a metric space and $T:X\to X$ be a given mapping. We say that

*T*is an $(\xi ,\alpha )$-expansive mapping if there exist two functions $\xi \in \chi $ and $\alpha :X\times X\to [0,+\mathrm{\infty})$ such that

for all $x,y\in X$.

**Remark 3.1** If $T:X\to X$ is an expansion mapping, then *T* is an $(\xi ,\alpha )$-expansive mapping, where $\alpha (x,y)=1$ for all $x,y\in X$ and $\xi (a)=ka$ for all $a\ge 0$ and some $k\in [0,1)$.

We now prove our main results.

**Theorem 3.2**

*Let*$(X,d)$

*be a complete metric space and*$T:X\to X$

*be a bijective*, $(\xi ,\alpha )$-

*expansive mapping satisfying the following conditions*:

- (i)
${T}^{-1}$

*is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},{T}^{-1}{x}_{0})\ge 1$; - (iii)
*T**is continuous*.

*Then* *T* *has a fixed point*, *that is*, *there exists*$u\in X$*such that*$Tu=u$.

*Proof*Let us define the sequence $\{{x}_{n}\}$ in

*X*by

where ${x}_{0}\in X$ is such that $\alpha ({x}_{0},{T}^{-1}{x}_{0})\ge 1$. Now, if ${x}_{n}={x}_{n+1}$ for any $n\in \mathbb{N}$, one has that ${x}_{n}$ is a fixed point of *T* from the definition $\{{x}_{n}\}$. Without loss of generality, we can suppose ${x}_{n}\ne {x}_{n+1}$ for each $n\in \mathbb{N}$.

*α*-admissible, therefore, we have

From $\sum {\xi}^{n}(a)<+\mathrm{\infty}$ for each $a>0$, it follows that $\{{x}_{n}\}$ is a Cauchy sequence in the complete metric space $(X,d)$. So, there exists $u\in X$ such that ${x}_{n}\to u$ as $n\to +\mathrm{\infty}$. From the continuity of *T*, it follows that ${x}_{n}=T{x}_{n+1}\to Tu$ as $n\to +\mathrm{\infty}$. By the uniqueness of the limit, we get $u=Tu$, that is, *u* is a fixed point of *T*. This completes the proof. □

In what follows, we prove that Theorem 3.2 still holds for *T* not necessarily continuous, assuming the following condition:

*X*such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all

*n*and $\{{x}_{n}\}\to x\in X$ as $n\to +\mathrm{\infty}$, then

for all *n*.

**Theorem 3.3** *If in Theorem* 3.2 *we replace the continuity of* *T* *by the condition* (*P*), *then the result holds true*.

*Proof*Following the proof of Theorem 3.2, we know that $\{{x}_{n}\}$ is a sequence in

*X*such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all

*n*and $\{{x}_{n}\}\to u\in X$ as $n\to +\mathrm{\infty}$. Now, from the hypothesis (3), we have

Continuity of *ξ* at $t=0$ implies that $d({T}^{-1}u,u)=0$ as $n\to +\mathrm{\infty}$. That is, ${T}^{-1}u=u$. Consider, $Tu=T({T}^{-1}u)=(T{T}^{-1})u=u$. This gives an end to the proof. □

We now present some examples in support of our results.

**Example 3.2**Let $X=[0,+\mathrm{\infty})$ endowed with standard metric $d(x,y)=|x-y|$ for all $x,y\in X$. Define the mappings $T:X\to X$ and $\alpha :X\times X\to [0,+\mathrm{\infty})$ by

*T*is an $(\xi ,\alpha )$-expansive mapping with $\xi (a)=a/2$ for all $a\ge 0$. In fact, for all $x,y\in X$, we have

*T*is continuous, and so it remains to show that ${T}^{-1}$ is

*α*-admissible. For this, let $x,y\in X$ such that $\alpha (x,y)\ge 1$. This implies that $x\ge 1$ and $y\ge 1$, and by the definitions of ${T}^{-1}$ and

*α*, we have

Then ${T}^{-1}$ is *α*-admissible.

Now, all the hypotheses of Theorem 3.2 are satisfied. Consequently, *T* has a fixed point. In this example, 0 and 3/2 are two fixed points of *T*.

**Remark 3.2**The expansion mapping theorem proved by Wang

*et al.*[5] cannot be applied in the above example since we have

Now, we give an example involving a function *T* that is not continuous.

**Example 3.3**Let $X=[0,+\mathrm{\infty})$ endowed with the standard metric $d(x,y)=|x-y|$ for all $x,y\in X$. Define the mappings $T:X\to X$ and $\alpha :X\times X\to [0,+\mathrm{\infty})$ by

*T*at 1, Theorem 3.2 is not applicable in this case. Clearly,

*T*is an $(\xi ,\alpha )$-expansive mapping with $\xi (a)=a/2$ for all $a\ge 0$. In fact, for all $x,y\in X$, we have

*α*, we have

that is, ${T}^{-1}$ is *α*-admissible.

Finally, let $\{{x}_{n}\}$ be a sequence in *X* such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all *n* and $\{{x}_{n}\}\to x\in X$ as $n\to +\mathrm{\infty}$. Since $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all *n*, by the definition of *α*, we have ${x}_{n}\ge 1$ for all *n* and $x\ge 1$. Then $\alpha ({T}^{-1}{x}_{n},{T}^{-1}x)=1$.

Therefore, all the required hypotheses of Theorem 3.3 are satisfied, and so *T* has a fixed point. Here, 0 and 1 are two fixed points of *T*.

**Remark 3.3** As in the previous example, the expansion mapping theorem is not applicable in this case either.

To ensure the uniqueness of the fixed point in Theorems 3.2 and 3.3, we consider the condition:

(U): For all $u,v\in X$, there exists $w\in X$ such that $\alpha (u,w)\ge 1$ and $\alpha (v,w)\ge 1$.

**Theorem 3.4** *Adding the condition* (*U*) *to the hypotheses of Theorem* 3.2 (*resp*. *Theorem * 3.3), *we obtain the uniqueness of the fixed point of* *T*.

*Proof*From Theorem 3.2 and Theorem 3.3, the set of fixed points is non-empty. We shall show that if

*u*and

*v*are two fixed points of

*T*, that is, $T(u)=u$ and $T(v)=v$, then $u=v$. From the condition (U), there exists $w\in X$ such that

*α*-admissible property of ${T}^{-1}$, we obtain from (5)

*α*-admissible property of ${T}^{-1}$, we get

Thus, we have ${T}^{-n}w\to u$ as $n\to +\mathrm{\infty}$. Using the similar steps as above, we obtain ${T}^{-n}w\to v$ as $n\to +\mathrm{\infty}$. Now, the uniqueness of the limit of ${T}^{-n}w$ gives us $u=v$. This completes the proof. □

Now, we shall show that the coupled fixed point theorems in complete metric spaces can also be derived from our results. Before proving the result, we recall the following definition due to Bhaskar and Lakshmikantham [12].

**Definition 3.4**[12]

*F*if

We shall require the following lemma due to Samet *et al.*[11] for the proof of our result.

**Lemma 3.5**[11]

*Let*$F:X\times X\to X$

*be a given mapping*.

*Define the mapping*$T:X\times X\to X\times X$

*by*

*Then*$(x,y)$*is a coupled fixed point of* *F* *if and only if*$(x,y)$*is a fixed point of* *T*.

We, now prove the following results.

**Theorem 3.6**

*Let*$(X,d)$

*be a complete metric space and*$F:X\times X\to X$

*be a given bijective mapping*.

*Suppose that there exists*$\xi \in \chi $

*and a function*$\alpha :{X}^{2}\times {X}^{2}\to [0,+\mathrm{\infty})$

*such that*

*for all*$(x,y),(u,v)\in X\times X$.

*Suppose also that*

- (i)
*for all*$(x,y),(u,v)\in X\times X$,*we have*$\alpha ((x,y),(u,v))\ge 1\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}\alpha ({F}^{-1}(x),{F}^{-1}(u))\ge 1;$ - (ii)
*there exists*$({x}_{0},{y}_{0})\in X\times X$*such that*$\alpha (({x}_{0},{y}_{0}),(a,b))\ge 1\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\alpha ((b,a),({y}_{0},{x}_{0}))\ge 1,$

*where*${F}^{-1}({x}_{0})=(a,b)$;

- (iii)
*F**is continuous*.

*Then* *F* *has a coupled fixed point*, *that is*, *there exists*$({x}^{\ast},{y}^{\ast})\in X\times X$*such that*${x}^{\ast}=F({x}^{\ast},{y}^{\ast})$*and*${y}^{\ast}=F({y}^{\ast},{x}^{\ast})$.

*Proof*For the proof of our result, we consider the mapping

*T*given by (8) as a bijective mapping such that

for all $\mu =({\mu}_{1},{\mu}_{2})$, $\nu =({\nu}_{1},{\nu}_{2})\in Y$.

for all $\mu =({\mu}_{1},{\mu}_{2})$, $\nu =({\nu}_{1},{\nu}_{2})\in Y$.

*ξ*, we obtain

for all $\mu =({\mu}_{1},{\mu}_{2})$, $\nu =({\nu}_{1},{\nu}_{2})\in Y$.

Clearly, *T* is continuous and $(\xi ,\alpha )$-expansive mapping.

Let $\mu =({\mu}_{1},{\mu}_{2})$, $\nu =({\nu}_{1},{\nu}_{2})\in Y$ such that $\eta (\mu ,\nu )\ge 1$. Using the condition (i), we obtain $\eta ({T}^{-1}\mu ,{T}^{-1}\nu )\ge 1$. Then ${T}^{-1}$ is *η*-admissible.

So, we have transformed the problem to the complete metric space $(Y,\rho )$. Therefore, all the hypotheses of Theorem 3.2 are satisfied, and so we deduce the existence of a fixed point of *T* as well as ${T}^{-1}$. Now, Lemma 3.5 gives us the existence of a coupled fixed point of *F*. □

In what follows, we prove that Theorem 3.6 remains valid if we replace the continuity condition of *F* with the following condition:

^{′}): if $\{{x}_{n}\}$ and $\{{y}_{n}\}$ are sequences in

*X*such that

**Theorem 3.7** *If we replace the continuity of* *F* *in Theorem* 3.6 *by the condition* (${P}^{\prime}$), *then the result holds true*.

*Proof*We employ the same notations of the proof of Theorem 3.6. Let $\{{x}_{n},{y}_{n}\}$ be a sequence in

*Y*such that $\eta (({x}_{n},{y}_{n}),({x}_{n+1},{y}_{n+1}))\ge 1$ and $({x}_{n},{y}_{n})\to (x,y)$ as $n\to +\mathrm{\infty}$. Using the condition (P

^{′}), we have

Then all the hypotheses of Theorem 3.3 are satisfied. Thus, we deduce the existence of a fixed point of *T* that gives us from Lemma 3.5 the existence of a coupled fixed point of *F*. □

To ensure the uniqueness of the coupled fixed point, we consider the following condition:

^{′}): For all $({x}_{1},{y}_{1}),({x}_{2},{y}_{2})\in X\times X$, there exists $({x}_{3},{y}_{3})\in X\times X$ such that

**Theorem 3.8** *Adding the condition* (*U*^{′}) *to the hypotheses of Theorem* 3.6 (*resp*. *Theorem * 3.7) *we obtain the uniqueness of the coupled fixed point of* *F*.

*Proof* Clearly, under the hypothesis (U^{′}), *T* and *η* satisfy the hypothesis (U). Therefore, from Theorem 3.4 and Lemma 3.5, the result follows immediately. □

**Example 3.5**Let $X=\mathbb{N}$ equipped with the standard metric $d(x,y)=|x-y|$ for all $x,y\in \mathbb{N}$. Then $(X,d)$ is a complete metric space. Define the mapping $F:X\times X\to X$ by

*F*is a continuous and bijective mapping. Define $\alpha :{X}^{2}\times {X}^{2}\to [0,+\mathrm{\infty})$ by

Then (9) is satisfied with $\xi (a)=a/2$ for all $a\ge 0$. On the other hand, the condition (i) of Theorem 3.6 holds and the condition (ii) of the same theorem is also satisfied with $({x}_{0},{y}_{0})=(1,1)$. All the required hypotheses of Theorem 3.6 are true and so we deduce the existence of a coupled fixed point of *F*. Here, $(1,1)$ is a coupled fixed point of *F*.

## Declarations

### Acknowledgements

The first author would like to thank the University Grants Commission for financial support during the preparation of this manuscript.

## Authors’ Affiliations

## References

- Zeidler E:
*Nonlinear Functional Analysis and Its Applications*. Springer, New York; 1989.Google Scholar - Border KC:
*Fixed Point Theorems with Applications to Economics and Game Theory*. Cambridge University Press, Cambridge; 1990.Google Scholar - Beg I: Fixed point theorems in 2-metric spaces with an application to variational inequalities.
*Math. Sci. Res. Hot-Line*1998, 2: 1–7.MathSciNetGoogle Scholar - El Naschie MS: Elementary number theory in superstrings, loop quantum mechanics, twistors and E-infinity high energy physics.
*Chaos Solitons Fractals*2006, 27: 297–330. 10.1016/j.chaos.2005.04.116View ArticleGoogle Scholar - Wang SZ, Li BY, Gao ZM, Iseki K: Some fixed point theorems on expansion mappings.
*Math. Jpn.*1984, 29: 631–636.MathSciNetGoogle Scholar - Rhoades BE: A comparison of various definitions of contractive mappings.
*Trans. Am. Math. Soc.*1977, 226: 257–290.MathSciNetView ArticleGoogle Scholar - Khan MA, Khan MS, Sessa S: Some theorems on expansion mappings and their fixed points.
*Demonstr. Math.*1986, 19: 673–683.MathSciNetGoogle Scholar - Rhoades BE: Some fixed point theorems for pairs of mappings.
*Jnanabha*1985, 15: 151–156.MathSciNetGoogle Scholar - Taniguchi T: Common fixed point theorems on expansion type mappings on complete metric spaces.
*Math. Jpn.*1989, 34: 139–142.Google Scholar - Kang SM: Fixed points for expansion mappings.
*Math. Jpn.*1993, 38: 713–717.Google Scholar - Samet B, Vetro C, Vetro P: Fixed point theorems for
*α*-*ψ*-contractive type mappings.*Nonlinear Anal.*2011. doi:10.1016/j.na.2011.10.014Google Scholar - Bhaskar TG, Lakshmikantham V: Fixed point theory in partially ordered metric spaces and applications.
*Nonlinear Anal.*2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView 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.