Skip to main content

Fixed points of weak α-contraction type maps

Abstract

In this paper, the concept of weak α-contraction type maps is introduced, and some new fixed point theorems for these maps are established. An example to illustrate the main result is given.

MSC:47H10, 54H25.

1 Introduction and preliminaries

Banach’s contraction principle [1] is one of very important theorems in nonlinear analysis. Its significance lies in its vast applicability in a number of branches of mathematics. A lot of authors (see [214] and references therein) gave generalizations and extensions of it in many directions.

Alber and Guerre-Delabriere [15] introduced the notion of weakly contractive maps in Hilbert spaces and proved that any weakly contractive map defined on complete Hilbert spaces has a unique fixed point. Rhoades [16] reintroduced the notion of weakly contractive maps in the setting of metric spaces and proved that any weakly contractive map defined on complete metric spaces has a unique fixed point. Since then, many authors ([5, 6, 1722] and reference therein) study fixed point results for weak contraction type maps.

The authors of [11] showed that fixed point generalizations to partial metric spaces can be obtained from the corresponding results in metric spaces, and they obtained fixed point results for weakly contractive type maps in partial metric spaces.

Especially, Harjani and Sadarangani [23] extended the result of Rhoades [16] to the case of partially ordered metric spaces.

Recently, Samet et al. [24] introduced the concept of α-ψ-contractive maps in metric spaces and obtained some fixed point results for these maps.

Afterward, the authors of [4] introduced the notion of α-ψ-quasi-contractive maps and obtained some fixed point results. The authors of [25] proved some approximate fixed point theorems, by introducing the notion of generalized α-contractive maps. The authors of [26] gave some coupled fixed point results for α-ψ-contractive type maps and gave the sufficient condition for the existence of a unique coupled fixed point for α-ψ-contractive type maps. Recently, the authors of [27] gave applications of the result of [24] to the existence and uniqueness of a solution for the nonlinear fractional differential equations.

On the other hand, the authors of [28] obtained a generalization of the results of [24] to the case of multifunctions, by introducing the notions of α -admissible multifunctions and α -ψ-contractive multifunctions. Also, the authors of [29] gave a generalization of the results of [24] to the case of multifunctions, by introducing the notions of property ( C α ), α-admissible multifunctions and α-ψ-Ćirić-contractive multifunctions.

Very recently, Cho [17] introduced the notion of weakly α-contractive maps in metric spaces and proved a fixed point theorem for these maps.

In [17], the following theorem, which is a generalization of the results of Rhoades [16] and Harjani and Sadarangani [23], is proved.

Theorem 1.1 Let (X,d) be a complete metric space, α:X×X R + be a function, and let T:XX be a map. Suppose that the following are satisfied:

  1. (1)

    T is a weakly α-contractive map, i.e.

    α(x,y)d(Tx,Ty)d(x,y)η ( d ( x , y ) )

    for all x,yX, where η:[0,)[0,) is a nondecreasing function such that η is positive on (0,), η(0)=0 and lim t η(t)=;

  2. (2)

    for each x,y,zX, α(x,y)1 and α(y,z)1 implies α(x,z)1;

  3. (3)

    T is α-admissible, i.e. α(x,y)1 implies α(Tx,Ty)1;

  4. (4)

    there exists x 0 X such that α( x 0 ,T x 0 )1;

  5. (5)

    either T is continuous or lim n infα( T n x 0 ,x)>0 for any cluster point x of { T n x 0 }.

Then T has a fixed point in X. Further if, for all x,yX, there exists zX such that α(x,z)1 and α(y,z)1, then T has a unique fixed point.

In this paper, we introduce the concept of weakly α-contractive type maps in metric spaces and establish some new fixed point theorems for these maps. We have generalizations of the results in the literature.

We denote by Ψ the family of all functions ψ: R + 4 R + such that

( ψ 1 ) ψ is nondecreasing and continuous in each coordinate;

( ψ 2 ) ψ(t,t,t,t)t for all t>0;

( ψ 3 ) ψ( t 1 , t 2 , t 3 , t 4 )=0 if and only if t 1 = t 2 = t 3 = t 4 =0.

From now on, let η: R + R + be a nondecreasing function such that

  1. (1)

    η(t)>0 for all t>0;

  2. (2)

    η(0)=0.

Lemma 1.1 Let (X,d) be a metric space, α:X×X R + be a function, and let T:XX be a map. If conditions (2), (3) and (4) of Theorem  1.1 are satisfied, then we have

α ( T i x 0 , T j x 0 ) 1

for all i,jN{0} (i<j).

Let (X,d) be a cone metric space, and α:X×X[0,) be a function.

We say that X satisfies condition (B) [26] whenever, for each sequence { x n } in X with α( x n , x n + 1 )1 for all nN and lim n x n =x, we have α( x n ,x)1 for all nN.

Also, we say that X satisfies condition ( C α ) [29] whenever, for each sequence { x n } in X with α( x n , x n + 1 )1 for all nN and lim n x n =x, there exists a subsequence { x n ( k ) } of { x n } such that α( x n ( k ) ,x)1 for all kN.

Lemma 1.2 Let (X,d) be a metric space, and α:X×X[0,) be a function. We consider the following conditions:

  1. (1)

    if { x n } is a sequence in X such that α( x n , x n + 1 )1 for all n, then lim n supα( x n ,x)1 for any cluster point x of { x n };

  2. (2)

    X satisfies condition ( C α );

  3. (3)

    X satisfies condition (B).

Then (3) implies (2), and (2) implies (1).

2 Fixed points

Let (X,d) be a metric space, and let α:X×X[0,) be a function and ψΨ. A mapping T:XX is called weak α-contractive type if, for all x,yX,

α(x,y)d(Tx,Ty)q(x,y)η ( q ( x , y ) ) ,
(2.1)

where q(x,y)=ψ(d(x,y),d(x,Tx),d(y,Ty), 1 2 {d(x,Ty)+d(y,Tx)}).

Theorem 2.1 Let (X,d) be a complete metric space. Suppose that a weak α-contractive type map T:XX satisfies the following:

  1. (1)

    there exists x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j);

  2. (2)

    either T is continuous or

    lim n supα ( T n x 0 , x ) 1
    (2.2)

for any cluster point x of { T n x 0 }.

Then T has a fixed point in X.

Proof Let x 0 X be such that α( T i x 0 , T j x 0 )1 for all i,jN{0} (i<j). Define a sequence { x n }X by x n + 1 =T x n for nN{0}.

If x n = x n + 1 for some nN{0}, then x n is a fixed point of T, and the proof is finished.

Assume that x n x n + 1 for all nN{0}.

From (2.1) we have

d ( x n , x n + 1 ) = d ( T x n 1 , T x n ) α ( x n 1 , x n ) d ( T x n 1 , T x n ) q ( x n 1 , x n ) η ( q ( x n 1 , x n ) ) .
(2.3)

Here,

q ( x n 1 , x n ) = ψ ( d ( x n 1 , x n ) , d ( x n 1 , T x n 1 ) , d ( x n , T x n ) , 1 2 { d ( x n , T x n 1 ) + d ( x n 1 , T x n ) } ) = ψ ( d ( x n , x n 1 ) , d ( x n 1 , x n ) , d ( x n , x n + 1 ) , 1 2 d ( x n 1 , x n + 1 ) ) .
(2.4)

Since d( x n 1 , x n )>0, we have q( x n 1 , x n )>0 and so η(q( x n 1 , x n ))>0.

Thus, from (2.3) we have

d ( x n , x n + 1 ) < q ( x n 1 , x n ) ψ ( d ( x n 1 , x n ) , d ( x n 1 , x n ) , d ( x n , x n + 1 ) , 1 2 { d ( x n 1 , x n ) + d ( x n , x n + 1 ) } ) .
(2.5)

If d( x n 1 , x n )d( x n , x n + 1 ) for some nN, then

d ( x n , x n + 1 ) < ψ ( d ( x n 1 , x n ) , d ( x n 1 , x n ) , d ( x n , x n + 1 ) , 1 2 { d ( x n 1 , x n ) + d ( x n , x n + 1 ) } ) ψ ( d ( x n , x n + 1 ) , d ( x n , x n + 1 ) , d ( x n , x n + 1 ) , d ( x n , x n + 1 ) ) d ( x n , x n + 1 ) ,

which is a contradiction.

Hence, d( x n , x n + 1 )<d( x n 1 , x n ) for all nN. So the sequence {d( x n 1 , x n )} is decreasing. Thus, there exists r0 such that lim n d( x n 1 , x n )=r. Since q( x n 1 , x n )ψ(d( x n , x n 1 ),d( x n 1 , x n ),d( x n , x n + 1 ), 1 2 {d( x n 1 , x n )+d( x n , x n + 1 )}), we obtain lim n q( x n 1 , x n )ψ(r,r,r,r).

On the other hand, since d( x n , x n + 1 )r for all nN, we obtain

η ( q ( x n 1 , x n ) ) = η ( ψ ( d ( x n , x n 1 ) , d ( x n 1 , x n ) , d ( x n , x n + 1 ) , 1 2 d ( x n 1 , x n + 1 ) ) ) η ( ψ ( r , r , r , 0 ) ) .

Hence, lim n η(q( x n 1 , x n ))η(ψ(r,r,r,0)).

Letting n in (2.3), we have

r lim n q ( x n 1 , x n ) lim n η ( q ( x n 1 , x n ) ) ψ ( r , r , r , r ) η ( ψ ( r , r , r , 0 ) ) r η ( ψ ( r , r , r , 0 ) ) ,

which implies η(ψ(r,r,r,0))=0, and so ψ(r,r,r,0)=0. By ( ψ 3 ), r=0. Thus,

lim n d( x n , x n + 1 )=0.
(2.6)

We now show that { x n } is a Cauchy sequence.

On the contrary, assume that { x n } is not a Cauchy sequence.

Then there exists ϵ>0 for which we can find subsequences { x m ( k ) } and { x n ( k ) } of { x n } such that m(k) is the smallest index for which

m(k)>n(k)>k,d( x m ( k ) , x n ( k ) )ϵandd( x m ( k ) 1 , x n ( k ) )<ϵ.

From the above inequalities, ϵd( x m ( k ) , x n ( k ) )d( x m ( k ) , x m ( k ) 1 )+d( x m ( k ) 1 , x n ( k ) )<d( x m ( k ) , x m ( k ) 1 )+ϵ.

By taking k in the above inequality and using (2.6), we have

lim k d( x m ( k ) , x n ( k ) )=ϵ.
(2.7)

By using (2.6), (2.7), and the triangle inequality, we obtain

lim k d ( x m ( k ) 1 , x n ( k ) 1 ) = ϵ , lim k d ( x m ( k ) 1 , x n ( k ) ) = ϵ , lim k d ( x m ( k ) , x n ( k ) 1 ) = ϵ .
(2.8)

From (2.1) we have

d ( x n ( k ) , x m ( k ) ) = d ( T x n ( k ) 1 , T x m ( k ) 1 ) α ( x n ( k ) 1 , x m ( k ) 1 ) d ( T x n ( k ) 1 , T x m ( k ) 1 ) q ( x n ( k ) 1 , x m ( k ) 1 ) η ( q ( x n ( k ) 1 , x m ( k ) 1 ) ) ,
(2.9)

where

q ( x n ( k ) 1 , x m ( k ) 1 ) = ψ ( d ( x n ( k ) 1 , x m ( k ) 1 ) , d ( x n ( k ) 1 , x n ( k ) ) , d ( x m ( k ) 1 , x m ( k ) ) , 1 2 { d ( x n ( k ) , x m ( k ) 1 ) + d ( x n ( k ) 1 , x m ( k ) ) } ) .

Since d( x m ( k ) 1 , x n ( k ) 1 )> 1 2 ϵ, d( x m ( k ) 1 , x n ( k ) )> 1 2 ϵ and d( x m ( k ) , x n ( k ) 1 )> 1 2 ϵ for sufficiently large n, we obtain

lim k η ( q ( x n ( k ) 1 , x m ( k ) 1 ) ) η ( ψ ( 1 2 ϵ , 0 , 0 , 1 2 ϵ ) ) .

Letting k in the above inequality (2.9), we have

ϵψ(ϵ,0,0,ϵ) lim k η ( q ( x n ( k ) 1 , x m ( k ) 1 ) ) ϵη ( ψ ( 1 2 ϵ , 0 , 0 , 1 2 ϵ ) ) ,

which implies η(ψ( 1 2 ϵ,0,0, 1 2 ϵ))=0, and so ψ( 1 2 ϵ,0,0, 1 2 ϵ)=0. By ( ψ 3 ), ϵ=0, which is a contradiction. Hence, { x n } is a Cauchy sequence. It follows from the completeness of X that there exists x X such that lim n x n = x .

If T is continuous, then d( x ,T x )= lim n d( x ,T x n )= lim n d( x , x n + 1 )=0. Hence, x =T x .

Assume that condition (2.2) holds.

Then lim n supα( x n , x )1.

Since η and ψ are nondecreasing, we have

η ( q ( x n , x ) ) = η ( ψ ( d ( x n , x ) , d ( x n , x n + 1 ) , d ( x , T x ) , 1 2 { d ( x n , T x ) + d ( x , x n + 1 ) } ) ) η ( ψ ( 0 , 0 , d ( x , T x ) , 0 ) ) for all  n N .

Thus, lim n η(q( x n , x ))η(ψ(0,0,d( x ,T x ),0)). Since lim n q( x n , x )=ψ(0,0,d( x ,T x ), 1 2 d( x ,T x )), from (2.1) we obtain

α( x n , x )d( x n + 1 ,T x )=α( x n , x )d(T x n ,T x )q( x n , x )η ( q ( x n , x ) ) .
(2.10)

By taking the limit supremum in the above inequality (2.10), we have

d ( x , T x ) ψ ( 0 , 0 , d ( x , T x ) , 1 2 d ( x , T x ) ) η ( ψ ( 0 , 0 , d ( x , T x ) , 0 ) ) d ( x , T x ) η ( ψ ( 0 , 0 , d ( x , T x ) , 0 ) ) ,

which implies η(ψ(0,0,d( x ,T x ),0))=0, and so ψ(0,0,d( x ,T x ),0)=0. By ( ψ 3 ), d( x ,T x )=0, and hence, x =T x . □

In Theorem 2.1, if we take ψ( t 1 , t 2 , t 3 , t 4 )=max{ t 1 , t 2 , t 3 , t 4 }, then we have the following result.

Corollary 2.2 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Suppose that a map T:XX satisfies the following:

  1. (1)

    α(x,y)d(Tx,Ty)M(x,y)η(M(x,y)) for all x,yX, where M(x,y)=max{d(x,y),d(x,Tx),d(y,Ty), 1 2 {d(x,Ty)+d(y,Tx)}};

  2. (2)

    there exists x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j);

  3. (3)

    either T is continuous or

    lim n supα ( T n x 0 , x ) 1

for any cluster point x of { T n x 0 }.

Then T has a fixed point in X.

If we take ϕ(t)=tη(t) for all t0, then we have the following result.

Corollary 2.3 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Suppose that a map T:XX satisfies the following:

  1. (1)

    α(x,y)d(Tx,Ty)ϕ(q(x,y)), where ϕ: R + R + is a nondecreasing function such that ϕ(0)=0 and ϕ(t)<t for all t>0;

  2. (2)

    there exists x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j);

  3. (3)

    either T is continuous or

    lim n supα ( T n x 0 , x ) 1

for any cluster point x of { T n x 0 }.

Then T has a fixed point in X.

Corollary 2.4 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Suppose that a map T:XX satisfies the following:

  1. (1)

    α(x,y)d(Tx,Ty)ϕ(M(x,y));

  2. (2)

    there exists x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j);

  3. (3)

    either T is continuous or

    lim n supα ( T n x 0 , x ) 1

for any cluster point x of { T n x 0 }.

Then T has a fixed point in X.

Remark 2.1 (1) If we have α(x,y)=1 for all x,yX in Corollary 2.2, Corollary 2.2 becomes Corollary 2.2 of [22].

(2) Corollary 2.4 is a generalization of Theorem 3.7 of [29].

Theorem 2.5 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Suppose that a map T:XX satisfies the following:

  1. (1)

    α(x,y)d(Tx,Ty)φ(d(x,y))η(φ(d(x,y))), where φ: R + R + is a nondecreasing and continuous function such that φ(t)=0 if and only if t=0 and φ(t)<t for all t>0;

  2. (2)

    there exists x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j);

  3. (3)

    either T is continuous or

    lim n supα ( T n x 0 , x ) >0
    (2.11)

for any cluster point x of { T n x 0 }.

Then T has a fixed point in X.

Proof Let x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j). Let x n =T x n 1 for all nN. By similar argument with the proof of Theorem 2.1, we see that { x n } is a Cauchy sequence. Let lim n x n = x X.

If T is continuous, then lim n x n + 1 =T x . Hence, x =T x .

Suppose that condition (2.11) is satisfied.

Then p:= lim n supα( x n , x )>0. Thus, from (1) we have

α ( x n , x ) d ( x n + 1 , T x ) = α ( x n , x ) d ( T x n , T x ) φ ( d ( x n , x ) ) η ( φ ( d ( x n , x ) ) ) φ ( d ( x n , x ) ) .

By taking the limit supremum in the above inequality, we obtain

pd( x ,T x ) lim n φ ( d ( x n , x ) ) =φ(0)=0.

Since p>0, d( x ,T x )=0. Thus, x =T x . □

Remark 2.2 (1) In Theorem 2.1, if we replace condition (2.2) by

lim n infα ( T n x 0 , x ) 1

for any cluster point x of { T n x 0 }, then the conclusion holds.

(2) If we replace condition (2.11) in Theorem 2.5 by

lim n infα ( T n x 0 , x ) >0

for any cluster point x of { T n x 0 }, then the conclusion holds.

Remark 2.3 By taking φ(t)=t for all t0 and using Remark 2.2(2), Theorem 2.5 reduces to Theorem 2.1 of [17].

If we take φ(t)=t and ϕ(t)=tη(t) for all t0, then we have the following result.

Corollary 2.6 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Suppose that a map T:XX satisfies the following:

  1. (1)

    α(x,y)d(Tx,Ty)ϕ(d(x,y)), where ϕ: R + R + is a nondecreasing function such that ϕ(t)=0 if and only if t=0 and ϕ(t)<t for all t>0;

  2. (2)

    there exists x 0 X such that α( T i x 0 , T j x 0 )1 for all i,j0 (i<j);

  3. (3)

    either T is continuous or

    lim n supα ( T n x 0 , x ) >0

for any cluster point x of { T n x 0 }.

Then T has a fixed point in X.

Remark 2.4 Corollary 2.6 is a generalization of Theorem 2.1 and Theorem 2.2 of [24].

We give an example to illustrate Theorem 2.1.

Example 2.1 Let X=[0,), and let d(x,y)=|xy| for all x,yX. Let ψ( t 1 , t 2 , t 3 , t 4 )=max{ t 1 , t 2 , t 3 , t 4 } for all t 1 , t 2 , t 3 , t 4 0.

We define a mapping T:XX by

Tx={ 1 2 x ( 0 x 1 ) , 2 x ( x > 1 ) .

Then T is not a generalized weak contraction (for the definition of generalized weak contraction; see [22]). In fact, d(T1,T2)= 7 2 > 9 4 =q(2,1)>q(2,1)η(q(2,1)) for all ηΨ, where q(2,1)=max{d(2,1),d(1,T1),d(2,T2), 1 2 {d(1,T2)+d(2,T1)}}.

We define a function α:X×X[0,) by

α(x,y)={ 1 ( 0 x , y 1 ) , 0 otherwise .

Obviously, condition (1) of Theorem 2.1 is satisfied with x 0 =1. Condition (2) of Theorem 2.1 is satisfied with T n x 0 = 1 2 n . It is easy to see that T is a weak α-contractive type map with η(t)= 1 2 t for all t0.

Thus, all hypotheses of Theorem 2.1 are satisfied, and T has a fixed point x =0.

3 Common fixed points

Let (X,d) be a metric space, and let S,T:XX be maps. Then:

  1. (1)

    S and T are called weakly commuting [30] if

    d(STx,TSx)d(Sx,Tx)

    for all xX;

  2. (2)

    S and T are called compatible [31] if

    lim n d(ST x n ,TS x n )=0,

whenever { x n } is a sequence such that lim n S x n = lim n T x n =x for some xX;

  1. (3)

    S and T are called weakly compatible [32] (or pointwise R-weakly commuting [33]) if

    STx=TSx,

whenever Sx=Tx.

Note that commutativity implies weak commutativity, weak commutativity implies compatibility, and compatibility implies weak compatibility.

To prove the following common fixed point results, we use Lemma 2.1 and the technique in [34].

Theorem 3.1 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Let S,T:XX be maps such that T(X)S(X) and α(Sx,Sy)α(x,y) for all x,yX.

Suppose that the following are satisfied:

  1. (1)

    there exists ψΨ such that, for all x,yX,

    α(x,y)d(Tx,Ty)q(Sx,Sy)η ( q ( S x , S y ) ) ,
    (3.1)

    where q(Sx,Sy)=ψ(d(Sx,Sy),d(Sx,Tx),d(Sy,Ty), 1 2 {d(Sx,Ty)+d(Sy,Tx)});

  2. (2)

    there exists x 0 X such that T x n =S x n + 1 for all nN{0} and α(T x i ,T x j )1 for all i,jN{0} (i<j);

  3. (3)

    either T is continuous or

    lim n supα(T x n ,x)1

for any cluster point x of {T x n }.

If S(X) is a complete subspace of X, then S and T have a coincidence point.

Moreover, suppose that for all coincidence point z of S and T

α(Tz,z)1.
(3.2)

If S and T are weakly compatible, then S and T have a common fixed point in X.

Proof By Lemma 2.1 of [34], there exists a subset Y of X such that S(Y)=S(X) and S:YX is one-to-one.

Define a map A:S(Y)S(Y) by A(Sx)=Tx. Then A is well defined, because A is one-to-one.

From (3.1) we have

α ( S x , S y ) d ( A ( S x ) , A ( S y ) ) = α ( x , y ) d ( T x , T y ) q ( S x , S y ) η ( q ( S x , S y ) ) for all  S x , S y S ( Y ) .

Hence, A is a weak α-contractive type map on S(X).

Let x 0 X be fixed.

Since T(X)S(X), we can find a sequence { x n } of points in X such that T x n =S x n + 1 for all nN{0}. Then we have A n (S x 0 )=T x n 1 for all nN. Thus, α( A i (S x 0 ), A j (S x 0 ))=α(T x i 1 ,T x j 1 )1 for all i,jN (i<j).

If T is continuous, then so is A.

Also, lim n supα( A n (S x 0 ),x)= lim n supα(T x n 1 ,x) for any xX.

Thus, condition (3) implies either that A is continuous or that

lim n supα ( A n ( S x 0 ) , x ) 1

for all cluster points x of { A n (S x 0 )}.

By Theorem 2.1, A has a fixed point in S(X). That is, there exists x ¯ X such that A(S x ¯ )=S x ¯ . By definition of A, S x ¯ =T x ¯ . Thus, x ¯ is a coincidence point of S and T.

We now show the existence of common fixed points of S and T with their weak compatibility.

Suppose that (3.2) holds and that S and T are weakly compatible.

Let z=S x ¯ =T x ¯ . Then Sz=Tz. Since α(z, x ¯ )=α(T x ¯ , x ¯ )1, from (3.1) we have

d ( T z , z ) = d ( T z , T x ¯ ) α ( z , x ¯ ) d ( T z , T x ¯ ) q ( S z , S x ¯ ) η ( q ( S z , S x ¯ ) ) ,

where q(Sz,S x ¯ )=ψ(d(Sz,S x ¯ ),d(Tz,Tz),d(z,z), 1 2 {d(Tz,z)+d(z,Tz)})=ψ(d(Tz,z),0,0,d(Tz,z)).

Thus, we have d(Tz,z)d(Tz,z)η(ψ(d(Tz,z),0,0,d(Tz,z))), which implies η(ψ(d(Tz,z),0,0,d(Tz,z)))=0, and so ψ(d(Tz,z),0,0,d(Tz,z))=0. Hence, d(Tz,z)=0 or z=Tz. Thus, z=Sz=Tz, and z is a common fixed point. □

Theorem 3.2 Let (X,d) be a complete metric space, and let α:X×X R + be a function. Let S,T:XX be maps such that T(X)S(X) and α(Sx,Sy)α(x,y) for all x,yX.

Suppose that the following are satisfied:

  1. (1)

    α(x,y)d(Tx,Ty)φ(d(Sx,Sy))η(φ(d(Sx,Sy))), where φ: R + R + is a nondecreasing and continuous function such that φ(t)=0 if and only if t=0 and φ(t)<t for all t>0;

  2. (2)

    there exists x 0 X such that T x n =S x n + 1 for all nN{0} and α(T x i ,T x j )1 for all i,jN{0} (i<j);

  3. (3)

    either T is continuous or

    lim n supα(T x n ,x)>0

for any cluster point x of {T x n }.

If S(X) is a complete subspace of X, then S and T have a coincidence point in X.

Moreover, suppose that for all coincidence point z of S and T

α(Tz,z)1.

If S and T are weakly compatible, then S and T have a common fixed point in X.

Proof Let A be the map on S(X) defined as in the proof of Theorem 3.1.

Then from (1) we have

α ( S x , S y ) d ( A ( S x ) , A ( S y ) ) α ( x , y ) d ( T x , T y ) φ ( d ( S x , S y ) ) η ( φ ( d ( S x , S y ) ) ) for all  S x , S y S ( X ) .

As in the proof of Theorem 3.1, A n (S x 0 )=T x n 1 for all nN{0}. Thus, α( A i (S x 0 ), A j (S x 0 ))=α(T x i 1 ,T x j 1 )1 for all i,jN (i<j).

Condition (3) implies either that A is continuous or that

lim n supα ( A n ( S x 0 ) , x ) >0

for all cluster points x of { A n (S x 0 )}.

By Theorem 2.5, A has a fixed point in S(X), i.e. there exists x ¯ X such that A(S x ¯ )=S x ¯ , and so S x ¯ =T x ¯ . Thus x ¯ is a coincidence point of S and T.

Suppose that (3.2) holds and that S and T are weakly compatible.

Let z=S x ¯ =T x ¯ . Then Sz=Tz. Since α(z, x ¯ )=α(T x ¯ , x ¯ )1, from condition (1) we have

d ( T z , z ) = d ( T z , T x ¯ ) α ( z , x ¯ ) d ( T z , T x ¯ ) φ ( d ( S z , S x ¯ ) ) η ( φ ( d ( S z , S x ¯ ) ) = φ ( d ( T z , z ) ) η ( φ ( d ( T z , z ) ) ) .

If d(Tz,z)>0, then d(Tz,z)<d(Tz,z)η(φ(d(Tz,z))), which is a contradiction. Hence, d(Tz,z)=0, or z=Tz. Thus, z=Sz=Tz, and z is a common fixed point. □

References

  1. Banach S: Sur les opérations dans les ensembles abstraits et leur applications aux équations intégrales. Fundam. Math. 1922, 3: 133–181.

    Google Scholar 

  2. Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 1–8. 10.1080/00036810701714164

    Article  MathSciNet  Google Scholar 

  3. Cho SH, Bae JS: Common fixed point theorems for mappings satisfying property (E.A) on cone metric spaces. Math. Comput. Model. 2011, 53: 945–951. 10.1016/j.mcm.2010.11.002

    Article  MathSciNet  Google Scholar 

  4. Cho SH, Bae JS: Fixed point theorems for α - ψ -quasi-contractive mappings in metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 268

    Google Scholar 

  5. 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

    Article  MathSciNet  Google Scholar 

  6. Choudhury BS, Konar P, Rhoades BE, Metiya N: Fixed point theorems for generalized weakly contractive mappings. Nonlinear Anal. 2011, 74: 2116–2126. 10.1016/j.na.2010.11.017

    Article  MathSciNet  Google Scholar 

  7. Ćirić LB: Generalized contractions and fixed-point theorems. Publ. Inst. Math. (Belgr.) 1971, 12(26):19–26.

    Google Scholar 

  8. Ćirić LB: Fixed-points for generalized multi-valued mappings. Mat. Vesn. 1972, 9(24):265–272.

    Google Scholar 

  9. Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.

    Google Scholar 

  10. Fang JX, Gao Y: Common fixed point theorems under strict contractive conditions in Menger spaces. Nonlinear Anal. 2009, 70: 184–193. 10.1016/j.na.2007.11.045

    Article  MathSciNet  Google Scholar 

  11. Haghi RH, Rezapour S, Shahzad N: Be careful on partial metric fixed point results. Topol. Appl. 2013, 160: 450–454. 10.1016/j.topol.2012.11.004

    Article  MathSciNet  Google Scholar 

  12. Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces. Math. Jpn. 1996, 44: 513–520.

    MathSciNet  Google Scholar 

  13. Rezapour S, Hamlbarani R: Some notes on the paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049

    Article  MathSciNet  Google Scholar 

  14. Yang SK, Bae JS, Cho SH: Coincidence and common fixed and periodic point theorems in cone metric spaces. Comput. Math. Appl. 2011, 61: 170–177. 10.1016/j.camwa.2010.10.031

    Article  MathSciNet  Google Scholar 

  15. Alber YI, Guerre-Delabriere S: Principles of weakly contractive maps in Hilbert spaces. Advances and Appl. 98. In New Results in Operator Theory. Edited by: Goldberg I, Lyubich Y. Birkhäuser, Basel; 1997:7–22.

    Chapter  Google Scholar 

  16. Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal. TMA 2001, 47(4):2683–2693. 10.1016/S0362-546X(01)00388-1

    Article  MathSciNet  Google Scholar 

  17. Cho SH: A fixed point theorem for weakly α -contractive mappings with application. Appl. Math. Sci. 2013, 7(60):2953–2965.

    MathSciNet  Google Scholar 

  18. Ćirić LB, Samet B, Cakić N, Damjanović B: Coincidence and fixed point theorems for generalized (ψ,ϕ)-weak nonlinear contraction in ordered K -metric spaces. Comput. Math. Appl. 2011, 62: 3305–3316. 10.1016/j.camwa.2011.07.061

    Article  MathSciNet  Google Scholar 

  19. Chidume CE, Zegeye H, Aneke SJ: Approximation of fixed points of weakly contractive nonself maps in Banach spaces. J. Math. Anal. Appl. 2002, 270(1):189–199. 10.1016/S0022-247X(02)00063-X

    Article  MathSciNet  Google Scholar 

  20. Dorić D:Common fixed point for generalized(ψ,φ)-weak contractions. Appl. Math. Lett. 2009, 22: 1896–1900. 10.1016/j.aml.2009.08.001

    Article  MathSciNet  Google Scholar 

  21. Dutta PN, Choudhury BS: A generalisation of contraction principle in metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 406368

    Google Scholar 

  22. Zhang Q, Song Y: Fixed point theory for generalized ϕ -weak contractions. Appl. Math. Lett. 2009, 22(1):75–78. 10.1016/j.aml.2008.02.007

    Article  MathSciNet  Google Scholar 

  23. Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 2009, 71: 3403–3410. 10.1016/j.na.2009.01.240

    Article  MathSciNet  Google Scholar 

  24. Samet B, Vetro C, Vetro P: Fixed point theorems for α - ψ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014

    Article  MathSciNet  Google Scholar 

  25. Miandaragh MA, Postolache M, Rezapour S: Some approximate fixed point results for generalized α -contractive mappings. Univ. Politeh. Buchar. Sci. Bull., Ser. A 2013, 75(2):3–10.

    MathSciNet  Google Scholar 

  26. Rezapour S, Hasanzade Asl J: A simple method for obtaining coupled fixed points of α - ψ -contractive type mappings. Int. J. Anal. 2013., 2013: Article ID 438029

    Google Scholar 

  27. Baleanu D, Rezapour S, Mohammadi H: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. Lond. A 2013., 371: Article ID 20120144

    Google Scholar 

  28. Hasanzade Asl J, Rezapour S, Shahzad N: On fixed points of α - ψ -contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212

    Google Scholar 

  29. Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α - ψ -Ćirić generalized multifunctions. Fixed Point Theory Appl. 2013., 2013: Article ID 24

    Google Scholar 

  30. Sessa S: On a weak commutativity condition of mappings in fixed point considerations. Publ. Inst. Math. (Belgr.) 1982, 32(46):149–153.

    MathSciNet  Google Scholar 

  31. Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9(4):771–779. 10.1155/S0161171286000935

    Article  MathSciNet  Google Scholar 

  32. Jungck G, Rhoades BE: Fixed point for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29(3):227–238.

    MathSciNet  Google Scholar 

  33. Pant RP: Common fixed points of noncommuting mappings. J. Math. Anal. Appl. 1994, 188: 436–440. 10.1006/jmaa.1994.1437

    Article  MathSciNet  Google Scholar 

  34. Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors express their gratitude to the referees for their helpful suggestions which improved final version of this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Seong-Hoon Cho.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Cho, SH., Bae, JS. Fixed points of weak α-contraction type maps. Fixed Point Theory Appl 2014, 175 (2014). https://doi.org/10.1186/1687-1812-2014-175

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2014-175

Keywords

  • fixed point
  • weak contraction map
  • weak α-contraction type map