# The Study of Fixed Point Theory for Various Multivalued Non-Self-Maps

Authors: Wei-Shih Du; Erdal Karapınar; Naseer Shahzad
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

The basic motivation of this paper is to extend, generalize, and improve several fundamental results on the existence (and uniqueness) of coincidence points and fixed points for well-known maps in the literature such as Kannan type, Chatterjea type, Mizoguchi-Takahashi type, Berinde-Berinde type, Du type, and other types from the class of self-maps to the class of non-self-maps in the framework of the metric fixed point theory. We establish some fixed/coincidence point theorems for multivalued non-self-maps in the context of complete metric spaces.


---

## Body

## 1. Introduction

During the last few decades, the celebrated Banach contraction principle, also known as the Banach fixed point theorem [1], has become one of the core topics of applied mathematical analysis. As a consequence, a number of generalizations, extensions, and improvement of the praiseworthy Banach contraction principle in various direction have been explored and reported by various authors; see, for example, [2–30] and the references therein. In parallel with the Banach contraction principle, Kannan [5] and Chatterjea [6] created, respectively, different type, fixed point theorems as follows.Theorem 1 (Kannan).
Let(X,d) be a complete metric space, T:X→X is a single-valued map, and γ∈[0,1/2). Assume that
(1)d(Tx,Ty)≤γ[d(x,Tx)+d(y,Ty)]∀x,y∈X.
Then T has a unique fixed point in X.Theorem 2 (Chatterjea).
Let(X,d) be a complete metric space, T:X→X is a single-valued map, and γ∈[0,1/2). Assume that
(2)d(Tx,Ty)≤γ[d(x,Ty)+d(y,Tx)]∀x,y∈X.
Then T has a unique fixed point in X.The characterization of the renowned Banach fixed point theorem in the setting of multivalued maps is one of the most outstanding ideas of research in fixed point theory. The remarkable examples in this trend were given by Nadler [2], Mizoguchi and Takahashi [3], and M. Berinde and V. Berinde [4]. On the other hand, investigation of the existence of a fixed point of non-self-maps under certain condition is an interesting research subject of metric fixed point theory, see, for example, [19–27], and references therein.The following attractive result was reported by M. Berinde and V. Berinde [4] in 2007.Theorem 3 (M. Berinde and V. Berinde).
Let(X,d) be a complete metric space, T:X→𝒞ℬ(X) a multivalued map, φ:[0,∞)→[0,1) an ℳ𝒯-function (i.e., limsups→t+φ(s)<1 for all t∈[0,∞)), and L≥0. Assume that
(3)ℋ(Tx,Ty)≤φ(d(x,y))d(x,y)+Ld(y,Tx)∀x,y∈X.
Then T has a fixed point in X.If we takeL=0 in Theorem 3, then we conclude the remarkable result of Mizoguchi and Takahashi [3] which is a partial answer of problem 9 in [8].Theorem 4 (Mizoguchi and Takahashi).
Let(X,d) be a complete metric space, T:X→𝒞ℬ(X) a multivalued map, and φ:[0,∞)→[0,1) an ℳ𝒯-function. Assume that
(4)ℋ(Tx,Ty)≤φ(d(x,y))d(x,y)∀x,y∈X.
Then T has a fixed point in X.Recently, Du [12] established the following theorem which is an extension of Theorem 3 and hence Theorem 4.Theorem 5 (Du).
Let(X,d) be a complete metric space, T:X→𝒞ℬ(X) a multivalued map, φ:[0,∞)→[0,1) an ℳ𝒯-function and h:X→[0,∞) a function. Assume that
(5)ℋ(Tx,Ty)≤φ(d(x,y))d(x,y)+h(y)d(y,Tx)∀x,y∈X.
Then T has a fixed point in X.The basic objective of this paper is to investigate the existence of coincidence and fixed points of multivalued non-self-maps under the certain conditions in the setting of metric spaces. The presented results generalize, improve, and extend several crucial and notable results that examine the existence of the coincidence/fixed point of well-known maps such as Kannan type, Chatterjea type, Mizoguchi-Takahashi type, Berinde-Berinde type, Du type, and other types in the context of complete metric spaces.


## 2. Preliminaries

Let(X,d) be a metric space. For each x∈X and A⊆X, let d(x,A)=infy∈Ad(x,y). Denote by 𝒩(X) the class of all nonempty subsets of X and 𝒞ℬ(X) the family of all nonempty closed and bounded subsets of X. A function ℋ:𝒞ℬ(X)×𝒞ℬ(X)→[0,∞) defined by
(6)ℋ(A,B)=max{supx∈Bd(x,A),supx∈Ad(x,B)}
is said to be the Hausdorff metric on 𝒞ℬ(X) induced by the metric d on X. It is also known that (𝒞ℬ(X),ℋ) is a complete metric space whenever (X,d) is a complete metric space.LetK be a nonempty subset of X, g:K→X a single-valued map, and T:K→𝒩(X) a multivalued map. A point x in X is a coincidence point of g and T if gx∈Tx. If g=id is the identity map, then x=gx∈Tx and call x a fixed point of T. The set of fixed points of T and the set of coincidence point of g and T are denoted by ℱK(T) and 𝒞𝒪𝒫K(g,T), respectively. In particular, if K≡X, we use ℱ(T) and 𝒞𝒪𝒫(g,T) instead of ℱK(T) and 𝒞𝒪𝒫K(g,T), respectively. Throughout this paper, we denote by ℕ, and ℝ, the set of positive integers and real numbers, respectively.Letf be a real-valued function defined on ℝ. For c∈ℝ, we recall that
(7)limsupx→c+f(x)=infɛ>0supc<x<c+ɛf(x).Definition 6 (see [9–18]).
A functionφ:[0,∞)→[0,1) is said to be an ℳ𝒯-function (or ℛ-function) if limsups→t+φ(s)<1 for all t∈[0,∞).It is evident that ifφ:[0,∞)→[0,1) is a nondecreasing function or a nonincreasing function, then φ is an ℳ𝒯-function. So the set of ℳ𝒯-functions is a rich class. An example which is not an ℳ𝒯-function is given as follows. Let φ:[0,∞)→[0,1) be defined by
(8)φ(t):={sintt,ift∈(0,π2]0,otherwise.
We note that φ is not an ℳ𝒯-function, since limsups→0+φ(s)=1.In what follows that, we recall some characterizations ofℳ𝒯 -functions proved first by Du [12].Theorem 7 (see [12]).
Letφ:[0,∞)→[0,1) be a function. Then the following statements are equivalent.(a)
φis an ℳ𝒯-function.(b)
For eacht∈[0,∞), there exist rt(1)∈[0,1) and ɛt(1)>0 such that φ(s)≤rt(1) for all s∈(t,t+ɛt(1)).(c)
For eacht∈[0,∞), there exist rt(2)∈[0,1) and ɛt(2)>0 such that φ(s)≤rt(2) for all s∈[t,t+ɛt(2)].(d)
For eacht∈[0,∞), there exist rt(3)∈[0,1) and ɛt(3)>0 such that φ(s)≤rt(3) for all s∈(t,t+ɛt(3)].(e)
For eacht∈[0,∞), there exist rt(4)∈[0,1) and ɛt(4)>0 such that φ(s)≤rt(4) for all s∈[t,t+ɛt(4)).(f)
For any nonincreasing sequence{xn}n∈ℕ in [0,∞), one has 0≤supn∈ℕφ(xn)<1.(g)
φ is a function of contractive factor; that is, for any strictly decreasing sequence {xn}n∈ℕ in [0,∞), we have 0≤supn∈ℕφ(xn)<1.


## 3. Existence Theorems of Coincidence Points and Fixed Points for Multivalued Non-Self-Maps of Kannan Type and Chatterjea Type

In this section, we prove the existence of coincidence points and fixed points of multivalued non-self-maps of Kannan type and Chatterjea type. For this purpose, we first established a new intersection theorem of𝒞𝒪𝒫K(g,T) and ℱK(T) for multivalued non-self-maps in complete metric spaces.Theorem 8.
Let(X,d) be a complete metric space, K a nonempty closed subset of X, T:K→𝒞ℬ(X) a multivalued map and g:K→X a continuous self-map. Suppose that(D1)
Tx∩K≠∅ for all x∈K,(D2)
Tx∩K is g-invariant (i.e., g(Tx∩K)⊆Tx∩K) for each x∈K,(D3)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(9)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(gy,Tx∩K)∀x,y∈K.Then𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Proof.
SinceK a nonempty closed subset of X and Xis complete, (K,d) is also a complete metric space. Let x∈K. Put k=γ/(1-γ) and λ=(1+k)/2. So 0≤k<λ<1. Let y∈Tx∩K be arbitrary. Then d(y,Tx∩K))=0. By (D2), we have d(gy,Tx∩K)=0. Hence (9) implies
(10)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+ℋ(Tx,Ty∩K)]∀y∈Tx∩K.
Inequality (10) shows that
(11)d(y,Ty∩K)≤ℋ(Tx,Ty∩K)≤kd(x,Tx∩K)<λd(x,y)∀y∈Tx∩K.
Let x∈K be given. Take x1=x. By (D1), Tx1∩K≠∅. Choose x2∈Tx1∩K. If x2=x1, then x1∈ℱK(T) and hence gx1∈Tx1 from (D2). Hence x1∈𝒞𝒪𝒫K(g,T)∩ℱK(T) and the proof is finished. Otherwise, if x2≠x1, then d(x1,x2)>0. By (11), we have
(12)d(x2,Tx2∩K)<λd(x1,x2),
which implies that there exists x3∈Tx2∩K such that
(13)d(x2,x3)<λd(x1,x2).
Next, by (11) again, there exists x4∈Tx3∩K such that
(14)d(x3,x4)<λd(x2,x3).
By induction, we can obtain a sequence {xn} in K satisfying
(15)xn+1∈Txn∩K,(16)d(xn+1,xn+2)<λd(xn,xn+1).
By (16), we have
(17)d(xn+1,xn+2)<λd(xn,xn+1)<λ2d(xn-1,xn)<⋯<λnd(x1,x2),forn∈ℕ.
Let ρn=(λn-1/(1-λ))d(x1,x2), n∈ℕ. For m, n∈ℕ with m>n, we have
(18)d(xn,xm)≤∑j=nm-1‍d(xj,xj+1)<ρn.
Since 0<λ<1, limn→∞ρn=0 and hence limn→∞sup{d(xn,xm):m>n}=0. This proves that {xn} is a Cauchy sequence in K. By the completeness of K, there exists v∈K such that xn→v as n→∞. By (15) and (D2), we have
(19)gxn+1∈Txn∩Kforeachn∈ℕ.
Since g is continuous and limn→∞xn=v, we have
(20)limn→∞gxn=gv.
Since the function x↦d(x,Tv) is continuous, by (9), (15), (19), and (20), we get
(21)d(v,Tv∩K)=limn→∞d(xn+1,Tv∩K)≤limn→∞ℋ(Txn,Tv∩K)≤limn→∞{γ[d(xn,Txn∩K)+d(v,Txn∩K)+d(v,Tv∩K)]+h(v)d(gv,Txn∩K)}≤limn→∞{γ[d(xn,xn+1)+d(v,xn+1)+d(v,Tv∩K)]+h(v)d(gv,gxn+1)}=γd(v,Tv∩K),
which implies d(v,Tv∩K)=0. By the closedness of Tv, we have v∈Tv∩K. From (D2), gv∈Tv∩K⊆Tv. Hence we verify v∈𝒞𝒪𝒫K(g,T)∩ℱK(T). The proof is complete.Theorem 9.
In Theorem8, if condition (D3) is replaced with one of the following conditions:(K1)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(22)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(gy,Tx)∀x,y∈K,(K2)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(23)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(gy,Tx∩K)∀x,y∈K,(K3)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(24)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(gy,Tx)∀x,y∈K,(K4)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(25)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(gy,Tx∩K)∀x,y∈K,(K5)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(26)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(gy,Tx)∀x,y∈K,(K6)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(27)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(gy,Tx∩K)∀x,y∈K,(K7)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(28)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(gy,Tx)∀x,y∈K.Then𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Proof.
It is obvious that any of these conditions (K1)–(K7) implies condition (D3) as in Theorem8. So the desired conclusion follows from Theorem 8 immediately.The following fixed point theorem for multivalued non-self-maps of generalized Kannan type can be established immediately from Theorem9 for g≡id (the identity mapping).Theorem 10.
Let(X,d) be a complete metric space, K a nonempty closed subset of X, and T:K→𝒞ℬ(X) a multivalued map. Suppose that Tx∩K≠∅ for all x∈K and one of the following conditions holds:(P1)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(29)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(y,Tx∩K)∀x,y∈K,(P2)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(30)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(y,Tx)∀x,y∈K,(P3)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(31)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(y,Tx∩K)∀x,y∈K,(P4)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(32)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(y,Tx)∀x,y∈K,(P5)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(33)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(y,Tx∩K)∀x,y∈K,(P6)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(34)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx∩K)+d(y,Ty∩K)]+h(y)d(y,Tx)∀x,y∈K,(P7)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(35)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(y,Tx∩K)∀x,y∈K,(P8)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(36)ℋ(Tx,Ty∩K)≤γ[d(x,Tx)+d(y,Tx)+d(y,Ty∩K)]+h(y)d(y,Tx)∀x,y∈K.ThenℱK(T)≠∅.As a consequence of Theorem10, we obtain the following generalized Kannan type fixed point theorems for multivalued maps.Corollary 11.
Let(X,d) be a complete metric space, K a nonempty closed subset of X, and T:K→𝒞ℬ(X) a multivalued map. Suppose that Tx∩K≠∅ for all x∈K and there exists γ∈[0,1/2) such that
(37)ℋ(Tx,Ty∩K)≤γ[d(x,Tx∩K)+d(y,Ty∩K)]∀x,y∈K.
Then ℱK(T)≠∅.Remark 12.
(a) IfK=X in Corollary 11, then we can obtain a multivalued version of Kannan’s fixed point theorem [5].
(b) Theorems8–10 and Corollary 11 all extend and generalize Kannan’s fixed point theorem.Theorem 13.
Let(X,d) be a complete metric space, K a nonempty closed subset of X, T:K→𝒞ℬ(X) a multivalued map, and g:K→X a continuous self-map. Suppose that conditions (D1) and (D2) as in Theorem 8 hold. If there exist h:K→[0,∞) and γ∈[0,1/2) such that
(38)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx∩K)]+h(y)d(gy,Tx∩K)∀x,y∈K.
Then 𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Proof.
Letx∈K. Since α∈[0,1/2), by the denseness of ℝ, we can find β>0 such that α<β<1/2. Let y∈Tx∩K be arbitrary. Then d(y,Tx∩K)=0. By (D2), we have d(gy,Tx∩K)=0. Hence (38) has been reduced to
(39)d(y,Ty∩K)≤ℋ(Tx,Ty∩K)≤αd(x,Ty∩K)<βd(x,Ty∩K)∀y∈Tx∩K.
Let x∈K be given. Take x1=x. By (D1), Tx1∩K≠∅. Choose x2∈Tx1∩K. If x2=x1, then x1∈ℱK(T) and hence gx1∈Tx1 from (D2). Hence x1∈𝒞𝒪𝒫K(g,T)∩ℱK(T) and the proof is finished. Otherwise, if x2≠x1, then d(x1,x2)>0. By (39), we have
(40)d(x2,Tx2∩K)<βd(x1,Tx2∩K),
which implies that there exists x3∈Tx2∩K such that
(41)d(x2,x3)<βd(x1,Tx2∩K)≤βd(x1,x3)≤β[d(x1,x2)+d(x2,x3)].
Let γ=β/(1-β). Then γ∈(0,1) and the last inequality implies
(42)d(x2,x3)<γd(x1,x2).
Continuing in this way, we can construct inductively a sequence {xn}n∈ℕ in K satisfying
(43)xn+1∈Txn∩K,d(xn+1,xn+2)<γd(xn,xn+1)
for each n∈ℕ. Using a similar argument as in the proof of Theorem 8, we have the following:(i)
xn+1∈Txn∩K;(ii)
{xn} is a Cauchy sequence in K;(iii)
there existsv∈K such that xn→v as n→∞;(iv)
gxn+1∈Txn∩K for each n∈ℕ;(v)
limn→∞gxn=gv.
By (38), we get
(44)d(v,Tv∩K)=limn→∞d(xn+1,Tv∩K)≤limn→∞ℋ(Txn,Tv∩K)≤limn→∞{α[d(xn,Tv∩K)+d(v,Txn∩K)]+h(v)d(gv,Txn∩K)}≤limn→∞{α[d(xn,Tv∩K)+d(v,xn+1)]+h(v)d(gv,gxn+1)}=αd(v,Tv∩K),
which implies d(v,Tv∩K)=0. By the closedness of Tv, we have v∈Tv∩K. By (D2), gv∈Tv∩K⊆Tv and hence v∈𝒞𝒪𝒫K(g,T)∩ℱK(T). The proof is complete.Theorem 14.
In Theorem13, if inequality (38) is replaced with one of the following inequalities:(C1)
(45)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx∩K)]+h(y)d(gy,Tx)∀x,y∈K,(C2)
(46)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx∩K)]+h(y)d(gy,Tx∩K)∀x,y∈K,(C3)
(47)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx∩K)]+h(y)d(gy,Tx)∀x,y∈K,(C4)
(48)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx)]+h(y)d(gy,Tx∩K)∀x,y∈K,(C5)
(49)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx)]+h(y)d(gy,Tx)∀x,y∈K,(C6)
(50)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx)]+h(y)d(gy,Tx∩K)∀x,y∈K,(C7)
(51)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx)]+h(y)d(gy,Tx)∀x,y∈K,
then 𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Applying Theorem14, we can prove the following fixed point theorems for multivalued maps of generalized Chatterjea type.Theorem 15.
Let(X,d) a complete metric space, K a nonempty closed subset of X, and T:K→𝒞ℬ(X) a multivalued map. Suppose that Tx∩K≠∅ for all x∈K and one of the following conditions holds:(Q1)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(52)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx∩K)]+h(y)d(y,Tx∩K)∀x,y∈K,(Q2)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(53)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx∩K)]+h(y)d(y,Tx)∀x,y∈K,(Q3)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(54)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx∩K)]+h(y)d(y,Tx∩K)∀x,y∈K,(Q4)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(55)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx∩K)]+h(y)d(y,Tx)∀x,y∈K,(Q5)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(56)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx)]+h(y)d(y,Tx∩K)∀x,y∈K,(Q6)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(57)ℋ(Tx,Ty∩K)≤α[d(x,Ty∩K)+d(y,Tx)]+h(y)d(y,Tx)∀x,y∈K,(Q7)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(58)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx)]+h(y)d(y,Tx∩K)∀x,y∈K,(Q8)
there exist a functionh:K→[0,∞) and γ∈[0,1/2) such that
(59)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx)]+h(y)d(y,Tx)∀x,y∈K.ThenℱK(T)≠∅.The following result is a generalized Chatterjea’s type fixed point theorem for multivalued maps in complete metric spaces.Corollary 16.
Let(X,d) be a complete metric space, K a nonempty closed subset of X, and T:K→ℬ𝒞(X) a multivalued map. Suppose that Tx∩K≠∅ for all x∈K and there exists γ∈[0,1/2) such that
(60)ℋ(Tx,Ty∩K)≤α[d(x,Ty)+d(y,Tx)]∀x,y∈X.
Then ℱK(T)≠∅.Remark 17.
(a) IfK=X in Corollary 16, then we can obtain a multivalued version of Chatterjea’s fixed point theorem [6].
(b) Theorems13–15 and Corollary 16 all improve and generalize Chatterjea’s fixed point theorem.


## 4. New Coincidence and Fixed Point Results for Various Multivalued Non-Self-Maps: Mizoguchi-Takahashi Type, Berinde-Berinde Type, and Du Type

In this section, we prove some coincidence and fixed point theorems for multivalued non-self-maps of Mizoguchi-Takahashi type, Berinde-Berinde type, and Du type.Recall first the following auxiliary result.Lemma 18 (see [9, Lemma 2.1]).
Letφ:[0,∞)→[0,1) be an ℳ𝒯-function. Suppose that κ:[0,∞)→[0,1) is defined by κ(t)=(1+φ(t))/2. Then, κ is also an ℳ𝒯-function.Theorem 19.
Let(X,d) be a complete metric space, K a nonempty closed subset of X, T:K→ℬ𝒞(X) a multivalued map, and g:K→X be a continuous self-map. Suppose that conditions (D1) and (D2) as in Theorem 8 hold. If there exist an ℳ𝒯-function φ:[0,∞)→[0,1) and a function h:K→[0,∞) such that
(61)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+h(y)d(gy,Tx∩K)∀x,y∈K,
then 𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Proof.
SinceK is a nonempty closed subset of X and Xis complete, (K,d) is also a complete metric space. Note first that for each x∈K, by (D2), we have d(gy,Tx∩K)=0 for all y∈Tx∩K. So, for each x∈K, by (61), we obtain
(62)d(y,Ty∩K)≤φ(d(x,y))d(x,y)∀y∈Tx∩K.
Define κ:[0,∞)→[0,1) by κ(t)=(1+φ(t))/2. Then, by Lemma 18, κ is also an ℳ𝒯-function. Let x∈K be given. Take x1=x. Since Tx1∩K≠∅ from (D1), we can choose x2∈Tx1∩K. If x2=x1, then x1∈ℱK(T) and hence gx1∈Tx1 from (D2). Thus, x1∈𝒞𝒪𝒫K(g,T)∩ℱK(T) and hence we achieved the result. Now, suppose that x2≠x1; that is, d(x1,x2)>0. By (62), we have
(63)d(x2,Tx2∩K)≤φ(d(x1,x2))d(x1,x2)<κ(d(x1,x2))d(x1,x2),
which implies that there exists x3∈Tx2∩K such that
(64)d(x2,x3)<κ(d(x1,x2))d(x1,x2).
Next, by (62) again, there exists x4∈Tx3∩K such that
(65)d(x3,x4)<κ(d(x2,x3))d(x2,x3).
Iteratively, we can obtain a sequences {xn} in K satisfying
(66)xn+1∈Txn∩K,(67)d(xn+1,xn+2)<κ(d(xn,xn+1))d(xn,xn+1)
for each n∈ℕ. Since κ(t)<1 for all t∈[0,∞), by (ii), we know that {d(xn,xn+1)} is strictly decreasing in [0,∞). Since κ is an ℳ𝒯-function, by (g) of Theorem 7, we obtain
(68)0<d(x1,x2)≤supn∈ℕκ(d(xn,xn+1))<1.
Let γ:=supn∈ℕκ(d(xn,xn+1)). So γ∈(0,1). By (67), we have
(69)d(xn+1,xn+2)<κ(d(xn,xn+1))d(xn,xn+1)≤γd(xn,xn+1)<γ2d(xn-1,xn)<⋯<γnd(x1,x2),forn∈ℕ.
Let αn=(γn-1/(1-γ))d(x1,x2), n∈ℕ. For m, n∈ℕ with m>n, we have
(70)d(xn,xm)≤∑j=nm-1‍d(xj,xj+1)<αn.
Since 0<γ<1, limn→∞αn=0 and hence limn→∞sup{d(xn,xm):m>n}=0. This proves that {xn} is a Cauchy sequence in K. By the completeness of K, there exists v∈K such that xn→v as n→∞. Thanks to (66) and (D2), we have
(71)gxn+1∈Txn∩Kforeachn∈ℕ.
Since g is continuous and limn→∞xn=v, we have
(72)limn→∞gxn=gv.
Since the function x↦d(x,Tv) is continuous, by (61), (66), and (72), we get
(73)d(v,Tv∩K)=limn→∞d(xn+1,Tv∩K)≤limn→∞ℋ(Txn,Tv∩K)≤limn→∞{φ(d(xn,v))d(xn,v)+h(v)d(gv,gxn+1)}=0,
which implies d(v,Tv∩K)=0. By the closedness of Tv, we have v∈Tv∩K. By (D2), gv∈Tv∩K⊆Tv and hence v∈𝒞𝒪𝒫K(g,T)∩ℱK(T). The proof is complete.Theorem 20.
In Theorem19, if inequality (61) is replaced with the following inequality:
(74)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+h(y)d(gy,Tx)∀x,y∈K.
Then 𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Corollary 21.
Let(X,d) be a complete convex metric space, K a nonempty closed subset of X, T:K→ℬ𝒞(X) a multivalued map, and g:K→X a continuous self-map. Suppose that(i)
Tx∩K≠∅ for all x∈K,(ii)
Tx∩K is g-invariant (i.e., g(Tx∩K)⊆Tx∩K) for each x∈K,(iii)
there exist anℳ𝒯-function φ:[0,∞)→[0,1) and L≥0 such that
(75)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+Ld(gy,Tx∩K)∀x,y∈K.Then𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.Corollary 22.
Let(X,d) be a complete convex metric space, K a nonempty closed subset of X, T:K→ℬ𝒞(X) a multivalued map, and g:K→X a continuous self-map. Suppose that(i)
Tx∩K≠∅ for all x∈K,(ii)
Tx∩K is g-invariant (i.e. g(Tx∩K)⊆Tx∩K) for each x∈K,(ii)
there exist anℳ𝒯-function φ:[0,∞)→[0,1) and L≥0 such that
(76)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+Ld(gy,Tx)∀x,y∈K.Then𝒞𝒪𝒫K(g,T)∩ℱK(T)≠∅.As a direct consequence of Theorems19 and 20, we obtain the following fixed point result for multivalued non-self-maps of Du type in complete metric spaces.Theorem 23.
Let(X,d) be a complete convex metric space, K a nonempty closed subset of X, and T:K→ℬ𝒞(X) a multivalued map. Suppose that Tx∩K≠∅ for all x∈K, and one of the following conditions holds:(W1)
there exist anℳ𝒯-function φ:[0,∞)→[0,1) and a function h:K→[0,∞) such that
(77)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+h(y)d(y,Tx∩K)∀x,y∈K,(W2)
there exist anℳ𝒯-function φ:[0,∞)→[0,1) and a function h:K→[0,∞) such that
(78)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+h(y)d(y,Tx)∀x,y∈K.ThenℱK(T)≠∅.Proof.
Letg=id be the identity map. It is easy to verify that all the conditions of Theorem 19 (or Theorem 20) are satisfied. Hence the conclusion follows from Theorem 19 (or Theorem 20).The following fixed point theorems for multivalued non-self-maps of generalized Berinde-Berinde type and generalized Mizoguchi-Takahashi type are established immediately from Theorem23.Corollary 24.
Let(X,d) be a complete convex metric space, K a nonempty closed subset of X, and T:K→ℬ𝒞(X) a multivalued map. Suppose that(i)
Tx∩K≠∅ for all x∈K,(ii)
there exist anℳ𝒯-function φ:[0,∞)→[0,1) and L≥0 such that
(79)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+Ld(y,Tx∩K)∀x,y∈K.ThenℱK(T)≠∅.Corollary 25.
Let(X,d) be a complete convex metric space, K a nonempty closed subset of X, and T:K→ℬ𝒞(X) a multivalued map. Suppose that(i)
Tx∩K≠∅ for all x∈K,(ii)
there exist anℳ𝒯-function φ:[0,∞)→[0,1) and L≥0 such that
(80)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)+Ld(y,Tx)∀x,y∈K.ThenℱK(T)≠∅.Corollary 26.
Let(X,d) be a complete convex metric space, K a nonempty closed subset of X, and T:K→ℬ𝒞(X) a multivalued map. Suppose that(i)
Tx∩K≠∅ for all x∈K,(ii)
there exists anℳ𝒯-function φ:[0,∞)→[0,1) such that
(81)ℋ(Tx,Ty∩K)≤φ(d(x,y))d(x,y)∀x,y∈K.ThenℱK(T)≠∅.Remark 27.
(a) IfK=X in Theorem 23, then we can obtain Du’s fixed point theorem [12, Theorem 2.6].
(b) Theorems19, 20 and 23, and Corollaries 21–26 all generalize and improve Du’s fixed point theorem, Berinde-Berinde’s fixed point theorem, Mizoguchi-Takahashi’s fixed point theorem, Nadler’s fixed point theorem, and Banach’s contraction principle.



---

*Source: 938724-2013-08-24.xml*