Table of Contents Author Guidelines Submit a Manuscript
International Journal of Analysis
Volume 2014 (2014), Article ID 586096, 9 pages
http://dx.doi.org/10.1155/2014/586096
Research Article

Coupled Fixed Point Theorems for ()-Contractive Mixed Monotone Mappings in Partially Ordered Metric Spaces and Applications

1Department of Mathematics, Ahir College, Rewari 123401, India
2HAS Department, YMCAUST, Faridabad 121006, India
3Department of Mathematics, DCRUST, Murthal, Sonepat 131039, India

Received 14 November 2013; Accepted 22 January 2014; Published 18 March 2014

Academic Editor: Tohru Ozawa

Copyright © 2014 Manish Jain et al. 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.

Abstract

The object of this paper is to establish the existence and uniqueness of coupled fixed points under a (, )-contractive condition for mixed monotone operators in the setup of partially ordered metric spaces. Presented work generalizes the recent results of Berinde (2011, 2012) and weakens the contractive conditions involved in the well-known results of Bhaskar and Lakshmikantham (2006), and Luong and Thuan (2011). The effectiveness of our work is validated with the help of a suitable example. As an application, we give a result of existence and uniqueness for the solutions of a class of nonlinear integral equations.

1. Introduction and Preliminaries

Fixed point theory is an important tool for studying the phenomenon of nonlinear analysis and is a bridge bond between pure and applied mathematics. The theory has its wide applications in engineering, computer science, physical and life sciences, economics, and other fields. Banach [1] introduced the well-known classical and valuable theorem in nonlinear analysis, which is named after him, known as the Banach contraction principle. This celebrated principle has been extended and improved by various authors in many ways over the years (see for instance [217]). Nowadays, fixed point theory has been receiving much attention in partially ordered metric spaces, that is, metric spaces endowed with a partial ordering. Ran and Reurings [17] were the first to establish the results in this direction. The results were then extended by Nieto and Rodríguez-López [10] for nondecreasing mappings. Works noted in [1824] are some examples in this direction.

The work of Bhaskar and Lakshmikantham [25] is worth mentioning, as they introduced the new notion of fixed points for the mappings having domain the product space , which they called coupled fixed points, and thereby proved some coupled fixed point theorems for mappings satisfying the mixed monotone property in partially ordered metric spaces. As an application, they discussed the existence and uniqueness of a solution for a periodic boundary value problem.

Definition 1 (see [25]). Let be a partially ordered set. The mapping is said to have the mixed monotone property if is monotone nondecreasing in and monotone nonincreasing in ; that is, for any , ,

Definition 2 (see [25]). An element is called a coupled fixed point of the mapping if and .

Bhaskar and Lakshmikantham [25] gave the following result.

Theorem 3 (see [25]). Let be a partially ordered set and suppose there exists a metric on such that is a complete metric space. Let be a continuous mapping having the mixed monotone property on . Assume that there exists a with for all , , , with and .
If there exist two elements , with and , then there exist such that and .

It has also been shown in [25, Theorem 2.2] that the continuity assumption of in Theorem 3 can be replaced by an alternative condition imposed on the convergent nondecreasing and nonincreasing sequences in the space .

Assumption 4. has the property that(i)if a nondecreasing sequence converges to , then for all ,(ii)if a nonincreasing sequence converges to , then for all .
These results were then extended and generalized by several authors in the last six years (see [2640]). Luong and Thuan [26, Theorem 2.1] extended the results of Bhaskar and Lakshmikantham [25] under the following contractive condition: with and , where , are the functions such that is continuous and nondecreasing; if and only if ;, for all , ,and the function satisfies
Berinde [27, Theorem 3] in an alternative way generalized the results of Bhaskar and Lakshmikantham [25] under a weaker contraction as follows: with and , where .
Berinde [28, Thoerem 2] further generalized and complemented the results noted in [25] and extended the work presented in [27] by considerably weakening the involved contractive condition as with and , where , : are the functions such that is continuous and (strictly) increasing; for all ;, for all ,and the function satisfies .

2. Coupled Fixed Points

In order to proceed with developing of our work and obtain our results, we need to consider the following.

Let denote all functions which satisfy the following: is lower semicontinuous and (strictly) increasing; for all ; for all , .We note that if and only if for .

Also, for , denote all functions which satisfy the following: if ; if for .

Now we are ready to prove our first main result as follows.

Theorem 5. Let be a partially ordered set and there is a metric on such that is a complete metric space. Suppose is a mapping having mixed monotone property on . Assume there exist and such that for all , , , with and (or and ).
Suppose either (a) is continuous or (b) satisfies Assumption 4.
If there exist two elements , with or then there exist , such that that is, has a coupled fixed point in .

Proof. Without loss of generality, assume that there exist two elements , such that (8) holds; that is, and . Let and . Then and . Similarly, let and . Since has the mixed monotone property, then we have and . Continuing in the same way, we can easily construct two sequences and in such that ,   and If for some , we have , then and ; that is, has a coupled fixed point. So from now onwards, we suppose , for all ; that is, we suppose that either or .
Now applying inequality (7) with and , for all , we get then for all , we have where .
Clearly, for all . Then for any , we obtain By monotonicity of , together with (14), we can easily see that is a nonnegative decreasing sequence in . So we have for some . If , then using the properties of , we get which is a contradiction. Hence and so we have We now prove that and are Cauchy sequences. Suppose, to the contrary, that at least one of the sequences ,   is not a Cauchy sequence. Then there exists for which we can find subsequences ,   of and ,   of with such that Further, corresponding to , we can choose in such a way that it is the smallest integer with and satisfies (17). Then, By (17), (18), and triangle inequality, we have Letting and using (16) in the last inequality, we have Again, by triangle inequality By monotonicity of and property , we have Since , , and .
Then by (7), we have By (22) and (23), we have Since is lower semicontinuous by taking limit as , we get a contradiction. Thus and are Cauchy sequences in complete metric space and hence and for some , .
Now suppose that assumption (a) holds. Then which shows that is a coupled fixed point of .
Suppose now assumption (b) holds. Since is a nondecreasing sequence that converges to , we have that for all . Similarly, for all .
Then So and hence which imply, by the monotonicity of and condition (7), Since is lower semicontinuous, by taking the limit as in the above inequality, we get Hence, we get and . Therefore, has a coupled fixed point .

Remark 6. In Theorem 5, substituting for implies the main result of Berinde [28, Theorem 2]. Note that the function satisfies all the conditions of our result. It is easy to verify this as in Theorem 2 [28] is a continuous function and for all such that . On the other hand, if for .

Remark 7. In Theorem 5, let be . Then it is easy to see that substituting for , where , yields the main result of Berinde [27, Theorem 3].
The following example shows that Theorem 5 is more general than Theorem 2.1 [25] (stated as Theorem 3 in the present paper) and Theorem  2.1 in [26], since the contractive condition (7) is more general than the contractive conditions (2) and (3).

Example 8. Let . Then is a partially ordered set with the natural ordering of real numbers. Let be defined by Then is a complete metric space.
Define by , .
Then is continuous, has mixed monotone property, and satisfies condition (7) but does not satisfy either condition (2) or condition (3). Indeed, assume there exists , such that (2) holds. Then, we must have by which, for , we get which for implies , a contradiction, since . Hence does not satisfy contractive condition (2).
Further, the contractive condition (3) is also not satisfied. Assume, to the contrary, that there exist , satisfying and , respectively, such that (3) holds. Then, we must have for all and . On taking , and letting , we obtain But by we have and hence, we deduce that, for all , , that is, , which contradicts . This shows that does not satisfy (3).

Now, we prove that (7) holds. Indeed, for and , we have

and by summing up the last two inequalities we get exactly (7) with , . Also, , are the two points in such that and .

So by Theorem 5 we obtain that has a coupled fixed point but none of Theorem  2.1 in [25] and Theorem  2.1 in [26] can be applied to in this example.

Next, we prove the uniqueness of coupled fixed point for our main result by defining a partial ordering on . If is a partially ordered set, then we endow the product with the following partial order: Then, we say , .

We say that and are comparable if or .

Theorem 9. Let all the conditions of Theorem 5 be fulfilled and for every , in , there exists a in that is comparable to and . Then has a unique coupled fixed point.

Proof. From Theorem 5, the set of coupled fixed points of is nonempty. Assume that and are two coupled fixed points of . We will show that and .
By assumption, there exists that is comparable to and . We define the sequences and as follows: Since is comparable to , we may assume . Following the proof of Theorem 5 we obtain inductively and therefore, by (7), we get Thus, we have , where . Inspired with the proof of Theorem 5 we can conclude that converges to for some . If , then we have which shows a contradiction. Thus ; that is, , which implies Similarly, we obtain that , and hence, by the uniqueness of limit and .

Theorem 10. Let all the conditions of Theorem 5 be fulfilled and suppose that , are comparable. Then has a unique fixed point; that is, there exist such that .

Proof. By Theorem 5, without loss of generality, we assume that Since and are comparable, we have or . We assume the second case. Then, by the mixed monotone property of , we have and, hence, by making use of induction, we can get Also, we have then, by the continuity of the distance function , we can obtain Further, on setting and in (7), we have Taking the limit as in the last inequality, we get If , then by we get a contradiction. So and hence . Similarly, uniqueness of can be easily established.

3. Application

As an application of the results proved in Section 2, we study the existence of unique solution of the following integral equation: Let denote the class of functions which satisfies the following conditions: for .

Clearly, is nonempty, as for given , is in , where , .

We assume that the functions , , , and fulfill the following conditions.

Assumption 11. (i) , , for all , .
(ii) There exist the positive numbers , , and , such that for all and , , with , the following conditions hold:
(iii) There exists some satisfying (57), such that where

Definition 12. An element with is called a coupled lower and upper solution of the integral equation (54) if and
for all .

Theorem 13. Consider the integral equation (54) with , for and . Suppose that there exists a coupled lower-upper solution for (54) and the Assumption 11 is satisfied. Then the integral equation (54) has a unique solution in .

Proof. Consider the natural order relation on ; that is, for , It is well known that is a complete metric space with respect to the sup metric It is easy to verify that condition (b) in Theorem 5 holds on the complete metric space . Also, is a partially ordered set under the following order relation in : For any , ,   and , for each , are in and are the upper and lower bounds of , respectively. Therefore, for every , , there exists a that is comparable to and .
Now we define the mapping by First, we show that has the mixed monotone property. To do this, let , and ; that is, for all . Then using Assumption 11, for any and all we obtain which implies that . Similarly, if , and , then for any . Let be as given in Assumption 11. Then for , , , such that and we get Since the function is nondecreasing and and , we have hence by (68), we obtain Similarly, we can obtain By summing up (70) and (71), multiplying by and dividing by 2, and then taking supremum with respect to we get, by using (60)-(61), Now, since is nondecreasing, we have and so by the definition of . Thus we get which is just the contractive condition (7) for , where . Now, let be a coupled upper-lower solution of (54). Then we have for all . Finally, Theorems 5 and 9 give that has a unique coupled fixed point . Since , then the hypotheses of Theorem 10 is satisfied and, therefore, there exists a unique such that for all ; that is, the integral equation (54) has a unique solution.

Remark 14. Trivial choices of the functions are ,  ,  , and ,  . Note that here we will assume that and .

4. Conclusion

We conclude that the obtained results improve, generalize, and enrich various recent coupled fixed point theorems in the framework of partially ordered metric spaces in a way that is essentially more natural, by considering the more general (symmetric) contractive condition (7). The theoretical results are accompanied by an applied example and an application to the nonlinear integral equation.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

  1. S. Banach, “Surles operations dans les ensembles et leur application aux equation sitegrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922. View at Google Scholar
  2. R. P. Agarwal, M. Meehan, and D. O'Regan, Fixed Point Theory and Applications, Cambridge University Press, 2001.
  3. R. P. Agarwal, M. A. El-Gebeily, and D. O'Regan, “Generalized contractions in partially orderedmetric spaces,” Applicable Analysis, vol. 87, no. 1, pp. 109–116, 2008. View at Publisher · View at Google Scholar
  4. D. W. Boyd and J. S. W. Wong, “On nonlinear contractions,” Proceedings of the American Mathematical Society, vol. 20, pp. 458–464, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  5. A. Branciari, “A fixed point theorem for mappings satisfying a general contractive condition of integral type,” International Journal of Mathematics and Mathematical Sciences, vol. 29, no. 9, pp. 531–536, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  6. L. B. Cirić, “A generalization of Banach's contraction principle,” Proceedings of the American Mathematical Society, vol. 45, pp. 267–273, 1974. View at Google Scholar · View at Zentralblatt MATH
  7. J. Dugundji and A. Granas, Fixed Point Theory, Springer, New York, NY, USA, 2003.
  8. D. J. Guo and V. Lakshmikantham, Nonlinear Problems in Abstract Cones, Academic Press, Boston, Mass, USA, 1988.
  9. A. Meir and E. Keeler, “A theorem on contraction mappings,” Journal of Mathematical Analysis and Applications, vol. 28, no. 2, pp. 326–329, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  10. J. J. Nieto and R. Rodríguez-López, “Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations,” Order, vol. 22, no. 3, pp. 223–239, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  11. B. E. Rhoades, “A comparison of various definitions of contractive mappings,” Transactions of the American Mathematical Society, vol. 226, pp. 257–290, 1977. View at Publisher · View at Google Scholar
  12. D. R. Smart, Fixed Point Theorems, Cambridge University Press, London, UK, 1974.
  13. T. Suzuki, “Meir-Keeler contractions of integral type are still Meir-Keeler contractions,” International Journal of Mathematics and Mathematical Sciences, vol. 2007, Article ID 39281, 6 pages, 2007. View at Publisher · View at Google Scholar · View at Scopus
  14. T. Suzuki, “A generalized banach contraction principle that characterizes metric completeness,” Proceedings of the American Mathematical Society, vol. 136, no. 5, pp. 1861–1869, 2008. View at Publisher · View at Google Scholar · View at Scopus
  15. E. Zeidler, Nonlinear Functional Analysis and Its Applications I: Fixed-Point Theorems, Springer, Berlin, Germany, 1986.
  16. M. Turinici, “Abstract comparison principles and multivariable Gronwall-Bellman inequalities,” Journal of Mathematical Analysis and Applications, vol. 117, no. 1, pp. 100–127, 1986. View at Google Scholar · View at Scopus
  17. A. C. M. Ran and M. C. B. Reurings, “A fixed point theorem in partially ordered sets and some applications to matrix equations,” Proceedings of the American Mathematical Society, vol. 132, no. 5, pp. 1435–1443, 2004. View at Publisher · View at Google Scholar · View at Scopus
  18. J. J. Nieto and R. R. Lopez, “Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations,” Acta Mathematica Sinica, vol. 23, no. 12, pp. 2205–2212, 2007. View at Publisher · View at Google Scholar · View at Scopus
  19. R. P. Agarwal, M. A. El-Gebeily, and D. O'Regan, “Generalized contractions in partially ordered metric spaces,” Applicable Analysis, vol. 87, no. 1, pp. 1–8, 2008. View at Publisher · View at Google Scholar
  20. I. Altun and H. Simsek, “Some fixed point theorems on ordered metric spaces and application,” Fixed Point Theory and Applications, vol. 2010, Article ID 621469, 17 pages, 2010. View at Publisher · View at Google Scholar
  21. J. Harjani and K. Sadarangani, “Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations,” Nonlinear Analysis, Theory, Methods and Applications, vol. 72, no. 3-4, pp. 1188–1197, 2010. View at Publisher · View at Google Scholar · View at Scopus
  22. Z. Kadelburg, M. Pavlovi, and S. Radenovi, “Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces,” Computers and Mathematics with Applications, vol. 59, no. 9, pp. 3148–3159, 2010. View at Publisher · View at Google Scholar · View at Scopus
  23. S. Radenovi and Z. Kadelburg, “Generalized weak contractions in partially ordered metric spaces,” Computers and Mathematics with Applications, vol. 60, no. 6, pp. 1776–1783, 2010. View at Publisher · View at Google Scholar · View at Scopus
  24. W. Sintunavarat, Y. J. Cho, and P. Kumam, “Common fixed point theorems for c-distance in ordered cone metric spaces,” Computers and Mathematics with Applications, vol. 62, no. 4, pp. 1969–1978, 2011. View at Publisher · View at Google Scholar · View at Scopus
  25. T. G. Bhaskar and V. Lakshmikantham, “Fixed point theorems in partially ordered metric spaces and applications,” Nonlinear Analysis, Theory, Methods and Applications, vol. 65, no. 7, pp. 1379–1393, 2006. View at Publisher · View at Google Scholar · View at Scopus
  26. N. V. Luong and N. X. Thuan, “Coupled fixed points in partially ordered metric spaces and application,” Nonlinear Analysis, Theory, Methods and Applications, vol. 74, no. 3, pp. 983–992, 2011. View at Publisher · View at Google Scholar · View at Scopus
  27. V. Berinde, “Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces,” Nonlinear Analysis, Theory, Methods and Applications, vol. 74, no. 18, pp. 7347–7355, 2011. View at Publisher · View at Google Scholar · View at Scopus
  28. V. Berinde, “Coupled fixed point theorems for φ-contractive mixed monotone mappings in partially ordered metric spaces,” Nonlinear Analysis, Theory, Methods and Applications, vol. 75, no. 6, pp. 3218–3228, 2012. View at Publisher · View at Google Scholar · View at Scopus
  29. J. Harjani, B. Lpez, and K. Sadarangani, “Fixed point theorems for mixed monotone operators and applications to integral equations,” Nonlinear Analysis, Theory, Methods and Applications, vol. 74, no. 5, pp. 1749–1760, 2011. View at Publisher · View at Google Scholar · View at Scopus
  30. B. Samet, “Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces,” Nonlinear Analysis, Theory, Methods and Applications, vol. 72, no. 12, pp. 4508–4517, 2010. View at Publisher · View at Google Scholar · View at Scopus
  31. W. Sintunavarat, Y. J. Cho, and P. Kumam, “Coupled fixed point theorems for weak contraction mapping under F-invariant set,” Abstract and Applied Analysis, vol. 2012, Article ID 324874, 15 pages, 2012. View at Publisher · View at Google Scholar
  32. W. Sintunavarat and P. Kumam, “Coupled best proximity point theorem in metric spaces,” Fixed Point Theory and Applications, vol. 2012, 93 pages, 2012. View at Publisher · View at Google Scholar
  33. W. Sintunavarat, Y. J. Cho, and P. Kumam, “Coupled fixed point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces,” Fixed Point Theory and Applications, vol. 2012, 128 pages, 2012. View at Publisher · View at Google Scholar
  34. V. Berinde and M. Păcurar, “Coupled fixed point theorems for generalized symmetric Meir-Keeler contractions in ordered metric spaces,” Fixed Point Theory and Applications, vol. 2012, 115 pages, 2012. View at Publisher · View at Google Scholar
  35. M. Jain, K. Tas, S. Kumar, and N. Gupta, “Coupled common fixed points involving a (φ,ψ)-contractive condition for mixed g-monotone operators in partially ordered metric spaces,” Journal of Inequalities and Applications, vol. 2012, 285 pages, 2012. View at Publisher · View at Google Scholar
  36. M. Jain, K. Tas, B. E. Rhoades, and N. Gupta, “Coupled fixed point theorems for generalized symmetric contractions in partially ordered metric spaces and applications,” Journal of Computational Analysis and Applications, vol. 16, no. 3, pp. 438–4454, 2014. View at Google Scholar
  37. M. Jain, N. Gupta, C. Vetro, and S. Kumar, “Coupled fixed point theorems for symmetric (φ,ψ)-weakly contractive mappings in ordered partial metric spaces,” The Journal of Mathematics and Computer Sciences, vol. 7, no. 4, pp. 230–304, 2013. View at Google Scholar
  38. M. Jain, K. Tas, S. Kumar, and N. Gupta, “Coupled fixed point theorems for a pair of weakly compatible maps along with CLRg property in Fuzzy metric spaces,” Journal of Applied Mathematics, vol. 2012, Article ID 961210, 13 pages, 2012. View at Publisher · View at Google Scholar
  39. M. Jain, K. Tas, and N. Gupta, “Coupled common fixed point results involving (φ,ψ)-contractions in ordered generalized metric spaces with application to integral equations,” Journal of Inequalities and Applications, vol. 2013, 372 pages, 2013. View at Google Scholar
  40. M. Jain and K. Tas, “A unique coupled common fixed point theorem for symmetric (φ,ψ)-contractive mappings in ordered G-metric spaces with applications,” Journal of Applied Mathematics, vol. 2013, Article ID 134712, 13 pages, 2013. View at Publisher · View at Google Scholar