Hindawi Publishing Corporation
Fixed Point Theory and Applications
Volume 2010, Article ID 898109, 14 pages
doi:10.1155/2010/898109
Research Article
Coincidence Theorems for Certain Classes of
Hybrid Contractions
S. L. Singh and S. N. Mishra
Department of Mathematics, School of Mathematical & Computational Sciences, Walter Sisulu University,
Nelson Mandela Drive Mthatha 5117, South Africa
Correspondence should be addressed to S. N. Mishra,
Received 27 August 2009; Accepted 9 October 2009
Academic Editor: Mohamed A. Khamsi
Copyright q 2010 S. L. Singh and S. N. Mishra. 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.
Coincidence and fixed point theorems for a new class of hybrid contractions consisting of a pair
of single-valued and multivalued maps on an arbitrary nonempty set with values in a metric
space are proved. In addition, the existence of a common solution for certain class of functional
equations arising in dynamic programming, under much weaker conditions are discussed. The
results obtained here in generalize many well known results.
1. Introduction
Nadler’s multivalued contraction theorem 1see also Covitz and Nadler, Jr. 2 was
subsequently generalized among others by Reich 3 and
´
Ciri
´
c 4. For a fundamental
development of fixed point theory for multivalued maps, one may refer to Rus 5.
Hybrid contractive conditions, that is, contractive conditions involving single-valued and
multivalued maps are the further addition to metric fixed point theory and its applications.
For a comprehensive survey of fundamental development of hybrid contractions and
historical remarks, refer to Singh and Mishra 6see also Naimpally et al. 7 and Singh
and Mishra 8.
Recently Suzuki 9, Theorem 2 obtained a forceful generalization of the classical
Banach contraction theorem in a remarkable way. Its further outcomes by Kikkawa and
Suzuki 10, 11,Mot¸andPetrus¸el 12 and Dhompongsa and Yingtaweesittikul 13,
are important contributions to metric fixed point theory. Indeed, 10, Theorem 2see
Theorem 2.1 below presents an extension of 9, Theorem 2 and a generalization of the
multivalued contraction theorem due to Nadler, Jr. 1. In this paper we obtain a coincidence
theorem Theorem 3.1 for a pair of single-valued and multivalued maps on an arbitrary
2 Fixed Point Theory and Applications
nonempty set with values in a metric space and derive fixed point theorems which generalize
Theorem 2.1 and certain results of Reich 3, Zamfirescu 14,Mot¸andPetrus¸el 12,and
others. Further, using a corollary of Theorem 3.1, we obtain another fixed point theorem for
multivalued maps. We also deduce the existence of a common solution for Suzuki-Zamfirescu
type class of functional equations under much weaker contractive conditions than those in
Bellman 15, Bellman and Lee 16, Bhakta and Mitra 17, Baskaran and Subrahmanyam
18, and Pathak et al. 19.
2. Suzuki-Zamfirescu Hybrid Contraction
For the sake of brevity, we follow the following notations, wherein P and T are maps to be
defined specifically in a particular context while x, and y are the elements of specific domains:
M
P; x, y
d
x, y
,
d
x, Px
d
y, Py
2
,
d
x, Py
d
y, Px
2
,
M
P; Tx,Ty
d
Tx,Ty
,
d
Tx,Px
d
Ty,Py
2
,
d
Tx,Py
d
Ty,Px
2
,
m
P; x, y
d
x, y
,d
x, Px
,d
y, Py
,
d
x, Py
d
y, Px
2
.
2.1
Consistent with Nadler, Jr. 20, page 620, Y will denote an arbitrary nonempty set,
X, d a metric space, and CLXresp. CBX the collection of nonempty closed resp .,
closed and bounded subsets of X. For A, B ∈ CLX and >0,
N
, A
{
x ∈ X : d
x, a
<for some a ∈ A
}
,
E
A,B
{
>0:A ⊆ N
, B
,B⊆ N
, A
}
,
H
A, B
⎧
⎨
⎩
inf E
A,B
, if E
A,B
/
φ
∞, if E
A,B
φ.
2.2
The hyperspace CLX,H is called the generalized Hausdorff metric space induced
by the metric d on X.
For any subsets A, B of X, dA, B denotes the ordinary distance between the subsets
A and B, while
ρ
A, B
sup
{
d
a, b
: a ∈ A, b ∈ B
}
,
BN
X
A : φ
/
A ⊆ X and the diameter of A is finite
.
2.3
As usual, we write dx, Bresp., ρx, B for dA, Bresp., ρA, B when A {x}
.
Fixed Point Theory and Applications 3
In all that follows η is a strictly decreasing function from 0, 1 onto 1/2, 1 defined by
η
r
1
1 r
.
2.4
Recently Kikkawa and Suzuki 10 obtained the following generalization of Nadler, Jr.
1.
Theorem 2.1. Let X, d be a complete metric space and P : X → CBX. Assume that there exists
r ∈ 0, 1 such that
KSC ηrdx, Px ≤ dx, y implies HPx,Py ≤ rdx, y
for all x, y ∈ X. Then P has a fixed point.
For the sake of brevity and proper reference, the assumption (KSC) will be called Kikkawa-
Suzuki multivalued contraction.
Definition 2.2. Maps P : Y → CLX and T : Y → X are said to be Suzuki-Zamfirescu hybrid
contraction if and only if there exists r ∈ 0, 1 such that
S-Z ηrdTx,Px ≤ dTx,Ty implies HPx,Py ≤ r · max MP; Tx,Ty
for all x, y ∈ Y.
A map P : X → CLX satisfying
CG HPx,Py ≤ r · max mP; x, y
for all x, y ∈ X, where 0 ≤ r<1, is called
´
Ciri
´
c-generalized contraction. Indeed,
´
Ciri
´
c 4
showed that a
´
Ciri
´
c generalized contraction has a fixed point in a P-orbitally complete metric
space X.
It may be mentioned that in a comprehensive comparison of 25 contractive conditions
for a single-valued map in a metric space, Rhoades 21 has shown that the conditions CG
and
Z are, respectively, the conditions 21
and 19
when P is a single-valued map, where
Z HPx,Py ≤ r · max MP; x, y for all x, y ∈ X.
Obiviously, Z implies CG. Further, Zamfirescu’s condition 14 is equivalent to Z
when P is single-valued see Rhoades 21, pages 259 and 266.
The following example indicates the importance of the condition S-Z.
Example 2.3. Let X {1, 2, 3} be endowed with the usual metric and let P and T be defined
by
Px
⎧
⎨
⎩
2, 3ifx
/
3,
3ifx 3,
Tx
⎧
⎨
⎩
1ifx
/
1,
3ifx 1.
2.5
4 Fixed Point Theory and Applications
Then P does not satisfy the condition KSC. Indeed, for x 2,y 3,
η
r
d
2,P2
0 ≤ d
2, 3
, 2.6
and this does not imply
1 H
P2,P3
≤ d
2, 3
r. 2.7
Further, as easily seen, P does not satisfy CG for x 2,y 3. However, it can be
verified that the pair P and T satisfies the assumption S-Z.NoticethatP does not satisfy
the condition S-Z when Y X and T is the identity map.
We will need the following definitions as well.
Definition 2.4 see 4
. An orbit for P : X → CLX at x
0
∈ X is a sequence {x
n
: x
n
∈
Px
n−1
},n 1, 2, A space X is called P-orbitally complete if and only if every Cauchy
sequence of the form {x
n
i
: x
n
i
∈ Px
n
i
−1
},i 1, 2, converges in X.
Definition 2.5. Let P : Y → CLX and T : Y → X. If for a point x
0
∈ Y, there exists a
sequence {x
n
} in Y such that Tx
n1
∈ Px
n
,n 0, 1, 2, ,then
O
T
x
0
{
Tx
n
: n 1, 2,
}
2.8
is the orbit for P, T at x
0
. We will use O
T
x
0
as a set and a sequence as the situation
demands. Further, a space X is P, T-orbitally complete if and only if every Cauchy sequence
of the form {Tx
n
i
: Tx
n
i
∈ Px
n
i
−1
} converges in X.
As regards the existence of a sequence {Tx
n
} in the metric space X,thesufficient
condition is that PY ⊆ TY. However, in the absence of this requirement, for some
x
0
∈ Y, a sequence {Tx
n
} may be constructed some times. For instance, in the above example,
the range of P is not contained in the range of T, but we have the sequence {Tx
n
} for
x
0
2,x
1
x
2
··· 1. So we have the following definition.
Definition 2.6. If for a point x
0
∈ Y, there exists a sequence {x
n
} in Y such that the sequence
O
T
x
0
converges in X, then X is called P, T-orbitally complete with respect to x
0
or simply
P, T,x
0
-orbitally complete.
We remark that Definitions 2.5 and 2.6 are essentially due to Rhoades et al. 22 when
Y X. In Definition 2.6,ifY X and T is the identity map on X, the P, T, x
0
-orbital
completeness will be denoted simply by P, x
0
-orbitally complete.
Definition 2.7 23,seealso8.MapsP : X → CLX and T : X → X are IT-commuting at
z ∈ X if TPz ⊆ PTz.
We remark that IT-commuting maps are more general than commuting maps, weakly
commuting maps and weakly compatible maps at a point. Notice that if P is also single-
valued, then their IT-commutativity and commutativity are the same.
Fixed Point Theory and Applications 5
3. Coincidence and Fixed Point Th eorems
Theorem 3.1. Assume that the pair of maps P : Y → CLX and T : Y → X is a Suzuki-
Zamfirescu hybrid contraction such that PY ⊆ TY. If there exists an u
0
∈ Y such that TY is
P, T,u
0
-orbitally complete, then P and T have a coincidence point; that is, t here exists z ∈ Y such
that Tz ∈ Pz.
Further, if Y X, then P and T have a common fixed point provided that P and T are IT-
commuting at z and Tzis a fixed point of T.
Proof. Without any loss of generality, we may take r>0andT a nonconstant map. Let q
r
−1/2
. Pick u
0
∈ Y. We construct two sequences {u
n
}⊆Y and {y
n
Tu
n
}⊆TY in the
following manner. Since PY ⊆ TY , we take an element u
1
∈ Y such that Tu
1
∈ Pu
0
.
Similarly, we choose Tu
2
∈ Pu
1
such that
d
Tu
1
,Tu
2
≤ qH
Pu
0
,Pu
1
. 3.1
If Tu
1
Tu
2
, then Tu
1
∈ Pu
1
and we are done as u
1
is a coincidence point of T and P.
So we take Tu
1
/
Tu
2
. In an analogous manner, choose Tu
3
∈ Pu
2
such that
d
Tu
2
,Tu
3
≤ qH
Pu
1,
Pu
2
. 3.2
If Tu
2
Tu
3
, then Tu
2
∈ Pu
2
and we are done. So we take Tu
2
/
Tu
3
, and
continue the process. Inductively, we construct sequences {u
n
} and {Tu
n
} such that Tu
n2
∈
Pu
n1
,Tu
n1
/
Tu
n2
and
d
Tu
n1
,Tu
n2
≤ qH
Pu
n
,Pu
n1
. 3.3
Now we see that
η
r
d
Tu
n
,Pu
n
≤ η
r
d
Tu
n
,Tu
n1
≤ d
Tu
n
,Tu
n1
. 3.4
Therefore by the condition S-Z,
d
y
n1
,y
n2
≤ qH
Pu
n
,Pu
n1
≤ qr · max
d
Tu
n
,Tu
n1
,
d
Tu
n
,Pu
n
d
Tu
n1
,Pu
n1
2
,
d
Tu
n
,Pu
n1
d
Tu
n1
,Pu
n
2
≤ qr · max
⎧
⎪
⎪
⎨
⎪
⎪
⎩
d
y
n
,y
n1
,
d
y
n
,y
n1
d
y
n1
,y
n2
2
,
1
2
d
y
n
,y
n2
⎫
⎪
⎪
⎬
⎪
⎪
⎭
.
3.5
6 Fixed Point Theory and Applications
This yields
d
y
n1
,y
n2
≤ r
1
d
y
n
,y
n1
, 3.6
where r
1
qr < 1.
Therefore the sequence {y
n
} is Cauchy in TY. Since TY is P, T,u
0
-orbitally
complete, it has a limit in TY. Call it u. Let z ∈ T
−1
u. Then z ∈ Y and u Tz.
Now as in 10, we show that
d
Tz,Px
≤ rd
Tz,Tx
3.7
for any Tx ∈ TY −{Tz}. Since y
n
→ Tz, there exists a positive integer n
0
such that
d
Tz,Tu
n
≤
1
3
d
Tz,Tx
∀n ≥ n
0
.
3.8
Therefore for n ≥ n
0
,
η
r
d
Tu
n
,Pu
n
≤ d
Tu
n
,Pu
n
≤ d
Tu
n
,Tu
n1
≤ d
Tu
n
,Tz
d
Tu
n1,
Tz
≤
2
3
d
Tz,Tx
d
Tz,Tx
−
1
3
d
Tz,Tx
≤ d
Tz,Tx
− d
Tz,Tu
n
≤ d
Tu
n
,Tx
.
3.9
Therefore by the condition S-Z,
d
y
n1
,Px
≤ H
Pu
n
,Px
≤ r · max
d
y
n
,Tx
,
d
y
n
,Pu
n
d
Tx, Px
2
,
d
y
n
,Px
d
Tx,Pu
n
2
≤ r · max
d
y
n
,Tx
,
d
y
n
,y
n1
d
Tx,Px
2
,
d
y
n
,Px
d
Tx,y
n1
2
.
3.10
Making n →∞,
d
Tz,Px
≤ r · max
d
Tz,Tx
,
1
2
d
Tx,Px
,
d
Tz,Px
d
Tx,Tz
2
.
3.11
This yields 3.7; Tx
/
Tz.
Next we show that
H
Px,Pz
≤ r · max
d
Tx,Tz
,
d
Tx,Px
d
Tz,Pz
2
,
d
Tx,Pz
d
Tz,Px
2
3.12
Fixed Point Theory and Applications 7
for any x ∈ Y. If x z, then it holds trivially. So we suppose x
/
z such that Tx
/
Tz. Such a
choice is permissible as T is not a constant map.
Therefore using 3.7,
d
Tx,Px
≤ d
Tx,Tz
d
Tz,Px
≤ d
Tx,Tz
rd
Tx,Tz
.
3.13
Hence
1
1 r
d
Tx,Px
≤ d
Tx,Tz
.
3.14
This implies 3.12,andso
d
y
n1
,Pz
≤ H
Pu
n
,Pz
≤ r · max
d
Tu
n
,Tz
,
d
Tu
n
,Pu
n
d
Tz,Pz
2
,
d
Tu
n
,Pz
d
Tz,Pu
n
2
≤ r · max
d
y
n
,Tz
,
d
y
n
,y
n1
d
Tz,Pz
2
,
d
y
n
,Pz
d
Tz,y
n1
2
.
3.15
Making n →∞,
d
Tz,Pz
≤ rd
Tz,Pz
. 3.16
So Tz ∈ Pz, since Pz is closed.
Further, if Y X, TTz Tz, and P, T are IT-commuting at z, that is, TPz ⊆ PTz, then
Tz ∈ Pz ⇒ TTz ∈ TPz ⊆ PTz, and this proves that Tz is a fixed point of P.
We remark that, in general, a pair of continuous commuting maps at their coincidences
need not have a common fixed point unless T has a fixed point see, e.g., 6–8.
Corollary 3.2. Let P : X → CLX. Assume that there exists r ∈ 0, 1 such that
η
r
d
x, Px
≤ d
x, y
implies H
Px,Py
≤ r · max M
P; x, y
3.17
for all x,y ∈ X. If there exists a u
0
∈ X such that X is P, u
0
-orbitally complete, then P has a fixed
point.
Proof. It comes from Theorem 3.1 when Y X and T is the identity map on X.
The following two results are the extensions of Suzuki 9 , Theorem 2. Corollary 3.3
also generalizes the results of Kikkawa and Suzuki 10, Theorem 3 and Jungck 24.
8 Fixed Point Theory and Applications
Corollary 3.3. Let f, T : Y → X be such that fY ⊆ TY and TY is an f, T-orbitally complete
subspace of X. Assume that there exists r ∈ 0, 1 such that
η
r
d
Tx,fx
≤ d
Tx,Ty
3.18
implies
d
fx,fy
≤ r · max M
f; Tx,Ty
3.19
for all x, y ∈ Y. Then f and T have a coincidence point; t hat is, there exists z ∈ Y such that fz Tz.
Further, if Y X and f and T commute at z, then f
and T have a unique common
fixed point.
Proof. Set Px {fx} for every x ∈ Y. Then it comes from Theorem 3.1 that there exists z ∈ Y
such that fz Tz.Further, if Y X and f, and T commute at z, then ffz fTz Tfz. Also,
ηrdTz,fz0 ≤ dTz,Tfz, and this implies
d
fz,ffz
≤ r · max M
f; Tz,Tfz
rd
fz,ffz
.
3.20
This yields that fz is a common fixed point of f and T. The uniqueness of the common
fixed point follows easily.
Corollary 3.4. Let f : X → X be such that X is f-orbitally complete. Assume that there exists
r ∈ 0, 1 such that
η
r
d
x, fx
≤ d
x, y
implies d
fx,fy
≤ r · max M
f; x, y
3.21
for all x, y ∈ X. Then f has a unique fixed point.
Proof. It comes from Corollary 3.2 that f has a fixed point. The uniqueness of the fixed point
follows easily.
Theorem 3.5. Let P : Y → BNX and T : Y → X be such that PY ⊆ TY and let TY be
P, T-orbitally complete. Assume that there exists r ∈ 0, 1 such that
η
r
ρ
Tx,Px
≤ d
Tx,Ty
3.22
implies
ρ
Px,Py
≤ r · max
d
Tx,Ty
,
ρ
Tx,Px
ρ
Ty,Py
2
,
d
Tx,Py
d
Ty,Px
2
3.23
for all x, y ∈ Y. Then there exists z ∈ Y such that Tz ∈ Pz.
Fixed Point Theory and Applications 9
Proof. Choose λ ∈ 0, 1. Define a single-valued map f : Y → X as follows. For each x ∈ Y,
let fx be a point of Px, which satisfies
d
Tx,fx
≥ r
λ
ρ
Tx,Px
.
3.24
Since fx ∈ Px,dTx,fx ≤ ρTx,Px. So 3.22 gives
η
r
d
Tx,fx
≤ η
r
ρ
Tx,Px
≤ d
Tx,Ty
, 3.25
and this implies 3.23. Therefore
d
fx,fy
≤ ρ
Px,Py
≤ r · r
−λ
· max
r
λ
d
Tx,Ty
,
r
λ
ρ
Tx,Px
r
λ
ρ
Ty,Py
2
,
r
λ
d
Tx,Py
r
λ
d
Ty,Px
2
≤ r
1−λ
· max
d
Tx,Ty
,
d
Tx,fx
d
Ty,fy
2
,
d
Tx,fy
d
Ty,fx
2
.
3.26
This means that Corollary 3.3 applies as
f
Y
∪
fx ∈ Px
⊆ P
Y
⊆ T
Y
. 3.27
Hence f and T have a coincidence at z ∈ Y. Clearly fz Tz implies Tz ∈ Pz.
Now we have the following.
Theorem 3.6. Let P : X → BNX and let X be P-orbitally complete. Assume that there exists
r ∈ 0, 1 such that ηrρx, Px ≤ dx, y implies
ρ
Px,Py
≤ r · max
d
x, y
,
ρ
x, Px
ρ
y, Py
2
,
d
x, Py
d
y, Px
2
3.28
for all x, y ∈ X. Then P has a unique fixed point.
Proof. For λ ∈ 0, 1, define a single-valued map f : X → X as follows. For each x ∈ X, let fx
be a point of Pxsuch that
d
x, fx
≥ r
λ
ρ
x, Px
.
3.29
Now following the proof technique of Theorem 3.5 and using Corollary 3.4,we
conclude that f has a unique fixed point z ∈ X. Clearly z fzimplies that z ∈ Pz.
10 Fixed Point Theory and Applications
Now we close this section with the following.
Question 1. Can we replace Assumption 3.17 in Corollary 3.2 by the following:
η
r
d
x, Px
≤ d
x, y
3.30
implies
H
Px,Py
≤ r · max
d
x, y
,d
x, Px
,d
y, Py
,
1
2
d
x, Py
d
y, Px
3.31
for all x, y ∈ X?
4. Applications
Throughout this section, we assume that U and V are Banach spaces, W ⊆ U, and D ⊆ V. Let
R denote the field of reals, τ : W × D → W, g , g
: W × D → R, and G, F : W × D × R → R.
Viewing W and D as the state and decision spaces respectively, the problem of dynamic
programming reduces to the problem of solving the functional equations:
p : sup
y∈D
g
x, y
G
x, y,p
τ
x, y
,x∈ W, 4.1
q : sup
y∈D
g
x, y
F
x, y,q
τ
x, y
,x∈ W. 4.2
In the multistage process, some functional equations arise in a natural way cf. Bellman
15 and Bellman and Lee 16;seealso17–19, 25. In this section, we study the existence of
the common solution of the f unctional equations 4.1, 4.2 arising in dynamic programming.
Let BW denote the set of all bounded real-valued functions on W. For an arbitrary
h ∈ BW, define h sup
x∈W
|hx|. Then BW, · is a Banach space. Suppose that the
following conditions hold:
DP-1 G, F, g and g
are bounded.
DP-2 Let η be defined as in the previous section. There exists r ∈ 0, 1 such that for every
x, y ∈ W × D, h, k ∈ BW and t ∈ W,
η
r
|
Kh
t
− Jh
t
|
≤
|
Jh
t
− Jk
t
|
4.3
implies
G
x, y,h
t
− G
x, y,k
t
≤ r · max
|
Jh
t
− Jk
t
|
,
|
Jh
t
− Kh
t
|
|
Jk
t
− Kk
t
|
2
,
|
Jh
t
− Kk
t
|
|
Jk
t
− Kh
t
|
2
,
4.4
Fixed Point Theory and Applications 11
where K and J are defined as follows:
Kh
x
sup
y∈D
g
x, y
G
x, y,h
τ
x, y
,x∈ W, h ∈ B
W
,
∗
Jh
x
sup
y∈D
g
x, y
F
x, y,h
τ
x, y
,x∈ W, h ∈ B
W
.
4.5
DP-3 For any h ∈ BW, there exists k ∈ BW such that
Kh
x
Jk
x
,x∈ W. 4.6
DP-4 There exists h ∈ BW such that
Jh
x
Kh
x
implies JKh
x
KJh
x
. 4.7
Theorem 4.1. Assume that the conditions (DP-1)–(DP-4) are satisfied. If JBW is a closed convex
subspace of BW, then the functional equations 4.1 and 4.2 have a unique common bounded
solution.
Proof. Notice that BW,d is a complete metric space, where d is the metric induced by the
supremum norm on BW. By DP-1,J and K are self-maps of BW. The condition DP-
3 implies that KBW ⊆ JBW. It follows from DP-4 that J and K commute at their
coincidence points.
Let λ be an arbitrary positive number and h
1
,h
2
∈ BW. Pick x ∈ W and choose
y
1
,y
2
∈ D such that
Kh
j
<g
x, y
j
G
x, y
j
,h
j
x
j
λ, 4.8
where x
j
τx, y
j
,j 1, 2.
Further,
Kh
1
x
≥ g
x, y
2
G
x, y
2
,h
1
x
2
, 4.9
Kh
2
x
≥ g
x, y
1
G
x, y
1
,h
2
x
1
. 4.10
Therefore, the first inequality in DP-2 becomes
η
r
|
Kh
1
x
− Jh
1
x
|
≤
|
Jh
1
x
− Jh
2
x
|
, 4.11
12 Fixed Point Theory and Applications
and this together with 4.8 and 4.10 implies
Kh
1
x
− Kh
2
x
<G
x, y
1
,h
1
x
1
− G
x, y
1
,h
2
x
1
λ
≤
G
x, y
1
,h
1
x
1
− G
x, y
1
,h
2
x
1
λ
≤ r · max M
K;Jh
1
,Jh
2
λ.
4.12
Similarly, 4.8, 4.9,and4.11 imply
Kh
2
x
− Kh
1
x
≤ r · max M
K;Jh
1
,Jh
2
λ. 4.13
So, from 4.12 and 4.13, we have
|
Kh
1
x
− Kh
2
x
|
≤ r · max M
K;Jh
1
,Jh
2
λ. 4.14
Since the above inequality is true for any x ∈ W, and λ>0 is arbitrary, we find from
4.17 that
η
r
d
Kh
1
,Jh
1
≤ d
Jh
1
,Jh
2
4.15
implies
d
Kh
1
,Kh
2
≤ r · max M
K;Jh
1
,Jh
2
. 4.16
Therefore Corollary 3.3 applies, wherein K and J correspond, respectively, to the maps
f and T, Therefore, K and J have a unique common fixed point h
∗
, that is, h
∗
x is the unique
bounded common solution of the functional equations 4.1 and 4.2.
Corollary 4.2. Suppose that the following conditions hold.
i G and g are bounded.
ii For η defined earlier (cf. (DP-2) above), there exists r ∈ 0, 1 such that for every x, y ∈
W × D, h, k ∈ BW and t ∈ W,
η
r
|
h
t
− Kh
t
|
≤
|
h
t
− k
t
|
4.17
implies
G
x, y,h
t
− G
x, y,k
t
≤ r · max M
K;h
t
,k
t
, 4.18
where K is defined by ∗. Then the functional equation 4.1 possesses a unique bounded
solution in W.
Proof. It comes from Theorem 4.1 when q p, F G, and g g
as the conditions DP-3 and
DP-4 become redundant in the present context.
Fixed Point Theory and Applications 13
Acknowledgments
The authors thank the referees and Professor M. A. Khamsi for their appreciation and
suggestions regarding this work. T his research is supported by the Directorate of Research
Development, Walter Sisulu University.
References
1 S. B. Nadler Jr., “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–
488, 1969.
2 H. Covitz and S. B. Nadler Jr., “Multi-valued contraction mappings in generalized metric spaces,”
Israel Journal of Mathematics, vol. 8, pp. 5–11, 1970.
3 S. Reich, “Fixed points of contractive functions,” Bollettino della Unione Matematica Italiana, vol. 5, pp.
26–42, 1972.
4 L. B.
´
Ciri
´
c, “Fixed points for generalized multi-valued contractions,” Matemati
ˇ
cki Vesnik, vol. 924,
pp. 265–272, 1972.
5 I. A. Rus, Generalized Contractions and Applications, Cluj University Press, Cluj-Napoca, Romania, 2001.
6 S. L. Singh and S. N. Mishra, “Nonlinear hybrid contractions,” Journal of Natural & Physical Sciences,
vol. 5–8, pp. 191–206, 1994.
7 S. A. Naimpally, S. L. Singh, and J. H. M. Whitfield, “Coincidence theorems for hybrid contractions,”
Mathematische Nachrichten, vol. 127, pp. 177–180, 1986.
8 S. L. Singh and S. N. Mishra, “Coincidences and fixed points of nonself hybrid contractions,” Journal
of Mathematical Analysis and Applications, vol. 256, no. 2, pp. 486–497, 2001.
9 T. Suzuki, “A generalized Banach contraction principle that characterizes metric completeness,”
Proceedings of the American Mathematical Society , vol. 136, no. 5, pp. 1861–1869, 2008.
10 M. Kikkawa and T. Suzuki, “Three fixed point theorems for generalized contractions with constants
in complete metric spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 69, no. 9, pp. 2942–
2949, 2008.
11 M. Kikkawa and T. Suzuki, “Some similarity between contractions and Kannan mappings,” Fixed
Point Theory and Applications, vol. 2008, Article ID 649749, 8 pages, 2008.
12 G. Mot¸ and A. Petrus¸el, “Fixed point theory for a new type of contractive multivalued operators,”
Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 9, pp. 3371–3377, 2009.
13 S. Dhompongsa and H. Yingtaweesittikul, “Fixed points for multivalued mappings and the metric
completeness,” Fixed Point Theory and Applications, vol. 2009, Article ID 972395, 15 pages, 2009.
14
T. Zamfirescu, “Fix point theorems in metric spaces,” Archiv der Mathematik, vol. 23, pp. 292–298, 1972.
15 R. Bellman, Methods of Nonliner Analysis. Vol. II, vol. 61 of Mathematics in Science and Engineering,
Academic Press, New York, NY, USA, 1973.
16 R. Bellman and E. S. Lee, “Functional equations in dynamic programming,” Aequationes Mathematicae,
vol. 17, no. 1, pp. 1–18, 1978.
17 P. C. Bhakta and S. Mitra, “Some existence theorems for functional equations arising in dynamic
programming,” Journal of Mathematical Analysis and Applications, vol. 98, no. 2, pp. 348–362, 1984.
18 R. Baskaran and P. V. Subrahmanyam, “A note on the solution of a class of functional equations,”
Applicable Analysis, vol. 22, no. 3-4, pp. 235–241, 1986.
19 H. K. Pathak, Y. J. Cho, S. M. Kang, and B. S. Lee, “Fixed point theorems for compatible mappings of
type P and applications to dynamic programming,” Le Matematiche, vol. 50, no. 1, pp. 15–33, 1995.
20 S. B. Nadler Jr., Hyperspaces of Sets, vol. 4 of Monographs and Textbooks in Pure and Applied Mathematics,
Marcel Dekke, New York, NY, USA, 1978.
21 B. E. Rhoades, “A comparison of various definitions of contractive mappings,” Transactions of the
American Mathematical Society, vol. 226, pp. 257–290, 1977.
22 B. E. Rhoades, S. L. Singh, and C. Kulshrestha, “Coincidence theorems for some multivalued
mappings,” International Journal of Mathematics and Mathematical Sciences, vol. 7, no. 3, pp. 429–434,
1984.
14 Fixed Point Theory and Applications
23 S. Itoh and W. Takahashi, “Single-valued mappings, multivalued mappings and fixed-point
theorems,” Journal of Mathematical Analysis and Applications, vol. 59, no. 3, pp. 514–521, 1977.
24 G. Jungck, “Commuting mappings and fixed points,” The American Mathematical Monthly, vol. 83, no.
4, pp. 261–263, 1976.
25 S. L. Singh and S. N. Mishra, “On a Ljubomir
´
Ciri
´
c fixed point theorem for nonexpansive type maps
with applications,” Indian Journal of Pure and Applied Mathematics, vol. 33, no. 4, pp. 531–542, 2002.