Common Fixed Point Theorems for a Class of Twice Power Type Contraction Maps in G-Metric Spaces
Hongqing Ye1and Feng Gu1
Academic Editor: Svatoslav StanΔk
Received05 Feb 2012
Accepted27 Jul 2012
Published29 Aug 2012
Abstract
We introduce a new twice power type contractive condition for three mappings in G-metric spaces, and several new common fixed point theorems are established in complete G-metric space. An example is provided to support our result. The results obtained in this paper differ from other comparable results already known.
1. Introduction
The study of fixed points of mappings satisfying certain contractive conditions has been in the center of rigorous research activity. In 2006, a new structure of generalized metric space was introduced by Mustafa and Sims [1] as an appropriate notion of generalized metric space called -metric space. Abbas and Rhoades [2] initiated the study of common fixed point in generalized metric space. Recently, many fixed point theorems for certain contractive conditions have been established in -metric spaces, and for more details one can refer to [3β27]. Fixed point problems have also been considered in partially ordered -metric spaces [28β31], cone metric spaces [32], and generalized cone metric spaces [33].
In 2006, Gu and He [34] introduced a class of twice power type contractive condition in metric space, proving some common fixed point theorems for four self-maps with twice power type -contractive condition.
In this paper, motivated and inspired by the above results, we introduce a new twice power type contractive condition in -metric space, and we prove some new common fixed point theorems in complete -metric spaces. Our results obtained in this paper differ from other comparable results already known.
Throughout the paper, we mean by the set of all natural numbers. Consistent with Mustafa and Sims [1], the following definitions and results will be needed in the sequel.
Definition 1.1 (see [1]). Let be a nonempty set, and let be a function satisfying the following axioms:β if ;β, for all with ;βββ, for all with y;βββ (symmetry in all three variables);β for all , (rectangle inequality);then the function is called a generalized metric, or, more specifically, a -metric on and the pair are called a -metric space.
Definition 1.2 (see [1]). Let be a -metric space, and let be a sequence of points in , a point in is said to be the limit of the sequence if , and one says that sequence is -convergent to .
Thus, if in a -metric space , then for any , there exists such that , for all .
Proposition 1.3 (see [1]). Let be a -metric space, then the followings are equivalent.(1) is -convergent to .(2) as .(3) as .(4) as .
Definition 1.4 (see [1]). Let be a -metric space. A sequence is called -Cauchy sequence if for each there exists a positive integer such that for all ; that is, if as .
Definition 1.5 (see [1]). A -metric space is said to be -complete if every -Cauchy sequence in is -convergent in .
Proposition 1.6 (see [1]). Let be a -metric space. Then the following are equivalent.(1)The sequence is -Cauchy.(2)For every , there exists such that , for all .
Proposition 1.7 (see [1]). Let be a -metric space. Then the function is jointly continuous in all three of its variables.
Definition 1.8 (see [1]). Let and be -metric space, and be a function. Then is said to be -continuous at a point if and only if for every , there is such that and implies . A function is -continuous at if and only if it is -continuous at all .
Proposition 1.9 (see [1]). Let and be -metric space. Then is -continuous at if and only if it is -sequentially continuous at ; that is, whenever is -convergent to , is -convergent to .
Proposition 1.10 (see, [1]). Let be a -metric space. Then, for any in it follows that:(i)if , then ;(ii);
(iii);
(iv);
(v);(vi).
2. Main Results
Theorem 2.1. Let be a complete -metric space. Suppose the three self-mappings satisfy the following condition:
for all , where are nonnegative real numbers and . Then , and have a unique common fixed point (say ) and are all -continuous at .
Proof . We will proceed in two steps. Step 1. We prove any fixed point of is a fixed point of and and conversely. Assume that is such that . However, by (2.1), we have
Now we discuss the above inequality in three cases. Case (i). If and , then, by , we have
So, the above inequality becomes
Since , hence we have ; however, it contradicts with , so we get . Case (ii). If , then we have
Hence we have and so . Case (iii). If , we can also get . Hence we have . Therefore is a common fixed point of and . The same conclusion holds if or . Step 2. We prove that , , and have a unique common fixed point. Let be an arbitrary point, and define the sequence by , . If , for some , with , then is a fixed point of and, by the first step, is a common fixed point of , , and . The same holds if or . Without loss of generality, we can assume that , for all . Next, we prove sequence is a -Cauchy sequence. In fact, by (2.1) and , we have
Which gives that
It follows that
From we know that . Then, we have
On the other hand, by using (2.1) and , we have
Which implies that
It follows that
Form the condition , we know that . Therefore, we have
Again, using (2.1) and , we can get
Which implies that
It follows that
By the condition , we know that . Hence, we have
Let , then from we know that . Combining (2.9), (2.13), and (2.17), we have
Thus, by and , for every , noting that , we have
Which implies that , as . Thus is a -Cauchy sequence. Due to the completeness of , there exists , such that is -convergent to . Next we prove is a common fixed point of , and . By using (2.1), we have
Letting , and using the fact that is continuous on its variables, we can get
Which gives that , that is is a fixed point of . By using (2.1) again, we have
Letting at both sides, for is continuous on its variables, it follows that
Therefore, ; that is, is a fixed point of . Similarly, by (2.1), we can also get
On taking at both sides, since is continuous on its variables, we get that
Which gives that , therefore, is fixed point of . Consequently, we have , and is a common fixed point of and . Suppose is another common fixed point of , and , and we have , then by (2.1), we have
Which implies that , hence, . Then we know the common fixed point of , and is unique. To show that is -continuous at , let be any sequence in such that is -convergent to . For , we have
Which implies that . Hence is -convergent to . So is -continuous at . Similarly, we can also prove that are -continuous at . Therefore, we complete the proof.
Corollary 2.2. Let be a complete -metric space. Suppose the three self-mappings satisfy the condition:
for all , where are nonnegative real numbers and . Then , and have a unique common fixed point (say ) and are all -continuous at .
Proof. From Theorem 2.1 we know that have a unique common fixed point (say ); that is, , and are -continuous at . Since , so is another fixed point of , , so is another fixed point of , and , so is another fixed point of . By and the condition (2.28) in Corollary 2.2, we have
Since , we can get . That means , hence is another common fixed point of -and . Since the common fixed point of -and is unique, we deduce that . By the same argument, we can prove . Thus, we have . Suppose is another common fixed point of , and , then , and by using the condition (2.28) in Corollary 2.2 again, we have
Which implies that , hence . So the common fixed of , and is unique. It is obvious that every fixed point of is a fixed point of and and conversely.
Corollary 2.3. Let be a complete -metric space. Suppose the self-mapping satisfies the following condition:
for all , where are nonnegative real numbers and . Then has a unique fixed point (say ) and is -continuous at .
Proof. Let in Theorem 2.1, we can get this conclusion holds.
Corollary 2.4. Let be a complete -metric space. Suppose the self-mapping satisfies the following condition:
for all , where are nonnegative real numbers and . Then has a unique fixed point (say ) and is -continuous at .
Proof. Let in Corollary 2.2, we can get this conclusion holds.
Theorem 2.5. Let be a complete -metric space, and let be three self-mappings in , which satisfy the following condition.
for all , are nonnegative real numbers and . Then and have a unique common fixed point (say ) and are all -continuous at .
Proof. We will proceed in two steps. Step 1. We prove any fixed point of is a fixed point of and and conversely. Assume that is such that . Now we prove that and . If it is not the case, then for and , by (2.33) and we have
It follows that
Since , hence we have , however it contradicts with the condition , so we can have , hence is a common fixed point of , and . Analogously, following the similar arguments to those given above, we can obtain a contradiction for and or and . Hence in all the cases, we conclude that . The same conclusion holds if or . Step 2. We prove that , and have a unique common fixed point. Let be an arbitrary point, and define the sequence by , . If , for some , with , then is a fixed point of and, by the first step, is a common fixed point of , , and . The same holds if or . Without loss of generality, we can assume that , for all . We first prove the sequence is a -Cauchy sequence. In fact, by using (2.33) and , we have
Which gives that
It follows that
From , we know that . Then, we have
On the other hand, by using (2.33) and , we have
Which implies that
It follows that
Since , we know that . So, we have
Again, using (2.33) and , we can get
Which implies that
It follows that
Since , we know that . So we have
Let , then , and by combining (2.39), (2.43), and (2.47), we have
Thus, by and , for every , if , noting that , we have
Which implies that , as . Thus is a -Cauchy sequence. Due to the completeness of , there exists , such that is -convergent to . Now we prove is a common fixed point of , and . By using (2.33), we have
Letting , and using the fact that is continuous on its variables and , we can get
Which gives that , hence is a fixed point of . By using (2.33) again, we have
Letting at both sides, for is continuous in its variables, it follows that
For , Therefore, we can get , hence , hence is a fixed point of . Similarly, by (2.33), we can also get
On taking at both sides, since is continuous in its variables, we get that
Since , so we get , hence , therefore, is a fixed point of . Consequently, we have , and is a common fixed point of , and . Suppose is another common fixed point of , and , and we have , then by (2.33), we have
Which gives that
Hence, we can get . By using (2.33) again, we get
Which implies that
Hence, we can get
By combining , we can have
Since , so we have that . Since , we know , so itβs a contradiction. Hence, we get . Then we know the common fixed point of , and is unique. To show that is -continuous at , let be any sequence in such that is -convergent to . For , we have
Which implies that
On taking at both sides, considering , we get . Hence is -convergent to . So is -continuous at . Similarly, we can also prove that are -continuous at . Therefore, we complete the proof.
Now we introduce an example to support Theorem 2.5.
Example 2.6. Let , and let be a -metric space defined by , for all in . Let , , and be three self-mappings defined by
Next we proof the mappings , , and are satisfying Condition (2.33) of Theorem 2.5 with , and .
Case 1. If , , then
Thus, we have
Case 2. If , then we can get
Thus, we have
Case 3. If , then we have
Thus, we have
Case 4. If , then we have
Thus, we have
Then in all of the above cases, the mappings , and satisfy the contractive condition (2.33) of Theorem 2.5 with . So that all the conditions of Theorem 2.5 are satisfied. Moreover, is the unique common fixed point for all of the three mappings , and .
At last, we prove , and are all -continuous at the common fixed point . Since , and let the sequence and , then there exists such that , for all . Without loss of generality, we can assume that , and so and . Therefore,
Which implies that , and are all -continuous at the common fixed point .
Corollary 2.7. Let be a complete -metric space. Suppose the three self-mappings satisfy the condition:
for all , where , are nonnegative real numbers and . Then , and have a unique common fixed point (say ) and are all -continuous at .
Proof. Since the proof of Corollary 2.7 is very similar to that of Corollary 2.2, so we delete it.
Corollary 2.8. Let be a complete -metric space, and let be a self-mapping in , which satisfies the following condition:
for all , where are nonnegative real numbers and . Then has a unique fixed point (say ) and is -continuous at .
Corollary 2.9. Let be a complete -metric space, and let be a self-mapping in , which satisfies the following condition:
for all , where are nonnegative real numbers and . Then has a unique fixed point (say ) and is -continuous at .
Acknowledgments
The present studies are supported by the National Natural Science Foundation of China (11071169), the Natural Science Foundation of Zhejiang Province (Y6110287, Y12A010095).
References
Z. Mustafa and B. Sims, βA new approach to generalized metric spaces,β Journal of Nonlinear and Convex Analysis, vol. 7, no. 2, pp. 289β297, 2006.
M. Abbas and B. E. Rhoades, βCommon fixed point results for noncommuting mappings without continuity in generalized metric spaces,β Applied Mathematics and Computation, vol. 215, no. 1, pp. 262β269, 2009.
Z. Mustafa, H. Obiedat, and F. Awawdeh, βSome fixed point theorem for mapping on complete -metric spaces,β Fixed Point Theory and Applications, vol. 2008, Article ID 189870, 12 pages, 2008.
Z. Mustafa, W. Shatanawi, and M. Bataineh, βExistence of fixed point results in -metric spaces,β International Journal of Mathematics and Mathematical Sciences, vol. 2009, Article ID 283028, 10 pages, 2009.
Z. Mustafa and B. Sims, βFixed point theorems for contractive mappings in complete -metric spaces,β Fixed Point Theory and Applications, Article ID 917175, 10 pages, 2009.
Z. Mustafa, F. Awawdeh, and W. Shatanawi, βFixed point theorem for expansive mappings in -metric spaces,β International Journal of Contemporary Mathematical Sciences, vol. 5, no. 49–52, pp. 2463β2472, 2010.
Z. Mustafa, M. Khandagji, and W. Shatanawi, βFixed point results on complete -metric spaces,β Studia Scientiarum Mathematicarum Hungarica, vol. 48, no. 3, pp. 304β319, 2011.
S. Manro, S. S. Bhatia, and S. Kumar, βExpansion mappings theorems in -metric spaces,β International Journal of Contemporary Mathematical Sciences, vol. 5, no. 49–52, pp. 2529β2535, 2010.
W. Shatanawi, βFixed point theory for contractive mappings satisfying -maps in -metric spaces,β Fixed Point Theory and Applications, vol. 2010, Article ID 181650, 9 pages, 2010.
R. Chugh, T. Kadian, A. Rani, and B. E. Rhoades, βProperty in -metric spaces,β Fixed Point Theory and Applications, vol. 2010, Article ID 401684, 12 pages, 2010.
M. Abbas, T. Nazir, and S. Radenović, βSome periodic point results in generalized metric spaces,β Applied Mathematics and Computation, vol. 217, no. 8, pp. 4094β4099, 2010.
H. Obiedat and Z. Mustafa, βFixed point results on a nonsymmetric -metric spaces,β Jordan Journal of Mathematics and Statistics, vol. 3, no. 2, pp. 65β79, 2010.
K. P. R. Rao, A. Sombabu, and J. Rajendra Prasad, βA common fixed point theorem for six expansive mappings in -metric spaces,β Kathmandu University Journal of Science, Engineering and Technology, vol. 7, no. 1, pp. 113β120, 2011.
M. Abbas, T. Nazir, and R. Saadati, βCommon fixed point results for three maps in generalized metric space,β Advances in Difference Equations, vol. 49, pp. 1β20, 2011.
L. Gajić and Z. Lozanov-Crvenković, βA fixed point result for mappings with contractive iterate at a point in -metric spaces,β Filomat, vol. 25, no. 2, pp. 53β58, 2011.
R. K. Vats, S. Kumar, and V. Sihag, βSome common fixed point theorem for compatible mappings of type (A) in complete -metric space,β Advances in Fuzzy Mathematics, vol. 6, no. 1, pp. 27β38, 2011.
H. Aydi, βA fixed point result involving a generalized weakly contractive condition in G-metric spaces,β Bulletin Mathematical Analysis and Applications, vol. 3, no. 4, pp. 180β188, 2011.
M. Abbas, S. H. Khan, and T. Nazir, βCommon fixed points of -weakly commuting maps in generalized metric spaces,β Fixed Point Theory and Applications, vol. 2011, article 41, 2011.
H. Aydi, W. Shatanawi, and C. Vetro, βOn generalized weak -contraction mapping in -metric spaces,β Computers & Mathematics with Applications, vol. 62, no. 11, pp. 4222β4229, 2011.
W. Shatanawi, βCoupled fixed point theorems in generalized metric spaces,β Hacettepe Journal of Mathematics and Statistics, vol. 40, no. 3, pp. 441β447, 2011.
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.
A. Kaewcharoen, βCommon fixed point theorems for contractive mappings satisfying -maps in -metric spaces,β Banach Journal of Mathematical Analysis, vol. 6, no. 1, pp. 101β111, 2012.
M. Abbas, T. Nazir, and D. Dorić, βCommon fixed point of mappings satisfying (E.A) property in generalized metric spaces,β Applied Mathematics and Computation, vol. 218, no. 14, pp. 7665β7670, 2012.
R. Saadati, S. M. Vaezpour, P. Vetro, and B. E. Rhoades, βFixed point theorems in generalized partially ordered -metric spaces,β Mathematical and Computer Modelling, vol. 52, no. 5-6, pp. 797β801, 2010.
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.
H. Aydi, B. Damjanović, B. Samet, and W. Shatanawi, βCoupled fixed point theorems for nonlinear contractions in partially ordered -metric spaces,β Mathematical and Computer Modelling, vol. 54, no. 9-10, pp. 2443β2450, 2011.
N. V. Luong and N. X. Thuan, βCoupled fixed point theorems in partially ordered -metric spaces,β Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 1601β1609, 2012.
M. Abbas, M. Ali Khan, and S. Radenović, βCommon coupled fixed point theorems in cone metric spaces for -compatible mappings,β Applied Mathematics and Computation, vol. 217, no. 1, pp. 195β202, 2010.
F. Gu and Z. He, βThe common fixed point theorems for a class of twice power type -contraction mapping,β Journal of Shangqiu Teachers College, vol. 22, no. 5, pp. 27β323, 2006.