Abstract
In this article, a new concept of mixed monotone-generalized contraction in partially ordered probabilistic metric spaces is introduced, and some coupled coincidence and coupled fixed point theorems are proved. The theorems Presented are an extension of many existing results in the literature and include several recent developments.
Mathematics Subject Classification: Primary 54H25; Secondary 47H10.
Similar content being viewed by others
1 Introduction
The Banach contraction principle [1] is one of the most celebrated fixed point theorem. Many generalizations of this famous theorem and other important fixed point theorems exist in the literature (cf. [2–37]).
Ran and Reurings [3] proved the Banach contraction principle in partially ordered metric spaces. Recently Agarwal et al. [2] presented some new fixed point results for monotone and generalized contractive type mappings in partially ordered metric spaces. Bhaskar and Lakshmikantham [4] initiated and proved some new coupled fixed point results for mixed monotone and contraction mappings in partially ordered metric spaces. The main idea in [2–11] involve combining the ideas of iterative technique in the contraction mapping principle with those in the monotone technique.
In [3], Ran and Reurings proved the following Banach type principle in partially ordered metric spaces.
Theorem 1 (Ran and Reurings [3]). Let (X, ≤) be a partially ordered set such that every pair x, y ∈ X has a lower and an upper bound. Let d be a metric on X such that the metric space (X, d) is complete. Let f : X → X be a continuous and monotone (that is, either decreasing or increasing) operator. Suppose that the following two assertions hold:
(1) there exists k ∈ (0, 1) such that d(f (x), f (y)) ≤ k d(x, y), for each x, y ∈ X with x ≥ y,
(2) there exists x0 ∈ X such that x0 ≤ f (x0) or x0 ≥ f (x0).
Then f has a unique fixed point x* ∈ X, i.e. f(x*) = x*, and for each x ∈ X, the sequence {fn(x)} of successive approximations of f starting from x converges to x* ∈ X.
The results of Ran and Reurings [3] have motivated many authors to undertake further investigation of fixed points in the field of ordered metric spaces: Agarwal et al. [2], Bhaskar and Lakshmikantham [4], Bhaskar et al. [5], Ćirić and Lakshmikantham [7], Ćirić et al. [8, 9], Lakshmikantham and Ćirić [10], Nieto and López [6, 11], Samet [12–14], and others.
Fixed point theory in probabilistic metric spaces can be considered as a part of probabilistic analysis, which is a very dynamic area of mathematical research. The theory of probabilistic metric spaces was introduced in 1942 by Menger [15]. These are generalizations of metric spaces in which the distances between points are described by probability distributions rather than by numbers. Schweizer and Sklar [16, 17] studied this concept and gave some fundamental results on these spaces. In 1972, Sehgal and Bharucha-Reid [18] initiated the study of contraction mappings on probabilistic metric spaces. Since then, several results have been obtained by various authors in this direction. For more details, we refer the reader to [19–27].
In [8], Ćirić et al. introduced the concept of monotone generalized contraction in partially ordered probabilistic metric spaces and proved some fixed and common fixed point theorems on such spaces.
In this article, we introduce a new concept of mixed monotone generalized contraction in partially ordered probabilistic metric spaces and we prove some coupled coincidence and coupled fixed point theorems on such spaces. Presented theorems extend many existing results in the literature, in particular, the results obtained by Bhaskar and Lakshmikantham [4], Lakshmikantham and Ćirić [10], and include several recent developments.
Throughout this article, the space of all probability distribution functions is denoted by Δ+ = {F : ℝ ∪ {-∞, +∞} → [0,1]: F is left-continuous and non-decreasing on ℝ, F(0) = 0 and F(+∞) = 1} and the subset D+ ⊆ Δ+ is the set D+ = {F ∈ Δ+ : limt→+∞F(t) = 1}. The space Δ+ is partially ordered by the usual point-wise ordering of functions, i.e., F ≤ G if and only if F(t) ≤ G(t) for all t in ℝ. The maximal element for Δ+ in this order is the distribution function given by
We refer the reader to [22] for the terminology concerning probabilistic metric spaces (also called Menger spaces).
2 Main results
We start by recalling some definitions introduced by Bhaskar and Lakshmikantham [4] and Lakshmikantham and Ćirić [10].
Definition 2 (Bhaskar and Lakshmikantham [4]). Let X be a non-empty set and A : X × X → X be a given mapping. An element (x, y) ∈ X × X is said to be a coupled fixed point of A if
Definition 3 (Lakshmikantham and Ćirić [10]). Let X be a non-empty set, A : X × X → X and h : X → X are given mappings.
(1) An element (x, y) ∈ X × X is said to be a coupled coincidence point of A and h if
(2) An element (x, y) ∈ X × X is said to be a coupled common fixed point of A and h if
(3) We say that A and h commute at (x, y) ∈ X × X if
(4) A and h commute if
Definition 4 (Lakshmikantham and Ćirić [10]). Let (X, ≤) be a partially ordered set, A : X × X → X and h : X → X are given mappings. We say that A has the mixed h-monotone property if for all x, y ∈ X, we have
If h is the identity mapping on X, then A satisfies the mixed monotone property.
We need the following lemmas to prove our main results.
Lemma 5. Let n ≥ 1. If F ∈ D+, G1, G2, ⋯, G n : ℝ → [0,1] are non-decreasing functions and, for some k ∈ (0, 1),
then F(kt) ≥ min{G1(t), G2(t), ⋯, G n (t)} for all t > 0.
Proof. The proof is a simple adaptation of that of Lemma 3.3 in [8]. □
Lemma 6. Let (X, F, Δ) be a Menger PM-space and k ∈ (0, 1). If
then p = q and s = v.
Proof. From (2) it is easy to show by induction that
Now we shall show that min{F pq (t), F s,v (t)} = 1 for all t > 0. Suppose, to the contrary, that there exists some t0 > 0 such that min{F pq (t0), F s,v (t0)} < 1. Since (X, F) is a Menger PM space, then min{F pq (t), F s,v (t)} → 1 as t → ∞. Therefore, there exists t1 > t0 such that
Since t0 > 0 and k ∈ (0, 1), there exists a positive integer n > 1 such that knt1 < t0. Then by the monotony of F pq (·) and Fs,v(·), it follows that min{F pq (knt1), F s,v (knt1)} ≤ min{F pq (t0), F s,v (t0)}. Hence and from (3) with t = t1, we have
a contradiction with (4). Therefore min{F pq (t), F s,v (t)} = 1 for all t > 0, which implies that F pq (t) = 1 and F s,v (t) = 1 for all t > 0. Hence p = q and s = v. □
Now, we state and prove our first result.
Theorem 7. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type (Hadžić-type). Suppose A : X × X → X and h : X → X are two mappings such that A has the h-mixed monotone property on X and, for some k ∈ (0, 1),
for all x, y ∈ X for which h(x) ≤ h(u) and h(y) ≥ h(v) and all t > 0. Suppose also that A(X × X) ⊆ h(X), h(X) is closed and
If there exist x0, y0 ∈ X such that
then A and h have a coupled coincidence point, that is, there exist p, q ∈ X such that A(p, q) = h(p) and A(q, p) = h(q).
Proof. By hypothesis, there exist (x0, y0) ∈ X × X such that h(x0) ≤ A(x0, y0) and h(y0) ≥ A(y0, x0). Since A(X × X) ⊆ h(X), we can choose x1, y1 ∈ X such that h(x1) = A(x0, y0) and h(y1) = A(y0, x0). Now A(x1, y1) and A(y1, x1) are well defined. Again, from A(X × X) ⊆ h(X), we can choose x2, y2 ∈ X such that h(x2) = A(x1, y1) and h(y2) = A(y1, x1). Continuing this process, we can construct sequences {x n } and {y n } in X such that
We shall show that
and
We shall use the mathematical induction. Let n = 0. Since h(x0) ≤ A(x0, y0) and h(y0) ≥ A(y0, x0), and as h(x1) = A(x0, y0) and h(y1) = A(y0, x0), we have h(x0) ≤ h(x1) and h(y0) ≥ h(y1). Thus (9) and (10) hold for n = 0. Suppose now that (9) and (10) hold for some fixed n ∈ ℕ. Then, since h(x n ) ≤ h(xn+1) and h(yn+1) ≤ h(y n ), and as A has the h-mixed monotone property, from (8),
and from (8),
Now from (11) and (12), we get
and
Thus by the mathematical induction we conclude that (9) and (10) hold for all n ∈ ℕ. Therefore,
and
Now, from (13) and (14), we can apply (5) for (x, y) = (x n , y n ) and (u, v) = (xn+1, yn+1). Thus, for all t > 0, we have
Using (8), we obtain
Similarly, from (13) and (14), we can apply (5) for (x, y) = (yn+1, xn+1) and (u, v) = (y n , x n ). Thus, by using (8), for all t > 0 we get
From (15) and (16), we have
Now, from Lemma 5, we have
for all t > 0. From (17) it follows that
for all t > 0. Repeating the inequality (18), for all t > 0 we get
Thus
for all t > 0 and n ∈ ℕ. Letting n → +∞ in (19), we obtain
and
We now prove that {h(x n )} and {h(y n )} are Cauchy sequences in X. We need to show that for each δ > 0 and 0 < ε < 1, there exists a positive integer n0 = n0(δ, ε) such that
and
that is,
Now we shall prove that for each ρ > 0,
for all m ≥ n + 1. We prove (23) by the mathematical induction. Let m = n + 1. Then from monotony of F, for m = n +1 we have
Similarly,
Then
and (23) holds for m = n + 1.
Suppose now that (23) holds for some m ≥ n + 1. Since ρ - kρ > 0, from the probabilistic triangle inequality, we have
Similarly,
From (24) and (25), we get
Now we shall consider . From (5) and the hypothesis (23), we have
Note that from (18), for every positive integer m ≥ n, we have
Therefore, from (27) and (28), we get
Since ρ ≥ ρ - kρ, using the monotony of F, we have
Then, we have
Since {Δi(t)}i≥0is a decreasing sequence for all t > 0, we have
Then, we get
Now, from (26) and (29), we obtain
Hence and by the induction we conclude that (23) holds for all m ≥ n + 1.
Now we show that {h(x n )} and {h(y n )} are Cauchy sequences, that is, for each δ > 0 and 0 < ε < 1, there exists a positive integer n0 = n0(δ, ε) such that (22) holds. Since Δ is of H-type, then {Δn : n ∈ ≁} is equicontinuous at 1, that is,
Since δ - kδ > 0, from (20) and (21) it follows that for any 0 < r < 1 there exists a positive integer n1 = n1((δ - kδ), r) such that
Then by (23), with , we conclude that (22) holds for n0(δ, ε) = n1((δ - kδ), r). Thus we proved that {h(x n )} and {h(y n )} are Cauchy sequences in X.
Since h(X) is complete, there is some p, q ∈ X such that
that is, for all t > 0,
Now we show that (p, q) is a coupled coincidence point of A and h.
Since {h(x n )} is a non-decreasing sequence, from (30) and (6), we have
Since {h(y n )} is a non-increasing sequence, from (30) and (7), we have
For all t > 0 and α ∈ (0, 1), we have
and
Then
where
Now, using (31), (32) and (5), we have
Similarly, we get
Combining (35) and (36), we obtain
Therefore, from (37) and (33), we have
Now, letting n → +∞ in (38), using the continuity of the T-norm Δ, (30), (20), (21) and the property Δ(1, a) = a for all a ∈ [0, 1], we get
Now, letting α → 1- in the above inequality, using the left-continuity of F and the monotony of F, we get
Hence, for all t > 0, we have
Now, applying Lemma 6, we get
that is, (p, q) is a coupled coincidence point of A and h. This makes end to the proof. □
The following result is an immediate consequence of Theorem 7.
Corollary 8. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type. Let A : X × X → X be mapping satisfying the mixed monotone property, for which there exists k ∈ (0, 1) such that
for all x, y ∈ X for which x ≤ u and y ≥ v and all t > 0. Suppose also that
If there exist x0, y0 ∈ X such that
then A has a coupled fixed point, that is, there exist p, q ∈ X such that A(p, q) = p and A(q, p) = q.
Now, we prove the following result.
Theorem 9. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type. Suppose A : X × X → X and h : X → X are two continuous mappings such that A(X × X) ⊆ h(X), A has the h-mixed monotone property on X and h commutes with A. Suppose that for some k ∈ (0, 1),
for all x, y ∈ X for which h(x) ≤ h(u) and h(y) ≥ h(v) and all t > 0. If there exist x0, y0 ∈ X such that
then A and h have a coupled coincidence point.
Proof. Following the proof of Theorem 7, {h(x n )} and {h(y n )} are Cauchy sequences in the complete Menger PM-space (X, F, Δ). Then, there is some p, q ∈ X such that
Since h is continuous, we have
From (8) and the commutativity of A and h, we have
and
We now show that h(p) = A(p, q) and h(q) = A(q, p). Taking the limit as n → +∞ in (41) and (42), by (39), (40) and the continuity of A, we get
and
Thus we proved that h(p) = A(p, q) and h(q) = A(q, p), that is, (p, q) is a coupled coincidence point of A and h. This makes end to the proof. □
The following result is an immediate consequence of Theorem 9.
Corollary 10. Let (X, ≤) be a partially ordered set and (X, F, Δ) be a complete Menger PM-space under a T-norm Δ of H-type. Let A : X × X → X be a continuous mapping having the mixed monontone property, for which there exists k ∈ (0, 1) such that
for all x, y ∈ X for which x ≤ u and y ≥ v and all t > 0. If there exist x0, y0 ∈ X such that
then A has a coupled fixed point.
Now, we end the article with two examples to illustrate our obtained results.
Example 11. Let (X, d) be a metric space defined by d(x, y) = |x - y|, where X = [0, 1] and (X, F, Δ) be the induced Menger space with for all t > 0 and x, y ∈ X. We endow X with the natural ordering of real numbers. Let h : X → X be defined as
Let A : X × X → X be defined as
At first we shall show that the mapping A satisfies the h-mixed monotone property:
Consider x1, x2 ∈ X such that h(x1) ≤ h(x2). Since h is a non-decreasing mapping, this implies that x1 ≤ x2. Now, let y ∈ X be an arbitrary point. If x1 < y, then A(x1, y) = 0 ≤ A(x2, y). If y ≤ x1, then, that is, A(x1, y) ≤ A(x2, y). Similarly, one can show that if y1, y2 ∈ X are such that h(y1) ≥ h(y2), then A(x, y1) ≤ A(x, y2) for all x ∈ X. Then, the mapping A satisfies the h-mixed monotone property.
Now we shall show that the mappings A and h satisfy the inequality (5). Let x, y ∈ X such that h(x) ≤ h(u) and h(y) ≥ h(v) that is, x4 ≤ u4 and y4 ≥ v4.
We have consider the following four cases:
Case-1: x ≥ y.
Since x ≤ u and y ≥ v, then u ≥ v. Moreover, for all t > 0, we have
Case-2: x < y and u ≥ v.
In this case, for all t > 0, we have
Case-3: x < y and u < v.
In this case, for all t > 0, we have
Therefore, the mappings A and h satisfy the inequality (5), as well as all the required hypotheses by Theorem 7, and (0, 0) is the coupled coincidence point of A and h.
Example 12. Consider X = [0, +∞) with
for all t > 0 and p, q ∈ X. Then, (X, F, Δ M ) is a complete Menger PM-space, where Δ M (a, b) = min(a, b) for all a, b ∈ [0, 1]. We endow X with the natural ordering of real numbers. Define the continuous mapping A: X × X → X by
Clearly A satisfies the mixed monotone property.
Now we shall show that the mappings A and h satisfy the inequality (5) with h(x) = x for all x ∈ X. Let (x, y), (u, v) ∈ X × X such that x ≤ u, y ≥ v and A(x, y) ≠ A(u, v). For all t > 0, we have
Therefore, the mappings A and h satisfy the inequality (5), as well as all the required hypotheses by Theorem 9, and (0, 0) is the coupled coincidence point of A and h, that is, 0 = A(0, 0).
Now, we endow X with the standard metric d given by d(x, y) = |x - y| for all x, y ∈ X. We have
Then, we cannot find k ∈ [0, 1) such that
Then, Theorem 2.1 and Theorem 2.2 of Bhaskar and Lakshmikantham [4] are not applicable in this case. Similarly, we cannot find a function φ : [0, +∞) → [0, +∞) with φ(t) < t for all t > 0 such that
Then, Theorem 2.1 of Lakshmikantham and Ćirić [10] is also not applicable in this case.
References
Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund Math 2008, 3: 133–181.
Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Appl Anal 2008, 87: 1–8. 10.1080/00036810701714164
Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc Am Math Soc 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4
Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
Gnana Bhaskar T, Lakshmikantham V, Vasundhara Devi J: Monotone iterative technique for functional differential equations with retardation and anticipation. Nonlinear Anal 2007,66(10):2237–2242. 10.1016/j.na.2006.03.013
Nieto JJ, López RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5
Ćirić LB, Lakshmikantham V: Coupled random fixed point theorems for nonlinear contractions in partially ordered metric spaces. Stoch Anal Appl 2009,27(6):1246–1259. 10.1080/07362990903259967
Ćirić LB, Miheţ D, Saadati R: Monotone generalized contractions in partially ordered probabilistic metric spaces. Topol Appl 2009,156(17):2838–2844. 10.1016/j.topol.2009.08.029
Ćirić LB, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl 2008, Article ID 131294.
Lakshmikantham V, Ćirić LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal 2009,70(12):4341–4349. 10.1016/j.na.2008.09.020
Nieto JJ, López RR: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math Sinica, English Series 2007, 23: 2205–2212. 10.1007/s10114-005-0769-0
Samet B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal 2010,72(12):4508–4517. 10.1016/j.na.2010.02.026
Samet B, Vetro C: Coupled fixed point theorems for multi-valued nonlinear contraction mappings in partially ordered metric spaces. Nonlinear Anal 2011, 74: 4260–4268. 10.1016/j.na.2011.04.007
Samet B, Yazidi H: Coupled Fixed point theorems in partially ordered ε -chainable metric spaces. J Math Comput Sci 2010,1(3):142–151.
Menger K: Statistical metric. Proc Natl Acad USA 1942, 28: 535–537. 10.1073/pnas.28.12.535
Schweizer B, Sklar A: Statistical metric spaces. Pacific J Math 1960, 10: 313–334.
Schweizer B, Sklar A: Probabilistic Metric Spaces. Elsevier North Holand, New York; 1983.
Sehgal VM, Bharucha-Reid AT: Fixed points of contraction mappings on probabilistic metric spaces. Math Syst Theory 1972, 6: 97–102. 10.1007/BF01706080
Ćirić LB: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 2009, 42: 146–154. 10.1016/j.chaos.2008.11.010
Ćirić LB, Ješić SN, Ume JS: The existence theorems for fixed and periodic points of nonexpansive mappings in intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2008,37(3):781–791. 10.1016/j.chaos.2006.09.093
Fang JX, Gao Y: Common fixed point theorems under strict contractive conditions in Menger spaces. Nonlinear Anal 2009, 70: 184–193. 10.1016/j.na.2007.11.045
Hadžić O, Pap E: Fixed Point Theory in PM Spaces. Kluwer, Boston; 2001.
Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces. Math Jap 1996, 44: 513–520.
Miheţ D: A generalization of a contraction principle in probabilistic metric spaces (II). Int J Math Math Sci 2005, 5: 729–736.
Miheţ D: Fixed point theorems in probabilistic metric spaces. Chaos Solitons Fractals 2009,41(2):1014–1019. 10.1016/j.chaos.2008.04.030
Miheţ D: Altering distances in probabilistic Menger spaces. Nonlinear Anal 2009, 71: 2734–2738. 10.1016/j.na.2009.01.107
O'Regan D, Saadati R: Nonlinear contraction theorems in probabilistic spaces. Appl Math Comput 2008, 195: 86–93. 10.1016/j.amc.2007.04.070
Ćirić LB: A generalization of Banach's contraction principle. Proc Am Math Soc 1974, 45: 267–273.
Ćirić LB: Coincidence and fixed points for maps on topological spaces. Topol Appl 2007, 154: 3100–3106. 10.1016/j.topol.2007.08.004
Hussain N: Common fixed points in best approximation for Banach operator pairs with Ćirić Type I -contractions. J Math Anal Appl 2008, 338: 1351–1363. 10.1016/j.jmaa.2007.06.008
Liu Z, Guo Z, Kang SM, Lee SK: On Ćirić type mappings with nonunique fixed and periodic points. Int J Pure Appl Math 2006,26(3):399–408.
Lakshmikantham V, Mohapatra RN: Theory of Fuzzy Differential Equations and Inclusions. Taylor&Francis, London 2003.
Lakshmikantham V, Koksal S: Monotone flows and rapid convergence for nonlinear partial differential equations. Taylor&Francis 2003.
Lakshmikantham V, Vatsala AS: General uniqueness and monotone iterative technique for fractional differential equations. Appl Math Lett 2008,21(8):828–834. 10.1016/j.aml.2007.09.006
Nashine HK, Samet B: Fixed point results for mappings satisfying ( ψ , φ ) weakly contractive condition in partially ordered metric spaces. Nonlinear Anal 2011, 74: 2201–2209. 10.1016/j.na.2010.11.024
Samet B: Ćirić's fixed point theorem in a cone metric space. J Nonlinear Sci Appl 2010,3(4):302–308.
Singh SL, Mishra SN: On a Ljubomir Ćirić's fixed point theorem for nonexpansive type maps with applications. Indian J Pure Appl Math 2002, 33: 531–542.
Acknowledgements
The first author is thankful to the Ministry of Science and Technological Development of Serbia.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors contributed equally and significantly in writing this paper. All authors 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
Ćirić, L., Agarwal, R.P. & Samet, B. Mixed monotone-generalized contractions in partially ordered probabilistic metric spaces. Fixed Point Theory Appl 2011, 56 (2011). https://doi.org/10.1186/1687-1812-2011-56
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2011-56