# Coincidence and common fixed point theorems for Suzuki type hybrid contractions and applications

- Shyam Lal Singh
^{1}, - Raj Kamal
^{2}and - Manuel De la Sen
^{3}Email author

**2014**:147

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

© Singh et al.; licensee Springer. 2014

**Received: **11 December 2013

**Accepted: **25 June 2014

**Published: **22 July 2014

## Abstract

Coincidence and common fixed point theorems for a class of Suzuki hybrid contractions involving two pairs of single-valued and multivalued maps in a metric space are obtained. In addition, the existence of a common solution for a certain class of functional equations arising in a dynamic programming is also discussed.

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

## Keywords

## 1 Introduction

Consistent with [1] (see also [2]), *Y* denotes an arbitrary nonempty set, $(X,d)$ a metric space and $CL(X)$ (resp. $CB(X)$), the collection of all nonempty closed (resp. closed bounded) subsets of *X*. The hyperspace $(CL(X),H)$ (resp. $(CB(X),H)$) is called the generalized Hausdorff (resp. the Hausdorff) metric space induced by the metric *d* on *X*.

*A*,

*B*of

*X*, $d(A,B)$ denotes the gap between the subsets

*A*and

*B*, while

As usual, we write $d(x,B)$ (resp. $\rho (x,B)$) for $d(A,B)$ (resp. $\rho (A,B)$) when $A=\{x\}$.

*S*,

*T*,

*f*, and

*g*are maps to be defined specifically in a particular context, while

*x*and

*y*are elements of some specific domain:

Let $CB(X)$ denote the class of all nonempty closed bounded subsets of *X*.

A map $T:X\to CB(X)$ is called a Nadler multivalued contraction if there exists $k\in [0,1)$ such that, for every $x,y\in X$, $H(Tx,Ty)\le kd(x,y)$.

The classical multivalued contraction theorem due to Nadler [1] states that Nadler multivalued contraction on a complete metric space *X* has a fixed point in *X*, that is, there exists $z\in X$ such that $z\in Tz$. For a detailed discussion of this theorem on generalized Hausdorff metric spaces and applications, one may refer to [3–13], and [14].

Nadler’s multivalued contraction theorem [1] has led to a rich fixed point theory for multivalued maps in nonlinear analysis (see, for instance [6, 9–12, 15–22], and [13, 14, 23, 24]). It has various applications in mathematical sciences (see, for instance, [2, 5, 7–9], and [25]).

The following important result involving two pairs of hybrid maps on an arbitrary nonempty set with values in a metric space is due to Singh and Mishra [12] (see also [21]).

**Theorem 1.1**

*Let*$S,T:Y\to CL(X)$

*and*$f,g:Y\to X$

*be such that*$S(Y)\subseteq g(Y)$

*and*$T(Y)\subseteq f(Y)$

*and one of*$S(Y)$, $T(Y)$, $f(Y)$

*or*$g(Y)$

*is a complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*Then*

- (i)
*S**and**f**have a coincidence point**v**in**Y*; - (ii)
*T**and**g**have a coincidence point**w**in**Y*.

*Further*,

*if*$Y=X$,

*then*

- (iii)
*S**and**f**have a common fixed point**v**provided that**fv**is a fixed point of**f*,*and**f**and**S**commute at**v*; - (iv)
*T**and**g**have a common fixed point**w**provided that**gw**is a fixed point of**g*,*and**g**and**T**commute at**w*; - (v)
*S*,*T*,*f*,*and**g**have a common fixed point provided that*(iii)*and*(iv)*both are true*.

The following result due to Kikkawa and Suzuki [26] (see also [13, 14]) generalizes Nadler’s multivalued contraction theorem.

**Theorem 1.2**

*Let*

*X*

*be a complete metric space and*$T:X\to CB(X)$.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*implies*

*Then* *T* *has a fixed point in* *X*.

Subsequently, some interesting extensions and generalizations of Theorem 1.2 have recently been obtained among others by Abbas *et al.* [27], Dhompongsa and Yingtaweesittikul [18], Doric̀ and Lazovic̀ [28], Kamal *et al.* [29], Moţ and Petruşel [19], Singh and Mishra [13, 14] and Singh *et al.* [10, 30], and [23].

The importance of Suzuki contraction theorem [[24], Theorem 2], Theorem 1.2 and subsequently obtained coincidence and fixed point theorems (*cf.* [13, 14, 18, 19, 23, 26–28], and others) for maps in metric spaces satisfying Suzuki type contractive conditions is that the contractive conditions are required to be satisfied not for all points of the domain. For example, the condition (1.1) of Theorem 1.2 puts some restrictions on the domain of the map *T*.

*φ*from $[0,1)$ onto $(0,1]$ defined by

Recently, Singh *et al.* [10] obtained the following coincidence and common fixed point theorem which generalizes a result of Doric̀ and Lazovic̀ [28] and some other results from [3, 26], and [21].

**Theorem 1.3**

*Let*$S,T:Y\to CL(X)$

*and*$f:Y\to X$

*be such that*$S(Y)\subseteq f(Y)$

*and*$T(Y)\subseteq f(Y)$.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*If one of* $S(Y)$, $T(Y)$ *or* $f(Y)$ *is a complete subspace of* *X*, *then there exists a point* $z\in Y$ *such that* $fz\in Sz\cap Tz$.

*Further*, *if* $Y=X$, *and* *fz* *is a fixed point of* *f*, *then* *fz* *is common fixed point of* *S* *and* *T* *provided that* *f* *is IT* (*Itoh*-*Takahashi*)-*commuting* [13]*with* *S* *and* *T* *at* *z*.

Now a natural question arises whether Theorem 1.1 can further be generalized. In this paper, we answer this question affirmatively under tight minimal conditions. Our main result (Theorem 2.2) also presents an extension of Theorem 1.3 for a quadruplet of maps. Some recent results are discussed as special cases. Further, using two corollaries of the main result (Theorem 2.2), we obtain other common fixed point theorems for multivalued and single-valued maps on metric spaces. We also deduce the existence of common solution for a certain class of functional equations arising in dynamic programming. Examples are given to justify applications.

## 2 Main results

The following definition is due to Itoh and Takahashi [31] (see also [13]).

**Definition 2.1** Let $T:X\to CL(X)$ and $f:X\to X$. Then the hybrid pair $(T,f)$ is IT-commuting at $z\in X$ if $fTz\subseteq Tfz$.

Evidently a pair of commuting multivalued map $T:X\to CL(X)$ and a single-valued map $f:X\to X$ are IT-commuting but the reverse implication is not true [[32], p.2]. However, a pair of single-valued maps $f,g:X\to X$ are IT-commuting (also called weakly compatible by Jungck and Rhoades [33]) at $x\in X$ if $fgx=gfx$ when $fx=gx$.

We shall need the following lemma, essentially due to Nadler [1] (see also [3], [[2], p.61], [[9], p.76].

**Lemma 2.1** *If* $A,B\in CL(X)$ *and* $a\in A$, *then for each* $\epsilon >0$, *there exists* $b\in B$ *such that* $d(a,b)\le H(A,B)+\epsilon $.

Let $C(S,f)$ denote the collection of all coincidence points of *S* and *f*, that is, $C(S,f)=\{z\in Y:fz\in Sz\}$ when $S:Y\to CL(X)$ and $f:Y\to X$; and $C(S,f)=\{z\in Y:fz=Sz\}$ when $S,f:Y\to X$. The following is the main result of this section.

**Theorem 2.2**

*Let*$S,T:Y\to CL(X)$

*and*$f,g:Y\to X$

*be such that*$S(Y)\subseteq g(Y)$

*and*$T(Y)\subseteq f(Y)$.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*If one of*$S(Y)$, $T(Y)$, $f(Y)$

*or*$g(Y)$

*is a complete subspace of*

*X*,

*then*

- (I)
$C(S,f)$

*is nonempty*,*i*.*e*.*there exists a point*$z\in Y$*such that*$fz\in Sz$; - (II)
$C(T,g)$

*is nonempty*,*i*.*e*.*there exists a point*${z}_{1}\in Y$*such that*$g{z}_{1}\in T{z}_{1}$.

*Furthermore*,

*if*$Y=X$,

*then*

- (III)
*S**and**f**have a common fixed point provided that the maps**S**and**f**are IT*-*commuting just at coincidence point**z**and**fz**is fixed point of**f*; - (IV)
*T**and**g**have a common fixed point provided that the maps**T**and**g**are IT*-*commuting just at coincidence point*${z}_{1}$*and*$g{z}_{1}$*is fixed point of**g*; - (V)
*S*,*T*,*f*,*and**g**have a common fixed point provided that both*(III)*and*(IV)*are true*.

*Proof* Without loss of generality, we may take $r>0$ and *f*, *g* non-constant maps.

Let $\epsilon >0$ be such that $\beta =r+\epsilon <1$. We construct two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in *Y* as follows.

*Y*such that

*u*. Let $z\in {f}^{-1}u$. Then $z\in Y$ and $fz=u$. The subsequence $\{{y}_{2n+1}\}$ also converges to

*u*. Let ${z}_{1}\in {g}^{-1}u$. Then

Now, either $d(f{x}_{2n},S{x}_{2n})\le d(gy,Ty)$ or $d(gy,Ty)\le d(f{x}_{2n},S{x}_{2n})$.

that is, $d(u,Ty)\le rmax\{d(u,gy),d(gy,Ty)\}$.

Now, we show that $C(S,f)$ is nonempty.

First we consider the case $0\le r<\frac{1}{2}$.

Suppose $fz\notin Sz$. Then as in [[18], p.6], let $ga\in Sz$ be such that $2rd(ga,fz)<d(Sz,fz)$.

This gives $d(ga,Ta)\le H(Sz,Ta)\le rd(fz,ga)<d(fz,ga)$.

So by (2.7), $d(fz,Ta)\le rd(fz,ga)$.

This contradicts $fz\notin Sz$. Consequently $fz\in Sz$, and $C(S,f)$ is nonempty.

In an analogous manner, we can prove in the case $0\le r<\frac{1}{2}$ that $C(T,g)$ is nonempty.

Now we consider the case $\frac{1}{2}\le r<1$.

that is, $(1-r)d(gy,Ty)\le (1+\frac{1}{n})d(fz,gy)$.

Then $\phi (r)min\{d(fz,Sz),d(gy,Ty)\}\le d(fz,gy)$, and by the assumption, we get (2.10).

Now taking $y={u}_{2n+1}$ in (2.10) and passing to the limit, we obtain $d(fz,Sz)\le rd(fz,Sz)$.

This gives $fz\in Sz$, that is, *z* is a coincidence point of *f* and *S*. Analogously, $fz\in Tz$. Thus (I) and (II) are completely proved.

Further, if $Y=X$, and *fz* is a fixed point of *f*, and *S* and *f* are IT-commuting at *z*, then $fSz\subseteq Sfz$. Therefore, $fz\in Sz$ implies $ffz\in fSz\subseteq Sfz$, so $fz\in Sfz$. This proves that $u=fz$ is a common fixed point of *f* and *S*. Therefore (2.3) implies that *u* is a common fixed point of *f* and *S*. This proves (III). Analogously, *T* and *g* have a common fixed point $g{z}_{1}$. Therefore (2.3) implies that *u* is a common fixed point of *T* and *g*. This proves (IV). Now (V) is immediate. □

**Remark 2.1** In Theorem 2.2, the hypothesis ‘*fz* is a fixed point of *f*’ is essential for the existence of a common fixed point of *S* and *f* (see [22, 34] and the following example). Similarly, the hypothesis ‘$g{z}_{1}$ is a fixed point of *g*’ is essential for the existence of a common fixed point of *T* and *g*.

**Example 2.3** Let $X={R}^{+}$ (nonnegative reals) be endowed with the usual metric. Define for $x\in X$, $fx=2{x}^{2}$, $gx=2{x}^{3}$, $Sx=[\frac{1}{4},{x}^{2}+\frac{1}{4}]$ and $Tx=[\frac{1}{4},{x}^{3}+\frac{1}{4}]$. Then $S(X)=T(X)=[\frac{1}{4},\mathrm{\infty})\subset X=f(X)=g(X)$, and all other hypotheses of Theorem 2.2 with $Y=X={R}^{+}$ are satisfied for $r=\frac{1}{2}=\phi (r)$. Notice that $g{z}_{1}=T{z}_{1}=\frac{1}{2}$, where ${z}_{1}={4}^{-1/3}$. Thus *g* and *T* have a coincidence at ${z}_{1}$, but $g{z}_{1}=\frac{1}{2}$ is not a fixed point of *g* and hence not a common fixed point of *g* and *T*. Note that $z=\frac{1}{2}$ is a coincidence point of *f* and *S*, and $Sf(z)=[\frac{1}{8},\frac{1}{2}]\subset [\frac{1}{4},\frac{1}{2}]=fS(z)$, that is, *f* and *S* are IT-commuting at *z*. Evidently, $z=f(z)$ is a common fixed point of *f* and *S*.

The following result due to Singh *et al.* [35] extends and generalizes certain results of [10, 12, 26] and others.

**Corollary 2.4**

*Let*$S:Y\to CL(X)$

*and*$f,g:Y\to X$

*be such that*$S(Y)\subseteq f(Y)\cap g(Y)$.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*If one of*$S(Y)$, $f(Y)$

*or*$g(Y)$

*is a complete subspace of*

*X*,

*then*

- (I)
$C(S,f)$

*is nonempty*,*i*.*e*.*there exists a point*$z\in Y$*such that*$fz\in Sz$; - (II)
$C(S,g)$

*is nonempty*,*i*.*e*.*there exists a point*${z}_{1}\in Y$*such that*$g{z}_{1}\in S{z}_{1}$.

*Furthermore*,

*if*$Y=X$,

*then*

- (III)
*S**and**f**have a common fixed point provided that the maps**S**and**f**are IT*-*commuting just at coincidence point**z**and**fz**is fixed point of**f*; - (IV)
*S**and**g**have a common fixed point provided that the maps**S**and**g**are IT*-*commuting just at coincidence point*${z}_{1}$*and*$g{z}_{1}$*is fixed point of**g*; - (V)
*S*,*f*,*and**g**have a common fixed point provided that both*(III)*and*(IV)*are true*.

*Proof* It follows from Theorem 2.2 when $T=S$. □

We remark that in general the coincidence points *z* and ${z}_{1}$ guaranteed by Theorem 2.2 or Corollary 2.4 may be different. However, if we take $f=g$ in Theorem 2.2, the maps *S*, *T*, and *f* have a common coincidence point. So we have a slightly sharp result.

**Corollary 2.5** *Theorem * 1.3.

*Proof* It follows from Theorem 2.2 when $g=f$. □

The following result extends and generalizes certain results of [28, 36] and others.

**Corollary 2.6** [23]

*Let*

*X*

*be a complete metric space and*$S,T:X\to CL(X)$.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*Then there exists an element* $z\in X$ *such that* $z\in Sz\cap Tz$.

*Proof* It follows from Theorem 2.2 when $Y=X$ and *f* and *g* are the identity maps on $Y=X$. □

The following result due to Doric̀ and Lazovic̀ [28] generalizes many fixed point theorems from [13, 26] and [37].

**Corollary 2.7**

*Let*

*X*

*be a complete metric space and*$S:X\to CL(X)$.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*Then there exists an element* $z\in X$ *such that* $z\in Sz$.

*Proof* It follows from Theorem 2.2 when $Y=X$, $T=S$, and *f*, *g* are the identity maps on *X*. □

The following result extends a common fixed point theorem of [[10], Theorem 2.8].

**Corollary 2.8**

*Let*$f,g,P,Q:Y\to X$

*be such that*$P(Y)\subseteq g(Y)$, $Q(Y)\subseteq f(Y)$,

*and one of*$P(Y)$

*or*$Q(Y)$

*or*$f(Y)$

*or*$g(Y)$

*is complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*Then* $C(P,f)$ *and* $C(Q,g)$ *are nonempty*. *Further*, *if* $Y=X$, *and if* *f*, *g*, *P*, *and* *Q* *are commuting at a common coincidence point*, *then* *f*, *g*, *P*, *and* *Q* *have a unique common fixed point*, *that is*, *there exists a unique point* $z\in X$ *such that* $fz=gz=Pz=Qz=z$.

*Proof* Set $Sx=\{Px\}$ and $Tx=\{Qx\}$ for every $x\in Y$. Then it easily comes from Theorem 2.2 that $C(P,f)$ and $C(Q,g)$ are nonempty. Furthermore, if $Y=X$ and *f* and *g* commute, respectively, with *P* and *Q* at *z*, then $ffz=fPz=Pfz$, $ffz=fQz=Qfz$, $ggz=gPz=Pgz$, and $ggz=gQz=Qgz$.

This says that *fz* is fixed point of *f* and *P*. Analogously *gz* is fixed point of *g* and *Q*. The uniqueness of the common fixed point follows easily. □

The following result extends and generalizes coincidence and common fixed point theorems of Goebel [38], Jungck [39], Fisher [40], and others.

**Corollary 2.9** [35]

*Let*$f,g,P:Y\to X$

*be such that*$P(Y)\subseteq f(Y)\cap g(Y)$.

*Let*$P(Y)$

*or*$f(Y)$

*or*$g(Y)$

*be a complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*Then* $C(P,f)$ *and* $C(P,g)$ *are nonempty*. *Further*, *if* $Y=X$ *and if* *P* *commutes with* *f* *and* *g* *at a common coincidence point*, *then* *f*, *g*, *and* *P* *have a unique common fixed point*, *that is*, *there exists a unique point* $z\in X$ *such that* $fz=gz=Pz=z$.

*Proof* It follows from Corollary 2.8 when $Q=P$. □

**Corollary 2.10**

*Let*$(X,d)$

*be a complete metric space and*$f,g:X\to X$

*be onto maps*.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*Then* *f* *and* *g* *have a unique common fixed point*.

*Proof* It follows from Corollary 2.8 when $Y=X$ and *P*, *Q* both are the identity maps on *X*. □

**Corollary 2.11**

*Let*$(X,d)$

*be a complete metric space and*$f:X\to X$

*be an onto map*.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*Then* *f* *has a unique fixed point*.

*Proof* It follows from Corollary 2.10 when $f=g$. □

The following example shows that Theorem 2.2 is indeed more general than Theorem 1.1.

**Example 2.12**Consider a metric space $X=\{(0,0),(0,1),(1,0),(1,2),(2,1)\}$, where

*d*is defined by

*S*,

*T*,

*f*and $g:X\to X$ be such that

*S*,

*T*,

*f*, and

*g*do not satisfy the assumption in Theorem 1.1 at $x=(1,2)$, $y=(1,2)$ or at $x=(2,1)$, $y=(2,1)$. However,

if $(x,y)\ne ((1,2),(1,2))$ and $(x,y)\ne ((2,1),(2,1))$.

Since at $(x,y)=((1,2),(1,2))$, $\phi (r)min\{d(fx,Sx),d(gy,Ty)\}=\phi (r)min\{d(f(1,2),S(1,2)),d(g(1,2),T(1,2))\}=\phi (r)min\{2,2\}=2\phi (r)$.

Here we note that the value of *r* is $1/2$, so by definition, $\phi (r)=1/2$, so $\phi (r)min\{d(fx,Sx),d(gy,Ty)\}=1>0=d(fx,gy)$.

Thus *S*, *T*, *f*, and *g* satisfy the assumption of Theorem 2.2 (and also Corollary 2.8).

In the following example, we show that two multivalued maps and two single-valued maps satisfy all the hypotheses of Theorem 2.2 to ensure common coincidence points of pairwise maps.

**Example 2.13**Let $Y=\{a,b,c,d\}$ and $X=\{2,3,4,5,7\}$. Let

*d*be the usual metric on

*X*, and

*S*,

*T*,

*f*, and

*g*be defined on

*Y*with values in

*X*as

Notice that $S(Y)\subset g(Y)$ and $T(Y)\subset f(Y)$. Further, all other conditions of Theorem 2.2 are readily verified with $r=2/3$ and $\phi (r)=1/3$. Evidently, $fa\in Sa$, $fb\in Sb$, $fc\in Sc$, and $ga\in Ta$, $gb\in Tb$, $gc\in Tc$. Moreover, $C(f,S)=C(g,T)=\{b,c,d\}$.

Now we give an application of Corollary 2.8.

**Theorem 2.14**

*Let*$S,T:Y\to BN(X)$

*and*$f,g:Y\to X$

*be such that*$S(Y)\subseteq g(Y)$, $T(Y)\subseteq f(Y)$,

*and let one of*$S(Y)$, $T(Y)$, $f(Y)$

*or*$g(Y)$

*be a complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*Then* $C(S,f)$ *and* $C(T,g)$ *are nonempty*.

*Proof*Choose $\lambda \in (0,1)$. Define single-valued maps ${h}_{1},{h}_{2}:X\to X$ as follows. For each $x\in X$, let ${h}_{1}x$ be a point of

*Sx*which satisfies

*Ty*such that

*viz.*, $\phi ({r}^{\prime})min\{d(fx,{h}_{1}x),d(gy,{h}_{2}y)\}\le d(fx,gy)$ implies

where ${r}^{\prime}={r}^{1-\lambda}<1$.

Hence by Corollary 2.8, there exist ${z}_{1},{z}_{2}\in Y$ such that ${h}_{1}{z}_{1}=f{z}_{1}$ and ${h}_{2}{z}_{2}=g{z}_{2}$. This implies that ${z}_{1}$ is a coincidence point of *f* and *S*, and ${z}_{2}$ is a coincidence point of *g* and *T*. □

**Corollary 2.15**

*Let*$S:Y\to BN(X)$

*and*$f,g:Y\to X$

*be such that*$S(Y)\subseteq f(Y)\cap g(Y)$,

*and let one of*$S(Y)$, $f(Y)$

*or*$g(Y)$

*be a complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*Then* $C(S,f)$ *and* $C(S,g)$ *are nonempty*.

*Proof* It follows from Theorem 2.14 when $T=S$. □

**Corollary 2.16** [10]

*Let*$S,T:Y\to BN(X)$

*and*$f:Y\to X$

*be such that*$S(Y)\subseteq f(Y)$, $T(Y)\subseteq f(Y)$

*and let*$S(Y)$

*or*$T(Y)$

*or*$f(Y)$

*be a complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*implies*

*Then there exists* $z\in Y$ *such that* $fz\in Sz\cap Tz$.

*Proof* It follows from Theorem 2.14 when $g=f$. □

**Corollary 2.17** [23]

*Let*

*X*

*be a complete metric space and let*$S,T:X\to BN(X)$.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*implies*

*Then there exists a unique point* $z\in X$ *such that* $z\in Sz\cap Tz$.

*Proof* It follows from Theorem 2.14 when *f* and *g* are the identity maps on *X*. □

**Corollary 2.18**

*Let*$S:Y\to BN(X)$

*and*$f:Y\to X$

*be such that*$S(Y)\subseteq f(Y)$,

*and let*$S(Y)$

*or*$f(Y)$

*be a complete subspace of*

*X*.

*Assume there exists*$r\in [0,1)$

*such that*,

*for every*$x,y\in Y$,

*implies*

*Then there exists* $z\in Y$ *such that* $fz\in Sz$.

*Proof* It follows from Theorem 2.14 when $g=f$ and $T=S$. □

**Corollary 2.19**

*Let*

*X*

*be a complete metric space and let*$S:X\to BN(X)$.

*Assume there exists*$r\in [0,1)$

*such that*,

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

*implies*

*Then there exists a unique point* $z\in X$ *such that* $z\in Sz$.

*Proof* It follows from Theorem 2.14 that *S* has a fixed point when $f=g$ is the identity map on *X* and $T=S$. The uniqueness of the fixed point follows easily. □

## 3 Applications

*U*and

*V*are Banach spaces, $W\subseteq U$ and $D\subseteq V$. Let

*R*denote the field of reals, $\tau :W\times D\to W$, $g,{g}^{\prime}:W\times D\to R$ and ${G}_{1},{G}_{2},{F}_{1},{F}_{2}:W\times D\times R\to R$. Considering

*W*and

*D*as the state and decision spaces respectively, the problem of dynamic programming reduces to the problem of solving the functional equations:

Indeed, in the multistage process, some functional equations arise in a natural way (*cf.* Bellman [41] and Bellman and Lee [42]; see also [10, 43–47], and [23]). In this section, we study the existence of a common solution of the functional equations (3.1a) and (3.1b) arising in dynamic programming.

Let $B(W)$ denote the set of all bounded real-valued functions on *W*. For an arbitrary $h\in B(W)$, define $\parallel h\parallel ={sup}_{x\in W}|h(x)|$. Then $(B(W),\parallel \cdot \parallel )$ is a Banach space. Suppose that the following conditions hold:

(DP-1) ${G}_{1}$, ${G}_{2}$, ${F}_{1}$, ${F}_{2}$, *g*, and ${g}^{\prime}$ are bounded.

**Theorem 3.1** *Assume the conditions* (DP-1)-(DP-4) *hold*. *Let* $J(B(W))$ *be a closed convex subspace of* $B(W)$. *Then the functional equations* (3.1a) *and* (3.1b), $i=1,2$, *have a unique bounded common solution in* $B(W)$.

*Proof* For any $h,k\in B(W)$, let $d(h,k)=sup\{|h(x)-k(x)|:x\in W\}$. Then $(B(W),d)$ is a complete metric space.

*λ*be an arbitrary positive number and ${h}_{1},{h}_{2}\in B(W)$. Pick $x\in W$, and choose ${y}_{1},{y}_{2}\in D$ such that

where ${x}_{j}=\tau (x,{y}_{j})$.

Therefore, Corollary 2.8 applies, wherein ${A}_{1}$, ${A}_{2}$, ${J}_{1}$, and ${J}_{2}$ correspond, respectively, to the maps *P*, *Q*, *f*, and *g*. So ${A}_{1}$, ${A}_{2}$, ${J}_{1}$, and ${J}_{2}$ have a unique common fixed point ${h}^{\ast}$, that is, ${h}^{\ast}(x)$ is the unique bounded common solution of the functional equations (3.1a) and (3.1b), $i=1,2$. □

Now we furnish an example in support of Theorem 3.1.

**Example 3.2** Let $X=Y=R$ be a Banach space endowed with the standard norm $\parallel \cdot \parallel $ defined by $\parallel x\parallel =|x|$, for all $x\in X$. Suppose $W=[0,1]\subset X$ be the state space, and $D=[0,\mathrm{\infty})\subset Y$ be the decision space.

*g*, and ${g}^{\prime}$ are bounded. Also

Finally for any $h,k\in B(W)$ with ${A}_{1}h=Jh$, we have ${A}_{1}Jh={p}_{1}(x)=q(x)=JJh=J{A}_{1}h$, that is, $J{A}_{1}h={A}_{1}Jh$, and with ${A}_{2}k=Jk$, we have ${A}_{2}Jk={p}_{2}(x)=q(x)=JJk=J{A}_{2}k$, that is, $J{A}_{2}k={A}_{2}Jk$.

Thus all the assumptions of Theorem 3.1 are satisfied. So the system of equations (3.1a) and (3.1b) has a unique solution in $B(W)$.

**Corollary 3.3**

*Suppose that the following conditions hold*:

- (i)
*G*, ${F}_{1}$, ${F}_{2}$,*g*,*and*${g}^{\prime}$*are bounded*. - (ii)
*Let*$\phi (r)$*be defined as in the previous sections*.*Assume that there exists*$r\in [0,1)$*such that*,*for every*$(x,y)\in W\times D$, $h,k\in B(W)$,*and*$t\in W$,$\phi (r)min\left\{\right|{J}_{1}h(t)-Ah(t)|,|{J}_{2}k(t)-Ak(t)\left|\right\}\le |{J}_{1}h(t)-{J}_{2}k(t)|$

*implies*

*where*

*and*

*A*, ${J}_{1}$,

*and*${J}_{2}$

*are defined as follows*:

- (iii)
*For any*$h,k\in B(W)$,*there exist*$u,v\in B(W)$*such that*$Ah(x)={J}_{1}u(x)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}Ak(x)={J}_{2}v(x),\phantom{\rule{1em}{0ex}}x\in W.$ - (iv)
*There exist*$h,k\in B(W)$*such that*${J}_{1}h(x)=Ah(x)\phantom{\rule{1em}{0ex}}\mathit{\text{implies}}\phantom{\rule{1em}{0ex}}{J}_{1}Ah(x)=A{J}_{1}h(x)$

*and*

*Then the functional equations* (3.1a) *and* (3.1b), $i=1,2$, *have a unique bounded common solution in* $B(W)$.

*Proof* It follows from Theorem 3.1 when ${G}_{1}={G}_{2}=G$. □

**Corollary 3.4** [10]

*Suppose that the following conditions hold*:

- (i)
${G}_{1}$, ${G}_{2}$,

*F*,*g*,*and*${g}^{\prime}$*are bounded*. - (ii)
*Assume there exists*$r\in [0,1)$*such that*,*for every*$(x,y)\in W\times D$, $h,k\in B(W)$*and*$t\in W$,$\phi (r)min\left\{\right|Jh(t)-{A}_{1}h(t)|,|Jk(t)-{A}_{2}k(t)\left|\right\}\le |Jh(t)-Jk(t)|$

*implies*

*where*${A}_{1}$, ${A}_{2}$,

*and*

*J*

*are defined as follows*:

- (iii)
*For any*$h,k\in B(W)$,*there exist*$u,v\in B(W)$*such that*${A}_{1}h(x)=Ju(x)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}{A}_{2}k(x)=Jv(x),\phantom{\rule{1em}{0ex}}x\in W.$ - (iv)
*There exist*$h,k\in B(W)$*such that*$Jh(x)={A}_{1}h(x)\phantom{\rule{1em}{0ex}}\mathit{\text{implies}}\phantom{\rule{1em}{0ex}}J{A}_{1}h(x)={A}_{1}Jh(x)$

*and*

*Then the functional equations* (3.1a) *and* (3.1b) *with* ${F}_{1}={F}_{2}=F$ *possesses a unique bounded common solution in* *W*.

*Proof* It follows from Theorem 3.1 when ${F}_{1}={F}_{2}=F$. □

As an immediate consequence of Theorem 3.1 and Corollary 2.6, we obtain the following.

**Corollary 3.5** [23]

*Suppose that the following conditions hold*:

- (i)
${G}_{1}$, ${G}_{2}$,

*and**g**are bounded*. - (ii)
*There exists**r*∈ [0,1)*such that*,*for every*$(x,y)\in W\times D$, $h,k\in B(W)$,*and*$t\in W$,$\phi (r)min\left\{\right|h(t)-{A}_{1}h(t)|,|k(t)-{A}_{2}k(t)\left|\right\}\le |h(t)-k(t)|$

*implies*

*where*${A}_{1}$

*and*${A}_{2}$

*are defined as follows*:

*Then the functional equation* (3.1a) *possesses a unique bounded solution in* *W*.

*Proof* It follows from Corollary 3.4 when $g=0$, $\tau (x,y)=x$, and $F(x,y,t)=t$ as the assumption (DP-3) becomes redundant in this context. □

The following result generalizes a recent result of Singh and Mishra [[11], Corollary 4.2], which in turn extends certain results from [42] and [43].

**Corollary 3.6**

*Suppose that the following conditions hold*:

- (i)
*G**and**g**are bounded*. - (ii)
*There exists*$r\in [0,1)$*such that*,*for every*$(x,y)\in W\times D$, $h,k\in B(W)$,*and*$t\in W$,$\phi (r)|h(t)-Kh(t)|\le |h(t)-k(t)|$

*implies*

*where*

*K*

*is defined as*

*Then the functional equation* (3.1a) *with* ${G}_{1}={G}_{2}=G$ *possesses a unique bounded solution in* *W*.

*Proof* It follows from Corollary 3.5 when ${G}_{1}={G}_{2}=G$. □

## Declarations

### Acknowledgements

The authors thank the referees for their deep understanding, appreciation, and suggestions to improve upon the original typescript. They are also thankful to the Spanish Government for its support of this research through Grant DPI2012-30651, and to the Basque Government for its support of this research trough Grants IT378-10 and SAIOTEK S-PE12UN015. Further, they acknowledge the financial support by the University of Basque Country through Grant UFI 2011/07.

## Authors’ Affiliations

## References

- Nadler SB Jr.: Multivalued contraction mappings.
*Pac. J. Math.*1969, 30: 475–488. 10.2140/pjm.1969.30.475View ArticleMathSciNetGoogle Scholar - Khamsi MA, Kirk WA:
*An Introduction to Metric Spaces and Fixed Point Theory*. Wiley, New York; 2001.View ArticleGoogle Scholar - C̀iric̀ LB: Fixed points for generalized multivalued contractions.
*Mat. Vesn.*1972, 9(24):265–272.MathSciNetGoogle Scholar - Covitz H, Nadler SB Jr.: Multivalued contraction mappings in generalized metric spaces.
*Isr. J. Math.*1970, 8: 5–11. 10.1007/BF02771543View ArticleMathSciNetGoogle Scholar - Czerwik S Scientific Publications of the University of Silesia 428. In
*Fixed Point Theorems and Special Solutions of Functional Equations*. Silesian University, Katowice; 1980.Google Scholar - Hadzic̀ O: A coincidence theorem for multivalued mappings in metric spaces.
*Stud. Univ. Babeş-Bolyai, Math.*1981, 26(4):65–67.MathSciNetGoogle Scholar - Nadler SB Jr.:
*Hyperspaces of Sets*. Dekker, New York; 1978.Google Scholar - Petruşel A, Rus IA: The theory of a metric fixed point theorem for multivalued operators. In
*Proc. Ninth International Conference on Fixed Point Theory and Its Applications*. Yokohama Publ., Yokohama; 2011:161–175. Changhua, Taiwan, 16–22 July 2009Google Scholar - Rus IA:
*Generalized Contractions and Applications*. Cluj University Press, Cluj-Napoca; 2001.Google Scholar - Singh SL, Chugh R, Kamal R: Suzuki type hybrid contractions and applications.
*Indian J. Math.*2014, 56(1):49–76.MathSciNetGoogle Scholar - Singh SL, Mishra SN: Coincidence points, hybrid fixed and stationary points of orbitally weakly dissipative maps.
*Math. Jpn.*1994, 39: 451–459.MathSciNetGoogle Scholar - Singh SL, Mishra SN: On general hybrid contractions.
*J. Aust. Math. Soc. A*1999, 66: 244–254. 10.1017/S1446788700039331View ArticleMathSciNetGoogle Scholar - Singh SL, Mishra SN: Coincidence theorems for certain classes of hybrid contractions.
*Fixed Point Theory Appl.*2010., 2010: Article ID 898109Google Scholar - Singh SL, Mishra SN: Fixed point theorems for single-valued and multi-valued maps.
*Nonlinear Anal.*2011, 74: 2243–2248. 10.1016/j.na.2010.11.029View ArticleMathSciNetGoogle Scholar - Baillon JB, Singh SL: Nonlinear hybrid contractions on product spaces.
*Far East J. Math. Sci.*1993, 1: 117–127.MathSciNetGoogle Scholar - Baskaran R, Subrahmanyam PV: Common coincidence and fixed points.
*J. Math. Phys. Sci.*1984, 18: 329–343.MathSciNetGoogle Scholar - Beg I, Azam A: Common fixed points for commuting and compatible maps.
*Discuss. Math., Differ. Incl.*1996, 16: 121–135.MathSciNetGoogle Scholar - Dhompongsa S, Yingtaweesittikul H: Fixed points for multivalued mappings and the metric completeness.
*Fixed Point Theory Appl.*2009., 2009: Article ID 972395Google Scholar - Moţ G, Petruşel A: Fixed point theory for a new type of contractive multi-valued operators.
*Nonlinear Anal.*2009, 70(9):3371–3377. 10.1016/j.na.2008.05.005View ArticleMathSciNetGoogle Scholar - Reich S: Fixed points of multi-valued functions.
*Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat.*1971, 8(51):32–35.Google Scholar - Singh SL, Mishra SN: Nonlinear hybrid contractions.
*J. Natur. Phys. Sci.*1991/94, 5–8: 191–206.MathSciNetGoogle Scholar - Singh SL, Mishra SN: Coincidence and fixed points of nonself hybrid contractions.
*J. Math. Anal. Appl.*2001, 256(2):486–497. 10.1006/jmaa.2000.7301View ArticleMathSciNetGoogle Scholar - Singh SL, Mishra SN, Chugh R, Kamal R: General common fixed point theorems and applications.
*J. Appl. Math.*2012., 2012: Article ID 902312Google Scholar - Suzuki T: A generalized Banach contraction principle that characterizes metric completeness.
*Proc. Am. Math. Soc.*2008, 136(5):1861–1869.View ArticleGoogle Scholar - Wegrzyk R: Fixed point theorems for multivalued functions and their applications to functional equations.
*Diss. Math.*1982, 201: 1–28.MathSciNetGoogle Scholar - Kikkawa M, Suzuki T: Three fixed point theorems for generalized contractions with constants in complete metric spaces.
*Nonlinear Anal.*2008, 69(9):2942–2949. 10.1016/j.na.2007.08.064View ArticleMathSciNetGoogle Scholar - Abbas M, Ali B, Mishra SN:Fixed points of multivalued Suzuki-Zamfirescu-$(f;g)$ contraction mappings.
*Mat. Vesn.*2014, 66(1):58–72.MathSciNetGoogle Scholar - Doric̀ D, Lazovic̀ R: Some Suzuki-type fixed point theorems for generalized multivalued mappings and applications.
*Fixed Point Theory Appl.*2011., 2011: Article ID 40Google Scholar - Kamal, R, Chugh, R, Singh, SL, Mishra, SN: New common fixed point theorems for multivalued maps. Appl. Gen. Topol. (2013)Google Scholar
- Singh SL, Chugh R, Kamal R: Suzuki type common fixed point theorems and applications.
*Fixed Point Theory*2013, 14(2):1–9.MathSciNetGoogle Scholar - Itoh S, Takahashi W: Single-valued mappings, multivalued mappings and fixed point theorems.
*J. Math. Anal. Appl.*1977, 59(3):514–521. 10.1016/0022-247X(77)90078-6View ArticleMathSciNetGoogle Scholar - Singh SL, Hashim AM: New coincidence and fixed point theorems for strictly contractive hybrid maps.
*Aust. J. Math. Anal. Appl.*2005, 2(1):1–7.MathSciNetGoogle Scholar - Jungck G, Rhoades BE: Fixed points for set-valued functions without continuity.
*Indian J. Pure Appl. Math.*1988, 29(3):227–238.MathSciNetGoogle Scholar - Naimpally SA, Singh SL, Whitfield JHM: Coincidence theorems for hybrid contractions.
*Math. Nachr.*1986, 127: 177–180. 10.1002/mana.19861270112View ArticleMathSciNetGoogle Scholar - Singh SL, Kamal R, De la Sen M, Chugh R: A new type of coincidence and common fixed point theorem with applications.
*Abstr. Appl. Anal.*2014., 2014: Article ID 642378Google Scholar - C̀iric̀ LB: On a family of contractive maps and fixed points.
*Publ. Inst. Math. (Belgr.)*1974, 17(31):45–51.MathSciNetGoogle Scholar - Damjanovic̀ B, Doric̀ D: Multivalued generalizations of the Kannan fixed point theorem.
*Filomat*2011, 25(1):125–131. 10.2298/FIL1101125DView ArticleMathSciNetGoogle Scholar - Goebel K: A coincidence theorem.
*Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys.*1968, 16: 733–735.MathSciNetGoogle Scholar - Jungck G: Commuting mappings and fixed points.
*Am. Math. Mon.*1976, 83(4):261–263. 10.2307/2318216View ArticleMathSciNetGoogle Scholar - Fisher B: Mappings with a common fixed point.
*Math. Semin. Notes Kobe Univ.*1979, 7: 81–84.Google Scholar - Bellman R II. In
*Methods of Nonlinear Analysis*. Academic Press, New York; 1973.Google Scholar - Bellman R, Lee ES: Functional equations in dynamic programming.
*Aequ. Math.*1978, 17(1):1–18. 10.1007/BF01818535View ArticleMathSciNetGoogle Scholar - Bhakta PC, Mitra S: Some existence theorems for functional equations arising in dynamic programming.
*J. Math. Anal. Appl.*1984, 98(2):348–362. 10.1016/0022-247X(84)90254-3View ArticleMathSciNetGoogle Scholar - Pathak HK, Cho YJ, Kang SM, Lee BS: Fixed point theorems for compatible mappings of type (P) and applications to dynamic programming.
*Matematiche*1995, 50(1):15–33.MathSciNetGoogle Scholar - Pathak HK, Deepmala : Some existing theorems for solvability of certain function equations arising in dynamic programming.
*Bull. Calcutta Math. Soc.*2012, 104(3):237–244.MathSciNetGoogle Scholar - Pathak HK, Tiwari R: Common fixed points for weakly compatible mappings and applications in dynamic programming.
*Ital. J. Pure Appl. Math.*2013, 30: 253–268.MathSciNetGoogle Scholar - Singh SL, Mishra SN: On a Ljubomir C̀iric̀ fixed point theorem for nonexpansive type maps with applications.
*Indian J. Pure Appl. Math.*2002, 33(4):531–542.MathSciNetGoogle Scholar

## Copyright

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