On Caristi Type Maps and Generalized Distances with Applications
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.
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
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.
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) ≤ liminf n→∞ϕ(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.
-
(w1) p(x, z) ≤ p(x, y) + p(y, z) for any x, y, z ∈ X;
-
(w2) for any x ∈ 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) ≤ ε.
-
(τ1) p(x, z) ≤ p(x, y) + p(y, z) for all x, y, z ∈ X;
-
(τ2) if x ∈ X and {yn} in X with lim n→∞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 lim n→∞sup {p(xn, xm) : m > n} = 0, if there exists a sequence {yn} in X such that lim n→∞p(xn, yn) = 0, then lim n→∞d(xn, yn) = 0;
-
(τ4) for x, y, z ∈ X, p(x, y) = 0 and p(x, z) = 0 imply y = z.
Note that not either of the implications p(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.)Let X = ℝ with the metric d(x, y) = |x − y| for x, y ∈ X, and 0 < a < b. Define the function p : X × X → [0, +∞) by
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 lim n→∞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
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.)Let X = [0, +∞), γ > 0, and p : X × X → [0, +∞) be defined by
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 function p : [0,2] × [0,2] → [0, +∞) by
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 on X dominated by p, φ, and f (abbreviated as (p, φ, f)-Caristi type on X) if
() - (ii)
Caristi type on X dominated by p and f (abbreviated as (p, f)-Caristi type on X) if
() - (iii)
Caristi type on X dominated by φ and f (abbreviated as (φ, f)-Caristi type on X) if
() - (iv)
Caristi type on X dominated by f (abbreviated as (f)-Caristi type on X) if
()
Clearly, if T 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. Let X = [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
Definition 9 (see [31]–[36].)A function α : [0, +∞)→[0,1) is said to be an ℳ𝒯-function (or ℛ-function) if 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
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 each t ∈ [0, +∞), there exist and such that for all .
- (c)
For each t ∈ [0, +∞), there exist and such that for all .
- (d)
For each t ∈ [0, +∞), there exist and such that for all .
- (e)
For each t ∈ [0, +∞), there exist and such that for all .
- (f)
For any nonincreasing sequence {xn} n∈ℕ in [0, +∞), one has 0 ≤ sup n∈ℕ α(xn) < 1.
- (g)
α is a function of contractive factor; that is, for any strictly decreasing sequence {xn} n∈ℕ in [0, +∞), one has 0 ≤ sup n∈ℕα(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
Proof. For x1 = u, f(x1)<+∞. Since T is (p, φ, f)-Caristi type on X, we get
Applying Theorem 12, 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 map h : 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 lim n→∞zn = a, we have lim n→∞p(zn, Ta) = 0.
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.
Proof. Let S = {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
Now, we verify vw ∈ ℱ(T). If (H1) holds, since T is continuous on X, xn+1 = Txn for each n ∈ ℕ and xn → vw as n → ∞, we get
Here, we give an example illustrating Theorem 13. This example also gives a negative answer to the uniqueness of fixed point.
Example 14. Let X = [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
The following conclusions are immediate from Theorem 13.
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 map h : X → [0, ∞) defined by h(x) = d(x, Tx) is l.s.c.
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 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
Here, we denote T0 = I (the identity map).
Proof. Let x ∈ X be given. From our hypothesis, we have
As an interesting application of Theorem 13, 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
() - (b)
one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem 13 holds.
Then T 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. Denote T0 = I (the identity map). Applying Theorem 18, there exists a function β : X → [0, 1) such that for each x ∈ X,
As a direct consequence of Theorem 19, 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
() - (b)
one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem 13 holds.
Then T admits a unique fixed point in X. Moreover, for each x ∈ X, the sequence converges to the unique fixed point of T.
Applying Theorem 19, 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
Then T 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.
Acknowledgment
In this research, the author was supported by Grant no. NSC 102–2115-M-017-001 of the National Science Council of the Republic of China.