# Some fixed-point theorems for mixed monotone operators in partially ordered probabilistic metric spaces

- Jun Wu
^{1}Email author

**2014**:49

https://doi.org/10.1186/1687-1812-2014-49

© Wu; licensee Springer. 2014

**Received: **9 October 2013

**Accepted: **24 January 2014

**Published: **24 February 2014

## Abstract

In this paper, some fixed-point theorems for nonlinear contractive operators in partially ordered Menger probabilistic metric spaces are proved. A new extension theorem of the probabilistic versions of Boyd and Wong’s nonlinear contraction theorem is presented. As a consequence, our main results improve and generalize some recent coupled fixed-point theorems and coincidence-point theorems in (Ćirić, Nonlinear Anal. 72:2009-2018, 2010; Jachymski, Nonlinear Anal., 73:2199-2203, 2010; Ćirić, Agarwal and Samet, Fixed Point Theory Appl. 2011:56, 2011).

**MSC:**47H10, 54H25.

### Keywords

nonlinear contractive mapping probabilistic metric space monotone operator fixed point## 1 Introduction and preliminaries

It is well known that the probabilistic version of the classical Banach contraction principle was proved in 1972 by Sehgal and Bharucha-Reid [1]. In 2010, a truthful probabilistic version of the Banach fixed-point principle for general nonlinear contractions was presented by Ljubomir Ćirić [2]. Unfortunately, there is a counterexample [3] to the Ćirić’s key lemma. Meanwhile, Jacek Jachymski [3] established a corrected probabilistic version of the Banach fixed-point principle for general nonlinear contractions. Also, the fixed-point theorems in probabilistic metric spaces for other contraction mappings were investigated by many authors, see [4–27] the references therein.

In this paper, we try to extend this probabilistic version theorem to the partially ordered Menger probabilistic metric spaces and establish some fixed-point theorems for monotone operators. Also, we show a sufficient and necessary condition for the uniqueness of the fixed point for a class of monotony operators. As a consequence, our main results improved and extended some recent coupled fixed-point theorems and coincidence-point theorems for mixed monotone mappings in the literature [2–4].

At this stage, we recall some well-known definitions and results in the theory of partially ordered set and probabilistic metric spaces which are used later on in the paper. For more details, we refer the reader to [8, 20].

Let $(X,\le )$ be a partially ordered set, the subset $E\subset X$ is said to be a totally ordered subset if either $x\le y$ or $y\le x$ holds for all $x,y\in E$. We say the elements *x* and *y* are comparable if either $x\le y$ or $y\le x$ holds. It is said that the triple $(X,\le ,d)$ is a partially (totally) ordered complete metric space if $(X,\le )$ is a partially (totally) ordered set and $(X,d)$ is a complete metric space. It is said that the operator $F:X\to X$ is non-decreasing monotone with respect to the order ≤ if for any $x,y\in X$ with $x\le y$ we have $F(x)\le F(y)$. Let Φ denote all the functions $\varphi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ which satisfy $\varphi (r)<r$ and ${lim}_{n\to +\mathrm{\infty}}{\varphi}^{n}(r)=0$ for all $r>0$.

**Definition 1.1** (Bhaskar and Lakshmikantham [5])

*F*is said to have the mixed monotone property if

*F*is monotone non-decreasing in its first argument and is monotone non-increasing in its second argument, that is, for any $x,y\in X$,

**Definition 1.2** (Bhaskar and Lakshmikantham [5])

An element $(x,y)\in {X}^{2}$ is said to be a coupled fixed point of the mapping $F:{X}^{2}\to X$ if $F(x,y)=x$ and $F(y,x)=y$.

**Definition 1.3** [11]

*F*has the mixed

*h*-monotone property if

*F*is monotone

*h*-non-decreasing in its first argument and is monotone

*h*-non-increasing in its second argument, that is, for any $x,y\in X$

**Remark 1.1** If *F* has mixed *h*-monotone property, then *F* has mixed monotone property.

**Definition 1.4** [10]

A function $f:(-\mathrm{\infty},+\mathrm{\infty})\to [0,1]$ is called a distribution function if it is non-decreasing and left-continuous with ${inf}_{x\in R}f(x)=0$. If in addition $f(0)=0$, then *f* is called a distance distribution function. Furthermore, a distance distribution function *f* satisfying ${lim}_{t\to +\mathrm{\infty}}f(t)=1$ is called a Menger distance distribution function.

The set of all Menger distance distribution functions is denoted by ${\mathrm{\Lambda}}^{+}$.

**Definition 1.5** [10]

*T*-norm) is a binary operation △ on $[0,1]$, which satisfies the following conditions:

- (a)
△ is associative and commutative,

- (b)
△ is continuous,

- (c)
$\mathrm{\u25b3}(a,1)=a$ for all $a\in [0,1]$;

- (d)
$\mathrm{\u25b3}(a,b)\le \mathrm{\u25b3}(c,d)$ whenever $a\le c$ and $b\le d$, for each $a,b,c,d\in [0,1]$.

Among the important examples of a *T*-norm we mention the following two *T*-norms: ${\mathrm{\u25b3}}_{p}(a,b)=ab$ and ${\mathrm{\u25b3}}_{m}(a,b)=min\{a,b\}$. The *T*-norm ${\mathrm{\u25b3}}_{m}$ is the strongest *T*-norm, that is, $\mathrm{\u25b3}\le {\mathrm{\u25b3}}_{m}$ for every *T*-norm △.

**Definition 1.6** [9]

*H*-type (Hadžić type) if a family of functions ${\{{\mathrm{\u25b3}}^{n}(t)\}}_{n=1}^{+\mathrm{\infty}}$ is equicontinuous at $t=1$, that is,

Obviously, ${\mathrm{\u25b3}}^{n}(t)\le t$ for any $n\in N$ and $t\in [0,1]$.

**Definition 1.7** [23]

A Menger probabilistic metric space (abbreviated, Menger PM space) is a triple $(X,F,\mathrm{\u25b3})$ where *X* is a nonempty set, △ is a continuous *T*-norm and *F* is a mapping from $X\times X$ into ${\mathrm{\Lambda}}^{+}$ such that, if ${F}_{p,q}$ denotes the value of *F* at the pair $(p,q)$, the following conditions hold:

(PM_{1}) ${F}_{p,q}(t)=1$ for all $t>0$ if and only if $p=q$ $(p,q\in X)$.

(PM_{2}) ${F}_{p,q}(t)={F}_{q,p}(t)$ for all $p,q\in X$ and $t>0$.

(PM_{3}) ${F}_{p,r}(s+t)\ge \mathrm{\u25b3}({F}_{p,q}(t),{F}_{q,r}(s))$ for all $p,q,r\in X$ and every $s>0$, $t>0$.

**Definition 1.8** [23]

A sequence $\{{x}_{n}\}$ in *X* is said to converge to a point *x* in *X* (written as ${x}_{n}\to x$) if for every $\delta >0$ and $\lambda \in (0,1)$, there is an integer $N(\delta ,\lambda )>0$ such that ${F}_{{x}_{n},x}(\delta )>1-\lambda $, for all $n\ge N(\delta ,\lambda )$. The sequence is said to be a Cauchy sequence if for each $\delta >0$ and $\lambda \in (0,1)$, there is an integer $N(\delta ,\lambda )>0$ such that ${F}_{{x}_{n},{x}_{m}}(\delta )>1-\lambda $, for all $n,m\ge N(\delta ,\lambda )$. A Menger PM space $(X,F,\mathrm{\u25b3})$ is said to be complete if every Cauchy sequence in *X* converges to a point of *X*.

## 2 Main results

**Lemma 2.1**

*Let*$(X,F,\mathrm{\u25b3})$

*be a Menger PM space and*$\phi \in \mathrm{\Phi}$.

*If*

*then* $p=q$.

*Proof*Since ${F}_{p,q}(\phi (t))={F}_{p,q}(t)$, then ${F}_{p,q}({\phi}^{n}(t))={F}_{p,q}(t)$ for all $n\in {Z}^{+}$ and $t>0$. It follows from ${lim}_{t\to +\mathrm{\infty}}{F}_{p,q}(t)=1$ that, for $\epsilon \in (0,1)$, there is ${t}_{0}>0$ such that ${F}_{p,q}({t}_{0})>1-\epsilon $. Also, for $\delta >0$, there is $N(\delta )\in {Z}^{+}$ such that ${\phi}^{n}({t}_{0})\le \delta $ for all $n\ge N(\delta )$. Thus

This implies that ${F}_{p,q}(t)=1$ for all $t>0$. Thus $p=q$. □

**Lemma 2.2**

*Let*$n\ge 1$.

*If*$F\in {\mathrm{\Lambda}}^{+}$, ${g}_{1},{g}_{2},\dots ,{g}_{n}:R\to [0,1]$

*and*,

*for some*$\phi \in \mathrm{\Phi}$,

*then* $F(\phi (t))\ge min\{{g}_{1}(t),{g}_{2}(t),\dots ,{g}_{n}(t)\}$ *for all* $t>0$.

*Proof* If $min\{{g}_{1}(t),{g}_{2}(t),\dots ,{g}_{n}(t),F(t)\}<F(t)$, then the result of Lemma 2.2 trivially holds.

If $min\{{g}_{1}(t),{g}_{2}(t),\dots ,{g}_{n}(t),F(t)\}=F(t)$, then $F(t)\le F(\phi (t))\le F(t)$. Thus $F(\phi (t))=F(t)$ for all $t>0$. By the proof of Lemma 2.1, we see that $F(t)=1$ for all $t>0$. Thus ${g}_{1}(t)={g}_{2}(t)=\cdots ={g}_{n}(t)=1$ for all $t>0$. Then $F(\phi (t))\ge min\{{g}_{1}(t),{g}_{2}(t),\dots ,{g}_{n}(t)\}$ for all $t>0$. The proof is complete. □

**Lemma 2.3** *If* $(X,F,\mathrm{\u25b3})$ *is a complete Menger PM space*, *then* $({X}^{2},\tilde{F},\mathrm{\u25b3})$ *is also a complete Menger PM space*.

*Proof*It is sufficient to prove that, for $\tilde{a}=(x,y),\tilde{b}=(u,v),\tilde{c}=(p,q)\in {X}^{2}$ and $t,s\ge 0$,

Then ${F}_{{x}_{n},{x}_{m}}(t)>1-\lambda $ and ${F}_{{y}_{n},{y}_{m}}(t)>1-\lambda $. Thus both $\{{x}_{n}\}$ and $\{{y}_{n}\}$ are Cauchy sequences in $(X,F,\mathrm{\u25b3})$. Following Definition 1.8, it is a standard argument to show that the Cauchy sequence $\{{\tilde{x}}_{n}\}$ converges to a point of ${X}^{2}$. Thus $({X}^{2},\tilde{F},\mathrm{\u25b3})$ is a complete Menger PM space. The proof is complete. □

**Theorem 2.1**

*Let*$(X,\u2aaf,F,\mathrm{\u25b3})$

*be a partially ordered complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$G:X\to X$

*is a non*-

*decreasing operator with respect to the order*⪯

*on X*.

*Assume*

- (i)
*there is a*$\phi \in \mathrm{\Phi}$*such that*,*for all*$t>0$*and*$x,y\in X$*with*$x\u2aafy$,${F}_{G(x),G(y)}(\phi (t))\ge min\{{F}_{x,y}(t),{F}_{x,G(x)}(t),{F}_{y,G(y)}(t)\};$(1) - (ii)
*there exists an*${x}_{0}\in X$*such that*${x}_{0}\u2aafG({x}_{0})$; - (iii)
*either if*(a)*G**is a continuous operator or*(b)*if a non*-*decreasing monotone sequence*${x}_{n}$*in**X**tends to*$\overline{x}$,*then*${x}_{n}\u2aaf\overline{x}$*for all**n*.

*Then the operator* *G* *has a fixed point in* *X*.

*Proof*Define a sequence $\{{x}_{n}\}\subset X$ by ${x}_{n+1}=G({x}_{n})$, $n=0,1,\dots $ . Noting ${x}_{0}\u2aafG({x}_{0})$ and the monotony of

*G*, we have

If there exists ${n}_{0}$ such that ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$, then ${x}_{{n}_{0}}=G({x}_{{n}_{0}})$ and ${x}_{{n}_{0}}$ is a fixed point of *G*. Then the result of Theorem 2.1 trivially holds.

*n*. Following the assumption (i), we see that

This means ${lim}_{n\to \mathrm{\infty}}{F}_{{x}_{n+1},{x}_{n+2}}(t)=1$ for all $t>0$.

*X*. It is necessary to prove that, for any $\delta >0$ and $\epsilon \in (0,1)$, there is $N(\epsilon ,\delta )$ such that

Thus (2) holds for $k=1$.

*n*. Thus ${F}_{{x}_{n+p+1},{x}_{n+p}}(\delta )\ge {F}_{{x}_{n},{x}_{n+1}}(\delta )$. Then we have

*T*-norm △ of H-type, for a given $\epsilon \in (0,1)$, there exists $\lambda \in (0,1)$ such that ${\mathrm{\u25b3}}^{n}(t)>1-\epsilon $ for all $n\ge 1$ and when $t>1-\lambda $. On the other hand, by ${lim}_{n\to +\mathrm{\infty}}{F}_{{x}_{n},{x}_{n+1}}(\delta -\phi (\delta ))=1$, there is a ${N}_{1}(\epsilon ,\delta )$ such that

This implies that the sequence $\{{x}_{n}\}$ is a Cauchy sequence in *X*. Then by the completeness of *X*, there is $\overline{x}\in X$ such that ${lim}_{n\to +\mathrm{\infty}}{x}_{n}=\overline{x}$.

Then the operator *G* has a fixed point in *X*.

Letting *n* go to infinity, we have ${F}_{\overline{x},G(\overline{x})}(\phi (t))\ge {F}_{\overline{x},G(\overline{x})}(t)$. It follows from Lemma 2.1 that $\overline{x}=G(\overline{x})$. Then the operator *G* has a fixed point in *X*. The proof of Theorem 2.1 is complete. □

Let $D=\{x\in X:x\text{and}G(x)\text{are comparable}\}$, then we have the following.

**Theorem 2.2**

*Let*$(X,\u2aaf,F,\mathrm{\u25b3})$

*be a partially ordered complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$G:X\to X$

*is a non*-

*decreasing operator with respect to the order*⪯

*on X*.

*Assume*(i)

*in Theorem*2.1

*and one of following conditions hold*:

- (a)
*G**is a continuous operator*; - (b)
*if a monotone sequence*${x}_{n}$*in**X**tends to*$\overline{x}$,*then*${x}_{n}$*and*$\overline{x}$*are comparable for all**n*.

*Then the operator* *G* *has a fixed point in* *X* *if and only if* $D\ne \varphi $. *Furthermore*, *if* *D* *is a totally ordered nonempty subset*, *then the operator* *G* *has a unique fixed point in* *X*

*Proof* ⇒: It is easy to see that all the fixed points of *G* fall in the set *D*. Thus if the operator *G* has a fixed point in *X*, then $D\ne \varphi $.

*G*has a fixed point in

*X*. For the latter case: $G({x}_{0})\u2aaf{x}_{0}$, noting the symmetry of the probabilistic metric, we see that (1) holds for $y\u2aafx$. Thus

*x*is comparable with

*y*. Constructing the sequence $\{{x}_{n}\}$ in

*X*by ${x}_{n}=G({x}_{n-1})$, for $n=1,2,\dots $ , we have

Following a similar proof as of Theorem 2.1, we conclude that the operator *G* has a fixed point $\overline{x}$ in *X*.

*D*is a totally ordered nonempty subset. It is sufficient to prove the uniqueness of fixed point of $\tilde{F}$. Let

*x*and

*y*be two fixed points of

*G*, then

*x*is comparable with

*y*, $G(x)=x$ and $G(y)=y$. Following the assumption (i), we have

On the other hand, by $\phi (t)<t$ and the monotony of ${F}_{x,y}$, we see that ${F}_{x,y}(t)\ge {F}_{x,y}(\phi (t))$. Thus ${F}_{x,y}(t)={F}_{x,y}(\phi (t))$. It follows from Lemma 2.1 that $x=y$. The proof of Theorem 2.2 is complete. □

**Corollary 2.1**

*Let*$(X,\le ,F,\mathrm{\u25b3})$

*be a partially ordered complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$A:X\times X\to X$

*is a mapping satisfying the mixed monotone property on*

*X*

*and*,

*for some*$\phi \in \mathrm{\Phi}$,

*for all*$x,y\in X$

*for which*$x\le u$

*and*$v\le y$

*and all*$t>0$.

*Suppose that*

*A*

*is a continuous mapping or*

*X*

*has the following properties*:

- (i)
*if non*-*decreasing sequence*${x}_{n}$*tends to**x*,*then*${x}_{n}\le x$*for all**n*, - (ii)
*if non*-*increasing sequence*${y}_{n}$*tends to**y*,*then*$y\le {y}_{n}$*for all**n*.

*If there exist* ${x}_{0},{y}_{0}\in X$ *such that* ${x}_{0}\le A({x}_{0},{y}_{0})$ *and* $A({y}_{0},{x}_{0})\le {y}_{0}$, *then* *A* *has a coupled point*, *that is*, *there exist* $p,q\in X$ *such that* $A(p,q)=p$ *and* $A(q,p)=q$.

*Proof*Let $\tilde{X}=X\times X$, for $\tilde{a}=(x,y),\tilde{b}=(u,v)\in x$, we introduce the order ⪯ as

Then a coupled point of *A* is a fixed point of *G* and vice versa.

If $\tilde{a}\u2aaf\tilde{b}$, then $x\le u$ and $v\le y$. Noting the mixed monotone property of *A*, we see that $A(x,y)\le A(u,v)$ and $A(v,u)\le A(y,x)$, then $G(\tilde{a})\u2aafG(\tilde{b})$. Thus *G* is a non-decreasing operator with respect to the order ⪯ on $\tilde{X}$.

Also, there exists an ${\tilde{x}}_{0}=({x}_{0},{y}_{0})\in \tilde{X}$ such that ${\tilde{x}}_{0}\u2aafG({\tilde{x}}_{0})=(A({x}_{0},{y}_{0}),A({y}_{0},{x}_{0}))$.

If a non-decreasing monotone sequence $\{{\tilde{x}}_{n}\}=\{({x}_{n},{y}_{n})\}$ in $\tilde{X}$ tends to $\tilde{x}=(x,y)$, then ${\tilde{x}}_{n}=({x}_{n},{y}_{n})\u2aaf({x}_{n+1},{y}_{n+1})={\tilde{x}}_{n+1}$, that is, ${x}_{n}\le {x}_{n+1}$ and ${y}_{n+1}\le {y}_{n}$. Thus $\{{x}_{n}\}$ is non-decreasing sequence tending to *x* and $\{{y}_{n}\}$ a non-increasing sequence tending to *y*. Thus ${x}_{n}\le x$ and $y\le {y}_{n}$ for all *n*. This implies ${\tilde{x}}_{n}\u2aaf\tilde{x}$. Obviously, the continuity of *A* implies the continuity of *G*.

Following Theorem 2.1, we see that *A* has a coupled point, that is, there exist $p,q\in X$ such that $A(p,q)=p$ and $A(q,p)=q$. □

**Corollary 2.2**

*Let*$(X,\u2aaf,F,\mathrm{\u25b3})$

*be a partially ordered complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$A:X\times X\to X$

*and*$h:X\to X$

*are two mappings such that*

*A*

*has the*

*h*-

*mixed monotone property on*

*X*

*and*,

*for some*$\phi \in \mathrm{\Phi}$,

*for all* $x,y\in X$ *for which* $h(x)\le h(u)$ *and* $h(v)\le h(y)$ *and all* $t>0$. *Suppose also that* $A(X\times X)\subset h(X)$, $h(X)$ *is closed and*

*if* $\{h({x}_{n})\}\subset X$ *is a non*-*decreasing sequence with* $h({x}_{n})\to h(z)$ *in* $h(X)$

*then* $h({x}_{n})\le h(z)$ *for all* *n* *holds*,

*if* $\{h({y}_{n})\}\subset X$ *is a non*-*increasing sequence with* $h({y}_{n})\to h(z)$ *in* $h(X)$

*then* $h(z)\le h({y}_{n})$ *for all* *n* *holds*.

*If there exist* ${x}_{0},{y}_{0}\in X$ *such that* $h({x}_{0})\le A({x}_{0},{y}_{0})$ *and* $A({y}_{0},{x}_{0})\le h({y}_{0})$, *then* *A* *and* *h* *have a coupled coincidence point*, *that is*, *there exist* $p,q\in X$ *such that* $A(p,q)=h(p)$ *and* $A(q,p)=h(q)$.

*Proof*Using the method in [7], we see that there exists $E\subset X$ such that $h(E)=h(X)$ and $h:E\to X$ is one-to-one. Define the mapping $H:h(E)\times h(E)\to h(E)$ by $H(h(x),h(y))=A(x,y)$. Since $h:E\to X$ is one-to-one, it follows that

*H*is well defined. Thus

for $h(x)\le h(u)$, $h(v)\le h(y)$.

*A*has the mixed

*h*-monotone property, the operator

*H*has the mixed monotone property. Following the results in Corollary 2.1, we conclude that

*H*has a coupled fixed point in $h(E)\times h(E)$, that is,

The proof is complete. □

**Remark 2.1** Corollary 2.2 improves and generalizes Theorem 7 in [4].

Following similar arguments as in the proof of Theorems 2.1 and 2.2, we can deduce the next result. We omit the details of the proof.

**Theorem 2.3**

*Let*$(X,F,\mathrm{\u25b3})$

*be a complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$G:X\to X$

*is a mapping satisfying the following*:

*there is a*$\phi \in \mathrm{\Phi}$

*such that*,

*for all*$t>0$

*and*$x,y\in X$,

*Then the operator* *G* *has a unique fixed point in* *X*.

**Corollary 2.3** ([3], Theorem 1)

*Let*$(X,F,\mathrm{\u25b3})$

*be a complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$G:X\to X$

*is a mapping satisfying that there is a*$\phi \in \mathrm{\Phi}$

*such that*,

*for all*$t>0$

*and*$x,y\in X$,

*Then the operator* *G* *has a unique fixed point* $\overline{x}$ *in* *X*, *and*, *for any* ${x}_{0}\in X$, ${lim}_{n\to \mathrm{\infty}}{G}^{n}({x}_{0})=\overline{x}$.

*Proof*Since

we conclude from Theorem 2.3 that the operator *G* has a unique fixed point $\overline{x}$ in *X*, and, for any ${x}_{0}\in X$, ${lim}_{n\to \mathrm{\infty}}{G}^{n}({x}_{0})=\overline{x}$. □

**Corollary 2.4** ([2], Theorem 13)

*Let*$(X,F,\mathrm{\u25b3})$

*be a complete Menger PM space with a*

*T*-

*norm*△

*of H*-

*type*.

*Suppose*$G:X\to X$

*is a mapping satisfying*,

*for all*$t>0$

*and*$x,y\in X$,

*where* $\alpha :(0,\mathrm{\infty})\to [0,1)$ *is a monotonically decreasing function*. *Then the operator* *G* *has a unique fixed point in* *X*.

*Proof*Set $\phi (t)=\alpha (t)t$. It is sufficient to prove that $\phi \in \mathrm{\Phi}$. In fact, for all $t>0$, since $\alpha (t)<1$, then $\phi (t)<t$. On the other hand, for all $n\in {Z}^{+}$, we see that $0\le {\phi}^{n+1}(r)=\phi ({\phi}^{n}(r))<{\phi}^{n}(r)$, thus the sequence $\{{\phi}^{n}(r)\}$ is convergent. Let ${lim}_{n\to +\mathrm{\infty}}{\phi}^{n}(r)=a\ge 0$, then $a={lim}_{r\to a+}\phi (r)$. Suppose $a>0$, then, by the monotony of

*α*, we see that

This is a contradiction. Thus ${lim}_{n\to +\mathrm{\infty}}{\phi}^{n}(r)=0$. This implies that $\phi \in \mathrm{\Phi}$. Then the Corollary 2.4 is a consequence of Theorem 2.3 or Corollary 2.3. □

## 3 Conclusions

In this paper, we establish some fixed-point theorems for monotony operators and extend the probabilistic version of the Banach fixed-point principle for general nonlinear contractions to the partially ordered Menger probabilistic metric spaces. Also, we show a sufficient and necessary condition to the existence of the fixed point for a class of monotone operators. As a consequence, our main results improved and extended some recent coupled fixed-point theorems and coincidence-point theorems for the mixed monotone mappings in the literature [2–4].

Finally, we mention two possible applications of our results. One is to the theory of fuzzy metric spaces. Since the difference between Menger PM space and fuzzy metric spaces lies in the different metric, some coincidence-point theorems and fixed-point theorems in fuzzy metric spaces can be obtained under some suitable restrictions. Another possible application of our results is to the theory of random operator equations.

## Declarations

### Acknowledgements

The authors are grateful to the reviewers for their valuable comments and suggestions. This work was partly supported by National Natural Science Foundation of China (11301039).

## Authors’ Affiliations

## References

- Sehgal VM, Bharucha-Reid AT: Fixed points of contraction mappings on PM-spaces.
*Math. Syst. Theory*1972, 6: 97–102. 10.1007/BF01706080View ArticleMathSciNetGoogle Scholar - Ćirić L: Solving the Banach fixed point principle for nonlinear contractions in probabilistic metric spaces.
*Nonlinear Anal.*2010, 72: 2009–2018. 10.1016/j.na.2009.10.001View ArticleMathSciNetGoogle Scholar - Jachymski J: On probabilistic
*φ*-contractions on Menger spaces.*Nonlinear Anal.*2010, 73: 2199–2203. 10.1016/j.na.2010.05.046View ArticleMathSciNetGoogle Scholar - Ćirić L, Agarwal RP, Samet B: Mixed monotone-generalized contractions in partially ordered probabilistic metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 56Google 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.017View ArticleMathSciNetGoogle Scholar - Cherichi M, Samet B: Fixed point theorems on ordered gauge spaces with applications to nonlinear integral equations.
*Fixed Point Theory Appl.*2012., 2012: Article ID 13Google Scholar - Haghi RH, Rezapour Sh, Shahzad N: Some fixed point generalizations are not real generalizations.
*Nonlinear Anal.*2011, 74: 1799–1803. 10.1016/j.na.2010.10.052View ArticleMathSciNetGoogle Scholar - Hadzić O, Pap E:
*Fixed Point Theory in Probabilistic Metric Spaces*. Kluwer Academic, Dordrecht; 2001.View ArticleGoogle Scholar - Hadzić O: A fixed point theorem in Menger spaces.
*Publ. Inst. Math. (Belgr.)*1979, 20: 107–112.Google Scholar - Hadzić O, Ovcin Z: Fixed point theorems in fuzzy metric and probabilistic metric spaces.
*Zb. Rad. Prir.-Mat. Fak., Ser. Mat.*1994, 24: 197–209.Google Scholar - Lakshmikantham V, Ciric L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces.
*Nonlinear Anal.*2009, 70: 4341–4349. 10.1016/j.na.2008.09.020View ArticleMathSciNetGoogle Scholar - Liu Y, Li Z: Coincidence point theorems in probabilistic and fuzzy metric spaces.
*Fuzzy Sets Syst.*2007, 158: 58–70. 10.1016/j.fss.2006.07.010View ArticleGoogle Scholar - Liu Y, Wang X: Contraction conditions with perturbed linear operators and applications.
*Math. Commun.*2010, 15: 25–35.MathSciNetGoogle Scholar - Liu Y, Li Z: Krasnoselskii type fixed point theorems and applications.
*Proc. Am. Math. Soc.*2008, 136: 1213–1220.View ArticleGoogle Scholar - Liu Y, Li Z: Schaefer type theorem and periodic solutions of evolution equations.
*J. Math. Anal. Appl.*2006, 316: 237–255. 10.1016/j.jmaa.2005.04.045View ArticleMathSciNetGoogle Scholar - Mihet D: Altering distances in probabilistic Menger spaces.
*Nonlinear Anal.*2009, 71: 2734–2738. 10.1016/j.na.2009.01.107View ArticleMathSciNetGoogle Scholar - Mihet D: Fixed point theorems in probabilistic metric spaces.
*Chaos Solitons Fractals*2009, 41(2):1014–1019. 10.1016/j.chaos.2008.04.030View ArticleMathSciNetGoogle Scholar - Mihet D: A note on a paper of Hicks and Rhoades.
*Nonlinear Anal.*2006, 65: 1411–1413. 10.1016/j.na.2005.10.021View ArticleMathSciNetGoogle Scholar - Abbas M, Nazir T, Radenović S: Common fixed point of generalized weakly contractive maps in partially ordered
*G*-metric spaces.*Appl. Math. Comput.*2012, 218: 9383–9395. 10.1016/j.amc.2012.03.022View ArticleMathSciNetGoogle Scholar - Rus IA:
*Generalized Contractions and Applications*. Cluj University Press, Cluj; 2001.Google Scholar - Saadati R, Sedghi S, Shobe N: Modified intuitionistic fuzzy metric spaces and some fixed point theorems.
*Chaos Solitons Fractals*2006, 38: 36–47.View ArticleMathSciNetGoogle Scholar - Samet B, Rajovic M,
*et al*.: Common fixed-point results for nonlinear contractions in ordered partial metric spaces.*Fixed Point Theory Appl.*2011., 2011: Article ID 71Google Scholar - Schweizer B, Sklar A:
*Probabilistic Metric Spaces*. North-Holland, New York; 1983.Google Scholar - O’Regan D, Saadati R: Nonlinear contraction theorems in probabilistic spaces.
*Appl. Math. Comput.*2008, 195: 86–93. 10.1016/j.amc.2007.04.070View ArticleMathSciNetGoogle Scholar - Xiao JZ, Zhu XH, Cao YF: Common coupled fixed point results for probabilistic
*ϕ*-contractions in Menger spaces.*Nonlinear Anal.*2011, 74: 4589–4600. 10.1016/j.na.2011.04.030View ArticleMathSciNetGoogle Scholar - Shatanawi W: Some fixed point results for a generalized
*ψ*-weak contraction mappings in orbitally metric spaces.*Chaos Solitons Fractals*2012, 45: 520–526. 10.1016/j.chaos.2012.01.015View ArticleMathSciNetGoogle Scholar - Ume JS: Fixed point theorems for nonlinear contractions in Menger spaces.
*Abstr. Appl. Anal.*2011., 2011: Article ID 143959Google 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 credited.