# On generalized weakly directional contractions and approximate fixed point property with applications

## Abstract

In this article, we first introduce the concept of directional hidden contractions in metric spaces. The existences of generalized approximate fixed point property for various types of nonlinear contractive maps are also given. From these results, we present some new fixed point theorems for directional hidden contractions which generalize Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem and some well-known results in the literature.

MSC: 47H10; 54H25.

## 1 Introduction and preliminaries

Let (X, d) be a metric space. The open ball centered in x X with radius r > 0 is denoted by B(x, r). For each x X and A X, let d(x, A) = infyAd(x, y). Denote by $\mathcal{N}\left(X\right)$ the class of all nonempty subsets of X, $\mathcal{C}\left(X\right)$ the family of all nonempty closed subsets of X and $\mathcal{C}ℬ\left(X\right)$ the family of all nonempty closed and bounded subsets of X. A function $ℋ:\mathcal{C}ℬ\left(X\right)×\mathcal{C}ℬ\left(X\right)\to \left[0,\infty \right)$ defined by

$ℋ\left(A,B\right)=\text{max}\left\{\underset{x\in B}{\text{sup}}d\left(x,A\right),\underset{x\in A}{\text{sup}}d\left(x,B\right)\right\}$

is said to be the Hausdorff metric on $\mathcal{C}ℬ\left(X\right)$ induced by the metric d on X. A point v in X is a fixed point of a map T if v = Tv (when T : XX is a single-valued map) or v Tv (when $T:X\to \mathcal{N}\left(X\right)$ is a multivalued map). The set of fixed points of T is denoted by $ℱ\left(T\right)$. Throughout this article, we denote by and , the sets of positive integers and real numbers, respectively.

The celebrated Banach contraction principle (see, e.g., [1]) plays an important role in various fields of applied mathematical analysis. It is known that Banach contraction principle has been used to solve the existence of solutions for nonlinear integral equations and nonlinear differential equations in Banach spaces and been applied to study the convergence of algorithms in computational mathematics. Since then a number of generalizations in various different directions of the Banach contraction principle have been investigated by several authors; see [136] and references therein. A interesting direction of research is the extension of the Banach contraction principle to multivalued maps, known as Nadler's fixed point theorem [2], Mizoguchi-Takahashi's fixed point theorem [3], Berinde-Berinde's fixed point theorem [5] and references therein. Another interesting direction of research led to extend to the multivalued maps setting previous fixed point results valid for single-valued maps with so-called directional contraction properties (see [2024]). In 1995, Song [22] established the following fixed point theorem for directional contractions which generalizes a fixed point result due to Clarke [20].

Theorem S[22]. Let L be a closed nonempty subset of X and $T:L\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map. Suppose that

1. (i)

T is H-upper semicontinuous, that is, for every ε > 0 and every x L there exists r > 0 such that supyTx' d(y, Tx) <ε for every x' B(x, r);

2. (ii)

there exist α (0, 1] and γ [0, α) such that for every x L with $x\notin Tx$, there exists y L \ {x} satisfying

$\alpha d\left(x,y\right)+d\left(y,Tx\right)\le d\left(x,Tx\right)$

and

$\underset{z\in Tx}{\text{sup}}d\left(z,Ty\right)\le \gamma d\left(x,y\right).$

Then $ℱ\left(T\right)\cap L\ne 0̸$.

Definition 1.1[23]. Let L be a nonempty subset of a metric space (X, d). A multivalued map $T:L\to \mathcal{C}ℬ\left(X\right)$ is called a directional multivalued k(·)-contraction if there exist λ (0, 1], a : (0, ∞) → [λ, 1] and k : (0, ∞) → [0, 1) such that for every x L with $x\notin Tx$, there is y L \ {x} satisfying the inequalities

$a\left(d\left(x,y\right)\right)d\left(x,y\right)+d\left(y,Tx\right)\le d\left(x,Tx\right)$

and

$\underset{z\in Tx}{\text{sup}}d\left(z,Ty\right)\le k\left(d\left(x,y\right)\right)d\left(x,y\right).$

Subsequently Uderzo [23] generalized Song's result and some main results in [21] for directional multivalued k(·)-contractions.

Theorem U[23]. Let L be a closed nonempty subset of a metric space (X, d) and $T:L\to \mathcal{C}ℬ\left(X\right)$ be an u.s.c. directional multivalued k(·)-contraction. Assume that there exist x0 L and δ > 0 such that d(x0, Tx0) ≤ αδ and

$\underset{t\in \left(0,\delta \right]}{\text{sup}}k\left(t\right)<\underset{t\in \left(0,\delta \right]}{\text{inf}}a\left(t\right),$

where λ (0, 1], a and k are the constant and the functions occuring in the definition of directional multivalued k(·)-contraction. Then $ℱ\left(T\right)\cap L\ne 0̸$.

Recall that a function p : X × X → [0, ∞) is called a w-distance[1, 2530], if the following are satisfied:

(w 1) p(x, z) ≤ p(x, y) + p(y, z) for any x, y, z X;

(w 2) for any x X, p(x, ·): X → [0, ∞) is l.s.c;

(w 3) 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[14, 26, 2830], 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) if x X and {y n } in X with limn→∞y n = y such that p(x, y n ) ≤ M for some M = M(x) > 0, then p(x, y) ≤ M;

(τ 3) for any sequence {x n } in X with limn→∞sup{p(x n , x m ): m >n} = 0, if there exists a sequence {y n } in X such that limn→∞p(x n , y n ) = 0, then limn→∞d(x n , y n ) = 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 [26] for more detail.

The following result is simple, but it is very useful in this article.

Lemma 1.1. Let A be a nonempty subset of a metric space (X, d) and p : X × X → [0, ∞) be a function satisfying (τ 1). Then for any x X, p(x, A) ≤ p(x, z) + p(z, A) for all z X.

Lemma 1.2[14]. Let A be a closed subset of a metric space (X, d) and p : X × X → [0, ∞) be any function. Suppose that p satisfies (τ 3) and there exists u X such that p(u, u) = 0. Then p(u, A) = 0 if and only if u A, where p(u, A) = infaAp(u, a).

Lemma 1.3 [29, Lemma 2.1]. Let (X, d) be a metric space and p : X × X → [0, ∞) be a function. Assume that p satisfies the condition (τ 3). If a sequence {x n } in X with limn→∞sup{p(x n , x m ): m >n} = 0, then {x n } is a Cauchy sequence in X.

Recently, Du first introduced the concepts of τ0-functions and τ0-metrics as follows.

Definition 1.2[14]. Let (X, d) be a metric space. A function p : X × X → [0, ∞) is called a τ0-function if it is a τ-function on X with p(x, x) = 0 for all x X.

Remark 1.1. If p is a τ0-function, then, from (τ 4), p(x, y) = 0 if and only if x = y.

Example 1.1[14]. Let X = with the metric d(x, y) = |x - y| and 0 <a <b. Define the function p : X × X → [0, ∞) by

$p\left(x,y\right)=\text{max}\left\{a\left(y-x\right),b\left(x-y\right)\right\}.$

Then p is nonsymmetric and hence p is not a metric. It is easy to see that p is a τ0-function.

Definition 1.3[14]. Let (X, d) be a metric space and p be a τ0-function. For any $A,B\in \mathcal{C}ℬ\left(X\right)$, define a function ${\mathcal{D}}_{p}:\mathcal{C}ℬ\left(X\right)×\mathcal{C}ℬ\left(X\right)\to \left[0,\infty \right)$ by

${\mathcal{D}}_{p}\left(A,B\right)=\text{max}\left\{{\delta }_{p}\left(A,B\right),{\delta }_{p}\left(B,A\right)\right\},$

where δ p (A, B) = supxAp(x, B), then ${\mathcal{D}}_{p}$ is said to be the τ0-metric on $\mathcal{C}ℬ\left(X\right)$ induced by p.

Clearly, any Hausdorff metric is a τ0-metric, but the reverse is not true. It is known that every τ0-metric ${\mathcal{D}}_{p}$ is a metric on $\mathcal{C}ℬ\left(X\right)$; see [14] for more detail.

Let f be a real-valued function defined on . For c , we recall that

and

Definition 1.4. A function α : [0, ∞) → [0, 1) is said to be a Reich's function ($ℛ$-function, for short) if

(1.1)

Remark 1.2. In [1419, 30], a function α : [0, ∞) → [0, 1) satisfying the property (1.1) was called to be an $ℳ\mathcal{T}$-function. But it is more appropriate to use the terminology $ℛ$-function instead of $ℳ\mathcal{T}$-function since Professor S. Reich was the first to use the property (1.1).

It is obvious that if α : [0, ∞) → [0, 1) is a nondecreasing function or a nonincreasing function, then α is a $ℛ$-function. So the set of $ℛ$-functions is a rich class. It is easy to see that α : [0, ∞) → [0, 1) is a $ℛ$-function if and only if for each t [0, ∞), there exist r t [0, 1) and ε t > 0 such that α(s) ≤ r t for all s [t, t + ε t ); for more details of characterizations of $ℛ$-functions, one can see [19, Theorem 2.1].

In [14], the author established some new fixed point theorems for nonlinear multivalued contractive maps by using τ0-function, τ0-metrics and $ℛ$-functions. Applying those results, the author gave the generalizations of Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem, Nadler's fixed point theorem, Banach contraction principle, Kannan's fixed point theorems and Chatterjea's fixed point theorems for nonlinear multivalued contractive maps in complete metric spaces; for more details, we refer the reader to [14].

This study is around the following Reich's open question in [35] (see also [36]): Let (X, d) be a complete metric space and $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map. Suppose that

$ℋ\left(Tx,Ty\right)\le \phi \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X,$

where ϕ : [0, ∞) → [0, 1) satisfies the property (*) except for t = 0. Does T have a fixed point? In this article, our some new results give partial answers of Reich's open question and generalize Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem and some well-known results in the literature.

The article is divided into four sections. In Section 2, in order to carry on the development of metric fixed point theory, we first introduce the concept of directional hidden contractions in metric spaces. In Section 3, we present some new existence results concerning p-approximate fixed point property for various types of nonlinear contractive maps. Finally, in Section 4, we establish several new fixed point theorems for directional hidden contractions. From these results, new generalizations of Berinde-Berinde's fixed point theorem and Mizoguchi-Takahashi's fixed point theorem are also given.

## 2 Directional hidden contractions

Let (X, d) be a metric space and p : X × X → [0, ∞) be any function. For each x X and A X, let

$p\left(x,A\right)=\underset{y\in A}{\text{inf}}p\left(x,y\right).$

Recall that a multivalued map $T:X\to \mathcal{N}\left(X\right)$ is called

1. (1)

a Nadler's type contraction (or a multivalued k-contraction [3]), if there exists a number 0 <k < 1 such that

$ℋ\left(Tx,Ty\right)\le kd\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X.$
2. (2)

a Mizoguchi-Takahashi's type contraction, if there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that

$ℋ\left(Tx,Ty\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X;$
3. (3)

a multivalued (θ, L)-almost contraction [57], if there exist two constants θ (0, 1) and L ≥ 0 such that

$ℋ\left(Tx,Ty\right)\le \theta d\left(x,y\right)+Ld\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X.$
4. (4)

a Berinde-Berinde's type contraction (or a generalized multivalued almost contraction [57]), if there exist a $ℛ$-function α : [0, ∞) → [0, 1) and L ≥ 0 such that

$ℋ\left(Tx,Ty\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right)+Ld\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X.$

Mizoguchi-Takahashi's type contractions and Berinde-Berinde's type contractions are relevant topics in the recent investigations on metric fixed point theory for contractive maps. It is quite clear that any Mizoguchi-Takahashi's type contraction is a Berinde-Berinde's type contraction. The following example tell us that a Berinde-Berinde's type contraction may be not a Mizoguchi-Takahashi's type contraction in general.

Example 2.1. Let be the Banach space consisting of all bounded real sequences with supremum norm d and let {e n } be the canonical basis of . Let {τ n } be a sequence of positive real numbers satisfying τ1 = τ2 and τn+1<τ n for n ≥ 2 (for example, let ${\tau }_{1}=\frac{1}{2}$ and ${\tau }_{n}=\frac{1}{n}$ for n with n ≥ 2). Thus {τ n } is convergent. Put v n = τ n e n for n and let X = {v n }nbe a bounded and complete subset of . Then (X, d) be a complete metric space and d(v n , v m ) = τ n if m >n.

Let $T:L\to \mathcal{C}ℬ\left(X\right)$ be defined by

$T{v}_{n}:=\left\{\begin{array}{cc}\hfill \left\{{v}_{1},{v}_{2}\right\},\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}n\in \left\{1,2\right\},\hfill \\ \hfill X\\left\{{v}_{1},{v}_{2},\dots ,{v}_{n},{v}_{n+1}\right\},\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}n\ge 3.\hfill \end{array}\right\$

and define φ : [0, ∞) → [0, 1) by

Then the following statements hold.

1. (a)

T is a Berinde-Berinde's type contraction;

2. (b)

T is not a Mizoguchi-Takahashi's type contraction.

Proof. Observe that for all t [0, ∞), so φ is a $ℛ$-function. It is not hard to verify that

${ℋ}_{\infty }\left(T{v}_{1},T{v}_{m}\right)={\tau }_{1}>{\tau }_{3}=\phi \left({d}_{\infty }\left({v}_{1},{v}_{m}\right)\right){d}_{\infty }\left({v}_{1},{v}_{m}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}m\ge 3.$

Hence T is not a Mizoguchi-Takahashi's type contraction. We claim that T is a Berinde-Berinde's type contraction with L ≥ 1; that is,

${ℋ}_{\infty }\left(Tx,Ty\right)\le \phi \left({d}_{\infty }\left(x,y\right)\right){d}_{\infty }\left(x,y\right)+L{d}_{\infty }\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X,$

where ${ℋ}_{\infty }$ is the Hausdorff metric induced by d. Indeed, we consider the following four possible cases:

1. (i)

$\phi \left(d\left({v}_{1},{v}_{2}\right)\right){d}_{\infty }\left({v}_{1},{v}_{2}\right)+L{d}_{\infty }\left({v}_{2},T{v}_{1}\right)={\tau }_{3}>0={ℋ}_{\infty }\left(T{v}_{1},T{v}_{2}\right)$.

2. (ii)

For any m ≥ 3, we have

$\phi \left({d}_{\infty }\left({v}_{1},{v}_{m}\right)\right){d}_{\infty }\left({v}_{1},{v}_{m}\right)+L{d}_{\infty }\left({v}_{m},T{v}_{1}\right)={\tau }_{3}+L{\tau }_{2}>{\tau }_{1}={ℋ}_{\infty }\left(T{v}_{1},T{v}_{m}\right).$
3. (iii)

For any m ≥ 3, we obtain

$\phi \left({d}_{\infty }\left({v}_{2},{v}_{m}\right)\right){d}_{\infty }\left({v}_{2},{v}_{m}\right)+L{d}_{\infty }\left({v}_{m},T{v}_{2}\right)={\tau }_{4}+L{\tau }_{2}>{\tau }_{1}={ℋ}_{\infty }\left(T{v}_{2},T{v}_{m}\right).$
4. (iv)

For any n ≥ 3 and m >n, we get

$\phi \left({d}_{\infty }\left({v}_{n},{v}_{m}\right)\right){d}_{\infty }\left({v}_{n},{v}_{m}\right)+L{d}_{\infty }\left({v}_{m},T{v}_{n}\right)={\tau }_{n+2}={ℋ}_{\infty }\left(T{v}_{n},T{v}_{m}\right).$

Hence, by (i)-(iv), we prove that T is a Berinde-Berinde's type contraction with L ≥ 1.

In order to carry on such development of classic metric fixed point theory, we first introduce the concept of directional hidden contractions as follows. Using directional hidden contractions, we will present some new fixed point results and show that several already existent results could be improved.

Definition 2.1. Let L be a nonempty subset of a metric space (X, d), p : X × X → [0, ∞) be any function, c (0, 1), η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) be functions. A multivalued map $T:L\to \mathcal{N}\left(X\right)$ is called a directional hidden contraction with respect to p, c, η and ϕ ((p, c, η, ϕ)-DHC, for short) if for any x L with $x\notin Tx$, there exist y L \ {x} and z Tx such that

$p\left(z,Ty\right)\le \varphi \left(p\left(x,y\right)\right)p\left(x,y\right)$

and

$\eta \left(p\left(x,y\right)\right)p\left(x,y\right)+p\left(y,z\right)\le p\left(x,Tx\right).$

In particular, if pd, then we use the notation (c, η, ϕ)-DHC instead of (d, c, η, ϕ)-DHC.

Remark 2.1. We point out the fact that the concept of directional hidden contractions really generalizes the concept of directional multivalued k(·)-contractions. Indeed, let T be a directional multivalued k(·)-contraction. Then there exist λ (0, 1], a : (0, ∞) → [λ, 1] and k : (0, ∞) → [0, 1) such that for every x L with $x\notin Tx$, there is y L \ {x} satisfying the inequalities

$a\left(d\left(x,y\right)\right)d\left(x,y\right)+d\left(y,Tx\right)\le d\left(x,Tx\right)$
(2.1)

and

$\underset{z\in Tx}{\text{sup}}d\left(z,Ty\right)\le k\left(d\left(x,y\right)\right)d\left(x,y\right).$
(2.2)

Note that xy and hence d(x, y) > 0. We consider the following two possible cases:

1. (i)

If λ = 1, then a(t) = 1 for all t (0, ∞). Choose c 1, r (0, 1) with c 1 <r. By (2.1), we have

$rd\left(x,y\right)+d\left(y,Tx\right)

which it is thereby possible to find z r Tx such that

$rd\left(x,y\right)+d\left(y,{z}_{r}\right)

Define η1 : [0, ∞) → (c1, 1] by

${\eta }_{1}\left(t\right)=r$

and let ϕ1 : [0, ∞) → [0, 1) be defined by

${\varphi }_{1}\left(t\right)=\left\{\begin{array}{cc}\hfill 0,\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}t=0,\hfill \\ \hfill k\left(t\right),\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}t\in \left(0,\infty \right).\hfill \end{array}\right\$

Hence T is a (c1, η1, ϕ1)-DHC.

1. (ii)

If λ (0, 1), we choose c 2 satisfying 0 <c 2 <λ. Then

${c}_{2}<\frac{\lambda +{c}_{2}}{2}\le \frac{a\left(t\right)+{c}_{2}}{2}

So we can define η2 : [0, ∞) → (c2, 1] by

${\eta }_{2}\left(t\right)=\left\{\begin{array}{cc}\hfill 0,\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}t=0,\hfill \\ \hfill \frac{a\left(t\right)+{c}_{2}}{2},\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}t\in \left(0,\infty \right).\hfill \end{array}\right\$

Since η2(t) <a(t) for all t (0, ∞), the inequality (2.1) admits that there exists z Tx such that

$\eta \left(d\left(x,y\right)\right)d\left(x,y\right)+d\left(y,z\right)

Let ϕ2 = ϕ1. Therefore T is a (c2, η2, ϕ2)-DHC.

The following example show that the concept of directional hidden contractions is indeed a proper extension of classic contractive maps.

Example 2.2. Let X = [0, 1] with the metric d(x, y) = |x - y| for x, y X. Let $T:X\to \mathcal{C}\left(X\right)$ be defined by

$Tx=\left\{\begin{array}{cc}\hfill \phantom{\rule{1em}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\left\{0,1\right\},\hfill & \hfill \phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\text{if}\phantom{\rule{0.3em}{0ex}}x=0,\hfill \\ \hfill \left\{\frac{1}{2}{x}^{4},1\right\},\hfill & \hfill \phantom{\rule{0.3em}{0ex}}\text{if}\phantom{\rule{0.3em}{0ex}}x\in \left(0,\frac{1}{4}\right],\hfill \\ \hfill \left\{0,\frac{1}{2}{x}^{4}\right\},\hfill & \hfill \phantom{\rule{0.3em}{0ex}}\text{if}\phantom{\rule{0.3em}{0ex}}x\in \left(\frac{1}{4},1\right),\hfill \\ \hfill \phantom{\rule{1em}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\left\{1\right\},\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}x=1.\hfill \end{array}\right\$

Define $\eta :\left[0,\infty \right)\to \left(\frac{1}{2},1\right]$ and ϕ : [0, ∞) → [0, 1) by

$\eta \left(s\right)=\frac{3}{4}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}s\in \left[0,\infty \right)$

and

$\varphi \left(t\right)=\left\{\begin{array}{cc}\hfill 2t,\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}t\in \left[0,\frac{1}{2}\right),\hfill \\ \hfill 0,\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}t\in \left[\frac{1}{2},\infty \right),\hfill \end{array}\right\$

respectively. It is not hard to verify that T is a ($\frac{1}{2},\eta ,\varphi$)-DHC. Notice that

$ℋ\left(T\left(0\right),T\left(1\right)\right)=1=d\left(0,1\right),$

so T is not a Mizoguchi-Takahashi's type contraction (hence it is also not a Nadler's type contraction).

We now present some existence theorems for directional hidden contractions.

Theorem 2.1. Let (X, d) be a metric space, p be a τ0-function, $T:X\to \mathcal{C}\left(X\right)$ be a multivalued map and γ [0, ∞). Suppose that

($\mathcal{P}$) there exists a function φ : (0, ∞) → [0, 1) such that

and for each x X with $x\notin Tx$, it holds

$p\left(y,Ty\right)\le \phi \left(p\left(x,y\right)\right)p\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$
(2.3)

Then there exist c (0, 1) and functions η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) such that

1. (a)

;

2. (b)

T is a (p, c, η, ϕ)-DHC.

Proof. Set LX. Let ϕ : [0, ∞) → [0, 1) be defined by

$\varphi \left(s\right):=\left\{\begin{array}{cc}\hfill 0,\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}s=0,\hfill \\ \hfill \phi \left(s\right),\hfill & \hfill \text{if}\phantom{\rule{0.3em}{0ex}}s\in \left(0,\infty \right).\hfill \end{array}\right\$

By ($\mathcal{P}$), there exists c (0, 1) such that

Put $\alpha =\frac{c+1}{2}$. Then 0 <c <α < 1. Define η : [0, ∞) → (c, 1] by η(s) = α for all s [0, ∞). So we obtain

Given x X with $x\notin Tx$. Since p is a τ0-function and Tx is a closed set in X, by Lemma 1.2, p(x, Tx) > 0. Since $p\left(x,Tx\right)<\frac{p\left(x,Tx\right)}{\alpha }$, there exists y Tx, such that

$p\left(x,y\right)<\frac{p\left(x,Tx\right)}{\alpha }.$
(2.4)

Clearly, yx. Let z = y Tx. Since p is a τ0-function, we have p(y, z) = 0. From (2.3) and (2.4), we obtain

$p\left(z,Ty\right)\le \varphi \left(p\left(x,y\right)\right)p\left(x,y\right)$

and

$\eta \left(p\left(x,y\right)\right)p\left(x,y\right)+p\left(y,z\right)\le p\left(x,Tx\right),$

which show that T is a (p, c, η, ϕ)-DHC.   □

If we put pd in Theorem 2.1, then we have the following result.

Theorem 2.2. Let (X, d) be a metric space, $T:X\to \mathcal{C}\left(X\right)$ be a multivalued map and γ [0, ∞). Suppose that

(${\mathcal{P}}_{d}$) there exists a function φ : (0, ∞) → [0, 1) such that

and for each x X with $x\notin Tx$, it holds

$d\left(y,Ty\right)\le \phi \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

Then there exist c (0, 1) and functions η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) such that

1. (a)

;

2. (b)

T is a (c, η, ϕ)-DHC.

Theorem 2.3. Let (X, d) be a metric space, p be a τ0-function, ${\mathcal{D}}_{p}$ be a τ0-metric on $\mathcal{C}ℬ\left(X\right)$ induced by p, $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map, h : X × X → [0, ∞) be a function and γ [0, ∞). Suppose that

($\mathcal{A}$) there exists a function φ : (0, ∞) → [0, 1) such that

and

${\mathcal{D}}_{p}\left(Tx,Ty\right)\le \phi \left(p\left(x,y\right)\right)p\left(x,y\right)+h\left(x,y\right)p\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X\phantom{\rule{2.77695pt}{0ex}}\text{with}\phantom{\rule{0.3em}{0ex}}x\ne y.$
(2.5)

Then there exist c (0, 1) and functions η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) such that

1. (a)

;

2. (b)

T is a (p, c, η, ϕ)-DHC.

Proof. Let x X with $x\notin Tx$ and let y Tx be given. So xy. By Lemma 1.2, p(y, Tx) = 0. It is easy to see that (2.5) implies (2.3). Therefore the conclusion follows from Theorem 2.1.   □

Theorem 2.4. Let (X, d) be a metric space, $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map, h : X × X → [0, ∞) be a function and γ [0, ∞). Suppose that

(${\mathcal{A}}_{d}$) there exists a function φ : (0, ∞) → [0, 1) such that

and

$ℋ\left(Tx,Ty\right)\le \phi \left(d\left(x,y\right)\right)d\left(x,y\right)+h\left(x,y\right)d\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X\phantom{\rule{0.3em}{0ex}}\text{with}\phantom{\rule{0.3em}{0ex}}x\ne y.$

Then there exist c (0, 1) and functions η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) such that

1. (a)

;

2. (b)

T is a (c, η, ϕ)-DHC.

The following result is immediate from Theorem 2.4.

Theorem 2.5. Let (X, d) be a metric space and $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map. Assume that one of the following conditions holds.

1. (1)

T is a Berinde-Berinde's type contraction;

2. (2)

T is a multivalued (θ, L)-almost contraction;

3. (3)

T is a Mizoguchi-Takahashi's type contraction;

4. (4)

T is a Nadler's type contraction.

Then there exist c (0, 1) and functions η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) such that T is a (c, η, ϕ)-DHC.

## 3 Nonlinear conditions for p-approximate fixed point property

Let K be a nonempty subset of a metric space (X, d). Recall that a multivalued map $T:K\to \mathcal{N}\left(X\right)$ is said to have the approximate fixed point property[7] in K provided $\underset{x\in K}{\text{inf}}d\left(x,Tx\right)=0$. Clearly, $ℱ\left(T\right)\ne 0̸$ implies that T has the approximate fixed point property. A natural generalization of the approximate fixed point property is defined as follows.

Definition 3.1. Let K be a nonempty subset of a metric space (X, d) and p be a τ-function. A multivalued map $T:K\to \mathcal{N}\left(X\right)$ is said to have the p-approximate fixed point property in K provided $\underset{x\in K}{\text{inf}}p\left(x,Tx\right)=0$.

Lemma 3.1. Let φ : (0, ∞) → [0, 1) be a function and γ (0, ∞). If , then for any strictly decreasing sequence {ξ n }nin (0, ∞) with $\underset{n\to \infty }{\text{lim}}{\xi }_{n}=\gamma$, we have $0\le \underset{n\in ℕ}{\text{sup}}\phi \left({\xi }_{n}\right)<1$.

Proof. Since , there exists ε > 0 such that

$\underset{\gamma

By the denseness of , there exists α [0, 1) such that

$\underset{\gamma

Hence φ(s) ≤ α for all s (γ, γ + ε). Let {ξ n }nbe a strictly decreasing sequence in (0, ∞) with $\underset{n\to \infty }{\text{lim}}{\xi }_{n}=\gamma$. Then

$\gamma =\underset{n\to \infty }{\text{lim}}{\xi }_{n}=\underset{n\in ℕ}{\text{inf}}{\xi }_{n}\ge 0.$
(3.1)

Since {ξ n }nis strictly decreasing, it is obvious that ξ n >γ for all n . By (3.1), there exists , such that

$\gamma <{\xi }_{n}<\gamma +\epsilon \phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}n\in ℕ\phantom{\rule{0.3em}{0ex}}\text{with}\phantom{\rule{0.3em}{0ex}}n\ge \ell .$

Hence ϕ(ξ n ) ≤ α for all n. Let

$\varsigma :=\text{max}\left\{\phi \left({\xi }_{1}\right),\phi \left({\xi }_{2}\right),\dots ,\phi \left({\xi }_{\ell -1}\right),\alpha \right\}<1.$

Then ϕ(ξ n ) ≤ ζ for all n and hence $0\le \underset{n\in ℕ}{\text{sup}}\phi \left({\xi }_{n}\right)\le \varsigma <1$.   □

Theorem 3.1. Let (X, d) be a metric space, p be a τ0-function and $T:X\to \mathcal{N}\left(X\right)$ be a multivalued map. Suppose that

($ℛ$) there exists a function φ : (0, ∞) → [0, 1) satisfying Reich's condition; that is

and for each x X with $x\notin Tx$, it holds

$p\left(y,Ty\right)\le \phi \left(p\left(x,y\right)\right)p\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$
(3.2)

Then the following statements hold.

1. (a)

There exists a Cauchy sequence {x n }nin X such that

2. (i)

x n+1 Tx n for each n ;

3. (ii)

$\underset{n\in ℕ}{\text{inf}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0.$

4. (b)

$\underset{x\in X}{\text{inf}}p\left(x,Tx\right)=\underset{x\in X}{\text{inf}}d\left(x,Tx\right)=0$; that is T have the p-approximate fixed point property and approximate fixed point property in X.

Proof. Let x1 X with ${x}_{1}\notin T{x}_{1}$ and x2 Tx1. Then x1x2. Since p is a τ0-function, p(x1, x2) > 0. By (3.2), we have

$p\left({x}_{2},T{x}_{2}\right)\le \phi \left(p\left({x}_{1},{x}_{2}\right)\right)p\left({x}_{1},{x}_{2}\right).$
(3.3)

If x2 Tx2, then ${x}_{2}\in ℱ\left(T\right)$. Since

$\underset{x\in X}{\text{inf}}p\left(x,Tx\right)\le p\left({x}_{2},T{x}_{2}\right)\le p\left({x}_{2},{x}_{2}\right)=0$

and

$\underset{x\in X}{\text{inf}}d\left(x,Tx\right)\le d\left({x}_{2},{x}_{2}\right)=0,$

we have $\underset{x\in X}{\text{inf}}p\left(x,Tx\right)=\underset{x\in X}{\text{inf}}d\left(x,Tx\right)=0$. Let {z n } be a sequence defined by z n = x2 for all n . Then {z n } is Cauchy and (a) holds. Hence the proof is finished in this case. Suppose ${x}_{2}\notin T{x}_{2}$. Define κ : (0, ∞) → [0, 1) by $\kappa \left(t\right)=\frac{\phi \left(t\right)+1}{2}$. Then φ(t) <κ(t) and 0 <κ(t) < 1 for all t (0, ∞). By (3.3), there exists x3 Tx2 such that

$p\left({x}_{2},{x}_{3}\right)<\kappa \left(p\left({x}_{1},{x}_{2}\right)\right)p\left({x}_{1},{x}_{2}\right).$

Since x2x3, p(x2, x3) > 0. By (3.2) again, we obtain

$p\left({x}_{3},T{x}_{3}\right)\le \phi \left(p\left({x}_{2},{x}_{3}\right)\right)p\left({x}_{2},{x}_{3}\right).$

If x3 Tx3, then, following a similar argument as above, we finish the proof. Otherwise, there exists x4 Tx3 such that

$p\left({x}_{3},{x}_{4}\right)<\kappa \left(p\left({x}_{2},{x}_{3}\right)\right)p\left({x}_{2},{x}_{3}\right).$

By induction, we can obtain a sequence {x n } in X satisfying xn+1 Tx n , p(x n , xn+1) > 0 and

$p\left({x}_{n+1},{x}_{n+2}\right)<\kappa \left(p\left({x}_{n},{x}_{n+1}\right)\right)p\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{each}\phantom{\rule{0.3em}{0ex}}n\in ℕ.$
(3.4)

Since κ(t) < 1 for all t (0, ∞), the sequence {p(x n , xn+1)} is strictly decreasing in (0, ∞). Then

We claim that γ = 0. Assume to the contrary that γ > 0. By ($ℛ$), we have . Applying Lemma 3.1,

$0\le \underset{n\in ℕ}{\text{sup}}\phi \left(p\left({x}_{n},{x}_{n+1}\right)\right)<1.$

By exploiting the last inequality we obtain

$0<\underset{n\in ℕ}{\text{sup}}\kappa \left(p\left({x}_{n},{x}_{n+1}\right)\right)=\frac{1}{2}\left[1+\underset{n\in ℕ}{\text{sup}}\phi \left(p\left({x}_{n},{x}_{n+1}\right)\right)\right]<1.$

Let $\lambda :=\underset{n\in ℕ}{\text{sup}}\kappa \left(p\left({x}_{n},{x}_{n+1}\right)\right)$. So λ (0, 1). It follows from (3.4) that

$\begin{array}{ll}\hfill p\left({x}_{n+1},{x}_{n+2}\right)& <\kappa \left(p\left({x}_{n},{x}_{n+1}\right)\right)p\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{2em}{0ex}}\\ \le \lambda p\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{2em}{0ex}}\\ \le \cdots \phantom{\rule{2em}{0ex}}\\ \le {\lambda }^{n}p\left({x}_{1},{x}_{2}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{each}\phantom{\rule{0.3em}{0ex}}n\in ℕ.\phantom{\rule{2em}{0ex}}\end{array}$

Taking the limit in the last inequality as n → ∞ yields $\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n+1}\right)=0$ which leads to a contradiction. Thus it must be

$\gamma =\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}p\left({x}_{n},{x}_{n+1}\right)=0.$

Now, we show that {x n } is indeed a Cauchy sequence in X. Let ${\alpha }_{n}=\frac{{\lambda }^{n-1}}{1-\lambda }p\left({x}_{1},{x}_{2}\right),n\in ℕ$. For m, n with m >n, we obtain

$p\left({x}_{n},{x}_{m}\right)\le \sum _{j=n}^{m-1}p\left({x}_{j},{x}_{j+1}\right)<{\alpha }_{n}.$

Since λ (0, 1), limn→∞α n = 0 and hence

$\underset{n\to \infty }{\text{lim}}\text{sup}\left\{p\left({x}_{n},{x}_{m}\right):m>n\right\}=0.$

Applying Lemma 1.3, we show that {x n } is a Cauchy sequence in X. Hence $\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=0$. Since $\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)\le d\left({x}_{m},{x}_{m+1}\right)$ for all m and $\underset{m\to \infty }{\text{lim}}d\left({x}_{m},{x}_{m+1}\right)=0$, one also obtain

$\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0.$

Since xn+1 Tx n for each n ,

$\underset{x\in X}{\text{inf}}p\left(x,Tx\right)\le p\left({x}_{n},T{x}_{n}\right)\le p\left({x}_{n},{x}_{n+1}\right)$
(3.5)

and

$\underset{x\in X}{\text{inf}}d\left(x,Tx\right)\le d\left({x}_{n},T{x}_{n}\right)\le d\left({x}_{n},{x}_{n+1}\right)$
(3.6)

for all n . Since $\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=0$, by (3.5) and (3.6), we get

$\underset{x\in X}{\text{inf}}p\left(x,Tx\right)=\underset{x\in X}{\text{inf}}d\left(x,Tx\right)=0.$

The proof is completed.   □

Theorem 3.2. Let (X, d) be a metric space and $T:X\to \mathcal{N}\left(X\right)$ be a multivalued map. Suppose that

(${ℛ}_{d}$) there exists a function φ : (0, ∞) → [0, 1) satisfying Reich's condition and for each x X with $x\notin Tx$, it holds

$d\left(y,Ty\right)\le \phi \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

Then the following statements hold.

1. (a)

There exists a Cauchy sequence {x n }nin X such that

2. (i)

x n+1 Tx n for each n ;

3. (ii)

$\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=0$.

4. (b)

T have the approximate fixed point property in X.

Remark 3.1. [23, Proposition 3.1] is a special case of Theorems 3.1 and 3.2.

Theorem 3.3. Let (X, d) be a metric space, p be a τ0-function, ${\mathcal{D}}_{p}$ be a τ0-metric on $\mathcal{C}ℬ\left(X\right)$ induced by p$\mathrm{,T}:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map and h : X × X → [0, ∞) be a function. Suppose that

($ℒ$) there exists a function φ : (0, ∞) → [0, 1) satisfying Reich's condition and

${\mathcal{D}}_{p}\left(Tx,Ty\right)\le \phi \left(p\left(x,y\right)\right)p\left(x,y\right)+h\left(x,y\right)p\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{with}\phantom{\rule{0.3em}{0ex}}x\ne y.$
(3.7)

Then the following statements hold.

1. (a)

There exists a Cauchy sequence {x n }nin X such that

2. (i)

x n+1 Tx n for each n ;

3. (ii)

$\underset{n\in ℕ}{\text{inf}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0.$

4. (b)

T have the p-approximate fixed point property and approximate fixed point property in X.

Proof. Let x X with $x\notin Tx$ and let y Tx be given. By Lemma 1.2, p(y, Tx) = 0 and hence (3.7) implies (3.2). Therefore the conclusion follows from Theorem 3.1.   □

Theorem 3.4. Let (X, d) be a metric space, $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map and h : X × X → [0, ∞) be a function. Suppose that

(${ℒ}_{d}$) there exists a function φ : (0, ∞) → [0, 1) satisfying Reich's condition and

$ℋ\left(Tx,Ty\right)\le \phi \left(d\left(x,y\right)\right)d\left(x,y\right)+h\left(x,y\right)d\left(y,Tx\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x,y\in X\phantom{\rule{2.77695pt}{0ex}}\text{with}\phantom{\rule{0.3em}{0ex}}x\ne y.$

Then the following statements hold.

1. (a)

There exists a Cauchy sequence {x n }nin X such that

2. (i)

x n+1 Tx n for each n ;

3. (ii)

$\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0$.

4. (b)

T have the approximate fixed point property in X.

Theorem 3.5. Let (X, d) be a metric space and $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map. Assume that one of the following conditions holds.

1. (1)

T is a Berinde-Berinde's type contraction;

2. (2)

T is a multivalued (θ, L)-almost contraction;

3. (3)

T is a Mizoguchi-Takahashi's type contraction;

4. (4)

T is a Nadler's type contraction.

Then the following statements hold.

1. (a)

There exists a Cauchy sequence {x n }nin X such that

2. (i)

x n+1 Tx n for each n ;

3. (ii)

$\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0$.

4. (b)

T have the approximate fixed point property in X.

Let Ω denote the class of functions μ : [0, ∞) → [0, ∞) satisfying

• μ(0) = 0;

• 0 <μ(t) ≤ t for all t > 0;

• μ is l.s.c. from the right;

• .

Examples of such functions are $\mu \left(t\right)=\frac{t}{t+1},\mu \left(t\right)=\text{ln}\left(1+t\right)$ and μ(t) = ct, where c (0, 1), for all t ≥ 0.

Theorem 3.6. Let (X, d) be a metric space, p be a τ0-function and $T:X\to \mathcal{N}\left(X\right)$ be a multivalued map. Suppose that

(Δ) there exists μ Ω such that for each x X with $x\notin Tx$, it holds

$p\left(y,Ty\right)\le p\left(x,y\right)-\mu \left(p\left(x,y\right)\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$
(3.8)

Then the following statements hold.

1. (a)

There exists a function α from [0, ∞) into [0, 1) such that α is a $ℛ$-function and p(y, Ty) ≤ α(p(x, y))p(x, y) for all y Tx.

2. (b)

There exists a Cauchy sequence {x n }nin X such that

3. (i)

x n+1 Tx n for each n ;

4. (ii)

$\underset{n\in ℕ}{\text{inf}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n+1}\right)=\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0.$

5. (c)

T have the p-approximate fixed point property and approximate fixed point property in X.

Proof. Set

$\alpha \left(t\right)=\left\{\begin{array}{cc}\hfill 1-\frac{\mu \left(t\right)}{t},\hfill & \hfill t>0,\hfill \\ \hfill 0,\hfill & \hfill t=0.\hfill \end{array}\right\$

Since 0 <μ(t) ≤ t for all t > 0, we have α(t) [0, 1) for all t [0, ∞). Hence α is a function from [0, ∞) into [0, 1). Let x X with $x\notin Tx$ be given. Since p is a τ0-function, p(x, y) > 0 for all y Tx. Hence (3.8) implies

$p\left(y,Ty\right)\le \alpha \left(p\left(x,y\right)\right)p\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

We claim that α is a $ℛ$-function. Indeed, by (Δ), the function $t↦\frac{\mu \left(t\right)}{t}$ is l.s.c. from the right and hence

On the other hand, since $\frac{t}{\mu \left(t\right)}\ge 1$ for all t > 0 and , it follows that

So we prove for all t [0, ∞) which say that α : [0, ∞) → [0, 1) is a $ℛ$-function and (a) is true. The conclusions (b) and (c) follows from Theorem 3.1.   □

Theorem 3.7. Let (X, d) be a metric space and $T:X\to \mathcal{N}\left(X\right)$ be a multivalued map. Suppose that

d ) there exists μ Ω such that for each x X with $x\notin Tx$, it holds

$d\left(y,Ty\right)\le d\left(x,y\right)-\mu \left(d\left(x,y\right)\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

Then the following statements hold.

1. (a)

There exists a function α from [0, ∞) into [0, 1) such that α is a $ℛ$-function and d(y, Ty) ≤ α(d(x, y))d(x, y) for all y Tx.

2. (b)

There exists a Cauchy sequence {x n }nin X such that

3. (i)

x n+1 Tx n for each n ;

4. (ii)

$\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0$.

5. (c)

T have the approximate fixed point property in X.

## 4 Some applications in fixed point theory

The following existence theorem is a τ-function variant of generalized Ekeland's variational principle.

Lemma 4.1. Let (X, d) be a complete metric space, f : X → (-∞, ∞] be a proper l.s.c. and bounded below function. Let p be a τ-function and ε > 0. Suppose that there exists u X such that p(u, ·) is l.s.c, f(u) < ∞ and p(u, u) = 0. Then there exists v X such that

1. (a)

εp(u, v) ≤ f(u) - f(v);

2. (b)

εp(v, x) >f(v) - f(x) for all x X with xv.

Proof. Let

$Y=\left\{x\in X:\epsilon p\left(u,x\right)\le f\left(u\right)-f\left(x\right)\right\}.$

Clearly, u Y. By the completeness of X and the lower semicontinuity of f and p(u, ·), we know that (Y, d) is a nonempty complete metric space. Applying a generalization version of Ekeland's variational principle due to Lin and Du (see, for instance, [26, 28]), there exists v Y such that εp(v, x) >f(v) - f(x) for all x Y with xv. Hence (a) holds from v Y. For any x X \ Y, since

$\begin{array}{ll}\hfill \epsilon \left[p\left(u,v\right)+p\left(v,x\right)\right]& \ge \epsilon p\left(u,x\right)\phantom{\rule{2em}{0ex}}\\ >f\left(u\right)-f\left(x\right)\phantom{\rule{2em}{0ex}}\\ \ge \epsilon p\left(u,v\right)+f\left(v\right)-f\left(x\right),\phantom{\rule{2em}{0ex}}\end{array}$

it follows that εp(v, x) >f(v) - f(x) for all x X \ Y. Therefore εp(v, x) >φ(f(v))(f(v) - f(x)) for all x X with xv. The proof is completed.   □

Theorem 4.1. Let L be a nonempty closed subset of a complete metric space (X, d), p be a τ0-function and $T:L\to \mathcal{C}\left(X\right)$ be a (p, c, η, ϕ)-DHC. Suppose that

1. (i)

there exist u L and δ > 0 such that p(u, ·) is l.s.c,

$p\left(u,Tu\right)\le c\delta ,$
(4.1)

and

$\underset{t\in \left(0,\delta \right)}{\text{sup}}\left(\varphi \left(t\right)-\eta \left(t\right)\right)<0,$
(4.2)
1. (ii)

the function f : L → [0, ∞) defined by f(x) = p(x, Tx) is l.s.c.

Then $ℱ\left(T\right)\cap L\ne 0̸$.

Proof. Since L is a nonempty closed subset in X, (L, d) is also a complete metric space. By (4.1), f(u) ≤ < ∞. From (4.2), there exists γ > 0 such that

$\underset{t\in \left(0,\delta \right)}{\text{sup}}\left(\varphi \left(t\right)-\eta \left(t\right)\right)\le -\gamma .$
(4.3)

Applying Lemma 4.1 for u and $\frac{\gamma }{2}$, there exists v L, such that

$\frac{\gamma }{2}p\left(u,v\right)\le f\left(u\right)-f\left(v\right);$
(4.4)
$\frac{\gamma }{2}p\left(v,x\right)>f\left(v\right)-f\left(x\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{0.3em}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}x\in L\phantom{\rule{2.77695pt}{0ex}}\text{with}\phantom{\rule{0.3em}{0ex}}x\ne v.$
(4.5)

So f(v) ≤ f(u) from (4.4). We claim that v Tv, or equivalent, p(v, Tv) = 0. On the contrary, suppose that f(v) = p(v, Tv) > 0. Since T is a (p, c, η, ϕ)-DHC, there exists y v L \ {v} and z v Tv such that

$p\left({z}_{v},T{y}_{v}\right)\le \varphi \left(p\left(v,{y}_{v}\right)\right)p\left(v,{y}_{v}\right)$
(4.6)

and

$\eta \left(p\left(v,{y}_{v}\right)\right)p\left(v,{y}_{v}\right)+p\left({y}_{v},{z}_{v}\right)\le f\left(v\right).$
(4.7)

Since y v v, c <η(p(v, y v )) and f(v) ≤ f(u), by (4.1) and (4.7), we have

$0
(4.8)

Combining (4.3) and (4.8), we get

$\varphi \left(p\left(v,{y}_{v}\right)\right)-\eta \left(p\left(v,{y}_{v}\right)\right)\le -\gamma .$
(4.9)

By Lemma 1.1, (4.6), (4.7), and (4.9), one obtains

$\begin{array}{ll}\hfill f\left({y}_{v}\right)& =p\left({y}_{v},T{y}_{v}\right)\le p\left({y}_{v},{z}_{v}\right)+p\left({z}_{v},T{y}_{v}\right)\phantom{\rule{2em}{0ex}}\\ \le f\left(v\right)+\left[\varphi \left(p\left(v,{y}_{v}\right)\right)-\eta \left(p\left(v,{y}_{v}\right)\right)\right]p\left(v,{y}_{v}\right)\phantom{\rule{2em}{0ex}}\\ \le f\left(v\right)-\gamma p\left(v,{y}_{v}\right).\phantom{\rule{2em}{0ex}}\end{array}$

On the other hand, since y v L \ {v}, it follows from (4.5) and the last inequality that

$\begin{array}{ll}\hfill f\left(v\right)&

which yields a contradiction. Hence it must be f(v) = p(v, Tv) = 0. Since Tv is closed, by Lemma 1.2, we get v Tv which means that $v\in ℱ\left(T\right)\cap L$. The proof is completed.   □

Remark 4.1.

1. (a)

Let K be a nonempty subset of a metric space (X, d) and $T:X\to \mathcal{C}\left(X\right)$ be u.s.c. Then the function f : K → [0, ∞) defined by f(x) = d(x, Tx) is l.s.c. For more detail, one can see, e.g., [31, Lemma 3.1] and [32, Lemma 2].

2. (b)

[23, Theorem 2.1] is a special case of Theorem 4.1.

Theorem 4.2. Let L be a nonempty closed subset of a complete metric space (X, d) and $T:L\to \mathcal{C}\left(X\right)$ be a (c, η, ϕ)-DHC. Suppose that

1. (i)

there exist u L and δ > 0 such that

$d\left(u,Tu\right)\ge c\delta ,$

and

$\underset{t\in \left(0,\delta \right)}{\text{sup}}\left(\varphi \left(t\right)-\eta \left(t\right)\right)<0,$
1. (ii)

the function f : L → [0, ∞) defined by f(x) = d(x, Tx) is l.s.c.

Then $ℱ\left(T\right)\cap L\ne 0̸$.

Theorem 4.3. Let L be a nonempty closed subset of a complete metric space (X, d) and p be a τ0-function. Let $T:L\to \mathcal{C}\left(X\right)$ be a (p, c, η, ϕ)-DHC satisfying

(4.10)

and it has the p-approximate fixed point property in L. Suppose that there exists u X such that p(u, ·) is l.s.c. and the function f : L → [0, ∞) defined by f(x) = p(x, Tx) is l.s.c, then $ℱ\left(T\right)\cap L\ne 0̸$.

Proof. First, we note that (4.10) implies that the existences of δ1 > 0 and δ2 > 0 such that

$\underset{t\in \left(0,{\delta }_{1}\right)}{\text{sup}}\varphi \left(t\right)<\underset{t\in \left(0,{\delta }_{2}\right)}{\text{inf}}\eta \left(t\right).$
(4.11)

Let δ = min{δ1, δ2} > 0. Thus (4.11) implies

$\underset{t\in \left(0,\delta \right)}{\text{sup}}\left(\varphi \left(t\right)-\eta \left(t\right)\right)\le \underset{t\in \left(0,\delta \right)}{\text{sup}}\varphi \left(t\right)-\underset{t\in \left(0,\delta \right)}{\text{inf}}\eta \left(t\right)\le \underset{t\in \left(0,{\delta }_{1}\right)}{\text{sup}}\varphi \left(t\right)-\underset{t\in \left(0,{\delta }_{2}\right)}{\text{inf}}\eta \left(t\right)<0.$

Since T has the p-approximate fixed point property in L, we have $\underset{x\in L}{\text{inf}}p\left(x,Tx\right)=0 and hence there exists u L such that p(u, Tu) <. So all the hypotheses of Theorem 4.1 are fulfilled. It is therefore possible to apply Theorem 4.1 to get the thesis.   □

Theorem 4.4. Let L be a nonempty closed subset of a complete metric space (X, d). Let $T:L\to \mathcal{C}\left(X\right)$ be a (c, η, ϕ)-DHC satisfying

$\underset{s\to {0}^{+}}{\text{lim}\phantom{\rule{0.3em}{0ex}}\text{sup}}\varphi \left(s\right)<\underset{s\to {0}^{+}}{\text{lim}\phantom{\rule{0.3em}{0ex}}\text{inf}}\eta \left(s\right),$

and it has the approximate fixed point property in L. Suppose that the function f : L → [0, ∞) defined by f(x) = d(x, Tx) is l.s.c, then $ℱ\left(T\right)\cap L\ne 0̸$.

Theorem 4.5. Let (X, d) be a complete metric space and p be a τ0-function and $T:X\to \mathcal{C}\left(X\right)$ be a multivalued map. Suppose that

($\mathcal{V}$) there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that for each x X with $x\notin Tx$, it holds

$p\left(y,Ty\right)\le \alpha \left(p\left(x,y\right)\right)p\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

If there exists u X such that p(u, ·) is l.s.c. and the function f : X → [0, ∞) defined by f(x) = p(x, Tx) is l.s.c, then $ℱ\left(T\right)\ne 0̸$.

Proof. First, we observe that the condition ($\mathcal{V}$) implies the condition ($\mathcal{P}$) as in Theorem 2.1. So we can apply Theorem 2.1 to know that there exist c (0, 1) and functions η : [0, ∞) → (c, 1] and ϕ : [0, ∞) → [0, 1) such that

1. (a)

;

2. (b)

T is a (p, c, η, ϕ)-DHC.

On the other hand, the condition ($\mathcal{V}$) also implies the condition ($ℛ$) as in Theorem 3.1. Hence T have the p-approximate fixed point property by using Theorem 3.1. Therefore the thesis follows from Theorem 4.3.   □

Theorem 4.6. Let (X, d) be a complete metric space and $T:X\to \mathcal{C}\left(X\right)$ be a multivalued map. Suppose that

(${\mathcal{V}}_{d}$) there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that for each x X with $x\notin Tx$, it holds

$d\left(y,Ty\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{2.77695pt}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}y\in Tx.$

If the function f : X → [0, ∞) defined by f(x) = d(x, Tx) is l.s.c, then $ℱ\left(T\right)\ne 0̸$.

Theorem 4.7. Let (X, d) be a complete metric space, p be a τ0-function, ${\mathcal{D}}_{p}$ be a τ0-metric on $\mathcal{C}ℬ\left(X\right)$ induced by $p,T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map and h : X × X → [0, ∞) be a function. Suppose that

($\mathcal{W}$) there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that

${\mathcal{D}}_{p}\left(Tx,Ty\right)\le \alpha \left(p\left(x,y\right)\right)p\left(x,y\right)+h\left(x,y\right)p\left(y,Tx\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}x,y\in X.$

If there exists u X such that p(u, ·) is l.s.c. and the function f : X → [0, ∞) defined by f(x) = p(x, Tx) is l.s.c, then $ℱ\left(T\right)\ne 0̸$.

The following result is a generalization of Berinde-Berinde's fixed point theorem. It is worth observing that the following generalized Berinde-Berinde's fixed point theorem does not require the lower semicontinuity assumption on the function f(x) = d(x, Tx).

Theorem 4.8. Let (X, d) be a complete metric space, $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map and g : X → [0, ∞) be a function. Suppose that there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that

$ℋ\left(Tx,Ty\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right)+g\left(y\right)d\left(y,Tx\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}x,y\in X.$
(4.12)

Then $ℱ\left(T\right)\ne 0̸$.

Proof. Observe that the condition (4.12) implies that for each x X with $x\notin Tx$, it holds

$d\left(y,Ty\right)\le \phi \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}y\in Tx.$

It is therefore possible to apply Theorem 3.2 to obtain a Cauchy sequence {x n }nin X satisfying

• xn+1 Tx n , n ,

• $\underset{n\to \infty }{\text{lim}}d\left({x}_{n},{x}_{n+1}\right)=\underset{n\in ℕ}{\text{inf}}d\left({x}_{n},{x}_{n+1}\right)=0$.

By the completeness of X, there exists v X such that x n v as n → ∞. It follows from (4.12) again that

$\begin{array}{ll}\hfill \underset{n\to \infty }{\text{lim}}d\left({{x}_{n}}_{+1},Tv\right)& \le \underset{n\to \infty }{\text{lim}}ℋ\left(T{x}_{n},Tv\right)\phantom{\rule{2em}{0ex}}\\ \le \underset{n\to \infty }{\text{lim}}\left\{\alpha \left(d\left({x}_{n},v\right)\right)d\left({x}_{n},v\right)+g\left(v\right)d\left(v,{{x}_{n}}_{+1}\right)\right\}=0,\phantom{\rule{2em}{0ex}}\end{array}$

which implies limn→∞d(x n , Tv) = 0. By the continuity of d(·, Tv) and x n v as n → ∞, d(v, Tv) = 0. By the closedness of Tv, we get v Tv or $v\in ℱ\left(T\right)$.   □

Remark 4.2.

1. (a)

Theorem 4.8 generalizes [7, Theorem 2.6], Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem and references therein.

2. (b)

In [7, Theorem 2.6], the authors shown that a generalized multivalued almost contraction T in a metric space (X, d) have $ℱ\left(T\right)\ne 0̸$ provided either (X, d) is compact and the function f(x) = d(x, Tx) is l.s.c. or T is closed and compact. But reviewing Theorem 4.8, we know that the conditions in [7, Theorem 2.6] are redundant.

Corollary 4.1. (M. Berinde and V. Berinde[5]). Let (X, d) be a complete metric space, $T:X\to \mathcal{C}ℬ\left(X\right)$ be a multivalued map and L ≥ 0. Suppose that there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that

$ℋ\left(Tx,Ty\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right)+Ld\left(y,Tx\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}x,y\in X.$

Then $ℱ\left(T\right)\ne 0̸$

Corollary 4.2[3]. Let (X, d) be a complete metric space and $T:X\to \mathcal{N}ℬ\left(X\right)$ be a multivalued map. Suppose that there exists a $ℛ$-function α : [0, ∞) → [0, 1) such that

$ℋ\left(Tx,Ty\right)\le \alpha \left(d\left(x,y\right)\right)d\left(x,y\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{2.77695pt}{0ex}}x,y\in X.$

Then $ℱ\left(T\right)\ne 0̸$.

Theorem 4.9. Let (X, d) be a complete metric space, p be a τ0-function and $T:X\to \mathcal{C}\left(X\right)$ be a multivalued map. Suppose that

(Δ) there exists μ Ω such that for each x X with $x\notin Tx$, it holds

$p\left(y,Ty\right)\le p\left(x,y\right)-\mu \left(p\left(x,y\right)\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

and further assume that there exists u X such that p(u, ·) is l.s.c. and the function f : X → [0, ∞) defined by f(x) = p(x, Tx) is l.s.c, then $ℱ\left(T\right)\ne 0̸$.

Proof. The conclusion follows from Theorems 3.6 and 4.5.   □

Theorem 4.10. Let (X, d) be a complete metric space and $T:X\to \mathcal{C}\left(X\right)$ be a multivalued map. Suppose that

d ) there exists μ Ω such that for each x X with $x\notin Tx$, it holds

$d\left(y,Ty\right)\le d\left(x,y\right)-\mu \left(d\left(x,y\right)\right)\phantom{\rule{1em}{0ex}}\text{for}\phantom{\rule{2.77695pt}{0ex}}\text{all}\phantom{\rule{0.3em}{0ex}}y\in Tx.$

and further assume that the function f : X → [0, ∞) defined by f(x) = d(x, Tx) is l.s.c, then $ℱ\left(T\right)\ne 0̸$.

## References

1. Takahashi W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama, Japan; 2000.

2. Nadler SB Jr: Multi-valued contraction mappings. Volume 30. Pacific J Math; 1969:475–488.

3. Mizoguchi N, Takahashi W: Fixed point theorems for multivalued mappings on complete metric spaces. J Math Anal Appl 1989, 141: 177–188. 10.1016/0022-247X(89)90214-X

4. Daffer PZ, Kaneko H: Fixed points of generalized contractive multi-valued mappings. J Math Anal Appl 1995, 192: 655–666. 10.1006/jmaa.1995.1194

5. Berinde M, Berinde V: On a general class of multi-valued weakly Picard mappings. J Math Anal Appl 2007, 326: 772–782. 10.1016/j.jmaa.2006.03.016

6. Hussain N, Cho YJ: Weak contraction, common fixed points and invariant approximations. J Inequal Appl 2009. 2009, Article ID 390634, 10

7. Hussain N, Amini-Harandi A, Cho YJ: Approximate endpoints for set-valued contractions in metric spaces. Fixed Point Theory Appl 2010., 13: 2010, Article ID 614867,

8. Kamran T: Multivalued f -weakly Picard mappings. Nonlinear Anal 2007, 67: 2289–2296. 10.1016/j.na.2006.09.010

9. Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J Math Anal Appl 2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087

10. Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J Math Anal Appl 2008, 341: 416–420. 10.1016/j.jmaa.2007.09.070

11. Rezapour Sh, Hamlbarani R: Some notes on the paper "Cone metric spaces and fixed point theorems of contractive mappings". J Math Anal Appl 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049

12. Berinde V, Păcurar M: Fixed points and continuity of almost contractions. Fixed Point Theory 2008, 9: 23–34.

13. Du W-S: Fixed point theorems for generalized Hausdorff metrics. Int Math Forum 2008, 3: 1011–1022.

14. Du W-S: Some new results and generalizations in metric fixed point theory. Nonlinear Anal 2010, 73: 1439–1446. 10.1016/j.na.2010.05.007

15. Du W-S: Coupled fixed point theorems for nonlinear contractions satisfied Mizoguchi-Takahashi's condition in quasiordered metric spaces. Fixed Point Theory and Applications 2010., 9: 2010, Article ID 876372,

16. Du W-S: Nonlinear Contractive Conditions for Coupled Cone Fixed Point Theorems. Fixed Point Theory and Applications 2010., 16: 2010, Article ID 190606,

17. Du W-S: New cone fixed point theorems for nonlinear multivalued maps with their applications. Appl Math Lett 2011, 24: 172–178. 10.1016/j.aml.2010.08.040

18. Du W-S, Zheng S-X: Nonlinear conditions for coincidence point and fixed point theorems. Taiwanese J Math 2012, 16(3):857–868.

19. Du W-S: On coincidence point and fixed point theorems for nonlinear multivalued maps. Topol Appl 2012, 159: 49–56. 10.1016/j.topol.2011.07.021

20. Clarke FH: Pointwise contraction criteria for the existence of fixed points. Can Math Bull 1978, 21(1):7–11. 10.4153/CMB-1978-002-8

21. Sehgal VM, Smithson RE: A fixed point theorem for weak directional contraction multifunction. Math Japon 1980, 25(3):345–348.

22. Song W: A generalization of Clarke's fixed point theorem. Appl Math J Chin Univ Ser B 1995, 10(4):463–466. 10.1007/BF02662502

23. Uderzo A: Fixed points for directional multi-valued k (·)-contractions. J Global Optim 2005, 31: 455–469. 10.1007/s10898-004-0571-z

24. Frigon M: Fixed point results for multivalued maps in metric spaces with generalized inwardness conditions. Fixed Point Theory Appl 2010., 19: 2010, Article ID 183217,

25. Kada O, Suzuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math Japon 1996, 44: 381–391.

26. Lin L-J, Du W-S: Ekeland's variational principle, minimax theorems and existence of noncon-vex equilibria in complete metric spaces. J Math Anal Appl 2006, 323: 360–370. 10.1016/j.jmaa.2005.10.005

27. Lin L-J, Du W-S: Some equivalent formulations of generalized Ekeland's variational principle and their applications. Nonlinear Anal 2007, 67: 187–199. 10.1016/j.na.2006.05.006

28. Lin L-J, Du W-S: On maximal element theorems, variants of Ekeland's variational principle and their applications. Nonlinear Anal 2008, 68: 1246–1262. 10.1016/j.na.2006.12.018

29. Du W-S: Critical point theorems for nonlinear dynamical systems and their applications. Fixed Point Theory Appl 2010., 16: 2010, Article ID 246382,

30. He Z, Du W-S, Lin I-J: The existence of fixed points for new nonlinear multivalued maps and their applications. Fixed Point Theory and Applications 2011 2011, 84.

31. Ding XP, He YR: Fixed point theorems for metrically weakly inward set-valued mappings. J Appl Anal 1999, 5(2):283–293.

32. Downing D, Kirk WA: Fixed point theorems for set-valued mappings in metric and Banach spaces. Math Japon 1977, 22: 99–112.

33. Reich S: A fixed point theorem for locally contractive multivalued functions. Rev Roumaine Math Pures Appl 1972, 17: 569–572.

34. Reich S: Fixed points of contractive functions. Boll Un Mat Ital 1972, 5(4):26–42.

35. Reich S: Some problems and results in fixed point theory. Contemp Math 1983, 21: 179–187.

36. Xu H-K: Metric fixed point theory for multivalued mappings. Dissertationes Mathematicae 2000, 389: 39.

## Acknowledgements

The author would like to express his sincere thanks to the anonymous referee for their valuable comments and useful suggestions in improving the article. This research was supported partially by grant no. NSC 100-2115-M-017-001 of the National Science Council of the Republic of China.

## Author information

Authors

### Corresponding author

Correspondence to Wei-Shih Du.

### Competing interests

The author declares that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Du, WS. On generalized weakly directional contractions and approximate fixed point property with applications. Fixed Point Theory Appl 2012, 6 (2012). https://doi.org/10.1186/1687-1812-2012-6

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2012-6

### Keywords

• τ-function
• τ0-metric
• Reich's condition
• $ℛ$-function($ℳ\mathcal{T}$-function)
• directional hidden contraction
• approximate fixed point property
• generalized Mizoguchi-Takahashi's fixed point theorem
• generalized Berinde-Berinde's fixed point theorem