Journal of Applied Mathematics

Volume 2012 (2012), Article ID 951912, 17 pages

http://dx.doi.org/10.1155/2012/951912

## Quadruple Fixed Point Theorems under Nonlinear Contractive Conditions in Partially Ordered Metric Spaces

^{1}Department of Mathematics, Atılım University, 06836 İncek, Turkey^{2}Department of Mathematics, The Hashemite University, Zarqa 13115, Jordan

Received 17 March 2012; Accepted 7 May 2012

Academic Editor: Debasish Roy

Copyright © 2012 Erdal Karapınar 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

We prove a number of quadruple fixed point theorems under -contractive conditions for a mapping in ordered metric spaces. Also, we introduce an example to illustrate the effectiveness of our results.

#### 1. Introduction and Preliminaries

The notion of coupled fixed point was initiated by Gnana Bhaskar and Lakshmikantham [1] in 2006. In this paper, they proved some fixed point theorems under a set of conditions and utilized their theorems to prove the existence of solutions to some ordinary differential equations. Recently, Berinde and Borcut [2] introduced the notion of tripled fixed point and extended the results of Gnana Bhaskar and Lakshmikantham [1] to the case of contractive operator , where is a complete ordered metric space. For some related works in coupled and tripled fixed point, we refer readers to [3–32].

For simplicity we will denote the cross product of copies of the space by .

*Definition 1.1 (see [2]). *Let be a nonempty set and a given mapping. An element is called a tripled fixed point of if
Let be a metric space. The mapping , given by
defines a metric on , which will be denoted for convenience by .

*Definition 1.2 (see [2]). *Let be a partially ordered set and a mapping. One says that has the mixed monotone property if is monotone nondecreasing in and and is monotone nonincreasing in ; that is, for any ,

Let us recall the main results of [2] to understand our motivation toward our results in this paper.

Theorem 1.3 (see [2]). *Let be a partially ordered set and a complete metric space. Let be a continuous mapping such that has the mixed monotone property. Assume that there exist with such that
**
for all with , , and . If there exist such that , , and , then has a tripled fixed point.*

Theorem 1.4 (see [2]). *Let be a partially ordered set and a complete metric space. Let be a mapping having the mixed monotone property. Assume that there exist with such that
**
for all with , , and . Assume that has the following properties: *)* if a nondecreasing sequence , then for all , *()* if a nonincreasing sequence , then for all . ** If there exist such that , , and , then has a tripled fixed point.*

Very recently, Karapınar introduced the notion of quadruple fixed point and obtained some fixed point theorems on the topic [33]. Extending this work, quadruple fixed point is developed and related fixed point theorems are proved in [34–39].

*Definition 1.5 (see [34]). *Let be a nonempty set and a given mapping. An element is called a quadruple fixed point of if
Let be a metric space. The mapping , given by
defines a metric on , which will be denoted for convenience by .

*Remark 1.6. *In [33, 34, 38], the notion of *quadruple fixed point* is called *quartet fixed point*.

*Definition 1.7 (see [34]). *Let be a partially ordered set and a mapping. One says that has the mixed monotone property if is monotone nondecreasing in and and is monotone nonincreasing in and ; that is, for any ,

By following Matkowski [40], we let be the set of all nondecreasing functions such that for all . Then, it is an easy matter to show that(1) for all ,(2).

In this paper, we prove some quadruple fixed point theorems for a mapping satisfying a contractive condition based on some .

#### 2. Main Results

Our first result is the following.

Theorem 2.1. *Let be a partially ordered set and a complete metric space. Let be a continuous mapping such that has the mixed monotone property. Assume that there exists such that
**
for all with , , , and . If there exist such that , , and , then has a quadruple fixed point.*

* Proof. *Suppose are such that , , , and . Define
Then, , , , and . Again, define , , , and . Since has the mixed monotone property, we have , , , and . Continuing this process, we can construct four sequences , , , and in such that
If, for some integer , we have , then , , , and ; that is, is a quadruple fixed point of . Thus, we will assume that for all ; that is, we assume that ,, or or . For any , we have
From (2.4), it follows that
By repeating (2.5) times, we get that
Now, we will show that , , , and are Cauchy sequences in . Let . Since
and , there exist such that
This implies that
For , we will prove by induction on that
Since , then by using (2.9) we conclude that (2.10) holds when . Now suppose that (2.10) holds for . For , we have
Similarly, we show that
Hence, we have
Thus, (2.10) holds for all . Hence, , , , and are Cauchy sequences in .

Since is a complete metric space, there exist such that , , and converge to , , , and , respectively. Finally, we show that is a quadruple fixed point of . Since is continuous and , we have . By the uniqueness of limit, we get that . Similarly, we show that , , and . So, is a quadruple fixed point of .

By taking , where , in Theorem 2.1, we have the following.

Corollary 2.2. *Let be a partially ordered set and a complete metric space. Let be a continuous mapping such that has the mixed monotone property. Assume that there exists such that
**
for all with , , , and . If there exist such that , , , and , then has a quadruple fixed point.*

As a consequence of Corollary 2.2, we have the following.

Corollary 2.3. *Let be a partially ordered set and a complete metric space. Let be a continuous mapping such that has the mixed monotone property. Assume that there exist with such that
**
for all with , , , and . If there exist such that , , and , then has a quadruple fixed point.*

By adding an additional hypothesis, the continuity of in Theorem 2.1 can be dropped.

Theorem 2.4. *Let be a partially ordered set and a complete metric space. Let be a mapping having the mixed monotone property. Assume that there exists such that
**
for all with , , , and . Assume also that has the following properties: *()* if a nondecreasing sequence , then for all , *()* if a nonincreasing sequence , then for all . ** If there exist such that , , , and , then has a quadruple fixed point.*

* Proof. *By following the same process in Theorem 2.1, we construct four Cauchy sequences , , , and in with
such that , , , and . By the hypotheses on , we have , , , and for all . From (2.16), we have
From (2.18), we have
Letting in (2.19), it follows that , , , and . Hence, is a quadruple fixed point of .

By taking , where , in Theorem 2.4, we have the following result.

Corollary 2.5. *Let be a partially ordered set and a complete metric space. Let be a mapping having the mixed monotone property. Assume that there exists such that
**
for all with , , , and . Assume also that has the following properties: *()* if a nondecreasing sequence , then for all , *()* if a nonincreasing sequence , then for all . ** If there exist such that , , , and , then has a quadruple fixed point.*

As a consequence of Corollary 2.5, we have the following.

Corollary 2.6. *Let be a partially ordered set and a complete metric space. Let be a mapping having the mixed monotone property. Assume that there exist with such that
**
for all with , , , and . Assume that has the following properties: *()* if a nondecreasing sequence , then for all , *()* if a nonincreasing sequence , then for all . ** If there exist such that , , , and , then has a quadruple fixed point.*

Now we prove the following result.

Theorem 2.7. *In addition to the hypotheses of Theorem 2.1 (resp., Theorem 2.4), suppose that
**
Then, .*

* Proof. *Without loss of generality, we may assume that , , , and . By the mixed monotone property of , we have , , , and for all . Thus, by (2.1), we have
By (2.23) and (2.26), we have
By letting in (2.27) and using the property of and the fact that is continuous on its variable, we get that . Hence, .

Corollary 2.8. *In addition to the hypotheses of Corollary 2.3 (resp., Corollary 2.5), suppose that
**
Then, .*

*Example 2.9. * Let with usual order. Define by . Define by
Then, (a) is a complete ordered metric space, (b)for with , , , and , we have that
(c)holds for all , , , and ,(d) has the mixed monotone property.

* Proof. *To prove , given with , , , and , we examine the following cases.*Case *1*. *If , and . Here, we have
*Case *2*. *If and . This case is impossible since
So,
*Case *3*. *If and .

This case will have different possibilities.

(i) Let and . Suppose that ; then and hence
Therefore,
Suppose that ; then and hence
Therefore,

(ii) Let and . Suppose that ; then and (since ) hence
Therefore,

Suppose that ; then and (since ) hence
Therefore,

(iii) Let and . Suppose that ; then , but , and hence
Therefore,

Suppose that ; then and hence
Therefore,

(iv) Let and . Suppose that ; then and hence
Therefore,

Suppose that ; then and hence
Therefore,
*Case *4*.* (i) If and .

Since and , then , and also since and , then . Thus,

(ii) If and , then and . Thus,

(iii) If and , then and , hence

(iv) If and , then and , and hence

(v) If and , then and , and hence

To prove (c), let . To show that is monotone nondecreasing in , let with .

If , then . If , then
Therefore, is monotone nondecreasing in . Similarly, we may show that is monotone nondecreasing in .

To show that is monotone nonincreasing in , let with . If , then . If , then
Therefore, is monotone nonincreasing in . Similarly, we may show that is monotone nonincreasing in .

Thus, by Theorem 2.1 (let ), has a unique quadruple fixed point, namely, . Since the condition of Theorem 2.7 is satisfied, is the unique quadruple fixed point of .

*Remark 2.10. *We notice that for, , it is very natural to consider the analog of Theorem 2.1–Theorem 2.7 to get fixed points. Moreover, for , the analog of Theorem 7–Theorem 11 of Berinde and Borcut [2] yields fixed points.

#### References

- T. Gnana Bhaskar and V. Lakshmikantham, “Fixed point theorems in partially ordered metric spaces and applications,”
*Nonlinear Analysis*, vol. 65, no. 7, pp. 1379–1393, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - V. Berinde and M. Borcut, “Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces,”
*Nonlinear Analysis*, vol. 74, no. 15, pp. 4889–4897, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - V. Lakshmikantham and L. \'Cirić, “Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces,”
*Nonlinear Analysis*, vol. 70, no. 12, pp. 4341–4349, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Abbas, H. Aydi, and E. Karapınar, “Tripled fixed points of multivalued nonlinear contraction mappings in partially ordered metric spaces,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 812690, 12 pages, 2011. View at Publisher · View at Google Scholar · View at Scopus - M. Abbas, M. Ali Khan, and S. Radenović, “Common coupled fixed point theorems in cone metric spaces for $\varphi $-compatible mappings,”
*Applied Mathematics and Computation*, vol. 217, no. 1, pp. 195–202, 2010. View at Publisher · View at Google Scholar - M. Abbas, A. R. Khan, and T. Nazir, “Coupled common fixed point results in two generalized metric spaces,”
*Applied Mathematics and Computation*, vol. 217, no. 13, pp. 6328–6336, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - H. Aydi, B. Damjanović, B. Samet, and W. Shatanawi, “Coupled fixed point theorems for nonlinear contractions in partially ordered $G$-metric spaces,”
*Mathematical and Computer Modelling*, vol. 54, no. 9-10, pp. 2443–2450, 2011. View at Publisher · View at Google Scholar - H. Aydi, E. Karapınar, and W. Shatanawi, “Coupled fixed point results for $(\psi ,\phi )$-weakly contractive condition in ordered partial metric spaces,”
*Computers & Mathematics with Applications*, vol. 62, no. 12, pp. 4449–4460, 2011. View at Publisher · View at Google Scholar - B. S. Choudhury and P. Maity, “Coupled fixed point results in generalized metric spaces,”
*Mathematical and Computer Modelling*, vol. 54, no. 1-2, pp. 73–79, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - E. Karapınar, “Couple fixed point theorems for nonlinear contractions in cone metric spaces,”
*Computers & Mathematics with Applications*, vol. 59, no. 12, pp. 3656–3668, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - N. V. Luong and N. X. Thuan, “Coupled fixed points in partially ordered metric spaces and application,”
*Nonlinear Analysis*, vol. 74, no. 3, pp. 983–992, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - H. K. Nashine and W. Shatanawi, “Coupled common fixed point theorems for a pair of commuting mappings in partially ordered complete metric spaces,”
*Computers & Mathematics with Applications*, vol. 62, no. 4, pp. 1984–1993, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - F. Sabetghadam, H. P. Masiha, and A. H. Sanatpour, “Some coupled fixed point theorems in cone metric spaces,”
*Fixed Point Theory and Applications*, vol. 2009, Article ID 125426, 8 pages, 2009. View at Google Scholar · View at Zentralblatt MATH - B. Samet, “Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces,”
*Nonlinear Analysis*, vol. 72, no. 12, pp. 4508–4517, 2010. View at Publisher · View at Google Scholar - B. Samet and C. Vetro, “Coupled fixed point, $F$-invariant set and fixed point of $N$-order,”
*Annals of Functional Analysis*, vol. 1, no. 2, pp. 46–56, 2010. View at Google Scholar - B. Samet and H. Yazidi, “Coupled fixed point theorems in partially ordered $\epsilon $-chainable metric spaces,”
*TJMCS*, vol. 1, no. 30, pp. 142–151, 2010. View at Google Scholar - S. Sedghi, I. Altun, and N. Shobe, “Coupled fixed point theorems for contractions in fuzzy metric spaces,”
*Nonlinear Analysis*, vol. 72, no. 3-4, pp. 1298–1304, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Shatanawi, B. Samet, and M. Abbas, “Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces,”
*Mathematical and Computer Modelling*, vol. 55, no. 3-4, pp. 680–687, 2012. View at Publisher · View at Google Scholar · View at Scopus - W. Shatanawi, “Some common coupled fixed point results in cone metric spaces,”
*International Journal of Mathematical Analysis*, vol. 4, no. 45–48, pp. 2381–2388, 2010. View at Google Scholar · View at Zentralblatt MATH - W. Shatanawi, “Partially ordered cone metric spaces and coupled fixed point results,”
*Computers & Mathematics with Applications*, vol. 60, no. 8, pp. 2508–2515, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Shatanawi, “Fixed point theorems for nonlinear weakly $C$-contractive mappings in metric spaces,”
*Mathematical and Computer Modelling*, vol. 54, no. 11-12, pp. 2816–2826, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Z. Golubović, Z. Kadelburg, and S. Radenović, “Coupled coincidence points of mappings in ordered partial metric spaces,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 192581, 18 pages, 2012. View at Publisher · View at Google Scholar · View at Scopus - D. Dorić, Z. Kadelburg, and S. Radenović, “Coupled fixed point results for mappings without mixed monotone property,”
*Applied Mathematics Letters*. In press. View at Publisher · View at Google Scholar - H. K. Nashine, Z. Kadelburg, and S. Radenović, “Coupled common fixed point theorems for ${w}^{*}$-compatible mappings in ordered cone metric spaces,”
*Applied Mathematics and Computation*, vol. 218, no. 9, pp. 5422–5432, 2012. View at Publisher · View at Google Scholar - Z. Kadelburg and S. Radenović, “Coupled fixed point results under TVS-cone metric and W-cone-distance,”
*Advence Fixed Point Theory*, vol. 2, no. 1, pp. 29–46, 2012. View at Google Scholar - Y. J. Cho, Z. Kadelburg, R. Saadati, and W. Shatanawi, “Coupled fixed point theorems under weak contractions,”
*Discrete Dynamics in Nature and Society*, vol. 2012, Article ID 184534, 9 pages, 2012. View at Publisher · View at Google Scholar · View at Scopus - W. Long, B. E. Rhoades, and M. Rajović, “Coupled coincidence points for two mappings in metric spaces and cone metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 12, 2012. View at Google Scholar - Z. M. Fadail and A. G. B. Ahmad, “Coupled Fixed point theorems of single-valued mappings for
*c*-distanse in cone metric spaces,”*Journal of Applied Mathematics*. In press. - Z. M. Fadail, A. G. B. Ahmad, and Z. Golubović, “Fixed point theorems of single-valued mapping for
*c*-distance in cone metric space,”*Abstract and Applied Analysis*. In press. - W. Sintunavarat, Y. Je, and P. Kumam, “Coupled Fixed point theorem 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 - A. Razani, H. H. Zadeh, and A. Jabbari, “Coupled fixed point theorems in partially ordered metric spaces which endowed with vector-valued metrics,”
*Australian Journal of Basic and Applied Sciences*, vol. 6, no. 2, pp. 124–129, 2012. View at Google Scholar · View at Scopus - M. Abbas, “Wutiphol sintunavarat, and poom kumam, coupled fixed of generalized contractive mapping on partially ordered $G$-metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 31, 2012. View at Google Scholar - E. Karapınar, “Quartet fixed point for nonlinear contraction,” http://arxiv.org/abs/1106.5472.
- E. Karapınar and N. V. Luong, “Quadruple fixed point theorems for nonlinear contractions,”
*Computers and Mathematics with Applications*. In press. View at Publisher · View at Google Scholar - E. Karapınar and V. Berinde, “Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces,”
*Banach Journal of Mathematical Analysis*, vol. 6, no. 1, pp. 74–89, 2012. View at Google Scholar - E. Karapınar, “Quadruple fixed point theorems for weak $\varphi $-contractions,”
*ISRN Mathematical Analysis*, vol. 2011, Article ID 989423, 15 pages, 2011. View at Publisher · View at Google Scholar - E. Karapınar, H. Aydi, and I. S. Yüce, “Quadruple fixed point theorems in partially ordered metric spaces depending on another function,”
*ISRN Mathematical Analysis*. In press. - E. Karapınar, “A new quartet fixed point theorem for nonlinear contractions,”
*JP Journal of Fixed Point Theory and Applications*, vol. 6, no. 2, pp. 119–135, 2011. View at Google Scholar - Z. Mustafa, H. Aydi, and E. Karapınar, “Mixed g-monotone property and quadruple fixed point theorems in partially ordered metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 71, 2012. View at Google Scholar - J. Matkowski, “Fixed point theorems for mappings with a contractive iterate at a point,”
*Proceedings of the American Mathematical Society*, vol. 62, no. 2, pp. 344–348, 1977. View at Publisher · View at Google Scholar · View at Zentralblatt MATH