Skip to main content

Common fixed points of two pairs of mappings satisfying (E.A)-property in partial metric spaces

Abstract

In this paper, we present common coincidence and common fixed point results for two pairs of mappings that satisfy the (E.A)-property in the setup of partial metric spaces. Some examples are given to validate the concepts and results presented herein. Well-posedness of the common fixed point problem is also studied.

MSC:47H10, 54H25, 54E50.

1 Introduction and preliminaries

Over the last 50 years or so the theory of fixed points has been revealed as a very powerful and important tool in the study of nonlinear phenomena. In particular, fixed point techniques have been applied in such diverse fields as biology, chemistry, economics, engineering, game theory, and physics. In the past years, the extension of metric fixed point theory to generalized structures such as cone metrics, partial metric spaces and quasi-metric spaces has received much attention (see, for instance, [16] and the references therein). A partial metric space is a generalized metric space in which each object does not necessarily has to have a zero distance from itself [7]. One motivation for introducing the concept of a partial metric was to obtain appropriate mathematical models in the theory of computation and, in particular, to give a modified version of the Banach contraction principle, more suitable in this context [7, 8]. Subsequently, several authors have studied the problem of existence and uniqueness of a fixed point for mappings satisfying different contractive conditions (see, e.g., [919]).

Recently, it was shown that, in some cases, fixed point results in partial metric spaces can be obtained directly from their induced metric counterparts [2022]. However, some important conclusions in the application of partial metrics to information sciences cannot be obtained in this way. For example, if x is a fixed point of a map f, then, by using the method from [20], we cannot conclude that p(fx,fx)=0=p(x,x). For further details we refer the reader to [23] and [24].

The aim of this paper is to study the existence of a common fixed point for two pairs of mappings which satisfy the (E.A)-property in the framework of partial metric spaces. Our results do not require the maps to be commuting or continuous. We will also give an example to show that the conclusion of our results cannot be derived by employing an induced metric.

In the sequel, , R + , and denote the set of all real numbers, the set of all nonnegative real numbers and the set of all positive integers, respectively. The usual order on will be indistinctly denoted by ≤ or by ≥.

Consistent with [7] and [25], the following definitions and results will be needed in the sequel.

Definition 1.1 Let X be a nonempty set. A function p:X×X R + is said to be a partial metric on X if, for any x,y,zX, the following conditions hold:

(P1) p(x,x)=p(y,y)=p(x,y) if and only if x=y;

(P2) p(x,x)p(x,y);

(P3) p(x,y)=p(y,x);

(P4) p(x,z)p(x,y)+p(y,z)p(y,y).

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

If p(x,y)=0, then (P1)-(P3) imply that x=y, but the converse does not always hold.

A trivial example of a partial metric space is the pair ( R + ,p), where p: R + × R + R + is defined by p(x,y)=max{x,y}.

Example 1.2 [7]

If X={[a,b]:a,bR,ab}, then p([a,b],[c,d])=max{b,d}min{a,c} defines a partial metric p on X.

For more examples of partial metric spaces, we refer the reader to [14, 16, 17, 2528].

Each partial metric p on X generates a T 0 topology τ p on X which has as a base the family open p-balls { B p (x,ε):xX,ε>0}, where B p (x,ε)={yX:p(x,y)<p(x,x)+ε}, for all xX and ε>0.

Definition 1.3 [7]

A sequence { x n } in a partial metric space (X,p) is said to be a Cauchy sequence if lim n , m p( x n , x m ) exists and is finite.

It is well known that (see [[7], p.187]) a sequence { x n } in a partial metric space (X,p) converges to a point xX, with respect to τ p , if and only if p(x,x)= lim n p(x, x n ).

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), defines a metric on X.

A sequence { x n } converges in (X, p S ) to a point xX if and only if

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

This will be denoted as x n x as n or lim n x n =x. Clearly, the limit of a sequence in a partial metric space need not be unique. Moreover, contrary to the case of an ordinary metric d, a partial metric p need not be continuous, in the sense that x n x and y n y as n does not imply that p( x n , y n )p(x,y) as n.

A partial metric 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 lim n p(x, x n )=p(x,x). In this case we say that the partial metric p is complete.

The following example shows that a convergent sequence in a partial metric space may not be Cauchy. In particular, it shows that the limit of a convergent sequence is not unique.

Example 1.4 [7]

Let p: R + × R + R + be a partial metric defined as p(x,y)=max{x,y}. Define a sequence { x n } as

x n = { 0 if  n = 2 k , 1 if  n = 2 k + 1 .

Then { x n } is a convergent sequence but lim n , m p( x n , x m ) does not exist.

Lemma 1.5 [25]

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

  1. (a)

    A sequence { x n } in X 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)

    A partial metric space (X,p) is complete if and only if the metric space (X, p S ) is complete.

If fx=gx for some x in X, then x is called the coincidence point of f and g. Furthermore, if the mappings commute at each coincidence point, then such mappings are called weakly compatible [29].

Sessa [30] introduced the notion of the weak commutativity of mappings in metric spaces.

Definition 1.6 Let X be a partial metric space. Mappings f,g:XX are called (i) compatible if, whenever a sequence { x n } in X is such that {f x n } and {g x n } are convergent to some tX, then lim n p(fg x n ,gf x n )=p(t,t), and (ii) noncompatible if there exists at least one sequence { x n } in X such that {f x n } and {g x n } are convergent to some tX, but lim n p(fg x n ,gf x n ) does not exist.

In 2002, Aamri and Moutaawakil [31] introduced the (E.A)-property and obtained common fixed points for two mappings. Recently, Babu and Negash [32] employed this concept to obtain some new common fixed point results (see also [33] and [34]).

Definition 1.7 Let X be a partial metric space. Selfmaps f and g on X are said to satisfy the (E.A)-property if there exists a sequence { x n } in X such that {f x n } and {g x n } are convergent to some tX and p(t,t)=0.

Example 1.8 Let X=[0,4] be a partial metric space with

p(x,y)= { | x y | if  x , y [ 0 , 2 ] , max { x , y } otherwise .

Let f,g:XX be defined by

fx= { 2 x , x [ 0 , 1 ] , 2 x 2 , x ( 1 , 2 ] , 0 , x ( 2 , 4 ] , |

and

gx= { 3 x 2 , x [ 0 , 1 ] , x 2 , x ( 1 , 4 ] . |

For a decreasing sequence { x n } in X such that x n 1, g x n 1 2 , f x n 1 2 , gf x n = 4 + x n 4 5 4 and fg x n = 4 x n 2 3 2 . So f and g are noncompatible. Note that there exists a sequence { x n } in X such that lim n f x n = lim n g x n =1X. Take x n =1 for each nN. Hence f and g satisfy the (E.A)-property.

Let f,g,S,T:XX be mappings. In our results, we assume that for every sequence { y n } in X, one of the following conditions holds:

  1. (a)

    {g y n } is bounded in the case (f,S) satisfies the (E.A)-property,

  2. (b)

    {f y n } is bounded in the case (g,T) satisfies (E.A)-property.

The following is an example where above assumption does not hold.

Example 1.9 Let X= R + be a partial metric space with p(x,y)=max{x,y} and f,g,S,T:XX be mappings defined by

f ( x ) = 0 , g ( x ) = 1 + x 2 , S ( x ) = x 2 , T ( x ) = { 0 if  x = 0 , 1 4 otherwise .

Note that we have fXTX and gXSX with only the pair (f,S) satisfying the (E.A)-property. If y n =n, then the sequence {g y n } is unbounded. Also note that the pairs (f,S) and (g,T) are weakly compatible. Here f, g, S and T do not have a common fixed point.

Definition 1.10 The control functions ψ and ϕ are defined as

  1. (a)

    ψ,ϕ:[0,)[0,) are functions, where ψ is a continuous nondecreasing and ϕ is a lower semicontinuous with ψ(t)=ϕ(t)=0 if and only if t=0,

  2. (b)

    ψ and ϕ satisfy

    ψ(t)+ϕ(s)ψ(s),

for all s,t[0,) with ts.

2 Common fixed point theorems

In this section some common fixed point results for two pairs of mappings satisfying certain contractive conditions in the framework of a partial metric space, are obtained. We start with the following result.

Theorem 2.1 Let X be a partial metric space and f,g,S,T:XX be mappings with fXTX and gXSX such that

ψ ( p ( f x , g y ) ) ψ ( M ( x , y ) ) ϕ ( M ( x , y ) )
(2.1)

is satisfied for all x,yX, where ψ and ϕ are control functions and

M(x,y)=max { p ( S x , T y ) , p ( f x , S x ) , p ( T y , g y ) , [ p ( f x , T y ) + p ( S x , g y ) ] / 2 } .
(2.1A)

Suppose that one of the pairs (f,S) and (g,T) satisfies the (E.A)-property, and that one of the subspaces f(X), g(X), S(X), T(X) is closed in X. If, for every sequence { y n } in X, one of the following conditions holds:

  1. (a)

    {g y n } is bounded in the case (f,S) satisfies the (E.A)-property, or

  2. (b)

    {f y n } is bounded in the case (g,T) satisfies the (E.A)-property,

then the pairs (f,S) and (g,T) have a common point of coincidence in X. Moreover, if the pairs (f,S) and (g,T) are weakly compatible, then f, g, S and T have a unique common fixed point.

Proof If the pair (f,S) satisfies the (E.A)-property, then there exists a sequence { x n } in X satisfying lim n f x n = lim n S x n =q for some qX. As fXTX, there exists a sequence { y n } in X such that f x n =T y n . As {g y n } is bounded, lim sup n p(f x n ,g y n ) and lim sup n p(S x n ,g y n ) are finite numbers. Note that

|p(f x n ,g y n )p(S x n ,g y n )|p(f x n ,S x n ).

Since p(f x n ,S x n )0 as n, lim sup n p(f x n ,g y n )= lim sup n p(S x n ,g y n ). Indeed, using the fact that lim sup n p(f x n ,g y n )= lim sup n p(S x n ,g y n )=l0, we obtain subsequences { x n k } and { y n k } such that p(S x n k ,g y n k ) and p(f x n k ,g y n k ) are convergent to l. Assume that l>0. Replacing x by x n k and y by y n k in (2.1A), we have

M ( x n k , y n k ) = max { p ( S x n k , f x n k ) , p ( f x n k , S x n k ) , p ( f x n k , g y n k ) , [ p ( f x n k , f x n k ) + p ( S x n k , g y n k ) ] / 2 } ,

which, on taking the limit as k, implies that

lim n M( x n k , y n k )=max { p ( q , q ) , p ( q , q ) , l , l / 2 } =l.
(2.2)

From (2.1) we obtain

ψ ( p ( f x n k , g y n k ) ) ψ ( M ( x n k , y n k ) ) ϕ ( M ( x n k , y n k ) )
(2.3)

which, on taking the upper limit of both sides, gives

ψ(l)ψ(l)ϕ(l)<ψ(l),

a contradiction. Therefore l=0. Hence lim n p(f x n ,g y n )= lim n p(S x n ,g y n )=0 and so lim n g y n =q.

If T(X) is a closed subspace of X, then there exists an r in X such that q=Tr. From (2.1) we have

ψ ( p ( f x n , g r ) ) ψ ( M ( x n , r ) ) ϕ ( M ( x n , r ) ) ,
(2.4)

where

M ( x n , r ) = max { p ( S x n , T r ) , p ( f x n , S x n ) , p ( T r , g r ) , [ p ( f x n , T r ) + p ( S x n , g r ) ] / 2 } = max { p ( S x n , q ) , p ( f x n , S x n ) , p ( q , g r ) , [ p ( f x n , q ) + p ( S x n , g r ) ] / 2 } .

Using (P2), we obtain

lim sup n M ( x n , r ) = max { p ( q , q ) , p ( q , q ) , p ( q , g r ) , [ p ( q , q ) + p ( q , g r ) ] / 2 } = p ( q , g r ) .
(2.5)

Hence

ψ ( p ( q , g r ) ) ψ ( p ( q , g r ) ) ϕ ( p ( q , g r ) ) ,

and ϕ(p(q,gr))0 give gr=q, and r is a coincidence point of the pair (g,T). As g(X)S(X), there exists a point u in X such that q=Su. We claim that Su=fu. Using (2.1), we have

ψ ( p ( f u , g r ) ) ψ ( M ( u , r ) ) ϕ ( M ( u , r ) ) ,
(2.6)

where

M ( u , r ) = max { p ( S u , T r ) , p ( f u , S u ) , p ( T r , g r ) , [ p ( f u , T r ) + p ( S u , g r ) ] / 2 } = max { p ( S u , S u ) , p ( f u , S u ) , p ( S u , S u ) , [ p ( f u , S u ) + p ( S u , S u ) ] / 2 } = p ( f u , S u ) .
(2.7)

Hence

ψ ( p ( f u , S u ) ) ψ ( p ( f u , S u ) ) ϕ ( p ( f u , S u ) )

implies that ϕ(p(fu,Su))0. Therefore fu=Su, u is a coincidence point of pair the (f,S). Thus fu=Su=Tr=gr=q. Now, the weakly compatibility of the pairs (f,S) and (g,T) gives fq=Sq and Tq=gq. From (2.1), we have

ψ ( p ( f q , q ) ) =ψ ( p ( f q , g r ) ) ψ ( M ( q , r ) ) ϕ ( M ( q , r ) ) ,
(2.8)

where

M ( q , r ) = max { p ( S q , T r ) , p ( f q , S q ) , p ( T r , g r ) , [ p ( f q , T r ) + p ( S q , g r ) ] / 2 } = max { p ( f q , q ) , p ( f q , f q ) , p ( q , q ) , [ p ( f q , q ) + p ( f q , q ) ] / 2 } = p ( f q , q ) .
(2.9)

From (2.8), we obtain

ψ ( p ( f q , q ) ) ψ ( p ( f q , q ) ) ϕ ( p ( f q , q ) ) ,

and so ϕ(p(fq,q))0. Therefore fq=Sq=q. Similarly, it can be shown that gq=q. Therefore gq=Tq=q. To prove the uniqueness of q, suppose that fp=gp=Sp=Tp=p. From (2.1), we have

ψ ( p ( q , r ) ) =ψ ( p ( f q , g r ) ) ψ ( M ( q , r ) ) ϕ ( M ( q , r ) ) ,
(2.10)

where

M ( q , r ) = max { p ( S q , T r ) , p ( f q , S q ) , p ( T p , g r ) , [ p ( f q , T r ) + p ( S q , g r ) ] / 2 } = max { p ( q , r ) , p ( q , q ) , p ( q , q ) , [ p ( q , r ) + p ( q , r ) ] / 2 } = p ( q , r ) .

Thus, from (2.10), we obtain

ψ ( p ( q , r ) ) ψ ( p ( q , r ) ) ϕ ( p ( q , r ) ) ,

which implies that ϕ(p(q,r))0 and so q=r. □

Example 2.2 Let X={0,1,2} be a set with partial metric defined by

Let f,g,S,T:XX be defined by

Clearly, f(X)T(X) and g(X)S(X) and the pairs (f,S) and (g,T) are weakly compatible. Also the pair (f,S) satisfies the (E.A)-property; indeed, x n =0 for each nN is the required sequence. Note that the pair (g,T) does not commute at 2. The control functions ψ,ϕ:[0,)[0,) are defined by

ψ(t)=3tandϕ(t)= { t / 4 , if  t [ 0 , 4 ] , e 4 t 2 , if  t > 4 .

To check the contractive condition (2.1) for all x,yX, we consider the following cases.

Note that for cases (I) x=y=0, (II) x=0, y=1, (III) x=1, y=0, (IV) x=1, y=1, (V) x=2, y=0, and (VI) x=2, y=1, we have p(fx,gy)=0, and hence (2.1) is obviously satisfied.

  1. (VII)

    If x=0, y=2, then fx=0, gy=1, Sx=0, Ty=2. We have

    ψ ( p ( f x , g y ) ) = 3 p ( 0 , 1 ) = 3 < 11 4 ( 3 ) = 11 4 p ( 0 , 2 ) = 11 4 p ( S x , T y ) 11 4 M ( x , y ) = ψ ( M ( x , y ) ) ϕ ( M ( x , y ) ) .
  2. (VIII)

    If x=1, y=2, then fx=0, gy=1, Sx=2, Ty=2. We have

    ψ ( p ( f x , g y ) ) = 3 p ( 0 , 1 ) = 3 < 11 8 ( 3 + 2 ) = 11 4 [ p ( 0 , 2 ) + p ( 2 , 1 ) ] / 2 = 11 4 [ p ( f x , T y ) + p ( S x , g y ) ] / 2 11 4 M ( x , y ) = ψ ( M ( x , y ) ) ϕ ( M ( x , y ) ) .
  3. (IX)

    Now when x=2, y=2, then fx=0, gy=1, Sx=1, Ty=2.

    ψ ( p ( f x , g y ) ) = 3 p ( 0 , 1 ) = 3 < 11 4 ( 2 ) = 11 4 p ( 1 , 2 ) = 11 4 p ( S x , T y ) 11 4 M ( x , y ) = ψ ( M ( x , y ) ) ϕ ( M ( x , y ) ) .

Hence all of the conditions of Theorem 2.1 are satisfied. Moreover, 0 is the unique common fixed point of f, g, S and T.

The next example shows that one cannot derive the conclusion of Theorem 2.1 by using a metric induced by a partial metric.

Example 2.3 Let X= R + be a partial metric space with p(x,y)=max{x,y} and f,g,S,T:XX be defined as f(x)=0, g(x)= 8 9 x, Sx= 3 2 x and Tx= 4 3 x. Note that f(X)T(X), g(X)S(X) with the pair (f,S) satisfies the (E.A)-property. The control functions ψ,ϕ:[0,)[0,) are defined by

ψ(t)=4tandϕ(t)= t 8 .

To check the contractive condition (2.1) for all x,yX, we consider the following cases.

If xy, then we have

ψ ( p ( f x , g y ) ) = 4 ( 8 9 y ) 31 8 ( 4 3 y ) = 31 8 p ( T y , g y ) 31 8 M ( x , y ) = ψ ( M ( x , y ) ) ϕ ( M ( x , y ) ) .

Also, for x>y,

ψ ( p ( f x , g y ) ) = 4 ( 8 9 y ) 31 8 ( 3 2 x ) = 31 8 p ( f x , S x ) 31 8 M ( x , y ) = ψ ( M ( x , y ) ) ϕ ( M ( x , y ) ) .

Hence (2.1) is satisfied for all x,yX. The pairs (f,S) and (g,T) are weakly compatible and f, g, S and T have a unique common fixed point.

On the other hand, we have p S (x,y)=|xy|. If we take x=0.5 and y=1, then we have p S (fx,gy)= 8 9 , p S (Sx,Ty)= 7 12 , p S (fx,Sx)= 3 4 , p S (gy,Ty)= 4 9 and [ p S ( f x , T y ) + p S ( S x , g y ) ] 2 = 53 72 . Thus

ψ ( p ( f x , g y ) ) = 4 ( 8 9 ) 31 8 ( 3 4 ) = 31 8 p ( f x , S x ) = 31 8 M ( x , y ) = ψ ( M ( x , y ) ) ϕ ( M ( x , y ) ) .

As any two compatible or noncompatible selfmappings on a partial metric space X satisfy the (E.A)-property, the above result remains true if any one of the pair of mappings is either compatible or noncompatible.

The above theorem is true for any choice of control functions. For example if we take ψ(t)=t and ϕ(t)=(1γ)t for γ[0,1) in Theorem 2.1, we have the following corollary.

Corollary 2.4 Let X be a partial metric space and f,g,S,T:XX be mappings with f(X)T(X) and g(X)S(X), such that

p ( f x , g y ) γ max { p ( S x , T y ) , p ( f x , S x ) , p ( T y , g y ) , [ p ( f x , T y ) + p ( S x , g y ) ] / 2 }
(2.11)

holds for all x,yX, where γ[0,1). Suppose that one of the pairs (f,S) and (g,T) satisfies the (E.A)-property and one of the subspaces f(X), g(X), S(X), T(X) is closed in X. If, for every sequence { y n } in X, one of the following conditions holds:

  1. (a)

    {g y n } is bounded in the case (f,S) satisfies the (E.A)-property,

  2. (b)

    {f y n } is bounded in the case (g,T) satisfies the (E.A)-property,

then the pairs (f,S) and (g,T) have a point of coincidence in X. Moreover, if the pairs (f,S) and (g,T) are weakly compatible, then f, g, S and T have a unique common fixed point.

If we take f=g and S=T with ψ(t)=t for all tR in Theorem 2.1, we obtain the following corollary which extends Theorem 3.1 of [32] to a partial metric space.

Corollary 2.5 Let X be a partial metric space and f,S:XX be mappings with fXSX such that

p(fx,fy)M(x,y)ϕ ( M ( x , y ) )

holds for all x,yX, where ϕ is a control function and

M(x,y)=max { p ( S x , S y ) , p ( f x , S x ) , p ( S y , f y ) , [ p ( f x , S y ) + p ( S x , f y ) ] / 2 } .

Suppose that the pair (f,S) satisfies the (E.A)-property and that one of the subspaces f(X), S(X), is closed in X. Then the pair (f,S) has a common point of coincidence in X. Moreover, if the pair (f,S) is weakly compatible, then f and S have a unique common fixed point.

3 Well-posedness

The notion of well-posedness of a fixed point problem has evoked much interest of several mathematicians (see [3537]).

Definition 3.1 Let X be a partial metric space and f:XX be a mapping. The fixed point problem of f is said to be well-posed if:

  1. (a)

    f has a unique fixed point z in X,

  2. (b)

    for any sequence { x n } of points in X such that lim n p(f x n , x n )=0, we have lim n p( x n ,z)=0.

Definition 3.2 Let X be a partial metric space and Σ be a set of mappings on X. A common fixed point problem CF(Σ) is said to be well-posed if:

  1. (a)

    zX is the unique common fixed point of all mappings in Σ,

  2. (b)

    for any sequence { x n } of points in X, such that lim n p(f x n , x n )=0 for each fΣ, we have lim n p( x n ,z)=0.

Theorem 3.3 Let X be a partial metric space and f,g,S,T:XX be mappings such that

p(fx,gy)p(Sx,Ty)ψ ( M ( x , y ) )
(3.1)

holds for all x,yX, where ψ is a control function and

M(x,y)=max { p ( S x , T y ) , p ( f x , S x ) , p ( T y , g y ) , [ p ( f x , T y ) + p ( S x , g y ) ] / 2 } .

Suppose that one of the pairs (f,S) and (g,T) satisfies the (E.A)-property and that one of the subspace f(X), g(X), S(X), T(X) is closed in X. If, for every sequence { y n } in X, one of the following conditions holds.

  1. (a)

    {g y n } is bounded in the case (f,S) satisfies the (E.A)-property,

  2. (b)

    {f y n } is bounded in the case (g,T) satisfies the (E.A)-property.

If the pairs (f,S) and (g,T) are weakly compatible, then CF({f,g,S,T}) is well-posed.

Proof From Theorem 2.1 the mappings f,g,S,T:XX have a unique common fixed point (say) z in X. Let { x n } be a sequence in X such that

lim n p(f x n , x n )= lim n p(g x n , x n )= lim n p(S x n , x n )= lim n p(T x n , x n )=0.
(3.2)

Using (3.1) we have

p ( z , x n ) p ( f z , g x n ) + p ( g x n , x n ) p ( g x n , g x n ) p ( S z , T x n ) ψ ( M ( z , x n ) ) + p ( g x n x n ) p ( z , x n ) + p ( x n , T x n ) ψ ( [ p ( f z , T x n ) + p ( g x n , S z ) ] / 2 ) + p ( g x n , x n ) ,

which further implies that

ψ ( [ p ( z , T x n ) + p ( x n , z ) ] / 2 ) p ( x n , T x n ) + p ( g x n , x n ) 2 p ( T x n , x n ) + p ( g x n , x n ) .

On taking the limit as n we obtain

lim n ψ ( [ p ( z , T x n ) + p ( x n , z ) ] / 2 ) =0,

and by the property of ψ, we have

lim n p(z,T x n )= lim n p( x n ,z)=0.

The result then follows. □

References

  1. Abbas M, Nazir T, Doric D: Common fixed point of mappings satisfying (E.A) property in generalized metric spaces. Appl. Math. Comput. 2012, 218: 7665–7670. 10.1016/j.amc.2011.11.113

    Article  MathSciNet  Google Scholar 

  2. Aydi H, Karapınar E: A Meir-Keeler common type fixed point theorem on partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 26

    Google Scholar 

  3. Karapınar E: Generalizations of Caristi Kirk’s theorem on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 4

    Google Scholar 

  4. Karapınar E, Yuce IS: Fixed point theory for cyclic generalized weak contraction on partial metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 491542

    Google Scholar 

  5. Karapınar E, Shobkolaei N, Sedghi S, Vaezpour SM: A common fixed point theorem for cyclic operators on partial metric spaces. Filomat 2012,26(2):407–414. 10.2298/FIL1202407K

    Article  MathSciNet  Google Scholar 

  6. Latif A, Al-Mezel SA: Fixed point results in quasi metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 178306

    Google Scholar 

  7. Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.

    Google Scholar 

  8. Matthews, SG: The topology of partial metric spaces. Research report RR 222. University of Warwick (1992)

    Google Scholar 

  9. Abdeljawad T, Aydi H, Karapınar E: Coupled fixed points for Meir-Keeler contractions in ordered partial metric spaces. Math. Probl. Eng. 2012., 2012: Article ID 327273

    Google Scholar 

  10. arXiv: http://arxiv.org/abs/arXiv:1103.3680v1

  11. Aydi H, Karapınar E: New Meir-Keeler type tripled fixed point theorems on ordered partial metric spaces. Math. Probl. Eng. 2012., 2012: Article ID 409872

    Google Scholar 

  12. Aydi H, Amor SH, Karapınar E: Berinde-type generalized contractions on partial metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 312479

    Google Scholar 

  13. Bukatin M, Shorina SY, et al.: Partial metrics and co-continuous valuations. Lecture Notes in Computer Science 1378. In Foundations of Software Science and Computation Structure. Edited by: Nivat M. Springer, Berlin; 1998:125–139.

    Chapter  Google Scholar 

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

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

    MathSciNet  Google Scholar 

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

    Google Scholar 

  17. Schellekens MP: The correspondence between partial metrics and semivaluations. Theor. Comput. Sci. 2004, 315: 135–149. 10.1016/j.tcs.2003.11.016

    Article  MathSciNet  Google Scholar 

  18. Valero O: On Banach fixed point theorems for partial metric spaces. Appl. Gen. Topol. 2005, 6: 229–240. 10.4995/agt.2005.1957

    Article  MathSciNet  Google Scholar 

  19. Karapınar K: A note on common fixed point theorems in partial metric spaces. Miskolc Math. Notes 2011,12(2):185–191.

    MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  21. Jleli M, Karapınar K, Samet B: Further remarks on fixed point theorems in the context of partial metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 715456

    Google Scholar 

  22. Samet B, Vetro C, Vetro F: From metric spaces to partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 5

    Google Scholar 

  23. Nashine HK, Kadelburg Z: Cyclic contractions and fixed point results via control functions on partial metric spaces. Int. J. Anal. 2013., 2013: Article ID 726387

    Google Scholar 

  24. Nashine HK, Kadelburg Z: Fixed point theorems via various cyclic contractive conditions in partial metric spaces. Publ. Inst. Math. (Belgr.) 2013,93(107):69–93. 10.2298/PIM1307069N

    Article  MathSciNet  Google Scholar 

  25. Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 508730

    Google Scholar 

  26. Abbas M, Nazir T: Fixed point of generalized weakly contractive mappings in ordered partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 1

    Google Scholar 

  27. Abbas M, Nazir T, Romaguera S: Fixed point results for generalized cyclic contraction mappings in partial metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2012,106(2):287–297. 10.1007/s13398-011-0051-5

    Article  MathSciNet  Google Scholar 

  28. Karapınar E, Rakocevic V: On cyclic generalized weakly C -contractions on partial metric spaces. J. Appl. Math. 2013., 2013: Article ID 831491

    Google Scholar 

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

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

    MathSciNet  Google Scholar 

  31. Aamri A, Moutawakil DE: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 2002, 270: 181–188. 10.1016/S0022-247X(02)00059-8

    Article  MathSciNet  Google Scholar 

  32. Babu GVR, Negas AG: A common fixed point theorem for weakly compatible mappings. Appl. Math. E-Notes 2010, 10: 167–174.

    MathSciNet  Google Scholar 

  33. Beg I, Abbas M: Coincidence and common fixed points of noncompatible maps. J. Appl. Math. Inform. 2011,29(3–4):743–752.

    MathSciNet  Google Scholar 

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

  35. Lahiri BK, Das P: Well-posedness and porosity of certain classes of operators. Demonstr. Math. 2005, 38: 170–176.

    MathSciNet  Google Scholar 

  36. Popa V: Well-posedness of fixed point problem in orbitally complete metric spaces. Stud. Cercet. Ştiinţ. - Univ. Bacău, Ser. Mat. 2006, 16: 209–214. Proceedings of ICMI 45, Bacau, September 18–20, 2006

    Google Scholar 

  37. Reich S, Zaslavski AJ: Well-posedness of fixed point problems. Far East J. Math. Sci. 2001, Special Volume: 393–401. part III

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are grateful to the referees for their careful reading and critical remarks which helped us in improving the presentation of this paper. The authors also thank Pakistan Science Foundation for their support.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Talat Nazir.

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

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Nazir, T., Abbas, M. Common fixed points of two pairs of mappings satisfying (E.A)-property in partial metric spaces. J Inequal Appl 2014, 237 (2014). https://doi.org/10.1186/1029-242X-2014-237

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-237

Keywords