# On Caristi Type Maps and Generalized Distances with Applications

Authors: Wei-Shih Du
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

We prove some new existence theorems of fixed points for Caristi type maps
and some suitable generalized distances without lower semicontinuity assumptions on dominated
functions. As applications of our results, some new fixed point theorems and new generalizations of
the Banach contraction principle are given.


---

## Body

## 1. Introduction

In 1972, Caristi proved the following famous fixed point theorem.Theorem 1 (Caristi [1]).
Let(X,d) be a complete metric space and f:X→ℝ a lower semicontinuous and bounded below function. Suppose that T is a Caristi type map on X dominated by f; that is, T satisfies
(1)d(x,Tx)≤f(x)-f(Tx)foreachx∈X.
Then T has a fixed point in X.It is well-known that the Caristi’s fixed point theorem is one of the most valuable generalization of the Banach contraction principle [2], and it is equivalent to the Ekeland’s variational principle, to the Takahashi’s nonconvex minimization theorem, to the Daneš’ drop theorem, to the petal theorem, and to the Oettli-Théra’s theorem; see [3–26] and references therein for more details. A number of generalizations in various different directions of the Caristi’s fixed point theorem have been investigated by several authors; see, for example, [4–30] and references therein. An interesting direction of research is the extension of Caristi’s fixed point theorem, Ekeland’s variational principle, and Takahashi’s nonconvex minimization theorem to generalized distances, for example, w-distances [5, 10, 14, 19], τ-distances [11, 12, 22], τ-functions [13, 15, 18, 22–25, 31–36], weak τ-functions [24, 25], P-distances [26], Q-functions [21], generalized pseudodistances [22, 23], and others. For more details on these generalizations, one can refer to [5, 10–26] and references therein.Let us recall how we can exploit Caristi’s fixed point theorem to prove the Banach contraction principle. A selfmapT on a metric space (X,d) is called contractive or Banach type if there exists a real number λ∈[0,1) such that
(2)d(Tx,Ty)≤λd(x,y)foranyx,y∈X.
It is obvious that if T is a contractive map on X, then T is continuous on X and (2) will deduce the following inequality:
(3)d(x,Tx)≤11-λd(x,Tx)-11-λd(Tx,T2x)foranyx∈X.
The inequality (3) admits that T is a Caristi type map on X dominated by f defined by f(x):=(1/(1-λ))d(x,Tx). From the continuity of T, the function f is continuous on X, and therefore the Caristi’s fixed point theorem is applicable to prove the Banach contraction principle. It is quite obvious that for any map T and any generalized distances p, the function x↦p(x,Tx) is not necessarily to be continuous even lower semicontinuous, so such well-known generalized versions of Caristi’s fixed point theorem with lower semicontinuity are not easily applicable to any generalized version of Banach contraction principle for generalized distances. Motivated by the reason, in the recently paper [20], the author established some new versions of Caristi type fixed point theorem such that they can be applicable to prove generalized versions of Banach contraction principle for suitable generalized distances.This work can be considered as a continuation of the paper [20]. In this paper, we first establish some new fixed point theorems for Caristi type maps and some suitable generalized distances without assuming that the dominated functions possess lower semicontinuity property. As applications of our results, some new fixed point theorems and new generalizations of the Banach contraction principle are given. We have already succeeded in utilizing our new versions of Caristi type fixed point theorem to deal with the existence results for any map T satisfying
(4)d(Tx,Ty)≤α(d(x,y))d(x,y)∀x,y∈X,
where α:[0,+∞)→[0,1) is a function satisfying limsups→t+α(s)<1 for all t∈[0,+∞).


## 2. Preliminaries

We recall in this section the notations, definitions, and results needed. Let(X,d) be a metric space. An extended real valued function ϕ:X→(-∞,+∞] is said to be lower semicontinuous (l.s.c., for short) at w∈X if for any sequence {xn} in X with xn→w as n→∞, we have ϕ(w)≤liminfn→∞ϕ(xn). The function ϕ is called to be l.s.c. on X if ϕ is l.s.c. at every point of X. The function ϕ is said to be proper if ϕ≢+∞. Let T:X→X be a selfmap. T is said to be closed if GrT={(x,y)∈X×X:y=Tx}, the graph of T, is closed in X×X. A point v in X is a fixed point of T if Tv=v. The set of fixed points of T is denoted by ℱ(T). Throughout this paper we denote by ℕ and ℝ, the set of positive integers and nonnegative real numbers, respectively.Recall that a functionp:X×X→[0,+∞) is called a w-distance [5, 10–20, 31], first introduced and defined by Kada, Suzuki, and Takahashi, if the following are satisfied:(w1)
p(x,z)≤p(x,y)+p(y,z) for any x,y,z∈X;(w2)
for anyx∈X, p(x,·):X→[0,+∞) is l.s.c.;(w3)
for anyε>0, there exists δ>0 such that p(z,x)≤δ and p(z,y)≤δ imply d(x,y)≤ε.A functionp:X×X→[0,+∞) is said to be a τ-function [13, 15, 18, 22–25, 31–36], first introduced and studied by Lin and Du, if the following conditions hold:(τ1)
p(x,z)≤p(x,y)+p(y,z) for all x,y,z∈X;(τ2)
ifx∈X and {yn} in X with limn→∞yn=y such that p(x,yn)≤M for some M=M(x)>0, then p(x,y)≤M;(τ3)
for any sequence{xn} in X with limn→∞sup{p(xn,xm):m>n}=0, if there exists a sequence {yn} in X such that limn→∞p(xn,yn)=0, then limn→∞d(xn,yn)=0;(τ4)
forx,y,z∈X, p(x,y)=0 and p(x,z)=0 imply y=z.Note that not either of the implicationsp(x,y)=0⇔x=y necessarily holds and p is nonsymmetric in general. It is well known that the metric d is a w-distance and any w-distance is a τ-function, but the converse is not true; see [13, 31] for more detail.Example 2 (see [31, Example  A]).
LetX=ℝ with the metric d(x,y)=|x-y| for x,y∈X, and 0<a<b. Define the function p:X×X→[0,+∞) by
(5)p(x,y)=max{a(y-x),b(x-y)}.
Then p is a τ-function.The following result is crucial in this paper.Theorem 3 (see [18, Lemma 2.1]).
Let(X,d) be a metric space and p:X×X→[0,+∞) a function. Assume that p satisfies the condition (τ3). If a sequence {xn} in X with limn→∞sup{p(xn,xm):m>n}=0, then {xn} is a Cauchy sequence in X.Recently, the concepts of weakτ-function and generalized pseudodistance were introduced and studied by Khanh and Quy [24, 25] and Włodarczyk and Plebaniak [22] as follows.Definition 4.
Let(X,d) be a metric space. A function p:X×X→[0,+∞) is called(i)
a weakτ-function [24, 25] on X if conditions (τ1), (τ3), and (τ4) hold;(ii)
a generalized pseudodistance [22] on X if conditions (τ1) and (τ3) hold.It is obvious that anyτ-function is a weak τ-function and every weak τ-function is a generalized pseudodistance, but the converse parts are not always true. The first observation is that there exists a weak τ-function which is not a τ-function.Example 5 (see [24, Example  2.5]).
LetX=[0,+∞), γ>0, and p:X×X→[0,+∞) be defined by
(6)p(x,y)={|x-y|+γ,ifx≠y,32γ,ifx=y.
Then p is a weak τ-function which is neither a τ-function nor a w-distance.The following example shows that there exists a generalized pseudodistance which is not a weakτ-function.Example 6 (see [22, Example  1.3]).
Define a functionp:[0,2]×[0,2]→[0,+∞) by
(7)p(x,y)={0,ifx-y=-2;|x-y|,if-2<x-y≤0;x-y+2,if0<x-y≤2.
Then p is a generalized pseudodistance but not a weak τ-function.Very recently, the author first introduced the following concepts.Definition 7 (see [20]).
Let(X,d) be a metric space, and let f:X→ℝ, φ:ℝ→(0,+∞), and p:X×X→[0,+∞) be functions. A single-valued selfmap T:X→X is called(i)
Caristi type onX dominated by p, φ, and f (abbreviated as (p,φ,f)-Caristi type on X) if
(8)p(x,Tx)≤φ(f(x))(f(x)-f(Tx))foreachx∈X;(ii)
Caristi type onX dominated by p and f (abbreviated as (p,f)-Caristi type on X) if
(9)p(x,Tx)≤f(x)-f(Tx)foreachx∈X;(iii)
Caristi type onX dominated by φ and f (abbreviated as (φ,f)-Caristitype on X) if
(10)d(x,Tx)≤φ(f(x))(f(x)-f(Tx))foreachx∈X;(iv)
Caristi type onX dominated by f (abbreviated as (f)-Caristi type on X) if
(11)d(x,Tx)≤f(x)-f(Tx)foreachx∈X.Clearly, ifT is (p,f)-Caristi type (resp. (f)-Caristi type) on X, then T is (p,φ,f)-Caristi type (resp. (φ,f)-Caristi type) on X with φ(t)=1 for all t. The following example illustrates that their converse are not always true.Example 8.
LetX=[0,+∞) with the usual metric d(x,y)=|x-y|. Then (X,d) is a complete metric space. Let p:X×X→[0,+∞) be defined by
(12)p(x,y)=max{20(x-y),40(y-x)},
for all x, y∈X. By Example 2, we know that p is a τ-function. Let T:X→X be defined by Tx=x2, x∈X. Define f:X→ℝ by
(13)f(x)={4x-12,ifx∈[0,1)15-8x,ifx∈[1,+∞).
Then f is not lower semicontinuous at x=1. For i=1,2, let φi:ℝ→(0,+∞) be defined by
(14)φ1(t)=2,φ2(t)=6∀t∈ℝ,
respectively. For x∈[0,1), we have
(15)d(x,Tx)=x-x2<4(x-x2)=f(x)-f(Tx),p(x,Tx)=max{20(x-Tx),40(Tx-x)}=20(x-x2)<φ2(f(x))(f(x)-f(Tx)).
For x∈[1,+∞), we have
(16)d(x,Tx)=x2-x<8(x2-x)=f(x)-f(Tx),p(x,Tx)=40(x2-x)<φ2(f(x))(f(x)-f(Tx)).
Hence, for any x∈X, we show
(17)d(x,Tx)≤f(x)-f(Tx)≤φi(f(x))(f(x)-f(Tx))foreachi∈{1,2},p(x,Tx)≤φ2(f(x))(f(x)-f(Tx)).
So, T is (f)-Caristi type on X as well as (φi,f)-Caristi type on X for all i∈{1,2}. Moreover, we know that T is (p,φ2,f)-Caristi type on X, but it is neither (p,f)-Caristi type nor (p,φ1,f)-Caristi type on X based on the following fact
(18)p(x,Tx)>φ1(f(x))(f(x)-f(Tx))>f(x)-f(Tx)∀x∈X.Definition 9 (see [31–36]).
A functionα:[0,+∞)→[0,1) is said to be an ℳ𝒯-function (or ℛ-function) if limsups→t+α(s)<1 for all t∈[0,+∞).It is obvious 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. But it is worth to mention that there exist functions which are not ℳ𝒯-functions.Example 10 (see [32]).
Letα:[0,+∞)→[0,1) be defined by
(19)α(t)≔{sintt,ift∈(0,π2]0,otherwise.
Since limsups→0+α(s)=1,φ is not an ℳ𝒯-function.Recently, Du [32] first proved the following characterizations of ℳ𝒯-functions.Theorem 11 (see [32]).
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,+∞), one has 0≤supn∈ℕα(xn)<1.


## 3. New Results for Caristi Type Maps and Their Applications

We start with the following useful auxiliary result.Theorem 12.
Let(X,d) be a metric space, f:X→(-∞,+∞] a proper and bounded below function, φ:ℝ→(0,+∞) a nondecreasing function, p:X×X→[0,∞) a function, and T:X→X a selfmap on X. Let u∈X with f(u)<+∞. Define x1=u and xn+1=Txn for each n∈ℕ. If p satisfies (τ1) and T is (p,φ,f)-Caristi type on X, then
(20)limn→∞sup{p(xn,xm):m>n}=0.
Moreover, if we futher assume that p satisfies (τ3), then {xn}n∈ℕ is a Cauchy sequence in X.Proof.
Forx1=u, f(x1)<+∞. Since T is (p,φ,f)-Caristi type on X, we get
(21)p(x1,x2)=p(x1,Tx1)≤φ(f(x1))(f(x1)-f(Tx1))=φ(f(x1))(f(x1)-f(x2)),
which implies
(22)f(x2)≤f(x1)<+∞.
Similarly, we have
(23)p(x2,x3)=p(x2,Tx2)≤φ(f(x2))(f(x2)-f(x3)),f(x3)≤f(x2)≤f(x1)<+∞.
Hence, by induction, we can obtain the following inequalities
(24)p(xn,xn+1)≤φ(f(xn))(f(xn)-f(xn+1)),(25)f(xn+1)≤f(xn)<+∞foreachn∈ℕ.
Since f is bounded below,
(26)r≔limn→∞f(xn)=infn∈ℕf(xn)exists.
By (25), since φ is nondecreasing, we have
(27)φ(f(xn))≤φ(f(x1))∀n∈ℕ.
For m>n with m,n∈ℕ, taking into account (τ1), (24), (26), and (27), we get
(28)p(xn,xm)≤∑j=nm-1p(xj,xj+1)≤φ(f(x1))(f(xn)-r).
Let αn=φ(f(x1))(f(xn)-r), n∈ℕ. Then sup{p(xn,xm):m>n}≤αn for each n∈ℕ. Since limn→∞f(xn)=r, we obtain limn→∞αn=0, and hence limn→∞sup{p(xn,xm):m>n}=0. Moreover, if p satisfies (τ3), then the desired conclusion follows from Theorem 3 immediately. The proof is completed.Applying Theorem12, we prove a new fixed point theorem for Caristi type maps and generalized pseudodistances. It is worth to mention that in Theorem 13 we pose some suitable assumptions on the map T without assuming that the dominated functions possess lower semicontinuity property.Theorem 13.
Let(X,d) be a complete metric space, f:X→(-∞,+∞] a proper and bounded below function, φ:ℝ→(0,+∞) a nondecreasing function, and p a generalized pseudodistance on X. Suppose that T:X→X is a (p,φ,f)-Caristi type selfmap on X and one of the following conditions is satisfied:(H1)
T is continuous;(H2)
T is closed;(H3)
p(x,y)=0 implies x=y for all x,y∈X and the map g:X→[0,∞) defined by g(x)=p(x,Tx) is l.s.c.;(H4)
the maph:X→[0,∞) defined by h(x)=d(x,Tx) is l.s.c.;(H5)
for any sequence{zn} in X with zn+1=Tzn, n∈ℕ and limn→∞zn=a, we have limn→∞p(zn,Ta)=0.ThenT admits a fixed point in X. Moreover, for any w∈X with f(w)<+∞, the sequence {Tnw}n∈ℕ converges to a fixed point of T.Proof.
LetS={x∈X:f(x)<+∞}. Since f is proper, S≠∅. Let w∈S. Define x1=w and xn+1=Txn=Tnw for each n∈ℕ. Since p is a generalized pseudodistance on X, by applying Theorem 12, we know that {xn}n∈ℕ is a Cauchy sequence in X and
(29)limn→∞sup{p(xn,xm):m>n}=0.
The last equality implies
(30)limn→∞p(xn,xn+1)=0.
By the completeness of X, there exists vw∈X such that xn→vw as n→∞.
Now, we verifyvw∈ℱ(T). If (H1) holds, since T is continuous on X, xn+1=Txn for each n∈ℕ and xn→vw as n→∞, we get
(31)vw=limn→∞xn=limn→∞xn+1=limn→∞Txn=T(limn→∞xn)=Tvw,
which means vw∈ℱ(T). If (H2) holds, since T is closed, xn+1=Txn for each n∈ℕ and xn→vw as n→∞, we have Tvw=vw. Suppose that (H3) holds. By the lower semicontinuity of g, xn→vw as n→∞ and (30), we obtain
(32)p(vw,Tvw)=g(vw)≤liminfn→∞g(xn)=limn→∞p(xn,xn+1)=0,
which implies p(vw,Tvw)=0. By the hypothesis in (H3), we get vw∈ℱ(T). Suppose that (H4) holds. Since {xn}n∈ℕ is convergent in X,
(33)limn→∞d(xn,xn+1)=0.
Since
(34)d(vw,Tvw)=h(vw)≤liminfn→∞d(xn,xn+1)=0,
we obtain d(vw,Tvw)=0, and hence vw∈ℱ(T). Finally, assume (H5) holds. Since limn→∞sup{p(xn,xm):m>n}=0 and limn→∞p(xn,Tvw)=0, there exists {an}⊂{xn} with limn→∞sup{p(an,am):m>n}=0 and bn=Tvw for all n∈ℕ, such that limn→∞p(an,bn)=0. By (τ3), limn→∞d(an,bn)=0. Since an→vw as n→∞ and d(bn,vw)≤d(bn,an)+d(an,vw), we get bn→vw as n→∞. So Tvw=vw or vw∈ℱ(T). Therefore, in any case, we prove vw∈ℱ(T). Since w∈S is arbitrary, the sequence {Tnw}n∈ℕ converges to a fixed point vw of T. This completes the proof.Here, we give an example illustrating Theorem13. This example also gives a negative answer to the uniqueness of fixed point.Example 14.
LetX=[0,1] with the usual metric d(x,y)=|x-y|. Then (X,d) is a complete metric space. Define p:X×X→[0,+∞) by
(35)p(x,y)=max{2(x-y),3(y-x)},
for all x, y∈X. Then p is a generalized pseudodistance on X. Let f:X→ℝ and φ:ℝ→(0,+∞) be defined by
(36)f(x)={13x-25,ifx∈[0,12)12x-3,ifx∈[12,1],φ(t)=10∀t∈ℝ,
respectively. So f(x)<+∞ for all x∈X. Note that f is not lower semicontinuous at x=1/2, so f is not lower semicontinuous on X. Since f(x)≥-25 for all x∈X, f is a bounded below function on X. Let T:X→X be defined by
(37)Tx=x2∀x∈X.
Then T is continuous on X and ℱ(T)={0,1}. It is also easy to see that T is closed and the map x↦d(x,Tx) is l.s.c. Hence (H1), (H2), and (H4) as in Theorem 13 hold. We deduce that for any x∈X,
(38)p(x,Tx)=max{2(x-Tx),3(Tx-x)}=2(x-x2)<φ(f(x))(f(x)-f(Tx)),
so T is (p,φ,f)-Caristi type on X. Let w∈X. Since
(39)limn→∞Tnw=limn→∞w2n={0,ifw∈[0,1),1,ifw=1,
we know that {Tnw}n∈ℕ converges and the limit of {Tnw}n∈ℕ belongs to ℱ(T)={0,1}. On the other hand, since all the assumptions of Theorem 13 are satisfied, by applying Theorem 13, we also prove that T has a fixed point in X and for any w∈X, the sequence {Tnw}n∈ℕ converges to a fixed point of T. It is worth noticing that any well-known generalized version of Caristi’s fixed point theorem is not applicable here.The following conclusions are immediate from Theorem13.Corollary 15.
Let(X,d) be a complete metric space, f:X→(-∞,+∞] a proper and bounded below function, and p a generalized pseudodistance on X. Suppose that T:X→X is a (p,f)-Caristi type selfmap on X and one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem 13 holds. Then T admits a fixed point in X. Moreover, for any w∈X with f(w)<+∞, the sequence {Tnw}n∈ℕ converges to a fixed point of  T.Corollary 16.
Let(X,d) be a complete metric space, f:X→(-∞,+∞] a proper and bounded below function, and φ:ℝ→(0,+∞) a nondecreasing function. Suppose that T:X→X is a (φ,f)-Caristi type selfmap on X and one of the following conditions is satisfied:(D1)
T is continuous;(D2)
T is closed;(D3)
the maph:X→[0,∞) defined by h(x)=d(x,Tx) is l.s.c.ThenT admits a fixed point in X. Moreover, for any w∈X with f(w)<+∞, the sequence {Tnw}n∈ℕ converges to a fixed point of T.Corollary 17.
Let(X,d) be a complete metric space and f:X→(-∞,+∞] a proper and bounded below function. Suppose that T:X→X is a (f)-Caristi type selfmap on X and one of the conditions (D1), (D2), and (D3) as in Corollary 16 holds. Then T admits a fixed point in X. Moreover, for any w∈X with f(w)<+∞, the sequence {Tnw}n∈ℕ converges to a fixed point of T.Now, we give another quite useful auxiliary theorem for our applications.Theorem 18.
Let(X,d) be a metric space, p:X×X→[0,+∞) a function, and T:X→X a selfmap. Suppose that there exists an ℳ𝒯-function α:[0,+∞)→[0,1) such that
(40)p(Tx,Ty)≤α(p(x,y))p(x,y)∀x,y∈X.
Then there exists a function β:X→[0,1) such that for each x∈X,
(41)β(Tx)≤β(x),α(p(Tn-1x,Tnx))≤β(x)∀n∈ℕ.
Here, we denoteT0=I (the identity map).Proof.
Letx∈X be given. From our hypothesis, we have
(42)p(Tnx,Tn+1x)≤α(p(Tn-1x,Tnx))p(Tn-1x,Tnx)<p(Tn-1x,Tnx)
for each n∈ℕ. So the sequence {p(Tn-1x,Tnx)}n∈ℕ is strictly decreasing in [0,+∞). Since α is an ℳ𝒯-function, by (g) of Theorem 11, we obtain
(43)0≤supn∈ℕα(p(Tn-1x,Tnx))<1.
Since x∈X is arbitrary, we can define a new function β:X→[0,1) by
(44)β(x)≔supn∈ℕα(p(Tn-1x,Tnx))forx∈X.
It is obvious that for each x∈X, we have
(45)β(Tx)≤β(x),α(p(Tn-1x,Tnx))≤β(x)∀n∈ℕ.As an interesting application of Theorem13, we prove the following new fixed point theorems for Banach type maps.Theorem 19.
Let(X,d) be a complete metric space, p a generalized pseudodistance on X with p(x,y)=0 implies x=y for all x,y∈X, and T:X→X a selfmap. Suppose that (a)
there exists anℳ𝒯-function α:[0,∞)→[0,1) such that
(46)p(Tx,Ty)≤α(p(x,y))p(x,y)∀x,y∈X;(b)
one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem13 holds.ThenT admits a unique fixed point in X. Moreover, for each x∈X, the sequence {Tnx}n∈ℕ converges to the unique fixed point of T.Proof.
DenoteT0=I (the identity map). Applying Theorem 18, there exists a function β:X→[0,1) such that for each x∈X,
(47)β(Tx)≤β(x),α(p(Tn-1x,Tnx))≤β(x)∀n∈ℕ.
For each x∈X, by (46), we get
(48)p(x,Tx)-α(p(x,Tx))p(x,Tx)≤p(x,Tx)-p(Tx,T2x).
By exploiting the inequalities (47) and (48), we obtain
(49)p(x,Tx)≤11-α(p(x,Tx))p(x,Tx)-11-α(p(x,Tx))p(Tx,T2x)≤11-β(x)p(x,Tx)-11-β(Tx)p(Tx,T2x).
Let φ:ℝ→(0,+∞) and f:X→ℝ be defined by
(50)φ(t)=1fort∈ℝ,f(x)=11-β(x)p(x,Tx)forx∈X,
respectively. Then φ is a nondecreasing function, and f is a bounded below function. Clearly, f(x)<+∞ for all x∈X. By (49), we obtain
(51)p(x,Tx)≤φ(f(x))(f(x)-f(Tx))∀x∈X.
Hence we prove that T:X→X is a (p,φ,f)-Caristi type selfmap on X. Applying Theorem 13, we know ℱ(T)≠∅. We claim that ℱ(T) is a singleton set. Let u,v∈ℱ(T). Then Tu=u and Tv=v. From (46), we have
(52)p(u,v)=p(Tu,Tv)≤α(p(u,v))p(u,v)
or
(53)(1-α(p(u,v)))p(u,v)≤0,
which implies p(u,v)=0. By our hypothesis, we get u=v and our claim is proved. By the uniqueness of fixed point of T and applying Theorem 13 again, the sequence {Tnx}n∈ℕ converges to the unique fixed point of T for any x∈X.As a direct consequence of Theorem19, we obtain the following result.Corollary 20.
Let(X,d) be a complete metric space, p be a generalized pseudodistance on X with p(x,y)=0 implies x=y for all x,y∈X, and T:X→X a selfmap. Suppose that(a)
there existsγ∈[0,1) such that
(54)p(Tx,Ty)≤γp(x,y)∀x,y∈X;(b)
one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem13 holds.ThenT admits a unique fixed point in X. Moreover, for each x∈X, the sequence {Tnx}n∈ℕ converges to the unique fixed point of T.Applying Theorem19, we obtain a generalization of the celebrated Banach contraction principle.Corollary 21.
Let(X,d) be a complete metric space and T:X→X a selfmap. Suppose that there exists an ℳ𝒯-function α:[0,∞)→[0,1) such that
(55)d(Tx,Ty)≤α(d(x,y))d(x,y)∀x,y∈X.ThenT admits a unique fixed point in X. Moreover, for each x∈X, the sequence {Tnx}n∈ℕ converges to the unique fixed point of T.Proof.
By (55), we know that T is continuous on X. Hence the conclusion follows from Theorem 19 immediately.Remark 22.
Theorems13 and 19, Corollaries 15–21 all generalize and improve the celebrated Banach contraction principle.



---

*Source: 407219-2013-09-17.xml*