- Open Access
Random fixed point theorem on a Ćirić-type contractive mapping and its consequence
© Saha and Ganguly; licensee Springer 2012
Received: 25 June 2012
Accepted: 6 November 2012
Published: 22 November 2012
The main purpose of this paper is to prove a random fixed point theorem in a separable Banach space equipped with a complete probability measure for a certain class of contractive mappings.
The main finding of this paper is the identification of some random fixed point theorems and the relevant application with appropriate supporting examples.
A random fixed point theorem is useful to determine the existence of a solution in a Banach space of a random nonlinear integral equation.
The application of fixed point theory in different branches of mathematics, statistics, engineering and economics relating to problems associated with approximation theory, theory of differential equations, theory of integral equations, etc. has been recognized in the existing literature [1, 2] and . Progress in the study on fixed points of non-expansive mappings, contractive mappings in various spaces like a metric space, a Banach space, a fuzzy metric space, a cone metric space etc. has been saturated at large. After the initial impetus given by the Prague school of Probability in 1950s, considerable attention has been given to the study of random fixed point theorems. This arises because of the significance of fixed point theorems in probabilistic functional analysis and probabilistic models along with several applications. Issues relating to measurability of solutions, probabilistic and statistical aspects of random solutions have arisen due to the introduction of randomness. It is no denying the fact that random fixed point theorems are stochastic generalizations of classical fixed point theorems that have been described as deterministic results.
Špaček  and Hanš [5, 6] first proved random fixed point theorems for random contraction mappings on separable complete metric spaces. The article by Bharucha-Reid  in 1976 attracted the attention of several mathematicians and led to the development of this theory. Špaček’s and Hanš’s theorems have been extended to multivalued contraction mappings by Itoh . A random version of Schaduer’s fixed point theorem on an atomic probability measure space has been provided by Mukherjee . The results of this work have been generalized by Bharucha-Reid [1, 7] on a general probability measure space. Itoh  obtained random fixed point theorems with an application to random differential equations in Banach spaces. Several random fixed point theorems including random analogue of the classical results based on Rothe  have been obtained by Sehgal and Waters . Kumam in a series of papers (see [12–25]) proved some remarkable results on random fixed point theorems. In a couple of papers  and , he along with his coauthor proved some random fixed point theorems for multivalued non-expansive non-self operators in the framework of Banach spaces satisfying inwardness conditions. In another paper, Kumam and Plubtieng  proved some random coincidence points and random common fixed point theorems for nonlinear multivalued random operators. They also proved the existence of a random coincidence point for a pair of reciprocally continuous and compatible single-valued and multivalued operators. Saha , Saha and Debnath  in their works established some random fixed point theorems over a separable Banach space and a separable Hilbert space. On the other hand, Padgett  applied a random fixed point theorem to prove the existence of a solution in a Banach space of a random nonlinear integral equation. Achari , Saha and Dey  developed this new area of application.
Banach’s contraction principle  is one of the pivotal results of nonlinear analysis. It has been the source of metric fixed point theory and its significance rests in its vast applicability in different branches of mathematics. In the general setting of a complete metric space, this theorem runs as follows (see Theorem 2.1  or Theorem 1.2.2 ).
Theorem 1.1 (Banach’s contraction principle)
Let be a complete metric space, and be a mapping such that for each , .
Then f has a unique fixed point , and for each , .
On the other hand, Greguš  proved the following fixed point theorem.
for all , where , and . Then T has a unique fixed point.
During the eighties, many theorems which are closely related to the Greguš theorem have appeared in several literatures (see [35–38] and ). Also, Ćirić  dealt with a class of mappings (not necessarily continuous) which are defined on a metric space and proved the following fixed point theorem which is a double generalization of Greguš .
where , , for all . Then T has a unique fixed point.
In light of Theorem 1.3, the following theorem has been proved by Ćirić .
for all , where , , , and . Then T has a unique fixed point.
Ćirić also introduced several contractive operators on metric spaces and proved many fixed point theorems on such operators. Inspired by Ćirić’s contractive operators, many researchers have obtained fixed point theorems on Ćirić’s operators in different settings. In this context, Karapinar  proved some non-unique fixed point theorems on Ćirić-type contractive operators in cone metric spaces. Also Karapinar et al.  proved a fixed point theorem on a metric space for a class of maps that satisfy the Ćirić-type contractive condition.
In this paper, our main objective is to prove some random fixed point theorems in a separable Banach space equipped with a complete probability measure for a certain class of contractive mappings. The results are stochastic generalizations of deterministic fixed point theorems of Ćirić . The result obtained in this paper will also be useful in application to a random nonlinear integral equation. Also, we have introduced some appropriate supporting examples.
Let be a separable Banach space, where is a σ-algebra of Borel subsets of X, and let denote a complete probability measure space with measure μ and β be a σ-algebra of subsets of Ω. For more details, one can see Joshi and Bose .
Definition 2.1 A mapping is said to be an X-valued random variable if the inverse image under the mapping x of every Borel set B of X belongs to β, that is, for all .
Definition 2.2 A mapping is said to be a finitely-valued random variable if it is constant on each finite number of disjoint sets and is equal to 0 on . x is called a simple random variable if it is finitely valued and .
Definition 2.3 A mapping is said to be a strong random variable if there exists a sequence of simple random variables which converges to almost surely, that is, there exists a set with such that , .
Definition 2.4 A mapping is said to be a weak random variable if the function is a real-valued random variable for each , the space denoting the first normed dual space of X.
In a separable Banach space X, the notions of strong and weak random variables (see Corollary 1 of Joshi and Bose ) coincide, and in respect of such a space X, x is termed as a random variable.
We recall the following results.
Theorem 2.5 (see Theorem 6.1.2(a) of Joshi and Bose )
is a strong random variable.
If is a real-valued random variable and is a strong random variable, then is a strong random variable.
If is a sequence of strong random variables converging strongly to almost surely, i.e., if there exists a set with such that for every , then is a strong random variable.
Remark 2.6 If X is a separable Banach space, then every strong and also weak random variable is measurable in the sense of Definition 2.1.
Let Y be another Banach space. We also need the following definitions as cited in Joshi and Bose .
Definition 2.7 A mapping is said to be a random mapping if is a Y-valued random variable for every .
Definition 2.8 A mapping is said to be a continuous random mapping if the set of all for which is a continuous function of x has measure one.
Definition 2.9 A mapping is said to be demi-continuous at the if implies almost surely.
Theorem 2.10 (see Theorem 6.2.2 of Joshi and Bose )
Let be a demi-continuous random mapping where a Banach space Y is separable. Then, for any X-valued random variable x, the function is a Y-valued random variable.
Remark 2.11 (see )
Since a continuous random mapping is a demi-continuous random mapping, Theorem 2.5 is also true for a continuous random mapping.
We shall also recall the following definitions as seen in Joshi and Bose .
Definition 2.12 An equation of the type , where is a random mapping, is called a random fixed point equation.
Definition 2.13 Any mapping which satisfies the random fixed point equation almost surely is said to be a wide sense solution of the fixed point equation.
Definition 2.14 Any X-valued random variable which satisfies is said to be a random solution of the fixed point equation or a random fixed point of F.
Remark 2.15 A random solution is a wide sense solution of the fixed point equation. But the converse is not necessarily true. This is evident from the following example as found under Remark 1 in the work of Joshi and Bose .
Example 2.16 Let X be the set of all real numbers and let E be a non-measurable subset of X. Let be a random mapping defined as for all .
is a wide sense solution of the fixed point equation without being a random fixed point of F.
3 Main results
for all , where , , are real-valued random variables such that , , almost surely.
Then there exists a unique random fixed point of T in X.
Since S is dense in X, given (), there exist such that ; .
We now examine the following cases.
Let , then .
So, for each , is a deterministic operator due to Ćirić . Hence, T has a unique fixed point in X. □
then T has a unique random fixed point in X.
Proof Set .
Since , the relation (3.23), (3.24) and (3.25) would imply Theorem 3.1 with . Therefore, we can apply Theorem 3.1 and consequently T has a unique random fixed point in X. □
We now give a couple of examples in support of Theorem 3.1 and Theorem 3.2.
Example 3.3 Let with the usual norm of reals.
Consider and let β be a σ-algebra of Lebesgue measurable sets of .
Define by , where and .
By a routine check-up, we see that the condition of Theorem 3.1 is satisfied whenever , and . The function with is a unique random fixed point of T.
By considering E and Ω as above, we take , and . We see that condition (3.23) of Theorem 3.2 is satisfied and the function with is the unique random fixed point of T.
Example 3.4 Let with the usual norm of reals. Let . β be a σ-algebra of Lebesgue measurable sets of ℝ.
Define by .
All the conditions of Theorem 3.1 and Theorem 3.2 are satisfied. In both of the cases, we see that the function with is the unique random fixed point of T.
4 Application to a random nonlinear integral equation
S is a locally compact metric space with a metric d on equipped with a complete σ-finite measure defined on the collection of Borel subsets of S;
, where ω is the supporting element of a set of probability measure space ;
is the unknown vector-valued random variable for each ;
is the stochastic free term defined for ;
is the stochastic kernel defined for t and s in S and
is a vector-valued function of and x.
We shall further assume that S is the union of a decreasing sequence of countable family of compact sets such that for any other compact set in S there is a which contains it (see ).
Moreover, is complete relative to this topology since is complete.
-a.e. Further, for almost all , will be continuous in t from S into .
where the integral is a Bochner integral. Moreover, we have that for each , and that is continuous in mean square by the Lebesgue dominated convergence theorem. So, .
Let B and D be two Banach spaces. The pair is said to be admissible with respect to a random operator if .
Lemma 4.3 (see )
The linear operator T defined by (4.2) is continuous from into itself.
If T is a continuous linear operator from into itself and are Banach spaces stronger than such that is admissible with respect to T, then T is continuous from B into D.
Remark 4.5 (see )
The operator T defined by (4.2) is a bounded linear operator from B into D.
We are now in a position to prove the following theorem.
B and D are Banach spaces stronger than such that is admissible with respect to the integral operator defined by (4.2);
Then by (4.5), (4.7), (4.9) and (4.11), we get .
Therefore, is a random contractive nonlinear operator on . Hence, by Theorem 3.1, there exists a random fixed point of , which is the random solution of equation (4.1). □
By routine calculation, it is easy to show that (4.3) is satisfied with , and .
Comparing with integral operator equation (4.2), we see that the norm of is .
Also, we see that . So, all the conditions of Theorem 4.6 are satisfied and hence there exists a random fixed point of the integral operator T satisfying (4.2).
Authors remain grateful to the honorable reviewers for their kind suggestions for improvement of our paper.
- Bharucha-Reid AT: Random Integral Equations. Academic Press, New York; 1972.Google Scholar
- Debnath L, Mikusinski P: Introduction to Hilbert Spaces with Application. Academic Press, Boston; 2005.Google Scholar
- Joshi MC, Bose RK: Some Topics in Nonlinear Functional Analysis. Wiley, New York; 1984.Google Scholar
- Špaček A: Zufällige Gleichungen. Czechoslov. Math. J. 1955, 5(80):462–466.Google Scholar
- Hanš O: Random operator equations. II. In Proceedings of 4th Berkeley Sympos. Math. Statist. Prob.. University of California Press, Berkeley; 1961:185–202. part IGoogle Scholar
- Hanš O: Reduzierende zufällige transformationen. Czechoslov. Math. J. 1957, 7(82):154–158.Google Scholar
- Bharucha-Reid AT: Fixed point theorems in probabilistic analysis. Bull. Am. Math. Soc. 1976, 82(5):641–657. 10.1090/S0002-9904-1976-14091-8MathSciNetView ArticleGoogle Scholar
- Itoh S: Random fixed-point theorems with an application to random differential equations in Banach spaces. J. Math. Anal. Appl. 1979, 67(2):261–273. 10.1016/0022-247X(79)90023-4MathSciNetView ArticleGoogle Scholar
- Mukherjee A: Transformation aleatoires separable theorem all point fixed aleatoire. C. R. Acad. Sci. Paris, Ser. A-B 1966, 263: 393–395.MathSciNetGoogle Scholar
- Rothe E: Zur theorie der topologischen ordnung und der Vektorfelder in Banachschen Räumen. Compos. Math. 1938, 5: 177–197.MathSciNetGoogle Scholar
- Sehgal VM, Waters C: Some random fixed point theorems for condensing operators. Proc. Am. Math. Soc. 1984, 90(1):425–429.MathSciNetView ArticleGoogle Scholar
- Kumam P, Kumam W: Random fixed points of multivalued random operators with property (D). Random Oper. Stoch. Equ. 2007, 15(2):127–136.MathSciNetView ArticleGoogle Scholar
- Kumam P, Plubtieng S: Random coincidence and random common fixed points of nonlinear multivalued random operators. Thai J. Math. 2007, 5(3):155–163. Special issueMathSciNetGoogle Scholar
- Kumam P, Plubtieng S: Random common fixed point theorems for a pair of multi-valued and single-valued nonexpansive random operators in a separable Banach space. Indian J. Math. 2009, 51(1):101–115.MathSciNetGoogle Scholar
- Kumam P, Plubtieng S: Random fixed point theorem for multivalued nonexpansive operators in uniformly nonsquare Banach spaces. Random Oper. Stoch. Equ. 2006, 14(1):35–44.MathSciNetView ArticleGoogle Scholar
- Kumam P, Plubtieng S: Random fixed point theorems for asymptotically regular random operators. Demonstr. Math. 2009, XLII(1):131–141.MathSciNetGoogle Scholar
- Kumam P, Plubtieng S: Random fixed point theorems for multivalued nonexpansive non-self random operators. J. Appl. Math. Stoch. Anal. 2006., 2006: Article ID 43796Google Scholar
- Kumam P, Plubtieng S: Some random fixed point theorem for set-valued nonexpansive non-self operator. In Nonlinear Analysis and Convex Analysis. Proceedings of the 4th International Conference (NACA 2005). Edited by: Takahashi W, Tanaka T. Yokohama Publishers, Yokohama; 2005:287–295. Okinawa, Japan, June 30-July 4, 2005Google Scholar
- Kumam P, Plubtieng S: Some random fixed point theorems for non-self nonexpansive random operators. Turk. J. Math. 2006, 30: 359–372.MathSciNetGoogle Scholar
- Kumam P, Plubtieng S: The characteristic of noncompact convexity and random fixed point theorem for set-valued operators. Czechoslov. Math. J. 2007, 57(132):269–279.MathSciNetView ArticleGoogle Scholar
- Kumam P, Plubtieng S: Viscosity approximation methods of random fixed point solutions and random variational inequalities in Hilbert spaces. Asian-Eur. J. Math. 2011, 70(1):81–107.MathSciNetGoogle Scholar
- Kumam P: Fixed point theorem and random fixed point theorems for set-valued non-self-mappings. Thai J. Math. 2004, 2(2):295–307.MathSciNetGoogle Scholar
- Kumam P: Random common fixed points of single-valued and multivalued random operators in a uniformly convex Banach space. J. Comput. Anal. Appl. 2011, 13(2):368–375.MathSciNetGoogle Scholar
- Kumam W, Kumam P: Random fixed point theorems for multivalued subsequentially limit-contractive maps satisfying inwardness conditions. J. Comput. Anal. Appl. 2012, 14(2):239–251.MathSciNetGoogle Scholar
- Sintunavarat W, Kumam P, Patthanangkoor P: Common random fixed points for multivalued random operators without S and T -weakly commuting random operators. Random Oper. Stoch. Equ. 2009, 17(4):381–388.MathSciNetView ArticleGoogle Scholar
- Saha M: On some random fixed point of mappings over a Banach space with a probability measure. Proc. Natl. Acad. Sci. India, Sect. A 2006, 76: 219–224.Google Scholar
- Saha M, Debnath L: Random fixed point of mappings over a Hilbert space with a probability measure. Adv. Stud. Contemp. Math. 2007, 1: 79–84.Google Scholar
- Padgett WJ: On a nonlinear stochastic integral equation of the Hammerstein type. Proc. Am. Math. Soc. 1973, 38: 625–631. 10.1090/S0002-9939-1973-0320663-2MathSciNetView ArticleGoogle Scholar
- Achari J: On a pair of random generalized nonlinear contractions. Int. J. Math. Math. Sci. 1983, 6(3):467–475. 10.1155/S0161171283000411MathSciNetView ArticleGoogle Scholar
- Saha, M, Dey, D: Some random fixed point theorems for ( θ , L ) -weak contractions. Hacet. J. Math. Stat. (accepted and to appear)Google Scholar
- Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrals. Fundam. Math. 1922, 3: 133–181.Google Scholar
- Goebel K, Kirk WA: Topics in Metric Fixed Point Theory. Cambridge University Press, New York; 1990.View ArticleGoogle Scholar
- Smart OR: Fixed Point Theorems. Cambridge University Press, London; 1974.Google Scholar
- Greguš M: A fixed point theorem in Banach space. Boll. Unione Mat. Ital., A 1980, 5(7):193–198.Google Scholar
- Ćirić L: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.Google Scholar
- Ćirić L: On a common fixed point theorem of a Greguš type. Publ. Inst. Math. (Belgr.) 1991, 49(63):174–178.Google Scholar
- Diviccaro ML, Fisher B, Sessa S: A common fixed point theorem of Greguš type. Publ. Math. (Debr.) 1987, 34: 83–89.MathSciNetGoogle Scholar
- Fisher B, Sessa S: On a fixed point theorem of Greguš. Int. J. Math. Math. Sci. 1986, 9(1):23–28. 10.1155/S0161171286000030MathSciNetView ArticleGoogle Scholar
- Mukherjea RN, Verma V: A note on a fixed point theorem of Greguš. Math. Jpn. 1988, 33: 745–749.Google Scholar
- Ćirić L: On a generalization of a Greguš fixed point theorem. Czechoslov. Math. J. 2000, 50(3):449–458. 10.1023/A:1022870007274View ArticleGoogle Scholar
- Karapinar E: Some nonunique fixed point theorems of Ćirić type on cone metric spaces. Abstr. Appl. Anal. 2010., 2010: Article ID 123094. doi:10.1155/2010/123094Google Scholar
- Karapinar E, Chi KP, Thanh TD: A generalization of Ćirić quasicontractions. Abstr. Appl. Anal. 2012., 2012: Article ID 518734. doi:10.1155/2012/518734Google Scholar
- Yosida K: Functional Analysis. Springer, Berlin; 1965.View ArticleGoogle Scholar
- Arens RF: A topology for spaces of transformations. Ann. Math. 1946, 47(2):480–495.MathSciNetView ArticleGoogle Scholar
- Lee ACH, Padgett WJ: On random nonlinear contraction. Math. Syst. Theory 1977, 11: 77–84. 10.1007/BF01768469MathSciNetView ArticleGoogle Scholar
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 cited.