- Research Article
- Open Access
Fixed Points of Multivalued Maps in Modular Function Spaces
© M. A. Kutbi and A. Latif. 2009
- Received: 7 February 2009
- Accepted: 14 April 2009
- Published: 12 May 2009
The purpose of this paper is to study the existence of fixed points for contractive-type and nonexpansive-type multivalued maps in the setting of modular function spaces. We also discuss the concept of -modular function and prove fixed point results for weakly-modular contractive maps in modular function spaces. These results extend several similar results proved in metric and Banach spaces settings.
- Modular Space
- Fixed Point Theorem
- Lower Semicontinuity
- Growth Function
- Unique Fixed Point
for all and for a fixed number . If the Lipschitz constant , then is called a multivalued nonexpansive mapping . Nadler , Markin , Lami-Dozo , and others proved fixed point theorems for these maps under certain conditions in the setting of metric and Banach spaces. Note that an element is called a fixed point of a multivalued map if . Among others, without using the concept of the Hausdorff metric, Husain and Tarafdar  introduced the notion of a nonexpansive-type multivalued map and proved a fixed point theorem on compact intervals of the real line. Using such type of notions Husain and Latif  extended their result to general Banach space setting.
The fixed point results in modular function spaces were given by Khamsi et al. . Even though a metric is not defined, many problems in metric fixed point theory can be reformulated in modular spaces. For instance, fixed point theorems are proved in [15, 16] for nonexpansive maps.
In this paper, we define nonexpansive-type and contractive-type multivalued maps in modular function spaces, investigate the existence of fixed points of such mappings, and prove similar results found in .
Let us assume that there exists an increasing sequence of sets such that . By we denote the linear space of all simple functions with supports from . By we will denote the space of all measurable functions, that is, all functions such that there exists a sequence , and for all . By we denote the characteristic function of the set .
In addition, if the following property is satisfied,
We know from  that when satisfies the -condition.
We recall two basic results (see ) in the theory of modular spaces.
We know, by [15, 16] that under -condition the norm convergence and modular convergence are equivalent, which implies that the norm and modular convergence are also the same when we deal with the -type condition. In the sequel we will assume that the modular function is convex and satisfies the -type condition.
We have the following:
Lemma 1.8 (see ).
The following lemma shows that the growth function can be used to give an upper bound for the norm of a function.
Lemma 1.9 (see ).
The next lemma will be of major interest throughout this work.
Lemma 1.10 (see ).
In the sequel we assume that is a convex, -finite modular function satisfying the -type condition, and is a nonempty -bounded subset of the modular function space . We denote that is a collection of all nonempty -closed subsets of , and is a collection of all nonempty -compact subsets of .
We have the following fixed point theorem (for which a similar result may be found in ).
Consider the multivalued map , where is a nonempty -closed subset of . Then it is easy to show that is a -contractive-type map. The set of all fixed point of is exactly the set . In particular, -contractive-type maps may not have a unique fixed point.
As an application of the above theorem, we have the following result.
In  the authors introduced the concept of -distance in metric spaces which they connected to the existence of fixed point of single and multivalued maps (see also ). Similarly we extend their definition and results to modular spaces. Indeed let be a convex, -finite modular function. A function is called -modular on the modular function space if the following are satisfied:
As it was done in , we need the following technical lemma.
The proof is easy and similar to the one given in . Now we are ready to give the first fixed point result in this setting. Let be a nonempty -closed subset of the modular function space . We say that a multivalued map is weakly -contractive-type map if there exists -modular on and such that for any and any , there exists such that .
Note that in the proof above we did not use the -condition. The reason behind is that satisfies the triangle inequality. If is single valued, then we have little more information about the fixed point. Indeed, let be a nonempty -closed subset of the modular function space . The map is called a weakly -contractive type map if there exists -modular on and such that for any .
Theorem 3.2 ensures the existence of a fixed point , that is, and . Let us show that is the only fixed point of . Assume that is another fixed point of . Then we must have . Combining this with , Lemma 3.1 implies .
The authors thank the referees for their valuable comments and suggestions. The authors would also like to thank Professor M.A. Khamsi for productive discussion and cooperation regarding this work.
- Edelstein M: An extension of Banach's contraction principle. Proceedings of the American Mathematical Society 1961,12(1):7–10.MathSciNetMATHGoogle Scholar
- Edelstein M: On fixed and periodic points under contractive mappings. Journal of the London Mathematical Society 1962, 37: 74–79. 10.1112/jlms/s1-37.1.74MathSciNetView ArticleMATHGoogle Scholar
- Kasahara S: On some generalizations of the Banach contraction theorem. Publications of the Research Institute for Mathematical Sciences 1976,12(2):427–437. 10.2977/prims/1195190723MathSciNetView ArticleMATHGoogle Scholar
- Rhoades BE: A comparison of various definitions of contractive mappings. Transactions of the American Mathematical Society 1977, 226: 257–290.MathSciNetView ArticleMATHGoogle Scholar
- Siddiqi AH, Ansari QH: An iterative method for generalized variational inequalities. Mathematica Japonica 1989,34(3):475–481.MathSciNetMATHGoogle Scholar
- Browder FE: On a theorem of Beurling and Livingston. Canadian Journal of Mathematics 1965, 17: 367–372. 10.4153/CJM-1965-037-2MathSciNetView ArticleMATHGoogle Scholar
- Browder FE: Fixed-point theorems for noncompact mappings in Hilbert space. Proceedings of the National Academy of Sciences of the United States of America 1965,53(6):1272–1276. 10.1073/pnas.53.6.1272MathSciNetView ArticleMATHGoogle Scholar
- Browder FE: Nonexpansive nonlinear operators in a Banach space. Proceedings of the National Academy of Sciences of the United States of America 1965,54(4):1041–1044. 10.1073/pnas.54.4.1041MathSciNetView ArticleMATHGoogle Scholar
- Kirk WA: A fixed point theorem for mappings which do not increase distances. The American Mathematical Monthly 1965,72(9):1004–1006. 10.2307/2313345MathSciNetView ArticleMATHGoogle Scholar
- Nadler SB Jr.: Multi-valued contraction mappings. Pacific Journal of Mathematics 1969,30(2):475–488.MathSciNetView ArticleMATHGoogle Scholar
- Markin JT: A fixed point theorem for set valued mappings. Bulletin of the American Mathematical Society 1968, 74: 639–640. 10.1090/S0002-9904-1968-11971-8MathSciNetView ArticleMATHGoogle Scholar
- Lami Dozo E: Multivalued nonexpansive mappings and Opial's condition. Proceedings of the American Mathematical Society 1973,38(2):286–292.MathSciNetView ArticleMATHGoogle Scholar
- Husain T, Tarafdar E: Fixed point theorems for multivalued mappings of nonexpansive type. Yokohama Mathematical Journal 1980,28(1–2):1–6.MathSciNetMATHGoogle Scholar
- Husain T, Latif A: Fixed points of multivalued nonexpansive maps. International Journal of Mathematics and Mathematical Sciences 1991,14(3):421–430. 10.1155/S0161171291000558MathSciNetView ArticleMATHGoogle Scholar
- Khamsi MA, Kozlowski WM, Reich S: Fixed point theory in modular function spaces. Nonlinear Analysis: Theory, Methods & Applications 1990,14(11):935–953. 10.1016/0362-546X(90)90111-SMathSciNetView ArticleMATHGoogle Scholar
- Khamsi MA: Fixed point theory in modular function spaces. In Recent Advances on Metric Fixed Point Theory (Seville, 1995), Ciencias. Volume 48. Universidad de Sevilla, Seville, Spain; 1996:31–57.Google Scholar
- Dhompongsa S, Domínguez Benavides T, Kaewcharoen A, Panyanak B: Fixed point theorems for multivalued mappings in modular function spaces. Scientiae Mathematicae Japonicae 2006,63(2):161–169.MathSciNetMATHGoogle Scholar
- Kozlowski WM: Modular Function Spaces, Monographs and Textbooks in Pure and Applied Mathematics. Volume 122. Marcel Dekker, New York, NY, USA; 1988:x+252.Google Scholar
- Dominguez Benavides T, Khamsi MA, Samadi S: Uniformly Lipschitzian mappings in modular function spaces. Nonlinear Analysis: Theory, Methods & Applications 2001,46(2):267–278. 10.1016/S0362-546X(00)00117-6MathSciNetView ArticleMATHGoogle Scholar
- Dominguez-Benavides T, Khamsi MA, Samadi S: Asymptotically regular mappings in modular function spaces. Scientiae Mathematicae Japonicae 2001,53(2):295–304.MathSciNetMATHGoogle Scholar
- Kada O, Suzuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Mathematica Japonica 1996,44(2):381–391.MathSciNetMATHGoogle Scholar
- Suzuki T, Takahashi W: Fixed point theorems and characterizations of metric completeness. Topological Methods in Nonlinear Analysis 1996,8(2):371–382.MathSciNetMATHGoogle Scholar
- Suzuki T: Generalized distance and existence theorems in complete metric spaces. Journal of Mathematical Analysis and Applications 2001,253(2):440–458. 10.1006/jmaa.2000.7151MathSciNetView ArticleMATHGoogle 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.