- Research Article
- Open Access
Fixed Points of Discontinuous Multivalued Operators in Ordered Spaces with Applications
© S. H. Hong and Z. Qiu. 2010
- Received: 24 September 2009
- Accepted: 3 March 2010
- Published: 15 March 2010
Existence theorems of fixed points for multivalued increasing operators in partially ordered spaces are presented. Here neither the continuity nor compactness is assumed for multivalued operators. As an application, we lead to the existence principles for integral inclusions of Hammerstein type multivalued maps.
- Fixed Point Theorem
- Nonexpansive Mapping
- Topological Vector Space
- Continuous Bounded Function
- Order Banach Space
The influence of fixed point theorems for contractive and nonexpansive mappings (see [1, 2]) on fixed point theory is so huge that there are many results dealing with fixed points of mappings satisfying various types of contractive and nonexpansive conditions. On the other hand, it is also huge that well-known Brouwer's and Schauder's fixed point theorems for set-contractive mappings exert an influence on this theory. However, if a mapping is not completely continuous, in general, it is difficult to verify that the mapping satisfies the set-contractive condition. In 1980, Mönch  has obtained the following important fixed point theorem which avoids the above mentioned difficulty.
It has been observed that continuity is an ideal and important property in the above cited works, while in some applications the mapping under consideration may not be continuous, yet at the same time it may be "not very discontinuous". this idea has motivated many authors to study corresponding problems, for instance, the stability of Brouwer's fixed point theorem , similar result for nonexpansive mappings , and existence and approximation of the synthetic approaches to fixed point theorems . Recently, fixed point theory for discontinuous multivalued mappings has attracted much attention and many authors studied the existence of fixed points for such mappings. We refer to [7–11]. For example, Hong  has extended Mönch  to discontinuous multivalued operators in ordered Banach spaces by using a quite weak compactness condition; that is, assuming the following condition is satisfied.
The purpose of this paper is to present some results on fixed point theorems of Mönch type of multivalued increasing operators for which neither the continuity nor the compactness is assumed in ordered topological spaces. However, we will use the following hypothesis.
This paper is organized as follows. In Section 2, we introduce some definitions and preliminary facts from partially ordered theory and multivalued analysis which are used later. In especial, we introduce a new partial ordering of sets which forms a basis to our main results. In Section 3, we state and prove existence of fixed points, also, maximal and minimal fixed point theorem is presented for discontinuous multivalued increasing operators which are our main results. To illustrate the applicability of our theory, in Section 4, we discuss the existence of solutions to the Hammerstein integral inclusions of the form
Let be a partially ordered topological vector space. By the notation " " we always mean that and . Let stand for the collection of all nonempty subsets of . Take and let be a given ordered set of . The ordered interval of is written as .
Given a nonempty subsets of we say that is increasing upwards if , , and imply that there exists such that . is increasing downwards if , , and imply an existence of such that . If is increasing upwards and downwards we say that is increasing.
Let be nonempty. The element is called an upper (lower) bound of if ( ) whenever . is called upper (lower) bounded with respect to the ordering if its upper (lower) bounds exist. The element is called a supremum of , written as , if is an upper bound and as long as is another upper bound of . Similarly, we can define the infimum of .
Lemma 2.1 (see ).
An ordered topological vector space is said to have the limit ordinal property if with for , and for imply . By an analogy of the proof of Lemma 1.1.2 in , we have the following.
Evidently, is an upper bound of . Let be the other one, then for For any given , since is infinity, there exists such that , which implies that for all . From the definition of supremums it follows that , that is, is the supremum of .
If , then the conclusion of the lemma is proved. Otherwise, take for Again, the set has the supremum . Denote . If , then the conclusion of the lemma is proved. Otherwise, take for , and let with . In general, having defined with and , where and , if , which completes the proof. Otherwise, repeating this process, either the conclusion of the lemma is proved, or we can obtain a set sequence satisfying
In fact, for any , there exists such that . There exists such that . If for some nature number , then which yields . Otherwise, we have . This implies that . Consequently, . From the arbitrariness of it follows that (2.4) is satisfied.
Finally, combining and we see easily that is totally ordered. Our hypothesis guarantees that has a supremum, written as . Note that (2.4) guarantees , we have . On the other hand, the definition of ensures that . Hence . This proof is completed.
where, and is given as follows: since , there exists such that . In virtue of the fact that is increasing upwards, there exists such that . On the analogy of this process, there exists such that for Obviously, , thus, the condition (H1) guarantees that the supremum of exists.
It is clear that has the supremum . For any , from and there exists such that . We can assume that the sequence is increasing. Indeed, if for , our purpose is reached. Otherwise, there exists such that , then we take instead of . Let , then . Condition (H1) guarantees that has a supremum . Clearly, . By virtue of the fact that has sup-closed values, we have . This proof is complete.
For the sake of convenience, in this paper, by we always stand for the supremum of . For given , let be a set consisting of all given as in Lemma 2.8, then is an increasing map. Now for any Lemma 2.4 shows , thus, . Define
( ) may be satisfied. In fact, we can take empty set as a link of linking and . Thus, implies that for any we can find such that . In this case, we take . Besides, can be a finite set, for example, with then . ( ) and the condition (H1) ensure to exist the supremum, so, from Lemma 2.2 the element satisfying ( ) exists.
Finally, we prove that satisfies (b ). , there exist with (because is totally ordered) and such that . If (or ), then and are ordered by (b ). If , from (b ) and (b ) it follows that , which shows that . To conclude, is totally ordered. Noting that both and have supremums, by the definition of , we have
Now we can state and prove our main results.
is said to be a fixed point of the multivalued operator if . The fixed point of is said to be a maximal fixed point of if whenever and . If is a fixed point and if whenever and , we say that is a minimal fixed point of .
If has a maximal element , then is a fixed point of . In fact, since , we can find such that . From the definition of we can let . This implies . We claim that . Suppose that , then and . Take empty set as a link of linking with , we have , which contradicts the definition of maximal element.
To prove the existence of maximal element of , by Zorn's lemma, is thus sufficient to show that every totally ordered subset of has an upper bound. Let be any such a subset of . To this purpose, we consider the set . Obviously, . We claim that is totally ordered. Indeed, for any there exist and such that . If , then is ordered. Otherwise, we can assume that , thus, from Lemma 2.8 and (b ) it follows that . Conclusively, is a totally ordered subset.
We will prove that any countable totally ordered subset of has a supremum. It is enough to prove that any given strictly monotone sequence of there is a supremum. From the definition of , there exist and such that for For any , from the definition of , it follows has a supremum. Moreover, Lemma 2.4 guarantees that has a supremum if with for some given . It is suffices to consider the fact that there exists a subsequence of (without loss of generality, we may assume that it is itself) such that .
Now, we prove that has a maximal element. Suppose, on the contrary, for any , that there exists such that and . Let , then is an operator mapping into and satisfies and for every . In virtue of Lemma 2.5, there exists such that . On the other hand, by the definition of , we have and , a contradiction. Therefore, has a maximal element, that is, there exists such that for all .
Finally, we shall prove that is an upper bound of . Since , there exists and such that , which implies that On the other hand, since , we have . This compels . Taking empty set as a link of linking with , we have that . Given , in virtue of being totally ordered, or which implies ; or , which, applying (b ), yields . Therefore, . Noting that , we have that . Conclusively, , so, by (a) we have . This shows that is an upper bound of . This proof is completed.
We observe that the result of Theorem 3.2 is true under assumptions of Theorem 3.2 if all are written as The following corollary shows that Theorem 3.2 extends and improves the results of .
Let be an ordered Banach space, be a multivalued operator having nonempty and weakly closed values. Assume that there exists such that conditions (H2), (H3) and (H) hold, then has at least a fixed point.
Lemma 2.1 shows that there exists such that for all . By means of Eberlein's theorem and Lemma 2.2 we have that is the supremum of , that is, (H1) is satisfied. Moreover, this implies that , that is, is upper sequentially order closed in the sense of "weak." Since has weakly closed values, has sup-closed values. From Remark 3.3 has a fixed point.
It is suffice to prove that condition (H1) holds. Under these hypotheses, every bounded subset is weakly relatively compact (see ), which implies that (H1) is true.
In what follows, we shall consider the existence of maximal and minimal fixed points.
Let denote the set consisting of fixed points of . From Theorem 3.2 it follows that is nonempty. Set for . Clearly, and is a partially ordered set. By the same methods as to prove Theorem 3.2, we can prove that has a maximal element and is a fixed point of in . It is easy to see that is minimal fixed point of . This completes the proof of Theorem 3.6.
The next result is dual to that of Theorem 3.6.
If has the limit ordinal property, is increasing and has nonempty closed values. Assume that is relatively sequentially compact and conditions (H3) and (h3) hold, then has sup-closed and inf-closed values and satisfies conditions (H1) and (h1) on . Thereby, has maximal and minimal fixed points on . In this sense, we extend and improve the corresponding results of Theorem 2.1 in .
Let be a partially ordered Banach space. If there exist with such that . Assume that is increasing, has nonempty closed values, and satisfies one of the following hypotheses, then has maximal and minimal fixed points on .
(s2) implies (H1) and (h1) holds. The rest is clear.
(s2) is main condition of  for single-valued operators, (s4) is main condition of . Hence the results presented here extend and improve the corresponding results of the above mentioned papers.
In this section we assume that is a Banach space with partial ordering derived by the continuous bounded function as follows (see ):
To illustrate the ideas involved in Theorem 3.8 we discuss the Hammerstein integral inclusions of the form
whenever . This shows that is a Cauchy sequence, thereby is convergent. Lemma 2.2 guarantees , which yields . From the arbitrariness of it follows that is supremum of . From (4.4) and the dominated convergence theorem, it follows that . Moreover, for . Consequently, . Similarly, we have . This shows that (H3) and (h3) are satisfied for . (S2) guarantees that is increasing. It is easy to see that has closed values. This yields that has sup-closed and inf-closed values.
Finally, we check conditions (H1) and (h1). Suppose that the set is countable, totally ordered, and satisfies for all . We have to prove that the set has a supremum. Since is countable totally ordered, we can assume with for This implies that the sequence is decreasing. In the same way, we can prove that the sequence is convergent. Again, Lemma 2.2 guarantees that has a supremum, which implies that condition (H1) is satisfied. Similarly, we can prove that condition (h1) holds. All conditions of Theorem 3.8 are satisfied, consequently, the operator has minimum and maximum fixed points in and this proof is completed.
By comparing the results of Theorem 4.2 in  in which Couchouron and Precup have proved that (4.2) has at least one solution, we omit the conditions that is continuous and has compact values in Theorem 4.1.
This work was supported by the Natural Science Foundation of Zhejiang Province (Y607178) and the Natural Science Foundation of China (10771048).
- Banach S: Surles opérations dans les ensembles abstraits et leur application aux équations integrales. Fundamenta Mathematicae 1922, 3: 133–181.MATHGoogle Scholar
- Kirk WA: A fixed point theorem for mappings which do not increase distances. The American Mathematical Monthly 1965, 72: 1004–1006. 10.2307/2313345MathSciNetView ArticleMATHGoogle Scholar
- Mönch H: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 1980,4(5):985–999. 10.1016/0362-546X(80)90010-3View ArticleMathSciNetMATHGoogle Scholar
- Cromme LJ, Diener I: Fixed point theorems for discontinuous mapping. Mathematical Programming 1991,51(1–3):257–267.MathSciNetView ArticleMATHGoogle Scholar
- Kirk WA: Hölder continuity and minimal displacement. Numerical Functional Analysis and Optimization 1998,19(1–2):71–79. 10.1080/01630569808816815MathSciNetView ArticleMATHGoogle Scholar
- Kirk WA, Saliga LM: Some results on existence and approximation in metric fixed point theory. Journal of Computational and Applied Mathematics 2000,113(1):141–152. 10.1016/S0377-0427(99)00249-6MathSciNetView ArticleMATHGoogle Scholar
- Dhage BC: Fixed-point theorems for discontinuous multivalued operators on ordered spaces with applications. Computers and Mathematics with Applications 2006,51(3–4):589–604. 10.1016/j.camwa.2005.07.017MathSciNetView ArticleMATHGoogle Scholar
- Hong SH: Fixed points of discontinuous multivalued increasing operators in Banach spaces with applications. Journal of Mathematical Analysis and Applications 2003,282(1):151–162. 10.1016/S0022-247X(03)00111-2MathSciNetView ArticleMATHGoogle Scholar
- Hong SH: Fixed points for mixed monotone multivalued operators in Banach spaces with applications. Journal of Mathematical Analysis and Applications 2008,337(1):333–342. 10.1016/j.jmaa.2007.03.091MathSciNetView ArticleMATHGoogle Scholar
- Carl S, Heikkilä S: Fixed point theorems for multifunctions with applications to discontinuous operator and differential equations. Journal of Mathematical Analysis and Applications 2004,297(1):56–69. 10.1016/j.jmaa.2004.03.061MathSciNetView ArticleMATHGoogle Scholar
- Huy NB: Fixed points of increasing multivalued operators and an application to discontinuous elliptic equations. Nonlinear Analysis: Theory, Methods & Applications 2002,51(4):673–678. 10.1016/S0362-546X(01)00850-1MathSciNetView ArticleMATHGoogle Scholar
- Guo D, Sun J, Liu Z: Functional Method of Nonlinear Ordinary Differential Equations. Shandong Science and Technology Press, Jinan, China; 1995.Google Scholar
- Chang S, Ma Y: Coupled fixed points for mixed monotone condensing operators and an existence theorem of the solutions for a class of functional equations arising in dynamic programming. Journal of Mathematical Analysis and Applications 1991,160(2):468–479. 10.1016/0022-247X(91)90319-UMathSciNetView ArticleMATHGoogle Scholar
- Caristi J: Fixed point theorems for mappings satisfying inwardness conditions. Transactions of the American Mathematical Society 1976, 215: 241–251.MathSciNetView ArticleMATHGoogle Scholar
- Couchouron J-F, Precup R: Existence principles for inclusions of Hammerstein type involving noncompact acyclic multivalued maps. Electronic Journal of Differential Equations 2002,2002(4):-21.MathSciNetMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.