Skip to main content

Existence of tripled coincidence points in ordered b-metric spaces and an application to a system of integral equations

Abstract

In this paper, tripled coincidence points of mappings satisfying some nonlinear contractive conditions in the framework of partially ordered b-metric spaces are obtained. Our results extend the results of Berinde and Borcut (Nonlinear Anal. 74:4889-4897, 2011) and Borcut (Appl. Math. Comput. 218:7339-7346, 2012) from the context of ordered metric spaces to the setting of ordered b-metric spaces. Moreover, some examples of the main result are given. Finally, some tripled coincidence point results for mappings satisfying some contractive conditions of integral type in complete partially ordered b-metric spaces are deduced. Also, an application is given to support our results.

MSC: Primary 47H10; secondary 54H25.

1 Introduction and preliminaries

Existence of coupled fixed points in partially ordered metric spaces was first investigated in 1987 by Guo and Lakshmikantham [1], and then in [2, 3]. Further results in this direction under weak contraction conditions in different metric spaces were proved in, e.g., [46].

Recently, Berinde and Borcut [7] introduced a new concept of a tripled fixed point and obtained some tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. For a survey of tripled fixed point theorems and related topics, we refer the reader to [711].

Definition 1.1 [7, 9]

Let (X,) be a partially ordered set, f: X 3 X and g:XX.

  1. 1.

    An element (x,y,z) X 3 is called a tripled fixed point of f if f(x,y,z)=x, f(y,x,y)=y and f(z,y,x)=z.

  2. 2.

    An element (x,y,z) X 3 is called a tripled coincidence point of the mappings f and g if f(x,y,z)=gx, f(y,x,y)=gy and f(z,y,x)=gz.

  3. 3.

    An element (x,y,z) X 3 is called a tripled common fixed point of f and g if x=g(x)=f(x,y,z), y=g(y)=f(y,x,y) and z=g(z)=f(z,y,x).

  4. 4.

    We say that f has the mixed g-monotone property if f(x,y,z) is g-nondecreasing in x, g-nonincreasing in y and g-nondecreasing in z, that is, if for any x,y,zX,

    x 1 , x 2 X , g x 1 g x 2 f ( x 1 , y , z ) f ( x 2 , y , z ) , y 1 , y 2 X , g y 1 g y 2 f ( x , y 1 , z ) f ( x , y 2 , z )

and

z 1 , z 2 X,g z 1 g z 2 f(x,y, z 1 )f(x,y, z 2 ).

Definition 1.2 [11]

Let X be a nonempty set. We say that the mappings f: X 3 X and g:XX commute if g(f(x,y,z))=f(gx,gy,gz) for all x,y,zX.

In [7], Berinde and Borcut proved the following result and formulated it as Theorems 7 and 8.

Theorem 1.3 [7]

Let (X,) be a partially ordered set and suppose there is a metric d on X such that (X,d) is a complete metric space. Let F: X 3 X be a mapping having the mixed monotone property on X. Assume that there exist constants j,k,l[0,1) with j+k+l<1 for which

d ( F ( x , y , z ) , F ( u , v , w ) ) jd(x,u)+kd(y,v)+ld(z,w)

for all x,y,z,u,v,wX with xu, yv and zw. Suppose either F is continuous or (X,d,) is regular. If there exist x 0 , y 0 , z 0 X such that x 0 F( x 0 , y 0 , z 0 ), y 0 F( y 0 , x 0 , y 0 ) and z 0 F( z 0 , y 0 , x 0 ), then there exist x,y,zX such that F(x,y,z)=x, F(y,x,y)=y and F(z,y,x)=z.

In [10], Borcut and Berinde proved the following result and formulated it as Theorem 4.

Theorem 1.4 Let (X,) be a partially ordered set and suppose there is a metric d on X such that (X,d) is a complete metric space. Let F: X 3 X and g:XX be such that F has the mixed g-monotone property on X. Assume that there exist constants j,k,l[0,1) with j+k+l<1 such that

d ( F ( x , y , z ) , F ( u , v , w ) ) jd(gx,gu)+kd(gy,gv)+ld(gz,gw)

for all x,y,z,u,v,wX with gxgu, gygv and gzgw. Suppose that F( X 3 )g(X), g is continuous and commutes with F and also suppose either F is continuous or (X,d,) is regular. If there exist x 0 , y 0 , z 0 X such that x 0 F( x 0 , y 0 , z 0 ), y 0 F( y 0 , x 0 , y 0 ) and z 0 F( z 0 , y 0 , x 0 ), then there exist x,y,zX such that F(x,y,z)=gx, F(y,x,y)=gy and F(z,y,x)=gz.

Notice that Theorem 1.3 follows from Theorem 1.4 by taking g= i X (the identity map).

In [9], Borcut obtained the following.

Theorem 1.5 [[9], Corollary 1]

Let (X,) be a partially ordered set and suppose there is a metric d on X such that (X,d) is a complete metric space. Let f: X 3 X and g:XX be such that f has the g-mixed monotone property. Assume that there exists k[0,1) such that

d ( f ( x , y , z ) , f ( u , v , w ) ) kmax { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) }

for all x,y,z,u,v,wX with gxgu, gygv and gzgw. Suppose f( X 3 )g(X), g is continuous and commutes with f and also suppose either

  1. (a)

    f is continuous, or

  2. (b)

    X has the following properties:

  3. (i)

    if a non-decreasing sequence x n x, then x n x for all n;

  4. (ii)

    if a non-increasing sequence y n y, then y n y for all n.

If there exist x 0 , y 0 , z 0 X such that g x 0 f( x 0 , y 0 , z 0 ), g y 0 f( y 0 , x 0 , z 0 ) and g z 0 f( z 0 , y 0 , x 0 ), then f and g have a tripled coincidence point.

The concept of a b-metric space was introduced by Czerwik in [12]. Since then, several papers have been published on the fixed point theory of various classes of single-valued and multi-valued operators in b-metric spaces (see, e.g., [1320]).

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

Definition 1.6 [12]

Let X be a (nonempty) set and s1 be a given real number. A function d:X×X + is a b-metric if, for all x,y,zX, the following conditions are satisfied:

(b1) d(x,y)=0 iff x=y,

(b2) d(x,y)=d(y,x),

(b3) d(x,z)s[d(x,y)+d(y,z)].

The pair (X,d) is called a b-metric space.

It should be noted that the class of b-metric spaces is effectively larger than that of metric spaces since a b-metric is a metric when s=1, and there are b-metric spaces which are not metric spaces. Here, we present an easy example of this kind (see also [[20], p.264]).

Example 1.7 [13]

Let (X,d) be a metric space and ρ(x,y)= ( d ( x , y ) ) p , where p>1 is a real number. Then ρ is a b-metric with s= 2 p 1 . However, (X,ρ) is not necessarily a metric space.

For example, let X be the set of real numbers and let d(x,y)=|xy| be the usual Euclidean metric. Then ρ(x,y)= ( x y ) 2 is a b-metric on with s=2, but is not a metric on .

Also, the following example of a b-metric space was given in [19].

Example 1.8 [19]

Let X be the set of Lebesgue measurable functions on [0,1] such that

0 1 |f(x) | 2 dx<.

Define D:X×X[0,) by

D(f,g)= 0 1 |f(x)g(x) | 2 dx.

As ( 0 1 | f ( x ) g ( x ) | 2 d x ) 1 / 2 is a metric on X, then, from the previous example, D is a b-metric on X with s=2.

The purpose of this paper is to obtain some tripled coincidence point theorems for two mappings satisfying a (ψ,φ)-contractive condition in ordered b-metric spaces. Our results extend, unify and generalize the comparable results in [7, 9, 10] from the context of ordered metric spaces to the setup of ordered b-metric spaces.

We also need the following definitions.

Definition 1.9 [15]

Let (X,d) be a b-metric space. Then a sequence { x n } in X is called:

  1. (a)

    b-convergent if there exists xX such that d( x n ,x)0 as n. In this case, we write lim n x n =x.

  2. (b)

    b-Cauchy if d( x n , x m )0 as n,m.

Proposition 1.10 (See [[15], Remark 2.1])

In a b-metric space (X,d), the following assertions hold:

(p1) A b-convergent sequence has a unique limit.

(p2) Each b-convergent sequence is b-Cauchy.

(p3) In general, a b-metric is not continuous (see also an example in [16]).

Definition 1.11 [15]

Let (X,d) and ( X , d ) be two b-metric spaces.

  1. (1)

    The space (X,d) is b-complete if every b-Cauchy sequence in X b-converges.

  2. (2)

    A function f:X X is b-continuous at a point xX if it is b-sequentially continuous at x, that is, whenever { x n } is b-convergent to x, {f( x n )} is b-convergent to f(x).

Definition 1.12 Let (X,d) be a b-metric space. Mappings f: X 3 X and g:XX are called compatible if

lim n d ( g f ( x n , y n , z n ) , f ( g x n , g y n , g z n ) ) = 0 , lim n d ( g f ( y n , x n , y n ) , f ( g y n , g x n , g y n ) ) = 0 ,

and

lim n d ( g f ( z n , y n , x n ) , f ( g z n , g y n , g x n ) ) =0

hold whenever { x n }, { y n } and { z n } are sequences in X such that

lim n f ( x n , y n , z n ) = lim n g x n , lim n f ( y n , x n , y n ) = lim n g y n ,

and

lim n f( z n , y n , x n )= lim n g z n .

Definition 1.13 Let X be a nonempty set. Then (X,d,) is called a partially ordered b-metric space if d is a b-metric on a partially ordered set (X,).

The space (X,d,) is called regular if the following conditions hold:

  1. (i)

    if a non-decreasing sequence x n x, then x n x for all n,

  2. (ii)

    if a non-increasing sequence y n y, then y n y for all n.

The notion of an altering distance function was introduced by Khan et al. [21] as follows.

Definition 1.14 [21]

The function ψ:[0,)[0,) is called an altering distance function if the following properties are satisfied:

  1. 1.

    ψ is continuous and strictly increasing.

  2. 2.

    ψ(t)=0 if and only if t=0.

2 Main results

We use the following simple lemma in proving our main results.

Lemma 2.1 Let (X,d,) be an ordered b-metric space (with the parameter s) and let f: X 3 X and g:XX.

(a) If a relation is defined on X 3 by

XUxuyvzw,X=(x,y,z),U=(u,v,w) X 3 ,

and a mapping D: X 3 × X 3 + is given by

D(X,U)=max { d ( x , u ) , d ( y , v ) , d ( z , w ) } ,X=(x,y,z),U=(u,v,w) X 3 ,

then ( X 3 ,D,) is an ordered b-metric space (with the same parameter s). The space ( X 3 ,D) is b-complete iff (X,d) is b-complete.

(b) If the mapping f has the g-mixed monotone property, then the mapping F: X 3 X 3 given by

FX= ( f ( x , y , z ) , f ( y , x , y ) , f ( z , y , x ) ) ,X=(x,y,z) X 3 ,

is G-nondecreasing w.r.t. , i.e.,

GXGUFXFU,

where G: X 3 X 3 is defined by

GX=(gx,gy,gz),X=(x,y,z) X 3 .

(c) If f is continuous from ( X 3 ,D) to (X,d), then F is continuous in ( X 3 ,D).

(d) If f and g are compatible, then F and G are compatible.

Let (X,d,) be an ordered b-metric space, f: X 3 X and g:XX. In the rest of this paper, unless otherwise stated, for all x,y,z,u,v,wX, let

M f ( x , y , z , u , v , w ) = max { d ( f ( x , y , z ) , f ( u , v , w ) ) , d ( f ( y , x , y ) , f ( v , u , v ) ) , d ( f ( z , y , x ) , f ( w , v , u ) ) } ,

and

M g (x,y,z,u,v,w)=max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } .

Now, the main result is presented as follows.

Theorem 2.2 Let (X,d,) be a partially ordered b-metric space with the parameter s>1, and let f: X 3 X and g:XX be such that f( X 3 )g(X). Assume that

ψ ( s ε M f ( x , y , z , u , v , w ) ) ψ ( M g ( x , y , z , u , v , w ) ) φ ( M g ( x , y , z , u , v , w ) )
(1)

for all x,y,z,u,v,wX with gxgu, gygv and gzgw, or gugx, gvgy and gwgz, where ψ,φ:[0,)[0,) are altering distance functions and ε>1.

Assume also that

  1. (1)

    f has the mixed g-monotone property;

  2. (2)

    g is b-continuous and compatible with f.

Also, suppose that either

  1. (a)

    f is b-continuous and (X,d) is b-complete, or

  2. (b)

    (X,d) is regular and (g(X),d) is b-complete.

If there exist x 0 , y 0 , z 0 X such that g x 0 f( x 0 , y 0 , z 0 ), g y 0 f( y 0 , x 0 , y 0 ) and g z 0 f( z 0 , y 0 , x 0 ), then f and g have a tripled coincidence point in X.

Proof Let D be the b-metric and be the partial order on X 3 defined in Lemma 2.1. Also, define the mappings F,G: X 3 X 3 by FX=(f(x,y,z),f(y,x,y),f(z,y,x)) and GX=(gx,gy,gz), X=(x,y,z) as in Lemma 2.1. Then ( X 3 ,D,) is an ordered b-metric space (with the same parameter s as X) and F is a G-nondecreasing mapping on it such that F( X 3 )G( X 3 ). Moreover, the contractive condition (1) implies that

ψ ( s ε D ( F X , F U ) ) ψ ( D ( G X , G U ) ) φ ( D ( G X , G U ) )
(2)

holds for all X,U X 3 such that GX and GU are -comparable. Since φ has non-negative values and ψ is strictly increasing, (2) implies that

D(FX,FU) 1 s ε D(GX,GU),
(3)

where 0<1/ s ε <1/s for all X,U X 3 such that GX and GU are -comparable. We will prove in the next lemma that under these circumstances, it follows that F and G have a coincidence point X ¯ =( x ¯ , y ¯ , z ¯ ) X 3 which is obviously a tripled coincidence point of f and g. □

The following lemma is an ‘ordered variant’ of the basic result of Czerwik [12] (adapted for two mappings).

Lemma 2.3 Let (X,d,) be a partially ordered b-metric space and let f and g be two self-mappings on X. Assume that there exists λ[0, 1 s ) such that

d(fx,fy)λd(gx,gy)
(4)

for all x,yX with gxgy or gxgy. Let the following conditions hold:

  1. (i)

    f is g-nondecreasing with respect to and f(X)g(X);

  2. (ii)

    there exists x 0 X such that g x 0 f x 0 ;

  3. (iii)

    f and g are continuous and compatible and (X,d) is complete, or

(iii′) (X,d,) is regular and one of f(X) or g(X) is complete.

Then f and g have a coincidence point in X.

Proof Because of fXgX and (ii), we can define a Jungck sequence by

y n =f x n =g x n + 1 ,

for all n=0,1,2, .

It can be proved by induction that y n y n + 1 for all n. If y n = y n + 1 for some n, then x n + 1 is a coincidence point of f and g. Hence, we suppose that y n y n + 1 for all n. It can be proved in a standard way (see, e.g., [[18], Lemma 3.1]) that { y n } is a Cauchy sequence.

Suppose first that (iii) holds. Then there exists

lim n f x n = lim n g x n =zX.

Further, since f and g are continuous and compatible, we get that

lim n fg x n =fz, lim n gf x n =gz

and

lim n d(fg x n ,gf x n )=0.

We will show that fz=gz. Indeed, we have

d ( f z , g z ) s [ d ( f z , f g x n ) + d ( f g x n , g z ) ] = s d ( f z , f g x n ) + s d ( f g x n , g z ) s d ( f z , f g x n ) + s 2 [ d ( f g x n , g f x n ) + d ( g f x n , g z ) ] s 0 + s 2 0 + s 2 0 = 0
(5)

as n, and it follows that fz=gz. It means that f and g have a coincidence point.

In the case (iii′), it follows that

lim n f x n = lim n g x n =gu

for some uX. Because of regularity, we have g x n gu. Applying (4) with x= x n and y=u, we have

d(f x n ,fu)λd(g x n ,gu)0(n).

It follows that d(f x n ,fu)0 when n, that is, f x n fu. Hence, f and g have a coincidence point uX. □

Let

M(x,y,z,u,v,w)=max { d ( x , u ) , d ( y , v ) , d ( z , w ) } .

Taking g= i X (the identity mapping on X) in Theorem 2.2, we obtain the following tripled fixed point result.

Corollary 2.4 Let (X,d,) be a b-complete partially ordered b-metric space and let f: X 3 X be a mapping having the mixed monotone property. Assume that

ψ ( s ε M f ( x , y , z , u , v , w ) ) ψ ( M ( x , y , z , u , v , w ) ) φ ( M ( x , y , z , u , v , w ) ) ,
(6)

for all x,y,z,u,v,wX with xu, yv and zw, or ux, vy and wz, where ψ,φ:[0,)[0,) are altering distance functions and ε>1.

Also, suppose that either

  1. (a)

    f is b-continuous, or

  2. (b)

    (X,d) is regular.

If there exist x 0 , y 0 , z 0 X such that x 0 f( x 0 , y 0 , z 0 ), y 0 f( y 0 , x 0 , y 0 ) and z 0 f( z 0 , y 0 , x 0 ), then f has a tripled fixed point in X.

Taking ψ(t)=t and φ(t)= t 2 1 + t for all t[0,), in Corollary 2.4, we obtain the following tripled fixed point result.

Corollary 2.5 Let (X,d,) be a b-complete partially ordered b-metric space and let f: X 3 X be a mapping having the mixed monotone property. Assume that

s ε M f (x,y,z,u,v,w) M ( x , y , z , u , v , w ) 1 + M ( x , y , z , u , v , w )
(7)

for some ε>1 and all x,y,z,u,v,wX with xu, yv and zw, or ux, vy and wz.

Also, suppose that either

  1. (a)

    f is b-continuous, or

  2. (b)

    (X,d) is regular.

If there exist x 0 , y 0 , z 0 X such that x 0 f( x 0 , y 0 , z 0 ), y 0 f( y 0 , x 0 , y 0 ) and z 0 f( z 0 , y 0 , x 0 ), then f has a tripled fixed point in X.

Remark 2.6 1. Let in Theorem 2.2,

M f (x,y,z,u,v,w)=d ( f ( x , y , z ) , f ( u , v , w ) ) .

Then the contractive condition (1) reduces to the following:

ψ ( s ε d ( f ( x , y , z ) , f ( u , v , w ) ) ) ψ ( M g ( x , y , z , u , v , w ) ) φ ( M g ( x , y , z , u , v , w ) ) ,
(8)

which appeared in [8] in the context of G-metric spaces.

Choosing the condition (1) instead of (8), brings at least two new features to the tripled fixed point theory.

  1. a.

    We obtain more general tripled coincidence point theorems, because when f and g satisfy condition (1), then they also satisfy (8).

  2. b.

    The technique of the proof is essentially simpler than the one used in [8], that is, we need not use Lemma 14 from [8].

2. We can replace the contractive condition (1) by the following:

ψ ( s ε M f ( x , y , z , u , v , w ) ) ψ ( M g ( x , y , z , u , v , w ) ) φ ( M g ( x , y , z , u , v , w ) ) ,
(9)

where

M f ( x , y , z , u , v , w ) = 1 3 [ d ( f ( x , y , z ) , f ( u , v , w ) ) + d ( f ( y , x , y ) , f ( v , u , v ) ) + d ( f ( z , y , x ) , f ( w , v , u ) ) ] .

The following corollary can be deduced from our previously obtained results.

Corollary 2.7 Let (X,d,) be a partially ordered b-complete b-metric space with s>1. Let f: X 3 X be a mapping with the mixed monotone property such that

ψ ( s ε M f ( x , y , z , u , v , w ) ) ψ ( d ( x , u ) + d ( y , v ) + d ( z , w ) 3 ) φ ( max { d ( x , u ) , d ( y , v ) , d ( z , w ) } ) ,
(10)

for some ε>1 and all x,y,z,u,v,wX with xu, yv and zw, or ux, vy and wz. Also, suppose that either

  1. (a)

    f is b-continuous, or

  2. (b)

    (X,d,) is regular.

If there exist x 0 , y 0 , z 0 X such that x 0 f( x 0 , y 0 , z 0 ), y 0 f( y 0 , x 0 , y 0 ) and z 0 f( z 0 , y 0 , x 0 ), then f has a tripled fixed point in X.

Proof If f satisfies (10), then f satisfies (6). Hence, the result follows from Corollary 2.4. □

In Theorem 2.2, if we take g= i X , ψ(t)=t and φ(t)=(1k)t for all t[0,), where k[0,1), we obtain the following result.

Corollary 2.8 Let (X,d,) be a partially ordered b-complete b-metric space with s>1. Let f: X 3 X be a mapping having the mixed monotone property and

max { d ( f ( x , y , z ) , f ( u , v , w ) ) , d ( f ( y , x , y ) , f ( v , u , v ) ) , d ( f ( z , y , x ) , f ( w , v , u ) ) } k s ε max { d ( x , u ) , d ( y , v ) , d ( z , w ) } ,

for some k[0,1), ε>1 and all x,y,z,u,v,wX with xu, yv and zw, or ux, vy and wz. Also, suppose that either

  1. (a)

    f is b-continuous, or

  2. (b)

    (X,d,) is regular.

If there exist x 0 , y 0 , z 0 X such that x 0 f( x 0 , y 0 , z 0 ), y 0 f( y 0 , x 0 , y 0 ) and z 0 f( z 0 , y 0 , x 0 ), then f has a tripled fixed point in X.

Corollary 2.9 Let (X,d,) be a partially ordered b-complete b-metric space with s>1. Let f: X 3 X be a mapping with the mixed monotone property such that

max { d ( f ( x , y , z ) , f ( u , v , w ) ) , d ( f ( y , x , y ) , f ( v , u , v ) ) , d ( f ( z , y , x ) , f ( w , v , u ) ) } k 3 s ε [ d ( x , u ) + d ( y , v ) + d ( z , w ) ]
(11)

for some k[0,1), ε>1 and all x,y,z,u,v,wX with xu, yv and zw, or ux, vy and wz. Also, suppose that either

  1. (a)

    f is b-continuous, or

  2. (b)

    (X,d) is regular.

If there exist x 0 , y 0 , z 0 X such that x 0 f( x 0 , y 0 , z 0 ), y 0 f( y 0 , x 0 , y 0 ) and z 0 f( z 0 , y 0 , x 0 ), then f has a tripled fixed point in X.

Proof If f satisfies (11), then f satisfies the contractive condition of Corollary 2.8. □

In the following theorem, we give a sufficient condition for the uniqueness of the common tripled fixed point (see also [7, 8, 11]).

Theorem 2.10 In addition to the hypotheses of Theorem  2.2, suppose that f and g commute and that for all (x,y,z) and ( x , y , z ) X 3 , there exists (u,v,w) X 3 such that (f(u,v,w),f(v,u,v),f(w,v,u)) is comparable with (f(x,y,z),f(y,x,y),f(z,y,x)) and (f( x , y , z ),f( y , x , y ),f( z , y , x )). Then f and g have a unique common tripled fixed point.

Proof We shall use the notation as in the proof of Theorem 2.2. It was proved in this theorem that the set of tripled coincidence points of f and g, i.e., the set of coincidence points of F and G in X 3 , is nonempty. We shall show that if X and X are coincidence points of F and G, that is, GX=FX and G X =F X , then GX=G X .

Choose an element U=(u,v,w) X 3 such that FU=(f(u,v,w),f(v,u,v),f(w,v,u)) is comparable with FX and F X . Let U 0 =U and choose U 1 X 3 so that G U 1 =F U 0 . Then we can inductively define a sequence {G U n } such that G U n + 1 =F U n . Since GX and G U 1 are -comparable, we may assume that GXG U 1 . Using the mathematical induction, it is easy to prove that GXG U n for all n1. Applying (1), one obtains that

ψ ( s ε D ( G X , G U n + 1 ) ) = ψ ( s ε D ( F X , F U n ) ) ψ ( D ( G X , G U n ) ) φ ( D ( G X , G U n ) ) ψ ( D ( G X , G U n ) ) .
(12)

From the properties of ψ, we deduce that the sequence {D(GX,G U n )} is non-increasing. Hence, if we proceed as in Theorem 2.2, we can show that

lim n D(GX,G U n )=0,

that is, {G U n } is b-convergent to GX.

Similarly, we can show that {G U n } is b-convergent to G X . Since the limit is unique, it follows that GX=G X .

Since GX=FX, by commutativity of f and g, we have GGX=GFX=FGX. Let GX=A. Then GA=FA. Thus, A is another coincidence point of f and g. Then A=GX=GA. Therefore, A=(a,b,c) is a tripled common fixed point of f and g.

To prove the uniqueness, assume that P is another common fixed point of F and G. Then P=GP=FP and also GP=GA. Thus, P=GP=GA=A. Hence, the tripled common fixed point is unique. □

3 Examples

The following examples support our results.

Example 3.1 Let X=(,) be endowed with the usual ordering and the complete b-metric d(x,y)= ( x y ) 2 , where s=2. Define f: X 3 X and g:XX as

f(x,y,z)= 1 3 3 (xy+z),g(x)=x 3 .

Let ψ,φ:[0,)[0,) be defined by ψ(t)= t and φ(t)={ t 3 , t 1 , t 3 , t > 1 .

Now, we have

ψ ( s 2 d ( f ( x , y , z ) , f ( u , v , w ) ) ) = 4 27 [ ( x y + z ) ( u v + w ) ] 2 = 4 81 [ ( x 3 u 3 ) + ( v 3 y 3 ) + ( z 3 w 3 ) ] 2 4 27 [ ( x 3 u 3 ) 2 + ( y 3 v 3 ) 2 + ( z 3 w 3 ) 2 ] 2 3 max { ( x 3 u 3 ) 2 , ( y 3 v 3 ) 2 , ( z 3 w 3 ) 2 } = ψ ( max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } ) φ ( max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } ) .

Analogously, we can show that

ψ ( s 2 d ( f ( y , x , y ) , f ( v , u , v ) ) ) ψ ( max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } ) φ ( max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } )

and

ψ ( s 2 d ( f ( z , y , x ) , f ( w , v , u ) ) ) ψ ( max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } ) φ ( max { d ( g x , g u ) , d ( g y , g v ) , d ( g z , g w ) } ) .

Thus,

ψ ( s 2 M f ( x , y , z , u , v , w ) ) ψ ( M g ( x , y , z , u , v , w ) ) φ ( M g ( x , y , z , u , v , w ) ) .

Hence, all of the conditions of Theorem 2.2 are satisfied (with ε=2). Moreover, (0,0,0) is a tripled coincidence point of f and g.

Example 3.2 Let X= be endowed with the usual order and the b-metric d(x,y)= ( x y ) 2 with s=2. Consider the mapping f: X 3 X given by

f(x,y,z)= x y + z 40 ,

and functions ψ,φ:[0,+)[0,+) defined as ψ(t)=t and φ(t)= 391 400 t. Take ε=2 in Corollary 2.4. The contractive condition (6) is satisfied since

ψ ( s 2 d ( f ( x , y , z ) , f ( u , v , w ) ) ) = 4 ( x y + z 40 u v + w 40 ) 2 = 1 400 [ ( x u ) + ( v y ) + ( z w ) ] 2 3 400 [ ( x u ) 2 + ( y v ) 2 + ( z w ) 2 ] 9 400 max { ( x u ) 2 , ( y v ) 2 , ( z w ) 2 } = ψ ( max { d ( x , u ) , d ( y , v ) , d ( z , w ) } ) φ ( max { d ( x , u ) , d ( y , v ) , d ( z , w ) } ) .

It follows that f has a tripled fixed point (which is (0,0,0)).

Note that if instead of the b-metric d we try to use the standard metric ρ(x,y)=|xy| (with all other data unchanged), the conclusion cannot be obtained. Indeed, the inequality

ψ ( ρ ( f ( x , y , z ) , f ( u , v , w ) ) ) ψ ( max { ρ ( x , u ) , ρ ( y , v ) , ρ ( z , w ) } ) φ ( max { ρ ( x , u ) , ρ ( y , v ) , ρ ( z , w ) } )

does not hold since for x=1, y=z=u=v=w=0 it reduces to 1 40 9 400 .

Example 3.3 Let X={(a,0,a):a[0,+)}{(0,a,0):a[0,+)} R 3 with the order be defined as

( a 1 , b 1 , c 1 )( a 2 , b 2 , c 2 ) a 1 a 2 , b 1 b 2 , c 1 c 2 .

Let d be given as

d(x,y)=max { | a 1 a 2 | 2 , | b 1 b 2 | 2 , | c 1 c 2 | 2 } ,

where x=( a 1 , b 1 , c 1 ) and y=( a 2 , b 2 , c 2 ). Clearly, (X,d) is a complete b-metric space with s=2.

Let g:XX and f: X 3 X be defined as follows:

f(x,y,z)=x,

and g(a,0,a)=(0,a,0) and g(0,a,0)=(a,0,a).

Let ψ,φ:[0,)[0,) be two arbitrary altering distance functions.

According to the order defined on X and the definition of g, we see that for any element xX, gx is comparable only with itself.

By a careful computation, it is easy to see that all of the conditions of Theorem 2.2 (case (a)) are satisfied. Finally, Theorem 2.2 guarantees the existence of a tripled coincidence point for f and g, i.e., the point ((0,0,0),(0,0,0),(0,0,0)).

4 Applications

In this section, we obtain some tripled coincidence point theorems for a mapping satisfying a contractive condition of integral type in a complete ordered b-metric space.

We denote by Λ the set of all functions μ:[0,+)[0,+) verifying the following conditions:

  1. (I)

    μ is a positive Lebesgue integrable mapping on each compact subset of [0,+);

  2. (II)

    for all ε>0, 0 ε μ(r)dr>0.

Corollary 4.1 Replace the contractive condition (1) of Theorem  2.2 by the following:

There exists a μΛ such that

0 ψ ( s ε M f ( x , y , z , u , v , w ) ) μ(r)dr 0 ψ ( M g ( x , y , z , u , v , w ) ) μ(r)dr 0 φ ( M g ( x , y , z , u , v , w ) ) μ(r)dr.
(13)

Let the other conditions of Theorem  2.2 be satisfied. Then f and g have a tripled coincidence point.

Proof Consider the function Γ(x)= 0 x μ(r)dr. Then (13) becomes

Γ ( ψ ( s ε M f ( x , y , z , u , v , w ) ) ) Γ ( ψ ( M g ( x , y , z , u , v , w ) ) ) Γ ( φ ( M g ( x , y , z , u , v , w ) ) ) .

Taking ψ 1 =Γψ and φ 1 =Γφ and applying Theorem 2.2, we obtain the proof (it is easy to verify that ψ 1 and φ 1 are altering distance functions). □

Corollary 4.2 Substitute the contractive condition (1) of Theorem  2.2 by the following:

There exists a μΛ such that

ψ ( 0 s ε M f ( x , y , z , u , v , w ) μ ( r ) d r ) ψ ( 0 M g ( x , y , z , u , v , w ) μ ( r ) d r ) φ ( 0 M g ( x , y , z , u , v , w ) μ ( r ) d r ) .
(14)

Let the other conditions of Theorem  2.2 be satisfied. Then f and g have a tripled coincidence point.

Proof Again, as in Corollary 4.1, define the function Γ(x)= 0 x ϕ(r)dr. Then (14) reduces to

ψ ( Γ ( s ε M f ( x , y , z , u , v , w ) ) ) ψ ( Γ ( M g ( x , y , z , u , v , w ) ) ) φ ( Γ ( M g ( x , y , z , u , v , w ) ) ) .

Now, if we define ψ 1 =ψΓ and φ 1 =φΓ and apply Theorem 2.2, then the proof is completed. □

Corollary 4.3 Replace the contractive condition (1) of Theorem  2.2 by the following:

There exists a μΛ such that

ψ 1 ( 0 ψ 2 ( s ε M f ( x , y , z , u , v , w ) ) μ ( r ) d r ) ψ 1 ( 0 ψ 2 ( M g ( x , y , z , u , v , w ) ) μ ( r ) d r ) φ 1 ( 0 φ 2 ( M g ( x , y , z , u , v , w ) ) μ ( r ) d r )
(15)

for altering distance functions ψ 1 , ψ 2 , φ 1 and φ 2 . If the other conditions of Theorem  2.2 are satisfied, then f and g have a tripled coincidence point.

Similar to [22], let N be a fixed positive integer. Let { μ i } 1 i N be a family of N functions which belong to Λ. For all t0, we define

I 1 ( t ) = 0 t μ 1 ( r ) d r , I 2 ( t ) = 0 I 1 t μ 2 ( r ) d r = 0 0 t μ 1 ( r ) d r μ 2 ( r ) d r , I 3 ( t ) = 0 I 2 t μ 3 ( r ) d r = 0 0 0 t μ 1 ( r ) d r μ 2 ( r ) d r μ 3 ( r ) d r , , I N ( t ) = 0 I ( N 1 ) t μ N ( r ) d r .

We have the following result.

Corollary 4.4 Replace the inequality (1) of Theorem  2.2 by the following condition:

ψ ( I N ( s ε M f ( x , y , z , u , v , w ) ) ) ψ ( I N ( M g ( x , y , z , u , v , w ) ) ) φ ( I N ( M g ( x , y , z , u , v , w ) ) ) .
(16)

Let the other conditions of Theorem  2.2 be satisfied. Then f and g have a tripled coincidence point.

Proof Consider Ψ ˆ =ψ I N and Φ ˆ =φ I N . Then the above inequality becomes

Ψ ˆ ( s ε M f ( x , y , z , u , v , w ) ) Ψ ˆ ( M g ( x , y , z , u , v , w ) ) Φ ˆ ( M g ( x , y , z , u , v , w ) ) .

Applying Theorem 2.2, we obtain the desired result (it is easy to verify that Ψ ˆ and Φ ˆ are altering distance functions). □

Another consequence of the main theorem is the following result.

Corollary 4.5 Substitute the contractive condition (1) of Theorem  2.2 by the following:

There exist μ 1 , μ 2 Λ such that

0 s ε M f ( x , y , z , u , v , w ) μ 1 (r)dr 0 M g ( x , y , z , u , v , w ) μ 1 (r)dr 0 M g ( x , y , z , u , v , w ) μ 2 (r)dr.

Let the other conditions of Theorem  2.2 be satisfied. Then f and g have a tripled coincidence point.

Proof It is clear that the function t 0 t μ i (r)dr is an altering distance function. □

5 Existence of a solution for a system of integral equations

Motivated by the work in [8], we study the existence of solutions for a system of nonlinear integral equations using the results proved in the previous sections.

Consider the integral equations in the following system.

x ( t ) = P ( t ) + 0 T S ( t , r ) [ f ( r , x ( r ) ) + k ( r , y ( r ) ) + h ( r , z ( r ) ) ] d r , y ( t ) = P ( t ) + 0 T S ( t , r ) [ f ( r , y ( r ) ) + k ( r , x ( r ) ) + h ( r , y ( r ) ) ] d r , z ( t ) = P ( t ) + 0 T S ( t , r ) [ f ( r , z ( r ) ) + k ( r , y ( r ) ) + h ( r , x ( r ) ) ] d r .
(17)

We will consider the system (17) under the following assumptions:

  1. (i)

    f,k,h:[0,T]× are continuous;

  2. (ii)

    P:[0,T] is continuous;

  3. (iii)

    S:[0,T]×[0,) is continuous;

  4. (iv)

    there exists q>0 such that for all x,y,

    0 f ( r , y ) f ( r , x ) q ( y x ) , 0 k ( r , x ) k ( r , y ) q ( y x ) ,

and

0h(r,y)h(r,x)q(yx);
  1. (v)
    2 4 p 4 3 q p max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p <1;
  2. (vi)

    there exist continuous functions α,β,γ:[0,T] such that

    α ( t ) P ( t ) + 0 T S ( t , r ) [ f ( r , α ( r ) ) + k ( r , β ( r ) ) + h ( r , γ ( r ) ) ] d r , β ( t ) P ( t ) + 0 T S ( t , r ) [ f ( r , β ( r ) ) + k ( r , α ( r ) ) + h ( r , β ( r ) ) ] d r ,

and

γ(t)P(t)+ 0 T S(t,r) [ f ( r , γ ( r ) ) + k ( r , β ( r ) ) + h ( r , α ( r ) ) ] dr.

We consider the space X=C([0,T],) of continuous functions defined on [0,T] endowed with the b-metric given by

d(u,v)= max t [ 0 , T ] | u ( t ) v ( t ) | p

for all u,vX, where s= 2 p 1 and p1. We endow X with the partial order given by

xyx(t)y(t)

for all t[0,T].

It is known that (X,d,) is regular [23].

Our result is the following.

Theorem 5.1 Under assumptions (i)-(vi), the system (17) has a solution in X 3 , where X=C([0,T],).

Proof As in [8], we consider the operators F: X 3 X and g:XX defined by

F( x 1 , x 2 , x 3 )(t)=P(t)+ 0 T S(t,r) [ f ( r , x 1 ( r ) ) + k ( r , x 2 ( r ) ) + h ( r , x 3 ( r ) ) ] dr,

and g(x)=x for all t[0,T], x 1 , x 2 , x 3 ,xX.

F has the mixed monotone property (see [[8], Theorem 25]).

Let x,y,z,u,v,wX, with xu, yv and zw. Since F has the mixed monotone property, we have

F(u,v,w)F(x,y,z).

On the other hand,

d ( F ( x , y , z ) , F ( u , v , w ) ) = max t [ 0 , T ] | F ( x , y , z ) ( t ) F ( u , v , w ) ( t ) | p .

Note that for all t[0,T], from (iv) and the fact that for all a,b,c0, ( a + b + c ) p 2 2 p 2 a p + 2 2 p 2 b p + 2 p 1 c p , we have

( | F ( x , y , z ) ( t ) F ( u , v , w ) ( t ) | ) p = | 0 T S ( t , r ) [ f ( r , x ( r ) ) f ( r , u ( r ) ) ] d r + 0 T S ( t , r ) [ k ( r , y ( r ) ) k ( r , v ( r ) ) ] d r + 0 T S ( t , r ) [ h ( r , z ( r ) ) h ( r , w ( r ) ) ] d r | p ( | 0 T S ( t , r ) [ f ( r , x ( r ) ) f ( r , u ( r ) ) ] d r | + | 0 T S ( t , r ) [ k ( r , y ( r ) ) k ( r , v ( r ) ) ] d r | + | 0 T S ( t , r ) [ h ( r , z ( r ) ) h ( r , w ( r ) ) ] d r | ) p ( 2 2 p 2 | 0 T S ( t , r ) [ f ( r , x ( r ) ) f ( r , u ( r ) ) ] d r | p + 2 2 p 2 | 0 T S ( t , r ) [ k ( r , y ( r ) ) k ( r , v ( r ) ) ] d r | p + 2 p 1 | 0 T S ( t , r ) [ h ( r , z ( r ) ) h ( r , w ( r ) ) ] d r | p ) 2 2 p 2 [ ( 0 T | S ( t , r ) [ f ( r , x ( r ) ) f ( r , u ( r ) ) ] | d r ) p + ( 0 T | S ( t , r ) [ k ( r , y ( r ) ) k ( r , v ( r ) ) ] | d r ) p + ( 0 T | S ( t , r ) [ h ( r , y ( r ) ) h ( r , v ( r ) ) ] | d r ) p ] 2 2 p 2 q p [ ( max r [ 0 , T ] | x ( r ) u ( r ) | ) p + ( max r [ 0 , T ] | y ( r ) v ( r ) | ) p + ( max r [ 0 , T ] | z ( r ) w ( r ) | ) p ] ( 0 T | S ( t , r ) | d r ) p = 2 2 p 2 q p [ max r [ 0 , T ] | x ( r ) u ( r ) | p + max r [ 0 , T ] | y ( r ) v ( r ) | p + max r [ 0 , T ] | z ( r ) w ( r ) | p ] ( 0 T | S ( t , r ) | d r ) p .

Thus,

max t [ 0 , T ] ( F ( x , y , z ) ( t ) F ( u , v , w ) ( t ) ) p 2 2 p 2 q p [ d ( x , u ) + d ( y , v ) + d ( z , w ) ] max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p 2 2 p 2 3 q p max { d ( x , u ) , d ( y , v ) , d ( z , w ) } max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p .
(18)

Repeating this idea, using the definition of the b-metric d, we get

max t [ 0 , T ] ( F ( y , x , y ) ( t ) F ( v , u , v ) ( t ) ) p 2 2 p 2 q p [ d ( y , v ) + d ( x , u ) + d ( y , v ) ] max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p 2 2 p 2 3 q p max { d ( y , v ) , d ( x , u ) } max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p 2 2 p 2 3 q p max { d ( x , u ) , d ( y , v ) , d ( z , w ) } max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p
(19)

and

max t [ 0 , T ] ( F ( z , y , x ) ( t ) F ( w , v , u ) ( t ) ) p 2 2 p 2 q p [ d ( x , u ) + d ( y , v ) + d ( z , w ) ] max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p 2 2 p 2 3 q p max { d ( x , u ) , d ( y , v ) , d ( z , w ) } max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p .
(20)

Hence, from the above three inequalities, we have

max { d ( F ( x , y , z ) , F ( u , v , w ) ) , d ( F ( y , x , y ) , F ( v , u , v ) ) , d ( F ( z , y , x ) , F ( w , v , u ) ) } 2 2 p 2 3 q p max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p max { d ( x , u ) , d ( y , v ) , d ( z , w ) } 2 4 p 4 3 q p max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p 2 2 p 2 max { d ( x , u ) , d ( y , v ) , d ( z , w ) } .

But from (v), we have

2 4 p 4 3 q p max t [ 0 , T ] ( 0 T | S ( t , r ) | d r ) p <1.

This proves that the operator F satisfies the contractive condition appearing in Corollary 2.8 (with ε=2).

Let α, β, γ be the functions appearing in assumption (vi). Then by (vi) we get

αF(α,β,γ),βF(β,α,β),γF(γ,β,α).

Applying Corollary 2.8, we deduce the existence of x 1 , x 2 , x 3 X such that x 1 =F( x 1 , x 2 , x 3 ), x 2 =F( x 2 , x 1 , x 2 ) and x 3 =F( x 3 , x 2 , x 1 ). □

References

  1. Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0

    MathSciNet  Article  Google Scholar 

  2. Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017

    MathSciNet  Article  Google Scholar 

  3. Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70(12):4341–4349. 10.1016/j.na.2008.09.020

    MathSciNet  Article  Google Scholar 

  4. Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for (ψ,φ) -weakly contractive mappings in ordered G -metric spaces. Comput. Math. Appl. 2012, 63: 298–309. 10.1016/j.camwa.2011.11.022

    MathSciNet  Article  Google Scholar 

  5. Luong NV, Thuan NX: Coupled fixed points in partially ordered metric spaces and application. Nonlinear Anal. 2011, 74: 983–992. 10.1016/j.na.2010.09.055

    MathSciNet  Article  Google Scholar 

  6. Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet. J. Math. Stat. 2011, 40: 441–447.

    MathSciNet  Google Scholar 

  7. Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 4889–4897. 10.1016/j.na.2011.03.032

    MathSciNet  Article  Google Scholar 

  8. Aydi H, Karapınar E, Shatanawi W: Tripled coincidence point results for generalized contractions in ordered generalized metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 101

    Google Scholar 

  9. Borcut M: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 7339–7346. 10.1016/j.amc.2012.01.030

    MathSciNet  Article  Google Scholar 

  10. Borcut M, Berinde V: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 5929–5936. 10.1016/j.amc.2011.11.049

    MathSciNet  Article  Google Scholar 

  11. Choudhury BS, Karapınar E, Kundu A: Tripled coincidence point theorems for nonlinear contractions in partially ordered metric spaces. Int. J. Math. Math. Sci. 2012., 2012: Article ID 329298

    Google Scholar 

  12. Czerwik S: Contraction mappings in b -metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1: 5–11.

    MathSciNet  Google Scholar 

  13. Aghajani, A, Abbas, M, Roshan, JR: Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces. Math. Slovaca (in press)

  14. Akkouchi M: Common fixed point theorems for two selfmappings of a b -metric space under an implicit relation. Hacet. J. Math. Stat. 2011, 40(6):805–810.

    MathSciNet  Google Scholar 

  15. Boriceanu M, Bota M, Petrusel A: Multivalued fractals in b -metric spaces. Cent. Eur. J. Math. 2010, 8(2):367–377. 10.2478/s11533-010-0009-4

    MathSciNet  Article  Google Scholar 

  16. Hussain N, Đorić D, Kadelburg Z, Radenovi ć S: Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 126

    Google Scholar 

  17. Hussain N, Shah MH: KKM mappings in cone b -metric spaces. Comput. Math. Appl. 2011, 62: 1677–1684. 10.1016/j.camwa.2011.06.004

    MathSciNet  Article  Google Scholar 

  18. Jovanović M, Kadelburg Z, Radenović S: Common fixed point results in metric-type spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 978121. doi:10.1155/2010/978121

    Google Scholar 

  19. Khamsi MA, Hussain N: KKM mappings in metric type spaces. Nonlinear Anal. 2010, 73(9):3123–3129. 10.1016/j.na.2010.06.084

    MathSciNet  Article  Google Scholar 

  20. Singh SL, Prasad B: Some coincidence theorems and stability of iterative procedures. Comput. Math. Appl. 2008, 55: 2512–2520. 10.1016/j.camwa.2007.10.026

    MathSciNet  Article  Google Scholar 

  21. Khan MS, Swaleh M, Sessa S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 1984, 30: 1–9. 10.1017/S0004972700001659

    MathSciNet  Article  Google Scholar 

  22. Nashine HK, Samet B:Fixed point results for mappings satisfying (ψ,φ)-weakly contractive condition in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 2201–2209. 10.1016/j.na.2010.11.024

    MathSciNet  Article  Google Scholar 

  23. Nieto JJ, Rodriguez-López R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Order 2005, 22(3):223–239. 10.1007/s11083-005-9018-5

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors express their gratitude to the referees and Professor Zoran Kadelburg for their helpful suggestions which improved the presentation, in particular the proof of Theorem 2.2.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Vahid Parvaneh.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

JRR, VP and SR have worked together on each section of the paper such as the literature review, results and examples. 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

Parvaneh, V., Rezaei Roshan, J. & Radenović, S. Existence of tripled coincidence points in ordered b-metric spaces and an application to a system of integral equations. Fixed Point Theory Appl 2013, 130 (2013). https://doi.org/10.1186/1687-1812-2013-130

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2013-130

Keywords

  • b-metric space
  • partially ordered set
  • tripled fixed point