Volume 2013, Issue 1 407219
Research Article
Open Access

On Caristi Type Maps and Generalized Distances with Applications

Wei-Shih Du

Corresponding Author

Wei-Shih Du

Department of Mathematics, National Kaohsiung Normal University, Kaohsiung 824, Taiwan nknu.edu.tw

Search for more papers by this author
First published: 17 September 2013
Citations: 7
Academic Editor: E. Karapinar

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

()
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 [326] 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, [430] 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, 2225, 3136], 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, 1026] and references therein.

Let us recall how we can exploit Caristi’s fixed point theorem to prove the Banach contraction principle. A selfmap T on a metric space (X, d) is called contractive or Banach type if there exists a real number λ  [0,1) such that
()
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:
()
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 xp(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
()
where α :   [0, +)→[0,1) is a function satisfying 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 wX if   for any sequence {xn} in X with xnw 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 : XX 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 function p : X × X → [0, +) is called a w-distance [5, 1020, 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, zX;

  • (w2) for any xX, 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 function p : X × X → [0, +) is said to be a τ-function [13, 15, 18, 2225, 3136], 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, zX;

  • (τ2) if xX and {yn} in X with lim nyn = 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 nsup {p(xn, xm) : m > n} = 0, if there exists a sequence {yn} in X such that lim np(xn, yn) = 0, then lim nd(xn, yn) = 0;

  • (τ4) for x, y, zX, 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) = |xy| for x, yX, and 0 < a < b. Define the function p : X × X → [0, +) by

()
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 lim nsup {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.)Let X = [0, +), γ > 0, and p : X × X → [0, +) be defined by

()
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 function p : [0,2] × [0,2] → [0, +) by

()
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 : XX 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) = |xy|. Then (X, d) is a complete metric space. Let p : X × X → [0, +) be defined by

()
for all x, yX. By Example 2, we know that p is a τ-function. Let T : XX be defined by Tx = x2, xX. Define f : X by
()
Then f is not lower semicontinuous at x = 1. For i = 1,2, let φi : → (0, +) be defined by
()
respectively. For x ∈ [0,1), we have
()
For x ∈ [1, +), we have
()
Hence, for any xX, we show
()
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
()

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

()
Since 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 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 : XX a selfmap on X. Let uX 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

()
Moreover, if we futher assume that p satisfies (τ3), then {xn} n is a Cauchy sequence in X.

Proof. For x1 = u, f(x1)<+. Since T is (p, φ, f)-Caristi type on X, we get

()
which implies
()
Similarly, we have
()
Hence, by induction, we can obtain the following inequalities
()
()
Since f is bounded below,
()
By (25), since φ is nondecreasing, we have
()
For m > n with m, n, taking into account (τ1), (24), (26), and (27), we get
()
Let αn = φ(f(x1))(f(xn) − r), n. Then sup {p(xn, xm) : m > n} ≤ αn for each n. Since lim nf(xn) = r, we obtain lim nαn = 0, and hence lim nsup {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 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 : XX 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, yX 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 nzn = a, we have lim np(zn, Ta) = 0.

Then T admits a fixed point in X. Moreover, for any wX with f(w)<+, the sequence {Tnw} n converges to a fixed point of T.

Proof. Let S = {xX :   f(x)<+}. Since f is proper, S. Let wS. 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

()
The last equality implies
()
By the completeness of X, there exists vwX such that xnvw as n.

Now, we verify vw(T). If (H1) holds, since T is continuous on X, xn+1 = Txn for each n and xnvw as n, we get

()
which means vw(T). If (H2) holds, since T is closed, xn+1 = Txn for each n and xnvw as n, we have Tvw = vw. Suppose that (H3) holds. By the lower semicontinuity of g, xn  vw as n and (30), we obtain
()
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,
()
Since
()
we obtain d(vw, Tvw) = 0, and hence vw(T). Finally, assume (H5) holds. Since lim nsup {p(xn, xm) : m > n} = 0 and lim np(xn, Tvw) = 0, there exists {an}⊂{xn} with lim nsup {p(an, am) : m > n} = 0 and bn = Tvw for all n, such that lim np(an, bn) = 0. By (τ3), lim nd(an, bn) = 0. Since anvw as n and d(bn, vw) ≤ d(bn, an) + d(an, vw), we get bnvw as n. So Tvw = vw or vw(T). Therefore, in any case, we prove vw(T). Since wS is arbitrary, the sequence {Tnw} n converges to a fixed point vw of T. This completes the proof.

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) = |xy|. Then (X, d) is a complete metric space. Define p : X × X → [0, +) by

()
for all x, yX. Then p is a generalized pseudodistance on X. Let f : X and φ : → (0, +) be defined by
()
respectively. So f(x)<+ for all xX. 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 xX, f is a bounded below function on X. Let T : XX be defined by
()
Then T is continuous on X and (T) = {0,1}. It is also easy to see that T is closed and the map xd(x, Tx) is l.s.c. Hence (H1), (H2), and (H4) as in Theorem 13 hold. We deduce that for any xX,
()
so T is (p, φ, f)-Caristi type on X. Let wX. Since
()
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 wX, 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 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 : XX 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 wX 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 : XX 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 wX 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 : XX 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 wX 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 : XX a selfmap. Suppose that there exists an 𝒯-function α : [0, +) → [0,1) such that

()
Then there exists a function β : X → [0,1) such that for each xX,
()

Here, we denote T0 = I (the identity map).

Proof. Let xX be given. From our hypothesis, we have

()
for each n. So the sequence is strictly decreasing in [0, +). Since α is an 𝒯-function, by (g) of Theorem 11, we obtain
()
Since xX is arbitrary, we can define a new function β : X  [0,1) by
()
It is obvious that for each xX, 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, yX, and T : XX 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 xX, 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 xX,

()
For each xX, by (46), we get
()
By exploiting the inequalities (47) and (48), we obtain
()
Let φ : → (0, +) and f : X be defined by
()
respectively. Then φ is a nondecreasing function, and f is a bounded below function. Clearly, f(x)<+ for all xX. By (49), we obtain
()
Hence we prove that T : XX 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
()
or
()
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 xX.

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, yX, and T : XX 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 xX, 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 : XX 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 xX, 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. Theorems 13 and 19, Corollaries 1521 all generalize and improve the celebrated Banach contraction principle.

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.