• No results found

Coupled coincidence and common fixed point theorems for hybrid pair of mappings

N/A
N/A
Protected

Academic year: 2020

Share "Coupled coincidence and common fixed point theorems for hybrid pair of mappings"

Copied!
11
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Coupled coincidence and common fixed point

theorems for hybrid pair of mappings

Mujahid Abbas

1*

, Ljubomir

Ć

iri

ć

2

, Bosko Damjanovi

ć

3

and Muhammad Ali Khan

1

* Correspondence: mujahid@lums. edu.pk

1Department of Mathematics, Lahore University of Management Sciences, Lahore - 54792, Pakistan Full list of author information is available at the end of the article

Abstract

Bhaskar and Lakshimkantham proved the existence of coupled fixed point for a single valued mapping under weak contractive conditions and as an application they proved the existence of a unique solution of a boundary value problem associated with a first order ordinary differential equation. Recently, Lakshmikantham andĆirić obtained a coupled coincidence and coupled common fixed point of two single valued maps. In this article, we extend these concepts to multi-valued mappings and obtain coupled coincidence points and common coupled fixed point theorems involving hybrid pair of single valued and multi-valued maps satisfying generalized contractive conditions in the frame work of a complete metric space. Two examples are presented to support our results.

2000 Mathematics Subject Classification:47H10; 47H04; 47H07.

Keywords:coupled common fixed point, coupled coincidence point, coupled point of coincidence,w-compatible mappings, F-weakly commuting mappings

1 Introduction and preliminaries

Let (X,d) be a metric space. ForxÎ XandA⊆X, we denoted(x,A) = inf{d(x,A):yÎ A}. The class of all nonempty bounded and closed subsets ofX is denoted byCB(X). LetHbe the Hausdorff metric induced by the metricdonX, that is,

H(A,B) = max{sup

xA

d(x,B), sup

yB

d(y,A)},

for everyA,BÎ CB(X).

Lemma 1[1]Let A, BÎCB(X),anda>1.Then, for every aÎ A,there exists bÎ B such that d(a,b)≤aH(A,B).

Lemma 2[2]Let A,BÎ CB(X),then for any aÎ A, d(a,B)≤H(A,B).

Definition 3Let X be a nonempty set, F:X×X®2X(collection of all nonempty subsets of X) and g:X®X.An element(x,y)ÎX×X is called (i) coupled fixed point of F if ×ÎF (x,y)and yÎF(y,x)(ii) coupled coincidence point of a hybrid pair{F,g}ifg(x)ÎF(x,y) and g(y)ÎF(y,x)(iii) coupled common fixed point of a hybrid pair{F,g}if ×= g(x)ÎF(x, y)and y=g(y)ÎF(y,x).

We denote the set of coupled coincidence point of mappings F and gby C(F, g). Note that if (x,y)Î C(F,g), then (y,x) is also in C(F,g).

(2)

Definition 4Let F:X ×X ®2X be a multi-valued mapping and g be a self map on X.The hybrid pair{F,g}is called w- compatible if g(F(x,y))⊆F(gx,gy)whenever(x,y) Î C(F,g).

Definition 5Let F:X ×X®2Xbe a multi-valued mapping and g be a self-mapping on X.The mapping g is called F- weakly commuting at some point (x,y)Î X×X if g2 (x)ÎF(gx,gy)and g2(y)ÎF(gy,gx).

Bhaskar and Lakshmikantham [3] introduced the concept of coupled fixed point of a mapping FfromX×X toXand established some coupled fixed point theorems in par-tially ordered sets. As an application, they studied the existence and uniqueness of solution for a periodic boundary value problem associated with a first order ordinary differential equation.Ćirićet al. [4] proved coupled common fixed point theorems for mappings satisfying nonlinear contractive conditions in partially ordered complete metric spaces and generalized the results given in [3]. Sabetghadam et al. [5] employed these concepts to obtain coupled fixed point in the frame work of cone metric spaces. Lakshmikantham and Ćirić [4] introduced the concepts of coupled coincidence and coupled common fixed point for mappings satisfying nonlinear contractive conditions in partially ordered complete metric spaces. The study of fixed points for multi-valued contractions mappings using the Hausdorff metric was initiated by Nadler [1] and Markin [6]. Later, an interesting and rich fixed point theory for such maps was devel-oped which has found applications in control theory, convex optimization, differential inclusion and economics (see [7] and references therein). Klim and Wardowski [8] also obtained existence of fixed point for set-valued contractions in complete metric spaces. Dhage [9,10] established hybrid fixed point theorems and gave some applications (see also [11]). Hong in his recent study [12] proved hybrid fixed point theorems involving multi-valued operators which satisfy weakly generalized contractive conditions in ordered complete metric spaces. The study of coincidence point and common fixed points of hybrid pair of mappings in Banach spaces and metric spaces is interesting and well developed. For applications of hybrid fixed point theory we refer to [13-16]. For a survey of fixed point theory and coincidences of multimaps, their applications and related results, we refer to [16-22].

The aim of this article is to obtain coupled coincidence point and common fixed point theorems for a pair of multi-valued and single valued mappings which satisfy generalized contractive condition in complete metric spaces. It is to be noted that to find coupled coincidence points, we do not employ the condition of continuity of any mapping involved therein. Our results unify, extend, and generalize various known comparable results in the literature.

2 Main results

In the following theorem we obtain coupled coincidence and common fixed point for hybrid pair of mappings satisfying a generalized contractive condition.

Theorem 6Let(X,d)be a metric space, F:X ×X ®CB(X)and g:X ®X be map-pings satisfying

H(F(x,y),F(u,v))≤a1d(gx,gu) +a2d(F(x,y),gx) +a3d(gy,gv)

(3)

for all x, y, u, vÎ X, where ai =ai(x, y, u, v), i = 1, 2, ..., 6,are nonnegative real

numbers such that

a1+a2+a3+a4+a5+a6h<1, (2)

where h is a fixed number. If F(X×X)⊆g(X)and g(X)is complete subset of X, then F and g have coupled coincidence point. Moreover F and g have coupled common fixed point if one of the following conditions holds.

(a) F and g are w- compatible,nlim→∞gnx=uandnlim→∞gny=vfor some (x,y)Î C(F, g), u,vÎ X and g is continuous at u and v.

(b) g is F- weakly commuting for some(x,y)Î C(g,F), g2x=gx and g2y=gy. (c) g is continuous at x, y for some (x, y) Î C(g, F) and for some u, v Î X,

lim

n→∞g nv=y

andnlim→∞gnv=y.

(d) g(C(g,F))is singleton subset of C(g,F).

Proof. Let x0, y0 Î X be arbitrary. ThenF (x0, y0) and F (y0,x0) are well defined.

Choose gx1 Î F(x0, y0) andgy1Î F(y0, x0). This can be done becauseF(X ×X)⊆g

(X). Ifa1 =a2=a3 =a4=a5=a6 = 0, then

d(gx1,F(x1,y1))≤H(F(x0,y0),F(x1,y1)) = 0.

Henced(gx1,F(x1,y1)) = 0. SinceF(x1,y1) is closed,gx1Î F(x1,y1). Similarlygy1Î

F (y1, x1). Thus (x1, y1) is a coupled coincidence point of {F, g} and so we finish the

proof. Now assume that ai>0, for some i= 1, ..., 6. Thenh >0 and so there existz1Î

F(x1,y1) andz2 ÎF(y1,x1) such that

d(gx1,z1)≤H(F(x0,y0),F(x1,y1)) + h 2,

d(gy1,z2)≤H(F(y0,x0),F(y1,x1)) +h 2.

Since F(X ×X)⊆ g(X), there exist x2 andy2 in X such thatz1 =gx2 and z2 =gy2.

Thus

d(gx1,gx2)≤H(F(x0,y0),F(x1,y1)) + h 2,

d(gy1,gy2)≤H(F(y0,x0),F(y1,x1)) + h 2.

Continuing this process, one obtains two sequences {xn} and {yn} inXsuch that

gxn+1F(xn,yn) andgyn+1F(yn,xn),

d(gxn,gxn+1)≤H(F(xn1,yn−1),F(xn,yn)) + hn

2,

d(gyn,gyn+1)≤H(F(yn1,xn−1),F(yn,xn)) + hn

(4)

From (1), we have

d(gxn,gxn+1)

H(F(xn−1,yn−1),F(xn,yn)) + hn

2

a1d(gxn−1,gxn) +a2d(F(xn−1,yn−1),gxn−1) +a3d(gyn−1,gyn) +a4d(F(xn,yn),gxn)

+a5d(F(xn−1,yn−1),gxn) +a6d(F(xn,yn),gxn−1) + hn

2

a1d(gxn−1,gxn) +a2d(gxn,gxn−1) +a3d(gyn−1,gyn) +a4d(gxn+1,gxn)

+a6d(gxn+1,gxn−1) + hn

2

a1d(gxn−1,gxn) +a2d(gxn,gxn−1) +a3d(gyn−1,gyn) +a4d(gxn+1,gxn)

+a6d(gxn+1,gxn) +a6d(gxn,gxn−1) + hn

2

= (a1+a2+a6)d(gxn−1,gxn) +a3d(gyn−1,gyn) + (a4+a6)d(gxn,gxn+1) + hn

2,

and it follows that

(1−a4−a6)d(gxn,gxn+1)≤(a1+a2+a6)d(gxn−1,gxn) +a3d(gyn−1,gyn) + hn

2. (3)

Similarly it can be shown that,

(1−a4−a6)d(gyn,gyn+1)≤(a1+a2+a6)d(gyn−1,gyn) +a3d(gxn−1,gxn) + hn

2. (4)

Again,

d(gxn+1,gxn)

=H(F(xn,yn),F(xn−1,yn−1)) + hn

2

a1d(gxn,gxn−1) +a2d(F(xn,yn),gxn) +a3d(gyn,gyn−1) +a4d(F(xn−1,yn−1),gxn−1)

+a5d(F(xn,yn),gxn−1) +a6d(F(xn−1,yn−1),gxn) + hn

2

a1d(gxn,gxn−1) +a2d(gxn+1,gxn) +a3d(gyn,gyn−1) +a4d(gxn,gxn−1)

+a5d(gxn+1,gxn−1) + hn

2

a1d(gxn,gxn−1) +a2d(gxn+1,gxn) +a3d(gyn,gyn−1) +a4d(gxn,gxn−1)

+a5d(gxn+1,gxn) +a5d(gxn,gxn−1) + hn

2.

Hence,

(1−a2a5)d(gxn+1,gxn)≤(a1+a4+a5)d(gxn1,gxn) +a3d(gyn,gyn−1) + hn

2 (5)

and

(1−a2−a5)d(gyn+1,gyn)≤(a1+a4+a5)d(gyn−1,gyn) +a3d(gxn,gxn−1) + hn

2. (6)

Let

(5)

Now, from (3) and (4), and respectively (5) and (6), we obtain:

(1−a4a6) δn(a1+a2+a3+a6) δn−1+ hn

2, (7)

(1−a2a5) δn(a1+a3+a4+a5) δn−1+ hn

2. (8)

Adding (7) and (8) we get

(2−a2a4a5a6) δn(2a1+a2+ 2a3+a4+a5+a6) δn−1+hn. (9)

Since by (2), a1 +a2+a3+a4 +a5+a6 ≤h <1, so we have

2a1+a2+ 2a3+a4+a5+a6= 2(a1+a2+a3+a4+a5+a6)−a2−a4−a5−a6

≤2h−(a2+a4+a5+a6)

≤2hh(a2+a4+a5+a6)

=h(2−a2−a4−a5−a6).

Thus from (9) we get

(2−a2a4a5a6) δnh(2−a2a4a5a6) δn−1+hn.

Hence, as 1/(2 - a2 -a4-a5 -a6)<1,

δnhδn−1+hn.

Thus we have

δnh(hδn−2+hn−1) +hn=h2δn−2+ 2hn.

Continuing this process we obtain

δnhnδ0+nhn. (10)

By the triangle inequality and (10), form,nÎNwithm > n, we have

d(gxn,gxm+n) +d(gyn,gym+n)

d(gxn,gxn+1) +d(gxn+1,gxn+2) +· · ·+d(gxn+m−1,gxm+n) +d(gyn,gyn+1) +d(gyn+1,gyn+2). . .+d(gyn+m−1,gym+n)

≤(hnδ0+nhn) + (hn+1δ0+ (n+ 1)hn+1) +· · ·+ (hn+m−1δ0+ (n+m−1)hn+m−1) +(hnδ0+nhn) + (hn+1δ0+ (n+ 1)hn+1) +· · ·+ (hn+m−1δ0+ (n+m−1)hn+m−1).

Thus

d(gxn,gxm+n) +d(gyn,gym+n)≤

n+m−1 i=n

δ0hi+

n+m−1 i=n

ihi.

Since h <1, we conclude that {gxn} and {gyn} are Cauchy sequences ing(X). Sinceg(X)

is complete, there exist x,y ÎX such thatgxn® gxandgyn®gy. Then from (1), we

(6)

d(F(x,y),gx)

d(F(x,y),gxn+1) +d(gxn+1,gx) ≤H(F(x,y),F(xn,yn)) +d(gxn+1,gx)

a1d(gx,gxn) +a2d(F(x,y),gx) +a3d(gy,gyn) +a4d(F(xn,yn),gxn) +a5d(F(x,y),gxn) +a6d(F(xn,yn),gx) +d(gxn+1,gx)

a1d(gx,gxn) +a2d(F(x,y),gx) +a3d(gy,gyn) +a4d(gxn+1,gxn)

+a5d(F(x,y),gxn) +a6d(gxn+1,gx) +d(gxn+1,gx).

On taking limit as n® ∞, we have

d(F(x,y),gx)≤(a2+a5)d(F(x,y),gx),

which implies that d(F(x, y), gx) = 0 and henceF(x, y) =gx. Similarly, F(y, x) =gy. Hence (x,y) is coupled coincidence point of the mappingsFandg. Suppose now that

(a) holds. Then for some (x,y)Î C(F,g),nlim→∞gnx=uand nlim→∞gny=v, where u, vÎ X. Sincegis continuous atuandv, so we have thatuandvare fixed points ofg. As F and garew- compatible,gnxÎC(F,g) for alln≥1 andgnxÎF(gn-1x,gn-1y).

Using (1), we obtain,

d(gu,F(u,v))≤d(gu,gnx) +d(gnx,F(u,v))

d(gu,gnx) +H(F(gn−1x,gn−1y),F(u,v))

d(gu,gnx) +a1d(gnx,gu) +a2d(F(gn−1x,gn−1y),gnx) +a3d(gny,gv) +a4d(F(u,v),gu)

+a5d(gnx,gu) +a6d(F(u,v),gnx).

On taking limit as n® ∞, we have

d(gu,F(u,v))≤(a4+a6)d(gu,F(u,v)),

which implies d(gu,F(u,v)) = 0 and hencegu ÎF(u,v). Similarly,gvÎ F(v,u). Con-sequentlyu=gu ÎF(u,v) andv=gvÎF(v,u). Hence (u,v) is a coupled fixed point of Fandg. Suppose now that (b) holds.

If for some (x, y)ÎC(F, g),gisF- commuting,g2x=gxandg2y =gy, thengx =g2x Î F(gx,gy) andgy=g2yÎ F(gy,gx). Hence (gx,gy) is a coupled fixed point of Fandg. Suppose now that (c) holds and assume that for some (x,y)Î C(g,F) and for someu,

vÎX,nlim→∞gnu=x andnlim→∞gnv=y. By the continuity ofgatxand y, we getx=gxÎ F(x,y) andy=gy ÎF(y,x). Hence (x,y) is coupled fixed point ofFandg. Finally, sup-pose that (d) holds. Letg(C(F,g)) = {(x,x). Then {x} = {gx} =F(x,x). Hence (x,x) is coupled fixed point of Fand g. ■

Now we present following example to support our Theorem 8.

Example 9. LetX= [1, 5] andF:X×X®CB(X),g:X®X be defined as follows:

F(x,y) = [2, 3] for allx,yX,

g(x) = 5−3

5x, for allxX.

Then H(F(x, y), F(u, v)) = 0 for allx, y, u, vÎ X. Therefore, Fandg satisfy (1) for any aiÎ [0, 1), i= 1, 2, ..., 6. Also (4, 5) Î X ×X is a coupled coincidence point of

hybrid pair {F, g}. Note thatFandg do not satisfy anyone of the conditions from (a)-(d) of Theorem 8 and do not have a coupled common fixed point.

(7)

Corollary 10. Let (X,d) be a complete metric space, F:X ×X® CB(X) be a map-ping satisfying

H(F(x,y),F(u,v))≤a1d(x,u) +a2d(F(x,y),x) +a3d(y,v) +a4d(F(u,v),u) +a5d(F(x,y),u) +a6d(F(u,v),x)

for all x,y,u,vÎ X, where ai=ai(x,y, u,v),i= 1, 2, ..., 6, satisfy (2). ThenFhas a

coupled fixed point.

Corollary 11. Let (X, d) be a metric space,F :X × X ® CB(X) and g: X ® X be mappings satisfying

H((F(x,y),F(u,v))≤ k

2[d(gx,gu) +d(gy,gv)] (11)

for all x,y,u,vÎX, wherekÎ[0, 1). IfF(X×X)⊆g(X) andg(X) is complete subset of X, thenFandghave a coupled coincidence point in X. Moreover, Fand ghave a coupled common fixed point if anyone of the conditions (a)-(d) of Theorem 8 holds.

Example 12. LetX= [0, 1],F: X×X ®CB(X) andg :X®Xbe given as

F(x,y) = [0,sinx+ siny

8 ] for allx,yX,

and

g(x) = x

2 for allxX.

Case (i) If sin x+ siny = sinu+ sinv, then

H(F(x,y),F(u,v)) = 0.

Case (ii) If sinx+ siny≠sinu+ sinv, then

H(F(x,y),F(u,v)) = 1

8sinx+ siny

(sinu+ sinv)

≤ 1

8

|sinx−sinu|+siny−sinv

≤ 1

8

|xu|+yv

≤ 3

16

|xu|+yv

= 3 8

x

2−

u

2 +y

2−

v

2

= 3

8(d(gx,gu),d(gy,gv)) =

3 4

2[d(gx,gu) +d(gy,gv)].

ThereforeFandgsatisfy all the conditions of Corollary 11 withk= 34. Moreover, (0, 0) is a coupled common fixed point ofFandg.

Corollary 13. Let (X,d) be a complete metric space, F:X ×X® CB(X) be a map-ping satisfying

H((F(x,y),F(u,v))≤ k

2[d(x,u) +d(y,v)]

(8)

Theorem 14. Let (X,d) be a metric space. Suppose that the mappings F:X ×X ® CB(X) andg:X ®Xsatisfy

H(F(x,y),F(u,v))≤hmax{d(gx,gu),d(gy,gv),d(F(x,y),gx),

d(F(x,y),gu) +d(F(u,v),gx)

2 ,d(F(u,v),gu)}

(12)

for all x,y,u,vÎX, wherehÎ [0, 1). IfF(X ×X)⊆g(X) andg(X) is a complete sub-set ofX, thenFandghave a coupled coincidence point inX. Moreover,Fandghave a coupled common fixed point if one of the conditions (a)-(d) of Theorem 8 holds.

Proof. Letx0 andy0be two arbitrary points inX. Choosegx1 ÎF(x0,y0) and gy1 Î

F(y0,x0). This can be done because F(X×X)⊆g(X). Ifh= 0, then

d(gx1,F(x1,y1))≤H(F(x0,y0),F(x1,y1)) = 0

gives thatd(gx1,F(x1, y1)) = 0, andgx1 ÎF(x1,y1). Similarlygy1Î F(y1, x1). Hence

(x1,y1) is a coupled coincidence point of {F, g}. Now assume thath >0. Setk=

1 √

h.

Then k >1 and so there existsz1 Î F(x1,y1) andz2Î F(y1, x1) such thatgx2 ÎF(x1,

y1),gy2ÎF(y1,x1) and such that

d(gx1,z1)≤kH(F(x0,y0),F(x1,y1)),

d(gy1,z2)≤kH(F(y0,x0),F(y1,x1)).

Since F(X ×X)⊆ g(X), there exist x2 andy2 in X such thatz1 =gx2 and z2 =gy2.

Also,

d(gx1,gx2)≤kH(F(x0,y0),F(x1,y1)),

d(gy1,gy2)≤kH(F(y0,x0),F(y1,x1)).

Continuing this process, one obtains two sequences {xn} and {yn} in Xsuch thatgxn+1

Î F(xn,yn),gyn+1ÎF(yn,xn) and

d(gxn,gxn+1)≤kH(F(xn−1,yn−1),F(xn,yn)), d(gyn,gyn+1)≤kH(F(yn1,xn−1),F(yn,xn)).

For each n, using (12), we have

d(gxn,gxn+1)

kH(F(xn−1,yn−1),F(xn,yn))

≤√hmaxd(gxn−1,gxn),d(gyn−1,gyn),d(F(xn−1,yn−1),gxn−1), d(F(xn−1,yn−1),gxn) +d(F(xn,yn),gxn−1)

2 ,d(F(xn,yn),gxn)

≤√hmax

d(gxn−1,gxn),d(gyn−1,gyn),

d(gxn+1,gxn−1)

2 ,d(gxn+1,gxn)

≤√hmax

d(gxn−1,gxn),d(gyn−1,gyn),

d(gxn+1,gxn) +d(gxn,gxn−1)

2 ,d(gxn+1,gxn)

=√hmaxd(gxn−1,gxn),d(gyn−1,gyn),d(gxn+1,gxn)

.

Hence, if we suppose that d(gxn,gxn+1)≤

hd(gxn,gxn+1), then d(gxn, gxn+1) = 0.

Therefore,

d(gxn,gxn+1)

(9)

Similarly,

d(gyn,gyn+1)≤√hmax{d(gyn−1,gyn),d(gxn−1,gxn)}. (14)

Using (13) and (14), we obtain

d(gxn,gxn+1)≤(√h)nδ

and

d(gyn,gyn+1)≤(√h)nδ,

whereδ= max{d(gx0,gx1),d(gy0,gy1)}. Thus form,nÎNwithm > n,

d(gxn,gxm+n)≤d(gxn,gxn+1) +d(gxn+1,gxn+2) +· · ·+d(gxn+m−1,gxm+n)

+ (√h)+ (√h)n+1δ+· · ·+ (√h)n+m−1δ. Therefore

d(gxn,gxm+n)≤

n+m−1 i=n

(√h).

Hence we conclude that {gxn} is a Cauchy sequence ing(X). Similarly we obtain that

{gyn} is a Cauchy sequence in g(X). Since g(X) is complete, so there exists x, y Î X

such thatgxn®gxand gyn®gy.

Thus from (12),

d(F(x,y),gxn+1)≤H(F(x,y),F(xn,yn))

hmaxdgx,gxn,dgy,gyn,dF(x,y),gx,

d(F(x,y),gxn) +d(F(xn,yn),gx)

2 ,d(F(xn,yn),gxn) ≤hmax{d(gx,gxn),d(gy,gyn),d(F(x,y),gx),

d(F(x,y),gxn) +d(gxn+1,gx)

2 ,d(gxn+1,gxn)

On taking limit as n® ∞, we obtain

d(F(x,y),gx)≤hd(F(x,y),gx),

which impliesd(F(x,y),gx) = 0. AsF(x,y) is closed, sogxÎF(x,y). Similarly,gyÎ F (y,x). Therefore (x,y) is a coupled coincidence point ofFand g.

(10)

d(gu,F(u,v))≤d(gu,gn(x)) +d(gn(x),F(u,v))

d(gu,gn(x)) +H(F(gn−1x,gn−1y),F(u,v))

d(gu,gn(x)) +hmaxd(g(gn−1x),gu),d(g(gn−1y),gv),

d(F(gn−1x,gn−1y),g(gn−1x)),

d(F(gn−1x,gn−1y),gu) +d(F(u,v),g(gn−1x)

2 ,d(F(u,v),gu)

d(gu,gn(x)) +hmaxd(gnx,gu) +d(gny,gv),

d(gnx,gu) +d(F(u,v),gnx)

2 ,d(F(u,v),gu) .

Hence, taking limit asn®∞, we get

d(gu,F(u,v))≤hd(gu,F(u,v)).

Henced(gu,F(u,v)) = 0 and thereforegu ÎF(u,v). Similarly,gvÎ F(v, u). Conse-quentlyu=guÎF(u,v) andv=gvÎF(v,u). Hence (u,v) is a coupled fixed point ofFand g.

If the pair {F, g} satisfies condition (b)-(d) of Theorem 8, then result follow using arguments similar to those given in the proof of Theorem 8. ■

Author details 1

Department of Mathematics, Lahore University of Management Sciences, Lahore - 54792, Pakistan2Faculty of Mechanical Engineering, Kraljice Marije 16, 11 000 Belgrade, Serbia3Department of Mathematics, Faculty of Agriculture, Nemanjina 6, 11 000 Belgrade, Serbia

Authorscontributions

All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Received: 3 October 2011 Accepted: 9 January 2012 Published: 9 January 2012

References

1. Nadler, S: Multi-valued contraction mappings. Pacific J Math.20(2), 475–488 (1969)

2. Dube, LS: A theorem on common fixed points of multivalued mappings. Ann Soc Sci Bruxelles.84(4), 463468 (1975) 3. Bhashkar, TG, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear

Anal TMA.65(7), 13791393 (2006). doi:10.1016/j.na.2005.10.017

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

5. Sabetghadam, F, Masiha, HP, Sanatpour, AH: Some coupled fixed point theorems in cone metric space. Fixed Point Theory Appl2009(2009). Article ID 125426, 8

6. Markin, JT: Continuous dependence of fixed point sets. Proc Am Math Soc.38, 545–547 (1973). doi:10.1090/S0002-9939-1973-0313897-4

7. Gorniewicz, L: Topological Fixed Point Theory of Multivalued Mappings. Kluwer Academic Pubisher, Dordrecht, The Netherlands (1999)

8. Klim, D, Wardowski, D: Fixed Point Theorems for Set-Valued Contractions in Complete Metric Spaces. J Math Anal Appl.

334, 132–139 (2007). doi:10.1016/j.jmaa.2006.12.012

9. Dhage, BC: Hybrid fixed point theory for strictly monotone increasing multivalued mappings with applications. Comput Math Appl.53, 803–824 (2007). doi:10.1016/j.camwa.2006.10.020

(11)

11. Dhage, BC: A general multivalued hybrid fixed point theorem and perturbed differential inclusions. Nonlinear Anal TMA.

64, 27472772 (2006). doi:10.1016/j.na.2005.09.013

12. Hong, SH: Fixed points of multivalued operators in ordered metric spaces with applications. Nonlinear Anal TMA.72, 39293942 (2010). doi:10.1016/j.na.2010.01.013

13. Hong, SH: Fixed points for mixed monotone multivalued operators in banach spaces with applications. J Math Anal Appl.337, 333342 (2008). doi:10.1016/j.jmaa.2007.03.091

14. Hong, SH, Guan, D, Wang, L: Hybrid Fixed Points of Multivalued Operators in Metric Spaces with Applications. Nonlinear Anal TMA.70, 41064117 (2009). doi:10.1016/j.na.2008.08.020

15. Hong, SH: Fixed points of discontinuous multivalued increasing operators in Banach spaces with applications. J Math Anal Appl.282, 151–162 (2003). doi:10.1016/S0022-247X(03)00111-2

16. Al-Thagafi, MA, Shahzad, N: Coincidence points, generalizedI- nonexpansive multimaps and applications. Nonlinear Anal TMA.67(7), 2180–2188 (2007). doi:10.1016/j.na.2006.08.042

17. Ćirić, Lj, Cakić, N, Rajović, M, Ume, JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl2008(2008). Article ID 131294, 11

18. Samet, B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal.72, 4508–4517 (2010). doi:10.1016/j.na.2010.02.026

19. Samet, B, Vetro, C: Coupled fixed point theorems for multi-valued nonlinear contraction mappings in partially ordered metric spaces. Nonlinear Anal.74, 4260–4268 (2011). doi:10.1016/j.na.2011.04.007

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

21. Khan, AR, Domlo, AA, Hussain, N: Coincidences of Lipschitz type hybrid maps and invariant approximation. Numer Funct Anal Optim.28(9-10), 21802188 (2007)

22. Khan, AR: Properties of fixed point set of a multivaled map. J Appl Math Stoch Anal.3, 323–332 (2005)

doi:10.1186/1687-1812-2012-4

Cite this article as:Abbaset al.:Coupled coincidence and common fixed point theorems for hybrid pair of mappings.Fixed Point Theory and Applications20122012:4.

Submit your manuscript to a

journal and benefi t from:

7Convenient online submission 7Rigorous peer review

7Immediate publication on acceptance 7Open access: articles freely available online 7High visibility within the fi eld

7Retaining the copyright to your article

References

Related documents

The objective of this document is to provide scripts documentation to be used in order to generates reports based in the active employees in the SIE database but not in the STAFF

In this paper, the design procedures are considered and calculated total cooling load and the design main components of the plate upright freezer, the compressor, condenser,

As a result of numerical analyses on AR(1), the incompletely estimated parameter (IEP) follows a Cauchy distribution, which has a power law of the slope -2 in the

Instead of the personal surveillance of the liberalistic approach to security, which can be regarded as a logical consequence of the methodological individualism –

The participants were simply told that they were asked to perform a Turing Test (this was briefly described to make sure they knew what it was). Each student was in a separate

Moni torin g tools are nec essary for lon g-term evaluation – Macd uff (2009 ) UK Full report - Evaluation of Cleanlin ess Cham pions Prog ram using a mix of qua litative and

(2) Multi-domain CogTr produced a significant effect on the RBANS total score, the visual reasoning test and immediate and delayed memory indices, while single-domain CogTr

Taking into account that TPOAbs reference limits are method dependent and often arbitrarily established in the current laboratory practice [ 9 , 10 , 16 ], the aim of this study was