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

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 Ä[dagger]iriÄ[double dagger] 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.[PUBLICATION ABSTRACT]

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

* Correspondence: mailto:[email protected]

Web End =mujahid@lums. mailto:[email protected]

Web End =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

RESEARCH Open Access

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

Mujahid Abbas1*, Ljubomir iri2, Bosko Damjanovi3 and Muhammad Ali Khan1

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. For x X and A X, we denote d(x, A) = inf{d(x, A): y A}. The class of all nonempty bounded and closed subsets of X is denoted by CB(X). Let H be the Hausdorff metric induced by the metric d on X, that is,

H(A, B) = max{sup

xA

2012 Abbas et al.; licensee Springer. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0

Web End =http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

d(y, A)},

for every A, B CB(X).

Lemma 1 [1]Let A, B CB(X), and a >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 3 Let 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} if g(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 g by C(F, g). Note that if (x, y) C(F, g), then (y, x) is also in C(F, g).

d(x, B), sup

yB

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

Definition 4 Let 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 5 Let F : X X 2X be 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 F from X X to X and established some coupled fixed point theorems in partially 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 developed 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 6 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)) a1d(gx, gu) + a2d(F(x, y), gx) + a3d(gy, gv)

a4d(F(u, v), gu) + a5d(F(x, y), gu) + a6d(F(u, v), gx) (1)

Page 2 of 11

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

Page 3 of 11

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 + a6 h < 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, lim

n

gnx = u and lim

n

gny = v for 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

gnv = yand lim

n

gnv = y.

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

Proof. Let x0, y0 X be arbitrary. Then F (x0, y0) and F (y0, x0) are well defined. Choose gx1 F (x0, y0) and gy1 F (y0, x0). This can be done because F (X X) g (X). If a1 = a2 = a3 = a4 = a5 = a6 = 0, then

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

Hence d(gx1, F (x1, y1)) = 0. Since F (x1, y1) is closed, gx1 F (x1, y1). Similarly gy1 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. Then h >0 and so there exist z1 F (x1, y1) and z2 F (y1, x1) such that

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

h 2,

h 2.

Since F(X X) g(X), there exist x2 and y2 in X such that z1 = gx2 and z2 = gy2.

Thus

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

h 2,

d(gy1, z2) H(F(y0, x0), F(y1, x1)) +

d(gy1, gy2) H(F(y0, x0), F(y1, x1)) +

h 2.

Continuing this process, one obtains two sequences {xn} and {yn} in X such that

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

d(gxn, gxn+1) H(F(xn1, yn1), F(xn, yn)) +

hn

2 ,

d(gyn, gyn+1) H(F(yn1, xn1), F(yn, xn)) +

hn

2 .

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

Page 4 of 11

From (1), we have

d(gxn, gxn+1)

H(F(xn1, yn1), F(xn, yn)) +

hn

2

a1d(gxn1, gxn) + a2d(F(xn1, yn1), gxn1) + a3d(gyn1, gyn) + a4d(F(xn, yn), gxn)

+a5d(F(xn1, yn1), gxn) + a6d(F(xn, yn), gxn1) +

hn

2

a1d(gxn1, gxn) + a2d(gxn, gxn1) + a3d(gyn1, gyn) + a4d(gxn+1, gxn)

+a6d(gxn+1, gxn1) +

hn

2

a1d(gxn1, gxn) + a2d(gxn, gxn1) + a3d(gyn1, gyn) + a4d(gxn+1, gxn)

+a6d(gxn+1, gxn) + a6d(gxn, gxn1) +

hn

2

= (a1 + a2 + a6)d(gxn1, gxn) + a3d(gyn1, gyn) + (a4 + a6)d(gxn, gxn+1) +

hn

2 ,

and it follows that

(1 a4 a6) d(gxn, gxn+1) (a1 + a2 + a6) d(gxn1, gxn) + a3d(gyn1, gyn) +

hn

2 . (3)

Similarly it can be shown that,

(1 a4 a6) d(gyn, gyn+1) (a1 + a2 + a6) d(gyn1, gyn) + a3d(gxn1, gxn) +

hn

2 . (4)

Again,

d(gxn+1, gxn)

= H(F(xn, yn), F(xn1, yn1)) +

hn

2

a1d(gxn, gxn1) + a2d(F(xn, yn), gxn) + a3d(gyn, gyn1) + a4d(F(xn1, yn1), gxn1)

+a5d(F(xn, yn), gxn1) + a6d(F(xn1, yn1), gxn) +

hn

2

a1d(gxn, gxn1) + a2d(gxn+1, gxn) + a3d(gyn, gyn1) + a4d(gxn, gxn1)

+a5d(gxn+1, gxn1) +

hn

2

a1d(gxn, gxn1) + a2d(gxn+1, gxn) + a3d(gyn, gyn1) + a4d(gxn, gxn1)

+a5d(gxn+1, gxn) + a5d(gxn, gxn1) +

hn

2 .

Hence,

(1 a2 a5) d(gxn+1, gxn) (a1 + a4 + a5) d(gxn1, gxn) + a3d(gyn, gyn1) +

hn

2 (5)

and

(1 a2 a5) d(gyn+1, gyn) (a1 + a4 + a5) d(gyn1, gyn) + a3d(gxn, gxn1) +

hn

2 . (6)

Let

n = d(gxn, gxn+1) + d(gyn, gyn+1).

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

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

(1 a4 a6) n (a1 + a2 + a3 + a6) n1 +

hn

2 . (8)

Adding (7) and (8) we get

(2 a2 a4 a5 a6) n (2a1 + a2 + 2a3 + a4 + a5 + a6) n1 + 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)

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

Thus from (9) we get

(2 a2 a4 a5 a6) n h (2 a2 a4 a5 a6) n1 + hn.

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

n hn1 + hn.

Thus we have

n h(hn2 + hn1) + hn = h2n2 + 2hn.

Continuing this process we obtain

n hn0 + nhn. (10)

By the triangle inequality and (10), for m, n N with m > n, we have

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

d(gxn, gxn+1) + d(gxn+1, gxn+2) + + d(gxn+m1, gxm+n)

+d(gyn, gyn+1) + d(gyn+1, gyn+2) . . . + d(gyn+m1, gym+n)

(hn0 + nhn) + (hn+10 + (n + 1)hn+1) + + (hn+m10 + (n + m 1)hn+m1)

+(hn0 + nhn) + (hn+10 + (n + 1)hn+1) + + (hn+m10 + (n + m 1)hn+m1).

Thus

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

n+m1

i=n 0hi + n+m1

i=n ihi.

Since h <1, we conclude that {gxn} and {gyn} are Cauchy sequences in g(X). Since g(X) is complete, there exist x, y X such that gxn gx and gyn gy. Then from (1), we obtain

Page 5 of 11

hn

2 , (7)

(1 a2 a5) n (a1 + a3 + a4 + a5) n1 +

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

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 hence F(x, y) = gx. Similarly, F(y, x) = gy. Hence (x, y) is coupled coincidence point of the mappings F and g. Suppose now that (a) holds. Then for some (x, y) C(F, g), lim

n

gny = v, where u, v

X. Since g is continuous at u and v, so we have that u and v are fixed points of g. As F and g are w- compatible, gnx C(F, g) for all n 1 and gnx 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(gn1x, gn1y), F(u, v))

d(gu, gnx) + a1d(gnx, gu) + a2d(F(gn1x, gn1y), 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 hence gu F(u, v). Similarly, gv F(v, u). Consequently u = gu F(u, v) and v = gv F(v, u). Hence (u, v) is a coupled fixed point of F and g. Suppose now that (b) holds.

If for some (x, y) C(F, g), g is F- commuting, g2x = gx and g2y = gy, then gx = g2x F(gx, gy) and gy = g2y F(gy, gx). Hence (gx, gy) is a coupled fixed point of F and g. Suppose now that (c) holds and assume that for some (x, y) C(g, F) and for some u, v X, lim

n

gnx = u and lim

n

gnv = y. By the continuity of g at x and y, we get x = gx F(x, y) and y = gy F(y, x). Hence (x, y) is coupled fixed point of F and g. Finally, suppose that (d) holds. Let g(C(F, g)) = {(x, x). Then {x} = {gx} = F(x, x). Hence (x, x) is coupled fixed point of F and g.

Now we present following example to support our Theorem 8.

Example 9. Let X = [1, 5] and F : X X CB(X), g : X X be defined as follows:

F(x, y) = [2, 3] for all x, y X, g(x) = 5

35x, for all x X.

Then H(F(x, y), F(u, v)) = 0 for all x, y, u, v X. Therefore, F and g 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 that F and g do not satisfy anyone of the conditions from (a)-(d) of Theorem 8 and do not have a coupled common fixed point.

If in Theorem 8 g = I (I = the identity mapping), then we have the following result.

Page 6 of 11

gnu = x and lim

n

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

Page 7 of 11

Corollary 10. Let (X, d) be a complete metric space, F : X X CB(X) be a mapping 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). Then F has 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))

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

for all x, y, u, v X, where k [0, 1). If F(X X) g(X) and g(X) is complete subset of X, then F and g have a coupled coincidence point in X. Moreover, F and g have a coupled common fixed point if anyone of the conditions (a)-(d) of Theorem 8 holds.

Example 12. Let X = [0, 1], F : X X CB(X) and g : X X be given as

F(x, y) = [0, sin x + sin y

8 ] for all x, y X,

and

g(x) = x

2 for all x X.

Case (i) If sin x + sin y = sin u + sin v, then

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

Case (ii) If sin x + sin y sin u + sin v, then

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

8

[vextendsingle][vextendsingle][parenleftbig]sin

x + sin y

[parenrightbig]

(sin u + sin v)

[vextendsingle][vextendsingle]

1 8

|sin x sin u| + [vextendsingle][vextendsingle]siny sin v[vextendsingle][vextendsingle][parenrightbig]

1 8

|x u| + [vextendsingle][vextendsingle]y v[vextendsingle][vextendsingle][parenrightbig]

3 16

|x u| + [vextendsingle][vextendsingle]y v[vextendsingle][vextendsingle][parenrightbig]

= 38 [parenleftBig][vextendsingle][vextendsingle][vextendsingle]

x2

u 2

[vextendsingle][vextendsingle][vextendsingle]

+

[vextendsingle][vextendsingle][vextendsingle]

y2

v 2

[vextendsingle][vextendsingle][vextendsingle]

[parenrightBig]

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

Therefore F and g satisfy all the conditions of Corollary 11 with k = 34. Moreover, (0,0) is a coupled common fixed point of F and g.

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))

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

for all x, y, u, v X, where k [0, 1), then F has a coupled fixed point in X.

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

3

4

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

Page 8 of 11

Theorem 14. Let (X, d) be a metric space. Suppose that the mappings F : X X CB(X) and g : X X satisfy

H(F(x, y), F(u, v)) h max{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, where h [0, 1). If F(X X) g(X) and g(X) is a complete subset of X, then F and g have a coupled coincidence point in X. Moreover, F and g have a coupled common fixed point if one of the conditions (a)-(d) of Theorem 8 holds.

Proof. Let x0 and y0 be two arbitrary points in X. Choose gx1 F (x0, y0) and gy1 F (y0, x0). This can be done because F(X X) g(X). If h = 0, then

d(gx1, F(x1, y1)) H(F(x0, y0), F(x1, y1)) = 0gives that d(gx1, F (x1, y1)) = 0, and gx1 F (x1, y1). Similarly gy1 F (y1, x1). Hence

(x1, y1) is a coupled coincidence point of {F, g}. Now assume that h >0. Set k = 1

h.

Then k >1 and so there exists z1 F(x1, y1) and z2 F(y1, x1) such that gx2 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 and y2 in X such that z1 = 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 X such that gxn+1 F (xn, yn), gyn+1 F (yn, xn) and

d(gxn, gxn+1) kH(F(xn1, yn1), F(xn, yn)),

d(gyn, gyn+1) kH(F(yn1, xn1), F(yn, xn)).

For each n, using (12), we have

d(gxn, gxn+1) kH(F(xn1, yn1), F(xn, yn))

h max

d(gxn1, gxn), d(gyn1, gyn), d(F(xn1, yn1), gxn1),

d(F(xn1, yn1), gxn) + d(F(xn, yn), gxn1)

2 , d(F(xn, yn), gxn)[bracerightbigg]

h max [braceleftbigg]d(gxn1, gxn), d(gyn1, gyn),

d(gxn+1, gxn1)

2 , d(gxn+1, gxn)[bracerightbigg]

h max [braceleftbigg]d(gxn1, gxn), d(gyn1, gyn),

d(gxn+1, gxn) + d(gxn, gxn1)

2 , d(gxn+1, gxn)[bracerightbigg]

= h max

d(gxn1, gxn), d(gyn1, gyn), d(gxn+1, gxn)[bracerightbig].

Hence, if we suppose that d(gxn, gxn+1) hd(gxn, gxn+1), then d(gxn, gxn+1) = 0.

Therefore,

d(gxn, gxn+1)h max{d(gxn1, gxn), d(gyn1, gyn)}. (13)

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

Similarly,

d(gyn, gyn+1) h max{d(gyn1, gyn), d(gxn1, 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 for m, n N with m > n,

d(gxn, gxm+n) d(gxn, gxn+1) + d(gxn+1, gxn+2) + + d(gxn+m1, gxm+n)+ (h)n + (h)n+1 + + (

h)n+m1.

i=n(h)i.

Hence we conclude that {gxn} is a Cauchy sequence in g(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 that gxn gx and gyn gy.

Thus from (12),

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

h max [braceleftbig]d [parenleftbig]gx,

, d

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

2 , d(F(xn, yn), gxn)[bracerightbigg]

h max{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)[bracerightbigg]

On taking limit as n , we obtain

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

which implies d(F(x, y), gx) = 0. As F(x, y) is closed, so gx F(x, y). Similarly, gy F (y, x). Therefore (x, y) is a coupled coincidence point of F and g.

(a) Suppose that lim

n

gy = v, for some (x, y) C(F, g); u, v X.

Since g is continuous at u and v, so u and v are fixed points of g. Also since F and g are w- compatible, gn(x) C(F, g) for all n 1 and gn(x) F(gn-1(x), gn-1(y)). Using (12), we obtain

gx = u and lim

n

Page 9 of 11

Therefore

d(gxn, gxm+n)

n+m1

gxn

[parenrightbig]

gy, gyn[parenrightbig], d

F(x, y), gx[parenrightbig],

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

d(gu, F(u, v)) d(gu, gn(x)) + d(gn(x), F(u, v)) d(gu, gn(x)) + H(F(gn1x, gn1y), F(u, v)) d(gu, gn(x)) + h max [braceleftbig]d(g(gn1x),

d(F(gn1x, gn1y), g(gn1x)),

d(F(gn1x, gn1y), gu) + d(F(u, v), g(gn1x)2 , d(F(u, v), gu)[bracerightbigg]

d(gu, gn(x)) + h max [braceleftbig]d(gnx,

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

2 , d(F(u, v), gu)[bracerightbigg] .

Hence, taking limit as n , we get

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

Hence d(gu, F(u, v)) = 0 and therefore gu F(u, v). Similarly, gv F(v, u). Consequently u = gu F(u, v) and v = gv F(v, u). Hence (u, v) is a coupled fixed point of F and 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

1Department of Mathematics, Lahore University of Management Sciences, Lahore - 54792, Pakistan 2Faculty of Mechanical Engineering, Kraljice Marije 16, 11 000 Belgrade, Serbia 3Department of Mathematics, Faculty of Agriculture, Nemanjina 6, 11 000 Belgrade, Serbia

Authors contributions

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

References1. Nadler, S: Multi-valued contraction mappings. Pacific J Math. 20(2), 475488 (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, 43414349 (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 Appl 2009 (2009). Article ID 125426, 8

6. Markin, JT: Continuous dependence of fixed point sets. Proc Am Math Soc. 38, 545547 (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, 132139 (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, 803824 (2007). doi:10.1016/j.camwa.2006.10.020

10. Dhage, BC: A fixed point theorem for multivalued mappings on ordered banach spaces with applications. Nonlinear Anal Forum. 10, 105126 (2005)

Page 10 of 11

gu), d(g(gn1y), gv),

gu) + d(gny, gv),

Abbas et al. Fixed Point Theory and Applications 2012, 2012:4 http://www.fixedpointtheoryandapplications.com/content/2012/1/4

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, 151162 (2003). doi:10.1016/S0022-247X(03)00111-2

16. Al-Thagafi, MA, Shahzad, N: Coincidence points, generalized I- nonexpansive multimaps and applications. Nonlinear Anal TMA. 67(7), 21802188 (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 Appl 2008 (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, 45084517 (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, 42604268 (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, 310316 (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, 323332 (2005)

doi:10.1186/1687-1812-2012-4Cite this article as: Abbas et al.: Coupled coincidence and common fixed point theorems for hybrid pair of mappings. Fixed Point Theory and Applications 2012 2012:4.

Page 11 of 11

Submit your manuscript to a journal and benet from:

7 Convenient online submission7 Rigorous peer review7 Immediate publication on acceptance7 Open access: articles freely available onlihttp://www.springeropen.com/

Web End =ne 7 High visibility within the eld7 Retaining the copyright to your article

Submit your next manuscript at 7 http://www.springeropen.com/

Web End =springeropen.com