Skip to main content

Common fixed points of g-quasicontractions and related mappings in 0-complete partial metric spaces

Abstract

Common fixed point results are obtained in 0-complete partial metric spaces under various contractive conditions, including g-quasicontractions and mappings with a contractive iterate. In this way, several results obtained recently are generalized. Examples are provided when these results can be applied and neither corresponding metric results nor the results with the standard completeness assumption of the underlying partial metric space can.

MSC:47H10, 54H25.

1 Introduction and preliminaries

Matthews [15] introduced the notion of a partial metric space as a part of the study of denotational semantics of dataflow networks. He showed that the Banach contraction mapping theorem can be generalized to the partial metric context for applications in program verification. Subsequently, several authors (see, e.g., [13, 6, 8, 1214, 16, 17, 20, 22]) derived fixed point theorems in partial metric spaces. See also the presentation by Bukatin et al. [4] where the motivation for introducing non-zero distance (i.e., the ‘distance’ p where p(x,x)=0 need not hold) is explained, which is also leading to interesting research in foundations of topology.

The following definitions and details can be seen, e.g., in [3, 4, 11, 15, 16, 21].

Definition 1 A partial metric on a nonempty set X is a function p:X×X R + such that for all x,y,zX: (p1) = x=yp(x,x)=p(x,y)=p(y,y),; (p2) = p(x,x)p(x,y),; (p3) = p(x,y)=p(y,x),; (p4) = p(x,y)p(x,z)+p(z,y)p(z,z)..

The pair (X,p) is called a partial metric on X.

It is clear that, if p(x,y)=0, then from (p1) and (p2) x=y. But if x=y, p(x,y) may not be 0.

Each partial metric p on X generates a T 0 topology τ p on X which has as a base the family of open p-balls { B p (x,ε):xX,ε>0}, where B p (x,ε)={yX:p(x,y)<p(x,x)+ε} for all xX and ε>0. A sequence { x n } in (X,p) converges to a point xX (in the sense of τ p ) if lim n p(x, x n )=p(x,x). This will be denoted as x n x (n) or lim n x n =x.

If T:XX is continuous at x 0 X (with respect to τ p ), then for each sequence { x n } in X, we have

x n x 0 T x n T x 0 .

Remark 1 Clearly, a limit of a sequence in a partial metric space need not be unique. Moreover, the function p(,) need not be continuous in the sense that x n x and y n y imply p( x n , y n )p(x,y).

If p is a partial metric on X, then the function p s :X×X R + given by

p s (x,y)=2p(x,y)p(x,x)p(y,y)
(1.1)

is a metric on X. Furthermore, lim n p s ( x n ,x)=0 if and only if

p(x,x)= lim n p( x n ,x)= lim n , m p( x n , x m ).

Example 1

  1. (1)

    A paradigmatic example of a partial metric space is the pair ( R + ,p), where p(x,y)=max{x,y} for all x,y R + . The corresponding metric is

    p s (x,y)=2max{x,y}xy=|xy|.
  2. (2)

    If (X,d) is a metric space and c0 is arbitrary, then

    p(x,y)=d(x,y)+c

defines a partial metric on X and the corresponding metric is p s (x,y)=2d(x,y).

Other examples of partial metric spaces which are interesting from a computational point of view may be found in [9, 15].

Definition 2 Let (X,p) be a partial metric space. Then:

  1. 1.

    A sequence { x n } in (X,p) is called a Cauchy sequence if lim n , m p( x n , x m ) exists (and is finite).

  2. 2.

    The space (X,p) is said to be complete if every Cauchy sequence { x n } in X converges, with respect to τ p , to a point xX such that p(x,x)= lim n , m p( x n , x m ).

  3. 3.

    [18] a sequence { x n } in (X,p) is called 0-Cauchy if lim n , m p( x n , x m )=0. The space (X,p) is said to be 0-complete if every 0-Cauchy sequence in X converges (in τ p ) to a point xX such that p(x,x)=0.

Lemma 1 Let(X,p)be a partial metric space.

  1. (a)

    { x n }is a Cauchy sequence in(X,p)if and only if it is a Cauchy sequence in the metric space(X, p s ).

  2. (b)

    The space(X,p)is complete if and only if the metric space(X, p s )is complete.

  3. (c)

    Every 0-Cauchy sequence in(X,p)is Cauchy in(X, p s ).

  4. (d)

    If(X,p)is complete, then it is 0-complete.

The converse assertions of (c) and (d) do not hold as the following easy example shows.

Example 2 ([18])

The space X=[0,+)Q with the partial metric p(x,y)=max{x,y} is 0-complete, but is not complete (since p s (x,y)=|xy| and (X, p s ) is not complete). Moreover, the sequence { x n } with x n =1 for each nN is a Cauchy sequence in (X,p), but it is not a 0-Cauchy sequence.

Recall that Romaguera proved in [18], Theorem 2.3] that a partial metric space (X,p) is 0-complete if and only if every p s -Caristi mapping on X has a fixed point.

It is easy to see that every closed subset of a 0-complete partial metric space is 0-complete.

Let (X,p) be a partial metric space and f,g:XX be two selfmaps. When constructing various contractive conditions, usually one of the following sets is used:

M f , g 5 ( x , y ) = { p ( g x , g y ) , p ( g x , f x ) , p ( g y , f y ) , p ( g x , f y ) , p ( g y , f x ) } , M f , g 4 ( x , y ) = { p ( g x , g y ) , p ( g x , f x ) , p ( g y , f y ) , 1 2 ( p ( g x , f y ) + p ( g y , f x ) ) } , M f , g 3 ( x , y ) = { p ( g x , g y ) , 1 2 ( p ( g x , f x ) + p ( g y , f y ) ) , 1 2 ( p ( g x , f y ) + p ( g y , f x ) ) } .

Then, the contractive condition takes the form

p(fx,fy)λmax M f , g i (x,y),
(1.2)

where λ[0,1). Mappings f satisfying (1.2) with i=5 for all x,yX (in metric case) are usually called g-quasicontractions (see Ćirić [5] and Das and Naik [7]).

(Common) fixed point results in partial metric spaces using conditions of mentioned type in the case i=3,4 were obtained in various papers. We prove in Section 2 a common fixed point theorem for g-quasicontractions in 0-complete spaces that contains as special cases several other results. In Section 3 a partial metric extension of Sehgal-Guseman result for mappings having a contractive iterate is obtained. Finally, in Section 4 we deduce a partial metric version of (common) fixed point theorem under the condition [17], (19)] of B. E. Rhoades.

Examples are provided when these results can be applied and neither corresponding metric results nor the results with the standard completeness assumption of the underlying partial metric space can.

2 Quasicontractions in partial metric spaces

Theorem 1 Let(X,p)be a 0-complete partial metric space and letf,g:XXbe two selfmaps such thatfXgX, and one of these two subsets of X is closed. If there existsλ[0,1)such that the condition

p(fx,fy)λmax M f , g 5 (x,y)
(2.1)

holds for allx,yX, where

M f , g 5 (x,y)= { p ( g x , g y ) , p ( g x , f x ) , p ( g y , f y ) , p ( g x , f y ) , p ( g y , f x ) } ,

then f and g have a unique point of coincidence. If, moreover, f and g are weakly compatible, then they have a unique common fixed point u such thatp(u,u)=0=p(fu,fu).

Recall that xX is called a coincidence point of f,g:XX and y is their point of coincidence if fx=gx=y. If f and g commute at their coincidence points, they are called weakly compatible.

Proof For arbitrary x 0 X, and using that fXgX, choose a Jungck sequence { y n } in X by

y n =f x n =g x n + 1 ,n N 0 .

Denote by O f , g ( x 0 ;n)={ y 0 , y 1 ,, y n } the n th orbit of x 0 and by O f , g ( x 0 ;)={ y 0 , y 1 , y 2 ,} its orbit. Also, denote by diamA=sup{p(x,y)x,yA} the diameter of a nonempty set AX. Note that diamA=0 implies that A is a singleton, but the converse is not true.

If p( y n , y n + 1 )=0 for some n N 0 , then it is easy to prove (using properties (p2) and (p4) of the partial metric, and the contractive condition (2.1)) that p( y n + 1 , y n + 2 )=0, i.e., y n = y n + 1 = y n + 2 =. Hence, in this case, { y n } is a 0-Cauchy sequence in (X,p).

Suppose now that p( y n , y n + 1 )>0 for each n N 0 .

Claim 1.

diam O f , g ( x 0 ;) 1 1 λ p(f x 0 ,f x 1 )= 1 1 λ p( y 0 , y 1 ).

Indeed, let 1i,jn. Then

p ( y i , y j ) = p ( f x i , f x j ) λ max { p ( g x i , g x j ) , p ( g x i , f x i ) , p ( g x j , f x j ) , p ( g x i , f x j ) , p ( g x j , f x i ) } = λ max { p ( y i 1 , y j 1 ) , p ( y i 1 , y i ) , p ( y j 1 , y j ) , p ( y i , y j 1 ) , p ( y j 1 , y i ) } .
(2.2)

Since the points y i 1 , y i , y j 1 , y j belong to the set O f , g ( x 0 ;n), it follows that

p( y i , y j )λdiam O f , g ( x 0 ;n)<diam O f , g ( x 0 ;n).

Hence, there exists kn such that diam O f , g ( x 0 ;n)=p( y 0 , y k ). Since, by (p4),

p ( y 0 , y k ) p ( y 0 , y 1 ) + p ( y 1 , y k ) p ( y 1 , y 1 ) p ( y 0 , y 1 ) + p ( y 1 , y k ) ,

we have

diam O f , g ( x 0 ;n)p( y 0 , y 1 )+λdiam O f , g ( x 0 ;n),

i.e., diam O f , g ( x 0 ;n) 1 1 λ p( y 0 , y 1 ). Taking the supremum in this inequality, the proof of Claim 1 is obtained.

Claim 2. Let m>n1. Then

p( y m , y n ) λ n 1 λ p( y 0 , y 1 ).
(2.3)

Similarly as in (2.2), we have that

p( y m , y n )λmax { p ( y m 1 , y n 1 ) , p ( y m 1 , y m ) , p ( y n 1 , y n ) , p ( y m , y n 1 ) , p ( y n 1 , y m ) } .

Since y m 1 , y m , y n 1 , y n O f , g ( x n 1 ;mn+1), we have

p( y m , y n )λ O f , g ( x n 1 ;mn+1)=λp( y n 1 , y k 1 )
(2.4)

for some k 1 m. Now, similarly,

p ( y n 1 , y k 1 ) λ max { p ( y n 2 , y k 1 1 ) , p ( y n 2 , y n 1 ) , p ( y k 1 1 , y k 1 ) , p ( y n 2 , y k 1 ) , p ( y n 1 , y k 1 1 ) } λ diam O f , g ( x n 2 ; m n + 2 ) ,

which, together with (2.4), gives

p( y m , y n ) λ 2 p( y n 2 , y k 2 )

for some k 2 m. Continuing the process, we obtain that

p ( y m , y n ) λ n 1 diam O f , g ( x 1 ; m 1 ) = λ n 1 p ( y 1 , y k n 1 ) λ n 1 λ diam O f , g ( x 0 ; m ) λ n 1 λ p ( y 0 , y 1 )

and Claim 2 is proved.

It follows that p( y m , y n )0 as m,n, i.e., { y n } is a 0-Cauchy sequence. Since (X,p) is 0-complete, there exists vX, u=gvgX such that y n =g x n u, n (we have supposed that gX is closed, and hence 0-complete) and

p(u,u)= lim n p( y n ,u)= lim m , n p( y m , y n )=0.

Now, we prove that also fv=u. We have

p ( f v , u ) p ( f v , f x n ) + p ( f x n , u ) λ max { p ( g v , g x n ) , p ( g v , f v ) , p ( g x n , f x n ) , p ( g v , f x n ) , p ( g x n , f v ) } + p ( y n , u ) = λ max { p ( u , y n 1 ) , p ( u , f v ) , p ( y n 1 , y n ) , p ( u , y n ) , p ( y n 1 , f v ) } + p ( y n , u ) .

Since p(u, y n 1 ), p( y n 1 , y n ) and p(u, y n ) tend to 0 as n, and since

p( y n 1 ,fv)p( y n 1 ,u)+p(u,fv)p(u,u)=p( y n 1 ,u)+p(u,fv),

if we suppose that p(fv,u)>0, we get a contradiction

p(fv,u)λp(fv,u).

Hence, p(fv,u)=0 and so fv=u.

Suppose that there exists v 1 , u 1 X, u 1 u and v 1 v such that f v 1 =g v 1 = u 1 . Then

p ( u , u 1 ) = p ( f v , f v 1 ) λ max { p ( g v , g v 1 ) , p ( g v , f v ) , p ( g v 1 , f v 1 ) , p ( g v , f v 1 ) , p ( g v 1 , f v ) } = λ max { p ( u , u 1 ) , p ( u , u ) , p ( u 1 , u 1 ) , p ( u , u 1 ) , p ( u 1 , u ) } = λ p ( u , u 1 ) by (p ) 2 ,

which is possible only if p(u, u 1 )=0, and hence u= u 1 . Thus, we have proved that the point of coincidence of f and g is unique. By a well-known result, if f and g are weakly compatible, it follows that f and g have a unique common fixed point. □

Remark 2 If u is the unique common fixed point of f and g obtained as a limit of a Jungck sequence { y n } as in the previous proof, then the following error estimate holds

p( y n ,u) λ n 1 λ p( y 0 , y 1 ).

Since p is not continuous in general, this cannot be obtained directly from (2.3). Instead, notice that for m>n

p( y n ,u)p( y n , y m )+p( y m ,u) λ n 1 λ p( y 0 , y 1 )+p( y m ,u).

Passing to the limit when m, we get that

p( y n ,u) λ n 1 λ p( y 0 , y 1 )+p(u,u)= λ n 1 λ p( y 0 , y 1 ).

According to the well-known classification of Rhoades [17] (which obviously holds for partial as well as for standard metric), Theorem 1 implies several other (common) fixed point results, e.g., those of Banach, Kannan, Chatterjea, Bianchini, Hardy-Rogers and Zamfirescu. We state the last one which was obtained in [13], Theorem 4.2] in the special case g= i X .

Corollary 1 Let(X,p)be a 0-complete partial metric space, and letf,g:XXbe such thatfXgXand one of these two subsets of X is closed. Suppose that there exist α, β, γ, with0α<1and0β,γ< 1 2 , such that for allx,yX, at least one of the following conditions hold:

  1. 1.

    p(fx,fy)αp(gx,gy);

  2. 2.

    p(fx,fy)β[p(gx,fx)+p(gy,fy)];

  3. 3.

    p(fx,fy)γ[p(gx,fy)+p(gy,fx)].

Then f and g have a unique point of coincidenceuX. If, moreover, f and g are weakly compatible, then they have a unique common fixed point u andp(u,u)=0holds.

Proof Let the assumption of corollary hold and denote λ=max{α,2β,2γ}. Then for all x,yX, condition (2.1) of Theorem 1 is satisfied and the conclusion follows. □

We give an easy example of a partial metric space, which is not a metric space, and a selfmap in it which is a quasicontraction and not a contraction.

Example 3 Consider the set X={a,b,c} and the function p:X×XR given by p(a,b)=p(b,c)=1p(a,c)= 3 2 p(x,y)=p(y,x)p(a,a)=p(c,c)= 1 2 and p(b,b)=0. Obviously, p is a partial metric on X, not being a metric (since p(x,x)0 for x=a and x=c). Define a selfmap f on X by

f: ( a b c b b a ) .

Then f is not a (Banach)-contraction since

p(fc,fc)=p(a,a)= 1 2 =p(c,c)

and there is no λ[0,1) such that p(fc,fc)λp(c,c). We will check that f is an i X -quasicontraction with λ= 2 3 . If x,y{a,b}, then p(fx,fy)=p(b,b)=0 and (2.1) trivially holds. Let, e.g.y=c; then we have the following three cases:

p ( f a , f c ) = p ( b , a ) = 1 2 3 3 2 = λ max { p ( a , c ) , p ( a , f a ) , p ( c , f c ) , p ( a , f c ) , p ( c , f a ) } , p ( f b , f c ) = p ( b , a ) = 1 2 3 3 2 = λ max { p ( b , c ) , p ( b , f b ) , p ( c , f c ) , p ( b , f c ) , p ( c , f b ) } , p ( f c , f c ) = p ( a , a ) = 1 2 < 2 3 3 2 = λ max { p ( c , c ) , p ( c , f c ) } .

Thus, the conditions of Theorem 1 are satisfied and the existence of a common fixed point of f and i X (which is b) follows. The same conclusion cannot be obtained by Banach-type fixed point results from [15, 21].

We present another example showing the use of Theorem 1. It also shows that there are situations when standard completeness of the p-metric as well as usual metric arguments cannot be used to obtain the existence of a fixed point.

Example 4 Let X=[0,1]Q be equipped with the partial metric p defined by p(x,y)=max{x,y} for x,yX. Let f,g:XX be given by

fx= x 2 1 + x ,xXandg= i X .

By Example 2, the space (X,p) is 0-complete (but not complete). Take λ= 1 2 . The contractive condition (2.1) for (say) xy takes the form

p ( f x , f y ) = max { x 2 1 + x , y 2 1 + y } = x 2 1 + x 1 2 max { p ( x , y ) , p ( x , x 2 1 + x ) , p ( y , y 2 1 + y ) , p ( x , y 2 1 + y ) , p ( y , x 2 1 + x ) } = 1 2 max { x , x , y , x , max { y , x 2 1 + x } } = 1 2 x ,

and it is satisfied for all x,yX since 0x1. Hence, all the conditions of Theorem 1 are satisfied and f and g have a unique common fixed point (u=0).

Since (X,p) is not complete, nor is the space (X,d), where d= p s is the Euclidean metric, the existence of a (common) fixed point cannot be deduced using known results.

3 Mappings with a contractive iterate

In this section, we prove a version of Sehgal-Guseman theorem ([10, 20], see also [17]) for 0-complete partial metric spaces.

Theorem 2 Let(X,p)be a 0-complete partial metric space and letf:XX. Suppose that there existsλ[0,1)such that for eachxXthere isk(x)Nsatisfying

p ( f k ( x ) x , f k ( x ) y ) λp(x,y)
(3.1)

for everyyX. Then f has a unique fixed pointzX. Moreover, p(z,z)=0and every Picard sequence{ f n x}converges to z.

Proof We first note that, similarly as in the metric case, the following can be proved:

Under the assumptions of the theorem,

R(x)= sup n N p ( x , f n x ) 1 1 λ max { p ( x , f j x ) : 1 j k ( x ) } .
(3.2)

In particular, sup n N p(x, f n x)is a finite real number for eachxX.

Let x 0 X be arbitrary. Construct the sequence { x n } in the following way:

x 1 = f k ( x 0 ) x 0 , x 2 = f k ( x 1 ) x 1 ,, x n = f k ( x n 1 ) x n 1 ,.

We will prove that this is a 0-Cauchy sequence.

If p( x n 1 , x n )=0 for some n, then it easily follows that this sequence is eventually constant, and hence a 0-Cauchy one. Suppose further that p( x n 1 , x n )>0 for each n. Condition (3.1) implies that

p ( x n , x n + 1 ) = p ( f k ( x n 1 ) x n 1 , f k ( x n ) x n ) = p ( f k ( x n 1 ) x n 1 , f k ( x n ) f k ( x n 1 ) x n 1 ) = p ( f k ( x n 1 ) x n 1 , f k ( x n 1 ) f k ( x n ) x n 1 ) λ p ( x n 1 , f k ( x n ) x n 1 ) .

Repeating this procedure n times, we get that

p( x n , x n + 1 ) λ n p ( x 0 , f k ( x n ) x 0 ) λ n R( x 0 )0

as n since R( x 0 )<+ by (3.2).

Now, using standard arguments, it is easy to show that p( x m , x n )0 as m,n. Hence, { x n } is a 0-Cauchy sequence. Since the space (X,p) is 0-complete, there exists zX satisfying p( x n ,z)0, n, with p(z,z)=0.

It follows from condition (3.1) that

p ( f k ( z ) z , f k ( z ) x n ) λp(z, x n )λp(z,z)=0,

as n. Hence, f k ( z ) x n f k ( z ) z in (X,p). Further we have

p ( f k ( z ) z , z ) p ( f k ( z ) z , f k ( z ) x n ) + p ( f k ( z ) x n , z ) p ( f k ( z ) x n , f k ( z ) x n ) p ( f k ( z ) z , f k ( z ) x n ) + p ( f k ( z ) x n , z ) p ( f k ( z ) z , f k ( z ) x n ) + p ( f k ( z ) x n , x n ) + p ( x n , z ) p ( x n , x n ) p ( f k ( z ) z , f k ( z ) x n ) + p ( f k ( z ) x n , x n ) + p ( x n , z ) .

The first and third summand on the right-hand side tend to 0 when n. For the second summand we have

p ( f k ( z ) x n , x n ) = p ( f k ( z ) f k ( x n 1 ) x n 1 , f k ( x n 1 ) x n 1 ) = p ( f k ( x n 1 ) f k ( z ) x n 1 , f k ( x n 1 ) x n 1 ) λ p ( f k ( z ) x n 1 , x n 1 ) λ n R ( x 0 ) 0 ,

as n. Thus, p( f k ( z ) z,z)=0 and so f k ( z ) z=z. If z and u were two distinct fixed points of f k ( z ) , then (3.1) would imply that

p(z,u)=p ( f k ( z ) z , f k ( z ) u ) λp(z,u)<p(z,u),

a contradiction.

Now, we easily get that

f k ( z ) fz=f f k ( z ) z=fz

and it must be fz=z, i.e., z is a (unique) fixed point of f.

In order to prove that f is a Picard operator, let xX be arbitrary and { f n x} be the corresponding Picard sequence. Each nN, n>k(z) can be uniquely written in the form

n=mk(z)+q,

and m when n. Let z be the (unique) fixed point of f whose existence has just been proved. Then

p ( z , f n x ) = p ( f k ( z ) z , f k ( z ) f ( m 1 ) k ( z ) + q x ) λ p ( z , f ( m 1 ) k ( z ) + q x ) = λ p ( f k ( z ) z , f k ( z ) f ( m 2 ) k ( z ) + q x ) λ 2 p ( z , f ( m 2 ) k ( z ) + q x ) λ m p ( z , f q x ) λ m ( p ( z , x ) + p ( x , f q x ) ) λ m ( p ( z , x ) + R ( x ) ) .

Now, using what was previously proved, we obtain that p(z, f n x)0=p(z,z) and f is a Picard operator. □

Example 5 Let (X,p) and f be as in Example 3. We have seen that f is not a contraction in the partial metric space (X,p). However, f 2 : ( a b c b b b ) and f satisfies condition (3.1) of Theorem 2 with k(x)=2 for each xX since p( f 2 x, f 2 y)=p(b,b)=0 for each yX. As we have seen, f has a unique fixed point b.

4 Partial metric version of a theorem of Rhoades

The following theorem is a partial metric version of an interesting result obtained by B. E. Rhoades [17], Theorem 4].

Theorem 3 Let(X,p)be a 0-complete partial metric space. Letf,g:XXbe two mappings such thatfXgXand one of these subsets of(X,p)is closed. Suppose that there exist decreasing functions α i :[0,+)[0,1), i=1,,5, such that i = 1 5 α i (t)<1for eacht[0,+)and satisfying

p ( f x , f y ) α 1 ( p ( g x , g y ) ) p ( g x , g y ) + α 2 ( p ( g x , g y ) ) p ( g x , f x ) + α 3 ( p ( g x , g y ) ) p ( g y , f y ) + α 4 ( p ( g x , g y ) ) p ( f y , g x ) + α 5 ( p ( g x , g y ) ) p ( f x , g y )
(4.1)

for allx,yX. Then f and g have a unique point of coincidence. If, moreover, f and g are weakly compatible, then f and g have a unique common fixed point, say z, withp(z,z)=p(fz,fz)=p(gz,gz)=0.

Proof Suppose, e.g., that gX is closed. Take an arbitrary x 0 X and, using that fXgX, construct a Jungck sequence { y n } defined by y n =f x n =g x n + 1 , n=0,1,2, . Let us prove that this is a 0-Cauchy sequence. If p( y n , y n 1 )=0 for some n, then as in the proof of Theorem 1, one proves that the sequence { y n } becomes eventually constant, and thus convergent.

Suppose that p( y n , y n 1 )>0 for each nN. Using (4.1) (and putting temporarily α i = α i (p( y n 1 , y n )), i=1,,5), we obtain that

p ( y n , y n + 1 ) = p ( f x n , f x n + 1 ) α 1 p ( y n 1 , y n ) + α 2 p ( y n 1 , y n ) + α 3 p ( y n , y n + 1 ) + α 4 p ( y n + 1 , y n 1 ) + α 5 p ( y n , y n ) α 1 p ( y n 1 , y n ) + α 2 p ( y n 1 , y n ) + α 3 p ( y n , y n + 1 ) + α 4 [ p ( y n 1 , y n ) + p ( y n , y n + 1 ) p ( y n , y n ) ] + α 5 p ( y n , y n ) ,

for each nN. Also,

p ( y n + 1 , y n ) = p ( f x n + 1 , f x n ) α 1 p ( y n 1 , y n ) + α 2 p ( y n , y n + 1 ) + α 3 p ( y n 1 , y n ) + α 4 p ( y n , y n ) + α 5 p ( y n 1 , y n + 1 ) α 1 p ( y n 1 , y n ) + α 2 p ( y n , y n + 1 ) + α 3 p ( y n 1 , y n ) + α 4 p ( y n , y n ) + α 5 [ p ( y n 1 , y n ) + p ( y n , y n + 1 ) p ( y n , y n ) ] .

Adding up the last two relations, we obtain

p( y n , y n + 1 )β ( p ( y n 1 , y n ) ) p( y n 1 , y n ),

where

β(t)= 2 α 1 ( t ) + α 2 ( t ) + α 3 ( t ) + α 4 ( t ) + α 5 ( t ) 2 ( α 2 ( t ) + α 3 ( t ) + α 4 ( t ) + α 5 ( t ) ) .

It is easy to see that monotonicity of all α i ’s implies that β is also a decreasing function and that 0<β(t)<1 for each t[0,+). In particular, p( y n , y n + 1 )<p( y n 1 , y n ) and so the sequence {p( y n , y n + 1 )} is strictly decreasing (and bounded from below). It follows that there exists lim n p( y n , y n + 1 )=r and 0rp( y n , y n + 1 ) for each n. Then 1>β(r)>β(p( y n , y n + 1 )) for each n, and hence

p( y n , y n + 1 )β(r)p( y n 1 , y n ) ( β ( r ) ) 2 p( y n 2 , y n 1 ) ( β ( r ) ) n p( y 0 , y 1 ),

where β(r)[0,1) is fixed.

Now we prove that { y n } is a 0-Cauchy sequence in the usual way: for m>n it is

p ( y n , y m ) p ( y n , y n + 1 ) + + p ( y m 1 , y m ) ( ( β ( r ) ) n + + ( β ( r ) ) m 1 ) p ( y 0 , y 1 ) ( β ( r ) ) n 1 β ( r ) p ( y 0 , y 1 ) 0 as n .

It follows that { y n } is a 0-Cauchy sequence. Since this space is 0-complete, there exists zgX (i.e., z=gu, uX) such that y n =g x n + 1 z, n (we have supposed that gX is closed, and hence 0-complete) and p(z,z)=0. We will prove that fu=gu.

Put x= x n , y=u in the contractive condition. We obtain (writing temporarily α i = α i (p( x n ,u))) that

p ( g u , f u ) p ( g u , g x n + 1 ) + p ( f x n , f u ) p ( g u , g x n + 1 ) + α 1 p ( g x n , g u ) + α 2 p ( g x n , f x n ) + α 3 p ( g u , f u ) + α 4 p ( f u , g x n ) + α 5 p ( f x n , g u ) p ( g u , g x n + 1 ) + α 1 p ( g x n , g u ) + ( α 2 + α 4 ) p ( g x n , f x n ) + α 3 p ( g u , f u ) + α 4 p ( f u , f x n ) + α 5 p ( f x n , g u ) p ( g u , g x n + 1 ) + α 1 p ( g x n , g u ) + ( α 2 + α 4 ) p ( g x n , f x n ) + ( α 3 + α 4 ) p ( g u , f u ) + ( α 4 + α 5 ) p ( f x n , g u ) .

Taking into account that all α i ’s are bounded in [0,1), passing to the limit in the last inequality, we obtain that

p(gu,fu)0+ α 1 0+( α 2 + α 4 )0+( α 3 + α 4 )p(gu,fu)+( α 4 + α 5 )0,

i.e., p(gu,fu)( α 3 + α 4 )p(gu,fu). Since α 3 + α 4 <1, it follows that p(fu,gu)=0, gu=fu=z, and f and g have a point of coincidence z.

Suppose that z 1 =f u 1 =g u 1 is another point of coincidence for f and g. Then (4.1) implies that p( z 1 , z 1 )=0 and also that

p ( z , z 1 ) = p ( f u , f u 1 ) α 1 p ( g u , g u 1 ) + α 2 p ( g u , f u ) + α 3 p ( g u 1 , f u 1 ) + α 4 p ( f u 1 , g u ) + α 5 p ( f u , g u 1 ) = α 1 p ( z , z 1 ) + α 2 0 + α 3 0 + α 4 p ( z 1 , z ) + α 5 p ( z , z 1 ) = ( α 1 + α 4 + α 5 ) p ( z , z 1 ) .

Since α 1 + α 4 + α 5 <1, the last relation is possible only if p(z, z 1 )=0 and hence z= z 1 . So, the point of coincidence is unique.

The proof is similar if the subset fX of X is closed.

By a well-known result, if f and g are weakly compatible, it follows that f and g have a unique common fixed point. □

Remark 3 Taking (X,p) to be a standard metric space and g= i X , we obtain a shorter proof of [17], Theorem 4].

Remark 4 Taking appropriate choices of f g and α i i=1,,5 in Theorem 3, one can easily get the results of Reich [17], (7), (8)], Hardy-Rogers [17], (18)] and Ćirić [17], (21)] in the setting of partial metric spaces.

Remark 5 We finally note that, in a similar way, several other fixed point results in partial metric spaces obtained recently (e.g., [1], Theorem 8], [2], Theorem 5], [3], Theorems 1 and 2], [6], Theorem 2.1], [14], Theorem 5], [19], Theorems 3 and 4]) can be proved with a (strictly) weaker assumption of 0-completeness instead of completeness.

References

  1. Abdeljawad T: Fixed points of generalized weakly contractive mappings in partial metric spaces. Math. Comput. Model. 2011, 54: 2923–2927. 10.1016/j.mcm.2011.07.013

    Article  MathSciNet  Google Scholar 

  2. Abdeljawad T, Karapinar E, Taş K: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 2011, 24: 1900–1904. 10.1016/j.aml.2011.05.014

    Article  MathSciNet  Google Scholar 

  3. Altun I: Partial metric spaces. Am. Math. Mon. 2009, 116: 708–718. 10.4169/193009709X460831

    Article  Google Scholar 

  4. Bukatin M, Kopperman R, Matthews S, Pajoohesh H: Partial metric spaces. Am. Math. Mon. 2009, 116: 708–718. 10.4169/193009709X460831

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

  6. Ćirić L, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218: 2398–2406. 10.1016/j.amc.2011.07.005

    Article  MathSciNet  Google Scholar 

  7. Das KM, Naik KV: Common fixed point theorems for commuting maps on metric spaces. Proc. Am. Math. Soc. 1979, 77: 369–373.

    MathSciNet  Google Scholar 

  8. Ðukić D, Kadelburg Z, Radenović S: Fixed points of Geraghty-type mappings in various generalized metric spaces. Abstr. Appl. Anal. 2011., 2011:

    Google Scholar 

  9. Escardo MH: Pcf extended with real numbers. Theor. Comput. Sci. 1996, 162: 79–115. 10.1016/0304-3975(95)00250-2

    Article  MathSciNet  Google Scholar 

  10. Guseman LR: Fixed point mappings for with a contractive iterate at a point. Proc. Am. Math. Soc. 1970, 26: 615–618. 10.1090/S0002-9939-1970-0266010-3

    Article  MathSciNet  Google Scholar 

  11. Heckmann R: Approximation of metric spaces by partial metric spaces. Appl. Categ. Struct. 1999, 7: 71–83. 10.1023/A:1008684018933

    Article  MathSciNet  Google Scholar 

  12. Ilić D, Pavlović V, Rakočević V: Some new extensions of Banach’s contraction principle to partial metric spaces. Appl. Math. Lett. 2011, 24: 1326–1330. 10.1016/j.aml.2011.02.025

    Article  MathSciNet  Google Scholar 

  13. Ilić D, Pavlović V, Rakočević V: Extensions of Zamfirescu theorem to partial metric spaces. Math. Comput. Model. 2012, 55: 801–809. 10.1016/j.mcm.2011.09.005

    Article  Google Scholar 

  14. Karapinar E: Fixed point theorems for operators on partial metric spaces. Appl. Math. Lett. 2011, 24: 1894–1899. 10.1016/j.aml.2011.05.013

    Article  MathSciNet  Google Scholar 

  15. Matthews SG: Partial metric topology. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.

    Google Scholar 

  16. Oltra S, Valero O: Banach’s fixed point theorem for partial metric spaces. Rend. Ist. Mat. Univ. Trieste 2004, 36: 17–26.

    MathSciNet  Google Scholar 

  17. Rhoades BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 336: 257–290.

    Article  MathSciNet  Google Scholar 

  18. Romaguera S: A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010., 2010:

    Google Scholar 

  19. Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 2012, 159: 194–199. 10.1016/j.topol.2011.08.026

    Article  MathSciNet  Google Scholar 

  20. Sehgal VM: A fixed point theorem for mappings with a contractive iterate. Proc. Am. Math. Soc. 1969, 23: 631–634. 10.1090/S0002-9939-1969-0250292-X

    Article  MathSciNet  Google Scholar 

  21. Valero O: On Banach fixed point theorems for partial metric spaces. Appl. Gen. Topol. 2005, 6: 229–240.

    Article  MathSciNet  Google Scholar 

  22. Paesano D, Vetro P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 2012, 159: 911–920. 10.1016/j.topol.2011.12.008

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgement

The second and the fourth author are thankful to the Ministry of Science and Technological Development of Serbia.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stojan Radenović.

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 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

di Bari, C., Kadelburg, Z., Nashine, H.K. et al. Common fixed points of g-quasicontractions and related mappings in 0-complete partial metric spaces. Fixed Point Theory Appl 2012, 113 (2012). https://doi.org/10.1186/1687-1812-2012-113

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2012-113

Keywords