Skip to main content

Coupled fixed point theorems for single-valued operators in b-metric spaces


The aim of this paper to present fixed point results for single-valued operators in b-metric spaces. The case of scalar metric and the case of vector-valued metric approaches are considered. As an application, a system of integral equations is studied.

1 Introduction and preliminaries

It is well known that Banach’s contraction principle for single-valued contractions was extended to several types of generalized metric spaces.

An interesting extension to the case of spaces endowed with vector-valued metrics was done by Perov [1]. Many other contributions on this topic are known now; see, for example, [27].

Another extension of the Banach contraction principle was given for the case of so-called b-metric spaces (also called quasimetric spaces), starting with some results given by Czerwik; see [8]. For previous results on b-metric spaces or extensions of this concept see also Bourbaki [9], Bakhtin [10], Blumenthal [11], among others.

The concept of coupled fixed point and the study of coupled fixed point problems appeared for the first time in some papers of Opoitsev (see [1214]), while the topic expanded with the work of Guo and Lakshmikantham (see [15]), where the monotone iterations technique is exploited.

If \((X,d)\) is a metric space and \(T:X\times X\to X\) is an operator, then, by definition, a coupled fixed point for T is a pair \((x^{*},y^{*})\in X\times X\) satisfying

$$ \left \{ \textstyle\begin{array}{l} x^{*}= T (x^{*}, y^{*} ) , \\ y^{*}= T (y^{*}, x^{*} ). \end{array}\displaystyle \right . $$

Several years later, the theory of coupled fixed points in the setting of an ordered metric space and under some contractive type conditions on the operator T was re-considered by Gnana Bhaskar and Lakshmikantham in [16] (see also Lakshmikantham and Ćirić in [17]). For other results on coupled fixed point theory see [4, 1621], among others.

The aim of this paper is to present some fixed point theorems for single-valued operators in b-metric spaces with applications to a system of integral equations.

We denote by \(M_{mm} (\mathbb{R}_{+} ) \) the set of all \(m\times m\) matrices with positive elements, by I the identity \(m\times m\) matrix and by \(O_{m}\) the null \(m\times m\) matrix. If \(x,y\in\mathbb{R}^{m}\), \(x=(x_{1},\ldots,x_{m})\) and \(y=(y_{1},\ldots,y_{m})\), then, by definition,

$$x\leq y \quad \mbox{if and only if}\quad x_{i}\leq y_{i} \quad \mbox{for } i\in\{ 1,2,\ldots,m \}. $$

Throughout this paper we will make an identification between row and column vectors in \(\mathbb{R}^{m}\).

Let us recall first some important preliminary concepts and results. Let X be a nonempty set. A mapping \(d:X\times X\rightarrow \mathbb{R}^{m}\) is called a vector-valued metric on X if the following properties are satisfied:

  1. (a)

    \(d(x,y)\geq O\) for all \(x,y\in X\); if \(d(x,y)=O\), then \(x=y\) (where \(O:=\underbrace{(0,0,\ldots, 0)}_{m\text{-times}}\));

  2. (b)

    \(d(x,y)=d(y,x)\) for all \(x,y\in X\);

  3. (c)

    \(d(x,y)\leq d(x,z)+d(z,y)\) for all \(x,y,z\in X\).

A nonempty set X endowed with a vector-valued metric d is called a generalized metric space in the sense of Perov (in short, a generalized metric space) and it will be denoted by \((X,d)\). The usual notions of analysis (such as convergent sequence, Cauchy sequence, completeness, open subset, closed set, open and closed ball, etc.) are defined similarly to the case of metric spaces.

Notice that the generalized metric space in the sense of Perov is a particular case of the so-called cone metric spaces (or K-metric space); see [22].

Definition 1.1

A square matrix of real numbers is said to be convergent to zero if and only if all the eigenvalues of A are in the open unit disc (see, for example, [23]).

A classical result in matrix analysis is the following theorem (see, for example, [23, 24]).

Theorem 1.2

Let \(A\in M_{mm} (\mathbb{R}_{+} ) \). The following assertions are equivalent:

  1. (i)

    A is convergent toward zero;

  2. (ii)

    the spectral radius \(\rho(A)\) is strictly less than 1;

  3. (iii)

    \(A^{n}\rightarrow O_{m}\) as \(n\rightarrow\infty\);

  4. (iv)

    the matrix \(( I-A ) \) is nonsingular and

    $$ ( I-A ) ^{-1}=I+A+\cdots+A^{n}+\cdots; $$
  5. (v)

    the matrix \(( I-A ) \) is nonsingular and \(( I-A ) ^{-1}\) has nonnegative elements;

  6. (vi)

    \(A^{n}q\) and \(qA^{n}\) are convergent toward zero as \(n\rightarrow\infty\), for each \(q\in\mathbb{R}^{m}\).

Remark 1.3

Notice also that if \(A,B\in M_{mm} (\mathbb{R}_{+} )\) with \(A\le B\) (in the component-wise meaning), then \(\rho(B)<1\) implies \(\rho(A)<1\).

We will recall now the definition of a b-metric space.

Definition 1.4

(Bakhtin [10], Czerwik [8])

Let X be a set and let \(s\geq1\) be a given real number. A functional \(d:X\times X\to\mathbb{R_{+}}\) is said to be a b-metric if the following conditions are satisfied:

  1. 1.

    if \(x,y\in X\), then \(d(x,y)=0\) if and only if \(x=y\);

  2. 2.

    \(d(x,y)=d(y,x)\), for all \(x,y\in X\);

  3. 3.

    \(d(x,z)\leq s[d(x,y)+d(y,z)]\), for all \(x,y,z\in X\).

A pair \((X,d)\) is called a b-metric space.

Some examples of b-metric spaces are given in [8, 20, 25], among others.

If X is a nonempty set and \(f:X\to X\) is a single-valued operator, then we denote by

$$\operatorname{Fix}(f):=\bigl\{ x\in X : x=f(x) \bigr\} , $$

the fixed point set for f and by

$$I(f):=\bigl\{ Y\subset X : f(Y)\subset Y \bigr\} , $$

the set of all invariant subsets of X with respect to f.

2 Coupled fixed points for mixed monotone single-valued operators

In this section, we will prove some coupled fixed point theorem for mixed monotone operators in complete b-metric spaces. The approach is based on the iterative construction of a Cauchy successive approximations sequence.

Definition 2.1

Let \((X,\leq)\) a partially ordered set and \(T:X\times X\to X\). We say that T has the mixed monotone property if \(T(\cdot,y)\) is monotone increasing for any \(y\in X\) and \(T(x,\cdot)\) is monotone decreasing for any \(y\in X\).

Let \((X,\leq)\) be a partially ordered set. Even though the notation is the same, we make distinction between the partial order on X and the partial order relation on \(\mathbb{R}\). Notice also that we can endow the product space \(X\times X\) with the following partial order:

$$\mbox{for } (x,y), (u,v)\in X\times X, \quad (x,y)\leq_{P} (u,v) \quad \Leftrightarrow\quad x\leq u, y\geq v. $$

Our first main result is the following.

Theorem 2.2

Let \((X,d)\) be a complete b-metric space with \(s\ge1\) and \(T:X\times X\to X\) a continuous mapping with the mixed monotone property on \(X\times X\). Assume that the following conditions are satisfied:

  1. (i)

    there exists \(k\in[0,\frac{1}{s})\) such that

    $$d\bigl(T(x,y),T(u,v)\bigr)\leq\frac{k}{2}\bigl[d(x,u)+d(y,v)\bigr], \quad \forall x\geq u, y\leq v; $$
  2. (ii)

    there exists \(x_{0},y_{0}\in X\) such that \(x_{0}\leq T(x_{0},y_{0})\) and \(y_{0}\geq T(y_{0},x_{0})\).

Then there exist \(x,y\in X\) such that \(x=T(x,y)\) and \(y=T(y,x)\).

If, in addition, the b-metric d is continuous, then we have

$$\begin{aligned}& d\bigl(T^{n}(x_{0},y_{0}),x\bigr)\leq \frac{sk^{n}}{2(1-sk)}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr], \\& d\bigl(T^{n}(y_{0},x_{0}),y\bigr)\leq \frac{sk^{n}}{2(1-sk)}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr], \end{aligned}$$

where \(T^{n+1}(x,y):=T(T^{n}(x,y),T^{n}(y,x))\), for \((x,y)\in X\times X\) and \(n\in\mathbb{N}^{*}\).


Since \(x_{0}\leq T(x_{0},y_{0}):=x_{1}\) and \(y_{0}\geq T(y_{0},x_{0}):=y_{1}\) we have \((x_{0},y_{0})\leq_{P} (x_{1},y_{1})\).

If we define \(x_{2}:=T(x_{1},y_{1})\) and \(y_{2}:=T(y_{1},x_{1})\), then we get

$$x_{2}=T(x_{1},y_{1})=T\bigl(T(x_{0},y_{0}),T(y_{0},x_{0}) \bigr):=T^{2}(x_{0},y_{0}) $$


$$y_{2}=T(y_{1},x_{1})=T\bigl(T(y_{0},x_{0}),T(x_{0},y_{0}) \bigr):=T^{2}(y_{0},x_{0}). $$

With these notations, due to the mixed monotone property of T, we can prove that

$$x_{2}=T(x_{1},y_{1})\geq T(x_{0},y_{0})=x_{1} $$


$$y_{2}=T(y_{1},x_{1})\leq T(y_{0},x_{0})=y_{1}. $$

Indeed, for \(T(x_{1},y_{1})\geq T(x_{0},y_{0})\), let us notice that, from \((x_{0},y_{0})\leq_{P} (x_{1},y_{1})\), using the mixed monotone property, we have \(T(x_{0},y)\leq T(x_{1},y)\), for any \(y\in X\) and \(T(x,y_{0})\leq T(x,y_{1})\), for any \(x\in X\). Thus, for \(y:=y_{0}\) and \(x:=x_{1}\) and using the transitivity we obtain \(T(x_{0},y_{0})\leq T(x_{1},y_{1})\).

In a similar way one can prove the inequality \(T(y_{1},x_{1})\leq T(y_{0},x_{0})\). Indeed, from \((x_{0},y_{0})\leq_{P} (x_{1},y_{1})\), using the mixed monotone property for T, we have \(T(y_{1},x)\leq T(y_{0},x)\), for any \(x\in X\) and \(T(y,x_{1})\leq T(y,x_{0})\), for any \(y\in X\). Choosing \(y:=y_{0}\) and \(x:=x_{1}\) and using the transitivity, we obtain \(T(y_{1},x_{1})\leq T(y_{0},x_{0})\).

We can easily verify that

$$x_{0}\leq T(x_{0},y_{0})=x_{1}\leq T^{2}(x_{0},y_{0})=x_{2}\leq\cdots\leq T^{n+1}(x_{0},y_{0})=x_{n+1}\leq\cdots $$


$$y_{0}\geq T(y_{0},x_{0})=y_{1}\geq T^{2}(y_{0},x_{0})=y_{2}\geq\cdots\geq T^{n+1}(y_{0},x_{0})=y_{n+1}\geq\cdots, $$

where \(T^{n+1}(x,y):=T(T^{n}(x,y),T^{n}(y,x))\).

Now we claim that, for \(n\in\mathbb{N}\), one has the relations

$$\begin{aligned}& d\bigl(T^{n+1}(x_{0},y_{0}),T^{n}(x_{0},y_{0}) \bigr) \\& \quad = d\bigl(T\bigl(T^{n}(x_{0},y_{0}),T^{n}(y_{0},x_{0}) \bigr), T\bigl(T^{n-1}(x_{0},y_{0}),T^{n-1}(y_{0},x_{0}) \bigr)\bigr) \\& \quad \leq \frac {k}{2}\bigl[d\bigl(T^{n}(x_{0},y_{0}) \bigr),T^{n-1}(x_{0},y_{0})+d\bigl(T^{n}(y_{0},x_{0}),T^{n-1}(y_{0},x_{0}) \bigr)\bigr] \\& \quad = \frac {k}{2}\bigl[d\bigl(T\bigl(T^{n-1}(x_{0},y_{0}),T^{n-1}(y_{0},x_{0}) \bigr),T\bigl(T^{n-2}(x_{0},y_{0}),T^{n-2}(y_{0},x_{0}) \bigr)\bigr) \\& \qquad {}+d\bigl(T\bigl(T^{n-1}(y_{0},x_{0}),T^{n-1}(x_{0},y_{0}) \bigr),T\bigl(T^{n-2}(y_{0},x_{0}),T^{n-2}(x_{0},y_{0}) \bigr)\bigr)\bigr] \\& \quad \leq \frac{k}{2}\biggl[\frac {k}{2}\bigl(d\bigl(T^{n-1}(x_{0},y_{0}),T^{n-2}(x_{0},y_{0}) \bigr)+d\bigl(T^{n-1}(y_{0},x_{0}),T^{n-2}(y_{0},x_{0}) \bigr)\bigr) \\& \qquad {}+\frac {k}{2}\bigl(d\bigl(T^{n-1}(y_{0},x_{0}),T^{n-2}(y_{0},x_{0}) \bigr)+d\bigl(T^{n-1}(x_{0},y_{0}),T^{n-2}(x_{0},y_{0}) \bigr)\bigr)\biggr]. \end{aligned}$$

We obtain the following inequalities:

$$ d\bigl(T^{n+1}(x_{0},y_{0}),T^{n}(x_{0},y_{0}) \bigr)\leq \frac{k^{n}}{2}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr] $$


$$ d\bigl(T^{n+1}(y_{0},x_{0}),T^{n}(y_{0},x_{0}) \bigr)\leq \frac{k^{n}}{2}\bigl[d\bigl(T(y_{0},x_{0}),y_{0} \bigr)+d\bigl(T(x_{0},y_{0}),x_{0}\bigr)\bigr]. $$

Indeed, for \(n=1\), since \(T(x_{0},y_{0})\geq x_{0}\) and \(T(y_{0},x_{0})\leq y_{0}\) we get

$$d\bigl(T^{2}(x_{0},y_{0}),T(x_{0},y_{0}) \bigr)\le\frac{k}{2}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr]. $$

In a similar way, we have

$$d\bigl(T^{2}(y_{0},x_{0}),T(y_{0},x_{0}) \bigr)\leq\frac{k}{2}\bigl[d\bigl(T(y_{0},x_{0}),y_{0} \bigr)+d\bigl(T(x_{0},y_{0}),x_{0}\bigr)\bigr]. $$

Now we assume that (3) and (4) hold. Using the inequalities

$$T^{n+1}(x_{0},y_{0})\geq T^{n}(x_{0},y_{0}) $$


$$T^{n+1}(y_{0},x_{0})\leq T^{n}(y_{0},x_{0}), $$

we get the induction step \(P(n+1)\). Indeed, we have

$$\begin{aligned}& d \bigl(T^{n+2}(x_{0},y_{0}),T^{n+1}(x_{0},y_{0}) \bigr) \\& \quad =d\bigl(T\bigl(T^{n+1}(x_{0},y_{0}),T^{n+1}(y_{0},x_{0}) \bigr),T\bigl(T^{n}(x_{0},y_{0}),T^{n}(y_{0},x_{0}) \bigr)\bigr) \\& \quad \leq\frac {k}{2}\bigl[d\bigl(T^{n+1}(x_{0},y_{0}),T^{n}(x_{0},y_{0}) \bigr)+d\bigl(T^{n+1}(y_{0},x_{0}),T^{n}(y_{0},x_{0}) \bigr)\bigr] \\& \quad \leq\frac{k}{2} \biggl\{ \frac {k^{n}}{2}\bigl[d \bigl(T(x_{0},y_{0}),x_{0}\bigr)+d \bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr] \\& \qquad {}+ \frac {k^{n}}{2}\bigl[d\bigl(T(y_{0},x_{0}),y_{0} \bigr)+d\bigl(T(x_{0},y_{0}),x_{0}\bigr)\bigr] \biggr\} \\& \quad =\frac{k^{n+1}}{2}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr]. \end{aligned}$$

Similarly, we have

$$\begin{aligned}& d \bigl(T^{n+2}(y_{0},x_{0}),T^{n+1}(y_{0},x_{0}) \bigr) \\& \quad =d\bigl(T\bigl(T^{n+1}(y_{0},x_{0}),T^{n+1}(x_{0},y_{0}) \bigr),T\bigl(T^{n}(y_{0},x_{0}),T^{n}(x_{0},y_{0}) \bigr)\bigr) \\& \quad \leq\frac {k}{2}\bigl[d\bigl(T^{n+1}(y_{0},x_{0}),T^{n}(y_{0},x_{0}) \bigr)+d\bigl(T^{n+1}(x_{0},y_{0}),T^{n}(x_{0},y_{0}) \bigr)\bigr] \\& \quad \leq\frac{k}{2} \biggl\{ \frac {k^{n}}{2}\bigl[d \bigl(T(y_{0},x_{0}),y_{0}\bigr)+d \bigl(T(x_{0},y_{0}),x_{0}\bigr)\bigr] \\& \qquad {}+ \frac {k^{n}}{2}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr] \biggr\} \\& \quad =\frac{k^{n+1}}{2}\bigl[d\bigl(T(y_{0},x_{0}),y_{0} \bigr)+d\bigl(T(x_{0},y_{0}),x_{0}\bigr)\bigr]. \end{aligned}$$

This implies that \((T^{n}(x_{0},y_{0}))\) and \((T^{n}(y_{0},x_{0}))\) are Cauchy sequences in X.

Indeed, we have

$$\begin{aligned}& d\bigl(T^{n}(x_{0},y_{0}),T^{n+p}(x_{0},y_{0}) \bigr) \\& \quad \leq s\bigl[d\bigl(T^{n}(x_{0},y_{0}),T^{n+1}(x_{0},y_{0}) \bigr)+d\bigl(T^{n+1}(x_{0},y_{0}),T^{n+p}(x_{0},y_{0}) \bigr)\bigr] \\& \quad \leq sd\bigl(T^{n}(x_{0},y_{0}),T^{n+1}(x_{0},y_{0}) \bigr)+s^{2}d\bigl(T^{n+1}(x_{0},y_{0}),T^{n+2}(x_{0},y_{0}) \bigr)+\cdots \\& \qquad {}+s^{p-1}d\bigl(T^{n+p-2}(x_{0},y_{0}),T^{n+p-1}(x_{0},y_{0}) \bigr)+s^{p-1}d\bigl(T^{n+p-1}(x_{0},y_{0}),T^{n+p}(x_{0},y_{0}) \bigr) \\& \quad \leq \biggl[s\frac{k^{n}}{2}+s^{2}\frac{k^{n+1}}{2}+ \cdots+s^{p-1}\frac {k^{n+p-2}}{2}+s^{p}\frac{k^{n+p-1}}{2}\biggr] \\& \qquad {}\cdot \bigl[d\bigl(T(x_{0},y_{0}),x_{0}\bigr)+d \bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr] \\& \quad =s\frac {k^{n}}{2}\bigl[1+sk+\cdots+(sk)^{p-2}+(sk)^{p-1} \bigr]\cdot \bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr] \\& \quad =\frac{sk^{n}}{2}\cdot \frac{1-(sk)^{p}}{1-sk}\cdot\bigl[d \bigl(T(x_{0},y_{0}),x_{0}\bigr)+d \bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr]\to0,\quad \mbox{as } n\to+\infty. \end{aligned}$$

Similarly we can verify that \((T^{n}(y_{0},x_{0}))\) is also a Cauchy sequence.

Since X is a complete b-metric space and \((T^{n}(x_{0},y_{0}))\) and \((T^{n}(y_{0},x_{0}))\) are Cauchy sequences we see that there exist \(x^{*},y^{*}\in X\) such that

$$\lim_{n\to\infty}T^{n}(x_{0},y_{0})=x^{*} \quad \mbox{and}\quad \lim_{n\to\infty }T^{n}(y_{0},x_{0})=y^{*}. $$

Finally, we claim that \((x^{*},y^{*})\) is a coupled fixed point for T.

Since T is continuous at any \((x,y)\in X\times X\), for any \(\varepsilon>0\) there exists \(\delta>0\) such that, for any \((u,v)\in X\times X\) with

$$d\bigl(x^{*},u\bigr)+d\bigl(y^{*},v\bigr)< \frac{\delta}{s}, \quad \mbox{we have}\quad d\bigl(T\bigl(x^{*},y^{*}\bigr),T(u,v)\bigr)< \frac{\varepsilon}{2s}. $$

Since \(T^{n}(x_{0},y_{0})\to x^{*}\) and \(T^{n}(y_{0},x_{0})\to y^{*}\), for \(\eta:=\min\{\frac{\varepsilon}{2s},\frac{\delta}{2s} \}>0\) there exist \(n_{0}, m_{0}\in\mathbb{N}\) such that, for every \(n\geq n_{0}\), \(m\geq m_{0}\), we have

$$d\bigl(T^{n}(x_{0},y_{0}),x^{*}\bigr)< \eta\quad \mbox{and}\quad d\bigl(T^{m}(y_{0},x_{0}),y^{*} \bigr)< \eta. $$

Now, for \(n\in\mathbb{N}\) with \(n\geq\max\{n_{0},m_{0}\}\) we have

$$\begin{aligned} d\bigl(T\bigl(x^{*},y^{*}\bigr),x^{*}\bigr)&\leq s\bigl[d\bigl(T\bigl(x^{*},y^{*} \bigr),T^{n+1}(x_{0},y_{0})\bigr)+d \bigl(T^{n+1}(x_{0},y_{0}),x^{*}\bigr)\bigr] \\ &=s\bigl[d\bigl(T\bigl(x^{*},y^{*}\bigr),T\bigl(T^{n}(x_{0},y_{0}),T^{n}(y_{0},x_{0}) \bigr)\bigr)+d\bigl(T^{n+1}(x_{0},y_{0}),x^{*}\bigr) \bigr] \\ & \le s\biggl(\frac{\varepsilon}{2s}+\eta\biggr)\le\varepsilon. \end{aligned}$$

For the second part of the proof, we will take into account the following inequality:

$$d\bigl(T^{n}(x_{0},y_{0}),T^{n+p}(x_{0},y_{0}) \bigr)\leq\frac{sk^{n}}{2} \frac{1-(sk)^{p}}{1-sk}\cdot \bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr]. $$

Letting \(p\to\infty\) and taking into account that d is continuous, we obtain the conclusion:

$$d\bigl(T^{n}(x_{0},y_{0}),x^{*}\bigr)\leq \frac{sk^{n}}{2(1-sk)}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr]. $$

Similarly, we obtain

$$d\bigl(T^{n}(y_{0},x_{0}),T^{n+p}(y_{0},x_{0}) \bigr)\leq\frac{sk^{n}}{2} \frac{1-(sk)^{p}}{1-sk}\cdot \bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr], $$

and thus

$$d\bigl(T^{n}(y_{0},x_{0}),y^{*}\bigr)\leq \frac{sk^{n}}{2(1-sk)}\bigl[d\bigl(T(x_{0},y_{0}),x_{0} \bigr)+d\bigl(T(y_{0},x_{0}),y_{0}\bigr)\bigr]. $$

This completes the proof. □

The above results extend some theorems given in [26] for the case of metric spaces. For another contraction type condition and a different approach see [27].

3 A vector approach in ordered b-metric spaces

Let X be a nonempty set endowed with a partial order relation denoted by ≤. We denote

$$X_{\leq}:=\bigl\{ (x_{1},x_{2})\in X\times X : x_{1}\le x_{2} \mbox{ or } x_{2}\le x_{1} \bigr\} . $$

If \(f:X\to X\) is an operator then we denote the Cartesian product of f with itself as follows:

$$f\times f:X\times X\to X\times X, \quad \mbox{given by}\quad (f\times f) (x_{1},x_{2}):=\bigl(f(x_{1}),f(x_{2}) \bigr). $$

Definition 3.1

Let X be a nonempty set. Then \((X,d,\le)\) is called an ordered generalized b-metric space if:

  1. (i)

    \((X,d)\) is a generalized b-metric space in the sense of Perov;

  2. (ii)

    \((X,\le)\) is a partially ordered set.

The following result will be an important tool in our approach.

Theorem 3.2

Let \((X,d,\leq)\) be an ordered generalized complete b-metric space with \(s\ge1\) and let \(f:X\rightarrow X\) be an operator. We suppose that:

  1. (1)

    for each \((x,y)\notin X_{\leq}\) there exists \(z(x,y):=z\in X\) such that \((x,z),(y,z)\in X_{\leq}\);

  2. (2)

    \(X_{\leq}\in I(f\times f)\);

  3. (3)

    \(f:(X,d)\rightarrow(X,d)\) has closed graph;

  4. (4)

    there exists \(x_{0}\in X\) such that \((x_{0},f(x_{0}))\in X_{\leq}\);

  5. (5)

    there exists a matrix \(A\in M_{mm}(\mathbb{R}_{+})\) for which sA converges to zero, such that

    $$d\bigl(f(x),f(y)\bigr)\leq A d(x,y) \quad \textit{for each } (x,y)\in X_{\leq}. $$

Then f is a Picard operator, i.e., \(\operatorname{Fix}(f)=\{ x^{*} \}\) and \(f^{n}(x)\to x^{*}\), as \(n\to\infty\), for every \(x\in X\).


Let \(x_{0}\in X\) and define \(x_{1}:=f(x_{0})\). Using the condition (4) from the hypothesis we have \((x_{0},f(x_{0}))\in X_{\leq}\). Let \(x_{n+1}:=f(x_{n})\), for \(n\in\mathbb{N}^{*}\). We know that \((x_{0},x_{1})\in X_{\leq}\). By (2) we have \((f(x_{0}),f(x_{1}))=(x_{1},x_{2})\in X_{\leq}\).

We have

$$d(x_{1},x_{2})=d\bigl(f(x_{0}),f(x_{1}) \bigr)\leq A d(x_{0},x_{1}). $$

Let \(x_{3}:=f(x_{2})\). Since \((x_{1},x_{2})\in X_{\leq}\), we have \((f(x_{1}),f(x_{2}))\in X_{\leq}\). Thus \((x_{2},x_{3})\in X_{\leq}\) and

$$d(x_{2},x_{3})=d\bigl(f(x_{1}),f(x_{2}) \bigr)\leq A^{2}d(x_{0},x_{1}). $$

Thus, for the sequence \(x_{n}:=f^{n}(x_{0})\) of successive approximations of f starting from \(x_{0}\) we have

$$d(x_{n},x_{n+1})\leq A^{n}d(x_{0},x_{1}) \quad \mbox{for } (x_{n},x_{n+1})\in X_{\leq}. $$

We prove next that the sequence \((x_{n})\) is Cauchy. We have

$$\begin{aligned} d(x_{n},x_{n+p})&\leq sd(x_{n},x_{n+1})+s^{2}d(x_{n+1},x_{n+2})+ \cdots+s^{p-1}d(x_{n+p-1},x_{n+p}) \\ &\leq sA^{n}d(x_{0},x_{1})+s^{2}A^{n+1}d(x_{0},x_{1})+ \cdots+s^{p}A^{n+p-1}d(x_{0},x_{1}). \end{aligned}$$

Since sA is convergent to zero, by Theorem 1.2, we see that \((I-sA)\) is nonsingular and

$$(I-sA)^{-1}=I+sA +\cdots+(sA)^{p}+\cdots. $$

Thus, by the above relation, we get

$$d(x_{n},x_{n+p})\leq sA^{n}(I-sA)^{-1}d(x_{0},x_{1}). $$

Notice now that, by Remark 1.3, the matrix A converges to zero too, which implies that \(d(x_{n},x_{n+p})\to0\) as \(n\to\infty\). Hence the sequence \((x_{n})\) is Cauchy. Since the b-metric space is complete, there exists \(x^{*}\in X\) such that \(x_{n}\to x^{*}\) as \(n\to\infty\).

Using the assumption (3) from the hypothesis we obtain \(\operatorname{Fix}(f)\neq\emptyset\).

For the uniqueness of the fixed point, we suppose that there exists \(y\in X\) such that \(y=f(y)\) and we estimate

$$d\bigl(x^{*},y\bigr)=d\bigl(f\bigl(x^{*}\bigr),f(y)\bigr)\leq Ad\bigl(x^{*},y\bigr). $$

From the fact that \((I-A)\) is nonsingular we have \(d(x^{*},y)=0\). Hence \(x^{*}=y\).

If \((x,x_{0})\in X_{\leq}\) then, by (2), we have \((f^{n}(x),f^{n}(x_{0}))\in X_{\leq}\), \(\forall n\in\mathbb{N}\). Thus \(f^{n}(x)\to x^{*}\), \(n\to\infty\).

If \((x,x_{0})\notin X_{\leq}\), by (1), there exists \(z(x,x_{0}):=z\in X_{\leq}\) such that \((x,z), (x_{0},z)\in X_{\leq}\). By the fact that \((x_{0},z)\in X_{\leq}\) we have \((f^{n}(x_{0}),f^{n}(z))\in X_{\leq}\), which implies that \(f^{n}(z)\to x^{*}\), \(n\to \infty\). This together with \((x,z)\in X_{\leq}\) implies that \(f^{n}(x)\to x^{*}\), \(n\to\infty\). □

Remark 3.3

In particular, if one of the following classical assumptions holds:


\(f:(X,\le)\to(X,\le)\) is monotone increasing



\(f:(X,\le)\to(X,\le)\) is monotone decreasing.

Notice that the assertion (2) in Theorem 3.2 is more general.

Remark 3.4

Condition (4) from the above theorem is equivalent with


f has a lower or an upper fixed point in X.

Notice also that the above theorem extends to the case of b-metric spaces; a result of this type given in [28].

Definition 3.5

Let \((X,d)\) be a generalized b-metric space with constant \(s\ge1\) and \(f:X\to X\) be an operator. The fixed point equation

$$ x= f(x), \quad x\in X, $$

is called generalized Ulam-Hyers stable if and only if there exists \(\psi:\mathbb{R}^{m}_{+}\rightarrow\mathbb{R}^{m}_{+}\) increasing, continuous in 0 and \(\psi(0)=0\), such that for each \(\varepsilon:=(\varepsilon_{1},\ldots,\varepsilon_{m})\) with \(\varepsilon_{i}>0\) for \(i\in\{1,\ldots,m \}\) and for each solution \(y^{\ast }\in X\) of the inequality

$$ d\bigl(y,f(y)\bigr)\leq\varepsilon, $$

there exists a solution \(x^{\ast}\) of the fixed point equation (5) such that

$$ d\bigl(y^{\ast},x^{\ast}\bigr)\leq\psi(\varepsilon). $$

In particular, if there exists \(C\in M_{m,m}(\mathbb{R_{+}})\) such that \(\psi(t):=C\cdot t\), for each \(t\in\mathbb{R}^{m}_{+}\), then the fixed point equation (5) is said to be Ulam-Hyers stable.

Theorem 3.6

Let \((X,d)\) be an ordered generalized b-metric space with constant \(s\ge1\) and \(f:X\to X\) be an operator. Suppose that all the hypotheses of Theorem  3.2 hold. Then the fixed point equation (5) is Ulam-Hyers stable.


By Theorem 3.2 we see that f is a Picard operator and hence \(\operatorname{Fix}(f)=\{x^{*} \}\). Thus, for any \(y^{*}\in X\) with \(d(y^{*},f(y^{*}))\le\varepsilon\) we have

$$d\bigl(y^{*},x^{*}\bigr)\le s\bigl[d\bigl(y^{*},f\bigl(y^{*}\bigr)\bigr)+d\bigl(f \bigl(y^{*}\bigr),f\bigl(x^{*}\bigr)\bigr)\bigr]\le s\bigl[\varepsilon+A d \bigl(y^{*},x^{*}\bigr)\bigr]. $$


$$d\bigl(y^{*},x^{*}\bigr)\le(I-sA)^{-1}s\varepsilon. $$


Let us consider now the case of coupled fixed point problems. Let \((X,d)\) be a b-metric space and \(T:X\times X\to X\) be an operator. Then, by definition, a coupled fixed point for T is a pair \((x^{*},y^{*})\in X\times X\) satisfying

$$ \left \{ \textstyle\begin{array}{l} x^{*}= T (x^{*}, y^{*} ) , \\ y^{*}= T (y^{*}, x^{*} ). \end{array}\displaystyle \right . $$

We will apply the above results to the above coupled fixed point problem. Our main result concerning the coupled fixed point problem (7) is the following theorem.

Theorem 3.7

Let \((X,d,\le)\) be an ordered and complete b-metric space with constant \(s\ge1\) and let \(T:X\times X\rightarrow X\) be an operator. We suppose:

  1. (i)

    for each \(z,w\in X\times X\) which are not comparable with respect to the partial ordering on \(X\times X\), there exists \(t\in X\times X\) (which may depend on z and w) such that t is comparable (with respect to the partial ordering ) with both z and w;

  2. (ii)

    T has the generalized mixed monotone property, i.e., for all (\(x\geq u\) and \(y\leq v\)) or (\(u\geq x\) and \(v\leq y\)) we have

    $$\left \{ \textstyle\begin{array}{l} T(x,y)\geq T(u,v), \\ T(y,x)\leq T(v,u)\end{array}\displaystyle \right .\quad \textit{or} \quad \left \{ \textstyle\begin{array}{l} T(u,v)\geq T(x,y), \\ T(v,u)\leq T(y,x);\end{array}\displaystyle \right . $$
  3. (iii)

    \(T:X\times X\rightarrow X\) has closed graph;

  4. (iv)

    there exists \(z_{0}:=(z_{0}^{1},z_{0}^{2})\in X\times X\) such that

    $$\left \{ \textstyle\begin{array}{l} z_{0}^{1}\geq T(z_{0}^{1},z_{0}^{2}), \\ z_{0}^{2}\leq T(z_{0}^{2},z_{0}^{1})\end{array}\displaystyle \right . \quad \textit{or} \quad \left \{ \textstyle\begin{array}{l} T(z_{0}^{1},z_{0}^{2})\geq z_{0}^{1} , \\ T(z_{0}^{2},z_{0}^{1})\leq z_{0}^{2};\end{array}\displaystyle \right . $$
  5. (v)

    there exist \(k_{1}, k_{2}\in\mathbb{R}_{+}\) with \(k_{1}+k_{2}<\frac{1}{s}\) such that

    $$ d\bigl(T(x,y),T(u,v)\bigr) \leq k_{1}d(x,u)+k_{2}d(y,v) $$

    for all (\(x\geq u\) and \(y\leq v\)) or (\(u\geq x\) and \(v\leq y\)).

Then there exists a unique element \((x^{\ast},y^{\ast})\in X\times X\) such that

$$ \left \{ \textstyle\begin{array}{l} x^{*}= T (x^{*}, y^{*} ), \\ y^{*}= T (y^{*}, x^{*} ). \end{array}\displaystyle \right . $$

and the sequence of the successive approximations \((T^{n}(w_{0}^{1},w_{0}^{2}),T^{n}(w_{0}^{2},w_{0}^{1}))\) converges to \((x^{\ast},y^{\ast})\) as \(n\rightarrow\infty\), for all \((w_{0}^{1},w_{0}^{2})\in X\times X\).


Denote \(Z:= X\times X\) and define on Z, for \(z:=(x,y), w:=(u,v)\in Z\), the partial order relation

$$z\preceq w \quad \mbox{if and only if}\quad (x\geq u \mbox{ and } y\leq v). $$

We denote

$$Z_{\preceq}=\bigl\{ (z,w):=\bigl((x,y),(u,v)\bigr)\in Z\times Z : z\preceq w \mbox{ or } w\preceq z\bigr\} . $$

Let \(F:Z\to Z\) be an operator defined by

$$ F ( x,y ):= \bigl( T ( x,y ),T ( y,x ) \bigr). $$

By our assumption (ii), we have \(Z_{\preceq}\in I(F\times F)\).

Indeed, by our hypotheses, it follows that Theorem 3.2 is applicable for the operator F. More precisely, F is a contraction with a matrix

$$A:=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} k_{1} & k_{2} \\ k_{2} & k_{1} \end{array}\displaystyle \right ), $$

i.e., we have

$$\tilde{d}\bigl(F(x,y),F(u,v)\bigr)\le A \tilde{d}\bigl((x,y),(u,v)\bigr)\quad \mbox{for all } \bigl((x,y),(u,v)\bigr)\in Z_{\preceq}, $$

where the space Z is endowed with the vector-valued b-metric \(\tilde{d}:Z\times Z\rightarrow \mathbb{R}_{+}^{2}\) by

$$\tilde{d} \bigl( ( x,y ) , ( u,v ) \bigr) :=\left ( \textstyle\begin{array}{@{}c@{}} d ( x,u ) \\ d ( y,v ) \end{array}\displaystyle \right ). $$


Concerning the Ulam-Hyers stability problem for a system of operatorial equations we have the concept.

Definition 3.8

Let \((X,d)\) be a b-metric space with constant \(s\ge1\) and let \(T_{1},T_{2}:X\times X\to X\) be two operators. The operatorial equation system

$$ \left \{ \textstyle\begin{array}{l} x= T_{1} (x, y ) , \\ y= T_{2} (x, y ), \end{array}\displaystyle \right . $$

is called Ulam-Hyers stable if and only if there exist \(c_{1},c_{2},c_{3},c_{4}>0\) such that, for each \(\varepsilon_{1},\varepsilon_{2}>0\) and for each solution pair \((u^{\ast},v^{\ast})\in X\times X\) of the inequations

$$ \left \{ \textstyle\begin{array}{l} d(u^{*},T_{1}(u^{*},v^{*}))\leq\varepsilon_{1}, \\ d(v^{*},T_{2}(u^{*},v^{*}))\leq\varepsilon_{2}, \end{array}\displaystyle \right . $$

there exists a solution \((x^{\ast},y^{\ast})\in X\times X\) of the fixed point system (9) such that

$$ \left \{ \textstyle\begin{array}{l} d(u^{*},x^{*})\leq c_{1}\varepsilon_{1}+c_{2}\varepsilon_{2}, \\ d(v^{*},y^{*})\leq c_{3}\varepsilon_{1}+c_{4}\varepsilon_{2}. \end{array}\displaystyle \right . $$

By Theorem 3.6,we get the following Ulam-Hyers stability result for the coupled fixed point problem.

Theorem 3.9

Assume that all the assumptions of Theorem  3.7 are satisfied. Then the operatorial equations system

$$ \left \{ \textstyle\begin{array}{l} x= T (x, y ) , \\ y= T (y, x ), \end{array}\displaystyle \right . $$

is Ulam-Hyers stable.


The conclusion follows by Theorem 3.6, applied for the fixed point problem \((x,y)=F(x,y)\), where \(F ( x,y ):= ( T ( x,y ),T ( y,x ) )\). □

4 An application

We will discuss now an application of the previous result. Let us consider the following system of integral equations:

$$ \left \{ \textstyle\begin{array}{l} x(t)=g(t)+\int_{0}^{T}G(s,t)f(s,x(s),y(s))\, ds, \\ y(t)=g(t)+\int_{0}^{T}G(s,t)f(s,y(s),x(s))\, ds, \end{array}\displaystyle \right . $$

where \(t\in[0,T]\).

A solution of the above system is a pair \((x,y)\in C[0,T]\times C[0,T]\) satisfying the above relations for all \(t\in[0,T]\).

We consider \(X:=C[0,T]\) endowed with the partial order relation:

$$x\le_{C} y\quad \Leftrightarrow\quad x(t)\le y(t)\quad \mbox{for all } t\in[0,T]. $$

We will also consider the following b-metric on X:

$$d(x,y):= \max_{t\in[0,T]}\bigl(x(t)-y(t)\bigr)^{2}. $$

Notice that d is a b-metric with constant \(s=2\) and d can be represented using the supremum (Cebîşev) type norm by \(d(x,y)=\|(x-y)^{2}\|_{C}\).

Then we have the following existence and uniqueness result.

Theorem 4.1

Consider the integral system (13). We suppose:

  1. (i)

    \(g:[0,T]\to\mathbb{R}\) and \(f:[0,T]\times\mathbb{R}^{2}\to \mathbb{R}\) are continuous and \(G:[0,T]\times[0,T]\to\mathbb{R}_{+}\) is integrable with respect to the first variable.

  2. (ii)

    \(f(s,\cdot,\cdot)\) has the generalized mixed monotone property with respect to the last two variables for all \(s\in[0,T]\).

  3. (iii)

    There exists \(\alpha,\beta:[0,T]\to\mathbb{R}_{+}\) in \(L^{1}[0,T]\) such that, for each \(u_{1},u_{2},v_{1},v_{2}\in\mathbb{R}\) with \(u_{1}\le v_{1}\) and \(u_{2}\ge v_{2}\) (or reversely), we have

    $$\bigl\vert f(s,u_{1},u_{2})-f(s,v_{1},v_{2}) \bigr\vert \le\alpha(s)|u_{1}-v_{1}|+\beta(s) |u_{2}-v_{2}| \quad \textit{for each } s\in[0,T]. $$
  4. (iv)

    \(\max_{t\in[0,T]}(\int_{0}^{T} G(s,t)\alpha (s)\, ds)^{2}+ \max_{t\in[0,T]}(\int_{0}^{T} G(s,t) \beta(s)\, ds)^{2}<\frac{1}{4}\).

  5. (v)

    There exists \(x_{0},y_{0}\in C[0,T]\) such that

    $$ \left \{ \textstyle\begin{array}{l} x_{0}(t)\le g(t)+\int_{0}^{T}G(s,t)f(s,x_{0}(s),y_{0}(s))\, ds, \\ y_{0}(t)\ge g(t)+\int_{0}^{T}G(s,t)f(s,y_{0}(s),x_{0}(s))\, ds \end{array}\displaystyle \right . $$


    $$ \left \{ \textstyle\begin{array}{l} x_{0}(t)\ge g(t)+\int_{0}^{T}G(s,t)f(s,x_{0}(s),y_{0}(s))\, ds, \\ y_{0}(t)\le g(t)+\int_{0}^{T}G(s,t)f(s,y_{0}(s),x_{0}(s))\, ds \end{array}\displaystyle \right . $$

    for all \(t\in[0,T]\).

Then there exists a unique solution \((x^{*},y^{*})\) of the system (13).


We will work in the space \((X,d)\) with

$$d(x,y):= \max_{t\in[0,T]}\bigl(x(t)-y(t)\bigr)^{2}, $$

which is a b-metric space with \(s=2\).

We can prove that all the assumptions of Theorem 3.7 are satisfied. We define \(S:X\times X\to X\) by

$$S(x,y) (t):=g(t)+ \int_{0}^{T} G(s,t) f\bigl(s,x(s),y(s)\bigr)\, ds \quad \mbox{for each } t\in[0,T]. $$

Then system (13) can be written as a coupled fixed point problem for S:

$$ \left \{ \textstyle\begin{array}{l} x= S (x, y ), \\ y= S (y, x ). \end{array}\displaystyle \right . $$

Then, for all (\(x\geq u\) and \(y\leq v\)) or (\(u\geq x\) and \(v\leq y\)), we have

$$\begin{aligned}& \bigl\vert S(x,y) (t)-S(u,v) (t)\bigr\vert ^{2} \\& \quad \le\biggl[ \int_{0}^{T} G(s,t) \bigl\vert f\bigl(s,x(s),y(s) \bigr)-f\bigl(s,u(s),v(s)\bigr)\bigr\vert \,ds\biggr]^{2} \\& \quad \le\biggl[ \int_{0}^{T} G(s,t) \bigl(\alpha(s) \bigl\vert x(s)-u(s)\bigr\vert +\beta(s) \bigl\vert y(s)-v(s)\bigr\vert \bigr)\,ds \biggr]^{2} \\& \quad =\biggl[ \int_{0}^{T} G(s,t) \bigl(\alpha(s) \sqrt{ \bigl(x(s)-u(s)\bigr)^{2}}+\beta(s) \sqrt {\bigl(y(s)-v(s) \bigr)^{2}}\bigr)\,ds\biggr]^{2} \\& \quad =\biggl[ \int_{0}^{T} G(s,t) \bigl(\alpha(s) \sqrt{\bigl\vert x(s)-u(s)\bigr\vert ^{2}}+\beta(s) \sqrt {\bigl\vert y(s)-v(s)\bigr\vert ^{2}}\bigr)\,ds\biggr]^{2} \\& \quad \le\biggl[ \int_{0}^{T} G(s,t)\alpha(s) \sqrt{\bigl\Vert (x-u)^{2}\bigr\Vert _{C}}\,ds+ \int_{0}^{T} G(s,t) \beta (s) \sqrt{\bigl\Vert (y-v)^{2}\bigr\Vert _{C}} \,ds\biggr]^{2} \\& \quad \le2\biggl[\biggl( \int_{0}^{T} G(s,t)\alpha(s) \sqrt{\bigl\Vert (x-u)^{2}\bigr\Vert _{C}} \,ds\biggr)^{2}+ \biggl( \int_{0}^{T} G(s,t) \beta(s) \sqrt{\bigl\Vert (y-v)^{2}\bigr\Vert _{C}} \,ds\biggr)^{2}\biggr] \\& \quad =2\biggl( \int_{0}^{T} G(s,t)\alpha(s)\,ds \biggr)^{2}\cdot\bigl\Vert (x-u)^{2}\bigr\Vert _{C} +2\biggl( \int_{0}^{T} G(s,t) \beta(s)\,ds \biggr)^{2}\cdot\bigl\Vert (y-v)^{2}\bigr\Vert _{C} \\& \quad \le2 \max_{t\in[0,T]}\biggl( \int_{0}^{T} G(s,t)\alpha(s)\,ds \biggr)^{2}\cdot\bigl\Vert (x-u)^{2}\bigr\Vert _{C} \\& \qquad {}+ 2 \max_{t\in[0,T]}\biggl( \int_{0}^{T} G(s,t) \beta(s)\,ds \biggr)^{2}\cdot\bigl\Vert (y-v)^{2}\bigr\Vert _{C}. \end{aligned}$$

Thus, taking the maximum over \(t\in[0,T]\), we get

$$\bigl\Vert \bigl(S(x,y)-S(u,v)\bigr)^{2}\bigr\Vert _{C} \le k_{1} \bigl\Vert (x-u)^{2}\bigr\Vert _{C}+k_{2} \bigl\Vert (y-v)^{2}\bigr\Vert _{C}, $$

where \(k_{1}:=2 \max_{t\in[0,T]}(\int_{0}^{T} G(s,t)\alpha (s)\, ds)^{2}\) and \(k_{2}:=2 \max_{t\in[0,T]}(\int_{0}^{T} G(s,t) \beta(s)\, ds)^{2}\).

Hence, for all (\(x\geq u\) and \(y\leq v\)) or (\(u\geq x\) and \(v\leq y\)), we get

$$d\bigl(S(x,y),S(u,v)\bigr)\le k_{1} d(x,u)+k_{2} d(y,v). $$

Since \(k_{1}+k_{2}<\frac{1}{2}\) (by the assumption (iv)), we see that all the assumptions of Theorem 3.7 are satisfied and the conclusion follows. □

Remark 4.2

Using Theorem 3.9, the Ulam-Hyers stability of the integral equations system can be established, under similar assumptions. We also mention that the method can be extended to a system of Volterra type integral equations; see for such a result [27].


  1. Perov, AI: On the Cauchy problem for a system of ordinary differential equations. Približ. Metody Rešen. Differ. Uravn. 2, 115-134 (1964)

    MathSciNet  Google Scholar 

  2. Agarwal, RP: Contraction and approximate contraction with an application to multi-point boundary value problems. J. Comput. Appl. Math. 9, 315-325 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  3. O’Regan, D, Shahzad, N, Agarwal, RP: Fixed point theory for generalized contractive maps on spaces with vector-valued metrics. In: Fixed Point Theory and Applications, vol. 6, pp. 143-149. Nova Science Publishers, New York (2007)

    Google Scholar 

  4. Petruȩl, A, Petruşel, G: Nonlinear dynamics, fixed points and coupled fixed points in generalized gauge spaces with applications to a system of integral equations. Discrete Dyn. Nat. Soc. 2015, Article ID 143510 (2015). doi:10.1155/2015/143510

    Google Scholar 

  5. Precup, R, Viorel, A: Existence results for systems of nonlinear evolution equations. Int. J. Pure Appl. Math. 47(2), 199-206 (2008)

    MATH  MathSciNet  Google Scholar 

  6. Precup, R, Viorel, A: Existence results for systems of nonlinear evolution inclusions. Fixed Point Theory 11(2), 337-346 (2010)

    MATH  MathSciNet  Google Scholar 

  7. Precup, R: The role of matrices that are convergent to zero in the study of semilinear operator systems. Math. Comput. Model. 49, 703-708 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  8. Czerwik, S: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46, 263-276 (1998)

    MATH  MathSciNet  Google Scholar 

  9. Bourbaki, N: Topologie Générale. Hermann, Paris (1974)

    MATH  Google Scholar 

  10. Bakhtin, IA: The contraction mapping principle in almost metric spaces. In: Functional Analysis, vol. 30, pp. 26-37. Ulianowsk Gos. Ped. Inst, Ulianowsk (1989)

    Google Scholar 

  11. Blumenthal, LM: Theory and Applications of Distance Geometry. Clarendon, Oxford (1953)

    MATH  Google Scholar 

  12. Opoitsev, VI: Heterogenic and combined-concave operators. Sib. Math. J. 16, 781-792 (1975) (in Russian)

    Google Scholar 

  13. Opoitsev, VI: Dynamics of collective behavior. III. Heterogenic systems. Avtom. Telemeh. 36, 124-138 (1975) (in Russian)

    MathSciNet  Google Scholar 

  14. Opoitsev, VI, Khurodze, TA: Nonlinear Operators in Spaces with a Cone. Tbilisi Gos. Univ., Tbilisi (1984) (in Russian)

    Google Scholar 

  15. Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11, 623-632 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  16. Gnana Bhaskar, T, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 1379-1393 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  17. Lakshmikantham, V, Ćirić, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 4341-4349 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  18. Guo, D, Cho, YJ, Zhu, J: Partial Ordering Methods in Nonlinear Problems. Nova Science Publishers, New York (2004)

    MATH  Google Scholar 

  19. Berinde, V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 74, 7347-7355 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  20. Boriceanu-Bota, M, Petruşel, A, Rus, IA: Fixed point theorems for some multivalued generalized contractions in b-metric spaces. Int. J. Math. Stat. 6, 65-76 (2010)

    MathSciNet  Google Scholar 

  21. Samet, B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 72(12), 4508-4517 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  22. Zabrejko, PP: K-Metric and K-normed linear spaces: survey. Collect. Math. 48(4-6), 825-859 (1997)

    MathSciNet  Google Scholar 

  23. Varga, RS: Matrix Iterative Analysis. Springer Series in Computational Mathematics, vol. 27. Springer, Berlin (2000)

    Book  MATH  Google Scholar 

  24. Allaire, G, Kaber, SM: Numerical Linear Algebra. Texts in Applied Mathematics, vol. 55. Springer, New York (2008)

    MATH  Google Scholar 

  25. Berinde, V: Generalized contractions in quasimetric spaces. In: Seminar on Fixed Point Theory, pp. 3-9 (1993)

    Google Scholar 

  26. Urs, C: Coupled fixed point theorems and applications. Miskolc Math. Notes 14(1), 323-333 (2013)

    MATH  MathSciNet  Google Scholar 

  27. Petruşel, A, Petruşel, G, Samet, B, Yao, J-C: Coupled fixed point theorems for symmetric contractions in b-metric spaces with applications to a system of integral equations and a periodic boundary value problem (submitted)

  28. Petruşel, A, Rus, IA: Fixed point theorems in ordered L-spaces. Proc. Am. Math. Soc. 134(2), 411-418 (2005)

    Article  Google Scholar 

Download references


For the first author, this paper was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-ID-PCE-2011-3-0094. The second author thanks the Visiting Professor Programming at King Saud University for funding this work. The fourth author extends his sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding this Prolific Research Group (PRG-1436-10).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Adrian Petruşel.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

M-FB and GP carried out the studies on coupled fixed points for mixed monotone operators and drafted the manuscript. AP and BS carried out the vectorial approach to coupled fixed point theory and the application section. All the authors have equal contributions to this work. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bota, MF., Petruşel, A., Petruşel, G. et al. Coupled fixed point theorems for single-valued operators in b-metric spaces. Fixed Point Theory Appl 2015, 231 (2015).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: