- Research
- Open Access

# Vector-valued metrics, fixed points and coupled fixed points for nonlinear operators

- Adrian Petruşel
^{1}, - Gabriela Petruşel
^{1}and - Cristina Urs
^{1}Email author

**2013**:218

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

© Petruşel et al.; licensee Springer. 2013

**Received:**10 December 2012**Accepted:**29 July 2013**Published:**14 August 2013

## Abstract

In this paper, we will present fixed point theorems for singlevalued and multivalued operators in spaces endowed with vector-valued metrics, as well as a Gnana Bhaskar-Lakshmikantham-type theorem for the coupled fixed point problem, associated to a pair of singlevalued operators (satisfying a generalized mixed monotone property) in ordered metric spaces. The approach is based on Perov-type fixed point theorems in spaces endowed with vector-valued metrics. The Ulam-Hyers stability and the limit shadowing property of the fixed point problems are also discussed.

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

## Keywords

- singlevalued operator
- multivalued operator
- vector-valued metric
- fixed point
- ordered metric space
- coupled fixed point
- Ulam-Hyers stability
- limit shadowing property

## 1 Introduction

The classical Banach contraction principle is a very useful tool in nonlinear analysis with many applications to operatorial equations, fractal theory, optimization theory and other topics. Banach contraction principle was extended for singlevalued contraction on spaces endowed with vector-valued metrics by Perov [1] and Perov and Kibenko [2]. For some other contributions to this topic, we also refer to [3–9], *etc*. The case of multivalued contractions on spaces endowed with vector-valued metrics is treated in [10–12], *etc*.

In the study of the fixed points for an operator, it is sometimes useful to consider a more general concept, namely coupled fixed points. The concept of coupled fixed point for nonlinear operators was introduced and studied by Opoitsev (see [13–15]) and then, in 1987, by Guo and Lakshmikantham (see [16]) in connection with coupled quasisolutions of an initial value problem for ordinary differential equations. Later, a new research direction for the theory of coupled fixed points in ordered metric spaces was initiated by Gnana Bhaskar and Lakshmikantham in [17] and by Lakshmikantham and Ćirić in [18]. Their approach is based on some contractive type conditions on the operator. For other results on coupled fixed point theory, see [17–22], *etc*.

Let us recall first some important preliminary concepts and results.

*X*be a nonempty set. A mapping $d:X\times X\to {\mathbb{R}}^{m}$ is called a vector-valued metric on

*X*if the following properties are satisfied:

- (a)
$d(x,y)\ge O$ for all $x,y\in X$; if $d(x,y)=O$, then $x=y$ (where );

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

- (c)
$d(x,y)\le d(x,z)+d(z,y)$ for all $x,y\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 notions of convergent sequence, Cauchy sequence, completeness, open and closed subset, open and closed ball, … are similar to those for usual metric spaces.

Notice that the generalized metric space in the sense of Perov is a particular case of Riesz spaces (see [23, 24]) and of so-called cone metric spaces (or *K*-metric space) (see [25, 26]).

*I*the identity $m\times m$ matrix. If $x,y\in {\mathbb{R}}^{m}$, $x=({x}_{1},\dots ,{x}_{m})$ and $y=({y}_{1},\dots ,{y}_{m})$, then, by definition

Notice that through this paper, we will make an identification between row and column vectors in ${\mathbb{R}}^{m}$.

**Definition 1.1** A square matrix of real numbers is said to be convergent to zero if and only if its spectral radius $\rho (A)$ is strictly less than 1. In other words, this means that all the eigenvalues of *A* are in the open unit disc, *i.e.*, $|\lambda |<1$, for every $\lambda \in \mathbb{C}$ with $det(A-\lambda I)=0$, where *I* denotes the unit matrix of ${\mathcal{M}}_{m,m}(\mathbb{R})$ (see [27]).

A classical result in matrix analysis is the following theorem (see [27, 28]).

**Theorem 1.2**

*Let*$A\in {M}_{mm}({\mathbb{R}}_{+})$.

*The following assertions are equivalent*

- (i)
*A**is convergent towards zero*; - (ii)
${A}^{n}\to O$

*as*$n\to \mathrm{\infty}$; - (iii)
*The matrix*$(I-A)$*is nonsingular and*${(I-A)}^{-1}=I+A+\cdots +{A}^{n}+\cdots ;$(1) - (iv)
*The matrix*$(I-A)$*is nonsingular and*${(I-A)}^{-1}$*has nonnegative elements*; - (v)
${A}^{n}q\to O$

*and*$q{A}^{n}\to O$*as*$n\to \mathrm{\infty}$,*for each*$q\in {\mathbb{R}}^{m}$; - (vi)
*The matrices**qA**and**Aq**converge to**O**for each*$q\in (1,Q)$,*where*$Q:=\frac{1}{\rho (A)}$.

*X*is a nonempty set and $f:X\to X$ is an operator, then

We recall now Perov’s fixed point theorem (see [1], see also [2]).

**Theorem 1.3** (Perov)

*Let*$(X,d)$

*be a complete generalized metric space*,

*and let the operator*$f:X\to X$

*be with the property that there exists a matrix*$A\in {M}_{mm}({\mathbb{R}}_{+})$

*convergent towards zero such that*

*Then*

- (1)
$Fix(f)=\{{x}^{\ast}\}$;

- (2)
*the sequence of successive approximations*${({x}_{n})}_{n\in \mathbb{N}}$, ${x}_{n}:={f}^{n}({x}_{0})$*is convergent in**X**to*${x}^{\ast}$,*for all*${x}_{0}\in X$; - (3)
*one has the following estimation*$d({x}_{n},{x}^{\ast})\le {A}^{n}{(I-A)}^{-1}d({x}_{0},{x}_{1});$(2) - (4)
*if*$g:X\to X$*is an operator such that there exists*${y}^{\ast}\in Fix(g)$,*and there exists*$\eta :=({\eta}_{1},\dots ,{\eta}_{m})\in {\mathbb{R}}_{+}^{m}$*with*${\eta}_{i}>0$*for each*$i\in \{1,2,\dots ,m\}$*such that*$d(f(x),g(x))\le \eta ,\phantom{\rule{1em}{0ex}}\mathit{\text{for each}}x\in X,$

*then*

- (5)
*if*$g:X\to X$*is an operator*, ${y}_{n}:={g}^{n}({x}_{0})$,*and there exists*$\eta :=({\eta}_{1},\dots ,{\eta}_{m})\in {\mathbb{R}}_{+}^{m}$*with*${\eta}_{i}>0$*for each*$i\in \{1,2,\dots ,m\}$*such that*$d(f(x),g(x))\le \eta ,\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}x\in X,$

*we have the following estimation*

Notice that in Precup [9], as well as in [3, 5] and [7] are pointed out the advantages of working with vector-valued norm with respect to the usual scalar norms.

There is a vast literature concerning this approach, see also, for example, [4, 6, 8, 9, 29], *etc*.

where ${T}_{1},{T}_{2}:X\times X\to X$ are two given operators.

then we get the classical concept of a coupled fixed point for the operator *S* introduced by Opoitsev and then intensively studied in some papers by Guo and Lakshmikantham, Gnana Bhaskar and Lakshmikantham, Lakshmikantham and Ćirić, *etc*.

The case of an operatorial inclusion is defined in a similar way, namely, by using the symbol ∈ instead of =. The concept of a coupled fixed point for a multivalued operator *S* is accordingly defined.

First aim of this work is to present some existence and stability results for fixed point equations and inclusions in generalized metric spaces in the sense of Perov. Our second purpose is to present, in the setting of an ordered metric space, a Gnana Bhaskar-Lakshmikantham-type theorem for the coupled fixed point problem associated to a pair of singlevalued operators satisfying a generalized mixed monotone assumption. The approach is based on an abstract fixed point theorem in ordered complete metric spaces. Our results are related with other existence and stability results for the a coupled fixed point problem for singlevalued operators proved in [30] by the support of Perov’s fixed point theorem.

## 2 Existence, uniqueness and stability for fixed point equations and inclusions

We start this section by an extension of Perov’s theorem. At the same time, the result is a generalization to vector-valued metric spaces of the main theorem in [31].

**Theorem 2.1**

*Let*$(X,d)$

*be a generalized complete metric space*,

*and let*$f:X\to X$

*be an almost contraction with matrices*

*A*,

*B*

*and*

*C*,

*i*.

*e*.,

*the matrix*$A+C\in {M}_{mm}({\mathbb{R}}_{+})$

*converges to zero*, $B\in {M}_{mm}({\mathbb{R}}_{+})$

*and*

*Then*,

*the following conclusions hold*

- 1.
*f**has at least one fixed point in**X**and*,*for each*${x}_{0}\in X$,*the sequence*${x}_{n}:={f}^{n}({x}_{0})$*of successive approximations of**f**starting from*${x}_{0}$*converges to*${x}^{\ast}({x}_{0})\in Fix(f)$*as*$n\to \mathrm{\infty}$; - 2.
*For each*${x}_{0}\in X$,*we have*$d({x}_{n},{x}^{\ast}({x}_{0}))\le {A}^{n}{(I-A)}^{-1}d({x}_{0},f({x}_{0})),\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}n\in \mathbb{N}$*and*$d({x}_{0},{x}^{\ast}({x}_{0}))\le {(I-A)}^{-1}d({x}_{0},f({x}_{0}));$ - 3.
*If*,*additionally*,*the matrix*$A+B$*converges to zero*,*then**f**has a unique fixed point in X*.

*Proof*Let ${x}_{0}\in X$ be arbitrary, and consider ${({x}_{n})}_{n\in \mathbb{N}}$ the sequence of successive approximations for

*f*starting from ${x}_{0}$,

*i.e.*,

We have that $d({x}_{1},{x}_{2})=d(f({x}_{0}),f({x}_{1}))\le Ad({x}_{0},{x}_{1})+Bd({x}_{1},f({x}_{0}))+Cd({x}_{0},f({x}_{0}))=(A+C)d({x}_{0},{x}_{1})$.

Thus, $d({x}_{n},{x}_{n+p})\to O$, as $n\to \mathrm{\infty}$. Hence ${({x}_{n})}_{n\in \mathbb{N}}$ is a Cauchy sequence in the complete metric space $(X,d)$. Thus, ${({x}_{n})}_{n\in \mathbb{N}}$ converges to a certain element ${x}^{\ast}({x}_{0})\in X$.

We show now the uniqueness of the fixed point.

Thus $(I-A-B)d({x}^{\ast},{y}^{\ast})\le O\in {\mathbb{R}}^{m}$. Since $A+B$ converges to zero, we get that $I-A-B$ is non-singular and ${(I-A-B)}^{-1}\in {M}_{m,m}({\mathbb{R}}_{+})$. Hence $d({x}^{\ast},{y}^{\ast})\le O$ and so ${x}^{\ast}={y}^{\ast}$. □

**Remark 2.2** The result above extends Corollary 2.3 in [5], where the case of almost contractions with matric $C=O$ is treated.

Two important abstract concepts are given now.

If $(X,d)$ is a generalized metric space, then $f:X\to X$ is called a weakly Picard operator if and only if the sequence ${({f}^{n}(x))}_{n\in \mathbb{N}}$ of successive approximations of *f* converges for all $x\in X$ and the limit (which may depend on *x*) is a fixed point of *f*.

*f*is weakly Picard operator, then we define the operator ${f}^{\mathrm{\infty}}:X\to X$ by

Notice that, in this case, ${f}^{\mathrm{\infty}}(X)=Fix(f)$. Moreover, ${f}^{\mathrm{\infty}}$ is a set retraction of *X* to $Fix(f)$.

If *f* is weakly Picard operator and $Fix(f)=\{{x}^{\ast}\}$, then by definition *f* is a Picard operator. In this case, ${f}^{\mathrm{\infty}}$ is the constant operator, *i.e.*, ${f}^{\mathrm{\infty}}(x)={x}^{\ast}$ for all $x\in X$.

**Definition 2.4** (see [33])

*f*is said to be a

*ψ*-weakly Picard operator if and only if

*f*is a weakly Picard operator and $\psi :{\mathbb{R}}_{+}^{m}\to {\mathbb{R}}_{+}^{m}$ is an increasing operator, continuous in

*O*with $\psi (O)=O$ such that

Moreover, a *ψ*-weakly Picard operator $f:X\to X$ with a unique fixed point is said to be a *ψ*-Picard operator. In particular, if $\psi :{\mathbb{R}}_{+}^{m}\to {\mathbb{R}}_{+}^{m}$ is given by $\psi (t)=M\cdot t$ (with $C\in {M}_{mm}({\mathbb{R}}_{+})$), then we say that *f* is *M*-weakly Picard operator (respectively a *M*-Picard operator).

From Theorem 2.1, we get the following example.

**Example 2.5** If $(X,d)$ is a generalized complete metric space and $f:X\to X$ is an almost contraction with matrices *A*, *B*, and *C*, then *f* is a *ψ*-weakly Picard operator with the function $\psi (t):={[I-(A+C)]}^{-1}t$. In particular, if $f:X\to X$ is a contraction with matrix *A*, then *f* is a *ψ*-Picard operator with $\psi (t):={(I-A)}^{-1}t$.

For the proof of our next theorems we need the following notion.

**Definition 2.6**Let $(X,d)$ be a generalized metric space, and let $f:X\to X$ be an operator. Then, the fixed point equation

*O*with $\psi (O)=O$ such that for any $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ with ${\epsilon}_{i}>0$ for $i\in \{1,\dots ,m\}$ and any

*ε*-solution ${y}^{\ast}\in X$ of (4),

*i.e.*,

In particular, if $\psi (t)=C\cdot t$, $t\in {\mathbb{R}}_{+}^{m}$ (where $C\in {M}_{mm}({\mathbb{R}}_{+})$), then the fixed point equation (4) is called Ulam-Hyers stable.

We can prove now the following abstract result (see also Rus [33]) concerning the Ulam-Hyers stability of the fixed point equation (4).

**Theorem 2.7** *Let* $(X,d)$ *be a generalized metric space*, *and let* $f:X\to X$ *be a* *ψ*-*weakly Picard operator*. *Then*, *the fixed point equation* (4) *is generalized Ulam*-*Hyers stable*.

*Proof*Let $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ (with ${\epsilon}_{i}>0$ for $i\in \{1,\dots ,m\}$), and let ${y}^{\ast}\in X$ be a

*ε*-solution of (5),

*i.e.*, $d({y}^{\ast},f({y}^{\ast}))\le \epsilon $. Since

*f*is a

*ψ*-Picard operator, we have that

□

**Remark 2.8** In particular, if $(X,d)$ is a generalized complete metric space, and $f:X\to X$ is an almost contraction with matrices *A*, *B* and *C*, then, by Example 2.5 and Theorem 2.7, we get that the fixed point equation (4) is Ulam-Hyers stable.

*X*, then the gap functional (generated by

*ρ*) on $P(X)$ is defined as

In particular, if ${x}_{0}\in X$, we put ${D}_{\rho}({x}_{0},B)$ in place of ${D}_{\rho}(\{{x}_{0}\},B)$.

Let $(X,d)$ be a generalized metric space with $d(x,y):=\left(\begin{array}{c}{d}_{1}(x,y)\\ \cdots \\ {d}_{m}(x,y)\end{array}\right)$.

Notice that *d* is a generalized metric on *X* if and only if ${d}_{i}$ are metrics on *X* for each $i\in \{1,2,\dots ,m\}$.

*X*, $x\in X$ and $Y\in P(X)$, then ${D}_{{d}_{i}}(x,Y)=0$ if and only if $x\in {\overline{Y}}^{{d}_{i}}$, where ${\overline{Y}}^{{d}_{i}}$ denotes the closure of

*Y*in $(X,{d}_{i})$. As a consequence,

Hence, $x\in {\overline{Y}}^{{d}_{i}}$ for each $i\in \{1,2,\dots ,m\}$ is equivalent with ${D}_{{d}_{i}}(x,Y)=0$ for each $i\in \{1,2,\dots ,m\}$, which is also equivalent with $D(x,Y)=O$.

- (a)
$x\in {\overline{Y}}^{d}\iff x\in {\overline{Y}}^{{d}_{i}}$ for each $i\in \{1,2,\dots ,m\}$.

- (b)
*Y*is closed with respect to $d\iff Y$ is closed with respect to each ${d}_{i}$ for $i\in \{1,2,\dots ,m\}$.

We denote by ${P}_{\mathrm{cl}}(X)$ the set of all nonempty closed (with respect to *d*) subsets of *X*.

We have the following two auxiliary results.

**Lemma 2.9**

*Let*$(X,d)$

*be a generalized metric space*,

*let*$x\in X$,

*and let*$Y\in {P}_{\mathrm{cl}}(X)$.

*Then*,

**Lemma 2.10**

*Let*$(X,d)$

*be a generalized metric space*, $Y,Z\in P(X)$, $q>1$.

*Then*,

*for any*$y\in Y$,

*there exists*$z\in Z$

*such that*

*F*is denoted by

*F*are denoted by the symbols

We will present now an extension of the Nadler fixed point theorem in a space endowed with a vector-valued metric, which is also a multivalued version of Perov’s theorem.

**Theorem 2.11**

*Let*$(X,d)$

*be a generalized complete metric space*,

*and let*$F:X\to {P}_{\mathrm{cl}}(X)$

*be a multivalued almost contraction with matrices*

*A*

*and*

*B*,

*i*.

*e*.,

*there exists two matrices*$A,B\in {M}_{mm}({\mathbb{R}}_{+})$

*such that*

*A*

*converges to zero and*

*Then*

- (i)
$Fix(F)\ne \mathrm{\varnothing}$;

- (ii)
*for each*$(x,y)\in Graph(F)$,*there exists a sequence*${({x}_{n})}_{n\in \mathbb{N}}$ (*with*${x}_{0}=x$, ${x}_{1}=y$*and*${x}_{n+1}\in F({x}_{n})$*for each*$n\in {\mathbb{N}}^{\ast}$)*such that*${({x}_{n})}_{n\in \mathbb{N}}$*is convergent to a fixed point*${x}^{\ast}:={x}^{\ast}(x,y)$*of**F*,*and the following relations hold*$d({x}_{n},{x}^{\ast})\le {A}^{n}{(I-A)}^{-1}d({x}_{0},{x}_{1}),\phantom{\rule{1em}{0ex}}\mathit{\text{for each}}n\in {\mathbb{N}}^{\ast}$

*and*

*Proof*Let ${x}_{0}\in X$ and ${x}_{1}\in F({x}_{0})$ be arbitrarily chosen. Let $q\in (1,Q)$, where

*Q*is defined by Theorem 1.2. Then, by Lemma 2.10, there exists ${x}_{2}\in F({x}_{1})$ such that

*X*. Since $(X,d)$ is complete, it follows that there exists ${x}^{\ast}\in X$ such that ${x}_{n}\stackrel{d}{\u27f6}{x}^{\ast}$, $n\to \mathrm{\infty}$. Thus,

Letting $q\searrow 1$, we get that $d({x}_{0},{x}^{\ast})\le {(I-A)}^{-1}d({x}_{0},{x}_{1})$. □

For the following notions see Rus *et al.* [34] and A. Petruşel [10].

**Definition 2.12**Let $(X,d)$ be a generalized metric space, and let $F:X\to {P}_{\mathrm{cl}}(X)$ be a multivalued operator. By definition,

*F*is a multivalued weakly Picard (briefly MWP) operator if for each $(x,y)\in Graph(F)$, there exists a sequence ${({x}_{n})}_{n\in \mathbb{N}}$ such that

- (i)
${x}_{0}=x$, ${x}_{1}=y$;

- (ii)
${x}_{n+1}\in F({x}_{n})$, for each $n\in \mathbb{N}$;

- (iii)
the sequence ${({x}_{n})}_{n\in \mathbb{N}}$ is convergent, and its limit is a fixed point of

*F*.

**Remark 2.13** A sequence ${({x}_{n})}_{n\in \mathbb{N}}$ satisfying the condition (i) and (ii) in the definition above is called a sequence of successive approximations of *F* starting from $(x,y)\in Graph(F)$.

If $F:X\to P(X)$ is an MWP operator, then we define ${F}^{\mathrm{\infty}}:Graph(F)\to P(Fix(F))$ by the formula ${F}^{\mathrm{\infty}}(x,y)$ := {$z\in Fix(F)$| there exists a sequence of successive approximations of *F* starting from $(x,y)$ that converges to *z*}.

**Definition 2.14**Let $(X,d)$ be a generalized metric space, and let $F:X\to P(X)$ be an MWP operator. Then,

*F*is called a

*ψ*-multivalued weakly Picard operator (briefly

*ψ*-MWP operator) if and only if $\psi :{\mathbb{R}}_{+}^{m}\to {\mathbb{R}}_{+}^{m}$ is an increasing operator, continuous in

*O*with $\psi (O)=O$, and there exists a selection ${f}^{\mathrm{\infty}}$ of ${F}^{\mathrm{\infty}}$ such that

**Example 2.15** Let $(X,d)$ be a generalized complete metric space, and let $F:X\to {P}_{\mathrm{cl}}(X)$ be a multivalued almost contraction with matrices *A* and *B*. Then, by Theorem 2.11 (see (i) and (ii)), we get that *F* is a ${(I-A)}^{-1}$-MWP operator.

Two important stability concepts are given now.

**Definition 2.16**Let $(X,d)$ be a generalized metric space, and let $F:X\to P(X)$ be a multivalued operator. The fixed point inclusion

*O*with $\psi (O)=O$ such that for each $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ (with ${\epsilon}_{i}>0$ for $i\in \{1,\dots ,m\}$) and for each

*ε*-solution ${y}^{\ast}\in X$ of (8),

*i.e.*,

In particular, if $\psi (t)=C\cdot t$ for each $t\in {\mathbb{R}}_{+}^{m}$ (where $C\in {M}_{mm}({\mathbb{R}}_{+})$), then the fixed point inclusion (8) is said to be Ulam-Hyers stable.

**Definition 2.17** Let $(X,d)$ be a generalized metric space, and let $F:X\to P(X)$ be a multivalued operator. Then, the multivalued operator *F* is said to have the limit shadowing property if for each sequence ${({y}_{n})}_{n\in \mathbb{N}}$ in *X* such that $D({y}_{n+1},F({y}_{n}))\to O$ as $n\to +\mathrm{\infty}$, there exists a sequence ${({x}_{n})}_{n\in \mathbb{N}}$ of successive approximations of *F* such that $d({x}_{n},{y}_{n})\to O$ as $n\to +\mathrm{\infty}$.

An auxiliary result is as follows.

**Cauchy-type lemma**

*Let*$A\in {M}_{mm}({\mathbb{R}}_{+})$

*be a matrix convergent toward zero and*${({B}_{n})}_{n\in \mathbb{N}}\in {\mathbb{R}}_{+}^{m}$

*be a sequence such that*${lim}_{n\to +\mathrm{\infty}}{B}_{n}=O$.

*Then*

We can prove now the Ulam-Hyers stability of the fixed point inclusion (8) for the case of a multivalued contraction, which has at least one strict fixed point. The limit shadowing property is also established.

**Theorem 2.18**

*Let*$(X,d)$

*be a generalized complete metric space*,

*and let*$F:X\to {P}_{\mathrm{cl}}(X)$

*be a multivalued*

*A*-

*contraction*,

*i*.

*e*.,

*there exists a matrix*$A\in {M}_{mm}({\mathbb{R}}_{+})$

*such that*

*A*

*converges to zero and*

*Suppose also that*$SFix(F)\ne \mathrm{\varnothing}$,

*i*.

*e*.,

*there exists*${x}^{\ast}\in X$

*such that*$\{{x}^{\ast}\}=F({x}^{\ast})$.

*Then*

- (a)
*the fixed point inclusion*(8)*is Ulam*-*Hyers stable*; - (b)
*the multivalued operator**F**has the limit shadowing property*.

*Proof*(a) Let $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ (with ${\epsilon}_{i}>0$ for $i\in \{1,\dots ,m\}$), and let ${y}^{\ast}\in X$ be an

*ε*-solution of (8),

*i.e.*, $D({y}^{\ast},F({y}^{\ast}))\le \epsilon $. Let ${x}^{\ast}\in X$ be such that $\{{x}^{\ast}\}=F({x}^{\ast})$. Then

Thus $d({y}^{\ast},{x}^{\ast})\le {(I-A)}^{-1}\epsilon $.

*X*such that $D({y}_{n+1},F({y}_{n}))\to O$ as $n\to \mathrm{\infty}$. We shall prove first that $d({y}_{n},{x}^{\ast})\to O$ as $n\to +\mathrm{\infty}$. We successively have

By Cauchy’s lemma, the right hand side tends to *O* as $n\to +\mathrm{\infty}$. Thus $d({x}^{\ast},{y}_{n+1})\to O$ as $n\to +\mathrm{\infty}$.

*F*starting from arbitrary $({x}_{0},{x}_{1})\in Graph(F)$, which converge to a fixed point ${x}^{\ast}\in X$ of the operator

*F*. Since, the fixed point is unique, we get that $d({x}_{n},{x}^{\ast})\to O$ as $n\to +\mathrm{\infty}$. Hence, for such a sequence ${({x}_{n})}_{n\in \mathbb{N}}$, we have

□

We also have the following abstract results concerning the Ulam-Hyers stability of the fixed point inclusion (8) for multivalued operators.

**Theorem 2.19** *Let* $(X,d)$ *be a generalized metric space*, *and let* $F:X\to {P}_{\mathrm{cl}}(X)$ *be a multivalued* *ψ*-*weakly Picard operator*. *Suppose also that there exists a matrix* $C\in {\mathbb{M}}_{mm}({\mathbb{R}}_{+})$ *such that for any* $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ (*with* ${\epsilon}_{i}>0$ *for* $i\in \{1,\dots ,m\}$) *and any* $z\in X$ *with* $D(z,F(z))\le \epsilon $ *there exists* $u\in F(z)$ *such that* $d(z,u)\le C\epsilon $. *Then*, *the fixed point inclusion* (8) *is generalized Ulam*-*Hyers stable*.

*Proof*Let $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ (with ${\epsilon}_{i}>0$ for $i\in \{1,\dots ,m\}$) and ${y}^{\ast}\in X$ be a

*ε*-solution of (8),

*i.e.*, $D({y}^{\ast},F({y}^{\ast}))\le \epsilon $. Since

*F*is a multivalued

*ψ*-weakly Picard operator, for each $(x,y)\in Graph(F)$, we have

□

As an exemplification of the previous theorem, we have the following result.

Let us recall first an important notion. A subset *U* of a (generalized) metric space $(X,d)$ is called proximinal if for each $x\in X$ there exists $u\in U$ such that $d(x,y)=D(x,U)$.

As a consequence of Theorem 2.11 and of the abstract result above, we obtain the following theorem.

**Corollary 2.20** *Let* $(X,d)$ *be a generalized complete metric space*, *and let* $F:X\to {P}_{\mathrm{cl}}(X)$ *be a multivalued* *A*-*contraction with proximinal values*. *Then the fixed point inclusion* (8) *is Ulam*-*Hyers stable*.

*Proof*Let $\epsilon :=({\epsilon}_{1},\dots ,{\epsilon}_{m})$ (with ${\epsilon}_{i}>0$ for $i\in \{1,\dots ,m\}$), and let ${y}^{\ast}\in X$ be a

*ε*-solution of (8),

*i.e.*, $D({y}^{\ast},F({y}^{\ast}))\le \epsilon $. Since

*F*is an ${(I-A)}^{-1}$-MWP operator, for each $(x,y)\in Graph(F)$, we have

□

**Remark 2.21** It is an open question to give other examples of how Theorem 2.19 can be applied. A more general open question is to give similar results for multivalued almost contractions with matrices *A* and *B*.

For other examples and results regarding the Ulam-Hyers stability and the limit shadowing property of the operatorial equations and inclusions, see Bota-Petruşel [35], Petru-Petruşel-Yao [36], Petruşel-Rus [29] and Rus [32, 33].

## 3 An application to coupled fixed point results for singlevalued operators without mixed monotone property

*X*be a nonempty set endowed with a partial order relation denoted by ≤. Then we denote

*f*with itself as follows

**Definition 3.1**Let

*X*be a nonempty set. Then $(X,d,\le )$ is called an ordered generalized metric space if

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

- (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,\le )$

*be an ordered generalized metric space*,

*and let*$f:X\to X$

*be an operator*.

*We suppose that*

- (1)
*for each*$(x,y)\notin {X}_{\le}$*there exists*$z(x,y):=z\in X$*such that*$(x,z),(y,z)\in {X}_{\le}$; - (2)
${X}_{\le}\in I(f\times f)$;

- (3)
$f:(X,d)\to (X,d)$

*is continuous*; - (4)
*the metric**d**is complete*; - (5)
*there exists*${x}_{0}\in X$*such that*$({x}_{0},f({x}_{0}))\in {X}_{\le}$; - (6)
*there exists a matrix*$A\in {M}_{mm}({\mathbb{R}}_{+})$,*which converges to zero such that*$d(f(x),f(y))\le Ad(x,y)\phantom{\rule{1em}{0ex}}\mathit{\text{for each}}(x,y)\in {X}_{\le}.$

*Then* $f:(X,d)\to (X,d)$ *is a Picard operator*.

*Proof* Let $x\in X$ be arbitrary. Since $({x}_{0},f({x}_{0}))\in {X}_{\le}$, by (6) and (4), we get that there exists ${x}^{\ast}\in X$ such that ${({f}^{n}({x}_{0}))}_{n\in \mathbb{N}}\to {x}^{\ast}$ as $n\to +\mathrm{\infty}$. By (3), we get that ${x}^{\ast}\in Fix(f)$.

If $(x,{x}_{0})\in {X}_{\le}$, then by (2), we have that $({f}^{n}(x),{f}^{n}({x}_{0}))\in {X}_{\le}$ for each $n\in \mathbb{N}$. Thus, by (6), we get that ${({f}^{n}(x))}_{n\in \mathbb{N}}\to {x}^{\ast}$ as $n\to +\mathrm{\infty}$.

If $(x,{x}_{0})\notin {X}_{\le}$, then by (1), it follows that there exists $z(x,{x}_{0}):=z\in {X}_{\le}$ such that $(x,z),({x}_{0},z)\in {X}_{\le}$. By the fact that $({x}_{0},z)\in {X}_{\le}$, as before, we get that ${({f}^{n}(z))}_{n\in \mathbb{N}}\to {x}^{\ast}$ as $n\to +\mathrm{\infty}$. This together with the fact that $(x,z)\in {X}_{\le}$ implies that ${({f}^{n}(x))}_{n\in \mathbb{N}}\to {x}^{\ast}$ as $n\to +\mathrm{\infty}$.

Finally, the uniqueness of the fixed point follows by the contraction condition (6) using again the assumption (1). □

**Remark 3.3** The conclusion of the theorem above holds if instead of hypothesis (2) we put

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

or

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

Of course, it is easy to remark that assertion (2) in Theorem 3.2 is more general. For example, if we consider the ordered metric space $({\mathbb{R}}^{2},d,\le )$, then $f:{\mathbb{R}}^{2}\to {\mathbb{R}}^{2}$, $f({x}_{1},{x}_{2}):=(g({x}_{1},{x}_{2}),g({x}_{1},{x}_{2}))$ satisfies (2) for any $g:{\mathbb{R}}^{2}\to \mathbb{R}$.

**Remark 3.4** Condition (5) from the theorem above is equivalent with

(5′) *f* has a lower or an upper fixed point in *X*.

**Remark 3.5** For some similar results, see Theorem 4.2 and Theorem 4.7 in [37].

We will apply the above result for the coupled fixed point problem generated by two operators.

*X*be a nonempty set endowed with a partial order relation denoted by ≤. If we consider $z:=(x,y)$, $w:=(u,v)$ two arbitrary elements of $Z:=X\times X$, then, by definition,

Notice that ⪯ is a partial order relation on *Z*.

*T*and

*T*will be denoted by $T\times T$, and it is defined in the following way

The first main result of this section is the following theorem.

**Theorem 3.6**

*Let*$(X,d,\le )$

*be an ordered and complete metric space*,

*and let*${T}_{1},{T}_{2}:X\times X\to X$

*be two operators*.

*We suppose that*

- (i)
*for each*$z=(x,y),w=(u,v)\in X\times X$,*which are not comparable with respect to the partial ordering*⪯*on*$X\times X$,*there exists*$t:=({t}_{1},{t}_{2})\in X\times X$ (*which may depend on*$(x,y)$*and*$(u,v)$)*such that**t**is comparable*(*with respect to the partial ordering*⪯)*with both**z**and**w*,*i*.*e*.,$\begin{array}{c}((x\ge {t}_{1}\phantom{\rule{0.25em}{0ex}}\mathit{\text{and}}\phantom{\rule{0.25em}{0ex}}y\le {t}_{2})\phantom{\rule{0.25em}{0ex}}\mathit{\text{or}}\phantom{\rule{0.25em}{0ex}}(x\le {t}_{1}\phantom{\rule{0.25em}{0ex}}\mathit{\text{and}}\phantom{\rule{0.25em}{0ex}}y\ge {t}_{2}))\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\hfill \\ ((u\ge {t}_{1}\phantom{\rule{0.25em}{0ex}}\mathit{\text{and}}\phantom{\rule{0.25em}{0ex}}v\le {t}_{2})\phantom{\rule{0.25em}{0ex}}\mathit{\text{or}}\phantom{\rule{0.25em}{0ex}}(u\le {t}_{1}\phantom{\rule{0.25em}{0ex}}\mathit{\text{and}}\phantom{\rule{0.25em}{0ex}}v\ge {t}_{2}));\hfill \end{array}$ - (ii)
*for all*($x\ge u$*and*$y\le v$)*or*($u\ge x$*and*$v\le y$),*we have*$\left\{\begin{array}{c}{T}_{1}(x,y)\ge {T}_{1}(u,v),\hfill \\ {T}_{2}(x,y)\le {T}_{2}(u,v)\hfill \end{array}\phantom{\rule{1em}{0ex}}\mathit{\text{or}}\phantom{\rule{1em}{0ex}}\right\{\begin{array}{c}{T}_{1}(u,v)\ge {T}_{1}(x,y),\hfill \\ {T}_{2}(u,v)\le {T}_{2}(x,y);\hfill \end{array}$ - (iii)
${T}_{1},{T}_{2}:X\times X\to X$

*are continuous*; - (iv)
*there exists*${z}_{0}:=({z}_{0}^{1},{z}_{0}^{2})\in X\times X$*such that*$\left\{\begin{array}{c}{z}_{0}^{1}\ge {T}_{1}({z}_{0}^{1},{z}_{0}^{2}),\hfill \\ {z}_{0}^{2}\le {T}_{2}({z}_{0}^{1},{z}_{0}^{2})\hfill \end{array}\phantom{\rule{1em}{0ex}}\mathit{\text{or}}\phantom{\rule{1em}{0ex}}\right\{\begin{array}{c}{T}_{1}({z}_{0}^{1},{z}_{0}^{2})\ge {z}_{0}^{1},\hfill \\ {T}_{2}({z}_{0}^{1},{z}_{0}^{2})\le {z}_{0}^{2};\hfill \end{array}$ - (v)
*there exists a matrix*$A=\left(\begin{array}{cc}{k}_{1}& {k}_{2}\\ {k}_{3}& {k}_{4}\end{array}\right)\in {M}_{2}({\mathbb{R}}_{+})$*convergent toward zero such that*$\begin{array}{c}d({T}_{1}(x,y),{T}_{1}(u,v))\le {k}_{1}d(x,u)+{k}_{2}d(y,v),\hfill \\ d({T}_{2}(x,y),{T}_{2}(u,v))\le {k}_{3}d(x,u)+{k}_{4}d(y,v)\hfill \end{array}$*for all*($x\ge u$*and*$y\le v$)*or*($u\ge x$*and*$v\le y$).

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

*such that*

*and the sequence of the successive approximations* $({T}_{1}^{n}({w}_{0}^{1},{w}_{0}^{2}),{T}_{2}^{n}({w}_{0}^{1},{w}_{0}^{2}))$ *converges to* $({x}^{\ast},{y}^{\ast})$ *as* $n\to \mathrm{\infty}$ *for all* ${w}_{0}=({w}_{0}^{1},{w}_{0}^{2})\in X\times X$.

*Proof*Denote $Z:=X\times X$. We show that Theorem 3.2 is applicable for the operator $T:Z\to Z$ defined by

Notice first that by (i), we get that if $(z:=(x,y),w:=(u,v))\notin {Z}_{\u2aaf}$, there exists $t\in Z$ such that $(z,t),(w,t)\in {Z}_{\u2aaf}$. Thus, the first assumption of Theorem 3.2 holds.

Thus, we have ${z}_{0}\u2aafT({z}_{0})$. By a similar approach, we alternatively obtain that $T({z}_{0})\u2aaf{z}_{0}$. Thus, $({z}_{0},T({z}_{0}))\in {Z}_{\u2aaf}$.

*d*. Notice also that the continuity of

*T*follows by (iii). For hypothesis (6), we successively have

*T*is a Picard operator, and so, the equation $z=T(z)$ has a unique solution ${z}^{\ast}\in X\times X$, and the sequence of successive approximations of the operator

*T*, starting from any ${w}_{0}\in X\times X$ converges to ${z}^{\ast}$. Thus, the unique element ${z}^{\ast}=({x}^{\ast},{y}^{\ast})$ satisfies the system

for all $n\in \mathbb{N}$, $n\ge 2$. □

For the particular case of classical coupled fixed point problems (*i.e.*, ${T}_{1}(x,y):=S(x,y)$ and ${T}_{1}(x,y):=S(y,x)$, where $S:X\times X\to X$ is a given operator) we get (by Theorem 3.6) the following generalization of the Gnana Bhaskar-Lakshmikantham theorem in [17].

**Theorem 3.7**

*Let*$(X,d,\le )$

*be an ordered and complete metric space*,

*and let*$S:X\times X\to X$

*be an operator*.

*We suppose that*

- (i)
*for each*$z=(x,y),w=(u,v)\in X\times X$,*which are not comparable with respect to the partial ordering*⪯*on*$X\times X$,*there exists*$t:=({t}_{1},{t}_{2})\in X\times X$ (*which may depend on*$(x,y)$*and*$(u,v)$)*such that**t**is comparable*(*with respect to the partial ordering*⪯)*with both**z**and**w*; - (ii)
*for all*($x\ge u$*and*$y\le v$)*or*($u\ge x$*and*$v\le y$),*we have*$\left\{\begin{array}{c}S(x,y)\ge S(u,v),\hfill \\ S(y,x)\le S(v,u)\hfill \end{array}\phantom{\rule{1em}{0ex}}\mathit{\text{or}}\phantom{\rule{1em}{0ex}}\right\{\begin{array}{c}S(u,v)\ge S(x,y),\hfill \\ S(v,u)\le S(y,x);\hfill \end{array}$ - (iii)
$S:X\times X\to X$

*is continuous*; - (iv)
*there exists*${z}_{0}:=({z}_{0}^{1},{z}_{0}^{2})\in X\times X$*such that*$\left\{\begin{array}{c}{z}_{0}^{1}\ge S({z}_{0}^{1},{z}_{0}^{2}),\hfill \\ {z}_{0}^{2}\le S({z}_{0}^{2},{z}_{0}^{1})\hfill \end{array}\phantom{\rule{1em}{0ex}}\mathit{\text{or}}\phantom{\rule{1em}{0ex}}\right\{\begin{array}{c}S({z}_{0}^{1},{z}_{0}^{2})\ge {z}_{0}^{1},\hfill \\ S({z}_{0}^{2},{z}_{0}^{1})\le {z}_{0}^{2};\hfill \end{array}$ - (v)
*there exist*${k}_{1},{k}_{2}\in {\mathbb{R}}_{+}$*with*${k}_{1}+{k}_{2}<1$*such that*$d(S(x,y),S(u,v))\le {k}_{1}d(x,u)+{k}_{2}d(y,v)$*for all*($x\ge u$*and*$y\le v$)*or*($u\ge x$*and*$v\le y$).

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

*such that*

*and the sequence of the successive approximations* $({S}^{n}({w}_{0}^{1},{w}_{0}^{2}),{S}^{n}({w}_{0}^{2},{w}_{0}^{1}))$ *converges to* $({x}^{\ast},{y}^{\ast})$ *as* $n\to \mathrm{\infty}$ *for all* ${w}_{0}=({w}_{0}^{1},{w}_{0}^{2})\in X\times X$.

By a solution of the previous system, we understand a couple $(x,y)\in C[0,T]\times C[0,T]$, which satisfies the system for all $t\in [0,T]$.

Notice that, as before, the partial ordering relation ${\le}_{C}$ generates on $X\times X$ a partial ordering ${\u2aaf}_{C}$.

An existence and uniqueness result for the system (18) is the following theorem.

**Theorem 3.8**

*Let*$k:[0,T]\times [0,T]\times {\mathbb{R}}^{2}\to \mathbb{R}$

*and*$f:[0,T]\times \mathbb{R}\times \mathbb{R}\to \mathbb{R}$

*be two continuous mappings*.

*We suppose that*

- (i)
*there exists*${z}_{0}:=({z}_{0}^{1},{z}_{0}^{2})\in C[0,T]\times C[0,T]$*such that*$\begin{array}{c}\{\begin{array}{c}{z}_{0}^{1}(t)\ge f(t,{z}_{0}^{1}(t),{\int}_{0}^{t}k(t,s,{z}_{0}^{1}(t),{z}_{0}^{2}(t))\phantom{\rule{0.2em}{0ex}}ds),\hfill \\ {z}_{0}^{2}(t)\le f(t,{z}_{0}^{2}(t),{\int}_{0}^{t}k(t,s,{z}_{0}^{2}(t),{z}_{0}^{1}(t))\phantom{\rule{0.2em}{0ex}}ds)\hfill \end{array}\phantom{\rule{1em}{0ex}}\mathit{\text{or}}\hfill \\ \{\begin{array}{c}{z}_{0}^{1}(t)\le f(t,{z}_{0}^{1}(t),{\int}_{0}^{t}k(t,s,{z}_{0}^{1}(t),{z}_{0}^{2}(t))\phantom{\rule{0.2em}{0ex}}ds),\hfill \\ {z}_{0}^{2}(t)\ge f(t,{z}_{0}^{2}(t),{\int}_{0}^{t}k(t,s,{z}_{0}^{2}(t),{z}_{0}^{1}(t))\phantom{\rule{0.2em}{0ex}}ds);\hfill \end{array}\hfill \end{array}$ - (ii)
- (a)
$f(t,\cdot ,z)$

*is increasing for all*$t\in [0,T]$, $z\in \mathbb{R}$*and*$k(t,s,\cdot ,z)$*is increasing*, $k(t,s,w,\cdot )$*is decreasing and*$f(t,w,\cdot )$*is increasing for all*$t,s\in [0,T]$, $w,z\in \mathbb{R}$

*or*- (b)
$f(t,\cdot ,z)$

*is decreasing for all*$t\in [0,T]$, $z\in \mathbb{R}$*and*$k(t,s,\cdot ,z)$*is decreasing*, $k(t,s,w,\cdot )$*is increasing and*$f(t,w,\cdot )$*is decreasing for all*$t,s\in [0,T]$, $w,z\in \mathbb{R}$;

- (a)
- (iii)
*there exist*${k}_{1},{k}_{2}\in {\mathbb{R}}_{+}$*such that*$|f(t,{w}_{1},{z}_{1})-f(t,{w}_{2},{z}_{2})|\le {k}_{1}|{w}_{1}-{w}_{2}|+{k}_{2}|{z}_{1}-{z}_{2}|$*for all*$t\in [0,T]$*and*${w}_{1},{w}_{2},{z}_{1},{z}_{2}\in \mathbb{R}$; - (iv)
*there exist*$\alpha ,\beta \in {\mathbb{R}}_{+}$*such that for all*$t,s\in [0,T]$*and*${w}_{1},{w}_{2},{z}_{1},{z}_{2}\in \mathbb{R}$,*we have*$|k(t,s,{w}_{1},{z}_{1})-k(t,s,{w}_{2},{z}_{2})|\le \alpha |{w}_{1}-{w}_{2}|+\beta |{z}_{1}-{z}_{2}|;$ - (v)
${k}_{1}+{k}_{2}T(\alpha +\beta )<1$.

*Then*, *there exists a unique solution* $({x}^{\ast},{y}^{\ast})$ *of system* (18).

*Proof*From the hypotheses, we get that all the assumptions of Theorem 3.7 are satisfied for the operator

where $X:=(C[0,T],{\le}_{C},{\parallel \cdot \parallel}_{C})$. □

We introduce now the concept of Ulam-Hyers stability for coupled fixed point problems.

**Definition 3.9**Let $(X,d)$ be a metric space, and let ${T}_{1},{T}_{2}:X\times X\to X$ be two operators. Then the operatorial equations system

It is an open problem to obtain Ulam-Hyers stability results for the coupled fixed point problem in the context of ordered metric spaces. For several results on this subject, see [35, 36].

**Remark 3.10**The case of a system of operatorial inclusions of the form

(where ${T}_{1},{T}_{2}:X\times X\to P(X)$ are two given multivalued operators) can be treated in a similar way.

## Declarations

### Acknowledgements

(1) 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, while for the third author, this work was possible with the financial support of the Sectoral Operational Programme for Human Resources Development 2007-2013, co-financed by the European Social Fund, under the project number POSDRU/107/1.5/S/76841 with the title *Modern Doctoral Studies: Internationalization and Interdisciplinarity*. (2) The authors are thankful to the reviewers for the careful reading of the paper and fruitful comments which improved the quality of the paper in a significant way.

## Authors’ Affiliations

## References

- Perov AI: On the Cauchy problem for a system of ordinary differential equations.
*Pviblizhen. Met. Reshen, Differ. Uravn.*1964, 2: 115–134.MathSciNetGoogle Scholar - Perov AI, Kibenko AV: On a certain general method for investigation of boundary value problems.
*Izv. Akad. Nauk SSSR, Ser. Mat.*1966, 30: 249–264. (in Russian)MathSciNetGoogle Scholar - Bucur A, Guran L, Petruşel A: Fixed points for multivalued operators on a set endowed with vector-valued metrics and applications.
*Fixed Point Theory*2009, 10(1):19–34.MathSciNetGoogle Scholar - Agarwal RP: Contraction and approximate contraction with an application to multi-point boundary value problems.
*J. Comput. Appl. Math.*1983, 9: 315–325. 10.1016/0377-0427(83)90003-1MathSciNetView ArticleGoogle Scholar - Filip AD, Petruşel A: Fixed point theorems on spaces endowed with vector-valued metrics.
*Fixed Point Theory Appl.*2009., 2010: Article ID 281381Google Scholar - O’Regan D, Shahzad N, Agarwal RP Fixed Point Theory and Applications. In
*Fixed Point Theory for Generalized Contractive Maps on Spaces with Vector-Valued Metrics*. Nova Science Publishers, New York; 2007:143–149.Google Scholar - Precup R, Viorel A: Existence results for systems of nonlinear evolution equations.
*Int. J. Pure Appl. Math.*2008, 47(2):199–206.MathSciNetGoogle Scholar - Precup R, Viorel A: Existence results for systems of nonlinear evolution inclusions.
*Fixed Point Theory*2010, 11(2):337–346.MathSciNetGoogle Scholar - Precup R: The role of matrices that are convergent to zero in the study of semilinear operator systems.
*Math. Comput. Model.*2009, 49: 703–708. 10.1016/j.mcm.2008.04.006MathSciNetView ArticleGoogle Scholar - Petruşel A: Multivalued weakly Picard operators and applications.
*Sci. Math. Jpn.*2004, 59: 169–202.MathSciNetGoogle Scholar - Petre IR, Petruşel A: Krasnoselskii’s theorem in generalized Banach spaces and applications.
*Electron. J. Qual. Theory Differ. Equ.*2012, 85: 1–20.View ArticleGoogle Scholar - Rezapour S, Amiri P: Some fixed point results for multivalued operators in generalized metric spaces.
*Comput. Math. Appl.*2011, 61: 2661–2666.MathSciNetView ArticleGoogle Scholar - Opoitsev VI: Heterogenic and combined-concave operators.
*Syber. Math. J.*1975, 16: 781–792. (in Russian)Google Scholar - Opoitsev VI: Dynamics of collective behavior. III. Heterogenic systems.
*Avtom. Telemeh.*1975, 36: 124–138. (in Russian)MathSciNetGoogle Scholar - Opoitsev VI, Khurodze TA:
*Nonlinear Operators in Spaces with a Cone*. Tbilis. Gos. Univ., Tbilisi; 1984:271. (in Russian)Google Scholar - Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications.
*Nonlinear Anal.*1987, 11: 623–632. 10.1016/0362-546X(87)90077-0MathSciNetView ArticleGoogle Scholar - 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.017MathSciNetView ArticleGoogle Scholar - Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces.
*Nonlinear Anal.*2009, 70: 4341–4349. 10.1016/j.na.2008.09.020MathSciNetView ArticleGoogle Scholar - Guo D, Cho YJ, Zhu J:
*Partial Ordering Methods in Nonlinear Problems*. Nova Science Publishers, Hauppauge; 2004.Google Scholar - Hong S: Fixed points for mixed monotone multivalued operators in Banach spaces with applications.
*J. Math. Anal. Appl.*2008, 337: 333–342. 10.1016/j.jmaa.2007.03.091MathSciNetView ArticleGoogle Scholar - Rus, MD: The method of monotone iterations for mixed monotone operators. PhD thesis, Babeş-Bolyai University Cluj-Napocaac (2010)Google Scholar
- Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces.
*Nonlinear Anal.*2011, 74: 7347–7355. 10.1016/j.na.2011.07.053MathSciNetView ArticleGoogle Scholar - Luxemburg WAJ, Zaanen AC 1. In
*Riesz Spaces I*. North-Holland, Amsterdam; 1971.Google Scholar - Luxemburg WAJ, Zaanen AC:
*Riesz Spaces II*. North-Holland, Amsterdam; 1983.Google Scholar - Zabrejko PP:
*K*-metric and*K*-normed linear spaces: survey.*Collect. Math.*1997, 48(4–6):825–859.MathSciNetGoogle Scholar - Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings.
*J. Math. Anal. Appl.*2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleGoogle Scholar - Varga RS Springer Series in Computational Mathematics 27. In
*Matrix Iterative Analysis*. Springer, Berlin; 2000.View ArticleGoogle Scholar - Allaire G, Kaber SM:
*Numerical Linear Algebra*. Springer, New York; 2008.View ArticleGoogle Scholar - Petruşel A, Rus IA: The theory of a metric fixed point theorem for multivalued operators. In
*Fixed Point Theory and Its Applications*. Edited by: Lin LJ, Petrusel A, Xu HK. Yokohama Publ., Yokohama; 2010:167–176.Google Scholar - Urs C: Coupled fixed point theorems and applications.
*Miskolc Math. Notes*2013, 14(1):323–333.MathSciNetGoogle Scholar - Berinde M, Berinde V: On a general class of multi-valued weakly Picard mappings.
*J. Math. Anal. Appl.*2007, 326: 772–782. 10.1016/j.jmaa.2006.03.016MathSciNetView ArticleGoogle Scholar - Rus IA: The theory of a metrical fixed point theorem: theoretical and applicative relevances.
*Fixed Point Theory*2008, 9(2):541–559.MathSciNetGoogle Scholar - Rus IA: Remarks on Ulam stability of the operatorial equations.
*Fixed Point Theory*2009, 10(2):305–320.MathSciNetGoogle Scholar - Rus IA, Petruşel A, Sîntămărian A: Data dependence of the fixed points set of some multivalued weakly Picard operators.
*Nonlinear Anal.*2003, 52: 1947–1959. 10.1016/S0362-546X(02)00288-2MathSciNetView ArticleGoogle Scholar - Bota M, Petruşel A: Ulam-Hyers stability for operatorial equations.
*An. Stiint. Univ. Al. I. Cuza Iasi. Mat. (N.S.)*2011, 57: 65–74.MathSciNetGoogle Scholar - Petru PT, Petruşel A, Yao JC: Ulam-Hyers stability for operatorial equations and inclusions via nonself operators.
*Taiwan. J. Math.*2011, 15(5):2195–2212.Google Scholar - Petruşel A, Rus IA: Fixed point theorems in ordered
*L*-spaces.*Proc. Am. Math. Soc.*2005, 134(2):411–418. 10.1090/S0002-9939-05-07982-7View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.