Some Common Fixed Point Theorems for Weakly Compatible Mappings in Metric Spaces

(1)

Volume 2009, Article ID 804734,8pages doi:10.1155/2009/804734

Research Article

Some Common Fixed Point Theorems for Weakly

Compatible Mappings in Metric Spaces

M. A. Ahmed

Department of Mathematics, Faculty of Science, Assiut University, Assiut 71516, Egypt

Correspondence should be addressed to M. A. Ahmed,[email protected]

Received 23 October 2008; Accepted 18 January 2009

Recommended by William A. Kirk

We establish a common fixed point theorem for weakly compatible mappings generalizing a result of Khan and Kubiaczyk1988. Also, an example is given to support our generalization. We also prove common fixed point theorems for weakly compatible mappings in metric and compact metric spaces.

Copyrightq2009 M. A. Ahmed. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1. Introduction

In the last years, fixed point theorems have been applied to show the existence and uniqueness of the solutions of diﬀerential equations, integral equations and many other branches mathematics see, e.g., 1–3. Some common fixed point theorems for weakly commuting, compatible, δ-compatible and weakly compatible mappings under diﬀerent contractive conditions in metric spaces have appeared in 4–15. Throughout this paper,

X, dis a metric space.

Following9,16, we define,

2X _A_⊂_X_:_A_{is nonempty}_,

BX A∈2X_:_A_{is bounded}_. 1.1

For allA, B∈BX, we define

δA, B supda, b:a∈A, b∈B, DA, B infda, b:a∈A, b∈B, HA, B infr >0 :Ar ⊃B, Br ⊃A

,

(2)

whereAr {x∈ X : dx, a < r, for somea∈ A}andBr {y ∈X :dy, b< r, for some

b∈B}.

IfA{a}for somea∈A, we denoteδa, B,Da, BandHa, BforδA, B,DA, B

andHA, B, respectively. Also, ifB {b}, then one can deduce thatδA, B DA, B HA, B da, b.

It follows immediately from the definition ofδA, Bthat, for everyA, B, C∈BX,

δA, B δB, A≥0, δA, B≤δA, C δC, B, δA, B 0,

iﬀAB{a}, δA, A diamA. 1.3

We need the following definitions and lemmas.

Definition 1.1see16. A sequenceAnof nonempty subsets ofXis said to beconvergentto

A⊆Xif:

ieach pointainAis the limit of a convergent sequencean, wherean is inAn for

n∈ {0} ∪NN:the set of all positive integers,

iifor arbitrary >0, there exists an integermsuch thatAn⊆Aforn > m, whereA

denotes the set of all pointsxinXfor which there exists a pointainA, depending onx,such thatdx, a< .

Ais then said to be thelimitof the sequenceAn.

Definition 1.2see9. A set-valued functionF :X → 2X_{is said to be}_continuous_{if for any}

sequencexninXwith limn→ ∞xnx, it yields limn→ ∞HFxn, Fx 0.

Lemma 1.3see16. IfAnandBnare sequences inBXconverging toAand BinBX,

respectively, then the sequenceδAn, Bnconverges toδA, B.

Lemma 1.4 see 16. Let An be a sequence in BX and let y be a point in X such that

δAn, y → 0. Then the sequenceAnconverges to the set{y}inBX.

Lemma 1.5see9. For anyA, B, C, D ∈BX, it yields thatδA, B ≤HA, C δC, D HD, B.

Lemma 1.6see17. LetΨ:0,∞ → 0,∞be a right continuous function such thatΨt< t

for everyt > 0. Then,limn→ ∞Ψnt 0 for everyt > 0, whereΨn denotes the n-times repeated

composition ofΨwith itself.

Definition 1.7see15. The mappingsI :X → XandF:X → BXareweakly commuting onXifIFx∈BXandδFIx, IFx≤max{δIx, Fx,diamIFx}for allx∈X.

Definition 1.8see13. The mappingsI : X → X andF : X → BXare said to beδ -compatibleif limn→ ∞δFIxn, IFxn 0 wheneverxnis a sequence in X such thatIFxn ∈

BX,Fxn → {t}andIxn → tfor somet∈X.

Definition 1.9see13. The mappingsI :X → X andF :X → BXareweakly compatible if they commute at coincidence points, that is, for each pointu∈Xsuch thatFu{Iu}, then

(3)

If F is a single-valued mapping, thenDefinition 1.7 resp., Definitions1.8 and 1.9 reduces to the concept of weak commutativityresp., compatibility and weak compatibility for single-valued mappings due to Sessa18 resp., Jungck11,12.

It can be seen that

weakly commuting⇒δ-compatible andδ-compatible⇒weakly compatible, 1.4

but the converse of these implications may not be truesee,13,15.

Throughtout this paper, we assume thatΦis the set of all functions φ : 0,∞5 →

0,∞satisfying the following conditions:

iφ is upper semi-continuous continuous at a point 0 from the right, and non-decreasing in each coodinate variable,

iiFor eacht >0,Ψt max{φt, t, t, t, t, φt, t, t,2t,0, φt, t, t,0,2t}< t.

Theorem 1.10see19. LetF, Gbe mappings of a complete metric spaceX, dintoBXand

I be a mapping ofXinto itself such thatI, F andGare continuous,FX ⊆ JX,GX ⊆ IX,

IFFI,IGGIand for allx, y∈X,

δFx, Gy≤φdIx, Iy, δIx, Fx, δIy, Gy, DIx, Gy, DIy, Fx, 1.5

whereφsatisfies (i) andφt, t, t, at, bt< tfor eacht >0, anda≥0,b≥0withab≤2. ThenI, F

andGhave a unique common fixed pointusuch thatuIu∈Fu∩Gu.

In the present paper, we are concerned with the following:

1replacing the commutativity of the mappings in Theorem 1.10 by the weak compatibility of a pair of mappings to obtain a common fixed point theorem metric spaces without the continuity assumption of the mappings,

2giving an example to support our generalization ofTheorem 1.10,

3establishing another common fixed point theorem for two families of set-valued mappings and two single-valued mappings,

4proving a common fixed point theorem for weakly compatible mappings under a strict contractive condition on compact metric spaces.

2. Main Results

(4)

First we state and prove the following.

Theorem 2.1. LetI, J be two sefmaps of a metric spaceX, dand let F, G : X → BXbe two set-valued mappings with

∪FX⊆JX, ∪GX⊆IX. 2.1

Suppose that one ofIXandJXis complete and the pairs{F, I}and{G, J}are weakly compatible. If there exists a functionφ∈Φsuch that for allx, y∈X,

δFx, Gy≤φdIx, Jy, δIx, Fx, δJy, Gy, DIx, Gy, DJy, Fx, 2.2

then there is a pointp∈Xsuch that{p}{Ip}{Jp}FpGp.

Proof. Let x0 be an arbitrary point in X. By 2.1, we choose a point x1 in X such that

Jx1 ∈ Fx0 Z0and for this pointx1 there exists a pointx2 inX such thatIx2 ∈ Gx1 Z1. Continuing this manner we can define a sequencexnas follows:

Jx2n1∈Fx2nZ2n, Ix2n2∈Gx2n1Z2n1, 2.3

forn∈ {0} ∪N. For simplicity, we putVn δZn, Zn1forn∈ {0} ∪N. By2.2and2.3, we have that

V2nδ

Z2n, Z2n1δFx2n, Gx2n1

≤φdIx2n, Jx2n1, δIx2n, Fx2n

, δJx2n1, Gx2n1, DIx2n, Gx2n1, DJx2n1, Fx2n

≤φδZ2n−1, Z2n

, δZ2n−1, Z2n

, δZ2n, Z2n1, δZ2n−1, Z2n

δZ2n, Z2n1,0

φV2n−1, V2n−1, V2n, V2n−1V2n,0.

2.4

IfV2n > V2n−1, then

V2n≤φV2n, V2n, V2n,2V2n,0≤ΨV2n< V2n. 2.5

This contradiction demands that

V2n≤φ

V2n−1, V2n−1, V2n−1,2V2n−1,0

≤ΨV2n−1

. 2.6

Similarly, one can deduce that

V2n1≤φ

V2n, V2n, V2n,0,2V2n

≤ΨV2n

. 2.7

So, for eachn∈ {0} ∪N, we obtain that

Vn1≤ΨVn

≤Ψ2_V

n−1

≤ · · · ≤Ψn_V

1

(5)

whereV1δZ1, Z2 δFx2, Gx1≤φV0, V0, V0,0,2V0. By2.8andLemma 1.6, we obtain that lim_{n→ ∞}Vnlimn→ ∞δZn, Zn1 0. Since

δZn, Zm

≤δZn, Zn1δZn1, Zn2· · ·δZm−1, Zm

, 2.9

then limn,m→ ∞δZn, Zm 0. Therefore,Znis a Cauchy sequence.

Let zn be an arbitrary point in Zn for n ∈ {0} ∪N. Then limn,m→ ∞dzn, zm ≤

lim_{n,m→ ∞}δZn, Zm 0 andznis a Cauchy sequence. We assume without loss of generality

thatJXis complete. Letxnbe the sequence defined by2.3. ButJx2n1 ∈Fx2n Z2nfor

alln∈ {0} ∪N. Hence, we find that

dJx2m−1, Jx2n1≤δZ2m−2, Z2n

≤V2m−2δ

Z2m−1, Z2n

−→0, 2.10

asm, n → ∞. So,Jx2n1is a Cauchy sequence. Hence,Jx2n1 → p Jv ∈JXfor some

v∈X. ButIx2n∈Gx2n−1Z2n−1by2.3, so thatdIx2n, Jx2n1≤δZ2n−1, Z2n V2n−1 → 0. Consequently,Ix2n → p. Moreover, we have, forn∈ {0}∪N, thatδFx2n, p≤δFx2n, Ix2n

dIx2n, p ≤ V2n−1 dIx2n, p. Therefore,δFx2n, p → 0. So, we have byLemma 1.4that

Fx2n → {p}. In like manner it follows thatδGx2n1, p → 0 andGx2n1 → {p}. Since, forn∈ {0} ∪N,

δFx2n, Gv

≤φdIx2n, Jv

, δIx2n, Fx2n

, δJv, Gv, DIx2n, Gv

, DJv, Fx2n

≤φdIx2n, Jv

, δIx2n, Fx2n

, δJv, Gv, δIx2n, Gv

, δJv, Fx2n

,

2.11

andδIx2n, Gv → δp, Gvasn → ∞, we get fromLemma 1.3that

δp, Gv≤φ0,0, δp, Gv, δp, Gv,0≤Ψδp, Gv< δp, Gv. 2.12

This is absurd. So,{p} Gv {Jv}. But∪GX ⊆ IX, so∃u ∈X such that{Iu} Gv

{Jv}. If_{Fu /}Gv,δFu, Gv/0, then we have

δFu, p δFu, Gv

≤φdIu, Jv, δIu, Fu, δJv, Gv, DIu, Gv, DJv, Fu

≤φdIu, Jv, δIu, Fu, δJv, Gv, δIu, Gv, δJv, Fu

φ0, δFu, p,0,0, δFu, p

≤ΨδFu, p< δFu, p.

2.13

(6)

SinceFu{Iu}and the pair{F, I}is weakly compatible, soFpFIuIFu{Ip}. Using the inequality2.2, we have

δFp, p≤δFp, Gv

≤φdIp, Jv, δIp, Fp, δJv, Gv, DIp, Gv, DJv, Fp

≤φδFp, p,0,0, δFp, p, δFp, p

≤ΨδFp, p

< δFp, p.

2.14

This contradiction demands that {p} Fp {Ip}. Similarly, if the pair {G, J} is weakly compatible, one can deduce that{p} Gp {Jp}. Therefore, we get that{p} Fp Gp

{Ip}{Jp}.

The proof, assuming the completeness ofIX, is similar to the above.

To see thatpis unique, suppose that{q}FqGq{Iq}{Jq}. If_{p /}q, then

dp, q δFp, Gq≤φdp, q,0,0, dp, q, dp, q≤Ψdp, q< dp, q, 2.15

which is inadmissible. So,pq.

Now, we give an example to show the greater generality of Theorem 2.1 over Theorem 1.10.

Example 2.2. Let X 0,1 endowed with the Euclidean metric d. Assume that

φt1, t2, t3, t4, t5 t1/3 for every t1, t2, t3, t4, t5 ∈ 0,∞. Define F, G : X → BX and

I, J:X → Xas follows:

Fx

1 2

if x∈X, Gx

1 2

ifx∈

0,1

2 , Gx

3 8,

1

2 ifx∈

1 2,1 ,

Ix 1

2 ifx∈

0,1

2 , Ix

x1

4 ifx∈

1

2,1 , Jx1−x ifx∈

0,1

2 ,

Jx0 ifx∈

1 2,1 .

2.16

We have that∪FX {1/2} {J1/2} ⊆ JXand ∪GX 3/8,1/2 IX. Moreover,δFx, Gy 0 ify∈0,1/2. Ify∈1/2,1, thenδFx, Gy≤1/8 anddIx, Jy≥

3/8. So, we obtain that

δFx, Gy≤ 1

3dIx, Jy 1 3φ

dIx, Jy, δIx, Fx, δJy, Gy, DIx, Gy, DJy, Fx,

2.17

for all x, y ∈ X. It is clear that X is a complete metric space. Since JX 1/2,1 ∪

(7)

pair and therefore a weakly compatible pair. Also, G1/2 {J1/2} and GJ1/2

JG1/2 {1/2}, that is, G and J are weakly compatible. On the other hand, if xn

1/2− 2−n, so that δGJxn, JGxn → 1/8/0 even though Gxn,{Jxn} → {1/2}, that is,

{G, J} is not a δ-compatible pair. We know that 1/2 is the unique common fixed point of I, J, F and G. Hence the hypotheses of Theorem 2.1 are satisfied. Theorem 1.10 is not applicable because_{GJx /}JGxfor allx ∈ X, and the mapsI,JandGare not continuous at

x1/2.

InTheorem 2.1, if the mappingsFandGare replaced byFαandGα,α∈ΛwhereΛis

an index set, we obtain the following.

Theorem 2.3. LetX, dbe a metric space, and letI, Jbe selfmaps ofX, and forα∈Λ,Fα, Gα:X →

BXbe set-valued mappings with∪∪_α∈_ΛFαX⊆JXand∪∪α∈ΛGαX⊆IX. Suppose that

one ofIXandJXis complete and forα∈Λthe pairs{Fα, I}and{Gα, J}are weakly compatible.

If there exists a functionφ∈Φsuch that, for allx, y∈X,

δFαx, Gαy

≤φdIx, Jy, δIx, Fαx

, δJy, Gαy

, DIx, Gαy

, DJy, Fαx

, 2.18

then there is a pointp∈Xsuch that{p}{Ip}{Jp}FαpGαpfor eachα∈Λ.

Proof. UsingTheorem 2.1, we obtain for anyα∈Λ, there is a unique pointzα ∈Xsuch that

IzαJzαzαandFαzαGαzα{zα}. For allα, β∈Λ,

dzα, zβ

≤δFαzα, Gβzβ

≤φdIzα, Jzβ

, δIzα, Fαzα

, δJzβ, Gβzβ

, DIzα, Gβzβ

, DJzβ, Fαzα

≤φdzα, zβ

,0,0, dzα, zβ

, dzβ, zα

≤Ψdzα, zβ

< dzα, zβ

.

2.19

This yields thatzαzβ.

Inspired by the work of Chang9, we state the following theorem on compact metric spaces.

Theorem 2.4. LetX, dbe a compact metric space,I, Jselfmaps ofX, F, G:X → BXset-valued functions with∪FX⊆JXand∪GX⊆IX.Suppose that the pairs{F, I},{G, J}are weakly compatible and the functionsF,Iare continuous. If there exists a functionφ∈Φ, and for allx, y∈X, the following inequality:

δFx, Gy< φdIx, Jy, δIx, Fx, δJy, Gy, DIx, Gy, DJy, Fx, 2.20

holds whenever the right-hand side of 2.20is positive, then there is a unique pointuinXsuch that

(8)

Acknowledgment

The author wishes to thank the refrees for their comments which improved the original manuscript.

References

1 H. K. Pathak and B. Fisher, “Common fixed point theorems with applications in dynamic programming,”Glasnik Matematiˇcki, vol. 31, no. 51, pp. 321–328, 1996.

2 H. K. Pathak, M. S. Khan, and R. Tiwari, “A common fixed point theorem and its application to nonlinear integral equations,”Computers & Mathematics with Applications, vol. 53, no. 6, pp. 961–971, 2007.

3 H. K. Pathak, S. N. Mishra, and A. K. Kalinde, “Common fixed point theorems with applications to nonlinear integral equations,”Demonstratio Mathematica, vol. 32, no. 3, pp. 547–564, 1999.

4 M. A. Ahmed, “Common fixed point theorems for weakly compatible mappings,”The Rocky Mountain Journal of Mathematics, vol. 33, no. 4, pp. 1189–1203, 2003.

5 M. A. Ahmed, “Common fixed points for four mappings under a contractive condition of Kiventidis type,”Proceedings of the Mathematical and Physical Society of Egypt, no. 83, pp. 83–93, 2005.

6 M. A. Ahmed and B. E. Rhoades, “Some common fixed point theorems for compatible mappings,”

Indian Journal of Pure and Applied Mathematics, vol. 32, no. 8, pp. 1247–1254, 2001.

7 A. Banerjee and T. B. Singh, “A fixed point theorem for set-valued mappings,”Applied Mathematics and Mechanics, vol. 22, no. 12, pp. 1397–1403, 2001.

8 A. Banerjee and B. S. Thakur, “A note on a theorem of Tas, Telci and Fisher,”Applied Mathematics and Mechanics, vol. 19, no. 4, pp. 333–334, 1998.

9 T.-H. Chang, “Fixed point theorems for contractive type set-valued mappings,”Mathematica Japonica, vol. 38, no. 4, pp. 675–690, 1993.

10 Lj. B. Ćirić, N. T. Nikolić, and J. S. Ume, “Common fixed point theorems for weakly compatible quasi contraction mappings,”Acta Mathematica Hungarica, vol. 113, no. 4, pp. 257–267, 2006.

11 G. Jungck, “Compatible mappings and common fixed points,”International Journal of Mathematics and Mathematical Sciences, vol. 9, no. 4, pp. 771–779, 1986.

12 G. Jungck, “Common fixed points for commuting and compatible maps on compacta,”Proceedings of the American Mathematical Society, vol. 103, no. 3, pp. 977–983, 1988.

13 G. Jungck and B. E. Rhoades, “Fixed points for set valued functions without continuity,”Indian Journal of Pure and Applied Mathematics, vol. 29, no. 3, pp. 227–238, 1998.

14 A. R. Khan, A. A. Domlo, and N. Hussain, “Coincidences of Lipschitz-type hybrid maps and invariant approximation,”Numerical Functional Analysis and Optimization, vol. 28, no. 9-10, pp. 1165–1177, 2007. 15 S. Sessa, M. S. Khan, and M. Imdad, “A common fixed point theorem with a weak commutativity

condition,”Glasnik Matematiˇcki. Serija III, vol. 21, no. 41, pp. 225–235, 1986.

16 B. Fisher, “Common fixed points of mappings and set-valued mappings,”Rostocker Mathematisches Kolloquium, no. 18, pp. 69–77, 1981.

17 J. Matkowski, “Fixed point theorems for mappings with a contractive iterate at a point,”Proceedings of the American Mathematical Society, vol. 62, no. 2, pp. 344–348, 1977.

18 S. Sessa, “On a weak commutativity condition of mappings in fixed point considerations,”Publications de l’Institut Math´ematique. Nouvelle S´erie, vol. 32, no. 46, pp. 149–153, 1982.