# Largest and least fixed point theorems of increasing mappings in partially ordered metric spaces

- Shujun Jiang
^{1}and - Zhilong Li
^{2}Email author

**2013**:74

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

© Jiang and Li; licensee Springer. 2013

**Received: **17 September 2012

**Accepted: **8 March 2013

**Published: **28 March 2013

## Abstract

In this paper, some largest and least fixed point theorems of increasing mappings in partially ordered metric spaces are proved, which extends and improves essentially many recent results since the additivity of *η* has been removed. In particular, the partial order used in this paper is not confined to that introduced by a functional.

**MSC:**06A06, 47H10.

### Keywords

largest and least fixed point increasing mapping partially ordered metric space## 1 Introduction

For improving Caristi’s fixed point theorem [1, 2], Feng and Liu [3] defined the following partial order on a metric space.

**Lemma 1** (see [[3], Lemma 4.1])

*Let*$(X,d)$

*be a metric space*,

*let*$\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$

*be a functional*,

*and let*$\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*be a nondecreasing and subadditive*(

*i*.

*e*., $\eta (t+s)\le \eta (t)+\eta (s)$, $\mathrm{\forall}t,s\in [0,+\mathrm{\infty})$)

*function with*${\eta}^{-1}(\{0\})=\{0\}$.

*Define a relation*⪯

*on*

*X*

*by*

*Then* ⪯ *is a partial order on* *X*.

Since then the existence of fixed points in partially ordered metric spaces has been considered by many authors, and many satisfactory results have been obtained for Caristi-type mappings [2–7], mappings satisfying some monotone conditions with respect to the partial order introduced by a functional [8, 9], and mappings with some contractive conditions [10–18]. Recently, Li [9] proved the existence of maximal and minimal fixed points of increasing mappings by using the partial order introduced by (1).

It is worth mentioning that in [9], the function *η* is necessarily assumed to be subadditive for ensuring that the relation defined by (1) is a partial order. While it is well known that the additivity of *η* is no longer necessary for the study of fixed point theorems for a Caristi-type mapping (see [4–7]), naturally, one may wonder whether the additivity of *η* in [9] could be omitted.

In this paper we show how the additivity of *η* could be removed. Without the additivity of *η*, we prove not only the existence of maximal and minimal fixed points, but also the existence of largest and least fixed points of increasing mappings in a partially ordered metric space. In particular, the partial order used in this paper is not confined to that introduced by (1).

## 2 Fixed point theorems

*X*such that

where $[x,+\mathrm{\infty})=\{z\in X:x\u2aafz\}$ and $(-\mathrm{\infty},x]=\{z\in X:z\u2aafx\}$.

**Remark 1** It is easy to see from Lemma 1 that the partial order introduced by (1) is certainly such that (3) is satisfied, but the converse is not true. In fact, a partial order such that (3) is satisfied is not necessarily confined to that introduced by (1). The following example shows that there does exist some partial order on *X* such that (3) is satisfied even though the relation defined by (1) is not a partial order on *X*.

**Example 1**Let $X=\{0\}\cup \{\frac{1}{n}:n=2,3,\dots \}$, $d(x,y)=|x-y|$, and ≤ is the usual order of reals. Let $\phi (x)={x}^{2}$ for each $x\in X$ and $\eta (t)={t}^{2}$ for each $t\in [0,+\mathrm{\infty})$. Define a relation ⪯ on

*X*by

*X*. Direct calculation gives that

which implies (3) is satisfied. However, the relation defined by (1) is not a partial order on *X* since *η* is not subadditive.

**Theorem 1**

*Let*$(X,d)$

*be a complete metric space*,

*let*$\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$

*be a bounded below functional*,

*let*$\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*be a nondecreasing function with*${\eta}^{-1}(\{0\})=\{0\}$,

*and let*⪯

*be a partial order on*

*X*

*such that*(3)

*and*(4)

*are satisfied*.

*Let*$T:X\to X$

*be an increasing mapping*.

*Assume that there exists*${x}_{0}\in X$

*such that*${x}_{0}\u2aafT{x}_{0}$.

*Then*

- (i)
*T**has a maximal fixed point*${x}^{\ast}\in [{x}_{0},+\mathrm{\infty})$,*i*.*e*.,*let*$x\in [{x}_{0},+\mathrm{\infty})$*be a fixed point of**T*,*then*${x}^{\ast}\u2aafx$*implies*$x={x}^{\ast}$; - (ii)
*T**has a least fixed point*${x}_{\ast}\in [{x}_{0},+\mathrm{\infty})$,*i*.*e*.,*let*$x\in [{x}_{0},+\mathrm{\infty})$*be a fixed point of**T*,*then*${x}_{\ast}\u2aafx$.

*Proof*

- (i)Set$Q=\{x\in [{x}_{0},+\mathrm{\infty}):x\u2aafTx\}.$

*Q*is nonempty since ${x}_{0}\u2aafT{x}_{0}$. Let ${\{{x}_{\alpha}\}}_{\alpha \in \mathrm{\Gamma}}\subset Q$ be an increasing chain, where Γ is a directed set. From (3) we find that ${\{\phi ({x}_{\alpha})\}}_{\alpha \in \mathrm{\Gamma}}$ is a decreasing net of reals. Since

*φ*is bounded below, then ${inf}_{\alpha \in \mathrm{\Gamma}}\phi ({x}_{\alpha})$ exists. Let $\{{\alpha}_{n}\}$ be an increasing sequence of elements from Γ such that

*η*is nondecreasing, then

*X*, there exists some $\overline{x}\in X$ such that

*T*is increasing and ${x}_{{\alpha}_{n}}\in Q$, then

Let $n\to \mathrm{\infty}$, then $\overline{x}\u2aafT\overline{x}$ since $(-\mathrm{\infty},T\overline{x}]$ is closed by (4). This together with (6) indicates $\overline{x}\in Q$.

*Q*. For each $\alpha \in \mathrm{\Gamma}$, if there exists some ${n}_{0}$ such that ${x}_{\alpha}\u2aaf{x}_{{\alpha}_{{n}_{0}}}$, then by (6) we have ${x}_{\alpha}\u2aaf\overline{x}$ for each $\alpha \in \mathrm{\Gamma}$,

*i.e.*, $\overline{x}$ is an upper bound of ${\{{x}_{\alpha}\}}_{\alpha \in \mathrm{\Gamma}}$. If there exists some $\beta \in \mathrm{\Gamma}$ such that ${x}_{{\alpha}_{n}}\u2aaf{x}_{\beta}$ for each

*n*, by (3), we have $\phi ({x}_{\beta})\le \phi ({x}_{{\alpha}_{n}})$ for each

*n*. Let $n\to \mathrm{\infty}$, then we have $\phi ({x}_{\beta})={inf}_{\alpha \in \mathrm{\Gamma}}\phi ({x}_{\alpha})$ by (4) and ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{{\alpha}_{n}})={inf}_{\alpha \in \mathrm{\Gamma}}\phi ({x}_{\alpha})$. We claim that

Otherwise, there exists some ${\alpha}_{0}\in \mathrm{\Gamma}$ such that ${x}_{\beta}\u2aaf{x}_{{\alpha}_{0}}$ and ${x}_{{\alpha}_{0}}\ne {x}_{\beta}$. Then by (3) and ${\eta}^{-1}(\{0\})=\{0\}$, we have $0<\eta (d({x}_{{\alpha}_{0}},{x}_{\beta}))\le \phi ({x}_{\beta})-\phi ({x}_{{\alpha}_{0}})$, *i.e.*, $\phi ({x}_{{\alpha}_{0}})<\phi ({x}_{\beta})$. This contradicts $\phi ({x}_{\beta})={inf}_{\alpha \in \mathrm{\Gamma}}\phi ({x}_{\alpha})$, and hence ${x}_{\alpha}\u2aaf{x}_{\beta}$ for each $\alpha \in \mathrm{\Gamma}$, *i.e.*, ${x}_{\beta}$ is an upper bound of ${\{{x}_{\alpha}\}}_{\alpha \in \mathrm{\Gamma}}$.

By Zorn’s lemma, $(Q,\u2aaf)$ has a maximal element, denote it by ${x}^{\ast}$. Since ${x}^{\ast}\in Q$ and *T* is increasing, then ${x}^{\ast}\u2aafT{x}^{\ast}\u2aafT(T{x}^{\ast})$, and hence $T{x}^{\ast}\in Q$. Moreover, the maximality of ${x}^{\ast}$ in *Q* forces that ${x}^{\ast}=T{x}^{\ast}$. Therefore ${x}^{\ast}$ is a maximal fixed point of *T* in $[{x}_{0},+\mathrm{\infty})$.

*S*by

It is easy to check that the relation ${\u2aaf}_{S}$ is a partial order on *S*.

*S*, where ${I}_{\alpha}=[{x}_{\alpha},+\mathrm{\infty})$. From (3), (7), and (8), we find that ${\{{x}_{\alpha}\}}_{\alpha \in \mathrm{\Gamma}}$ is an increasing chain of

*M*, where

*n*. So, the increasing property of

*T*implies that

*M*, denote it by $\stackrel{\u02c6}{x}$. Set $\stackrel{\u02c6}{I}=[\stackrel{\u02c6}{x},+\mathrm{\infty})$. By $\stackrel{\u02c6}{x}\in M$ and (7), we have $\stackrel{\u02c6}{I}\in S$. Note that $\stackrel{\u02c6}{x}$ is an upper bound of ${\{{x}_{\alpha}\}}_{\alpha \in \mathrm{\Gamma}}$ in

*M*, then

*i.e.*, $\stackrel{\u02c6}{I}$ is a lower bound of ${\{{I}_{\alpha}\}}_{\alpha \in \mathrm{\Gamma}}$ in

*S*. By Zorn’s lemma, $(S,{\u2aaf}_{S})$ has a minimal element, denote it by ${I}^{\ast}=[{x}_{\ast},+\mathrm{\infty})$. By (7) we have ${x}_{0}\u2aaf{x}_{\ast}\u2aafT{x}_{\ast}$ and

Moreover, by the increasing property of *T*, we have ${x}_{0}\u2aaf{x}_{\ast}\u2aafT{x}_{\ast}\u2aafT(T{x}_{\ast})$ and $T{x}_{\ast}\u2aafTx=x$ for each $x\in {Fix}_{T}$. Set $\tilde{I}=[T{x}_{\ast},+\mathrm{\infty})$. Clearly, $\tilde{I}\in S$ and $\tilde{I}\subset {I}^{\ast}$ by (7). So, $\tilde{I}{\u2aaf}_{S}{I}^{\ast}$ by (8). Finally, the minimality of ${I}^{\ast}$ in *S* forces that $\tilde{I}={I}^{\ast}$, which implies that ${x}_{\ast}=T{x}_{\ast}$. Hence ${x}_{\ast}$ is a least fixed point of *T* in $[{x}_{0},+\mathrm{\infty})$ by (10). The proof is complete. □

**Theorem 2**

*Let*$(X,d)$

*be a complete metric space*,

*let*$\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$

*be a bounded above functional*,

*let*$\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*be a nondecreasing function with*${\eta}^{-1}(\{0\})=\{0\}$,

*and let*⪯

*be a partial order on*

*X*

*such that*(3)

*and*(4)

*are satisfied*.

*Let*$T:X\to X$

*be an increasing mapping*.

*Assume that there exists*${x}_{0}\in X$

*such that*$T{x}_{0}\u2aaf{x}_{0}$.

*Then*

- (i)
*T**has a minimal fixed point*${x}^{\ast}\in (-\mathrm{\infty},{x}_{0}]$,*i*.*e*.,*let*$x\in (-\mathrm{\infty},{x}_{0}]$*be a fixed point of**T*,*then*$x\u2aaf{x}^{\ast}$*implies*$x={x}^{\ast}$; - (ii)
*T**has a largest fixed point*${x}_{\ast}\in (-\mathrm{\infty},{x}_{0}]$,*i*.*e*.,*let*$x\in (-\mathrm{\infty},{x}_{0}]$*be a fixed point of**T*,*then*$x\u2aaf{x}_{\ast}$.

*Proof* Let ⪯_{1} be the inverse partial order of ⪯ and ${\phi}_{1}(x)=-\phi (x)$. Clearly, ${\phi}_{1}$ is bounded below on *X* since *φ* is bounded above, and ${x}_{0}{\u2aaf}_{1}T{x}_{0}$ by $T{x}_{0}\u2aaf{x}_{0}$. It is easy to check that (3) is satisfied for ⪯_{1} and ${\phi}_{1}$, and *T* is increasing with respect to ⪯_{1}. Set ${[x,+\mathrm{\infty})}_{1}=\{z\in X:x{\u2aaf}_{1}z\}$ and ${(-\mathrm{\infty},x]}_{1}=\{z\in X:z{\u2aaf}_{1}x\}$. Then ${[x,+\mathrm{\infty})}_{1}=(-\mathrm{\infty},x]$ and ${(-\mathrm{\infty},x]}_{1}=[x,+\mathrm{\infty})$, and ${[x,+\mathrm{\infty})}_{1}$ and ${(-\mathrm{\infty},x]}_{1}$ are closed for each $x\in X$ by (4). Applying Theorem 1 on $(X,{\u2aaf}_{1})$, we find that *T* has a maximal fixed point ${x}^{\ast}\in (-\mathrm{\infty},{x}_{0}]$ and a least fixed point ${x}_{\ast}\in (-\mathrm{\infty},{x}_{0}]$ corresponding to ⪯_{1}. Let $x\in (-\mathrm{\infty},{x}_{0}]$ be a fixed point of *T*. If $x\u2aaf{x}^{\ast}$, then ${x}^{\ast}{\u2aaf}_{1}x$, and hence $x={x}^{\ast}$ by the maximality of ${x}^{\ast}$ corresponding to ⪯_{1}, *i.e.*, ${x}^{\ast}$ is a minimal fixed point of *T* corresponding to ⪯. By the least property of ${x}_{\ast}$ corresponding to ⪯_{1}, we have ${x}_{\ast}{\u2aaf}_{1}x$, and hence $x\u2aaf{x}_{\ast}$, *i.e.*, ${x}_{\ast}$ is a largest fixed point of *T* corresponding to ⪯. The proof is complete. □

**Remark 2** From the proof of Theorem 1 (resp. Theorem 2), we find that it is only necessarily assumed in Theorem 1 (resp. Theorem 2) that the functional *φ* is bounded below (resp. above) on $[{x}_{0},+\mathrm{\infty})$ (resp. $(-\mathrm{\infty},{x}_{0}]$) and *T* is increasing on $[{x}_{0},+\mathrm{\infty})$ (resp. $(-\mathrm{\infty},{x}_{0}]$).

**Theorem 3**

*Let*$(X,d)$

*be a complete metric space*,

*let*$\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$

*be a functional*,

*let*$\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*be a nondecreasing function with*${\eta}^{-1}(\{0\})=\{0\}$,

*and let*⪯

*be a partial order on*

*X*

*such that*(3)

*and*(4)

*are satisfied*.

*Let*$T:X\to X$

*be a mapping*.

*Assume that there exist*${x}_{0},{y}_{0}\in X$

*with*${x}_{0}\u2aaf{y}_{0}$

*such that*

*and* *T* *is increasing on* $[{x}_{0},{y}_{0}]=\{z\in X:{x}_{0}\u2aafz\u2aaf{y}_{0}\}$. *Then* *T* *has a largest fixed point and a least fixed point in* $[{x}_{0},{y}_{0}]$.

*Proof* Note that $\phi ({x}_{0})\le \phi (x)\u2aaf\phi ({y}_{0})$ for each $x\in [{x}_{0},{y}_{0}]$ by (3), *i.e.*, *φ* is bounded on $[{x}_{0},{y}_{0}]$. Then the conclusion follows from Remark 2, Theorem 2, and Theorem 3. The proof is complete. □

**Remark 3** In our Theorems 1-3, the continuity and additivity of *η* necessarily assumed in [9] has been removed.

In analogy to the proof of [[7], Lemma 1], we can prove the following lemma.

**Lemma 2** *Let* $(X,d)$ *be a metric space*, *let* $\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ *be a continuous*, *nondecreasing*, *and subadditive function with* ${\eta}^{-1}(\{0\})=\{0\}$, *let* $\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$ *be a continuous functional*, *and let* ⪯ *be the partial order introduced by* (1). *Then for each* $x\in X$, $[x,+\mathrm{\infty})$ *and* $(-\mathrm{\infty},x]$ *are closed*.

It follows from Remark 1 and Lemma 2 that if *η* is a continuous, nondecreasing, and subadditive function with ${\eta}^{-1}(\{0\})=\{0\}$ and *φ* is a continuous functional, then the relation ⪯ defined by (1) is a partial order on *X* such that (3) and (4) are satisfied. Therefore by Theorem 1 and Theorem 3, we have the following corollaries.

**Corollary 1** *Let* $(X,d)$ *be a complete metric space*, *let* $\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$ *be a continuous and bounded below functional*, *let* $\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ *be a continuous*, *nondecreasing*, *and subadditive function with* ${\eta}^{-1}(\{0\})=\{0\}$, *and let* ⪯ *be the partial order introduced by *(1). *Let* $T:X\to X$ *be an increasing mapping*. *If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}\u2aafT{x}_{0}$, *then* *T* *has a maximal fixed point and a least fixed point in* $[{x}_{0},+\mathrm{\infty})$.

**Corollary 2** *Let* $(X,d)$ *be a complete metric space*, *let* $\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$ *be a continuous functional*, *let* $\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ *be a continuous*, *nondecreasing*, *and subadditive function with* ${\eta}^{-1}(\{0\})=\{0\}$, *and let* ⪯ *be the partial order introduced by* (1). *Let* $T:X\to X$ *be a mapping*. *Assume that there exist* ${x}_{0},{y}_{0}\in X$ *with* ${x}_{0}\u2aaf{y}_{0}$ *such that* (11) *is satisfied and* *T* *is increasing on* $[{x}_{0},{y}_{0}]$. *Then* *T* *has a largest fixed point and a least fixed point in* $[{x}_{0},{y}_{0}]$.

**Remark 4** It is clear that [[8], Theorem 3] is exactly a special case of Corollary 1 with $\eta (t)=t$. In addition, the existence of least fixed points has also been obtained in Theorem 1 and Corollary 1. Therefore both Theorem 1 and Corollary 1 indeed extend [[8], Theorem 3] and [[9], Theorem 2].

**Remark 5** Note that each largest (resp. least) fixed point of *T* must be a maximal (resp. minimal) fixed point of *T*, but the converse is not true. Therefore both Theorem 3 and Corollary 2 improve essentially [[8], Theorem 6] and [[9], Theorems 5].

**Example 2**Let

*X*,

*d*,

*φ*,

*η*, and ⪯ be the same as the ones appearing in Example 1 and

*φ*is continuous, $[\frac{1}{2},0]=\{z\in X:\frac{1}{2}\u2aafz\u2aaf0\}=X$, and $\frac{1}{2}\u2aafT\frac{1}{2}$, $T0\u2aaf0$. From Example 1 we know that ⪯ is a partial order such that (3) is satisfied. For each $x\in X$, we have

*X*, $\{0\}\cup \{\frac{1}{m}:m\ge n\}$ ($n\ge 2$) and $\{\frac{1}{m}:2\le m\le n\}$ ($n\ge 2$) are closed sets. Then, for each $x\in X$, $[x,+\mathrm{\infty})$ and $(-\mathrm{\infty},x]$ are closed,

*i.e.*, (4) is satisfied. By (12) we have

which implies that $Tx\u2aafTy$ for each $x,y\in X$ with $x\u2aafy$, *i.e.*, *T* is increasing on *X*. Therefore it follows from Theorem 3 that *T* has a largest fixed point and a least fixed point in *X*. In fact, 0 is the largest fixed point and $\frac{1}{2}$ is the least fixed point in $[\frac{1}{2},0]$.

**Remark 6** (i) The existence of fixed points in Example 2 could not be obtained by [[9], Theorem 2 and Theorem 5] since *η* is not subadditive.

Clearly, *T* is not a contractive mapping and hence the existence of fixed points in Example 2 could not be obtained by the fixed point theorems of contractive mappings in partially ordered metric spaces.

## Declarations

### Acknowledgements

This study was supported by the Natural Science Foundation of China (11161022), the Natural Science Foundation of Jiangxi Province (20114BAB211006, 20122BAB201015), the Educational Department of Jiangxi Province (GJJ12280) and the Program for Excellent Youth Talents of JXUFE(201201).

## Authors’ Affiliations

## References

- Caristi J: Fixed point theorems for mappings satisfying inwardness conditions.
*Trans. Am. Math. Soc.*1976, 215: 241–251.MATHMathSciNetView ArticleGoogle Scholar - Kirk WA: Caristi’s fixed-point theorem and metric convexity.
*Colloq. Math.*1976, 36: 81–86.MATHMathSciNetGoogle Scholar - Feng Y, Liu S: Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings.
*J. Math. Anal. Appl.*2006, 317: 103–112. 10.1016/j.jmaa.2005.12.004MATHMathSciNetView ArticleGoogle Scholar - Khamsi MA: Remarks on Caristi’s fixed point theorem.
*Nonlinear Anal.*2009, 71: 227–231. 10.1016/j.na.2008.10.042MATHMathSciNetView ArticleGoogle Scholar - Agarwal RP, Khamsi MA: Extension of Caristi’s fixed point theorem to vector valued metric space.
*Nonlinear Anal.*2011, 74: 141–145. 10.1016/j.na.2010.08.025MATHMathSciNetView ArticleGoogle Scholar - Li Z: Remarks on Caristi’s fixed point theorem and Kirk’s problem.
*Nonlinear Anal.*2010, 73: 3751–3755. 10.1016/j.na.2010.07.048MATHMathSciNetView ArticleGoogle Scholar - Li Z: Maximal and minimal point theorems and Caristi’s fixed point theorem.
*Fixed Point Theory Appl.*2011, 2011: 103. 10.1186/1687-1812-2011-103View ArticleGoogle Scholar - Zhang X: Fixed point theorems of monotone mappings and coupled fixed point of mixed monotone mappings in ordered metric space.
*Acta Math. Sin.*2001, 44: 641–646.MATHGoogle Scholar - Li Z: Fixed point theorems in partially ordered complete metrics paces.
*Math. Comput. Model.*2011, 54: 69–72. 10.1016/j.mcm.2011.01.035MATHView ArticleGoogle Scholar - Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations.
*Proc. Am. Math. Soc.*2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4MATHMathSciNetView ArticleGoogle Scholar - Nieto JJ, Rodriguez-Lopez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.
*Order*2005, 22: 223–239. 10.1007/s11083-005-9018-5MATHMathSciNetView ArticleGoogle Scholar - O’Regan D, Petrusel A: Fixed point theorems for generalized contractions in ordered metric spaces.
*J. Math. Anal. Appl.*2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026MATHMathSciNetView ArticleGoogle Scholar - Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets.
*Nonlinear Anal.*2009, 71: 3403–3410. 10.1016/j.na.2009.01.240MATHMathSciNetView ArticleGoogle Scholar - Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations.
*Nonlinear Anal.*2010, 72: 1188–1197. 10.1016/j.na.2009.08.003MATHMathSciNetView ArticleGoogle Scholar - Luong NV, Thuan NX: Fixed point theorem for generalized weak contractions satisfying rational expressions in ordered metrics paces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 46Google Scholar - Aghajani A, Radenovic S, Roshan JR:Common fixed point results for four mappings satisfying almost generalized $(S,T)$-contractive condition in partially ordered metric spaces.
*Appl. Math. Comput.*2012, 218: 5665–5670. 10.1016/j.amc.2011.11.061MATHMathSciNetView ArticleGoogle Scholar - Mursaleen M, Mohiuddine SA, Agarwal RP: Coupled fixed point theorems for generalized contractive mappings in partially ordered metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 228. doi:10.1186/1687–1812–2012–228Google Scholar - Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces.
*Appl. Anal.*2008, 87: 109–116. 10.1080/00036810701556151MATHMathSciNetView 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.