Remarks on ‘Coupled coincidence point results for a generalized compatible pair with applications’

Abstract

Very recently, Hussain et al. (Fixed Point Theory Appl. 2014:62, 2014) announced the existence and uniqueness of some coupled coincidence point. In this short note we remark that the announced results can be derived from the coincidence point results in the literature.

MSC: 47H10, 54H25.

1 Introduction

Recently, a number of studies related to fixed points, coupled fixed points and coupled coincidence points of maps defined via auxiliary functions have appeared in the literature. In particular, the so-called weak φ-contractions, contractions defined by means of altering distance functions, $\alpha -\psi$-type contractions have been a subject of considerable interest. Studies of this type aim to generalize and improve contractive condition on the maps (see, e.g., [1–15]).

A great deal of these studies investigate contractions on partially ordered metric spaces because of their applicability to initial value problems defined by differential or integral equations. This is the case of the following result.

Theorem 1.1 (Hussain et al. [16], Theorem 15)

Let $(X,⪯)$ be a partially ordered set such that there exists a complete metric d on X. Assume that $F,G:X\times X\to X$ are two generalized compatible mappings such that F is G-increasing with respect to ⪯, G is continuous and has the mixed monotone property, and there exist two elements $x_0,y_0\in X$ such that

$$G(x_0,y_0)⪯F(x_0,y_0)\mathit{\text{and}}G(y_0,x_0)⪰F(y_0,x_0).$$

(1)

Suppose that there exist $\varphi \in \mathrm{\Phi }$ and $\psi \in \mathrm{\Psi }$ such that

$$\begin{array}{rl}\varphi \left(d(F(x,y),F(u,v))\right)\le & \frac{1}{2}\varphi (d(G(x,y),G(u,v))+d(G(y,x),G(v,u)))\\ -\psi \left(\frac{d(G(x,y),G(u,v))+d(G(y,x),G(v,u))}{2}\right)\end{array}$$

(2)

for all $x,y,u,v\in X$ with $G(x,y)⪯G(u,v)$ and $G(y,x)⪰G(v,u)$. Suppose that for any $x,y\in X$, there exist $u,v\in X$ such that

$$F(x,y)=G(u,v)\mathit{\text{and}}F(y,x)=G(v,u).$$

(3)

Also suppose that either

• (a) F is continuous, or

• (b) X has the following property:

• (i) if a ⪯-non-decreasing sequence $\{x_n\}\to x$, then $x_n⪯x$ for all $n\in \mathbb{N}$,

• (ii) if a ⪯-non-increasing sequence $\{y_n\}\to y$, then $y⪯y_n$ for all $n\in \mathbb{N}$.

Then F and G have a coupled coincidence point in X.

In this paper we show that the previous result can be easily improved because of the following facts.

• (1) The mixed monotone property is not necessary since F is G-increasing with respect to ⪯.

• (2) It is possible to consider a pair of mappings satisfying a weaker condition than the generalized compatible property (using monotone sequences).

• (3) In fact, Theorem 1.1 is not a true advance because it can be reduced to its corresponding unidimensional coincidence point theorem.

To prove our main claims, we will show a unidimensional proof of the mentioned theorem.

2 Preliminaries

Firstly, we recall some basic definitions and elementary results needed throughout the paper. Some of them can be found in [17]. In the sequel, we denote by X a nonempty set. Given a natural number $n\in \mathbb{N}$, let $X^n$ be the nth Cartesian product $X\times X\times \cdots \times X$ (n times). We employ mappings $T,g:X\to X$ and $F:X^n\to X$. For simplicity, if $x\in X$, we denote $T(x)$ by Tx.

Definition 2.1 (Khan et al. [18])

An altering distance function is a continuous, non-decreasing function $\varphi :[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ such that $\varphi (t)=0$ if and only if $t=0$. Let ${\mathcal{F}}_{alt}$ denote the family of all altering distance functions.

A function $\varphi :[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ is said to be subadditive if $\varphi (t+s)\le \varphi (t)+\varphi (s)$ for all $t,s\ge 0$. Following [16], we introduce the following families of control functions. Let Φ denote the family of all subadditive altering distance functions, that is, functions $\varphi :[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ which satisfy the following:

(${\varphi }_1$) ϕ is continuous and non-decreasing;

(${\varphi }_2$) $\varphi (t)=0$ if and only if $t=0$;

(${\varphi }_3$) $\varphi (t+s)\le \varphi (t)+\varphi (s)$ for all $t,s\in [0,\mathrm{\infty })$.

We denote by Ψ the family of all functions $\psi :[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ which satisfy the following:

• (1) ${lim}_{t\to r}\psi (t)>0$ for all $r>0$;

• (2) ${lim}_{t\to 0^{+}}\psi (t)=0$.

Remark 2.1 Let $\psi \in \mathrm{\Psi }$, $c>0$ and define ${\psi }_c:[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ by ${\psi }_c(t)=c\psi (t/c)$ for all $t\ge 0$. Then ${\psi }_c\in \mathrm{\Psi }$.

Definition 2.2 (see [19, 20])

A coincidence point of two mappings $T,g:X\to X$ is a point $x\in X$ such that $Tx=gx$.

Definition 2.3 (Hussain et al. [16], Definition 10)

A coupled coincidence point of two mappings $F,G:X^2\to X$ is a point $(x,y)\in X$ such that

$$F(x,y)=G(x,y)\text{and}F(y,x)=G(y,x).$$

Definition 2.4 An ordered metric space $(X,d,⪯)$ is a metric space $(X,d)$ provided with a partial order ⪯.

Definition 2.5 ([16, 21])

An ordered metric space $(X,d,⪯)$ is said to be non-decreasing-regular (respectively, non-increasing-regular) if for every sequence $\{x_m\}\subseteq X$ such that $\{x_m\}\to x$ and $x_m⪯x_{m+1}$ (respectively, $x_m⪰x_{m+1}$) for all m, we have that $x_m⪯x$ (respectively, $x_m⪰x$) for all m. $(X,d,⪯)$ is said to be regular if it is both non-decreasing-regular and non-increasing-regular.

Remark 2.2 Notice that condition (b) in Theorem 1.1 means that $(X,d,⪯)$ is regular.

Definition 2.6 Let $(X,⪯)$ be a partially ordered set, and let $T,g:X\to X$ be two mappings. We say that T is $(g,⪯)$ -non-decreasing if $Tx⪯Ty$ for all $x,y\in X$ such that $gx⪯gy$. If g is the identity mapping on X, we say that T is ⪯-non-decreasing.

Remark 2.3 If T is $(g,⪯)$ -non-decreasing and $gx=gy$, then $Tx=Ty$. It follows that

$$gx=gy\Rightarrow \left\{\begin{array}{c}gx⪯gy\\ gy⪯gx\end{array}\right\}\Rightarrow \left\{\begin{array}{c}Tx⪯Ty\\ Ty⪯Tx\end{array}\right\}\Rightarrow Tx=Ty.$$

Definition 2.7 (Hussain et al. [16], Definition 7)

Suppose that $F,G:X\times X\to X$ are two mappings, and let ⪯ be a partial order on X. The mapping F is said to be G-increasing with respect to ⪯ if for all $x,y,u,v\in X$ with $G(x,y)⪯G(u,v)$ we have $F(x,y)⪯F(u,v)$.

Lemma 2.1 (see [22])

Let $(X,d)$ be a metric space and define ${\mathrm{\Delta }}_n:X^n\times X^n\to [0,\mathrm{\infty })$, for all $A=(a_1,a_2,\dots ,a_n),B=(b_1,b_2,\dots ,b_n)\in X^n$, by

$${\mathrm{\Delta }}_n(A,B)=\sum _{i=1}^{n}d(a_i,b_i).$$

Then ${\mathrm{\Delta }}_n$ is metric on $X^n$ and $(X,d)$ is complete if and only if $(X,{\mathrm{\Delta }}_n)$ is complete.

Consider on the product space $X^2$ the following partial order: for $(x,y),(u,v)\in X^2$,

$$(x,y)⊑(u,v)\iff [x⪯u\text{ and }y⪰v].$$

(4)

Definition 2.8 ([17, 23–25])

Let $(X,d,⪯)$ be an ordered metric space. Two mappings $T,g:X\to X$ are said to be O-compatible if

$$\underset{m\to \mathrm{\infty }}{lim}d(gT{x}_m,Tg{x}_m)=0$$

provided that $\{x_m\}$ is a sequence in X such that $\{g{x}_m\}$ is ⪯-monotone, that is, it is either non-increasing or non-decreasing with respect to ⪯, and

$$\underset{m\to \mathrm{\infty }}{lim}T{x}_m=\underset{m\to \mathrm{\infty }}{lim}g{x}_m\in X.$$

Definition 2.9 (Hussain et al. [16], Definition 12)

Let $F,G:X\times X\to X$. We say that the pair $\{F,G\}$ is generalized compatible if for all sequences $\{x_n\},\{y_n\}\subseteq X$ such that

$$\underset{n\to \mathrm{\infty }}{lim}F(x_n,y_n)=\underset{n\to \mathrm{\infty }}{lim}G(x_n,y_n)=t_1\in X\text{and}\underset{n\to \mathrm{\infty }}{lim}F(y_n,x_n)=\underset{n\to \mathrm{\infty }}{lim}G(y_n,x_n)=t_2\in X,$$

we have that

$$\begin{array}{r}\underset{n\to \mathrm{\infty }}{lim}d(F(G(x_n,y_n),G(y_n,x_n)),G(F(x_n,y_n),F(y_n,x_n)))=0\text{and}\\ \underset{n\to \mathrm{\infty }}{lim}d(F(G(y_n,x_n),G(x_n,y_n)),G(F(y_n,x_n),F(x_n,y_n)))=0.\end{array}$$

3 Main results

To start with, we highlight the weakness of Theorem 1.1 using the following example.

Example 3.1 Let $X=[0,\mathrm{\infty })$ endowed with the standard metric $d(x,y)=|x-y|$ for all $x,y\in X$. Consider the maps $F,G:X\times X\to X$ defined by

$$F(x,y)=\frac{3}{5}x-\frac{1}{5}y\text{and}G(x,y)=\frac{x-y}{2}\text{for all }x,y\in X.$$

Then, for all $x,y,u,v\in X$ with $y=v$, we have

$$d(F(x,y),F(u,v))=\frac{3}{5}|x-u|\text{and}d(G(x,y),G(u,v))+d(G(y,x),G(v,u))=|x-u|.$$

Thus,

$$d(F(x,y),F(u,v))>\frac{1}{2}(d(G(x,y),G(u,v))+d(G(y,x),G(v,u))).$$

Regarding the properties of the functions in Φ, we derive that

$$\phi \left(d(F(x,y),F(u,v))\right)>\frac{1}{2}\phi (d(G(x,y),G(u,v))+d(G(y,x),G(v,u))).$$

Since the function in the class Ψ takes values on $[0,\mathrm{\infty })$, it is impossible to verify inequality (2). Hence, Theorem 1.1 cannot be applied to get a coupled coincidence point. However, it is easy to see that $(0,0)$ is a coupled coincidence point of F and G.

Next, we show a unidimensional version of Theorem 1.1. Notice that, indeed, the following result is better than Theorem 1.1 because we reorder the hypotheses obtaining that, in some cases, neither the continuity of, at least, one mapping (T or g) nor the O-compatibility of the pair $(T,g)$ is necessary. In fact, both hypotheses are omitted in case (c).

Theorem 3.1 Let $(X,d,⪯)$ be an ordered metric space, and let $T,g:X\to X$ be two mappings such that the following properties are fulfilled:

• (i) $T(X)\subseteq g(X)$;

• (ii) T is $(g,⪯)$-non-decreasing;

• (iii) there exists $x_0\in X$ such that $g{x}_0⪯T{x}_0$;

• (iv) there exist $\varphi \in \mathrm{\Phi }$ and $\psi \in \mathrm{\Psi }$ verifying

  $$\varphi (d(Tx,Ty))\le \varphi (d(gx,gy))-\psi (d(gx,gy))\mathit{\text{for all }}x,y\in X\mathit{\text{ such that }}gx⪯gy.$$

Also assume that, at least, one of the following conditions holds.

• (a) $(X,d)$ is complete, T and g are continuous and the pair $(T,g)$ is O-compatible;

• (b) $(X,d)$ is complete and T and g are continuous and commuting;

• (c) $(g(X),d)$ is complete and $(X,d,⪯)$ is non-decreasing-regular;

• (d) $(X,d)$ is complete, $g(X)$ is closed and $(X,d,⪯)$ is non-decreasing-regular;

• (e) $(X,d)$ is complete, g is continuous and monotone ⪯-non-decreasing, the pair $(T,g)$ is O-compatible and $(X,d,⪯)$ is non-decreasing-regular.

Then T and g have, at least, a coincidence point.

We omit the proof of the previous result since its proof is similar to the main theorem in [17] and it can be concluded by following, point by point, all of its arguments.

Next, we show how to deduce an appropriate version of Theorem 1.1 from Theorem 3.1. Given the ordered metric space $(X,d,⪯)$, let us consider the ordered metric space $(X^2,{\mathrm{\Delta }}_2,⊑)$, where ${\mathrm{\Delta }}_2$ was defined in Lemma 2.1 and ⊑ was introduced in (4). We define the mappings $T_F,T_G:X^2\to X^2$, for all $(x,y)\in X^2$, by

$$T_F(x,y)=(F(x,y),F(y,x))\text{and}{T}_G(x,y)=(G(x,y),G(y,x)).$$

Under these conditions, the following properties hold.

Lemma 3.1 Let $(X,d,⪯)$ be an ordered metric space, and let $F,G:X^2\to X$ be two mappings. Then the following properties hold.

• (1) $(X,d)$ is complete if and only if $(X^2,{\mathrm{\Delta }}_2)$ is complete.

• (2) If $(X,d,⪯)$ is regular, then $(X^2,{\mathrm{\Delta }}_2,⊑)$ is also regular.

• (3) If F is d-continuous, then $T_F$ is ${\mathrm{\Delta }}_2$-continuous.

• (4) If F is G-increasing with respect to ⪯, then $T_F$ is $(T_G,⊑)$-non-decreasing.

• (5) Condition (1) is equivalent to the existence of a point $(x_0,y_0)\in X^2$ such that $T_G(x_0,y_0)⊑T_F(x_0,y_0)$.

• (6) Condition (3) is equivalent to $T_F(X^2)\subseteq T_G(X^2)$.

• (7) If there exist $\varphi \in \mathrm{\Phi }$ and $\psi \in \mathrm{\Psi }$ such that (2) holds, then

  $$\varphi \left({\mathrm{\Delta }}_2(T_F(x,y),T_F(u,v))\right)\le \varphi \left({\mathrm{\Delta }}_2(T_G(x,y),T_G(u,v))\right)-{\psi }_2\left({\mathrm{\Delta }}_2(T_G(x,y),T_G(u,v))\right)$$

for all $(x,y),(u,v)\in X^2$ such that $T_G(x,y)⊑T_G(u,v)$, where ${\psi }_2\in \mathrm{\Psi }$ was defined in Remark  2.1.

• (8) If the pair $\{F,G\}$ is generalized compatible, then the mappings $T_F$ and $T_G$ are O-compatible in $(X^2,{\mathrm{\Delta }}_2,⊑)$.

• (9) A point $(x,y)\in X^2$ is a coupled coincidence point of F and G if and only if it is a coincidence point of $T_F$ and $T_G$.

Proof Item (1) follows from Lemma 2.1 and items (2), (3), (5), (6) and (9) are obvious.

• (4) Assume that F is G-increasing with respect to ⪯, and let $(x,y),(u,v)\in X^2$ be such that $T_G(x,y)⊑T_G(u,v)$. Then $G(x,y)⪯G(u,v)$ and $G(y,x)⪰G(v,u)$. Since F is G-increasing with respect to ⪯, we deduce that $F(x,y)⪯F(u,v)$ and $F(y,x)⪰F(v,u)$. Therefore, $T_F(x,y)⊑T_F(u,v)$ and this means that $T_F$ is $(T_G,⊑)$-non-decreasing.

• (7) Suppose that there exist $\varphi \in \mathrm{\Phi }$ and $\psi \in \mathrm{\Psi }$ such that (2) holds, and let $(x,y),(u,v)\in X^2$ be such that $T_G(x,y)⊑T_G(u,v)$. Therefore $G(x,y)⪯G(u,v)$ and $G(y,x)⪰G(v,u)$. Using (2), we have that

  $$\begin{array}{rl}\varphi \left(d(F(x,y),F(u,v))\right)\le & \frac{1}{2}\varphi (d(G(x,y),G(u,v))+d(G(y,x),G(v,u)))\\ -\psi \left(\frac{d(G(x,y),G(u,v))+d(G(y,x),G(v,u))}{2}\right).\end{array}$$

  (5)

Furthermore, taking into account that $G(v,u)⪯G(y,x)$ and $G(u,v)⪰G(x,y)$, the contractivity condition (2) also guarantees that

$$\begin{array}{rl}\varphi \left(d(F(v,u),F(y,x))\right)\le & \frac{1}{2}\varphi (d(G(v,u),G(y,x))+d(G(u,v),G(x,y)))\\ -\psi \left(\frac{d(G(v,u),G(y,x))+d(G(u,v),G(x,y))}{2}\right).\end{array}$$

(6)

Since ϕ is subadditive, it follows from (5) and (6) that

$$\begin{array}{r}\varphi \left({\mathrm{\Delta }}_2(T_F(x,y),T_F(u,v))\right)\\ =\varphi \left({\mathrm{\Delta }}_2[(F(x,y),F(y,x)),(F(u,v),F(v,u))]\right)\\ =\varphi (d(F(x,y),F(u,v))+d(F(y,x),F(v,u)))\\ \le \varphi \left(d(F(x,y),F(u,v))\right)+\varphi \left(d(F(y,x),F(v,u))\right)\\ \le \varphi (d(G(x,y),G(u,v))+d(G(y,x),G(v,u)))\\ -2\psi \left(\frac{d(G(v,u),G(y,x))+d(G(u,v),G(x,y))}{2}\right)\\ =\varphi \left({\mathrm{\Delta }}_2(T_G(x,y),T_G(u,v))\right)-{\psi }_2\left({\mathrm{\Delta }}_2(T_G(x,y),T_G(u,v))\right).\end{array}$$

• (8) Let $\{(x_m,y_m)\}\subseteq X^2$ be any sequence such that $\{T_F(x_m,y_m)\}\stackrel{{\mathrm{\Delta }}_2}{⟶}(x,y)$ and $\{T_G(x_m,y_m)\}\stackrel{{\mathrm{\Delta }}_2}{⟶}(x,y)$ (notice that we do not need to suppose that $\{T_G(x_m,y_m)\}$ is ⊑-monotone). Therefore,

  $$\begin{array}{r}\left\{(F(x_m,y_m),F(y_m,x_m))\right\}\stackrel{{\mathrm{\Delta }}_2}{⟶}(x,y)\Rightarrow \left[\{F(x_m,y_m)\}\stackrel{d}{⟶}x\text{ and }\{F(y_m,x_m)\}\stackrel{d}{⟶}y\right];\\ \left\{(G(x_m,y_m),G(y_m,x_m))\right\}\stackrel{{\mathrm{\Delta }}_2}{⟶}(x,y)\\ \Rightarrow \left[\{G(x_m,y_m)\}\stackrel{d}{⟶}x\text{ and }\{G(y_m,x_m)\}\stackrel{d}{⟶}y\right].\end{array}$$

Therefore

$$\begin{array}{c}\underset{m\to \mathrm{\infty }}{lim}F(x_m,y_m)=\underset{m\to \mathrm{\infty }}{lim}G(x_m,y_m)=x\in X\text{and}\hfill \\ \underset{m\to \mathrm{\infty }}{lim}F(y_m,x_m)=\underset{m\to \mathrm{\infty }}{lim}G(y_m,x_m)=y\in X.\hfill \end{array}$$

Since the pair $\{F,G\}$ is generalized compatible, we deduce that

$$\begin{array}{r}\underset{m\to \mathrm{\infty }}{lim}d(F(G(x_m,y_m),G(y_m,x_m)),G(F(x_m,y_m),F(y_m,x_m)))=0\text{and}\\ \underset{m\to \mathrm{\infty }}{lim}d(F(G(y_m,x_m),G(x_m,y_m)),G(F(y_m,x_m),F(x_m,y_m)))=0.\end{array}$$

In particular,

$$\begin{array}{r}\underset{m\to \mathrm{\infty }}{lim}{\mathrm{\Delta }}_2(T_G{T}_F(x_m,y_m),T_F{T}_G(x_m,y_m))\\ =\underset{m\to \mathrm{\infty }}{lim}{\mathrm{\Delta }}_2(T_G(F(x_m,y_m),F(y_m,x_m)),T_F(G(x_m,y_m),G(y_m,x_m)))\\ =\underset{m\to \mathrm{\infty }}{lim}{\mathrm{\Delta }}_2((G(F(x_m,y_m),F(y_m,x_m)),G(F(y_m,x_m),F(x_m,y_m))),\\ (F(G(x_m,y_m),G(y_m,x_m)),F(G(y_m,x_m),G(x_m,y_m))))\\ =\underset{m\to \mathrm{\infty }}{lim}[d\left((G(F(x_m,y_m),F(y_m,x_m)),F(G(x_m,y_m),G(y_m,x_m)))\right)\\ +d\left((G(F(y_m,x_m),F(x_m,y_m)),F(G(y_m,x_m),G(x_m,y_m)))\right)]\\ =0.\end{array}$$

Hence, the mappings $T_F$ and $T_G$ are O-compatible in $(X^2,{\mathrm{\Delta }}_2,⊑)$. □

As a consequence, we conclude that Hussain et al.’s result can be deduced from the corresponding unidimensional result. Furthermore, as we have pointed out, it is not necessary for G to have the mixed monotone property because F is G-increasing with respect to ⪯.

Corollary 3.1 Theorem  1.1, even avoiding the assumption that G has the mixed monotone property, is a consequence of Theorem  3.1.

Proof It is only necessary to apply Theorem 3.1 to the mappings $T=T_F$ and $g=T_G$ in the ordered metric space $(X^2,{\mathrm{\Delta }}_2,⊑)$, taking into account all items of Lemma 3.1. □

The following result is an improved version of Theorem 1.1 in which the contractivity condition is replaced by a more convenient one, which is symmetric on the variables $(x,y)$ and $(u,v)$.

Corollary 3.2 Let $(X,⪯)$ be a partially ordered set such that there exists a complete metric d on X. Assume that $F,G:X\times X\to X$ are two generalized compatible mappings such that F is G-increasing with respect to ⪯, G is continuous and there exist two elements $x_0,y_0\in X$ such that

$$G(x_0,y_0)⪯F(x_0,y_0)\mathit{\text{and}}G(y_0,x_0)⪰F(y_0,x_0).$$

Suppose that there exist $\varphi \in \mathrm{\Phi }$ and $\psi \in \mathrm{\Psi }$ such that

$$\begin{array}{r}\varphi \left(\frac{d(F(x,y),F(u,v))+d(F(y,x),F(v,u))}{2}\right)\\ \le \varphi \left(\frac{d(G(x,y),G(u,v))+d(G(y,x)+G(v,u))}{2}\right)\\ -\psi \left(\frac{d(G(x,y),G(u,v))+d(G(y,x)+G(v,u))}{2}\right)\end{array}$$

(7)

for all $x,y,u,v\in X$ with $G(x,y)⪯G(u,v)$ and $G(y,x)⪰G(v,u)$. Suppose that for any $x,y\in X$, there exist $u,v\in X$ such that

$$F(x,y)=G(u,v)\mathit{\text{and}}G(y,x)⪰F(y,x).$$

Also assume that either

• (a) F is continuous, or

• (b) $(X,d,⪯)$ is regular.

Then F and G have, at least, a coupled coincidence point, that is, there exist $x,y\in X$ such that $G(x,y)=F(x,y)$ and $G(y,x)=F(y,x)$.

Proof It is only necessary to apply Theorem 3.1 to the mappings $T=T_F$ and $g=T_G$ in the ordered metric space $(X^2,{\mathrm{\Delta }}_2^{\prime },⊑)$, where ${\mathrm{\Delta }}_2^{\prime }={\mathrm{\Delta }}_2/2$, taking into account all items of Lemma 3.1. □

In the following example we show that Corollary 3.2 is applicable to the mappings of Example 3.1, when Theorem 1.1 is not useful.

Example 3.2 Let $X=[0,\mathrm{\infty })$ endowed with the Euclidean metric $d(x,y)=|x-y|$ for all $x,y\in X$. Consider the maps $F,G:X\times X\to X$ defined by

$$F(x,y)=\frac{3}{5}x-\frac{1}{5}y\text{and}G(x,y)=\frac{x-y}{2}\text{for all }x,y\in X.$$

Then, for all $x,y,u,v\in X$ with $y=v$, we have

$$\begin{array}{r}d(F(x,y),F(u,v))+d(F(y,x),F(v,u))=\frac{4}{5}(|x-u|+|y-v|)\text{and}\\ d(G(x,y),G(u,v))+d(G(y,x),G(v,u))=|x-u|+|y-v|.\end{array}$$

Thus,

$$d(F(x,y),F(u,v))<d(G(x,y),G(u,v))+d(G(y,x),G(v,u)).$$

Regarding the properties of the functions in Φ, we derive that

$$\begin{array}{r}\varphi \left(\frac{d(F(x,y),F(u,v))+d(F(y,x),F(v,u))}{2}\right)\\ \le \varphi \left(\frac{d(G(x,y),G(u,v))+d(G(y,x)+G(v,u))}{2}\right).\end{array}$$

To provide inequality (7), it is sufficient to choose $\psi (t)=\frac{t}{10}$. Hence, Theorem 3.2 can be applied in order to guarantee that F and G have a coupled coincidence point. Indeed, it is easy to check that $(0,0)$ is a coupled coincidence point of F and G.

To finish the paper, we want to point out a pair of details.

• (1) The function in ϕ in Theorem 3.1 is not a true generalization because if $\varphi \in \mathrm{\Phi }$, then the mapping $d_{\varphi }:X\times X\to [0,\mathrm{\infty })$, defined by $d_{\varphi }(x,y)=\varphi (d(x,y))$ for all $x,y\in X$, is also a metric on X. For more details, see [26]. Notice also that the assumption of sub-additivity (${\varphi }_2$) is superfluous in most of the published results (see, e.g., [27]).

• (2) Using the same techniques that can be found in [17, 22, 28–31], it is possible to deduce, from Theorem 3.1, tripled, quadrupled and, in general, multidimensional coincidence point theorems.