# Some Suzuki-type fixed point theorems for generalized multivalued mappings and applications

## Abstract

In this article we obtain a Suzuki-type generalization of a fixed point theorem for generalized multivalued mappings of Ćirić (Matematićki Vesnik, 9(24), 265-272, 1972). The obtained results extend furthermore the recently developed Kikkawa-Suzuki-type contractions. Applications to certain functional equations arising in dynamic programming are also considered.

## 1 Introduction and preliminaries

In 2008 Suzuki [1] introduced a new type of mappings which generalize the well-known Banach contraction principle [2]. Some others [3] generalized Kannan mappings [4].

Theorem 1.1. (Kikkawa and Suzuki[3]) Let T be a mapping on complete metric space (X, d) and let φ be a non-increasing function from [0, 1) into (1/ 2, 1] defined by

$\phi \left(r\right)=\left\{\begin{array}{cc}\hfill 1,\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}0\le r\le \frac{1}{\sqrt{2}},\hfill \\ \hfill \frac{1}{1+r},\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}\frac{1}{\sqrt{2}}\le r<1.\hfill \end{array}\right\$

Let α [0, 1/ 2) and r = α/(1 - α) [0, 1). Suppose that

$\phi \left(r\right)d\left(x,Tx\right)\le d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}implies\phantom{\rule{2.77695pt}{0ex}}d\left(Tx,Ty\right)\le \alpha d\left(x,Tx\right)+\alpha d\left(y,Ty\right)$
(1)

for all x, y X. Then, T has a unique fixed point z, and lim n Tnx = z holds for every x X.

Theorem 1.2. (Kikkawa and Suzuki[3]) Let T be a mapping on complete metric space (X, d) and θ be a nonincreasing function from [0, 1) onto (1/ 2, 1] defined by

$\theta \left(r\right)=\left\{\begin{array}{cc}\hfill 1\hfill & \hfill if\phantom{\rule{0.5em}{0ex}}0\le r\le \frac{1}{2}\left(\sqrt{5}-1\right),\hfill \\ \hfill \frac{1-r}{{r}^{2}}\hfill & \hfill if\phantom{\rule{0.5em}{0ex}}\frac{1}{2}\left(\sqrt{5}-1\right)\le r\le \frac{1}{\sqrt{2}},\hfill \\ \hfill \frac{1}{1+r}\hfill & \hfill if\phantom{\rule{0.5em}{0ex}}\frac{1}{\sqrt{2}}\le r<1.\hfill \end{array}\right\$

Suppose that there exists r [0, 1) such that

$\theta \left(r\right)d\left(x,Tx\right)\le d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}implies\phantom{\rule{2.77695pt}{0ex}}d\left(Tx,Ty\right)\le rmax\left\{d\left(x,Tx\right),d\left(y,Ty\right)\right\}$
(2)

for all x, y X. Then, T has a unique fixed point z, and lim n Tnx = z holds for every x X.

On the other hand, Nadler [5] proved multivalued extension of the Banach contraction theorem.

Theorem 1.3. (Nadler[5]) Let (X, d) be a complete metric space and let T be a mapping from X into CB(X). Assume that there exists r [0, 1) such that

$H\left(Tx,Ty\right)\le rd\left(x,y\right)$

for all x, y X. Then, there exists z X such that z Tz.

Many fixed point theorems have been proved by various authors as generalizations of the Nadler's theorem (see [69]). One of the general fixed point theorems for a generalized multivalued mappings appears in [10].

The following result is a generalization of Nadler [5].

Theorem 1.4. (Kikkawa and Suzuki[11]) Let (X, d) be a complete metric space, and let T be a mapping from X into CB(X). Define a strictly decreasing function η from [0, 1) onto (1/ 2, 1] by

$\eta \left(r\right)=\frac{1}{1+r}$

and assume that there exists r [0, 1) such that

$\eta \left(r\right)d\left(x,Tx\right)\le d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}implies\phantom{\rule{2.77695pt}{0ex}}H\left(Tx,Ty\right)\le rd\left(x,y\right)$

for all x, y X. Then, there exists z X such that z Tz.

In this article we obtain a Kikkawa-Suzuki-type fixed point theorem for generalized multivalued mappings considered in [10]. The result obtained here complement and extend some previous theorems about multivalued contractions. In addition, using our result, we proved the existence and uniqueness of solutions for certain class of functional equations arising in dynamic programming.

## 2 Main results

Let (X, d) be a metric space. We denote by CB(X) the family of all nonempty, closed, bounded subsets of X. Let H(·, ·) be the Hausdorff metric, that is,

$H\left(A,B\right)=max\left\{\underset{a\in A}{sup}\phantom{\rule{2.77695pt}{0ex}}d\left(a,B\right),\underset{b\in B}{sup}\phantom{\rule{2.77695pt}{0ex}}d\left(A,b\right)\right\}$

for A, B CB(X), where d(x, B) = inf y B d(x, y).

Now, we will prove our main result.

Theorem 2.1. Define a nonincreasing function φ from [0, 1) into (0, 1] by

$\phi \left(r\right)=\left\{\begin{array}{cc}\hfill 1,\hfill & \hfill if\phantom{\rule{2.77695pt}{0ex}}0\le r<\frac{1}{2},\hfill \\ \hfill 1-r,\hfill & \hfill if\phantom{\rule{0.5em}{0ex}}\frac{1}{2}\le r<1.\hfill \end{array}\right\$

Let (X, d) be a complete metric space and T be a mapping from X into CB(X). Assume that there exists r [0, 1) such that φ(r)d(x, Tx) ≤ d(x, y) implies

$H\left(Tx,Ty\right)\le r\cdot max\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Ty\right),\frac{d\left(x,Ty\right)+d\left(y,Tx\right)}{2}\right\}$
(3)

for all x, y X. Then, there exists z X such that z Tz.

Proof.

1. 1.

Let r 1 be such a real number that 0 ≤ r < r 1 < 1, and u 1 X and u 2Tu 1 be arbitrary. Since u 2Tu 1, then d(u 2, Tu 2) ≤ H(Tu 1, Tu 2) and, as φ(r) < 1,

$\phi \left(r\right)d\left({u}_{1},T{u}_{1}\right)\le d\left({u}_{1},T{u}_{1}\right)\le d\left({u}_{1},{u}_{2}\right).$

Thus, from the assumption (3),we have

Hence, as r < 1, we have d(u2, Tu2) ≤ rd(u1, u2). Hence, there exists u3 Tu2 such that d(u2, u3) ≤r1d(u1, u2). Thus, we can construct such a sequence {u n } in X that

${u}_{n+1}\in T{u}_{n}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}d\left({u}_{n+1},{u}_{n+2}\right)\le {r}_{1}d\left({u}_{n},{u}_{n+1}\right).$

Then, we have

$\sum _{n=1}^{\infty }d\left({u}_{n},{u}_{n+1}\right)\le \sum _{n=1}^{\infty }{r}_{1}^{n-1}d\left({u}_{1},{u}_{2}\right)<\infty .$

Hence, we conclude that {u n } is a Cauchy sequence. Since X is complete, there is some point z X such that

$\underset{n\to \infty }{lim}{u}_{n}=z.$
1. 2.

Now, we will show that

$d\left(z,Tx\right)\le r\cdot max\left\{d\left(z,x\right),d\left(x,Tx\right)\right\}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{all}}\phantom{\rule{2.77695pt}{0ex}}x\in X\\left\{z\right\}.$
(4)

Since u n z, there exists n0 N such that d(z, u n ) ≤ (1/ 3)d(z, x) for all nn0. Then, we have

$\begin{array}{lll}\hfill \phi \left(r\right)d\left({u}_{n},T{u}_{n}\right)\phantom{\rule{1em}{0ex}}& \le \phantom{\rule{1em}{0ex}}d\left({u}_{n},T{u}_{n}\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \phantom{\rule{1em}{0ex}}d\left({u}_{n},{u}_{n+1}\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \phantom{\rule{1em}{0ex}}d\left({u}_{n},z\right)+d\left({u}_{n+1},z\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \le \phantom{\rule{1em}{0ex}}\frac{2}{3}d\left(x,z\right).\phantom{\rule{2em}{0ex}}& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$

Thus,

$\phi \left(r\right)d\left({u}_{n},T{u}_{n}\right)\le \frac{2}{3}d\left(x,z\right).$
(5)

Since

$\begin{array}{lll}\hfill \frac{2}{3}d\left(x,z\right)\phantom{\rule{1em}{0ex}}& =\phantom{\rule{1em}{0ex}}d\left(x,z\right)-\frac{1}{3}d\left(x,z\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \phantom{\rule{1em}{0ex}}d\left(x,z\right)-d\left({u}_{n},z\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \phantom{\rule{1em}{0ex}}d\left({u}_{n},x\right),\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$

from (5), we have φ (r) d(u n , Tu n ) ≤ d(u n , x). Then, from (3),

(6)

Since u n +1 Tu n , then

$d\left({u}_{n+1},Tx\right)\le H\left(T{u}_{n},Tx\right)\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}d\left({u}_{n},T{u}_{n}\right)\le d\left({u}_{n},{u}_{n+1}\right).$

Hence, from (6), we get

$d\left({u}_{n+1},Tx\right)\le r\cdot max\left\{d\left({u}_{n},x\right),d\left({u}_{n},{u}_{n+1}\right),d\left(x,Tx\right),\frac{d\left({u}_{n},Tx\right)+d\left(x,{u}_{n+1}\right)}{2}\right\}$

for all n N with nn0. Letting n tend to ∞, we obtain (4).

1. 3.

Now, we will show that z Tz.

3.1. First, we consider the case $0\le r<\frac{1}{2}$. Suppose, on the contrary, that z Tz. Let a Tz be such that 2rd(a, z) < d(z, Tz). Since a Tz implies az, then from (4) we have

$d\left(z,Ta\right)\le rmax\left\{d\left(z,a\right),d\left(a,Ta\right)\right\}.$

On the other hand, since φ (r) d(z, Tz) ≤ d(z, Tz) ≤ d(z, a), then from (3) we have

$\begin{array}{lll}\hfill H\left(Tz,Ta\right)\phantom{\rule{1em}{0ex}}& \le \phantom{\rule{1em}{0ex}}r\cdot max\left\{d\left(z,a\right),d\left(z,Tz\right),d\left(a,Ta\right),\frac{d\left(z,Ta\right)+0}{2}\right\}\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \phantom{\rule{1em}{0ex}}rmax\left\{d\left(z,a\right),d\left(z,Tz\right),d\left(a,Ta\right)\right\}\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \phantom{\rule{1em}{0ex}}rmax\left\{d\left(z,a\right),d\left(a,Ta\right)\right\}.\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$

Hence,

$d\left(a,Ta\right)\le H\left(Tz,Ta\right)\le rmax\left\{d\left(z,a\right),d\left(a,Ta\right)\right\}.$

Hence, d(a, Ta) ≤ rd(z, a) < d(z, a), and from (7), we have d(z, Ta) ≤ rd(z, a). Therefore, we obtain

$\begin{array}{lll}\hfill d\left(z,Tz\right)\phantom{\rule{1em}{0ex}}& \le \phantom{\rule{1em}{0ex}}d\left(z,Ta\right)+H\left(Ta,Tz\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \phantom{\rule{1em}{0ex}}d\left(z,Ta\right)+rmax\left\{d\left(z,a\right),d\left(a,Ta\right)\right\}\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \phantom{\rule{1em}{0ex}}2rd\left(z,a\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ <\phantom{\rule{1em}{0ex}}d\left(z,Tz\right).\phantom{\rule{2em}{0ex}}& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$

This is a contradiction. As a result, we have z Tz.

3.2. Now, we consider the case $\frac{1}{2}\le r<1$. We will first prove

$\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}H\left(Tx,Tz\right)\le rmax\left\{d\left(x,z\right),d\left(x,Tx\right),d\left(z,Tz\right),\frac{d\left(,Tx\right)+d\left(z,Tx\right)}{2}\right\}$
(8)

for all x X. If x = z, then the previous obviously holds. Hence, let us assume xz. Then, for every n N, there exists a sequence y n Tx such that d(z, y n ) ≤ d(z, Tx) + (1/n)d(x, z). Using (4), we have for all n N

$\begin{array}{lll}\hfill d\left(x,Tx\right)& \le \phantom{\rule{1em}{0ex}}d\left(x,{y}_{n}\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \phantom{\rule{1em}{0ex}}d\left(x,z\right)+d\left(z,{y}_{n}\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \phantom{\rule{1em}{0ex}}d\left(x,z\right)+d\left(z,Tx\right)+\frac{1}{n}d\left(x,z\right)\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \le \phantom{\rule{1em}{0ex}}d\left(x,z\right)+rmax\left\{d\left(x,z\right),d\left(x,Tx\right)\right\}+\frac{1}{n}d\left(x,z\right).\phantom{\rule{2em}{0ex}}& \hfill \text{(4)}\\ \hfill \text{(5)}\end{array}$

If d(x, z) ≥ d(x, Tx), then

$d\left(x,Tx\right)\le d\left(x,z\right)+rd\left(x,z\right)+\frac{1}{n}d\left(x,z\right)=\left(1+r+\frac{1}{n}\right)d\left(x,z\right).$

Letting n tend to ∞, we have d(x, Tx) ≤ (r + 1)d(x, z). Thus,

$\phi \left(r\right)d\left(x,Tx\right)=\left(1-r\right)d\left(x,Tx\right)\le \frac{1}{r+1}d\left(x,Tx\right)\le d\left(x,z\right)$

and from (3), we have (8).

If d(x, z) < d(x, Tx), then

$d\left(x,Tx\right)\le d\left(x,z\right)+rd\left(x,Tx\right)+\frac{1}{n}d\left(x,z\right)$

and therefore,

$\left(1-r\right)d\left(x,Tx\right)\le \left(1+\frac{1}{n}\right)d\left(x,z\right).$

Letting n tend to ∞, we have φ(r)d(x, T) ≤ d(x, z) and thus, from (3), we again have (8).

Finally, from (8), we obtain

Hence, as r < 1, we obtain d (z, Tz) = 0. Since Tz is closed, z Tz.

Hence, we have shown that z Tz in all cases, which completes the proof. □

Remark. The Theorem 2.1 provides the answer to the Question 1 posed in [12].

Corollary 2.1. Let (X, d) be a complete metric space and T be a mapping from X into CB(X).

Assume that there exists r [0, 1) such that φ(r)d(x, Tx) ≤ d(x, y) implies

$H\left(Tx,Ty\right)\le rmax\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Ty\right)\right\}$
(9)

for all x, y X, where the function φ is defined as in Theorem 2.1. Then, there exists z X such that z Tz.

Proof. It comes from Theorem 2.1 since (9) implies (3). □

The Corollary 2.1 is the multivalued mapping generalization of the Theorem 2.2 of Kikkawa and Suzuki [3], and therefore of the Kannan fixed point theorem [4] for generalized Kannan mappings. Also, it is the generalization of the Theorem 2.1 of Damjanović and Đorić [13].

From the Corollary 2.1, we obtain an another corollary:

Corollary 2.2. Let (X, d) be a complete metric space and T be a mapping from X into CB(X).

Let α [0, 1/ 3) and r = 3α. Suppose that there exists r [0, 1) such that

$\phi \left(r\right)d\left(x,Tx\right)\le d\left(x,y\right)\phantom{\rule{1em}{0ex}}implies\phantom{\rule{1em}{0ex}}H\left(Tx,Ty\right)\le \alpha d\left(x,y\right)+\alpha d\left(x,Tx\right)+\alpha d\left(y,Ty\right)$

for all x, y X, where the function φ is defined as in Theorem 2.1. Then, there exists z X such that z Tz.

Considering T as a single-valued mapping, we have the following result:

Corollary 2.3. Let (X, d) be a complete metric space and T be a mapping from X into X. Suppose that there exists r [0, 1) such that

$\phi \left(r\right)d\left(x,Tx\right)\le d\left(x,y\right)$

implies

$d\left(Tx,Ty\right)\le r\cdot max\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Ty\right),\frac{d\left(x,Ty\right)+d\left(y,Tx\right)}{2}\right\}$

for all x, y X, where the function φ is defined as in Theorem 2.1. Then, there exists z X such that z = Tz.

Corollary 2.3 is the generalization fixed point theorem [4]. Corollary 2.3 also is the generalization of the Theorem 3.1 of Enjouji et al. [14], since by symmetry, the inequality (3.3) in [14] implies the inequality (1) in Theorem 1.1. Considering generalizations of the Theorem 1.2, Popescu [15] obtained the same result with different function φ.

## 3 An application

The existence and uniqueness of solutions of functional equations and system of functional equations arising in dynamic programming have been studied by using various fixed point theorems (see [12, 16, 17] and the references therein). In this article, we will prove the existence and uniqueness of a solution for a class of functional equations using Corollary 2.3.

Throughout this section, we assume that U and V are Banach spaces, W U, D V and is the field of real numbers. Let B(W) denote the set of all the bounded real-valued functions on W. It is well known that B(W) endowed with the metric

${d}_{B}\left(h,k\right)=\underset{x\in W}{sup}|h\left(x\right)-k\left(x\right)|,\phantom{\rule{1em}{0ex}}h,k\in B\left(W\right)$
(10)

is a complete metric space.

According to Bellman and Lee [18], the basic form of the functional equation of dynamic programming is given as

$p\left(x\right)=\underset{y}{sup}\phantom{\rule{2.77695pt}{0ex}}H\left(x,y,p\left(\tau \left(x,y\right)\right)\right),$

where x and y represent the state and decision vectors, respectively, τ : W ×DW represents the transformation of the process and p(x) represents the optimal return function with initial state x. In this section, we will study the existence and uniqueness of a solution of the following functional equation:

$p\left(x\right)=\underset{y}{\mathrm{sup}}\left[g\left(x,y\right)+G\left(x,y,p\left(\tau \left(x,y\right)\right)\right),\phantom{\rule{0.1em}{0ex}}\phantom{\rule{0.1em}{0ex}}\phantom{\rule{0.1em}{0ex}}x\in W$
(11)

where g : W × D and G : W × D are bounded functions.

Let a function φ be defined as in Theorem 2.1 and the mapping T be defined by

$T\left(h\left(x\right)\right)=\underset{y\in D}{\mathrm{sup}}\left\{g\left(x,y\right)+G\left(x,y,h\left(\tau \left(x,y\right)\right)\right\},\phantom{\rule{0.1em}{0ex}}\phantom{\rule{0.1em}{0ex}}\phantom{\rule{0.1em}{0ex}}h\in B\left(W\right),\phantom{\rule{0.1em}{0ex}}x\in W.$
(12)

Theorem 3.1. Suppose that there exists r [0, 1) such that for every (x, y) W × D, h, k B(W) and t W, the inequality

$\phi \left(r\right){d}_{B}\left(T\left(h\right),h\right)\le {d}_{B}\left(h,k\right)$
(13)

implies

$|G\left(x,y,h\left(t\right)\right)-G\left(x,y,k\left(t\right)\right)|\phantom{\rule{2.77695pt}{0ex}}\le r\cdot M\left(h\left(t\right),k\left(t\right)\right),$

where

Then, the functional equation (11) has a unique bounded solution in B(W).

Proof. Note that T is self-map of B(W) and that (B(W), d B ) is a complete metric space, where d B is the metric defined by (10). Let λ be an arbitrary positive real number, and h1, h2 B(W ). For x W, we choose y1, y2 D so that

$T\left({h}_{1}\left(x\right)\right)
(14)
$T\left({h}_{2}\left(x\right)\right)
(15)

where τ1 = τ (x, y1) and τ2 = τ (x, y2).

From the definition of mapping T and equation (12), we have

$T\left({h}_{1}\left(x\right)\right)\ge g\left(x,{y}_{2}\right)+G\left(x,{y}_{2},{h}_{1}\left({\tau }_{2}\right)\right),$
(16)
$T\left({h}_{2}\left(x\right)\right)\ge g\left(x,{y}_{1}\right)+G\left(x,{y}_{1},{h}_{2}\left({\tau }_{1}\right)\right).$
(17)

If the inequality (13) holds, then from (14) and (17), we obtain

$\begin{array}{lll}\hfill T\left({h}_{1}\left(x\right)\right)-T\left({h}_{2}\left(x\right)\right)\phantom{\rule{1em}{0ex}}& <\phantom{\rule{1em}{0ex}}G\left(x,{y}_{1},{h}_{1}\left({\tau }_{1}\right)\right)-G\left(x,{y}_{1},{h}_{2}\left({\tau }_{1}\right)\right)+\lambda \phantom{\rule{2em}{0ex}}& \hfill \text{(1)}\\ \le \phantom{\rule{1em}{0ex}}|G\left(x,{y}_{1},{h}_{1}\left({\tau }_{1}\right)\right)-G\left(x,{y}_{1},{h}_{2}\left({\tau }_{1}\right)\right)|+\lambda \phantom{\rule{2em}{0ex}}& \hfill \text{(2)}\\ \le \phantom{\rule{1em}{0ex}}r\cdot M\left({h}_{1}\left(x\right),{h}_{2}\left(x\right)\right)+\lambda .\phantom{\rule{2em}{0ex}}& \hfill \text{(3)}\\ \hfill \text{(4)}\end{array}$
(18)

Similarly, (15) and (16) imply

$T\left({h}_{2}\left(x\right)\right)-T\left({h}_{1}\left(x\right)\right)\le r\cdot M\left({h}_{1}\left(x\right),{h}_{2}\left(x\right)\right)+\lambda .$
(19)

Hence, from (18) and (19), we have

$|T\left({h}_{1}\left(x\right)\right)-T\left({h}_{2}\left(x\right)\right)|\phantom{\rule{2.77695pt}{0ex}}\le r\cdot M\left({h}_{1}\left(x\right),{h}_{2}\left(x\right)\right)+\lambda .$
(20)

Since the inequality (20) is true for any x W and arbitrary λ > 0, then

$\phi \left(r\right){d}_{B}\left(T\left({h}_{1}\right),{h}_{1}\right)\le {d}_{B}\left({h}_{1},{h}_{2}\right)$

implies

Therefore, all the conditions of Corollary 2.3 are met for the mapping T, and hence the functional equation (11) has a unique bounded solution. □

## References

1. Suzuki T: A generalized Banach contraction principle that characterizes metric completeness. Proc Am Math Soc 2008, 136: 1861–186.

2. Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund Math 1922, 3: 133–181.

3. Kikkawa M, Suzuki T: Some similarity between contractions and Kannan mappings. Fixed Point Theory Appl 2008, 8. Article ID 649749

4. Kannan R: Some results on fixed points--II. Am Math Monthly 1969, 76: 405–408. 10.2307/2316437

5. Nadler SB Jr: Multi-valued contraction mappings. Pacific J Math 1969, 30: 475–488.

6. Mizoguchi N, Takahashi W: Fixed point theorems for multi-valued mappings on complete metric spaces. J Math Anal Appl 1989, 141: 177–188. 10.1016/0022-247X(89)90214-X

7. Daffer PZ, Kaneko H: Fixed points of generalized contractive multi-valued mappings. J Math Anal Appl 1995, 192: 655–666. 10.1006/jmaa.1995.1194

8. Semenov PV: Fixed points of multi-valued contractions. Funct Anal Appl 2002,36(2):159–161. 10.1023/A:1015682926496

9. Ćirić LJ: Multi-valued nonlinear contraction mappings. Nonlinear Anal 2009, 71: 2716–2723. 10.1016/j.na.2009.01.116

10. Ćirić LJ: Fixed points for generalized multi-valued contractions. Matematički Vesnik 1972,9(24):265–272.

11. Kikkawa M, Suzuki T: Three fixed point theorems for generalized contractions with constants in complete metric spaces. Nonlinear Anal 2008, 69: 2942–2949. 10.1016/j.na.2007.08.064

12. Singh SL, Mishra SN: Coincidence theorems for certain classes of hybrid contractions. Fixed Point Theory Appl 2010, 2010: Article ID 898109. 14

13. Damjanović B, Đorić D: Multivalued generalisations of the Kannan fixed point theorem. FILO-MAT 2011, 25: 125–131.

14. Enjouji Y, Nakanishi M, Suzuki T: A Generalization of Kannan's fixed point theorem. Fixed Point Theory Appl 2009, 2009: Article ID 192872. 10

15. Popescu O: Two fixed point theorems for generalized contractionswith constants in complete metric space. Central Eur J Math 2009,7(3):529–538. 10.2478/s11533-009-0019-2

16. Liu Z, Agarwal RP, Kang SM: On solvability of functional equations and system of functional equations arising in dynamic programming. J Math Anal Appl 2004, 297: 111–130. 10.1016/j.jmaa.2004.04.049

17. Liu Z, Wang L, Kim HK, Kang SM: Common fixed point theorems for contractive type mappings and their applications in dynamic programming. Bull Korean Math Soc 2008,45(3):573–585. 10.4134/BKMS.2008.45.3.573

18. Bellman R, Lee ES: Functional equations arising in dynamic programming. Aequationes Math 1978, 17: 1–18. 10.1007/BF01818535

## Author information

Authors

### Corresponding author

Correspondence to Dragan Đorić.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

Both authors equitably contributed draft text and the main results section. DĐ contributed the application section. Both authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Đorić, D., Lazović, R. Some Suzuki-type fixed point theorems for generalized multivalued mappings and applications. Fixed Point Theory Appl 2011, 40 (2011). https://doi.org/10.1186/1687-1812-2011-40