Multivalued mappings and related selection theorems are fundamental tools in many branches of mathematics and applied sciences. In this paper we continue this theory and prove the existence of Caristi type selections for generalized multivalued contractions on complete metric spaces, by using some classes of functions. Also we prove fixed point and quasi-fixed point theorems.
1. Introduction and Preliminaries
In 1998, Repovs and Semenov [1] furnished a comprehensive study of the theory of continuous selections for multivalued mappings. They point out that “this interesting branch of modern topology was started by Michael [2] and, since then, has received a great amount of interest with various applications outside topology, for instance, approximation theory, control theory, convex sets, differential inclusions, economics, fixed point theory, and vector measures.” Thus an interesting matter is to obtain existence conditions for selections, under different regularity hypotheses, for instance, Lipschitz-continuity and measurability; see also [3–5]. In particular, we are interested in developing this theory for fixed point theorems, by using Caristi’s mappings. Some precise results concerning existence of fixed points for Caristi’s single-valued and multivalued mappings and data dependence of fixed points set are proved in [6]; see also the references therein. We recall that Browder [7] was the first author to use continuous selections to prove a fixed point result; but the first result of Caristi type selection was proved by Jachymski [8] for Nadler’s multivalued contraction with closed values.
Definition 1.
Let (X,d) be a metric space. A function ϕ:X→[0,+∞) is lower semicontinuous at x∈X if and only if, for every sequence {xn} in X with xn→x as n→+∞, liminfn→+∞ϕ(xn)≥ϕ(x). Also, ϕ is lower semicontinuous if and only if it is lower semicontinuous at every x∈X.
Also, L(y):={x∈X:ϕ(x)≤y} is called the lower counter set defined by a point y∈[0,+∞). Then the following results hold true.
Proposition 2.
Let (X,d) be a metric space. Let ϕ:X→[0,+∞) be a function. Then, ϕ is lower semicontinuous if and only if L(y) is closed for every y∈[0,+∞).
Theorem 3 (Caristi [9]).
Let (X,d) be a complete metric space and let f:X→X be a mapping not necessarily continuous. Assume that there exists a function ϕ:X→[0,+∞), which is lower semicontinuous, such that
(1)d(x,fx)≤ϕ(x)-ϕ(fx)∀x∈X.
Then, f has a fixed point z; that is, z=fz.
Also, f is called Caristi’s mapping on (X,d). On the other hand, Nadler [10, 11] established the following result.
Theorem 4 (Nadler [10, 11]).
Let (X,d) be a complete metric space and let F:X→Cl(X) be a multivalued mapping such that, for some k∈(0,1), one has
(2)H(Fx,Fy)≤kd(x,y)∀x,y∈X,
where Cl(X) denotes the class of all nonempty closed subsets of X and H denotes a generalized Hausdorff metric on Cl(X). Then F has a fixed point z; that is, z∈Fz.
For A,B∈Cl(X), we recall that H(A,B)=max{sup{D(x,B):x∈A},sup{D(y,A):y∈B}}, where D(x,B)=inf{d(x,y):y∈B}. Also, a multivalued mapping F satisfying the assumption of Theorem 4 is called Nadler’s multivalued contraction.
Definition 5.
Let F:X→Cl(X) be a multivalued mapping and let f:X→X be a (single-valued) mapping. Then, f is said to be a selection for F if
(3)fx∈Fx,x∈X.
Also f is called Caristi type selection if it is Caristi’s mapping. As mentioned above, Jachymski established existence theorems stating that certain multivalued mappings admit selections that are Caristi’s mappings, which do not need to be continuous (see, for instance, Example 1 in [8]).
Theorem 6 (Jachymski [8]).
If F is Nadler’s multivalued contraction on a complete metric space (X,d), then F admits a selection f:X→X, which is Caristi’s mapping on (X,d) generated by a Lipschitz function ϕ.
Clearly, Theorem 3 yields Theorem 4; that is, every Nadler’s multivalued mapping admits a fixed point, but the converse does not hold in general. Obviously, if the multivalued mapping does not admit a fixed point, then a Caristi type selection cannot exist. The following example illustrates the case of a multivalued mapping which does not admit a Caristi type selection, even if it has a fixed point.
Example 7 (Xu [12]).
Consider the complete metric space ([0,+∞),d), where d denotes the standard metric. Define F:[0,+∞)→Cl([0,+∞)) as Fx=[2x,3x] for all x∈[0,+∞).
Trivially, 0 is a unique fixed point of F. Now, assume that there exists a Caristi type selection for F, say f. Then, referring to notions and notations of Theorem 3, we write d(x,fx)≤ϕ(x)-ϕ(fx) for all x∈[0,+∞). By definition of F, we have 2x≤fx≤3x and so x≤ϕ(x)-ϕ(fx) for all x∈(0,+∞). By iteration, we can get easily that
(4)fnx≤ϕ(fnx)-ϕ(fn+1x)∀n∈N∪{0}.
This implies that the sequence {ϕ(fnx)} is nonincreasing and so, being bounded below, convergent to some r≥0. Also, from (4), as n→+∞, we get fnx→0. On the other hand, the reader can immediately prove that {fnx} is a strictly increasing sequence and hence we get a contradiction with the above limit. Then we conclude that f is not a Caristi type selection.
Definition 8.
Given a function μ:[0,+∞)→[0,+∞) with μ(t)<t for t>0, a multivalued mapping F:X→Cl(X) is said to be a multivalued μ-contraction if
(5)H(Fx,Fy)≤μ(d(x,y))∀x,y∈X.
Definition 9.
A function μ:[0,+∞)→[0,+∞) is said to be subadditive if
(6)μ(s+t)≤μ(s)+μ(t)∀s,t∈[0,+∞).
Also, μ is said to be superadditive if the reverse inequality holds true.
Theorem 10 (Jachymski [8]).
Let F:X→Cl(X) be a multivalued μ-contraction on a complete metric space (X,d) such that μ is superadditive, and the function t→t-μ(t)(t∈[0,+∞)) is nondecreasing. Then there exist a selection f of F and a function h:[0,+∞)→[0,+∞), which is nondecreasing and subadditive and continuous at t=0 such that h-1({0})={0}. Moreover, there is an equivalent metric ϱ such that (X,ϱ) is complete and f is Caristi’s mapping on (X,ϱ).
In this paper we continue this study and prove the existence of Caristi type selections for generalized multivalued contractions on complete metric spaces. Our results fit into the theory of selections for multivalued mappings showing certain ways to establish selection theorems, by using some classes of functions. Also we prove fixed point and quasi-fixed point theorems. We remark that the existence of a Caristi type selection for a multivalued mapping ensures the existence of a fixed point.
2. Caristi Type Selection Theorems
We start to develop our theory by using the concept of lower semicontinuity, which is one of the most important concepts in multivalued analysis.
Theorem 11.
Let (X,d) be a complete metric space. Let F:X→2X∖{∅} be a multivalued mapping and let q>1 be a real number. Consider Sq(x):={y∈Fx:d(x,y)≤qD(x,Fx)} and suppose that F satisfies the following conditions:
there exist two nonnegative real numbers a,b with aq+b<1 such that, for each x∈X, there is y∈Sq(x) having the property
(7)Dy,Fy≤adx,y+bDx,Fx;
the function p:X→[0,+∞) defined by px:=D(x,Fx), for all x∈X, is lower semicontinuous.
Then F has a selection f that is Caristi’s mapping.
Proof.
By the axiom of choice and condition (i), there is a mapping f:X→X with fx∈Sq(x) for all x∈X such that
(8)D(fx,Ffx)≤ad(x,fx)+bD(x,Fx)
and so
(9)D(fx,Ffx)-bD(x,Fx)≤ad(x,fx).
Then
(10)1-b-aqdx,fx≤1-bqDx,Fx-aqdx,fx≤1-bqDx,Fx-qDfx,Ffx+bqDx,Fx=qD(x,Fx)-qD(fx,Ffx).
By condition (ii), the function ϕ:X→[0,+∞) defined by ϕ(t):=(q/(1-b-aq))D(t,Ft), for all t∈X, is lower semicontinuous and hence f is Caristi’s mapping that is a selection of F.
Example 12.
Let X=[0,1] be endowed with the usual metric d(x,y)=|x-y| for all x,y∈X so that (X,d) is a complete metric space. Also, let F:X→2X∖{∅} be defined by
(11)Fx=0,x2ifx∈0,1,12,1ifx=1.
Consider q=4/3, a=1/2, and b=1/6 such that aq+b=5/6<1. Then, for x≠1 and y=x/2, we have d(x,y)=x/2≤(4/3)·(x/2)=(4/3)D(x,Fx); that is y∈Sq(x). Moreover,
(12)Dy,Fy=Dx2,0,x4=x4≤12·x2+16·x2=ad(x,y)+bD(x,Fx).
Also, for x=1 and y=1, we have d(x,y)=0=q·0=qD(x,Fx); that is, 1∈Sq(x). Moreover,
(13)D(y,Fy)=D1,12,1=0≤ad(x,y)+bD(x,Fx).
Finally, the function p:X→[0,+∞) defined by
(14)px=D(x,Fx)=x2ifx∈0,1,0ifx=1
is lower semicontinuous in [0,1]. Thus, all the hypotheses of Theorem 11 are satisfied and so F has a selection f that is Caristi’s mapping. In fact, f:X→X, defined by fx=x/2 for all x∈X, is such that fx∈Fx and also d(x,fx)=x/2=ϕ(x)-ϕ(fx), where ϕ:X→[0,+∞) is given by ϕ(x)=x for all x∈X.
Notice that
(15)HF0,F1=H0,12,1=max12,1=d(0,1)
and hence F is not Nadler’s multivalued contraction.
Analogous results to Theorem 11 can be established under different hypotheses. For instance, in the next theorem, the multivalued mapping F satisfies another contractive condition.
Theorem 13.
Let (X,d) be a complete metric space. Let F:X→2X∖{∅} be a multivalued mapping and let q>1 be a real number. Consider Sq(x):={y∈Fx:d(x,y)≤qDd(x,Fx)} and suppose that F satisfies the following conditions:
there exist nonnegative real numbers α,β,γ with (α+γ)q+β+γ<1 such that, for each x∈X, there is y∈Sq(x) having the property
(16)Dy,Fy≤αdx,y+βDx,Fx+γDx,Fy;
the function p:X→[0,+∞) defined by px:=D(x,Fx), for all x∈X, is lower semicontinuous.
Then F has a selection f that is Caristi’s mapping.
Proof.
By the axiom of choice and condition (i), there is a mapping f:X→X with fx∈Sq(x) for all x∈X such that
(17)D(fx,Ffx)≤αd(x,fx)+βD(x,Fx)+γDx,Ffx
and so, by using the triangular inequality for D(x,Ffx),
(18)1-γDfx,Ffx-βDx,Fx≤α+γdx,fx.
Then
(19)1-β-γ-α+γqdx,fx≤1-β-γqDx,Fx-α+γqdx,fx≤1-β-γqDx,Fx-1-γqDfx,Ffx+βqDx,Fx=(1-γ)qD(x,Fx)-(1-γ)qD(fx,Ffx).
By condition (ii), the function ϕ:X→[0,+∞) defined by ϕ(t):=((1-γ)q/(1-β-γ-(α+γ)q))D(t,Ft), for all t∈X, is lower semicontinuous and hence f is Caristi’s mapping that is a selection of F.
We would like to remark that other results can be stated by involving upper semicontinuous multivalued mappings, in view of the following situation.
Definition 14.
Let (X,d) be a metric space. Then, a multivalued mapping F:X→2X∖{∅} is said to be h-upper semicontinuous at x0∈X, if the function
(20)h(Fx,Fx0):=sup{D(y,Fx0):y∈Fx}
is continuous at x0. Clearly, F is said to be h-upper semicontinuous, whenever h(Fx,Fx0) is continuous at every x0∈X.
Now we present a class of multivalued mappings such that the function ϕ(x)=D(x,Fx), for all x∈X, is lower semicontinuous.
Proposition 15.
Let (X,d) be a metric space. If F:X→2X∖{∅} is h-upper semicontinuous, then the function ϕ(x)=D(x,Fx) is lower semicontinuous.
Proof.
Given x∈X, for all y∈X, we get
(21)ϕx=Dx,Fx≤dx,y+Dy,Fy+hFy,Fx≤d(x,y)+ϕ(y)+h(Fy,Fx).
From above inequalities, we deduce that ϕ(x)≤liminfy→xϕ(y) and so ϕ is a lower semicontinuous function.
For instance, from Theorem 13 and Proposition 15 we get the following corollary.
Corollary 16.
Let (X,d) be a complete metric space. Let F:X→2X∖{∅} be an h-upper semicontinuous multivalued mapping and let q>1 be a real number. Consider Sq(x):={y∈Fx:d(x,y)≤qD(x,Fx)} and suppose that F satisfies the condition (i) of Theorem 13. Then F has a selection f that is Caristi’s mapping.
3. Extension to Quasi-Fixed Point Theorems
Let (X,d) be a metric space. We recall that a multivalued mapping F:X→2X∖{∅} has a quasi-fixed point if there exists a point z∈X such that D(z,Fz)=0. Then we extend our theory by considering functions instead of constant values. Therefore, let (X,d) be a metric space, and let a,b:X→[0,+∞) and q:X→(0,+∞) be functions such that
(22)a(x)q-1(x)+b(x)<1∀x∈X.
Remark 17.
Notice that in (22) we do not need that q(x)<1. We will return on this fact to derive a particular situation from the following theorem.
Theorem 18.
Let (X,d) be a complete metric space. Let F:X→2X∖{∅} be a multivalued mapping. Suppose that F satisfies the following conditions:
there exist three functions a,b:X→[0,+∞) and q:X→(0,+∞) such that (22) holds;
for each x∈X, with D(x,Fx)>0, there exists y∈X∖{x} such that
(23)qxdx,y≤Dx,Fx,Dy,Fy≤axdx,y+bxDx,Fx;
the function p:X→[0,+∞) defined by px:=D(x,Fx), for all x∈X, is lower semicontinuous;
there exists η>0 such that
(24)infq(x)-b(x)q(x)-a(x):x∈X,infz∈XDz,FzD(x,Fx)≤infz∈XD(z,Fz)+η>0.
Then F has a quasi-fixed point; that is, there exists z∈X such that D(z,Fz)=0.
Proof.
Assume that D(x,Fx)>0 for all x∈X. By the axiom of choice and condition (ii), there is a mapping f:X→X with fx≠x such that
(25)qxdx,fx≤Dx,Fx,D(fx,Ffx)≤a(x)d(x,fx)+b(x)D(x,Fx).
Then for each x∈X(26)D(fx,Ffx)-b(x)D(x,Fx)≤a(x)d(x,fx).
This implies
(27)1-bx-axq-1xdx,fx≤1-bxq-1xDx,Fx-axq-1xdx,fx≤1-bxq-1xDx,Fx-q-1xDfx,Ffx+bxq-1xDx,Fx=q-1(x)D(x,Fx)-q-1(x)D(fx,Ffx).
Consequently, we have
(28)dx,fx≤1qx-bxqx-ax×[D(x,Fx)-D(fx,Ffx)].
Now, let Y:={x∈X:D(x,Fx)≤infz∈XD(z,Fz)+η}. Since, by (iii), Y is a closed subset of X, we deduce that Y is complete. Denote by γ:=inf{q(x)-b(x)q(x)-a(x):x∈Y}>0. For all x∈Y, we get(29)dx,fx≤1γDx,Fx-Dfx,Ffx=ϕx-ϕfx,
where the function ϕ:X→[0,+∞) is defined by ϕ(t):=γ-1D(t,Ft), for all t∈X. Clearly, by condition (iii), the function ϕ is lower semicontinuous. From (29), we get that fx∈Y whenever x∈Y and hence f:Y→Y is Caristi’s mapping. This implies that f has a fixed point in Y, a contradiction since fx≠x for all x∈X. Hence there is z∈X such that D(z,Fz)=0.
As a consequence of Theorem 18, in the case that Fx is also closed, we obtain the following corollary.
Corollary 19.
Let (X,d) be a complete metric space. Let F:X→2X∖{∅} be a multivalued mapping such that Fx is closed. Suppose that F satisfies the following conditions:
there exist three functions a,b:X→[0,+∞) and q:X→(0,+∞) such that (22) holds;
for each x∈X, with D(x,Fx)>0, there exists y∈X∖{x} such that
(30)qxdx,y≤Dx,Fx,Dy,Fy≤axdx,y+bxDx,Fx;
the function p:X→[0,+∞) defined by px:=D(x,Fx), for all x∈X, is lower semicontinuous;
there exists η>0 such that
(31)infq(x)-b(x)q(x)-a(x):x∈X,infz∈XDz,FzD(x,Fx)≤infz∈XDz,Fz+η>0.
Then F has a fixed point.
In view of Remark 17, by assuming q(x)<1, for all x∈X, on the same lines of the proof of Theorem 18, one can prove the following result.
Theorem 20.
Let (X,d) be a complete metric space. Let F:X→2X∖{∅} be a multivalued mapping. Suppose that F satisfies the following conditions:
there exist three functions a,b:X→[0,1) and q:X→(0,1) such that (22) holds;
for each x∈X, with D(x,Fx)>0, there exists y∈Fx such that
(32)qxdx,y≤Dx,Fx,Dy,Fy≤axdx,y+bxDx,Fx;
the function p:X→[0,+∞) defined by px:=D(x,Fx), for all x∈X, is lower semicontinuous;
there exists η>0 such that
(33)infq(x)-b(x)q(x)-a(x):x∈X,infz∈XD(x,Fx)≤infz∈XD(z,Fz)+η>0.
Then F has a selection f that is Caristi’s mapping on a closed subset of X.
Remark 21.
If, in Theorems 18 and 20 and Corollary 19, we assume that the multivalued mapping F is h-upper semicontinuous, then (iii) holds true. In this case, we can reformulate the statements of these results, requiring that F satisfies only conditions (i), (ii), and (iv).
4. Generalization of Caristi’s Theorem
We denote by Φ the set of all functions ζ:[0,+∞)→[0,+∞) such that there exist ɛ>0 and c∈(0,1) satisfying δɛ=supζ-1([0,ɛ])<+∞, ζ(t)≥ct for all t∈[0,δɛ] and ζ(t)>ɛ for all t>δɛ.
Remark 22.
Given a nondecreasing function ζ:[0,+∞)→[0,+∞) continuous at t=0 with ζ(0)=0, consider the right lower Dini derivative of ζ at t∈[0,+∞); that is,
(34)[D+ζ](t)=liminfs→t+ζ(s)-ζ(t)s-t.
Then ζ∈Φ provided that [D+ζ](0)>0; see [8]. Also, each function ζ:[0,+∞)→[0,+∞) that is nondecreasing, subadditive, and continuous at t=0 with ζ(0)=0 belongs to Φ.
Inspired by Khamsi [13] and Jachymski [8], we give two fixed point theorems. In particular our first theorem furnishes an alternative proof to Theorem 3 of [13] and the related Kirk’s problem, without using order relations (see Section 3 in [13] for more details).
Theorem 23.
Let (X,d) be a complete metric space. Let f:X→X be a mapping. Suppose that there exist a lower semicontinuous function ϕ:X→[0,+∞) and a function ζ∈Φ such that
(35)ζ(d(x,fx))≤ϕ(x)-ϕ(fx)∀x∈X.
Then f has a fixed point in X.
Proof.
Let ɛ>0, c∈(0,1), and let δɛ be as stated above. Let
(36)Y:={x∈X:ϕ(x)≤infz∈Xϕ(z)+ɛ}.
The set Y is closed since ϕ is lower semicontinuous and hence complete. Now, from (35), we get that fx∈Y whenever x∈Y. Also
(37)ζdx,fx≤ϕx-ϕfx≤ϕ(x)-infz∈Xϕ(z)≤ɛ
for all x∈Y; we obtain that d(x,fx)∈[0,δɛ] whenever x∈Y. Hence
(38)cdx,fx≤ζdx,fx≤ϕx-ϕfx;
that is,
(39)d(x,fx)≤1cϕ(x)-1cϕ(fx)∀x∈Y.
Since the function (1/c)ϕ is lower semicontinuous, by Theorem 3, the mapping f:Y→Y has a fixed point in Y and so in X.
Example 24.
Let X={-3,-1}∪[0,+∞) be endowed with the usual metric d(x,y)=|x-y| for all x,y∈X so that (X,d) is a complete metric space. Also, let f:X→X be defined by
(40)fx=0ifx∉[1,3],1ifx∈[1,3].
It follows that
(41)d(x,fx)=xifx∉[1,3],x-1ifx∈[1,3].
Notice that ϕ:X→[0,+∞), defined by ϕ(x)=|x| for all x∈X, is a lower semicontinuous function such that ζ(d(x,fx))≤ϕ(x)-ϕ(fx), where ζ:[0,+∞)→[0,+∞) is given by ζ(t)=ct for all t≥0, where c∈(0,1). Thus, we can apply Theorem 23 to conclude that f has a fixed point; clearly 0 and 1 are fixed points of f.
The inspiration of our next theorem is Theorem 10. In particular, our result does not use a monotonic condition. For a comprehensive discussion, we refer the reader to the fundamental paper of Jachymski [8].
Theorem 25.
Let (X,d) be a complete metric space. Let F:X→Cl(X) be a multivalued mapping. Suppose that F is a μ-contraction with μ right upper semicontinuous such that the function ζ(t):=(t-μ(t))/2 for all t≥0 belongs to Φ. Then F has a fixed point.
Proof.
Let ν:[0,+∞)→[0,+∞) be the function defined by ν(t):=(t+μ(t))/2, for all t≥0. Clearly, ν is right upper semicontinuous and ν(t)<t for all t>0. Therefore, the set
(42){y∈Fx:ν(d(x,y))≤D(x,Fx)}≠∅
for all x∈X. In fact, if {yn}⊂Fx is a sequence such that d(x,yn)↓D(x,Fx), the right upper semicontinuity of the function ν ensures that
(43)limsupn→+∞ν(d(x,yn))≤ν(D(x,Fx))
and hence there exists yn such that
(44)ν(d(x,yn))<D(x,Fx).
The axiom of choice ensures that there is a mapping f:X→X such that
(45)fx∈Fx,νd(x,fx)≤Dx,Fxforx∈X.
Since D(fx,Ffx)≤H(Fx,Ffx)≤μ(d(x,fx)), we get
(46)ζdx,fx=νdx,fx-μdx,fx≤Dx,Fx-Dfx,Ffx=ϕx-ϕfx,
where the function ϕ:X→[0,+∞) is defined by ϕ(x):=D(x,Fx), for all x∈X. Since the function ϕ is lower semicontinuous, then we get that f has a fixed point, which is a fixed point for F.
5. Conclusion
Under suitable hypotheses for multivalued mappings, we established the existence of Caristi type selections. Also we proved fixed point and quasi-fixed point theorems, by using weaker and modified hypotheses on some classes of functions present in the literature. Our results extend and complement many theorems in the literature.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Authors’ Contribution
All authors contributed equally and significantly in writing this paper. All authors read and approved the final paper.
Acknowledgments
The first author is a Member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). The second author is a Member of the Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni (GNSAGA) of the Istituto Nazionale di Alta Matematica (INdAM).
RepovsD.SemenovP. V.1998455Mathematics and Its ApplicationsMichaelE.Continuous selections. I19566336138210.2307/1969615MR0077107PetruşelA.Multivalued operators and continuous selections199891-2165170MR1677573PetruşelA.PetruşelG.Selection theorems for multivalued generalized contractions200594352SîntămărianA.Selections and common fixed points for some generalized multivalued contractions2006393609617MR2262010PetruşelA.SîntămărianA.Single-valued and multi-valued Caristi type operators2002601-2167177MR1882462BrowderF. E.The fixed point theory of multi-valued mappings in topological vector spaces196817728330110.1007/BF01350721MR02291012-s2.0-34250534713JachymskiJ. R.Caristi's fixed point theorem and selections of set-valued contractions19982271556710.1006/jmaa.1998.6074MR16528822-s2.0-0001786504CaristiJ.Fixed point theorems for mappings satisfying inwardness conditions197621524125110.1090/S0002-9947-1976-0394329-4MR0394329CovitzH.NadlerS. B.Jr.Multi-valued contraction mappings in generalized metric spaces1970851110.1007/bf02771543MR02630622-s2.0-51249191814NadlerS. B.Jr.Multi-valued contraction mappings19693047548810.2140/pjm.1969.30.475MR0254828XuH.-K.Some recent results and problems for set-valued mappings200213149KhamsiM. A.Remarks on Caristi's fixed point theorem2009711-222723110.1016/j.na.2008.10.042MR25180292-s2.0-64849091492