Journal of Applied Mathematics

Volume 2013 (2013), Article ID 352927, 10 pages

http://dx.doi.org/10.1155/2013/352927

## Some Common Coupled Fixed Point Results for Generalized Contraction in Complex-Valued Metric Spaces

^{1}Department of Mathematics, King Abdulaziz University, Jeddah, Saudi Arabia^{2}Department of Mathematics, COMSATS Institute of Information Technology, Chak Shahzad, Islamabad, Pakistan^{3}Università Degli Studi di Palermo, Dipartimento di Matematica e Informatica, Via Archirafi 34,90123 Palermo, Italy

Received 11 April 2013; Revised 22 May 2013; Accepted 22 May 2013

Academic Editor: Erdal Karapinar

Copyright © 2013 Marwan Amin Kutbi 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 introduce and study the notion of common coupled fixed points for a pair of mappings in complex valued metric space and demonstrate the existence and uniqueness of the common coupled fixed points in a complete complex-valued metric space in view of diverse contractive conditions. In addition, our investigations are well supported by nontrivial examples.

#### 1. Introduction

Azam et al. [1] introduced the concept of complex-valued metric spaces and obtained sufficient conditions for the existence of common fixed points of a pair of contractive type mappings involving rational expressions. Subsequently, several authors have studied the existence and uniqueness of the fixed points and common fixed points of self-mappings in view of contrasting contractive conditions. Some of these investigations are noted in [2–26].

In [27], Bhaskar and Lakshmikantham introduced the concept of coupled fixed points for a given partially ordered set . Recently Samet et al. [28, 29] proved that most of the coupled fixed point theorems (on ordered metric spaces) are in fact immediate consequences of well-known fixed point theorems in the literature. In this paper, we deal with the corresponding definition of coupled fixed point for mappings on a complex-valued metric space along with generalized contraction involving rational expressions. Our results extend and improve several fixed point theorems in the literature.

#### 2. Preliminaries

Let be the set of complex numbers and . Define a partial order on as follows: Note that and , implies .

*Definition 1. *Let be a nonempty set. Suppose that the self-mapping satisfies the following:(1)for all and if and only if ;(2) for all ;(3), for all .

Then is called a complex valued metric on , and is known as a complex valued metric space. A point is called interior point of a set whenever, there exists such that

A point is a limit point of whenever, for every ,

is called open whenever each element of is an interior point of . Moreover, a subset is called closed whenever each limit point of belongs to . The family is a subbasis for a Hausdorff topology on .

Let be a sequence in and . If for every with there is such that, for all , then is said to be convergent, converges to , and is the limit point of . We denote this by , or , as . If for every with there is such that, for all , then is called a Cauchy sequence in . If every Cauchy sequence is convergent in , then is called a complete complex valued metric space. We require the following lemmas.

Lemma 2 (see [1]). *Let be a complex valued metric space, and let be a sequence in . Then converges to if and only if .*

Lemma 3 (see [1]). *Let be a complex valued metric space, and let be a sequence in . Then is a Cauchy sequence if and only if.*

*Definition 4 (see [27]). *An element is called a coupled fixed point of if

*Definition 5. *An element is called a coupled coincidence point of if

*Example 6. *Let and defined as and for all . Then , , and are coupled coincidence points of and .

*Example 7. *Let and defined as and for all . Then and are coupled coincidence points of and .

*Definition 8. *An element is called a common coupled fixed point of if

*Example 9. *Let and defined as and for all . Then , , and are common coupled fixed points of and .

In the following, we provide common coupled fixed point theorem for a pair of mappings satisfying a rational inequality in complex valued metric spaces.

Theorem 10. *Let be a complete complex-valued metric space, and let the mappings satisfy
**
for all and , and are nonnegative reals with . Then and have a unique common coupled fixed point. *

*Proof. *Let and be arbitrary points in . Define , and , , for

Then,
which implies that
Since , so we get
and hence
Similarly, one can show that
Also,
so that
As , therefore
Similarly, one can show that
Adding (12)–(17), we get
If , then from (18), we get
Now if , then
Without loss of generality, we take . Since , so we get
This implies that and are Cauchy sequences in . Since is complete, there exists such that and as . We now show that and . We suppose on the contrary that and so that and ; we would then have
so that
By taking , we get which is a contradiction so that . Similarly, one can prove that . It follows similarly that and . So we have proved that is a common coupled fixed point of and . We now show that and have a unique common coupled fixed point. For this, assume that is a second common coupled fixed point of and . Then
so that
Since , so we get
Similarly, one can easily prove that
If we add (26) and (27), we get
which is a contradiction because . Thus, we get and , which proves the uniqueness of common coupled fixed point of and .

By setting in Theorem 10, one deduces the following.

Corollary 11. *Let be a complete complex-valued metric space, and let the mapping satisfy
**
for all , where , and are nonnegative reals with . Then has a unique coupled fixed point. *

Corollary 12. *Let be a complete complex-valued metric space, and let the mapping satisfy
**
for all , where , and are nonnegative reals with . Then, has a unique coupled fixed point. *

Theorem 13. *Let be a complete complex-valued metric space, and let the mappings satisfy
**
for all , where and are nonnegative reals with . Then and have a unique common coupled fixed point. *

*Proof. *Let and be arbitrary points in . Define , and , , for .

Now, we assume that

Then,
which implies that
as
Therefore,
Similarly, one can easily prove that

Now, if
we get
which implies that
as
Therefore,

Similarly, if , one can easily prove that
Adding the inequalities (36)–(43), we get
If , then, from (44), we get
Now if , then
Without loss of generality, we take . Since , so we get
This implies that and are Cauchy sequences in . Since is complete, so there exists such that and as . We now show that and . We suppose on the contrary that and so that and ; we would then have
so that
By taking , we get which is a contradiction so that . Now
which implies that
Which, on making , gives us which is a contradiction so that . It follows similarly that and . So we have proved that is a common coupled fixed point of and . As in Theorem 10, the uniqueness of common coupled fixed point remains a consequence of contraction condition (31).

We have obtained the existence and uniqueness of a unique common coupled fixed point if
for all . Now, assume that for some . From
we obtain that and . If , using (8), we deduce
That is, (this equality holds also if ). The equalities
ensure that is a unique common coupled fixed point of and . The same holds if either , , or .

From Theorem 13, if we assume , we obtain the following corollary.

Corollary 14. *Let be a complete complex-valued metric space, and let the self-mappings satisfy
**
for all , where and is a nonnegative real such that . Then and have a unique common coupled fixed point.*

Corollary 15. *Let be a complete complex-valued metric space, and let the mapping satisfy
**
for all , where and are nonnegative reals with . Then has a unique coupled fixed point.*

Corollary 16. *Let be a complete complex-valued metric space, and let the mapping satisfy
**
for all , where and are nonnegative reals with . Then has a unique coupled fixed point.*

Now, we furnished a nontrivial example to support our main result (Theorem 10).

*Example 17. *Let
and let . Consider a complex valued metric as follows:
with and . Then is a complex valued metric space. Define as follows:
By a routine calculation, one can easily verify that the maps and satisfy the contraction condition (8) with , , and . Notice that the point remains fixed under and and is indeed unique common coupled fixed point.

#### Conflict of Interests

The authors declare that they have no competing interests.

#### Authors’ Contribution

All authors contributed equally and significantly in writing this paper. All authors read and approved the final paper.

#### Acknowledgments

The authors thank the editor and the referees for their valuable comments and suggestions which improved greatly the quality of this paper. Marwan Amin Kutbi gratefully acknowledges the support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) during this research. Cristina Di Bari is supported by Università degli Studi di Palermo (Local University Project R.S. ex 60%).

#### References

- A. Azam, B. Fisher, and M. Khan, “Common fixed point theorems in complex valued metric spaces,”
*Numerical Functional Analysis and Optimization*, vol. 32, no. 3, pp. 243–253, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Ahmad, M. Arshad, and C. Vetro, “On a theorem of Khan in a generalized metric space,”
*International Journal of Analysis*, vol. 2013, Article ID 852727, 6 pages, 2013. View at Publisher · View at Google Scholar - M. Arshad, A. Shoaib, and I. Beg, “Fixed point of a pair of contractive dominated mappings on a closed ball in an ordered complete dislocated metric space,”
*Fixed Point Theory and Applications*, vol. 2013, article 115, 2013. View at Publisher · View at Google Scholar - M. Arshad, J. Ahmad, and E. Karapinar, “Some common fixed point results in rectangular metric spaces,”
*International Journal of Analysis*, vol. 2013, Article ID 307234, 7 pages, 2013. View at Publisher · View at Google Scholar - M. Arshad and J. Ahmad, “On multivalued contractions in cone metric spaces without normality,”
*The Scientific World Journal*. In press. - M. Arshad, E. Karapinar, and J. Ahmad, “Some unique fixed point theorem for rational contractions in partially ordered metric spaces,”
*Journal of Inequalities and Applications*, vol. 2013, article 248, 2013. View at Publisher · View at Google Scholar - H. Aydi, E. Karapınar, and W. Shatanawi, “Tripled fixed point results in generalized metric spaces,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 314279, 10 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Aydi, E. Karapınar, and C. Vetro, “Meir-Keeler type contractions for tripled fixed points,”
*Acta Mathematica Scientia B*, vol. 32, no. 6, pp. 2119–2130, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - H. Aydi, B. Samet, and C. Vetro, “Coupled fixed point results in cone metric spaces for $\stackrel{~}{\omega}$-compatible mappings,”
*Fixed Point Theory and Applications*, vol. 2011, article 27, 15 pages, 2011. View at Google Scholar · View at MathSciNet - A. Azam and M. Arshad, “Common fixed points of generalized contractive maps in cone metric spaces,”
*Iranian Mathematical Society*, vol. 35, no. 2, pp. 255–264, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. di Bari and P. Vetro, “$\phi $-pairs and common fixed points in cone metric spaces,”
*Rendiconti del Circolo Matematico di Palermo Series 2*, vol. 57, no. 2, pp. 279–285, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. di Bari and P. Vetro, “Weakly $\phi $-pairs and common fixed points in cone metric spaces,”
*Rendiconti del Circolo Matematico di Palermo Series 2*, vol. 58, no. 1, pp. 125–132, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - S. Bhatt, S. Chaukiyal, and R. C. Dimri, “Common fixed point of mappings satisfying rational inequality in complex valued metric space,”
*International Journal of Pure and Applied Mathematics*, vol. 73, no. 2, pp. 159–164, 2011. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. Hussain, M. A. Khamsi, and A. Latif, “Banach operator pairs and common fixed points in hyperconvex metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 17, pp. 5956–5961, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Kutbi, J. Ahmad, N. Hussain, and M. Arshad, “Common fixed point results for mappings with rational expressions,”
*Abstract and Applied Analysis*. In press. View at Publisher · View at Google Scholar - E. Karapınar, “Some nonunique fixed point theorems of Ćirić type on cone metric spaces,”
*Abstract and Applied Analysis*, vol. 2010, Article ID 123094, 14 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at MathSciNet - C. Mongkolkeha, W. Sintunavarat, and P. Kumam, “Fixed point theorems for contraction mappings in modular metric spaces,”
*Fixed Point Theory and Applications*, vol. 2011, article 93, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - F. Rouzkard and M. Imdad, “Some common fixed point theorems on complex valued metric spaces,”
*Computers & Mathematics with Applications*, vol. 64, no. 6, pp. 1866–1874, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - W. Sintunavarat and P. Kumam, “Generalized common fixed point theorems in complex valued metric spaces and applications,”
*Journal of Inequalities and Applications*, vol. 2012, article 84, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - W. Sintunavarat, Y. J. Cho, and P. Kumam, “Urysohn integral equations approach by common fixed points in complex valued metric spaces,”
*Advances in Difference Equations*, vol. 2013, article 49, 2013. View at Publisher · View at Google Scholar - W. Sintunavarat and P. Kumam, “Weak condition for generalized multi-valued $(f,\alpha ,\beta )$-weak contraction mappings,”
*Applied Mathematics Letters*, vol. 24, no. 4, pp. 460–465, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - W. Sintunavarat, Y. J. Cho, and P. Kumam, “Common fixed point theorems for $c$-distance in ordered cone metric spaces,”
*Computers & Mathematics with Applications*, vol. 62, no. 4, pp. 1969–1978, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - W. Sintunavarat and P. Kumam, “Common fixed point theorems for generalized $JH$-operator classes and invariant approximations,”
*Journal of Inequalities and Applications*, vol. 2011, article 67, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - W. Sintunavarat and P. Kumam, “Common fixed points of $f$-weak contractors in cone metric spaces,”
*Bulletin of the Iranian Mathematical Society*, vol. 38, no. 2, pp. 293–303, 2012. View at Google Scholar · View at MathSciNet - N. Tahat, H. Aydi, E. Karapinar, and W. Shatanawi, “Common fixed points for single-valued and multi-valued maps satisfying a generalized contraction in G-metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 48, 2012. View at Publisher · View at Google Scholar - T. Gnana Bhaskar and V. Lakshmikantham, “Fixed point theorems in partially ordered metric spaces and applications,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 65, no. 7, pp. 1379–1393, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Samet, E. Karapinar, H. Aydi, and V. Cojbasic, “Discussion on some coupled fixed point theorems,”
*Fixed Point Theory and Applications*, vol. 2013, article 50, 2013. View at Publisher · View at Google Scholar - B. Samet and C. Vetro, “Coupled fixed point theorems for multi-valued nonlinear contraction mappings in partially ordered metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 12, pp. 4260–4268, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet