Abstract

We obtain a new Suzuki type coupled fixed point theorem for a multivalued mapping from into , satisfying a generalized contraction condition in a complete metric space. Our result unifies and generalizes various known comparable results in the literature. We also give an application to certain functional equations arising in dynamic programming.

1. Introduction and Preliminaries

In 2008, Suzuki [1] introduced a new type of mappings which generalize the well-known Banach contraction principle [2], and, further, Kikkawa and Suzuki [3] proved a Kannan [4] version of mappings.

Theorem 1 (see [3]). Let be a complete metric space. Let be a self-map and let be defined by
Let and . Suppose that for all . Then, has a unique fixed point , and holds for every .
Let be a metric space. We denote by the family of all nonempty, closed bounded subsets of . Let H be a Hausdorff metric; that is, for , where .

Nadler [5] proved multivalued extension of the Banach contraction principle as follows.

Let be a complete metric space and let be a mapping from into . Assume that there exists such that for all . Then, there exists such that . Many fixed point theorems have been proved by various authors as a generalization of Nadler’s theorem [69]. One of the general fixed point theorems for a generalized multivalued mapping appears in [10].

Theorem 2 (see [11]). Let be a complete metric space and let be a mapping from into . Assume that there exists a function from into defined by such that for all . Then, there exists such that .

Bhaskar and Lakshmikantham [12] introduced the concept of coupled fixed point for a mapping from to and established some coupled fixed point theorems in partially ordered sets. As an application, they studied the existence and uniqueness of solution for a periodic boundary value problem associated with a first order ordinary differential equation.

Definition 3. Let be a metric space and . An element is called a coupled fixed point of if and .

The aim of this paper is to obtain coupled fixed point for a multivalued mapping which satisfies the generalized contraction condition in complete metric spaces. Our results unify, extend, and generalize various known comparable results in the literature.

2. Main Results

Now, we shall prove our main result.

Firstly, we define a nonincreasing function from into by

Theorem 4. Let be a complete metric space and let be a mapping from into . Assume that there exists such that implies for all . Then, there exist such that and .

Proof. Let be a real number such that , and such that and . Since and , then and, as ,
Thus, from assumption (10), we have
Adding (14) and (16), we have
If , then we have as ; a contradiction. Therefore,
Again, if , , we get and if , we get
Using triangle inequality, we obtain This implies
Hence, there exist with and such that
Thus, we construct such sequences and in such that , , and Then, we have
Hence, we conclude that in both cases the sequences and are Cauchy sequences. Since is complete, there are some points and in such that and .
Now, we shall show that for all and . Since and , there exists such that for all . Therefore
Thus,
Since
from (29) we have
Then, from (10) we have
By adding, (32) and (33), we get
Letting tends to , we obtain
Hence, we have:
Now, we shall prove that and .
Case  1. First, we consider the case . Suppose, on contrary, that and . Let and be such that . Since and imply and , from (10), we have
On the other hand, since , from (10), we get
By adding, (38) and (39), we have
This implies
And, from (40), we have
Therefore, we obtain
This is a contradiction. As a result, we have and .
Case  2. Now, we consider the case . We shall first prove that for all . If and , then the previous equation (44) obviously holds. Hence, let us assume and . Then, for every , there exist sequences and such that
Then for all , we have
If , then we get
Letting , we have
Thus and, from (10), we obtain (44). If , then
And, therefore
Letting , we have and, thus from condition (56), we obtain (44).
Finally, from (44), we obtain
Hence, as , we obtain
This implies that and .

Corollary 5. Let be a complete metric space and let be a mapping from into . Assume that there exists such that implies for all , where the function is defined as in Theorem 4. Then, there exist such that and .

Corollary 6. Let be a complete metric space and let be a mapping from into . Assume that there exists such that implies for all , where the function is defined as in Theorem 4. Then, there exist such that and .

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. In this paper, we shall prove the existence and uniqueness of a solution for a class of functional equations using Corollary 6.

In this section, we assume that   and are Banach spaces. , , and is a field of real numbers. Let denote the set of all the real valued functions on . It is known that endowed with the metric is a complete metric space. According to Bellman and Lee, the basic form of the functional equation of dynamic programming is given as where   and represent the state and decision vectors, respectively, represents the transformation of the process, and represents the optimal return function with initial state . In this section, we study the existence and uniqueness of a solution of the following functional equation: where and are bounded functions. In this section, we study the existence and uniqueness of a solution of (59) in the following new form. Let a function be defined as in Theorem 4 and let the mapping be defined by

Theorem 7. Suppose that there exists such that for every , , and , the inequality implies where Then, the functional equation (59) has a unique bounded solution in .

Proof. Note that is a map from onto and that is a complete metric space, where is the metric defined in (57). Let be an arbitrary positive real number, and .For arbitrary and so that From the definition of mapping , we have If inequality (61) holds, then from (64) and (67), we get Similarly, (65) and (66) implies that Hence, from (68) and (69), we have Since inequality (70) is true for any and arbitrary , then (61) implies Therefore, all the conditions of Corollary 6 are met for the mapping , and hence the functional equation (59) has a unique bounded solution.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.