Skip to main content

Advertisement

You are viewing the new article page. Let us know what you think. Return to old version

Research | Open | Published:

Some fixed and coincidence point theorems for expansive maps in cone metric spaces

Abstract

In this article, we establish some common fixed and common coincidence point theorems for expansive type mappings in the setting of cone metric spaces. Our results extend some known results in metric spaces to cone metric spaces. Also, we introduce some examples the support the validity of our results.

Mathematics Subject Classification: 54H25; 47H10; 54E50.

1. Introduction

Huang and Zhang [1] introduced the notion of cone metric spaces as a generalization of metric spaces. They replacing the set of real numbers by an ordered Banach space. Huang and Zhang [1] presented the notion of convergence of sequences in cone metric spaces and proved some fixed point theorems. Then after, many authors established many fixed point theorems in cone metric spaces. For some fixed point theorems in cone metric spaces we refer the reader to [230].

In the present article, E stands for a real Banach space.

Definition 1.1. Let P be a subset of E with Int ( P ) . Then P is called a cone if the following conditions are satisfied:

  1. (1)

    P is closed and P ≠ {θ}.

  2. (2)

    a, b R + , x, y P implies ax + by P.

  3. (3)

    x P ∩ -P implies x = θ.

For a cone P, define a partial ordering with respect to P by x y if and only if y - x P. We shall write x y to indicate that x y but xy, while x y will stand for y - x Int P. It can be easily shown that λInt(P) Int(P) for all positive scalar λ.

Definition 1.2. [1]Let X be a nonempty set. Suppose the mapping d : X × XE satisfies

  1. (1)

    θ d(x, y) for all x, y X and d(x, y) = θ if and only if x = y.

  2. (2)

    d(x, y) = d(y, x) for all x, y X.

  3. (3)

    d(x, y) d(x, z) + d(y, z) for all x, y X.

Then d is called a cone metric on X, and (X, d) is called a cone metric space.

Definition 1.3. [1]Let (X, d) be a cone metric space. Let (x n ) be a sequence in X and x X. If for every c E with θ c, there is an N N such that d(x n , x) c for all nN, then (x n ) is said to be convergent and (x n ) converges to x and x is the limit of (x n ). We denote this by limn→+∞x n = x or x n x as n → +∞. If for every c E with θ c there is an N N such that d(x n ,x m ) c for all n,mN, then (x n ) is called a Cauchy sequence in X. The space (X,d) is called a complete cone metric space if every Cauchy sequence is convergent.

The cone P in a real Banach space E is called normal if there is a number λ > 0 such that for all x,y E,

θ x y implies  x λ y .

Iiker Ṣahin and Mustafa Telci [30] studied a theorem on common fixed points of expansive type mappings in cone metric spaces.

Definition 1.4. [30]Let E and F be real Banach spaces and P and Q be cones in E and F, respectively. Let (X, d) and (Y, ρ) be cone metric spaces, where d : X × XE and ρ : Y × YF. A function f : XY is said to be continuous at x0 X, if for every c F with 0 c, there exists b E with 0 b such that ρ(fx, fx0) c whenever x X and d(x, x0) b.

Lemma 1.1. [30]Let (X, d) and (Y, ρ) be cone metric spaces. A function f : XY is continuous at a point x0 X if and only if whenever a sequence (x n ) in X converges to x0, the sequence (fx n ) converges to fx0.

Theorem 1.1. [30]Let (X, d) be a complete cone metric space and P be a cone. Let f and g be surjective self-mappings of X satisfying the following inequalities

d ( g f x , f x ) a d f x , x , d f g x , g x b d g x , x

for all x X, where a,b > 1. If either f or g is continuous, then f and g have a common fixed point.

The aim of this article is to study new theorems of common fixed and coincidence point for expansive mappings in cone metric spaces under a set of conditions. Our results generalize several well known comparable results in the literature. Also, we introduced some examples to support the validity of our results.

2. Main results

We start with the following theorem

Theorem 2.1. Let (X, d) be a cone metric space with a solid cone P. Let T, f : XX be mappings satisfying:

d T x , T y a d f x , f y + b d ( f x , T x ) + c d ( f y , T y )
(1)

for all x, y X where a,b,c ≥ 0 with a + b +c > 1. Suppose the following hypotheses:

  1. (1)

    b < 1 or c < 1.

  2. (2)

    fX TX.

  3. (3)

    TX is a complete subspace of X.

Then T and f have a coincidence point.

Proof. Let x0 X. Since fX TX, we choose x1 X such that Tx1 = fx0. Again, we can choose x2 X such that Tx2 = fx1. Continuing in the same way, we construct a sequence (x n ) in X such that Txn+ 1= fx n for all n N {0}.

If fxm-1= fx m for some m N, then Tx m = fx m . Thus x m is a coincidence point of T and f.

Now, assume that xn-1x n for all n N.

Case (1): Suppose b < 1.

By (1), we have

d f x n - 1 , f x n = d T x n , T x n + 1 a d f x n , f x n + 1 + b d ( f x n , T x n ) + c d ( f x n + 1 , T x n + 1 ) = a d f x n , f x n + 1 + b d ( f x n , f x n - 1 ) + c d f x n + 1 , f x n .

Thus, we have

( - b ) d f x n - 1 , f x n ( a + c ) d f x n + 1 , f x n .

Hence

d f x n + 1 , f x n 1 - b a + c d f x n - 1 , f x n .
(2)

Case (2): Suppose c < 1.

By (1), we have

d ( f x n , f x n - 1 ) = d T x n + 1 , T x n a d ( f x n + 1 , f x n ) + b d ( f x n + 1 , T x n + 1 ) + c d ( f x n , T x n ) = a d f x n , f x n + 1 + b d ( f x n + 1 , f x n ) + c d ( f x n , f x n - 1 ) .

Thus, we have

1 - c d ( f x n - 1 , f x n ) ( a + b ) d f x n + 1 , f x n .

Hence

d f x n + 1 , f x n 1 - c a + b d f x n - 1 , f x n .
(3)

In Case (1), we let

λ = 1 - b a + c

and in Case (2), we let

λ = 1 - c a + b .

Thus in both cases, we have λ < 1 and

d f x n + 1 , f x n λ d ( f x n - 1 , f x n ) .
(4)

By (4), we have

d ( f x n + 1 , f x n ) λ d ( f x n - 1 , f x n ) λ 2 d ( f x n - 2 , f x n - 1 ) λ n d ( f x 0 , f x 1 ) .

So for m > n, we have

d ( f x n , f x m ) d ( f x n , f x n + 1 ) + d ( f x n + 1 , f x n + 2 ) + + d ( f x m - 1 , f x m ) ( λ n + λ n + 1 + + λ m - 1 ) d ( f x 0 , f x 1 ) λ n i = 0 + λ i d ( f x 0 , f x 1 ) = λ n 1 - λ d ( f x 0 , f x 1 ) .

Let θ c be given, choose δ > 0 such that c + Nδ(0) P, where

N δ ( 0 ) = { y E : y < δ } .

Also, choose a natural number N1 such that

λ n 1 - λ d ( f x 0 , f x 1 ) N δ ( 0 ) ,

for mN1. Then

λ n 1 - λ d ( f x 0 , f x 1 ) c ,

for all mN1. Thus,

d ( f x n , f x m ) λ n 1 - λ d ( f x 0 , f x 1 ) c ,

for all m > n. Therefore (Tx n ) is a cauchy sequence in (TX, d). Since (TX, d) is a complete cone metric space, there is u X such that (Tx n ) converges to Tu as n → +∞. Hence fx n converges to Tu as n → +∞. Since a + b + c > 1, we have a, b and c are not all 0. So we have the following cases.

Case 1: If a ≠ 0, then

d ( T x n , T u ) a d ( f x n , f u ) + b d ( f x n , T x n ) + c d ( f u , T u ) a d ( f x n , f u ) .

Hence

d ( f x n , f u ) 1 a d ( T x n , T u ) .

Let θ c be given, choose δ > 0 such that c + Nδ(0) P, where

N δ ( 0 ) = { y E : y < δ } .

Since 1 a d ( T x n , T u ) θ. We choose a natural number n0 N such that

1 a d ( T x n , T u ) N δ ( 0 ) ,

for nn0. Then

1 a d ( T x n , T u ) c ,

for all nn0. Thus,

d ( f x n , f u ) 1 a d ( T x n , T u ) c ,

for all nn0. Thus fx n fu as n → +∞. By uniqueness of limit, we have Tu = fu. Therefore T and f have a coincidence point.

Case 2: If b ≠ 0, then

d ( T u , T x n ) a d ( f x n , f u ) + b d ( f u , T u ) + c d ( f x n , T x n ) b d ( f u , T u ) .

Hence

d ( f u , T u ) 1 b d ( T x n , T u ) .

As similar proof of Case (1), we can show that fu = Tu. Thus f and T have a coincidence point.

Case 3: If c ≠ 0, then

d ( T x n , T u ) a d ( f x n , f u ) + b d ( f x n , T x n ) + c d ( T u , f u ) c d ( f u , T u ) .

Hence

d ( f u , T u ) 1 c d ( T x n , T u ) .

As similar proof of Case (1), we can show that fu = Tu. Thus f and T have a coincidence point.

Corollary 2.1. Let (X,d) be a cone metric space with a solid cone P. Let T, f : XX be mappings satisfying:

d ( T x , T y ) a d ( f x , f y ) + b d ( f x , T x )

for all x, y X where a, b ≥ 0 with a + b > 1 and b < 1. Suppose the following hypotheses:

  1. (1)

    fX TX.

  2. (2)

    TX is a complete subspace of X.

Then T and f have a coincidence point.

Corollary 2.2. Let (X, d) be a complete cone metric space with a solid cone P. Let T, f :XX be mappings satisfying:

d ( T x , T y ) a d ( f x , f y )

for all x, y X where a > 1. Suppose the following hypotheses:

  1. (1)

    fX TX.

  2. (2)

    TX is a complete subspace of X.

Then T and f have a coincidence point.

Corollary 2.3. Let (X, d) be a complete cone metric space with a solid cone P. Let T :XX be a surjective mapping satisfying:

d ( T x , T y ) a d ( x , y ) + b d ( x , T x ) + c d ( y , T y )

for all x, y X where a,b,c ≥ 0 with a + b + c > 1. Suppose b < 1 or c < 1. Then T has a fixed point.

Proof. Follows from Theorem 2.1 by taking f = I, the identity map.

Corollary 2.4. Let (X, d) be a complete cone metric space with a solid cone P. Let T :XX be a surjective mapping satisfying:

d ( T x , T y ) a d ( x , y )

for all x, y X where with a > 1. Then T has a fixed point.

Putting E = R, P = {x R : x ≥ 0} and d : X × XR in Corollaries 2.1 and 2.2, we have the following results:

Corollary 2.5. Let (X, d) be a complete metric space. Let T : XX be a surjective mapping satisfying:

d ( T x , T y ) a d ( x , y ) + b d ( x , T x )

for all x, y X where a, b ≥ 0 with a + b > 1 and b < 1. Then T has a fixed point.

Corollary 2.6. Let (X, d) be a complete metric space. Let T : XX be a surjective mapping satisfying:

d ( T x , T y ) a d ( x , y ) + b d ( y , T y )

for all x, y X where a, b ≥ 0 with a + b > 1 and b < 1. Then T has a fixed point.

Now, we present a fixed point theorem for two maps.

Theorem 2.2. Let T, S : XX be two surjective mappings of a complete cone metric space (X, d) with a solid cone P. Suppose that T and S satisfying the following inequalities

d ( T ( S x ) , S x ) + k d ( T ( S x ) , x ) a d ( S x , x )
(5)

and

d ( S ( T x ) , T x ) + k d ( S ( T x ) , x ) b d ( T x , x )
(6)

for all x X and some nonnegative real numbers a, b and k with a > 1 + 2k and b >1 + 2k. If T or S is continuous, then T and S have a common fixed point

Proof. Let x0 be an arbitrary point in X. Since T is surjective, there exists x1 X such that x0 = Tx1. Also, since S is surjective, there exists x2 X such that x2= Sx1. Continuing this process, we construct a sequence (x n ) in X such that x2n= Tx2n+1and x2n+1= Sx2n+2for all n N {0}. Now, for n N {0}, we have

d ( T ( S x 2 n + 2 ) , S x 2 n + 2 ) + k d ( T ( S x 2 n + 2 ) , x 2 n + 2 ) a d ( S x 2 n + 2 , x 2 n + 2 ) .

Thus, we have

d ( x 2 n , x 2 n + 1 ) + k d ( x 2 n , x 2 n + 2 ) a d ( x 2 n + 1 , x 2 n + 2 ) ,

which implies that

d ( x 2 n , x 2 n + 1 ) + k d ( x 2 n , x 2 n + 1 ) + k d ( x 2 n + 1 , x 2 n + 2 ) a d ( x 2 n + 1 , x 2 n + 2 ) .

Hence

d ( x 2 n + 1 , x 2 n + 2 ) 1 + k a - k d ( x 2 n , x 2 n + 1 )
(7)

On other hand, we have

d ( S ( T x 2 n + 1 ) , T x 2 n + 1 ) + k d ( S ( T x 2 n + 1 ) , x 2 n + 1 ) b d ( T x 2 n + 1 , x 2 n + 1 ) .

Thus, we have

d ( x 2 n - 1 , x 2 n ) + k d ( x 2 n - 1 , x 2 n + 1 ) b d ( x 2 n , x 2 n + 1 ) .

Since d(x2n- 1,x2n) + d(x2n, x2n+1) d(x2n- 1,x2n+ 1), we have

d ( x 2 n - 1 , x 2 n ) + k d ( x 2 n - 1 , x 2 n ) + k d ( x 2 n , x 2 n + 1 ) b d ( x 2 n , x 2 n + 1 ) .

Hence

d ( x 2 n , x 2 n + 1 ) 1 + k b - k d ( x 2 n - 1 , x 2 n )
(8)

Let

λ = max 1 + k a - k , 1 + k b - k .

Then by combining (7) and (8), we have

d ( x n , x n + 1 ) λ d ( x n - 1 , x n ) n N { 0 } .
(9)

Repeating (9) n-times, we get

d ( x n , x n + 1 ) λ n d ( x 0 , x 1 ) .

Thus, for m > n, we have

d ( x n , x m ) d ( x n , x n + 1 ) + d ( x m - 1 , x m ) ( λ n + + λ m - 1 ) d ( x 0 , x 1 ) λ n 1 - λ d ( x 0 , x 1 ) .

As similar arguments to proof of Theorem 2.1, we can show that (x n ) is a Cauchy sequence in the complete cone metric space (X, d). Then there exists v X such that x n v as n → +∞. Therefore x2n+ 1v and x2n+ 2v as n → +∞. Without loss of generality, we may assume that T is continuous, then Tx2n+ 1Tv as n → +∞. But Tx2n+ 1= x 2n v as n → +∞. Thus, we have Tv = v. Since S is surjective, there exists w X such that Sw = v. Now,

d ( T ( S w ) , S w ) + k d ( T ( S w ) , w ) a d ( S w , w ) ,

implies that kd(v,w) ad(v,w). Thus

d ( v , w ) k a d ( v , w ) .

Since a > k, we conclude that d(v, w) = θ. So v = w. Hence Tv = Sv = v. Therefore v is a common fixed point of T and S.

By taking b = a in Theorem 2.2, we have the following result.

Corollary 2.7. Let T, S : XX be two surjective mappings of a complete cone metric space (X, d) with a solid cone P. Suppose that T and S satisfying the following inequalities

d ( T ( S x ) , S x ) + k d ( T ( S x ) , x ) a d ( S x , x )
(10)

and

d ( S ( T x ) , T x ) + k d ( S ( T x ) , x ) a d ( T x , x )
(11)

for all x X and some nonnegative real numbers a and k with a > 1 + 2k. If T or S is continuous, then T and f have a common fixed point

By taking S = T in Corollary 2.7, we have the following corollary.

Corollary 2.8. Let T : XX be a surjective mapping of a complete cone metric space (X, d) with a solid cone P. Suppose that T satisfying

d ( T ( T x ) , T x ) + k d ( T ( T x ) , x ) a d ( T x , x )
(12)

for all x X and some nonnegative real number a and k with a > 1 + 2k. If T is continuous, then T has a fixed point.

Now, we present some examples to illustrate the useability of our results.

Example 2.1. (The case of normal cone) Let X = [0,+∞), E = R2. Let P = {(a, b) :a0,b ≥ 0} be the cone with d(x, y) = (|x - y|, |x - y|). Then (X, d) is a complete cone metric space. Define T : XX by Tx = 2x. Then T has a fixed point.

Proof. Note that

d ( T ( T x ) , T x ) + d ( T ( T x ) , x ) 4 d ( T x , x )

for all x X. Thus T satisfies all the hypotheses of Corollary 2.8 and hence T has a fixed point. Here 0 is the fixed point of T.

Example 2.2. (The case of non-normal cone) Let X = [0, 1], E= C R 1 ( [ 0 , 1 ] ) . Let P = {ϕ E: ϕ(t) ≥ 0, t [0, 1]}. Define the mapping d : X × XE by

d ( x , y ) ( t ) : = x - y ϕ ( t ) ,

where ϕ P is a fixed function, for example ϕ(t) = et. Define T, f : XX byTx= 1 4 xandfx= 1 16 x. Then T and f have a coincidence point.

Proof. Note that

d ( T x , T y ) ( t ) = 1 4 x - 1 4 y e t = 4 1 16 x - 1 16 y e t = 4 d ( f x , f y ) ( t )

for all x, y X and t [0, 1]. Thus T and f satisfy all the hypotheses of Corollary 2.2 and hence T and f have a coincidence point. Here 0 is the coincidence point of T and f.

Remarks:

  1. (1)

    Theorem 4.1 of [29] is a special case of Theorem 2.2.

  2. (2)

    Corollary 4.1 of [29] is a special case of Corollary 2.8.

  3. (3)

    Theorem 4 of [31] is a special case of Corollary 2.8.

References

  1. 1.

    Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J Math Anal Appl 2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087

  2. 2.

    Arshad M, Azam A, Beg I: Common fixed points of two maps in cone metric spaces. Rend Circ Mat Palermo 2008, 57: 433–441. 10.1007/s12215-008-0032-5

  3. 3.

    Arshad M, Azam A, Vetro P: Some common fixed point results in cone metric spaces. Fixed Point Theory Appl 2009, 2009: 11. (Article ID 493965)

  4. 4.

    Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for w -compatible mappings. Appl Math Comput 2010.

  5. 5.

    Abbas M, Rhoades BE: Fixed and periodic point results in cone metric spaces. Appl Math Lett 2009, 22: 511–515. 10.1016/j.aml.2008.07.001

  6. 6.

    Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J Math Anal Appl 2008, 341: 416–420. 10.1016/j.jmaa.2007.09.070

  7. 7.

    Altun I, Durmaz G: Some fixed point theorems on ordered cone metric spaces. Rend Circ Mat Palermo 2009, 58: 319–325. 10.1007/s12215-009-0026-y

  8. 8.

    Altun I, Damjanović B, Djorić D: Fixed point and common fixed point theorems on ordered cone metric spaces. Appl Math Lett 2010, 23: 310–316. 10.1016/j.aml.2009.09.016

  9. 9.

    Aydi H, Nashine HK, Samet B, Yazidi H: Coincidence and common fixed point results in partially ordered cone metric spaces and applications to integral equations. Nonlinear Anal 2011, 74: 6814–6825. 10.1016/j.na.2011.07.006

  10. 10.

    Aydi H, Samet B, Vetro C: Coupled fixed point results in cone metric spaces for compatible mappings. Fixed Point Theory Appl 2011, 2011: 27. 10.1186/1687-1812-2011-27

  11. 11.

    Azam A, Beg I, Arshad M: Fixed point in topological vector space-valued cone metric spaces. Fixed Point Theory Appl 2010, 2010: 9. (Article ID 604084)

  12. 12.

    Choudhury BS, Metiya N: Fixed points of weak contractions in cone metric spaces. Nonlinear Anal 2010, 72: 1589–1593. 10.1016/j.na.2009.08.040

  13. 13.

    Choudhury BS, Metiya N: The point of coincidence and common fixed point for a pair of mappings in cone metric spaces. Comput Math Appl 2010, 60: 1686–1695. 10.1016/j.camwa.2010.06.048

  14. 14.

    Dordivić M, Dorić D, Kadelburg Z, Radenović S, Spasić D: Fixed point results under c -distance in tvs-cone metric spaces. Fixed Point Theory Appl 2011, 2011: 29. 10.1186/1687-1812-2011-29

  15. 15.

    Di Bari C, Vetro P: Weakly φ -pairs and common fixed points in cone metric spaces. Rend Circ Mat Palermo 2009, 58: 125–132. 10.1007/s12215-009-0012-4

  16. 16.

    Di Bari D, Vetro P: φ -pairs and common fixed points in cone metric spaces. Rend Circolo Matematico di Palermo 2008, 57: 279–285. 10.1007/s12215-008-0020-9

  17. 17.

    Wei-Shih Du: A note on cone metric fixed point theory and its equivalence. Nonlinear Anal 2010, 72: 2259–2261. 10.1016/j.na.2009.10.026

  18. 18.

    Ilić D, Rakočević V: Quasi-contraction on a cone metric space. Appl Math Lett 2009, 22: 728–731. 10.1016/j.aml.2008.08.011

  19. 19.

    Ilić D, Rakočević V: Common fixed points for maps on cone metric space. J Math Anl Appl 2008, 341: 876–882. 10.1016/j.jmaa.2007.10.065

  20. 20.

    Janković S, Kadelburg Z, Radenović S, Rhoades BE: Assad-Kirk-Type fixed point theorems for a pair of nonself mappings on cone metric spaces. Fixed Point Theory Appl 2009., 2009: (Article ID 761086)

  21. 21.

    Janković S, Golubović Z, Radenović S: Compatible and weakly compatible mappings in cone metric spaces. Math Comput Model 2010, 52: 1728–1738. 10.1016/j.mcm.2010.06.043

  22. 22.

    Kadelburg Z, Pavlović M, Radenović S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces. Comput Math Appl 2010, 59: 3148–3159. 10.1016/j.camwa.2010.02.039

  23. 23.

    Khojasteh F, Razani A, Moradi S: A fixed point of generalized T F -contraction mappings in cone metric spaces. Fixed Point Theory Appl 2011, 2011: 14. 10.1186/1687-1812-2011-14

  24. 24.

    Sumitra R, Rhymend Uthariaraj R, Hemavathy R, Vijayaraju P: Common fixed point theorem for non-self mappings satisfying generalized Ćirić type contraction condition in cone metric space. Fixed Point Theory Appl 2010, 2010: 17. (Article ID 408086)

  25. 25.

    Shatanawi W: Some common coupled fixed point results in cone metric spaces. Int J Math Anal 2010, 4: 2381–2388.

  26. 26.

    Shatanawi W: Partially ordered cone metric spaces and coupled fixed point results. Comput Math Appl 2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074

  27. 27.

    D Turkoglu D, Abuloha M: Cone metric spaces and fixed point theorems in diametrically contractive mappings. Acta Mathematica Sinica (English Series) 2010, 26: 489–496.

  28. 28.

    Vetro P: Common fixed points in cone metric spaces. Rend Circ Mat Palermo 2010, 56: 464–468.

  29. 29.

    Şahin İ, Telci M: Fixed points of contractive mappings on complete cone metric spaces. Hacet J Math Stat 2009, 38: 59–67.

  30. 30.

    Ṣahin İ, Telci M: A theorem on common fixed points of expansion type mappings in cone metric spaces. An Şt Univ Ovidius Constanţa 2010, 18: 329–336.

  31. 31.

    Wang SZ, Li BY, Gao ZM, Iseki K: Some fixed point theorems on expansion mappings. Math Japon 1984, 29: 631–636.

Download references

Acknowledgements

The authors thank the editor and the referees for their useful comments and suggestions.

Author information

Correspondence to Fadi Awawdeh.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

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

Rights and permissions

Reprints and Permissions

About this article

Keywords

  • common fixed point
  • cone metric space
  • coincidence fixed point