- Research
- Open access
- Published:
Common fixed point theorems for (ψ, φ)-weak nonlinear contraction in partially ordered sets
Fixed Point Theory and Applications volume 2012, Article number: 62 (2012)
Abstract
The purpose of this article is to present some fixed point theorems for (ψ, φ)-weak contractive mappings in a complete metric space endowed with a partial order. As an application of the main result, we give an existence theorem for the solution of a periodic boundary value problem.
2000 Mathematics Subject Classification: 47H10.
1. Introduction and preliminaries
It is well known that the Banach Contraction Principle has been generalized in various directions. Alber and Guerre-Delabrere [1] introduced the concept of weak contractions in Hilbert spaces and proved the corresponding fixed point result. Rhoades [2] showed that the result of Alber et al. is also valid in complete metric spaces. Weakly contractive mappings have been used in a number of subsequent articles (let us mention articles [3–10]) to establish various fixed point and common fixed point theorems. In particular, recent results of Zhang and Song [9] and Doric [10] are among the most general ones. Also, some applications were obtained, in particular when dealing with differential and matrix equations.
Existence of fixed point in partially ordered sets has been considered recently in [11–25]. Tarski's theorem is used in [26] to show the existence of solutions for fuzzy equations and in [27] to prove existence theorems for fuzzy differential equations. In [24, 25, 27] some applications to matrix equations and to ordinary differential equations are presented. In [28–32], it is proved some fixed point theorems for a mixed monotone mapping in a metric space endowed with partial order and the authors apply their results to problems of existence and uniqueness of solutions for some boundary value problems [26, 32]. We begin by stating the result of Rhoades [2] after the following definition.
A mapping f : X → X, where (X, d) is a metric space, is said to be weakly contractive if
where x, y ∈ X and ϕ : [0, ∞) → [0, ∞) is a continuous and nondecreasing function such that ϕ(t) = 0 if and only if t = 0. If one takes φ(t) = (1 - k)t, where 0 ≤ k < 1, then (1.1) reduces to the contractivity condition
Theorem 1.1. ([2]) Let (X, d) be a complete metric space, and f : X → X be a weakly contractive mapping. Then f has a unique fixed point.
Weak inequalities of the above type have been used to establish fixed point results in a number of subsequent articles. For example, Zhang and Song [9] used generalized φ-weak contraction which is defined for two mappings and gave conditions for existence of a common fixed point.
Theorem 1.2. ([9]) Let (X, d) be a complete metric space, and f, g : X → X be two mappings such that for all x, y ∈ X
where φ : [0, ∞) → [0, ∞) is lower semi-continuous functions with φ(t) > 0 for t ∈ (0, ∞), φ(0) = 0, and
Then there exists a unique fixed point u ∈ X such that u = fu = gu.
Recently, Doric [10] extended the result of Zhang and Song using a pair of functions ψ and φ. He proved the following theorem.
Theorem 1.3. ([10]) Let (X, d) be a complete metric space, and f, g : X → X be two mappings such that
for all x,y ∈ X, where
(i) ψ : [0, ∞) → [0, ∞) is a continuous and nondecreasing function such that ψ(t) = 0 if and only if t = 0.
(ii) φ : [0, ∞) → [0, ∞) is a lower semi-continuous function such that φ(t) = 0 if and only if t = 0.
(iii) M is defined by (1.2).
Then there exists a unique fixed point u ∈ X such that u = fu = gu.
When fixed point problems in partially ordered metric spaces are concerned, first results were obtained by Ran and Reurings [25], and then by Nieto and Lopez [14]. The following two versions of the fixed point theorem were proved in these articles.
Theorem 1.4. ([14, 25]) Let (X, ⊑ be a partially ordered set and let d be a metric on X such that (X, d) is a complete metric space. Let f : X → X be a nondecreasing map w.r.t. ⊑. Suppose that the following conditions hold:
(i) There exists k ∈ (0,1) such that d(fx, fy) ≤ kd (x, y), for all x, y ∈ X with y ⊑ x;
(ii) there exists x0 ∈ X such that x0 ⊑ fx0.
Then in each of the following two cases the mappings f has at least one fixed point.
(τ1) f is continuous, or
(τ2) if a nondecreasing sequence {x n } converges to x, then x n ⊑ x for all n.
Results on weakly contractive mappings in such spaces were obtained by Harjani and Sadarangani in [7]. We state one of their results.
Theorem 1.5. ([7]) Let (X, ⊑) be a partially ordered set and let d be a metric on X such that (X, d) is a complete metric space. Let f : X → X be a nondecreasing map w.r.t. ⊑ such that for every two comparable elements x, y ∈ X,
(i) φ : [0,∞) → [0,∞) is similar to the control function φ of Theorem 1.3.
(ii) there exists x0 ∈ X such that x0 ⊑ fx0.
Then in each of the following two cases the mappings f has at least one fixed point.
(τ1) f is continuous, or
(τ2) if a nondecreasing sequence {x n } converges to x, then x n ⊑ x for all n.
2. Main results
Let (X, ⊑) be a partially ordered set. A pair (f, g) is said to be weakly increasing if fx ⊑ gfx and gx ⊑ fgx for all x ∈ X. There are examples (see [4]) when neither of such mappings f, g is nondecreasing w.r.t. ⊑. In particular, the pair (f, i X )(i x the identy function) is weakly increasing if and only if x ⊑ fx for each x ∈ X.
Theorem 2.1. Let (X, ⊑) be a partially ordered set and let d be a metric on X such that (X, d) is a complete metric space, and let f, g : X → X be two weakly increasing mappings such that for every two comparable elements x, y ∈ X,
where
(i) ψ : [0, ∞) → [0, ∞) is a continuous and nondecreasing function such that ψ(t) = 0 if and only if t = 0 and also .
(ii) φ : [0, ∞) → [0, ∞) is a lower semi-continuous function such that φ(t) = 0 if and only if t = 0 and also for any sequence {t n } with limn→∞t n = 0, there exists k ∈ (0,1) and n0 ∈ ℕ, such that φ(t n ) ≥ kt n for each n ≥ n0.
(iii) θ : [0, ∞) → [0, ∞) is a continuous function such that θ(t) = 0 if and only if t = 0.
(iv) M is defined by (1.2) and N(x, y) = min{d(y, fx), d(x, gy)}.
Then in each of the following two cases the mappings f and g have at least one common fixed point.
(τ1) f or g is continuous, or
(τ2) if a nondecreasing sequence {x n } converges to x, then x n ⊑ x for all n.
Proof. Step 1. Using that the pair of functions (f, g) is weakly increasing, we can construct inductively, starting with arbitrary x0 ∈ X, a sequence {x n } such that x n ⊑ xn+1. Namely, denoted:
and in general, x2n+1= fx2nand x2n+2= gx2n+1for all n ∈ ℕ.
Suppose first that for some n0. Then, the sequence {x n } is constant for n ≥ n0.
Indeed, let n0 = 2k. Then x2k= x2k+1and we obtain from (2.1) that
where
and
Now from (2.2), we get that
and so ψ(d(x2k+1, x2k+2)) ≤ 0 and x2k+1= x2k+2. Similarly, if n0 = 2k + 1 one easily obtains that x2k+2= x2k+3and the sequence {x n } is constant (starting from some n0) and is common fixed point of f and g.
Suppose now that d(x n , xn+1) > 0 for each n. We shall show that for each n = 0, 1,...,
and
It is clear that N(x2n, x2n+1) = 0 and N(x2n+2, x2n+1) = 0, for all n ∈ ℕ. Using condition (2.1), since x2nand x2n+1are comparable, we obtain that
and since the control function ψ is nondecreasing, it follows that
Hence
If d(x2n+1, x2n+2) ≥ d(x2n, x2n+1), then it follows from the last inequality and (2.6) that M(x2n, x2n+1) = d(x2n+1, x2n+2) and condition (2.5) implies that
which is only possible when d(x2n+1, x2n+2) = 0, it is a contradiction. Hence, d(x2n+1, x2n+2) ≤ d(x2n, x2n+1) and M(x2n, x2n+1) ≤ d(x2n, x2n+1). By definition, M(x2n, x2n+1) ≥ d(x2n, x2n+1), (2.3) is proved for d(x2n+1, x2n+2). In a Similar way, one can obtain that
So, (2.3) and (2.4) holds for each n ∈ ℕ.
It follows that the sequence {d(x n , xn+1)} is nondecreasing. Let limn→∞d(x n , xn+1) = d*, for some d* ≥ 0 then
and
Suppose that d* > 0. We have
Passing to the (upper) limit when n → ∞, it follows that
i.e. ψ(d*) ≤ 0. Using the properties of control functions, we get that d* = 0 which is a contradiction. We conclude that limn→∞d(x n , xn+1) = 0.
Step 2. Now we show that {x n } is a Cauchy sequence in X. Since
then by the property of φ there exists k ∈ (0,1) and n0 ∈ ℕ such that
for all n ≥ n0. For any natural number n ≥ n0, if n is even, we have
and similarly
Hence, for all n ≥ n0, we have
Since
then . This shows that {x n } is a Cauchy sequence. Since (X, d) is a complete metric space, then there exists a z ∈ X such that limn→∞x n = z.
Step 3. We have to prove that z is a common fixed point of f and g. We shall distinguish the case (τ1) and (τ2) of the theorem.
(τ1) Suppose that the mapping g is continuous. Since x2n+1→ z, we obtain that x2n+2= gx2n+1→ gz. On the other hand, x2n+2→ z (as a subsequence of {x n }). It follows that gz = z. To prove fz = z, using z ⊑ z, we can put x = y = z in (2.1) and obtain that
and
Hence, ψ(d(fz, z)) ≤ ψ(d(z, fz)) - φ (ψ(d(z, fz))) it follows that z = fz.
The proof is similar if f is continuous.
(τ2) Suppose that the condition (τ2) of the theorem holds. The sequence {x n } is nondecreasing w.r.t. ⊑ and it follows that x n ⊑ z. Take x = x2nand y = z, which are comparable in (2.1) to obtain that
where
Now, passing to the limit when n → ∞ in (2.7), we get
wherefrom it follows that z = gz.
To prove fz = z, using z ⊑ z, we can put x = y = z in (2.1) and obtain that ψ(d(fz, gz)) ≤ ψ(M(z, z)) - φ (ψ(M(z, z))) + θ(N(z, z)), where
and
Hence, ψ(d(fz, z)) ≤ ψ(d(z, fz)) - φ (ψ(d(z, fz))) it follows that z = fz.
Theorem 2.2. Let (X, ⊑) be a partially ordered set and let d be a metric on X such that (X, d) is a complete metric space, and f : X → X be a nondecreasing map such that x0 ⊑ fx0 for some x0 ∈ X, and for every two comparable elements x, y ∈ X,
where
(i) ψ : [0, ∞) → [0, ∞) is a continuous and nondecreasing function such that ψ(t) = 0 if and only if t = 0 and also .
(ii) φ : [0, ∞) → [0, ∞) is a lower semi-continuous function such that φ(t) = 0 if and only if t = 0 and also for any sequence {t n } with limn→∞t n = 0, there exists k ∈ (0,1) and n0 ∈ ℕ, such that φ(t n ) ≥ kt n for each n ≥ n0.
(iii)
Then in each of the following two cases the mappings f has fixed point.
(τ1) f is continuous, or
(τ2) if a nondecreasing sequence {x n } converges to x, then x n ⊑ x for all n.
Theorem 2.3. Let all the conditions of Theorem 2.2 be fulfilled and let the following condition hold:
A : For arbitrary two points x, y ∈ X, there exists z ∈ X, which is comparable with both x and y and z ⊑ fz. Then the fixed point of f is unique.
Proof. Let z and y be two fixed points of f. Consider the following two cases.
Case 1. z and y are comparable. Then we can apply condition (2.8) to obtain that
Where
and hence
which implies that z = y.
Case 2. Suppose that z and y are not comparable. Choose an element x ∈ X comparable with both of them and x ⊑ fx. Then also z = fnz and is comparable with fnx, for each n, since f is nondecreasing. Applying (2.8) one obtains that
where
for n sufficiently large, because d(fn-1x, fnx) → 0 when n → ∞.
Similarly as in the proof of Theorem 2.1, it can be shown that d(z, fnx) ≤ M(z, fn-1x) ≤ d(z, fn-1x). It follows that the sequence {d(z, fnx)} is non decreasing and it has a limit l ≥ 0. Assuming that l > 0 and passing to the limit in the relation
one obtain that l = 0, a contradiction. In the same way it can be deduced that d(y, fnx) → 0 as n → ∞. Now, passing the limit in d(z, y) ≤ d(z, fnx) + d(fnx, y), it follows that z = y and the uniqueness of the fixed point is proved.
3. Application to ordinary differential equations
We prove the existence of solution for the following first-order periodic problem
where T > 0 and f : I × ℝ → ℝ is continuous function. Previously, we consider the space C(I)(I = [0,T]) of continuous functions defined on I. Obviously, this space with metric given by
is a complete metric space. C(I) can also be equipped with partial order given by
Now, we give the following definition.
Definition 3.1. A lower solution for (3.1) is a function α ∈ C1(I) such that
Theorem 3.2. Consider problem (3.1) with f : I × ℝ → ℝ continuous and suppose that there exists λ > 0 such that for x, y ∈ ℝ with y ≥ x
Then the existence of a lower solution for (3.1) provides the existence of a solution of (3.1).
Proof. Problem (3.1) is equivalent to the integral equation
where
Define F : C(I) → C(I) by
Note that if u ∈ C(I) is a fixed point of F then u ∈ C1(I) is a solution of (3.1). Now, we will use Theorem 2.2.
The mapping F is increasing since for u ≥ v
using that G(s, t) > 0 for (s, t) ∈ I × I, we give
for t ∈ I. Besides for u ≥ v
Putting ψ(x) = ln(x + 1) and . Obviously ψ : [0, ∞) → [0, ∞) is continuous, increasing , positive in (0, ∞), ψ(0) = 0 and . Also, φ : [0,∞) → [0,∞) is continuous, positive in (0, ∞) and ψ(0) = 0, now let {t n } n be sequence that t n → 0, since , then for , there exists n0 such that , for all n ≥ n0, hence, for all n ≥ n0.
Therefore the controls function ψ and φ satisfying the conditions of Theorem 2.2. Finally, if α(t) be a lower solution for (3.1) then we will show that α ≤ Fα.
Indeed
Multiplying by eλtwe get
and this gives us
which implies that
and so
From this inequality and (3.2), we obtain that
and consequently,
Hence
for t ∈ I. Finally, it follows from Theorems 2.2 that F has a fixed point.
References
Alber YaI, Guerre-Delabrere S: Principles of weakly contractive maps in Hilbert spaces, new results in operator theory. In Advances and Appl. Volume 98. Edited by: Gohberg, I, Lyubich, Yu. Birkhauser Verlag, Basel; 1997:7–22.
Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal 2001, 47: 2683–2693.
Moradi S, Fathi Z, Analouee E: The common fixed point of single-valued gen- eralized φ f -weakly contractive mappings. Appl Math Lett 2011, 24: 771–776.
Altun I, Turkoglu D, Rhoades BE: Fixed points of weakly compatible maps satisfying a general contractive condition of integral type. Fixed Point Theory and Applications 2007, 2007: 9. Art. ID 17301
Djafari Rouhani B, Moradi S: Common fixed point of generalized φ f -weakly contractive multi-valued and single valued mappings. Fixed point theory and Applications 2010, 2010: 13. Art. ID 708984
Berinde V: Approximating fixed points of weak φ -contractions. Fixed Point Theory 2003, 4: 131–142.
Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal 2009, 71: 3403–3410.
Cho YJ, Shah MH, Hussain N: Coupled fixed points of weakly F-contractive mappings in topological spaces. Appl Math Lett 2011, 24: 1185–1190.
Zhang Q, Song Y: Fixed point theory for generalized φ -weak contractions. Appl Math Lett 2009, 22: 75–78.
Dorić D: Common fixed point for generalized ψ , φ-weak contractions. Appl Math Lett 2009, 22: 1896–1900.
Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Appl Anal 2008, 87: 10–116.
Gordji ME, Ramezani M: A generalization of Mizoguchi and Takahashis theorem for single-valued mappings in partially ordered metric spaces. Nonlinear Analysis TMA 2011, 74: 4544–4549.
Ciric L, Cakid N, Rajovic M, Uma JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory and Applications 2008, 2008: 11. Art. ID 131294
Nieto JJ, Rodriguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239.
Nieto JJ, Pouso RL, Rodriguez-López R: Fixed point theorems in ordered abstract spaces. Proc Am Math Soc 2007, 135: 2505–2517.
O'Regan D, Petrusel A: Fixed point theorems for generalized contractions in ordered metric spaces. J Math Anal Appl 2008, 341(2):1241–1252.
Petrusel A, Rus IA: Fixed point theorems in ordered L-spaces. Proc Am Math Soc 2006, 134: 411–418.
Cho YJ, Rhoades BE, Saadati R, Samet B, Shantawi W: Nonlinear coupled fixed point theorems in ordered generalized metric spaces with integral type. Fixed Point Theory Appl 2012, 2012: 8.
Cho YJ, Saadati R, Wang S: Common fixed point theorems on generalized distance in order cone metric spaces. Comput Math Appl 2011, 61: 1254–1260.
Graily E, Vaezpour SM, Saadati R, Cho YJ: Generalization of fixed point theorems in ordered metric spaces concerning generalized distance. Fixed Point Theory Appl 2011, 2011: 30.
Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c-distance in ordered cone metric spaces. Comput Math Appl 2011, 62: 1969–1978.
Cho YJ, He G, Huang NJ: The existence results of coupled quasi-solutions for a class of operator equations. Bull Korean Math Soc 2010, 47: 455–465.
Abbas M, Cho YJ, Nazir T: Common fixed point theorems for four map- pings in TVS-valued cone metric spaces. J Math Inequal 2011, 5: 287–299.
Nieto JJ, Rodriguez-López R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math Sinica 2007, 23: 2205–2212.
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.
Nieto JJ, Rodriguez-López R: Existence of extremal solutions for quadratic fuzzy equations. Fixed Point Theory Appl 2005, 2005: 321–342.
Nieto JJ, Rodriguez-López R: Applications of contractive-like mapping principles to fuzzy equations. Rev Mat Complut 2006, 19: 361–383.
Eshaghi Gordji M, Baghani H, Cho YJ: Coupled fixed point theorems for contractions in intuitionistic fuzzy normed spaces. Math Comput Model 2011, 54: 1897–1906.
Burgic Dz, Kalabusic S, Kulenovic MRS: Global attractivity results for mixed monotone mappings in partially ordered complete metric spaces. Fixed Point Theory Appl 2009, 2009: 17. Art. ID 762478
Gnana Bhaskar T, Lakshmikantham V: Fixed points theorem in partially ordered metric spaces and applications. Nonlinear Anal 2006, 65: 1379–1393.
Lakshmikantham V, Ciric L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal 2009, 70: 4341–4349.
Wu Y: New fixed point theorems and applications of mixed monotone operator. J Math Anal Appl 2008, 341: 883–893.
Acknowledgements
The authors thank the referees for their valuable comments and suggestions. The third author of this study was partially supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant No. 2011-0005197).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
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
Gordji, M.E., Baghani, H. & Kim, G.H. Common fixed point theorems for (ψ, φ)-weak nonlinear contraction in partially ordered sets. Fixed Point Theory Appl 2012, 62 (2012). https://doi.org/10.1186/1687-1812-2012-62
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2012-62