# A fixed point theorem for generalized $$(\psi ,\varphi )$$-weak contractions in Branciari type generalized metric spaces

## Abstract

In this paper, we obtain a new convergence theorem for fixed points of weak contractions in Branciari type generalized metric spaces under weaker conditions. The proof process of the theorem is new and different from that of other authors. An illustrative example of this theorem is to show how the new conditions extend known results.

## Introduction

The concept of generalized metric spaces, which is a generalization of metric spaces, was first defined by Branciari (see ) in 2000. The generalization is via the fact that the triangle inequality is replaced by the rectangular inequality $$d(x,y)\leq d(x,u)+d(u,v)+d(v,y)$$ for all pairwise distinct points x, y, u, v of X. Afterwards, many authors studied and extended the existence of old fixed point results in such spaces (see ). In this paper, we are to generalize well-known related fixed points theorems. For this, we recall some basic definitions and conclusions.

### Definition 1.1

()

Let X be a nonempty set and $$d: X\times X\rightarrow [0,+\infty )$$ be a mapping such that for all $$x,y\in X$$ and for all distinct points $$u,v\in X$$ each of them different from x and y satisfying the following conditions:

$$(d_{1})$$ $$d(x,y)=0$$ if and only if $$x=y$$;

$$(d_{2})$$ $$d(x,y)=d(y,x)$$;

$$(d_{3})$$ $$d(x,y)\leq d(x,u)+d(u,v)+d(v,y)$$ (the rectangular inequality).

Then $$(X,d)$$ is called a Branciari type generalized metric space.

Every metric space is a Branciari type generalized metric space, but the converse is not true (see ).

### Definition 1.2

()

Let $$(X,d)$$ be a Branciari type generalized metric space and $$\{x_{n}\}$$ be a sequence in X and $$x\in X$$. We call that

(i) $$\{x_{n}\}$$ is convergent to x if and only if $$d(x_{n},x)\rightarrow 0$$ as $$n\rightarrow \infty$$ (denoted by $$x_{n}\rightarrow x$$).

(ii) $$\{x_{n}\}$$ is a Cauchy sequence if and only if for each $$\epsilon >0$$ there exists a natural number N such that $$d(x_{n},x_{m})<\epsilon$$ for all $$m,n>N$$.

(iii) X is complete if and only if every Cauchy sequence is convergent in X.

In 2012, Lakzian and Samet  obtained a fixed point theorem of the generalized metric spaces.

### Theorem 1.1

()

Let $$(X,d)$$ be a Hausdorff and complete generalized metric space, and let $$T: X\rightarrow X$$ be a self-mapping satisfying

$$\psi \bigl(d(Tx,Ty)\bigr)\leq \psi \bigl(d(x,y)\bigr)-\varphi \bigl(d(x,y)\bigr)$$
(1.1)

for all $$x, y\in X$$, where (i) $$\psi : [0, +\infty )\rightarrow [0, +\infty )$$ is a continuous and monotone nondecreasing function with $$\psi (t)=0$$ if and only if $$t=0$$; (ii) $$\varphi : [0, +\infty )\rightarrow [0, +\infty )$$ is a continuous function with $$\varphi (t)=0$$ if and only if $$t=0$$. Then T has a unique fixed point.

In 2013, Liu and Chai  gave a generalization of Theorem 1.1.

### Theorem 1.2

()

Let $$(X,d)$$ be a Hausdorff and complete generalized metric space, and let $$T: X \to X$$ be a self-mapping satisfying

\begin{aligned} \psi \bigl(d(Tx, Ty)\bigr)&\leq \psi \bigl(a_{1}d(x,y)+a_{2}d(x,Tx)+a_{3}d(y,Ty)\bigr) \\ &\quad{} -\theta \bigl(a_{1}d(x,y)+a_{2}d(x,Tx)+a_{3}d(y,Ty) \bigr) \end{aligned}
(1.2)

for all $$x, y \in X$$, where (i) $$\psi : [0, +\infty )\rightarrow [0, +\infty )$$ is a continuous and monotone nondecreasing function with $$\psi (t)=0$$ if and only if $$t=0$$; (ii) $$\theta : [0, +\infty )\rightarrow [0, +\infty )$$ satisfies $$\lim_{t\rightarrow r}\theta (t)>0$$ for $$r>0$$ and $$\lim_{t\rightarrow r}\theta (t)=0$$ if and only if $$r=0$$; (iii) $$a_{i}\geq 0(i=1,2,3)$$ with $$a_{1}+a_{2}+a_{3}\leq 1$$. Then T has a unique fixed point.

It is worth mentioning that $$\psi : [0, +\infty )\rightarrow [0, +\infty )$$ is both continuous and monotone nondecreasing function, but we cannot obtain that $$t_{1}\leq t_{2}$$ if $$\psi (t_{1})\leq \psi (t_{2})$$. In fact, the erroneous conclusion has been widely applied in proofs of the above theorems. This paper is to provide the correct results related to the above theorems and to weaken the conditions of theorems.

## The main results

In this section, we denote by Ψ the set of functions $$\psi : [0, +\infty )\rightarrow [0, +\infty )$$ satisfying the following conditions:

$$(a_{1})$$ ψ is monotone nondecreasing;

$$(a_{2})$$ $$\lim_{t\rightarrow r}\psi (t)>0$$ for $$r>0$$ and $$\lim_{t\rightarrow 0^{+}}\psi (t)=0$$;

$$(a_{3})$$ $$\psi (t)=0$$ if and only if $$t=0$$.

We denote by Φ the set of functions $$\varphi : [0, +\infty )\rightarrow [0, +\infty )$$ satisfying the following conditions:

$$(b_{1})$$ $$\lim_{t\rightarrow r}\inf \varphi (t)>0$$ for each $$r>0$$;

$$(b_{2})$$ $$\varphi (t)\rightarrow 0$$ implies that $$t\rightarrow 0$$;

$$(b_{3})$$ $$\varphi (t)=0$$ if and only if $$t=0$$.

### Theorem 2.1

Let $$(X,d)$$ be a Branciari type complete generalized metric space, and let $$T: X\to X$$ be a self-mapping satisfying

\begin{aligned} \psi \bigl(d(Tx, Ty)\bigr)&\leq \psi \bigl(a_{1}d(x,y)+a_{2}d(x,Tx)+a_{3}d(y,Ty)\bigr) \\ &\quad{} -\varphi \bigl(a_{1}d(x,y)+a_{2}d(x,Tx)+a_{3}d(y,Ty) \bigr) \end{aligned}
(2.1)

for all $$x, y \in X$$, where $$\psi \in \Psi$$, $$\varphi \in \Phi$$ and $$a_{i}\geq 0(i=1,2,3)$$ with $$a_{1}+a_{2}+a_{3}\leq 1$$. Then T has a unique fixed point.

### Proof

In order to prove our conclusion, we divide the proof into the following steps.

Step 1. If there exists a fixed point of T, the fixed point is unique.

Suppose that there exist two fixed points p, q with $$Tp=p\neq q=Tq$$, it means that $$d(p,q)\neq 0$$. Taking $$x=p$$ and $$y=q$$ in (2.1), we have

\begin{aligned} \psi \bigl(d(p, q)\bigr)&=\psi \bigl(d(Tp, Tq)\bigr) \\ &\leq \psi \bigl(a_{1}d(p, q)+a_{2}d(p, Tp)+a_{3}d(q, Tq)\bigr) \\ &\quad{} -\varphi \bigl(a_{1}d(p, q)+a_{2}d(p, Tp)+a_{3}d(q, Tq)\bigr) \\ &=\psi \bigl(a_{1}d(p, q)\bigr)-\varphi \bigl(a_{1}d(p, q) \bigr). \end{aligned}
(2.2)

If $$a_{1}=0$$, then $$\psi (d(p, q))=0$$, i.e., $$d(p, q)=0$$, which contradicts $$d(p, q)\neq 0$$. If $$a_{1}>0$$, we deduce from (2.2) that

$$\psi \bigl(d(p, q)\bigr)< \psi \bigl(a_{1}d(p, q)\bigr)\leq \psi \bigl(d(p, q)\bigr)$$

is a contradiction and $$p=q$$. Hence the fixed point is unique.

Step 2. T has the fixed point in X.

Let $$x_{0} \in X$$ and construct a sequence $$\{x_{n}\}$$ in X by $$x_{n+1}=Tx_{n}$$ for all $$n\geq 0$$.

Case 1. T has a periodic point.

Case 1-1. If $$x_{n+1}=x_{n}$$ for some n, then $$x_{n}$$ is a fixed point of T.

For the rest, we assume that $$d(x_{n+1},x_{n})\neq 0$$ for all n.

Case 1-2. If $$x_{n+2}=x_{n}$$ for some n, then $$Tx_{n}$$ is a fixed point of T. Suppose it is not true, then $$Tx_{n}\neq T^{2}x_{n}$$, i.e., $$d(Tx_{n},T^{2}x_{n})>0$$, which implies that $$\varphi (d(Tx_{n},T^{2}x_{n}))>0$$. By (2.1), we have

\begin{aligned} & \psi \bigl(d(x_{n}, x_{n+1}) \bigr) \\ &\quad =\psi \bigl(d\bigl(T^{2}x_{n}, Tx_{n}\bigr)\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{n+1},x_{n})+a_{2}d(x_{n+2},x_{n+1})+a_{3}d(x_{n},x_{n+1}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n+1},x_{n})+a_{2}d(x_{n+2},x_{n+1})+a_{3}d(x_{n},x_{n+1}) \bigr) \\ &\quad =\psi \bigl((a_{1}+a_{2}+a_{3})d(x_{n},x_{n+1}) \bigr)-\varphi \bigl((a_{1}+a_{2}+a_{3})d(x_{n},x_{n+1}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{n},x_{n+1})\bigr)-\varphi \bigl((a_{1}+a_{2}+a_{3})d(x_{n},x_{n+1}) \bigr), \end{aligned}
(2.3)

i.e., $$\varphi ((a_{1}+a_{2}+a_{3})d(x_{n},x_{n+1}))=0$$. If $$\sum_{i=1}^{3}a_{i}\neq 0$$, we get that $$d(x_{n}, x_{n+1})=0$$, a contradiction. If $$\sum_{i=1}^{3}a_{i}=0$$, we get from (2.3) that $$\psi (d(x_{n}, x_{n+1}))=0$$, i.e., $$d(x_{n}, x_{n+1})=0$$ is a contradiction to the assumption, and so $$Tx_{n}$$ is a fixed point of T.

Case 1-3. If there are two natural numbers m, n such that $$x_{m}=x_{n}$$ with $$m-n>2$$ and $$x_{i}\neq x_{j}$$ for all $$n\leq i\neq j< m$$, we claim that $$T^{m-n-1}x_{n}$$ is a fixed point of T. Suppose that it does not hold, then

$$T^{m-n-1}x_{n}\neq T^{m-n}x_{n}\quad \Leftrightarrow\quad d\bigl(T^{m-n-1}x_{n},T^{m-n}x_{n}\bigr)>0 \quad \Leftrightarrow\quad d(x_{m-1},x_{m})>0,$$

it implies that

$$\varphi \bigl(d\bigl(T^{m-n-1}x_{n},T^{m-n}x_{n} \bigr)\bigr)>0.$$

Again using (2.1), we get

\begin{aligned} & \psi \bigl(d(x_{m+1}, x_{m}) \bigr) \\ &\quad =\psi \bigl(d(Tx_{m}, Tx_{m-1})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m+1},x_{m})+a_{3}d(x_{m-1},x_{m}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m+1},x_{m})+a_{3}d(x_{m-1},x_{m}) \bigr). \end{aligned}
(2.4)

If $$d(x_{m},x_{m-1})< d(x_{m+1},x_{m})$$, then

\begin{aligned} & \psi \bigl(d(x_{m+1},x_{m}) \bigr) \\ &\quad \leq \psi \bigl((a_{1}+a_{2}+a_{3})d(x_{m+1},x_{m}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m+1},x_{m})+a_{3}d(x_{m-1},x_{m}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{m+1},x_{m})\bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m+1},x_{m})+a_{3}d(x_{m-1},x_{m}) \bigr), \end{aligned}
(2.5)

i.e.,

$$\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m+1},x_{m})+a_{3}d(x_{m-1},x_{m}) \bigr)=0,$$

that is,

$$(a_{1}+a_{3})d(x_{m},x_{m-1})+a_{2}d(x_{m+1},x_{m})=0,$$

which implies that $$a_{1}=a_{2}=a_{3}=0$$. From (2.4), we obtain that $$\psi (d(x_{m+1},x_{m}))=0\Leftrightarrow d(x_{m+1},x_{m})=0$$, which is a contradiction and so $$d(x_{m+1},x_{m})\leq d(x_{m},x_{m-1})$$. Then we have

\begin{aligned} & \psi \bigl(d(x_{n+1},x_{n}) \bigr) \\ &\quad =\psi \bigl(d(x_{m+1},x_{m})\bigr) \\ &\quad =\psi \bigl(d(Tx_{m},Tx_{m-1})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m},x_{m+1})+a_{3}d(x_{m-1},x_{m}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m},x_{m+1})+a_{3}d(x_{m-1},x_{m}) \bigr) \\ &\quad \leq \psi \bigl((a_{1}+a_{2}+a_{3})d(x_{m-1},x_{m}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m},x_{m+1})+a_{3}d(x_{m-1},x_{m}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{m},x_{m-1})\bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m},x_{m+1})+a_{3}d(x_{m-1},x_{m}) \bigr), \end{aligned}
(2.6)

then $$a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m},x_{m+1})+a_{3}d(x_{m-1},x_{m})>0$$. Otherwise, $$a_{1}=a_{2}=a_{3}=0$$, we obtain a contradiction. Therefore, (2.6) turns into

\begin{aligned} & \psi \bigl(d(x_{n+1},x_{n}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{m},x_{m-1})\bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{m},x_{m-1})+a_{2}d(x_{m},x_{m+1})+a_{3}d(x_{m-1},x_{m}) \bigr) \\ &\quad < \psi \bigl(d(x_{m},x_{m-1})\bigr) \\ &\quad \cdots \\ &\quad \leq \psi \bigl(d(x_{n+1},x_{n})\bigr) \end{aligned}
(2.7)

a contradiction. Hence, the conclusion holds.

Case 2. T has no periodic point, i.e., $$x_{m}\neq x_{n}$$ for all $$m\neq n$$.

Step 2-1. Show that $$\lim_{n\rightarrow \infty }d(x_{n+1},x_{n})=0$$. Taking $$x=x_{n}$$, $$y=x_{n-1}$$ in (2.1), we have

\begin{aligned} & \psi \bigl(d(x_{n+1},x_{n}) \bigr) \\ &\quad =\psi \bigl(d(Tx_{n},Tx_{n-1})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{n},x_{n-1})+a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n},x_{n-1})+a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr). \end{aligned}
(2.8)

If $$d(x_{n}, x_{n-1})< d(x_{n+1}, x_{n})$$, then

\begin{aligned} & \psi \bigl(d(x_{n+1},x_{n}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{n+1},x_{n})\bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n},x_{n-1})+a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr), \end{aligned}
(2.9)

it implies that

\begin{aligned} \varphi \bigl(a_{1}d(x_{n},x_{n-1})+a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr)=0, \end{aligned}
(2.10)

then $$a_{1}=a_{2}=a_{3}$$. Thus

$$\psi \bigl(d(x_{n+1}, x_{n})\bigr)=0\quad \Leftrightarrow\quad d(x_{n+1}, x_{n})=0,$$

$$d(x_{n+1},x_{n})\leq d(x_{n},x_{n-1})$$
(2.11)

for all n. Since ψ is monotone nondecreasing, then

$$\psi \bigl(d(x_{n+1},x_{n})\bigr)\leq \psi \bigl(d(x_{n},x_{n-1})\bigr).$$

There exist nonnegative numbers r and $$r^{*}$$ such that

\begin{aligned} \lim_{n\rightarrow \infty }d(x_{n+1},x_{n})=r, \qquad \lim_{n\rightarrow \infty }\psi \bigl(d(x_{n+1},x_{n}) \bigr)=r^{*}. \end{aligned}

If $$r>0$$, we get

\begin{aligned} &\lim_{n\rightarrow \infty }\bigl[a_{1}d(x_{n},x_{n-1})+a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr] \\ &\quad =(a_{1}+a_{2}+a_{3})r>0, \end{aligned}
(2.12)

then

\begin{aligned} \lim_{n\rightarrow \infty }\inf \varphi \bigl(a_{1}d(x_{n},x_{n-1}) +a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr)>0. \end{aligned}

By (2.8), we have

\begin{aligned} & \psi \bigl(d(x_{n+1},x_{n}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{n},x_{n-1})\bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n},x_{n-1})+a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr). \end{aligned}
(2.13)

Letting $$n\rightarrow \infty$$ in (2.13), taking lower limits on each side of the above inequality, we deduce that

\begin{aligned} \lim_{n\rightarrow \infty }\inf \varphi \bigl(a_{1}d(x_{n},x_{n-1}) +a_{2}d(x_{n},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr) \leq 0, \end{aligned}

a contradiction, and so $$\lim_{n\rightarrow \infty }d(x_{n+1},x_{n})=0$$.

Step 2-2. Show that $$\lim_{n\rightarrow \infty }d(x_{n+2},x_{n})=0$$. Again taking $$x=x_{n+1}$$, $$y=x_{n-1}$$ in (2.1), then

\begin{aligned} & \psi \bigl(d(x_{n+2},x_{n}) \bigr) \\ &\quad =\psi \bigl(d(Tx_{n+1},Tx_{n-1})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{n+1},x_{n-1})+a_{2}d(x_{n+2},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n+1},x_{n-1})+a_{2}d(x_{n+2},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{n+1},x_{n-1})+a_{2}d(x_{n-1},x_{n})+a_{3}d(x_{n-1},x_{n}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n+1},x_{n-1})+a_{2}d(x_{n+2},x_{n+1})+a_{3}d(x_{n-1},x_{n}) \bigr). \end{aligned}
(2.14)

If $$\sum_{i=1}^{3}a_{i}=0$$, then $$a_{i}=0$$ for $$i=1,2,3$$. Thus, $$\psi (d(x_{n+2},x_{n}))=0$$, a contradiction. If $$\sum_{i=1}^{3}a_{i}\neq 0$$, we consider the following cases.

Case 2-2-1. If there exists a infinite subsequence $$\{x_{n(i)}\}$$ of $$\{x_{n}\}$$ such that $$d(x_{n(i)},x_{n(i)-1})< d(x_{n(i)+1},x_{n(i)-1})$$ for all i. Without loss of generality, we have

\begin{aligned} d(x_{n(i)},x_{n(i)-2})&\leq d(x_{n(i)-1},x_{n(i)-2}) \\ &\leq d(x_{n(i)-2},x_{n(i)-3}) \\ &\leq \cdots \cdots \\ &\leq d(x_{n(i-1)},x_{n(i-1)-1}) \\ &< d(x_{n(i-1)+1},x_{n(i-1)-1}) \end{aligned}
(2.15)

for all $$i\geq 1$$. Again by (2.1), we get

\begin{aligned} & \psi \bigl(d(x_{n(i)+1},x_{n(i)-1}) \bigr) \\ &\quad =\psi \bigl(d(Tx_{n(i)},Tx_{n(i)-2})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{n(i)},x_{n(i)-2})+a_{2}d(x_{n(i)+1},x_{n(i)}) \\ &\qquad{} +a_{3}d(x_{n(i)-1},x_{n(i)-2})\bigr)-\varphi \bigl(a_{1}d(x_{n(i)},x_{n(i)-2}) \\ &\qquad{} +a_{2}d(x_{n(i)+1},x_{n(i)})+a_{3}d(x_{n(i)-1},x_{n(i)-2}) \bigr) \\ &\quad \leq \psi \bigl((a_{1}+a_{2}+a_{3})d(x_{n(i)-1},x_{n(i)-2}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(x_{n(i)},x_{n(i)-2})+a_{2}d(x_{n(i)+1},x_{n(i)}) \\ &\qquad{} +a_{3}d(x_{n(i)-1},x_{n(i)-2})\bigr) \\ &\quad \leq \psi \bigl(d(x_{n(i)-1},x_{n(i)-2})\bigr)-\varphi \bigl(a_{1}d(x_{n(i)},x_{n(i)-2}) \\ &\qquad{} +a_{2}d(x_{n(i)+1},x_{n(i)})+a_{3}d(x_{n(i)-1},x_{n(i)-2}) \bigr) \end{aligned}
(2.16)

for all i. If $$\sum_{i=1}^{3}a_{i}=0$$, then $$a_{i}=0$$ for $$i=1,2,3$$. Thus, we have $$\psi (d(x_{n(i)+1},x_{n(i)-1}))=0$$, i.e., $$d(x_{n(i)+1},x_{n(i)-1})=0$$ is a contradiction. If $$\sum_{i=1}^{3}a_{i}\neq 0$$, then we get from (2.16) and (2.15) that

\begin{aligned} & \psi \bigl(d(x_{n(i)+1},x_{n(i)-1}) \bigr) \\ &\quad \leq \psi \bigl(d(x_{n(i)-1},x_{n(i)-2})\bigr)-\varphi \bigl(a_{1}d(x_{n(i)},x_{n(i)-2}) \\ &\qquad{} +a_{2}d(x_{n(i)+1},x_{n(i)})+a_{3}d(x_{n(i)-1},x_{n(i)-2}) \bigr) \\ &\quad < \psi \bigl(d(x_{n(i)-1},x_{n(i)-2})\bigr) \\ &\quad \cdots \cdots \\ &\quad \leq \psi \bigl(d(x_{n(i-1)},x_{n(i-1)-1})\bigr) \\ &\quad \leq \psi \bigl(d(x_{n(i-1)+1},x_{n(i-1)-1})\bigr). \end{aligned}
(2.17)

It follows from (2.17) and the result of Step 2-1 that

$$\psi \bigl(d(x_{n(i)+1},x_{n(i)-1})\bigr)< \psi \bigl(d(x_{n(i)-1},x_{n(i)-2}) \bigr) \rightarrow 0$$

as $$i\rightarrow \infty$$, that is,

$$\lim_{i\rightarrow \infty }\psi \bigl(d(x_{n(i)+1},x_{n(i)-1}) \bigr)=0.$$
(2.18)

And we also obtain from (2.17) that

$$\psi \bigl(d(x_{n(i)+1},x_{n(i)-1})\bigr)< \psi \bigl(d(x_{n(i-1)+1},x_{n(i-1)-1}) \bigr),$$

which implies that

$$d(x_{n(i)+1},x_{n(i)-1})< d(x_{n(i-1)+1},x_{n(i-1)-1}),$$

so the sequence $$\{d(x_{n(i)+1},x_{n(i)-1})\}$$ is monotone decreasing and bounded below, there exists $$R\geq 0$$ such that

\begin{aligned} \lim_{i\rightarrow \infty }d(x_{n(i)+1}, x_{n(i)-1})=R. \end{aligned}

If $$R>0$$, then

\begin{aligned} \lim_{i\rightarrow \infty }\psi \bigl(d(x_{n(i)+1},x_{n(i)-1}) \bigr)>0 \end{aligned}

contradicts (2.18). Thus $$d(x_{n(i)+1},x_{n(i)-1})\rightarrow 0$$ as $$i\rightarrow \infty$$.

Case 2-2-2. If there exists an infinite subsequence $$\{x_{n(j)}\}$$ of $$\{x_{n}\}$$ such that

$$d(x_{n(j)+1},x_{n(j)-1})\leq d(x_{n(j)},x_{n(j)-1}),$$

then $$d(x_{n(j)+1},x_{n(j)-1})\rightarrow 0$$ as $$j\rightarrow \infty$$.

Therefore, in two cases we proved that $$\lim_{n\rightarrow \infty }d(x_{n+2},x_{n})=0$$.

Step 2-3. Show that $$\{x_{n}\}$$ is a Cauchy sequence. Suppose, on the contrary, that there exists $$\epsilon >0$$ for which we can find subsequences $$\{x_{m(k)}\}$$ and $$\{x_{n(k)}\}$$ of $$\{x_{n}\}$$ such that

$$d(x_{m(k)},x_{n(k)})\geq \epsilon$$

for $$n(k)>m(k)>k$$ with $$n(k)$$ is the smallest index, and so we have

$$d(x_{m(k)},x_{n(k)-1})< \epsilon$$

for all k. Applying the rectangular inequality, we obtain that

\begin{aligned} \epsilon &\leq d(x_{m(k)},x_{n(k)}) \\ &\leq d(x_{m(k)},x_{n(k)-1})+ d(x_{n(k)-1},x_{n(k)-2})+d(x_{n(k)-2},x_{n(k)}) \\ &< \epsilon +d(x_{n(k)-1},x_{n(k)-2})+d(x_{n(k)-2},x_{n(k)}), \end{aligned}

then $$d(x_{m(k)},x_{n(k)})\rightarrow \epsilon$$ as $$k\rightarrow \infty$$. Similarly,

\begin{aligned} d(x_{m(k)},x_{n(k)})&-d(x_{m(k)},x_{m(k)-1})-d(x_{n(k)-1},x_{n(k)}) \\ &\leq d(x_{m(k)-1},x_{n(k)-1}) \\ &\leq d(x_{m(k)-1}, x_{m(k)})+d(x_{m(k)},x_{n(k)})+d(x_{n(k)},x_{n(k)-1}), \end{aligned}

then $$d(x_{m(k)-1},x_{n(k)-1})\rightarrow \epsilon$$ as $$k\rightarrow \infty$$. Furthermore, there exists K such that

$$d(x_{m(k)-1}, x_{n(k)-1})>\frac{\epsilon }{2},\qquad d(x_{m(k)},x_{m(k)-1})< \frac{\epsilon }{2},\qquad d(x_{n(k)},x_{n(k)-1})< \frac{\epsilon }{2}$$

for $$m(k),n(k)>K$$. Again using (2.1), then

\begin{aligned} & \psi \bigl(d(x_{m(k)},x_{n(k)}) \bigr) \\ &\quad =\psi \bigl(d(Tx_{m(k)-1}, Tx_{n(k)-1})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{m(k)-1},x_{n(k)-1})+a_{2}d(x_{m(k)},x_{m(k)-1}) \\ &\qquad{} +a_{3}d(x_{n(k)},x_{n(k)-1})\bigr)-\varphi \bigl(a_{1}d(x_{m(k)-1},x_{n(k)-1}) \\ &\qquad{} +a_{2}d(x_{m(k)},x_{m(k)-1})+a_{3}d(x_{n(k)},x_{n(k)-1}) \bigr) \\ &\quad \leq \psi \bigl((a_{1}+a_{2}+a_{3})d(x_{m(k)-1}, x_{n(k)-1})\bigr) \\ &\qquad{} -\varphi (a_{1}d\bigl(x_{m(k)-1}, x_{n(k)-1}+a_{2}d(x_{m(k)},x_{m(k)-1}) \\ &\qquad{} +a_{3}d(x_{n(k)},x_{n(k)-1})\bigr) \\ &\quad \leq \psi \bigl(d(x_{m(k)-1},x_{n(k)-1})\bigr)-\varphi \bigl(a_{1}d(x_{m(k)-1}, x_{n(k)-1}) \\ &\qquad{} +a_{2}d(x_{m(k)},x_{m(k)-1})+a_{3}d(x_{n(k)},x_{n(k)-1}) \bigr). \end{aligned}
(2.19)

Taking the lower limit as $$n\rightarrow \infty$$ in the above inequality, (2.19) yields

\begin{aligned} \begin{aligned} &\lim_{k\rightarrow \infty }\inf \varphi \bigl(a_{1}d(x_{m(k)-1}, x_{n(k)-1})+a_{2}d(x_{m(k)}, x_{m(k)-1}) \\ &\quad {}+a_{3}d(x_{n(k)}, x_{n(k)-1})\bigr)\leq 0. \end{aligned} \end{aligned}

On the other hand,

\begin{aligned} &\lim_{k\rightarrow \infty }\bigl[a_{1}d(x_{m(k)-1}, x_{n(k)-1})+a_{2}d(x_{m(k)}, x_{m(k)-1}) \\ &\quad{}+a_{3}d(x_{n(k)}, x_{n(k)-1}) \bigr]=a_{1}\epsilon . \end{aligned}
(2.20)

If $$a_{1}=0$$, then we obtain from (2.19) that

\begin{aligned} & \psi \bigl(d(x_{m(k)},x_{n(k)}) \bigr) \\ &\quad \leq \psi \bigl(a_{1}d(x_{m(k)-1},x_{n(k)-1})+a_{2}d(x_{m(k)},x_{m(k)-1}) \\ &\qquad{} +a_{3}d(x_{n(k)},x_{n(k)-1})\bigr) \\ &\quad \rightarrow 0 \end{aligned}
(2.21)

as $$k\rightarrow \infty$$, i.e., $$\lim_{k\rightarrow \infty }\psi (d(x_{m(k)},x_{n(k)}))=0$$, a contradiction. If $$a_{1}\neq 0$$, then (2.20) implies that

\begin{aligned} &\lim_{k\rightarrow \infty }\inf \varphi \bigl(a_{1}d(x_{m(k)-1}, x_{n(k)-1})+a_{2}d(x_{m(k)}, x_{m(k)-1}) \\ &\quad{}+a_{3}d(x_{n(k)}, x_{n(k)-1})\bigr)>0, \end{aligned}
(2.22)

which is a contradiction. Therefore, $$\{x_{n}\}$$ is a Cauchy sequence. Since $$(X,d)$$ is complete, there exists $$q\in X$$ such that $$\lim_{n\rightarrow \infty }x_{n}=q$$.

Step 2-4. Let us show that q is a fixed point of T. Suppose that it is not the case, then q is not a fixed point of T, i.e., $$d(q,Tq)>0$$. Since

\begin{aligned} d(q,Tq)-d(q,x_{n})-d(x_{n},x_{n+1})&\leq d(Tq,Tx_{n}) \\ &\leq d(Tq,q)+d(q,x_{n})+d(x_{n},x_{n+1}), \end{aligned}

then

\begin{aligned} \lim_{n\rightarrow \infty }d(Tq,x_{n+1})=d(Tq,q)>0. \end{aligned}

Thus,

\begin{aligned} \lim_{n\rightarrow \infty }\psi \bigl(d(Tq,x_{n+1}) \bigr)>0. \end{aligned}

By (2.1), we get

\begin{aligned} & \psi \bigl(d(Tq,x_{n+1})\bigr) \\ &\quad =\psi \bigl(d(Tq,Tx_{n})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(q,x_{n})+a_{2}d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(q,x_{n})+a_{2}d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr). \end{aligned}
(2.23)

If $$a_{2}=0$$, then (2.23) yields

\begin{aligned} \psi \bigl(d(Tq,x_{n+1})\bigr)&\leq \psi \bigl(a_{1}d(q,x_{n})+a_{3}d(x_{n+1},x_{n}) \bigr) \rightarrow 0 \end{aligned}
(2.24)

as $$n\rightarrow \infty$$, i.e., $$\lim_{n\rightarrow \infty }\psi (d(Tq,x_{n+1}))=0$$, a contradiction. If $$a_{2}\neq 0$$, then we have

\begin{aligned} \lim_{n\rightarrow \infty }\inf \varphi \bigl(a_{1}d(q,x_{n})+a_{2}d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr)>0. \end{aligned}

And we get from (2.23) that

\begin{aligned} & \psi \bigl(d(Tq,x_{n+1})\bigr) \\ &\quad \leq \psi \bigl(a_{1}d(q,x_{n})+d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr) \\ &\qquad{} -\varphi \bigl(a_{1}d(q,x_{n})+a_{2}d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr). \end{aligned}
(2.25)

Since

\begin{aligned} \lim_{n\rightarrow \infty }\bigl[a_{1}d(q,x_{n})+d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr]=d(Tq,q), \end{aligned}

then

\begin{aligned} \lim_{n\rightarrow \infty }\psi \bigl(a_{1}d(q,x_{n})+d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr) =\lim_{n\rightarrow \infty }\psi \bigl(d(Tq,x_{n+1})\bigr). \end{aligned}

Taking lower limits as $$n\rightarrow \infty$$ on either side of inequality (2.25), then

\begin{aligned} \lim_{n\rightarrow \infty }\inf \varphi \bigl(a_{1}d(q,x_{n})+a_{2}d(q,Tq)+a_{3}d(x_{n+1},x_{n}) \bigr)=0, \end{aligned}

which is a contradiction, and hence $$q=Tq$$. □

### Remark 2.1

If $$a_{1}=1$$, $$a_{2}=a_{3}=0$$ and ψ, φ are all continuous in Theorem 2.1, then we obtain Theorem 2.1 of . If ψ is continuous and φ has limit in Theorem 2.1, then we obtain the main results of .

### Remark 2.2

In the proofs of the main theorems of [4, 19], and , there exists a common problem for monotonicity of function ψ, which is unreasonable that $$\psi (t_{1})\leq \psi (t_{2})$$ implies that $$t_{1}\leq t_{2}$$. It is as follows:

(i) In page 3 of , (2.2) implies (2.3).

(ii) In line 5 to line 3 from the bottom of page 903 of  and in line 7 to 10 from the top of page 904 of .

(iii) The above problems still exist in the proof of the main theorem in .

In addition, the proof process of Theorem 2.1 is different from that of [4, 19], and .

As a corollary of Theorem 2.1, taking $$a_{1}=1$$, $$a_{2}=a_{3}=0$$, we obtain the following result.

### Corollary 2.1

Let $$(X,d)$$ be a Branciari type complete generalized metric space, and let $$T: X \to X$$ be a self-mapping satisfying

$$\psi \bigl(d(Tx,Ty)\bigr)\leq \psi \bigl(d(x,y)\bigr)-\varphi \bigl(d(x,y)\bigr)$$
(2.26)

for all $$x,y \in X$$, where ψ and φ are defined as in Theorem 2.1. Then T has a unique fixed point.

Similar results are obtained from Theorem 2.1 putting $$a_{1}=a_{3}=0$$, $$a_{2}=1$$ or $$a_{1}=a_{2}=0$$, $$a_{3}=1$$.

### Corollary 2.2

Let $$(X,d)$$ be a Branciari type complete generalized metric space, and let $$T: X \to X$$ be a self-mapping satisfying

$$\begin{gathered} \psi \bigl(d(Tx,Ty)\bigr)\leq \psi \bigl(d(x,Tx) \bigr)-\varphi \bigl(d(x,Tx)\bigr) \\ \textit{or} \\ \psi \bigl(d(Tx,Ty)\bigr)\leq \psi \bigl(d(y,Ty)\bigr)-\varphi \bigl(d(y,Ty) \bigr) \end{gathered}$$
(2.27)

for all $$x,y \in X$$, where ψ and φ are defined as in Theorem 2.1. Then T has a unique fixed point.

Further, we obtain the following result which includes Corollary 5 of .

### Corollary 2.3

Let $$(X,d)$$ be a Branciari type complete generalized metric space, and let $$T: X \to X$$ be a self-mapping satisfying

\begin{aligned} \psi \bigl(d(Tx,Ty)\bigr)&\leq \psi \bigl(\max \bigl\{ d(x,y),d(x,Tx),d(y,Ty)\bigr\} \bigr) \\ &\quad{}-\varphi \bigl(\max \bigl\{ d(x,y),d(x,Tx),d(y,Ty)\bigr\} \bigr) \end{aligned}
(2.28)

for all $$x,y \in X$$, where ψ and φ are defined as in Theorem 2.1. Then T has a unique fixed point.

Finally, we introduce a simple example  that supports the result of our Theorem 2.1.

### Example 2.1

()

Let $$X=A\cup B$$, where $$A=\{\frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{5}\}$$ and $$B=[1,2]$$. Define the generalized metric on X as follows:

\begin{aligned} d(x,y)= \textstyle\begin{cases} d(y,x), &x,y\in X, \\ 0, &x,y\in X\text{ with }x=y, \\ 0.3, &x=\frac{1}{2},y=\frac{1}{3}\text{ or }x=\frac{1}{4},y= \frac{1}{5}, \\ 0.2, &x=\frac{1}{2},y=\frac{1}{5}\text{ or }x=\frac{1}{3},y= \frac{1}{4}, \\ 0.6, &x=\frac{1}{2},y=\frac{1}{4}\text{ or }x=\frac{1}{5},y= \frac{1}{3}, \\ \vert x-y \vert , &x,y\in B\text{ or }x\in A, y\in B. \end{cases}\displaystyle \end{aligned}

Then $$(X,d)$$ is a Branciari type generalized metric space, but it is not a metric space. In fact,

$$0.6=d\biggl(\frac{1}{2},\frac{1}{4}\biggr)>d\biggl( \frac{1}{2},\frac{1}{3}\biggr)+d\biggl( \frac{1}{3}, \frac{1}{4}\biggr)=0.5.$$

Let $$T: X\rightarrow X$$ be defined by

\begin{aligned} Tx= \textstyle\begin{cases} \frac{1}{5}, &x\in [1,2], \\ \frac{1}{4}, &x\in \{\frac{1}{2},\frac{1}{3},\frac{1}{4}\}, \\ \frac{1}{3}, &x=\frac{1}{5}. \end{cases}\displaystyle \end{aligned}

Define $$\psi (t)=t$$, $$\varphi (t)=\frac{t}{5}$$, $$t\in [0, +\infty )$$. Then T satisfies

\begin{aligned} \psi \bigl(d(Tx, Ty)\bigr)&\leq \psi \bigl(a_{1}d(x,y)+a_{2}d(x,Tx)+a_{3}d(y,Ty) \bigr) \\ &\quad{} -\varphi \bigl(a_{1}d(x,y)+a_{2}d(x,Tx)+a_{3}d(y,Ty) \bigr) \end{aligned}

for all $$x,y\in X$$, where $$a_{1}=0.4$$, $$a_{2}=0.4$$, $$a_{3}=0.2$$ and T has a unique fixed point $$x=\frac{1}{4}$$.

Not applicable.

## References

1. 1.

Branciari, A.: A fixed point theorem of Banach-Caccippoli type on a class of generalized metric spaces. Publ. Math. Debrecen 57, 31–37 (2000)

2. 2.

Azam, A., Arshad, M.: Kannan fixed point theorem on generalized metric spaces. J. Nonlinear Sci. Appl. 1(1), 45–48 (2008)

3. 3.

Sarma, I.R., Rao, J.M., Rao, S.S.: Contractions over generalized metric spaces. J. Nonlinear Sci. Appl. 2(3), 180–182 (2009)

4. 4.

Lakzian, H., Samet, B.: Fixed point for (ψ, φ)-weakly contractive mappings in generalized metric spaces. Appl. Math. Lett. 25, 902–906 (2012)

5. 5.

Bari, C.D., Vetro, P.: Common fixed points in generalized metric spaces. Appl. Math. Comput. 218, 7322–7325 (2012)

6. 6.

Aydi, H., Karapinar, E.: Lakzian, H.: Fixed point results on a class of generalized metric spaces. Math. Sci. 6, 46 (2012)

7. 7.

Erhan, I.M., Karapinar, E., Sekulic, T.: Fixed points of $$(\psi ,\phi )$$ contractions on rectangular metric spaces. Fixed Point Theory Appl. 2012 138 (2012)

8. 8.

Liu, B., Chai, G.Q.: Fixed points theorem for weakly contractive mappings in generalized metric spaces. Hubei Shifan Xueyuan Xuebao 33(1), 60–65 (2013) (Chinese)

9. 9.

Cakic, N.: Coincidence and common fixed point theorems for $$(\psi ,\varphi )$$ weakly contractive mappings in generalized metric spaces. Filomat 27(8), 1415–1423 (2013)

10. 10.

Proinov, P.D.: Fixed point theorems for generalized contractive mappings in metric spaces. J. Fixed Point Theory Appl. 22(21), 21–27 (2020)

11. 11.

Eshraghisamani, M., Vaezpour, S.M., Asadi, M.: New fixed point results on Branciari metric spaces. J. Math. Anal. 8(6), 132–141 (2017)

12. 12.

Eshraghisamani, M., Vaezpour, S.M., Asadi, M.: New fixed point results with $$\alpha _{qsp}$$-admissible contractions on b-Branciari metric spaces. J. Inequal. Spec. Funct. 9(4), 101–112 (2018)

13. 13.

Younis, M., Singh, D., Asadi, M., Joshi, V.: Results on contractions of Reich type in graphical b-metric spaces with applications. Filomat 33(17), 5723–5735 (2019)

14. 14.

Karapinar, E.: Some fixed points results on Branciari metric spaces via implicit functions. Carpath. J. Math. 31(3), 339–348 (2015)

15. 15.

Ahmad, A.J., Karapinar, E.: Some common fixed point results in rectangular metric spaces. Int. J. Anal. 2013, Article ID 307234 (2013)

16. 16.

Karapinar, E., Pitea, A.: On $$\alpha -\psi$$-Geraghty contraction type mappings on quasi-Branciari metric spaces. J. Nonlinear Convex Anal. 17(7), 1291–1301 (2016)

17. 17.

Karapinar, E., Aydi, H., Samet, B.: Fixed points for generalized $$(\alpha , \psi )$$-contractions on generalized metric spaces. J. Inequal. Appl. 2014, 229 (2014)

18. 18.

Alghamdi, M.A., Chen, C.M., Karapinar, E.: A generalized weaker $$(\alpha -\phi -\varphi )$$-contractive mappings and related fixed point results in complete generalized metric spaces. Abstr. Appl. Anal. 2014, Article ID 985080 (2014)

19. 19.

Dutta, P.N., Choudhury, B.S.: A generalisation of contraction principle in metric spaces. Fixed Point Theory Appl. 2008, Article ID 406368, 8 pages (2008)

## Acknowledgements

The authors are grateful to the anonymous referees for their good comments and valuable suggestions which helped to obtain the manuscript.

## Funding

This work was supported by Science and Technology Research of Higher Education in Hebei province (ZD2019047).

## Author information

Authors

### Contributions

The authors contributed equally. Both authors read and approved the final version of the manuscript.

### Corresponding author

Correspondence to Guiwen Lv.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions 