- Research
- Open access
- Published:
Random fixed point theorem on a Ćirić-type contractive mapping and its consequence
Fixed Point Theory and Applications volume 2012, Article number: 209 (2012)
Abstract
Purpose
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.
Results
The main finding of this paper is the identification of some random fixed point theorems and the relevant application with appropriate supporting examples.
Conclusion
A random fixed point theorem is useful to determine the existence of a solution in a Banach space of a random nonlinear integral equation.
MSC:47H10, 60H25.
1 Introduction
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 [3]. 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 [4] and Hanš [5, 6] first proved random fixed point theorems for random contraction mappings on separable complete metric spaces. The article by Bharucha-Reid [7] 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 [8]. A random version of Schaduer’s fixed point theorem on an atomic probability measure space has been provided by Mukherjee [9]. The results of this work have been generalized by Bharucha-Reid [1, 7] on a general probability measure space. Itoh [8] 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 [10] have been obtained by Sehgal and Waters [11]. Kumam in a series of papers (see [12–25]) proved some remarkable results on random fixed point theorems. In a couple of papers [17] and [19], 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 [13] 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 [26], Saha and Debnath [27] in their works established some random fixed point theorems over a separable Banach space and a separable Hilbert space. On the other hand, Padgett [28] applied a random fixed point theorem to prove the existence of a solution in a Banach space of a random nonlinear integral equation. Achari [29], Saha and Dey [30] developed this new area of application.
Banach’s contraction principle [31] 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 [32] or Theorem 1.2.2 [33]).
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š [34] proved the following fixed point theorem.
Theorem 1.2 Let X be a Banach space, C be a closed convex subset of X and be a mapping satisfying
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 [39]). Also, Ćirić [40] 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š [34].
Theorem 1.3 Let C be a closed convex subset of a complete convex metric space X and be a mapping satisfying
where , , for all . Then T has a unique fixed point.
In light of Theorem 1.3, the following theorem has been proved by Ćirić [40].
Theorem 1.4 Let C be a closed convex metric space X and be a mapping satisfying
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 [41] proved some non-unique fixed point theorems on Ćirić-type contractive operators in cone metric spaces. Also Karapinar et al. [42] 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ć [40]. 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.
In order to make the paper self-contained, we state some important definitions and an example that are available in Joshi and Bose [3] and Debnath and Mikusinski [2].
2 Preliminaries
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 [3].
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 [3]) 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 [3])
Let be strong random variables and α, β be constants. Then the following statements hold:
-
(a)
is a strong random variable.
-
(b)
If is a real-valued random variable and is a strong random variable, then is a strong random variable.
-
(c)
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 [3].
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 [3])
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 [3])
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 [3].
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 [3].
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 .
In this case, the real-valued function , defined as for all , is a random fixed point of F. However, the real-valued function defined as
is a wide sense solution of the fixed point equation without being a random fixed point of F.
3 Main results
Theorem 3.1 Let X be a separable Banach space and be a complete probability measure space. Let be a continuous random operator such that for , T satisfies
for all , where , , are real-valued random variables such that , , almost surely.
Then there exists a unique random fixed point of T in X.
Proof Let
Let S be a countable dense subset of X. We now prove that
Then for all ,
Since S is dense in X, given (), there exist such that ; .
Let .
Note that
We now examine the following cases.
Case I:
Suppose
Now
Using (3.2), (3.3), (3.7), we get by routine calculation
Since for a particular , is a continuous function of x, so for any , there exists () such that
and
Now choose
and
For such a choice of , by (3.8), we get
As is arbitrary, it follows that
Case II:
Suppose
Now
Using (3.2), (3.4), (3.5), (3.14), by routine calculation, we get
Since for a particular , is a continuous function of x, by using (3.9), (3.10), (3.11), (3.12) and for such a choice of , , we get by (3.15)
As is arbitrary, it follows that
Case III:
Suppose
Now
Using (3.3), (3.6), (3.17), by a routine check-up, we get
Since for a particular , is a continuous function of x, by using (3.9), (3.10), (3.11), (3.12) and for such a choice of , , we get from relation (3.18)
As is arbitrary, it follows that
Case IV:
Suppose
Now
Using (3.4), (3.5), (3.6) and (3.20), we get by a routine check-up
Since for a particular , is a continuous function of x, by using (3.9), (3.10), (3.11), (3.12) and for such a choice of , , we get by (3.21)
As is arbitrary, it follows that
Combining (3.13), (3.16), (3.19) and (3.22), we get
Thus, , which implies
Also,
Thus,
Let , then .
So, for each , is a deterministic operator due to Ćirić [40]. Hence, T has a unique fixed point in X. □
Theorem 3.2 Let X be a separable Banach space and be a complete probability measure space. Let be a continuous random operator such that for , T satisfies
for all , where , , are real-valued random variables such that
and
then T has a unique random fixed point in X.
Proof Set .
Then and we have
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
Here we apply Theorem 3.1 to prove the existence of a solution in a Banach space of a random nonlinear integral equation of the following form:
where
-
(i)
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;
-
(ii)
, where ω is the supporting element of a set of probability measure space ;
-
(iii)
is the unknown vector-valued random variable for each ;
-
(iv)
is the stochastic free term defined for ;
-
(v)
is the stochastic kernel defined for t and s in S and
-
(vi)
is a vector-valued function of and x.
The integral in equation (4.1) is interpreted as a Bochner integral [43].
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 [44]).
Definition 4.1 We define the space to be the space of all continuous functions from S into with the topology of uniform convergence on compact sets of S, that is, for each fixed , is a vector-valued random variable such that
It may be noted that is a locally convex space (see [43]) whose topology is defined by a countable family of semi-norms given by
Moreover, is complete relative to this topology since is complete.
We further define to be the Banach space of all bounded continuous functions from S into with the norm
Here the space is the space of all second-order vector-valued functions defined on S which are bounded and continuous in mean square. We will consider the function and to be in the space with respect to the stochastic kernel. We assume that for each pair and denote the norm by
Let us suppose that is such that is -integrable with respect to s for each and in , and let there exist a real-valued function G defined -a.e. on S, so that is -integrable so that for each pair ,
-a.e. Further, for almost all , will be continuous in t from S into .
We now define the random integral operator T on by
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, .
Definition 4.2 (see [29] and [45])
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 [28])
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 [28])
The operator T defined by (4.2) is a bounded linear operator from B into D.
A random solution of equation (4.1) will mean a function in which satisfies equation (4.1) μ-a.e.
We are now in a position to prove the following theorem.
Theorem 4.6 We consider the stochastic integral equation (4.1) subject to the following conditions:
-
(a)
B and D are Banach spaces stronger than such that is admissible with respect to the integral operator defined by (4.2);
-
(b)
is an operator from the set into the space B satisfying
(4.3)
for , , , are real-valued random variables where and with almost surely, and
-
(c)
.
Then there exists a unique random solution of (4.1) in , provided and
Proof Define the operator from into D by
Now
Then from (4.3) of this theorem,
Suppose
Hence,
So, by (4.4)
Again, suppose
So,
Therefore, by (4.6)
Also, suppose
Then
Therefore, by (4.8)
Suppose
So,
Therefore, by (4.10)
Then by (4.5), (4.7), (4.9) and (4.11), we get .
Then for . We have by condition (b)
Since .
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). □
Example 4.7 Consider the following nonlinear stochastic integral equation:
Comparing with (4.1), we see that
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).
References
Bharucha-Reid AT: Random Integral Equations. Academic Press, New York; 1972.
Debnath L, Mikusinski P: Introduction to Hilbert Spaces with Application. Academic Press, Boston; 2005.
Joshi MC, Bose RK: Some Topics in Nonlinear Functional Analysis. Wiley, New York; 1984.
Špaček A: Zufällige Gleichungen. Czechoslov. Math. J. 1955, 5(80):462–466.
Hanš O: Random operator equations. II. In Proceedings of 4th Berkeley Sympos. Math. Statist. Prob.. University of California Press, Berkeley; 1961:185–202. part I
Hanš O: Reduzierende zufällige transformationen. Czechoslov. Math. J. 1957, 7(82):154–158.
Bharucha-Reid AT: Fixed point theorems in probabilistic analysis. Bull. Am. Math. Soc. 1976, 82(5):641–657. 10.1090/S0002-9904-1976-14091-8
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-4
Mukherjee A: Transformation aleatoires separable theorem all point fixed aleatoire. C. R. Acad. Sci. Paris, Ser. A-B 1966, 263: 393–395.
Rothe E: Zur theorie der topologischen ordnung und der Vektorfelder in Banachschen Räumen. Compos. Math. 1938, 5: 177–197.
Sehgal VM, Waters C: Some random fixed point theorems for condensing operators. Proc. Am. Math. Soc. 1984, 90(1):425–429.
Kumam P, Kumam W: Random fixed points of multivalued random operators with property (D). Random Oper. Stoch. Equ. 2007, 15(2):127–136.
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 issue
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.
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.
Kumam P, Plubtieng S: Random fixed point theorems for asymptotically regular random operators. Demonstr. Math. 2009, XLII(1):131–141.
Kumam P, Plubtieng S: Random fixed point theorems for multivalued nonexpansive non-self random operators. J. Appl. Math. Stoch. Anal. 2006., 2006: Article ID 43796
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, 2005
Kumam P, Plubtieng S: Some random fixed point theorems for non-self nonexpansive random operators. Turk. J. Math. 2006, 30: 359–372.
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.
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.
Kumam P: Fixed point theorem and random fixed point theorems for set-valued non-self-mappings. Thai J. Math. 2004, 2(2):295–307.
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.
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.
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.
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.
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.
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-2
Achari J: On a pair of random generalized nonlinear contractions. Int. J. Math. Math. Sci. 1983, 6(3):467–475. 10.1155/S0161171283000411
Saha, M, Dey, D: Some random fixed point theorems for -weak contractions. Hacet. J. Math. Stat. (accepted and to appear)
Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrals. Fundam. Math. 1922, 3: 133–181.
Goebel K, Kirk WA: Topics in Metric Fixed Point Theory. Cambridge University Press, New York; 1990.
Smart OR: Fixed Point Theorems. Cambridge University Press, London; 1974.
Greguš M: A fixed point theorem in Banach space. Boll. Unione Mat. Ital., A 1980, 5(7):193–198.
Ćirić L: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.
Ćirić L: On a common fixed point theorem of a Greguš type. Publ. Inst. Math. (Belgr.) 1991, 49(63):174–178.
Diviccaro ML, Fisher B, Sessa S: A common fixed point theorem of Greguš type. Publ. Math. (Debr.) 1987, 34: 83–89.
Fisher B, Sessa S: On a fixed point theorem of Greguš. Int. J. Math. Math. Sci. 1986, 9(1):23–28. 10.1155/S0161171286000030
Mukherjea RN, Verma V: A note on a fixed point theorem of Greguš. Math. Jpn. 1988, 33: 745–749.
Ćirić L: On a generalization of a Greguš fixed point theorem. Czechoslov. Math. J. 2000, 50(3):449–458. 10.1023/A:1022870007274
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/123094
Karapinar E, Chi KP, Thanh TD: A generalization of Ćirić quasicontractions. Abstr. Appl. Anal. 2012., 2012: Article ID 518734. doi:10.1155/2012/518734
Yosida K: Functional Analysis. Springer, Berlin; 1965.
Arens RF: A topology for spaces of transformations. Ann. Math. 1946, 47(2):480–495.
Lee ACH, Padgett WJ: On random nonlinear contraction. Math. Syst. Theory 1977, 11: 77–84. 10.1007/BF01768469
Acknowledgements
Authors remain grateful to the honorable reviewers for their kind suggestions for improvement of our paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both the authors are jointly responsible for the present research work and have equally contributed to the research work. Both the authors have read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Saha, M., Ganguly, A. Random fixed point theorem on a Ćirić-type contractive mapping and its consequence. Fixed Point Theory Appl 2012, 209 (2012). https://doi.org/10.1186/1687-1812-2012-209
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2012-209