• Research
• Open Access

# Mixed monotone-generalized contractions in partially ordered probabilistic metric spaces

Fixed Point Theory and Applications20112011:56

https://doi.org/10.1186/1687-1812-2011-56

• Accepted: 23 September 2011
• Published:

## Abstract

In this article, a new concept of mixed monotone-generalized contraction in partially ordered probabilistic metric spaces is introduced, and some coupled coincidence and coupled fixed point theorems are proved. The theorems Presented are an extension of many existing results in the literature and include several recent developments.

Mathematics Subject Classification: Primary 54H25; Secondary 47H10.

## Keywords

• probabilistic metric spacemixed monotone property
• partially ordered set
• coupled coincidence fixed point
• coupled fixed point

## 1 Introduction

The Banach contraction principle [1] is one of the most celebrated fixed point theorem. Many generalizations of this famous theorem and other important fixed point theorems exist in the literature (cf. [237]).

Ran and Reurings [3] proved the Banach contraction principle in partially ordered metric spaces. Recently Agarwal et al. [2] presented some new fixed point results for monotone and generalized contractive type mappings in partially ordered metric spaces. Bhaskar and Lakshmikantham [4] initiated and proved some new coupled fixed point results for mixed monotone and contraction mappings in partially ordered metric spaces. The main idea in [211] involve combining the ideas of iterative technique in the contraction mapping principle with those in the monotone technique.

In [3], Ran and Reurings proved the following Banach type principle in partially ordered metric spaces.

Theorem 1 (Ran and Reurings [3]). Let (X, ≤) be a partially ordered set such that every pair x, y X has a lower and an upper bound. Let d be a metric on X such that the metric space (X, d) is complete. Let f : XX be a continuous and monotone (that is, either decreasing or increasing) operator. Suppose that the following two assertions hold:

(1) there exists k (0, 1) such that d(f (x), f (y)) ≤ k d(x, y), for each x, y X with xy,

(2) there exists x0 X such that x0f (x0) or x0f (x0).

Then f has a unique fixed point x* X, i.e. f(x*) = x*, and for each x X, the sequence {f n (x)} of successive approximations of f starting from x converges to x* X.

The results of Ran and Reurings [3] have motivated many authors to undertake further investigation of fixed points in the field of ordered metric spaces: Agarwal et al. [2], Bhaskar and Lakshmikantham [4], Bhaskar et al. [5], Ćirić and Lakshmikantham [7], Ćirić et al. [8, 9], Lakshmikantham and Ćirić [10], Nieto and López [6, 11], Samet [1214], and others.

Fixed point theory in probabilistic metric spaces can be considered as a part of probabilistic analysis, which is a very dynamic area of mathematical research. The theory of probabilistic metric spaces was introduced in 1942 by Menger [15]. These are generalizations of metric spaces in which the distances between points are described by probability distributions rather than by numbers. Schweizer and Sklar [16, 17] studied this concept and gave some fundamental results on these spaces. In 1972, Sehgal and Bharucha-Reid [18] initiated the study of contraction mappings on probabilistic metric spaces. Since then, several results have been obtained by various authors in this direction. For more details, we refer the reader to [1927].

In [8], Ćirić et al. introduced the concept of monotone generalized contraction in partially ordered probabilistic metric spaces and proved some fixed and common fixed point theorems on such spaces.

In this article, we introduce a new concept of mixed monotone generalized contraction in partially ordered probabilistic metric spaces and we prove some coupled coincidence and coupled fixed point theorems on such spaces. Presented theorems extend many existing results in the literature, in particular, the results obtained by Bhaskar and Lakshmikantham [4], Lakshmikantham and Ćirić [10], and include several recent developments.

Throughout this article, the space of all probability distribution functions is denoted by Δ+ = {F : {-∞, +∞} → [0,1]: F is left-continuous and non-decreasing on , F(0) = 0 and F(+∞) = 1} and the subset D+ Δ+ is the set D+ = {F Δ+ : limt→+∞F(t) = 1}. The space Δ+ is partially ordered by the usual point-wise ordering of functions, i.e., FG if and only if F(t) ≤ G(t) for all t in . The maximal element for Δ+ in this order is the distribution function given by
${\epsilon }_{0}\left(t\right)=\left\{\begin{array}{c}\hfill 0,\phantom{\rule{1em}{0ex}}\mathsf{\text{if}}\phantom{\rule{2.77695pt}{0ex}}t\le 0,\hfill \\ \hfill 1,\phantom{\rule{1em}{0ex}}\mathsf{\text{if}}\phantom{\rule{2.77695pt}{0ex}}t>0.\hfill \end{array}\right\$

We refer the reader to [22] for the terminology concerning probabilistic metric spaces (also called Menger spaces).

## 2 Main results

We start by recalling some definitions introduced by Bhaskar and Lakshmikantham [4] and Lakshmikantham and Ćirić [10].

Definition 2 (Bhaskar and Lakshmikantham [4]). Let X be a non-empty set and A : X × XX be a given mapping. An element (x, y) X × X is said to be a coupled fixed point of A if
$A\left(x,y\right)=x\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}A\left(y,x\right)=y.$

Definition 3 (Lakshmikantham and Ćirić [10]). Let X be a non-empty set, A : X × XX and h : XX are given mappings.

(1) An element (x, y) X × X is said to be a coupled coincidence point of A and h if
$A\left(x,y\right)=h\left(x\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}A\left(y,x\right)=h\left(y\right).$
(2) An element (x, y) X × X is said to be a coupled common fixed point of A and h if
$A\left(x,y\right)=h\left(x\right)=x\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}A\left(y,x\right)=h\left(y\right)=y.$
(3) We say that A and h commute at (x, y) X × X if
$h\left(A\left(x,y\right)\right)=A\left(h\left(x\right),h\left(y\right)\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}h\left(A\left(y,x\right)\right)=A\left(h\left(y\right),h\left(x\right)\right).$
(4) A and h commute if
$h\left(A\left(x,y\right)\right)=A\left(h\left(x\right),h\left(y\right)\right),\phantom{\rule{1em}{0ex}}for\phantom{\rule{2.77695pt}{0ex}}all\phantom{\rule{2.77695pt}{0ex}}\left(x,y\right)\in X×X.$
Definition 4 (Lakshmikantham and Ćirić [10]). Let (X, ≤) be a partially ordered set, A : X × X → X and h : X → X are given mappings. We say that A has the mixed h-monotone property if for all x, y X, we have
$\begin{array}{c}{x}_{1},{x}_{2}\phantom{\rule{1em}{0ex}}\in \phantom{\rule{1em}{0ex}}X,\phantom{\rule{1em}{0ex}}h\left({x}_{1}\right)\le h\left({x}_{2}\right)⇒A\left({x}_{1},y\right)\le A\left({x}_{2},y\right),\\ {y}_{1},{y}_{2}\phantom{\rule{1em}{0ex}}\in \phantom{\rule{1em}{0ex}}X,\phantom{\rule{1em}{0ex}}h\left({y}_{1}\right)\ge h\left({y}_{2}\right)⇒A\left(x,{y}_{1}\right)\le A\left(x,{y}_{2}\right).\end{array}$

If h is the identity mapping on X, then A satisfies the mixed monotone property.

We need the following lemmas to prove our main results.

Lemma 5. Let n ≥ 1. If F D+, G1, G2, , G n : → [0,1] are non-decreasing functions and, for some k (0, 1),
$F\left(kt\right)\ge min\left\{{G}_{1}\left(t\right),{G}_{2}\left(t\right),\cdots \phantom{\rule{0.3em}{0ex}},{G}_{n}\left(t\right),F\left(t\right)\right\},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\forall t>0,$
(1)

then F(kt) ≥ min{G1(t), G2(t), , G n (t)} for all t > 0.

Proof. The proof is a simple adaptation of that of Lemma 3.3 in [8]. □

Lemma 6. Let (X, F, Δ) be a Menger PM-space and k (0, 1). If
$min\left\{{F}_{p,q}\left(kt\right),{F}_{s,v}\left(kt\right)\right\}=min\left\{{F}_{p,q}\left(t\right),{F}_{s,v}\left(t\right)\right\},\phantom{\rule{1em}{0ex}}for\phantom{\rule{0.5em}{0ex}}all\phantom{\rule{2.77695pt}{0ex}}t>0,$
(2)

then p = q and s = v.

Proof. From (2) it is easy to show by induction that
(3)
Now we shall show that min{F pq (t), F s,v (t)} = 1 for all t > 0. Suppose, to the contrary, that there exists some t0 > 0 such that min{F pq (t0), F s,v (t0)} < 1. Since (X, F) is a Menger PM space, then min{F pq (t), F s,v (t)} → 1 as t → ∞. Therefore, there exists t1 > t0 such that
$min\left\{{F}_{pq}\left({t}_{1}\right),{F}_{s,v}\left({t}_{1}\right)\right\}>min\left\{{F}_{pq}\left({t}_{0}\right),{F}_{s,v}\left({t}_{0}\right)\right\}.$
(4)
Since t0 > 0 and k (0, 1), there exists a positive integer n > 1 such that k n t1 < t0. Then by the monotony of F pq (·) and Fs,v(·), it follows that min{F pq (k n t1), F s,v (k n t1)} ≤ min{F pq (t0), F s,v (t0)}. Hence and from (3) with t = t1, we have
$min\left\{{F}_{pq}\left({t}_{1}\right),{F}_{s,v}\left({t}_{1}\right)\right\}=min\left\{{F}_{pq}\left({k}^{n}{t}_{1}\right),{F}_{s,v}\left({k}^{n}{t}_{1}\right)\right\}\le min\left\{{F}_{pq}\left({t}_{0}\right),{F}_{s,v}\left({t}_{0}\right\},$

a contradiction with (4). Therefore min{F pq (t), F s,v (t)} = 1 for all t > 0, which implies that F pq (t) = 1 and F s,v (t) = 1 for all t > 0. Hence p = q and s = v. □

Now, we state and prove our first result.

Theorem 7. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type (Hadžić-type). Suppose A : X × X → X and h : X → X are two mappings such that A has the h-mixed monotone property on X and, for some k (0, 1),
$\begin{array}{c}{F}_{A\left(x,y\right),A\left(u,v\right)}\left(kt\right)\ge \mathrm{min}\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right),{F}_{h\left(x\right),A\left(x,y\right)}\left(t\right),\\ {F}_{h\left(u\right),A\left(u,v\right)}\left(t\right),{F}_{h\left(y\right),A\left(y,x\right)}\left(t\right),{F}_{h\left(v\right),A\left(v,u\right)}\left(t\right)\right\}\end{array}$
(5)
for all x, y X for which h(x) ≤ h(u) and h(y) ≥ h(v) and all t > 0. Suppose also that A(X × X) h(X), h(X) is closed and
$\begin{array}{c}if\left\{h\left({x}_{n}\right)\right\}\subset X\phantom{\rule{0.5em}{0ex}}is\phantom{\rule{0.5em}{0ex}}a\phantom{\rule{0.5em}{0ex}}non\phantom{\rule{0.5em}{0ex}}decreasing\phantom{\rule{0.5em}{0ex}}sequence\phantom{\rule{0.5em}{0ex}}with\phantom{\rule{0.5em}{0ex}}h\left({x}_{n}\right)\to h\left(z\right)\phantom{\rule{0.5em}{0ex}}in\phantom{\rule{0.5em}{0ex}}h\left(X\right)\\ then\phantom{\rule{0.5em}{0ex}}h\left({x}_{n}\right)\le h\left(z\right)\phantom{\rule{0.5em}{0ex}}for\phantom{\rule{0.5em}{0ex}}all\phantom{\rule{0.5em}{0ex}}n\phantom{\rule{0.5em}{0ex}}hold,\end{array}$
(6)
(7)
If there exist x0, y0 X such that
$h\left({x}_{0}\right)\le A\left({x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}h\left({y}_{0}\right)\ge A\left({y}_{0},{x}_{0}\right),$

then A and h have a coupled coincidence point, that is, there exist p, q X such that A(p, q) = h(p) and A(q, p) = h(q).

Proof. By hypothesis, there exist (x0, y0) X × X such that h(x0) ≤ A(x0, y0) and h(y0) ≥ A(y0, x0). Since A(X × X) h(X), we can choose x1, y1 X such that h(x1) = A(x0, y0) and h(y1) = A(y0, x0). Now A(x1, y1) and A(y1, x1) are well defined. Again, from A(X × X) h(X), we can choose x2, y2 X such that h(x2) = A(x1, y1) and h(y2) = A(y1, x1). Continuing this process, we can construct sequences {x n } and {y n } in X such that
(8)
We shall show that
(9)
and
(10)
We shall use the mathematical induction. Let n = 0. Since h(x0) ≤ A(x0, y0) and h(y0) ≥ A(y0, x0), and as h(x1) = A(x0, y0) and h(y1) = A(y0, x0), we have h(x0) ≤ h(x1) and h(y0) ≥ h(y1). Thus (9) and (10) hold for n = 0. Suppose now that (9) and (10) hold for some fixed n . Then, since h(x n ) ≤ h(xn+1) and h(yn+1) ≤ h(y n ), and as A has the h-mixed monotone property, from (8),
$h\left({x}_{n+1}\right)=A\left({x}_{n},{y}_{n}\right)\le A\left({x}_{n+1},{y}_{n}\right)\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}A\left({y}_{n+1},{x}_{n}\right)\le A\left({y}_{n},{x}_{n}\right)=h\left({y}_{n+1}\right),$
(11)
and from (8),
$h\left({x}_{n+2}\right)=A\left({x}_{n+1},{y}_{n+1}\right)\ge A\left({x}_{n+1},{y}_{n}\right)\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}A\left({y}_{n+1},{x}_{n}\right)\ge A\left({y}_{n+1},{x}_{n+1}\right)=h\left({y}_{n+2}\right).$
(12)
Now from (11) and (12), we get
$h\left({x}_{n+1}\right)\le h\left({x}_{n+2}\right)$
and
$h\left({y}_{n+1}\right)\ge h\left({y}_{n+2}\right).$
Thus by the mathematical induction we conclude that (9) and (10) hold for all n . Therefore,
$h\left({x}_{0}\right)\le h\left({x}_{1}\right)\le h\left({x}_{2}\right)\le h\left({x}_{3}\right)\le \cdots \le h\left({x}_{n}\right)\le h\left({x}_{n+1}\right)\le \cdots$
(13)
and
$h\left({y}_{0}\right)\ge h\left({y}_{1}\right)\ge h\left({y}_{2}\right)\ge h\left({y}_{3}\right)\ge \cdots \ge h\left({y}_{n}\right)\ge h\left({y}_{n+1}\right)\ge \cdots \phantom{\rule{0.3em}{0ex}}.$
(14)
Now, from (13) and (14), we can apply (5) for (x, y) = (x n , y n ) and (u, v) = (xn+1, yn+1). Thus, for all t > 0, we have
$\begin{array}{c}{F}_{A\left({x}_{n},{y}_{n}\right),A\left({x}_{n+1},{y}_{n+1}\right)}\left(kt\right)\ge \mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{{\phantom{\rule{0.1em}{0ex}}}_{n+1}}\right)}\left(t\right),{F}_{h\left({y}_{n}\right),h\left({y}_{{\phantom{\rule{0.1em}{0ex}}}_{n+1}}\right)}\left(t\right),{F}_{h\left({x}_{n}\right),A\left({x}_{n},{y}_{n}\right)}\left(t\right),\\ {F}_{h\left({x}_{{\phantom{\rule{0.1em}{0ex}}}_{n+1}}\right),A\left({x}_{n+1},{y}_{n+1}\right)}\left(t\right),{F}_{h\left({y}_{n}\right),A\left({y}_{n},{x}_{n}\right)}\left(t\right),{F}_{h\left({y}_{{\phantom{\rule{0.1em}{0ex}}}_{n+1}}\right),A\left({y}_{{\phantom{\rule{0.1em}{0ex}}}_{n+1}},{x}_{{\phantom{\rule{0.1em}{0ex}}}_{n+1}}\right)}\left(t\right)\right\}.\end{array}$
Using (8), we obtain
$\begin{array}{c}{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(kt\right)\ge \mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(t\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(t\right),{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right),\\ {F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(t\right)\right\}.\end{array}$
(15)
Similarly, from (13) and (14), we can apply (5) for (x, y) = (yn+1, xn+1) and (u, v) = (y n , x n ). Thus, by using (8), for all t > 0 we get
$\begin{array}{c}{F}_{h\left({y}_{n+2}\right),h\left({y}_{n+1}\right)}\left(kt\right)\ge \mathrm{min}\left\{{F}_{h\left({y}_{n+1}\right),h\left({y}_{n}\right)}\left(t\right),{F}_{h\left({x}_{n+1}\right),h\left({x}_{n}\right)}\left(t\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(t\right),\\ {F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right)\right\}.\end{array}$
(16)
From (15) and (16), we have
$\begin{array}{c}\phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(kt\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(kt\right)\right\}\\ \ge \mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(t\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(t\right),{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right),{F}_{h{\left(}_{{y}_{n+1}}\right),h\left({y}_{n+2}\right)}\left(t\right)\right\}\\ =\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(t\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(t\right),\mathrm{min}\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(t\right)\right\}\right\}.\end{array}$
Now, from Lemma 5, we have
$min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(kt\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(kt\right)\right\}\ge min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(t\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(t\right)\right\}$
(17)
for all t > 0. From (17) it follows that
$min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(t\right)\right\}\ge min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(t/k\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(t/k\right)\right\}$
(18)
for all t > 0. Repeating the inequality (18), for all t > 0 we get
$\begin{array}{ll}\hfill min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(t\right)\right\}& \ge min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(t/k\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(t/k\right)\right\}\phantom{\rule{2em}{0ex}}\\ \ge min\left\{{F}_{h\left({x}_{n-1}\right),h\left({x}_{n}\right)}\left(t/{k}^{2}\right),{F}_{h\left({y}_{n-1}\right),h\left({y}_{n}\right)}\left(t/{k}^{2}\right)\right\}\phantom{\rule{2em}{0ex}}\\ \ge \cdots \phantom{\rule{2em}{0ex}}\\ \ge min\left\{{F}_{h\left({x}_{0}\right),h\left({x}_{1}\right)}\left(t/{k}^{n+1}\right),{F}_{h\left({y}_{\mathsf{\text{0}}}\right),h\left({y}_{1}\right)}\left(t/{k}^{n+1}\right)\right\}.\phantom{\rule{2em}{0ex}}\end{array}$
Thus
$min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{n+2}\right)}\left(t\right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{n+2}\right)}\left(t\right)\right\}\ge min\left\{{F}_{h\left({x}_{0}\right),h\left({x}_{1}\right)}\left(t/{k}^{n+1}\right),{F}_{h\left({y}_{\mathsf{\text{0}}}\right),h\left({y}_{1}\right)}\left(t/{k}^{n+1}\right)\right\},$
(19)
for all t > 0 and n . Letting n → +∞ in (19), we obtain
(20)
and
(21)
We now prove that {h(x n )} and {h(y n )} are Cauchy sequences in X. We need to show that for each δ > 0 and 0 < ε < 1, there exists a positive integer n0 = n0(δ, ε) such that
and
that is,
(22)
Now we shall prove that for each ρ > 0,
$\begin{array}{c}\phantom{\rule{1em}{0ex}}min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{m}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{m}\right)}\left(\rho \right)\right\}\\ \ge {\Delta }^{m-n}\left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right)\end{array}$
(23)
for all mn + 1. We prove (23) by the mathematical induction. Let m = n + 1. Then from monotony of F, for m = n +1 we have
$\begin{array}{ll}\hfill {F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right)& \ge {F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right)\phantom{\rule{2em}{0ex}}\\ =\Delta \left({F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),1\right)\phantom{\rule{2em}{0ex}}\\ \ge \Delta \left({F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right)\right)\phantom{\rule{2em}{0ex}}\\ ={\Delta }^{1}\left({F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\delta \right)\right)\phantom{\rule{2em}{0ex}}\\ \ge {\Delta }^{1}\left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right).\phantom{\rule{2em}{0ex}}\end{array}$
Similarly,
$\begin{array}{ll}\hfill {F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right)& \ge {F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\phantom{\rule{2em}{0ex}}\\ =\Delta \left({F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right),1\right)\phantom{\rule{2em}{0ex}}\\ \ge \Delta \left({F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right)\phantom{\rule{2em}{0ex}}\\ ={\Delta }^{1}\left({F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\delta \right)\right)\phantom{\rule{2em}{0ex}}\\ \ge {\Delta }^{1}\left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right).\phantom{\rule{2em}{0ex}}\end{array}$
Then
$min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right)\right\}\ge {\Delta }^{1}\left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right),$

and (23) holds for m = n + 1.

Suppose now that (23) holds for some mn + 1. Since ρ - > 0, from the probabilistic triangle inequality, we have
$\begin{array}{ll}\hfill {F}_{h\left({x}_{n}\right),h\left({x}_{m+1}\right)}\left(\rho \right)& ={F}_{h\left({x}_{n}\right),h\left({x}_{m+1}\right)}\left(\left(\rho -k\rho \right)+k\rho \right)\phantom{\rule{2em}{0ex}}\\ \ge \Delta \left({F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right)\right).\phantom{\rule{2em}{0ex}}\end{array}$
(24)
Similarly,
${F}_{h\left({y}_{n}\right),h\left({y}_{m+1}\right)}\left(\rho \right)\ge \Delta \left({F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right).$
(25)
From (24) and (25), we get
$\begin{array}{c}min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{m+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{m+1}\right)}\left(\rho \right)\right\}\\ \ge \Delta \left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\},min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right\}\right).\end{array}$
(26)
Now we shall consider $min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right\}$. From (5) and the hypothesis (23), we have
$\begin{array}{c}\phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right\}\\ =\mathrm{min}\left\{{F}_{A\left({x}_{n},{y}_{n}\right),A\left({x}_{m},{y}_{m}\right)}\left(k\rho \right),{F}_{A\left({y}_{n},{x}_{n}\right),A\left({y}_{m},{x}_{m}\right)}\left(k\rho \right)\right\}\\ \ge \mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{m}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{m}\right)}\left(\rho \right),\\ \phantom{\rule{0.1em}{0ex}}{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right),{F}_{h\left({x}_{m}\right),h\left({x}_{m+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right),{F}_{h\left({y}_{m}\right),h\left({y}_{m+1}\right)}\left(\rho \right)\right\}\\ =\mathrm{min}\left\{\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{m}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{m}\right)}\left(\rho \right)\right\},\\ \phantom{\rule{0.1em}{0ex}}{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right),{F}_{h\left({x}_{m}\right),h\left({x}_{m+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right),{F}_{h\left({y}_{m}\right),h\left({y}_{m+1}\right)}\left(\rho \right)\right\}\\ \ge \mathrm{min}\left\{{\Delta }^{m-n}\left(\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right),\\ \phantom{\rule{0.1em}{0ex}}{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right),{F}_{h\left({x}_{m}\right),h\left({x}_{m+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right),{F}_{h\left({y}_{m}\right),h\left({y}_{m+1}\right)}\left(\rho \right)\right\}.\end{array}$
(27)
Note that from (18), for every positive integer mn, we have
(28)
Therefore, from (27) and (28), we get
$\begin{array}{c}\phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right\}\\ \ge \mathrm{min}\left\{{\Delta }^{m-n}\left(\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right),\\ \phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right)\right\}\right\}.\end{array}$
Since ρρ - , using the monotony of F, we have
$min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho \right)\right\}\ge min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}.$
Then, we have
$\begin{array}{c}\phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right\}\\ \ge \mathrm{min}\left\{{\Delta }^{m-n}\left(\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right),\\ \phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right\}.\end{array}$
Since {Δ i (t)}i≥0is a decreasing sequence for all t > 0, we have
$\begin{array}{c}\phantom{\rule{1em}{0ex}}min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\\ \ge {\Delta }^{m-n}\left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right).\end{array}$
Then, we get
$\begin{array}{c}\phantom{\rule{1em}{0ex}}min\left\{{F}_{h\left({x}_{n+1}\right),h\left({x}_{m+1}\right)}\left(k\rho \right),{F}_{h\left({y}_{n+1}\right),h\left({y}_{m+1}\right)}\left(k\rho \right)\right\}\\ \ge {\Delta }^{m-n}\left(min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right).\end{array}$
(29)
Now, from (26) and (29), we obtain
$\begin{array}{c}\phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{m+1}\right)}\left(\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{m+1}\right)}\left(\rho \right)\right\}\\ \ge \Delta \left({\Delta }^{m-n}\left(\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right),\\ \phantom{\rule{0.1em}{0ex}}\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right)\\ ={\Delta }^{m-n+1}\left(\mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}\right).\end{array}$

Hence and by the induction we conclude that (23) holds for all mn + 1.

Now we show that {h(x n )} and {h(y n )} are Cauchy sequences, that is, for each δ > 0 and 0 < ε < 1, there exists a positive integer n0 = n0(δ, ε) such that (22) holds. Since Δ is of H-type, then {Δ n : n } is equicontinuous at 1, that is,
Since δ - > 0, from (20) and (21) it follows that for any 0 < r < 1 there exists a positive integer n1 = n1((δ - ), r) such that

Then by (23), with $min\left\{{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\rho -k\rho \right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\rho -k\rho \right)\right\}=s$, we conclude that (22) holds for n0(δ, ε) = n1((δ - ), r). Thus we proved that {h(x n )} and {h(y n )} are Cauchy sequences in X.

Since h(X) is complete, there is some p, q X such that
$\underset{n\to \infty }{lim}h\left({x}_{n}\right)=h\left(p\right)\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}\underset{n\to \infty }{lim}h\left({y}_{n}\right)=h\left(q\right),$
that is, for all t > 0,
$\underset{n\to \infty }{lim}{F}_{h\left({x}_{n}\right),h\left(p\right)}\left(t\right)=1\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}\underset{n\to \infty }{lim}{F}_{h\left({y}_{n}\right),h\left(q\right)}\left(t\right)=1.$
(30)

Now we show that (p, q) is a coupled coincidence point of A and h.

Since {h(x n )} is a non-decreasing sequence, from (30) and (6), we have
$h\left({x}_{n}\right)\le h\left(p\right).$
(31)
Since {h(y n )} is a non-increasing sequence, from (30) and (7), we have
$h\left(q\right)\le h\left({y}_{n}\right).$
(32)
For all t > 0 and α (0, 1), we have
${F}_{h\left(p\right),A\left(p,q\right)}\left(kt\right)\ge \Delta \left({F}_{h\left(p\right),h\left({x}_{n+1}\right)}\left(kt-\alpha kt\right),{F}_{h\left({x}_{n+1}\right),A\left(p,q\right)}\left(k\alpha t\right)\right)$
and
${F}_{h\left(q\right),A\left(q,p\right)}\left(kt\right)\ge \Delta \left({F}_{h\left(q\right),h\left({y}_{n+1}\right)}\left(kt-\alpha kt\right),{F}_{h\left({y}_{n+1}\right),A\left(q,p\right)}\left(k\alpha t\right)\right).$
Then
$min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(kt\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(kt\right)\right\}\ge \Delta \left({A}_{n},min\left\{{F}_{h\left({x}_{n+1}\right),A\left(p,q\right)}\left(k\alpha t\right),{F}_{h\left({y}_{n+1}\right),A\left(q,p\right)}\left(k\alpha t\right)\right\}\right),$
(33)
where
${A}_{n}=min\left\{{F}_{h\left(p\right),h\left({x}_{n+1}\right)}\left(kt-\alpha kt\right),{F}_{h\left(q\right),h\left({y}_{n+1}\right)}\left(kt-\alpha kt\right)\right\}.$
(34)
Now, using (31), (32) and (5), we have
$\begin{array}{l}\phantom{\rule{0.1em}{0ex}}{F}_{h\left({x}_{n+1}\right),A\left(p,q\right)}\left(k\alpha t\right)={F}_{A\left({x}_{n},{y}_{n}\right),A\left(p,q\right)}\left(k\alpha t\right)\\ \ge \mathrm{min}\left\{{F}_{h\left({x}_{n}\right),h\left(p\right)}\left(\alpha t\right),{F}_{h\left({y}_{n}\right),h\left(q\right)}\left(\alpha t\right),{F}_{h\left({x}_{n}\right),h\left({x}_{n+1}\right)}\left(\alpha t\right),\\ \phantom{\rule{0.1em}{0ex}}{F}_{h\left(p\right),A\left(p,q\right)}\left(\alpha t\right),{F}_{h\left({y}_{n}\right),h\left({y}_{n+1}\right)}\left(\alpha t\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(\alpha t\right)\right\}\\ \phantom{\rule{0.1em}{0ex}}:={B}_{n}\left(\alpha t\right)={B}_{n}.\end{array}$
(35)
Similarly, we get
${F}_{h\left({y}_{n+1}\right),A\left(q,p\right)}\left(k\alpha t\right)\ge {B}_{n}.$
(36)
Combining (35) and (36), we obtain
$min\left\{{F}_{h\left({x}_{n+1}\right),A\left(p,q\right)}\left(k\alpha t\right),{F}_{h\left({y}_{n+1}\right),A\left(q,p\right)}\left(k\alpha t\right)\right\}\ge {B}_{n}.$
(37)
Therefore, from (37) and (33), we have
$min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(kt\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(kt\right)\right\}\ge \Delta \left({A}_{n},{B}_{n}\right).$
(38)
Now, letting n → +∞ in (38), using the continuity of the T-norm Δ, (30), (20), (21) and the property Δ(1, a) = a for all a [0, 1], we get
$min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(kt\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(kt\right)\right\}\ge min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(\alpha t\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(\alpha t\right)\right\}.$
Now, letting α → 1- in the above inequality, using the left-continuity of F and the monotony of F, we get
$\begin{array}{ll}\hfill min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(t\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(t\right)\right\}& \ge min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(kt\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(kt\right)\right\}\phantom{\rule{2em}{0ex}}\\ \ge min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(t\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(t\right)\right\}.\phantom{\rule{2em}{0ex}}\end{array}$
Hence, for all t > 0, we have
$min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(t\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(t\right)\right\}=min\left\{{F}_{h\left(p\right),A\left(p,q\right)}\left(kt\right),{F}_{h\left(q\right),A\left(q,p\right)}\left(kt\right)\right\}.$
Now, applying Lemma 6, we get
$A\left(p,q\right)=h\left(p\right)\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}A\left(q,p\right)=h\left(q\right),$

that is, (p, q) is a coupled coincidence point of A and h. This makes end to the proof. □

The following result is an immediate consequence of Theorem 7.

Corollary 8. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type. Let A : X × XX be mapping satisfying the mixed monotone property, for which there exists k (0, 1) such that
${F}_{A\left(x,y\right),A\left(u,v\right)}\left(kt\right)\ge min\left\{{F}_{x,u}\left(t\right),{F}_{y,v}\left(t\right),{F}_{x,A\left(x,y\right)}\left(t\right),{F}_{u,A\left(u,v\right)}\left(t\right),{F}_{y,A\left(y,x\right)}\left(t\right),{F}_{v,A\left(v,u\right)}\left(t\right)\right\}$
for all x, y X for which xu and yv and all t > 0. Suppose also that
If there exist x0, y0 X such that
${x}_{0}\le A\left({x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}{y}_{0}\ge A\left({y}_{0},{x}_{0}\right),$

then A has a coupled fixed point, that is, there exist p, q X such that A(p, q) = p and A(q, p) = q.

Now, we prove the following result.

Theorem 9. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type. Suppose A : X × XX and h : XX are two continuous mappings such that A(X × X) h(X), A has the h-mixed monotone property on X and h commutes with A. Suppose that for some k (0, 1),
$\begin{array}{c}{F}_{A\left(x,y\right),A\left(u,v\right)}\left(kt\right)\ge \mathrm{min}\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right),{F}_{h\left(x\right),A\left(x,y\right)}\left(t\right),\\ {F}_{h\left(u\right),A\left(u,v\right)}\left(t\right),{F}_{h\left(y\right),A\left(y,x\right)}\left(t\right),{F}_{h\left(v\right),A\left(v,u\right)}\left(t\right)\right\}\end{array}$
for all x, y X for which h(x) ≤ h(u) and h(y) ≥ h(v) and all t > 0. If there exist x0, y0 X such that
$h\left({x}_{0}\right)\le A\left({x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}h\left({y}_{0}\right)\ge A\left({y}_{0},{x}_{0}\right),$

then A and h have a coupled coincidence point.

Proof. Following the proof of Theorem 7, {h(x n )} and {h(y n )} are Cauchy sequences in the complete Menger PM-space (X, F, Δ). Then, there is some p, q X such that
$\underset{n\to \infty }{lim}h\left({x}_{n}\right)=p\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}\underset{n\to \infty }{lim}h\left({y}_{n}\right)=q.$
(39)
Since h is continuous, we have
$\underset{n\to \infty }{lim}h\left(h\left({x}_{n}\right)\right)=h\left(p\right)\phantom{\rule{1em}{0ex}}\mathsf{\text{and}}\phantom{\rule{1em}{0ex}}\underset{n\to \infty }{lim}h\left(h\left({y}_{n}\right)\right)=h\left(q\right).$
(40)
From (8) and the commutativity of A and h, we have
$h\left(h\left({x}_{n+1}\right)\right)=h\left(A\left({x}_{n},{y}_{n}\right)\right)=A\left(h\left({x}_{n}\right),h\left({y}_{n}\right)\right)$
(41)
and
$h\left(h\left({y}_{n+1}\right)\right)=h\left(A\left({y}_{n},{x}_{n}\right)\right)=A\left(h\left({y}_{n}\right),h\left({x}_{n}\right)\right).$
(42)
We now show that h(p) = A(p, q) and h(q) = A(q, p). Taking the limit as n → +∞ in (41) and (42), by (39), (40) and the continuity of A, we get
$h\left(p\right)=\underset{n\to \infty }{lim}h\left(h\left({x}_{n+1}\right)\right)=\underset{n\to \infty }{lim}A\left(h\left({x}_{n}\right),h\left({y}_{n}\right)\right)=A\left(\underset{n\to \infty }{lim}h\left({x}_{n}\right),\underset{n\to \infty }{lim}h\left({y}_{n}\right)\right)=A\left(p,q\right)$
and
$h\left(q\right)=\underset{n\to \infty }{lim}h\left(h\left({y}_{n+1}\right)\right)=\underset{n\to \infty }{lim}A\left(h\left({y}_{n}\right),h\left({x}_{n}\right)\right)=A\left(\underset{n\to \infty }{lim}h\left({y}_{n}\right),\underset{n\to \infty }{lim}h\left({x}_{n}\right)\right)=A\left(q,p\right).$

Thus we proved that h(p) = A(p, q) and h(q) = A(q, p), that is, (p, q) is a coupled coincidence point of A and h. This makes end to the proof. □

The following result is an immediate consequence of Theorem 9.

Corollary 10. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type. Let A : X × XX be a continuous mapping having the mixed monontone property, for which there exists k (0, 1) such that
${F}_{A\left(x,y\right),A\left(u,v\right)}\left(kt\right)\ge min\left\{{F}_{x,u}\left(t\right),{F}_{y,v}\left(t\right),{F}_{x,A\left(x,y\right)}\left(t\right),{F}_{u,A\left(u,v\right)}\left(t\right),{F}_{y,A\left(y,x\right)}\left(t\right),{F}_{v,A\left(v,u\right)}\left(t\right)\right\}$
for all x, y X for which xu and yv and all t > 0. If there exist x0, y0 X such that
${x}_{0}\le A\left({x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}{y}_{0}\ge A\left({y}_{0},{x}_{0}\right),$

then A has a coupled fixed point.

Now, we end the article with two examples to illustrate our obtained results.

Example 11. Let (X, d) be a metric space defined by d(x, y) = |x - y|, where X = [0, 1] and (X, F, Δ) be the induced Menger space with${F}_{x,y}\left(t\right)=\frac{t}{t+d\left(x,y\right)}$ for all t > 0 and x, y X. We endow X with the natural ordering of real numbers. Let h : XX be defined as
$h\left(x\right)={x}^{4},\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}for\phantom{\rule{0.5em}{0ex}}all\phantom{\rule{0.5em}{0ex}}x\in X.$
Let A : X × XX be defined as
$A\left(x,y\right)=\left\{\begin{array}{cc}\hfill \frac{{x}^{4}-{y}^{4}}{4},\hfill & \hfill if\phantom{\rule{1em}{0ex}}x\ge y\hfill \\ \hfill 0,\hfill & \hfill if\phantom{\rule{1em}{0ex}}x

At first we shall show that the mapping A satisfies the h-mixed monotone property:

Consider x1, x2 X such that h(x1) ≤ h(x2). Since h is a non-decreasing mapping, this implies that x1x2. Now, let y X be an arbitrary point. If x1 < y, then A(x1, y) = 0 ≤ A(x2, y). If yx1, then$\frac{{x}_{1}^{2}-{y}^{2}}{4}\le \frac{{x}_{2}^{2}-{y}^{2}}{4}$, that is, A(x1, y) ≤ A(x2, y). Similarly, one can show that if y1, y2 X are such that h(y1) ≥ h(y2), then A(x, y1) ≤ A(x, y2) for all x X. Then, the mapping A satisfies the h-mixed monotone property.

Now we shall show that the mappings A and h satisfy the inequality (5). Let x, y X such that h(x) ≤ h(u) and h(y) ≥ h(v) that is, x4u4 and y4v4.

We have consider the following four cases:

Case-1: xy.

Since xu and yv, then uv. Moreover, for all t > 0, we have
$\begin{array}{c}{F}_{A\left(x,y\right),A\left(u,v\right)}\left(t/2\right)=\frac{t/2}{t/2+d\left(A\left(x,y\right),A\left(u,v\right)\right)}=\frac{t/2}{t/2+\left|\frac{{x}^{4}-{y}^{4}}{4}-\frac{{u}^{4}-{v}^{4}}{4}\right|}\\ \phantom{\rule{0.3em}{0ex}}=\frac{2t}{2t+\mid \left({x}^{4}-{u}^{4}\right)-\left({y}^{4}-{v}^{4}\right)\mid }\ge \frac{2t}{2t+\mid {x}^{4}-{u}^{4}\mid +\mid {y}^{4}-{v}^{4}\mid }\\ \phantom{\rule{0.3em}{0ex}}\ge min\left\{\frac{t}{t+\mid {x}^{4}-{u}^{4}\mid },\frac{t}{t+\mid {y}^{4}-{v}^{4}\mid }\right\}=min\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right)\right\}\\ \phantom{\rule{0.3em}{0ex}}\ge min\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right),{F}_{h\left(x\right),A\left(x,y\right)}\left(t\right),{F}_{h\left(u\right),A\left(u,v\right)}\left(t\right),{F}_{h\left(y\right),A\left(y,x\right)}\left(t\right),{F}_{h\left(v\right),A\left(v,u\right)}\left(t\right)\right\}.\end{array}$

Case-2: x < y and uv.

In this case, for all t > 0, we have
$\begin{array}{c}{F}_{A\left(x,y\right),A\left(u,v\right)}\left(t/2\right)=\frac{t/2}{t/2+d\left(A\left(x,y\right),A\left(u,v\right)\right)}=\frac{t/2}{t/2+\left|0-\frac{{u}^{4}-{v}^{4}}{4}\right|}\\ \phantom{\rule{0.3em}{0ex}}=\frac{2t}{2t+\left({x}^{4}-{v}^{4}\right)+\left({u}^{4}-{x}^{4}\right)}\ge \frac{2t}{2t+\left({y}^{4}-{v}^{4}\right)+\left({u}^{4}-{x}^{4}\right)}\\ \phantom{\rule{0.3em}{0ex}}=\frac{2t}{2t+\left({u}^{4}-{x}^{4}\right)+\left({y}^{4}-{v}^{4}\right)}\\ \phantom{\rule{0.3em}{0ex}}\ge min\left\{\frac{t}{t+\left({u}^{4}-{x}^{4}\right)},\frac{t}{t+\left({y}^{4}-{v}^{4}\right)}\right\}=min\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right)\right\}.\\ \phantom{\rule{0.3em}{0ex}}\ge min\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right),{F}_{h\left(x\right),A\left(x,y\right)}\left(t\right),{F}_{h\left(u\right),A\left(u,v\right)}\left(t\right),{F}_{h\left(y\right),A\left(y,x\right)}\left(t\right),{F}_{h\left(v\right),A\left(v,u\right)}\left(t\right)\right\}.\end{array}$

Case-3: x < y and u < v.

In this case, for all t > 0, we have
${F}_{A\left(x,y\right),A\left(u,v\right)}\left(t/2\right)=\frac{t/2}{t/2+d\left(A\left(x,y\right),A\left(u,v\right)\right)}=1\ge min\left\{{F}_{h\left(x\right),h\left(u\right)}\left(t\right),{F}_{h\left(y\right),h\left(v\right)}\left(t\right)\right\}.$

Therefore, the mappings A and h satisfy the inequality (5), as well as all the required hypotheses by Theorem 7, and (0, 0) is the coupled coincidence point of A and h.

Example 12. Consider X = [0, +∞) with
${F}_{p,q}\left(t\right)=\left\{\begin{array}{cc}\hfill \frac{t}{t+max\left\{p,q\right\}}\hfill & \hfill if\phantom{\rule{1em}{0ex}}p\ne q\hfill \\ \hfill 1\hfill & \hfill if\phantom{\rule{1em}{0ex}}p=q\hfill \end{array}\right\$
for all t > 0 and p, q X. Then, (X, F, Δ M ) is a complete Menger PM-space, where Δ M (a, b) = min(a, b) for all a, b [0, 1]. We endow X with the natural ordering of real numbers. Define the continuous mapping A: X × XX by
$A\left(x,y\right)=\frac{x}{2\left(1+y\right)},\phantom{\rule{1em}{0ex}}for\phantom{\rule{0.5em}{0ex}}all\phantom{\rule{0.5em}{0ex}}x,y\in X.$

Clearly A satisfies the mixed monotone property.

Now we shall show that the mappings A and h satisfy the inequality (5) with h(x) = x for all x X. Let (x, y), (u, v) X × X such that xu, yv and A(x, y) ≠ A(u, v). For all t > 0, we have
$\begin{array}{c}{F}_{A\left(x,y\right),A\left(u,v\right)}\left(t/2\right)=\frac{t}{t+max\left\{\frac{x}{1+y},\frac{u}{1+v}\right\}}=\frac{t}{t+\frac{u}{1+v}}\ge \frac{t}{t+u}\ge \frac{t}{t+max\left\{u,\frac{u}{2\left(1+v\right)}\right\}}\\ \phantom{\rule{0.3em}{0ex}}={F}_{u,A\left(u,v\right)}\left(t\right)\ge min\left\{{F}_{x,u}\left(t\right),{F}_{y,v}\left(t\right),{F}_{x,A\left(x,y\right)}\left(t\right),{F}_{u,A\left(u,v\right)}\left(t\right),{F}_{y,A\left(y,x\right)}\left(t\right),{F}_{v,A\left(v,u\right)}\left(t\right)\right\}.\end{array}$

Therefore, the mappings A and h satisfy the inequality (5), as well as all the required hypotheses by Theorem 9, and (0, 0) is the coupled coincidence point of A and h, that is, 0 = A(0, 0).

Now, we endow X with the standard metric d given by d(x, y) = |x - y| for all x, y X. We have
$d\left(A\left(12,2\right),A\left(12,1\right)\right)=1\phantom{\rule{1em}{0ex}}and\phantom{\rule{1em}{0ex}}\frac{d\left(12,12\right)+d\left(2,1\right)}{2}=\frac{1}{2}.$
Then, we cannot find k [0, 1) such that
$d\left(A\left(12,2\right),A\left(12,1\right)\right)\le \frac{k}{2}\left[d\left(12,12\right)+d\left(2,1\right)\right].$
Then, Theorem 2.1 and Theorem 2.2 of Bhaskar and Lakshmikantham [4] are not applicable in this case. Similarly, we cannot find a function φ : [0, +∞) → [0, +∞) with φ(t) < t for all t > 0 such that
$d\left(A\left(12,2\right),A\left(12,1\right)\right)\le \phi \left(\frac{d\left(12,12\right)+d\left(2,1\right)}{2}\right).$

Then, Theorem 2.1 of Lakshmikantham and Ćirić [10] is also not applicable in this case.

## Declarations

### Acknowledgements

The first author is thankful to the Ministry of Science and Technological Development of Serbia.

## Authors’ Affiliations

(1)
Faculty of Mechanical Engineering, Kraljice Marije 16, 11 000 Belgrade, Serbia
(2)
Department of Mathematical Sciences, Florida Institute of Technology, Melbourne, FL 32901, USA
(3)
Département de Mathématiques, Université de Tunis, Ecole Supérieure des Sciences et Techniques de Tunis, 5, avenue Taha Hussein-Tunis, B.P.:56, Bab Menara, 1008, Tunisie

## References

1. Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund Math 2008, 3: 133–181.Google Scholar
2. Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Appl Anal 2008, 87: 1–8. 10.1080/00036810701714164
3. 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-4
4. Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
5. Gnana Bhaskar T, Lakshmikantham V, Vasundhara Devi J: Monotone iterative technique for functional differential equations with retardation and anticipation. Nonlinear Anal 2007,66(10):2237–2242. 10.1016/j.na.2006.03.013
6. Nieto JJ, López RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5
7. Ćirić LB, Lakshmikantham V: Coupled random fixed point theorems for nonlinear contractions in partially ordered metric spaces. Stoch Anal Appl 2009,27(6):1246–1259. 10.1080/07362990903259967
8. Ćirić LB, Miheţ D, Saadati R: Monotone generalized contractions in partially ordered probabilistic metric spaces. Topol Appl 2009,156(17):2838–2844. 10.1016/j.topol.2009.08.029
9. Ćirić LB, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl 2008, Article ID 131294.Google Scholar
10. Lakshmikantham V, Ćirić LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal 2009,70(12):4341–4349. 10.1016/j.na.2008.09.020
11. Nieto JJ, López RR: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math Sinica, English Series 2007, 23: 2205–2212. 10.1007/s10114-005-0769-0
12. Samet B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal 2010,72(12):4508–4517. 10.1016/j.na.2010.02.026
13. Samet B, Vetro C: Coupled fixed point theorems for multi-valued nonlinear contraction mappings in partially ordered metric spaces. Nonlinear Anal 2011, 74: 4260–4268. 10.1016/j.na.2011.04.007
14. Samet B, Yazidi H: Coupled Fixed point theorems in partially ordered ε -chainable metric spaces. J Math Comput Sci 2010,1(3):142–151.Google Scholar
15. Menger K: Statistical metric. Proc Natl Acad USA 1942, 28: 535–537. 10.1073/pnas.28.12.535
16. Schweizer B, Sklar A: Statistical metric spaces. Pacific J Math 1960, 10: 313–334.
17. Schweizer B, Sklar A: Probabilistic Metric Spaces. Elsevier North Holand, New York; 1983.Google Scholar
18. Sehgal VM, Bharucha-Reid AT: Fixed points of contraction mappings on probabilistic metric spaces. Math Syst Theory 1972, 6: 97–102. 10.1007/BF01706080
19. Ćirić LB: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 2009, 42: 146–154. 10.1016/j.chaos.2008.11.010
20. Ćirić LB, Ješić SN, Ume JS: The existence theorems for fixed and periodic points of nonexpansive mappings in intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2008,37(3):781–791. 10.1016/j.chaos.2006.09.093
21. Fang JX, Gao Y: Common fixed point theorems under strict contractive conditions in Menger spaces. Nonlinear Anal 2009, 70: 184–193. 10.1016/j.na.2007.11.045
22. Hadžić O, Pap E: Fixed Point Theory in PM Spaces. Kluwer, Boston; 2001.Google Scholar
23. Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces. Math Jap 1996, 44: 513–520.
24. Miheţ D: A generalization of a contraction principle in probabilistic metric spaces (II). Int J Math Math Sci 2005, 5: 729–736.Google Scholar
25. Miheţ D: Fixed point theorems in probabilistic metric spaces. Chaos Solitons Fractals 2009,41(2):1014–1019. 10.1016/j.chaos.2008.04.030
26. Miheţ D: Altering distances in probabilistic Menger spaces. Nonlinear Anal 2009, 71: 2734–2738. 10.1016/j.na.2009.01.107
27. O'Regan D, Saadati R: Nonlinear contraction theorems in probabilistic spaces. Appl Math Comput 2008, 195: 86–93. 10.1016/j.amc.2007.04.070
28. Ćirić LB: A generalization of Banach's contraction principle. Proc Am Math Soc 1974, 45: 267–273.Google Scholar
29. Ćirić LB: Coincidence and fixed points for maps on topological spaces. Topol Appl 2007, 154: 3100–3106. 10.1016/j.topol.2007.08.004
30. Hussain N: Common fixed points in best approximation for Banach operator pairs with Ćirić Type I -contractions. J Math Anal Appl 2008, 338: 1351–1363. 10.1016/j.jmaa.2007.06.008
31. Liu Z, Guo Z, Kang SM, Lee SK: On Ćirić type mappings with nonunique fixed and periodic points. Int J Pure Appl Math 2006,26(3):399–408.
32. Lakshmikantham V, Mohapatra RN: Theory of Fuzzy Differential Equations and Inclusions. Taylor&Francis, London 2003.Google Scholar
33. Lakshmikantham V, Koksal S: Monotone flows and rapid convergence for nonlinear partial differential equations. Taylor&Francis 2003.Google Scholar
34. Lakshmikantham V, Vatsala AS: General uniqueness and monotone iterative technique for fractional differential equations. Appl Math Lett 2008,21(8):828–834. 10.1016/j.aml.2007.09.006
35. Nashine HK, Samet B: Fixed point results for mappings satisfying ( ψ , φ ) weakly contractive condition in partially ordered metric spaces. Nonlinear Anal 2011, 74: 2201–2209. 10.1016/j.na.2010.11.024
36. Samet B: Ćirić's fixed point theorem in a cone metric space. J Nonlinear Sci Appl 2010,3(4):302–308.
37. Singh SL, Mishra SN: On a Ljubomir Ćirić's fixed point theorem for nonexpansive type maps with applications. Indian J Pure Appl Math 2002, 33: 531–542.